0.00/0.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4545476-1753238426.opb>
0.00/0.05 c original problem has 6861 variables (6861 bin, 0 int, 0 impl, 0 cont) and 13501 constraints
0.00/0.05 c problem read in 0.03
0.00/0.05 c No objective function, only one solution is needed.
0.00/0.07 c presolving:
0.00/0.09 c (round 1, fast) 20 del vars, 20 del conss, 0 add conss, 19 chg bounds, 200 chg sides, 200 chg coeffs, 0 upgd conss, 0 impls, 219 clqs
0.00/0.09 c (round 2, fast) 20 del vars, 39 del conss, 0 add conss, 19 chg bounds, 200 chg sides, 200 chg coeffs, 0 upgd conss, 0 impls, 219 clqs
0.08/0.12 c (0.1s) running MILP presolver
0.08/0.14 c (0.1s) MILP presolver found nothing
0.08/0.18 c (round 3, exhaustive) 20 del vars, 39 del conss, 0 add conss, 19 chg bounds, 200 chg sides, 200 chg coeffs, 13443 upgd conss, 0 impls, 219 clqs
0.18/0.24 c (round 4, medium) 20 del vars, 2148 del conss, 8569 add conss, 19 chg bounds, 8940 chg sides, 13329 chg coeffs, 13443 upgd conss, 0 impls, 8788 clqs
0.18/0.25 c (round 5, medium) 20 del vars, 2148 del conss, 8588 add conss, 19 chg bounds, 8959 chg sides, 13424 chg coeffs, 13443 upgd conss, 0 impls, 8788 clqs
0.18/0.26 c (round 6, fast) 20 del vars, 2167 del conss, 8607 add conss, 19 chg bounds, 8959 chg sides, 13424 chg coeffs, 13443 upgd conss, 0 impls, 8788 clqs
0.18/0.28 c (round 7, exhaustive) 20 del vars, 8380 del conss, 10678 add conss, 19 chg bounds, 8959 chg sides, 13424 chg coeffs, 13443 upgd conss, 0 impls, 8788 clqs
0.18/0.30 c (round 8, exhaustive) 20 del vars, 8380 del conss, 10678 add conss, 19 chg bounds, 8959 chg sides, 17756 chg coeffs, 13443 upgd conss, 0 impls, 8788 clqs
0.28/0.33 c (round 9, exhaustive) 20 del vars, 8380 del conss, 10678 add conss, 19 chg bounds, 8959 chg sides, 17756 chg coeffs, 13462 upgd conss, 0 impls, 8788 clqs
0.77/0.82 c (0.8s) probing: 114/6841 (1.7%) - 0 fixings, 0 aggregations, 5589 implications, 0 bound changes
0.77/0.82 c (0.8s) probing aborted: 50/50 successive totally useless probings
0.77/0.82 c (0.8s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.77/0.86 c (0.9s) no symmetry present (symcode time: 0.01)
0.77/0.87 c presolving (10 rounds: 10 fast, 7 medium, 5 exhaustive):
0.77/0.87 c 20 deleted vars, 8380 deleted constraints, 10678 added constraints, 19 tightened bounds, 0 added holes, 8959 changed sides, 17756 changed coefficients
0.77/0.87 c 0 implications, 14377 cliques
0.77/0.87 c presolved problem has 6841 variables (6841 bin, 0 int, 0 impl, 0 cont) and 15799 constraints
0.77/0.87 c 8892 constraints of type <knapsack>
0.77/0.87 c 4646 constraints of type <setppc>
0.77/0.87 c 2071 constraints of type <and>
0.77/0.87 c 190 constraints of type <logicor>
0.77/0.87 c transformed objective value is always integral (scale: 1)
0.77/0.87 c Presolving Time: 0.80
0.77/0.87 c - non default parameters ----------------------------------------------------------------------
0.77/0.87 c # SCIP version 10.0.0
0.77/0.87 c
0.77/0.87 c # maximal time in seconds to run
0.77/0.87 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.77/0.87 c limits/time = 3596.997209
0.77/0.87 c
0.77/0.87 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.77/0.87 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.77/0.87 c limits/memory = 27900
0.77/0.87 c
0.77/0.87 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.77/0.87 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.77/0.87 c limits/solutions = 1
0.77/0.87 c
0.77/0.87 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.77/0.87 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.77/0.87 c misc/usesymmetry = 3
0.77/0.87 c
0.77/0.87 c # belongs reading time to solving time?
0.77/0.87 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.77/0.87 c timing/reading = TRUE
0.77/0.87 c
0.77/0.88 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.77/0.88 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.77/0.88 c propagating/symmetry/detectdoublelex = FALSE
0.77/0.88 c
0.77/0.88 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.77/0.88 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.77/0.88 c propagating/symmetry/detectsubgroups = FALSE
0.77/0.88 c
0.77/0.88 c # Type of symmetries that shall be computed?
0.77/0.88 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.77/0.88 c propagating/symmetry/symtype = 1
0.77/0.88 c
0.77/0.88 c # Should components consisting of a single full reflection be handled?
0.77/0.88 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.77/0.88 c propagating/symmetry/usesimplesgncomp = FALSE
0.77/0.88 c
0.77/0.88 c -----------------------------------------------------------------------------------------------
0.77/0.88 c start solving
0.77/0.88 c
1.15/1.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.15/1.22 c 1.2s| 1 | 0 | 5118 | - | 102M | 0 |6841 | 15k| 17k| 0 | 0 | 85 | 0 | 0.000000e+00 | -- | Inf | unknown
2.15/2.27 c 2.3s| 1 | 0 | 13670 | - | 111M | 0 |6841 | 15k| 18k| 171 | 1 | 86 | 0 | 0.000000e+00 | -- | Inf | unknown
2.64/2.71 c 2.7s| 1 | 0 | 14578 | - | 115M | 0 |6841 | 15k| 18k| 457 | 2 | 87 | 0 | 0.000000e+00 | -- | Inf | unknown
3.24/3.33 c 3.3s| 1 | 0 | 16124 | - | 118M | 0 |6841 | 15k| 18k| 629 | 3 | 88 | 0 | 0.000000e+00 | -- | Inf | unknown
3.84/3.92 c 3.9s| 1 | 0 | 17255 | - | 120M | 0 |6841 | 15k| 18k| 784 | 4 | 90 | 0 | 0.000000e+00 | -- | Inf | unknown
4.54/4.69 c 4.7s| 1 | 0 | 18637 | - | 122M | 0 |6841 | 15k| 18k| 915 | 5 | 91 | 0 | 0.000000e+00 | -- | Inf | unknown
5.44/5.56 c 5.5s| 1 | 0 | 20130 | - | 128M | 0 |6841 | 15k| 18k|1055 | 6 | 92 | 0 | 0.000000e+00 | -- | Inf | unknown
6.34/6.46 c 6.4s| 1 | 0 | 21991 | - | 131M | 0 |6841 | 15k| 19k|1174 | 7 | 93 | 0 | 0.000000e+00 | -- | Inf | unknown
9.23/9.39 c 9.4s| 1 | 0 | 24476 | - | 136M | 0 |6841 | 15k| 19k|1363 | 8 | 94 | 0 | 0.000000e+00 | -- | Inf | unknown
10.42/10.50 c 10.5s| 1 | 0 | 26575 | - | 141M | 0 |6841 | 15k| 19k|1506 | 9 | 95 | 0 | 0.000000e+00 | -- | Inf | unknown
11.31/11.44 c 11.4s| 1 | 0 | 28041 | - | 147M | 0 |6841 | 15k| 19k|1631 | 10 | 97 | 0 | 0.000000e+00 | -- | Inf | unknown
13.52/13.62 c 13.6s| 1 | 0 | 29545 | - | 149M | 0 |6841 | 15k| 19k|1752 | 11 | 98 | 0 | 0.000000e+00 | -- | Inf | unknown
23.38/23.54 c 23.5s| 1 | 0 | 35047 | - | 150M | 0 |6841 | 15k| 19k|1752 | 11 | 114 | 21 | 0.000000e+00 | -- | Inf | unknown
24.18/24.32 c 24.3s| 1 | 0 | 37076 | - | 152M | 0 |6841 | 15k| 19k|1877 | 12 | 115 | 21 | 0.000000e+00 | -- | Inf | unknown
24.58/24.72 c 24.7s| 1 | 0 | 38319 | - | 152M | 0 |6841 | 15k| 19k|1950 | 13 | 119 | 21 | 0.000000e+00 | -- | Inf | unknown
34.05/34.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
34.05/34.25 c 34.2s| 1 | 0 | 38767 | - | 152M | 0 |6841 | 15k| 19k|1950 | 13 | 125 | 48 | 0.000000e+00 | -- | Inf | unknown
34.55/34.76 c 34.7s| 1 | 0 | 39855 | - | 155M | 0 |6841 | 15k| 19k|2086 | 14 | 126 | 48 | 0.000000e+00 | -- | Inf | unknown
34.75/34.96 c 34.9s| 1 | 0 | 40526 | - | 155M | 0 |6841 | 15k| 19k|2131 | 15 | 127 | 48 | 0.000000e+00 | -- | Inf | unknown
43.42/43.62 c 43.6s| 1 | 0 | 40788 | - | 155M | 0 |6841 | 15k| 19k|2131 | 15 | 132 | 75 | 0.000000e+00 | -- | Inf | unknown
43.93/44.14 c 44.1s| 1 | 0 | 41952 | - | 157M | 0 |6841 | 15k| 19k|2235 | 16 | 133 | 75 | 0.000000e+00 | -- | Inf | unknown
44.22/44.40 c 44.4s| 1 | 0 | 42551 | - | 157M | 0 |6841 | 15k| 19k|2265 | 17 | 135 | 75 | 0.000000e+00 | -- | Inf | unknown
53.69/53.94 c 53.9s| 1 | 0 | 42947 | - | 157M | 0 |6841 | 15k| 19k|2265 | 17 | 138 | 102 | 0.000000e+00 | -- | Inf | unknown
56.89/57.14 c 57.1s| 1 | 0 | 44803 | - | 160M | 0 |6841 | 15k| 19k|2378 | 18 | 139 | 102 | 0.000000e+00 | -- | Inf | unknown
56.98/57.29 c 57.3s| 1 | 0 | 45132 | - | 160M | 0 |6841 | 15k| 19k|2418 | 19 | 141 | 102 | 0.000000e+00 | -- | Inf | unknown
60.07/60.36 c 60.3s| 1 | 0 | 45426 | - | 160M | 0 |6841 | 15k| 19k|2418 | 19 | 148 | 113 | 0.000000e+00 | -- | Inf | unknown
60.57/60.87 c 60.9s| 1 | 0 | 46659 | - | 162M | 0 |6841 | 15k| 19k|2523 | 20 | 150 | 113 | 0.000000e+00 | -- | Inf | unknown
60.88/61.12 c 61.1s| 1 | 0 | 47262 | - | 162M | 0 |6841 | 15k| 19k|2546 | 21 | 151 | 113 | 0.000000e+00 | -- | Inf | unknown
69.64/69.94 c 69.9s| 1 | 0 | 48145 | - | 162M | 0 |6841 | 15k| 19k|2546 | 21 | 156 | 136 | 0.000000e+00 | -- | Inf | unknown
70.14/70.45 c 70.4s| 1 | 0 | 49288 | - | 164M | 0 |6841 | 15k| 19k|2654 | 22 | 157 | 136 | 0.000000e+00 | -- | Inf | unknown
70.24/70.53 c 70.5s| 1 | 0 | 49430 | - | 164M | 0 |6841 | 15k| 19k|2671 | 23 | 158 | 136 | 0.000000e+00 | -- | Inf | unknown
75.42/75.77 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
75.42/75.77 c 75.8s| 1 | 0 | 49648 | - | 164M | 0 |6841 | 15k| 19k|2671 | 23 | 164 | 153 | 0.000000e+00 | -- | Inf | unknown
75.92/76.23 c 76.2s| 1 | 0 | 50480 | - | 166M | 0 |6841 | 15k| 19k|2762 | 24 | 165 | 153 | 0.000000e+00 | -- | Inf | unknown
76.02/76.32 c 76.3s| 1 | 0 | 50623 | - | 166M | 0 |6841 | 15k| 19k|2779 | 25 | 168 | 153 | 0.000000e+00 | -- | Inf | unknown
83.50/83.85 c 83.8s| 1 | 0 | 50803 | - | 166M | 0 |6841 | 15k| 19k|2779 | 25 | 171 | 173 | 0.000000e+00 | -- | Inf | unknown
84.09/84.42 c 84.4s| 1 | 0 | 51899 | - | 168M | 0 |6841 | 15k| 20k|2855 | 26 | 172 | 173 | 0.000000e+00 | -- | Inf | unknown
84.19/84.52 c 84.5s| 1 | 0 | 52043 | - | 168M | 0 |6841 | 15k| 20k|2865 | 27 | 174 | 173 | 0.000000e+00 | -- | Inf | unknown
92.67/93.01 c 93.0s| 1 | 0 | 52235 | - | 168M | 0 |6841 | 15k| 20k|2865 | 27 | 177 | 193 | 0.000000e+00 | -- | Inf | unknown
93.17/93.59 c 93.6s| 1 | 0 | 53311 | - | 170M | 0 |6841 | 15k| 20k|2943 | 28 | 178 | 193 | 0.000000e+00 | -- | Inf | unknown
93.27/93.67 c 93.7s| 1 | 0 | 53430 | - | 170M | 0 |6841 | 15k| 20k|2954 | 29 | 179 | 193 | 0.000000e+00 | -- | Inf | unknown
101.65/102.05 c 102s| 1 | 0 | 53603 | - | 170M | 0 |6841 | 15k| 20k|2954 | 29 | 181 | 216 | 0.000000e+00 | -- | Inf | unknown
102.25/102.69 c 103s| 1 | 0 | 55108 | - | 170M | 0 |6841 | 15k| 20k|3041 | 30 | 182 | 216 | 0.000000e+00 | -- | Inf | unknown
102.35/102.78 c 103s| 1 | 0 | 55251 | - | 170M | 0 |6841 | 15k| 20k|3052 | 31 | 183 | 216 | 0.000000e+00 | -- | Inf | unknown
110.33/110.75 c 111s| 1 | 0 | 56055 | - | 170M | 0 |6841 | 15k| 20k|3052 | 31 | 190 | 236 | 0.000000e+00 | -- | Inf | unknown
110.82/111.20 c 111s| 1 | 0 | 57017 | - | 170M | 0 |6841 | 15k| 20k|3126 | 32 | 191 | 236 | 0.000000e+00 | -- | Inf | unknown
110.82/111.27 c 111s| 1 | 0 | 57133 | - | 170M | 0 |6841 | 15k| 20k|3133 | 33 | 192 | 236 | 0.000000e+00 | -- | Inf | unknown
115.21/115.64 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
115.21/115.64 c 116s| 1 | 0 | 57279 | - | 170M | 0 |6841 | 15k| 20k|3133 | 33 | 199 | 254 | 0.000000e+00 | -- | Inf | unknown
115.62/116.06 c 116s| 1 | 0 | 58024 | - | 170M | 0 |6841 | 15k| 20k|3214 | 34 | 200 | 254 | 0.000000e+00 | -- | Inf | unknown
115.72/116.17 c 116s| 1 | 0 | 58182 | - | 170M | 0 |6841 | 15k| 20k|3225 | 35 | 202 | 254 | 0.000000e+00 | -- | Inf | unknown
124.60/125.01 c 125s| 1 | 2 | 58364 | - | 171M | 0 |6841 | 15k| 20k|3225 | 35 | 206 | 275 | 0.000000e+00 | -- | Inf | unknown
239.33/240.10 c 240s| 100 | 33 |198515 |1513.4 | 188M | 24 |6841 | 16k| 19k|4830 | 2 | 351 | 275 | 0.000000e+00 | -- | Inf | 1.93%
297.48/298.34 c 298s| 200 | 56 |324585 |1386.4 | 199M | 24 |6841 | 16k| 19k|6451 | 2 | 668 | 275 | 0.000000e+00 | -- | Inf | 35.21%
311.54/312.48 c 312s| 300 | 54 |373093 |1085.0 | 200M | 31 |6841 | 16k| 19k|7499 | 2 | 873 | 275 | 0.000000e+00 | -- | Inf | 35.26%
331.89/332.86 c 333s| 400 | 53 |435617 | 969.8 | 201M | 31 |6841 | 16k| 19k|8699 | 2 |1095 | 275 | 0.000000e+00 | -- | Inf | 35.27%
355.83/356.85 c 357s| 500 | 50 |506146 | 916.8 | 201M | 31 |6841 | 16k| 0 | 10k| 0 |1294 | 275 | 0.000000e+00 | -- | Inf | 35.48%
387.55/388.67 c 389s| 600 | 45 |600084 | 920.5 | 202M | 31 |6841 | 16k| 0 | 10k| 0 |1521 | 275 | 0.000000e+00 | -- | Inf | 35.57%
576.93/578.51 c 578s| 700 | 45 |714520 | 952.6 | 202M | 31 |6841 | 17k| 19k| 11k| 2 |1831 | 275 | 0.000000e+00 | -- | Inf | 35.60%
590.09/591.74 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
590.09/591.75 c (run 1, node 751) performing user restart
590.09/591.75 c
590.09/591.75 c (restart) converted 646 cuts from the global cut pool into linear constraints
590.09/591.75 c
590.09/591.78 c presolving:
590.09/591.79 c (round 1, fast) 123 del vars, 546 del conss, 276 add conss, 0 chg bounds, 11 chg sides, 175 chg coeffs, 0 upgd conss, 0 impls, 9308 clqs
590.19/591.81 c (round 2, medium) 134 del vars, 674 del conss, 637 add conss, 0 chg bounds, 190 chg sides, 619 chg coeffs, 0 upgd conss, 0 impls, 9727 clqs
590.19/591.81 c (round 3, fast) 145 del vars, 762 del conss, 709 add conss, 0 chg bounds, 190 chg sides, 630 chg coeffs, 0 upgd conss, 0 impls, 9715 clqs
590.19/591.83 c (round 4, exhaustive) 145 del vars, 1108 del conss, 833 add conss, 0 chg bounds, 190 chg sides, 630 chg coeffs, 0 upgd conss, 0 impls, 9715 clqs
590.19/591.87 c (round 5, exhaustive) 145 del vars, 1125 del conss, 835 add conss, 0 chg bounds, 195 chg sides, 789 chg coeffs, 0 upgd conss, 0 impls, 9715 clqs
590.19/591.87 c (round 6, medium) 145 del vars, 1131 del conss, 870 add conss, 0 chg bounds, 230 chg sides, 865 chg coeffs, 0 upgd conss, 0 impls, 9730 clqs
590.29/591.90 c (round 7, exhaustive) 145 del vars, 1138 del conss, 876 add conss, 0 chg bounds, 230 chg sides, 865 chg coeffs, 627 upgd conss, 0 impls, 9730 clqs
590.29/591.93 c (round 8, exhaustive) 145 del vars, 1748 del conss, 878 add conss, 0 chg bounds, 232 chg sides, 976 chg coeffs, 627 upgd conss, 0 impls, 9730 clqs
590.29/591.97 c presolving (9 rounds: 9 fast, 7 medium, 5 exhaustive):
590.29/591.97 c 147 deleted vars, 1755 deleted constraints, 878 added constraints, 0 tightened bounds, 0 added holes, 232 changed sides, 1016 changed coefficients
590.29/591.97 c 0 implications, 9718 cliques
590.29/591.97 c presolved problem has 6696 variables (6696 bin, 0 int, 0 impl, 0 cont) and 17182 constraints
590.29/591.97 c 8494 constraints of type <knapsack>
590.29/591.97 c 4851 constraints of type <setppc>
590.29/591.97 c 2100 constraints of type <and>
590.29/591.98 c 1737 constraints of type <logicor>
590.29/591.98 c transformed objective value is always integral (scale: 1)
590.29/591.98 c Presolving Time: 1.01
590.29/591.98 c
590.79/592.49 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
590.79/592.49 c 592s| 1 | 0 |758635 | - | 203M | 0 |6696 | 17k| 18k| 0 | 0 |1953 | 275 | 0.000000e+00 | -- | Inf | unknown
592.68/594.38 c 594s| 1 | 0 |762111 | - | 206M | 0 |6696 | 17k| 18k| 224 | 1 |1954 | 275 | 0.000000e+00 | -- | Inf | unknown
595.17/596.81 c 597s| 1 | 0 |764811 | - | 208M | 0 |6696 | 17k| 18k| 447 | 2 |1955 | 275 | 0.000000e+00 | -- | Inf | unknown
596.07/597.73 c 598s| 1 | 0 |766873 | - | 211M | 0 |6696 | 17k| 18k| 587 | 3 |1959 | 275 | 0.000000e+00 | -- | Inf | unknown
596.97/598.69 c 599s| 1 | 0 |768703 | - | 213M | 0 |6696 | 17k| 18k| 708 | 4 |1960 | 275 | 0.000000e+00 | -- | Inf | unknown
598.37/600.05 c 600s| 1 | 0 |771231 | - | 216M | 0 |6696 | 17k| 18k| 808 | 5 |1962 | 275 | 0.000000e+00 | -- | Inf | unknown
600.46/602.18 c 602s| 1 | 0 |773297 | - | 217M | 0 |6696 | 17k| 19k| 938 | 6 |1964 | 275 | 0.000000e+00 | -- | Inf | unknown
601.46/603.17 c 603s| 1 | 0 |774863 | - | 222M | 0 |6696 | 17k| 19k|1039 | 7 |1965 | 275 | 0.000000e+00 | -- | Inf | unknown
602.85/604.50 c 604s| 1 | 0 |777073 | - | 224M | 0 |6696 | 17k| 19k|1117 | 8 |1972 | 275 | 0.000000e+00 | -- | Inf | unknown
604.15/605.87 c 606s| 1 | 0 |778991 | - | 233M | 0 |6696 | 17k| 19k|1230 | 9 |1973 | 275 | 0.000000e+00 | -- | Inf | unknown
605.14/606.88 c 607s| 1 | 0 |780496 | - | 238M | 0 |6696 | 17k| 19k|1313 | 10 |1975 | 275 | 0.000000e+00 | -- | Inf | unknown
605.84/607.55 c 608s| 1 | 0 |781816 | - | 240M | 0 |6696 | 17k| 18k|1394 | 11 |1979 | 275 | 0.000000e+00 | -- | Inf | unknown
616.01/617.70 c 618s| 1 | 2 |786336 | - | 241M | 0 |6696 | 17k| 18k|1394 | 11 |1992 | 294 | 0.000000e+00 | -- | Inf | unknown
668.16/670.00 c 670s| 100 | 39 |915225 | 983.1 | 252M | 38 |6696 | 17k| 18k|2313 | 2 |2339 | 294 | 0.000000e+00 | -- | Inf | 1.57%
709.23/711.21 c 711s| 200 | 50 | 1006k| 975.4 | 253M | 38 |6696 | 17k| 18k|3110 | 2 |2772 | 294 | 0.000000e+00 | -- | Inf | 1.57%
732.26/734.33 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
732.26/734.33 c 734s| 300 | 40 | 1072k| 945.5 | 254M | 38 |6696 | 18k| 18k|3778 | 2 |2994 | 294 | 0.000000e+00 | -- | Inf | 1.57%
760.98/763.11 c 763s| 400 | 53 | 1150k| 931.5 | 255M | 38 |6696 | 18k| 18k|4586 | 2 |3291 | 294 | 0.000000e+00 | -- | Inf | 1.57%
783.92/786.12 c 786s| 500 | 51 | 1209k| 903.6 | 255M | 38 |6696 | 18k| 18k|5137 | 2 |3486 | 294 | 0.000000e+00 | -- | Inf | 2.35%
823.71/826.06 c 826s| 600 | 60 | 1320k| 919.4 | 264M | 38 |6696 | 18k| 18k|6440 | 2 |3621 | 294 | 0.000000e+00 | -- | Inf | 2.45%
844.36/846.79 c 847s| 700 | 48 | 1394k| 906.7 | 273M | 38 |6696 | 18k| 18k|7617 | 2 |3821 | 294 | 0.000000e+00 | -- | Inf | 3.28%
868.79/871.27 c 871s| 800 | 50 | 1468k| 895.8 | 276M | 38 |6696 | 18k| 18k|8962 | 2 |4050 | 294 | 0.000000e+00 | -- | Inf | 3.53%
903.21/905.72 c 906s| 900 | 73 | 1562k| 899.0 | 278M | 38 |6696 | 19k| 18k| 10k| 2 |4422 | 294 | 0.000000e+00 | -- | Inf | 3.53%
923.95/926.56 c 927s| 1000 | 62 | 1625k| 883.2 | 279M | 38 |6696 | 19k| 18k| 10k| 2 |4778 | 294 | 0.000000e+00 | -- | Inf | 3.53%
944.89/947.59 c 948s| 1100 | 59 | 1685k| 868.1 | 285M | 44 |6696 | 19k| 18k| 11k| 2 |5252 | 294 | 0.000000e+00 | -- | Inf | 3.53%
1077.69/1080.69 c 1081s| 1200 | 64 | 1782k| 873.1 | 285M | 44 |6696 | 20k| 18k| 12k| 2 |5552 | 294 | 0.000000e+00 | -- | Inf | 3.53%
1096.54/1099.55 c 1100s| 1300 | 71 | 1837k| 857.3 | 286M | 44 |6696 | 20k| 18k| 13k| 1 |6011 | 294 | 0.000000e+00 | -- | Inf | 3.53%
1120.78/1123.86 c 1124s| 1400 | 65 | 1906k| 849.9 | 286M | 44 |6696 | 20k| 18k| 14k| 2 |6181 | 294 | 0.000000e+00 | -- | Inf | 3.53%
1149.40/1152.54 c 1153s| 1500 | 63 | 1992k| 850.1 | 287M | 44 |6696 | 20k| 0 | 15k| 0 |6445 | 294 | 0.000000e+00 | -- | Inf | 3.53%
1173.84/1177.03 c 1177s| 1600 | 61 | 2062k| 843.7 | 288M | 44 |6696 | 20k| 18k| 16k| 2 |6675 | 294 | 0.000000e+00 | -- | Inf | 3.53%
1202.16/1205.44 c 1205s| 1700 | 62 | 2154k| 847.0 | 288M | 44 |6696 | 20k| 19k| 18k| 2 |6879 | 294 | 0.000000e+00 | -- | Inf | 3.53%
1237.37/1240.72 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1237.37/1240.72 c 1241s| 1800 | 54 | 2270k| 859.3 | 289M | 44 |6696 | 20k| 18k| 21k| 2 |7213 | 294 | 0.000000e+00 | -- | Inf | 3.53%
1259.71/1263.18 c 1263s| 1900 | 53 | 2346k| 855.5 | 289M | 44 |6696 | 20k| 18k| 23k| 2 |7515 | 294 | 0.000000e+00 | -- | Inf | 3.53%
1288.33/1291.87 c 1292s| 2000 | 69 | 2440k| 858.6 | 290M | 44 |6696 | 19k| 19k| 26k| 2 |7856 | 294 | 0.000000e+00 | -- | Inf | 3.53%
1309.88/1313.41 c 1313s| 2100 | 71 | 2526k| 858.6 | 291M | 44 |6696 | 19k| 19k| 28k| 2 |8174 | 294 | 0.000000e+00 | -- | Inf | 3.53%
1327.13/1330.73 c 1331s| 2200 | 66 | 2592k| 851.9 | 291M | 44 |6696 | 20k| 19k| 30k| 2 |8462 | 294 | 0.000000e+00 | -- | Inf | 3.53%
1344.19/1347.85 c 1348s| 2300 | 69 | 2653k| 844.0 | 292M | 44 |6696 | 20k| 0 | 32k| 0 |8777 | 294 | 0.000000e+00 | -- | Inf | 3.53%
1360.64/1364.36 c 1364s| 2400 | 70 | 2715k| 836.7 | 292M | 44 |6696 | 20k| 19k| 34k| 2 |9093 | 294 | 0.000000e+00 | -- | Inf | 3.53%
1374.31/1378.03 c 1378s| 2500 | 67 | 2766k| 826.8 | 292M | 44 |6696 | 20k| 0 | 36k| 0 |9415 | 294 | 0.000000e+00 | -- | Inf | 3.53%
1390.16/1393.94 c 1394s| 2600 | 65 | 2823k| 819.2 | 293M | 44 |6696 | 21k| 19k| 37k| 2 |9643 | 294 | 0.000000e+00 | -- | Inf | 3.53%
1407.71/1411.59 c 1412s| 2700 | 65 | 2890k| 814.7 | 293M | 44 |6696 | 21k| 0 | 40k| 0 |9884 | 294 | 0.000000e+00 | -- | Inf | 3.53%
1424.18/1428.07 c 1428s| 2800 | 59 | 2949k| 808.5 | 294M | 44 |6696 | 21k| 18k| 41k| 2 | 10k| 294 | 0.000000e+00 | -- | Inf | 3.53%
1439.54/1443.49 c 1443s| 2900 | 62 | 3010k| 802.9 | 294M | 44 |6696 | 21k| 19k| 43k| 2 | 10k| 294 | 0.000000e+00 | -- | Inf | 3.53%
1542.90/1547.05 c 1547s| 3000 | 63 | 3089k| 802.6 | 294M | 44 |6696 | 21k| 19k| 45k| 2 | 10k| 294 | 0.000000e+00 | -- | Inf | 3.53%
1560.75/1564.95 c 1565s| 3100 | 65 | 3159k| 799.9 | 294M | 44 |6696 | 21k| 19k| 47k| 2 | 11k| 294 | 0.000000e+00 | -- | Inf | 3.53%
1573.82/1578.07 c 1578s| 3200 | 62 | 3210k| 792.6 | 295M | 44 |6696 | 22k| 0 | 49k| 0 | 11k| 294 | 0.000000e+00 | -- | Inf | 3.53%
1587.37/1591.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1587.37/1591.67 c 1592s| 3300 | 63 | 3259k| 785.1 | 295M | 44 |6696 | 22k| 19k| 51k| 2 | 12k| 294 | 0.000000e+00 | -- | Inf | 3.53%
1601.24/1605.57 c 1606s| 3400 | 63 | 3311k| 778.7 | 295M | 44 |6696 | 22k| 19k| 52k| 2 | 12k| 294 | 0.000000e+00 | -- | Inf | 3.53%
1618.69/1623.02 c 1623s| 3500 | 63 | 3377k| 775.9 | 296M | 44 |6696 | 22k| 0 | 54k| 0 | 12k| 294 | 0.000000e+00 | -- | Inf | 3.53%
1632.95/1637.32 c 1637s| 3600 | 67 | 3433k| 771.1 | 297M | 44 |6696 | 23k| 19k| 56k| 2 | 13k| 294 | 0.000000e+00 | -- | Inf | 3.53%
1653.11/1657.50 c 1657s| 3700 | 65 | 3509k| 770.7 | 297M | 44 |6696 | 23k| 0 | 58k| 0 | 13k| 294 | 0.000000e+00 | -- | Inf | 3.53%
1664.68/1669.17 c 1669s| 3800 | 62 | 3550k| 762.8 | 298M | 44 |6696 | 23k| 19k| 60k| 2 | 14k| 294 | 0.000000e+00 | -- | Inf | 3.53%
1677.44/1681.99 c 1682s| 3900 | 63 | 3599k| 756.9 | 298M | 44 |6696 | 23k| 0 | 61k| 0 | 14k| 294 | 0.000000e+00 | -- | Inf | 3.53%
1693.39/1697.93 c 1698s| 4000 | 62 | 3659k| 753.6 | 299M | 44 |6696 | 23k| 19k| 63k| 2 | 14k| 294 | 0.000000e+00 | -- | Inf | 3.53%
1708.06/1712.65 c 1713s| 4100 | 63 | 3715k| 749.6 | 299M | 44 |6696 | 23k| 19k| 65k| 2 | 14k| 294 | 0.000000e+00 | -- | Inf | 3.53%
1721.92/1726.58 c 1727s| 4200 | 61 | 3771k| 745.8 | 300M | 44 |6696 | 23k| 19k| 67k| 2 | 15k| 294 | 0.000000e+00 | -- | Inf | 3.53%
1741.57/1746.21 c 1746s| 4300 | 55 | 3849k| 746.4 | 301M | 44 |6696 | 23k| 18k| 68k| 2 | 15k| 294 | 0.000000e+00 | -- | Inf | 3.53%
1757.92/1762.69 c 1763s| 4400 | 56 | 3915k| 744.9 | 301M | 44 |6696 | 23k| 19k| 70k| 2 | 15k| 294 | 0.000000e+00 | -- | Inf | 3.53%
1771.58/1776.35 c 1776s| 4500 | 54 | 3969k| 740.9 | 302M | 44 |6696 | 23k| 19k| 72k| 2 | 15k| 294 | 0.000000e+00 | -- | Inf | 3.53%
1790.63/1795.46 c 1795s| 4600 | 48 | 4048k| 741.9 | 302M | 44 |6696 | 22k| 18k| 74k| 2 | 16k| 294 | 0.000000e+00 | -- | Inf | 3.53%
1803.70/1808.59 c 1809s| 4700 | 52 | 4102k| 738.2 | 302M | 44 |6696 | 22k| 18k| 76k| 2 | 16k| 294 | 0.000000e+00 | -- | Inf | 3.53%
1820.36/1825.28 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1820.36/1825.28 c 1825s| 4800 | 49 | 4165k| 736.2 | 302M | 44 |6696 | 22k| 18k| 78k| 2 | 16k| 294 | 0.000000e+00 | -- | Inf | 3.53%
1837.01/1841.96 c 1842s| 4900 | 48 | 4226k| 734.0 | 303M | 44 |6696 | 22k| 18k| 80k| 2 | 16k| 294 | 0.000000e+00 | -- | Inf | 3.53%
1985.28/1990.58 c 1991s| 5000 | 52 | 4323k| 738.0 | 303M | 44 |6696 | 22k| 19k| 83k| 2 | 17k| 294 | 0.000000e+00 | -- | Inf | 3.53%
1999.44/2004.71 c 2005s| 5100 | 65 | 4373k| 734.0 | 303M | 44 |6696 | 22k| 19k| 85k| 2 | 17k| 294 | 0.000000e+00 | -- | Inf | 3.53%
2009.02/2014.32 c 2014s| 5200 | 54 | 4412k| 728.2 | 303M | 44 |6696 | 22k| 0 | 86k| 0 | 17k| 294 | 0.000000e+00 | -- | Inf | 3.53%
2026.57/2031.96 c 2032s| 5300 | 56 | 4474k| 726.5 | 304M | 44 |6696 | 22k| 19k| 88k| 2 | 18k| 294 | 0.000000e+00 | -- | Inf | 3.53%
2040.33/2045.73 c 2046s| 5400 | 54 | 4532k| 724.0 | 304M | 44 |6696 | 22k| 19k| 90k| 2 | 18k| 294 | 0.000000e+00 | -- | Inf | 3.53%
2053.80/2059.21 c 2059s| 5500 | 53 | 4585k| 720.9 | 304M | 44 |6696 | 23k| 19k| 91k| 2 | 18k| 294 | 0.000000e+00 | -- | Inf | 3.53%
2066.16/2071.64 c 2072s| 5600 | 56 | 4631k| 716.8 | 304M | 44 |6696 | 23k| 19k| 93k| 2 | 19k| 294 | 0.000000e+00 | -- | Inf | 3.53%
2077.23/2082.70 c 2083s| 5700 | 57 | 4672k| 712.0 | 305M | 44 |6696 | 23k| 19k| 94k| 2 | 19k| 294 | 0.000000e+00 | -- | Inf | 3.53%
2088.70/2094.28 c 2094s| 5800 | 50 | 4721k| 708.6 | 305M | 44 |6696 | 23k| 18k| 96k| 2 | 19k| 294 | 0.000000e+00 | -- | Inf | 3.53%
2101.47/2107.05 c 2107s| 5900 | 52 | 4773k| 705.9 | 305M | 44 |6696 | 23k| 19k| 98k| 2 | 20k| 294 | 0.000000e+00 | -- | Inf | 3.53%
2109.84/2115.41 c 2115s| 6000 | 50 | 4808k| 700.7 | 306M | 44 |6696 | 23k| 0 | 99k| 0 | 20k| 294 | 0.000000e+00 | -- | Inf | 3.53%
2117.43/2123.06 c 2123s| 6100 | 53 | 4840k| 695.0 | 306M | 44 |6696 | 23k| 19k| 100k| 2 | 20k| 294 | 0.000000e+00 | -- | Inf | 3.53%
2127.79/2133.43 c 2133s| 6200 | 52 | 4883k| 691.2 | 306M | 44 |6696 | 23k| 0 | 101k| 0 | 20k| 294 | 0.000000e+00 | -- | Inf | 3.53%
2136.78/2142.40 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2136.78/2142.40 c 2142s| 6300 | 51 | 4921k| 686.8 | 306M | 44 |6696 | 24k| 0 | 103k| 0 | 20k| 294 | 0.000000e+00 | -- | Inf | 3.54%
2145.55/2151.21 c 2151s| 6400 | 49 | 4958k| 682.4 | 306M | 44 |6696 | 24k| 0 | 104k| 0 | 21k| 294 | 0.000000e+00 | -- | Inf | 3.54%
2158.02/2163.75 c 2164s| 6500 | 49 | 5010k| 680.1 | 306M | 44 |6696 | 24k| 0 | 106k| 0 | 21k| 294 | 0.000000e+00 | -- | Inf | 3.54%
2171.18/2176.93 c 2177s| 6600 | 47 | 5063k| 678.1 | 306M | 44 |6696 | 24k| 18k| 108k| 2 | 21k| 294 | 0.000000e+00 | -- | Inf | 3.54%
2184.24/2190.06 c 2190s| 6700 | 48 | 5115k| 675.9 | 307M | 44 |6696 | 24k| 0 | 109k| 0 | 21k| 294 | 0.000000e+00 | -- | Inf | 3.54%
2210.74/2216.64 c 2217s| 6800 | 26 | 5206k| 679.1 | 307M | 44 |6696 | 22k| 18k| 112k| 1 | 22k| 294 | 0.000000e+00 | -- | Inf | 34.42%
2226.91/2232.89 c 2233s| 6900 | 25 | 5268k| 678.3 | 307M | 44 |6696 | 22k| 19k| 114k| 2 | 22k| 294 | 0.000000e+00 | -- | Inf | 34.42%
2256.63/2262.67 c 2263s| 7000 | 29 | 5381k| 684.1 | 310M | 44 |6696 | 22k| 0 | 117k| 0 | 22k| 294 | 0.000000e+00 | -- | Inf | 46.92%
2418.37/2424.74 c 2425s| 7100 | 40 | 5471k| 686.9 | 311M | 44 |6696 | 22k| 19k| 119k| 2 | 22k| 294 | 0.000000e+00 | -- | Inf | 50.05%
2435.02/2441.47 c 2441s| 7200 | 41 | 5538k| 686.6 | 312M | 44 |6696 | 23k| 19k| 121k| 2 | 22k| 294 | 0.000000e+00 | -- | Inf | 50.05%
2449.78/2456.22 c 2456s| 7300 | 44 | 5598k| 685.5 | 313M | 44 |6696 | 23k| 18k| 123k| 2 | 23k| 294 | 0.000000e+00 | -- | Inf | 50.05%
2468.43/2474.91 c 2475s| 7400 | 56 | 5665k| 685.4 | 313M | 44 |6696 | 23k| 0 | 125k| 0 | 23k| 294 | 0.000000e+00 | -- | Inf | 50.05%
2491.27/2497.89 c 2498s| 7500 | 62 | 5743k| 686.6 | 314M | 44 |6696 | 23k| 19k| 127k| 2 | 23k| 294 | 0.000000e+00 | -- | Inf | 50.05%
2510.53/2517.12 c 2517s| 7600 | 53 | 5819k| 687.4 | 314M | 44 |6696 | 23k| 0 | 129k| 0 | 23k| 294 | 0.000000e+00 | -- | Inf | 50.05%
2544.44/2551.16 c 2551s| 7700 | 64 | 5935k| 693.0 | 314M | 44 |6696 | 23k| 19k| 132k| 2 | 24k| 294 | 0.000000e+00 | -- | Inf | 50.05%
2556.31/2563.05 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2556.31/2563.05 c 2563s| 7800 | 63 | 5986k| 690.8 | 315M | 44 |6696 | 23k| 19k| 134k| 2 | 24k| 294 | 0.000000e+00 | -- | Inf | 50.05%
2571.47/2578.21 c 2578s| 7900 | 64 | 6039k| 689.0 | 316M | 44 |6696 | 23k| 19k| 136k| 2 | 24k| 294 | 0.000000e+00 | -- | Inf | 50.05%
2584.34/2591.13 c 2591s| 8000 | 62 | 6090k| 687.0 | 316M | 44 |6696 | 23k| 19k| 137k| 2 | 24k| 294 | 0.000000e+00 | -- | Inf | 50.05%
2613.26/2620.11 c 2620s| 8100 | 66 | 6189k| 690.4 | 317M | 44 |6696 | 23k| 19k| 140k| 2 | 24k| 294 | 0.000000e+00 | -- | Inf | 50.05%
2632.31/2639.29 c 2639s| 8200 | 59 | 6262k| 690.9 | 317M | 44 |6696 | 24k| 19k| 142k| 2 | 25k| 294 | 0.000000e+00 | -- | Inf | 50.05%
2651.86/2658.88 c 2659s| 8300 | 60 | 6324k| 690.0 | 317M | 44 |6696 | 24k| 19k| 144k| 2 | 25k| 294 | 0.000000e+00 | -- | Inf | 50.05%
2674.20/2681.20 c 2681s| 8400 | 68 | 6408k| 691.7 | 318M | 44 |6696 | 24k| 0 | 146k| 0 | 25k| 294 | 0.000000e+00 | -- | Inf | 50.05%
2690.46/2697.58 c 2698s| 8500 | 54 | 6470k| 690.9 | 318M | 44 |6696 | 24k| 18k| 148k| 2 | 25k| 294 | 0.000000e+00 | -- | Inf | 50.05%
2708.11/2715.26 c 2715s| 8600 | 56 | 6536k| 690.6 | 319M | 44 |6696 | 24k| 19k| 151k| 2 | 25k| 294 | 0.000000e+00 | -- | Inf | 50.05%
2723.87/2731.04 c 2731s| 8700 | 46 | 6596k| 689.7 | 319M | 44 |6696 | 24k| 0 | 153k| 0 | 25k| 294 | 0.000000e+00 | -- | Inf | 50.05%
2749.70/2756.90 c 2757s| 8800 | 50 | 6687k| 692.0 | 319M | 44 |6696 | 24k| 19k| 156k| 2 | 26k| 294 | 0.000000e+00 | -- | Inf | 50.05%
2764.16/2771.41 c 2771s| 8900 | 53 | 6743k| 690.5 | 320M | 44 |6696 | 23k| 19k| 157k| 2 | 26k| 294 | 0.000000e+00 | -- | Inf | 50.05%
2776.93/2784.29 c 2784s| 9000 | 52 | 6791k| 688.4 | 320M | 44 |6696 | 23k| 19k| 159k| 2 | 26k| 294 | 0.000000e+00 | -- | Inf | 50.05%
2789.80/2797.16 c 2797s| 9100 | 51 | 6841k| 686.5 | 320M | 44 |6696 | 24k| 0 | 160k| 0 | 26k| 294 | 0.000000e+00 | -- | Inf | 50.05%
2896.85/2904.44 c 2904s| 9200 | 50 | 6918k| 687.3 | 320M | 44 |6696 | 24k| 19k| 162k| 2 | 26k| 294 | 0.000000e+00 | -- | Inf | 50.05%
2916.10/2923.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2916.10/2923.76 c 2924s| 9300 | 56 | 6987k| 687.4 | 320M | 44 |6696 | 24k| 0 | 164k| 0 | 27k| 294 | 0.000000e+00 | -- | Inf | 50.05%
2941.03/2948.78 c 2949s| 9400 | 72 | 7080k| 689.8 | 320M | 44 |6696 | 24k| 19k| 167k| 2 | 27k| 294 | 0.000000e+00 | -- | Inf | 50.06%
2951.11/2958.80 c 2959s| 9500 | 49 | 7123k| 687.2 | 320M | 44 |6696 | 24k| 0 | 168k| 0 | 27k| 294 | 0.000000e+00 | -- | Inf | 50.06%
2964.67/2972.41 c 2972s| 9600 | 57 | 7176k| 685.7 | 321M | 44 |6696 | 24k| 19k| 170k| 2 | 27k| 294 | 0.000000e+00 | -- | Inf | 50.06%
2979.63/2987.45 c 2987s| 9700 | 50 | 7233k| 684.6 | 321M | 44 |6696 | 24k| 19k| 171k| 2 | 27k| 294 | 0.000000e+00 | -- | Inf | 50.06%
2998.29/3006.14 c 3006s| 9800 | 47 | 7301k| 684.5 | 321M | 44 |6696 | 24k| 19k| 174k| 2 | 28k| 294 | 0.000000e+00 | -- | Inf | 50.06%
3018.53/3026.49 c 3026s| 9900 | 43 | 7376k| 685.2 | 321M | 44 |6696 | 24k| 19k| 176k| 2 | 28k| 294 | 0.000000e+00 | -- | Inf | 50.06%
3033.89/3041.82 c 3042s| 10000 | 42 | 7433k| 684.1 | 321M | 44 |6696 | 24k| 0 | 177k| 0 | 28k| 294 | 0.000000e+00 | -- | Inf | 50.06%
3054.84/3062.81 c 3063s| 10100 | 43 | 7508k| 684.7 | 321M | 44 |6696 | 24k| 19k| 180k| 2 | 28k| 294 | 0.000000e+00 | -- | Inf | 50.06%
3072.59/3080.64 c 3081s| 10200 | 36 | 7570k| 684.1 | 322M | 44 |6696 | 24k| 0 | 182k| 0 | 28k| 294 | 0.000000e+00 | -- | Inf | 50.06%
3090.14/3098.20 c 3098s| 10300 | 45 | 7633k| 683.7 | 322M | 44 |6696 | 24k| 19k| 184k| 2 | 29k| 294 | 0.000000e+00 | -- | Inf | 50.06%
3103.11/3111.27 c 3111s| 10400 | 56 | 7681k| 681.8 | 322M | 44 |6696 | 24k| 19k| 185k| 2 | 29k| 294 | 0.000000e+00 | -- | Inf | 50.06%
3115.67/3123.84 c 3124s| 10500 | 48 | 7730k| 680.1 | 322M | 44 |6696 | 25k| 19k| 187k| 2 | 29k| 294 | 0.000000e+00 | -- | Inf | 50.06%
3127.85/3136.02 c 3136s| 10600 | 45 | 7774k| 678.0 | 322M | 44 |6696 | 25k| 0 | 188k| 0 | 30k| 294 | 0.000000e+00 | -- | Inf | 50.06%
3146.09/3154.37 c 3154s| 10700 | 41 | 7848k| 678.6 | 322M | 44 |6696 | 25k| 0 | 191k| 0 | 30k| 294 | 0.000000e+00 | -- | Inf | 50.06%
3166.64/3174.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3166.64/3174.96 c 3175s| 10800 | 49 | 7917k| 678.6 | 323M | 44 |6696 | 25k| 0 | 193k| 0 | 30k| 294 | 0.000000e+00 | -- | Inf | 50.06%
3186.49/3194.88 c 3195s| 10900 | 49 | 7992k| 679.2 | 323M | 44 |6696 | 25k| 19k| 195k| 2 | 30k| 294 | 0.000000e+00 | -- | Inf | 50.07%
3205.74/3214.18 c 3214s| 11000 | 43 | 8065k| 679.6 | 323M | 44 |6696 | 25k| 0 | 197k| 0 | 31k| 294 | 0.000000e+00 | -- | Inf | 50.07%
3222.70/3231.17 c 3231s| 11100 | 39 | 8131k| 679.5 | 324M | 44 |6696 | 25k| 19k| 199k| 2 | 31k| 294 | 0.000000e+00 | -- | Inf | 50.07%
3241.95/3250.42 c 3250s| 11200 | 39 | 8207k| 680.2 | 324M | 44 |6696 | 25k| 0 | 202k| 0 | 31k| 294 | 0.000000e+00 | -- | Inf | 50.07%
3396.60/3405.47 c 3405s| 11300 | 51 | 8287k| 681.1 | 324M | 44 |6696 | 25k| 19k| 203k| 2 | 31k| 294 | 0.000000e+00 | -- | Inf | 50.07%
3418.05/3426.93 c 3427s| 11400 | 56 | 8372k| 682.5 | 324M | 44 |6696 | 25k| 0 | 205k| 0 | 32k| 294 | 0.000000e+00 | -- | Inf | 50.07%
3433.41/3442.37 c 3442s| 11500 | 54 | 8429k| 681.6 | 324M | 44 |6696 | 25k| 0 | 207k| 0 | 32k| 294 | 0.000000e+00 | -- | Inf | 50.07%
3451.56/3460.51 c 3460s| 11600 | 48 | 8495k| 681.5 | 324M | 44 |6696 | 26k| 19k| 209k| 2 | 32k| 294 | 0.000000e+00 | -- | Inf | 50.08%
3471.80/3480.88 c 3481s| 11700 | 54 | 8570k| 682.0 | 324M | 44 |6696 | 26k| 19k| 211k| 2 | 32k| 294 | 0.000000e+00 | -- | Inf | 50.08%
3485.27/3494.39 c 3494s| 11800 | 55 | 8619k| 680.5 | 324M | 44 |6696 | 26k| 19k| 213k| 2 | 33k| 294 | 0.000000e+00 | -- | Inf | 50.08%
3497.33/3506.42 c 3506s| 11900 | 54 | 8664k| 678.7 | 324M | 44 |6696 | 26k| 0 | 214k| 0 | 33k| 294 | 0.000000e+00 | -- | Inf | 50.08%
3512.99/3522.17 c 3522s| 12000 | 49 | 8722k| 677.9 | 324M | 44 |6696 | 26k| 19k| 216k| 2 | 33k| 294 | 0.000000e+00 | -- | Inf | 50.08%
3529.54/3538.77 c 3539s| 12100 | 50 | 8781k| 677.2 | 324M | 44 |6696 | 26k| 19k| 218k| 2 | 33k| 294 | 0.000000e+00 | -- | Inf | 50.09%
3547.20/3556.43 c 3556s| 12200 | 45 | 8848k| 677.1 | 324M | 44 |6696 | 26k| 18k| 220k| 2 | 33k| 294 | 0.000000e+00 | -- | Inf | 50.10%
3565.26/3574.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3565.26/3574.53 c 3575s| 12300 | 43 | 8918k| 677.3 | 324M | 44 |6696 | 26k| 0 | 222k| 0 | 34k| 294 | 0.000000e+00 | -- | Inf | 50.10%
3576.13/3585.41 c 3585s| 12400 | 42 | 8958k| 675.2 | 324M | 44 |6696 | 26k| 19k| 223k| 2 | 34k| 294 | 0.000000e+00 | -- | Inf | 50.10%
3586.80/3596.12 c 3596s| 12500 | 41 | 9001k| 673.4 | 325M | 44 |6696 | 26k| 19k| 225k| 2 | 34k| 294 | 0.000000e+00 | -- | Inf | 50.10%
3587.70/3597.01 c
3587.70/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3587.70/3597.01 c Solving Time (sec) : 3597.00
3587.70/3597.01 c Solving Nodes : 12506 (total of 13257 nodes in 2 runs)
3587.70/3597.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3587.70/3597.01 c Dual Bound : +0.00000000000000e+00
3587.70/3597.01 c Gap : infinite
3587.70/3597.01 s UNKNOWN
3587.70/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3587.70/3597.01 c Total Time : 3597.00
3587.70/3597.01 c solving : 3597.00
3587.70/3597.01 c presolving : 1.01 (included in solving)
3587.70/3597.01 c reading : 0.03 (included in solving)
3587.70/3597.01 c copying : 0.14 (4 #copies) (minimal 0.03, maximal 0.04, average 0.03)
3587.70/3597.01 c Original Problem :
3587.70/3597.01 c Problem name : HOME/instance-4545476-1753238426.opb
3587.70/3597.01 c Variables : 6861 (6861 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.70/3597.01 c Constraints : 13501 initial, 13501 maximal
3587.70/3597.01 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.70/3597.01 c Presolved Problem :
3587.70/3597.01 c Problem name : t_HOME/instance-4545476-1753238426.opb
3587.70/3597.01 c Variables : 6696 (6696 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.70/3597.01 c Constraints : 17182 initial, 26042 maximal
3587.70/3597.01 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.70/3597.01 c Nonzeros : 78621 constraint, 19421 clique table
3587.70/3597.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.70/3597.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.70/3597.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.70/3597.01 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.70/3597.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.70/3597.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.70/3597.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.70/3597.01 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.70/3597.01 c gateextraction : 0.04 0.00 9 0 0 0 0 0 6559 2195 0 0
3587.70/3597.01 c implics : 0.00 0.00 14 0 0 0 0 0 0 0 0 0
3587.70/3597.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.70/3597.01 c milp : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
3587.70/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.70/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.70/3597.01 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.70/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.70/3597.01 c trivial : 0.00 0.00 19 67 0 0 0 0 0 0 0 0
3587.70/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.70/3597.01 c dualfix : 0.00 0.00 19 1 0 0 0 0 0 0 0 0
3587.70/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.70/3597.01 c probing : 0.47 0.00 1 0 0 0 0 0 0 0 0 0
3587.70/3597.01 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.70/3597.01 c symmetry : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
3587.70/3597.01 c vbounds : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3587.70/3597.01 c knapsack : 0.15 0.00 36 11 0 0 0 0 2588 9359 8975 18227
3587.70/3597.01 c setppc : 0.07 0.00 35 0 0 0 0 0 150 0 0 0
3587.70/3597.01 c and : 0.04 0.00 18 0 67 0 0 0 69 2 0 67
3587.70/3597.01 c linear : 0.06 0.01 20 19 0 0 19 0 62 0 216 293
3587.70/3597.01 c logicor : 0.03 0.01 32 2 0 0 0 0 707 0 0 185
3587.70/3597.01 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.70/3597.01 c components : 0.02 0.00 2 0 0 0 0 0 0 0 0 0
3587.70/3597.01 c root node : - - - 79 - - 79 - - - - -
3587.70/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.70/3597.01 c benderslp : 0 0 0 0 9173 0 0 1182 0 0 0 0 0 0 0
3587.70/3597.01 c integral : 0 0 0 0 9173 0 0 1182 0 0 0 0 0 0 18322
3587.70/3597.01 c knapsack : 8494+ 8495 34 139701 0 0 0 1177 805578 4194 1780366 6819 1114 0 0
3587.70/3597.01 c setppc : 4851+ 4872 34 135507 0 0 0 1 222275 43 127942 9 0 0 0
3587.70/3597.01 c and : 2100 2100 18033 135464 0 0 0 1 316740 2808 579381 189140 186927 0 0
3587.70/3597.01 c linear : 0+ 4 0 104189 0 0 0 3 18 5 284 0 0 0 0
3587.70/3597.01 c logicor : 1737+ 10579 34 82811 0 0 0 0 274816 1372 116198 183 54 0 0
3587.70/3597.01 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.70/3597.01 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.70/3597.01 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.70/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.70/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.70/3597.01 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.70/3597.01 c integral : 114.31 0.00 0.00 0.00 114.31 0.00 0.00 0.00 0.00 0.00
3587.70/3597.01 c knapsack : 7.11 0.00 0.12 6.61 0.00 0.00 0.00 0.01 0.31 0.05
3587.70/3597.01 c setppc : 0.43 0.00 0.02 0.34 0.00 0.00 0.00 0.00 0.07 0.01
3587.70/3597.01 c and : 13.72 0.00 9.18 4.31 0.00 0.00 0.00 0.00 0.18 0.05
3587.70/3597.01 c linear : 0.03 0.01 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
3587.70/3597.01 c logicor : 2.08 0.01 0.01 1.85 0.00 0.00 0.00 0.00 0.22 0.00
3587.70/3597.01 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.70/3597.01 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.70/3597.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.70/3597.01 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3587.70/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.70/3597.01 c dualfix : 14 0 0 0
3587.70/3597.01 c genvbounds : 0 0 0 0
3587.70/3597.01 c nlobbt : 0 0 0 0
3587.70/3597.01 c obbt : 0 0 0 0
3587.70/3597.01 c probing : 0 0 0 0
3587.70/3597.01 c pseudoobj : 0 0 0 0
3587.70/3597.01 c redcost : 0 0 0 0
3587.70/3597.01 c rootredcost : 0 0 0 0
3587.70/3597.01 c symmetry : 0 0 0 0
3587.70/3597.01 c vbounds : 115003 0 0 0
3587.70/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.70/3597.01 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.70/3597.01 c genvbounds : 0.02 0.00 0.00 0.02 0.00 0.00
3587.70/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.70/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.70/3597.01 c probing : 0.47 0.00 0.47 0.00 0.00 0.00
3587.70/3597.01 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
3587.70/3597.01 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3587.70/3597.01 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3587.70/3597.01 c symmetry : 0.07 0.00 0.04 0.02 0.00 0.00
3587.70/3597.01 c vbounds : 4.83 0.00 0.00 4.82 0.00 0.00
3587.70/3597.01 c Symmetry :
3587.70/3597.01 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.70/3597.01 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.70/3597.01 c lexicographic red: 0 reductions applied, 0 cutoffs
3587.70/3597.01 c shadow tree time : 0.00 s
3587.70/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.70/3597.01 c propagation : 1.43 8409 8364 - 103834 40.7 2638 11.1 - - -
3587.70/3597.01 c infeasible LP : 0.01 12 12 - 121 35.4 3 4.3 12 21.2 0
3587.70/3597.01 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.70/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.70/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.70/3597.01 c applied globally : 0.45 - - 0 34582 29.4 - - 12 - -
3587.70/3597.01 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.70/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.70/3597.01 c cut pool : 0.37 - 1885 78 - - 9612 119752 - - - - - (maximal pool size: 5512)
3587.70/3597.01 c aggregation : 0.39 0.00 64 34 0 0 993 8803 2 3836 3836 0 0
3587.70/3597.01 c > cmir : - - - - - - - 1257 2 386 386 0 -
3587.70/3597.01 c > flowcover : - - - - - - - 6102 0 2913 2913 0 -
3587.70/3597.01 c > knapsackcover : - - - - - - - 1444 0 537 537 0 -
3587.70/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.70/3597.01 c clique : 3.23 0.00 34 34 0 0 48 86 0 22 22 0 0
3587.70/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.70/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.70/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.70/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.70/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.70/3597.01 c gomory : 3.86 0.00 50 20 0 0 5516 72892 94 23280 23276 4 0
3587.70/3597.01 c > gomorymi : - - - - - - - 3592 47 306 303 3 -
3587.70/3597.01 c > strongcg : - - - - - - - 69300 47 22974 22973 1 -
3587.70/3597.01 c impliedbounds : 0.05 0.00 64 34 0 0 1661 2145 0 1617 1617 0 0
3587.70/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.70/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.70/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.70/3597.01 c mcf : 0.02 0.00 2 2 0 0 0 0 0 0 0 0 0
3587.70/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.70/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.70/3597.01 c multilinear : 0.00 0.00 266 34 0 0 0 0 0 0 0 0 0
3587.70/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.70/3597.01 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.70/3597.01 c rlt : 7.98 0.00 44 20 0 0 344 512 83 171 127 44 0
3587.70/3597.01 c zerohalf : 1.66 0.00 61 31 0 0 1392 35314 163 19898 19801 97 0
3587.70/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.70/3597.01 c hybrid : 0.24 0.00 16350 46 236920 2 79325 4619 0 18433
3587.70/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.70/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.70/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3587.70/3597.01 c problem variables: 0.00 - 0 0
3587.70/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.70/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.70/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.70/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.70/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.70/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.70/3597.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.70/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.70/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.70/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.70/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.70/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.70/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.70/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.70/3597.01 c relpscost : 114.29 0.00 9173 0 0 0 0 0 0 18322
3587.70/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.70/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.70/3597.01 c LP solutions : 0.00 - - 0 0
3587.70/3597.01 c relax solutions : 0.00 - - 0 0
3587.70/3597.01 c pseudo solutions : 0.00 - - 0 0
3587.70/3597.01 c strong branching : 0.00 - - 0 0
3587.70/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3587.70/3597.01 c adaptivediving : 19.62 0.00 47 0 0
3587.70/3597.01 c alns : 0.41 0.00 4 0 0
3587.70/3597.01 c bound : 0.00 0.00 0 0 0
3587.70/3597.01 c clique : 0.04 0.00 1 0 0
3587.70/3597.01 c coefdiving : 0.00 0.00 0 0 0
3587.70/3597.01 c completesol : 0.00 0.00 0 0 0
3587.70/3597.01 c conflictdiving : 13.90 0.00 42 0 0
3587.70/3597.01 c crossover : 0.00 0.00 0 0 0
3587.70/3597.01 c dins : 0.00 0.00 0 0 0
3587.70/3597.01 c distributiondivin: 23.33 0.00 40 0 0
3587.70/3597.01 c dps : 0.00 0.00 0 0 0
3587.70/3597.01 c dualval : 0.00 0.00 0 0 0
3587.70/3597.01 c farkasdiving : 0.00 0.00 0 0 0
3587.70/3597.01 c feasjump : 0.05 0.00 2 0 0
3587.70/3597.01 c feaspump : 42.63 0.00 11 0 0
3587.70/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3587.70/3597.01 c fracdiving : 0.89 0.00 40 0 0
3587.70/3597.01 c gins : 0.00 0.00 0 0 0
3587.70/3597.01 c guideddiving : 0.00 0.00 0 0 0
3587.70/3597.01 c indcoefdiving : 0.00 0.00 0 0 0
3587.70/3597.01 c indicator : 0.01 0.00 0 0 0
3587.70/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3587.70/3597.01 c indoneopt : 0.01 0.00 0 0 0
3587.70/3597.01 c indrounding : 0.00 0.00 0 0 0
3587.70/3597.01 c indtwoopt : 0.00 0.00 0 0 0
3587.70/3597.01 c intdiving : 0.00 0.00 0 0 0
3587.70/3597.01 c intshifting : 0.00 0.00 0 0 0
3587.70/3597.01 c linesearchdiving : 9.81 0.00 44 0 0
3587.70/3597.01 c localbranching : 0.00 0.00 0 0 0
3587.70/3597.01 c locks : 0.02 0.00 1 0 0
3587.70/3597.01 c lpface : 0.12 0.00 0 0 0
3587.70/3597.01 c mpec : 0.00 0.00 0 0 0
3587.70/3597.01 c multistart : 0.00 0.00 0 0 0
3587.70/3597.01 c mutation : 0.00 0.00 0 0 0
3587.70/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3587.70/3597.01 c objpscostdiving : 933.26 0.00 8 0 0
3587.70/3597.01 c octane : 0.00 0.00 0 0 0
3587.70/3597.01 c ofins : 0.00 0.00 0 0 0
3587.70/3597.01 c oneopt : 0.01 0.00 0 0 0
3587.70/3597.01 c padm : 0.00 0.00 0 0 0
3587.70/3597.01 c proximity : 0.00 0.00 0 0 0
3587.70/3597.01 c pscostdiving : 9.67 0.00 41 0 0
3587.70/3597.01 c randrounding : 11.19 0.00 1228 0 0
3587.70/3597.01 c rens : 0.00 0.00 0 0 0
3587.70/3597.01 c reoptsols : 0.00 0.00 0 0 0
3587.70/3597.01 c repair : 0.00 0.00 0 0 0
3587.70/3597.01 c rins : 0.00 0.00 0 0 0
3587.70/3597.01 c rootsoldiving : 40.83 0.00 12 0 0
3587.70/3597.01 c rounding : 1.72 0.00 2263 0 0
3587.70/3597.01 c scheduler : 0.00 0.00 0 0 0
3587.70/3597.01 c shiftandpropagate: 0.07 0.00 2 0 0
3587.70/3597.01 c shifting : 8.88 0.00 693 0 0
3587.70/3597.01 c simplerounding : 0.01 0.00 0 0 0
3587.70/3597.01 c smallcard : 0.00 0.00 0 0 0
3587.70/3597.01 c subnlp : 0.01 0.00 0 0 0
3587.70/3597.01 c trivial : 0.01 0.00 4 0 0
3587.70/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3587.70/3597.01 c trustregion : 0.00 0.00 0 0 0
3587.70/3597.01 c trysol : 0.01 0.00 0 0 0
3587.70/3597.01 c twoopt : 0.00 0.00 0 0 0
3587.70/3597.01 c undercover : 0.00 0.00 1 0 0
3587.70/3597.01 c vbounds : 0.04 0.00 2 0 0
3587.70/3597.01 c veclendiving : 10.65 0.00 42 0 0
3587.70/3597.01 c zeroobj : 0.00 0.00 0 0 0
3587.70/3597.01 c zirounding : 1.55 0.00 1000 0 0
3587.70/3597.01 c other solutions : - - - 0 -
3587.70/3597.01 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.70/3597.01 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.70/3597.01 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.70/3597.01 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.70/3597.01 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.70/3597.01 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.70/3597.01 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.70/3597.01 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.70/3597.01 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3587.70/3597.01 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3587.70/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.70/3597.01 c primal LP : 2.46 883 0 0.00 0.00 2.46 883
3587.70/3597.01 c dual LP : 2223.10 25524 8373735 328.07 3766.69 0.00 0
3587.70/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3587.70/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.70/3597.01 c resolve instable : 0.00 0 0 0.00 -
3587.70/3597.01 c diving/probing LP: 1127.36 3585 631398 176.12 560.07
3587.70/3597.01 c strong branching : 76.76 294 180106 612.61 2346.47 - - 224
3587.70/3597.01 c (at root node) : - 294 180106 612.61 -
3587.70/3597.01 c conflict analysis: 0.00 0 0 0.00 -
3587.70/3597.01 c B&B Tree :
3587.70/3597.01 c number of runs : 2
3587.70/3597.01 c nodes : 12506 (8610 internal, 3896 leaves)
3587.70/3597.01 c feasible leaves : 0
3587.70/3597.01 c infeas. leaves : 3895
3587.70/3597.01 c objective leaves : 0
3587.70/3597.01 c nodes (total) : 13257 (9161 internal, 4096 leaves)
3587.70/3597.01 c nodes left : 39
3587.70/3597.01 c max depth : 44
3587.70/3597.01 c max depth (total): 44
3587.70/3597.01 c backtracks : 3521 (28.2%)
3587.70/3597.01 c early backtracks : 0 (0.0%)
3587.70/3597.01 c nodes exc. ref. : 0 (0.0%)
3587.70/3597.01 c delayed cutoffs : 4677
3587.70/3597.01 c repropagations : 14095 (1107936 domain reductions, 3301 cutoffs)
3587.70/3597.01 c avg switch length: 3.40
3587.70/3597.01 c switching time : 8.62
3587.70/3597.01 c Root Node :
3587.70/3597.01 c First LP value : +0.00000000000000e+00
3587.70/3597.01 c First LP Iters : 5118 (25130.49 Iter/sec)
3587.70/3597.01 c First LP Time : 0.20
3587.70/3597.01 c Final Dual Bound : +0.00000000000000e+00
3587.70/3597.01 c Final Root Iters : 79573
3587.70/3597.01 c Root LP Estimate : +3.48782277759485e-02
3587.70/3597.01 c Solution :
3587.70/3597.01 c Solutions found : 0 (0 improvements)
3587.70/3597.01 c Primal Bound : -
3587.70/3597.01 c Dual Bound : +0.00000000000000e+00
3587.70/3597.01 c Gap : infinite
3587.70/3597.01 c Integrals : Total Avg%
3587.70/3597.01 c primal-dual : 359699.78 100.00
3587.70/3597.01 c primal-ref : - - (not evaluated)
3587.70/3597.01 c dual-ref : - - (not evaluated)
3587.70/3597.10 c Time complete: 3587.8.
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 (62466 MiB free)
memory of node 1: 64465 MiB (62043 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4545476-1753238426/watcher-4545476-1753238426 -o /tmp/evaluation-result-4545476-1753238426/solver-4545476-1753238426 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1753234827-173194 --watchdog 3760 pbscip -f HOME/instance-4545476-1753238426.opb -t 3600 -j 2 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=173572, runsolver pid=173566
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.13 4.20 4.09 3/258 173578
/proc/meminfo: memFree=129043192/131250000 swapFree=33008356/33010684
[pid=173572] ppid=173566 vsize=84328 memory=56192 CPUtime=0.08 cores=4,6
/proc/173572/stat : 173572 (pbscip) R 173566 173572 173183 0 -1 4194304 10854 0 0 0 7 1 0 0 20 0 1 0 239519205 86351872 14016 18446744073709551615 4235264 18693293 140733303132960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 35459072 140733303134599 140733303134698 140733303134698 140733303140302 0
/proc/173572/statm: 21082 14016 3552 3530 0 12533 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 84328 KiB
Current children cumulated memory: 56192 KiB
[startup+0.205632 s]*
/proc/loadavg: 4.13 4.20 4.09 4/258 173582
/proc/meminfo: memFree=129007520/131250000 swapFree=33008356/33010684
[pid=173572] ppid=173566 vsize=105824 memory=79080 CPUtime=0.18 cores=4,6
/proc/173572/stat : 173572 (pbscip) R 173566 173572 173183 0 -1 4194304 18784 0 0 0 16 2 0 0 20 0 1 0 239519205 108363776 19770 18446744073709551615 4235264 18693293 140733303132960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 35459072 140733303134599 140733303134698 140733303134698 140733303140302 0
/proc/173572/statm: 26456 19770 3712 3530 0 17907 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 105824 KiB
Current children cumulated memory: 79080 KiB
[startup+0.30579 s]*
/proc/loadavg: 4.13 4.20 4.09 3/256 173586
/proc/meminfo: memFree=128998416/131250000 swapFree=33008356/33010684
[pid=173572] ppid=173566 vsize=109280 memory=81768 CPUtime=0.28 cores=4,6
/proc/173572/stat : 173572 (pbscip) R 173566 173572 173183 0 -1 4194304 19445 0 0 0 25 3 0 0 20 0 1 0 239519205 111902720 20442 18446744073709551615 4235264 18693293 140733303132960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 35459072 140733303134599 140733303134698 140733303134698 140733303140302 0
/proc/173572/statm: 27320 20442 3712 3530 0 18771 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 109280 KiB
Current children cumulated memory: 81768 KiB
[startup+0.700161 s]
/proc/loadavg: 4.13 4.20 4.09 3/256 173586
/proc/meminfo: memFree=128970444/131250000 swapFree=33008356/33010684
[pid=173572] ppid=173566 vsize=110144 memory=82536 CPUtime=0.67 cores=4,6
/proc/173572/stat : 173572 (pbscip) R 173566 173572 173183 0 -1 4194304 19638 0 0 0 64 3 0 0 20 0 1 0 239519205 112787456 20634 18446744073709551615 4235264 18693293 140733303132960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 35459072 140733303134599 140733303134698 140733303134698 140733303140302 0
/proc/173572/statm: 27536 20634 3712 3530 0 18987 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 110144 KiB
Current children cumulated memory: 82536 KiB
[startup+1.50019 s]
/proc/loadavg: 4.13 4.20 4.09 4/258 173607
/proc/meminfo: memFree=128872952/131250000 swapFree=33008356/33010684
[pid=173572] ppid=173566 vsize=160660 memory=125616 CPUtime=1.46 cores=4,6
/proc/173572/stat : 173572 (pbscip) R 173566 173572 173183 0 -1 4194304 32414 0 0 0 140 6 0 0 20 0 1 0 239519205 164515840 31404 18446744073709551615 4235264 18693293 140733303132960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 35459072 140733303134599 140733303134698 140733303134698 140733303140302 0
/proc/173572/statm: 40165 31404 3904 3530 0 31616 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 160660 KiB
Current children cumulated memory: 125616 KiB
[startup+3.1054 s]
/proc/loadavg: 4.12 4.20 4.09 5/264 173660
/proc/meminfo: memFree=128623748/131250000 swapFree=33008356/33010684
[pid=173572] ppid=173566 vsize=187508 memory=147200 CPUtime=3.05 cores=4,6
/proc/173572/stat : 173572 (pbscip) R 173566 173572 173183 0 -1 4194304 36823 0 0 0 299 6 0 0 20 0 1 0 239519205 192008192 36800 18446744073709551615 4235264 18693293 140733303132960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 35459072 140733303134599 140733303134698 140733303134698 140733303140302 0
/proc/173572/statm: 46877 36800 3904 3530 0 38328 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 187508 KiB
Current children cumulated memory: 147200 KiB
[startup+6.30016 s]
/proc/loadavg: 4.12 4.20 4.09 5/264 173660
/proc/meminfo: memFree=128537752/131250000 swapFree=33008356/33010684
[pid=173572] ppid=173566 vsize=198988 memory=153984 CPUtime=6.24 cores=4,6
/proc/173572/stat : 173572 (pbscip) R 173566 173572 173183 0 -1 4194304 38521 0 0 0 617 7 0 0 20 0 1 0 239519205 203763712 38496 18446744073709551615 4235264 18693293 140733303132960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 35459072 140733303134599 140733303134698 140733303134698 140733303140302 0
/proc/173572/statm: 49747 38496 3904 3530 0 41198 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 198988 KiB
Current children cumulated memory: 153984 KiB
[startup+12.7001 s]
/proc/loadavg: 4.10 4.19 4.09 5/263 173661
/proc/meminfo: memFree=128470816/131250000 swapFree=33008356/33010684
[pid=173572] ppid=173566 vsize=215172 memory=165504 CPUtime=12.61 cores=4,6
/proc/173572/stat : 173572 (pbscip) R 173566 173572 173183 0 -1 4194304 41361 0 0 0 1254 7 0 0 20 0 1 0 239519205 220336128 41376 18446744073709551615 4235264 18693293 140733303132960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 35459072 140733303134599 140733303134698 140733303134698 140733303140302 0
/proc/173572/statm: 53793 41376 3904 3530 0 45244 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 215172 KiB
Current children cumulated memory: 165504 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.20 4.09 5/263 173661
/proc/meminfo: memFree=128325920/131250000 swapFree=33008356/33010684
[pid=173572] ppid=173566 vsize=247780 memory=197600 CPUtime=25.38 cores=4,6
/proc/173572/stat : 173572 (pbscip) R 173566 173572 173183 0 -1 4194304 53018 0 0 0 2529 9 0 0 20 0 1 0 239519205 253726720 49400 18446744073709551615 4235264 18693293 140733303132960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 35459072 140733303134599 140733303134698 140733303134698 140733303140302 0
/proc/173572/statm: 61945 49400 3904 3530 0 53396 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 247780 KiB
Current children cumulated memory: 197600 KiB
[startup+51.1055 s]
/proc/loadavg: 4.11 4.18 4.09 5/263 173661
/proc/meminfo: memFree=128311400/131250000 swapFree=33008356/33010684
[pid=173572] ppid=173566 vsize=247780 memory=198624 CPUtime=50.91 cores=4,6
/proc/173572/stat : 173572 (pbscip) R 173566 173572 173183 0 -1 4194304 53023 0 0 0 5082 9 0 0 20 0 1 0 239519205 253726720 49656 18446744073709551615 4235264 18693293 140733303132960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 35459072 140733303134599 140733303134698 140733303134698 140733303140302 0
/proc/173572/statm: 61945 49656 3904 3530 0 53396 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 247780 KiB
Current children cumulated memory: 198624 KiB
[startup+102.3 s]
/proc/loadavg: 3.72 4.07 4.06 4/258 173698
/proc/meminfo: memFree=128393700/131250000 swapFree=33008356/33010684
[pid=173572] ppid=173566 vsize=247780 memory=216032 CPUtime=101.95 cores=4,6
/proc/173572/stat : 173572 (pbscip) R 173566 173572 173183 0 -1 4194304 53088 0 0 0 10186 9 0 0 20 0 1 0 239519205 253726720 54008 18446744073709551615 4235264 18693293 140733303132960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 35459072 140733303134599 140733303134698 140733303134698 140733303140302 0
/proc/173572/statm: 61945 54008 3904 3530 0 53396 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 247780 KiB
Current children cumulated memory: 216032 KiB
[startup+162.3 s]
/proc/loadavg: 3.32 3.89 3.99 4/257 173700
/proc/meminfo: memFree=128210876/131250000 swapFree=33008356/33010684
[pid=173572] ppid=173566 vsize=279924 memory=252812 CPUtime=161.8 cores=4,6
/proc/173572/stat : 173572 (pbscip) R 173566 173572 173183 0 -1 4194304 64876 0 0 0 16169 11 0 0 20 0 1 0 239519205 286642176 63203 18446744073709551615 4235264 18693293 140733303132960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 35459072 140733303134599 140733303134698 140733303134698 140733303140302 0
/proc/173572/statm: 69981 63203 3936 3530 0 61432 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 279924 KiB
Current children cumulated memory: 252812 KiB
[startup+222.3 s]
/proc/loadavg: 3.26 3.77 3.95 4/257 173702
/proc/meminfo: memFree=128211964/131250000 swapFree=33008356/33010684
[pid=173572] ppid=173566 vsize=279924 memory=252812 CPUtime=221.67 cores=4,6
/proc/173572/stat : 173572 (pbscip) R 173566 173572 173183 0 -1 4194304 64954 0 0 0 22156 11 0 0 20 0 1 0 239519205 286642176 63203 18446744073709551615 4235264 18693293 140733303132960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 35459072 140733303134599 140733303134698 140733303134698 140733303140302 0
/proc/173572/statm: 69981 63203 3936 3530 0 61432 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 279924 KiB
Current children cumulated memory: 252812 KiB
[startup+282.3 s]
/proc/loadavg: 3.32 3.71 3.92 4/259 173707
/proc/meminfo: memFree=128208748/131250000 swapFree=33008356/33010684
[pid=173572] ppid=173566 vsize=280176 memory=253068 CPUtime=281.52 cores=4,6
/proc/173572/stat : 173572 (pbscip) R 173566 173572 173183 0 -1 4194304 65041 0 0 0 28141 11 0 0 20 0 1 0 239519205 286900224 63267 18446744073709551615 4235264 18693293 140733303132960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 35459072 140733303134599 140733303134698 140733303134698 140733303140302 0
/proc/173572/statm: 70044 63267 3936 3530 0 61495 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 280176 KiB
Current children cumulated memory: 253068 KiB
[startup+342.3 s]
/proc/loadavg: 3.17 3.60 3.86 4/260 173714
/proc/meminfo: memFree=128178652/131250000 swapFree=33008356/33010684
[pid=173572] ppid=173566 vsize=320100 memory=290052 CPUtime=341.37 cores=4,6
/proc/173572/stat : 173572 (pbscip) R 173566 173572 173183 0 -1 4194304 77953 0 0 0 34125 12 0 0 20 0 1 0 239519205 327782400 72513 18446744073709551615 4235264 18693293 140733303132960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 35459072 140733303134599 140733303134698 140733303134698 140733303140302 0
/proc/173572/statm: 80025 72513 3936 3530 0 71476 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 320100 KiB
Current children cumulated memory: 290052 KiB
[startup+402.3 s]
/proc/loadavg: 3.15 3.52 3.81 4/260 173716
/proc/meminfo: memFree=128190536/131250000 swapFree=33008356/33010684
[pid=173572] ppid=173566 vsize=320100 memory=290052 CPUtime=401.22 cores=4,6
/proc/173572/stat : 173572 (pbscip) R 173566 173572 173183 0 -1 4194304 77953 0 0 0 40110 12 0 0 20 0 1 0 239519205 327782400 72513 18446744073709551615 4235264 18693293 140733303132960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 35459072 140733303134599 140733303134698 140733303134698 140733303140302 0
/proc/173572/statm: 80025 72513 3936 3530 0 71476 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 320100 KiB
Current children cumulated memory: 290052 KiB
[startup+462.3 s]
/proc/loadavg: 3.15 3.45 3.77 4/259 173718
/proc/meminfo: memFree=128186472/131250000 swapFree=33008356/33010684
[pid=173572] ppid=173566 vsize=320100 memory=290052 CPUtime=461.06 cores=4,6
/proc/173572/stat : 173572 (pbscip) R 173566 173572 173183 0 -1 4194304 77961 0 0 0 46094 12 0 0 20 0 1 0 239519205 327782400 72513 18446744073709551615 4235264 18693293 140733303132960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 35459072 140733303134599 140733303134698 140733303134698 140733303140302 0
/proc/173572/statm: 80025 72513 3936 3530 0 71476 0
################
# More data... #
################
/proc/loadavg: 2.14 2.15 2.47 3/253 173890
/proc/meminfo: memFree=128318368/131250000 swapFree=33008356/33010684
[pid=173572] ppid=173566 vsize=391132 memory=363712 CPUtime=3154.07 cores=4,6
/proc/173572/stat : 173572 (pbscip) R 173566 173572 173183 0 -1 4194304 93525 0 0 0 315387 20 0 0 20 0 1 0 239519205 400519168 90928 18446744073709551615 4235264 18693293 140733303132960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 35459072 140733303134599 140733303134698 140733303134698 140733303140302 0
/proc/173572/statm: 97783 90928 3936 3530 0 89234 0
Current children cumulated CPU time: 3154.07 s
Current children cumulated vsize: 391132 KiB
Current children cumulated memory: 363712 KiB
[startup+3222.3 s]
/proc/loadavg: 2.11 2.14 2.44 3/253 173892
/proc/meminfo: memFree=128319000/131250000 swapFree=33008356/33010684
[pid=173572] ppid=173566 vsize=391728 memory=364224 CPUtime=3213.91 cores=4,6
/proc/173572/stat : 173572 (pbscip) R 173566 173572 173183 0 -1 4194304 93676 0 0 0 321371 20 0 0 20 0 1 0 239519205 401129472 91056 18446744073709551615 4235264 18693293 140733303132960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 35459072 140733303134599 140733303134698 140733303134698 140733303140302 0
/proc/173572/statm: 97932 91056 3936 3530 0 89383 0
Current children cumulated CPU time: 3213.91 s
Current children cumulated vsize: 391728 KiB
Current children cumulated memory: 364224 KiB
[startup+3282.3 s]
/proc/loadavg: 2.08 2.12 2.42 3/252 173894
/proc/meminfo: memFree=128319548/131250000 swapFree=33008356/33010684
[pid=173572] ppid=173566 vsize=392488 memory=365248 CPUtime=3273.77 cores=4,6
/proc/173572/stat : 173572 (pbscip) R 173566 173572 173183 0 -1 4194304 93924 0 0 0 327356 21 0 0 20 0 1 0 239519205 401907712 91312 18446744073709551615 4235264 18693293 140733303132960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 35459072 140733303134599 140733303134698 140733303134698 140733303140302 0
/proc/173572/statm: 98122 91312 3936 3530 0 89573 0
Current children cumulated CPU time: 3273.77 s
Current children cumulated vsize: 392488 KiB
Current children cumulated memory: 365248 KiB
[startup+3342.3 s]
/proc/loadavg: 2.27 2.16 2.41 3/252 173900
/proc/meminfo: memFree=128320180/131250000 swapFree=33008356/33010684
[pid=173572] ppid=173566 vsize=392488 memory=365248 CPUtime=3333.64 cores=4,6
/proc/173572/stat : 173572 (pbscip) R 173566 173572 173183 0 -1 4194304 94009 0 0 0 333343 21 0 0 20 0 1 0 239519205 401907712 91312 18446744073709551615 4235264 18693293 140733303132960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 35459072 140733303134599 140733303134698 140733303134698 140733303140302 0
/proc/173572/statm: 98122 91312 3936 3530 0 89573 0
Current children cumulated CPU time: 3333.64 s
Current children cumulated vsize: 392488 KiB
Current children cumulated memory: 365248 KiB
[startup+3402.3 s]
/proc/loadavg: 2.15 2.14 2.39 3/251 173903
/proc/meminfo: memFree=128321044/131250000 swapFree=33008356/33010684
[pid=173572] ppid=173566 vsize=392488 memory=365248 CPUtime=3393.51 cores=4,6
/proc/173572/stat : 173572 (pbscip) R 173566 173572 173183 0 -1 4194304 94054 0 0 0 339330 21 0 0 20 0 1 0 239519205 401907712 91312 18446744073709551615 4235264 18693293 140733303132960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 35459072 140733303134599 140733303134698 140733303134698 140733303140302 0
/proc/173572/statm: 98122 91312 3936 3530 0 89573 0
Current children cumulated CPU time: 3393.51 s
Current children cumulated vsize: 392488 KiB
Current children cumulated memory: 365248 KiB
[startup+3462.3 s]
/proc/loadavg: 2.17 2.15 2.37 3/252 173906
/proc/meminfo: memFree=128321456/131250000 swapFree=33008356/33010684
[pid=173572] ppid=173566 vsize=392488 memory=365248 CPUtime=3453.35 cores=4,6
/proc/173572/stat : 173572 (pbscip) R 173566 173572 173183 0 -1 4194304 94054 0 0 0 345314 21 0 0 20 0 1 0 239519205 401907712 91312 18446744073709551615 4235264 18693293 140733303132960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 35459072 140733303134599 140733303134698 140733303134698 140733303140302 0
/proc/173572/statm: 98122 91312 3936 3530 0 89573 0
Current children cumulated CPU time: 3453.35 s
Current children cumulated vsize: 392488 KiB
Current children cumulated memory: 365248 KiB
[startup+3522.3 s]
/proc/loadavg: 2.12 2.14 2.35 3/252 173908
/proc/meminfo: memFree=128318384/131250000 swapFree=33008356/33010684
[pid=173572] ppid=173566 vsize=392748 memory=365504 CPUtime=3513.19 cores=4,6
/proc/173572/stat : 173572 (pbscip) R 173566 173572 173183 0 -1 4194304 94113 0 0 0 351298 21 0 0 20 0 1 0 239519205 402173952 91376 18446744073709551615 4235264 18693293 140733303132960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 35459072 140733303134599 140733303134698 140733303134698 140733303140302 0
/proc/173572/statm: 98187 91376 3936 3530 0 89638 0
Current children cumulated CPU time: 3513.19 s
Current children cumulated vsize: 392748 KiB
Current children cumulated memory: 365504 KiB
[startup+3582.3 s]
/proc/loadavg: 2.04 2.11 2.33 3/252 173910
/proc/meminfo: memFree=128318808/131250000 swapFree=33008356/33010684
[pid=173572] ppid=173566 vsize=393020 memory=365504 CPUtime=3573.04 cores=4,6
/proc/173572/stat : 173572 (pbscip) R 173566 173572 173183 0 -1 4194304 94128 0 0 0 357282 22 0 0 20 0 1 0 239519205 402452480 91376 18446744073709551615 4235264 18693293 140733303132960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 35459072 140733303134599 140733303134698 140733303134698 140733303140302 0
/proc/173572/statm: 98255 91376 3936 3530 0 89706 0
Current children cumulated CPU time: 3573.04 s
Current children cumulated vsize: 393020 KiB
Current children cumulated memory: 365504 KiB
[startup+3597.1 s]
# the end of solver process 173572 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.58 s, system=0.221856 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 2.12 2.12 2.33 3/252 173910
/proc/meminfo: memFree=128318808/131250000 swapFree=33008356/33010684
[pid=173572] ppid=173566 vsize=393020 memory=365504 CPUtime=3574.74 cores=4,6
/proc/173572/stat : 173572 (pbscip) R 173566 173572 173183 0 -1 4194304 94128 0 0 0 357452 22 0 0 20 0 1 0 239519205 402452480 91376 18446744073709551615 4235264 18693293 140733303132960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 35459072 140733303134599 140733303134698 140733303134698 140733303140302 0
/proc/173572/statm: 98255 91376 3936 3530 0 89706 0
Current children cumulated CPU time: 3574.74 s
Current children cumulated vsize: 393020 KiB
Current children cumulated memory: 365504 KiB
[startup+3590.4 s]
/proc/loadavg: 2.11 2.12 2.33 3/252 173910
/proc/meminfo: memFree=128318808/131250000 swapFree=33008356/33010684
[pid=173572] ppid=173566 vsize=393020 memory=365504 CPUtime=3581.11 cores=4,6
/proc/173572/stat : 173572 (pbscip) R 173566 173572 173183 0 -1 4194304 94130 0 0 0 358089 22 0 0 20 0 1 0 239519205 402452480 91376 18446744073709551615 4235264 18693293 140733303132960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 35459072 140733303134599 140733303134698 140733303134698 140733303140302 0
/proc/173572/statm: 98255 91376 3936 3530 0 89706 0
Current children cumulated CPU time: 3581.11 s
Current children cumulated vsize: 393020 KiB
Current children cumulated memory: 365504 KiB
[startup+3593.6 s]
/proc/loadavg: 2.10 2.12 2.33 3/252 173910
/proc/meminfo: memFree=128318808/131250000 swapFree=33008356/33010684
[pid=173572] ppid=173566 vsize=393020 memory=365632 CPUtime=3584.31 cores=4,6
/proc/173572/stat : 173572 (pbscip) R 173566 173572 173183 0 -1 4194304 94148 0 0 0 358409 22 0 0 20 0 1 0 239519205 402452480 91408 18446744073709551615 4235264 18693293 140733303132960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 35459072 140733303134599 140733303134698 140733303134698 140733303140302 0
/proc/173572/statm: 98255 91408 3936 3530 0 89706 0
Current children cumulated CPU time: 3584.31 s
Current children cumulated vsize: 393020 KiB
Current children cumulated memory: 365632 KiB
[startup+3595.2 s]
/proc/loadavg: 2.10 2.12 2.33 3/252 173910
/proc/meminfo: memFree=128318808/131250000 swapFree=33008356/33010684
[pid=173572] ppid=173566 vsize=393020 memory=365632 CPUtime=3585.9 cores=4,6
/proc/173572/stat : 173572 (pbscip) R 173566 173572 173183 0 -1 4194304 94149 0 0 0 358568 22 0 0 20 0 1 0 239519205 402452480 91408 18446744073709551615 4235264 18693293 140733303132960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 35459072 140733303134599 140733303134698 140733303134698 140733303140302 0
/proc/173572/statm: 98255 91408 3936 3530 0 89706 0
Current children cumulated CPU time: 3585.9 s
Current children cumulated vsize: 393020 KiB
Current children cumulated memory: 365632 KiB
[startup+3596 s]*
/proc/loadavg: 2.10 2.12 2.33 3/252 173910
/proc/meminfo: memFree=128318808/131250000 swapFree=33008356/33010684
[pid=173572] ppid=173566 vsize=393020 memory=365632 CPUtime=3586.7 cores=4,6
/proc/173572/stat : 173572 (pbscip) R 173566 173572 173183 0 -1 4194304 94149 0 0 0 358648 22 0 0 20 0 1 0 239519205 402452480 91408 18446744073709551615 4235264 18693293 140733303132960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 35459072 140733303134599 140733303134698 140733303134698 140733303140302 0
/proc/173572/statm: 98255 91408 3936 3530 0 89706 0
Current children cumulated CPU time: 3586.7 s
Current children cumulated vsize: 393020 KiB
Current children cumulated memory: 365632 KiB
[startup+3596.8 s]
/proc/loadavg: 2.10 2.12 2.33 3/252 173910
/proc/meminfo: memFree=128318808/131250000 swapFree=33008356/33010684
[pid=173572] ppid=173566 vsize=393020 memory=365632 CPUtime=3587.5 cores=4,6
/proc/173572/stat : 173572 (pbscip) R 173566 173572 173183 0 -1 4194304 94149 0 0 0 358728 22 0 0 20 0 1 0 239519205 402452480 91408 18446744073709551615 4235264 18693293 140733303132960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 35459072 140733303134599 140733303134698 140733303134698 140733303140302 0
/proc/173572/statm: 98255 91408 3936 3530 0 89706 0
Current children cumulated CPU time: 3587.5 s
Current children cumulated vsize: 393020 KiB
Current children cumulated memory: 365632 KiB
[startup+3597 s]*
/proc/loadavg: 2.10 2.12 2.33 3/252 173910
/proc/meminfo: memFree=128318808/131250000 swapFree=33008356/33010684
[pid=173572] ppid=173566 vsize=393020 memory=365632 CPUtime=3587.7 cores=4,6
/proc/173572/stat : 173572 (pbscip) R 173566 173572 173183 0 -1 4194304 94150 0 0 0 358748 22 0 0 20 0 1 0 239519205 402452480 91408 18446744073709551615 4235264 18693293 140733303132960 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 35459072 140733303134599 140733303134698 140733303134698 140733303140302 0
/proc/173572/statm: 98255 91408 3936 3530 0 89706 0
Current children cumulated CPU time: 3587.7 s
Current children cumulated vsize: 393020 KiB
Current children cumulated memory: 365632 KiB
Child status: 0
Real time (s): 3597.1
CPU time (s): 3587.81
CPU user time (s): 3587.58
CPU system time (s): 0.221856
CPU usage (%): 99.7415
Max. virtual memory (cumulated for all children) (KiB): 393020
Max. memory (cumulated for all children) (KiB): 365632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.58
system time used= 0.221856
maximum resident set size= 365632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94186
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= 141
involuntary context switches= 3637
# summary of solver processes directly reported to runsolver:
# pid: 173572
# total CPU time (s): 3587.81
# total CPU user time (s): 3587.58
# total CPU system time (s): 0.221856
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.79895 second user time and 15.8336 second system time
The end