0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c External libraries:
0.00/0.00 c SoPlex 8.0.0 Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 4.0.0 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 3.0.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c bliss 0.77 Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00 c sassy 2.0 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c
0.00/0.00 c reading problem <HOME/instance-4503539-1751173125.opb>
0.30/0.32 c original problem has 7936 variables (7936 bin, 0 int, 0 cont) and 176837 constraints
0.30/0.32 c problem read in 0.327 seconds
0.30/0.32 c problem without objective
0.49/0.57 c presolving:
0.88/0.98 c (1.0s) running MILP presolver
1.38/1.46 c (1.5s) MILP presolver found nothing
1.78/1.86 c (round 1, exhaustive) 1 del vars, 8 del conss, 0 add conss, 0 chg bounds, 7 chg sides, 0 chg coeffs, 176828 upgd conss, 0 impls, 37799 clqs
2.18/2.28 c (round 2, exhaustive) 1 del vars, 2206 del conss, 0 add conss, 0 chg bounds, 7 chg sides, 3306 chg coeffs, 176828 upgd conss, 0 impls, 37799 clqs
9.35/9.44 c (9.4s) probing: 665/7935 (8.4%) - 0 fixings, 0 aggregations, 19506 implications, 0 bound changes
9.35/9.44 c (9.4s) probing aborted: 50/50 successive totally useless probings
10.45/10.52 c (10.5s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
10.65/10.71 c (10.7s) no symmetry present (symcode time: 0.04)
10.74/10.83 c presolving (3 rounds: 3 fast, 3 medium, 3 exhaustive):
10.74/10.83 c 1 deleted vars, 2206 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 7 changed sides, 3351 changed coefficients
10.74/10.83 c 0 implications, 57305 cliques
10.74/10.83 c presolved problem has 7935 variables (7935 bin, 0 int, 0 cont) and 174631 constraints
10.74/10.83 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
10.74/10.83 c 17621 constraints of type <knapsack>
10.74/10.83 c 37799 constraints of type <setppc>
10.74/10.83 c 1 constraints of type <linear>
10.74/10.83 c 119210 constraints of type <logicor>
10.74/10.83 c transformed objective value is always integral (scale: 1)
10.74/10.83 c Presolving Time: 10.27
10.74/10.83 c
10.74/10.83 c - non default parameters ----------------------------------------------------------------------
10.74/10.83 c
10.74/10.83 c # SCIP version 10.0.0
10.74/10.83 c
10.74/10.83 c # maximal time in seconds to run
10.74/10.83 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
10.74/10.83 c limits/time = 3596.999036
10.74/10.83 c
10.74/10.83 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
10.74/10.83 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
10.74/10.83 c limits/memory = 27900
10.74/10.83 c
10.74/10.83 c # belongs reading time to solving time?
10.74/10.83 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
10.74/10.83 c timing/reading = TRUE
10.74/10.83 c
10.74/10.83 c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
10.74/10.83 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
10.74/10.83 c reading/opbreader/maxintsize = 47
10.74/10.83 c
10.74/10.83 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
10.74/10.83 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
10.74/10.83 c propagating/genvbounds/timingmask = 0
10.74/10.83 c
10.74/10.83 c -----------------------------------------------------------------------------------------------
10.74/10.84 c
11.74/11.83 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
11.74/11.83 c 11.8s| 1 | 0 | 548 | - | 777M | 0 |7935 | 174k| 174k| 0 | 0 | 155 | 0 | 0.000000e+00 | -- | Inf | unknown
26.61/26.72 c 26.7s| 1 | 0 | 3624 | - | 801M | 0 |7935 | 174k| 174k| 7 | 1 | 155 | 0 | 0.000000e+00 | -- | Inf | unknown
46.64/46.86 c 46.9s| 1 | 0 | 4005 | - | 818M | 0 |7935 | 174k| 174k| 14 | 2 | 156 | 0 | 0.000000e+00 | -- | Inf | unknown
85.90/86.22 c 86.2s| 1 | 0 | 4695 | - | 841M | 0 |7935 | 174k| 174k| 28 | 3 | 159 | 0 | 0.000000e+00 | -- | Inf | unknown
100.96/101.36 c 101s| 1 | 0 | 5093 | - | 858M | 0 |7935 | 174k| 174k| 43 | 4 | 159 | 0 | 0.000000e+00 | -- | Inf | unknown
107.64/108.03 c 108s| 1 | 0 | 5582 | - | 875M | 0 |7935 | 174k| 174k| 61 | 5 | 161 | 0 | 0.000000e+00 | -- | Inf | unknown
114.72/115.19 c 115s| 1 | 0 | 6677 | - | 895M | 0 |7935 | 174k| 174k| 79 | 6 | 164 | 0 | 0.000000e+00 | -- | Inf | unknown
120.50/120.98 c 121s| 1 | 0 | 7211 | - | 912M | 0 |7935 | 174k| 174k| 102 | 7 | 165 | 0 | 0.000000e+00 | -- | Inf | unknown
128.47/128.96 c 129s| 1 | 0 | 7914 | - | 929M | 0 |7935 | 174k| 174k| 125 | 8 | 168 | 0 | 0.000000e+00 | -- | Inf | unknown
141.33/141.80 c 142s| 1 | 0 | 11341 | - | 948M | 0 |7935 | 174k| 174k| 163 | 9 | 171 | 0 | 0.000000e+00 | -- | Inf | unknown
151.99/152.58 c 153s| 1 | 0 | 17576 | - | 967M | 0 |7935 | 174k| 174k| 196 | 10 | 172 | 0 | 0.000000e+00 | -- | Inf | unknown
157.77/158.37 c 158s| 1 | 0 | 23281 | - | 984M | 0 |7935 | 174k| 174k| 235 | 11 | 182 | 0 | 0.000000e+00 | -- | Inf | unknown
239.57/240.47 c 240s| 1 | 0 | 31751 | - | 992M | 0 |7935 | 174k| 174k| 235 | 11 | 209 | 23 | 0.000000e+00 | -- | Inf | unknown
246.44/247.39 c 247s| 1 | 0 | 36896 | - | 1009M | 0 |7935 | 174k| 174k| 280 | 12 | 212 | 23 | 0.000000e+00 | -- | Inf | unknown
249.23/250.16 c 250s| 1 | 0 | 38876 | - | 1010M | 0 |7935 | 174k| 174k| 287 | 13 | 214 | 23 | 0.000000e+00 | -- | Inf | unknown
289.77/290.90 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
289.77/290.90 c 291s| 1 | 2 | 39343 | - | 1010M | 0 |7935 | 174k| 174k| 287 | 13 | 224 | 42 | 0.000000e+00 | -- | Inf | unknown
289.77/290.90 c (run 1, node 1) restarting after 209 global fixings of integer variables
289.77/290.90 c
289.87/290.90 c (restart) converted 215 cuts from the global cut pool into linear constraints
289.87/290.90 c
289.98/291.10 c presolving:
290.08/291.15 c (round 1, fast) 209 del vars, 5008 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 51252 clqs
290.27/291.37 c (round 2, exhaustive) 209 del vars, 5018 del conss, 1 add conss, 0 chg bounds, 3 chg sides, 10 chg coeffs, 199 upgd conss, 0 impls, 51252 clqs
290.37/291.47 c (round 3, medium) 209 del vars, 5035 del conss, 42 add conss, 0 chg bounds, 83 chg sides, 191 chg coeffs, 199 upgd conss, 0 impls, 51276 clqs
291.08/292.13 c presolving (4 rounds: 4 fast, 3 medium, 2 exhaustive):
291.08/292.13 c 209 deleted vars, 5057 deleted constraints, 45 added constraints, 0 tightened bounds, 0 added holes, 83 changed sides, 827 changed coefficients
291.08/292.13 c 0 implications, 51276 cliques
291.08/292.13 c presolved problem has 7726 variables (7726 bin, 0 int, 0 cont) and 170010 constraints
291.08/292.13 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
291.08/292.13 c 17678 constraints of type <knapsack>
291.08/292.13 c 33872 constraints of type <setppc>
291.08/292.13 c 4 constraints of type <and>
291.08/292.13 c 2 constraints of type <linear>
291.08/292.13 c 118454 constraints of type <logicor>
291.08/292.13 c transformed objective value is always integral (scale: 1)
291.08/292.13 c Presolving Time: 11.34
291.08/292.13 c
292.76/293.90 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
292.76/293.90 c 294s| 1 | 0 | 43012 | - | 1017M | 0 |7726 | 170k| 169k| 0 | 0 | 236 | 42 | 0.000000e+00 | -- | Inf | unknown
302.23/303.39 c 303s| 1 | 0 | 43959 | - | 1037M | 0 |7726 | 170k| 169k| 39 | 1 | 246 | 42 | 0.000000e+00 | -- | Inf | unknown
305.52/306.63 c 307s| 1 | 0 | 45537 | - | 1053M | 0 |7726 | 170k| 169k| 69 | 2 | 255 | 42 | 0.000000e+00 | -- | Inf | unknown
309.91/311.02 c 311s| 1 | 0 | 47243 | - | 1071M | 0 |7726 | 170k| 169k| 100 | 3 | 265 | 42 | 0.000000e+00 | -- | Inf | unknown
316.18/317.37 c 317s| 1 | 0 | 50362 | - | 1088M | 0 |7726 | 170k| 169k| 130 | 4 | 273 | 42 | 0.000000e+00 | -- | Inf | unknown
321.06/322.25 c 322s| 1 | 0 | 52585 | - | 1107M | 0 |7726 | 170k| 169k| 158 | 5 | 278 | 42 | 0.000000e+00 | -- | Inf | unknown
326.34/327.53 c 328s| 1 | 0 | 54791 | - | 1123M | 0 |7726 | 170k| 170k| 191 | 6 | 279 | 42 | 0.000000e+00 | -- | Inf | unknown
331.52/332.70 c 333s| 1 | 0 | 56976 | - | 1143M | 0 |7726 | 170k| 170k| 227 | 7 | 289 | 42 | 0.000000e+00 | -- | Inf | unknown
337.20/338.47 c 338s| 1 | 0 | 58960 | - | 1159M | 0 |7726 | 170k| 170k| 269 | 8 | 299 | 42 | 0.000000e+00 | -- | Inf | unknown
343.78/345.03 c 345s| 1 | 0 | 61560 | - | 1179M | 0 |7726 | 170k| 170k| 315 | 9 | 301 | 42 | 0.000000e+00 | -- | Inf | unknown
347.46/348.74 c 349s| 1 | 0 | 63689 | - | 1197M | 0 |7726 | 170k| 170k| 359 | 10 | 303 | 42 | 0.000000e+00 | -- | Inf | unknown
350.15/351.45 c 351s| 1 | 0 | 65783 | - | 1213M | 0 |7726 | 170k| 170k| 397 | 11 | 305 | 42 | 0.000000e+00 | -- | Inf | unknown
405.73/407.20 c 407s| 1 | 0 | 69437 | - | 1214M | 0 |7726 | 170k| 170k| 397 | 11 | 315 | 62 | 0.000000e+00 | -- | Inf | unknown
414.60/416.13 c 416s| 1 | 0 | 76788 | - | 1230M | 0 |7726 | 170k| 170k| 437 | 12 | 318 | 62 | 0.000000e+00 | -- | Inf | unknown
417.88/419.42 c 419s| 1 | 0 | 78982 | - | 1230M | 0 |7726 | 170k| 170k| 443 | 13 | 320 | 62 | 0.000000e+00 | -- | Inf | unknown
490.60/492.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
490.60/492.42 c 492s| 1 | 0 | 80110 | - | 1230M | 0 |7726 | 170k| 170k| 443 | 13 | 329 | 82 | 0.000000e+00 | -- | Inf | unknown
497.07/499.00 c 499s| 1 | 0 | 84331 | - | 1247M | 0 |7726 | 170k| 170k| 498 | 14 | 339 | 82 | 0.000000e+00 | -- | Inf | unknown
499.17/501.04 c 501s| 1 | 0 | 85594 | - | 1247M | 0 |7726 | 170k| 170k| 504 | 15 | 343 | 82 | 0.000000e+00 | -- | Inf | unknown
555.34/557.49 c 557s| 1 | 2 | 86179 | - | 1247M | 0 |7726 | 170k| 170k| 504 | 15 | 348 | 101 | 0.000000e+00 | -- | Inf | unknown
1435.37/1440.63 c 1441s| 100 | 89 |315013 |2431.4 | 1380M | 54 |7726 | 170k| 170k| 836 | 1 |1097 | 101 | 0.000000e+00 | -- | Inf | 6.30%
1446.03/1451.39 c 1451s| 200 | 60 |323114 |1256.2 | 1447M | 63 |7726 | 170k| 0 |1441 | 0 |1286 | 101 | 0.000000e+00 | -- | Inf | 6.30%
1560.63/1566.30 c 1566s| 300 | 91 |374449 |1008.6 | 1485M | 63 |7726 | 171k| 170k|1850 | 1 |1585 | 101 | 0.000000e+00 | -- | Inf | 6.30%
1642.54/1648.56 c 1649s| 400 | 103 |409770 | 844.7 | 1489M | 63 |7726 | 171k| 170k|2173 | 1 |2139 | 101 | 0.000000e+00 | -- | Inf | 6.30%
1671.94/1678.03 c 1678s| 500 | 112 |421689 | 699.6 | 1489M | 63 |7726 | 172k| 169k|2412 | 1 |2403 | 101 | 0.000000e+00 | -- | Inf | 6.30%
1688.67/1694.84 c 1695s| 600 | 112 |433571 | 602.8 | 1489M | 63 |7726 | 172k| 0 |2712 | 0 |2675 | 101 | 0.000000e+00 | -- | Inf | 6.30%
1718.36/1724.68 c 1725s| 700 | 111 |450064 | 540.3 | 1491M | 63 |7726 | 172k| 0 |2899 | 0 |2994 | 101 | 0.000000e+00 | -- | Inf | 6.30%
1730.52/1736.81 c 1737s| 800 | 105 |460307 | 485.5 | 1491M | 63 |7726 | 172k| 169k|3015 | 1 |3228 | 101 | 0.000000e+00 | -- | Inf | 6.30%
1739.29/1745.69 c 1746s| 900 | 107 |469046 | 441.3 | 1491M | 63 |7726 | 172k| 0 |3280 | 0 |3509 | 101 | 0.000000e+00 | -- | Inf | 6.30%
1747.46/1753.89 c 1754s| 1000 | 111 |477021 | 405.1 | 1491M | 63 |7726 | 172k| 0 |3613 | 0 |3737 | 101 | 0.000000e+00 | -- | Inf | 6.30%
1753.44/1759.82 c 1760s| 1100 | 114 |480879 | 371.8 | 1491M | 63 |7726 | 173k| 169k|3765 | 1 |3989 | 101 | 0.000000e+00 | -- | Inf | 6.30%
1763.30/1769.72 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1763.30/1769.72 c 1770s| 1200 | 115 |490843 | 349.1 | 1491M | 63 |7726 | 173k| 170k|4067 | 2 |4263 | 101 | 0.000000e+00 | -- | Inf | 6.30%
1774.57/1781.10 c 1781s| 1300 | 111 |499521 | 329.0 | 1492M | 63 |7726 | 173k| 0 |4142 | 0 |4534 | 101 | 0.000000e+00 | -- | Inf | 6.30%
1782.44/1788.98 c 1789s| 1400 | 110 |506021 | 310.1 | 1492M | 63 |7726 | 173k| 169k|4419 | 1 |4873 | 101 | 0.000000e+00 | -- | Inf | 6.30%
1790.61/1797.12 c 1797s| 1500 | 102 |513966 | 294.7 | 1493M | 63 |7726 | 174k| 0 |4653 | 0 |5159 | 101 | 0.000000e+00 | -- | Inf | 6.30%
1802.47/1809.07 c 1809s| 1600 | 99 |529189 | 285.8 | 1493M | 63 |7726 | 174k| 169k|4974 | 1 |5418 | 101 | 0.000000e+00 | -- | Inf | 6.30%
1809.24/1815.86 c 1816s| 1700 | 106 |535967 | 273.0 | 1493M | 63 |7726 | 174k| 0 |5163 | 0 |5643 | 101 | 0.000000e+00 | -- | Inf | 6.30%
1815.32/1821.98 c 1822s| 1800 | 104 |541108 | 260.7 | 1493M | 63 |7726 | 174k| 169k|5306 | 1 |5912 | 101 | 0.000000e+00 | -- | Inf | 6.30%
1823.59/1830.26 c 1830s| 1900 | 101 |550811 | 252.1 | 1493M | 63 |7726 | 174k| 169k|5464 | 1 |6128 | 101 | 0.000000e+00 | -- | Inf | 6.30%
1830.86/1837.55 c 1838s| 2000 | 90 |558969 | 243.5 | 1493M | 63 |7726 | 174k| 169k|5530 | 2 |6328 | 101 | 0.000000e+00 | -- | Inf | 6.30%
1914.77/1921.78 c 1922s| 2100 | 122 |606703 | 254.7 | 1497M | 63 |7726 | 174k| 169k|5608 | 1 |6636 | 101 | 0.000000e+00 | -- | Inf | 6.31%
2000.07/2007.31 c 2007s| 2200 | 122 |685489 | 278.9 | 1497M | 63 |7726 | 174k| 169k|5678 | 1 |6890 | 101 | 0.000000e+00 | -- | Inf | 6.31%
2099.91/2107.55 c 2108s| 2300 | 150 |767487 | 302.4 | 1499M | 63 |7726 | 175k| 169k|5857 | 1 |7226 | 101 | 0.000000e+00 | -- | Inf | 6.31%
2171.66/2179.54 c 2180s| 2400 | 156 |830500 | 316.1 | 1500M | 63 |7726 | 175k| 169k|5911 | 1 |7484 | 101 | 0.000000e+00 | -- | Inf | 6.31%
2215.30/2223.32 c 2223s| 2500 | 233 |868533 | 318.7 | 1535M | 95 |7726 | 175k| 170k|6009 | 1 |7581 | 101 | 0.000000e+00 | -- | Inf | 6.31%
2220.58/2228.62 c 2229s| 2600 | 279 |869522 | 306.8 | 1588M | 160 |7726 | 175k| 170k|6112 | 1 |7632 | 101 | 0.000000e+00 | -- | Inf | 6.31%
2225.46/2233.54 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2225.46/2233.54 c 2234s| 2700 | 296 |870794 | 295.9 | 1703M | 182 |7726 | 175k| 170k|6270 | 1 |7715 | 101 | 0.000000e+00 | -- | Inf | 6.31%
2235.03/2243.18 c 2243s| 2800 | 187 |876391 | 287.3 | 1706M | 192 |7726 | 175k| 170k|6349 | 1 |7900 | 101 | 0.000000e+00 | -- | Inf | 6.31%
2267.81/2276.03 c 2276s| 2900 | 157 |904766 | 287.2 | 1706M | 192 |7726 | 175k| 169k|6439 | 1 |8152 | 101 | 0.000000e+00 | -- | Inf | 6.31%
2305.77/2314.14 c 2314s| 3000 | 161 |937184 | 288.4 | 1706M | 192 |7726 | 175k| 0 |6517 | 0 |8388 | 101 | 0.000000e+00 | -- | Inf | 6.31%
2343.14/2351.67 c 2352s| 3100 | 152 |968251 | 289.2 | 1706M | 192 |7726 | 176k| 0 |6656 | 0 |8660 | 101 | 0.000000e+00 | -- | Inf | 6.31%
2389.56/2398.30 c 2398s| 3200 | 155 | 1005k| 291.7 | 1706M | 192 |7726 | 176k| 169k|7140 | 1 |8881 | 101 | 0.000000e+00 | -- | Inf | 6.31%
2415.57/2424.35 c 2424s| 3300 | 159 | 1026k| 289.4 | 1706M | 192 |7726 | 176k| 169k|7301 | 1 |9132 | 101 | 0.000000e+00 | -- | Inf | 6.31%
2440.08/2448.90 c 2449s| 3400 | 153 | 1045k| 286.3 | 1706M | 192 |7726 | 176k| 169k|7495 | 1 |9355 | 101 | 0.000000e+00 | -- | Inf | 6.31%
2470.57/2479.56 c 2480s| 3500 | 157 | 1069k| 285.1 | 1706M | 192 |7726 | 176k| 169k|7804 | 1 |9591 | 101 | 0.000000e+00 | -- | Inf | 6.31%
2498.76/2507.87 c 2508s| 3600 | 149 | 1092k| 283.6 | 1706M | 192 |7726 | 176k| 169k|8181 | 1 |9849 | 101 | 0.000000e+00 | -- | Inf | 6.31%
2547.28/2556.51 c 2557s| 3700 | 164 | 1128k| 285.7 | 1706M | 192 |7726 | 177k| 169k|8558 | 1 | 10k| 101 | 0.000000e+00 | -- | Inf | 6.31%
2576.28/2585.69 c 2586s| 3800 | 166 | 1154k| 284.9 | 1706M | 192 |7726 | 177k| 0 |8807 | 0 | 10k| 101 | 0.000000e+00 | -- | Inf | 6.31%
2619.72/2629.25 c 2629s| 3900 | 162 | 1190k| 286.8 | 1706M | 192 |7726 | 177k| 169k|9077 | 1 | 10k| 101 | 0.000000e+00 | -- | Inf | 6.32%
2661.66/2671.32 c 2671s| 4000 | 160 | 1222k| 287.8 | 1706M | 192 |7726 | 177k| 0 |9400 | 0 | 10k| 101 | 0.000000e+00 | -- | Inf | 6.32%
2700.03/2709.81 c 2710s| 4100 | 167 | 1254k| 288.5 | 1707M | 192 |7726 | 177k| 0 |9675 | 0 | 10k| 101 | 0.000000e+00 | -- | Inf | 6.32%
2724.15/2734.00 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2724.15/2734.00 c 2734s| 4200 | 160 | 1274k| 286.3 | 1707M | 192 |7726 | 177k| 169k|9998 | 1 | 11k| 101 | 0.000000e+00 | -- | Inf | 6.32%
2742.48/2752.49 c 2752s| 4300 | 157 | 1289k| 283.1 | 1707M | 192 |7726 | 178k| 169k| 10k| 1 | 11k| 101 | 0.000000e+00 | -- | Inf | 6.32%
2775.07/2785.19 c 2785s| 4400 | 146 | 1314k| 282.4 | 1707M | 192 |7726 | 178k| 169k| 10k| 2 | 11k| 101 | 0.000000e+00 | -- | Inf | 6.32%
2846.30/2856.62 c 2857s| 4500 | 146 | 1369k| 288.3 | 1707M | 192 |7726 | 178k| 169k| 10k| 2 | 11k| 101 | 0.000000e+00 | -- | Inf | 6.32%
2888.75/2899.29 c 2899s| 4600 | 146 | 1402k| 289.3 | 1707M | 192 |7726 | 178k| 169k| 11k| 1 | 12k| 101 | 0.000000e+00 | -- | Inf | 6.32%
2936.68/2947.38 c 2947s| 4700 | 147 | 1440k| 291.2 | 1707M | 192 |7726 | 178k| 169k| 11k| 1 | 12k| 101 | 0.000000e+00 | -- | Inf | 6.32%
3036.10/3047.10 c 3047s| 4800 | 151 | 1513k| 300.2 | 1707M | 192 |7726 | 178k| 0 | 11k| 0 | 12k| 101 | 0.000000e+00 | -- | Inf | 6.32%
3102.05/3113.35 c 3113s| 4900 | 158 | 1564k| 304.7 | 1707M | 192 |7726 | 178k| 169k| 12k| 1 | 12k| 101 | 0.000000e+00 | -- | Inf | 6.32%
3188.44/3200.01 c 3200s| 5000 | 146 | 1628k| 311.3 | 1707M | 192 |7726 | 179k| 169k| 12k| 1 | 13k| 101 | 0.000000e+00 | -- | Inf | 6.33%
3287.07/3299.04 c 3299s| 5100 | 126 | 1700k| 319.3 | 1707M | 192 |7726 | 179k| 169k| 12k| 1 | 13k| 101 | 0.000000e+00 | -- | Inf | 6.33%
3396.55/3408.94 c 3409s| 5200 | 127 | 1784k| 329.3 | 1707M | 192 |7726 | 179k| 169k| 13k| 1 | 13k| 101 | 0.000000e+00 | -- | Inf | 6.33%
3496.69/3509.41 c 3509s| 5300 | 100 | 1857k| 336.9 | 1707M | 192 |7726 | 179k| 169k| 13k| 1 | 13k| 101 | 0.000000e+00 | -- | Inf | 6.33%
3583.86/3597.00 c
3583.86/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3583.97/3597.00 c Solving Time (sec) : 3597.00
3583.97/3597.00 c Solving Nodes : 5389 (total of 5390 nodes in 2 runs)
3583.97/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3583.97/3597.00 c Dual Bound : +0.00000000000000e+00
3583.97/3597.00 c Gap : infinite
3583.97/3597.00 s UNKNOWN
3583.97/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3583.97/3597.00 c Total Time : 3597.00
3583.97/3597.00 c solving : 3597.00
3583.97/3597.00 c presolving : 11.34 (included in solving)
3583.97/3597.00 c reading : 0.33 (included in solving)
3583.97/3597.00 c copying : 1.62 (7 #copies) (minimal 0.22, maximal 0.25, average 0.23)
3583.97/3597.00 c Original Problem :
3583.97/3597.00 c Problem name : HOME/instance-4503539-1751173125.opb
3583.97/3597.00 c Variables : 7936 (7936 binary, 0 integer, 0 continuous)
3583.97/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3583.97/3597.00 c Constraints : 176837 initial, 176837 maximal
3583.97/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3583.97/3597.00 c Presolved Problem :
3583.97/3597.00 c Problem name : t_HOME/instance-4503539-1751173125.opb
3583.97/3597.00 c Variables : 7726 (7726 binary, 0 integer, 0 continuous)
3583.97/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3583.97/3597.00 c Constraints : 170010 initial, 179425 maximal
3583.97/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3583.97/3597.00 c Nonzeros : 662695 constraint, 101619 clique table
3583.97/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3583.97/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.97/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.97/3597.00 c domcol : 0.07 0.00 2 0 0 0 0 0 0 0 0 0
3583.97/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.97/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.97/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.97/3597.00 c dualsparsify : 1.09 0.00 1 0 0 0 0 0 0 0 0 0
3583.97/3597.00 c gateextraction : 0.31 0.00 4 0 0 0 0 0 14 4 0 0
3583.97/3597.00 c implics : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
3583.97/3597.00 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.97/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.97/3597.00 c milp : 0.69 0.00 1 0 0 0 0 0 0 0 0 0
3583.97/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.97/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.97/3597.00 c sparsify : 0.17 0.00 1 0 0 0 0 0 0 0 0 0
3583.97/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.97/3597.00 c trivial : 0.00 0.00 7 209 0 0 0 0 0 0 0 0
3583.97/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.97/3597.00 c dualfix : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
3583.97/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.97/3597.00 c probing : 6.55 0.00 1 0 0 0 0 0 0 0 0 0
3583.97/3597.00 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3583.97/3597.00 c symmetry : 0.18 0.00 1 0 0 0 0 0 0 0 0 0
3583.97/3597.00 c vbounds : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3583.97/3597.00 c knapsack : 0.11 0.01 15 0 0 0 0 0 10 41 80 266
3583.97/3597.00 c setppc : 0.16 0.01 15 0 0 0 0 0 4067 0 0 0
3583.97/3597.00 c and : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3583.97/3597.00 c linear : 0.53 0.06 12 0 1 0 0 0 23 0 10 0
3583.97/3597.00 c logicor : 1.05 0.20 14 0 0 0 0 0 3149 0 0 3912
3583.97/3597.00 c components : 0.10 0.00 2 0 0 0 0 0 0 0 0 0
3583.97/3597.00 c root node : - - - 282 - - 282 - - - - -
3583.97/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3583.97/3597.00 c integral : 0 0 0 0 3689 0 0 757 0 0 0 0 0 3 7372
3583.97/3597.00 c knapsack : 17678+ 17703 25 57155 0 0 0 752 26941 296 14744 1484 166 0 0
3583.97/3597.00 c setppc : 33872+ 33972 25 56859 0 0 0 7 140690 378 124302 11 4 0 0
3583.97/3597.00 c and : 4 4 4034 46956 0 0 0 0 9 0 4 14 10 0 0
3583.97/3597.00 c linear : 2+ 27 25 51540 0 0 0 3 1990 81 3768 0 0 0 0
3583.97/3597.00 c logicor : 118454+ 127730 25 40168 0 0 0 0 77965 2735 70420 36 15 0 0
3583.97/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3583.97/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3583.97/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3583.97/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3583.97/3597.00 c integral : 294.64 0.00 0.00 0.00 294.64 0.00 0.00 0.00 0.00 0.00
3583.97/3597.00 c knapsack : 2.15 0.01 0.42 1.66 0.00 0.00 0.00 0.03 0.02 0.01
3583.97/3597.00 c setppc : 2.43 0.01 0.06 2.29 0.00 0.00 0.00 0.00 0.03 0.04
3583.97/3597.00 c and : 0.01 0.00 0.01 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3583.97/3597.00 c linear : 0.11 0.06 0.00 0.04 0.00 0.00 0.00 0.00 0.00 0.00
3583.97/3597.00 c logicor : 3.13 0.20 0.37 2.45 0.00 0.00 0.00 0.00 0.07 0.05
3583.97/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3583.97/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3583.97/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3583.97/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3583.97/3597.00 c dualfix : 5 0 0 0
3583.97/3597.00 c genvbounds : 0 0 0 0
3583.97/3597.00 c nlobbt : 0 0 0 0
3583.97/3597.00 c obbt : 0 0 0 0
3583.97/3597.00 c probing : 0 0 0 0
3583.97/3597.00 c pseudoobj : 0 0 0 0
3583.97/3597.00 c redcost : 0 0 0 0
3583.97/3597.00 c rootredcost : 0 0 0 0
3583.97/3597.00 c symmetry : 0 0 0 0
3583.97/3597.00 c vbounds : 31382 0 0 0
3583.97/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3583.97/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3583.97/3597.00 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3583.97/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3583.97/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3583.97/3597.00 c probing : 6.55 0.00 6.55 0.00 0.00 0.00
3583.97/3597.00 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
3583.97/3597.00 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
3583.97/3597.00 c rootredcost : 0.01 0.00 0.00 0.00 0.00 0.00
3583.97/3597.00 c symmetry : 0.19 0.00 0.18 0.01 0.00 0.00
3583.97/3597.00 c vbounds : 0.91 0.00 0.01 0.90 0.00 0.00
3583.97/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3583.97/3597.00 c propagation : 0.29 3421 3411 - 37427 41.7 435 21.3 - - -
3583.97/3597.00 c infeasible LP : 0.15 87 76 - 821 53.9 33 9.0 76 51.4 0
3583.97/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3583.97/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3583.97/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3583.97/3597.00 c applied globally : 0.51 - - 0 13869 21.9 - - 76 - -
3583.97/3597.00 c applied locally : - - - 0 0 0.0 - - 0 - -
3583.97/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3583.97/3597.00 c cut pool : 0.25 - 824 51 - - 5698 58412 - - - - - (maximal pool size: 3384)
3583.97/3597.00 c aggregation : 0.84 0.00 58 25 0 0 4 101 0 1 1 0 0
3583.97/3597.00 c > cmir : - - - - - - - 101 0 1 1 0 -
3583.97/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3583.97/3597.00 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3583.97/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.97/3597.00 c clique : 0.71 0.00 25 25 0 0 204 1080 0 365 365 0 0
3583.97/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.97/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.97/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.97/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.97/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.97/3597.00 c gomory : 161.13 0.00 53 20 0 0 5289 49530 420 8096 8036 60 0
3583.97/3597.00 c > gomorymi : - - - - - - - 7218 210 260 223 37 -
3583.97/3597.00 c > strongcg : - - - - - - - 42312 210 7836 7813 23 -
3583.97/3597.00 c impliedbounds : 0.12 0.00 58 25 0 0 121 2196 0 2138 2138 0 0
3583.97/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.97/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.97/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.97/3597.00 c mcf : 0.17 0.00 2 2 0 0 0 0 0 0 0 0 0
3583.97/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.97/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.97/3597.00 c multilinear : 0.00 0.00 53 25 0 0 0 0 0 0 0 0 0
3583.97/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.97/3597.00 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.97/3597.00 c rlt : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
3583.97/3597.00 c zerohalf : 1.75 0.00 58 25 0 0 846 5505 346 3310 3025 285 0
3583.97/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3583.97/3597.00 c hybrid : 0.05 0.00 757 28 14069 45 46654 791 0 6793
3583.97/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3583.97/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3583.97/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3583.97/3597.00 c problem variables: 0.00 - 0 0
3583.97/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3583.97/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3583.97/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3583.97/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3583.97/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3583.97/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3583.97/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3583.97/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3583.97/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3583.97/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3583.97/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3583.97/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3583.97/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3583.97/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3583.97/3597.00 c relpscost : 294.63 0.00 3689 0 0 0 0 0 8 7372
3583.97/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3583.97/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3583.97/3597.00 c LP solutions : 0.00 - - 0 0
3583.97/3597.00 c relax solutions : 0.00 - - 0 0
3583.97/3597.00 c pseudo solutions : 0.00 - - 0 0
3583.97/3597.00 c strong branching : 0.00 - - 0 0
3583.97/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3583.97/3597.00 c adaptivediving : 44.30 0.00 10 0 0
3583.97/3597.00 c alns : 6.15 0.00 5 0 0
3583.97/3597.00 c bound : 0.00 0.00 0 0 0
3583.97/3597.00 c clique : 0.29 0.00 1 0 0
3583.97/3597.00 c coefdiving : 0.00 0.00 0 0 0
3583.97/3597.00 c completesol : 0.00 0.00 0 0 0
3583.97/3597.00 c conflictdiving : 27.35 0.00 15 0 0
3583.97/3597.00 c crossover : 0.00 0.00 0 0 0
3583.97/3597.00 c dins : 0.00 0.00 0 0 0
3583.97/3597.00 c distributiondivin: 67.11 0.00 13 0 0
3583.97/3597.00 c dks : 0.00 0.00 0 0 0
3583.97/3597.00 c dps : 0.00 0.00 0 0 0
3583.97/3597.00 c dualval : 0.00 0.00 0 0 0
3583.97/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3583.97/3597.00 c feaspump : 30.09 0.00 5 0 0
3583.97/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3583.97/3597.00 c fracdiving : 50.53 0.00 13 0 0
3583.97/3597.00 c gins : 0.00 0.00 0 0 0
3583.97/3597.00 c guideddiving : 0.00 0.00 0 0 0
3583.97/3597.00 c indicator : 0.00 0.00 0 0 0
3583.97/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3583.97/3597.00 c intdiving : 0.00 0.00 0 0 0
3583.97/3597.00 c intshifting : 0.00 0.00 0 0 0
3583.97/3597.00 c linesearchdiving : 38.53 0.00 14 0 0
3583.97/3597.00 c localbranching : 0.00 0.00 0 0 0
3583.97/3597.00 c locks : 0.07 0.00 1 0 0
3583.97/3597.00 c lpface : 0.07 0.00 0 0 0
3583.97/3597.00 c mpec : 0.00 0.00 0 0 0
3583.97/3597.00 c multistart : 0.00 0.00 0 0 0
3583.97/3597.00 c mutation : 0.00 0.00 0 0 0
3583.97/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3583.97/3597.00 c objpscostdiving : 484.76 0.00 1 0 0
3583.97/3597.00 c octane : 0.00 0.00 0 0 0
3583.97/3597.00 c ofins : 0.00 0.00 0 0 0
3583.97/3597.00 c oneopt : 0.00 0.00 0 0 0
3583.97/3597.00 c padm : 0.00 0.00 0 0 0
3583.97/3597.00 c proximity : 0.00 0.00 0 0 0
3583.97/3597.00 c pscostdiving : 172.64 0.00 15 0 0
3583.97/3597.00 c randrounding : 1.05 0.00 775 0 0
3583.97/3597.00 c rens : 1.63 0.00 2 0 0
3583.97/3597.00 c reoptsols : 0.00 0.00 0 0 0
3583.97/3597.00 c repair : 0.00 0.00 0 0 0
3583.97/3597.00 c rins : 0.00 0.00 0 0 0
3583.97/3597.00 c rootsoldiving : 26.06 0.00 3 0 0
3583.97/3597.00 c rounding : 4.92 0.00 892 0 0
3583.97/3597.00 c scheduler : 0.00 0.00 0 0 0
3583.97/3597.00 c shiftandpropagate: 0.34 0.00 2 0 0
3583.97/3597.00 c shifting : 29.26 0.00 403 0 0
3583.97/3597.00 c simplerounding : 0.00 0.00 0 0 0
3583.97/3597.00 c subnlp : 0.00 0.00 0 0 0
3583.97/3597.00 c trivial : 0.02 0.00 4 0 0
3583.97/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3583.97/3597.00 c trustregion : 0.00 0.00 0 0 0
3583.97/3597.00 c trysol : 0.00 0.00 0 0 0
3583.97/3597.00 c twoopt : 0.00 0.00 0 0 0
3583.97/3597.00 c undercover : 0.00 0.00 1 0 0
3583.97/3597.00 c vbounds : 0.45 0.00 2 0 0
3583.97/3597.00 c veclendiving : 40.45 0.00 14 0 0
3583.97/3597.00 c zeroobj : 0.00 0.00 0 0 0
3583.97/3597.00 c zirounding : 4.19 0.00 1000 0 0
3583.97/3597.00 c other solutions : - - - 0 -
3583.97/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3583.97/3597.00 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3583.97/3597.00 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3583.97/3597.00 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3583.97/3597.00 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3583.97/3597.00 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3583.97/3597.00 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3583.97/3597.00 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3583.97/3597.00 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3583.97/3597.00 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3583.97/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3583.97/3597.00 c primal LP : 5.38 323 0 0.00 0.00 5.38 323
3583.97/3597.00 c dual LP : 2008.77 4503 1712581 380.74 852.55 0.10 5
3583.97/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3583.97/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3583.97/3597.00 c resolve instable : 0.00 0 0 0.00 -
3583.97/3597.00 c diving/probing LP: 1121.30 579 212365 366.78 189.39
3583.97/3597.00 c strong branching : 126.54 101 90259 893.65 713.27 - - 168
3583.97/3597.00 c (at root node) : - 101 90259 893.65 -
3583.97/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3583.97/3597.00 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3583.97/3597.00 c benders : 0.00 0 0 0 0.00 0 0 0
3583.97/3597.00 c B&B Tree :
3583.97/3597.00 c number of runs : 2
3583.97/3597.00 c nodes : 5389 (3685 internal, 1704 leaves)
3583.97/3597.00 c feasible leaves : 0
3583.97/3597.00 c infeas. leaves : 1703
3583.97/3597.00 c objective leaves : 0
3583.97/3597.00 c nodes (total) : 5390 (3686 internal, 1704 leaves)
3583.97/3597.00 c nodes left : 72
3583.97/3597.00 c max depth : 192
3583.97/3597.00 c max depth (total): 192
3583.97/3597.00 c backtracks : 1536 (28.5%)
3583.97/3597.00 c early backtracks : 0 (0.0%)
3583.97/3597.00 c nodes exc. ref. : 0 (0.0%)
3583.97/3597.00 c delayed cutoffs : 1911
3583.97/3597.00 c repropagations : 7041 (66743 domain reductions, 1392 cutoffs)
3583.97/3597.00 c avg switch length: 4.13
3583.97/3597.00 c switching time : 11.28
3583.97/3597.00 c Root Node :
3583.97/3597.00 c First LP value : +0.00000000000000e+00
3583.97/3597.00 c First LP Iters : 548 (5740.68 Iter/sec)
3583.97/3597.00 c First LP Time : 0.10
3583.97/3597.00 c Final Dual Bound : +0.00000000000000e+00
3583.97/3597.00 c Final Root Iters : 71875
3583.97/3597.00 c Root LP Estimate : +1.73969265346255e-02
3583.97/3597.00 c Solution :
3583.97/3597.00 c Solutions found : 0 (0 improvements)
3583.97/3597.00 c Primal Bound : -
3583.97/3597.00 c Dual Bound : +0.00000000000000e+00
3583.97/3597.00 c Gap : infinite
3583.97/3597.00 c Integrals : Total Avg%
3583.97/3597.00 c primal-dual : 359700.27 100.00
3583.97/3597.00 c primal-ref : - - (not evaluated)
3583.97/3597.00 c dual-ref : - - (not evaluated)
3584.26/3597.38 c Time complete (sec): 3584.347
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (63062 MiB free)
memory of node 1: 64465 MiB (62049 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503539-1751173125/watcher-4503539-1751173125 -o /tmp/evaluation-result-4503539-1751173125/solver-4503539-1751173125 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751169526-28918 --watchdog 3760 pbsolver -f HOME/instance-4503539-1751173125.opb -t 3600 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=29316, runsolver pid=29313
[startup+0.100063 s]*
/proc/loadavg: 4.13 4.10 4.03 5/256 29321
/proc/meminfo: memFree=128066724/131249992 swapFree=33010684/33010684
[pid=29316] ppid=29313 vsize=53972 memory=43520 CPUtime=0.09 cores=0,2
/proc/29316/stat : 29316 (pbsolver) R 29313 29316 28908 0 -1 4194304 8934 0 0 0 8 1 0 0 20 0 1 0 32991303 55267328 10880 18446744073709551615 4198400 14743177 140720947815952 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25473024 140720947820938 140720947821034 140720947821034 140720947826636 0
/proc/29316/statm: 13493 10880 2176 2575 0 10400 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 53972 KiB
Current children cumulated memory: 43520 KiB
[startup+0.205265 s]*
/proc/loadavg: 4.13 4.10 4.03 5/256 29322
/proc/meminfo: memFree=127998316/131249992 swapFree=33010684/33010684
[pid=29316] ppid=29313 vsize=84644 memory=73600 CPUtime=0.19 cores=0,2
/proc/29316/stat : 29316 (pbsolver) R 29313 29316 28908 0 -1 4194304 16452 0 0 0 17 2 0 0 20 0 1 0 32991303 86675456 18400 18446744073709551615 4198400 14743177 140720947815952 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25473024 140720947820938 140720947821034 140720947821034 140720947826636 0
/proc/29316/statm: 21161 18400 2176 2575 0 18068 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 84644 KiB
Current children cumulated memory: 73600 KiB
[startup+0.305151 s]*
/proc/loadavg: 4.13 4.10 4.03 5/259 29331
/proc/meminfo: memFree=127934056/131249992 swapFree=33010684/33010684
[pid=29316] ppid=29313 vsize=115436 memory=104192 CPUtime=0.3 cores=0,2
/proc/29316/stat : 29316 (pbsolver) R 29313 29316 28908 0 -1 4194304 24102 0 0 0 27 3 0 0 20 0 1 0 32991303 118206464 26048 18446744073709551615 4198400 14743177 140720947815952 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25473024 140720947820938 140720947821034 140720947821034 140720947826636 0
/proc/29316/statm: 28859 26048 2176 2575 0 25766 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 115436 KiB
Current children cumulated memory: 104192 KiB
[startup+0.700174 s]
/proc/loadavg: 4.13 4.10 4.03 5/264 29341
/proc/meminfo: memFree=127732784/131249992 swapFree=33010684/33010684
[pid=29316] ppid=29313 vsize=284972 memory=269880 CPUtime=0.68 cores=0,2
/proc/29316/stat : 29316 (pbsolver) R 29313 29316 28908 0 -1 4194304 65941 0 0 0 59 9 0 0 20 0 1 0 32991303 291811328 67470 18446744073709551615 4198400 14743177 140720947815952 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25473024 140720947820938 140720947821034 140720947821034 140720947826636 0
/proc/29316/statm: 71243 67470 2432 2575 0 68150 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 284972 KiB
Current children cumulated memory: 269880 KiB
[startup+1.50017 s]
/proc/loadavg: 4.13 4.10 4.03 5/264 29341
/proc/meminfo: memFree=127259704/131249992 swapFree=33010684/33010684
[pid=29316] ppid=29313 vsize=332468 memory=315940 CPUtime=1.48 cores=0,2
/proc/29316/stat : 29316 (pbsolver) R 29313 29316 28908 0 -1 4194304 83273 0 0 0 133 15 0 0 20 0 1 0 32991303 340447232 78985 18446744073709551615 4198400 14743177 140720947815952 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25473024 140720947820938 140720947821034 140720947821034 140720947826636 0
/proc/29316/statm: 83117 78985 2496 2575 0 80024 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 332468 KiB
Current children cumulated memory: 315940 KiB
[startup+3.10532 s]
/proc/loadavg: 4.13 4.10 4.03 5/264 29341
/proc/meminfo: memFree=125767368/131249992 swapFree=33010684/33010684
[pid=29316] ppid=29313 vsize=414040 memory=397988 CPUtime=3.08 cores=0,2
/proc/29316/stat : 29316 (pbsolver) R 29313 29316 28908 0 -1 4194304 103732 0 0 0 290 18 0 0 20 0 1 0 32991303 423976960 99497 18446744073709551615 4198400 14743177 140720947815952 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25473024 140720947820938 140720947821034 140720947821034 140720947826636 0
/proc/29316/statm: 103510 99497 2592 2575 0 100417 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 414040 KiB
Current children cumulated memory: 397988 KiB
[startup+6.30017 s]
/proc/loadavg: 4.20 4.12 4.04 5/264 29341
/proc/meminfo: memFree=123810096/131249992 swapFree=33010684/33010684
[pid=29316] ppid=29313 vsize=414040 memory=398116 CPUtime=6.26 cores=0,2
/proc/29316/stat : 29316 (pbsolver) R 29313 29316 28908 0 -1 4194304 103762 0 0 0 608 18 0 0 20 0 1 0 32991303 423976960 99529 18446744073709551615 4198400 14743177 140720947815952 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25473024 140720947820938 140720947821034 140720947821034 140720947826636 0
/proc/29316/statm: 103510 99529 2592 2575 0 100417 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 414040 KiB
Current children cumulated memory: 398116 KiB
[startup+12.7002 s]
/proc/loadavg: 4.18 4.11 4.04 5/264 29341
/proc/meminfo: memFree=121756392/131249992 swapFree=33010684/33010684
[pid=29316] ppid=29313 vsize=883168 memory=811724 CPUtime=12.64 cores=0,2
/proc/29316/stat : 29316 (pbsolver) R 29313 29316 28908 0 -1 4194304 155390 0 0 0 1235 29 0 0 20 0 1 0 32991303 904364032 202931 18446744073709551615 4198400 14743177 140720947815952 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25473024 140720947820938 140720947821034 140720947821034 140720947826636 0
/proc/29316/statm: 220792 202931 2656 2575 0 217699 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 883168 KiB
Current children cumulated memory: 811724 KiB
[startup+25.5002 s]
/proc/loadavg: 4.22 4.12 4.04 5/264 29341
/proc/meminfo: memFree=121939664/131249992 swapFree=33010684/33010684
[pid=29316] ppid=29313 vsize=883168 memory=811852 CPUtime=25.4 cores=0,2
/proc/29316/stat : 29316 (pbsolver) R 29313 29316 28908 0 -1 4194304 155400 0 0 0 2511 29 0 0 20 0 1 0 32991303 904364032 202963 18446744073709551615 4198400 14743177 140720947815952 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25473024 140720947820938 140720947821034 140720947821034 140720947826636 0
/proc/29316/statm: 220792 202963 2688 2575 0 217699 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 883168 KiB
Current children cumulated memory: 811852 KiB
[startup+51.1054 s]
/proc/loadavg: 4.14 4.11 4.04 5/264 29342
/proc/meminfo: memFree=122335028/131249992 swapFree=33010684/33010684
[pid=29316] ppid=29313 vsize=962412 memory=857640 CPUtime=50.93 cores=0,2
/proc/29316/stat : 29316 (pbsolver) R 29313 29316 28908 0 -1 4194304 162827 0 0 0 5062 31 0 0 20 0 1 0 32991303 985509888 214410 18446744073709551615 4198400 14743177 140720947815952 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25473024 140720947820938 140720947821034 140720947821034 140720947826636 0
/proc/29316/statm: 240603 214410 2688 2575 0 237510 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 962412 KiB
Current children cumulated memory: 857640 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.11 4.04 5/263 29344
/proc/meminfo: memFree=122690392/131249992 swapFree=33010684/33010684
[pid=29316] ppid=29313 vsize=1015156 memory=882564 CPUtime=101.96 cores=0,2
/proc/29316/stat : 29316 (pbsolver) R 29313 29316 28908 0 -1 4194304 163738 0 0 0 10164 32 0 0 20 0 1 0 32991303 1039519744 220641 18446744073709551615 4198400 14743177 140720947815952 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25473024 140720947820938 140720947821034 140720947821034 140720947826636 0
/proc/29316/statm: 253789 220641 2688 2575 0 250696 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 1015156 KiB
Current children cumulated memory: 882564 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.12 4.05 5/264 29358
/proc/meminfo: memFree=116703012/131249992 swapFree=33010684/33010684
[pid=29316] ppid=29313 vsize=1129828 memory=883076 CPUtime=161.75 cores=0,2
/proc/29316/stat : 29316 (pbsolver) R 29313 29316 28908 0 -1 4194304 163940 0 0 0 16143 32 0 0 20 0 1 0 32991303 1156943872 220769 18446744073709551615 4198400 14743177 140720947815952 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25473024 140720947820938 140720947821034 140720947821034 140720947826636 0
/proc/29316/statm: 282457 220769 2688 2575 0 279364 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 1129828 KiB
Current children cumulated memory: 883076 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.05 5/264 29360
/proc/meminfo: memFree=116520988/131249992 swapFree=33010684/33010684
[pid=29316] ppid=29313 vsize=1299620 memory=1052848 CPUtime=221.53 cores=0,2
/proc/29316/stat : 29316 (pbsolver) R 29313 29316 28908 0 -1 4194304 219293 0 0 0 22111 42 0 0 20 0 1 0 32991303 1330810880 263212 18446744073709551615 4198400 14743177 140720947815952 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25473024 140720947820938 140720947821034 140720947821034 140720947826636 0
/proc/29316/statm: 324905 263212 2688 2575 0 321812 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 1299620 KiB
Current children cumulated memory: 1052848 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.10 4.05 5/264 29362
/proc/meminfo: memFree=116514216/131249992 swapFree=33010684/33010684
[pid=29316] ppid=29313 vsize=1299620 memory=1052976 CPUtime=281.3 cores=0,2
/proc/29316/stat : 29316 (pbsolver) R 29313 29316 28908 0 -1 4194304 219411 0 0 0 28088 42 0 0 20 0 1 0 32991303 1330810880 263244 18446744073709551615 4198400 14743177 140720947815952 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25473024 140720947820938 140720947821034 140720947821034 140720947826636 0
/proc/29316/statm: 324905 263244 2688 2575 0 321812 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 1299620 KiB
Current children cumulated memory: 1052976 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.13 4.06 5/264 29364
/proc/meminfo: memFree=116498956/131249992 swapFree=33010684/33010684
[pid=29316] ppid=29313 vsize=1427424 memory=1061280 CPUtime=341.09 cores=0,2
/proc/29316/stat : 29316 (pbsolver) R 29313 29316 28908 0 -1 4194304 220100 0 0 0 34067 42 0 0 20 0 1 0 32991303 1461682176 265320 18446744073709551615 4198400 14743177 140720947815952 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25473024 140720947820938 140720947821034 140720947821034 140720947826636 0
/proc/29316/statm: 356856 265320 2688 2575 0 353763 0
Current children cumulated CPU time: 341.09 s
Current children cumulated vsize: 1427424 KiB
Current children cumulated memory: 1061280 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.12 4.06 5/264 29366
/proc/meminfo: memFree=116433696/131249992 swapFree=33010684/33010684
[pid=29316] ppid=29313 vsize=1516704 memory=1118492 CPUtime=400.85 cores=0,2
/proc/29316/stat : 29316 (pbsolver) R 29313 29316 28908 0 -1 4194304 245044 0 0 0 40039 46 0 0 20 0 1 0 32991303 1553104896 279623 18446744073709551615 4198400 14743177 140720947815952 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25473024 140720947820938 140720947821034 140720947821034 140720947826636 0
/proc/29316/statm: 379176 279623 2688 2575 0 376083 0
Current children cumulated CPU time: 400.85 s
Current children cumulated vsize: 1516704 KiB
Current children cumulated memory: 1118492 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.12 4.06 5/263 29368
/proc/meminfo: memFree=116442200/131249992 swapFree=33010684/33010684
[pid=29316] ppid=29313 vsize=1516704 memory=1118492 CPUtime=460.61 cores=0,2
/proc/29316/stat : 29316 (pbsolver) R 29313 29316 28908 0 -1 4194304 245056 0 0 0 46015 46 0 0 20 0 1 0 32991303 1553104896 279623 18446744073709551615 4198400 14743177 140720947815952 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25473024 140720947820938 140720947821034 140720947821034 140720947826636 0
/proc/29316/statm: 379176 279623 2688 2575 0 376083 0
Current children cumulated CPU time: 460.61 s
################
# More data... #
################
/proc/loadavg: 4.14 4.10 4.09 5/263 29554
/proc/meminfo: memFree=116820368/131249992 swapFree=33010684/33010684
[pid=29316] ppid=29313 vsize=2124656 memory=1535644 CPUtime=3210.65 cores=0,2
/proc/29316/stat : 29316 (pbsolver) R 29313 29316 28908 0 -1 4194304 330991 0 0 0 321006 59 0 0 20 0 1 0 32991303 2175647744 383911 18446744073709551615 4198400 14743177 140720947815952 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25473024 140720947820938 140720947821034 140720947821034 140720947826636 0
/proc/29316/statm: 531164 383911 2688 2575 0 528071 0
Current children cumulated CPU time: 3210.65 s
Current children cumulated vsize: 2124656 KiB
Current children cumulated memory: 1535644 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/262 29556
/proc/meminfo: memFree=116823360/131249992 swapFree=33010684/33010684
[pid=29316] ppid=29313 vsize=2124656 memory=1535644 CPUtime=3270.43 cores=0,2
/proc/29316/stat : 29316 (pbsolver) R 29313 29316 28908 0 -1 4194304 330993 0 0 0 326984 59 0 0 20 0 1 0 32991303 2175647744 383911 18446744073709551615 4198400 14743177 140720947815952 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25473024 140720947820938 140720947821034 140720947821034 140720947826636 0
/proc/29316/statm: 531164 383911 2688 2575 0 528071 0
Current children cumulated CPU time: 3270.43 s
Current children cumulated vsize: 2124656 KiB
Current children cumulated memory: 1535644 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/263 29559
/proc/meminfo: memFree=116819524/131249992 swapFree=33010684/33010684
[pid=29316] ppid=29313 vsize=2124656 memory=1535644 CPUtime=3330.2 cores=0,2
/proc/29316/stat : 29316 (pbsolver) R 29313 29316 28908 0 -1 4194304 330995 0 0 0 332961 59 0 0 20 0 1 0 32991303 2175647744 383911 18446744073709551615 4198400 14743177 140720947815952 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25473024 140720947820938 140720947821034 140720947821034 140720947826636 0
/proc/29316/statm: 531164 383911 2688 2575 0 528071 0
Current children cumulated CPU time: 3330.2 s
Current children cumulated vsize: 2124656 KiB
Current children cumulated memory: 1535644 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 29562
/proc/meminfo: memFree=116813560/131249992 swapFree=33010684/33010684
[pid=29316] ppid=29313 vsize=2124656 memory=1535644 CPUtime=3389.98 cores=0,2
/proc/29316/stat : 29316 (pbsolver) R 29313 29316 28908 0 -1 4194304 331229 0 0 0 338939 59 0 0 20 0 1 0 32991303 2175647744 383911 18446744073709551615 4198400 14743177 140720947815952 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25473024 140720947820938 140720947821034 140720947821034 140720947826636 0
/proc/29316/statm: 531164 383911 2688 2575 0 528071 0
Current children cumulated CPU time: 3389.98 s
Current children cumulated vsize: 2124656 KiB
Current children cumulated memory: 1535644 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 29564
/proc/meminfo: memFree=116815620/131249992 swapFree=33010684/33010684
[pid=29316] ppid=29313 vsize=2124656 memory=1535644 CPUtime=3449.75 cores=0,2
/proc/29316/stat : 29316 (pbsolver) R 29313 29316 28908 0 -1 4194304 331315 0 0 0 344916 59 0 0 20 0 1 0 32991303 2175647744 383911 18446744073709551615 4198400 14743177 140720947815952 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25473024 140720947820938 140720947821034 140720947821034 140720947826636 0
/proc/29316/statm: 531164 383911 2688 2575 0 528071 0
Current children cumulated CPU time: 3449.75 s
Current children cumulated vsize: 2124656 KiB
Current children cumulated memory: 1535644 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 29566
/proc/meminfo: memFree=116811832/131249992 swapFree=33010684/33010684
[pid=29316] ppid=29313 vsize=2124656 memory=1535900 CPUtime=3509.54 cores=0,2
/proc/29316/stat : 29316 (pbsolver) R 29313 29316 28908 0 -1 4194304 331372 0 0 0 350895 59 0 0 20 0 1 0 32991303 2175647744 383975 18446744073709551615 4198400 14743177 140720947815952 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25473024 140720947820938 140720947821034 140720947821034 140720947826636 0
/proc/29316/statm: 531164 383975 2688 2575 0 528071 0
Current children cumulated CPU time: 3509.54 s
Current children cumulated vsize: 2124656 KiB
Current children cumulated memory: 1535900 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/265 29571
/proc/meminfo: memFree=116680976/131249992 swapFree=33010684/33010684
[pid=29316] ppid=29313 vsize=2124656 memory=1535900 CPUtime=3569.32 cores=0,2
/proc/29316/stat : 29316 (pbsolver) R 29313 29316 28908 0 -1 4194304 331692 0 0 0 356872 60 0 0 20 0 1 0 32991303 2175647744 383975 18446744073709551615 4198400 14743177 140720947815952 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25473024 140720947820938 140720947821034 140720947821034 140720947826636 0
/proc/29316/statm: 531164 383975 2688 2575 0 528071 0
Current children cumulated CPU time: 3569.32 s
Current children cumulated vsize: 2124656 KiB
Current children cumulated memory: 1535900 KiB
[startup+3597.39 s]
# the end of solver process 29316 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.74 s, system=0.61815 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.09 4.10 4.09 5/265 29571
/proc/meminfo: memFree=116681480/131249992 swapFree=33010684/33010684
[pid=29316] ppid=29313 vsize=2124656 memory=1535900 CPUtime=3571.02 cores=0,2
/proc/29316/stat : 29316 (pbsolver) R 29313 29316 28908 0 -1 4194304 331692 0 0 0 357042 60 0 0 20 0 1 0 32991303 2175647744 383975 18446744073709551615 4198400 14743177 140720947815952 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25473024 140720947820938 140720947821034 140720947821034 140720947826636 0
/proc/29316/statm: 531164 383975 2688 2575 0 528071 0
Current children cumulated CPU time: 3571.02 s
Current children cumulated vsize: 2124656 KiB
Current children cumulated memory: 1535900 KiB
[startup+3590.4 s]
/proc/loadavg: 4.09 4.10 4.09 5/265 29571
/proc/meminfo: memFree=116682424/131249992 swapFree=33010684/33010684
[pid=29316] ppid=29313 vsize=2124656 memory=1535900 CPUtime=3577.39 cores=0,2
/proc/29316/stat : 29316 (pbsolver) R 29313 29316 28908 0 -1 4194304 331694 0 0 0 357679 60 0 0 20 0 1 0 32991303 2175647744 383975 18446744073709551615 4198400 14743177 140720947815952 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25473024 140720947820938 140720947821034 140720947821034 140720947826636 0
/proc/29316/statm: 531164 383975 2688 2575 0 528071 0
Current children cumulated CPU time: 3577.39 s
Current children cumulated vsize: 2124656 KiB
Current children cumulated memory: 1535900 KiB
[startup+3593.6 s]
/proc/loadavg: 4.09 4.10 4.09 5/265 29572
/proc/meminfo: memFree=116682512/131249992 swapFree=33010684/33010684
[pid=29316] ppid=29313 vsize=2124656 memory=1535900 CPUtime=3580.57 cores=0,2
/proc/29316/stat : 29316 (pbsolver) R 29313 29316 28908 0 -1 4194304 331694 0 0 0 357997 60 0 0 20 0 1 0 32991303 2175647744 383975 18446744073709551615 4198400 14743177 140720947815952 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25473024 140720947820938 140720947821034 140720947821034 140720947826636 0
/proc/29316/statm: 531164 383975 2688 2575 0 528071 0
Current children cumulated CPU time: 3580.57 s
Current children cumulated vsize: 2124656 KiB
Current children cumulated memory: 1535900 KiB
[startup+3595.2 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 29572
/proc/meminfo: memFree=116681884/131249992 swapFree=33010684/33010684
[pid=29316] ppid=29313 vsize=2124656 memory=1535900 CPUtime=3582.17 cores=0,2
/proc/29316/stat : 29316 (pbsolver) R 29313 29316 28908 0 -1 4194304 331694 0 0 0 358157 60 0 0 20 0 1 0 32991303 2175647744 383975 18446744073709551615 4198400 14743177 140720947815952 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25473024 140720947820938 140720947821034 140720947821034 140720947826636 0
/proc/29316/statm: 531164 383975 2688 2575 0 528071 0
Current children cumulated CPU time: 3582.17 s
Current children cumulated vsize: 2124656 KiB
Current children cumulated memory: 1535900 KiB
[startup+3596 s]*
/proc/loadavg: 4.08 4.09 4.09 5/265 29572
/proc/meminfo: memFree=116682136/131249992 swapFree=33010684/33010684
[pid=29316] ppid=29313 vsize=2124656 memory=1535900 CPUtime=3582.97 cores=0,2
/proc/29316/stat : 29316 (pbsolver) R 29313 29316 28908 0 -1 4194304 331694 0 0 0 358237 60 0 0 20 0 1 0 32991303 2175647744 383975 18446744073709551615 4198400 14743177 140720947815952 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25473024 140720947820938 140720947821034 140720947821034 140720947826636 0
/proc/29316/statm: 531164 383975 2688 2575 0 528071 0
Current children cumulated CPU time: 3582.97 s
Current children cumulated vsize: 2124656 KiB
Current children cumulated memory: 1535900 KiB
[startup+3596.8 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 29572
/proc/meminfo: memFree=116682136/131249992 swapFree=33010684/33010684
[pid=29316] ppid=29313 vsize=2124656 memory=1535900 CPUtime=3583.76 cores=0,2
/proc/29316/stat : 29316 (pbsolver) R 29313 29316 28908 0 -1 4194304 331694 0 0 0 358316 60 0 0 20 0 1 0 32991303 2175647744 383975 18446744073709551615 4198400 14743177 140720947815952 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25473024 140720947820938 140720947821034 140720947821034 140720947826636 0
/proc/29316/statm: 531164 383975 2688 2575 0 528071 0
Current children cumulated CPU time: 3583.76 s
Current children cumulated vsize: 2124656 KiB
Current children cumulated memory: 1535900 KiB
[startup+3597.2 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 29572
/proc/meminfo: memFree=116682136/131249992 swapFree=33010684/33010684
[pid=29316] ppid=29313 vsize=2124656 memory=1535900 CPUtime=3584.16 cores=0,2
/proc/29316/stat : 29316 (pbsolver) R 29313 29316 28908 0 -1 4194304 331700 0 0 0 358356 60 0 0 20 0 1 0 32991303 2175647744 383975 18446744073709551615 4198400 14743177 140720947815952 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25473024 140720947820938 140720947821034 140720947821034 140720947826636 0
/proc/29316/statm: 531164 383975 2688 2575 0 528071 0
Current children cumulated CPU time: 3584.16 s
Current children cumulated vsize: 2124656 KiB
Current children cumulated memory: 1535900 KiB
[startup+3597.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 29572
/proc/meminfo: memFree=116682136/131249992 swapFree=33010684/33010684
[pid=29316] ppid=29313 vsize=2123132 memory=1534524 CPUtime=3584.26 cores=0,2
/proc/29316/stat : 29316 (pbsolver) R 29313 29316 28908 0 -1 4194304 331703 0 0 0 358366 60 0 0 20 0 1 0 32991303 2174087168 383631 18446744073709551615 4198400 14743177 140720947815952 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 25473024 140720947820938 140720947821034 140720947821034 140720947826636 0
/proc/29316/statm: 530783 383631 2688 2575 0 527690 0
Current children cumulated CPU time: 3584.26 s
Current children cumulated vsize: 2123132 KiB
Current children cumulated memory: 1534524 KiB
Child status: 0
Real time (s): 3597.39
CPU time (s): 3584.36
CPU user time (s): 3583.74
CPU system time (s): 0.61815
CPU usage (%): 99.6377
Max. virtual memory (cumulated for all children) (KiB): 2124656
Max. memory (cumulated for all children) (KiB): 1535900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.74
system time used= 0.61815
maximum resident set size= 1535900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 331766
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= 24
involuntary context switches= 4571
# summary of solver processes directly reported to runsolver:
# pid: 29316
# total CPU time (s): 3584.36
# total CPU user time (s): 3583.74
# total CPU system time (s): 0.61815
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.76553 second user time and 16.1858 second system time
The end