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-4510626-1751204932.opb>
0.00/0.01 c original problem has 701 variables (701 bin, 0 int, 0 impl, 0 cont) and 980 constraints
0.00/0.01 c problem read in 0.00
0.00/0.01 c No objective function, only one solution is needed.
0.00/0.01 c presolving:
0.00/0.01 c (0.0s) running MILP presolver
0.00/0.01 c (0.0s) MILP presolver (2 rounds): 1 aggregations, 0 fixings, 0 bound changes
0.00/0.01 c (round 1, medium) 1 del vars, 980 del conss, 350 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (0.0s) probing: 51/700 (7.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.02 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.02 c (0.0s) symmetry computation finished: 2 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.00)
0.00/0.02 c dynamic symmetry handling statistics:
0.00/0.02 c orbitopal reduction: no components
0.00/0.02 c orbital reduction: 1 components of sizes 1
0.00/0.02 c lexicographic reduction: 2 permutations with support sizes 560, 691
0.00/0.02 c handled 1 out of 1 symmetry components
0.00/0.02 c presolving (2 rounds: 2 fast, 2 medium, 1 exhaustive):
0.00/0.02 c 1 deleted vars, 980 deleted constraints, 350 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 0 implications, 0 cliques
0.00/0.02 c presolved problem has 700 variables (700 bin, 0 int, 0 impl, 0 cont) and 350 constraints
0.00/0.02 c 350 constraints of type <linear>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 10.0.0
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.02 c limits/time = 3596.997012
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.02 c limits/memory = 27900
0.00/0.02 c
0.00/0.02 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.00/0.02 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.00/0.02 c limits/solutions = 1
0.00/0.02 c
0.00/0.02 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.
0.00/0.02 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.00/0.02 c misc/usesymmetry = 3
0.00/0.02 c
0.00/0.02 c # belongs reading time to solving time?
0.00/0.02 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c timing/reading = TRUE
0.00/0.02 c
0.00/0.02 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.00/0.02 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.02 c propagating/symmetry/detectdoublelex = FALSE
0.00/0.02 c
0.00/0.02 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.00/0.02 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.02 c propagating/symmetry/detectsubgroups = FALSE
0.00/0.02 c
0.00/0.02 c # Type of symmetries that shall be computed?
0.00/0.02 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.00/0.02 c propagating/symmetry/symtype = 1
0.00/0.02 c
0.00/0.02 c # Should components consisting of a single full reflection be handled?
0.00/0.02 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.02 c propagating/symmetry/usesimplesgncomp = FALSE
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.05 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.00/0.05 c 0.0s| 1 | 0 | 717 | - | 8643k | 0 | 700 | 513 | 350 | 0 | 0 | 163 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.08 c 0.1s| 1 | 0 | 885 | - | 9127k | 0 | 700 | 547 | 358 | 8 | 1 | 163 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.09 c 0.1s| 1 | 0 | 899 | - | 9238k | 0 | 700 | 547 | 364 | 14 | 2 | 163 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.09 c 0.1s| 1 | 0 | 906 | - | 10M | 0 | 700 | 547 | 370 | 20 | 3 | 163 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.10 c 0.1s| 1 | 0 | 912 | - | 10M | 0 | 700 | 547 | 373 | 23 | 4 | 163 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.10 c 0.1s| 1 | 0 | 918 | - | 10M | 0 | 700 | 547 | 375 | 25 | 5 | 163 | 0 | 0.000000e+00 | -- | Inf | unknown
0.09/0.10 c 0.1s| 1 | 0 | 922 | - | 10M | 0 | 700 | 547 | 377 | 27 | 6 | 163 | 0 | 0.000000e+00 | -- | Inf | unknown
0.09/0.10 c 0.1s| 1 | 0 | 938 | - | 10M | 0 | 700 | 547 | 380 | 30 | 7 | 163 | 0 | 0.000000e+00 | -- | Inf | unknown
0.09/0.11 c 0.1s| 1 | 0 | 947 | - | 10M | 0 | 700 | 547 | 383 | 33 | 8 | 163 | 0 | 0.000000e+00 | -- | Inf | unknown
0.09/0.12 c 0.1s| 1 | 0 | 952 | - | 11M | 0 | 700 | 547 | 387 | 37 | 9 | 163 | 0 | 0.000000e+00 | -- | Inf | unknown
0.09/0.12 c 0.1s| 1 | 0 | 955 | - | 12M | 0 | 700 | 547 | 389 | 39 | 10 | 163 | 0 | 0.000000e+00 | -- | Inf | unknown
0.09/0.12 c 0.1s| 1 | 0 | 963 | - | 12M | 0 | 700 | 547 | 392 | 42 | 11 | 163 | 0 | 0.000000e+00 | -- | Inf | unknown
0.09/0.13 c 0.1s| 1 | 0 | 978 | - | 12M | 0 | 700 | 547 | 395 | 45 | 12 | 163 | 0 | 0.000000e+00 | -- | Inf | unknown
0.09/0.13 c 0.1s| 1 | 0 | 985 | - | 12M | 0 | 700 | 547 | 398 | 48 | 13 | 163 | 0 | 0.000000e+00 | -- | Inf | unknown
0.09/0.13 c 0.1s| 1 | 0 | 987 | - | 12M | 0 | 700 | 547 | 390 | 50 | 14 | 163 | 0 | 0.000000e+00 | -- | Inf | unknown
0.09/0.15 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.09/0.15 c 0.1s| 1 | 2 | 1057 | - | 12M | 0 | 700 | 557 | 390 | 50 | 14 | 173 | 9 | 0.000000e+00 | -- | Inf | unknown
0.98/1.01 c 1.0s| 100 | 101 | 8340 | 74.3 | 15M | 24 | 700 | 765 | 358 | 184 | 1 | 382 | 9 | 0.000000e+00 | -- | Inf | unknown
1.27/1.34 c 1.3s| 200 | 201 | 10553 | 48.1 | 16M | 38 | 700 | 931 | 358 | 184 | 1 | 549 | 9 | 0.000000e+00 | -- | Inf | unknown
1.68/1.77 c 1.8s| 300 | 301 | 12201 | 37.5 | 17M | 42 | 700 |1032 | 358 | 198 | 1 | 650 | 9 | 0.000000e+00 | -- | Inf | unknown
2.08/2.10 c 2.1s| 400 | 401 | 14036 | 32.7 | 17M | 42 | 700 |1101 | 358 | 203 | 1 | 720 | 9 | 0.000000e+00 | -- | Inf | unknown
2.27/2.32 c 2.3s| 500 | 495 | 15704 | 29.5 | 17M | 44 | 700 |1232 | 358 | 213 | 1 | 853 | 9 | 0.000000e+00 | -- | Inf | unknown
2.57/2.66 c 2.7s| 600 | 595 | 17085 | 26.9 | 18M | 44 | 700 |1374 | 363 | 243 | 1 | 995 | 9 | 0.000000e+00 | -- | Inf | unknown
2.77/2.89 c 2.9s| 700 | 695 | 18386 | 24.9 | 18M | 44 | 700 |1466 | 358 | 276 | 1 |1091 | 9 | 0.000000e+00 | -- | Inf | unknown
3.27/3.37 c 3.4s| 800 | 795 | 19797 | 23.5 | 19M | 44 | 700 |1657 | 357 | 291 | 1 |1287 | 9 | 0.000000e+00 | -- | Inf | unknown
3.57/3.61 c 3.6s| 900 | 895 | 20787 | 22.0 | 19M | 44 | 700 |1823 | 368 | 331 | 3 |1458 | 9 | 0.000000e+00 | -- | Inf | unknown
3.87/3.97 c 4.0s| 1000 | 995 | 21619 | 20.7 | 20M | 44 | 700 |1845 | 357 | 351 | 1 |1480 | 9 | 0.000000e+00 | -- | Inf | unknown
4.07/4.14 c 4.1s| 1100 | 1095 | 22524 | 19.6 | 20M | 44 | 700 |1897 | 358 | 390 | 1 |1534 | 9 | 0.000000e+00 | -- | Inf | unknown
4.26/4.37 c 4.4s| 1200 | 1195 | 23384 | 18.7 | 20M | 44 | 700 |1935 | 358 | 487 | 1 |1573 | 9 | 0.000000e+00 | -- | Inf | unknown
4.56/4.67 c 4.7s| 1300 | 1295 | 24151 | 17.8 | 21M | 44 | 700 |1966 | 357 | 521 | 1 |1605 | 9 | 0.000000e+00 | -- | Inf | unknown
4.86/4.92 c 4.9s| 1400 | 1395 | 24999 | 17.2 | 21M | 44 | 700 |2044 | 350 | 571 | 1 |1685 | 9 | 0.000000e+00 | -- | Inf | unknown
5.06/5.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
5.06/5.12 c 5.1s| 1500 | 1495 | 25633 | 16.4 | 22M | 44 | 700 |2075 | 358 | 646 | 1 |1718 | 9 | 0.000000e+00 | -- | Inf | unknown
5.36/5.49 c 5.5s| 1600 | 1595 | 26323 | 15.8 | 22M | 44 | 700 |2135 | 353 | 658 | 1 |1781 | 9 | 0.000000e+00 | -- | Inf | unknown
5.67/5.74 c 5.7s| 1700 | 1693 | 26861 | 15.2 | 22M | 44 | 700 |2157 | 358 | 697 | 1 |1806 | 9 | 0.000000e+00 | -- | Inf | unknown
5.76/5.88 c 5.9s| 1800 | 1793 | 27537 | 14.8 | 22M | 44 | 700 |2177 | 358 | 718 | 1 |1830 | 9 | 0.000000e+00 | -- | Inf | unknown
5.86/5.99 c 6.0s| 1900 | 1893 | 28946 | 14.7 | 24M | 45 | 700 |2229 | 358 | 766 | 1 |1883 | 9 | 0.000000e+00 | -- | Inf | unknown
5.97/6.06 c 6.1s| 2000 | 1991 | 29423 | 14.2 | 24M | 72 | 700 |2240 | 359 | 771 | 1 |1895 | 9 | 0.000000e+00 | -- | Inf | unknown
6.46/6.50 c 6.5s| 2100 | 2089 | 29930 | 13.8 | 24M | 87 | 700 |2263 | 359 | 771 | 1 |1920 | 9 | 0.000000e+00 | -- | Inf | unknown
6.66/6.78 c 6.8s| 2200 | 2187 | 30621 | 13.5 | 24M | 102 | 700 |2298 | 359 | 771 | 1 |1959 | 9 | 0.000000e+00 | -- | Inf | unknown
7.16/7.27 c 7.3s| 2300 | 2283 | 31155 | 13.1 | 24M | 102 | 700 |2318 | 359 | 771 | 1 |1981 | 9 | 0.000000e+00 | -- | Inf | unknown
7.36/7.42 c 7.4s| 2400 | 2381 | 31740 | 12.8 | 24M | 108 | 700 |2391 | 359 | 771 | 1 |2059 | 9 | 0.000000e+00 | -- | Inf | unknown
7.56/7.66 c 7.7s| 2500 | 2481 | 32475 | 12.6 | 24M | 108 | 700 |2458 | 359 | 771 | 1 |2130 | 9 | 0.000000e+00 | -- | Inf | unknown
7.96/8.06 c 8.1s| 2600 | 2577 | 33052 | 12.3 | 25M | 110 | 700 |2497 | 354 | 811 | 1 |2172 | 9 | 0.000000e+00 | -- | Inf | unknown
8.26/8.37 c 8.4s| 2700 | 2653 | 33994 | 12.2 | 25M | 113 | 700 |2649 | 352 | 831 | 1 |2334 | 9 | 0.000000e+00 | -- | Inf | unknown
8.65/8.74 c 8.7s| 2800 | 2753 | 35025 | 12.2 | 25M | 113 | 700 |2687 | 357 | 890 | 1 |2379 | 9 | 0.000000e+00 | -- | Inf | unknown
8.75/8.83 c 8.8s| 2900 | 2853 | 35693 | 12.0 | 26M | 113 | 700 |2707 | 361 | 945 | 1 |2402 | 9 | 0.000000e+00 | -- | Inf | unknown
8.85/8.91 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
8.85/8.91 c 8.9s| 3000 | 2947 | 36278 | 11.8 | 26M | 113 | 700 |2757 | 350 | 952 | 1 |2458 | 9 | 0.000000e+00 | -- | Inf | unknown
8.85/8.97 c 9.0s| 3100 | 3035 | 36840 | 11.6 | 26M | 113 | 700 |2774 | 361 | 970 | 1 |2483 | 9 | 0.000000e+00 | -- | Inf | unknown
8.95/9.05 c 9.0s| 3200 | 3118 | 37451 | 11.4 | 26M | 113 | 700 |2819 | 350 | 999 | 1 |2532 | 9 | 0.000000e+00 | -- | Inf | unknown
9.05/9.19 c 9.2s| 3300 | 3218 | 38846 | 11.5 | 27M | 113 | 700 |2843 | 358 |1055 | 1 |2561 | 9 | 0.000000e+00 | -- | Inf | unknown
9.25/9.34 c 9.3s| 3400 | 3318 | 39971 | 11.5 | 27M | 113 | 700 |2912 | 359 |1103 | 1 |2639 | 9 | 0.000000e+00 | -- | Inf | unknown
9.35/9.41 c 9.4s| 3500 | 3408 | 40404 | 11.3 | 27M | 113 | 700 |2952 | 359 |1103 | 1 |2683 | 9 | 0.000000e+00 | -- | Inf | unknown
9.35/9.49 c 9.5s| 3600 | 3496 | 40960 | 11.1 | 27M | 113 | 700 |2993 | 358 |1125 | 1 |2727 | 9 | 0.000000e+00 | -- | Inf | unknown
9.45/9.59 c 9.6s| 3700 | 3589 | 41681 | 11.0 | 27M | 113 | 700 |3038 | 361 |1145 | 1 |2780 | 9 | 0.000000e+00 | -- | Inf | unknown
9.55/9.67 c 9.7s| 3800 | 3683 | 42256 | 10.9 | 27M | 113 | 700 |3068 | 359 |1145 | 1 |2813 | 9 | 0.000000e+00 | -- | Inf | unknown
9.65/9.76 c 9.8s| 3900 | 3783 | 42769 | 10.7 | 28M | 113 | 700 |3136 | 359 |1145 | 1 |2883 | 9 | 0.000000e+00 | -- | Inf | unknown
9.75/9.85 c 9.8s| 4000 | 3863 | 43431 | 10.6 | 28M | 114 | 700 |3219 | 361 |1153 | 1 |2973 | 9 | 0.000000e+00 | -- | Inf | unknown
9.85/9.95 c 9.9s| 4100 | 3949 | 44068 | 10.5 | 28M | 114 | 700 |3267 | 361 |1156 | 1 |3032 | 9 | 0.000000e+00 | -- | Inf | unknown
9.95/10.02 c 10.0s| 4200 | 4038 | 44579 | 10.4 | 28M | 114 | 700 |3360 | 361 |1156 | 1 |3130 | 9 | 0.000000e+00 | -- | Inf | unknown
10.05/10.14 c 10.1s| 4300 | 4136 | 45600 | 10.4 | 28M | 114 | 700 |3465 | 363 |1207 | 1 |3243 | 9 | 0.000000e+00 | -- | Inf | unknown
10.14/10.25 c 10.2s| 4400 | 4236 | 46477 | 10.3 | 28M | 114 | 700 |3518 | 357 |1233 | 1 |3300 | 9 | 0.000000e+00 | -- | Inf | unknown
10.24/10.34 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
10.24/10.34 c 10.3s| 4500 | 4331 | 47171 | 10.3 | 28M | 114 | 700 |3587 | 357 |1273 | 1 |3377 | 9 | 0.000000e+00 | -- | Inf | unknown
10.34/10.44 c 10.4s| 4600 | 4431 | 47731 | 10.2 | 29M | 114 | 700 |3636 | 358 |1292 | 1 |3430 | 9 | 0.000000e+00 | -- | Inf | unknown
10.44/10.52 c 10.5s| 4700 | 4519 | 48226 | 10.1 | 29M | 114 | 700 |3666 | 359 |1302 | 1 |3466 | 9 | 0.000000e+00 | -- | Inf | unknown
10.54/10.63 c 10.6s| 4800 | 4615 | 48931 | 10.0 | 29M | 114 | 700 |3721 | 363 |1318 | 1 |3529 | 9 | 0.000000e+00 | -- | Inf | unknown
10.64/10.71 c 10.7s| 4900 | 4715 | 49560 | 9.9 | 29M | 114 | 700 |3749 | 362 |1318 | 1 |3559 | 9 | 0.000000e+00 | -- | Inf | unknown
10.64/10.78 c 10.8s| 5000 | 4813 | 50106 | 9.8 | 29M | 114 | 700 |3776 | 360 |1346 | 1 |3588 | 9 | 0.000000e+00 | -- | Inf | unknown
10.74/10.88 c 10.9s| 5100 | 4911 | 50799 | 9.8 | 29M | 114 | 700 |3816 | 363 |1384 | 1 |3630 | 9 | 0.000000e+00 | -- | Inf | unknown
10.84/10.98 c 11.0s| 5200 | 5005 | 51623 | 9.7 | 29M | 114 | 700 |3859 | 363 |1384 | 1 |3678 | 9 | 0.000000e+00 | -- | Inf | unknown
10.95/11.09 c 11.1s| 5300 | 5075 | 52445 | 9.7 | 29M | 114 | 700 |3943 | 359 |1411 | 0 |3777 | 9 | 0.000000e+00 | -- | Inf | unknown
11.05/11.18 c 11.2s| 5400 | 5173 | 53070 | 9.6 | 30M | 114 | 700 |4002 | 362 |1442 | 1 |3843 | 9 | 0.000000e+00 | -- | Inf | unknown
11.24/11.31 c 11.3s| 5500 | 5273 | 54123 | 9.7 | 30M | 114 | 700 |4059 | 363 |1488 | 1 |3912 | 9 | 0.000000e+00 | -- | Inf | unknown
11.34/11.40 c 11.4s| 5600 | 5373 | 54741 | 9.6 | 30M | 114 | 700 |4064 | 361 |1544 | 1 |3921 | 9 | 0.000000e+00 | -- | Inf | unknown
11.34/11.49 c 11.5s| 5700 | 5473 | 55365 | 9.5 | 30M | 114 | 700 |4092 | 362 |1625 | 1 |3956 | 9 | 0.000000e+00 | -- | Inf | unknown
11.54/11.60 c 11.6s| 5800 | 5561 | 55889 | 9.5 | 31M | 114 | 700 |4129 | 359 |1652 | 1 |3998 | 9 | 0.000000e+00 | -- | Inf | unknown
11.64/11.74 c 11.7s| 5900 | 5657 | 57026 | 9.5 | 31M | 114 | 700 |4162 | 364 |1747 | 2 |4039 | 9 | 0.000000e+00 | -- | Inf | unknown
11.74/11.85 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
11.74/11.85 c 11.8s| 6000 | 5751 | 58188 | 9.5 | 31M | 114 | 700 |4200 | 362 |1835 | 2 |4091 | 9 | 0.000000e+00 | -- | Inf | unknown
11.84/11.93 c 11.9s| 6100 | 5851 | 58698 | 9.5 | 32M | 114 | 700 |4198 | 361 |1898 | 1 |4097 | 9 | 0.000000e+00 | -- | Inf | unknown
11.94/12.02 c 12.0s| 6200 | 5943 | 59204 | 9.4 | 32M | 116 | 700 |4225 | 362 |1903 | 0 |4139 | 9 | 0.000000e+00 | -- | Inf | unknown
12.04/12.11 c 12.1s| 6300 | 6019 | 59788 | 9.3 | 32M | 116 | 700 |4326 | 362 |1908 | 1 |4250 | 9 | 0.000000e+00 | -- | Inf | unknown
12.14/12.23 c 12.2s| 6400 | 6115 | 60825 | 9.4 | 33M | 116 | 700 |4370 | 361 |1919 | 1 |4316 | 9 | 0.000000e+00 | -- | Inf | unknown
12.24/12.34 c 12.3s| 6500 | 6213 | 61534 | 9.3 | 33M | 116 | 700 |4386 | 359 |1955 | 1 |4357 | 9 | 0.000000e+00 | -- | Inf | unknown
12.34/12.46 c 12.5s| 6600 | 6311 | 62479 | 9.3 | 33M | 116 | 700 |4424 | 365 |2007 | 1 |4410 | 9 | 0.000000e+00 | -- | Inf | unknown
12.44/12.58 c 12.6s| 6700 | 6407 | 63372 | 9.3 | 33M | 116 | 700 |4451 | 361 |2070 | 1 |4472 | 9 | 0.000000e+00 | -- | Inf | unknown
12.54/12.69 c 12.7s| 6800 | 6505 | 64047 | 9.3 | 33M | 116 | 700 |4507 | 353 |2135 | 1 |4535 | 9 | 0.000000e+00 | -- | Inf | unknown
12.64/12.76 c 12.8s| 6900 | 6605 | 64576 | 9.2 | 34M | 116 | 700 |4504 | 358 |2193 | 1 |4540 | 9 | 0.000000e+00 | -- | Inf | unknown
12.74/12.87 c 12.9s| 7000 | 6703 | 65300 | 9.2 | 34M | 116 | 700 |4547 | 361 |2212 | 1 |4591 | 9 | 0.000000e+00 | -- | Inf | unknown
12.83/12.94 c 12.9s| 7100 | 6798 | 65789 | 9.1 | 34M | 116 | 700 |4586 | 361 |2212 | 1 |4632 | 9 | 0.000000e+00 | -- | Inf | unknown
12.94/13.02 c 13.0s| 7200 | 6869 | 66431 | 9.1 | 34M | 116 | 700 |4688 | 361 |2213 | 1 |4752 | 9 | 0.000000e+00 | -- | Inf | unknown
13.04/13.17 c 13.2s| 7300 | 6948 | 68101 | 9.2 | 35M | 116 | 700 |4734 | 358 |2318 | 1 |4847 | 9 | 0.000000e+00 | -- | Inf | unknown
13.23/13.32 c 13.3s| 7400 | 7048 | 69252 | 9.2 | 35M | 116 | 700 |4755 | 350 |2415 | 1 |4891 | 9 | 0.000000e+00 | -- | Inf | unknown
13.33/13.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
13.33/13.41 c 13.4s| 7500 | 7142 | 69935 | 9.2 | 35M | 116 | 700 |4768 | 359 |2470 | 1 |4915 | 9 | 0.000000e+00 | -- | Inf | unknown
13.33/13.48 c 13.5s| 7600 | 7218 | 70346 | 9.1 | 35M | 116 | 700 |4833 | 364 |2478 | 1 |5012 | 9 | 0.000000e+00 | -- | Inf | unknown
13.43/13.57 c 13.6s| 7700 | 7304 | 71045 | 9.1 | 35M | 116 | 700 |4856 | 359 |2514 | 1 |5061 | 9 | 0.000000e+00 | -- | Inf | unknown
13.53/13.65 c 13.7s| 7800 | 7398 | 71655 | 9.1 | 35M | 116 | 700 |4862 | 356 |2546 | 1 |5090 | 9 | 0.000000e+00 | -- | Inf | unknown
13.63/13.78 c 13.8s| 7900 | 7496 | 72712 | 9.1 | 36M | 116 | 700 |4872 | 361 |2638 | 1 |5124 | 9 | 0.000000e+00 | -- | Inf | unknown
13.73/13.86 c 13.9s| 8000 | 7580 | 73345 | 9.0 | 36M | 116 | 700 |4929 | 361 |2642 | 1 |5192 | 9 | 0.000000e+00 | -- | Inf | unknown
13.83/13.97 c 14.0s| 8100 | 7658 | 74028 | 9.0 | 36M | 116 | 700 |4962 | 370 |2679 | 2 |5264 | 9 | 0.000000e+00 | -- | Inf | unknown
13.94/14.06 c 14.1s| 8200 | 7758 | 74765 | 9.0 | 36M | 116 | 700 |4978 | 366 |2685 | 1 |5290 | 9 | 0.000000e+00 | -- | Inf | unknown
14.04/14.14 c 14.1s| 8300 | 7858 | 75331 | 9.0 | 36M | 116 | 700 |4995 | 367 |2685 | 1 |5322 | 9 | 0.000000e+00 | -- | Inf | unknown
14.13/14.26 c 14.3s| 8400 | 7931 | 76240 | 9.0 | 36M | 116 | 700 |5050 | 367 |2687 | 1 |5397 | 9 | 0.000000e+00 | -- | Inf | unknown
14.23/14.35 c 14.3s| 8500 | 8021 | 76889 | 8.9 | 36M | 116 | 700 |5108 | 367 |2687 | 0 |5472 | 9 | 0.000000e+00 | -- | Inf | unknown
14.33/14.45 c 14.4s| 8600 | 8083 | 77637 | 8.9 | 37M | 116 | 700 |5190 | 367 |2687 | 1 |5592 | 9 | 0.000000e+00 | -- | Inf | unknown
14.43/14.56 c 14.6s| 8700 | 8144 | 78378 | 8.9 | 37M | 116 | 700 |5264 | 364 |2715 | 1 |5712 | 9 | 0.000000e+00 | -- | Inf | unknown
14.53/14.66 c 14.7s| 8800 | 8240 | 79163 | 8.9 | 37M | 116 | 700 |5276 | 359 |2729 | 1 |5760 | 9 | 0.000000e+00 | -- | Inf | unknown
14.63/14.74 c 14.7s| 8900 | 8329 | 79602 | 8.8 | 37M | 116 | 700 |5336 | 359 |2741 | 1 |5835 | 9 | 0.000000e+00 | -- | Inf | unknown
14.73/14.87 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
14.73/14.87 c 14.9s| 9000 | 8427 | 80445 | 8.8 | 37M | 116 | 700 |5397 | 362 |2768 | 1 |5944 | 9 | 0.000000e+00 | -- | Inf | unknown
14.93/15.00 c 15.0s| 9100 | 8527 | 81478 | 8.8 | 37M | 116 | 700 |5352 | 353 |2820 | 1 |6017 | 9 | 0.000000e+00 | -- | Inf | unknown
14.93/15.10 c 15.1s| 9200 | 8625 | 82164 | 8.8 | 37M | 116 | 700 |5378 | 356 |2863 | 1 |6063 | 9 | 0.000000e+00 | -- | Inf | unknown
15.03/15.18 c 15.2s| 9300 | 8725 | 82740 | 8.8 | 37M | 116 | 700 |5354 | 361 |2890 | 1 |6081 | 9 | 0.000000e+00 | -- | Inf | unknown
15.23/15.30 c 15.3s| 9400 | 8825 | 83516 | 8.8 | 37M | 116 | 700 |5302 | 365 |2947 | 1 |6111 | 9 | 0.000000e+00 | -- | Inf | unknown
15.23/15.38 c 15.4s| 9500 | 8925 | 84166 | 8.8 | 37M | 116 | 700 |5298 | 361 |2947 | 1 |6135 | 9 | 0.000000e+00 | -- | Inf | unknown
15.33/15.43 c 15.4s| 9600 | 9008 | 84666 | 8.7 | 37M | 116 | 700 |5308 | 361 |2947 | 1 |6163 | 9 | 0.000000e+00 | -- | Inf | unknown
15.43/15.54 c 15.5s| 9700 | 9095 | 85559 | 8.7 | 37M | 116 | 700 |5309 | 360 |2968 | 1 |6225 | 9 | 0.000000e+00 | -- | Inf | unknown
15.53/15.64 c 15.6s| 9800 | 9195 | 86286 | 8.7 | 37M | 116 | 700 |5301 | 366 |2983 | 1 |6266 | 9 | 0.000000e+00 | -- | Inf | unknown
15.62/15.76 c 15.8s| 9900 | 9295 | 87173 | 8.7 | 37M | 116 | 700 |5342 | 366 |2983 | 1 |6335 | 9 | 0.000000e+00 | -- | Inf | unknown
15.72/15.84 c 15.8s| 10000 | 9377 | 87715 | 8.7 | 38M | 116 | 700 |5358 | 361 |2994 | 1 |6418 | 9 | 0.000000e+00 | -- | Inf | unknown
15.82/15.96 c 16.0s| 10100 | 9471 | 89021 | 8.7 | 38M | 116 | 700 |5374 | 353 |3012 | 1 |6493 | 9 | 0.000000e+00 | -- | Inf | unknown
15.93/16.05 c 16.1s| 10200 | 9564 | 89729 | 8.7 | 38M | 116 | 700 |5376 | 367 |3059 | 1 |6529 | 9 | 0.000000e+00 | -- | Inf | unknown
16.03/16.16 c 16.2s| 10300 | 9664 | 90665 | 8.7 | 39M | 116 | 700 |5369 | 358 |3118 | 1 |6560 | 9 | 0.000000e+00 | -- | Inf | unknown
16.12/16.25 c 16.2s| 10400 | 9760 | 91395 | 8.7 | 39M | 116 | 700 |5383 | 364 |3149 | 1 |6597 | 9 | 0.000000e+00 | -- | Inf | unknown
16.22/16.34 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
16.22/16.34 c 16.3s| 10500 | 9845 | 92020 | 8.7 | 39M | 116 | 700 |5399 | 364 |3155 | 1 |6649 | 9 | 0.000000e+00 | -- | Inf | unknown
16.32/16.46 c 16.5s| 10600 | 9914 | 93179 | 8.7 | 39M | 116 | 700 |5402 | 360 |3189 | 2 |6696 | 9 | 0.000000e+00 | -- | Inf | unknown
16.42/16.55 c 16.5s| 10700 | 10008 | 93746 | 8.7 | 39M | 116 | 700 |5405 | 359 |3208 | 1 |6734 | 9 | 0.000000e+00 | -- | Inf | unknown
16.52/16.63 c 16.6s| 10800 | 10088 | 94338 | 8.6 | 39M | 116 | 700 |5367 | 353 |3226 | 1 |6800 | 9 | 0.000000e+00 | -- | Inf | unknown
16.62/16.74 c 16.7s| 10900 | 10174 | 95182 | 8.6 | 40M | 116 | 700 |5353 | 362 |3261 | 1 |6834 | 9 | 0.000000e+00 | -- | Inf | unknown
16.72/16.86 c 16.9s| 11000 | 10270 | 95984 | 8.6 | 40M | 116 | 700 |5342 | 365 |3279 | 1 |6893 | 9 | 0.000000e+00 | -- | Inf | unknown
16.82/16.94 c 16.9s| 11100 | 10364 | 96823 | 8.6 | 40M | 116 | 700 |5350 | 365 |3281 | 1 |6927 | 9 | 0.000000e+00 | -- | Inf | unknown
16.93/17.03 c 17.0s| 11200 | 10426 | 97561 | 8.6 | 40M | 116 | 700 |5430 | 365 |3284 | 1 |7027 | 9 | 0.000000e+00 | -- | Inf | unknown
17.03/17.15 c 17.1s| 11300 | 10516 | 98539 | 8.6 | 40M | 116 | 700 |5426 | 362 |3324 | 1 |7106 | 9 | 0.000000e+00 | -- | Inf | unknown
17.12/17.26 c 17.3s| 11400 | 10610 | 99198 | 8.6 | 40M | 116 | 700 |5352 | 356 |3345 | 1 |7158 | 9 | 0.000000e+00 | -- | Inf | unknown
17.22/17.37 c 17.4s| 11500 | 10700 |100049 | 8.6 | 40M | 116 | 700 |5335 | 363 |3384 | 2 |7243 | 9 | 0.000000e+00 | -- | Inf | unknown
17.32/17.49 c 17.5s| 11600 | 10800 |100881 | 8.6 | 40M | 116 | 700 |5311 | 363 |3459 | 1 |7286 | 9 | 0.000000e+00 | -- | Inf | unknown
17.42/17.59 c 17.6s| 11700 | 10900 |101628 | 8.6 | 40M | 116 | 700 |5274 | 367 |3486 | 1 |7326 | 9 | 0.000000e+00 | -- | Inf | unknown
17.62/17.72 c 17.7s| 11800 | 10998 |102472 | 8.6 | 41M | 116 | 700 |5217 | 358 |3505 | 1 |7376 | 9 | 0.000000e+00 | -- | Inf | unknown
17.72/17.81 c 17.8s| 11900 | 11098 |103300 | 8.6 | 42M | 116 | 700 |5196 | 365 |3527 | 1 |7415 | 9 | 0.000000e+00 | -- | Inf | unknown
17.82/17.91 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
17.82/17.91 c 17.9s| 12000 | 11198 |104049 | 8.6 | 42M | 116 | 700 |5185 | 365 |3527 | 1 |7461 | 9 | 0.000000e+00 | -- | Inf | unknown
17.82/17.98 c 18.0s| 12100 | 11280 |104508 | 8.6 | 42M | 116 | 700 |5242 | 365 |3527 | 1 |7545 | 9 | 0.000000e+00 | -- | Inf | unknown
18.02/18.13 c 18.1s| 12200 | 11351 |104959 | 8.5 | 42M | 116 | 700 |5309 | 365 |3527 | 1 |7663 | 9 | 0.000000e+00 | -- | Inf | unknown
18.11/18.22 c 18.2s| 12300 | 11442 |105567 | 8.5 | 42M | 116 | 700 |5312 | 365 |3527 | 1 |7717 | 9 | 0.000000e+00 | -- | Inf | unknown
18.11/18.29 c 18.3s| 12400 | 11516 |106059 | 8.5 | 42M | 116 | 700 |5350 | 365 |3527 | 1 |7801 | 9 | 0.000000e+00 | -- | Inf | unknown
18.21/18.39 c 18.4s| 12500 | 11587 |106681 | 8.5 | 43M | 116 | 700 |5400 | 365 |3527 | 0 |7897 | 9 | 0.000000e+00 | -- | Inf | unknown
18.31/18.47 c 18.5s| 12600 | 11656 |107248 | 8.4 | 43M | 116 | 700 |5463 | 365 |3527 | 1 |8006 | 9 | 0.000000e+00 | -- | Inf | unknown
18.41/18.57 c 18.6s| 12700 | 11730 |107800 | 8.4 | 43M | 116 | 700 |5430 | 358 |3527 | 1 |8142 | 9 | 0.000000e+00 | -- | Inf | unknown
18.51/18.68 c 18.7s| 12800 | 11795 |108640 | 8.4 | 43M | 116 | 700 |5374 | 356 |3533 | 1 |8264 | 9 | 0.000000e+00 | -- | Inf | unknown
18.61/18.77 c 18.8s| 12900 | 11889 |109408 | 8.4 | 43M | 116 | 700 |5400 | 356 |3533 | 1 |8326 | 9 | 0.000000e+00 | -- | Inf | unknown
18.71/18.85 c 18.8s| 13000 | 11989 |109906 | 8.4 | 43M | 116 | 700 |5403 | 356 |3533 | 1 |8386 | 9 | 0.000000e+00 | -- | Inf | unknown
18.81/18.92 c 18.9s| 13100 | 12089 |110386 | 8.4 | 43M | 116 | 700 |5437 | 356 |3533 | 1 |8444 | 9 | 0.000000e+00 | -- | Inf | unknown
18.92/19.01 c 19.0s| 13200 | 12189 |110964 | 8.3 | 43M | 116 | 700 |5442 | 356 |3533 | 1 |8481 | 9 | 0.000000e+00 | -- | Inf | unknown
18.92/19.09 c 19.1s| 13300 | 12289 |111464 | 8.3 | 43M | 116 | 700 |5460 | 356 |3533 | 1 |8539 | 9 | 0.000000e+00 | -- | Inf | unknown
19.02/19.17 c 19.2s| 13400 | 12383 |111913 | 8.3 | 43M | 116 | 700 |5497 | 356 |3533 | 1 |8601 | 9 | 0.000000e+00 | -- | Inf | unknown
19.11/19.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
19.11/19.25 c 19.2s| 13500 | 12483 |112394 | 8.3 | 43M | 116 | 700 |5598 | 356 |3533 | 1 |8724 | 9 | 0.000000e+00 | -- | Inf | unknown
19.21/19.32 c 19.3s| 13600 | 12575 |112844 | 8.2 | 43M | 116 | 700 |5666 | 0 |3533 | 0 |8806 | 9 | 0.000000e+00 | -- | Inf | unknown
19.31/19.41 c 19.4s| 13700 | 12656 |113322 | 8.2 | 44M | 116 | 700 |5627 | 356 |3533 | 1 |8956 | 9 | 0.000000e+00 | -- | Inf | unknown
19.31/19.48 c 19.5s| 13800 | 12727 |113645 | 8.2 | 44M | 116 | 700 |5727 | 356 |3533 | 1 |9102 | 9 | 0.000000e+00 | -- | Inf | unknown
19.41/19.57 c 19.6s| 13900 | 12814 |114254 | 8.1 | 44M | 116 | 700 |5729 | 356 |3533 | 1 |9237 | 9 | 0.000000e+00 | -- | Inf | unknown
19.51/19.67 c 19.7s| 14000 | 12910 |114987 | 8.1 | 44M | 116 | 700 |5467 | 360 |3542 | 1 |9278 | 9 | 0.000000e+00 | -- | Inf | unknown
19.61/19.76 c 19.8s| 14100 | 13008 |115695 | 8.1 | 44M | 116 | 700 |5414 | 357 |3558 | 1 |9323 | 9 | 0.000000e+00 | -- | Inf | unknown
19.71/19.87 c 19.9s| 14200 | 13104 |116569 | 8.1 | 44M | 116 | 700 |5379 | 364 |3627 | 1 |9347 | 9 | 0.000000e+00 | -- | Inf | unknown
19.91/20.00 c 20.0s| 14300 | 13204 |117606 | 8.2 | 44M | 116 | 700 |5333 | 361 |3694 | 1 |9377 | 9 | 0.000000e+00 | -- | Inf | unknown
20.01/20.11 c 20.1s| 14400 | 13304 |118472 | 8.2 | 44M | 116 | 700 |5286 | 361 |3694 | 1 |9395 | 9 | 0.000000e+00 | -- | Inf | unknown
20.11/20.21 c 20.2s| 14500 | 13398 |119100 | 8.1 | 44M | 116 | 700 |5269 | 361 |3696 | 1 |9427 | 9 | 0.000000e+00 | -- | Inf | unknown
20.21/20.33 c 20.3s| 14600 | 13492 |119905 | 8.1 | 44M | 116 | 700 |5271 | 361 |3696 | 1 |9490 | 9 | 0.000000e+00 | -- | Inf | unknown
20.30/20.42 c 20.4s| 14700 | 13590 |120467 | 8.1 | 45M | 116 | 700 |5286 | 361 |3696 | 1 |9537 | 9 | 0.000000e+00 | -- | Inf | unknown
20.40/20.54 c 20.5s| 14800 | 13690 |121519 | 8.1 | 45M | 116 | 700 |5263 | 361 |3699 | 1 |9562 | 9 | 0.000000e+00 | -- | Inf | unknown
20.50/20.62 c 20.6s| 14900 | 13774 |122095 | 8.1 | 45M | 116 | 700 |5207 | 367 |3725 | 1 |9626 | 9 | 0.000000e+00 | -- | Inf | unknown
20.60/20.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
20.60/20.75 c 20.7s| 15000 | 13874 |122902 | 8.1 | 45M | 116 | 700 |5176 | 367 |3763 | 1 |9670 | 9 | 0.000000e+00 | -- | Inf | unknown
20.70/20.85 c 20.8s| 15100 | 13968 |123793 | 8.1 | 45M | 116 | 700 |5166 | 367 |3763 | 1 |9724 | 9 | 0.000000e+00 | -- | Inf | unknown
20.80/20.93 c 20.9s| 15200 | 14053 |124352 | 8.1 | 45M | 116 | 700 |5157 | 362 |3768 | 1 |9795 | 9 | 0.000000e+00 | -- | Inf | unknown
20.91/21.04 c 21.0s| 15300 | 14151 |125060 | 8.1 | 45M | 116 | 700 |5069 | 367 |3813 | 1 |9862 | 9 | 0.000000e+00 | -- | Inf | unknown
21.10/21.20 c 21.2s| 15400 | 14249 |126260 | 8.1 | 45M | 116 | 700 |4942 | 358 |3853 | 1 |9903 | 9 | 0.000000e+00 | -- | Inf | unknown
21.20/21.30 c 21.3s| 15500 | 14349 |126926 | 8.1 | 45M | 116 | 700 |4875 | 366 |3907 | 2 |9920 | 9 | 0.000000e+00 | -- | Inf | unknown
21.30/21.40 c 21.4s| 15600 | 14449 |127708 | 8.1 | 46M | 116 | 700 |4843 | 364 |3913 | 1 |9961 | 9 | 0.000000e+00 | -- | Inf | unknown
21.30/21.47 c 21.5s| 15700 | 14538 |128144 | 8.1 | 46M | 116 | 700 |4868 | 364 |3913 | 1 |9994 | 9 | 0.000000e+00 | -- | Inf | unknown
21.40/21.54 c 21.5s| 15800 | 14603 |128746 | 8.1 | 46M | 116 | 700 |4899 | 364 |3913 | 1 | 10k| 9 | 0.000000e+00 | -- | Inf | unknown
21.50/21.62 c 21.6s| 15900 | 14668 |129259 | 8.1 | 46M | 116 | 700 |4913 | 364 |3913 | 1 | 10k| 9 | 0.000000e+00 | -- | Inf | unknown
21.60/21.70 c 21.7s| 16000 | 14756 |129869 | 8.1 | 46M | 116 | 700 |4852 | 361 |3913 | 1 | 10k| 9 | 0.000000e+00 | -- | Inf | unknown
21.70/21.80 c 21.8s| 16100 | 14845 |130564 | 8.0 | 46M | 116 | 700 |4807 | 359 |3913 | 1 | 10k| 9 | 0.000000e+00 | -- | Inf | unknown
21.70/21.88 c 21.9s| 16200 | 14903 |131114 | 8.0 | 46M | 116 | 700 |4864 | 0 |3913 | 0 | 10k| 9 | 0.000000e+00 | -- | Inf | unknown
21.81/21.98 c 22.0s| 16300 | 14957 |131842 | 8.0 | 46M | 116 | 700 |4727 | 358 |3920 | 1 | 10k| 9 | 0.000000e+00 | -- | Inf | unknown
21.91/22.08 c 22.1s| 16400 | 15055 |132626 | 8.0 | 46M | 116 | 700 |4567 | 361 |3940 | 1 | 10k| 9 | 0.000000e+00 | -- | Inf | unknown
22.01/22.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
22.01/22.18 c 22.2s| 16500 | 15155 |133399 | 8.0 | 46M | 116 | 700 |4510 | 362 |3961 | 1 | 10k| 9 | 0.000000e+00 | -- | Inf | unknown
22.11/22.26 c 22.3s| 16600 | 15232 |133976 | 8.0 | 46M | 116 | 700 |4510 | 362 |3961 | 1 | 10k| 9 | 0.000000e+00 | -- | Inf | unknown
22.21/22.38 c 22.4s| 16700 | 15330 |134838 | 8.0 | 46M | 116 | 700 |4440 | 367 |3961 | 1 | 10k| 9 | 0.000000e+00 | -- | Inf | unknown
22.31/22.48 c 22.5s| 16800 | 15430 |135589 | 8.0 | 47M | 116 | 700 |4345 | 358 |3992 | 1 | 10k| 9 | 0.000000e+00 | -- | Inf | unknown
22.41/22.55 c 22.5s| 16900 | 15522 |136113 | 8.0 | 47M | 116 | 700 |4335 | 360 |4013 | 1 | 10k| 9 | 0.000000e+00 | -- | Inf | unknown
22.51/22.65 c 22.6s| 17000 | 15616 |136796 | 8.0 | 47M | 116 | 700 |4326 | 362 |4013 | 1 | 10k| 9 | 0.000000e+00 | -- | Inf | unknown
22.61/22.71 c 22.7s| 17100 | 15710 |137263 | 8.0 | 47M | 116 | 700 |4358 | 362 |4013 | 1 | 10k| 9 | 0.000000e+00 | -- | Inf | unknown
22.71/22.80 c 22.8s| 17200 | 15802 |137683 | 7.9 | 47M | 116 | 700 |4309 | 360 |4029 | 1 | 11k| 9 | 0.000000e+00 | -- | Inf | unknown
22.80/22.90 c 22.9s| 17300 | 15902 |138444 | 7.9 | 47M | 116 | 700 |4214 | 359 |4030 | 1 | 11k| 9 | 0.000000e+00 | -- | Inf | unknown
22.80/23.00 c 23.0s| 17400 | 15985 |139126 | 7.9 | 47M | 116 | 700 |4150 | 361 |4044 | 1 | 11k| 9 | 0.000000e+00 | -- | Inf | unknown
23.01/23.10 c 23.1s| 17500 | 16077 |139882 | 7.9 | 47M | 116 | 700 |4097 | 362 |4059 | 1 | 11k| 9 | 0.000000e+00 | -- | Inf | unknown
23.01/23.18 c 23.2s| 17600 | 16153 |140411 | 7.9 | 47M | 116 | 700 |4136 | 361 |4063 | 1 | 11k| 9 | 0.000000e+00 | -- | Inf | unknown
23.10/23.24 c 23.2s| 17700 | 16243 |140854 | 7.9 | 47M | 116 | 700 |4095 | 354 |4071 | 1 | 11k| 9 | 0.000000e+00 | -- | Inf | unknown
23.20/23.34 c 23.3s| 17800 | 16331 |141627 | 7.9 | 48M | 116 | 700 |4083 | 359 |4071 | 1 | 11k| 9 | 0.000000e+00 | -- | Inf | unknown
23.30/23.41 c 23.4s| 17900 | 16407 |142043 | 7.9 | 48M | 116 | 700 |4168 | 359 |4071 | 1 | 11k| 9 | 0.000000e+00 | -- | Inf | unknown
23.40/23.50 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
23.40/23.50 c 23.5s| 18000 | 16486 |142670 | 7.9 | 48M | 116 | 700 |4113 | 361 |4078 | 1 | 11k| 9 | 0.000000e+00 | -- | Inf | unknown
23.40/23.59 c 23.6s| 18100 | 16578 |143308 | 7.9 | 48M | 116 | 700 |4007 | 361 |4084 | 1 | 11k| 9 | 0.000000e+00 | -- | Inf | unknown
23.60/23.70 c 23.7s| 18200 | 16678 |144083 | 7.9 | 48M | 116 | 700 |3940 | 361 |4089 | 1 | 11k| 9 | 0.000000e+00 | -- | Inf | unknown
23.70/23.80 c 23.8s| 18300 | 16775 |144756 | 7.9 | 48M | 116 | 700 |3856 | 358 |4089 | 1 | 11k| 9 | 0.000000e+00 | -- | Inf | unknown
23.80/23.92 c 23.9s| 18400 | 16875 |145625 | 7.9 | 48M | 116 | 700 |3743 | 364 |4135 | 1 | 11k| 9 | 0.000000e+00 | -- | Inf | unknown
23.91/24.03 c 24.0s| 18500 | 16974 |146347 | 7.9 | 48M | 116 | 700 |3669 | 362 |4185 | 1 | 11k| 9 | 0.000000e+00 | -- | Inf | unknown
24.01/24.13 c 24.1s| 18600 | 17074 |147131 | 7.9 | 48M | 116 | 700 |3644 | 366 |4208 | 1 | 11k| 9 | 0.000000e+00 | -- | Inf | unknown
24.10/24.24 c 24.2s| 18700 | 17170 |147864 | 7.9 | 48M | 116 | 700 |3637 | 366 |4232 | 1 | 12k| 9 | 0.000000e+00 | -- | Inf | unknown
24.20/24.32 c 24.3s| 18800 | 17256 |148465 | 7.8 | 49M | 116 | 700 |3674 | 366 |4234 | 0 | 12k| 9 | 0.000000e+00 | -- | Inf | unknown
24.20/24.39 c 24.4s| 18900 | 17327 |149236 | 7.8 | 49M | 116 | 700 |3763 | 366 |4234 | 1 | 12k| 9 | 0.000000e+00 | -- | Inf | unknown
24.30/24.47 c 24.5s| 19000 | 17397 |150126 | 7.8 | 49M | 116 | 700 |3777 | 360 |4239 | 1 | 12k| 9 | 0.000000e+00 | -- | Inf | unknown
24.40/24.59 c 24.6s| 19100 | 17497 |151012 | 7.9 | 49M | 116 | 700 |3723 | 361 |4262 | 1 | 12k| 9 | 0.000000e+00 | -- | Inf | unknown
24.50/24.68 c 24.7s| 19200 | 17595 |151690 | 7.8 | 49M | 116 | 700 |3747 | 362 |4269 | 1 | 12k| 9 | 0.000000e+00 | -- | Inf | unknown
24.60/24.75 c 24.7s| 19300 | 17685 |152151 | 7.8 | 49M | 116 | 700 |3781 | 362 |4269 | 1 | 12k| 9 | 0.000000e+00 | -- | Inf | unknown
24.70/24.85 c 24.9s| 19400 | 17785 |152806 | 7.8 | 49M | 116 | 700 |3810 | 361 |4270 | 1 | 12k| 9 | 0.000000e+00 | -- | Inf | unknown
24.80/24.95 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
24.80/24.95 c 24.9s| 19500 | 17877 |153663 | 7.8 | 50M | 116 | 700 |3819 | 361 |4271 | 1 | 12k| 9 | 0.000000e+00 | -- | Inf | unknown
24.90/25.03 c 25.0s| 19600 | 17967 |154139 | 7.8 | 50M | 116 | 700 |3851 | 361 |4271 | 1 | 12k| 9 | 0.000000e+00 | -- | Inf | unknown
25.00/25.13 c 25.1s| 19700 | 18063 |154885 | 7.8 | 50M | 116 | 700 |3833 | 363 |4277 | 1 | 12k| 9 | 0.000000e+00 | -- | Inf | unknown
25.10/25.23 c 25.2s| 19800 | 18145 |155711 | 7.8 | 50M | 116 | 700 |3832 | 366 |4287 | 1 | 12k| 9 | 0.000000e+00 | -- | Inf | unknown
25.20/25.30 c 25.3s| 19900 | 18211 |156520 | 7.8 | 50M | 116 | 700 |3919 | 367 |4289 | 0 | 12k| 9 | 0.000000e+00 | -- | Inf | unknown
25.20/25.37 c 25.4s| 20000 | 18281 |157280 | 7.8 | 50M | 116 | 700 |3993 | 366 |4291 | 1 | 12k| 9 | 0.000000e+00 | -- | Inf | unknown
25.29/25.44 c 25.4s| 20100 | 18343 |157865 | 7.8 | 50M | 116 | 700 |4131 | 367 |4293 | 1 | 13k| 9 | 0.000000e+00 | -- | Inf | unknown
25.39/25.50 c 25.5s| 20200 | 18388 |158482 | 7.8 | 50M | 116 | 700 |4263 | 0 |4293 | 0 | 13k| 9 | 0.000000e+00 | -- | Inf | unknown
25.49/25.63 c 25.6s| 20300 | 18463 |159562 | 7.8 | 50M | 116 | 700 |4215 | 359 |4301 | 1 | 13k| 9 | 0.000000e+00 | -- | Inf | unknown
25.59/25.70 c 25.7s| 20400 | 18563 |160149 | 7.8 | 51M | 116 | 700 |4165 | 361 |4303 | 1 | 13k| 9 | 0.000000e+00 | -- | Inf | unknown
25.59/25.79 c 25.8s| 20500 | 18657 |160761 | 7.8 | 51M | 116 | 700 |4181 | 361 |4303 | 1 | 13k| 9 | 0.000000e+00 | -- | Inf | unknown
25.69/25.86 c 25.9s| 20600 | 18757 |161339 | 7.8 | 51M | 116 | 700 |4168 | 361 |4303 | 1 | 13k| 9 | 0.000000e+00 | -- | Inf | unknown
25.79/25.99 c 26.0s| 20700 | 18850 |162327 | 7.8 | 51M | 116 | 700 |4031 | 359 |4324 | 1 | 13k| 9 | 0.000000e+00 | -- | Inf | unknown
25.90/26.07 c 26.1s| 20800 | 18937 |162910 | 7.8 | 52M | 116 | 700 |4054 | 361 |4324 | 1 | 13k| 9 | 0.000000e+00 | -- | Inf | unknown
26.00/26.16 c 26.2s| 20900 | 19023 |163414 | 7.8 | 52M | 116 | 700 |4104 | 361 |4324 | 1 | 13k| 9 | 0.000000e+00 | -- | Inf | unknown
26.09/26.27 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
26.09/26.27 c 26.3s| 21000 | 19119 |163994 | 7.8 | 52M | 116 | 700 |4124 | 360 |4324 | 1 | 13k| 9 | 0.000000e+00 | -- | Inf | unknown
26.19/26.34 c 26.3s| 21100 | 19217 |164673 | 7.8 | 52M | 116 | 700 |4119 | 360 |4326 | 1 | 13k| 9 | 0.000000e+00 | -- | Inf | unknown
26.29/26.43 c 26.4s| 21200 | 19315 |165161 | 7.7 | 52M | 116 | 700 |4123 | 361 |4326 | 1 | 13k| 9 | 0.000000e+00 | -- | Inf | unknown
26.39/26.53 c 26.5s| 21300 | 19414 |165885 | 7.7 | 53M | 116 | 700 |4010 | 361 |4337 | 1 | 13k| 9 | 0.000000e+00 | -- | Inf | unknown
26.49/26.63 c 26.6s| 21400 | 19514 |166661 | 7.7 | 53M | 116 | 700 |3953 | 361 |4337 | 1 | 13k| 9 | 0.000000e+00 | -- | Inf | unknown
26.59/26.71 c 26.7s| 21500 | 19598 |167311 | 7.7 | 53M | 116 | 700 |3956 | 361 |4337 | 1 | 14k| 9 | 0.000000e+00 | -- | Inf | unknown
26.69/26.81 c 26.8s| 21600 | 19691 |168044 | 7.7 | 53M | 116 | 700 |4015 | 361 |4337 | 1 | 14k| 9 | 0.000000e+00 | -- | Inf | unknown
26.69/26.89 c 26.9s| 21700 | 19781 |168751 | 7.7 | 53M | 116 | 700 |4026 | 361 |4341 | 1 | 14k| 9 | 0.000000e+00 | -- | Inf | unknown
26.79/26.97 c 27.0s| 21800 | 19865 |169389 | 7.7 | 53M | 116 | 700 |4057 | 361 |4341 | 1 | 14k| 9 | 0.000000e+00 | -- | Inf | unknown
26.89/27.04 c 27.0s| 21900 | 19954 |170030 | 7.7 | 53M | 116 | 700 |4059 | 361 |4341 | 1 | 14k| 9 | 0.000000e+00 | -- | Inf | unknown
26.99/27.11 c 27.1s| 22000 | 20025 |170710 | 7.7 | 53M | 116 | 700 |4095 | 361 |4341 | 1 | 14k| 9 | 0.000000e+00 | -- | Inf | unknown
27.09/27.21 c 27.2s| 22100 | 20123 |171462 | 7.7 | 53M | 116 | 700 |4084 | 361 |4341 | 1 | 14k| 9 | 0.000000e+00 | -- | Inf | unknown
27.19/27.31 c 27.3s| 22200 | 20216 |172310 | 7.7 | 53M | 116 | 700 |4030 | 361 |4341 | 1 | 14k| 9 | 0.000000e+00 | -- | Inf | unknown
27.29/27.40 c 27.4s| 22300 | 20312 |173051 | 7.7 | 53M | 116 | 700 |4051 | 361 |4341 | 1 | 14k| 9 | 0.000000e+00 | -- | Inf | unknown
27.29/27.49 c 27.5s| 22400 | 20406 |173818 | 7.7 | 53M | 116 | 700 |4072 | 361 |4341 | 1 | 14k| 9 | 0.000000e+00 | -- | Inf | unknown
27.39/27.57 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
27.39/27.57 c 27.6s| 22500 | 20498 |174463 | 7.7 | 53M | 116 | 700 |4094 | 361 |4341 | 1 | 14k| 9 | 0.000000e+00 | -- | Inf | unknown
27.48/27.68 c 27.7s| 22600 | 20580 |175265 | 7.7 | 53M | 116 | 700 |4140 | 361 |4341 | 1 | 14k| 9 | 0.000000e+00 | -- | Inf | unknown
27.58/27.76 c 27.8s| 22700 | 20660 |175922 | 7.7 | 53M | 116 | 700 |4163 | 361 |4341 | 0 | 14k| 9 | 0.000000e+00 | -- | Inf | unknown
27.68/27.83 c 27.8s| 22800 | 20733 |176488 | 7.7 | 53M | 116 | 700 |4233 | 0 |4341 | 0 | 14k| 9 | 0.000000e+00 | -- | Inf | unknown
27.78/27.90 c 27.9s| 22900 | 20801 |177101 | 7.7 | 54M | 116 | 700 |4332 | 361 |4341 | 1 | 14k| 9 | 0.000000e+00 | -- | Inf | unknown
27.78/28.00 c 28.0s| 23000 | 20891 |177867 | 7.7 | 54M | 116 | 700 |4414 | 361 |4341 | 1 | 15k| 9 | 0.000000e+00 | -- | Inf | unknown
27.88/28.08 c 28.1s| 23100 | 20963 |178369 | 7.7 | 54M | 116 | 700 |4182 | 357 |4351 | 1 | 15k| 9 | 0.000000e+00 | -- | Inf | unknown
28.08/28.21 c 28.2s| 23200 | 21057 |179693 | 7.7 | 54M | 116 | 700 |4035 | 358 |4380 | 1 | 15k| 9 | 0.000000e+00 | -- | Inf | unknown
28.18/28.33 c 28.3s| 23300 | 21155 |180512 | 7.7 | 54M | 116 | 700 |3894 | 361 |4414 | 1 | 15k| 9 | 0.000000e+00 | -- | Inf | unknown
28.28/28.43 c 28.4s| 23400 | 21255 |181127 | 7.7 | 54M | 116 | 700 |3852 | 361 |4426 | 1 | 15k| 9 | 0.000000e+00 | -- | Inf | unknown
28.38/28.53 c 28.5s| 23500 | 21345 |181926 | 7.7 | 54M | 116 | 700 |3860 | 359 |4426 | 1 | 15k| 9 | 0.000000e+00 | -- | Inf | unknown
28.48/28.61 c 28.6s| 23600 | 21445 |182570 | 7.7 | 54M | 116 | 700 |3805 | 368 |4442 | 1 | 15k| 9 | 0.000000e+00 | -- | Inf | unknown
28.48/28.69 c 28.7s| 23700 | 21529 |183187 | 7.7 | 54M | 116 | 700 |3810 | 361 |4442 | 1 | 15k| 9 | 0.000000e+00 | -- | Inf | unknown
28.58/28.79 c 28.8s| 23800 | 21622 |184067 | 7.7 | 54M | 116 | 700 |3812 | 363 |4447 | 1 | 15k| 9 | 0.000000e+00 | -- | Inf | unknown
28.78/28.90 c 28.9s| 23900 | 21713 |184889 | 7.7 | 54M | 116 | 700 |3810 | 361 |4456 | 1 | 15k| 9 | 0.000000e+00 | -- | Inf | unknown
28.78/28.98 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
28.78/28.98 c 29.0s| 24000 | 21805 |185610 | 7.7 | 54M | 116 | 700 |3784 | 361 |4461 | 1 | 15k| 9 | 0.000000e+00 | -- | Inf | unknown
28.88/29.07 c 29.1s| 24100 | 21899 |186419 | 7.7 | 54M | 116 | 700 |3773 | 361 |4461 | 1 | 15k| 9 | 0.000000e+00 | -- | Inf | unknown
28.98/29.16 c 29.2s| 24200 | 21999 |187327 | 7.7 | 54M | 116 | 700 |3761 | 361 |4461 | 1 | 15k| 9 | 0.000000e+00 | -- | Inf | unknown
29.07/29.23 c 29.2s| 24300 | 22087 |188046 | 7.7 | 54M | 116 | 700 |3750 | 361 |4461 | 1 | 15k| 9 | 0.000000e+00 | -- | Inf | unknown
29.17/29.31 c 29.3s| 24400 | 22166 |188723 | 7.7 | 54M | 116 | 700 |3740 | 361 |4461 | 1 | 15k| 9 | 0.000000e+00 | -- | Inf | unknown
29.17/29.37 c 29.4s| 24500 | 22225 |189298 | 7.7 | 54M | 116 | 700 |3817 | 361 |4461 | 1 | 16k| 9 | 0.000000e+00 | -- | Inf | unknown
29.27/29.44 c 29.4s| 24600 | 22284 |189818 | 7.7 | 54M | 116 | 700 |3927 | 361 |4461 | 0 | 16k| 9 | 0.000000e+00 | -- | Inf | unknown
29.37/29.51 c 29.5s| 24700 | 22361 |190416 | 7.7 | 54M | 116 | 700 |4007 | 361 |4461 | 1 | 16k| 9 | 0.000000e+00 | -- | Inf | unknown
29.37/29.58 c 29.6s| 24800 | 22420 |190899 | 7.7 | 54M | 116 | 700 |4039 | 361 |4461 | 1 | 16k| 9 | 0.000000e+00 | -- | Inf | unknown
29.47/29.67 c 29.7s| 24900 | 22516 |191702 | 7.7 | 55M | 116 | 700 |4072 | 361 |4461 | 1 | 16k| 9 | 0.000000e+00 | -- | Inf | unknown
29.57/29.76 c 29.8s| 25000 | 22603 |192335 | 7.7 | 55M | 116 | 700 |3912 | 360 |4465 | 0 | 16k| 9 | 0.000000e+00 | -- | Inf | unknown
29.67/29.85 c 29.8s| 25100 | 22695 |193066 | 7.7 | 55M | 116 | 700 |3839 | 361 |4474 | 1 | 16k| 9 | 0.000000e+00 | -- | Inf | unknown
29.77/29.96 c 30.0s| 25200 | 22795 |193904 | 7.7 | 55M | 116 | 700 |3767 | 359 |4478 | 1 | 16k| 9 | 0.000000e+00 | -- | Inf | unknown
29.88/30.07 c 30.1s| 25300 | 22893 |194584 | 7.7 | 55M | 116 | 700 |3524 | 361 |4486 | 1 | 16k| 9 | 0.000000e+00 | -- | Inf | unknown
29.98/30.19 c 30.2s| 25400 | 22993 |195509 | 7.7 | 55M | 116 | 700 |3414 | 357 |4529 | 1 | 16k| 9 | 0.000000e+00 | -- | Inf | unknown
30.07/30.29 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
30.07/30.29 c 30.3s| 25500 | 23091 |196461 | 7.7 | 55M | 116 | 700 |3428 | 366 |4571 | 2 | 16k| 9 | 0.000000e+00 | -- | Inf | unknown
30.17/30.37 c 30.4s| 25600 | 23187 |197143 | 7.7 | 56M | 116 | 700 |3413 | 364 |4604 | 1 | 16k| 9 | 0.000000e+00 | -- | Inf | unknown
30.27/30.47 c 30.5s| 25700 | 23285 |198021 | 7.7 | 56M | 116 | 700 |3431 | 364 |4604 | 1 | 16k| 9 | 0.000000e+00 | -- | Inf | unknown
30.47/30.60 c 30.6s| 25800 | 23385 |198881 | 7.7 | 56M | 116 | 700 |3243 | 358 |4627 | 1 | 16k| 9 | 0.000000e+00 | -- | Inf | unknown
30.47/30.69 c 30.7s| 25900 | 23483 |199585 | 7.7 | 56M | 116 | 700 |3206 | 364 |4643 | 1 | 16k| 9 | 0.000000e+00 | -- | Inf | unknown
30.57/30.77 c 30.8s| 26000 | 23557 |200113 | 7.7 | 58M | 116 | 700 |3246 | 364 |4643 | 1 | 17k| 9 | 0.000000e+00 | -- | Inf | unknown
30.67/30.85 c 30.8s| 26100 | 23648 |200794 | 7.7 | 58M | 116 | 700 |3228 | 364 |4643 | 1 | 17k| 9 | 0.000000e+00 | -- | Inf | unknown
30.77/30.94 c 30.9s| 26200 | 23744 |201441 | 7.7 | 58M | 116 | 700 |3209 | 364 |4643 | 1 | 17k| 9 | 0.000000e+00 | -- | Inf | unknown
30.87/31.03 c 31.0s| 26300 | 23837 |202132 | 7.6 | 58M | 116 | 700 |3162 | 361 |4651 | 1 | 17k| 9 | 0.000000e+00 | -- | Inf | unknown
30.97/31.11 c 31.1s| 26400 | 23929 |202596 | 7.6 | 58M | 116 | 700 |3208 | 361 |4651 | 1 | 17k| 9 | 0.000000e+00 | -- | Inf | unknown
30.97/31.18 c 31.2s| 26500 | 24003 |203045 | 7.6 | 58M | 116 | 700 |3231 | 361 |4651 | 1 | 17k| 9 | 0.000000e+00 | -- | Inf | unknown
31.07/31.24 c 31.2s| 26600 | 24062 |203456 | 7.6 | 58M | 116 | 700 |3311 | 361 |4651 | 1 | 17k| 9 | 0.000000e+00 | -- | Inf | unknown
31.07/31.29 c 31.3s| 26700 | 24130 |203754 | 7.6 | 58M | 116 | 700 |3356 | 361 |4651 | 1 | 17k| 9 | 0.000000e+00 | -- | Inf | unknown
31.17/31.35 c 31.3s| 26800 | 24201 |204312 | 7.6 | 58M | 116 | 700 |3419 | 361 |4651 | 1 | 17k| 9 | 0.000000e+00 | -- | Inf | unknown
31.26/31.41 c 31.4s| 26900 | 24274 |204721 | 7.6 | 58M | 116 | 700 |3473 | 361 |4651 | 1 | 17k| 9 | 0.000000e+00 | -- | Inf | unknown
31.36/31.50 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
31.36/31.50 c 31.5s| 27000 | 24334 |205535 | 7.6 | 58M | 116 | 700 |3481 | 0 |4659 | 0 | 17k| 9 | 0.000000e+00 | -- | Inf | unknown
31.36/31.58 c 31.6s| 27100 | 24410 |206231 | 7.6 | 58M | 116 | 700 |3493 | 359 |4659 | 1 | 17k| 9 | 0.000000e+00 | -- | Inf | unknown
31.46/31.65 c 31.6s| 27200 | 24504 |206904 | 7.6 | 58M | 116 | 700 |3517 | 359 |4659 | 1 | 17k| 9 | 0.000000e+00 | -- | Inf | unknown
31.56/31.73 c 31.7s| 27300 | 24588 |207580 | 7.6 | 58M | 116 | 700 |3471 | 364 |4659 | 1 | 18k| 9 | 0.000000e+00 | -- | Inf | unknown
31.66/31.83 c 31.8s| 27400 | 24680 |208316 | 7.6 | 58M | 116 | 700 |3363 | 363 |4659 | 1 | 18k| 9 | 0.000000e+00 | -- | Inf | unknown
31.76/31.92 c 31.9s| 27500 | 24774 |208916 | 7.6 | 58M | 116 | 700 |3269 | 363 |4659 | 1 | 18k| 9 | 0.000000e+00 | -- | Inf | unknown
31.76/32.00 c 32.0s| 27600 | 24844 |209484 | 7.6 | 58M | 116 | 700 |3312 | 363 |4659 | 1 | 18k| 9 | 0.000000e+00 | -- | Inf | unknown
31.97/32.10 c 32.1s| 27700 | 24935 |210170 | 7.6 | 58M | 116 | 700 |3186 | 363 |4671 | 1 | 18k| 9 | 0.000000e+00 | -- | Inf | unknown
31.97/32.18 c 32.2s| 27800 | 25029 |210710 | 7.5 | 58M | 116 | 700 |3215 | 363 |4671 | 0 | 18k| 9 | 0.000000e+00 | -- | Inf | unknown
32.06/32.29 c 32.3s| 27900 | 25119 |211622 | 7.5 | 58M | 116 | 700 |3182 | 363 |4671 | 1 | 18k| 9 | 0.000000e+00 | -- | Inf | unknown
32.16/32.39 c 32.4s| 28000 | 25219 |212299 | 7.5 | 58M | 116 | 700 |3176 | 363 |4671 | 1 | 18k| 9 | 0.000000e+00 | -- | Inf | unknown
32.36/32.50 c 32.5s| 28100 | 25300 |213042 | 7.5 | 58M | 116 | 700 |3018 | 359 |4671 | 1 | 18k| 9 | 0.000000e+00 | -- | Inf | unknown
32.47/32.60 c 32.6s| 28200 | 25394 |213774 | 7.5 | 58M | 116 | 700 |2934 | 359 |4692 | 1 | 18k| 9 | 0.000000e+00 | -- | Inf | unknown
32.57/32.72 c 32.7s| 28300 | 25492 |214630 | 7.5 | 58M | 116 | 700 |2855 | 362 |4737 | 1 | 18k| 9 | 0.000000e+00 | -- | Inf | unknown
32.67/32.87 c 32.9s| 28400 | 25590 |215619 | 7.6 | 59M | 116 | 700 |2679 | 359 |4776 | 1 | 18k| 9 | 0.000000e+00 | -- | Inf | unknown
32.77/32.97 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
32.77/32.97 c 33.0s| 28500 | 25663 |216521 | 7.6 | 59M | 116 | 700 |2521 | 359 |4805 | 0 | 18k| 9 | 0.000000e+00 | -- | Inf | unknown
32.87/33.04 c 33.0s| 28600 | 25734 |217102 | 7.6 | 59M | 116 | 700 |2545 | 359 |4805 | 1 | 18k| 9 | 0.000000e+00 | -- | Inf | unknown
32.97/33.17 c 33.2s| 28700 | 25834 |217924 | 7.6 | 59M | 116 | 700 |2314 | 360 |4843 | 1 | 18k| 9 | 0.000000e+00 | -- | Inf | unknown
33.07/33.26 c 33.3s| 28800 | 25922 |218517 | 7.6 | 59M | 116 | 700 |2264 | 366 |4871 | 2 | 19k| 9 | 0.000000e+00 | -- | Inf | unknown
33.17/33.37 c 33.4s| 28900 | 26022 |219291 | 7.6 | 59M | 116 | 700 |2176 | 362 |4895 | 1 | 19k| 9 | 0.000000e+00 | -- | Inf | unknown
33.27/33.49 c 33.5s| 29000 | 26122 |220009 | 7.6 | 59M | 116 | 700 |2117 | 366 |4905 | 1 | 19k| 9 | 0.000000e+00 | -- | Inf | unknown
33.37/33.59 c 33.6s| 29100 | 26222 |220778 | 7.6 | 59M | 116 | 700 |1995 | 359 |4946 | 1 | 19k| 9 | 0.000000e+00 | -- | Inf | unknown
33.47/33.68 c 33.7s| 29200 | 26306 |221676 | 7.6 | 59M | 116 | 700 |2020 | 359 |4946 | 1 | 19k| 9 | 0.000000e+00 | -- | Inf | unknown
33.57/33.75 c 33.7s| 29300 | 26388 |222247 | 7.6 | 59M | 116 | 700 |2055 | 359 |4952 | 1 | 19k| 9 | 0.000000e+00 | -- | Inf | unknown
33.67/33.83 c 33.8s| 29400 | 26473 |222845 | 7.5 | 59M | 116 | 700 |2016 | 360 |4954 | 1 | 19k| 9 | 0.000000e+00 | -- | Inf | unknown
33.76/33.97 c 34.0s| 29500 | 26569 |223815 | 7.6 | 59M | 116 | 700 |1930 | 359 |4971 | 1 | 19k| 9 | 0.000000e+00 | -- | Inf | unknown
33.87/34.05 c 34.0s| 29600 | 26648 |224378 | 7.5 | 59M | 116 | 700 |1958 | 362 |4971 | 1 | 19k| 9 | 0.000000e+00 | -- | Inf | unknown
33.97/34.11 c 34.1s| 29700 | 26704 |224885 | 7.5 | 59M | 116 | 700 |2030 | 362 |4971 | 1 | 19k| 9 | 0.000000e+00 | -- | Inf | unknown
34.06/34.25 c 34.2s| 29800 | 26784 |226689 | 7.6 | 60M | 116 | 700 |1980 | 359 |4989 | 1 | 19k| 9 | 0.000000e+00 | -- | Inf | unknown
34.16/34.33 c 34.3s| 29900 | 26863 |227152 | 7.6 | 60M | 116 | 700 |1994 | 359 |4990 | 1 | 19k| 9 | 0.000000e+00 | -- | Inf | unknown
34.26/34.43 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
34.26/34.43 c 34.4s| 30000 | 26949 |227845 | 7.6 | 60M | 116 | 700 |1977 | 363 |5002 | 1 | 19k| 9 | 0.000000e+00 | -- | Inf | unknown
34.36/34.53 c 34.5s| 30100 | 27039 |228591 | 7.6 | 60M | 116 | 700 |1937 | 358 |5035 | 1 | 19k| 9 | 0.000000e+00 | -- | Inf | unknown
34.46/34.62 c 34.6s| 30200 | 27124 |229376 | 7.6 | 61M | 116 | 700 |1957 | 361 |5052 | 1 | 19k| 9 | 0.000000e+00 | -- | Inf | unknown
34.56/34.75 c 34.7s| 30300 | 27224 |230324 | 7.6 | 61M | 116 | 700 |1898 | 361 |5055 | 1 | 20k| 9 | 0.000000e+00 | -- | Inf | unknown
34.66/34.84 c 34.8s| 30400 | 27300 |230908 | 7.6 | 61M | 116 | 700 |1935 | 362 |5074 | 1 | 20k| 9 | 0.000000e+00 | -- | Inf | unknown
34.76/34.91 c 34.9s| 30500 | 27344 |231366 | 7.6 | 61M | 116 | 700 |2005 | 359 |5074 | 1 | 20k| 9 | 0.000000e+00 | -- | Inf | unknown
34.76/34.97 c 35.0s| 30600 | 27407 |231908 | 7.5 | 61M | 116 | 700 |2063 | 359 |5074 | 1 | 20k| 9 | 0.000000e+00 | -- | Inf | unknown
34.97/35.10 c 35.1s| 30700 | 27507 |232851 | 7.6 | 61M | 116 | 700 |1963 | 362 |5086 | 1 | 20k| 9 | 0.000000e+00 | -- | Inf | unknown
34.97/35.18 c 35.2s| 30800 | 27601 |233550 | 7.6 | 61M | 116 | 700 |1884 | 357 |5102 | 1 | 20k| 9 | 0.000000e+00 | -- | Inf | unknown
35.06/35.27 c 35.3s| 30900 | 27693 |234086 | 7.5 | 61M | 116 | 700 |1875 | 357 |5102 | 1 | 20k| 9 | 0.000000e+00 | -- | Inf | unknown
35.16/35.34 c 35.3s| 31000 | 27784 |234648 | 7.5 | 61M | 116 | 700 |1884 | 357 |5102 | 1 | 20k| 9 | 0.000000e+00 | -- | Inf | unknown
35.26/35.42 c 35.4s| 31100 | 27874 |235295 | 7.5 | 61M | 116 | 700 |1855 | 361 |5109 | 1 | 20k| 9 | 0.000000e+00 | -- | Inf | unknown
35.36/35.50 c 35.5s| 31200 | 27967 |235884 | 7.5 | 61M | 116 | 700 |1851 | 361 |5109 | 1 | 20k| 9 | 0.000000e+00 | -- | Inf | unknown
35.46/35.62 c 35.6s| 31300 | 28041 |236720 | 7.5 | 62M | 116 | 700 |1831 | 362 |5165 | 1 | 20k| 9 | 0.000000e+00 | -- | Inf | unknown
35.56/35.71 c 35.7s| 31400 | 28132 |237539 | 7.5 | 62M | 116 | 700 |1787 | 359 |5185 | 1 | 20k| 9 | 0.000000e+00 | -- | Inf | unknown
35.56/35.79 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
35.56/35.79 c 35.8s| 31500 | 28209 |238162 | 7.5 | 62M | 116 | 700 |1849 | 359 |5185 | 1 | 20k| 9 | 0.000000e+00 | -- | Inf | unknown
35.66/35.84 c 35.8s| 31600 | 28290 |238518 | 7.5 | 62M | 116 | 700 |1909 | 359 |5185 | 1 | 20k| 9 | 0.000000e+00 | -- | Inf | unknown
35.76/35.90 c 35.9s| 31700 | 28363 |238930 | 7.5 | 62M | 117 | 700 |1969 | 359 |5185 | 1 | 20k| 9 | 0.000000e+00 | -- | Inf | unknown
35.76/35.99 c 36.0s| 31800 | 28447 |239520 | 7.5 | 64M | 120 | 700 |1954 | 361 |5192 | 1 | 21k| 9 | 0.000000e+00 | -- | Inf | unknown
35.96/36.11 c 36.1s| 31900 | 28529 |240486 | 7.5 | 64M | 120 | 700 |1917 | 362 |5212 | 1 | 21k| 9 | 0.000000e+00 | -- | Inf | unknown
36.05/36.22 c 36.2s| 32000 | 28618 |241666 | 7.5 | 64M | 120 | 700 |1880 | 368 |5240 | 1 | 21k| 9 | 0.000000e+00 | -- | Inf | unknown
36.15/36.32 c 36.3s| 32100 | 28713 |242374 | 7.5 | 64M | 120 | 700 |1865 | 360 |5254 | 1 | 21k| 9 | 0.000000e+00 | -- | Inf | unknown
36.25/36.40 c 36.4s| 32200 | 28809 |242933 | 7.5 | 64M | 120 | 700 |1870 | 361 |5257 | 1 | 21k| 9 | 0.000000e+00 | -- | Inf | unknown
36.25/36.46 c 36.5s| 32300 | 28854 |243413 | 7.5 | 64M | 120 | 700 |1966 | 361 |5257 | 1 | 21k| 9 | 0.000000e+00 | -- | Inf | unknown
36.35/36.56 c 36.6s| 32400 | 28929 |244075 | 7.5 | 64M | 120 | 700 |1863 | 359 |5273 | 1 | 21k| 9 | 0.000000e+00 | -- | Inf | unknown
36.45/36.64 c 36.6s| 32500 | 29027 |244668 | 7.5 | 64M | 120 | 700 |1839 | 359 |5273 | 1 | 21k| 9 | 0.000000e+00 | -- | Inf | unknown
36.55/36.72 c 36.7s| 32600 | 29119 |245109 | 7.5 | 64M | 120 | 700 |1845 | 359 |5273 | 1 | 21k| 9 | 0.000000e+00 | -- | Inf | unknown
36.55/36.79 c 36.8s| 32700 | 29211 |245606 | 7.5 | 64M | 120 | 700 |1846 | 359 |5273 | 1 | 21k| 9 | 0.000000e+00 | -- | Inf | unknown
36.65/36.89 c 36.9s| 32800 | 29309 |246352 | 7.5 | 64M | 120 | 700 |1864 | 359 |5273 | 1 | 21k| 9 | 0.000000e+00 | -- | Inf | unknown
36.75/36.96 c 37.0s| 32900 | 29407 |246847 | 7.5 | 64M | 120 | 700 |1865 | 356 |5282 | 1 | 21k| 9 | 0.000000e+00 | -- | Inf | unknown
36.86/37.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
36.86/37.03 c 37.0s| 33000 | 29497 |247359 | 7.5 | 64M | 120 | 700 |1902 | 356 |5282 | 1 | 21k| 9 | 0.000000e+00 | -- | Inf | unknown
36.96/37.10 c 37.1s| 33100 | 29583 |247886 | 7.5 | 64M | 120 | 700 |1953 | 356 |5282 | 1 | 21k| 9 | 0.000000e+00 | -- | Inf | unknown
36.96/37.18 c 37.2s| 33200 | 29676 |248494 | 7.5 | 64M | 120 | 700 |2017 | 356 |5282 | 1 | 21k| 9 | 0.000000e+00 | -- | Inf | unknown
37.15/37.30 c 37.3s| 33300 | 29774 |249041 | 7.4 | 64M | 120 | 700 |2060 | 356 |5282 | 1 | 22k| 9 | 0.000000e+00 | -- | Inf | unknown
37.15/37.37 c 37.4s| 33400 | 29867 |249473 | 7.4 | 65M | 120 | 700 |2107 | 356 |5282 | 1 | 22k| 9 | 0.000000e+00 | -- | Inf | unknown
37.25/37.45 c 37.4s| 33500 | 29963 |249988 | 7.4 | 66M | 120 | 700 |2150 | 356 |5282 | 1 | 22k| 9 | 0.000000e+00 | -- | Inf | unknown
37.35/37.52 c 37.5s| 33600 | 30059 |250483 | 7.4 | 66M | 120 | 700 |2144 | 356 |5282 | 1 | 22k| 9 | 0.000000e+00 | -- | Inf | unknown
37.35/37.59 c 37.6s| 33700 | 30157 |250980 | 7.4 | 66M | 120 | 700 |2158 | 356 |5282 | 1 | 22k| 9 | 0.000000e+00 | -- | Inf | unknown
37.45/37.66 c 37.7s| 33800 | 30255 |251410 | 7.4 | 66M | 120 | 700 |2195 | 356 |5282 | 1 | 22k| 9 | 0.000000e+00 | -- | Inf | unknown
37.55/37.73 c 37.7s| 33900 | 30353 |251892 | 7.4 | 66M | 120 | 700 |2203 | 356 |5282 | 1 | 22k| 9 | 0.000000e+00 | -- | Inf | unknown
37.65/37.81 c 37.8s| 34000 | 30413 |252272 | 7.4 | 66M | 120 | 700 |2142 | 356 |5282 | 1 | 22k| 9 | 0.000000e+00 | -- | Inf | unknown
37.65/37.88 c 37.9s| 34100 | 30502 |252798 | 7.4 | 66M | 120 | 700 |2188 | 356 |5282 | 1 | 22k| 9 | 0.000000e+00 | -- | Inf | unknown
37.75/37.95 c 37.9s| 34200 | 30592 |253324 | 7.4 | 66M | 120 | 700 |2227 | 356 |5282 | 1 | 22k| 9 | 0.000000e+00 | -- | Inf | unknown
37.85/38.02 c 38.0s| 34300 | 30682 |253773 | 7.4 | 66M | 120 | 700 |2271 | 358 |5282 | 1 | 22k| 9 | 0.000000e+00 | -- | Inf | unknown
37.95/38.18 c 38.2s| 34400 | 30782 |255042 | 7.4 | 66M | 120 | 700 |2202 | 357 |5334 | 1 | 22k| 9 | 0.000000e+00 | -- | Inf | unknown
38.05/38.29 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
38.05/38.30 c 38.3s| 34500 | 30882 |255889 | 7.4 | 67M | 120 | 700 |2134 | 363 |5375 | 1 | 22k| 9 | 0.000000e+00 | -- | Inf | unknown
38.14/38.39 c 38.4s| 34600 | 30980 |256608 | 7.4 | 67M | 120 | 700 |2140 | 361 |5390 | 1 | 22k| 9 | 0.000000e+00 | -- | Inf | unknown
38.24/38.49 c 38.5s| 34700 | 31070 |257227 | 7.4 | 67M | 120 | 700 |2101 | 363 |5398 | 1 | 22k| 9 | 0.000000e+00 | -- | Inf | unknown
38.34/38.57 c 38.6s| 34800 | 31170 |257708 | 7.4 | 67M | 120 | 700 |2064 | 362 |5398 | 1 | 22k| 9 | 0.000000e+00 | -- | Inf | unknown
38.44/38.67 c 38.7s| 34900 | 31258 |258254 | 7.4 | 67M | 120 | 700 |2017 | 361 |5399 | 1 | 23k| 9 | 0.000000e+00 | -- | Inf | unknown
38.54/38.75 c 38.7s| 35000 | 31342 |258893 | 7.4 | 67M | 120 | 700 |2039 | 0 |5399 | 0 | 23k| 9 | 0.000000e+00 | -- | Inf | unknown
38.64/38.81 c 38.8s| 35100 | 31384 |259243 | 7.4 | 67M | 120 | 700 |2060 | 363 |5399 | 1 | 23k| 9 | 0.000000e+00 | -- | Inf | unknown
38.74/38.91 c 38.9s| 35200 | 31484 |259861 | 7.4 | 67M | 120 | 700 |2019 | 363 |5399 | 1 | 23k| 9 | 0.000000e+00 | -- | Inf | unknown
38.74/38.98 c 39.0s| 35300 | 31546 |260336 | 7.3 | 67M | 120 | 700 |2085 | 0 |5399 | 0 | 23k| 9 | 0.000000e+00 | -- | Inf | unknown
38.85/39.07 c 39.1s| 35400 | 31630 |260941 | 7.3 | 67M | 120 | 700 |2116 | 363 |5399 | 1 | 23k| 9 | 0.000000e+00 | -- | Inf | unknown
38.95/39.17 c 39.2s| 35500 | 31730 |261553 | 7.3 | 68M | 120 | 700 |2024 | 361 |5405 | 1 | 23k| 9 | 0.000000e+00 | -- | Inf | unknown
39.04/39.27 c 39.3s| 35600 | 31826 |262399 | 7.3 | 68M | 120 | 700 |2006 | 366 |5414 | 1 | 23k| 9 | 0.000000e+00 | -- | Inf | unknown
39.14/39.33 c 39.3s| 35700 | 31899 |263039 | 7.3 | 68M | 120 | 700 |2027 | 366 |5414 | 1 | 23k| 9 | 0.000000e+00 | -- | Inf | unknown
39.24/39.41 c 39.4s| 35800 | 31995 |263499 | 7.3 | 68M | 120 | 700 |2043 | 366 |5414 | 1 | 23k| 9 | 0.000000e+00 | -- | Inf | unknown
39.24/39.48 c 39.5s| 35900 | 32035 |263873 | 7.3 | 68M | 120 | 700 |2091 | 366 |5414 | 0 | 23k| 9 | 0.000000e+00 | -- | Inf | unknown
39.34/39.55 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
39.34/39.55 c 39.5s| 36000 | 32099 |264331 | 7.3 | 68M | 120 | 700 |2083 | 358 |5414 | 1 | 23k| 9 | 0.000000e+00 | -- | Inf | unknown
39.44/39.66 c 39.7s| 36100 | 32180 |265026 | 7.3 | 68M | 120 | 700 |1994 | 357 |5428 | 1 | 23k| 9 | 0.000000e+00 | -- | Inf | unknown
39.54/39.75 c 39.8s| 36200 | 32269 |265662 | 7.3 | 68M | 120 | 700 |1989 | 359 |5437 | 1 | 24k| 9 | 0.000000e+00 | -- | Inf | unknown
39.64/39.84 c 39.8s| 36300 | 32326 |266242 | 7.3 | 68M | 120 | 700 |2015 | 361 |5437 | 1 | 24k| 9 | 0.000000e+00 | -- | Inf | unknown
39.74/39.92 c 39.9s| 36400 | 32410 |266684 | 7.3 | 68M | 120 | 700 |2067 | 361 |5437 | 1 | 24k| 9 | 0.000000e+00 | -- | Inf | unknown
39.74/39.98 c 40.0s| 36500 | 32475 |267078 | 7.3 | 68M | 120 | 700 |2115 | 361 |5437 | 0 | 24k| 9 | 0.000000e+00 | -- | Inf | unknown
39.84/40.07 c 40.1s| 36600 | 32558 |267670 | 7.3 | 68M | 120 | 700 |2116 | 367 |5454 | 1 | 24k| 9 | 0.000000e+00 | -- | Inf | unknown
39.94/40.15 c 40.1s| 36700 | 32651 |268313 | 7.3 | 68M | 120 | 700 |2135 | 367 |5461 | 1 | 24k| 9 | 0.000000e+00 | -- | Inf | unknown
40.04/40.22 c 40.2s| 36800 | 32732 |268818 | 7.3 | 68M | 120 | 700 |2159 | 366 |5467 | 1 | 24k| 9 | 0.000000e+00 | -- | Inf | unknown
40.04/40.28 c 40.3s| 36900 | 32813 |269347 | 7.3 | 68M | 120 | 700 |2226 | 366 |5470 | 1 | 24k| 9 | 0.000000e+00 | -- | Inf | unknown
40.14/40.34 c 40.3s| 37000 | 32872 |269733 | 7.3 | 68M | 120 | 700 |2279 | 366 |5470 | 1 | 24k| 9 | 0.000000e+00 | -- | Inf | unknown
40.24/40.45 c 40.4s| 37100 | 32951 |270574 | 7.3 | 68M | 120 | 700 |2258 | 362 |5497 | 1 | 24k| 9 | 0.000000e+00 | -- | Inf | unknown
40.34/40.55 c 40.5s| 37200 | 33051 |271258 | 7.3 | 68M | 120 | 700 |2219 | 365 |5524 | 1 | 24k| 9 | 0.000000e+00 | -- | Inf | unknown
40.44/40.64 c 40.6s| 37300 | 33129 |271834 | 7.3 | 68M | 120 | 700 |2255 | 362 |5542 | 1 | 24k| 9 | 0.000000e+00 | -- | Inf | unknown
40.54/40.72 c 40.7s| 37400 | 33211 |272380 | 7.3 | 68M | 120 | 700 |2287 | 359 |5542 | 1 | 24k| 9 | 0.000000e+00 | -- | Inf | unknown
40.64/40.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
40.64/40.81 c 40.8s| 37500 | 33282 |273038 | 7.3 | 68M | 120 | 700 |2293 | 358 |5555 | 1 | 25k| 9 | 0.000000e+00 | -- | Inf | unknown
40.74/40.90 c 40.9s| 37600 | 33380 |273735 | 7.3 | 68M | 120 | 700 |2255 | 358 |5563 | 1 | 25k| 9 | 0.000000e+00 | -- | Inf | unknown
40.74/40.99 c 41.0s| 37700 | 33470 |274463 | 7.3 | 69M | 120 | 700 |2192 | 359 |5576 | 1 | 25k| 9 | 0.000000e+00 | -- | Inf | unknown
40.84/41.07 c 41.1s| 37800 | 33554 |275161 | 7.3 | 69M | 120 | 700 |2146 | 359 |5583 | 1 | 25k| 9 | 0.000000e+00 | -- | Inf | unknown
40.94/41.16 c 41.2s| 37900 | 33652 |275737 | 7.2 | 69M | 120 | 700 |2073 | 361 |5591 | 1 | 25k| 9 | 0.000000e+00 | -- | Inf | unknown
41.03/41.26 c 41.3s| 38000 | 33748 |276579 | 7.3 | 69M | 120 | 700 |1991 | 357 |5594 | 1 | 25k| 9 | 0.000000e+00 | -- | Inf | unknown
41.13/41.36 c 41.4s| 38100 | 33840 |277295 | 7.3 | 69M | 120 | 700 |1928 | 363 |5600 | 1 | 25k| 9 | 0.000000e+00 | -- | Inf | unknown
41.23/41.49 c 41.5s| 38200 | 33940 |278023 | 7.3 | 69M | 120 | 700 |1900 | 362 |5600 | 1 | 25k| 9 | 0.000000e+00 | -- | Inf | unknown
41.33/41.59 c 41.6s| 38300 | 34038 |278671 | 7.3 | 69M | 120 | 700 |1901 | 362 |5600 | 1 | 25k| 9 | 0.000000e+00 | -- | Inf | unknown
41.43/41.68 c 41.7s| 38400 | 34104 |279375 | 7.2 | 69M | 120 | 700 |1941 | 359 |5600 | 1 | 25k| 9 | 0.000000e+00 | -- | Inf | unknown
41.53/41.77 c 41.8s| 38500 | 34204 |280147 | 7.3 | 69M | 120 | 700 |1883 | 356 |5608 | 1 | 25k| 9 | 0.000000e+00 | -- | Inf | unknown
41.73/41.91 c 41.9s| 38600 | 34285 |281165 | 7.3 | 69M | 120 | 700 |1873 | 359 |5654 | 1 | 25k| 9 | 0.000000e+00 | -- | Inf | unknown
41.73/41.98 c 42.0s| 38700 | 34347 |281764 | 7.3 | 69M | 120 | 700 |1920 | 358 |5657 | 1 | 25k| 9 | 0.000000e+00 | -- | Inf | unknown
41.84/42.08 c 42.1s| 38800 | 34447 |282720 | 7.3 | 69M | 120 | 700 |1903 | 363 |5657 | 1 | 25k| 9 | 0.000000e+00 | -- | Inf | unknown
41.94/42.16 c 42.2s| 38900 | 34545 |283437 | 7.3 | 69M | 120 | 700 |1920 | 363 |5657 | 1 | 25k| 9 | 0.000000e+00 | -- | Inf | unknown
42.03/42.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
42.03/42.23 c 42.2s| 39000 | 34634 |284149 | 7.3 | 69M | 120 | 700 |1993 | 0 |5657 | 0 | 26k| 9 | 0.000000e+00 | -- | Inf | unknown
42.13/42.31 c 42.3s| 39100 | 34685 |284731 | 7.3 | 70M | 120 | 700 |2131 | 359 |5657 | 1 | 26k| 9 | 0.000000e+00 | -- | Inf | unknown
42.13/42.38 c 42.4s| 39200 | 34738 |285163 | 7.2 | 70M | 120 | 700 |2262 | 363 |5657 | 1 | 26k| 9 | 0.000000e+00 | -- | Inf | unknown
42.23/42.48 c 42.5s| 39300 | 34838 |285991 | 7.3 | 70M | 120 | 700 |2276 | 362 |5657 | 1 | 26k| 9 | 0.000000e+00 | -- | Inf | unknown
42.33/42.57 c 42.6s| 39400 | 34938 |286560 | 7.2 | 71M | 120 | 700 |2265 | 356 |5657 | 1 | 26k| 9 | 0.000000e+00 | -- | Inf | unknown
42.43/42.65 c 42.6s| 39500 | 35034 |287145 | 7.2 | 71M | 120 | 700 |2257 | 356 |5657 | 0 | 26k| 9 | 0.000000e+00 | -- | Inf | unknown
42.53/42.71 c 42.7s| 39600 | 35119 |287616 | 7.2 | 71M | 120 | 700 |2285 | 356 |5657 | 1 | 26k| 9 | 0.000000e+00 | -- | Inf | unknown
42.63/42.80 c 42.8s| 39700 | 35217 |288248 | 7.2 | 71M | 120 | 700 |2312 | 356 |5657 | 1 | 26k| 9 | 0.000000e+00 | -- | Inf | unknown
42.63/42.87 c 42.9s| 39800 | 35313 |288698 | 7.2 | 71M | 120 | 700 |2371 | 356 |5657 | 1 | 26k| 9 | 0.000000e+00 | -- | Inf | unknown
42.73/42.94 c 42.9s| 39900 | 35411 |289077 | 7.2 | 71M | 120 | 700 |2402 | 356 |5657 | 1 | 26k| 9 | 0.000000e+00 | -- | Inf | unknown
42.83/43.03 c 43.0s| 40000 | 35504 |289468 | 7.2 | 71M | 120 | 700 |2422 | 356 |5657 | 1 | 26k| 9 | 0.000000e+00 | -- | Inf | unknown
42.93/43.12 c 43.1s| 40100 | 35564 |290096 | 7.2 | 71M | 120 | 700 |2495 | 356 |5657 | 1 | 27k| 9 | 0.000000e+00 | -- | Inf | unknown
42.93/43.19 c 43.2s| 40200 | 35618 |290465 | 7.2 | 71M | 120 | 700 |2551 | 356 |5657 | 1 | 27k| 9 | 0.000000e+00 | -- | Inf | unknown
43.03/43.28 c 43.3s| 40300 | 35686 |291247 | 7.2 | 72M | 120 | 700 |2549 | 358 |5671 | 1 | 27k| 9 | 0.000000e+00 | -- | Inf | unknown
43.13/43.35 c 43.3s| 40400 | 35765 |291779 | 7.2 | 72M | 120 | 700 |2550 | 363 |5676 | 1 | 27k| 9 | 0.000000e+00 | -- | Inf | unknown
43.23/43.43 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
43.23/43.43 c 43.4s| 40500 | 35860 |292581 | 7.2 | 72M | 120 | 700 |2560 | 363 |5676 | 1 | 27k| 9 | 0.000000e+00 | -- | Inf | unknown
43.33/43.53 c 43.5s| 40600 | 35940 |293229 | 7.2 | 72M | 120 | 700 |2582 | 366 |5684 | 3 | 27k| 9 | 0.000000e+00 | -- | Inf | unknown
43.42/43.64 c 43.6s| 40700 | 36038 |294035 | 7.2 | 72M | 120 | 700 |2441 | 354 |5719 | 1 | 27k| 9 | 0.000000e+00 | -- | Inf | unknown
43.52/43.73 c 43.7s| 40800 | 36138 |294786 | 7.2 | 73M | 120 | 700 |2305 | 359 |5754 | 1 | 27k| 9 | 0.000000e+00 | -- | Inf | unknown
43.62/43.81 c 43.8s| 40900 | 36194 |295253 | 7.2 | 73M | 120 | 700 |2353 | 0 |5756 | 0 | 27k| 9 | 0.000000e+00 | -- | Inf | unknown
43.62/43.89 c 43.9s| 41000 | 36252 |295663 | 7.2 | 73M | 120 | 700 |2422 | 361 |5762 | 1 | 27k| 9 | 0.000000e+00 | -- | Inf | unknown
43.72/43.96 c 44.0s| 41100 | 36328 |296115 | 7.2 | 73M | 120 | 700 |2367 | 356 |5762 | 1 | 28k| 9 | 0.000000e+00 | -- | Inf | unknown
43.83/44.06 c 44.1s| 41200 | 36414 |296738 | 7.2 | 73M | 120 | 700 |2172 | 357 |5799 | 1 | 28k| 9 | 0.000000e+00 | -- | Inf | unknown
43.93/44.13 c 44.1s| 41300 | 36471 |297175 | 7.2 | 73M | 120 | 700 |2196 | 361 |5799 | 1 | 28k| 9 | 0.000000e+00 | -- | Inf | unknown
44.02/44.24 c 44.2s| 41400 | 36565 |297987 | 7.2 | 73M | 120 | 700 |2048 | 367 |5863 | 1 | 28k| 9 | 0.000000e+00 | -- | Inf | unknown
44.12/44.35 c 44.3s| 41500 | 36641 |298643 | 7.2 | 74M | 120 | 700 |2005 | 361 |5878 | 1 | 28k| 9 | 0.000000e+00 | -- | Inf | unknown
44.22/44.46 c 44.5s| 41600 | 36732 |299362 | 7.2 | 74M | 120 | 700 |1955 | 361 |5878 | 1 | 28k| 9 | 0.000000e+00 | -- | Inf | unknown
44.32/44.53 c 44.5s| 41700 | 36816 |299821 | 7.2 | 74M | 120 | 700 |1951 | 362 |5878 | 1 | 28k| 9 | 0.000000e+00 | -- | Inf | unknown
44.42/44.64 c 44.6s| 41800 | 36880 |300708 | 7.2 | 74M | 120 | 700 |1950 | 366 |5927 | 1 | 28k| 9 | 0.000000e+00 | -- | Inf | unknown
44.52/44.77 c 44.8s| 41900 | 36977 |301765 | 7.2 | 75M | 120 | 700 |1852 | 353 |5956 | 1 | 28k| 9 | 0.000000e+00 | -- | Inf | unknown
44.62/44.86 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
44.62/44.86 c 44.9s| 42000 | 37069 |302372 | 7.2 | 75M | 120 | 700 |1793 | 359 |5985 | 1 | 28k| 9 | 0.000000e+00 | -- | Inf | unknown
44.72/44.92 c 44.9s| 42100 | 37137 |302823 | 7.2 | 75M | 120 | 700 |1805 | 364 |5987 | 1 | 28k| 9 | 0.000000e+00 | -- | Inf | unknown
44.72/44.99 c 45.0s| 42200 | 37222 |303356 | 7.2 | 75M | 120 | 700 |1844 | 364 |5987 | 1 | 28k| 9 | 0.000000e+00 | -- | Inf | unknown
44.82/45.08 c 45.1s| 42300 | 37319 |304168 | 7.2 | 75M | 120 | 700 |1771 | 355 |6015 | 1 | 28k| 9 | 0.000000e+00 | -- | Inf | unknown
44.92/45.19 c 45.2s| 42400 | 37419 |304851 | 7.2 | 75M | 120 | 700 |1748 | 361 |6064 | 1 | 28k| 9 | 0.000000e+00 | -- | Inf | unknown
45.02/45.27 c 45.3s| 42500 | 37517 |305475 | 7.2 | 75M | 120 | 700 |1724 | 359 |6079 | 1 | 28k| 9 | 0.000000e+00 | -- | Inf | unknown
45.12/45.36 c 45.4s| 42600 | 37567 |305930 | 7.2 | 75M | 120 | 700 |1722 | 359 |6088 | 1 | 28k| 9 | 0.000000e+00 | -- | Inf | unknown
45.22/45.43 c 45.4s| 42700 | 37649 |306332 | 7.2 | 75M | 120 | 700 |1727 | 361 |6088 | 1 | 28k| 9 | 0.000000e+00 | -- | Inf | unknown
45.32/45.52 c 45.5s| 42800 | 37733 |307003 | 7.2 | 75M | 120 | 700 |1719 | 0 |6113 | 0 | 29k| 9 | 0.000000e+00 | -- | Inf | unknown
45.42/45.60 c 45.6s| 42900 | 37820 |307516 | 7.1 | 75M | 120 | 700 |1723 | 363 |6130 | 1 | 29k| 9 | 0.000000e+00 | -- | Inf | unknown
45.52/45.71 c 45.7s| 43000 | 37920 |308182 | 7.1 | 75M | 120 | 700 |1703 | 362 |6141 | 1 | 29k| 9 | 0.000000e+00 | -- | Inf | unknown
45.62/45.80 c 45.8s| 43100 | 38020 |308826 | 7.1 | 75M | 120 | 700 |1741 | 360 |6143 | 1 | 29k| 9 | 0.000000e+00 | -- | Inf | unknown
45.62/45.88 c 45.9s| 43200 | 38102 |309341 | 7.1 | 75M | 120 | 700 |1783 | 359 |6150 | 1 | 29k| 9 | 0.000000e+00 | -- | Inf | unknown
45.72/45.96 c 46.0s| 43300 | 38171 |309740 | 7.1 | 75M | 120 | 700 |1797 | 358 |6150 | 1 | 29k| 9 | 0.000000e+00 | -- | Inf | unknown
45.82/46.08 c 46.1s| 43400 | 38254 |310984 | 7.1 | 75M | 120 | 700 |1763 | 359 |6163 | 1 | 29k| 9 | 0.000000e+00 | -- | Inf | unknown
45.92/46.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
45.92/46.19 c 46.2s| 43500 | 38331 |312028 | 7.2 | 75M | 120 | 700 |1693 | 353 |6180 | 1 | 29k| 9 | 0.000000e+00 | -- | Inf | unknown
46.01/46.27 c 46.3s| 43600 | 38425 |312673 | 7.1 | 75M | 120 | 700 |1688 | 363 |6190 | 1 | 29k| 9 | 0.000000e+00 | -- | Inf | unknown
46.11/46.38 c 46.4s| 43700 | 38525 |313377 | 7.1 | 76M | 120 | 700 |1679 | 363 |6190 | 1 | 29k| 9 | 0.000000e+00 | -- | Inf | unknown
46.21/46.49 c 46.5s| 43800 | 38623 |314149 | 7.1 | 76M | 120 | 700 |1649 | 355 |6213 | 1 | 29k| 9 | 0.000000e+00 | -- | Inf | unknown
46.31/46.58 c 46.6s| 43900 | 38723 |314818 | 7.1 | 76M | 120 | 700 |1636 | 354 |6270 | 1 | 29k| 9 | 0.000000e+00 | -- | Inf | unknown
46.41/46.69 c 46.7s| 44000 | 38821 |315493 | 7.1 | 76M | 120 | 700 |1633 | 362 |6309 | 1 | 29k| 9 | 0.000000e+00 | -- | Inf | unknown
46.61/46.80 c 46.8s| 44100 | 38921 |316335 | 7.2 | 76M | 120 | 700 |1626 | 361 |6309 | 1 | 29k| 9 | 0.000000e+00 | -- | Inf | unknown
46.71/46.90 c 46.9s| 44200 | 39021 |317019 | 7.2 | 77M | 120 | 700 |1604 | 361 |6309 | 1 | 29k| 9 | 0.000000e+00 | -- | Inf | unknown
46.82/47.01 c 47.0s| 44300 | 39121 |317753 | 7.2 | 77M | 120 | 700 |1554 | 362 |6309 | 1 | 29k| 9 | 0.000000e+00 | -- | Inf | unknown
46.92/47.11 c 47.1s| 44400 | 39204 |318441 | 7.2 | 77M | 120 | 700 |1595 | 367 |6309 | 1 | 30k| 9 | 0.000000e+00 | -- | Inf | unknown
46.92/47.19 c 47.2s| 44500 | 39250 |319047 | 7.1 | 77M | 120 | 700 |1694 | 367 |6309 | 1 | 30k| 9 | 0.000000e+00 | -- | Inf | unknown
47.01/47.28 c 47.3s| 44600 | 39328 |319860 | 7.1 | 77M | 120 | 700 |1714 | 361 |6322 | 1 | 30k| 9 | 0.000000e+00 | -- | Inf | unknown
47.11/47.38 c 47.4s| 44700 | 39416 |320500 | 7.1 | 77M | 120 | 700 |1717 | 360 |6330 | 1 | 30k| 9 | 0.000000e+00 | -- | Inf | unknown
47.21/47.49 c 47.5s| 44800 | 39516 |321159 | 7.1 | 77M | 120 | 700 |1714 | 359 |6335 | 1 | 30k| 9 | 0.000000e+00 | -- | Inf | unknown
47.31/47.58 c 47.6s| 44900 | 39610 |321740 | 7.1 | 77M | 120 | 700 |1709 | 362 |6363 | 1 | 30k| 9 | 0.000000e+00 | -- | Inf | unknown
47.41/47.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
47.41/47.68 c 47.7s| 45000 | 39708 |322470 | 7.1 | 77M | 120 | 700 |1719 | 362 |6382 | 1 | 30k| 9 | 0.000000e+00 | -- | Inf | unknown
47.51/47.78 c 47.8s| 45100 | 39808 |323335 | 7.1 | 77M | 120 | 700 |1730 | 362 |6386 | 1 | 30k| 9 | 0.000000e+00 | -- | Inf | unknown
47.61/47.88 c 47.9s| 45200 | 39908 |324073 | 7.1 | 77M | 120 | 700 |1724 | 363 |6402 | 1 | 30k| 9 | 0.000000e+00 | -- | Inf | unknown
47.71/47.95 c 47.9s| 45300 | 40000 |324641 | 7.1 | 77M | 120 | 700 |1723 | 362 |6412 | 1 | 30k| 9 | 0.000000e+00 | -- | Inf | unknown
47.81/48.04 c 48.0s| 45400 | 40077 |325158 | 7.1 | 77M | 120 | 700 |1841 | 361 |6412 | 1 | 30k| 9 | 0.000000e+00 | -- | Inf | unknown
47.91/48.13 c 48.1s| 45500 | 40171 |325791 | 7.1 | 77M | 120 | 700 |1809 | 363 |6420 | 1 | 30k| 9 | 0.000000e+00 | -- | Inf | unknown
48.01/48.21 c 48.2s| 45600 | 40271 |326362 | 7.1 | 77M | 120 | 700 |1778 | 363 |6425 | 1 | 30k| 9 | 0.000000e+00 | -- | Inf | unknown
48.01/48.28 c 48.3s| 45700 | 40367 |327057 | 7.1 | 77M | 120 | 700 |1780 | 363 |6425 | 1 | 30k| 9 | 0.000000e+00 | -- | Inf | unknown
48.11/48.37 c 48.4s| 45800 | 40458 |327709 | 7.1 | 77M | 120 | 700 |1821 | 363 |6425 | 1 | 30k| 9 | 0.000000e+00 | -- | Inf | unknown
48.21/48.45 c 48.4s| 45900 | 40535 |328217 | 7.1 | 77M | 120 | 700 |1859 | 357 |6425 | 1 | 31k| 9 | 0.000000e+00 | -- | Inf | unknown
48.31/48.57 c 48.6s| 46000 | 40631 |329160 | 7.1 | 77M | 120 | 700 |1810 | 359 |6446 | 1 | 31k| 9 | 0.000000e+00 | -- | Inf | unknown
48.41/48.68 c 48.7s| 46100 | 40723 |329996 | 7.1 | 77M | 120 | 700 |1812 | 366 |6446 | 1 | 31k| 9 | 0.000000e+00 | -- | Inf | unknown
48.51/48.74 c 48.7s| 46200 | 40789 |330443 | 7.1 | 77M | 120 | 700 |1854 | 366 |6446 | 1 | 31k| 9 | 0.000000e+00 | -- | Inf | unknown
48.60/48.82 c 48.8s| 46300 | 40870 |330925 | 7.1 | 77M | 120 | 700 |1948 | 361 |6446 | 1 | 31k| 9 | 0.000000e+00 | -- | Inf | unknown
48.70/48.91 c 48.9s| 46400 | 40945 |331529 | 7.1 | 77M | 120 | 700 |1957 | 357 |6462 | 1 | 31k| 9 | 0.000000e+00 | -- | Inf | unknown
48.81/49.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
48.81/49.01 c 49.0s| 46500 | 41025 |332287 | 7.1 | 77M | 120 | 700 |1961 | 367 |6464 | 1 | 31k| 9 | 0.000000e+00 | -- | Inf | unknown
48.91/49.11 c 49.1s| 46600 | 41117 |332954 | 7.1 | 77M | 120 | 700 |1954 | 367 |6464 | 1 | 31k| 9 | 0.000000e+00 | -- | Inf | unknown
49.00/49.20 c 49.2s| 46700 | 41213 |333580 | 7.1 | 77M | 120 | 700 |1914 | 357 |6472 | 1 | 31k| 9 | 0.000000e+00 | -- | Inf | unknown
49.00/49.29 c 49.3s| 46800 | 41313 |334468 | 7.1 | 77M | 120 | 700 |1918 | 362 |6493 | 1 | 31k| 9 | 0.000000e+00 | -- | Inf | unknown
49.10/49.37 c 49.4s| 46900 | 41412 |334982 | 7.1 | 77M | 120 | 700 |1877 | 367 |6497 | 1 | 31k| 9 | 0.000000e+00 | -- | Inf | unknown
49.20/49.44 c 49.4s| 47000 | 41508 |335544 | 7.1 | 78M | 120 | 700 |1888 | 361 |6502 | 1 | 31k| 9 | 0.000000e+00 | -- | Inf | unknown
49.30/49.54 c 49.5s| 47100 | 41604 |336241 | 7.1 | 79M | 120 | 700 |1842 | 358 |6517 | 1 | 31k| 9 | 0.000000e+00 | -- | Inf | unknown
49.40/49.63 c 49.6s| 47200 | 41690 |336861 | 7.1 | 79M | 120 | 700 |1788 | 366 |6561 | 1 | 31k| 9 | 0.000000e+00 | -- | Inf | unknown
49.50/49.74 c 49.7s| 47300 | 41790 |337928 | 7.1 | 79M | 120 | 700 |1732 | 364 |6611 | 1 | 31k| 9 | 0.000000e+00 | -- | Inf | unknown
49.60/49.84 c 49.8s| 47400 | 41890 |338738 | 7.1 | 79M | 120 | 700 |1699 | 365 |6668 | 1 | 31k| 9 | 0.000000e+00 | -- | Inf | unknown
49.70/49.95 c 49.9s| 47500 | 41986 |339561 | 7.1 | 79M | 120 | 700 |1688 | 0 |6701 | 0 | 32k| 9 | 0.000000e+00 | -- | Inf | unknown
49.81/50.05 c 50.0s| 47600 | 42066 |340224 | 7.1 | 80M | 120 | 700 |1644 | 362 |6720 | 1 | 32k| 9 | 0.000000e+00 | -- | Inf | unknown
49.91/50.13 c 50.1s| 47700 | 42160 |340797 | 7.1 | 80M | 120 | 700 |1601 | 363 |6720 | 1 | 32k| 9 | 0.000000e+00 | -- | Inf | unknown
50.00/50.20 c 50.2s| 47800 | 42228 |341218 | 7.1 | 80M | 120 | 700 |1662 | 362 |6720 | 1 | 32k| 9 | 0.000000e+00 | -- | Inf | unknown
50.00/50.27 c 50.3s| 47900 | 42295 |341562 | 7.1 | 80M | 120 | 700 |1693 | 361 |6720 | 1 | 32k| 9 | 0.000000e+00 | -- | Inf | unknown
50.10/50.35 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
50.10/50.35 c 50.3s| 48000 | 42360 |342083 | 7.1 | 81M | 120 | 700 |1701 | 361 |6727 | 1 | 32k| 9 | 0.000000e+00 | -- | Inf | unknown
50.20/50.42 c 50.4s| 48100 | 42425 |342477 | 7.1 | 81M | 120 | 700 |1686 | 362 |6727 | 1 | 32k| 9 | 0.000000e+00 | -- | Inf | unknown
50.20/50.49 c 50.5s| 48200 | 42488 |343018 | 7.1 | 81M | 120 | 700 |1738 | 0 |6727 | 0 | 32k| 9 | 0.000000e+00 | -- | Inf | unknown
50.40/50.62 c 50.6s| 48300 | 42575 |343850 | 7.1 | 81M | 120 | 700 |1733 | 359 |6777 | 1 | 32k| 9 | 0.000000e+00 | -- | Inf | unknown
50.40/50.68 c 50.7s| 48400 | 42634 |344330 | 7.1 | 81M | 120 | 700 |1784 | 363 |6788 | 1 | 32k| 9 | 0.000000e+00 | -- | Inf | unknown
50.50/50.76 c 50.8s| 48500 | 42730 |344999 | 7.1 | 82M | 120 | 700 |1780 | 364 |6794 | 1 | 32k| 9 | 0.000000e+00 | -- | Inf | unknown
50.60/50.85 c 50.8s| 48600 | 42799 |345663 | 7.1 | 82M | 120 | 700 |1819 | 364 |6794 | 1 | 32k| 9 | 0.000000e+00 | -- | Inf | unknown
50.70/50.91 c 50.9s| 48700 | 42869 |346217 | 7.1 | 82M | 120 | 700 |1854 | 364 |6797 | 1 | 32k| 9 | 0.000000e+00 | -- | Inf | unknown
50.70/51.00 c 51.0s| 48800 | 42947 |346947 | 7.1 | 82M | 120 | 700 |1890 | 357 |6803 | 1 | 33k| 9 | 0.000000e+00 | -- | Inf | unknown
50.90/51.12 c 51.1s| 48900 | 43047 |347995 | 7.1 | 82M | 120 | 700 |1878 | 360 |6818 | 1 | 33k| 9 | 0.000000e+00 | -- | Inf | unknown
50.99/51.24 c 51.2s| 49000 | 43147 |348856 | 7.1 | 82M | 120 | 700 |1828 | 362 |6861 | 1 | 33k| 9 | 0.000000e+00 | -- | Inf | unknown
51.09/51.36 c 51.4s| 49100 | 43247 |349677 | 7.1 | 83M | 120 | 700 |1792 | 365 |6900 | 1 | 33k| 9 | 0.000000e+00 | -- | Inf | unknown
51.19/51.45 c 51.4s| 49200 | 43345 |350264 | 7.1 | 83M | 120 | 700 |1715 | 361 |6909 | 1 | 33k| 9 | 0.000000e+00 | -- | Inf | unknown
51.29/51.54 c 51.5s| 49300 | 43441 |351022 | 7.1 | 83M | 120 | 700 |1694 | 361 |6909 | 1 | 33k| 9 | 0.000000e+00 | -- | Inf | unknown
51.39/51.62 c 51.6s| 49400 | 43537 |351555 | 7.1 | 83M | 120 | 700 |1680 | 0 |6909 | 0 | 33k| 9 | 0.000000e+00 | -- | Inf | unknown
51.49/51.70 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
51.49/51.70 c 51.7s| 49500 | 43627 |352070 | 7.1 | 83M | 120 | 700 |1678 | 371 |6909 | 1 | 33k| 9 | 0.000000e+00 | -- | Inf | unknown
51.59/51.82 c 51.8s| 49600 | 43725 |352993 | 7.1 | 83M | 120 | 700 |1649 | 353 |6911 | 1 | 33k| 9 | 0.000000e+00 | -- | Inf | unknown
51.69/51.90 c 51.9s| 49700 | 43782 |353444 | 7.1 | 83M | 120 | 700 |1638 | 353 |6916 | 1 | 33k| 9 | 0.000000e+00 | -- | Inf | unknown
51.80/52.02 c 52.0s| 49800 | 43880 |354458 | 7.1 | 83M | 120 | 700 |1598 | 363 |6956 | 1 | 33k| 9 | 0.000000e+00 | -- | Inf | unknown
51.90/52.10 c 52.1s| 49900 | 43980 |355016 | 7.1 | 83M | 120 | 700 |1601 | 362 |6956 | 1 | 33k| 9 | 0.000000e+00 | -- | Inf | unknown
51.90/52.19 c 52.2s| 50000 | 44076 |355560 | 7.1 | 83M | 120 | 700 |1528 | 361 |6963 | 1 | 33k| 9 | 0.000000e+00 | -- | Inf | unknown
52.10/52.32 c 52.3s| 50100 | 44172 |356501 | 7.1 | 83M | 120 | 700 |1490 | 364 |7004 | 1 | 33k| 9 | 0.000000e+00 | -- | Inf | unknown
52.20/52.42 c 52.4s| 50200 | 44272 |357245 | 7.1 | 83M | 120 | 700 |1494 | 361 |7023 | 1 | 33k| 9 | 0.000000e+00 | -- | Inf | unknown
52.30/52.52 c 52.5s| 50300 | 44370 |357943 | 7.1 | 83M | 120 | 700 |1552 | 365 |7060 | 1 | 33k| 9 | 0.000000e+00 | -- | Inf | unknown
52.40/52.64 c 52.6s| 50400 | 44470 |358764 | 7.1 | 83M | 120 | 700 |1544 | 361 |7090 | 1 | 33k| 9 | 0.000000e+00 | -- | Inf | unknown
52.50/52.73 c 52.7s| 50500 | 44570 |359260 | 7.1 | 83M | 120 | 700 |1525 | 361 |7090 | 1 | 33k| 9 | 0.000000e+00 | -- | Inf | unknown
52.60/52.83 c 52.8s| 50600 | 44654 |359982 | 7.1 | 83M | 120 | 700 |1536 | 361 |7090 | 1 | 33k| 9 | 0.000000e+00 | -- | Inf | unknown
52.69/52.90 c 52.9s| 50700 | 44739 |360538 | 7.1 | 83M | 120 | 700 |1574 | 359 |7090 | 1 | 34k| 9 | 0.000000e+00 | -- | Inf | unknown
52.69/52.98 c 53.0s| 50800 | 44831 |361040 | 7.1 | 83M | 120 | 700 |1608 | 359 |7090 | 1 | 34k| 9 | 0.000000e+00 | -- | Inf | unknown
52.80/53.05 c 53.0s| 50900 | 44923 |361565 | 7.1 | 83M | 120 | 700 |1641 | 359 |7090 | 1 | 34k| 9 | 0.000000e+00 | -- | Inf | unknown
52.90/53.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
52.90/53.17 c 53.2s| 51000 | 45017 |362600 | 7.1 | 83M | 120 | 700 |1692 | 354 |7108 | 1 | 34k| 9 | 0.000000e+00 | -- | Inf | unknown
52.99/53.25 c 53.2s| 51100 | 45117 |363222 | 7.1 | 83M | 120 | 700 |1713 | 359 |7119 | 1 | 34k| 9 | 0.000000e+00 | -- | Inf | unknown
53.09/53.32 c 53.3s| 51200 | 45213 |363797 | 7.1 | 83M | 120 | 700 |1708 | 359 |7119 | 1 | 34k| 9 | 0.000000e+00 | -- | Inf | unknown
53.19/53.41 c 53.4s| 51300 | 45313 |364322 | 7.1 | 83M | 120 | 700 |1717 | 359 |7122 | 1 | 34k| 9 | 0.000000e+00 | -- | Inf | unknown
53.19/53.49 c 53.5s| 51400 | 45411 |364894 | 7.1 | 83M | 120 | 700 |1735 | 359 |7125 | 1 | 34k| 9 | 0.000000e+00 | -- | Inf | unknown
53.29/53.59 c 53.6s| 51500 | 45492 |365668 | 7.1 | 83M | 120 | 700 |1723 | 359 |7138 | 1 | 34k| 9 | 0.000000e+00 | -- | Inf | unknown
53.39/53.67 c 53.7s| 51600 | 45588 |366256 | 7.1 | 83M | 120 | 700 |1726 | 361 |7147 | 1 | 34k| 9 | 0.000000e+00 | -- | Inf | unknown
53.49/53.75 c 53.7s| 51700 | 45670 |366779 | 7.1 | 84M | 120 | 700 |1729 | 361 |7150 | 1 | 34k| 9 | 0.000000e+00 | -- | Inf | unknown
53.59/53.82 c 53.8s| 51800 | 45740 |367395 | 7.1 | 84M | 120 | 700 |1780 | 0 |7150 | 0 | 34k| 9 | 0.000000e+00 | -- | Inf | unknown
53.69/53.90 c 53.9s| 51900 | 45829 |368025 | 7.1 | 84M | 120 | 700 |1784 | 361 |7150 | 1 | 34k| 9 | 0.000000e+00 | -- | Inf | unknown
53.69/53.97 c 54.0s| 52000 | 45918 |368646 | 7.1 | 84M | 120 | 700 |1801 | 361 |7150 | 1 | 34k| 9 | 0.000000e+00 | -- | Inf | unknown
53.80/54.06 c 54.1s| 52100 | 46004 |369358 | 7.1 | 84M | 120 | 700 |1834 | 361 |7150 | 1 | 34k| 9 | 0.000000e+00 | -- | Inf | unknown
53.90/54.14 c 54.1s| 52200 | 46076 |369828 | 7.1 | 84M | 120 | 700 |1805 | 357 |7150 | 1 | 34k| 9 | 0.000000e+00 | -- | Inf | unknown
53.99/54.23 c 54.2s| 52300 | 46174 |370560 | 7.1 | 84M | 120 | 700 |1799 | 361 |7153 | 1 | 34k| 9 | 0.000000e+00 | -- | Inf | unknown
54.09/54.30 c 54.3s| 52400 | 46259 |371143 | 7.1 | 84M | 120 | 700 |1778 | 361 |7153 | 1 | 34k| 9 | 0.000000e+00 | -- | Inf | unknown
54.09/54.38 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
54.09/54.38 c 54.4s| 52500 | 46357 |371875 | 7.1 | 84M | 120 | 700 |1801 | 361 |7153 | 1 | 34k| 9 | 0.000000e+00 | -- | Inf | unknown
54.29/54.51 c 54.5s| 52600 | 46448 |372939 | 7.1 | 85M | 120 | 700 |1792 | 365 |7195 | 1 | 34k| 9 | 0.000000e+00 | -- | Inf | unknown
54.39/54.60 c 54.6s| 52700 | 46548 |373625 | 7.1 | 85M | 120 | 700 |1730 | 367 |7202 | 1 | 35k| 9 | 0.000000e+00 | -- | Inf | unknown
54.39/54.69 c 54.7s| 52800 | 46646 |374318 | 7.1 | 85M | 120 | 700 |1726 | 367 |7202 | 1 | 35k| 9 | 0.000000e+00 | -- | Inf | unknown
54.49/54.76 c 54.8s| 52900 | 46740 |374893 | 7.1 | 85M | 120 | 700 |1713 | 363 |7202 | 1 | 35k| 9 | 0.000000e+00 | -- | Inf | unknown
54.59/54.85 c 54.8s| 53000 | 46840 |375488 | 7.1 | 85M | 120 | 700 |1713 | 363 |7205 | 1 | 35k| 9 | 0.000000e+00 | -- | Inf | unknown
54.69/54.95 c 54.9s| 53100 | 46928 |376165 | 7.1 | 85M | 120 | 700 |1742 | 363 |7205 | 1 | 35k| 9 | 0.000000e+00 | -- | Inf | unknown
54.79/55.04 c 55.0s| 53200 | 47012 |376830 | 7.1 | 85M | 120 | 700 |1752 | 361 |7205 | 1 | 35k| 9 | 0.000000e+00 | -- | Inf | unknown
54.89/55.12 c 55.1s| 53300 | 47110 |377589 | 7.1 | 85M | 120 | 700 |1748 | 362 |7210 | 2 | 35k| 9 | 0.000000e+00 | -- | Inf | unknown
54.99/55.20 c 55.2s| 53400 | 47210 |378153 | 7.1 | 86M | 120 | 700 |1739 | 363 |7213 | 1 | 35k| 9 | 0.000000e+00 | -- | Inf | unknown
54.99/55.26 c 55.3s| 53500 | 47290 |378728 | 7.1 | 86M | 120 | 700 |1764 | 363 |7213 | 1 | 35k| 9 | 0.000000e+00 | -- | Inf | unknown
55.09/55.34 c 55.3s| 53600 | 47362 |379325 | 7.1 | 86M | 120 | 700 |1815 | 363 |7213 | 1 | 35k| 9 | 0.000000e+00 | -- | Inf | unknown
55.19/55.42 c 55.4s| 53700 | 47413 |379760 | 7.1 | 86M | 120 | 700 |1870 | 363 |7213 | 1 | 35k| 9 | 0.000000e+00 | -- | Inf | unknown
55.19/55.47 c 55.5s| 53800 | 47492 |380252 | 7.0 | 86M | 120 | 700 |1865 | 363 |7213 | 0 | 35k| 9 | 0.000000e+00 | -- | Inf | unknown
55.29/55.53 c 55.5s| 53900 | 47550 |380694 | 7.0 | 86M | 120 | 700 |1888 | 363 |7213 | 1 | 35k| 9 | 0.000000e+00 | -- | Inf | unknown
55.39/55.61 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
55.39/55.61 c 55.6s| 54000 | 47603 |381219 | 7.0 | 86M | 120 | 700 |1871 | 363 |7213 | 1 | 35k| 9 | 0.000000e+00 | -- | Inf | unknown
55.48/55.73 c 55.7s| 54100 | 47696 |382409 | 7.1 | 86M | 120 | 700 |1765 | 362 |7244 | 1 | 35k| 9 | 0.000000e+00 | -- | Inf | unknown
55.58/55.82 c 55.8s| 54200 | 47776 |383129 | 7.1 | 86M | 120 | 700 |1778 | 359 |7268 | 1 | 35k| 9 | 0.000000e+00 | -- | Inf | unknown
55.68/55.93 c 55.9s| 54300 | 47870 |383887 | 7.1 | 86M | 120 | 700 |1717 | 364 |7272 | 1 | 35k| 9 | 0.000000e+00 | -- | Inf | unknown
55.68/56.00 c 56.0s| 54400 | 47955 |384484 | 7.0 | 86M | 120 | 700 |1743 | 364 |7272 | 1 | 35k| 9 | 0.000000e+00 | -- | Inf | unknown
55.79/56.08 c 56.1s| 54500 | 48005 |384977 | 7.0 | 86M | 120 | 700 |1796 | 371 |7285 | 3 | 35k| 9 | 0.000000e+00 | -- | Inf | unknown
55.98/56.20 c 56.2s| 54600 | 48092 |386237 | 7.1 | 86M | 120 | 700 |1802 | 361 |7300 | 1 | 35k| 9 | 0.000000e+00 | -- | Inf | unknown
55.98/56.27 c 56.3s| 54700 | 48172 |386691 | 7.1 | 86M | 120 | 700 |1819 | 361 |7300 | 1 | 36k| 9 | 0.000000e+00 | -- | Inf | unknown
56.08/56.32 c 56.3s| 54800 | 48228 |387055 | 7.0 | 86M | 120 | 700 |1839 | 361 |7300 | 1 | 36k| 9 | 0.000000e+00 | -- | Inf | unknown
56.08/56.39 c 56.4s| 54900 | 48303 |387508 | 7.0 | 86M | 120 | 700 |1851 | 361 |7300 | 1 | 36k| 9 | 0.000000e+00 | -- | Inf | unknown
56.18/56.46 c 56.5s| 55000 | 48377 |387983 | 7.0 | 86M | 120 | 700 |1849 | 361 |7300 | 1 | 36k| 9 | 0.000000e+00 | -- | Inf | unknown
56.28/56.51 c 56.5s| 55100 | 48443 |388385 | 7.0 | 86M | 120 | 700 |1882 | 361 |7300 | 1 | 36k| 9 | 0.000000e+00 | -- | Inf | unknown
56.28/56.58 c 56.6s| 55200 | 48535 |388994 | 7.0 | 86M | 120 | 700 |1897 | 361 |7300 | 1 | 36k| 9 | 0.000000e+00 | -- | Inf | unknown
56.38/56.66 c 56.7s| 55300 | 48609 |389446 | 7.0 | 87M | 120 | 700 |1883 | 361 |7300 | 1 | 36k| 9 | 0.000000e+00 | -- | Inf | unknown
56.48/56.72 c 56.7s| 55400 | 48687 |389890 | 7.0 | 87M | 120 | 700 |1865 | 361 |7300 | 1 | 36k| 9 | 0.000000e+00 | -- | Inf | unknown
56.58/56.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
56.58/56.81 c 56.8s| 55500 | 48770 |390573 | 7.0 | 87M | 120 | 700 |1837 | 367 |7306 | 1 | 36k| 9 | 0.000000e+00 | -- | Inf | unknown
56.68/56.92 c 56.9s| 55600 | 48848 |391305 | 7.0 | 88M | 120 | 700 |1847 | 0 |7318 | 0 | 36k| 9 | 0.000000e+00 | -- | Inf | unknown
56.68/56.98 c 57.0s| 55700 | 48870 |391718 | 7.0 | 88M | 120 | 700 |1924 | 361 |7318 | 1 | 36k| 9 | 0.000000e+00 | -- | Inf | unknown
56.79/57.06 c 57.1s| 55800 | 48950 |392327 | 7.0 | 88M | 120 | 700 |1928 | 361 |7318 | 1 | 36k| 9 | 0.000000e+00 | -- | Inf | unknown
56.89/57.13 c 57.1s| 55900 | 49028 |392740 | 7.0 | 88M | 120 | 700 |1966 | 365 |7318 | 1 | 36k| 9 | 0.000000e+00 | -- | Inf | unknown
56.98/57.23 c 57.2s| 56000 | 49124 |393513 | 7.0 | 88M | 120 | 700 |1993 | 365 |7318 | 1 | 36k| 9 | 0.000000e+00 | -- | Inf | unknown
57.08/57.31 c 57.3s| 56100 | 49214 |394101 | 7.0 | 88M | 120 | 700 |2004 | 365 |7318 | 1 | 36k| 9 | 0.000000e+00 | -- | Inf | unknown
57.18/57.42 c 57.4s| 56200 | 49312 |394858 | 7.0 | 88M | 120 | 700 |1972 | 361 |7318 | 1 | 36k| 9 | 0.000000e+00 | -- | Inf | unknown
57.28/57.50 c 57.5s| 56300 | 49398 |395424 | 7.0 | 88M | 120 | 700 |1997 | 361 |7318 | 1 | 36k| 9 | 0.000000e+00 | -- | Inf | unknown
57.28/57.59 c 57.6s| 56400 | 49484 |395982 | 7.0 | 88M | 120 | 700 |2015 | 361 |7318 | 1 | 36k| 9 | 0.000000e+00 | -- | Inf | unknown
57.38/57.67 c 57.7s| 56500 | 49570 |396469 | 7.0 | 89M | 120 | 700 |2023 | 356 |7318 | 1 | 37k| 9 | 0.000000e+00 | -- | Inf | unknown
57.48/57.74 c 57.7s| 56600 | 49654 |396925 | 7.0 | 89M | 120 | 700 |2098 | 356 |7318 | 1 | 37k| 9 | 0.000000e+00 | -- | Inf | unknown
57.58/57.82 c 57.8s| 56700 | 49731 |397581 | 7.0 | 89M | 120 | 700 |2123 | 363 |7318 | 1 | 37k| 9 | 0.000000e+00 | -- | Inf | unknown
57.68/57.92 c 57.9s| 56800 | 49831 |398354 | 7.0 | 89M | 120 | 700 |2079 | 356 |7327 | 1 | 37k| 9 | 0.000000e+00 | -- | Inf | unknown
57.68/57.99 c 58.0s| 56900 | 49914 |398892 | 7.0 | 89M | 120 | 700 |2093 | 359 |7327 | 1 | 37k| 9 | 0.000000e+00 | -- | Inf | unknown
57.78/58.05 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
57.78/58.05 c 58.0s| 57000 | 50000 |399395 | 7.0 | 90M | 120 | 700 |2083 | 359 |7327 | 1 | 37k| 9 | 0.000000e+00 | -- | Inf | unknown
57.88/58.13 c 58.1s| 57100 | 50088 |399888 | 7.0 | 90M | 120 | 700 |2053 | 359 |7327 | 1 | 37k| 9 | 0.000000e+00 | -- | Inf | unknown
57.98/58.20 c 58.2s| 57200 | 50166 |400589 | 7.0 | 90M | 120 | 700 |2056 | 0 |7327 | 0 | 37k| 9 | 0.000000e+00 | -- | Inf | unknown
58.07/58.30 c 58.3s| 57300 | 50266 |401405 | 7.0 | 90M | 120 | 700 |1974 | 356 |7340 | 1 | 37k| 9 | 0.000000e+00 | -- | Inf | unknown
58.07/58.39 c 58.4s| 57400 | 50358 |401939 | 7.0 | 90M | 120 | 700 |1947 | 356 |7340 | 1 | 37k| 9 | 0.000000e+00 | -- | Inf | unknown
58.27/58.50 c 58.5s| 57500 | 50432 |402820 | 7.0 | 90M | 120 | 700 |1900 | 359 |7348 | 1 | 37k| 9 | 0.000000e+00 | -- | Inf | unknown
58.27/58.57 c 58.6s| 57600 | 50509 |403290 | 7.0 | 90M | 120 | 700 |1875 | 364 |7348 | 1 | 37k| 9 | 0.000000e+00 | -- | Inf | unknown
58.37/58.66 c 58.7s| 57700 | 50609 |403812 | 7.0 | 90M | 120 | 700 |1855 | 364 |7348 | 1 | 37k| 9 | 0.000000e+00 | -- | Inf | unknown
58.47/58.76 c 58.8s| 57800 | 50687 |404562 | 7.0 | 90M | 120 | 700 |1891 | 364 |7348 | 1 | 37k| 9 | 0.000000e+00 | -- | Inf | unknown
58.57/58.85 c 58.8s| 57900 | 50767 |405150 | 7.0 | 90M | 120 | 700 |1896 | 357 |7351 | 1 | 37k| 9 | 0.000000e+00 | -- | Inf | unknown
58.67/58.92 c 58.9s| 58000 | 50859 |405608 | 7.0 | 90M | 120 | 700 |1966 | 357 |7353 | 1 | 37k| 9 | 0.000000e+00 | -- | Inf | unknown
58.67/59.00 c 59.0s| 58100 | 50942 |406067 | 7.0 | 90M | 120 | 700 |2054 | 359 |7353 | 1 | 38k| 9 | 0.000000e+00 | -- | Inf | unknown
58.78/59.09 c 59.1s| 58200 | 51016 |406604 | 7.0 | 90M | 120 | 700 |2020 | 359 |7353 | 1 | 38k| 9 | 0.000000e+00 | -- | Inf | unknown
58.88/59.15 c 59.1s| 58300 | 51069 |407003 | 7.0 | 91M | 120 | 700 |2039 | 367 |7353 | 1 | 38k| 9 | 0.000000e+00 | -- | Inf | unknown
58.97/59.25 c 59.2s| 58400 | 51148 |407923 | 7.0 | 91M | 120 | 700 |1991 | 362 |7362 | 1 | 38k| 9 | 0.000000e+00 | -- | Inf | unknown
59.07/59.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
59.07/59.37 c 59.4s| 58500 | 51239 |408592 | 7.0 | 92M | 120 | 700 |1927 | 366 |7414 | 1 | 38k| 9 | 0.000000e+00 | -- | Inf | unknown
59.17/59.49 c 59.5s| 58600 | 51331 |409468 | 7.0 | 92M | 120 | 700 |1925 | 363 |7461 | 1 | 38k| 9 | 0.000000e+00 | -- | Inf | unknown
59.27/59.56 c 59.6s| 58700 | 51401 |410111 | 7.0 | 92M | 120 | 700 |1951 | 363 |7463 | 1 | 38k| 9 | 0.000000e+00 | -- | Inf | unknown
59.37/59.66 c 59.7s| 58800 | 51472 |410723 | 7.0 | 92M | 120 | 700 |1964 | 359 |7480 | 1 | 38k| 9 | 0.000000e+00 | -- | Inf | unknown
59.47/59.78 c 59.8s| 58900 | 51568 |411672 | 7.0 | 92M | 120 | 700 |1954 | 355 |7517 | 1 | 38k| 9 | 0.000000e+00 | -- | Inf | unknown
59.57/59.85 c 59.8s| 59000 | 51666 |412237 | 7.0 | 92M | 120 | 700 |1920 | 360 |7538 | 1 | 38k| 9 | 0.000000e+00 | -- | Inf | unknown
59.67/59.98 c 60.0s| 59100 | 51758 |413046 | 7.0 | 92M | 120 | 700 |1891 | 365 |7567 | 1 | 38k| 9 | 0.000000e+00 | -- | Inf | unknown
59.77/60.04 c 60.0s| 59200 | 51848 |413590 | 7.0 | 92M | 120 | 700 |1877 | 366 |7570 | 1 | 38k| 9 | 0.000000e+00 | -- | Inf | unknown
59.87/60.10 c 60.1s| 59300 | 51917 |414043 | 7.0 | 92M | 120 | 700 |1929 | 365 |7571 | 1 | 38k| 9 | 0.000000e+00 | -- | Inf | unknown
59.87/60.18 c 60.2s| 59400 | 52006 |414649 | 7.0 | 92M | 120 | 700 |1998 | 365 |7571 | 1 | 38k| 9 | 0.000000e+00 | -- | Inf | unknown
59.97/60.27 c 60.3s| 59500 | 52093 |415213 | 7.0 | 92M | 120 | 700 |2085 | 365 |7573 | 1 | 38k| 9 | 0.000000e+00 | -- | Inf | unknown
60.07/60.34 c 60.3s| 59600 | 52163 |415782 | 7.0 | 92M | 120 | 700 |2166 | 357 |7573 | 1 | 39k| 9 | 0.000000e+00 | -- | Inf | unknown
60.17/60.42 c 60.4s| 59700 | 52261 |416436 | 7.0 | 92M | 120 | 700 |2121 | 358 |7579 | 1 | 39k| 9 | 0.000000e+00 | -- | Inf | unknown
60.17/60.49 c 60.5s| 59800 | 52357 |416931 | 7.0 | 92M | 120 | 700 |2101 | 358 |7579 | 1 | 39k| 9 | 0.000000e+00 | -- | Inf | unknown
60.27/60.56 c 60.6s| 59900 | 52435 |417464 | 7.0 | 92M | 120 | 700 |2173 | 358 |7579 | 1 | 39k| 9 | 0.000000e+00 | -- | Inf | unknown
60.36/60.64 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
60.36/60.64 c 60.6s| 60000 | 52528 |418236 | 7.0 | 92M | 120 | 700 |2167 | 358 |7579 | 1 | 39k| 9 | 0.000000e+00 | -- | Inf | unknown
60.46/60.70 c 60.7s| 60100 | 52612 |418728 | 7.0 | 92M | 120 | 700 |2184 | 358 |7579 | 1 | 39k| 9 | 0.000000e+00 | -- | Inf | unknown
60.46/60.78 c 60.8s| 60200 | 52681 |419428 | 7.0 | 92M | 120 | 700 |2216 | 359 |7588 | 1 | 39k| 9 | 0.000000e+00 | -- | Inf | unknown
60.56/60.88 c 60.9s| 60300 | 52781 |420266 | 7.0 | 92M | 120 | 700 |2149 | 359 |7598 | 1 | 39k| 9 | 0.000000e+00 | -- | Inf | unknown
60.66/60.97 c 61.0s| 60400 | 52877 |420953 | 7.0 | 92M | 120 | 700 |2152 | 363 |7598 | 1 | 39k| 9 | 0.000000e+00 | -- | Inf | unknown
60.77/61.04 c 61.0s| 60500 | 52956 |421500 | 7.0 | 93M | 120 | 700 |2200 | 366 |7598 | 1 | 39k| 9 | 0.000000e+00 | -- | Inf | unknown
60.87/61.14 c 61.1s| 60600 | 53026 |422211 | 7.0 | 93M | 120 | 700 |2210 | 366 |7601 | 1 | 39k| 9 | 0.000000e+00 | -- | Inf | unknown
60.96/61.24 c 61.2s| 60700 | 53114 |422874 | 7.0 | 93M | 120 | 700 |2129 | 360 |7603 | 1 | 39k| 9 | 0.000000e+00 | -- | Inf | unknown
61.06/61.30 c 61.3s| 60800 | 53206 |423308 | 6.9 | 93M | 120 | 700 |2120 | 362 |7611 | 1 | 39k| 9 | 0.000000e+00 | -- | Inf | unknown
61.16/61.40 c 61.4s| 60900 | 53302 |424003 | 6.9 | 93M | 120 | 700 |2109 | 362 |7611 | 1 | 39k| 9 | 0.000000e+00 | -- | Inf | unknown
61.26/61.53 c 61.5s| 61000 | 53398 |424803 | 6.9 | 93M | 120 | 700 |2111 | 362 |7620 | 1 | 39k| 9 | 0.000000e+00 | -- | Inf | unknown
61.36/61.66 c 61.7s| 61100 | 53498 |425726 | 7.0 | 93M | 120 | 700 |2042 | 361 |7634 | 1 | 40k| 9 | 0.000000e+00 | -- | Inf | unknown
61.46/61.75 c 61.7s| 61200 | 53598 |426474 | 7.0 | 93M | 120 | 700 |2036 | 361 |7634 | 1 | 40k| 9 | 0.000000e+00 | -- | Inf | unknown
61.56/61.83 c 61.8s| 61300 | 53696 |427117 | 7.0 | 93M | 120 | 700 |2051 | 361 |7634 | 1 | 40k| 9 | 0.000000e+00 | -- | Inf | unknown
61.66/61.92 c 61.9s| 61400 | 53796 |427759 | 7.0 | 93M | 120 | 700 |2083 | 361 |7634 | 1 | 40k| 9 | 0.000000e+00 | -- | Inf | unknown
61.76/62.02 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
61.76/62.02 c 62.0s| 61500 | 53896 |428327 | 6.9 | 93M | 120 | 700 |2056 | 357 |7649 | 1 | 40k| 9 | 0.000000e+00 | -- | Inf | unknown
61.86/62.10 c 62.1s| 61600 | 53994 |429048 | 6.9 | 94M | 120 | 700 |2006 | 358 |7668 | 1 | 40k| 9 | 0.000000e+00 | -- | Inf | unknown
61.86/62.18 c 62.2s| 61700 | 54076 |429597 | 6.9 | 94M | 120 | 700 |2040 | 358 |7671 | 1 | 40k| 9 | 0.000000e+00 | -- | Inf | unknown
61.96/62.28 c 62.3s| 61800 | 54167 |430485 | 6.9 | 94M | 120 | 700 |1981 | 363 |7677 | 0 | 40k| 9 | 0.000000e+00 | -- | Inf | unknown
62.06/62.38 c 62.4s| 61900 | 54265 |431287 | 7.0 | 94M | 120 | 700 |1967 | 363 |7677 | 1 | 40k| 9 | 0.000000e+00 | -- | Inf | unknown
62.16/62.47 c 62.5s| 62000 | 54357 |431871 | 6.9 | 94M | 120 | 700 |1923 | 361 |7684 | 1 | 40k| 9 | 0.000000e+00 | -- | Inf | unknown
62.25/62.54 c 62.5s| 62100 | 54425 |432424 | 6.9 | 94M | 120 | 700 |1977 | 0 |7684 | 0 | 40k| 9 | 0.000000e+00 | -- | Inf | unknown
62.35/62.61 c 62.6s| 62200 | 54501 |432930 | 6.9 | 94M | 120 | 700 |1920 | 361 |7694 | 1 | 40k| 9 | 0.000000e+00 | -- | Inf | unknown
62.35/62.69 c 62.7s| 62300 | 54584 |433527 | 6.9 | 94M | 120 | 700 |1935 | 361 |7694 | 1 | 40k| 9 | 0.000000e+00 | -- | Inf | unknown
62.45/62.75 c 62.7s| 62400 | 54658 |434022 | 6.9 | 94M | 120 | 700 |1965 | 361 |7694 | 1 | 40k| 9 | 0.000000e+00 | -- | Inf | unknown
62.55/62.80 c 62.8s| 62500 | 54734 |434377 | 6.9 | 94M | 120 | 700 |1984 | 361 |7694 | 1 | 40k| 9 | 0.000000e+00 | -- | Inf | unknown
62.55/62.87 c 62.9s| 62600 | 54815 |435055 | 6.9 | 95M | 120 | 700 |1981 | 361 |7703 | 1 | 40k| 9 | 0.000000e+00 | -- | Inf | unknown
62.65/62.93 c 62.9s| 62700 | 54891 |435536 | 6.9 | 95M | 120 | 700 |2033 | 361 |7703 | 1 | 40k| 9 | 0.000000e+00 | -- | Inf | unknown
62.65/62.99 c 63.0s| 62800 | 54978 |435931 | 6.9 | 95M | 120 | 700 |2080 | 361 |7703 | 1 | 40k| 9 | 0.000000e+00 | -- | Inf | unknown
62.76/63.06 c 63.1s| 62900 | 55064 |436323 | 6.9 | 95M | 120 | 700 |2145 | 0 |7703 | 0 | 41k| 9 | 0.000000e+00 | -- | Inf | unknown
62.86/63.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
62.86/63.12 c 63.1s| 63000 | 55147 |436804 | 6.9 | 95M | 120 | 700 |2169 | 361 |7703 | 1 | 41k| 9 | 0.000000e+00 | -- | Inf | unknown
62.86/63.19 c 63.2s| 63100 | 55212 |437265 | 6.9 | 95M | 120 | 700 |2188 | 362 |7703 | 1 | 41k| 9 | 0.000000e+00 | -- | Inf | unknown
62.95/63.27 c 63.3s| 63200 | 55300 |437873 | 6.9 | 95M | 120 | 700 |2210 | 362 |7703 | 1 | 41k| 9 | 0.000000e+00 | -- | Inf | unknown
63.05/63.33 c 63.3s| 63300 | 55373 |438232 | 6.9 | 95M | 120 | 700 |2256 | 362 |7703 | 1 | 41k| 9 | 0.000000e+00 | -- | Inf | unknown
63.15/63.43 c 63.4s| 63400 | 55437 |439040 | 6.9 | 95M | 120 | 700 |2147 | 358 |7724 | 1 | 41k| 9 | 0.000000e+00 | -- | Inf | unknown
63.25/63.53 c 63.5s| 63500 | 55537 |439813 | 6.9 | 95M | 120 | 700 |2083 | 358 |7740 | 1 | 41k| 9 | 0.000000e+00 | -- | Inf | unknown
63.35/63.61 c 63.6s| 63600 | 55627 |440326 | 6.9 | 95M | 120 | 700 |2058 | 362 |7759 | 1 | 41k| 9 | 0.000000e+00 | -- | Inf | unknown
63.35/63.69 c 63.7s| 63700 | 55711 |440929 | 6.9 | 95M | 120 | 700 |2084 | 362 |7759 | 1 | 41k| 9 | 0.000000e+00 | -- | Inf | unknown
63.45/63.76 c 63.8s| 63800 | 55787 |441464 | 6.9 | 96M | 120 | 700 |2139 | 362 |7759 | 1 | 41k| 9 | 0.000000e+00 | -- | Inf | unknown
63.55/63.83 c 63.8s| 63900 | 55878 |441966 | 6.9 | 96M | 120 | 700 |2150 | 359 |7759 | 1 | 41k| 9 | 0.000000e+00 | -- | Inf | unknown
63.65/63.92 c 63.9s| 64000 | 55956 |442658 | 6.9 | 96M | 120 | 700 |2146 | 364 |7773 | 1 | 41k| 9 | 0.000000e+00 | -- | Inf | unknown
63.75/64.02 c 64.0s| 64100 | 56046 |443343 | 6.9 | 96M | 120 | 700 |2095 | 366 |7777 | 1 | 41k| 9 | 0.000000e+00 | -- | Inf | unknown
63.85/64.12 c 64.1s| 64200 | 56124 |443950 | 6.9 | 96M | 120 | 700 |2105 | 366 |7777 | 1 | 41k| 9 | 0.000000e+00 | -- | Inf | unknown
63.85/64.19 c 64.2s| 64300 | 56188 |444472 | 6.9 | 96M | 120 | 700 |2166 | 366 |7777 | 1 | 41k| 9 | 0.000000e+00 | -- | Inf | unknown
63.95/64.26 c 64.3s| 64400 | 56268 |445046 | 6.9 | 96M | 120 | 700 |2197 | 366 |7777 | 1 | 41k| 9 | 0.000000e+00 | -- | Inf | unknown
64.05/64.34 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
64.05/64.34 c 64.3s| 64500 | 56332 |445544 | 6.9 | 96M | 120 | 700 |2227 | 361 |7777 | 1 | 42k| 9 | 0.000000e+00 | -- | Inf | unknown
64.15/64.41 c 64.4s| 64600 | 56412 |446152 | 6.9 | 99M | 120 | 700 |2220 | 361 |7777 | 1 | 42k| 9 | 0.000000e+00 | -- | Inf | unknown
64.15/64.49 c 64.5s| 64700 | 56490 |446729 | 6.9 | 99M | 120 | 700 |2229 | 361 |7777 | 1 | 42k| 9 | 0.000000e+00 | -- | Inf | unknown
64.25/64.56 c 64.6s| 64800 | 56561 |447279 | 6.9 | 99M | 120 | 700 |2282 | 361 |7777 | 1 | 42k| 9 | 0.000000e+00 | -- | Inf | unknown
64.35/64.64 c 64.6s| 64900 | 56650 |447854 | 6.9 | 99M | 120 | 700 |2191 | 350 |7786 | 1 | 42k| 9 | 0.000000e+00 | -- | Inf | unknown
64.44/64.75 c 64.7s| 65000 | 56750 |448897 | 6.9 | 100M | 120 | 700 |2155 | 360 |7801 | 1 | 42k| 9 | 0.000000e+00 | -- | Inf | unknown
64.54/64.82 c 64.8s| 65100 | 56840 |449452 | 6.9 | 100M | 120 | 700 |2155 | 359 |7801 | 1 | 42k| 9 | 0.000000e+00 | -- | Inf | unknown
64.64/64.90 c 64.9s| 65200 | 56921 |449908 | 6.9 | 100M | 120 | 700 |2185 | 359 |7801 | 1 | 42k| 9 | 0.000000e+00 | -- | Inf | unknown
64.76/65.07 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
64.95/65.25 c
64.95/65.25 c SCIP Status : problem is solved [infeasible]
64.95/65.25 c Solving Time (sec) : 65.24
64.95/65.25 c Solving Nodes : 65298
64.95/65.25 c Primal Bound : +1.00000000000000e+20 (0 solutions)
64.95/65.25 c Dual Bound : +1.00000000000000e+20
64.95/65.25 c Gap : 0.00 %
64.95/65.25 s UNSATISFIABLE
64.95/65.25 c SCIP Status : problem is solved [infeasible]
64.95/65.25 c Total Time : 65.24
64.95/65.25 c solving : 65.24
64.95/65.25 c presolving : 0.01 (included in solving)
64.95/65.25 c reading : 0.00 (included in solving)
64.95/65.25 c copying : 0.64 (110 #copies) (minimal 0.00, maximal 0.02, average 0.01)
64.95/65.25 c Original Problem :
64.95/65.25 c Problem name : HOME/instance-4510626-1751204932.opb
64.95/65.25 c Variables : 701 (701 binary, 0 integer, 0 implicit integer, 0 continuous)
64.95/65.25 c Constraints : 980 initial, 980 maximal
64.95/65.25 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
64.95/65.25 c Presolved Problem :
64.95/65.25 c Problem name : t_HOME/instance-4510626-1751204932.opb
64.95/65.25 c Variables : 700 (700 binary, 0 integer, 0 implicit integer, 0 continuous)
64.95/65.25 c Constraints : 350 initial, 5807 maximal
64.95/65.25 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
64.95/65.25 c Nonzeros : 1400 constraint, 0 clique table
64.95/65.25 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
64.95/65.25 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
64.95/65.25 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
64.95/65.25 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
64.95/65.25 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
64.95/65.25 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
64.95/65.25 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
64.95/65.25 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
64.95/65.25 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
64.95/65.25 c implics : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
64.95/65.25 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
64.95/65.25 c milp : 0.00 0.00 1 0 1 0 0 0 980 350 0 0
64.95/65.25 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
64.95/65.25 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
64.95/65.25 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
64.95/65.25 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
64.95/65.25 c trivial : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
64.95/65.25 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
64.95/65.25 c dualfix : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
64.95/65.25 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
64.95/65.25 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
64.95/65.25 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
64.95/65.25 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
64.95/65.25 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
64.95/65.25 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
64.95/65.25 c linear : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
64.95/65.25 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
64.95/65.25 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
64.95/65.25 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
64.95/65.25 c root node : - - - 0 - - 0 - - - - -
64.95/65.25 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
64.95/65.25 c benderslp : 0 0 0 0 61470 0 0 4832 0 0 0 0 0 0 0
64.95/65.25 c integral : 0 0 0 0 61470 0 0 4832 0 0 0 0 0 0 122940
64.95/65.25 c knapsack : 0+ 95 0 323456 0 0 0 0 26736 1336 28330 0 0 0 0
64.95/65.25 c linear : 350+ 423 15 323783 0 0 0 4831 171138 6042 100430 0 0 0 0
64.95/65.25 c logicor : 0+ 5385 14 150073 0 0 0 0 11180 383 5906 0 0 0 0
64.95/65.25 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
64.95/65.25 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
64.95/65.25 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
64.95/65.25 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
64.95/65.25 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
64.95/65.25 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
64.95/65.25 c integral : 0.79 0.00 0.00 0.00 0.79 0.00 0.00 0.00 0.00 0.00
64.95/65.25 c knapsack : 0.61 0.00 0.00 0.57 0.00 0.00 0.00 0.00 0.04 0.00
64.95/65.25 c linear : 1.70 0.00 0.00 1.58 0.00 0.00 0.00 0.05 0.07 0.00
64.95/65.25 c logicor : 0.87 0.00 0.00 0.85 0.00 0.00 0.00 0.00 0.02 0.00
64.95/65.25 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
64.95/65.25 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
64.95/65.25 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
64.95/65.25 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
64.95/65.25 c Propagators : #Propagate #ResProp Cutoffs DomReds
64.95/65.25 c dualfix : 1 0 0 0
64.95/65.25 c genvbounds : 0 0 0 0
64.95/65.25 c nlobbt : 0 0 0 0
64.95/65.25 c obbt : 0 0 0 0
64.95/65.25 c probing : 0 0 0 0
64.95/65.25 c pseudoobj : 0 0 0 0
64.95/65.25 c redcost : 0 0 0 0
64.95/65.25 c rootredcost : 0 0 0 0
64.95/65.25 c symmetry : 315794 0 4 46
64.95/65.25 c vbounds : 0 0 0 0
64.95/65.25 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
64.95/65.25 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
64.95/65.25 c genvbounds : 0.03 0.00 0.00 0.03 0.00 0.00
64.95/65.25 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
64.95/65.25 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
64.95/65.25 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
64.95/65.25 c pseudoobj : 0.03 0.00 0.00 0.03 0.00 0.00
64.95/65.25 c redcost : 0.02 0.00 0.00 0.02 0.00 0.00
64.95/65.25 c rootredcost : 0.02 0.00 0.00 0.02 0.00 0.00
64.95/65.25 c symmetry : 13.37 0.00 0.00 13.37 0.00 0.00
64.95/65.25 c vbounds : 0.05 0.00 0.00 0.05 0.00 0.00
64.95/65.25 c Symmetry :
64.95/65.25 c orbitopal red. : 0 reductions applied, 0 cutoffs
64.95/65.25 c orbital reduction: 7 reductions applied, 0 cutoffs
64.95/65.25 c lexicographic red: 163 reductions applied, 4 cutoffs
64.95/65.25 c shadow tree time : 0.11 s
64.95/65.25 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
64.95/65.25 c propagation : 0.22 5197 5188 - 30624 48.7 428 14.8 - - -
64.95/65.25 c infeasible LP : 0.57 3863 3863 - 20898 40.0 275 14.5 3789 44.4 0
64.95/65.25 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
64.95/65.25 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
64.95/65.25 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
64.95/65.25 c applied globally : 0.03 - - 0 38644 38.3 - - 3771 - -
64.95/65.25 c applied locally : - - - 0 35 61.4 - - 17 - -
64.95/65.25 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
64.95/65.25 c cut pool : 0.46 - 9113 27 - - 23000 100431 - - - - - (maximal pool size: 1336)
64.95/65.25 c aggregation : 0.15 0.00 1522 14 0 0 34 211 11 22 20 2 0
64.95/65.25 c > cmir : - - - - - - - 172 5 20 20 0 -
64.95/65.25 c > flowcover : - - - - - - - 39 3 1 0 1 -
64.95/65.25 c > knapsackcover : - - - - - - - 0 3 1 0 1 -
64.95/65.25 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
64.95/65.25 c clique : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
64.95/65.25 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
64.95/65.25 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
64.95/65.25 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
64.95/65.25 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
64.95/65.25 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
64.95/65.25 c gomory : 1.14 0.00 1517 10 0 0 26571 98510 4288 6247 5955 292 0
64.95/65.25 c > gomorymi : - - - - - - - 12199 2144 402 267 135 -
64.95/65.25 c > strongcg : - - - - - - - 86311 2144 5845 5688 157 -
64.95/65.25 c impliedbounds : 0.01 0.00 1522 14 0 0 0 0 0 0 0 0 0
64.95/65.25 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
64.95/65.25 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
64.95/65.25 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
64.95/65.25 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
64.95/65.25 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
64.95/65.25 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
64.95/65.25 c multilinear : 0.00 0.00 845 14 0 0 0 0 0 0 0 0 0
64.95/65.25 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
64.95/65.25 c rapidlearning : 4.82 0.00 100 1 0 1027 0 0 0 0 0 0 954
64.95/65.25 c rlt : 0.00 0.00 673 10 0 0 0 0 0 0 0 0 0
64.95/65.25 c zerohalf : 0.31 0.00 1521 14 0 0 1578 1710 884 1537 989 548 0
64.95/65.25 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
64.95/65.25 c hybrid : 0.05 0.00 2426 14 7806 0 97808 50 0 522
64.95/65.25 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
64.95/65.25 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
64.95/65.25 c Pricers : ExecTime SetupTime Calls Vars
64.95/65.25 c problem variables: 0.00 - 0 0
64.95/65.25 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
64.95/65.25 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
64.95/65.25 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
64.95/65.25 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
64.95/65.25 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
64.95/65.25 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
64.95/65.25 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
64.95/65.25 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
64.95/65.25 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
64.95/65.25 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
64.95/65.25 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
64.95/65.25 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
64.95/65.25 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
64.95/65.25 c random : 0.00 0.00 0 0 0 0 0 0 0 0
64.95/65.25 c relpscost : 0.77 0.00 61470 0 0 0 0 0 0 122940
64.95/65.25 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
64.95/65.25 c Primal Heuristics : ExecTime SetupTime Calls Found Best
64.95/65.25 c LP solutions : 0.00 - - 0 0
64.95/65.25 c relax solutions : 0.00 - - 0 0
64.95/65.25 c pseudo solutions : 0.00 - - 0 0
64.95/65.25 c strong branching : 0.00 - - 0 0
64.95/65.25 c actconsdiving : 0.00 0.00 0 0 0
64.95/65.25 c adaptivediving : 0.21 0.00 38 0 0
64.95/65.25 c alns : 0.33 0.00 9 0 0
64.95/65.25 c bound : 0.00 0.00 0 0 0
64.95/65.25 c clique : 0.00 0.00 0 0 0
64.95/65.25 c coefdiving : 0.00 0.00 0 0 0
64.95/65.25 c completesol : 0.00 0.00 0 0 0
64.95/65.25 c conflictdiving : 5.47 0.00 980 0 0
64.95/65.25 c crossover : 0.00 0.00 0 0 0
64.95/65.25 c dins : 0.00 0.00 0 0 0
64.95/65.25 c distributiondivin: 2.58 0.00 209 0 0
64.95/65.25 c dps : 0.00 0.00 0 0 0
64.95/65.25 c dualval : 0.00 0.00 0 0 0
64.95/65.25 c farkasdiving : 0.00 0.00 0 0 0
64.95/65.25 c feasjump : 0.02 0.00 1 0 0
64.95/65.25 c feaspump : 0.38 0.00 59 0 0
64.95/65.25 c fixandinfer : 0.00 0.00 0 0 0
64.95/65.25 c fracdiving : 3.06 0.00 626 0 0
64.95/65.25 c gins : 0.00 0.00 0 0 0
64.95/65.25 c guideddiving : 0.00 0.00 0 0 0
64.95/65.25 c indcoefdiving : 0.00 0.00 0 0 0
64.95/65.25 c indicator : 0.01 0.00 0 0 0
64.95/65.25 c indicatordiving : 0.00 0.00 0 0 0
64.95/65.25 c indoneopt : 0.01 0.00 0 0 0
64.95/65.25 c indrounding : 0.00 0.00 0 0 0
64.95/65.25 c indtwoopt : 0.00 0.00 0 0 0
64.95/65.25 c intdiving : 0.00 0.00 0 0 0
64.95/65.25 c intshifting : 0.00 0.00 0 0 0
64.95/65.25 c linesearchdiving : 2.37 0.00 309 0 0
64.95/65.25 c localbranching : 0.00 0.00 0 0 0
64.95/65.25 c locks : 0.00 0.00 1 0 0
64.95/65.25 c lpface : 0.05 0.00 0 0 0
64.95/65.25 c mpec : 0.00 0.00 0 0 0
64.95/65.25 c multistart : 0.00 0.00 0 0 0
64.95/65.25 c mutation : 0.00 0.00 0 0 0
64.95/65.25 c nlpdiving : 0.00 0.00 0 0 0
64.95/65.25 c objpscostdiving : 0.31 0.00 20 0 0
64.95/65.25 c octane : 0.00 0.00 0 0 0
64.95/65.25 c ofins : 0.01 0.00 0 0 0
64.95/65.25 c oneopt : 0.01 0.00 0 0 0
64.95/65.25 c padm : 0.00 0.00 0 0 0
64.95/65.25 c proximity : 0.00 0.00 0 0 0
64.95/65.25 c pscostdiving : 1.64 0.00 134 0 0
64.95/65.25 c randrounding : 0.13 0.00 4831 0 0
64.95/65.25 c rens : 0.01 0.00 1 0 0
64.95/65.25 c reoptsols : 0.00 0.00 0 0 0
64.95/65.25 c repair : 0.00 0.00 0 0 0
64.95/65.25 c rins : 0.01 0.00 0 0 0
64.95/65.25 c rootsoldiving : 0.25 0.00 18 0 0
64.95/65.25 c rounding : 0.04 0.00 3528 0 0
64.95/65.25 c scheduler : 0.00 0.00 0 0 0
64.95/65.25 c shiftandpropagate: 0.00 0.00 1 0 0
64.95/65.25 c shifting : 0.04 0.00 1243 0 0
64.95/65.25 c simplerounding : 0.01 0.00 0 0 0
64.95/65.25 c smallcard : 0.00 0.00 0 0 0
64.95/65.25 c subnlp : 0.01 0.00 0 0 0
64.95/65.25 c trivial : 0.00 0.00 2 0 0
64.95/65.25 c trivialnegation : 0.00 0.00 0 0 0
64.95/65.25 c trustregion : 0.00 0.00 0 0 0
64.95/65.25 c trysol : 0.01 0.00 0 0 0
64.95/65.25 c twoopt : 0.00 0.00 0 0 0
64.95/65.25 c undercover : 0.00 0.00 0 0 0
64.95/65.25 c vbounds : 0.00 0.00 0 0 0
64.95/65.25 c veclendiving : 3.45 0.00 723 0 0
64.95/65.25 c zeroobj : 0.00 0.00 0 0 0
64.95/65.25 c zirounding : 0.01 0.00 1000 0 0
64.95/65.25 c other solutions : - - - 0 -
64.95/65.25 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
64.95/65.25 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
64.95/65.25 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
64.95/65.25 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
64.95/65.25 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
64.95/65.25 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
64.95/65.25 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
64.95/65.25 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
64.95/65.25 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
64.95/65.25 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
64.95/65.25 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
64.95/65.25 c primal LP : 0.24 1062 0 0.00 0.00 0.24 1062
64.95/65.25 c dual LP : 18.70 65680 308548 4.71 16497.71 0.02 177
64.95/65.25 c lex dual LP : 0.00 0 0 0.00 -
64.95/65.25 c barrier LP : 0.00 0 0 0.00 - 0.00 0
64.95/65.25 c resolve instable : 0.00 0 0 0.00 -
64.95/65.25 c diving/probing LP: 6.46 18739 141781 7.57 21942.93
64.95/65.25 c strong branching : 0.01 9 95 10.56 - - - 0
64.95/65.25 c (at root node) : - 9 95 10.56 -
64.95/65.25 c conflict analysis: 0.00 0 0 0.00 -
64.95/65.25 c B&B Tree :
64.95/65.25 c number of runs : 1
64.95/65.25 c nodes : 65298 (61470 internal, 3828 leaves)
64.95/65.25 c feasible leaves : 0
64.95/65.25 c infeas. leaves : 3828
64.95/65.25 c objective leaves : 0
64.95/65.25 c nodes (total) : 65298 (61470 internal, 3828 leaves)
64.95/65.25 c nodes left : 0
64.95/65.25 c max depth : 120
64.95/65.25 c max depth (total): 120
64.95/65.25 c backtracks : 4824 (7.4%)
64.95/65.25 c early backtracks : 0 (0.0%)
64.95/65.25 c nodes exc. ref. : 0 (0.0%)
64.95/65.25 c delayed cutoffs : 57643
64.95/65.25 c repropagations : 11954 (23674 domain reductions, 646 cutoffs)
64.95/65.25 c avg switch length: 4.21
64.95/65.25 c switching time : 2.97
64.95/65.25 c Root Node :
64.95/65.25 c First LP value : +0.00000000000000e+00
64.95/65.25 c First LP Iters : 717 (160510.41 Iter/sec)
64.95/65.25 c First LP Time : 0.00
64.95/65.25 c Final Dual Bound : -
64.95/65.25 c Final Root Iters : 987
64.95/65.25 c Root LP Estimate : +8.50451306008918e-04
64.95/65.25 c Solution :
64.95/65.25 c Solutions found : 0 (0 improvements)
64.95/65.25 c Primal Bound : infeasible
64.95/65.25 c Dual Bound : -
64.95/65.25 c Gap : 0.00 %
64.95/65.25 c Integrals : Total Avg%
64.95/65.25 c primal-dual : - - (problem infeasible)
64.95/65.25 c primal-ref : - - (problem infeasible)
64.95/65.25 c dual-ref : - - (problem infeasible)
64.95/65.26 c Time complete: 65.0189.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62911 MiB free)
memory of node 1: 64465 MiB (63829 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4510626-1751204932/watcher-4510626-1751204932 -o /tmp/evaluation-result-4510626-1751204932/solver-4510626-1751204932 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751204926-27565 --watchdog 3760 pbscip -f HOME/instance-4510626-1751204932.opb -t 3600 -j 2 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
solver pid=27759, runsolver pid=27756
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 1.55 1.28 2.03 5/263 27760
/proc/meminfo: memFree=129780788/131249988 swapFree=33010684/33010684
[pid=27759] ppid=27756 vsize=58744 memory=30848 CPUtime=0.09 cores=0,2
/proc/27759/stat : 27759 (pbscip) R 27756 27759 27555 0 -1 4194304 4155 0 0 0 9 0 0 0 20 0 1 0 36171749 60153856 7712 18446744073709551615 4235264 18693293 140731254060208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 57454592 140731254065545 140731254065644 140731254065644 140731254071246 0
/proc/27759/statm: 14686 7712 3936 3530 0 6137 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 58744 KiB
Current children cumulated memory: 30848 KiB
[startup+0.205432 s]*
/proc/loadavg: 1.55 1.28 2.03 5/263 27760
/proc/meminfo: memFree=129777008/131249988 swapFree=33010684/33010684
[pid=27759] ppid=27756 vsize=62552 memory=34584 CPUtime=0.19 cores=0,2
/proc/27759/stat : 27759 (pbscip) R 27756 27759 27555 0 -1 4194304 5381 0 0 0 19 0 0 0 20 0 1 0 36171749 64053248 8646 18446744073709551615 4235264 18693293 140731254060208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 57454592 140731254065545 140731254065644 140731254065644 140731254071246 0
/proc/27759/statm: 15638 8646 3936 3530 0 7089 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 62552 KiB
Current children cumulated memory: 34584 KiB
[startup+0.305365 s]*
/proc/loadavg: 1.55 1.28 2.03 5/263 27760
/proc/meminfo: memFree=129777008/131249988 swapFree=33010684/33010684
[pid=27759] ppid=27756 vsize=62552 memory=35224 CPUtime=0.29 cores=0,2
/proc/27759/stat : 27759 (pbscip) R 27756 27759 27555 0 -1 4194304 5551 0 0 0 29 0 0 0 20 0 1 0 36171749 64053248 8806 18446744073709551615 4235264 18693293 140731254060208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 57454592 140731254065545 140731254065644 140731254065644 140731254071246 0
/proc/27759/statm: 15638 8806 3936 3530 0 7089 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 62552 KiB
Current children cumulated memory: 35224 KiB
[startup+0.700162 s]
/proc/loadavg: 1.55 1.28 2.03 5/263 27760
/proc/meminfo: memFree=129777532/131249988 swapFree=33010684/33010684
[pid=27759] ppid=27756 vsize=63592 memory=36888 CPUtime=0.68 cores=0,2
/proc/27759/stat : 27759 (pbscip) R 27756 27759 27555 0 -1 4194304 5962 0 0 0 68 0 0 0 20 0 1 0 36171749 65118208 9222 18446744073709551615 4235264 18693293 140731254060208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 57454592 140731254065545 140731254065644 140731254065644 140731254071246 0
/proc/27759/statm: 15898 9222 3936 3530 0 7349 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 63592 KiB
Current children cumulated memory: 36888 KiB
[startup+1.50017 s]
/proc/loadavg: 1.55 1.28 2.03 5/263 27760
/proc/meminfo: memFree=129773752/131249988 swapFree=33010684/33010684
[pid=27759] ppid=27756 vsize=68512 memory=41880 CPUtime=1.47 cores=0,2
/proc/27759/stat : 27759 (pbscip) R 27756 27759 27555 0 -1 4194304 7212 0 0 0 147 0 0 0 20 0 1 0 36171749 70156288 10470 18446744073709551615 4235264 18693293 140731254060208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 57454592 140731254065545 140731254065644 140731254065644 140731254071246 0
/proc/27759/statm: 17128 10470 3936 3530 0 8579 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 68512 KiB
Current children cumulated memory: 41880 KiB
[startup+3.10523 s]
/proc/loadavg: 1.55 1.28 2.03 5/264 27762
/proc/meminfo: memFree=129743560/131249988 swapFree=33010684/33010684
[pid=27759] ppid=27756 vsize=74372 memory=47788 CPUtime=3.08 cores=0,2
/proc/27759/stat : 27759 (pbscip) R 27756 27759 27555 0 -1 4194304 11422 0 0 0 307 1 0 0 20 0 1 0 36171749 76156928 11947 18446744073709551615 4235264 18693293 140731254060208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 57454592 140731254065545 140731254065644 140731254065644 140731254071246 0
/proc/27759/statm: 18593 11947 3936 3530 0 10044 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 74372 KiB
Current children cumulated memory: 47788 KiB
[startup+6.30016 s]
/proc/loadavg: 1.74 1.33 2.04 5/264 27762
/proc/meminfo: memFree=129729972/131249988 swapFree=33010684/33010684
[pid=27759] ppid=27756 vsize=79120 memory=52612 CPUtime=6.26 cores=0,2
/proc/27759/stat : 27759 (pbscip) R 27756 27759 27555 0 -1 4194304 25347 0 0 0 622 4 0 0 20 0 1 0 36171749 81018880 13153 18446744073709551615 4235264 18693293 140731254060208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 57454592 140731254065545 140731254065644 140731254065644 140731254071246 0
/proc/27759/statm: 19780 13153 3936 3530 0 11231 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 79120 KiB
Current children cumulated memory: 52612 KiB
[startup+12.7002 s]
/proc/loadavg: 2.00 1.39 2.06 5/264 27762
/proc/meminfo: memFree=129707512/131249988 swapFree=33010684/33010684
[pid=27759] ppid=27756 vsize=85632 memory=59352 CPUtime=12.64 cores=0,2
/proc/27759/stat : 27759 (pbscip) R 27756 27759 27555 0 -1 4194304 32298 0 0 0 1259 5 0 0 20 0 1 0 36171749 87687168 14838 18446744073709551615 4235264 18693293 140731254060208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 57454592 140731254065545 140731254065644 140731254065644 140731254071246 0
/proc/27759/statm: 21408 14838 3936 3530 0 12859 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 85632 KiB
Current children cumulated memory: 59352 KiB
[startup+25.5001 s]
/proc/loadavg: 2.45 1.52 2.09 5/264 27762
/proc/meminfo: memFree=129634936/131249988 swapFree=33010684/33010684
[pid=27759] ppid=27756 vsize=95156 memory=69004 CPUtime=25.39 cores=0,2
/proc/27759/stat : 27759 (pbscip) R 27756 27759 27555 0 -1 4194304 35225 0 0 0 2533 6 0 0 20 0 1 0 36171749 97439744 17251 18446744073709551615 4235264 18693293 140731254060208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 57454592 140731254065545 140731254065644 140731254065644 140731254071246 0
/proc/27759/statm: 23789 17251 3936 3530 0 15240 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 95156 KiB
Current children cumulated memory: 69004 KiB
[startup+51.1053 s]
/proc/loadavg: 2.98 1.72 2.14 5/264 27762
/proc/meminfo: memFree=129491236/131249988 swapFree=33010684/33010684
[pid=27759] ppid=27756 vsize=125824 memory=99340 CPUtime=50.9 cores=0,2
/proc/27759/stat : 27759 (pbscip) R 27756 27759 27555 0 -1 4194304 42824 0 0 0 5083 7 0 0 20 0 1 0 36171749 128843776 24835 18446744073709551615 4235264 18693293 140731254060208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 57454592 140731254065545 140731254065644 140731254065644 140731254071246 0
/proc/27759/statm: 31456 24835 3936 3530 0 22907 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 125824 KiB
Current children cumulated memory: 99340 KiB
[startup+65.2687 s]
# the end of solver process 27759 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=64.9295 s, system=0.096674 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2002 s]
/proc/loadavg: 2.98 1.72 2.14 5/264 27762
/proc/meminfo: memFree=129491236/131249988 swapFree=33010684/33010684
[pid=27759] ppid=27756 vsize=125824 memory=99340 CPUtime=50.99 cores=0,2
/proc/27759/stat : 27759 (pbscip) R 27756 27759 27555 0 -1 4194304 42824 0 0 0 5092 7 0 0 20 0 1 0 36171749 128843776 24835 18446744073709551615 4235264 18693293 140731254060208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 57454592 140731254065545 140731254065644 140731254065644 140731254071246 0
/proc/27759/statm: 31456 24835 3936 3530 0 22907 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 125824 KiB
Current children cumulated memory: 99340 KiB
[startup+57.6001 s]
/proc/loadavg: 3.14 1.77 2.16 5/264 27762
/proc/meminfo: memFree=129463684/131249988 swapFree=33010684/33010684
[pid=27759] ppid=27756 vsize=131728 memory=105484 CPUtime=57.38 cores=0,2
/proc/27759/stat : 27759 (pbscip) R 27756 27759 27555 0 -1 4194304 44354 0 0 0 5730 8 0 0 20 0 1 0 36171749 134889472 26371 18446744073709551615 4235264 18693293 140731254060208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 57454592 140731254065545 140731254065644 140731254065644 140731254071246 0
/proc/27759/statm: 32932 26371 3936 3530 0 24383 0
Current children cumulated CPU time: 57.38 s
Current children cumulated vsize: 131728 KiB
Current children cumulated memory: 105484 KiB
[startup+60.8002 s]
/proc/loadavg: 3.29 1.83 2.17 5/264 27763
/proc/meminfo: memFree=129439284/131249988 swapFree=33010684/33010684
[pid=27759] ppid=27756 vsize=135676 memory=109452 CPUtime=60.56 cores=0,2
/proc/27759/stat : 27759 (pbscip) R 27756 27759 27555 0 -1 4194304 45342 0 0 0 6048 8 0 0 20 0 1 0 36171749 138932224 27363 18446744073709551615 4235264 18693293 140731254060208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 57454592 140731254065545 140731254065644 140731254065644 140731254071246 0
/proc/27759/statm: 33919 27363 3936 3530 0 25370 0
Current children cumulated CPU time: 60.56 s
Current children cumulated vsize: 135676 KiB
Current children cumulated memory: 109452 KiB
[startup+62.4001 s]
/proc/loadavg: 3.29 1.83 2.17 5/264 27763
/proc/meminfo: memFree=129439284/131249988 swapFree=33010684/33010684
[pid=27759] ppid=27756 vsize=136956 memory=110732 CPUtime=62.16 cores=0,2
/proc/27759/stat : 27759 (pbscip) R 27756 27759 27555 0 -1 4194304 45670 0 0 0 6208 8 0 0 20 0 1 0 36171749 140242944 27683 18446744073709551615 4235264 18693293 140731254060208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 57454592 140731254065545 140731254065644 140731254065644 140731254071246 0
/proc/27759/statm: 34239 27683 3936 3530 0 25690 0
Current children cumulated CPU time: 62.16 s
Current children cumulated vsize: 136956 KiB
Current children cumulated memory: 110732 KiB
[startup+64.0002 s]*
/proc/loadavg: 3.29 1.83 2.17 5/266 27766
/proc/meminfo: memFree=129422968/131249988 swapFree=33010684/33010684
[pid=27759] ppid=27756 vsize=138684 memory=112524 CPUtime=63.75 cores=0,2
/proc/27759/stat : 27759 (pbscip) R 27756 27759 27555 0 -1 4194304 46116 0 0 0 6367 8 0 0 20 0 1 0 36171749 142012416 28131 18446744073709551615 4235264 18693293 140731254060208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 57454592 140731254065545 140731254065644 140731254065644 140731254071246 0
/proc/27759/statm: 34671 28131 3936 3530 0 26122 0
Current children cumulated CPU time: 63.75 s
Current children cumulated vsize: 138684 KiB
Current children cumulated memory: 112524 KiB
[startup+64.8002 s]
/proc/loadavg: 3.29 1.83 2.17 5/266 27766
/proc/meminfo: memFree=129422968/131249988 swapFree=33010684/33010684
[pid=27759] ppid=27756 vsize=142340 memory=116236 CPUtime=64.54 cores=0,2
/proc/27759/stat : 27759 (pbscip) R 27756 27759 27555 0 -1 4194304 47034 0 0 0 6446 8 0 0 20 0 1 0 36171749 145756160 29059 18446744073709551615 4235264 18693293 140731254060208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 57454592 140731254065545 140731254065644 140731254065644 140731254071246 0
/proc/27759/statm: 35585 29059 3936 3530 0 27036 0
Current children cumulated CPU time: 64.54 s
Current children cumulated vsize: 142340 KiB
Current children cumulated memory: 116236 KiB
[startup+65.2002 s]
/proc/loadavg: 3.35 1.86 2.18 5/266 27766
/proc/meminfo: memFree=129398776/131249988 swapFree=33010684/33010684
[pid=27759] ppid=27756 vsize=149584 memory=122380 CPUtime=64.95 cores=0,2
/proc/27759/stat : 27759 (pbscip) R 27756 27759 27555 0 -1 4194304 48578 0 0 0 6486 9 0 0 20 0 1 0 36171749 153174016 30595 18446744073709551615 4235264 18693293 140731254060208 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 57454592 140731254065545 140731254065644 140731254065644 140731254071246 0
/proc/27759/statm: 37396 30595 3936 3530 0 28847 0
Current children cumulated CPU time: 64.95 s
Current children cumulated vsize: 149584 KiB
Current children cumulated memory: 122380 KiB
Child status: 0
Real time (s): 65.2687
CPU time (s): 65.0262
CPU user time (s): 64.9295
CPU system time (s): 0.096674
CPU usage (%): 99.6284
Max. virtual memory (cumulated for all children) (KiB): 149584
Max. memory (cumulated for all children) (KiB): 122380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 64.9295
system time used= 0.096674
maximum resident set size= 122380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48585
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= 80
involuntary context switches= 157
# summary of solver processes directly reported to runsolver:
# pid: 27759
# total CPU time (s): 65.0262
# total CPU user time (s): 64.9295
# total CPU system time (s): 0.096674
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.165487 second user time and 0.289457 second system time
The end