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-4451735-1721434844.opb>
0.00/0.03 c original problem has 1892 variables (1892 bin, 0 int, 0 impl, 0 cont) and 9034 constraints
0.00/0.03 c problem read in 0.03
0.00/0.03 c No objective function, only one solution is needed.
0.00/0.05 c presolving:
0.00/0.06 c (round 1, fast) 4 del vars, 3 del conss, 0 add conss, 3 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3444 clqs
0.00/0.06 c (round 2, fast) 6 del vars, 371 del conss, 0 add conss, 4 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3608 clqs
0.00/0.06 c (round 3, fast) 7 del vars, 403 del conss, 0 add conss, 4 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3608 clqs
0.00/0.09 c (0.1s) running MILP presolver
0.09/0.11 c (0.1s) MILP presolver found nothing
0.09/0.14 c (round 4, exhaustive) 7 del vars, 403 del conss, 0 add conss, 4 chg bounds, 0 chg sides, 0 chg coeffs, 8630 upgd conss, 0 impls, 3608 clqs
0.19/0.26 c (0.3s) probing: 96/1886 (5.1%) - 0 fixings, 0 aggregations, 8 implications, 0 bound changes
0.19/0.26 c (0.3s) probing aborted: 50/50 successive totally useless probings
0.19/0.29 c (0.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.30/0.37 c (0.4s) symmetry computation finished: 22 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.04)
0.30/0.37 c dynamic symmetry handling statistics:
0.30/0.37 c orbitopal reduction: no components
0.30/0.37 c orbital reduction: 1 components of sizes 21
0.30/0.37 c lexicographic reduction: 22 permutations with support sizes 84, 86, 86, 86, 86, 86, 86, 86, 86, 86, 86, 86, 86, 86, 86, 86, 86, 86, 86, 86, 86, 1845
0.30/0.37 c handled 1 out of 1 symmetry components
0.30/0.38 c presolving (5 rounds: 5 fast, 2 medium, 2 exhaustive):
0.30/0.38 c 7 deleted vars, 403 deleted constraints, 0 added constraints, 4 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.30/0.38 c 0 implications, 3616 cliques
0.30/0.38 c presolved problem has 1886 variables (1886 bin, 0 int, 0 impl, 0 cont) and 8631 constraints
0.30/0.38 c 3608 constraints of type <setppc>
0.30/0.38 c 1 constraints of type <linear>
0.30/0.38 c 5022 constraints of type <logicor>
0.30/0.38 c transformed objective value is always integral (scale: 1)
0.30/0.38 c Presolving Time: 0.33
0.30/0.38 c - non default parameters ----------------------------------------------------------------------
0.30/0.38 c # SCIP version 10.0.0
0.30/0.38 c
0.30/0.38 c # maximal time in seconds to run
0.30/0.38 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.30/0.38 c limits/time = 3596.997032
0.30/0.38 c
0.30/0.38 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.30/0.38 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.30/0.38 c limits/memory = 27900
0.30/0.38 c
0.30/0.38 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.30/0.38 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.30/0.38 c limits/solutions = 1
0.30/0.38 c
0.30/0.38 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.30/0.38 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.30/0.38 c misc/usesymmetry = 3
0.30/0.38 c
0.30/0.38 c # belongs reading time to solving time?
0.30/0.38 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.30/0.38 c timing/reading = TRUE
0.30/0.38 c
0.30/0.38 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.30/0.38 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.30/0.38 c propagating/symmetry/detectdoublelex = FALSE
0.30/0.38 c
0.30/0.38 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.30/0.38 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.30/0.38 c propagating/symmetry/detectsubgroups = FALSE
0.30/0.38 c
0.30/0.38 c # Type of symmetries that shall be computed?
0.30/0.38 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.30/0.38 c propagating/symmetry/symtype = 1
0.30/0.38 c
0.30/0.38 c # Should components consisting of a single full reflection be handled?
0.30/0.38 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.30/0.38 c propagating/symmetry/usesimplesgncomp = FALSE
0.30/0.38 c
0.30/0.38 c -----------------------------------------------------------------------------------------------
0.30/0.38 c start solving
0.30/0.38 c
0.69/0.79 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.69/0.79 c 0.8s| 1 | 0 | 2236 | - | 74M | 0 |1886 |8834 |8631 | 0 | 0 | 206 | 0 | 0.000000e+00 | -- | Inf | unknown
8.66/8.71 c 8.7s| 1 | 0 | 21416 | - | 89M | 0 |1886 |9034 |8649 | 18 | 1 | 206 | 0 | 0.000000e+00 | -- | Inf | unknown
9.15/9.22 c 9.2s| 1 | 0 | 23318 | - | 102M | 0 |1886 |9040 |8663 | 32 | 2 | 212 | 0 | 0.000000e+00 | -- | Inf | unknown
9.85/9.90 c 9.9s| 1 | 0 | 25632 | - | 112M | 0 |1886 |9040 |8674 | 43 | 3 | 212 | 0 | 0.000000e+00 | -- | Inf | unknown
10.45/10.53 c 10.5s| 1 | 0 | 27780 | - | 125M | 0 |1886 |9046 |8686 | 55 | 4 | 218 | 0 | 0.000000e+00 | -- | Inf | unknown
11.05/11.14 c 11.1s| 1 | 0 | 29973 | - | 132M | 0 |1886 |9054 |8697 | 66 | 5 | 226 | 0 | 0.000000e+00 | -- | Inf | unknown
11.84/11.93 c 11.9s| 1 | 0 | 32499 | - | 138M | 0 |1886 |9054 |8709 | 78 | 6 | 226 | 0 | 0.000000e+00 | -- | Inf | unknown
12.75/12.88 c 12.9s| 1 | 0 | 35328 | - | 154M | 0 |1886 |9059 |8716 | 85 | 7 | 232 | 0 | 0.000000e+00 | -- | Inf | unknown
14.54/14.61 c 14.6s| 1 | 0 | 37616 | - | 155M | 0 |1886 |9063 |8721 | 90 | 8 | 239 | 0 | 0.000000e+00 | -- | Inf | unknown
16.43/16.59 c 16.6s| 1 | 0 | 40915 | - | 156M | 0 |1886 |9069 |8729 | 98 | 9 | 247 | 0 | 0.000000e+00 | -- | Inf | unknown
17.93/18.00 c 18.0s| 1 | 0 | 42188 | - | 158M | 0 |1886 |9073 |8730 | 99 | 10 | 253 | 0 | 0.000000e+00 | -- | Inf | unknown
18.43/18.57 c 18.6s| 1 | 0 | 43858 | - | 159M | 0 |1886 |9072 |8732 | 101 | 11 | 253 | 0 | 0.000000e+00 | -- | Inf | unknown
23.71/23.81 c 23.8s| 1 | 2 | 49518 | - | 159M | 0 |1886 |9080 |8732 | 101 | 11 | 266 | 11 | 0.000000e+00 | -- | Inf | unknown
136.01/136.42 c 136s| 100 | 101 |474798 |4352.9 | 184M | 13 |1886 |9379 |8673 | 392 | 1 | 888 | 11 | 0.000000e+00 | -- | Inf | unknown
188.59/189.19 c 189s| 200 | 199 |695355 |3273.9 | 198M | 15 |1886 |9451 |8673 | 582 | 1 |1316 | 11 | 0.000000e+00 | -- | Inf | unknown
267.39/268.15 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
267.39/268.15 c 268s| 300 | 291 | 1018k|3258.6 | 222M | 15 |1886 |9603 |8673 | 958 | 1 |1912 | 11 | 0.000000e+00 | -- | Inf | unknown
366.33/367.36 c 367s| 400 | 381 | 1353k|3281.4 | 233M | 15 |1886 |9800 |8673 |1340 | 1 |2460 | 11 | 0.000000e+00 | -- | Inf | 0.99%
433.26/434.45 c 434s| 500 | 463 | 1635k|3189.2 | 242M | 16 |1886 |9969 |8673 |1691 | 1 |2870 | 11 | 0.000000e+00 | -- | Inf | 1.41%
519.04/520.44 c 520s| 600 | 543 | 1992k|3252.6 | 247M | 17 |1886 | 10k|8693 |2238 | 1 |3504 | 11 | 0.000000e+00 | -- | Inf | 1.68%
583.48/585.08 c 585s| 700 | 629 | 2272k|3187.7 | 248M | 17 |1886 | 10k|8699 |2655 | 1 |3935 | 11 | 0.000000e+00 | -- | Inf | 1.91%
654.15/655.96 c 656s| 800 | 701 | 2591k|3188.1 | 249M | 17 |1886 | 10k|8699 |3008 | 0 |4356 | 11 | 0.000000e+00 | -- | Inf | 2.24%
742.28/744.35 c 744s| 900 | 769 | 2968k|3253.5 | 258M | 19 |1886 | 11k|8711 |3674 | 2 |5048 | 11 | 0.000000e+00 | -- | Inf | 3.07%
834.39/836.71 c 837s| 1000 | 835 | 3351k|3310.6 | 267M | 19 |1886 | 11k|8714 |4408 | 2 |5543 | 11 | 0.000000e+00 | -- | Inf | 3.98%
918.22/920.85 c 921s| 1100 | 899 | 3707k|3333.8 | 274M | 21 |1886 | 11k|8704 |5068 | 1 |5970 | 11 | 0.000000e+00 | -- | Inf | 4.37%
1011.33/1014.23 c 1014s| 1200 | 951 | 4106k|3388.1 | 274M | 28 |1886 | 11k|8673 |5664 | 1 |6291 | 11 | 0.000000e+00 | -- | Inf | 4.74%
1087.80/1090.90 c 1091s| 1300 | 999 | 4433k|3379.4 | 280M | 28 |1886 | 11k|8694 |6336 | 0 |6709 | 11 | 0.000000e+00 | -- | Inf | 5.14%
1115.93/1119.11 c 1119s| 1400 | 1007 | 4518k|3198.2 | 280M | 28 |1886 | 11k|8705 |6415 | 0 |6796 | 11 | 0.000000e+00 | -- | Inf | 5.33%
1176.38/1179.79 c 1180s| 1500 | 1049 | 4796k|3170.8 | 282M | 28 |1886 | 11k|8694 |6838 | 1 |7042 | 11 | 0.000000e+00 | -- | Inf | 5.61%
1195.63/1199.09 c 1199s| 1600 | 1073 | 4901k|3038.2 | 282M | 28 |1886 | 11k|8711 |6960 | 1 |7182 | 11 | 0.000000e+00 | -- | Inf | 5.71%
1222.57/1226.10 c 1226s| 1700 | 1083 | 5040k|2940.8 | 283M | 28 |1886 | 11k|8692 |7158 | 1 |7311 | 11 | 0.000000e+00 | -- | Inf | 5.87%
1234.43/1237.98 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1234.43/1237.98 c 1238s| 1800 | 1097 | 5113k|2818.3 | 283M | 30 |1886 | 11k|8703 |7320 | 1 |7424 | 11 | 0.000000e+00 | -- | Inf | 5.88%
1242.81/1246.35 c 1246s| 1900 | 1093 | 5168k|2698.5 | 284M | 30 |1886 | 11k|8699 |7366 | 1 |7471 | 11 | 0.000000e+00 | -- | Inf | 5.88%
1267.45/1271.04 c 1271s| 2000 | 1101 | 5293k|2626.0 | 284M | 30 |1886 | 11k|8705 |7656 | 1 |7581 | 11 | 0.000000e+00 | -- | Inf | 6.10%
1327.00/1330.71 c 1331s| 2100 | 1127 | 5560k|2628.3 | 284M | 30 |1886 | 11k|8709 |8220 | 1 |7706 | 11 | 0.000000e+00 | -- | Inf | 6.95%
1366.51/1370.37 c 1370s| 2200 | 1153 | 5755k|2597.2 | 284M | 30 |1886 | 11k|8705 |8445 | 0 |7801 | 11 | 0.000000e+00 | -- | Inf | 7.56%
1372.10/1375.98 c 1376s| 2300 | 1151 | 5795k|2501.9 | 285M | 30 |1886 | 11k|8706 |8459 | 1 |7912 | 11 | 0.000000e+00 | -- | Inf | 7.56%
1380.38/1384.28 c 1384s| 2400 | 1155 | 5851k|2420.9 | 285M | 31 |1886 | 11k|8706 |8545 | 0 |8009 | 11 | 0.000000e+00 | -- | Inf | 7.56%
1384.67/1388.55 c 1389s| 2500 | 1155 | 5882k|2336.5 | 285M | 31 |1886 | 11k|8705 |8560 | 0 |8087 | 11 | 0.000000e+00 | -- | Inf | 7.56%
1389.06/1393.00 c 1393s| 2600 | 1153 | 5915k|2259.1 | 285M | 31 |1886 | 11k|8705 |8584 | 0 |8170 | 11 | 0.000000e+00 | -- | Inf | 7.56%
1415.79/1419.74 c 1420s| 2700 | 1157 | 6037k|2220.5 | 285M | 31 |1886 | 11k|8706 |8709 | 1 |8276 | 11 | 0.000000e+00 | -- | Inf | 7.63%
1439.33/1443.37 c 1443s| 2800 | 1173 | 6156k|2183.8 | 285M | 31 |1886 | 11k|8708 |8914 | 0 |8379 | 11 | 0.000000e+00 | -- | Inf | 7.75%
1444.82/1448.87 c 1449s| 2900 | 1173 | 6196k|2122.2 | 286M | 31 |1886 | 11k|8705 |8926 | 0 |8445 | 11 | 0.000000e+00 | -- | Inf | 7.75%
1451.70/1455.72 c 1456s| 3000 | 1171 | 6244k|2067.5 | 286M | 31 |1886 | 11k|8707 |8949 | 1 |8508 | 11 | 0.000000e+00 | -- | Inf | 7.75%
1456.29/1460.32 c 1460s| 3100 | 1171 | 6275k|2010.8 | 286M | 32 |1886 | 11k|8707 |8965 | 0 |8588 | 11 | 0.000000e+00 | -- | Inf | 7.75%
1460.98/1465.02 c 1465s| 3200 | 1167 | 6309k|1958.7 | 286M | 32 |1886 | 11k|8706 |8965 | 0 |8629 | 11 | 0.000000e+00 | -- | Inf | 7.75%
1495.39/1499.56 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1495.39/1499.56 c 1500s| 3300 | 1189 | 6480k|1951.1 | 286M | 32 |1886 | 11k|8673 |9247 | 1 |8691 | 11 | 0.000000e+00 | -- | Inf | 7.93%
1540.79/1545.04 c 1545s| 3400 | 1223 | 6694k|1956.7 | 287M | 32 |1886 | 11k|8673 |9621 | 1 |8864 | 11 | 0.000000e+00 | -- | Inf | 8.16%
1586.67/1591.08 c 1591s| 3500 | 1261 | 6915k|1963.9 | 287M | 32 |1886 | 11k|8673 |9932 | 1 |9069 | 11 | 0.000000e+00 | -- | Inf | 8.60%
1631.35/1635.86 c 1636s| 3600 | 1307 | 7127k|1968.1 | 287M | 32 |1886 | 11k|8685 | 10k| 1 |9237 | 11 | 0.000000e+00 | -- | Inf | 8.77%
1655.50/1660.04 c 1660s| 3700 | 1327 | 7256k|1949.8 | 287M | 32 |1886 | 11k|8707 | 10k| 0 |9365 | 11 | 0.000000e+00 | -- | Inf | 8.89%
1659.08/1663.62 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
1659.08/1663.62 c (run 1, node 3771) performing user restart
1659.08/1663.62 c
1659.08/1663.63 c (restart) converted 50 cuts from the global cut pool into linear constraints
1659.08/1663.63 c
1659.18/1663.74 c presolving:
1659.28/1663.80 c (round 1, exhaustive) 0 del vars, 2 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 245 upgd conss, 0 impls, 3617 clqs
1659.38/1663.95 c (round 2, exhaustive) 0 del vars, 43 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 864 chg coeffs, 245 upgd conss, 0 impls, 3617 clqs
1659.49/1664.09 c (round 3, exhaustive) 0 del vars, 58 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 864 chg coeffs, 245 upgd conss, 0 impls, 3617 clqs
1659.59/1664.18 c presolving (4 rounds: 4 fast, 4 medium, 4 exhaustive):
1659.59/1664.18 c 0 deleted vars, 58 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 1 changed sides, 928 changed coefficients
1659.59/1664.18 c 0 implications, 3617 cliques
1659.59/1664.18 c presolved problem has 1886 variables (1886 bin, 0 int, 0 impl, 0 cont) and 11265 constraints
1659.59/1664.18 c 79 constraints of type <knapsack>
1659.59/1664.18 c 3609 constraints of type <setppc>
1659.59/1664.18 c 68 constraints of type <linear>
1659.59/1664.18 c 7509 constraints of type <logicor>
1659.59/1664.18 c transformed objective value is always integral (scale: 1)
1659.59/1664.18 c Presolving Time: 0.78
1659.59/1664.18 c
1660.38/1664.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1660.38/1664.96 c 1665s| 1 | 0 | 7286k| - | 286M | 0 |1886 | 11k|8680 | 0 | 0 |9463 | 11 | 0.000000e+00 | -- | Inf | unknown
1661.08/1665.64 c 1666s| 1 | 0 | 7289k| - | 294M | 0 |1886 | 11k|8689 | 9 | 1 |9470 | 11 | 0.000000e+00 | -- | Inf | unknown
1661.68/1666.26 c 1666s| 1 | 0 | 7292k| - | 294M | 0 |1886 | 11k|8699 | 19 | 2 |9470 | 11 | 0.000000e+00 | -- | Inf | unknown
1662.08/1666.68 c 1667s| 1 | 0 | 7293k| - | 294M | 0 |1886 | 11k|8702 | 22 | 3 |9470 | 11 | 0.000000e+00 | -- | Inf | unknown
1662.97/1667.53 c 1668s| 1 | 0 | 7296k| - | 294M | 0 |1886 | 11k|8709 | 29 | 4 |9470 | 11 | 0.000000e+00 | -- | Inf | unknown
1663.77/1668.35 c 1668s| 1 | 0 | 7298k| - | 294M | 0 |1886 | 11k|8717 | 37 | 5 |9480 | 11 | 0.000000e+00 | -- | Inf | unknown
1664.37/1668.90 c 1669s| 1 | 0 | 7300k| - | 297M | 0 |1886 | 11k|8721 | 41 | 6 |9485 | 11 | 0.000000e+00 | -- | Inf | unknown
1665.07/1669.67 c 1670s| 1 | 0 | 7302k| - | 301M | 0 |1886 | 11k|8726 | 46 | 7 |9485 | 11 | 0.000000e+00 | -- | Inf | unknown
1665.77/1670.36 c 1670s| 1 | 0 | 7304k| - | 308M | 0 |1886 | 11k|8732 | 52 | 8 |9485 | 11 | 0.000000e+00 | -- | Inf | unknown
1667.36/1671.94 c 1672s| 1 | 0 | 7305k| - | 311M | 0 |1886 | 11k|8735 | 55 | 9 |9491 | 11 | 0.000000e+00 | -- | Inf | unknown
1668.06/1672.61 c 1673s| 1 | 0 | 7307k| - | 317M | 0 |1886 | 11k|8741 | 61 | 10 |9498 | 11 | 0.000000e+00 | -- | Inf | unknown
1668.66/1673.23 c 1673s| 1 | 0 | 7309k| - | 318M | 0 |1886 | 11k|8748 | 68 | 11 |9503 | 11 | 0.000000e+00 | -- | Inf | unknown
1676.34/1680.97 c 1681s| 1 | 2 | 7315k| - | 318M | 0 |1886 | 11k|8748 | 68 | 11 |9522 | 30 | 0.000000e+00 | -- | Inf | unknown
1712.25/1716.91 c 1717s| 100 | 67 | 7477k|1913.9 | 319M | 25 |1886 | 11k|8700 | 94 | 1 |9915 | 30 | 0.000000e+00 | -- | Inf | unknown
1725.82/1730.55 c 1731s| 200 | 75 | 7549k|1883.8 | 319M | 31 |1886 | 10k|8700 | 94 | 0 | 10k| 30 | 0.000000e+00 | -- | Inf | unknown
1741.98/1746.77 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1741.98/1746.77 c 1747s| 300 | 77 | 7638k|1859.5 | 319M | 31 |1886 | 10k|8701 | 132 | 0 | 10k| 30 | 0.000000e+00 | -- | Inf | 0.57%
1750.45/1755.26 c 1755s| 400 | 85 | 7693k|1828.0 | 319M | 31 |1886 | 10k|8700 | 140 | 0 | 10k| 30 | 0.000000e+00 | -- | Inf | 0.57%
1758.83/1763.60 c 1764s| 500 | 97 | 7747k|1797.8 | 319M | 31 |1886 | 10k|8700 | 148 | 1 | 10k| 30 | 0.000000e+00 | -- | Inf | 0.58%
1763.23/1768.02 c 1768s| 600 | 89 | 7778k|1763.9 | 319M | 31 |1886 | 10k|8701 | 150 | 1 | 10k| 30 | 0.000000e+00 | -- | Inf | 0.58%
1769.80/1774.60 c 1775s| 700 | 84 | 7823k|1734.3 | 319M | 31 |1886 | 10k|8699 | 150 | 1 | 10k| 30 | 0.000000e+00 | -- | Inf | 0.58%
1782.57/1787.47 c 1787s| 800 | 116 | 7897k|1712.7 | 319M | 31 |1886 | 10k|8701 | 165 | 1 | 10k| 30 | 0.000000e+00 | -- | Inf | 0.58%
1786.46/1791.39 c 1791s| 900 | 122 | 7926k|1682.2 | 319M | 31 |1886 | 10k|8700 | 166 | 1 | 10k| 30 | 0.000000e+00 | -- | Inf | 0.58%
1790.05/1794.97 c 1795s| 1000 | 120 | 7953k|1652.6 | 319M | 31 |1886 | 10k|8700 | 166 | 0 | 10k| 30 | 0.000000e+00 | -- | Inf | 0.58%
1794.25/1799.15 c 1799s| 1100 | 117 | 7983k|1624.9 | 319M | 31 |1886 | 10k|8701 | 166 | 1 | 10k| 30 | 0.000000e+00 | -- | Inf | 0.58%
1800.03/1804.94 c 1805s| 1200 | 123 | 8024k|1600.3 | 314M | 31 |1886 | 10k|8700 | 171 | 0 | 10k| 30 | 0.000000e+00 | -- | Inf | 0.58%
1804.62/1809.57 c 1810s| 1300 | 122 | 8058k|1575.4 | 314M | 33 |1886 | 10k|8700 | 171 | 0 | 10k| 30 | 0.000000e+00 | -- | Inf | 0.58%
1810.60/1815.50 c 1816s| 1400 | 124 | 8097k|1552.7 | 314M | 33 |1886 | 10k|8702 | 174 | 1 | 10k| 30 | 0.000000e+00 | -- | Inf | 0.58%
1816.39/1821.31 c 1821s| 1500 | 132 | 8138k|1530.9 | 313M | 33 |1886 | 10k|8703 | 185 | 0 | 10k| 30 | 0.000000e+00 | -- | Inf | 0.58%
1822.77/1827.72 c 1828s| 1600 | 122 | 8183k|1510.7 | 313M | 33 |1886 | 10k|8701 | 187 | 0 | 10k| 30 | 0.000000e+00 | -- | Inf | 0.58%
1829.35/1834.30 c 1834s| 1700 | 130 | 8226k|1491.0 | 313M | 33 |1886 | 10k|8703 | 197 | 0 | 11k| 30 | 0.000000e+00 | -- | Inf | 0.58%
1835.84/1840.86 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1835.84/1840.86 c 1841s| 1800 | 129 | 8270k|1472.2 | 313M | 33 |1886 | 10k|8702 | 207 | 0 | 11k| 30 | 0.000000e+00 | -- | Inf | 0.58%
1842.92/1847.95 c 1848s| 1900 | 122 | 8318k|1454.6 | 313M | 33 |1886 | 10k|8703 | 218 | 0 | 11k| 30 | 0.000000e+00 | -- | Inf | 0.58%
1849.01/1854.09 c 1854s| 2000 | 122 | 8360k|1436.7 | 313M | 33 |1886 | 10k|8701 | 223 | 0 | 11k| 30 | 0.000000e+00 | -- | Inf | 0.58%
1856.59/1861.64 c 1862s| 2100 | 118 | 8411k|1421.0 | 313M | 33 |1886 | 10k|8703 | 234 | 1 | 11k| 30 | 0.000000e+00 | -- | Inf | 0.58%
1866.36/1871.49 c 1871s| 2200 | 136 | 8474k|1407.6 | 313M | 33 |1886 | 10k|8701 | 245 | 0 | 11k| 30 | 0.000000e+00 | -- | Inf | 0.58%
1875.34/1880.42 c 1880s| 2300 | 121 | 8529k|1393.6 | 313M | 33 |1886 | 10k|8701 | 254 | 0 | 11k| 30 | 0.000000e+00 | -- | Inf | 0.59%
1886.41/1891.58 c 1892s| 2400 | 127 | 8599k|1382.2 | 313M | 33 |1886 | 10k|8702 | 270 | 0 | 11k| 30 | 0.000000e+00 | -- | Inf | 0.59%
1895.29/1900.46 c 1900s| 2500 | 111 | 8656k|1369.4 | 313M | 33 |1886 | 10k|8702 | 275 | 0 | 11k| 30 | 0.000000e+00 | -- | Inf | 0.59%
1903.87/1909.03 c 1909s| 2600 | 113 | 8712k|1356.6 | 313M | 33 |1886 | 10k|8700 | 286 | 1 | 11k| 30 | 0.000000e+00 | -- | Inf | 0.59%
1913.44/1918.62 c 1919s| 2700 | 107 | 8773k|1345.2 | 313M | 33 |1886 | 10k|8702 | 296 | 1 | 11k| 30 | 0.000000e+00 | -- | Inf | 0.59%
1922.22/1927.44 c 1927s| 2800 | 99 | 8832k|1333.6 | 313M | 33 |1886 | 10k|8702 | 311 | 1 | 12k| 30 | 0.000000e+00 | -- | Inf | 0.60%
1942.67/1947.95 c 1948s| 2900 | 113 | 8942k|1330.0 | 313M | 33 |1886 | 10k|8701 | 381 | 0 | 12k| 30 | 0.000000e+00 | -- | Inf | 0.61%
1956.84/1962.13 c 1962s| 3000 | 122 | 9020k|1322.0 | 313M | 33 |1886 | 10k|8688 | 386 | 1 | 12k| 30 | 0.000000e+00 | -- | Inf | 0.61%
2003.72/2009.15 c 2009s| 3100 | 170 | 9234k|1333.9 | 314M | 33 |1886 |9740 |8699 | 516 | 1 | 12k| 30 | 0.000000e+00 | -- | Inf | 0.68%
2011.49/2016.95 c 2017s| 3200 | 184 | 9273k|1320.4 | 314M | 33 |1886 |9791 | 0 | 519 | 0 | 12k| 30 | 0.000000e+00 | -- | Inf | 0.68%
2013.69/2019.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2013.69/2019.19 c 2019s| 3300 | 178 | 9289k|1304.0 | 314M | 33 |1886 |9884 |8701 | 519 | 1 | 12k| 30 | 0.000000e+00 | -- | Inf | 0.68%
2018.87/2024.30 c 2024s| 3400 | 193 | 9316k|1289.6 | 314M | 35 |1886 | 10k|8701 | 522 | 1 | 13k| 30 | 0.000000e+00 | -- | Inf | 0.68%
2023.36/2028.87 c 2029s| 3500 | 176 | 9346k|1275.9 | 314M | 35 |1886 | 10k|8699 | 524 | 0 | 13k| 30 | 0.000000e+00 | -- | Inf | 0.68%
2028.65/2034.13 c 2034s| 3600 | 175 | 9381k|1263.4 | 314M | 35 |1886 | 10k|8699 | 524 | 0 | 13k| 30 | 0.000000e+00 | -- | Inf | 0.68%
2045.41/2050.94 c 2051s| 3700 | 193 | 9475k|1259.0 | 314M | 35 |1886 | 10k|8699 | 532 | 1 | 13k| 30 | 0.000000e+00 | -- | Inf | 0.69%
2059.97/2065.56 c 2066s| 3800 | 212 | 9545k|1251.6 | 314M | 35 |1886 | 10k|8700 | 533 | 1 | 13k| 30 | 0.000000e+00 | -- | Inf | 0.70%
2071.74/2077.33 c 2077s| 3900 | 224 | 9614k|1244.3 | 314M | 35 |1886 | 10k|8700 | 533 | 0 | 13k| 30 | 0.000000e+00 | -- | Inf | 0.70%
2080.22/2085.86 c 2086s| 4000 | 230 | 9667k|1235.1 | 315M | 35 |1886 | 10k|8700 | 534 | 1 | 14k| 30 | 0.000000e+00 | -- | Inf | 0.70%
2086.90/2092.54 c 2093s| 4100 | 234 | 9712k|1225.1 | 315M | 35 |1886 | 10k|8700 | 534 | 1 | 14k| 30 | 0.000000e+00 | -- | Inf | 0.70%
2091.89/2097.53 c 2098s| 4200 | 231 | 9746k|1214.0 | 315M | 35 |1886 | 10k|8700 | 534 | 0 | 14k| 30 | 0.000000e+00 | -- | Inf | 0.70%
2099.07/2104.73 c 2105s| 4300 | 227 | 9794k|1204.9 | 315M | 35 |1886 | 10k|8700 | 536 | 0 | 14k| 30 | 0.000000e+00 | -- | Inf | 0.70%
2106.55/2112.21 c 2112s| 4400 | 241 | 9842k|1196.0 | 315M | 35 |1886 | 10k|8703 | 555 | 0 | 14k| 30 | 0.000000e+00 | -- | Inf | 0.70%
2112.34/2118.05 c 2118s| 4500 | 235 | 9883k|1186.5 | 315M | 35 |1886 | 10k|8704 | 560 | 0 | 14k| 30 | 0.000000e+00 | -- | Inf | 0.70%
2130.69/2136.42 c 2136s| 4600 | 249 | 9983k|1184.4 | 315M | 35 |1886 | 10k|8700 | 619 | 0 | 14k| 30 | 0.000000e+00 | -- | Inf | 0.70%
2156.92/2162.74 c 2163s| 4700 | 309 | 10115k|1186.0 | 316M | 35 |1886 | 10k|8696 | 739 | 1 | 15k| 30 | 0.000000e+00 | -- | Inf | 0.70%
2160.62/2166.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2160.62/2166.41 c 2166s| 4800 | 326 | 10142k|1175.3 | 316M | 35 |1886 | 10k|8698 | 742 | 1 | 15k| 30 | 0.000000e+00 | -- | Inf | 0.70%
2164.41/2170.21 c 2170s| 4900 | 318 | 10167k|1164.6 | 316M | 35 |1886 | 10k|8698 | 744 | 0 | 15k| 30 | 0.000000e+00 | -- | Inf | 0.80%
2167.10/2172.91 c 2173s| 5000 | 324 | 10187k|1153.6 | 316M | 35 |1886 | 10k|8698 | 744 | 1 | 15k| 30 | 0.000000e+00 | -- | Inf | 0.80%
2169.79/2175.66 c 2176s| 5100 | 326 | 10208k|1142.9 | 316M | 35 |1886 | 10k|8698 | 744 | 1 | 15k| 30 | 0.000000e+00 | -- | Inf | 0.80%
2173.38/2179.22 c 2179s| 5200 | 313 | 10234k|1133.1 | 316M | 35 |1886 | 10k|8698 | 744 | 0 | 15k| 30 | 0.000000e+00 | -- | Inf | 0.80%
2176.87/2182.79 c 2183s| 5300 | 311 | 10261k|1123.5 | 316M | 35 |1886 | 10k|8697 | 744 | 0 | 15k| 30 | 0.000000e+00 | -- | Inf | 0.80%
2181.86/2187.73 c 2188s| 5400 | 319 | 10296k|1115.2 | 316M | 35 |1886 | 10k|8698 | 746 | 0 | 15k| 30 | 0.000000e+00 | -- | Inf | 0.80%
2186.35/2192.22 c 2192s| 5500 | 309 | 10329k|1106.7 | 316M | 35 |1886 | 10k|8698 | 746 | 0 | 15k| 30 | 0.000000e+00 | -- | Inf | 0.80%
2190.14/2196.09 c 2196s| 5600 | 311 | 10358k|1097.9 | 316M | 35 |1886 | 10k|8698 | 746 | 1 | 15k| 30 | 0.000000e+00 | -- | Inf | 0.80%
2195.23/2201.16 c 2201s| 5700 | 310 | 10393k|1090.1 | 316M | 35 |1886 | 10k|8698 | 750 | 1 | 16k| 30 | 0.000000e+00 | -- | Inf | 0.80%
2200.12/2206.07 c 2206s| 5800 | 302 | 10428k|1082.3 | 316M | 35 |1886 | 10k|8698 | 750 | 0 | 16k| 30 | 0.000000e+00 | -- | Inf | 0.80%
2208.49/2214.41 c 2214s| 5900 | 344 | 10482k|1076.7 | 316M | 35 |1886 | 10k|8697 | 757 | 1 | 16k| 30 | 0.000000e+00 | -- | Inf | 0.80%
2212.09/2218.08 c 2218s| 6000 | 336 | 10510k|1068.6 | 317M | 35 |1886 | 10k|8696 | 757 | 1 | 16k| 30 | 0.000000e+00 | -- | Inf | 0.80%
2215.57/2221.52 c 2222s| 6100 | 329 | 10535k|1060.3 | 317M | 35 |1886 | 10k|8696 | 757 | 1 | 16k| 30 | 0.000000e+00 | -- | Inf | 0.80%
2220.66/2226.68 c 2227s| 6200 | 325 | 10573k|1053.4 | 317M | 35 |1886 | 10k|8697 | 758 | 1 | 16k| 30 | 0.000000e+00 | -- | Inf | 0.80%
2226.15/2232.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2226.15/2232.17 c 2232s| 6300 | 323 | 10612k|1046.8 | 317M | 35 |1886 | 10k|8698 | 762 | 0 | 16k| 30 | 0.000000e+00 | -- | Inf | 0.80%
2232.43/2238.49 c 2238s| 6400 | 349 | 10653k|1040.6 | 317M | 35 |1886 | 11k|8698 | 775 | 0 | 16k| 30 | 0.000000e+00 | -- | Inf | 0.80%
2234.62/2240.68 c 2241s| 6500 | 342 | 10670k|1032.1 | 317M | 35 |1886 | 11k|8698 | 775 | 0 | 16k| 30 | 0.000000e+00 | -- | Inf | 0.80%
2238.31/2244.37 c 2244s| 6600 | 347 | 10696k|1024.6 | 317M | 35 |1886 | 11k|8697 | 780 | 0 | 16k| 30 | 0.000000e+00 | -- | Inf | 0.80%
2241.61/2247.69 c 2248s| 6700 | 344 | 10720k|1017.2 | 317M | 35 |1886 | 11k|8698 | 780 | 0 | 16k| 30 | 0.000000e+00 | -- | Inf | 0.80%
2245.40/2251.42 c 2251s| 6800 | 346 | 10747k|1010.1 | 317M | 35 |1886 | 11k|8698 | 782 | 0 | 17k| 30 | 0.000000e+00 | -- | Inf | 0.80%
2248.39/2254.43 c 2254s| 6900 | 343 | 10769k|1002.7 | 317M | 35 |1886 | 11k|8698 | 782 | 1 | 17k| 30 | 0.000000e+00 | -- | Inf | 0.80%
2251.88/2257.99 c 2258s| 7000 | 346 | 10794k| 995.7 | 317M | 35 |1886 | 11k|8700 | 782 | 1 | 17k| 30 | 0.000000e+00 | -- | Inf | 0.80%
2255.97/2262.10 c 2262s| 7100 | 341 | 10824k| 989.3 | 317M | 35 |1886 | 11k|8698 | 782 | 1 | 17k| 30 | 0.000000e+00 | -- | Inf | 0.80%
2260.76/2266.81 c 2267s| 7200 | 335 | 10857k| 983.3 | 317M | 35 |1886 | 11k|8698 | 785 | 0 | 17k| 30 | 0.000000e+00 | -- | Inf | 0.80%
2269.33/2275.47 c 2275s| 7300 | 357 | 10912k| 979.4 | 317M | 35 |1886 | 11k|8697 | 790 | 0 | 17k| 30 | 0.000000e+00 | -- | Inf | 0.80%
2272.43/2278.51 c 2279s| 7400 | 351 | 10935k| 972.7 | 317M | 35 |1886 | 11k|8697 | 791 | 0 | 17k| 30 | 0.000000e+00 | -- | Inf | 0.80%
2275.42/2281.54 c 2282s| 7500 | 356 | 10958k| 966.1 | 317M | 35 |1886 | 11k|8697 | 792 | 1 | 17k| 30 | 0.000000e+00 | -- | Inf | 0.80%
2278.21/2284.37 c 2284s| 7600 | 355 | 10980k| 959.5 | 317M | 35 |1886 | 11k|8696 | 792 | 0 | 17k| 30 | 0.000000e+00 | -- | Inf | 0.80%
2282.30/2288.45 c 2288s| 7700 | 357 | 11008k| 953.6 | 318M | 35 |1886 | 11k|8697 | 796 | 0 | 17k| 30 | 0.000000e+00 | -- | Inf | 0.80%
2286.49/2292.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2286.49/2292.66 c 2293s| 7800 | 351 | 11040k| 948.1 | 318M | 35 |1886 | 11k|8697 | 796 | 0 | 17k| 30 | 0.000000e+00 | -- | Inf | 0.80%
2290.88/2297.02 c 2297s| 7900 | 355 | 11071k| 942.7 | 318M | 35 |1886 | 11k|8698 | 798 | 1 | 17k| 30 | 0.000000e+00 | -- | Inf | 0.80%
2294.27/2300.45 c 2300s| 8000 | 360 | 11096k| 936.8 | 318M | 35 |1886 | 11k|8698 | 801 | 1 | 17k| 30 | 0.000000e+00 | -- | Inf | 0.80%
2298.36/2304.55 c 2305s| 8100 | 355 | 11126k| 931.4 | 318M | 35 |1886 | 11k|8698 | 803 | 1 | 18k| 30 | 0.000000e+00 | -- | Inf | 0.80%
2302.25/2308.45 c 2308s| 8200 | 356 | 11155k| 926.0 | 318M | 35 |1886 | 11k|8698 | 807 | 0 | 18k| 30 | 0.000000e+00 | -- | Inf | 0.80%
2307.34/2313.54 c 2314s| 8300 | 352 | 11192k| 921.5 | 318M | 35 |1886 | 11k|8698 | 807 | 1 | 18k| 30 | 0.000000e+00 | -- | Inf | 0.80%
2311.73/2317.98 c 2318s| 8400 | 350 | 11224k| 916.5 | 318M | 35 |1886 | 11k|8698 | 807 | 1 | 18k| 30 | 0.000000e+00 | -- | Inf | 0.80%
2318.61/2324.80 c 2325s| 8500 | 342 | 11270k| 912.8 | 318M | 35 |1886 | 11k|8697 | 809 | 0 | 18k| 30 | 0.000000e+00 | -- | Inf | 0.80%
2322.50/2328.70 c 2329s| 8600 | 352 | 11297k| 907.6 | 318M | 35 |1886 | 11k|8698 | 811 | 1 | 18k| 30 | 0.000000e+00 | -- | Inf | 0.81%
2325.99/2332.28 c 2332s| 8700 | 348 | 11324k| 902.4 | 318M | 35 |1886 | 11k|8698 | 813 | 1 | 18k| 30 | 0.000000e+00 | -- | Inf | 0.81%
2331.68/2337.92 c 2338s| 8800 | 354 | 11364k| 898.5 | 318M | 35 |1886 | 11k|8698 | 818 | 1 | 18k| 30 | 0.000000e+00 | -- | Inf | 0.81%
2336.46/2342.71 c 2343s| 8900 | 359 | 11397k| 894.0 | 318M | 35 |1886 | 12k|8697 | 822 | 1 | 18k| 30 | 0.000000e+00 | -- | Inf | 0.81%
2338.96/2345.27 c 2345s| 9000 | 362 | 11417k| 888.5 | 318M | 35 |1886 | 12k|8697 | 822 | 1 | 18k| 30 | 0.000000e+00 | -- | Inf | 0.81%
2342.05/2348.31 c 2348s| 9100 | 360 | 11439k| 883.4 | 318M | 35 |1886 | 12k|8697 | 824 | 1 | 18k| 30 | 0.000000e+00 | -- | Inf | 0.81%
2344.64/2350.94 c 2351s| 9200 | 356 | 11458k| 878.0 | 318M | 35 |1886 | 12k|8697 | 825 | 1 | 18k| 30 | 0.000000e+00 | -- | Inf | 0.81%
2348.33/2354.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2348.33/2354.66 c 2355s| 9300 | 351 | 11485k| 873.3 | 318M | 35 |1886 | 12k|8697 | 825 | 1 | 19k| 30 | 0.000000e+00 | -- | Inf | 0.81%
2351.43/2357.79 c 2358s| 9400 | 357 | 11507k| 868.4 | 318M | 35 |1886 | 12k|8697 | 826 | 1 | 19k| 30 | 0.000000e+00 | -- | Inf | 0.81%
2355.22/2361.57 c 2362s| 9500 | 353 | 11535k| 864.0 | 318M | 35 |1886 | 12k|8697 | 827 | 1 | 19k| 30 | 0.000000e+00 | -- | Inf | 0.81%
2359.81/2366.13 c 2366s| 9600 | 347 | 11568k| 860.0 | 318M | 35 |1886 | 12k|8698 | 830 | 1 | 19k| 30 | 0.000000e+00 | -- | Inf | 0.81%
2364.49/2370.81 c 2371s| 9700 | 363 | 11601k| 856.0 | 318M | 35 |1886 | 12k|8698 | 832 | 0 | 19k| 30 | 0.000000e+00 | -- | Inf | 0.81%
2368.08/2374.42 c 2374s| 9800 | 351 | 11629k| 851.8 | 318M | 35 |1886 | 12k|8698 | 832 | 0 | 19k| 30 | 0.000000e+00 | -- | Inf | 0.81%
2373.37/2379.73 c 2380s| 9900 | 351 | 11667k| 848.3 | 318M | 35 |1886 | 12k|8699 | 833 | 1 | 19k| 30 | 0.000000e+00 | -- | Inf | 0.81%
2378.66/2385.06 c 2385s| 10000 | 349 | 11705k| 844.9 | 319M | 35 |1886 | 12k|8696 | 834 | 1 | 19k| 30 | 0.000000e+00 | -- | Inf | 0.81%
2383.44/2389.80 c 2390s| 10100 | 355 | 11739k| 841.3 | 319M | 35 |1886 | 12k|8697 | 839 | 1 | 19k| 30 | 0.000000e+00 | -- | Inf | 0.81%
2388.74/2395.15 c 2395s| 10200 | 348 | 11777k| 838.0 | 319M | 35 |1886 | 12k|8698 | 845 | 0 | 19k| 30 | 0.000000e+00 | -- | Inf | 0.81%
2393.32/2399.75 c 2400s| 10300 | 348 | 11810k| 834.4 | 319M | 35 |1886 | 12k|8698 | 846 | 1 | 19k| 30 | 0.000000e+00 | -- | Inf | 0.81%
2399.30/2405.72 c 2406s| 10400 | 346 | 11853k| 831.5 | 319M | 35 |1886 | 12k|8700 | 853 | 0 | 19k| 30 | 0.000000e+00 | -- | Inf | 0.81%
2406.49/2412.97 c 2413s| 10500 | 352 | 11903k| 829.2 | 319M | 35 |1886 | 12k|8697 | 860 | 1 | 19k| 30 | 0.000000e+00 | -- | Inf | 0.81%
2411.68/2418.16 c 2418s| 10600 | 349 | 11939k| 825.9 | 319M | 35 |1886 | 12k|8698 | 864 | 0 | 20k| 30 | 0.000000e+00 | -- | Inf | 0.81%
2417.56/2424.01 c 2424s| 10700 | 345 | 11980k| 823.0 | 319M | 35 |1886 | 12k|8698 | 865 | 0 | 20k| 30 | 0.000000e+00 | -- | Inf | 0.81%
2421.55/2428.04 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2421.55/2428.04 c 2428s| 10800 | 345 | 12009k| 819.4 | 319M | 35 |1886 | 12k|8698 | 865 | 1 | 20k| 30 | 0.000000e+00 | -- | Inf | 0.81%
2426.54/2433.09 c 2433s| 10900 | 351 | 12044k| 816.2 | 319M | 35 |1886 | 12k|8697 | 870 | 0 | 20k| 30 | 0.000000e+00 | -- | Inf | 0.81%
2431.12/2437.68 c 2438s| 11000 | 359 | 12077k| 813.0 | 319M | 35 |1886 | 12k|8697 | 872 | 0 | 20k| 30 | 0.000000e+00 | -- | Inf | 0.81%
2435.11/2441.60 c 2442s| 11100 | 349 | 12107k| 809.4 | 319M | 35 |1886 | 12k|8697 | 872 | 0 | 20k| 30 | 0.000000e+00 | -- | Inf | 0.81%
2441.30/2447.80 c 2448s| 11200 | 357 | 12143k| 806.5 | 319M | 35 |1886 | 12k|8698 | 873 | 1 | 20k| 30 | 0.000000e+00 | -- | Inf | 0.81%
2447.68/2454.23 c 2454s| 11300 | 353 | 12187k| 804.1 | 319M | 35 |1886 | 12k|8698 | 879 | 1 | 20k| 30 | 0.000000e+00 | -- | Inf | 0.81%
2453.27/2459.82 c 2460s| 11400 | 347 | 12228k| 801.4 | 320M | 35 |1886 | 12k|8698 | 881 | 1 | 20k| 30 | 0.000000e+00 | -- | Inf | 0.81%
2459.46/2466.05 c 2466s| 11500 | 337 | 12272k| 799.1 | 320M | 35 |1886 | 12k|8697 | 883 | 0 | 20k| 30 | 0.000000e+00 | -- | Inf | 0.81%
2468.43/2475.06 c 2475s| 11600 | 335 | 12333k| 797.8 | 320M | 35 |1886 | 12k|8696 | 887 | 1 | 20k| 30 | 0.000000e+00 | -- | Inf | 0.81%
2474.81/2481.41 c 2481s| 11700 | 326 | 12377k| 795.5 | 320M | 35 |1886 | 12k|8697 | 892 | 0 | 20k| 30 | 0.000000e+00 | -- | Inf | 0.81%
2485.89/2492.53 c 2493s| 11800 | 343 | 12445k| 794.8 | 320M | 35 |1886 | 12k|8696 | 898 | 1 | 21k| 30 | 0.000000e+00 | -- | Inf | 0.81%
2493.37/2500.02 c 2500s| 11900 | 355 | 12497k| 793.0 | 320M | 35 |1886 | 12k|8697 | 902 | 0 | 21k| 30 | 0.000000e+00 | -- | Inf | 0.81%
2499.95/2506.66 c 2507s| 12000 | 353 | 12544k| 791.0 | 320M | 35 |1886 | 12k|8696 | 904 | 1 | 21k| 30 | 0.000000e+00 | -- | Inf | 0.81%
2507.03/2513.76 c 2514s| 12100 | 363 | 12593k| 789.1 | 320M | 35 |1886 | 12k|8697 | 905 | 0 | 21k| 30 | 0.000000e+00 | -- | Inf | 0.81%
2510.52/2517.21 c 2517s| 12200 | 352 | 12618k| 785.7 | 320M | 35 |1886 | 12k|8697 | 905 | 1 | 21k| 30 | 0.000000e+00 | -- | Inf | 0.81%
2515.71/2522.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2515.71/2522.42 c 2522s| 12300 | 351 | 12657k| 783.2 | 320M | 35 |1886 | 12k|8697 | 905 | 1 | 21k| 30 | 0.000000e+00 | -- | Inf | 0.81%
2521.10/2527.85 c 2528s| 12400 | 346 | 12695k| 780.7 | 320M | 35 |1886 | 12k|8697 | 908 | 1 | 21k| 30 | 0.000000e+00 | -- | Inf | 0.81%
2526.58/2533.36 c 2533s| 12500 | 350 | 12733k| 778.3 | 320M | 35 |1886 | 13k|8698 | 910 | 0 | 21k| 30 | 0.000000e+00 | -- | Inf | 0.81%
2533.17/2539.93 c 2540s| 12600 | 356 | 12779k| 776.3 | 320M | 35 |1886 | 13k|8697 | 915 | 0 | 21k| 30 | 0.000000e+00 | -- | Inf | 0.81%
2539.15/2545.99 c 2546s| 12700 | 350 | 12822k| 774.3 | 320M | 35 |1886 | 13k|8699 | 915 | 1 | 21k| 30 | 0.000000e+00 | -- | Inf | 0.82%
2546.34/2553.13 c 2553s| 12800 | 352 | 12870k| 772.5 | 320M | 35 |1886 | 13k|8698 | 922 | 0 | 21k| 30 | 0.000000e+00 | -- | Inf | 0.82%
2552.22/2559.03 c 2559s| 12900 | 352 | 12911k| 770.3 | 320M | 35 |1886 | 13k|8698 | 926 | 1 | 21k| 30 | 0.000000e+00 | -- | Inf | 0.82%
2558.50/2565.33 c 2565s| 13000 | 342 | 12956k| 768.4 | 320M | 35 |1886 | 12k|8697 | 929 | 0 | 21k| 30 | 0.000000e+00 | -- | Inf | 0.82%
2565.19/2572.08 c 2572s| 13100 | 340 | 13002k| 766.6 | 320M | 35 |1886 | 12k|8698 | 933 | 0 | 21k| 30 | 0.000000e+00 | -- | Inf | 0.82%
2574.36/2581.20 c 2581s| 13200 | 338 | 13065k| 765.7 | 320M | 35 |1886 | 12k|8701 | 947 | 0 | 21k| 30 | 0.000000e+00 | -- | Inf | 0.82%
2581.64/2588.50 c 2589s| 13300 | 344 | 13115k| 764.2 | 320M | 35 |1886 | 12k|8697 | 958 | 0 | 22k| 30 | 0.000000e+00 | -- | Inf | 0.82%
2585.14/2592.01 c 2592s| 13400 | 347 | 13140k| 761.2 | 320M | 35 |1886 | 12k|8697 | 959 | 0 | 22k| 30 | 0.000000e+00 | -- | Inf | 0.82%
2590.13/2597.07 c 2597s| 13500 | 339 | 13176k| 758.9 | 320M | 35 |1886 | 12k|8697 | 962 | 0 | 22k| 30 | 0.000000e+00 | -- | Inf | 0.82%
2596.51/2603.40 c 2603s| 13600 | 342 | 13218k| 756.9 | 320M | 35 |1886 | 12k|8698 | 964 | 0 | 22k| 30 | 0.000000e+00 | -- | Inf | 0.82%
2605.88/2612.88 c 2613s| 13700 | 357 | 13282k| 756.3 | 320M | 35 |1886 | 12k|8697 | 969 | 0 | 22k| 30 | 0.000000e+00 | -- | Inf | 0.82%
2610.47/2617.44 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2610.47/2617.44 c 2617s| 13800 | 351 | 13316k| 753.9 | 320M | 35 |1886 | 12k|8697 | 969 | 1 | 22k| 30 | 0.000000e+00 | -- | Inf | 0.82%
2616.55/2623.50 c 2624s| 13900 | 339 | 13359k| 752.0 | 320M | 35 |1886 | 12k|8697 | 970 | 0 | 22k| 30 | 0.000000e+00 | -- | Inf | 0.82%
2625.04/2632.08 c 2632s| 14000 | 343 | 13416k| 751.0 | 320M | 35 |1886 | 12k|8698 | 975 | 2 | 22k| 30 | 0.000000e+00 | -- | Inf | 0.82%
2636.50/2643.57 c 2644s| 14100 | 369 | 13484k| 750.7 | 320M | 35 |1886 | 12k|8695 | 979 | 1 | 22k| 30 | 0.000000e+00 | -- | Inf | 0.82%
2640.89/2647.96 c 2648s| 14200 | 371 | 13516k| 748.2 | 320M | 35 |1886 | 12k|8696 | 983 | 1 | 22k| 30 | 0.000000e+00 | -- | Inf | 0.82%
2644.09/2651.19 c 2651s| 14300 | 371 | 13540k| 745.4 | 320M | 35 |1886 | 12k|8695 | 983 | 0 | 22k| 30 | 0.000000e+00 | -- | Inf | 0.82%
2649.47/2656.58 c 2657s| 14400 | 367 | 13577k| 743.4 | 320M | 35 |1886 | 12k|8695 | 986 | 1 | 22k| 30 | 0.000000e+00 | -- | Inf | 0.82%
2655.06/2662.11 c 2662s| 14500 | 367 | 13616k| 741.4 | 320M | 35 |1886 | 12k|8694 | 988 | 1 | 22k| 30 | 0.000000e+00 | -- | Inf | 0.82%
2661.44/2668.59 c 2669s| 14600 | 359 | 13662k| 739.9 | 320M | 35 |1886 | 12k|8696 | 988 | 0 | 22k| 30 | 0.000000e+00 | -- | Inf | 0.82%
2670.42/2677.54 c 2678s| 14700 | 367 | 13721k| 739.1 | 320M | 35 |1886 | 12k|8695 | 993 | 2 | 23k| 30 | 0.000000e+00 | -- | Inf | 0.82%
2674.51/2681.61 c 2682s| 14800 | 392 | 13749k| 736.6 | 320M | 35 |1886 | 12k|8694 | 995 | 1 | 23k| 30 | 0.000000e+00 | -- | Inf | 0.82%
2676.01/2683.12 c 2683s| 14900 | 399 | 13759k| 733.2 | 320M | 36 |1886 | 13k|8694 | 995 | 1 | 23k| 30 | 0.000000e+00 | -- | Inf | 0.82%
2677.50/2684.64 c 2685s| 15000 | 385 | 13771k| 729.9 | 320M | 38 |1886 | 13k|8694 | 995 | 1 | 23k| 30 | 0.000000e+00 | -- | Inf | 0.82%
2679.10/2686.23 c 2686s| 15100 | 386 | 13782k| 726.7 | 320M | 38 |1886 | 13k|8694 | 995 | 0 | 23k| 30 | 0.000000e+00 | -- | Inf | 0.82%
2683.68/2690.87 c 2691s| 15200 | 379 | 13812k| 724.4 | 320M | 38 |1886 | 13k|8695 | 995 | 1 | 24k| 30 | 0.000000e+00 | -- | Inf | 0.82%
2690.68/2697.83 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2690.68/2697.83 c 2698s| 15300 | 379 | 13842k| 722.2 | 320M | 38 |1886 | 13k|8694 | 996 | 1 | 24k| 30 | 0.000000e+00 | -- | Inf | 0.82%
2695.16/2702.35 c 2702s| 15400 | 375 | 13874k| 720.1 | 320M | 38 |1886 | 13k|8696 | 998 | 0 | 24k| 30 | 0.000000e+00 | -- | Inf | 0.82%
2699.05/2706.21 c 2706s| 15500 | 381 | 13902k| 717.8 | 320M | 38 |1886 | 13k|8696 |1000 | 0 | 24k| 30 | 0.000000e+00 | -- | Inf | 0.82%
2702.95/2710.13 c 2710s| 15600 | 382 | 13930k| 715.6 | 320M | 38 |1886 | 13k|8696 |1000 | 1 | 24k| 30 | 0.000000e+00 | -- | Inf | 0.82%
2707.03/2714.21 c 2714s| 15700 | 380 | 13960k| 713.4 | 320M | 38 |1886 | 13k|8695 |1001 | 1 | 24k| 30 | 0.000000e+00 | -- | Inf | 0.82%
2709.73/2716.99 c 2717s| 15800 | 387 | 13981k| 710.8 | 320M | 38 |1886 | 13k|8695 |1001 | 1 | 24k| 30 | 0.000000e+00 | -- | Inf | 0.82%
2713.02/2720.25 c 2720s| 15900 | 380 | 14004k| 708.4 | 320M | 38 |1886 | 13k|8695 |1002 | 1 | 24k| 30 | 0.000000e+00 | -- | Inf | 0.82%
2715.41/2722.66 c 2723s| 16000 | 378 | 14022k| 705.7 | 320M | 38 |1886 | 13k|8695 |1002 | 0 | 24k| 30 | 0.000000e+00 | -- | Inf | 0.82%
2718.41/2725.63 c 2726s| 16100 | 378 | 14044k| 703.2 | 320M | 38 |1886 | 14k|8695 |1002 | 0 | 24k| 30 | 0.000000e+00 | -- | Inf | 0.82%
2724.69/2731.98 c 2732s| 16200 | 374 | 14089k| 702.0 | 320M | 38 |1886 | 14k|8695 |1006 | 1 | 24k| 30 | 0.000000e+00 | -- | Inf | 0.82%
2730.28/2737.56 c 2738s| 16300 | 376 | 14128k| 700.4 | 320M | 38 |1886 | 14k|8695 |1010 | 1 | 24k| 30 | 0.000000e+00 | -- | Inf | 0.82%
2737.96/2745.24 c 2745s| 16400 | 377 | 14181k| 699.6 | 320M | 38 |1886 | 14k|8696 |1015 | 2 | 25k| 30 | 0.000000e+00 | -- | Inf | 0.82%
2742.44/2749.79 c 2750s| 16500 | 385 | 14212k| 697.7 | 320M | 38 |1886 | 14k|8695 |1018 | 1 | 25k| 30 | 0.000000e+00 | -- | Inf | 0.82%
2745.04/2752.37 c 2752s| 16600 | 385 | 14232k| 695.2 | 320M | 38 |1886 | 14k|8695 |1019 | 0 | 25k| 30 | 0.000000e+00 | -- | Inf | 0.82%
2748.53/2755.83 c 2756s| 16700 | 383 | 14258k| 693.1 | 320M | 38 |1886 | 14k|8696 |1019 | 1 | 25k| 30 | 0.000000e+00 | -- | Inf | 0.82%
2753.32/2760.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2753.32/2760.62 c 2761s| 16800 | 375 | 14293k| 691.4 | 320M | 38 |1886 | 14k|8696 |1019 | 0 | 25k| 30 | 0.000000e+00 | -- | Inf | 0.83%
2757.91/2765.22 c 2765s| 16900 | 375 | 14325k| 689.7 | 320M | 38 |1886 | 14k|8694 |1021 | 1 | 25k| 30 | 0.000000e+00 | -- | Inf | 0.83%
2763.19/2770.53 c 2771s| 17000 | 388 | 14363k| 688.1 | 320M | 38 |1886 | 14k|8695 |1023 | 1 | 25k| 30 | 0.000000e+00 | -- | Inf | 0.83%
2767.08/2774.40 c 2774s| 17100 | 386 | 14391k| 686.2 | 320M | 38 |1886 | 14k|8695 |1023 | 0 | 25k| 30 | 0.000000e+00 | -- | Inf | 0.83%
2773.67/2781.07 c 2781s| 17200 | 380 | 14437k| 685.1 | 320M | 38 |1886 | 14k|8696 |1030 | 1 | 25k| 30 | 0.000000e+00 | -- | Inf | 0.83%
2779.45/2786.86 c 2787s| 17300 | 372 | 14478k| 683.8 | 320M | 38 |1886 | 14k|8696 |1030 | 0 | 25k| 30 | 0.000000e+00 | -- | Inf | 0.83%
2785.93/2793.36 c 2793s| 17400 | 382 | 14523k| 682.7 | 320M | 38 |1886 | 14k|8696 |1035 | 1 | 25k| 30 | 0.000000e+00 | -- | Inf | 0.83%
2790.73/2798.18 c 2798s| 17500 | 374 | 14557k| 681.1 | 321M | 38 |1886 | 14k|8696 |1035 | 1 | 25k| 30 | 0.000000e+00 | -- | Inf | 0.83%
2799.90/2807.30 c 2807s| 17600 | 380 | 14611k| 680.4 | 321M | 38 |1886 | 14k|8696 |1035 | 1 | 25k| 30 | 0.000000e+00 | -- | Inf | 0.83%
2806.69/2814.18 c 2814s| 17700 | 374 | 14658k| 679.5 | 321M | 38 |1886 | 14k|8694 |1035 | 1 | 25k| 30 | 0.000000e+00 | -- | Inf | 0.83%
2814.76/2822.21 c 2822s| 17800 | 374 | 14713k| 678.9 | 321M | 38 |1886 | 14k|8694 |1037 | 0 | 25k| 30 | 0.000000e+00 | -- | Inf | 0.83%
2820.55/2828.01 c 2828s| 17900 | 386 | 14755k| 677.6 | 321M | 38 |1886 | 14k|8694 |1037 | 1 | 25k| 30 | 0.000000e+00 | -- | Inf | 0.83%
2826.23/2833.72 c 2834s| 18000 | 384 | 14795k| 676.4 | 321M | 38 |1886 | 14k|8694 |1038 | 1 | 25k| 30 | 0.000000e+00 | -- | Inf | 0.83%
2831.63/2839.16 c 2839s| 18100 | 374 | 14833k| 675.0 | 321M | 38 |1886 | 14k|8694 |1039 | 1 | 26k| 30 | 0.000000e+00 | -- | Inf | 0.83%
2838.00/2845.58 c 2846s| 18200 | 384 | 14878k| 674.0 | 321M | 38 |1886 | 14k|8694 |1041 | 0 | 26k| 30 | 0.000000e+00 | -- | Inf | 0.83%
2846.08/2853.63 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2846.08/2853.63 c 2854s| 18300 | 372 | 14930k| 673.3 | 321M | 38 |1886 | 14k|8707 |1060 | 2 | 26k| 30 | 0.000000e+00 | -- | Inf | 0.83%
2859.95/2867.54 c 2868s| 18400 | 382 | 15010k| 673.9 | 321M | 38 |1886 | 14k|8696 |1080 | 1 | 26k| 30 | 0.000000e+00 | -- | Inf | 0.83%
2877.70/2885.34 c 2885s| 18500 | 406 | 15105k| 675.1 | 321M | 38 |1886 | 14k|8700 |1137 | 0 | 26k| 30 | 0.000000e+00 | -- | Inf | 0.84%
2883.09/2890.78 c 2891s| 18600 | 410 | 15141k| 673.7 | 321M | 38 |1886 | 14k|8699 |1139 | 0 | 26k| 30 | 0.000000e+00 | -- | Inf | 0.85%
2888.98/2896.69 c 2897s| 18700 | 409 | 15181k| 672.5 | 321M | 38 |1886 | 14k|8697 |1141 | 1 | 26k| 30 | 0.000000e+00 | -- | Inf | 0.85%
2897.46/2905.14 c 2905s| 18800 | 408 | 15233k| 671.8 | 321M | 38 |1886 | 14k|8698 |1148 | 0 | 26k| 30 | 0.000000e+00 | -- | Inf | 0.85%
2906.03/2913.75 c 2914s| 18900 | 414 | 15288k| 671.3 | 321M | 38 |1886 | 13k|8699 |1154 | 1 | 26k| 30 | 0.000000e+00 | -- | Inf | 0.85%
2915.61/2923.31 c 2923s| 19000 | 425 | 15352k| 671.2 | 321M | 38 |1886 | 13k|8698 |1161 | 1 | 27k| 30 | 0.000000e+00 | -- | Inf | 0.85%
2919.00/2926.72 c 2927s| 19100 | 425 | 15377k| 669.3 | 321M | 38 |1886 | 13k|8700 |1165 | 0 | 27k| 30 | 0.000000e+00 | -- | Inf | 0.85%
2922.30/2930.03 c 2930s| 19200 | 430 | 15401k| 667.4 | 321M | 38 |1886 | 14k|8699 |1167 | 1 | 27k| 30 | 0.000000e+00 | -- | Inf | 0.85%
2925.09/2932.86 c 2933s| 19300 | 431 | 15421k| 665.4 | 321M | 38 |1886 | 14k|8697 |1168 | 1 | 27k| 30 | 0.000000e+00 | -- | Inf | 0.85%
2927.78/2935.51 c 2936s| 19400 | 427 | 15441k| 663.4 | 321M | 38 |1886 | 14k|8697 |1168 | 1 | 27k| 30 | 0.000000e+00 | -- | Inf | 0.85%
2930.87/2938.60 c 2939s| 19500 | 425 | 15464k| 661.5 | 321M | 38 |1886 | 14k|8699 |1170 | 0 | 27k| 30 | 0.000000e+00 | -- | Inf | 0.85%
2934.56/2942.36 c 2942s| 19600 | 421 | 15490k| 659.8 | 321M | 38 |1886 | 14k|8699 |1170 | 0 | 27k| 30 | 0.000000e+00 | -- | Inf | 0.85%
2938.95/2946.78 c 2947s| 19700 | 415 | 15521k| 658.3 | 321M | 38 |1886 | 14k|8699 |1171 | 0 | 27k| 30 | 0.000000e+00 | -- | Inf | 0.85%
2943.04/2950.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2943.04/2950.89 c 2951s| 19800 | 425 | 15551k| 656.8 | 321M | 38 |1886 | 14k|8699 |1178 | 0 | 27k| 30 | 0.000000e+00 | -- | Inf | 0.85%
2945.93/2953.77 c 2954s| 19900 | 415 | 15572k| 654.9 | 321M | 38 |1886 | 14k|8699 |1180 | 0 | 27k| 30 | 0.000000e+00 | -- | Inf | 0.85%
2950.12/2957.97 c 2958s| 20000 | 417 | 15602k| 653.4 | 321M | 38 |1886 | 14k|8698 |1181 | 0 | 28k| 30 | 0.000000e+00 | -- | Inf | 0.85%
2956.61/2964.41 c 2964s| 20100 | 417 | 15647k| 652.6 | 321M | 38 |1886 | 14k|8700 |1190 | 2 | 28k| 30 | 0.000000e+00 | -- | Inf | 0.85%
2960.20/2968.01 c 2968s| 20200 | 421 | 15673k| 650.9 | 321M | 38 |1886 | 14k|8699 |1190 | 1 | 28k| 30 | 0.000000e+00 | -- | Inf | 0.85%
2963.59/2971.49 c 2971s| 20300 | 418 | 15698k| 649.3 | 321M | 38 |1886 | 14k|8699 |1190 | 1 | 28k| 30 | 0.000000e+00 | -- | Inf | 0.85%
2969.57/2977.47 c 2977s| 20400 | 414 | 15739k| 648.3 | 321M | 38 |1886 | 14k|8700 |1196 | 2 | 28k| 30 | 0.000000e+00 | -- | Inf | 0.86%
2973.96/2981.85 c 2982s| 20500 | 417 | 15770k| 646.9 | 321M | 38 |1886 | 14k|8699 |1198 | 0 | 28k| 30 | 0.000000e+00 | -- | Inf | 0.86%
2979.65/2987.59 c 2988s| 20600 | 413 | 15812k| 646.0 | 321M | 38 |1886 | 14k|8699 |1198 | 1 | 28k| 30 | 0.000000e+00 | -- | Inf | 0.86%
2987.13/2995.04 c 2995s| 20700 | 409 | 15863k| 645.4 | 321M | 38 |1886 | 14k|8700 |1205 | 0 | 28k| 30 | 0.000000e+00 | -- | Inf | 0.86%
2993.31/3001.22 c 3001s| 20800 | 411 | 15907k| 644.5 | 321M | 38 |1886 | 14k|8699 |1207 | 1 | 28k| 30 | 0.000000e+00 | -- | Inf | 0.86%
3000.89/3008.89 c 3009s| 20900 | 412 | 15959k| 644.0 | 321M | 38 |1886 | 14k|8699 |1219 | 1 | 28k| 30 | 0.000000e+00 | -- | Inf | 0.86%
3032.32/3040.32 c 3040s| 21000 | 435 | 16126k| 648.2 | 321M | 38 |1886 | 14k|8695 |1250 | 0 | 28k| 30 | 0.000000e+00 | -- | Inf | 0.89%
3045.48/3053.59 c 3054s| 21100 | 427 | 16207k| 648.9 | 322M | 38 |1886 | 14k|8695 |1255 | 1 | 28k| 30 | 0.000000e+00 | -- | Inf | 0.90%
3073.61/3081.73 c 3082s| 21200 | 465 | 16354k| 652.2 | 322M | 38 |1886 | 15k|8699 |1313 | 0 | 29k| 30 | 0.000000e+00 | -- | Inf | 0.93%
3085.99/3094.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3085.99/3094.13 c 3094s| 21300 | 479 | 16428k| 652.5 | 322M | 38 |1886 | 15k|8698 |1318 | 0 | 29k| 30 | 0.000000e+00 | -- | Inf | 0.94%
3098.05/3106.22 c 3106s| 21400 | 472 | 16499k| 652.7 | 322M | 38 |1886 | 15k|8699 |1324 | 2 | 29k| 30 | 0.000000e+00 | -- | Inf | 0.95%
3104.14/3112.36 c 3112s| 21500 | 476 | 16540k| 651.7 | 322M | 38 |1886 | 15k|8699 |1325 | 1 | 29k| 30 | 0.000000e+00 | -- | Inf | 0.95%
3109.02/3117.21 c 3117s| 21600 | 473 | 16574k| 650.5 | 322M | 38 |1886 | 15k|8699 |1325 | 1 | 29k| 30 | 0.000000e+00 | -- | Inf | 0.95%
3115.61/3123.80 c 3124s| 21700 | 461 | 16618k| 649.7 | 322M | 38 |1886 | 15k|8700 |1326 | 0 | 29k| 30 | 0.000000e+00 | -- | Inf | 0.95%
3129.67/3137.91 c 3138s| 21800 | 480 | 16702k| 650.4 | 322M | 38 |1886 | 15k|8700 |1329 | 1 | 29k| 30 | 0.000000e+00 | -- | Inf | 0.96%
3135.86/3144.16 c 3144s| 21900 | 465 | 16743k| 649.5 | 323M | 38 |1886 | 15k|8698 |1329 | 1 | 30k| 30 | 0.000000e+00 | -- | Inf | 0.96%
3154.31/3162.65 c 3163s| 22000 | 499 | 16843k| 650.9 | 323M | 38 |1886 | 14k|8699 |1361 | 1 | 30k| 30 | 0.000000e+00 | -- | Inf | 0.97%
3160.10/3168.47 c 3168s| 22100 | 500 | 16884k| 649.9 | 323M | 38 |1886 | 14k|8700 |1363 | 1 | 30k| 30 | 0.000000e+00 | -- | Inf | 0.97%
3168.88/3177.24 c 3177s| 22200 | 514 | 16938k| 649.5 | 323M | 38 |1886 | 14k|8700 |1370 | 2 | 30k| 30 | 0.000000e+00 | -- | Inf | 0.97%
3173.77/3182.11 c 3182s| 22300 | 534 | 16969k| 648.2 | 323M | 38 |1886 | 14k|8698 |1371 | 1 | 30k| 30 | 0.000000e+00 | -- | Inf | 0.97%
3178.55/3186.93 c 3187s| 22400 | 537 | 17003k| 647.0 | 323M | 38 |1886 | 14k|8698 |1371 | 0 | 30k| 30 | 0.000000e+00 | -- | Inf | 0.97%
3181.34/3189.72 c 3190s| 22500 | 536 | 17023k| 645.3 | 323M | 38 |1886 | 14k|8698 |1372 | 0 | 31k| 30 | 0.000000e+00 | -- | Inf | 0.97%
3186.53/3194.90 c 3195s| 22600 | 534 | 17060k| 644.3 | 323M | 38 |1886 | 14k|8698 |1372 | 1 | 31k| 30 | 0.000000e+00 | -- | Inf | 0.97%
3191.82/3200.24 c 3200s| 22700 | 534 | 17098k| 643.3 | 323M | 38 |1886 | 14k|8699 |1374 | 0 | 31k| 30 | 0.000000e+00 | -- | Inf | 0.97%
3198.10/3206.55 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3198.10/3206.55 c 3207s| 22800 | 532 | 17141k| 642.5 | 323M | 38 |1886 | 14k|8698 |1378 | 0 | 31k| 30 | 0.000000e+00 | -- | Inf | 0.97%
3205.08/3213.56 c 3214s| 22900 | 540 | 17188k| 641.8 | 323M | 38 |1886 | 15k|8700 |1386 | 1 | 31k| 30 | 0.000000e+00 | -- | Inf | 0.97%
3210.37/3218.89 c 3219s| 23000 | 551 | 17225k| 640.8 | 323M | 38 |1886 | 15k|8699 |1390 | 1 | 31k| 30 | 0.000000e+00 | -- | Inf | 0.97%
3219.25/3227.70 c 3228s| 23100 | 551 | 17282k| 640.6 | 323M | 38 |1886 | 15k|8699 |1391 | 1 | 31k| 30 | 0.000000e+00 | -- | Inf | 0.97%
3228.33/3236.88 c 3237s| 23200 | 561 | 17339k| 640.3 | 323M | 38 |1886 | 15k|8699 |1399 | 1 | 31k| 30 | 0.000000e+00 | -- | Inf | 0.97%
3232.32/3240.84 c 3241s| 23300 | 570 | 17366k| 638.9 | 323M | 38 |1886 | 15k|8698 |1400 | 1 | 31k| 30 | 0.000000e+00 | -- | Inf | 0.97%
3239.10/3247.61 c 3248s| 23400 | 568 | 17411k| 638.3 | 324M | 38 |1886 | 15k|8698 |1404 | 0 | 31k| 30 | 0.000000e+00 | -- | Inf | 0.97%
3247.08/3255.67 c 3256s| 23500 | 570 | 17466k| 637.9 | 324M | 38 |1886 | 15k|8698 |1405 | 1 | 32k| 30 | 0.000000e+00 | -- | Inf | 0.97%
3253.76/3262.39 c 3262s| 23600 | 584 | 17511k| 637.2 | 324M | 38 |1886 | 15k|8698 |1412 | 1 | 32k| 30 | 0.000000e+00 | -- | Inf | 0.97%
3261.84/3270.49 c 3270s| 23700 | 578 | 17566k| 636.9 | 324M | 38 |1886 | 15k|8698 |1418 | 1 | 32k| 30 | 0.000000e+00 | -- | Inf | 0.97%
3268.73/3277.37 c 3277s| 23800 | 595 | 17611k| 636.2 | 324M | 38 |1886 | 15k|8700 |1425 | 0 | 32k| 30 | 0.000000e+00 | -- | Inf | 0.97%
3275.11/3283.78 c 3284s| 23900 | 592 | 17656k| 635.6 | 324M | 38 |1886 | 15k|8700 |1426 | 1 | 32k| 30 | 0.000000e+00 | -- | Inf | 0.97%
3284.69/3293.30 c 3293s| 24000 | 589 | 17719k| 635.5 | 324M | 38 |1886 | 15k|8694 |1432 | 1 | 32k| 30 | 0.000000e+00 | -- | Inf | 0.98%
3306.53/3315.28 c 3315s| 24100 | 629 | 17830k| 637.2 | 324M | 38 |1886 | 13k|8699 |1486 | 1 | 32k| 30 | 0.000000e+00 | -- | Inf | 0.98%
3313.61/3322.30 c 3322s| 24200 | 631 | 17878k| 636.7 | 324M | 38 |1886 | 13k|8699 |1490 | 1 | 32k| 30 | 0.000000e+00 | -- | Inf | 0.98%
3322.30/3331.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3322.30/3331.01 c 3331s| 24300 | 627 | 17933k| 636.4 | 324M | 38 |1886 | 13k|8698 |1496 | 1 | 32k| 30 | 0.000000e+00 | -- | Inf | 0.98%
3329.38/3338.11 c 3338s| 24400 | 631 | 17981k| 635.8 | 324M | 38 |1886 | 13k|8698 |1497 | 0 | 32k| 30 | 0.000000e+00 | -- | Inf | 0.98%
3335.96/3344.72 c 3345s| 24500 | 631 | 18028k| 635.2 | 324M | 38 |1886 | 13k|8699 |1499 | 1 | 32k| 30 | 0.000000e+00 | -- | Inf | 0.98%
3342.25/3351.03 c 3351s| 24600 | 627 | 18071k| 634.5 | 324M | 38 |1886 | 13k|8698 |1500 | 0 | 32k| 30 | 0.000000e+00 | -- | Inf | 0.98%
3349.02/3357.87 c 3358s| 24700 | 629 | 18120k| 634.0 | 324M | 38 |1886 | 13k|8698 |1500 | 1 | 32k| 30 | 0.000000e+00 | -- | Inf | 0.99%
3360.10/3368.92 c 3369s| 24800 | 625 | 18191k| 634.3 | 324M | 38 |1886 | 13k|8698 |1507 | 0 | 32k| 30 | 0.000000e+00 | -- | Inf | 0.99%
3368.48/3377.31 c 3377s| 24900 | 625 | 18248k| 634.0 | 324M | 38 |1886 | 13k|8698 |1508 | 1 | 33k| 30 | 0.000000e+00 | -- | Inf | 0.99%
3378.05/3386.90 c 3387s| 25000 | 627 | 18309k| 633.9 | 324M | 38 |1886 | 13k|8698 |1510 | 0 | 33k| 30 | 0.000000e+00 | -- | Inf | 0.99%
3384.83/3393.71 c 3394s| 25100 | 625 | 18356k| 633.4 | 324M | 38 |1886 | 13k|8698 |1513 | 0 | 33k| 30 | 0.000000e+00 | -- | Inf | 0.99%
3396.51/3405.48 c 3405s| 25200 | 633 | 18430k| 633.8 | 324M | 38 |1886 | 13k|8702 |1517 | 1 | 33k| 30 | 0.000000e+00 | -- | Inf | 1.00%
3412.37/3421.33 c 3421s| 25300 | 641 | 18524k| 634.8 | 324M | 38 |1886 | 13k|8695 |1552 | 1 | 33k| 30 | 0.000000e+00 | -- | Inf | 1.00%
3425.04/3434.07 c 3434s| 25400 | 653 | 18597k| 635.1 | 324M | 38 |1886 | 12k|8694 |1556 | 0 | 33k| 30 | 0.000000e+00 | -- | Inf | 1.02%
3445.68/3454.72 c 3455s| 25500 | 678 | 18709k| 636.8 | 325M | 38 |1886 | 12k|8700 |1615 | 0 | 33k| 30 | 0.000000e+00 | -- | Inf | 1.03%
3457.06/3466.11 c 3466s| 25600 | 682 | 18779k| 637.0 | 325M | 38 |1886 | 12k|8700 |1628 | 0 | 33k| 30 | 0.000000e+00 | -- | Inf | 1.04%
3461.34/3470.44 c 3470s| 25700 | 691 | 18809k| 635.9 | 325M | 38 |1886 | 12k|8700 |1629 | 0 | 33k| 30 | 0.000000e+00 | -- | Inf | 1.04%
3468.13/3477.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3468.13/3477.22 c 3477s| 25800 | 688 | 18855k| 635.3 | 325M | 38 |1886 | 12k|8702 |1635 | 0 | 34k| 30 | 0.000000e+00 | -- | Inf | 1.04%
3473.21/3482.38 c 3482s| 25900 | 689 | 18891k| 634.4 | 325M | 38 |1886 | 12k|8701 |1639 | 0 | 34k| 30 | 0.000000e+00 | -- | Inf | 1.04%
3477.91/3487.10 c 3487s| 26000 | 689 | 18924k| 633.3 | 325M | 38 |1886 | 12k|8700 |1640 | 0 | 34k| 30 | 0.000000e+00 | -- | Inf | 1.04%
3484.59/3493.77 c 3494s| 26100 | 687 | 18970k| 632.7 | 325M | 38 |1886 | 12k|8701 |1644 | 0 | 34k| 30 | 0.000000e+00 | -- | Inf | 1.04%
3491.37/3500.54 c 3501s| 26200 | 685 | 19016k| 632.2 | 325M | 38 |1886 | 12k|8700 |1648 | 1 | 34k| 30 | 0.000000e+00 | -- | Inf | 1.04%
3498.15/3507.38 c 3507s| 26300 | 677 | 19063k| 631.6 | 325M | 38 |1886 | 12k|8701 |1651 | 0 | 34k| 30 | 0.000000e+00 | -- | Inf | 1.04%
3509.02/3518.21 c 3518s| 26400 | 685 | 19131k| 631.8 | 325M | 38 |1886 | 12k|8700 |1663 | 1 | 34k| 30 | 0.000000e+00 | -- | Inf | 1.04%
3516.11/3525.31 c 3525s| 26500 | 694 | 19179k| 631.3 | 325M | 38 |1886 | 12k|8700 |1665 | 1 | 34k| 30 | 0.000000e+00 | -- | Inf | 1.04%
3525.89/3535.12 c 3535s| 26600 | 689 | 19243k| 631.3 | 325M | 38 |1886 | 12k|8700 |1674 | 1 | 34k| 30 | 0.000000e+00 | -- | Inf | 1.04%
3531.07/3540.38 c 3540s| 26700 | 697 | 19279k| 630.4 | 325M | 38 |1886 | 12k|8701 |1677 | 1 | 34k| 30 | 0.000000e+00 | -- | Inf | 1.04%
3537.15/3546.48 c 3546s| 26800 | 681 | 19321k| 629.7 | 325M | 38 |1886 | 12k|8702 |1679 | 1 | 34k| 30 | 0.000000e+00 | -- | Inf | 1.04%
3553.72/3563.06 c 3563s| 26900 | 699 | 19405k| 630.4 | 325M | 38 |1886 | 12k|8700 |1690 | 0 | 34k| 30 | 0.000000e+00 | -- | Inf | 1.05%
3564.29/3573.63 c 3574s| 27000 | 691 | 19474k| 630.6 | 325M | 38 |1886 | 12k|8701 |1707 | 0 | 35k| 30 | 0.000000e+00 | -- | Inf | 1.05%
3577.66/3587.05 c 3587s| 27100 | 705 | 19544k| 630.8 | 325M | 38 |1886 | 12k|8699 |1714 | 0 | 35k| 30 | 0.000000e+00 | -- | Inf | 1.05%
3582.94/3592.35 c 3592s| 27200 | 730 | 19579k| 629.9 | 325M | 38 |1886 | 12k|8700 |1723 | 1 | 35k| 30 | 0.000000e+00 | -- | Inf | 1.05%
3585.74/3595.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3585.74/3595.12 c 3595s| 27300 | 721 | 19600k| 628.6 | 325M | 38 |1886 | 13k|8700 |1724 | 0 | 35k| 30 | 0.000000e+00 | -- | Inf | 1.05%
3587.53/3597.00 c
3587.53/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.53/3597.00 c Solving Time (sec) : 3597.00
3587.53/3597.00 c Solving Nodes : 27354 (total of 31125 nodes in 2 runs)
3587.53/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3587.53/3597.00 c Dual Bound : +0.00000000000000e+00
3587.53/3597.00 c Gap : infinite
3587.53/3597.00 s UNKNOWN
3587.53/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.53/3597.00 c Total Time : 3597.00
3587.53/3597.00 c solving : 3597.00
3587.53/3597.00 c presolving : 0.78 (included in solving)
3587.53/3597.00 c reading : 0.03 (included in solving)
3587.53/3597.00 c copying : 0.88 (43 #copies) (minimal 0.02, maximal 0.04, average 0.02)
3587.53/3597.00 c Original Problem :
3587.53/3597.00 c Problem name : HOME/instance-4451735-1721434844.opb
3587.53/3597.00 c Variables : 1892 (1892 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.53/3597.00 c Constraints : 9034 initial, 9034 maximal
3587.53/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.53/3597.00 c Presolved Problem :
3587.53/3597.00 c Problem name : t_HOME/instance-4451735-1721434844.opb
3587.63/3597.01 c Variables : 1886 (1886 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.63/3597.01 c Constraints : 11265 initial, 15682 maximal
3587.63/3597.01 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.63/3597.01 c Nonzeros : 196335 constraint, 7235 clique table
3587.63/3597.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.63/3597.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.63/3597.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.63/3597.01 c domcol : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3587.63/3597.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.63/3597.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.63/3597.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.63/3597.01 c dualsparsify : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3587.63/3597.01 c gateextraction : 0.03 0.00 5 0 0 0 0 0 0 0 0 0
3587.63/3597.01 c implics : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
3587.63/3597.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.63/3597.01 c milp : 0.05 0.00 1 0 0 0 0 0 0 0 0 0
3587.63/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.63/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.63/3597.01 c sparsify : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3587.63/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.63/3597.01 c trivial : 0.00 0.00 9 1 0 0 0 0 0 0 0 0
3587.63/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.63/3597.01 c dualfix : 0.00 0.00 9 1 0 0 0 0 0 0 0 0
3587.63/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.63/3597.01 c probing : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3587.63/3597.01 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.63/3597.01 c symmetry : 0.07 0.00 1 0 0 0 0 0 0 0 0 0
3587.63/3597.01 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.63/3597.01 c knapsack : 0.01 0.00 12 0 0 0 0 0 0 0 0 1
3587.63/3597.01 c setppc : 0.01 0.00 15 0 0 0 0 0 0 0 0 0
3587.63/3597.01 c linear : 0.05 0.01 15 4 0 0 4 0 404 0 1 0
3587.63/3597.01 c logicor : 0.38 0.04 14 0 0 0 0 0 57 0 0 927
3587.63/3597.01 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.63/3597.01 c components : 0.02 0.00 2 0 0 0 0 0 0 0 0 0
3587.63/3597.01 c root node : - - - 0 - - 0 - - - - -
3587.63/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.63/3597.01 c benderslp : 0 0 0 0 16693 0 0 1530 0 0 0 0 0 0 0
3587.63/3597.01 c integral : 0 0 0 0 16693 0 0 1530 0 0 0 0 0 0 33386
3587.63/3597.01 c knapsack : 79+ 110 11 107987 0 0 0 0 286818 69 46482 0 0 0 0
3587.63/3597.01 c setppc : 3609 3609 22 112064 0 0 0 1525 2789249 88 845492 0 0 0 0
3587.63/3597.01 c linear : 68+ 85 23 111940 0 0 0 6 11803 619 2725 0 0 0 0
3587.63/3597.01 c logicor : 7509+ 11929 22 56355 0 0 0 0 26406 864 7146 28 5 0 0
3587.63/3597.01 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.63/3597.01 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.63/3597.01 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.63/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.63/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.63/3597.01 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
3587.63/3597.01 c integral : 12.39 0.00 0.00 0.00 12.39 0.00 0.00 0.00 0.00 0.00
3587.63/3597.01 c knapsack : 2.73 0.00 0.05 2.55 0.00 0.00 0.00 0.00 0.13 0.01
3587.63/3597.01 c setppc : 5.73 0.00 0.00 5.01 0.00 0.00 0.00 0.02 0.69 0.01
3587.63/3597.01 c linear : 1.08 0.01 0.00 1.03 0.00 0.00 0.00 0.00 0.03 0.00
3587.63/3597.01 c logicor : 3.37 0.04 0.04 3.27 0.00 0.00 0.00 0.00 0.02 0.01
3587.63/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.63/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.63/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.63/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.63/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.63/3597.01 c dualfix : 2 0 0 0
3587.63/3597.01 c genvbounds : 0 0 0 0
3587.63/3597.01 c nlobbt : 0 0 0 0
3587.63/3597.01 c obbt : 0 0 0 0
3587.63/3597.01 c probing : 0 0 0 0
3587.63/3597.01 c pseudoobj : 0 0 0 0
3587.63/3597.01 c redcost : 0 0 0 0
3587.63/3597.01 c rootredcost : 0 0 0 0
3587.63/3597.01 c symmetry : 41014 0 0 108
3587.63/3597.01 c vbounds : 36972 0 0 0
3587.63/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.63/3597.01 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.63/3597.01 c genvbounds : 0.02 0.00 0.00 0.02 0.00 0.00
3587.63/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.63/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.63/3597.01 c probing : 0.03 0.00 0.03 0.00 0.00 0.00
3587.63/3597.01 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
3587.63/3597.01 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3587.63/3597.01 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3587.63/3597.01 c symmetry : 1.57 0.00 0.07 1.49 0.00 0.00
3587.63/3597.01 c vbounds : 0.10 0.00 0.00 0.10 0.00 0.00
3587.63/3597.01 c Symmetry :
3587.63/3597.01 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.63/3597.01 c orbital reduction: 52 reductions applied, 0 cutoffs
3587.63/3597.01 c lexicographic red: 64 reductions applied, 0 cutoffs
3587.63/3597.01 c shadow tree time : 0.06 s
3587.63/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.63/3597.01 c propagation : 0.14 1109 968 - 8023 86.8 9 90.6 - - -
3587.63/3597.01 c infeasible LP : 11.32 15140 12292 - 55497 166.8 34 105.6 11553 202.7 0
3587.63/3597.01 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.63/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.63/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.63/3597.01 c applied globally : 0.42 - - 0 23928 72.8 - - 11108 - -
3587.63/3597.01 c applied locally : - - - 0 42 209.6 - - 445 - -
3587.63/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.63/3597.01 c cut pool : 3.22 - 2742 42 - - 21547 43387 - - - - - (maximal pool size: 3399)
3587.63/3597.01 c aggregation : 1.14 0.00 616 22 0 0 0 0 0 0 0 0 0
3587.63/3597.01 c > cmir : - - - - - - - 0 0 0 0 0 -
3587.63/3597.01 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.63/3597.01 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3587.63/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.63/3597.01 c clique : 0.15 0.00 22 22 0 0 2 100 0 97 97 0 0
3587.63/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.63/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.63/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.63/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.63/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.63/3597.01 c gomory : 14.75 0.00 614 20 0 0 33027 24737 11738 787 760 27 0
3587.63/3597.01 c > gomorymi : - - - - - - - 11714 5874 69 42 27 -
3587.63/3597.01 c > strongcg : - - - - - - - 13023 5864 718 718 0 -
3587.63/3597.01 c impliedbounds : 0.09 0.00 616 22 0 0 0 0 0 0 0 0 0
3587.63/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.63/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.63/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.63/3597.01 c mcf : 0.01 0.00 2 2 0 0 0 0 0 0 0 0 0
3587.63/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.63/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.63/3597.01 c multilinear : 0.00 0.00 286 22 0 0 0 0 0 0 0 0 0
3587.63/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.63/3597.01 c rapidlearning : 10.40 0.00 36 1 0 856 0 0 0 0 0 0 290
3587.63/3597.01 c rlt : 0.00 0.00 316 20 0 0 0 0 0 0 0 0 0
3587.63/3597.01 c zerohalf : 12.67 0.00 616 22 0 0 4080 18550 3824 11292 7909 3383 0
3587.63/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.63/3597.01 c hybrid : 0.47 0.00 1335 22 12181 0 46794 169 0 3740
3587.63/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.63/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.63/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3587.63/3597.01 c problem variables: 0.00 - 0 0
3587.63/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.63/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.63/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.63/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.63/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.63/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.63/3597.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.63/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.63/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.63/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.63/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.63/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.63/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.63/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.63/3597.01 c relpscost : 12.37 0.00 16693 0 0 0 0 0 0 33386
3587.63/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.63/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.63/3597.01 c LP solutions : 0.00 - - 0 0
3587.63/3597.01 c relax solutions : 0.00 - - 0 0
3587.63/3597.01 c pseudo solutions : 0.00 - - 0 0
3587.63/3597.01 c strong branching : 0.00 - - 0 0
3587.63/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3587.63/3597.01 c adaptivediving : 19.18 0.00 22 0 0
3587.63/3597.01 c alns : 17.54 0.00 7 0 0
3587.63/3597.01 c bound : 0.00 0.00 0 0 0
3587.63/3597.01 c clique : 0.03 0.00 1 0 0
3587.63/3597.01 c coefdiving : 0.00 0.00 0 0 0
3587.63/3597.01 c completesol : 0.00 0.00 0 0 0
3587.63/3597.01 c conflictdiving : 106.33 0.00 116 0 0
3587.63/3597.01 c crossover : 0.01 0.00 0 0 0
3587.63/3597.01 c dins : 0.00 0.00 0 0 0
3587.63/3597.01 c distributiondivin: 76.34 0.00 94 0 0
3587.63/3597.01 c dps : 0.00 0.00 0 0 0
3587.63/3597.01 c dualval : 0.00 0.00 0 0 0
3587.63/3597.01 c farkasdiving : 0.00 0.00 0 0 0
3587.63/3597.01 c feasjump : 0.10 0.00 2 0 0
3587.63/3597.01 c feaspump : 59.45 0.00 23 0 0
3587.63/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3587.63/3597.01 c fracdiving : 79.61 0.00 94 0 0
3587.63/3597.01 c gins : 0.00 0.00 0 0 0
3587.63/3597.01 c guideddiving : 0.00 0.00 0 0 0
3587.63/3597.01 c indcoefdiving : 0.00 0.00 0 0 0
3587.63/3597.01 c indicator : 0.01 0.00 0 0 0
3587.63/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3587.63/3597.01 c indoneopt : 0.01 0.00 0 0 0
3587.63/3597.01 c indrounding : 0.00 0.00 0 0 0
3587.63/3597.01 c indtwoopt : 0.00 0.00 0 0 0
3587.63/3597.01 c intdiving : 0.00 0.00 0 0 0
3587.63/3597.01 c intshifting : 0.00 0.00 0 0 0
3587.63/3597.01 c linesearchdiving : 77.78 0.00 94 0 0
3587.63/3597.01 c localbranching : 0.00 0.00 0 0 0
3587.63/3597.01 c locks : 0.01 0.00 1 0 0
3587.63/3597.01 c lpface : 0.03 0.00 0 0 0
3587.63/3597.01 c mpec : 0.00 0.00 0 0 0
3587.63/3597.01 c multistart : 0.00 0.00 0 0 0
3587.63/3597.01 c mutation : 0.00 0.00 0 0 0
3587.63/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3587.63/3597.01 c objpscostdiving : 108.05 0.00 14 0 0
3587.63/3597.01 c octane : 0.00 0.00 0 0 0
3587.63/3597.01 c ofins : 0.01 0.00 0 0 0
3587.63/3597.01 c oneopt : 0.01 0.00 0 0 0
3587.63/3597.01 c padm : 0.00 0.00 0 0 0
3587.63/3597.01 c proximity : 0.00 0.00 0 0 0
3587.63/3597.01 c pscostdiving : 87.63 0.00 95 0 0
3587.63/3597.01 c randrounding : 0.37 0.00 1540 0 0
3587.63/3597.01 c rens : 0.00 0.00 0 0 0
3587.63/3597.01 c reoptsols : 0.00 0.00 0 0 0
3587.63/3597.01 c repair : 0.00 0.00 0 0 0
3587.63/3597.01 c rins : 0.01 0.00 0 0 0
3587.63/3597.01 c rootsoldiving : 30.99 0.00 34 0 0
3587.63/3597.01 c rounding : 0.72 0.00 1855 0 0
3587.63/3597.01 c scheduler : 0.00 0.00 0 0 0
3587.63/3597.01 c shiftandpropagate: 0.12 0.00 2 0 0
3587.63/3597.01 c shifting : 1.46 0.00 648 0 0
3587.63/3597.01 c simplerounding : 0.01 0.00 0 0 0
3587.63/3597.01 c smallcard : 0.00 0.00 0 0 0
3587.63/3597.01 c subnlp : 0.02 0.00 0 0 0
3587.63/3597.01 c trivial : 0.00 0.00 4 0 0
3587.63/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3587.63/3597.01 c trustregion : 0.00 0.00 0 0 0
3587.63/3597.01 c trysol : 0.01 0.00 0 0 0
3587.63/3597.01 c twoopt : 0.00 0.00 0 0 0
3587.63/3597.01 c undercover : 0.00 0.00 0 0 0
3587.63/3597.01 c vbounds : 0.04 0.00 2 0 0
3587.63/3597.01 c veclendiving : 75.05 0.00 94 0 0
3587.63/3597.01 c zeroobj : 0.00 0.00 0 0 0
3587.63/3597.01 c zirounding : 0.37 0.00 1000 0 0
3587.63/3597.01 c other solutions : - - - 0 -
3587.63/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.63/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.63/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.63/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.63/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.63/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.63/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.63/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.63/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.63/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.63/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.63/3597.01 c primal LP : 1.15 667 0 0.00 0.00 1.15 667
3587.63/3597.01 c dual LP : 2731.48 32242 16791442 521.02 6147.39 0.02 14
3587.63/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3587.63/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.63/3597.01 c resolve instable : 0.00 0 0 0.00 -
3587.63/3597.01 c diving/probing LP: 698.96 3987 2822081 707.82 4037.55
3587.63/3597.01 c strong branching : 8.31 30 29660 988.67 3568.05 - - 59
3587.63/3597.01 c (at root node) : - 30 29660 988.67 -
3587.63/3597.01 c conflict analysis: 0.00 0 0 0.00 -
3587.63/3597.01 c B&B Tree :
3587.63/3597.01 c number of runs : 2
3587.63/3597.01 c nodes : 27354 (14146 internal, 13208 leaves)
3587.63/3597.01 c feasible leaves : 0
3587.63/3597.01 c infeas. leaves : 13207
3587.63/3597.01 c objective leaves : 0
3587.63/3597.01 c nodes (total) : 31125 (16693 internal, 14432 leaves)
3587.63/3597.01 c nodes left : 722
3587.63/3597.01 c max depth : 38
3587.63/3597.01 c max depth (total): 38
3587.63/3597.01 c backtracks : 8452 (30.9%)
3587.63/3597.01 c early backtracks : 0 (0.0%)
3587.63/3597.01 c nodes exc. ref. : 0 (0.0%)
3587.63/3597.01 c delayed cutoffs : 218
3587.63/3597.01 c repropagations : 2119 (47343 domain reductions, 177 cutoffs)
3587.63/3597.01 c avg switch length: 3.04
3587.63/3597.01 c switching time : 10.51
3587.63/3597.01 c Root Node :
3587.63/3597.01 c First LP value : +0.00000000000000e+00
3587.63/3597.01 c First LP Iters : 2236 (8886.31 Iter/sec)
3587.63/3597.01 c First LP Time : 0.25
3587.63/3597.01 c Final Dual Bound : +0.00000000000000e+00
3587.63/3597.01 c Final Root Iters : 70585
3587.63/3597.01 c Root LP Estimate : +5.68017439797166e-02
3587.63/3597.01 c Solution :
3587.63/3597.01 c Solutions found : 0 (0 improvements)
3587.63/3597.01 c Primal Bound : -
3587.63/3597.01 c Dual Bound : +0.00000000000000e+00
3587.63/3597.01 c Gap : infinite
3587.63/3597.01 c Integrals : Total Avg%
3587.63/3597.01 c primal-dual : 359699.73 100.00
3587.63/3597.01 c primal-ref : - - (not evaluated)
3587.63/3597.01 c dual-ref : - - (not evaluated)
3587.63/3597.06 c Time complete: 3587.7.
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: 63968 MiB (62472 MiB free)
memory of node 1: 64473 MiB (62003 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451735-1721434844/watcher-4451735-1721434844 -o /tmp/evaluation-result-4451735-1721434844/solver-4451735-1721434844 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721434856-1036359 --watchdog 3760 pbscip -f HOME/instance-4451735-1721434844.opb -t 3600 -j 2 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1036511, runsolver pid=1036508
[startup+0.10363 s]*
/proc/loadavg: 1.07 1.24 2.22 5/259 1036512
/proc/meminfo: memFree=127417976/131524600 swapFree=131070704/131071996
[pid=1036511] ppid=1036508 vsize=97460 memory=57516 CPUtime=0.09 cores=5,7
/proc/1036511/stat : 1036511 (pbscip) R 1036508 1036511 1036346 0 -1 4194304 12167 0 0 0 8 1 0 0 20 0 1 0 195649357 99799040 14379 134679101440 4194304 18693293 140737204021824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59187200 140737204024322 140737204024421 140737204024421 140737204031438 0
/proc/1036511/statm: 24365 14379 3642 3540 0 12622 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 97460 KiB
Current children cumulated memory: 57516 KiB
[startup+0.205768 s]*
/proc/loadavg: 1.07 1.24 2.22 5/259 1036512
/proc/meminfo: memFree=127414764/131524600 swapFree=131070704/131071996
[pid=1036511] ppid=1036508 vsize=99084 memory=59820 CPUtime=0.19 cores=5,7
/proc/1036511/stat : 1036511 (pbscip) R 1036508 1036511 1036346 0 -1 4194304 14366 0 0 0 18 1 0 0 20 0 1 0 195649357 101462016 14955 134679101440 4194304 18693293 140737204021824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59187200 140737204024322 140737204024421 140737204024421 140737204031438 0
/proc/1036511/statm: 24771 14955 3738 3540 0 13028 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 99084 KiB
Current children cumulated memory: 59820 KiB
[startup+0.305547 s]*
/proc/loadavg: 1.07 1.24 2.22 4/257 1036512
/proc/meminfo: memFree=127431992/131524600 swapFree=131070704/131071996
[pid=1036511] ppid=1036508 vsize=112668 memory=71028 CPUtime=0.3 cores=5,7
/proc/1036511/stat : 1036511 (pbscip) R 1036508 1036511 1036346 0 -1 4194304 16797 0 0 0 28 2 0 0 20 0 1 0 195649357 115372032 17757 134679101440 4194304 18693293 140737204021824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59187200 140737204024322 140737204024421 140737204024421 140737204031438 0
/proc/1036511/statm: 28167 17757 3770 3540 0 16424 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 112668 KiB
Current children cumulated memory: 71028 KiB
[startup+0.700174 s]
/proc/loadavg: 1.07 1.24 2.22 3/247 1036561
/proc/meminfo: memFree=127498924/131524600 swapFree=131070704/131071996
[pid=1036511] ppid=1036508 vsize=138300 memory=96780 CPUtime=0.69 cores=5,7
/proc/1036511/stat : 1036511 (pbscip) R 1036508 1036511 1036346 0 -1 4194304 23066 0 0 0 66 3 0 0 20 0 1 0 195649357 141619200 24195 134679101440 4194304 18693293 140737204021824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59187200 140737204024322 140737204024421 140737204024421 140737204031438 0
/proc/1036511/statm: 34575 24195 3962 3540 0 22832 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 138300 KiB
Current children cumulated memory: 96780 KiB
[startup+1.5002 s]
/proc/loadavg: 1.07 1.24 2.22 4/256 1036664
/proc/meminfo: memFree=127317080/131524600 swapFree=131070704/131071996
[pid=1036511] ppid=1036508 vsize=145440 memory=103116 CPUtime=1.48 cores=5,7
/proc/1036511/stat : 1036511 (pbscip) R 1036508 1036511 1036346 0 -1 4194304 24631 0 0 0 145 3 0 0 20 0 1 0 195649357 148930560 25779 134679101440 4194304 18693293 140737204021824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59187200 140737204024322 140737204024421 140737204024421 140737204031438 0
/proc/1036511/statm: 36360 25779 3962 3540 0 24617 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 145440 KiB
Current children cumulated memory: 103116 KiB
[startup+3.10566 s]
/proc/loadavg: 1.31 1.29 2.23 5/259 1036696
/proc/meminfo: memFree=127028328/131524600 swapFree=131070704/131071996
[pid=1036511] ppid=1036508 vsize=146936 memory=104964 CPUtime=3.08 cores=5,7
/proc/1036511/stat : 1036511 (pbscip) R 1036508 1036511 1036346 0 -1 4194304 25115 0 0 0 305 3 0 0 20 0 1 0 195649357 150462464 26241 134679101440 4194304 18693293 140737204021824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59187200 140737204024322 140737204024421 140737204024421 140737204031438 0
/proc/1036511/statm: 36734 26241 3962 3540 0 24991 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 146936 KiB
Current children cumulated memory: 104964 KiB
[startup+6.3002 s]
/proc/loadavg: 1.31 1.29 2.23 5/259 1036788
/proc/meminfo: memFree=126979500/131524600 swapFree=131070704/131071996
[pid=1036511] ppid=1036508 vsize=147096 memory=105228 CPUtime=6.27 cores=5,7
/proc/1036511/stat : 1036511 (pbscip) R 1036508 1036511 1036346 0 -1 4194304 25173 0 0 0 624 3 0 0 20 0 1 0 195649357 150626304 26307 134679101440 4194304 18693293 140737204021824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59187200 140737204024322 140737204024421 140737204024421 140737204031438 0
/proc/1036511/statm: 36774 26307 3962 3540 0 25031 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 147096 KiB
Current children cumulated memory: 105228 KiB
[startup+12.7002 s]
/proc/loadavg: 1.60 1.35 2.25 5/259 1036790
/proc/meminfo: memFree=126876188/131524600 swapFree=131070704/131071996
[pid=1036511] ppid=1036508 vsize=224256 memory=179768 CPUtime=12.65 cores=5,7
/proc/1036511/stat : 1036511 (pbscip) R 1036508 1036511 1036346 0 -1 4194304 45077 0 0 0 1258 7 0 0 20 0 1 0 195649357 229638144 44942 134679101440 4194304 18693293 140737204021824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59187200 140737204024322 140737204024421 140737204024421 140737204031438 0
/proc/1036511/statm: 56064 44942 4042 3540 0 44321 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 224256 KiB
Current children cumulated memory: 179768 KiB
[startup+25.5002 s]
/proc/loadavg: 2.14 1.48 2.28 5/259 1036837
/proc/meminfo: memFree=126786684/131524600 swapFree=131070704/131071996
[pid=1036511] ppid=1036508 vsize=239892 memory=193012 CPUtime=25.4 cores=5,7
/proc/1036511/stat : 1036511 (pbscip) R 1036508 1036511 1036346 0 -1 4194304 49048 0 0 0 2533 7 0 0 20 0 1 0 195649357 245649408 48253 134679101440 4194304 18693293 140737204021824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59187200 140737204024322 140737204024421 140737204024421 140737204031438 0
/proc/1036511/statm: 59973 48253 4042 3540 0 48230 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 239892 KiB
Current children cumulated memory: 193012 KiB
[startup+51.1052 s]
/proc/loadavg: 2.77 1.68 2.33 5/259 1036842
/proc/meminfo: memFree=126701532/131524600 swapFree=131070704/131071996
[pid=1036511] ppid=1036508 vsize=270468 memory=224808 CPUtime=50.94 cores=5,7
/proc/1036511/stat : 1036511 (pbscip) R 1036508 1036511 1036346 0 -1 4194304 58191 0 0 0 5085 9 0 0 20 0 1 0 195649357 276959232 56202 134679101440 4194304 18693293 140737204021824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59187200 140737204024322 140737204024421 140737204024421 140737204031438 0
/proc/1036511/statm: 67617 56202 4042 3540 0 55874 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 270468 KiB
Current children cumulated memory: 224808 KiB
[startup+102.3 s]
/proc/loadavg: 3.51 2.06 2.42 5/259 1036895
/proc/meminfo: memFree=126613204/131524600 swapFree=131070704/131071996
[pid=1036511] ppid=1036508 vsize=279952 memory=237960 CPUtime=102 cores=5,7
/proc/1036511/stat : 1036511 (pbscip) R 1036508 1036511 1036346 0 -1 4194304 65040 0 0 0 10190 10 0 0 20 0 1 0 195649357 286670848 59490 134679101440 4194304 18693293 140737204021824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59187200 140737204024322 140737204024421 140737204024421 140737204031438 0
/proc/1036511/statm: 69988 59490 4042 3540 0 58245 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 279952 KiB
Current children cumulated memory: 237960 KiB
[startup+162.3 s]
/proc/loadavg: 3.87 2.43 2.53 5/258 1036907
/proc/meminfo: memFree=126543744/131524600 swapFree=131070704/131071996
[pid=1036511] ppid=1036508 vsize=298368 memory=261136 CPUtime=161.84 cores=5,7
/proc/1036511/stat : 1036511 (pbscip) R 1036508 1036511 1036346 0 -1 4194304 76423 0 0 0 16172 12 0 0 20 0 1 0 195649357 305528832 65284 134679101440 4194304 18693293 140737204021824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59187200 140737204024322 140737204024421 140737204024421 140737204031438 0
/proc/1036511/statm: 74592 65284 4042 3540 0 62849 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 298368 KiB
Current children cumulated memory: 261136 KiB
[startup+222.3 s]
/proc/loadavg: 4.00 2.73 2.63 5/259 1036919
/proc/meminfo: memFree=126466400/131524600 swapFree=131070704/131071996
[pid=1036511] ppid=1036508 vsize=326120 memory=288968 CPUtime=221.7 cores=5,7
/proc/1036511/stat : 1036511 (pbscip) R 1036508 1036511 1036346 0 -1 4194304 91715 0 0 0 22155 15 0 0 20 0 1 0 195649357 333946880 72242 134679101440 4194304 18693293 140737204021824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59187200 140737204024322 140737204024421 140737204024421 140737204031438 0
/proc/1036511/statm: 81530 72242 4042 3540 0 69787 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 326120 KiB
Current children cumulated memory: 288968 KiB
[startup+282.3 s]
/proc/loadavg: 4.49 3.09 2.76 5/261 1037313
/proc/meminfo: memFree=126445368/131524600 swapFree=131070704/131071996
[pid=1036511] ppid=1036508 vsize=335932 memory=298916 CPUtime=281.54 cores=5,7
/proc/1036511/stat : 1036511 (pbscip) R 1036508 1036511 1036346 0 -1 4194304 104490 0 0 0 28137 17 0 0 20 0 1 0 195649357 343994368 74729 134679101440 4194304 18693293 140737204021824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59187200 140737204024322 140737204024421 140737204024421 140737204031438 0
/proc/1036511/statm: 83983 74729 4042 3540 0 72240 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 335932 KiB
Current children cumulated memory: 298916 KiB
[startup+342.3 s]
/proc/loadavg: 4.18 3.26 2.84 5/257 1037323
/proc/meminfo: memFree=126378712/131524600 swapFree=131070704/131071996
[pid=1036511] ppid=1036508 vsize=341856 memory=304844 CPUtime=341.4 cores=5,7
/proc/1036511/stat : 1036511 (pbscip) R 1036508 1036511 1036346 0 -1 4194304 110789 0 0 0 34122 18 0 0 20 0 1 0 195649357 350060544 76211 134679101440 4194304 18693293 140737204021824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59187200 140737204024322 140737204024421 140737204024421 140737204031438 0
/proc/1036511/statm: 85464 76211 4042 3540 0 73721 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 341856 KiB
Current children cumulated memory: 304844 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 3.43 2.93 5/257 1037334
/proc/meminfo: memFree=126363636/131524600 swapFree=131070704/131071996
[pid=1036511] ppid=1036508 vsize=341856 memory=304844 CPUtime=401.24 cores=5,7
/proc/1036511/stat : 1036511 (pbscip) R 1036508 1036511 1036346 0 -1 4194304 113200 0 0 0 40106 18 0 0 20 0 1 0 195649357 350060544 76211 134679101440 4194304 18693293 140737204021824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59187200 140737204024322 140737204024421 140737204024421 140737204031438 0
/proc/1036511/statm: 85464 76211 4042 3540 0 73721 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 341856 KiB
Current children cumulated memory: 304844 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.55 3.00 5/260 1037517
/proc/meminfo: memFree=126349956/131524600 swapFree=131070704/131071996
[pid=1036511] ppid=1036508 vsize=341856 memory=304844 CPUtime=461.09 cores=5,7
/proc/1036511/stat : 1036511 (pbscip) R 1036508 1036511 1036346 0 -1 4194304 113310 0 0 0 46091 18 0 0 20 0 1 0 195649357 350060544 76211 134679101440 4194304 18693293 140737204021824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59187200 140737204024322 140737204024421 140737204024421 140737204031438 0
/proc/1036511/statm: 85464 76211 4042 3540 0 73721 0
################
# More data... #
################
/proc/loadavg: 4.06 4.12 4.07 5/256 1038786
/proc/meminfo: memFree=126022164/131524600 swapFree=131070704/131071996
[pid=1036511] ppid=1036508 vsize=428064 memory=390408 CPUtime=3154.01 cores=5,7
/proc/1036511/stat : 1036511 (pbscip) R 1036508 1036511 1036346 0 -1 4194304 142999 0 0 0 315378 23 0 0 20 0 1 0 195649357 438337536 97602 134679101440 4194304 18693293 140737204021824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59187200 140737204024322 140737204024421 140737204024421 140737204031438 0
/proc/1036511/statm: 107016 97602 4042 3540 0 95273 0
Current children cumulated CPU time: 3154.01 s
Current children cumulated vsize: 428064 KiB
Current children cumulated memory: 390408 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.11 4.07 5/256 1038797
/proc/meminfo: memFree=125998104/131524600 swapFree=131070704/131071996
[pid=1036511] ppid=1036508 vsize=428064 memory=390424 CPUtime=3213.86 cores=5,7
/proc/1036511/stat : 1036511 (pbscip) R 1036508 1036511 1036346 0 -1 4194304 143165 0 0 0 321363 23 0 0 20 0 1 0 195649357 438337536 97606 134679101440 4194304 18693293 140737204021824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59187200 140737204024322 140737204024421 140737204024421 140737204031438 0
/proc/1036511/statm: 107016 97606 4042 3540 0 95273 0
Current children cumulated CPU time: 3213.86 s
Current children cumulated vsize: 428064 KiB
Current children cumulated memory: 390424 KiB
[startup+3282.3 s]
/proc/loadavg: 4.20 4.13 4.09 5/254 1038807
/proc/meminfo: memFree=125995240/131524600 swapFree=131070704/131071996
[pid=1036511] ppid=1036508 vsize=428064 memory=390424 CPUtime=3273.71 cores=5,7
/proc/1036511/stat : 1036511 (pbscip) R 1036508 1036511 1036346 0 -1 4194304 143333 0 0 0 327348 23 0 0 20 0 1 0 195649357 438337536 97606 134679101440 4194304 18693293 140737204021824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59187200 140737204024322 140737204024421 140737204024421 140737204031438 0
/proc/1036511/statm: 107016 97606 4042 3540 0 95273 0
Current children cumulated CPU time: 3273.71 s
Current children cumulated vsize: 428064 KiB
Current children cumulated memory: 390424 KiB
[startup+3342.3 s]
/proc/loadavg: 4.21 4.14 4.09 5/254 1038818
/proc/meminfo: memFree=125989528/131524600 swapFree=131070704/131071996
[pid=1036511] ppid=1036508 vsize=428064 memory=390440 CPUtime=3333.56 cores=5,7
/proc/1036511/stat : 1036511 (pbscip) R 1036508 1036511 1036346 0 -1 4194304 143506 0 0 0 333333 23 0 0 20 0 1 0 195649357 438337536 97610 134679101440 4194304 18693293 140737204021824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59187200 140737204024322 140737204024421 140737204024421 140737204031438 0
/proc/1036511/statm: 107016 97610 4042 3540 0 95273 0
Current children cumulated CPU time: 3333.56 s
Current children cumulated vsize: 428064 KiB
Current children cumulated memory: 390440 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/254 1038829
/proc/meminfo: memFree=125986192/131524600 swapFree=131070704/131071996
[pid=1036511] ppid=1036508 vsize=428064 memory=390440 CPUtime=3393.41 cores=5,7
/proc/1036511/stat : 1036511 (pbscip) R 1036508 1036511 1036346 0 -1 4194304 143673 0 0 0 339318 23 0 0 20 0 1 0 195649357 438337536 97610 134679101440 4194304 18693293 140737204021824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59187200 140737204024322 140737204024421 140737204024421 140737204031438 0
/proc/1036511/statm: 107016 97610 4042 3540 0 95273 0
Current children cumulated CPU time: 3393.41 s
Current children cumulated vsize: 428064 KiB
Current children cumulated memory: 390440 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/254 1038839
/proc/meminfo: memFree=125981292/131524600 swapFree=131070704/131071996
[pid=1036511] ppid=1036508 vsize=428064 memory=390464 CPUtime=3453.27 cores=5,7
/proc/1036511/stat : 1036511 (pbscip) R 1036508 1036511 1036346 0 -1 4194304 143849 0 0 0 345304 23 0 0 20 0 1 0 195649357 438337536 97616 134679101440 4194304 18693293 140737204021824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59187200 140737204024322 140737204024421 140737204024421 140737204031438 0
/proc/1036511/statm: 107016 97616 4042 3540 0 95273 0
Current children cumulated CPU time: 3453.27 s
Current children cumulated vsize: 428064 KiB
Current children cumulated memory: 390464 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/254 1038849
/proc/meminfo: memFree=125977084/131524600 swapFree=131070704/131071996
[pid=1036511] ppid=1036508 vsize=428064 memory=390496 CPUtime=3513.11 cores=5,7
/proc/1036511/stat : 1036511 (pbscip) R 1036508 1036511 1036346 0 -1 4194304 144027 0 0 0 351288 23 0 0 20 0 1 0 195649357 438337536 97624 134679101440 4194304 18693293 140737204021824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59187200 140737204024322 140737204024421 140737204024421 140737204031438 0
/proc/1036511/statm: 107016 97624 4042 3540 0 95273 0
Current children cumulated CPU time: 3513.11 s
Current children cumulated vsize: 428064 KiB
Current children cumulated memory: 390496 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/256 1038864
/proc/meminfo: memFree=125971240/131524600 swapFree=131070704/131071996
[pid=1036511] ppid=1036508 vsize=428064 memory=390712 CPUtime=3572.96 cores=5,7
/proc/1036511/stat : 1036511 (pbscip) R 1036508 1036511 1036346 0 -1 4194304 144253 0 0 0 357273 23 0 0 20 0 1 0 195649357 438337536 97678 134679101440 4194304 18693293 140737204021824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59187200 140737204024322 140737204024421 140737204024421 140737204031438 0
/proc/1036511/statm: 107016 97678 4042 3540 0 95273 0
Current children cumulated CPU time: 3572.96 s
Current children cumulated vsize: 428064 KiB
Current children cumulated memory: 390712 KiB
[startup+3597.06 s]
# the end of solver process 1036511 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.46 s, system=0.239316 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.07 4.10 4.09 5/256 1038864
/proc/meminfo: memFree=125971276/131524600 swapFree=131070704/131071996
[pid=1036511] ppid=1036508 vsize=428064 memory=390712 CPUtime=3574.66 cores=5,7
/proc/1036511/stat : 1036511 (pbscip) R 1036508 1036511 1036346 0 -1 4194304 144253 0 0 0 357443 23 0 0 20 0 1 0 195649357 438337536 97678 134679101440 4194304 18693293 140737204021824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59187200 140737204024322 140737204024421 140737204024421 140737204031438 0
/proc/1036511/statm: 107016 97678 4042 3540 0 95273 0
Current children cumulated CPU time: 3574.66 s
Current children cumulated vsize: 428064 KiB
Current children cumulated memory: 390712 KiB
[startup+3590.4 s]
/proc/loadavg: 4.06 4.10 4.09 5/256 1038865
/proc/meminfo: memFree=125971108/131524600 swapFree=131070704/131071996
[pid=1036511] ppid=1036508 vsize=428064 memory=390712 CPUtime=3581.04 cores=5,7
/proc/1036511/stat : 1036511 (pbscip) R 1036508 1036511 1036346 0 -1 4194304 144253 0 0 0 358081 23 0 0 20 0 1 0 195649357 438337536 97678 134679101440 4194304 18693293 140737204021824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59187200 140737204024322 140737204024421 140737204024421 140737204031438 0
/proc/1036511/statm: 107016 97678 4042 3540 0 95273 0
Current children cumulated CPU time: 3581.04 s
Current children cumulated vsize: 428064 KiB
Current children cumulated memory: 390712 KiB
[startup+3593.6 s]
/proc/loadavg: 4.06 4.10 4.09 5/256 1038865
/proc/meminfo: memFree=125971080/131524600 swapFree=131070704/131071996
[pid=1036511] ppid=1036508 vsize=428064 memory=390712 CPUtime=3584.24 cores=5,7
/proc/1036511/stat : 1036511 (pbscip) R 1036508 1036511 1036346 0 -1 4194304 144253 0 0 0 358401 23 0 0 20 0 1 0 195649357 438337536 97678 134679101440 4194304 18693293 140737204021824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59187200 140737204024322 140737204024421 140737204024421 140737204031438 0
/proc/1036511/statm: 107016 97678 4042 3540 0 95273 0
Current children cumulated CPU time: 3584.24 s
Current children cumulated vsize: 428064 KiB
Current children cumulated memory: 390712 KiB
[startup+3595.2 s]
/proc/loadavg: 4.06 4.10 4.09 5/256 1038866
/proc/meminfo: memFree=125970832/131524600 swapFree=131070704/131071996
[pid=1036511] ppid=1036508 vsize=428064 memory=390712 CPUtime=3585.83 cores=5,7
/proc/1036511/stat : 1036511 (pbscip) R 1036508 1036511 1036346 0 -1 4194304 144253 0 0 0 358560 23 0 0 20 0 1 0 195649357 438337536 97678 134679101440 4194304 18693293 140737204021824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59187200 140737204024322 140737204024421 140737204024421 140737204031438 0
/proc/1036511/statm: 107016 97678 4042 3540 0 95273 0
Current children cumulated CPU time: 3585.83 s
Current children cumulated vsize: 428064 KiB
Current children cumulated memory: 390712 KiB
[startup+3596 s]*
/proc/loadavg: 4.06 4.10 4.09 5/256 1038866
/proc/meminfo: memFree=125970660/131524600 swapFree=131070704/131071996
[pid=1036511] ppid=1036508 vsize=428064 memory=390712 CPUtime=3586.64 cores=5,7
/proc/1036511/stat : 1036511 (pbscip) R 1036508 1036511 1036346 0 -1 4194304 144253 0 0 0 358641 23 0 0 20 0 1 0 195649357 438337536 97678 134679101440 4194304 18693293 140737204021824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59187200 140737204024322 140737204024421 140737204024421 140737204031438 0
/proc/1036511/statm: 107016 97678 4042 3540 0 95273 0
Current children cumulated CPU time: 3586.64 s
Current children cumulated vsize: 428064 KiB
Current children cumulated memory: 390712 KiB
[startup+3596.8 s]
/proc/loadavg: 4.06 4.10 4.09 5/256 1038866
/proc/meminfo: memFree=125970660/131524600 swapFree=131070704/131071996
[pid=1036511] ppid=1036508 vsize=428064 memory=390712 CPUtime=3587.43 cores=5,7
/proc/1036511/stat : 1036511 (pbscip) R 1036508 1036511 1036346 0 -1 4194304 144253 0 0 0 358720 23 0 0 20 0 1 0 195649357 438337536 97678 134679101440 4194304 18693293 140737204021824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59187200 140737204024322 140737204024421 140737204024421 140737204031438 0
/proc/1036511/statm: 107016 97678 4042 3540 0 95273 0
Current children cumulated CPU time: 3587.43 s
Current children cumulated vsize: 428064 KiB
Current children cumulated memory: 390712 KiB
[startup+3597 s]*
/proc/loadavg: 4.06 4.10 4.09 5/256 1038866
/proc/meminfo: memFree=125970520/131524600 swapFree=131070704/131071996
[pid=1036511] ppid=1036508 vsize=428064 memory=390712 CPUtime=3587.63 cores=5,7
/proc/1036511/stat : 1036511 (pbscip) R 1036508 1036511 1036346 0 -1 4194304 144253 0 0 0 358740 23 0 0 20 0 1 0 195649357 438337536 97678 134679101440 4194304 18693293 140737204021824 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59187200 140737204024322 140737204024421 140737204024421 140737204031438 0
/proc/1036511/statm: 107016 97678 4042 3540 0 95273 0
Current children cumulated CPU time: 3587.63 s
Current children cumulated vsize: 428064 KiB
Current children cumulated memory: 390712 KiB
Child status: 0
Real time (s): 3597.06
CPU time (s): 3587.7
CPU user time (s): 3587.46
CPU system time (s): 0.239316
CPU usage (%): 99.7397
Max. virtual memory (cumulated for all children) (KiB): 429112
Max. memory (cumulated for all children) (KiB): 390712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.46
system time used= 0.239316
maximum resident set size= 390712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 144261
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= 44
involuntary context switches= 1345
# summary of solver processes directly reported to runsolver:
# pid: 1036511
# total CPU time (s): 3587.7
# total CPU user time (s): 3587.46
# total CPU system time (s): 0.239316
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.20387 second user time and 15.6562 second system time
The end