0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4446165-1721329766.opb>
0.30/0.35 c original problem has 7354 variables (7354 bin, 0 int, 0 impl, 0 cont) and 165969 constraints
0.30/0.35 c problem read in 0.35
0.30/0.35 c No objective function, only one solution is needed.
0.50/0.60 c presolving:
0.79/0.80 c (round 1, fast) 643 del vars, 14160 del conss, 0 add conss, 643 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 29007 clqs
0.79/0.83 c (round 2, fast) 643 del vars, 21300 del conss, 0 add conss, 643 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 29007 clqs
0.99/1.06 c (1.1s) running MILP presolver
1.48/1.54 c (1.5s) MILP presolver found nothing
1.88/1.92 c (round 3, exhaustive) 643 del vars, 21311 del conss, 0 add conss, 643 chg bounds, 11 chg sides, 0 chg coeffs, 144657 upgd conss, 0 impls, 29007 clqs
2.28/2.33 c (round 4, exhaustive) 643 del vars, 23377 del conss, 0 add conss, 643 chg bounds, 11 chg sides, 3112 chg coeffs, 144657 upgd conss, 0 impls, 29007 clqs
3.37/3.43 c (3.4s) probing: 51/6711 (0.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
3.37/3.43 c (3.4s) probing aborted: 50/50 successive totally useless probings
4.37/4.48 c (4.5s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
4.78/4.81 c (4.8s) no symmetry present (symcode time: 0.04)
4.87/4.94 c presolving (5 rounds: 5 fast, 3 medium, 3 exhaustive):
4.87/4.94 c 643 deleted vars, 23377 deleted constraints, 0 added constraints, 643 tightened bounds, 0 added holes, 11 changed sides, 3157 changed coefficients
4.87/4.94 c 0 implications, 29007 cliques
4.87/4.94 c presolved problem has 6711 variables (6711 bin, 0 int, 0 impl, 0 cont) and 142592 constraints
4.87/4.94 c 16597 constraints of type <knapsack>
4.87/4.94 c 29007 constraints of type <setppc>
4.87/4.94 c 1 constraints of type <linear>
4.87/4.94 c 96987 constraints of type <logicor>
4.87/4.94 c transformed objective value is always integral (scale: 1)
4.87/4.94 c Presolving Time: 4.35
4.87/4.94 c - non default parameters ----------------------------------------------------------------------
4.87/4.94 c # SCIP version 10.0.0
4.87/4.94 c
4.87/4.94 c # maximal time in seconds to run
4.87/4.94 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
4.87/4.94 c limits/time = 3596.997062
4.87/4.94 c
4.87/4.94 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.87/4.94 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
4.87/4.94 c limits/memory = 27900
4.87/4.94 c
4.87/4.94 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
4.87/4.94 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
4.87/4.94 c limits/solutions = 1
4.87/4.94 c
4.87/4.94 c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h.
4.87/4.94 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
4.87/4.94 c misc/usesymmetry = 3
4.87/4.94 c
4.87/4.94 c # belongs reading time to solving time?
4.87/4.94 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
4.87/4.94 c timing/reading = TRUE
4.87/4.94 c
4.87/4.94 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
4.87/4.94 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
4.87/4.94 c propagating/symmetry/detectdoublelex = FALSE
4.87/4.94 c
4.87/4.94 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
4.87/4.94 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
4.87/4.94 c propagating/symmetry/detectsubgroups = FALSE
4.87/4.94 c
4.87/4.94 c # Type of symmetries that shall be computed?
4.87/4.94 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
4.87/4.94 c propagating/symmetry/symtype = 1
4.87/4.94 c
4.87/4.94 c # Should components consisting of a single full reflection be handled?
4.87/4.94 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
4.87/4.94 c propagating/symmetry/usesimplesgncomp = FALSE
4.87/4.94 c
4.87/4.94 c -----------------------------------------------------------------------------------------------
4.87/4.94 c start solving
4.87/4.95 c
5.76/5.85 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
5.76/5.85 c 5.8s| 1 | 0 | 793 | - | 746M | 0 |6711 | 142k| 142k| 0 | 0 | 45 | 0 | 0.000000e+00 | -- | Inf | unknown
15.83/16.00 c 16.0s| 1 | 0 | 3823 | - | 766M | 0 |6711 | 142k| 142k| 6 | 1 | 46 | 0 | 0.000000e+00 | -- | Inf | unknown
26.60/26.77 c 26.8s| 1 | 0 | 3907 | - | 781M | 0 |6711 | 142k| 142k| 15 | 2 | 47 | 0 | 0.000000e+00 | -- | Inf | unknown
47.83/48.09 c 48.1s| 1 | 0 | 3928 | - | 796M | 0 |6711 | 142k| 142k| 21 | 3 | 53 | 0 | 0.000000e+00 | -- | Inf | unknown
77.43/77.76 c 77.8s| 1 | 0 | 3947 | - | 814M | 0 |6711 | 142k| 142k| 27 | 4 | 55 | 0 | 0.000000e+00 | -- | Inf | unknown
104.23/104.67 c 105s| 1 | 0 | 3977 | - | 831M | 0 |6711 | 142k| 142k| 36 | 5 | 55 | 0 | 0.000000e+00 | -- | Inf | unknown
127.75/128.21 c 128s| 1 | 0 | 4124 | - | 847M | 0 |6711 | 142k| 142k| 43 | 6 | 59 | 0 | 0.000000e+00 | -- | Inf | unknown
147.20/147.76 c 148s| 1 | 0 | 4216 | - | 861M | 0 |6711 | 142k| 142k| 56 | 7 | 63 | 0 | 0.000000e+00 | -- | Inf | unknown
159.46/160.07 c 160s| 1 | 0 | 4264 | - | 880M | 0 |6711 | 142k| 142k| 68 | 8 | 63 | 0 | 0.000000e+00 | -- | Inf | unknown
163.45/164.02 c 164s| 1 | 0 | 4359 | - | 897M | 0 |6711 | 142k| 142k| 81 | 9 | 66 | 0 | 0.000000e+00 | -- | Inf | unknown
171.61/172.20 c 172s| 1 | 0 | 4461 | - | 913M | 0 |6711 | 142k| 142k| 99 | 10 | 67 | 0 | 0.000000e+00 | -- | Inf | unknown
171.71/172.38 c 172s| 1 | 0 | 4522 | - | 927M | 0 |6711 | 142k| 142k| 111 | 11 | 70 | 0 | 0.000000e+00 | -- | Inf | unknown
174.90/175.58 c 176s| 1 | 2 | 8334 | - | 928M | 0 |6711 | 142k| 142k| 111 | 11 | 84 | 19 | 0.000000e+00 | -- | Inf | unknown
313.03/314.11 c 314s| 100 | 101 |108432 |1049.6 | 1116M | 13 |6711 | 143k| 142k| 840 | 1 | 921 | 19 | 0.000000e+00 | -- | Inf | unknown
394.95/396.34 c 396s| 200 | 188 |203878 |1001.8 | 1284M | 17 |6711 | 143k| 142k|1771 | 2 |1726 | 19 | 0.000000e+00 | -- | Inf | unknown
448.87/450.49 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
448.87/450.49 c 450s| 300 | 270 |296475 | 976.4 | 1346M | 22 |6711 | 144k| 142k|2731 | 1 |2290 | 19 | 0.000000e+00 | -- | Inf | 0.56%
468.39/470.07 c 470s| 400 | 368 |356329 | 881.7 | 1353M | 39 |6711 | 144k| 0 |2903 | 0 |2755 | 19 | 0.000000e+00 | -- | Inf | 0.56%
479.95/481.62 c 482s| 500 | 458 |363127 | 718.6 | 1412M | 54 |6711 | 144k| 142k|3126 | 1 |2773 | 19 | 0.000000e+00 | -- | Inf | 0.56%
485.62/487.30 c 487s| 600 | 550 |364822 | 601.5 | 1415M | 56 |6711 | 144k| 142k|3266 | 1 |2779 | 19 | 0.000000e+00 | -- | Inf | 0.56%
490.40/492.12 c 492s| 700 | 644 |367674 | 519.5 | 1420M | 73 |6711 | 144k| 142k|3331 | 1 |2830 | 19 | 0.000000e+00 | -- | Inf | 0.56%
493.87/495.68 c 496s| 800 | 700 |371918 | 459.8 | 1422M | 74 |6711 | 144k| 142k|3335 | 1 |2983 | 19 | 0.000000e+00 | -- | Inf | 0.56%
498.55/500.35 c 500s| 900 | 725 |380305 | 418.0 | 1424M | 74 |6711 | 144k| 0 |3338 | 0 |3183 | 19 | 0.000000e+00 | -- | Inf | 0.95%
502.63/504.40 c 504s| 1000 | 747 |381677 | 377.5 | 1425M | 74 |6711 | 145k| 142k|3380 | 1 |3313 | 19 | 0.000000e+00 | -- | Inf | 0.95%
507.01/508.88 c 509s| 1100 | 841 |383502 | 344.8 | 1428M | 79 |6711 | 145k| 142k|3395 | 1 |3318 | 19 | 0.000000e+00 | -- | Inf | 0.95%
510.59/512.47 c 512s| 1200 | 929 |384891 | 317.2 | 1432M | 95 |6711 | 145k| 142k|3395 | 1 |3333 | 19 | 0.000000e+00 | -- | Inf | 0.95%
514.87/516.73 c 517s| 1300 | 1019 |391640 | 298.0 | 1435M | 102 |6711 | 145k| 142k|3395 | 1 |3469 | 19 | 0.000000e+00 | -- | Inf | 0.95%
522.24/524.16 c 524s| 1400 | 1053 |396213 | 280.0 | 1450M | 102 |6711 | 145k| 0 |3458 | 0 |3628 | 19 | 0.000000e+00 | -- | Inf | 0.95%
526.31/528.20 c 528s| 1500 | 1130 |398025 | 262.5 | 1453M | 102 |6711 | 145k| 142k|3486 | 1 |3690 | 19 | 0.000000e+00 | -- | Inf | 0.95%
531.88/533.82 c 534s| 1600 | 1073 |402737 | 249.0 | 1456M | 102 |6711 | 145k| 142k|3562 | 1 |3755 | 19 | 0.000000e+00 | -- | Inf | 0.95%
535.96/537.98 c 538s| 1700 | 1104 |405123 | 235.8 | 1459M | 102 |6711 | 145k| 142k|3671 | 1 |3873 | 19 | 0.000000e+00 | -- | Inf | 0.95%
541.74/543.70 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
541.74/543.70 c 544s| 1800 | 1085 |406735 | 223.6 | 1459M | 102 |6711 | 145k| 142k|3769 | 3 |4015 | 19 | 0.000000e+00 | -- | Inf | 0.95%
545.03/547.07 c 547s| 1900 | 1106 |408172 | 212.6 | 1459M | 102 |6711 | 145k| 142k|3830 | 1 |4155 | 19 | 0.000000e+00 | -- | Inf | 0.95%
548.71/550.70 c 551s| 2000 | 1117 |409677 | 202.7 | 1459M | 102 |6711 | 145k| 142k|3909 | 1 |4301 | 19 | 0.000000e+00 | -- | Inf | 0.95%
552.59/554.64 c 555s| 2100 | 1122 |411524 | 193.9 | 1459M | 102 |6711 | 145k| 0 |4033 | 0 |4434 | 19 | 0.000000e+00 | -- | Inf | 0.95%
555.98/558.09 c 558s| 2200 | 1132 |412962 | 185.7 | 1459M | 102 |6711 | 145k| 142k|4133 | 1 |4602 | 19 | 0.000000e+00 | -- | Inf | 0.95%
559.66/561.71 c 562s| 2300 | 1110 |414651 | 178.4 | 1459M | 102 |6711 | 145k| 142k|4236 | 1 |4757 | 19 | 0.000000e+00 | -- | Inf | 0.95%
562.95/565.09 c 565s| 2400 | 1105 |416552 | 171.8 | 1459M | 102 |6711 | 145k| 142k|4323 | 1 |4825 | 19 | 0.000000e+00 | -- | Inf | 0.95%
566.82/568.95 c 569s| 2500 | 1080 |418323 | 165.6 | 1459M | 102 |6711 | 145k| 142k|4498 | 1 |4902 | 19 | 0.000000e+00 | -- | Inf | 0.95%
570.40/572.59 c 573s| 2600 | 1054 |420065 | 159.9 | 1459M | 102 |6711 | 145k| 142k|4607 | 1 |4999 | 19 | 0.000000e+00 | -- | Inf | 0.95%
575.68/577.80 c 578s| 2700 | 1003 |421999 | 154.7 | 1459M | 102 |6711 | 145k| 142k|4766 | 2 |5089 | 19 | 0.000000e+00 | -- | Inf | 0.95%
585.94/588.11 c 588s| 2800 | 965 |425224 | 150.3 | 1490M | 102 |6711 | 145k| 142k|4975 | 1 |5216 | 19 | 0.000000e+00 | -- | Inf | 0.95%
595.40/597.63 c 598s| 2900 | 987 |429055 | 146.4 | 1519M | 102 |6711 | 145k| 142k|5323 | 1 |5300 | 19 | 0.000000e+00 | -- | Inf | 0.95%
611.44/613.73 c 614s| 3000 | 1017 |431762 | 142.5 | 1603M | 102 |6711 | 145k| 142k|5622 | 1 |5449 | 19 | 0.000000e+00 | -- | Inf | 0.95%
615.62/618.00 c 618s| 3100 | 1036 |434308 | 138.7 | 1617M | 102 |6711 | 145k| 142k|5888 | 1 |5613 | 19 | 0.000000e+00 | -- | Inf | 0.95%
619.40/621.77 c 622s| 3200 | 1051 |436791 | 135.1 | 1645M | 102 |6711 | 145k| 0 |6206 | 0 |5814 | 19 | 0.000000e+00 | -- | Inf | 0.95%
622.89/625.27 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
622.89/625.27 c 625s| 3300 | 1067 |438846 | 131.7 | 1646M | 102 |6711 | 145k| 142k|6450 | 1 |6027 | 19 | 0.000000e+00 | -- | Inf | 0.95%
630.06/632.42 c 632s| 3400 | 1078 |441953 | 128.7 | 1661M | 102 |6711 | 145k| 142k|6959 | 2 |6229 | 19 | 0.000000e+00 | -- | Inf | 0.95%
633.54/635.98 c 636s| 3500 | 1075 |444566 | 125.8 | 1661M | 102 |6711 | 145k| 142k|7275 | 1 |6408 | 19 | 0.000000e+00 | -- | Inf | 0.95%
637.32/639.74 c 640s| 3600 | 1085 |446814 | 122.9 | 1661M | 102 |6711 | 145k| 142k|7619 | 1 |6565 | 19 | 0.000000e+00 | -- | Inf | 0.95%
640.61/643.03 c 643s| 3700 | 1095 |448985 | 120.2 | 1662M | 102 |6711 | 145k| 142k|7860 | 1 |6779 | 19 | 0.000000e+00 | -- | Inf | 0.95%
644.28/646.77 c 647s| 3800 | 1088 |452540 | 117.9 | 1662M | 102 |6711 | 145k| 142k|8276 | 1 |6993 | 19 | 0.000000e+00 | -- | Inf | 0.95%
648.16/650.67 c 651s| 3900 | 1043 |456253 | 115.9 | 1662M | 102 |6711 | 145k| 142k|8760 | 1 |7211 | 19 | 0.000000e+00 | -- | Inf | 0.95%
651.45/653.93 c 654s| 4000 | 1051 |458966 | 113.6 | 1662M | 102 |6711 | 145k| 142k|8922 | 1 |7336 | 19 | 0.000000e+00 | -- | Inf | 0.95%
654.83/657.32 c 657s| 4100 | 1070 |462081 | 111.6 | 1662M | 102 |6711 | 145k| 142k|9095 | 1 |7440 | 19 | 0.000000e+00 | -- | Inf | 0.95%
658.41/660.96 c 661s| 4200 | 1097 |464716 | 109.6 | 1664M | 102 |6711 | 145k| 142k|9317 | 1 |7551 | 19 | 0.000000e+00 | -- | Inf | 0.95%
661.70/664.22 c 664s| 4300 | 1089 |467284 | 107.6 | 1664M | 102 |6711 | 145k| 0 |9454 | 0 |7711 | 19 | 0.000000e+00 | -- | Inf | 0.95%
666.87/669.46 c 669s| 4400 | 1095 |472072 | 106.3 | 1677M | 102 |6711 | 145k| 142k|9857 | 2 |7824 | 19 | 0.000000e+00 | -- | Inf | 0.95%
672.65/675.26 c 675s| 4500 | 1132 |482162 | 106.2 | 1681M | 102 |6711 | 145k| 142k| 10k| 1 |7959 | 19 | 0.000000e+00 | -- | Inf | 0.95%
678.82/681.43 c 681s| 4600 | 1164 |487165 | 104.9 | 1682M | 102 |6711 | 145k| 142k| 10k| 1 |8077 | 19 | 0.000000e+00 | -- | Inf | 0.95%
683.00/685.65 c 686s| 4700 | 1176 |492088 | 103.8 | 1682M | 102 |6711 | 145k| 142k| 11k| 1 |8195 | 19 | 0.000000e+00 | -- | Inf | 0.95%
687.18/689.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
687.18/689.89 c 690s| 4800 | 1177 |496910 | 102.6 | 1682M | 102 |6711 | 145k| 142k| 11k| 2 |8322 | 19 | 0.000000e+00 | -- | Inf | 0.95%
691.26/693.98 c 694s| 4900 | 1205 |501325 | 101.4 | 1682M | 102 |6711 | 145k| 0 | 11k| 0 |8458 | 19 | 0.000000e+00 | -- | Inf | 0.95%
697.73/700.47 c 700s| 5000 | 1242 |508128 | 100.7 | 1684M | 102 |6711 | 145k| 0 | 12k| 0 |8577 | 19 | 0.000000e+00 | -- | Inf | 0.95%
705.79/708.56 c 709s| 5100 | 1249 |511865 | 99.5 | 1697M | 102 |6711 | 145k| 0 | 12k| 0 |8731 | 19 | 0.000000e+00 | -- | Inf | 0.95%
709.38/712.16 c 712s| 5200 | 1262 |517608 | 98.7 | 1699M | 102 |6711 | 145k| 0 | 12k| 0 |8857 | 19 | 0.000000e+00 | -- | Inf | 0.95%
719.64/722.49 c 722s| 5300 | 1289 |524310 | 98.1 | 1724M | 102 |6711 | 145k| 142k| 13k| 1 |8996 | 19 | 0.000000e+00 | -- | Inf | 0.95%
722.82/725.62 c 726s| 5400 | 1309 |526943 | 96.8 | 1724M | 102 |6711 | 145k| 0 | 13k| 0 |9105 | 19 | 0.000000e+00 | -- | Inf | 0.95%
725.81/728.62 c 729s| 5500 | 1304 |529352 | 95.4 | 1724M | 102 |6711 | 145k| 142k| 13k| 1 |9232 | 19 | 0.000000e+00 | -- | Inf | 0.95%
728.99/731.82 c 732s| 5600 | 1278 |532125 | 94.2 | 1724M | 102 |6711 | 145k| 142k| 13k| 1 |9357 | 19 | 0.000000e+00 | -- | Inf | 0.95%
736.96/739.85 c 740s| 5700 | 1313 |538227 | 93.6 | 1724M | 102 |6711 | 145k| 142k| 14k| 1 |9508 | 19 | 0.000000e+00 | -- | Inf | 0.95%
740.34/743.28 c 743s| 5800 | 1337 |540265 | 92.4 | 1725M | 102 |6711 | 145k| 142k| 14k| 1 |9670 | 19 | 0.000000e+00 | -- | Inf | 0.95%
743.73/746.61 c 747s| 5900 | 1234 |542730 | 91.2 | 1725M | 102 |6711 | 145k| 142k| 14k| 1 |9807 | 19 | 0.000000e+00 | -- | Inf | 0.95%
751.60/754.58 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
751.70/754.65 c (run 1, node 5970) performing user restart
751.70/754.65 c
751.70/754.66 c (restart) converted 21 cuts from the global cut pool into linear constraints
751.70/754.66 c
751.90/754.83 c presolving:
751.90/754.88 c (round 1, fast) 14 del vars, 472 del conss, 104 add conss, 0 chg bounds, 1 chg sides, 429 chg coeffs, 0 upgd conss, 0 impls, 29112 clqs
752.00/754.99 c (round 2, medium) 38 del vars, 472 del conss, 104 add conss, 0 chg bounds, 1 chg sides, 429 chg coeffs, 0 upgd conss, 0 impls, 29045 clqs
752.29/755.21 c (round 3, exhaustive) 38 del vars, 687 del conss, 137 add conss, 0 chg bounds, 1 chg sides, 429 chg coeffs, 0 upgd conss, 0 impls, 29046 clqs
752.59/755.55 c (round 4, exhaustive) 38 del vars, 1210 del conss, 162 add conss, 0 chg bounds, 1 chg sides, 1659 chg coeffs, 21 upgd conss, 0 impls, 29048 clqs
753.20/756.18 c presolving (5 rounds: 5 fast, 4 medium, 3 exhaustive):
753.20/756.18 c 38 deleted vars, 1229 deleted constraints, 163 added constraints, 0 tightened bounds, 0 added holes, 2 changed sides, 1708 changed coefficients
753.20/756.18 c 0 implications, 29074 cliques
753.20/756.18 c presolved problem has 6673 variables (6673 bin, 0 int, 0 impl, 0 cont) and 144476 constraints
753.20/756.18 c 16502 constraints of type <knapsack>
753.20/756.18 c 28919 constraints of type <setppc>
753.20/756.18 c 5 constraints of type <and>
753.20/756.18 c 12 constraints of type <linear>
753.20/756.18 c 99038 constraints of type <logicor>
753.20/756.18 c transformed objective value is always integral (scale: 1)
753.20/756.18 c Presolving Time: 5.74
753.20/756.18 c
753.79/756.71 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
753.79/756.71 c 757s| 1 | 0 |554683 | - | 1765M | 0 |6673 | 144k| 141k| 0 | 0 |9940 | 19 | 0.000000e+00 | -- | Inf | unknown
772.05/775.02 c 775s| 1 | 0 |554700 | - | 1782M | 0 |6673 | 144k| 142k| 10 | 1 |9941 | 19 | 0.000000e+00 | -- | Inf | unknown
795.17/798.25 c 798s| 1 | 0 |554826 | - | 1798M | 0 |6673 | 144k| 142k| 19 | 2 |9949 | 19 | 0.000000e+00 | -- | Inf | unknown
831.66/834.89 c 835s| 1 | 0 |554858 | - | 1814M | 0 |6673 | 144k| 142k| 25 | 3 |9951 | 19 | 0.000000e+00 | -- | Inf | unknown
865.55/868.87 c 869s| 1 | 0 |554928 | - | 1831M | 0 |6673 | 144k| 142k| 38 | 4 |9958 | 19 | 0.000000e+00 | -- | Inf | unknown
905.13/908.56 c 909s| 1 | 0 |555117 | - | 1851M | 0 |6673 | 144k| 142k| 46 | 5 |9960 | 19 | 0.000000e+00 | -- | Inf | unknown
923.46/926.92 c 927s| 1 | 0 |555448 | - | 1868M | 0 |6673 | 144k| 142k| 63 | 6 |9960 | 19 | 0.000000e+00 | -- | Inf | unknown
938.02/941.55 c 942s| 1 | 0 |555564 | - | 1884M | 0 |6673 | 144k| 142k| 83 | 7 |9968 | 19 | 0.000000e+00 | -- | Inf | unknown
945.80/949.33 c 949s| 1 | 0 |555628 | - | 1898M | 0 |6673 | 144k| 142k| 97 | 8 |9975 | 19 | 0.000000e+00 | -- | Inf | unknown
952.37/955.94 c 956s| 1 | 0 |555693 | - | 1913M | 0 |6673 | 144k| 142k| 112 | 9 |9978 | 19 | 0.000000e+00 | -- | Inf | unknown
962.74/966.32 c 966s| 1 | 0 |555766 | - | 1929M | 0 |6673 | 144k| 142k| 122 | 10 |9979 | 19 | 0.000000e+00 | -- | Inf | unknown
962.84/966.50 c 966s| 1 | 0 |555838 | - | 1942M | 0 |6673 | 144k| 142k| 135 | 11 |9986 | 19 | 0.000000e+00 | -- | Inf | unknown
963.04/966.67 c 967s| 1 | 0 |555902 | - | 1957M | 0 |6673 | 144k| 142k| 150 | 12 |9992 | 19 | 0.000000e+00 | -- | Inf | unknown
963.24/966.82 c 967s| 1 | 0 |555945 | - | 1972M | 0 |6673 | 144k| 142k| 163 | 13 |9997 | 19 | 0.000000e+00 | -- | Inf | unknown
963.34/966.97 c 967s| 1 | 0 |555990 | - | 1987M | 0 |6673 | 144k| 142k| 174 | 14 | 10k| 19 | 0.000000e+00 | -- | Inf | unknown
963.44/967.10 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
963.44/967.10 c 967s| 1 | 0 |556016 | - | 2003M | 0 |6673 | 144k| 142k| 185 | 15 | 10k| 19 | 0.000000e+00 | -- | Inf | unknown
969.22/972.88 c 973s| 1 | 2 |563014 | - | 2005M | 0 |6673 | 144k| 142k| 185 | 15 | 10k| 38 | 0.000000e+00 | -- | Inf | unknown
976.49/980.16 c 980s| 100 | 38 |577711 | 94.1 | 2064M | 22 |6673 | 144k| 0 | 225 | 0 | 10k| 38 | 0.000000e+00 | -- | Inf | unknown
991.03/994.73 c 995s| 200 | 54 |593706 | 95.1 | 2065M | 22 |6673 | 145k| 142k| 237 | 1 | 10k| 38 | 0.000000e+00 | -- | Inf | unknown
1007.76/1011.50 c 1011s| 300 | 94 |611683 | 96.5 | 2083M | 23 |6673 | 145k| 142k| 285 | 1 | 11k| 38 | 0.000000e+00 | -- | Inf | unknown
1010.74/1014.50 c 1014s| 400 | 124 |613125 | 95.2 | 2084M | 23 |6673 | 145k| 142k| 299 | 1 | 11k| 38 | 0.000000e+00 | -- | Inf | unknown
1022.71/1026.50 c 1026s| 500 | 127 |623033 | 95.2 | 2113M | 23 |6673 | 145k| 0 | 350 | 0 | 11k| 38 | 0.000000e+00 | -- | Inf | unknown
1039.45/1043.37 c 1043s| 600 | 129 |639900 | 96.4 | 2132M | 23 |6673 | 146k| 142k| 440 | 1 | 12k| 38 | 0.000000e+00 | -- | Inf | unknown
1042.43/1046.39 c 1046s| 700 | 131 |643869 | 95.5 | 2134M | 23 |6673 | 146k| 142k| 461 | 1 | 12k| 38 | 0.000000e+00 | -- | Inf | unknown
1077.21/1081.20 c 1081s| 800 | 70 |646662 | 94.5 | 2169M | 24 |6673 | 146k| 142k| 754 | 1 | 12k| 38 | 0.000000e+00 | -- | Inf | unknown
1080.69/1084.70 c 1085s| 900 | 108 |648113 | 93.4 | 2169M | 24 |6673 | 146k| 142k| 896 | 1 | 13k| 38 | 0.000000e+00 | -- | Inf | unknown
1084.07/1088.14 c 1088s| 1000 | 115 |652403 | 92.6 | 2170M | 24 |6673 | 146k| 0 |1025 | 0 | 13k| 38 | 0.000000e+00 | -- | Inf | unknown
1086.85/1090.98 c 1091s| 1100 | 113 |653658 | 91.5 | 2170M | 24 |6673 | 146k| 142k|1047 | 1 | 13k| 38 | 0.000000e+00 | -- | Inf | unknown
1089.24/1093.30 c 1093s| 1200 | 122 |654602 | 90.3 | 2170M | 24 |6673 | 146k| 0 |1047 | 0 | 13k| 38 | 0.000000e+00 | -- | Inf | unknown
1091.82/1095.94 c 1096s| 1300 | 79 |655835 | 89.3 | 2170M | 24 |6673 | 147k| 0 |1154 | 0 | 14k| 38 | 0.000000e+00 | -- | Inf | 0.57%
1094.21/1098.32 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1094.21/1098.32 c 1098s| 1400 | 44 |656901 | 88.2 | 2170M | 24 |6673 | 147k| 142k|1206 | 1 | 14k| 38 | 0.000000e+00 | -- | Inf | 0.68%
1160.19/1164.58 c 1165s| 1500 | 78 |680143 | 90.1 | 2262M | 24 |6673 | 147k| 0 |1746 | 0 | 14k| 38 | 0.000000e+00 | -- | Inf | 0.78%
1180.52/1184.95 c 1185s| 1600 | 87 |691723 | 90.5 | 2293M | 24 |6673 | 147k| 142k|1946 | 1 | 14k| 38 | 0.000000e+00 | -- | Inf | 0.83%
1220.49/1225.07 c 1225s| 1700 | 130 |725741 | 93.7 | 2359M | 24 |6673 | 147k| 0 |2465 | 0 | 15k| 38 | 0.000000e+00 | -- | Inf | 1.07%
1224.17/1228.71 c 1229s| 1800 | 135 |732248 | 93.4 | 2359M | 24 |6673 | 147k| 142k|2528 | 1 | 15k| 38 | 0.000000e+00 | -- | Inf | 1.10%
1228.94/1233.56 c 1234s| 1900 | 122 |739649 | 93.1 | 2360M | 24 |6673 | 147k| 142k|2568 | 1 | 15k| 38 | 0.000000e+00 | -- | Inf | 1.13%
1243.40/1248.06 c 1248s| 2000 | 132 |749253 | 93.2 | 2361M | 27 |6673 | 147k| 142k|2640 | 1 | 16k| 38 | 0.000000e+00 | -- | Inf | 1.17%
1246.28/1250.93 c 1251s| 2100 | 145 |750857 | 92.2 | 2361M | 27 |6673 | 148k| 0 |2683 | 0 | 16k| 38 | 0.000000e+00 | -- | Inf | 1.22%
1250.37/1255.07 c 1255s| 2200 | 128 |754793 | 91.6 | 2375M | 27 |6673 | 148k| 142k|2740 | 1 | 16k| 38 | 0.000000e+00 | -- | Inf | 1.28%
1253.74/1258.49 c 1258s| 2300 | 166 |757614 | 90.8 | 2377M | 27 |6673 | 148k| 0 |2835 | 0 | 16k| 38 | 0.000000e+00 | -- | Inf | 1.30%
1257.62/1262.31 c 1262s| 2400 | 200 |759610 | 89.9 | 2377M | 27 |6673 | 148k| 142k|2976 | 1 | 16k| 38 | 0.000000e+00 | -- | Inf | 1.31%
1260.90/1265.66 c 1266s| 2500 | 210 |761577 | 89.1 | 2378M | 29 |6673 | 148k| 0 |3086 | 0 | 16k| 38 | 0.000000e+00 | -- | Inf | 1.32%
1268.37/1273.15 c 1273s| 2600 | 169 |763791 | 88.3 | 2408M | 29 |6673 | 148k| 142k|3222 | 1 | 17k| 38 | 0.000000e+00 | -- | Inf | 1.41%
1272.84/1277.64 c 1278s| 2700 | 221 |768034 | 87.8 | 2409M | 29 |6673 | 148k| 142k|3322 | 1 | 17k| 38 | 0.000000e+00 | -- | Inf | 1.42%
1278.81/1283.69 c 1284s| 2800 | 260 |775386 | 87.6 | 2411M | 29 |6673 | 148k| 0 |3436 | 0 | 17k| 38 | 0.000000e+00 | -- | Inf | 1.43%
1283.79/1288.63 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1283.79/1288.63 c 1289s| 2900 | 320 |777136 | 86.8 | 2413M | 29 |6673 | 149k| 142k|3571 | 1 | 17k| 38 | 0.000000e+00 | -- | Inf | 1.43%
1298.13/1303.09 c 1303s| 3000 | 355 |784467 | 86.7 | 2444M | 29 |6673 | 148k| 0 |3815 | 0 | 17k| 38 | 0.000000e+00 | -- | Inf | 1.44%
1301.41/1306.35 c 1306s| 3100 | 363 |788895 | 86.2 | 2444M | 29 |6673 | 148k| 142k|3910 | 1 | 17k| 38 | 0.000000e+00 | -- | Inf | 1.46%
1394.52/1399.75 c 1400s| 3200 | 387 |829486 | 89.7 | 2523M | 29 |6673 | 148k| 142k|5203 | 1 | 18k| 38 | 0.000000e+00 | -- | Inf | 1.46%
1399.00/1404.28 c 1404s| 3300 | 423 |834026 | 89.2 | 2527M | 32 |6673 | 148k| 0 |5375 | 0 | 18k| 38 | 0.000000e+00 | -- | Inf | 1.46%
1403.28/1408.55 c 1409s| 3400 | 407 |840700 | 89.0 | 2527M | 32 |6673 | 148k| 142k|5544 | 1 | 18k| 38 | 0.000000e+00 | -- | Inf | 1.48%
1428.39/1433.75 c 1434s| 3500 | 368 |854434 | 89.5 | 2534M | 32 |6673 | 148k| 142k|5775 | 1 | 18k| 38 | 0.000000e+00 | -- | Inf | 1.58%
1439.94/1445.33 c 1445s| 3600 | 382 |874135 | 90.6 | 2536M | 32 |6673 | 147k| 142k|5918 | 1 | 19k| 38 | 0.000000e+00 | -- | Inf | 1.62%
1445.82/1451.30 c 1451s| 3700 | 426 |890072 | 91.3 | 2539M | 32 |6673 | 147k| 0 |5979 | 0 | 19k| 38 | 0.000000e+00 | -- | Inf | 1.64%
1450.50/1455.95 c 1456s| 3800 | 431 |893315 | 90.7 | 2567M | 40 |6673 | 147k| 142k|6092 | 1 | 19k| 38 | 0.000000e+00 | -- | Inf | 1.64%
1468.94/1474.43 c 1474s| 3900 | 426 |894331 | 89.9 | 2652M | 44 |6673 | 148k| 0 |6251 | 0 | 19k| 38 | 0.000000e+00 | -- | Inf | 1.64%
1472.12/1477.63 c 1478s| 4000 | 435 |895658 | 89.2 | 2652M | 44 |6673 | 148k| 142k|6352 | 1 | 19k| 38 | 0.000000e+00 | -- | Inf | 1.64%
1479.19/1484.70 c 1485s| 4100 | 430 |899474 | 88.6 | 2654M | 44 |6673 | 148k| 0 |6595 | 0 | 20k| 38 | 0.000000e+00 | -- | Inf | 1.64%
1524.54/1530.20 c 1530s| 4200 | 410 |920690 | 89.9 | 2658M | 44 |6673 | 148k| 142k|6933 | 1 | 20k| 38 | 0.000000e+00 | -- | Inf | 1.65%
1535.42/1541.14 c 1541s| 4300 | 417 |924015 | 89.3 | 2699M | 44 |6673 | 148k| 0 |7080 | 0 | 20k| 38 | 0.000000e+00 | -- | Inf | 1.75%
1547.86/1553.70 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1547.86/1553.70 c 1554s| 4400 | 412 |934316 | 89.4 | 2714M | 44 |6673 | 148k| 142k|7256 | 1 | 20k| 38 | 0.000000e+00 | -- | Inf | 1.89%
1582.05/1587.98 c 1588s| 4500 | 447 |962488 | 91.3 | 2757M | 44 |6673 | 148k| 142k|7739 | 2 | 21k| 38 | 0.000000e+00 | -- | Inf | 1.91%
1661.19/1667.33 c 1667s| 4600 | 537 | 1041k| 97.9 | 2783M | 44 |6673 | 147k| 0 |9133 | 0 | 21k| 38 | 0.000000e+00 | -- | Inf | 2.33%
1667.56/1673.79 c 1674s| 4700 | 541 | 1050k| 97.8 | 2783M | 44 |6673 | 148k| 142k|9166 | 2 | 21k| 38 | 0.000000e+00 | -- | Inf | 2.33%
1676.83/1683.01 c 1683s| 4800 | 555 | 1065k| 98.3 | 2784M | 44 |6673 | 148k| 142k|9287 | 1 | 21k| 38 | 0.000000e+00 | -- | Inf | 2.33%
1679.81/1686.08 c 1686s| 4900 | 546 | 1066k| 97.5 | 2784M | 44 |6673 | 148k| 0 |9371 | 0 | 21k| 38 | 0.000000e+00 | -- | Inf | 2.33%
1682.39/1688.65 c 1689s| 5000 | 536 | 1067k| 96.7 | 2785M | 44 |6673 | 148k| 142k|9406 | 1 | 22k| 38 | 0.000000e+00 | -- | Inf | 2.33%
1695.65/1701.99 c 1702s| 5100 | 531 | 1076k| 96.6 | 2800M | 44 |6673 | 148k| 142k|9673 | 1 | 22k| 38 | 0.000000e+00 | -- | Inf | 2.38%
1746.08/1752.57 c 1753s| 5200 | 584 | 1122k| 99.9 | 2823M | 44 |6673 | 148k| 142k| 10k| 1 | 22k| 38 | 0.000000e+00 | -- | Inf | 2.42%
1754.04/1760.52 c 1761s| 5300 | 666 | 1132k| 99.9 | 2858M | 66 |6673 | 148k| 142k| 10k| 1 | 22k| 38 | 0.000000e+00 | -- | Inf | 2.42%
1761.11/1767.69 c 1768s| 5400 | 746 | 1143k| 99.9 | 2861M | 77 |6673 | 147k| 142k| 10k| 1 | 23k| 38 | 0.000000e+00 | -- | Inf | 2.42%
1766.98/1773.57 c 1774s| 5500 | 836 | 1148k| 99.5 | 2864M | 79 |6673 | 147k| 142k| 10k| 1 | 23k| 38 | 0.000000e+00 | -- | Inf | 2.42%
1771.15/1777.76 c 1778s| 5600 | 931 | 1150k| 98.8 | 2867M | 109 |6673 | 147k| 142k| 10k| 1 | 23k| 38 | 0.000000e+00 | -- | Inf | 2.42%
1775.03/1781.61 c 1782s| 5700 | 935 | 1153k| 98.2 | 2869M | 133 |6673 | 147k| 142k| 10k| 1 | 23k| 38 | 0.000000e+00 | -- | Inf | 2.42%
1778.61/1785.26 c 1785s| 5800 | 966 | 1157k| 97.8 | 2869M | 133 |6673 | 147k| 142k| 10k| 1 | 23k| 38 | 0.000000e+00 | -- | Inf | 2.43%
1781.70/1788.36 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1781.70/1788.36 c 1788s| 5900 | 950 | 1160k| 97.2 | 2869M | 133 |6673 | 147k| 142k| 10k| 1 | 23k| 38 | 0.000000e+00 | -- | Inf | 2.43%
1785.99/1792.68 c 1793s| 6000 | 758 | 1164k| 96.7 | 2869M | 133 |6673 | 147k| 0 | 10k| 0 | 23k| 38 | 0.000000e+00 | -- | Inf | 2.43%
1789.67/1796.33 c 1796s| 6100 | 777 | 1165k| 96.0 | 2870M | 133 |6673 | 147k| 0 | 10k| 0 | 23k| 38 | 0.000000e+00 | -- | Inf | 2.43%
1792.15/1798.81 c 1799s| 6200 | 779 | 1166k| 95.3 | 2870M | 133 |6673 | 147k| 0 | 10k| 0 | 23k| 38 | 0.000000e+00 | -- | Inf | 2.43%
1794.35/1801.03 c 1801s| 6300 | 770 | 1167k| 94.6 | 2870M | 133 |6673 | 147k| 142k| 10k| 1 | 23k| 38 | 0.000000e+00 | -- | Inf | 2.43%
1797.82/1804.59 c 1805s| 6400 | 742 | 1169k| 94.0 | 2870M | 133 |6673 | 147k| 0 | 10k| 0 | 23k| 38 | 0.000000e+00 | -- | Inf | 2.43%
1802.90/1809.63 c 1810s| 6500 | 668 | 1178k| 94.0 | 2869M | 133 |6673 | 147k| 142k| 10k| 1 | 23k| 38 | 0.000000e+00 | -- | Inf | 2.43%
1807.98/1814.75 c 1815s| 6600 | 670 | 1181k| 93.4 | 2883M | 133 |6673 | 147k| 142k| 10k| 1 | 23k| 38 | 0.000000e+00 | -- | Inf | 2.43%
1810.96/1817.78 c 1818s| 6700 | 701 | 1182k| 92.8 | 2883M | 133 |6673 | 147k| 142k| 10k| 1 | 23k| 38 | 0.000000e+00 | -- | Inf | 2.43%
1815.84/1822.66 c 1823s| 6800 | 662 | 1188k| 92.6 | 2884M | 133 |6673 | 147k| 0 | 10k| 0 | 24k| 38 | 0.000000e+00 | -- | Inf | 2.43%
1821.51/1828.38 c 1828s| 6900 | 661 | 1192k| 92.1 | 2899M | 133 |6673 | 148k| 142k| 11k| 1 | 24k| 38 | 0.000000e+00 | -- | Inf | 2.43%
1829.98/1836.85 c 1837s| 7000 | 661 | 1195k| 91.7 | 2913M | 133 |6673 | 148k| 142k| 11k| 1 | 24k| 38 | 0.000000e+00 | -- | Inf | 2.43%
1838.44/1845.39 c 1845s| 7100 | 667 | 1198k| 91.2 | 2957M | 133 |6673 | 148k| 0 | 11k| 0 | 24k| 38 | 0.000000e+00 | -- | Inf | 2.43%
1846.41/1853.37 c 1853s| 7200 | 669 | 1200k| 90.7 | 2986M | 133 |6673 | 148k| 142k| 11k| 1 | 24k| 38 | 0.000000e+00 | -- | Inf | 2.43%
1849.59/1856.56 c 1857s| 7300 | 674 | 1201k| 90.1 | 2986M | 133 |6673 | 148k| 0 | 11k| 0 | 24k| 38 | 0.000000e+00 | -- | Inf | 2.43%
1852.67/1859.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1852.67/1859.69 c 1860s| 7400 | 674 | 1203k| 89.5 | 2986M | 133 |6673 | 148k| 142k| 11k| 1 | 24k| 38 | 0.000000e+00 | -- | Inf | 2.43%
1856.36/1863.31 c 1863s| 7500 | 669 | 1204k| 88.9 | 2986M | 133 |6673 | 148k| 0 | 11k| 0 | 24k| 38 | 0.000000e+00 | -- | Inf | 2.43%
1864.23/1871.23 c 1871s| 7600 | 666 | 1208k| 88.5 | 3000M | 133 |6673 | 148k| 0 | 12k| 0 | 25k| 38 | 0.000000e+00 | -- | Inf | 2.43%
1871.20/1878.29 c 1878s| 7700 | 666 | 1211k| 88.2 | 3014M | 133 |6673 | 148k| 0 | 12k| 0 | 25k| 38 | 0.000000e+00 | -- | Inf | 2.43%
1875.08/1882.12 c 1882s| 7800 | 669 | 1215k| 87.7 | 3014M | 133 |6673 | 148k| 142k| 12k| 1 | 25k| 38 | 0.000000e+00 | -- | Inf | 2.43%
1879.45/1886.52 c 1887s| 7900 | 659 | 1218k| 87.3 | 3014M | 133 |6673 | 148k| 142k| 13k| 1 | 25k| 38 | 0.000000e+00 | -- | Inf | 2.43%
1882.94/1890.02 c 1890s| 8000 | 654 | 1221k| 87.0 | 3014M | 133 |6673 | 148k| 0 | 13k| 0 | 25k| 38 | 0.000000e+00 | -- | Inf | 2.43%
1892.90/1900.03 c 1900s| 8100 | 673 | 1233k| 87.2 | 3014M | 133 |6673 | 148k| 142k| 13k| 1 | 25k| 38 | 0.000000e+00 | -- | Inf | 2.43%
1901.46/1908.69 c 1909s| 8200 | 692 | 1234k| 86.6 | 3043M | 133 |6673 | 148k| 0 | 13k| 0 | 25k| 38 | 0.000000e+00 | -- | Inf | 2.43%
1912.11/1919.35 c 1919s| 8300 | 706 | 1238k| 86.3 | 3057M | 133 |6673 | 148k| 142k| 13k| 1 | 26k| 38 | 0.000000e+00 | -- | Inf | 2.43%
1928.06/1935.34 c 1935s| 8400 | 730 | 1240k| 85.9 | 3088M | 133 |6673 | 149k| 142k| 13k| 1 | 26k| 38 | 0.000000e+00 | -- | Inf | 2.43%
1932.74/1940.08 c 1940s| 8500 | 751 | 1244k| 85.6 | 3088M | 133 |6673 | 149k| 0 | 14k| 0 | 26k| 38 | 0.000000e+00 | -- | Inf | 2.43%
1948.18/1955.55 c 1956s| 8600 | 760 | 1248k| 85.2 | 3117M | 133 |6673 | 149k| 0 | 14k| 0 | 27k| 38 | 0.000000e+00 | -- | Inf | 2.43%
1953.95/1961.36 c 1961s| 8700 | 776 | 1250k| 84.8 | 3145M | 133 |6673 | 149k| 142k| 14k| 1 | 27k| 38 | 0.000000e+00 | -- | Inf | 2.43%
1958.04/1965.45 c 1965s| 8800 | 770 | 1253k| 84.4 | 3146M | 133 |6673 | 150k| 0 | 14k| 0 | 27k| 38 | 0.000000e+00 | -- | Inf | 2.43%
1963.31/1970.71 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1963.31/1970.71 c 1971s| 8900 | 779 | 1258k| 84.2 | 3146M | 133 |6673 | 150k| 142k| 15k| 1 | 28k| 38 | 0.000000e+00 | -- | Inf | 2.43%
1967.49/1974.98 c 1975s| 9000 | 772 | 1262k| 83.9 | 3146M | 133 |6673 | 150k| 142k| 15k| 1 | 28k| 38 | 0.000000e+00 | -- | Inf | 2.43%
1972.67/1980.14 c 1980s| 9100 | 753 | 1267k| 83.7 | 3146M | 133 |6673 | 150k| 0 | 16k| 0 | 29k| 38 | 0.000000e+00 | -- | Inf | 2.43%
1978.34/1985.83 c 1986s| 9200 | 748 | 1271k| 83.3 | 3174M | 133 |6673 | 150k| 0 | 16k| 0 | 29k| 38 | 0.000000e+00 | -- | Inf | 2.43%
1990.29/1997.86 c 1998s| 9300 | 748 | 1274k| 83.0 | 3189M | 133 |6673 | 150k| 0 | 16k| 0 | 29k| 38 | 0.000000e+00 | -- | Inf | 2.43%
1994.67/2002.24 c 2002s| 9400 | 746 | 1279k| 82.8 | 3190M | 133 |6673 | 150k| 0 | 17k| 0 | 30k| 38 | 0.000000e+00 | -- | Inf | 2.43%
1999.15/2006.76 c 2007s| 9500 | 708 | 1283k| 82.5 | 3190M | 133 |6673 | 150k| 0 | 17k| 0 | 30k| 38 | 0.000000e+00 | -- | Inf | 2.43%
2011.70/2019.39 c 2019s| 9600 | 726 | 1299k| 83.0 | 3191M | 133 |6673 | 149k| 142k| 17k| 1 | 31k| 38 | 0.000000e+00 | -- | Inf | 2.44%
2015.38/2023.06 c 2023s| 9700 | 753 | 1300k| 82.6 | 3192M | 133 |6673 | 149k| 142k| 17k| 1 | 31k| 38 | 0.000000e+00 | -- | Inf | 2.44%
2019.46/2027.13 c 2027s| 9800 | 775 | 1303k| 82.2 | 3192M | 133 |6673 | 149k| 142k| 18k| 1 | 31k| 38 | 0.000000e+00 | -- | Inf | 2.44%
2022.24/2029.95 c 2030s| 9900 | 768 | 1305k| 81.8 | 3193M | 133 |6673 | 149k| 0 | 18k| 0 | 31k| 38 | 0.000000e+00 | -- | Inf | 2.44%
2025.52/2033.25 c 2033s| 10000 | 780 | 1307k| 81.4 | 3193M | 133 |6673 | 149k| 0 | 18k| 0 | 31k| 38 | 0.000000e+00 | -- | Inf | 2.44%
2028.91/2036.65 c 2037s| 10100 | 806 | 1309k| 81.0 | 3194M | 133 |6673 | 149k| 142k| 18k| 1 | 32k| 38 | 0.000000e+00 | -- | Inf | 2.44%
2037.29/2045.07 c 2045s| 10200 | 817 | 1311k| 80.7 | 3222M | 133 |6673 | 149k| 142k| 18k| 1 | 32k| 38 | 0.000000e+00 | -- | Inf | 2.44%
2040.56/2048.38 c 2048s| 10300 | 822 | 1313k| 80.3 | 3222M | 133 |6673 | 149k| 142k| 18k| 1 | 32k| 38 | 0.000000e+00 | -- | Inf | 2.44%
2044.35/2052.15 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2044.35/2052.15 c 2052s| 10400 | 830 | 1315k| 79.9 | 3222M | 133 |6673 | 149k| 142k| 18k| 1 | 32k| 38 | 0.000000e+00 | -- | Inf | 2.44%
2047.03/2054.88 c 2055s| 10500 | 822 | 1317k| 79.6 | 3222M | 133 |6673 | 149k| 142k| 18k| 1 | 32k| 38 | 0.000000e+00 | -- | Inf | 2.44%
2050.71/2058.57 c 2059s| 10600 | 825 | 1319k| 79.2 | 3222M | 133 |6673 | 149k| 142k| 18k| 1 | 32k| 38 | 0.000000e+00 | -- | Inf | 2.44%
2054.20/2062.08 c 2062s| 10700 | 822 | 1321k| 78.9 | 3222M | 133 |6673 | 149k| 142k| 18k| 1 | 32k| 38 | 0.000000e+00 | -- | Inf | 2.44%
2057.47/2065.34 c 2065s| 10800 | 814 | 1323k| 78.5 | 3222M | 133 |6673 | 149k| 0 | 18k| 0 | 33k| 38 | 0.000000e+00 | -- | Inf | 2.44%
2061.05/2068.97 c 2069s| 10900 | 829 | 1325k| 78.2 | 3222M | 133 |6673 | 149k| 142k| 19k| 1 | 33k| 38 | 0.000000e+00 | -- | Inf | 2.44%
2064.64/2072.54 c 2073s| 11000 | 826 | 1327k| 77.8 | 3223M | 133 |6673 | 149k| 142k| 19k| 1 | 33k| 38 | 0.000000e+00 | -- | Inf | 2.44%
2068.23/2076.16 c 2076s| 11100 | 820 | 1330k| 77.6 | 3223M | 133 |6673 | 149k| 0 | 19k| 0 | 33k| 38 | 0.000000e+00 | -- | Inf | 2.44%
2086.76/2094.79 c 2095s| 11200 | 803 | 1343k| 77.8 | 3239M | 133 |6673 | 149k| 142k| 19k| 2 | 33k| 38 | 0.000000e+00 | -- | Inf | 2.45%
2099.31/2107.38 c 2107s| 11300 | 845 | 1354k| 78.0 | 3241M | 133 |6673 | 149k| 142k| 19k| 1 | 33k| 38 | 0.000000e+00 | -- | Inf | 2.45%
2161.60/2169.80 c 2170s| 11400 | 915 | 1387k| 79.5 | 3257M | 133 |6673 | 148k| 0 | 20k| 0 | 33k| 38 | 0.000000e+00 | -- | Inf | 2.45%
2164.98/2173.26 c 2173s| 11500 | 935 | 1389k| 79.1 | 3258M | 133 |6673 | 149k| 142k| 20k| 1 | 33k| 38 | 0.000000e+00 | -- | Inf | 2.45%
2170.45/2178.71 c 2179s| 11600 | 941 | 1390k| 78.8 | 3286M | 133 |6673 | 149k| 142k| 20k| 1 | 34k| 38 | 0.000000e+00 | -- | Inf | 2.45%
2174.43/2182.74 c 2183s| 11700 | 931 | 1394k| 78.5 | 3286M | 133 |6673 | 149k| 142k| 20k| 1 | 34k| 38 | 0.000000e+00 | -- | Inf | 2.45%
2178.73/2187.05 c 2187s| 11800 | 942 | 1398k| 78.3 | 3287M | 133 |6673 | 149k| 0 | 21k| 0 | 34k| 38 | 0.000000e+00 | -- | Inf | 2.45%
2183.50/2191.86 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2183.50/2191.86 c 2192s| 11900 | 940 | 1401k| 78.1 | 3302M | 133 |6673 | 149k| 0 | 21k| 0 | 34k| 38 | 0.000000e+00 | -- | Inf | 2.45%
2187.08/2195.46 c 2195s| 12000 | 938 | 1404k| 77.8 | 3302M | 133 |6673 | 149k| 0 | 21k| 0 | 34k| 38 | 0.000000e+00 | -- | Inf | 2.45%
2190.26/2198.60 c 2199s| 12100 | 947 | 1406k| 77.4 | 3302M | 133 |6673 | 149k| 142k| 21k| 1 | 35k| 38 | 0.000000e+00 | -- | Inf | 2.45%
2201.32/2209.80 c 2210s| 12200 | 952 | 1407k| 77.1 | 3318M | 133 |6673 | 149k| 0 | 21k| 0 | 35k| 38 | 0.000000e+00 | -- | Inf | 2.45%
2215.26/2223.79 c 2224s| 12300 | 953 | 1410k| 76.9 | 3347M | 133 |6673 | 149k| 0 | 22k| 0 | 35k| 38 | 0.000000e+00 | -- | Inf | 2.45%
2219.44/2227.91 c 2228s| 12400 | 952 | 1414k| 76.6 | 3347M | 133 |6673 | 150k| 142k| 22k| 1 | 35k| 38 | 0.000000e+00 | -- | Inf | 2.45%
2223.53/2232.06 c 2232s| 12500 | 945 | 1417k| 76.4 | 3347M | 133 |6673 | 150k| 0 | 23k| 0 | 35k| 38 | 0.000000e+00 | -- | Inf | 2.45%
2227.80/2236.38 c 2236s| 12600 | 935 | 1421k| 76.2 | 3347M | 133 |6673 | 150k| 142k| 23k| 1 | 36k| 38 | 0.000000e+00 | -- | Inf | 2.45%
2252.74/2261.39 c 2261s| 12700 | 958 | 1424k| 75.9 | 3349M | 133 |6673 | 150k| 0 | 24k| 0 | 36k| 38 | 0.000000e+00 | -- | Inf | 2.57%
2255.72/2264.34 c 2264s| 12800 | 977 | 1425k| 75.6 | 3349M | 133 |6673 | 150k| 142k| 24k| 1 | 36k| 38 | 0.000000e+00 | -- | Inf | 2.57%
2259.30/2267.94 c 2268s| 12900 | 997 | 1427k| 75.3 | 3350M | 133 |6673 | 150k| 142k| 24k| 1 | 36k| 38 | 0.000000e+00 | -- | Inf | 2.58%
2262.39/2271.04 c 2271s| 13000 | 997 | 1429k| 75.0 | 3350M | 133 |6673 | 150k| 0 | 24k| 0 | 36k| 38 | 0.000000e+00 | -- | Inf | 2.58%
2265.77/2274.41 c 2274s| 13100 | 966 | 1431k| 74.7 | 3350M | 133 |6673 | 150k| 142k| 24k| 1 | 36k| 38 | 0.000000e+00 | -- | Inf | 2.60%
2269.35/2278.09 c 2278s| 13200 | 946 | 1433k| 74.4 | 3350M | 133 |6673 | 150k| 142k| 24k| 1 | 36k| 38 | 0.000000e+00 | -- | Inf | 2.61%
2272.93/2281.68 c 2282s| 13300 | 956 | 1436k| 74.2 | 3350M | 133 |6673 | 150k| 142k| 24k| 1 | 37k| 38 | 0.000000e+00 | -- | Inf | 2.61%
2277.21/2285.90 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2277.21/2285.90 c 2286s| 13400 | 949 | 1439k| 74.0 | 3350M | 133 |6673 | 150k| 142k| 24k| 1 | 37k| 38 | 0.000000e+00 | -- | Inf | 2.61%
2285.08/2293.81 c 2294s| 13500 | 957 | 1442k| 73.7 | 3366M | 133 |6673 | 150k| 142k| 25k| 1 | 37k| 38 | 0.000000e+00 | -- | Inf | 2.61%
2288.37/2297.16 c 2297s| 13600 | 955 | 1445k| 73.5 | 3366M | 133 |6673 | 150k| 142k| 25k| 3 | 37k| 38 | 0.000000e+00 | -- | Inf | 2.61%
2291.74/2300.55 c 2301s| 13700 | 961 | 1448k| 73.3 | 3366M | 133 |6673 | 150k| 0 | 25k| 0 | 38k| 38 | 0.000000e+00 | -- | Inf | 2.61%
2295.72/2304.54 c 2305s| 13800 | 965 | 1452k| 73.1 | 3366M | 133 |6673 | 151k| 142k| 26k| 1 | 38k| 38 | 0.000000e+00 | -- | Inf | 2.61%
2300.10/2308.97 c 2309s| 13900 | 943 | 1455k| 72.9 | 3366M | 133 |6673 | 150k| 142k| 26k| 1 | 38k| 38 | 0.000000e+00 | -- | Inf | 2.61%
2303.08/2311.96 c 2312s| 14000 | 945 | 1457k| 72.7 | 3366M | 133 |6673 | 150k| 0 | 26k| 0 | 38k| 38 | 0.000000e+00 | -- | Inf | 2.61%
2318.33/2327.27 c 2327s| 14100 | 938 | 1460k| 72.4 | 3367M | 133 |6673 | 150k| 142k| 26k| 1 | 38k| 38 | 0.000000e+00 | -- | Inf | 2.62%
2328.40/2337.31 c 2337s| 14200 | 912 | 1470k| 72.6 | 3397M | 133 |6673 | 150k| 142k| 27k| 1 | 39k| 38 | 0.000000e+00 | -- | Inf | 2.64%
2358.02/2367.06 c 2367s| 14300 | 930 | 1485k| 72.9 | 3413M | 133 |6673 | 150k| 142k| 27k| 1 | 39k| 38 | 0.000000e+00 | -- | Inf | 2.68%
2364.38/2373.40 c 2373s| 14400 | 976 | 1492k| 72.9 | 3413M | 133 |6673 | 150k| 0 | 27k| 0 | 39k| 38 | 0.000000e+00 | -- | Inf | 2.68%
2366.87/2376.00 c 2376s| 14500 | 988 | 1493k| 72.6 | 3413M | 133 |6673 | 150k| 142k| 27k| 1 | 39k| 38 | 0.000000e+00 | -- | Inf | 2.68%
2369.76/2378.89 c 2379s| 14600 | 1008 | 1494k| 72.3 | 3413M | 133 |6673 | 150k| 142k| 27k| 1 | 39k| 38 | 0.000000e+00 | -- | Inf | 2.68%
2372.34/2381.47 c 2381s| 14700 | 991 | 1496k| 72.1 | 3413M | 133 |6673 | 150k| 0 | 27k| 0 | 40k| 38 | 0.000000e+00 | -- | Inf | 2.68%
2375.33/2384.40 c 2384s| 14800 | 1004 | 1497k| 71.8 | 3413M | 133 |6673 | 151k| 142k| 27k| 1 | 40k| 38 | 0.000000e+00 | -- | Inf | 2.68%
2378.02/2387.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2378.02/2387.19 c 2387s| 14900 | 1024 | 1498k| 71.5 | 3413M | 133 |6673 | 151k| 0 | 27k| 0 | 40k| 38 | 0.000000e+00 | -- | Inf | 2.68%
2383.49/2392.62 c 2393s| 15000 | 1054 | 1500k| 71.2 | 3428M | 133 |6673 | 151k| 142k| 27k| 3 | 40k| 38 | 0.000000e+00 | -- | Inf | 2.68%
2394.54/2403.71 c 2404s| 15100 | 1072 | 1502k| 71.0 | 3444M | 133 |6673 | 151k| 0 | 27k| 0 | 40k| 38 | 0.000000e+00 | -- | Inf | 2.68%
2415.37/2424.68 c 2425s| 15200 | 1089 | 1504k| 70.8 | 3503M | 133 |6673 | 151k| 142k| 27k| 3 | 41k| 38 | 0.000000e+00 | -- | Inf | 2.68%
2421.94/2431.21 c 2431s| 15300 | 1084 | 1506k| 70.5 | 3504M | 133 |6673 | 151k| 0 | 28k| 0 | 41k| 38 | 0.000000e+00 | -- | Inf | 2.68%
2427.52/2436.85 c 2437s| 15400 | 1084 | 1508k| 70.3 | 3505M | 133 |6673 | 151k| 142k| 28k| 1 | 41k| 38 | 0.000000e+00 | -- | Inf | 2.68%
2431.40/2440.76 c 2441s| 15500 | 1094 | 1510k| 70.1 | 3506M | 133 |6673 | 151k| 142k| 28k| 1 | 41k| 38 | 0.000000e+00 | -- | Inf | 2.68%
2441.96/2451.33 c 2451s| 15600 | 1097 | 1512k| 69.8 | 3536M | 133 |6673 | 151k| 0 | 28k| 0 | 41k| 38 | 0.000000e+00 | -- | Inf | 2.68%
2454.73/2464.18 c 2464s| 15700 | 1096 | 1514k| 69.6 | 3539M | 133 |6673 | 151k| 0 | 28k| 0 | 42k| 38 | 0.000000e+00 | -- | Inf | 2.68%
2457.31/2466.79 c 2467s| 15800 | 1095 | 1515k| 69.3 | 3539M | 133 |6673 | 151k| 142k| 28k| 2 | 42k| 38 | 0.000000e+00 | -- | Inf | 2.68%
2460.49/2469.91 c 2470s| 15900 | 1098 | 1517k| 69.1 | 3539M | 133 |6673 | 151k| 0 | 29k| 0 | 42k| 38 | 0.000000e+00 | -- | Inf | 2.68%
2463.98/2473.47 c 2473s| 16000 | 1100 | 1520k| 68.9 | 3539M | 133 |6673 | 151k| 142k| 29k| 1 | 42k| 38 | 0.000000e+00 | -- | Inf | 2.68%
2469.15/2478.62 c 2479s| 16100 | 1105 | 1522k| 68.7 | 3568M | 133 |6673 | 151k| 142k| 29k| 1 | 43k| 38 | 0.000000e+00 | -- | Inf | 2.68%
2472.44/2481.95 c 2482s| 16200 | 1096 | 1525k| 68.5 | 3568M | 133 |6673 | 151k| 0 | 30k| 0 | 43k| 38 | 0.000000e+00 | -- | Inf | 2.68%
2476.12/2485.66 c 2486s| 16300 | 1104 | 1529k| 68.4 | 3568M | 133 |6673 | 151k| 0 | 30k| 0 | 43k| 38 | 0.000000e+00 | -- | Inf | 2.68%
2479.30/2488.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2479.30/2488.88 c 2489s| 16400 | 1107 | 1532k| 68.2 | 3568M | 133 |6673 | 151k| 142k| 30k| 1 | 43k| 38 | 0.000000e+00 | -- | Inf | 2.68%
2482.78/2492.39 c 2492s| 16500 | 1102 | 1535k| 68.0 | 3568M | 133 |6673 | 151k| 0 | 31k| 0 | 43k| 38 | 0.000000e+00 | -- | Inf | 2.68%
2486.16/2495.73 c 2496s| 16600 | 1095 | 1539k| 67.9 | 3568M | 133 |6673 | 151k| 142k| 31k| 1 | 44k| 38 | 0.000000e+00 | -- | Inf | 2.68%
2489.45/2499.02 c 2499s| 16700 | 1085 | 1542k| 67.8 | 3568M | 133 |6673 | 151k| 142k| 32k| 1 | 44k| 38 | 0.000000e+00 | -- | Inf | 2.68%
2492.83/2502.44 c 2502s| 16800 | 1097 | 1545k| 67.6 | 3568M | 133 |6673 | 151k| 0 | 32k| 0 | 44k| 38 | 0.000000e+00 | -- | Inf | 2.68%
2496.41/2506.09 c 2506s| 16900 | 1092 | 1548k| 67.4 | 3568M | 133 |6673 | 151k| 0 | 32k| 0 | 45k| 38 | 0.000000e+00 | -- | Inf | 2.68%
2499.99/2509.60 c 2510s| 17000 | 1089 | 1550k| 67.2 | 3568M | 133 |6673 | 151k| 142k| 33k| 2 | 45k| 38 | 0.000000e+00 | -- | Inf | 2.68%
2503.77/2513.47 c 2513s| 17100 | 1075 | 1553k| 67.0 | 3568M | 133 |6673 | 151k| 142k| 33k| 1 | 45k| 38 | 0.000000e+00 | -- | Inf | 2.68%
2507.46/2517.12 c 2517s| 17200 | 1074 | 1556k| 66.9 | 3568M | 133 |6673 | 151k| 142k| 34k| 1 | 45k| 38 | 0.000000e+00 | -- | Inf | 2.68%
2510.53/2520.25 c 2520s| 17300 | 1053 | 1559k| 66.7 | 3568M | 133 |6673 | 151k| 142k| 34k| 1 | 46k| 38 | 0.000000e+00 | -- | Inf | 2.68%
2514.12/2523.87 c 2524s| 17400 | 1043 | 1562k| 66.6 | 3568M | 133 |6673 | 151k| 142k| 34k| 1 | 46k| 38 | 0.000000e+00 | -- | Inf | 2.68%
2518.79/2528.55 c 2529s| 17500 | 1030 | 1565k| 66.4 | 3569M | 133 |6673 | 151k| 142k| 35k| 1 | 47k| 38 | 0.000000e+00 | -- | Inf | 2.68%
2522.18/2531.93 c 2532s| 17600 | 998 | 1568k| 66.3 | 3569M | 133 |6673 | 151k| 142k| 35k| 1 | 47k| 38 | 0.000000e+00 | -- | Inf | 2.68%
2525.46/2535.24 c 2535s| 17700 | 986 | 1572k| 66.1 | 3569M | 133 |6673 | 151k| 0 | 36k| 0 | 47k| 38 | 0.000000e+00 | -- | Inf | 2.68%
2528.05/2537.89 c 2538s| 17800 | 945 | 1573k| 65.9 | 3569M | 133 |6673 | 151k| 0 | 36k| 0 | 48k| 38 | 0.000000e+00 | -- | Inf | 2.68%
2535.03/2544.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2535.03/2544.88 c 2545s| 17900 | 973 | 1576k| 65.8 | 3570M | 133 |6673 | 151k| 142k| 36k| 1 | 48k| 38 | 0.000000e+00 | -- | Inf | 2.68%
2542.10/2551.91 c 2552s| 18000 | 1001 | 1589k| 66.0 | 3570M | 133 |6673 | 151k| 0 | 36k| 0 | 48k| 38 | 0.000000e+00 | -- | Inf | 2.68%
2551.76/2561.64 c 2562s| 18100 | 1050 | 1596k| 66.0 | 3570M | 133 |6673 | 151k| 142k| 36k| 1 | 48k| 38 | 0.000000e+00 | -- | Inf | 2.68%
2568.40/2578.37 c 2578s| 18200 | 1073 | 1601k| 66.0 | 3586M | 133 |6673 | 151k| 142k| 36k| 1 | 48k| 38 | 0.000000e+00 | -- | Inf | 2.68%
2571.69/2581.61 c 2582s| 18300 | 1081 | 1603k| 65.8 | 3586M | 133 |6673 | 151k| 0 | 36k| 0 | 48k| 38 | 0.000000e+00 | -- | Inf | 2.68%
2574.27/2584.20 c 2584s| 18400 | 1084 | 1605k| 65.6 | 3586M | 133 |6673 | 151k| 142k| 36k| 2 | 49k| 38 | 0.000000e+00 | -- | Inf | 2.68%
2577.75/2587.76 c 2588s| 18500 | 1088 | 1608k| 65.5 | 3586M | 133 |6673 | 151k| 0 | 37k| 0 | 49k| 38 | 0.000000e+00 | -- | Inf | 2.68%
2581.83/2591.83 c 2592s| 18600 | 1104 | 1612k| 65.4 | 3586M | 133 |6673 | 151k| 0 | 37k| 0 | 49k| 38 | 0.000000e+00 | -- | Inf | 2.68%
2584.03/2594.03 c 2594s| 18700 | 1070 | 1613k| 65.1 | 3586M | 133 |6673 | 151k| 0 | 37k| 0 | 49k| 38 | 0.000000e+00 | -- | Inf | 2.69%
2586.70/2596.72 c 2597s| 18800 | 1066 | 1614k| 64.9 | 3586M | 133 |6673 | 151k| 142k| 37k| 1 | 49k| 38 | 0.000000e+00 | -- | Inf | 2.69%
2589.29/2599.31 c 2599s| 18900 | 1068 | 1616k| 64.7 | 3587M | 133 |6673 | 151k| 142k| 37k| 1 | 50k| 38 | 0.000000e+00 | -- | Inf | 2.69%
2591.88/2601.95 c 2602s| 19000 | 1024 | 1617k| 64.5 | 3587M | 133 |6673 | 151k| 0 | 37k| 0 | 50k| 38 | 0.000000e+00 | -- | Inf | 2.69%
2599.46/2609.52 c 2610s| 19100 | 1053 | 1620k| 64.4 | 3602M | 133 |6673 | 151k| 142k| 37k| 2 | 50k| 38 | 0.000000e+00 | -- | Inf | 2.69%
2604.23/2614.38 c 2614s| 19200 | 1071 | 1628k| 64.4 | 3602M | 133 |6673 | 151k| 0 | 38k| 0 | 50k| 38 | 0.000000e+00 | -- | Inf | 2.69%
2610.31/2620.47 c 2620s| 19300 | 1079 | 1641k| 64.7 | 3602M | 133 |6673 | 151k| 142k| 38k| 1 | 50k| 38 | 0.000000e+00 | -- | Inf | 2.69%
2614.99/2625.16 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2614.99/2625.16 c 2625s| 19400 | 1104 | 1652k| 64.9 | 3603M | 133 |6673 | 151k| 142k| 38k| 1 | 50k| 38 | 0.000000e+00 | -- | Inf | 2.69%
2617.97/2628.15 c 2628s| 19500 | 1117 | 1654k| 64.7 | 3603M | 133 |6673 | 151k| 142k| 38k| 1 | 51k| 38 | 0.000000e+00 | -- | Inf | 2.69%
2622.95/2633.13 c 2633s| 19600 | 1094 | 1660k| 64.7 | 3618M | 133 |6673 | 151k| 0 | 38k| 0 | 51k| 38 | 0.000000e+00 | -- | Inf | 2.69%
2627.63/2637.89 c 2638s| 19700 | 1093 | 1670k| 64.8 | 3618M | 133 |6673 | 151k| 0 | 38k| 0 | 51k| 38 | 0.000000e+00 | -- | Inf | 2.69%
2631.50/2641.79 c 2642s| 19800 | 1096 | 1676k| 64.8 | 3618M | 133 |6673 | 151k| 0 | 39k| 0 | 51k| 38 | 0.000000e+00 | -- | Inf | 2.69%
2634.99/2645.25 c 2645s| 19900 | 1113 | 1678k| 64.6 | 3618M | 133 |6673 | 151k| 142k| 39k| 1 | 51k| 38 | 0.000000e+00 | -- | Inf | 2.69%
2638.08/2648.39 c 2648s| 20000 | 1137 | 1679k| 64.4 | 3619M | 133 |6673 | 151k| 142k| 39k| 2 | 51k| 38 | 0.000000e+00 | -- | Inf | 2.69%
2648.05/2658.30 c 2658s| 20100 | 1156 | 1681k| 64.2 | 3634M | 133 |6673 | 151k| 142k| 39k| 1 | 52k| 38 | 0.000000e+00 | -- | Inf | 2.69%
2653.23/2663.59 c 2664s| 20200 | 1158 | 1682k| 64.0 | 3634M | 133 |6673 | 151k| 142k| 39k| 1 | 52k| 38 | 0.000000e+00 | -- | Inf | 2.69%
2656.32/2666.60 c 2667s| 20300 | 1166 | 1685k| 63.9 | 3635M | 133 |6673 | 151k| 0 | 39k| 0 | 52k| 38 | 0.000000e+00 | -- | Inf | 2.69%
2660.11/2670.45 c 2670s| 20400 | 1172 | 1688k| 63.8 | 3635M | 133 |6673 | 151k| 142k| 39k| 1 | 52k| 38 | 0.000000e+00 | -- | Inf | 2.69%
2663.40/2673.70 c 2674s| 20500 | 1174 | 1690k| 63.6 | 3635M | 133 |6673 | 151k| 0 | 40k| 0 | 53k| 38 | 0.000000e+00 | -- | Inf | 2.69%
2667.19/2677.59 c 2678s| 20600 | 1145 | 1693k| 63.5 | 3635M | 133 |6673 | 151k| 0 | 40k| 0 | 53k| 38 | 0.000000e+00 | -- | Inf | 2.69%
2670.48/2680.88 c 2681s| 20700 | 1119 | 1695k| 63.3 | 3635M | 133 |6673 | 151k| 142k| 40k| 1 | 53k| 38 | 0.000000e+00 | -- | Inf | 2.69%
2673.37/2683.71 c 2684s| 20800 | 1106 | 1698k| 63.2 | 3636M | 133 |6673 | 151k| 142k| 40k| 1 | 54k| 38 | 0.000000e+00 | -- | Inf | 2.69%
2675.96/2686.32 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2675.96/2686.32 c 2686s| 20900 | 1106 | 1699k| 63.0 | 3636M | 133 |6673 | 151k| 142k| 40k| 1 | 54k| 38 | 0.000000e+00 | -- | Inf | 2.69%
2678.95/2689.30 c 2689s| 21000 | 1128 | 1702k| 62.9 | 3636M | 133 |6673 | 151k| 0 | 40k| 0 | 54k| 38 | 0.000000e+00 | -- | Inf | 2.69%
2681.44/2691.87 c 2692s| 21100 | 1130 | 1703k| 62.7 | 3636M | 133 |6673 | 151k| 142k| 40k| 1 | 54k| 38 | 0.000000e+00 | -- | Inf | 2.69%
2683.93/2694.34 c 2694s| 21200 | 1126 | 1704k| 62.5 | 3636M | 133 |6673 | 151k| 142k| 40k| 2 | 54k| 38 | 0.000000e+00 | -- | Inf | 2.69%
2687.22/2697.61 c 2698s| 21300 | 1130 | 1711k| 62.5 | 3638M | 133 |6673 | 151k| 142k| 40k| 1 | 54k| 38 | 0.000000e+00 | -- | Inf | 2.69%
2691.90/2702.33 c 2702s| 21400 | 1149 | 1715k| 62.4 | 3639M | 133 |6673 | 151k| 142k| 40k| 1 | 55k| 38 | 0.000000e+00 | -- | Inf | 2.70%
2694.39/2704.81 c 2705s| 21500 | 1149 | 1717k| 62.3 | 3639M | 133 |6673 | 151k| 142k| 40k| 1 | 55k| 38 | 0.000000e+00 | -- | Inf | 2.70%
2697.28/2707.78 c 2708s| 21600 | 1169 | 1718k| 62.1 | 3639M | 133 |6673 | 151k| 142k| 40k| 1 | 55k| 38 | 0.000000e+00 | -- | Inf | 2.70%
2700.17/2710.65 c 2711s| 21700 | 1194 | 1720k| 61.9 | 3639M | 133 |6673 | 151k| 0 | 40k| 0 | 55k| 38 | 0.000000e+00 | -- | Inf | 2.70%
2703.16/2713.67 c 2714s| 21800 | 1218 | 1721k| 61.7 | 3640M | 133 |6673 | 151k| 142k| 40k| 1 | 55k| 38 | 0.000000e+00 | -- | Inf | 2.70%
2707.94/2718.48 c 2718s| 21900 | 1217 | 1724k| 61.6 | 3654M | 133 |6673 | 151k| 0 | 41k| 0 | 56k| 38 | 0.000000e+00 | -- | Inf | 2.70%
2711.53/2722.07 c 2722s| 22000 | 1221 | 1727k| 61.5 | 3654M | 133 |6673 | 151k| 0 | 41k| 0 | 56k| 38 | 0.000000e+00 | -- | Inf | 2.70%
2714.81/2725.36 c 2725s| 22100 | 1223 | 1730k| 61.4 | 3654M | 133 |6673 | 151k| 0 | 41k| 0 | 56k| 38 | 0.000000e+00 | -- | Inf | 2.70%
2718.60/2729.18 c 2729s| 22200 | 1220 | 1733k| 61.3 | 3654M | 133 |6673 | 151k| 0 | 41k| 0 | 56k| 38 | 0.000000e+00 | -- | Inf | 2.70%
2722.39/2732.94 c 2733s| 22300 | 1219 | 1736k| 61.2 | 3655M | 133 |6673 | 151k| 0 | 42k| 0 | 56k| 38 | 0.000000e+00 | -- | Inf | 2.70%
2726.87/2737.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2726.87/2737.48 c 2737s| 22400 | 1216 | 1740k| 61.1 | 3655M | 133 |6673 | 151k| 0 | 42k| 0 | 57k| 38 | 0.000000e+00 | -- | Inf | 2.70%
2730.16/2740.70 c 2741s| 22500 | 1208 | 1742k| 61.0 | 3655M | 133 |6673 | 151k| 142k| 42k| 2 | 57k| 38 | 0.000000e+00 | -- | Inf | 2.70%
2733.94/2744.51 c 2745s| 22600 | 1169 | 1746k| 60.9 | 3655M | 133 |6673 | 151k| 0 | 42k| 0 | 57k| 38 | 0.000000e+00 | -- | Inf | 2.70%
2738.33/2748.90 c 2749s| 22700 | 1186 | 1748k| 60.8 | 3657M | 133 |6673 | 151k| 142k| 42k| 1 | 57k| 38 | 0.000000e+00 | -- | Inf | 2.70%
2746.22/2756.83 c 2757s| 22800 | 1190 | 1753k| 60.7 | 3658M | 133 |6673 | 151k| 142k| 43k| 1 | 58k| 38 | 0.000000e+00 | -- | Inf | 2.70%
2752.70/2763.37 c 2763s| 22900 | 1185 | 1756k| 60.6 | 3673M | 133 |6673 | 151k| 0 | 43k| 0 | 58k| 38 | 0.000000e+00 | -- | Inf | 2.70%
2762.56/2773.21 c 2773s| 23000 | 1183 | 1761k| 60.6 | 3688M | 133 |6673 | 151k| 0 | 43k| 0 | 58k| 38 | 0.000000e+00 | -- | Inf | 2.70%
2765.95/2776.65 c 2777s| 23100 | 1175 | 1764k| 60.5 | 3688M | 133 |6673 | 151k| 142k| 43k| 1 | 58k| 38 | 0.000000e+00 | -- | Inf | 2.70%
2773.33/2784.02 c 2784s| 23200 | 1175 | 1767k| 60.4 | 3689M | 133 |6673 | 151k| 142k| 43k| 1 | 58k| 38 | 0.000000e+00 | -- | Inf | 2.70%
2777.41/2788.12 c 2788s| 23300 | 1165 | 1772k| 60.3 | 3689M | 133 |6673 | 151k| 142k| 43k| 2 | 58k| 38 | 0.000000e+00 | -- | Inf | 2.70%
2782.09/2792.83 c 2793s| 23400 | 1145 | 1779k| 60.3 | 3689M | 133 |6673 | 151k| 142k| 44k| 1 | 59k| 38 | 0.000000e+00 | -- | Inf | 2.70%
2785.68/2796.43 c 2796s| 23500 | 1162 | 1783k| 60.3 | 3689M | 133 |6673 | 151k| 142k| 44k| 1 | 59k| 38 | 0.000000e+00 | -- | Inf | 2.70%
2788.86/2799.62 c 2800s| 23600 | 1155 | 1788k| 60.2 | 3690M | 133 |6673 | 151k| 0 | 44k| 0 | 59k| 38 | 0.000000e+00 | -- | Inf | 2.70%
2791.95/2802.77 c 2803s| 23700 | 1159 | 1793k| 60.2 | 3690M | 133 |6673 | 151k| 0 | 44k| 0 | 59k| 38 | 0.000000e+00 | -- | Inf | 2.70%
2796.43/2807.24 c 2807s| 23800 | 1150 | 1803k| 60.4 | 3690M | 133 |6673 | 151k| 142k| 44k| 1 | 59k| 38 | 0.000000e+00 | -- | Inf | 2.70%
2800.11/2810.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2800.11/2810.99 c 2811s| 23900 | 1159 | 1807k| 60.3 | 3690M | 133 |6673 | 151k| 142k| 44k| 1 | 60k| 38 | 0.000000e+00 | -- | Inf | 2.70%
2802.70/2813.57 c 2814s| 24000 | 1167 | 1809k| 60.1 | 3690M | 133 |6673 | 151k| 0 | 44k| 0 | 60k| 38 | 0.000000e+00 | -- | Inf | 2.70%
2812.07/2822.91 c 2823s| 24100 | 1162 | 1811k| 60.0 | 3690M | 133 |6673 | 151k| 142k| 44k| 1 | 60k| 38 | 0.000000e+00 | -- | Inf | 2.70%
2814.96/2825.86 c 2826s| 24200 | 1175 | 1813k| 59.9 | 3690M | 133 |6673 | 151k| 142k| 44k| 2 | 60k| 38 | 0.000000e+00 | -- | Inf | 2.70%
2838.40/2849.40 c 2849s| 24300 | 1207 | 1816k| 59.8 | 3707M | 133 |6673 | 151k| 142k| 44k| 1 | 60k| 38 | 0.000000e+00 | -- | Inf | 2.70%
2910.02/2921.20 c 2921s| 24400 | 1216 | 1821k| 59.7 | 3740M | 133 |6673 | 151k| 142k| 45k| 0 | 60k| 38 | 0.000000e+00 | -- | Inf | 2.70%
2929.37/2940.54 c 2941s| 24500 | 1182 | 1824k| 59.6 | 3742M | 133 |6673 | 151k| 0 | 45k| 0 | 60k| 38 | 0.000000e+00 | -- | Inf | 2.70%
2931.76/2942.96 c 2943s| 24600 | 1185 | 1825k| 59.5 | 3742M | 133 |6673 | 151k| 142k| 45k| 1 | 60k| 38 | 0.000000e+00 | -- | Inf | 2.70%
2934.35/2945.51 c 2946s| 24700 | 1185 | 1827k| 59.3 | 3742M | 133 |6673 | 151k| 0 | 45k| 0 | 60k| 38 | 0.000000e+00 | -- | Inf | 2.70%
2937.54/2948.79 c 2949s| 24800 | 1193 | 1828k| 59.2 | 3742M | 133 |6673 | 151k| 0 | 46k| 0 | 61k| 38 | 0.000000e+00 | -- | Inf | 2.70%
2940.62/2951.84 c 2952s| 24900 | 1187 | 1830k| 59.1 | 3742M | 133 |6673 | 151k| 0 | 46k| 0 | 61k| 38 | 0.000000e+00 | -- | Inf | 2.70%
2943.92/2955.13 c 2955s| 25000 | 1187 | 1832k| 59.0 | 3742M | 133 |6673 | 151k| 0 | 46k| 0 | 61k| 38 | 0.000000e+00 | -- | Inf | 2.70%
2946.50/2957.72 c 2958s| 25100 | 1160 | 1834k| 58.8 | 3742M | 133 |6673 | 151k| 142k| 46k| 1 | 61k| 38 | 0.000000e+00 | -- | Inf | 2.70%
2949.29/2960.59 c 2961s| 25200 | 1167 | 1836k| 58.7 | 3742M | 133 |6673 | 151k| 142k| 46k| 2 | 61k| 38 | 0.000000e+00 | -- | Inf | 2.70%
2958.67/2969.98 c 2970s| 25300 | 1164 | 1844k| 58.8 | 3745M | 133 |6673 | 151k| 0 | 46k| 0 | 61k| 38 | 0.000000e+00 | -- | Inf | 2.71%
2976.63/2987.90 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2976.63/2987.90 c 2988s| 25400 | 1191 | 1864k| 59.2 | 3759M | 133 |6673 | 151k| 142k| 46k| 1 | 61k| 38 | 0.000000e+00 | -- | Inf | 2.71%
2979.62/2990.94 c 2991s| 25500 | 1195 | 1866k| 59.1 | 3759M | 133 |6673 | 151k| 142k| 46k| 2 | 62k| 38 | 0.000000e+00 | -- | Inf | 2.71%
2990.08/3001.46 c 3001s| 25600 | 1215 | 1880k| 59.4 | 3761M | 133 |6673 | 151k| 142k| 46k| 1 | 62k| 38 | 0.000000e+00 | -- | Inf | 2.71%
2994.67/3006.08 c 3006s| 25700 | 1242 | 1888k| 59.4 | 3761M | 133 |6673 | 151k| 142k| 46k| 1 | 62k| 38 | 0.000000e+00 | -- | Inf | 2.71%
2997.95/3009.38 c 3009s| 25800 | 1241 | 1890k| 59.3 | 3761M | 133 |6673 | 151k| 142k| 46k| 1 | 62k| 38 | 0.000000e+00 | -- | Inf | 2.71%
3001.24/3012.68 c 3013s| 25900 | 1239 | 1891k| 59.1 | 3761M | 133 |6673 | 151k| 142k| 47k| 1 | 62k| 38 | 0.000000e+00 | -- | Inf | 2.71%
3004.22/3015.60 c 3016s| 26000 | 1237 | 1892k| 59.0 | 3761M | 133 |6673 | 151k| 142k| 47k| 1 | 63k| 38 | 0.000000e+00 | -- | Inf | 2.71%
3008.10/3019.56 c 3020s| 26100 | 1239 | 1895k| 58.9 | 3761M | 133 |6673 | 151k| 142k| 47k| 0 | 63k| 38 | 0.000000e+00 | -- | Inf | 2.71%
3012.19/3023.66 c 3024s| 26200 | 1263 | 1900k| 58.9 | 3763M | 133 |6673 | 151k| 142k| 47k| 1 | 63k| 38 | 0.000000e+00 | -- | Inf | 2.71%
3016.97/3028.40 c 3028s| 26300 | 1275 | 1908k| 58.9 | 3763M | 133 |6673 | 151k| 142k| 47k| 1 | 63k| 38 | 0.000000e+00 | -- | Inf | 2.71%
3022.45/3033.91 c 3034s| 26400 | 1255 | 1916k| 59.0 | 3764M | 133 |6673 | 151k| 142k| 47k| 1 | 63k| 38 | 0.000000e+00 | -- | Inf | 2.71%
3029.53/3041.02 c 3041s| 26500 | 1283 | 1919k| 58.9 | 3778M | 133 |6673 | 151k| 0 | 47k| 0 | 64k| 38 | 0.000000e+00 | -- | Inf | 2.71%
3032.41/3044.00 c 3044s| 26600 | 1271 | 1921k| 58.8 | 3778M | 133 |6673 | 151k| 0 | 47k| 0 | 64k| 38 | 0.000000e+00 | -- | Inf | 2.71%
3036.79/3048.39 c 3048s| 26700 | 1249 | 1925k| 58.7 | 3778M | 133 |6673 | 151k| 142k| 47k| 1 | 64k| 38 | 0.000000e+00 | -- | Inf | 2.74%
3054.45/3066.02 c 3066s| 26800 | 1269 | 1942k| 59.1 | 3779M | 133 |6673 | 151k| 142k| 48k| 1 | 64k| 38 | 0.000000e+00 | -- | Inf | 2.81%
3084.47/3096.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3084.47/3096.17 c 3096s| 26900 | 1327 | 1956k| 59.3 | 3781M | 133 |6673 | 151k| 142k| 48k| 1 | 64k| 38 | 0.000000e+00 | -- | Inf | 2.81%
3088.25/3099.95 c 3100s| 27000 | 1362 | 1959k| 59.2 | 3781M | 133 |6673 | 151k| 142k| 48k| 1 | 64k| 38 | 0.000000e+00 | -- | Inf | 2.81%
3092.13/3103.83 c 3104s| 27100 | 1386 | 1962k| 59.1 | 3782M | 133 |6673 | 151k| 142k| 48k| 1 | 65k| 38 | 0.000000e+00 | -- | Inf | 2.81%
3095.52/3107.29 c 3107s| 27200 | 1398 | 1965k| 59.0 | 3783M | 133 |6673 | 151k| 142k| 49k| 1 | 65k| 38 | 0.000000e+00 | -- | Inf | 2.81%
3099.11/3110.89 c 3111s| 27300 | 1406 | 1968k| 59.0 | 3784M | 133 |6673 | 151k| 0 | 49k| 0 | 65k| 38 | 0.000000e+00 | -- | Inf | 2.81%
3102.60/3114.34 c 3114s| 27400 | 1396 | 1970k| 58.8 | 3784M | 133 |6673 | 151k| 142k| 49k| 1 | 65k| 38 | 0.000000e+00 | -- | Inf | 2.82%
3105.09/3116.89 c 3117s| 27500 | 1385 | 1972k| 58.7 | 3784M | 133 |6673 | 151k| 0 | 49k| 0 | 65k| 38 | 0.000000e+00 | -- | Inf | 2.82%
3107.78/3119.58 c 3120s| 27600 | 1336 | 1973k| 58.6 | 3784M | 133 |6673 | 151k| 142k| 49k| 1 | 66k| 38 | 0.000000e+00 | -- | Inf | 2.82%
3110.67/3122.42 c 3122s| 27700 | 1303 | 1976k| 58.5 | 3784M | 133 |6673 | 151k| 142k| 49k| 1 | 66k| 38 | 0.000000e+00 | -- | Inf | 2.82%
3114.75/3126.51 c 3127s| 27800 | 1323 | 1979k| 58.4 | 3784M | 133 |6673 | 151k| 0 | 49k| 0 | 66k| 38 | 0.000000e+00 | -- | Inf | 2.82%
3118.93/3130.76 c 3131s| 27900 | 1335 | 1983k| 58.3 | 3784M | 133 |6673 | 151k| 142k| 50k| 2 | 66k| 38 | 0.000000e+00 | -- | Inf | 2.83%
3122.92/3134.71 c 3135s| 28000 | 1336 | 1985k| 58.2 | 3784M | 133 |6673 | 151k| 142k| 50k| 1 | 67k| 38 | 0.000000e+00 | -- | Inf | 2.83%
3125.80/3137.69 c 3138s| 28100 | 1294 | 1989k| 58.2 | 3784M | 133 |6673 | 151k| 0 | 50k| 0 | 67k| 38 | 0.000000e+00 | -- | Inf | 2.83%
3246.10/3258.22 c 3258s| 28200 | 1324 | 2015k| 58.8 | 3784M | 133 |6673 | 151k| 0 | 50k| 0 | 67k| 38 | 0.000000e+00 | -- | Inf | 2.84%
3249.39/3261.56 c 3262s| 28300 | 1350 | 2017k| 58.7 | 3784M | 133 |6673 | 151k| 142k| 50k| 1 | 67k| 38 | 0.000000e+00 | -- | Inf | 2.84%
3254.68/3266.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3254.68/3266.89 c 3267s| 28400 | 1353 | 2019k| 58.6 | 3786M | 133 |6673 | 151k| 142k| 50k| 1 | 67k| 38 | 0.000000e+00 | -- | Inf | 2.84%
3257.56/3269.77 c 3270s| 28500 | 1350 | 2021k| 58.4 | 3786M | 133 |6673 | 151k| 142k| 50k| 1 | 68k| 38 | 0.000000e+00 | -- | Inf | 2.84%
3260.55/3272.79 c 3273s| 28600 | 1346 | 2022k| 58.3 | 3786M | 133 |6673 | 151k| 0 | 50k| 0 | 68k| 38 | 0.000000e+00 | -- | Inf | 2.84%
3264.04/3276.23 c 3276s| 28700 | 1345 | 2024k| 58.2 | 3786M | 133 |6673 | 151k| 142k| 50k| 1 | 68k| 38 | 0.000000e+00 | -- | Inf | 2.84%
3266.83/3279.02 c 3279s| 28800 | 1333 | 2026k| 58.1 | 3786M | 133 |6673 | 151k| 142k| 50k| 1 | 68k| 38 | 0.000000e+00 | -- | Inf | 2.84%
3269.82/3282.04 c 3282s| 28900 | 1319 | 2027k| 57.9 | 3786M | 133 |6673 | 151k| 142k| 51k| 1 | 69k| 38 | 0.000000e+00 | -- | Inf | 2.84%
3272.91/3285.15 c 3285s| 29000 | 1310 | 2028k| 57.8 | 3786M | 133 |6673 | 151k| 142k| 51k| 1 | 69k| 38 | 0.000000e+00 | -- | Inf | 2.84%
3293.65/3305.91 c 3306s| 29100 | 1314 | 2037k| 57.9 | 3787M | 133 |6673 | 151k| 142k| 51k| 1 | 69k| 38 | 0.000000e+00 | -- | Inf | 2.85%
3298.63/3310.96 c 3311s| 29200 | 1315 | 2049k| 58.1 | 3787M | 133 |6673 | 151k| 142k| 51k| 1 | 69k| 38 | 0.000000e+00 | -- | Inf | 2.85%
3302.32/3314.67 c 3315s| 29300 | 1331 | 2053k| 58.0 | 3787M | 133 |6673 | 151k| 0 | 51k| 0 | 70k| 38 | 0.000000e+00 | -- | Inf | 2.86%
3305.11/3317.44 c 3317s| 29400 | 1329 | 2056k| 57.9 | 3787M | 133 |6673 | 150k| 0 | 51k| 0 | 70k| 38 | 0.000000e+00 | -- | Inf | 2.86%
3308.40/3320.75 c 3321s| 29500 | 1331 | 2060k| 57.9 | 3787M | 133 |6673 | 151k| 142k| 51k| 1 | 70k| 38 | 0.000000e+00 | -- | Inf | 2.86%
3311.38/3323.76 c 3324s| 29600 | 1336 | 2064k| 57.8 | 3787M | 133 |6673 | 151k| 0 | 51k| 0 | 70k| 38 | 0.000000e+00 | -- | Inf | 2.86%
3362.16/3374.65 c 3375s| 29700 | 1340 | 2081k| 58.2 | 3789M | 133 |6673 | 150k| 142k| 51k| 1 | 70k| 38 | 0.000000e+00 | -- | Inf | 2.86%
3386.01/3398.57 c 3399s| 29800 | 1386 | 2108k| 58.8 | 3818M | 133 |6673 | 150k| 142k| 52k| 1 | 70k| 38 | 0.000000e+00 | -- | Inf | 2.87%
3411.45/3424.07 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3411.45/3424.07 c 3424s| 29900 | 1434 | 2123k| 59.0 | 3835M | 133 |6673 | 150k| 142k| 52k| 1 | 70k| 38 | 0.000000e+00 | -- | Inf | 2.95%
3414.33/3426.95 c 3427s| 30000 | 1441 | 2125k| 58.9 | 3836M | 133 |6673 | 150k| 142k| 52k| 1 | 71k| 38 | 0.000000e+00 | -- | Inf | 2.96%
3416.82/3429.43 c 3429s| 30100 | 1436 | 2126k| 58.8 | 3836M | 133 |6673 | 150k| 142k| 52k| 1 | 71k| 38 | 0.000000e+00 | -- | Inf | 2.96%
3419.61/3432.26 c 3432s| 30200 | 1425 | 2127k| 58.6 | 3836M | 133 |6673 | 150k| 0 | 52k| 0 | 71k| 38 | 0.000000e+00 | -- | Inf | 2.98%
3422.51/3435.19 c 3435s| 30300 | 1424 | 2129k| 58.5 | 3836M | 133 |6673 | 150k| 0 | 52k| 0 | 71k| 38 | 0.000000e+00 | -- | Inf | 3.05%
3444.25/3456.95 c 3457s| 30400 | 1456 | 2133k| 58.5 | 3839M | 133 |6673 | 150k| 142k| 53k| 1 | 71k| 38 | 0.000000e+00 | -- | Inf | 3.25%
3447.54/3460.27 c 3460s| 30500 | 1478 | 2135k| 58.4 | 3839M | 133 |6673 | 150k| 142k| 53k| 1 | 72k| 38 | 0.000000e+00 | -- | Inf | 3.29%
3461.91/3474.61 c 3475s| 30600 | 1507 | 2148k| 58.6 | 3843M | 133 |6673 | 150k| 0 | 53k| 0 | 72k| 38 | 0.000000e+00 | -- | Inf | 3.36%
3464.60/3477.38 c 3477s| 30700 | 1499 | 2149k| 58.4 | 3843M | 133 |6673 | 150k| 142k| 53k| 1 | 72k| 38 | 0.000000e+00 | -- | Inf | 3.43%
3486.94/3499.71 c 3500s| 30800 | 1505 | 2168k| 58.8 | 3845M | 133 |6673 | 150k| 0 | 53k| 0 | 72k| 38 | 0.000000e+00 | -- | Inf | 3.68%
3505.70/3518.53 c 3519s| 30900 | 1560 | 2182k| 59.0 | 3848M | 133 |6673 | 150k| 142k| 54k| 1 | 72k| 38 | 0.000000e+00 | -- | Inf | 3.68%
3509.39/3522.22 c 3522s| 31000 | 1581 | 2185k| 58.9 | 3848M | 133 |6673 | 150k| 142k| 54k| 1 | 73k| 38 | 0.000000e+00 | -- | Inf | 3.68%
3512.58/3525.42 c 3525s| 31100 | 1582 | 2188k| 58.9 | 3848M | 133 |6673 | 150k| 0 | 54k| 0 | 73k| 38 | 0.000000e+00 | -- | Inf | 3.68%
3522.35/3535.24 c 3535s| 31200 | 1594 | 2190k| 58.8 | 3851M | 133 |6673 | 150k| 142k| 54k| 1 | 73k| 38 | 0.000000e+00 | -- | Inf | 3.68%
3525.64/3538.51 c 3539s| 31300 | 1585 | 2193k| 58.7 | 3851M | 133 |6673 | 151k| 142k| 54k| 1 | 74k| 38 | 0.000000e+00 | -- | Inf | 3.68%
3528.93/3541.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3528.93/3541.81 c 3542s| 31400 | 1558 | 2197k| 58.6 | 3851M | 133 |6673 | 151k| 142k| 54k| 1 | 74k| 38 | 0.000000e+00 | -- | Inf | 3.68%
3532.72/3545.65 c 3546s| 31500 | 1563 | 2203k| 58.6 | 3851M | 133 |6673 | 151k| 142k| 54k| 2 | 74k| 38 | 0.000000e+00 | -- | Inf | 3.68%
3539.10/3552.10 c 3552s| 31600 | 1618 | 2211k| 58.7 | 3853M | 133 |6673 | 151k| 142k| 54k| 1 | 74k| 38 | 0.000000e+00 | -- | Inf | 3.68%
3542.20/3555.14 c 3555s| 31700 | 1676 | 2212k| 58.5 | 3853M | 133 |6673 | 151k| 142k| 54k| 1 | 74k| 38 | 0.000000e+00 | -- | Inf | 3.68%
3545.38/3558.30 c 3558s| 31800 | 1683 | 2216k| 58.5 | 3853M | 144 |6673 | 151k| 142k| 54k| 1 | 74k| 38 | 0.000000e+00 | -- | Inf | 3.68%
3547.87/3560.85 c 3561s| 31900 | 1655 | 2217k| 58.4 | 3854M | 144 |6673 | 150k| 0 | 54k| 0 | 75k| 38 | 0.000000e+00 | -- | Inf | 3.68%
3550.26/3563.23 c 3563s| 32000 | 1673 | 2217k| 58.2 | 3854M | 144 |6673 | 150k| 142k| 54k| 1 | 75k| 38 | 0.000000e+00 | -- | Inf | 3.68%
3552.65/3565.62 c 3566s| 32100 | 1660 | 2218k| 58.1 | 3854M | 144 |6673 | 150k| 0 | 54k| 0 | 75k| 38 | 0.000000e+00 | -- | Inf | 3.68%
3555.15/3568.13 c 3568s| 32200 | 1656 | 2219k| 58.0 | 3854M | 144 |6673 | 150k| 142k| 54k| 1 | 75k| 38 | 0.000000e+00 | -- | Inf | 3.68%
3557.64/3570.66 c 3571s| 32300 | 1654 | 2220k| 57.9 | 3854M | 144 |6673 | 150k| 0 | 54k| 0 | 75k| 38 | 0.000000e+00 | -- | Inf | 3.68%
3559.93/3572.96 c 3573s| 32400 | 1643 | 2222k| 57.7 | 3854M | 144 |6673 | 150k| 0 | 54k| 0 | 75k| 38 | 0.000000e+00 | -- | Inf | 3.68%
3564.12/3577.18 c 3577s| 32500 | 1663 | 2229k| 57.8 | 3855M | 144 |6673 | 150k| 142k| 54k| 1 | 75k| 38 | 0.000000e+00 | -- | Inf | 3.68%
3567.51/3580.57 c 3581s| 32600 | 1706 | 2233k| 57.7 | 3855M | 144 |6673 | 151k| 142k| 54k| 1 | 76k| 38 | 0.000000e+00 | -- | Inf | 3.68%
3571.10/3584.13 c 3584s| 32700 | 1763 | 2235k| 57.6 | 3856M | 144 |6673 | 150k| 142k| 54k| 2 | 76k| 38 | 0.000000e+00 | -- | Inf | 3.68%
3575.18/3588.27 c 3588s| 32800 | 1822 | 2241k| 57.6 | 3857M | 144 |6673 | 150k| 0 | 54k| 0 | 76k| 38 | 0.000000e+00 | -- | Inf | 3.68%
3579.37/3592.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3579.37/3592.42 c 3592s| 32900 | 1874 | 2249k| 57.7 | 3857M | 144 |6673 | 150k| 0 | 54k| 0 | 76k| 38 | 0.000000e+00 | -- | Inf | 3.68%
3581.86/3594.94 c 3595s| 33000 | 1890 | 2250k| 57.6 | 3857M | 144 |6673 | 150k| 142k| 54k| 1 | 76k| 38 | 0.000000e+00 | -- | Inf | 3.68%
3583.96/3597.01 c
3583.96/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3583.96/3597.01 c Solving Time (sec) : 3597.01
3583.96/3597.01 c Solving Nodes : 33093 (total of 39063 nodes in 2 runs)
3583.96/3597.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3583.96/3597.01 c Dual Bound : +0.00000000000000e+00
3583.96/3597.01 c Gap : infinite
3583.96/3597.01 s UNKNOWN
3583.96/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3583.96/3597.01 c Total Time : 3597.01
3583.96/3597.01 c solving : 3597.01
3583.96/3597.01 c presolving : 5.74 (included in solving)
3583.96/3597.01 c reading : 0.35 (included in solving)
3583.96/3597.01 c copying : 1.81 (8 #copies) (minimal 0.22, maximal 0.24, average 0.23)
3583.96/3597.01 c Original Problem :
3583.96/3597.01 c Problem name : HOME/instance-4446165-1721329766.opb
3583.96/3597.01 c Variables : 7354 (7354 binary, 0 integer, 0 implicit integer, 0 continuous)
3583.96/3597.01 c Constraints : 165969 initial, 165969 maximal
3583.96/3597.01 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3583.96/3597.01 c Presolved Problem :
3583.96/3597.01 c Problem name : t_HOME/instance-4446165-1721329766.opb
3583.96/3597.01 c Variables : 6673 (6673 binary, 0 integer, 0 implicit integer, 0 continuous)
3583.96/3597.01 c Constraints : 144476 initial, 151793 maximal
3583.96/3597.01 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3583.96/3597.01 c Nonzeros : 591052 constraint, 60905 clique table
3583.96/3597.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3583.96/3597.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.96/3597.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.96/3597.01 c domcol : 0.08 0.00 2 0 0 0 0 0 0 0 0 0
3583.96/3597.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.96/3597.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.96/3597.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.96/3597.01 c dualsparsify : 1.05 0.00 1 0 0 0 0 0 0 0 0 0
3583.96/3597.01 c gateextraction : 0.41 0.00 5 0 0 0 0 0 147 33 0 0
3583.96/3597.01 c implics : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
3583.96/3597.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.96/3597.01 c milp : 0.70 0.00 1 0 0 0 0 0 0 0 0 0
3583.96/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.96/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.96/3597.01 c sparsify : 0.16 0.00 1 0 0 0 0 0 0 0 0 0
3583.96/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.96/3597.01 c trivial : 0.00 0.00 10 14 0 0 0 0 0 0 0 0
3583.96/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.96/3597.01 c dualfix : 0.00 0.00 10 0 0 0 0 0 0 0 0 0
3583.96/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.96/3597.01 c probing : 0.50 0.00 1 0 0 0 0 0 0 0 0 0
3583.96/3597.01 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3583.96/3597.01 c symmetry : 0.33 0.00 1 0 0 0 0 0 0 0 0 0
3583.96/3597.01 c vbounds : 0.01 0.00 2 0 24 0 0 0 0 0 0 0
3583.96/3597.01 c knapsack : 0.11 0.01 17 0 0 0 0 0 105 105 1 16
3583.96/3597.01 c setppc : 0.20 0.01 17 0 0 0 0 0 325 0 0 0
3583.96/3597.01 c and : 0.00 0.00 4 0 0 0 0 0 25 25 0 0
3583.96/3597.01 c linear : 0.52 0.06 15 643 0 0 643 0 21311 0 12 7
3583.96/3597.01 c logicor : 1.20 0.23 17 0 0 0 0 0 2693 0 0 4842
3583.96/3597.01 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.96/3597.01 c components : 0.10 0.00 2 0 0 0 0 0 0 0 0 0
3583.96/3597.01 c root node : - - - 39 - - 39 - - - - -
3583.96/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3583.96/3597.01 c benderslp : 0 0 0 0 26011 0 0 3536 0 0 0 0 0 0 0
3583.96/3597.01 c integral : 0 0 0 0 26011 0 0 3536 0 0 0 0 0 0 52022
3583.96/3597.01 c knapsack : 16502+ 16515 26 233056 0 0 0 3531 164117 2290 115664 111 17 0 0
3583.96/3597.01 c setppc : 28919+ 29438 26 230766 0 0 0 10 601010 3990 525519 76 2 0 0
3583.96/3597.01 c and : 5 5 22952 177838 0 0 0 0 291 2 34 102 82 0 0
3583.96/3597.01 c linear : 12+ 67 26 226709 0 0 0 3 2545 1414 6117 0 0 0 0
3583.96/3597.01 c logicor : 99038+ 105893 26 156271 0 0 0 0 657350 14663 231207 95 21 0 0
3583.96/3597.01 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3583.96/3597.01 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3583.96/3597.01 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3583.96/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3583.96/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3583.96/3597.01 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
3583.96/3597.01 c integral : 89.03 0.00 0.00 0.00 89.03 0.00 0.00 0.00 0.00 0.00
3583.96/3597.01 c knapsack : 5.16 0.01 0.34 3.51 0.00 0.00 0.00 1.23 0.08 0.00
3583.96/3597.01 c setppc : 4.04 0.01 0.05 3.78 0.00 0.00 0.00 0.00 0.19 0.01
3583.96/3597.01 c and : 0.12 0.00 0.07 0.05 0.00 0.00 0.00 0.00 0.00 0.00
3583.96/3597.01 c linear : 0.51 0.06 0.00 0.44 0.00 0.00 0.00 0.00 0.01 0.00
3583.96/3597.01 c logicor : 15.55 0.23 0.34 14.45 0.00 0.00 0.00 0.00 0.50 0.02
3583.96/3597.01 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3583.96/3597.01 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3583.96/3597.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3583.96/3597.01 c components : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
3583.96/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3583.96/3597.01 c dualfix : 2 0 0 0
3583.96/3597.01 c genvbounds : 0 0 0 0
3583.96/3597.01 c nlobbt : 0 0 0 0
3583.96/3597.01 c obbt : 0 0 0 0
3583.96/3597.01 c probing : 0 0 0 0
3583.96/3597.01 c pseudoobj : 0 0 0 0
3583.96/3597.01 c redcost : 0 0 0 0
3583.96/3597.01 c rootredcost : 0 0 0 0
3583.96/3597.01 c symmetry : 0 0 0 0
3583.96/3597.01 c vbounds : 159425 0 0 0
3583.96/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3583.96/3597.01 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3583.96/3597.01 c genvbounds : 0.06 0.00 0.00 0.06 0.00 0.00
3583.96/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3583.96/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3583.96/3597.01 c probing : 0.50 0.00 0.50 0.00 0.00 0.00
3583.96/3597.01 c pseudoobj : 0.06 0.00 0.00 0.06 0.00 0.00
3583.96/3597.01 c redcost : 0.02 0.00 0.00 0.02 0.00 0.00
3583.96/3597.01 c rootredcost : 0.02 0.00 0.00 0.02 0.00 0.00
3583.96/3597.01 c symmetry : 0.39 0.00 0.33 0.06 0.00 0.00
3583.96/3597.01 c vbounds : 5.92 0.00 0.01 5.92 0.00 0.00
3583.96/3597.01 c Symmetry :
3583.96/3597.01 c orbitopal red. : 0 reductions applied, 0 cutoffs
3583.96/3597.01 c orbital reduction: 0 reductions applied, 0 cutoffs
3583.96/3597.01 c lexicographic red: 0 reductions applied, 0 cutoffs
3583.96/3597.01 c shadow tree time : 0.00 s
3583.96/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3583.96/3597.01 c propagation : 1.68 21409 21392 - 160931 38.3 6031 25.9 - - -
3583.96/3597.01 c infeasible LP : 0.63 392 373 - 4471 48.9 64 12.4 373 80.1 0
3583.96/3597.01 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3583.96/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3583.96/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3583.96/3597.01 c applied globally : 1.66 - - 0 75494 30.0 - - 342 - -
3583.96/3597.01 c applied locally : - - - 0 786 148.1 - - 31 - -
3583.96/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3583.96/3597.01 c cut pool : 2.34 - 6028 50 - - 26035 879714 - - - - - (maximal pool size: 3623)
3583.96/3597.01 c aggregation : 4.99 0.00 498 26 0 0 12 59 4 9 9 0 0
3583.96/3597.01 c > cmir : - - - - - - - 4 0 0 0 0 -
3583.96/3597.01 c > flowcover : - - - - - - - 55 0 9 9 0 -
3583.96/3597.01 c > knapsackcover : - - - - - - - 0 4 0 0 0 -
3583.96/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.96/3597.01 c clique : 0.40 0.00 26 26 0 0 138 720 0 136 136 0 0
3583.96/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.96/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.96/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.96/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.96/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.96/3597.01 c gomory : 1018.16 0.00 496 20 0 0 26559 800942 4238 35777 35076 701 0
3583.96/3597.01 c > gomorymi : - - - - - - - 267307 2119 3312 2931 381 -
3583.96/3597.01 c > strongcg : - - - - - - - 533635 2119 32465 32145 320 -
3583.96/3597.01 c impliedbounds : 0.56 0.00 502 26 0 0 615 8556 0 6756 6756 0 0
3583.96/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.96/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.96/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.96/3597.01 c mcf : 0.14 0.00 2 2 0 0 0 0 0 0 0 0 0
3583.96/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.96/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.96/3597.01 c multilinear : 0.00 0.00 696 26 0 0 0 0 0 0 0 0 0
3583.96/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.96/3597.01 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.96/3597.01 c rlt : 514.87 0.00 312 20 0 0 18 0 18 4 0 4 0
3583.96/3597.01 c zerohalf : 8.65 0.00 498 26 0 0 4594 69437 1641 26922 25830 1092 0
3583.96/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3583.96/3597.01 c hybrid : 1.11 0.00 5137 26 69165 612 816834 296 0 5447
3583.96/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3583.96/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3583.96/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3583.96/3597.01 c problem variables: 0.00 - 0 0
3583.96/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3583.96/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3583.96/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3583.96/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3583.96/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3583.96/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3583.96/3597.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3583.96/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3583.96/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3583.96/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3583.96/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3583.96/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3583.96/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3583.96/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3583.96/3597.01 c relpscost : 88.98 0.00 26011 0 0 0 0 0 0 52022
3583.96/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3583.96/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3583.96/3597.01 c LP solutions : 0.00 - - 0 0
3583.96/3597.01 c relax solutions : 0.00 - - 0 0
3583.96/3597.01 c pseudo solutions : 0.00 - - 0 0
3583.96/3597.01 c strong branching : 0.00 - - 0 0
3583.96/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3583.96/3597.01 c adaptivediving : 7.99 0.00 12 0 0
3583.96/3597.01 c alns : 10.89 0.00 6 0 0
3583.96/3597.01 c bound : 0.00 0.00 0 0 0
3583.96/3597.01 c clique : 0.29 0.00 1 0 0
3583.96/3597.01 c coefdiving : 0.00 0.00 0 0 0
3583.96/3597.01 c completesol : 0.00 0.00 0 0 0
3583.96/3597.01 c conflictdiving : 67.88 0.00 143 0 0
3583.96/3597.01 c crossover : 0.01 0.00 0 0 0
3583.96/3597.01 c dins : 0.00 0.00 0 0 0
3583.96/3597.01 c distributiondivin: 64.55 0.00 58 0 0
3583.96/3597.01 c dps : 0.00 0.00 0 0 0
3583.96/3597.01 c dualval : 0.00 0.00 0 0 0
3583.96/3597.01 c farkasdiving : 0.00 0.00 0 0 0
3583.96/3597.01 c feasjump : 0.29 0.00 2 0 0
3583.96/3597.01 c feaspump : 22.56 0.00 8 0 0
3583.96/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3583.96/3597.01 c fracdiving : 20.68 0.00 69 0 0
3583.96/3597.01 c gins : 0.01 0.00 0 0 0
3583.96/3597.01 c guideddiving : 0.00 0.00 0 0 0
3583.96/3597.01 c indcoefdiving : 0.00 0.00 0 0 0
3583.96/3597.01 c indicator : 0.02 0.00 0 0 0
3583.96/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3583.96/3597.01 c indoneopt : 0.02 0.00 0 0 0
3583.96/3597.01 c indrounding : 0.00 0.00 0 0 0
3583.96/3597.01 c indtwoopt : 0.00 0.00 0 0 0
3583.96/3597.01 c intdiving : 0.00 0.00 0 0 0
3583.96/3597.01 c intshifting : 0.00 0.00 0 0 0
3583.96/3597.01 c linesearchdiving : 17.38 0.00 107 0 0
3583.96/3597.01 c localbranching : 0.00 0.00 0 0 0
3583.96/3597.01 c locks : 0.08 0.00 1 0 0
3583.96/3597.01 c lpface : 0.74 0.00 0 0 0
3583.96/3597.01 c mpec : 0.00 0.00 0 0 0
3583.96/3597.01 c multistart : 0.00 0.00 0 0 0
3583.96/3597.01 c mutation : 0.00 0.00 0 0 0
3583.96/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3583.96/3597.01 c objpscostdiving : 139.81 0.00 5 0 0
3583.96/3597.01 c octane : 0.00 0.00 0 0 0
3583.96/3597.01 c ofins : 0.01 0.00 0 0 0
3583.96/3597.01 c oneopt : 0.02 0.00 0 0 0
3583.96/3597.01 c padm : 0.00 0.00 0 0 0
3583.96/3597.01 c proximity : 0.00 0.00 0 0 0
3583.96/3597.01 c pscostdiving : 77.11 0.00 58 0 0
3583.96/3597.01 c randrounding : 2.60 0.00 3547 0 0
3583.96/3597.01 c rens : 1.17 0.00 2 0 0
3583.96/3597.01 c reoptsols : 0.00 0.00 0 0 0
3583.96/3597.01 c repair : 0.00 0.00 0 0 0
3583.96/3597.01 c rins : 0.01 0.00 0 0 0
3583.96/3597.01 c rootsoldiving : 36.50 0.00 4 0 0
3583.96/3597.01 c rounding : 10.89 0.00 2429 0 0
3583.96/3597.01 c scheduler : 0.00 0.00 0 0 0
3583.96/3597.01 c shiftandpropagate: 0.32 0.00 2 0 0
3583.96/3597.01 c shifting : 55.17 0.00 1198 0 0
3583.96/3597.01 c simplerounding : 0.02 0.00 0 0 0
3583.96/3597.01 c smallcard : 0.00 0.00 0 0 0
3583.96/3597.01 c subnlp : 0.04 0.00 0 0 0
3583.96/3597.01 c trivial : 0.02 0.00 4 0 0
3583.96/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3583.96/3597.01 c trustregion : 0.00 0.00 0 0 0
3583.96/3597.01 c trysol : 0.01 0.00 0 0 0
3583.96/3597.01 c twoopt : 0.00 0.00 0 0 0
3583.96/3597.01 c undercover : 0.00 0.00 1 0 0
3583.96/3597.01 c vbounds : 0.22 0.00 2 0 0
3583.96/3597.01 c veclendiving : 26.62 0.00 63 0 0
3583.96/3597.01 c zeroobj : 0.00 0.00 0 0 0
3583.96/3597.01 c zirounding : 1.92 0.00 1000 0 0
3583.96/3597.01 c other solutions : - - - 0 -
3583.96/3597.01 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3583.96/3597.01 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3583.96/3597.01 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3583.96/3597.01 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3583.96/3597.01 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3583.96/3597.01 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3583.96/3597.01 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3583.96/3597.01 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3583.96/3597.01 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3583.96/3597.01 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
3583.96/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3583.96/3597.01 c primal LP : 28.36 1898 0 0.00 0.00 28.36 1898
3583.96/3597.01 c dual LP : 875.40 31528 1580065 50.13 1804.97 0.15 11
3583.96/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3583.96/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3583.96/3597.01 c resolve instable : 0.00 0 0 0.00 -
3583.96/3597.01 c diving/probing LP: 453.71 1288 671518 521.36 1480.07
3583.96/3597.01 c strong branching : 2.88 38 7172 188.74 2488.15 - - 5
3583.96/3597.01 c (at root node) : - 38 7172 188.74 -
3583.96/3597.01 c conflict analysis: 0.00 0 0 0.00 -
3583.96/3597.01 c B&B Tree :
3583.96/3597.01 c number of runs : 2
3583.96/3597.01 c nodes : 33093 (21671 internal, 11422 leaves)
3583.96/3597.01 c feasible leaves : 0
3583.96/3597.01 c infeas. leaves : 11421
3583.96/3597.01 c objective leaves : 0
3583.96/3597.01 c nodes (total) : 39063 (26011 internal, 13052 leaves)
3583.96/3597.01 c nodes left : 1895
3583.96/3597.01 c max depth : 144
3583.96/3597.01 c max depth (total): 144
3583.96/3597.01 c backtracks : 7631 (23.1%)
3583.96/3597.01 c early backtracks : 0 (0.0%)
3583.96/3597.01 c nodes exc. ref. : 0 (0.0%)
3583.96/3597.01 c delayed cutoffs : 8356
3583.96/3597.01 c repropagations : 51017 (178021 domain reductions, 6096 cutoffs)
3583.96/3597.01 c avg switch length: 5.12
3583.96/3597.01 c switching time : 68.02
3583.96/3597.01 c Root Node :
3583.96/3597.01 c First LP value : +0.00000000000000e+00
3583.96/3597.01 c First LP Iters : 793 (8009.45 Iter/sec)
3583.96/3597.01 c First LP Time : 0.10
3583.96/3597.01 c Final Dual Bound : +0.00000000000000e+00
3583.96/3597.01 c Final Root Iters : 6890
3583.96/3597.01 c Root LP Estimate : +3.04721386479194e-02
3583.96/3597.01 c Solution :
3583.96/3597.01 c Solutions found : 0 (0 improvements)
3583.96/3597.01 c Primal Bound : -
3583.96/3597.01 c Dual Bound : +0.00000000000000e+00
3583.96/3597.01 c Gap : infinite
3583.96/3597.01 c Integrals : Total Avg%
3583.96/3597.01 c primal-dual : 359700.74 100.00
3583.96/3597.01 c primal-ref : - - (not evaluated)
3583.96/3597.01 c dual-ref : - - (not evaluated)
3584.26/3597.35 c Time complete: 3584.32.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (61783 MiB free)
memory of node 1: 64510 MiB (57971 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446165-1721329766/watcher-4446165-1721329766 -o /tmp/evaluation-result-4446165-1721329766/solver-4446165-1721329766 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721328778-973107 --watchdog 3760 pbscip -f HOME/instance-4446165-1721329766.opb -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=974148, runsolver pid=974145
[startup+0.100338 s]*
/proc/loadavg: 4.15 4.15 4.06 5/255 974149
/proc/meminfo: memFree=122598740/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=84996 memory=44340 CPUtime=0.1 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 8141 0 0 0 9 1 0 0 20 0 1 0 185136870 87035904 11085 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 21249 11085 3254 3540 0 9506 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 84996 KiB
Current children cumulated memory: 44340 KiB
[startup+0.205642 s]*
/proc/loadavg: 4.15 4.15 4.06 5/255 974149
/proc/meminfo: memFree=122570916/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=112172 memory=70936 CPUtime=0.2 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 14795 0 0 0 18 2 0 0 20 0 1 0 185136870 114864128 17734 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 28043 17734 3254 3540 0 16300 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 112172 KiB
Current children cumulated memory: 70936 KiB
[startup+0.305627 s]*
/proc/loadavg: 4.15 4.15 4.06 5/255 974149
/proc/meminfo: memFree=122544596/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=140304 memory=99040 CPUtime=0.3 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 21821 0 0 0 27 3 0 0 20 0 1 0 185136870 143671296 24760 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 35076 24760 3254 3540 0 23333 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 140304 KiB
Current children cumulated memory: 99040 KiB
[startup+0.700241 s]
/proc/loadavg: 4.15 4.15 4.06 5/255 974149
/proc/meminfo: memFree=122449284/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=303948 memory=257992 CPUtime=0.69 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 61927 0 0 0 60 9 0 0 20 0 1 0 185136870 311242752 64498 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 75987 64498 3606 3540 0 64244 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 303948 KiB
Current children cumulated memory: 257992 KiB
[startup+1.50028 s]
/proc/loadavg: 4.15 4.15 4.06 5/255 974149
/proc/meminfo: memFree=122338388/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=415712 memory=369028 CPUtime=1.48 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 77593 0 0 0 134 14 0 0 20 0 1 0 185136870 425689088 92257 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 103928 92257 3653 3540 0 92185 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 415712 KiB
Current children cumulated memory: 369028 KiB
[startup+3.10561 s]
/proc/loadavg: 4.14 4.14 4.06 5/255 974149
/proc/meminfo: memFree=122282336/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=407180 memory=360568 CPUtime=3.08 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 96588 0 0 0 291 17 0 0 20 0 1 0 185136870 416952320 90142 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 101795 90142 3749 3540 0 90052 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 407180 KiB
Current children cumulated memory: 360568 KiB
[startup+6.30025 s]
/proc/loadavg: 4.14 4.14 4.06 5/255 974150
/proc/meminfo: memFree=121830216/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=895056 memory=811856 CPUtime=6.26 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 143975 0 0 0 596 30 0 0 20 0 1 0 185136870 916537344 202964 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 223764 202964 3861 3540 0 212021 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 895056 KiB
Current children cumulated memory: 811856 KiB
[startup+12.7002 s]
/proc/loadavg: 4.20 4.16 4.07 5/255 974150
/proc/meminfo: memFree=121827664/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=895056 memory=812824 CPUtime=12.65 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 144137 0 0 0 1234 31 0 0 20 0 1 0 185136870 916537344 203206 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 223764 203206 3957 3540 0 212021 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 895056 KiB
Current children cumulated memory: 812824 KiB
[startup+25.5003 s]
/proc/loadavg: 4.24 4.17 4.07 5/257 974157
/proc/meminfo: memFree=121804148/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=921524 memory=835696 CPUtime=25.4 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 146370 0 0 0 2508 32 0 0 20 0 1 0 185136870 943640576 208924 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 230381 208924 3957 3540 0 218638 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 921524 KiB
Current children cumulated memory: 835696 KiB
[startup+51.1055 s]
/proc/loadavg: 4.16 4.15 4.07 5/257 974160
/proc/meminfo: memFree=121787172/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=952164 memory=844060 CPUtime=50.92 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 146453 0 0 0 5059 33 0 0 20 0 1 0 185136870 975015936 211015 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 238041 211015 3957 3540 0 226298 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 952164 KiB
Current children cumulated memory: 844060 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.14 4.07 5/256 974170
/proc/meminfo: memFree=121768220/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=978216 memory=856676 CPUtime=101.94 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 147150 0 0 0 10160 34 0 0 20 0 1 0 185136870 1001693184 214169 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 244554 214169 3957 3540 0 232811 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 978216 KiB
Current children cumulated memory: 856676 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.13 4.07 5/256 974180
/proc/meminfo: memFree=121760588/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=1033932 memory=859032 CPUtime=161.75 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 147876 0 0 0 16140 35 0 0 20 0 1 0 185136870 1058746368 214758 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 258483 214758 3957 3540 0 246740 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 1033932 KiB
Current children cumulated memory: 859032 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.12 4.07 5/256 974190
/proc/meminfo: memFree=121585828/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=1247032 memory=1028192 CPUtime=221.55 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 189636 0 0 0 22113 42 0 0 20 0 1 0 185136870 1276960768 257048 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 311758 257048 3989 3540 0 300015 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 1247032 KiB
Current children cumulated memory: 1028192 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.12 4.08 5/256 974202
/proc/meminfo: memFree=121561480/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=1332484 memory=1033748 CPUtime=281.34 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 191220 0 0 0 28091 43 0 0 20 0 1 0 185136870 1364463616 258437 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 333121 258437 3989 3540 0 321378 0
Current children cumulated CPU time: 281.34 s
Current children cumulated vsize: 1332484 KiB
Current children cumulated memory: 1033748 KiB
[startup+342.3 s]
/proc/loadavg: 4.05 4.10 4.07 5/256 974212
/proc/meminfo: memFree=121547884/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=1399364 memory=1041168 CPUtime=341.14 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 192603 0 0 0 34070 44 0 0 20 0 1 0 185136870 1432948736 260292 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 349841 260292 3989 3540 0 338098 0
Current children cumulated CPU time: 341.14 s
Current children cumulated vsize: 1399364 KiB
Current children cumulated memory: 1041168 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.11 4.08 5/254 974223
/proc/meminfo: memFree=121542540/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=1511412 memory=1043056 CPUtime=400.93 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 193082 0 0 0 40049 44 0 0 20 0 1 0 185136870 1547685888 260764 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 377853 260764 3989 3540 0 366110 0
Current children cumulated CPU time: 400.93 s
Current children cumulated vsize: 1511412 KiB
Current children cumulated memory: 1043056 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.10 4.08 5/254 974233
/proc/meminfo: memFree=121343340/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=1702840 memory=1237400 CPUtime=460.72 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 241779 0 0 0 46019 53 0 0 20 0 1 0 185136870 1743708160 309350 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 425710 309350 3989 3540 0 413967 0
################
# More data... #
################
/proc/loadavg: 4.19 4.19 4.17 5/255 976052
/proc/meminfo: memFree=120231652/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=4083360 memory=2142620 CPUtime=3210.29 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 415123 0 0 0 320921 108 0 0 20 0 1 0 185136870 4181360640 535655 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 1020840 535655 3989 3540 0 1009097 0
Current children cumulated CPU time: 3210.29 s
Current children cumulated vsize: 4083360 KiB
Current children cumulated memory: 2142620 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.17 4.17 5/256 976065
/proc/meminfo: memFree=120217960/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=4083360 memory=2155096 CPUtime=3270.12 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 415642 0 0 0 326903 109 0 0 20 0 1 0 185136870 4181360640 538774 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 1020840 538774 3989 3540 0 1009097 0
Current children cumulated CPU time: 3270.12 s
Current children cumulated vsize: 4083360 KiB
Current children cumulated memory: 2155096 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.16 4.17 5/255 976075
/proc/meminfo: memFree=120202556/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=4083360 memory=2169416 CPUtime=3329.94 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 415822 0 0 0 332885 109 0 0 20 0 1 0 185136870 4181360640 542354 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 1020840 542354 3989 3540 0 1009097 0
Current children cumulated CPU time: 3329.94 s
Current children cumulated vsize: 4083360 KiB
Current children cumulated memory: 2169416 KiB
[startup+3402.3 s]
/proc/loadavg: 4.05 4.13 4.16 5/255 976085
/proc/meminfo: memFree=120174236/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=4110112 memory=2196812 CPUtime=3389.8 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 416925 0 0 0 338870 110 0 0 20 0 1 0 185136870 4208754688 549203 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 1027528 549203 3989 3540 0 1015785 0
Current children cumulated CPU time: 3389.8 s
Current children cumulated vsize: 4110112 KiB
Current children cumulated memory: 2196812 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.14 4.16 5/255 976096
/proc/meminfo: memFree=120173328/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=4110112 memory=2196860 CPUtime=3449.64 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 417277 0 0 0 344854 110 0 0 20 0 1 0 185136870 4208754688 549215 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 1027528 549215 3989 3540 0 1015785 0
Current children cumulated CPU time: 3449.64 s
Current children cumulated vsize: 4110112 KiB
Current children cumulated memory: 2196860 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.14 4.16 5/255 976107
/proc/meminfo: memFree=120160604/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=4110112 memory=2199640 CPUtime=3509.49 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 417594 0 0 0 350839 110 0 0 20 0 1 0 185136870 4208754688 549910 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 1027528 549910 3989 3540 0 1015785 0
Current children cumulated CPU time: 3509.49 s
Current children cumulated vsize: 4110112 KiB
Current children cumulated memory: 2199640 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.13 4.15 5/254 976117
/proc/meminfo: memFree=120154448/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=4110112 memory=2204828 CPUtime=3569.3 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 417808 0 0 0 356820 110 0 0 20 0 1 0 185136870 4208754688 551207 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 1027528 551207 3989 3540 0 1015785 0
Current children cumulated CPU time: 3569.3 s
Current children cumulated vsize: 4110112 KiB
Current children cumulated memory: 2204828 KiB
[startup+3597.38 s]
# the end of solver process 974148 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.2 s, system=1.14216 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.10 4.13 4.15 5/254 976117
/proc/meminfo: memFree=120154448/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=4110112 memory=2204828 CPUtime=3571 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 417880 0 0 0 356990 110 0 0 20 0 1 0 185136870 4208754688 551207 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 1027528 551207 3989 3540 0 1015785 0
Current children cumulated CPU time: 3571 s
Current children cumulated vsize: 4110112 KiB
Current children cumulated memory: 2204828 KiB
[startup+3590.4 s]
/proc/loadavg: 4.09 4.12 4.15 5/254 976118
/proc/meminfo: memFree=120154308/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=4110112 memory=2208916 CPUtime=3577.37 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 417935 0 0 0 357627 110 0 0 20 0 1 0 185136870 4208754688 552229 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 1027528 552229 3989 3540 0 1015785 0
Current children cumulated CPU time: 3577.37 s
Current children cumulated vsize: 4110112 KiB
Current children cumulated memory: 2208916 KiB
[startup+3593.6 s]
/proc/loadavg: 4.08 4.12 4.15 5/254 976119
/proc/meminfo: memFree=120150000/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=4110112 memory=2208916 CPUtime=3580.56 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 417937 0 0 0 357946 110 0 0 20 0 1 0 185136870 4208754688 552229 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 1027528 552229 3989 3540 0 1015785 0
Current children cumulated CPU time: 3580.56 s
Current children cumulated vsize: 4110112 KiB
Current children cumulated memory: 2208916 KiB
[startup+3595.2 s]
/proc/loadavg: 4.08 4.12 4.15 5/254 976121
/proc/meminfo: memFree=120150100/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=4110112 memory=2208916 CPUtime=3582.16 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 417937 0 0 0 358106 110 0 0 20 0 1 0 185136870 4208754688 552229 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 1027528 552229 3989 3540 0 1015785 0
Current children cumulated CPU time: 3582.16 s
Current children cumulated vsize: 4110112 KiB
Current children cumulated memory: 2208916 KiB
[startup+3596 s]*
/proc/loadavg: 4.08 4.12 4.15 5/254 976121
/proc/meminfo: memFree=120150092/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=4110112 memory=2208916 CPUtime=3582.96 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 417937 0 0 0 358186 110 0 0 20 0 1 0 185136870 4208754688 552229 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 1027528 552229 3989 3540 0 1015785 0
Current children cumulated CPU time: 3582.96 s
Current children cumulated vsize: 4110112 KiB
Current children cumulated memory: 2208916 KiB
[startup+3596.8 s]
/proc/loadavg: 4.08 4.12 4.15 5/254 976121
/proc/meminfo: memFree=120150092/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=4110112 memory=2208916 CPUtime=3583.75 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 417962 0 0 0 358265 110 0 0 20 0 1 0 185136870 4208754688 552229 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 1027528 552229 3989 3540 0 1015785 0
Current children cumulated CPU time: 3583.75 s
Current children cumulated vsize: 4110112 KiB
Current children cumulated memory: 2208916 KiB
[startup+3597.2 s]
/proc/loadavg: 4.08 4.12 4.15 5/254 976121
/proc/meminfo: memFree=120150092/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=4110112 memory=2208916 CPUtime=3584.15 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 417985 0 0 0 358305 110 0 0 20 0 1 0 185136870 4208754688 552229 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 1027528 552229 3989 3540 0 1015785 0
Current children cumulated CPU time: 3584.15 s
Current children cumulated vsize: 4110112 KiB
Current children cumulated memory: 2208916 KiB
[startup+3597.3 s]
/proc/loadavg: 4.08 4.12 4.15 5/254 976121
/proc/meminfo: memFree=120150092/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=4095880 memory=2194008 CPUtime=3584.26 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 417992 0 0 0 358315 111 0 0 20 0 1 0 185136870 4194181120 548685 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 1023970 548502 3989 3540 0 1012227 0
Current children cumulated CPU time: 3584.26 s
Current children cumulated vsize: 4095880 KiB
Current children cumulated memory: 2194008 KiB
Child status: 0
Real time (s): 3597.38
CPU time (s): 3584.34
CPU user time (s): 3583.2
CPU system time (s): 1.14216
CPU usage (%): 99.6377
Max. virtual memory (cumulated for all children) (KiB): 4110112
Max. memory (cumulated for all children) (KiB): 2208916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.2
system time used= 1.14216
maximum resident set size= 2208916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 419314
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= 45
involuntary context switches= 2113
# summary of solver processes directly reported to runsolver:
# pid: 974148
# total CPU time (s): 3584.34
# total CPU user time (s): 3583.2
# total CPU system time (s): 1.14216
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.22598 second user time and 14.6443 second system time
The end