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-4542591-1753213486.opb>
0.30/0.35 c original problem has 227556 variables (227556 bin, 0 int, 0 cont) and 20632 constraints
0.30/0.35 c problem read in 0.351 seconds
0.30/0.35 c problem without objective
0.79/0.84 c presolving:
1.09/1.15 c (1.1s) running MILP presolver
1.28/1.34 c (1.3s) MILP presolver found nothing
1.49/1.53 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 11911 upgd conss, 0 impls, 8694 clqs
1.68/1.79 c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 20632 upgd conss, 0 impls, 8694 clqs
4.08/4.11 c (4.1s) probing: 51/227556 (0.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
4.08/4.11 c (4.1s) probing aborted: 50/50 successive totally useless probings
4.18/4.26 c (4.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
4.77/4.90 c (4.9s) symmetry computation finished: 281 generators found (max: 281, log10 of symmetry group size: 286.51) (symcode time: 0.44)
4.87/4.94 c dynamic symmetry handling statistics:
4.87/4.94 c orbitopal reduction: no components
4.87/4.94 c orbital reduction: 1 components of sizes 45
4.87/4.94 c lexicographic reduction: 45 permutations with support sizes 48, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 50, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48
4.87/4.94 c handled 13 out of 13 symmetry components
4.87/4.95 c (round 3, exhaustive) 2775 del vars, 0 del conss, 12 add conss, 0 chg bounds, 0 chg sides, 8 chg coeffs, 20632 upgd conss, 0 impls, 8695 clqs
4.97/5.05 c (round 4, medium) 2795 del vars, 20 del conss, 12 add conss, 0 chg bounds, 0 chg sides, 2783 chg coeffs, 20632 upgd conss, 0 impls, 8695 clqs
5.47/5.50 c (5.5s) probing: 56/227556 (0.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
5.47/5.50 c (5.5s) probing aborted: 50/50 successive totally useless probings
5.57/5.63 c presolving (5 rounds: 5 fast, 5 medium, 4 exhaustive):
5.57/5.63 c 2795 deleted vars, 20 deleted constraints, 12 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 2783 changed coefficients
5.57/5.63 c 0 implications, 8695 cliques
5.57/5.63 c presolved problem has 224761 variables (224761 bin, 0 int, 0 cont) and 20624 constraints
5.57/5.63 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
5.57/5.63 c 1433 constraints of type <knapsack>
5.57/5.63 c 8685 constraints of type <setppc>
5.57/5.63 c 11 constraints of type <orbitope_pp>
5.57/5.63 c 10495 constraints of type <logicor>
5.57/5.63 c transformed objective value is always integral (scale: 1)
5.57/5.63 c Presolving Time: 4.87
5.57/5.63 c
5.57/5.63 c - non default parameters ----------------------------------------------------------------------
5.57/5.63 c
5.57/5.63 c # SCIP version 10.0.0
5.57/5.63 c
5.57/5.63 c # maximal time in seconds to run
5.57/5.63 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
5.57/5.63 c limits/time = 3596.998155
5.57/5.63 c
5.57/5.63 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
5.57/5.63 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
5.57/5.63 c limits/memory = 27900
5.57/5.63 c
5.57/5.63 c # belongs reading time to solving time?
5.57/5.63 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
5.57/5.63 c timing/reading = TRUE
5.57/5.63 c
5.57/5.63 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
5.57/5.63 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
5.57/5.63 c reading/opbreader/maxintsize = 47
5.57/5.63 c
5.57/5.63 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
5.57/5.63 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
5.57/5.63 c propagating/genvbounds/timingmask = 0
5.57/5.63 c
5.57/5.63 c -----------------------------------------------------------------------------------------------
5.57/5.68 c
12.65/12.79 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
12.65/12.79 c 12.8s| 1 | 0 | 42184 | - | 1069M | 0 | 224k| 20k| 20k| 0 | 0 | 171 | 0 | 0.000000e+00 | -- | Inf | unknown
26.40/26.51 c 26.5s| 1 | 0 | 63485 | - | 1154M | 0 | 224k| 20k| 20k| 87 | 1 | 172 | 0 | 0.000000e+00 | -- | Inf | unknown
28.69/28.86 c 28.9s| 1 | 0 | 63827 | - | 1187M | 0 | 224k| 20k| 20k| 160 | 2 | 172 | 0 | 0.000000e+00 | -- | Inf | unknown
31.89/32.02 c 32.0s| 1 | 0 | 64151 | - | 1227M | 0 | 224k| 20k| 20k| 218 | 3 | 173 | 0 | 0.000000e+00 | -- | Inf | unknown
35.67/35.89 c 35.9s| 1 | 0 | 64362 | - | 1264M | 0 | 224k| 20k| 20k| 253 | 4 | 174 | 0 | 0.000000e+00 | -- | Inf | unknown
39.06/39.26 c 39.3s| 1 | 0 | 64591 | - | 1306M | 0 | 224k| 20k| 20k| 282 | 5 | 174 | 0 | 0.000000e+00 | -- | Inf | unknown
42.05/42.28 c 42.3s| 1 | 0 | 64784 | - | 1335M | 0 | 224k| 20k| 20k| 306 | 6 | 175 | 0 | 0.000000e+00 | -- | Inf | unknown
44.95/45.11 c 45.1s| 1 | 0 | 64919 | - | 1376M | 0 | 224k| 20k| 20k| 340 | 7 | 176 | 0 | 0.000000e+00 | -- | Inf | unknown
48.73/48.92 c 48.9s| 1 | 0 | 65092 | - | 1414M | 0 | 224k| 20k| 20k| 367 | 8 | 176 | 0 | 0.000000e+00 | -- | Inf | unknown
52.51/52.72 c 52.7s| 1 | 0 | 65323 | - | 1451M | 0 | 224k| 20k| 21k| 397 | 9 | 176 | 0 | 0.000000e+00 | -- | Inf | unknown
56.40/56.63 c 56.6s| 1 | 0 | 65567 | - | 1486M | 0 | 224k| 20k| 21k| 427 | 10 | 177 | 0 | 0.000000e+00 | -- | Inf | unknown
57.50/57.71 c 57.7s| 1 | 0 | 65713 | - | 1490M | 0 | 224k| 20k| 21k| 461 | 11 | 177 | 0 | 0.000000e+00 | -- | Inf | unknown
77.63/77.97 c 78.0s| 1 | 2 | 78850 | - | 1497M | 0 | 224k| 20k| 21k| 461 | 11 | 182 | 21 | 0.000000e+00 | -- | Inf | unknown
303.89/304.93 c 305s| 100 | 100 |225424 |1613.2 | 1689M | 12 | 224k| 20k| 20k|3665 | 1 | 296 | 21 | 0.000000e+00 | -- | Inf | 3.12%
388.85/390.13 c 390s| 200 | 199 |297207 |1163.3 | 1683M | 12 | 224k| 20k| 20k|6664 | 1 | 335 | 21 | 0.000000e+00 | -- | Inf | 9.38%
480.76/482.38 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
480.76/482.38 c 482s| 300 | 299 |394449 |1099.5 | 1695M | 12 | 224k| 20k| 20k| 10k| 1 | 378 | 21 | 0.000000e+00 | -- | Inf | 9.38%
577.57/579.44 c 579s| 400 | 399 |497282 |1081.6 | 1724M | 22 | 224k| 21k| 20k| 13k| 2 | 422 | 21 | 0.000000e+00 | -- | Inf | 9.38%
610.46/612.48 c 612s| 500 | 499 |519621 | 909.6 | 1729M | 23 | 224k| 21k| 20k| 14k| 2 | 442 | 21 | 0.000000e+00 | -- | Inf | 9.38%
644.66/646.70 c 647s| 600 | 599 |544440 | 799.2 | 1707M | 35 | 224k| 21k| 20k| 15k| 1 | 462 | 21 | 0.000000e+00 | -- | Inf | 9.38%
709.96/712.28 c 712s| 700 | 695 |603498 | 769.4 | 1741M | 45 | 224k| 21k| 20k| 17k| 2 | 515 | 21 | 0.000000e+00 | -- | Inf | 9.38%
764.29/766.74 c 767s| 800 | 795 |661464 | 745.6 | 1756M | 45 | 224k| 21k| 20k| 18k| 2 | 559 | 21 | 0.000000e+00 | -- | Inf | 9.38%
821.81/824.46 c 824s| 900 | 895 |704106 | 710.1 | 1767M | 45 | 224k| 21k| 20k| 19k| 2 | 605 | 21 | 0.000000e+00 | -- | Inf | 9.38%
859.59/862.35 c 862s| 1000 | 995 |736038 | 671.0 | 1772M | 45 | 224k| 21k| 20k| 20k| 1 | 624 | 21 | 0.000000e+00 | -- | Inf | 9.38%
887.41/890.21 c 890s| 1100 | 1095 |762294 | 633.8 | 1780M | 45 | 224k| 21k| 20k| 22k| 1 | 635 | 21 | 0.000000e+00 | -- | Inf | 9.38%
925.29/928.28 c 928s| 1200 | 1195 |794499 | 607.8 | 1786M | 45 | 224k| 21k| 20k| 23k| 1 | 661 | 21 | 0.000000e+00 | -- | Inf | 9.38%
944.23/947.29 c 947s| 1300 | 1295 |811568 | 574.2 | 1791M | 45 | 224k| 21k| 20k| 24k| 1 | 665 | 21 | 0.000000e+00 | -- | Inf | 9.38%
983.51/986.69 c 987s| 1400 | 1395 |852776 | 562.6 | 1796M | 45 | 224k| 21k| 20k| 25k| 1 | 680 | 21 | 0.000000e+00 | -- | Inf | 9.38%
1012.52/1015.78 c 1016s| 1500 | 1495 |877857 | 541.8 | 1803M | 45 | 224k| 21k| 20k| 26k| 1 | 697 | 21 | 0.000000e+00 | -- | Inf | 9.38%
1047.82/1051.14 c 1051s| 1600 | 1595 |910724 | 528.5 | 1808M | 45 | 224k| 21k| 20k| 27k| 1 | 699 | 21 | 0.000000e+00 | -- | Inf | 9.38%
1083.00/1086.46 c 1086s| 1700 | 1695 |944689 | 517.3 | 1812M | 45 | 224k| 21k| 20k| 28k| 1 | 714 | 21 | 0.000000e+00 | -- | Inf | 9.38%
1106.12/1109.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1106.12/1109.69 c 1110s| 1800 | 1795 |968961 | 502.1 | 1818M | 45 | 224k| 21k| 20k| 30k| 2 | 720 | 21 | 0.000000e+00 | -- | Inf | 9.38%
1142.01/1145.68 c 1146s| 1900 | 1895 | 1000k| 492.4 | 1823M | 45 | 224k| 21k| 20k| 31k| 1 | 732 | 21 | 0.000000e+00 | -- | Inf | 9.38%
1172.33/1176.06 c 1176s| 2000 | 1995 | 1025k| 480.1 | 1829M | 45 | 224k| 21k| 20k| 33k| 2 | 744 | 21 | 0.000000e+00 | -- | Inf | 9.38%
1204.23/1208.02 c 1208s| 2100 | 2095 | 1056k| 472.1 | 1834M | 45 | 224k| 21k| 20k| 34k| 1 | 760 | 21 | 0.000000e+00 | -- | Inf | 9.38%
1233.83/1237.74 c 1238s| 2200 | 2195 | 1087k| 464.6 | 1840M | 45 | 224k| 21k| 20k| 35k| 1 | 777 | 21 | 0.000000e+00 | -- | Inf | 9.38%
1263.24/1267.29 c 1267s| 2300 | 2295 | 1117k| 457.4 | 1845M | 45 | 224k| 21k| 20k| 37k| 1 | 786 | 21 | 0.000000e+00 | -- | Inf | 9.38%
1292.55/1296.69 c 1297s| 2400 | 2395 | 1147k| 450.7 | 1851M | 45 | 224k| 21k| 20k| 38k| 2 | 798 | 21 | 0.000000e+00 | -- | Inf | 9.38%
1324.35/1328.51 c 1329s| 2500 | 2495 | 1174k| 443.6 | 1856M | 45 | 224k| 21k| 20k| 39k| 1 | 818 | 21 | 0.000000e+00 | -- | Inf | 9.38%
1357.25/1361.51 c 1362s| 2600 | 2593 | 1215k| 442.4 | 1861M | 45 | 224k| 21k| 20k| 41k| 2 | 831 | 21 | 0.000000e+00 | -- | Inf | 9.38%
1383.27/1387.60 c 1388s| 2700 | 2691 | 1249k| 438.5 | 1866M | 45 | 224k| 21k| 20k| 42k| 1 | 845 | 21 | 0.000000e+00 | -- | Inf | 9.38%
1415.87/1420.32 c 1420s| 2800 | 2789 | 1280k| 434.2 | 1870M | 45 | 224k| 21k| 20k| 43k| 2 | 854 | 21 | 0.000000e+00 | -- | Inf | 9.38%
1451.96/1456.56 c 1457s| 2900 | 2889 | 1312k| 430.1 | 1875M | 45 | 224k| 21k| 20k| 45k| 2 | 864 | 21 | 0.000000e+00 | -- | Inf | 9.38%
1483.06/1487.76 c 1488s| 3000 | 2989 | 1339k| 424.7 | 1881M | 45 | 224k| 21k| 20k| 46k| 1 | 875 | 21 | 0.000000e+00 | -- | Inf | 9.38%
1504.40/1509.17 c 1509s| 3100 | 3089 | 1356k| 416.7 | 1886M | 45 | 224k| 21k| 20k| 47k| 1 | 885 | 21 | 0.000000e+00 | -- | Inf | 9.38%
1533.90/1538.73 c 1539s| 3200 | 3189 | 1382k| 411.8 | 1892M | 45 | 224k| 21k| 20k| 48k| 2 | 894 | 21 | 0.000000e+00 | -- | Inf | 9.38%
1562.61/1567.56 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1562.61/1567.56 c 1568s| 3300 | 3289 | 1408k| 406.9 | 1897M | 45 | 224k| 21k| 20k| 50k| 1 | 907 | 21 | 0.000000e+00 | -- | Inf | 9.38%
1594.91/1599.90 c 1600s| 3400 | 3389 | 1441k| 404.7 | 1903M | 45 | 224k| 21k| 20k| 51k| 1 | 927 | 21 | 0.000000e+00 | -- | Inf | 9.38%
1625.21/1630.37 c 1630s| 3500 | 3485 | 1467k| 400.6 | 1908M | 45 | 224k| 21k| 20k| 53k| 1 | 946 | 21 | 0.000000e+00 | -- | Inf | 9.38%
1656.52/1661.72 c 1662s| 3600 | 3581 | 1494k| 397.1 | 1912M | 45 | 224k| 21k| 20k| 54k| 2 | 959 | 21 | 0.000000e+00 | -- | Inf | 9.38%
1686.52/1691.82 c 1692s| 3700 | 3677 | 1529k| 395.6 | 1917M | 45 | 224k| 21k| 20k| 55k| 1 | 971 | 21 | 0.000000e+00 | -- | Inf | 9.38%
1722.61/1728.07 c 1728s| 3800 | 3775 | 1563k| 394.2 | 1922M | 45 | 224k| 21k| 20k| 57k| 1 |1000 | 21 | 0.000000e+00 | -- | Inf | 9.38%
1760.09/1765.68 c 1766s| 3900 | 3873 | 1607k| 395.4 | 1931M | 45 | 224k| 21k| 20k| 58k| 1 |1023 | 21 | 0.000000e+00 | -- | Inf | 9.38%
1790.19/1795.88 c 1796s| 4000 | 3969 | 1634k| 392.4 | 1936M | 45 | 224k| 21k| 20k| 60k| 1 |1039 | 21 | 0.000000e+00 | -- | Inf | 9.38%
1824.59/1830.33 c 1830s| 4100 | 4061 | 1667k| 390.9 | 1941M | 45 | 224k| 21k| 20k| 61k| 1 |1052 | 21 | 0.000000e+00 | -- | Inf | 9.38%
1846.91/1852.73 c 1853s| 4200 | 4145 | 1688k| 386.6 | 1945M | 45 | 224k| 21k| 20k| 63k| 1 |1060 | 21 | 0.000000e+00 | -- | Inf | 9.38%
1878.41/1884.34 c 1884s| 4300 | 4245 | 1718k| 384.5 | 1950M | 45 | 224k| 21k| 20k| 64k| 1 |1070 | 21 | 0.000000e+00 | -- | Inf | 9.38%
1915.10/1921.11 c 1921s| 4400 | 4341 | 1748k| 382.6 | 1956M | 45 | 224k| 21k| 20k| 65k| 1 |1090 | 21 | 0.000000e+00 | -- | Inf | 9.38%
1980.58/1986.80 c 1987s| 4500 | 4441 | 1805k| 386.8 | 1964M | 45 | 224k| 21k| 20k| 67k| 2 |1096 | 21 | 0.000000e+00 | -- | Inf | 9.38%
2004.30/2010.69 c 2011s| 4600 | 4541 | 1831k| 383.9 | 1969M | 45 | 224k| 21k| 20k| 68k| 1 |1100 | 21 | 0.000000e+00 | -- | Inf | 9.38%
2040.60/2047.04 c 2047s| 4700 | 4639 | 1861k| 382.1 | 1982M | 45 | 224k| 21k| 20k| 70k| 1 |1110 | 21 | 0.000000e+00 | -- | Inf | 9.38%
2068.10/2074.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2068.10/2074.62 c 2075s| 4800 | 4735 | 1887k| 379.6 | 1986M | 45 | 224k| 21k| 20k| 72k| 2 |1126 | 21 | 0.000000e+00 | -- | Inf | 9.38%
2100.30/2106.94 c 2107s| 4900 | 4827 | 1919k| 378.3 | 1992M | 45 | 224k| 21k| 20k| 73k| 1 |1154 | 21 | 0.000000e+00 | -- | Inf | 9.38%
2137.47/2144.26 c 2144s| 5000 | 4923 | 1949k| 376.9 | 2000M | 45 | 224k| 21k| 20k| 74k| 1 |1172 | 21 | 0.000000e+00 | -- | Inf | 9.38%
2165.98/2172.83 c 2173s| 5100 | 5017 | 1974k| 374.3 | 2006M | 45 | 224k| 21k| 20k| 76k| 1 |1178 | 21 | 0.000000e+00 | -- | Inf | 9.38%
2197.29/2204.27 c 2204s| 5200 | 5107 | 2000k| 372.1 | 2011M | 45 | 224k| 21k| 20k| 77k| 1 |1191 | 21 | 0.000000e+00 | -- | Inf | 9.38%
2237.36/2244.41 c 2244s| 5300 | 5205 | 2033k| 371.3 | 2020M | 45 | 224k| 21k| 20k| 78k| 1 |1208 | 21 | 0.000000e+00 | -- | Inf | 9.38%
2273.35/2280.56 c 2281s| 5400 | 5299 | 2063k| 370.0 | 2025M | 45 | 224k| 21k| 20k| 80k| 1 |1224 | 21 | 0.000000e+00 | -- | Inf | 9.38%
2302.36/2309.64 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
2302.36/2309.64 c (run 1, node 5469) performing user restart
2302.36/2309.64 c
2302.36/2309.65 c (restart) converted 237 cuts from the global cut pool into linear constraints
2302.36/2309.65 c
2303.05/2310.39 c presolving:
2303.15/2310.47 c (round 1, fast) 2 del vars, 103 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 8711 clqs
2303.45/2310.73 c (round 2, exhaustive) 2 del vars, 104 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 230 upgd conss, 0 impls, 8711 clqs
2303.76/2311.05 c (round 3, exhaustive) 2 del vars, 336 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 20 chg coeffs, 230 upgd conss, 0 impls, 8711 clqs
2303.86/2311.11 c (round 4, fast) 125 del vars, 364 del conss, 1 add conss, 0 chg bounds, 0 chg sides, 20 chg coeffs, 230 upgd conss, 0 impls, 8711 clqs
2304.35/2311.60 c presolving (5 rounds: 5 fast, 3 medium, 3 exhaustive):
2304.35/2311.60 c 125 deleted vars, 367 deleted constraints, 1 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 21 changed coefficients
2304.35/2311.60 c 0 implications, 8711 cliques
2304.35/2311.60 c presolved problem has 224636 variables (224636 bin, 0 int, 0 cont) and 21387 constraints
2304.35/2311.60 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
2304.35/2311.60 c 1652 constraints of type <knapsack>
2304.35/2311.60 c 8701 constraints of type <setppc>
2304.35/2311.60 c 8 constraints of type <linear>
2304.35/2311.60 c 11 constraints of type <orbitope_pp>
2304.35/2311.60 c 11015 constraints of type <logicor>
2304.35/2311.60 c transformed objective value is always integral (scale: 1)
2304.35/2311.60 c Presolving Time: 6.17
2304.35/2311.64 c
2309.63/2316.90 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2309.63/2316.90 c 2317s| 1 | 0 | 2147k| - | 1771M | 0 | 224k| 21k| 20k| 0 | 0 |1256 | 21 | 0.000000e+00 | -- | Inf | unknown
2314.32/2321.61 c 2322s| 1 | 0 | 2147k| - | 1788M | 0 | 224k| 21k| 20k| 79 | 1 |1256 | 21 | 0.000000e+00 | -- | Inf | unknown
2316.12/2323.43 c 2323s| 1 | 0 | 2148k| - | 1791M | 0 | 224k| 21k| 20k| 117 | 2 |1258 | 21 | 0.000000e+00 | -- | Inf | unknown
2318.71/2326.07 c 2326s| 1 | 0 | 2148k| - | 1796M | 0 | 224k| 21k| 21k| 165 | 3 |1258 | 21 | 0.000000e+00 | -- | Inf | unknown
2321.30/2328.68 c 2329s| 1 | 0 | 2148k| - | 1803M | 0 | 224k| 21k| 21k| 206 | 4 |1258 | 21 | 0.000000e+00 | -- | Inf | unknown
2324.19/2331.52 c 2332s| 1 | 0 | 2148k| - | 1807M | 0 | 224k| 21k| 21k| 244 | 5 |1258 | 21 | 0.000000e+00 | -- | Inf | unknown
2326.79/2334.17 c 2334s| 1 | 0 | 2149k| - | 1809M | 0 | 224k| 21k| 21k| 270 | 6 |1258 | 21 | 0.000000e+00 | -- | Inf | unknown
2330.17/2337.57 c 2338s| 1 | 0 | 2149k| - | 1819M | 0 | 224k| 21k| 21k| 304 | 7 |1258 | 21 | 0.000000e+00 | -- | Inf | unknown
2333.87/2341.29 c 2341s| 1 | 0 | 2150k| - | 1835M | 0 | 224k| 21k| 21k| 325 | 8 |1258 | 21 | 0.000000e+00 | -- | Inf | unknown
2336.36/2343.77 c 2344s| 1 | 0 | 2150k| - | 1841M | 0 | 224k| 21k| 21k| 356 | 9 |1258 | 21 | 0.000000e+00 | -- | Inf | unknown
2339.85/2347.22 c 2347s| 1 | 0 | 2150k| - | 1846M | 0 | 224k| 21k| 21k| 384 | 10 |1259 | 21 | 0.000000e+00 | -- | Inf | unknown
2341.65/2349.06 c 2349s| 1 | 0 | 2150k| - | 1849M | 0 | 224k| 21k| 21k| 409 | 11 |1259 | 21 | 0.000000e+00 | -- | Inf | unknown
2366.68/2374.17 c 2374s| 1 | 2 | 2163k| - | 1853M | 0 | 224k| 21k| 21k| 409 | 11 |1262 | 40 | 0.000000e+00 | -- | Inf | unknown
2593.60/2601.78 c 2602s| 100 | 101 | 2342k| 400.8 | 1916M | 11 | 224k| 21k| 20k|3171 | 1 |1331 | 40 | 0.000000e+00 | -- | Inf | unknown
2779.75/2788.40 c 2788s| 200 | 187 | 2488k| 419.4 | 1929M | 11 | 224k| 21k| 0 |6508 | 0 |1379 | 40 | 0.000000e+00 | -- | Inf | 1.22%
3010.77/3020.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3010.77/3020.12 c 3020s| 300 | 285 | 2671k| 444.0 | 1945M | 12 | 224k| 21k| 20k| 11k| 1 |1445 | 40 | 0.000000e+00 | -- | Inf | 2.05%
3251.16/3261.20 c 3261s| 400 | 383 | 2889k| 473.5 | 1955M | 12 | 224k| 21k| 20k| 16k| 1 |1515 | 40 | 0.000000e+00 | -- | Inf | 2.83%
3471.01/3481.77 c 3482s| 500 | 469 | 3058k| 493.9 | 1970M | 12 | 224k| 21k| 20k| 20k| 1 |1566 | 40 | 0.000000e+00 | -- | Inf | 6.49%
3592.34/3603.45 c
3592.34/3603.45 c SCIP Status : solving was interrupted [time limit reached]
3592.34/3603.45 c Solving Time (sec) : 3603.45
3592.34/3603.45 c Solving Nodes : 548 (total of 6017 nodes in 2 runs)
3592.34/3603.45 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3592.34/3603.45 c Dual Bound : +0.00000000000000e+00
3592.34/3603.45 c Gap : infinite
3592.34/3603.45 s UNKNOWN
3592.34/3603.45 c SCIP Status : solving was interrupted [time limit reached]
3592.34/3603.45 c Total Time : 3603.45
3592.34/3603.45 c solving : 3603.45
3592.34/3603.45 c presolving : 6.17 (included in solving)
3592.34/3603.45 c reading : 0.35 (included in solving)
3592.34/3603.45 c copying : 1.83 (6 #copies) (minimal 0.28, maximal 0.37, average 0.31)
3592.34/3603.45 c Original Problem :
3592.34/3603.45 c Problem name : HOME/instance-4542591-1753213486.opb
3592.34/3603.45 c Variables : 227556 (227556 binary, 0 integer, 0 continuous)
3592.34/3603.45 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3592.34/3603.45 c Constraints : 20632 initial, 20632 maximal
3592.34/3603.46 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3592.34/3603.46 c Presolved Problem :
3592.34/3603.46 c Problem name : t_HOME/instance-4542591-1753213486.opb
3592.34/3603.46 c Variables : 224636 (224636 binary, 0 integer, 0 continuous)
3592.34/3603.46 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3592.34/3603.46 c Constraints : 21387 initial, 21714 maximal
3592.34/3603.46 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3592.34/3603.46 c Nonzeros : 596058 constraint, 214498 clique table
3592.34/3603.46 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3592.34/3603.46 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3592.34/3603.46 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3592.34/3603.46 c domcol : 0.13 0.00 3 0 0 0 0 0 0 0 0 0
3592.34/3603.46 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3592.34/3603.46 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3592.34/3603.46 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3592.34/3603.46 c dualsparsify : 0.16 0.00 1 0 0 0 0 0 0 0 0 0
3592.34/3603.46 c gateextraction : 0.22 0.00 5 0 0 0 0 0 0 0 0 0
3592.34/3603.46 c implics : 0.03 0.00 8 0 0 0 0 0 0 0 0 0
3592.34/3603.46 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3592.34/3603.46 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3592.34/3603.46 c milp : 0.38 0.00 1 0 0 0 0 0 0 0 0 0
3592.34/3603.46 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3592.34/3603.46 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3592.34/3603.46 c sparsify : 0.12 0.00 1 0 0 0 0 0 0 0 0 0
3592.34/3603.46 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3592.34/3603.46 c trivial : 0.08 0.00 10 2 0 0 0 0 0 0 0 0
3592.34/3603.46 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3592.34/3603.46 c dualfix : 0.07 0.00 10 123 0 0 0 0 0 0 0 0
3592.34/3603.46 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3592.34/3603.46 c probing : 1.90 0.01 2 0 0 0 0 0 0 0 0 0
3592.34/3603.46 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3592.34/3603.46 c symmetry : 0.68 0.00 1 2775 0 0 0 0 0 12 0 0
3592.34/3603.46 c vbounds : 0.15 0.01 2 0 0 0 0 0 0 0 0 0
3592.34/3603.46 c knapsack : 0.10 0.01 22 0 0 0 0 0 2 1 0 0
3592.34/3603.46 c setppc : 0.48 0.02 19 0 10 0 0 0 26 0 0 0
3592.34/3603.46 c linear : 0.33 0.07 15 0 0 0 0 0 0 0 0 0
3592.34/3603.46 c orbitope_pp : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3592.34/3603.46 c logicor : 0.81 0.05 20 10 0 0 0 0 359 0 0 2804
3592.34/3603.46 c components : 0.17 0.00 2 0 0 0 0 0 0 0 0 0
3592.34/3603.46 c root node : - - - 2 - - 2 - - - - -
3592.34/3603.46 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3592.34/3603.46 c integral : 0 0 0 0 5945 0 0 1690 0 0 0 0 0 0 11890
3592.34/3603.46 c knapsack : 1652+ 1689 22 261209 0 0 0 1685 4641 50 1622 0 0 0 0
3592.34/3603.46 c setppc : 8701+ 8707 22 261159 0 0 0 3 8243 55 7107 3 0 0 0
3592.34/3603.46 c linear : 8+ 14 11 149498 0 0 0 3 0 7 0 0 0 0 0
3592.34/3603.46 c orbitope_pp : 11 11 0 260997 0 0 0 3 4041 8 1475 0 0 0 0
3592.34/3603.46 c logicor : 11015+ 11293 22 44056 0 0 0 3 352 323 1621 6 5 0 0
3592.34/3603.46 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3592.34/3603.46 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3592.34/3603.46 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3592.34/3603.46 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3592.34/3603.46 c integral : 43.89 0.00 0.00 0.00 43.89 0.00 0.00 0.00 0.00 0.00
3592.34/3603.46 c knapsack : 1.72 0.01 0.25 1.36 0.00 0.00 0.00 0.09 0.00 0.00
3592.34/3603.46 c setppc : 1.41 0.02 0.10 1.27 0.00 0.00 0.00 0.03 0.00 0.00
3592.34/3603.46 c linear : 0.12 0.07 0.00 0.05 0.00 0.00 0.00 0.00 0.00 0.00
3592.34/3603.46 c orbitope_pp : 8.14 0.00 0.00 8.14 0.00 0.00 0.00 0.00 0.00 0.00
3592.34/3603.46 c logicor : 0.37 0.05 0.07 0.24 0.00 0.00 0.00 0.00 0.00 0.00
3592.34/3603.46 c fixedvar : 0.02 0.02 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3592.34/3603.46 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3592.34/3603.46 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3592.34/3603.46 c Propagators : #Propagate #ResProp Cutoffs DomReds
3592.34/3603.46 c dualfix : 2 0 0 0
3592.34/3603.46 c genvbounds : 0 0 0 0
3592.34/3603.46 c nlobbt : 0 0 0 0
3592.34/3603.46 c obbt : 0 0 0 0
3592.34/3603.46 c probing : 0 0 0 0
3592.34/3603.46 c pseudoobj : 0 0 0 0
3592.34/3603.46 c redcost : 0 0 0 0
3592.34/3603.46 c rootredcost : 0 0 0 0
3592.34/3603.46 c symmetry : 7164 0 0 0
3592.34/3603.46 c vbounds : 42427 0 0 0
3592.34/3603.46 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3592.34/3603.46 c dualfix : 0.09 0.00 0.07 0.01 0.00 0.00
3592.34/3603.46 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3592.34/3603.46 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3592.34/3603.46 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3592.34/3603.46 c probing : 1.91 0.01 1.90 0.00 0.00 0.00
3592.34/3603.46 c pseudoobj : 0.06 0.00 0.00 0.06 0.00 0.00
3592.34/3603.46 c redcost : 0.03 0.00 0.00 0.03 0.00 0.00
3592.34/3603.46 c rootredcost : 0.05 0.00 0.00 0.05 0.00 0.00
3592.34/3603.46 c symmetry : 2.68 0.00 0.68 2.00 0.00 0.00
3592.34/3603.46 c vbounds : 0.46 0.01 0.15 0.30 0.00 0.00
3592.34/3603.46 c Symmetry :
3592.34/3603.46 c #affected vars : 6505 (6505 bin, 0 int, 0 cont)
3592.34/3603.46 c orbitopal red. : 0 reductions applied, 0 cutoffs
3592.34/3603.46 c orbital reduction: 0 reductions applied, 0 cutoffs
3592.34/3603.46 c lexicographic red: 0 reductions applied, 0 cutoffs
3592.34/3603.46 c shadow tree time : 0.02 s
3592.34/3603.46 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3592.34/3603.46 c propagation : 0.01 427 284 - 763 36.1 1 29.0 - - -
3592.34/3603.46 c infeasible LP : 5.42 362 363 - 772 26.7 2 6.5 362 48.1 0
3592.34/3603.46 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3592.34/3603.46 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3592.34/3603.46 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3592.34/3603.46 c applied globally : 0.01 - - 1 1252 25.3 - - 362 - -
3592.34/3603.46 c applied locally : - - - 0 0 0.0 - - 0 - -
3592.34/3603.46 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3592.34/3603.46 c cut pool : 26.51 - 2500 42 - - 9311 1024176 - - - - - (maximal pool size: 3219)
3592.34/3603.46 c aggregation : 2.88 0.00 100 22 0 0 7 280 0 10 10 0 0
3592.34/3603.46 c > cmir : - - - - - - - 223 0 1 1 0 -
3592.34/3603.46 c > flowcover : - - - - - - - 53 0 7 7 0 -
3592.34/3603.46 c > knapsackcover : - - - - - - - 4 0 2 2 0 -
3592.34/3603.46 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3592.34/3603.46 c clique : 11.47 0.01 22 22 0 0 0 0 0 0 0 0 0
3592.34/3603.46 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3592.34/3603.46 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3592.34/3603.46 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3592.34/3603.46 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3592.34/3603.46 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3592.34/3603.46 c gomory : 65.78 0.00 98 20 0 0 7937 723695 74 24471 24470 1 0
3592.34/3603.46 c > gomorymi : - - - - - - - 316757 45 6896 6895 1 -
3592.34/3603.46 c > strongcg : - - - - - - - 406938 29 17575 17575 0 -
3592.34/3603.46 c impliedbounds : 0.73 0.00 100 22 0 0 15 584 0 518 518 0 0
3592.34/3603.46 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3592.34/3603.46 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3592.34/3603.46 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3592.34/3603.46 c mcf : 0.62 0.00 2 2 0 0 0 0 0 0 0 0 0
3592.34/3603.46 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3592.34/3603.46 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3592.34/3603.46 c multilinear : 0.00 0.00 41 22 0 0 0 0 0 0 0 0 0
3592.34/3603.46 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3592.34/3603.46 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3592.34/3603.46 c rlt : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
3592.34/3603.46 c zerohalf : 8.20 0.00 100 22 0 0 1484 299617 58 79094 79051 43 0
3592.34/3603.46 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3592.34/3603.46 c hybrid : 15.03 0.00 2403 22 104098 0 920219 870 0 6717
3592.34/3603.46 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3592.34/3603.46 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3592.34/3603.46 c Pricers : ExecTime SetupTime Calls Vars
3592.34/3603.46 c problem variables: 0.00 - 0 0
3592.34/3603.46 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3592.34/3603.46 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3592.34/3603.46 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3592.34/3603.46 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3592.34/3603.46 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3592.34/3603.46 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3592.34/3603.46 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3592.34/3603.46 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3592.34/3603.46 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3592.34/3603.46 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3592.34/3603.46 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3592.34/3603.46 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3592.34/3603.46 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3592.34/3603.46 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3592.34/3603.46 c relpscost : 43.88 0.00 5945 0 0 0 0 0 0 11890
3592.34/3603.46 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3592.34/3603.46 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3592.34/3603.46 c LP solutions : 0.00 - - 0 0
3592.34/3603.46 c relax solutions : 0.00 - - 0 0
3592.34/3603.46 c pseudo solutions : 0.00 - - 0 0
3592.34/3603.46 c strong branching : 0.00 - - 0 0
3592.34/3603.46 c actconsdiving : 0.00 0.00 0 0 0
3592.34/3603.46 c adaptivediving : 47.43 0.00 9 0 0
3592.34/3603.46 c alns : 27.37 0.00 4 0 0
3592.34/3603.46 c bound : 0.00 0.00 0 0 0
3592.34/3603.46 c clique : 1.07 0.00 1 0 0
3592.34/3603.46 c coefdiving : 0.00 0.00 0 0 0
3592.34/3603.46 c completesol : 0.00 0.00 0 0 0
3592.34/3603.46 c conflictdiving : 866.52 0.00 139 0 0
3592.34/3603.46 c crossover : 0.00 0.00 0 0 0
3592.34/3603.46 c dins : 0.00 0.00 0 0 0
3592.34/3603.46 c distributiondivin: 55.30 0.00 41 0 0
3592.34/3603.46 c dks : 0.00 0.00 0 0 0
3592.34/3603.46 c dps : 0.00 0.00 0 0 0
3592.34/3603.46 c dualval : 0.00 0.00 0 0 0
3592.34/3603.46 c farkasdiving : 0.00 0.00 0 0 0
3592.34/3603.46 c feaspump : 27.27 0.00 7 0 0
3592.34/3603.46 c fixandinfer : 0.00 0.00 0 0 0
3592.34/3603.46 c fracdiving : 249.44 0.00 60 0 0
3592.34/3603.46 c gins : 0.00 0.00 0 0 0
3592.34/3603.46 c guideddiving : 0.00 0.00 0 0 0
3592.34/3603.46 c indicator : 0.00 0.00 0 0 0
3592.34/3603.46 c indicatordiving : 0.00 0.00 0 0 0
3592.34/3603.46 c intdiving : 0.00 0.00 0 0 0
3592.34/3603.46 c intshifting : 0.00 0.00 0 0 0
3592.34/3603.46 c linesearchdiving : 195.74 0.00 38 0 0
3592.34/3603.46 c localbranching : 0.00 0.00 0 0 0
3592.34/3603.46 c locks : 0.76 0.00 1 0 0
3592.34/3603.46 c lpface : 3.47 0.00 0 0 0
3592.34/3603.46 c mpec : 0.00 0.00 0 0 0
3592.34/3603.46 c multistart : 0.00 0.00 0 0 0
3592.34/3603.46 c mutation : 0.00 0.00 0 0 0
3592.34/3603.46 c nlpdiving : 0.00 0.00 0 0 0
3592.34/3603.46 c objpscostdiving : 98.84 0.00 3 0 0
3592.34/3603.46 c octane : 0.00 0.00 0 0 0
3592.34/3603.46 c ofins : 0.00 0.00 0 0 0
3592.34/3603.46 c oneopt : 0.01 0.00 0 0 0
3592.34/3603.46 c padm : 0.00 0.00 0 0 0
3592.34/3603.46 c proximity : 0.00 0.00 0 0 0
3592.34/3603.46 c pscostdiving : 46.75 0.00 29 0 0
3592.34/3603.46 c randrounding : 19.13 0.00 1689 0 0
3592.34/3603.46 c rens : 1.91 0.00 2 0 0
3592.34/3603.46 c reoptsols : 0.00 0.00 0 0 0
3592.34/3603.46 c repair : 0.00 0.00 0 0 0
3592.34/3603.46 c rins : 0.00 0.00 0 0 0
3592.34/3603.46 c rootsoldiving : 17.01 0.00 5 0 0
3592.34/3603.46 c rounding : 1.16 0.00 1243 0 0
3592.34/3603.46 c scheduler : 0.00 0.00 0 0 0
3592.34/3603.46 c shiftandpropagate: 0.49 0.00 2 0 0
3592.34/3603.46 c shifting : 12.85 0.00 793 0 0
3592.34/3603.46 c simplerounding : 0.01 0.00 0 0 0
3592.34/3603.46 c subnlp : 0.00 0.00 0 0 0
3592.34/3603.46 c trivial : 0.30 0.00 4 0 0
3592.34/3603.46 c trivialnegation : 0.00 0.00 0 0 0
3592.34/3603.46 c trustregion : 0.00 0.00 0 0 0
3592.34/3603.46 c trysol : 0.00 0.00 0 0 0
3592.34/3603.46 c twoopt : 0.00 0.00 0 0 0
3592.34/3603.46 c undercover : 0.00 0.00 0 0 0
3592.34/3603.46 c vbounds : 0.22 0.01 2 0 0
3592.34/3603.46 c veclendiving : 178.40 0.00 40 0 0
3592.34/3603.46 c zeroobj : 0.00 0.00 0 0 0
3592.34/3603.46 c zirounding : 1.78 0.00 1000 0 0
3592.34/3603.46 c other solutions : - - - 0 -
3592.34/3603.46 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3592.34/3603.46 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
3592.34/3603.46 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
3592.34/3603.46 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
3592.34/3603.46 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
3592.34/3603.46 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
3592.34/3603.46 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
3592.34/3603.46 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
3592.34/3603.46 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
3592.34/3603.46 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
3592.34/3603.46 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3592.34/3603.46 c primal LP : 29.76 1187 0 0.00 0.00 29.76 1187
3592.34/3603.46 c dual LP : 1276.37 8354 1733713 207.61 1358.31 0.08 3
3592.34/3603.46 c lex dual LP : 0.00 0 0 0.00 -
3592.34/3603.46 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3592.34/3603.46 c resolve instable : 0.00 0 0 0.00 -
3592.34/3603.46 c diving/probing LP: 411.30 2398 1427000 595.08 3469.50
3592.34/3603.46 c strong branching : 11.61 40 7506 187.65 646.72 - - 2
3592.34/3603.46 c (at root node) : - 40 7506 187.65 -
3592.34/3603.46 c conflict analysis: 0.00 0 0 0.00 -
3592.34/3603.46 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3592.34/3603.46 c benders : 0.00 0 0 0 0.00 0 0 0
3592.34/3603.46 c B&B Tree :
3592.34/3603.46 c number of runs : 2
3592.34/3603.46 c nodes : 548 (532 internal, 16 leaves)
3592.34/3603.46 c feasible leaves : 0
3592.34/3603.46 c infeas. leaves : 16
3592.34/3603.46 c objective leaves : 0
3592.34/3603.46 c nodes (total) : 6017 (5945 internal, 72 leaves)
3592.34/3603.46 c nodes left : 517
3592.34/3603.46 c max depth : 12
3592.34/3603.46 c max depth (total): 45
3592.34/3603.46 c backtracks : 194 (35.4%)
3592.34/3603.46 c early backtracks : 0 (0.0%)
3592.34/3603.46 c nodes exc. ref. : 0 (0.0%)
3592.34/3603.46 c delayed cutoffs : 0
3592.34/3603.46 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3592.34/3603.46 c avg switch length: 2.97
3592.34/3603.46 c switching time : 40.89
3592.34/3603.46 c Root Node :
3592.34/3603.46 c First LP value : +0.00000000000000e+00
3592.34/3603.46 c First LP Iters : 42184 (8737.32 Iter/sec)
3592.34/3603.46 c First LP Time : 4.83
3592.34/3603.46 c Final Dual Bound : +0.00000000000000e+00
3592.34/3603.46 c Final Root Iters : 111053
3592.34/3603.46 c Root LP Estimate : +3.54522025371654e-02
3592.34/3603.46 c Solution :
3592.34/3603.46 c Solutions found : 0 (0 improvements)
3592.34/3603.46 c Primal Bound : -
3592.34/3603.46 c Dual Bound : +0.00000000000000e+00
3592.34/3603.46 c Gap : infinite
3592.34/3603.46 c Integrals : Total Avg%
3592.34/3603.46 c primal-dual : 360345.06 100.00
3592.34/3603.46 c primal-ref : - - (not evaluated)
3592.34/3603.46 c dual-ref : - - (not evaluated)
3593.61/3604.76 c Time complete (sec): 3593.690
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: 63665 MiB (49354 MiB free)
memory of node 1: 64507 MiB (49061 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542591-1753213486/watcher-4542591-1753213486 -o /tmp/evaluation-result-4542591-1753213486/solver-4542591-1753213486 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1753209881-168478 --watchdog 3760 pbsolver -f HOME/instance-4542591-1753213486.opb -t 3600 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=169118, runsolver pid=169115
Current StackSize limit: 8192 KiB
[startup+0.100065 s]*
/proc/loadavg: 4.12 4.10 4.09 5/263 169119
/proc/meminfo: memFree=100701952/131249996 swapFree=33010672/33010684
[pid=169118] ppid=169115 vsize=97408 memory=86528 CPUtime=0.09 cores=4,6
/proc/169118/stat : 169118 (pbsolver) R 169115 169118 168467 0 -1 4194304 19655 0 0 0 7 2 0 0 20 0 1 0 237026503 99745792 21632 18446744073709551615 4198400 14743177 140721439309584 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 43716608 140721439316360 140721439316456 140721439316456 140721439322060 0
/proc/169118/statm: 24352 21632 2176 2575 0 21259 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 97408 KiB
Current children cumulated memory: 86528 KiB
[startup+0.205727 s]*
/proc/loadavg: 4.12 4.10 4.09 5/263 169119
/proc/meminfo: memFree=100629376/131249996 swapFree=33010672/33010684
[pid=169118] ppid=169115 vsize=166776 memory=155904 CPUtime=0.2 cores=4,6
/proc/169118/stat : 169118 (pbsolver) R 169115 169118 168467 0 -1 4194304 37003 0 0 0 16 4 0 0 20 0 1 0 237026503 170778624 38976 18446744073709551615 4198400 14743177 140721439309584 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 43716608 140721439316360 140721439316456 140721439316456 140721439322060 0
/proc/169118/statm: 41694 38976 2176 2575 0 38601 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 166776 KiB
Current children cumulated memory: 155904 KiB
[startup+0.305614 s]*
/proc/loadavg: 4.12 4.10 4.09 6/263 169119
/proc/meminfo: memFree=100564864/131249996 swapFree=33010672/33010684
[pid=169118] ppid=169115 vsize=234848 memory=223616 CPUtime=0.3 cores=4,6
/proc/169118/stat : 169118 (pbsolver) R 169115 169118 168467 0 -1 4194304 53943 0 0 0 23 7 0 0 20 0 1 0 237026503 240484352 55904 18446744073709551615 4198400 14743177 140721439309584 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 43716608 140721439316360 140721439316456 140721439316456 140721439322060 0
/proc/169118/statm: 58712 55904 2176 2575 0 55619 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 234848 KiB
Current children cumulated memory: 223616 KiB
[startup+0.700187 s]
/proc/loadavg: 4.12 4.10 4.09 6/263 169119
/proc/meminfo: memFree=100395772/131249996 swapFree=33010672/33010684
[pid=169118] ppid=169115 vsize=526644 memory=516196 CPUtime=0.69 cores=4,6
/proc/169118/stat : 169118 (pbsolver) R 169115 169118 168467 0 -1 4194304 127541 0 0 0 51 18 0 0 20 0 1 0 237026503 539283456 129017 18446744073709551615 4198400 14743177 140721439309584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 43716608 140721439316360 140721439316456 140721439316456 140721439322060 0
/proc/169118/statm: 131661 129017 2368 2575 0 128568 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 526644 KiB
Current children cumulated memory: 516196 KiB
[startup+1.50018 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 169119
/proc/meminfo: memFree=100161712/131249996 swapFree=33010672/33010684
[pid=169118] ppid=169115 vsize=696220 memory=674952 CPUtime=1.49 cores=4,6
/proc/169118/stat : 169118 (pbsolver) R 169115 169118 168467 0 -1 4194304 173796 0 0 0 121 28 0 0 20 0 1 0 237026503 712929280 168738 18446744073709551615 4198400 14743177 140721439309584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 43716608 140721439316360 140721439316456 140721439316456 140721439322060 0
/proc/169118/statm: 174055 168738 2496 2575 0 170962 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 696220 KiB
Current children cumulated memory: 674952 KiB
[startup+3.10553 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 169119
/proc/meminfo: memFree=100045860/131249996 swapFree=33010672/33010684
[pid=169118] ppid=169115 vsize=753016 memory=724584 CPUtime=3.09 cores=4,6
/proc/169118/stat : 169118 (pbsolver) R 169115 169118 168467 0 -1 4194304 183567 0 0 0 278 31 0 0 20 0 1 0 237026503 771088384 181146 18446744073709551615 4198400 14743177 140721439309584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 43716608 140721439316360 140721439316456 140721439316456 140721439322060 0
/proc/169118/statm: 188254 181146 2592 2575 0 185161 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 753016 KiB
Current children cumulated memory: 724584 KiB
[startup+6.30018 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 169164
/proc/meminfo: memFree=106165244/131249996 swapFree=33010672/33010684
[pid=169118] ppid=169115 vsize=1246348 memory=1116944 CPUtime=6.27 cores=4,6
/proc/169118/stat : 169118 (pbsolver) R 169115 169118 168467 0 -1 4194304 272026 0 0 0 584 43 0 0 20 0 1 0 237026503 1276260352 279236 18446744073709551615 4198400 14743177 140721439309584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 43716608 140721439316360 140721439316456 140721439316456 140721439322060 0
/proc/169118/statm: 311587 279236 2624 2575 0 308494 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1246348 KiB
Current children cumulated memory: 1116944 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 169165
/proc/meminfo: memFree=105493076/131249996 swapFree=33010672/33010684
[pid=169118] ppid=169115 vsize=1250012 memory=1119504 CPUtime=12.65 cores=4,6
/proc/169118/stat : 169118 (pbsolver) R 169115 169118 168467 0 -1 4194304 272656 0 0 0 1222 43 0 0 20 0 1 0 237026503 1280012288 279876 18446744073709551615 4198400 14743177 140721439309584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 43716608 140721439316360 140721439316456 140721439316456 140721439322060 0
/proc/169118/statm: 312503 279876 2656 2575 0 309410 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1250012 KiB
Current children cumulated memory: 1119504 KiB
[startup+25.5002 s]
/proc/loadavg: 4.23 4.12 4.10 5/263 169165
/proc/meminfo: memFree=103785556/131249996 swapFree=33010672/33010684
[pid=169118] ppid=169115 vsize=1297288 memory=1133356 CPUtime=25.4 cores=4,6
/proc/169118/stat : 169118 (pbsolver) R 169115 169118 168467 0 -1 4194304 275579 0 0 0 2496 44 0 0 20 0 1 0 237026503 1328422912 283339 18446744073709551615 4198400 14743177 140721439309584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 43716608 140721439316360 140721439316456 140721439316456 140721439322060 0
/proc/169118/statm: 324322 283339 2688 2575 0 321229 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1297288 KiB
Current children cumulated memory: 1133356 KiB
[startup+51.1056 s]
/proc/loadavg: 4.42 4.18 4.12 5/263 169166
/proc/meminfo: memFree=102506868/131249996 swapFree=33010672/33010684
[pid=169118] ppid=169115 vsize=1614488 memory=1424372 CPUtime=50.93 cores=4,6
/proc/169118/stat : 169118 (pbsolver) R 169115 169118 168467 0 -1 4194304 337699 0 0 0 5037 56 0 0 20 0 1 0 237026503 1653235712 356093 18446744073709551615 4198400 14743177 140721439309584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 43716608 140721439316360 140721439316456 140721439316456 140721439322060 0
/proc/169118/statm: 403622 356093 2688 2575 0 400529 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1614488 KiB
Current children cumulated memory: 1424372 KiB
[startup+102.3 s]
/proc/loadavg: 4.23 4.16 4.11 5/263 169167
/proc/meminfo: memFree=100681204/131249996 swapFree=33010672/33010684
[pid=169118] ppid=169115 vsize=2163032 memory=1969308 CPUtime=101.93 cores=4,6
/proc/169118/stat : 169118 (pbsolver) R 169115 169118 168467 0 -1 4194304 506889 0 0 0 10110 83 0 0 20 0 1 0 237026503 2214944768 492327 18446744073709551615 4198400 14743177 140721439309584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 43716608 140721439316360 140721439316456 140721439316456 140721439322060 0
/proc/169118/statm: 540758 492327 2688 2575 0 537665 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 2163032 KiB
Current children cumulated memory: 1969308 KiB
[startup+162.3 s]
/proc/loadavg: 4.20 4.16 4.11 5/264 169171
/proc/meminfo: memFree=99504208/131249996 swapFree=33010672/33010684
[pid=169118] ppid=169115 vsize=2163032 memory=1972124 CPUtime=161.72 cores=4,6
/proc/169118/stat : 169118 (pbsolver) R 169115 169118 168467 0 -1 4194304 507650 0 0 0 16088 84 0 0 20 0 1 0 237026503 2214944768 493031 18446744073709551615 4198400 14743177 140721439309584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 43716608 140721439316360 140721439316456 140721439316456 140721439322060 0
/proc/169118/statm: 540758 493031 2688 2575 0 537665 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 2163032 KiB
Current children cumulated memory: 1972124 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/264 169217
/proc/meminfo: memFree=112866092/131249996 swapFree=33010672/33010684
[pid=169118] ppid=169115 vsize=2163032 memory=1976220 CPUtime=221.54 cores=4,6
/proc/169118/stat : 169118 (pbsolver) R 169115 169118 168467 0 -1 4194304 508709 0 0 0 22069 85 0 0 20 0 1 0 237026503 2214944768 494055 18446744073709551615 4198400 14743177 140721439309584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 43716608 140721439316360 140721439316456 140721439316456 140721439322060 0
/proc/169118/statm: 540758 494055 2688 2575 0 537665 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 2163032 KiB
Current children cumulated memory: 1976220 KiB
[startup+282.3 s]
/proc/loadavg: 4.05 4.12 4.10 5/265 169220
/proc/meminfo: memFree=112618448/131249996 swapFree=33010672/33010684
[pid=169118] ppid=169115 vsize=2164512 memory=1976860 CPUtime=281.36 cores=4,6
/proc/169118/stat : 169118 (pbsolver) R 169115 169118 168467 0 -1 4194304 508921 0 0 0 28051 85 0 0 20 0 1 0 237026503 2216460288 494215 18446744073709551615 4198400 14743177 140721439309584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 43716608 140721439316360 140721439316456 140721439316456 140721439322060 0
/proc/169118/statm: 541128 494215 2688 2575 0 538035 0
Current children cumulated CPU time: 281.36 s
Current children cumulated vsize: 2164512 KiB
Current children cumulated memory: 1976860 KiB
[startup+342.3 s]
/proc/loadavg: 4.31 4.20 4.13 5/264 169222
/proc/meminfo: memFree=112574220/131249996 swapFree=33010672/33010684
[pid=169118] ppid=169115 vsize=2164512 memory=1976860 CPUtime=341.18 cores=4,6
/proc/169118/stat : 169118 (pbsolver) R 169115 169118 168467 0 -1 4194304 508969 0 0 0 34032 86 0 0 20 0 1 0 237026503 2216460288 494215 18446744073709551615 4198400 14743177 140721439309584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 43716608 140721439316360 140721439316456 140721439316456 140721439322060 0
/proc/169118/statm: 541128 494215 2688 2575 0 538035 0
Current children cumulated CPU time: 341.18 s
Current children cumulated vsize: 2164512 KiB
Current children cumulated memory: 1976860 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.17 4.12 5/264 169224
/proc/meminfo: memFree=112519396/131249996 swapFree=33010672/33010684
[pid=169118] ppid=169115 vsize=2164512 memory=1976988 CPUtime=401 cores=4,6
/proc/169118/stat : 169118 (pbsolver) R 169115 169118 168467 0 -1 4194304 509019 0 0 0 40014 86 0 0 20 0 1 0 237026503 2216460288 494247 18446744073709551615 4198400 14743177 140721439309584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 43716608 140721439316360 140721439316456 140721439316456 140721439322060 0
/proc/169118/statm: 541128 494247 2688 2575 0 538035 0
Current children cumulated CPU time: 401 s
Current children cumulated vsize: 2164512 KiB
Current children cumulated memory: 1976988 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.16 4.11 5/264 169226
/proc/meminfo: memFree=112465192/131249996 swapFree=33010672/33010684
[pid=169118] ppid=169115 vsize=2164512 memory=1976988 CPUtime=460.82 cores=4,6
/proc/169118/stat : 169118 (pbsolver) R 169115 169118 168467 0 -1 4194304 509020 0 0 0 45996 86 0 0 20 0 1 0 237026503 2216460288 494247 18446744073709551615 4198400 14743177 140721439309584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 43716608 140721439316360 140721439316456 140721439316456 140721439322060 0
/proc/169118/statm: 541128 494247 2688 2575 0 538035 0
################
# More data... #
################
Current children cumulated memory: 2651484 KiB
[startup+3162.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 169367
/proc/meminfo: memFree=102425316/131249996 swapFree=33010672/33010684
[pid=169118] ppid=169115 vsize=2850660 memory=2651484 CPUtime=3152.55 cores=4,6
/proc/169118/stat : 169118 (pbsolver) R 169115 169118 168467 0 -1 4194304 691698 0 0 0 315119 136 0 0 20 0 1 0 237026503 2919075840 662871 18446744073709551615 4198400 14743177 140721439309584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 43716608 140721439316360 140721439316456 140721439316456 140721439322060 0
/proc/169118/statm: 712665 662871 2688 2575 0 709572 0
Current children cumulated CPU time: 3152.55 s
Current children cumulated vsize: 2850660 KiB
Current children cumulated memory: 2651484 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/263 169369
/proc/meminfo: memFree=102401288/131249996 swapFree=33010672/33010684
[pid=169118] ppid=169115 vsize=2850660 memory=2651484 CPUtime=3212.37 cores=4,6
/proc/169118/stat : 169118 (pbsolver) R 169115 169118 168467 0 -1 4194304 691701 0 0 0 321101 136 0 0 20 0 1 0 237026503 2919075840 662871 18446744073709551615 4198400 14743177 140721439309584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 43716608 140721439316360 140721439316456 140721439316456 140721439322060 0
/proc/169118/statm: 712665 662871 2688 2575 0 709572 0
Current children cumulated CPU time: 3212.37 s
Current children cumulated vsize: 2850660 KiB
Current children cumulated memory: 2651484 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 169371
/proc/meminfo: memFree=102378380/131249996 swapFree=33010672/33010684
[pid=169118] ppid=169115 vsize=2850660 memory=2651484 CPUtime=3272.19 cores=4,6
/proc/169118/stat : 169118 (pbsolver) R 169115 169118 168467 0 -1 4194304 691703 0 0 0 327082 137 0 0 20 0 1 0 237026503 2919075840 662871 18446744073709551615 4198400 14743177 140721439309584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 43716608 140721439316360 140721439316456 140721439316456 140721439322060 0
/proc/169118/statm: 712665 662871 2688 2575 0 709572 0
Current children cumulated CPU time: 3272.19 s
Current children cumulated vsize: 2850660 KiB
Current children cumulated memory: 2651484 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/263 169373
/proc/meminfo: memFree=102377476/131249996 swapFree=33010672/33010684
[pid=169118] ppid=169115 vsize=2850660 memory=2651484 CPUtime=3332.02 cores=4,6
/proc/169118/stat : 169118 (pbsolver) R 169115 169118 168467 0 -1 4194304 691746 0 0 0 333064 138 0 0 20 0 1 0 237026503 2919075840 662871 18446744073709551615 4198400 14743177 140721439309584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 43716608 140721439316360 140721439316456 140721439316456 140721439322060 0
/proc/169118/statm: 712665 662871 2688 2575 0 709572 0
Current children cumulated CPU time: 3332.02 s
Current children cumulated vsize: 2850660 KiB
Current children cumulated memory: 2651484 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/262 169375
/proc/meminfo: memFree=102352748/131249996 swapFree=33010672/33010684
[pid=169118] ppid=169115 vsize=2850660 memory=2651484 CPUtime=3391.84 cores=4,6
/proc/169118/stat : 169118 (pbsolver) R 169115 169118 168467 0 -1 4194304 691749 0 0 0 339045 139 0 0 20 0 1 0 237026503 2919075840 662871 18446744073709551615 4198400 14743177 140721439309584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 43716608 140721439316360 140721439316456 140721439316456 140721439322060 0
/proc/169118/statm: 712665 662871 2688 2575 0 709572 0
Current children cumulated CPU time: 3391.84 s
Current children cumulated vsize: 2850660 KiB
Current children cumulated memory: 2651484 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/262 169377
/proc/meminfo: memFree=102293936/131249996 swapFree=33010672/33010684
[pid=169118] ppid=169115 vsize=2850660 memory=2651484 CPUtime=3451.67 cores=4,6
/proc/169118/stat : 169118 (pbsolver) R 169115 169118 168467 0 -1 4194304 691751 0 0 0 345027 140 0 0 20 0 1 0 237026503 2919075840 662871 18446744073709551615 4198400 14743177 140721439309584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 43716608 140721439316360 140721439316456 140721439316456 140721439322060 0
/proc/169118/statm: 712665 662871 2688 2575 0 709572 0
Current children cumulated CPU time: 3451.67 s
Current children cumulated vsize: 2850660 KiB
Current children cumulated memory: 2651484 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/262 169379
/proc/meminfo: memFree=102269260/131249996 swapFree=33010672/33010684
[pid=169118] ppid=169115 vsize=2850660 memory=2651484 CPUtime=3511.49 cores=4,6
/proc/169118/stat : 169118 (pbsolver) R 169115 169118 168467 0 -1 4194304 691790 0 0 0 351008 141 0 0 20 0 1 0 237026503 2919075840 662871 18446744073709551615 4198400 14743177 140721439309584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 43716608 140721439316360 140721439316456 140721439316456 140721439322060 0
/proc/169118/statm: 712665 662871 2688 2575 0 709572 0
Current children cumulated CPU time: 3511.49 s
Current children cumulated vsize: 2850660 KiB
Current children cumulated memory: 2651484 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/262 169426
/proc/meminfo: memFree=120241784/131249996 swapFree=33010672/33010684
[pid=169118] ppid=169115 vsize=2850660 memory=2651484 CPUtime=3571.31 cores=4,6
/proc/169118/stat : 169118 (pbsolver) R 169115 169118 168467 0 -1 4194304 691800 0 0 0 356990 141 0 0 20 0 1 0 237026503 2919075840 662871 18446744073709551615 4198400 14743177 140721439309584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 43716608 140721439316360 140721439316456 140721439316456 140721439322060 0
/proc/169118/statm: 712665 662871 2688 2575 0 709572 0
Current children cumulated CPU time: 3571.31 s
Current children cumulated vsize: 2850660 KiB
Current children cumulated memory: 2651484 KiB
[startup+3604.86 s]
# the end of solver process 169118 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.23 s, system=1.55193 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.08 4.08 4.09 5/262 169426
/proc/meminfo: memFree=120225984/131249996 swapFree=33010672/33010684
[pid=169118] ppid=169115 vsize=2850660 memory=2651484 CPUtime=3573.01 cores=4,6
/proc/169118/stat : 169118 (pbsolver) R 169115 169118 168467 0 -1 4194304 691800 0 0 0 357160 141 0 0 20 0 1 0 237026503 2919075840 662871 18446744073709551615 4198400 14743177 140721439309584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 43716608 140721439316360 140721439316456 140721439316456 140721439322060 0
/proc/169118/statm: 712665 662871 2688 2575 0 709572 0
Current children cumulated CPU time: 3573.01 s
Current children cumulated vsize: 2850660 KiB
Current children cumulated memory: 2651484 KiB
[startup+3596.8 s]
/proc/loadavg: 4.06 4.08 4.09 5/262 169426
/proc/meminfo: memFree=120145300/131249996 swapFree=33010672/33010684
[pid=169118] ppid=169115 vsize=2850660 memory=2651484 CPUtime=3585.77 cores=4,6
/proc/169118/stat : 169118 (pbsolver) R 169115 169118 168467 0 -1 4194304 691800 0 0 0 358436 141 0 0 20 0 1 0 237026503 2919075840 662871 18446744073709551615 4198400 14743177 140721439309584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 43716608 140721439316360 140721439316456 140721439316456 140721439322060 0
/proc/169118/statm: 712665 662871 2688 2575 0 709572 0
Current children cumulated CPU time: 3585.77 s
Current children cumulated vsize: 2850660 KiB
Current children cumulated memory: 2651484 KiB
[startup+3600 s]*
/proc/loadavg: 4.13 4.09 4.09 5/262 169471
/proc/meminfo: memFree=119910040/131249996 swapFree=33010672/33010684
[pid=169118] ppid=169115 vsize=2850660 memory=2651484 CPUtime=3588.96 cores=4,6
/proc/169118/stat : 169118 (pbsolver) R 169115 169118 168467 0 -1 4194304 691801 0 0 0 358755 141 0 0 20 0 1 0 237026503 2919075840 662871 18446744073709551615 4198400 14743177 140721439309584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 43716608 140721439316360 140721439316456 140721439316456 140721439322060 0
/proc/169118/statm: 712665 662871 2688 2575 0 709572 0
Current children cumulated CPU time: 3588.96 s
Current children cumulated vsize: 2850660 KiB
Current children cumulated memory: 2651484 KiB
[startup+3603.2 s]
/proc/loadavg: 4.13 4.09 4.09 5/262 169471
/proc/meminfo: memFree=118969108/131249996 swapFree=33010672/33010684
[pid=169118] ppid=169115 vsize=2850660 memory=2651484 CPUtime=3592.14 cores=4,6
/proc/169118/stat : 169118 (pbsolver) R 169115 169118 168467 0 -1 4194304 691801 0 0 0 359073 141 0 0 20 0 1 0 237026503 2919075840 662871 18446744073709551615 4198400 14743177 140721439309584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 43716608 140721439316360 140721439316456 140721439316456 140721439322060 0
/proc/169118/statm: 712665 662871 2688 2575 0 709572 0
Current children cumulated CPU time: 3592.14 s
Current children cumulated vsize: 2850660 KiB
Current children cumulated memory: 2651484 KiB
[startup+3604 s]*
/proc/loadavg: 4.13 4.09 4.09 4/258 169479
/proc/meminfo: memFree=122701160/131249996 swapFree=33010672/33010684
[pid=169118] ppid=169115 vsize=2850660 memory=2651484 CPUtime=3592.94 cores=4,6
/proc/169118/stat : 169118 (pbsolver) R 169115 169118 168467 0 -1 4194304 691802 0 0 0 359151 143 0 0 20 0 1 0 237026503 2919075840 662871 18446744073709551615 4198400 14743177 140721439309584 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 43716608 140721439316360 140721439316456 140721439316456 140721439322060 0
/proc/169118/statm: 712665 662871 2688 2575 0 709572 0
Current children cumulated CPU time: 3592.94 s
Current children cumulated vsize: 2850660 KiB
Current children cumulated memory: 2651484 KiB
[startup+3604.4 s]
/proc/loadavg: 4.13 4.09 4.09 4/258 169479
/proc/meminfo: memFree=122701160/131249996 swapFree=33010672/33010684
[pid=169118] ppid=169115 vsize=2850660 memory=2651484 CPUtime=3593.32 cores=4,6
/proc/169118/stat : 169118 (pbsolver) R 169115 169118 168467 0 -1 4194304 691805 0 0 0 359189 143 0 0 20 0 1 0 237026503 2919075840 662871 18446744073709551615 4198400 14743177 140721439309584 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 43716608 140721439316360 140721439316456 140721439316456 140721439322060 0
/proc/169118/statm: 712665 662871 2688 2575 0 709572 0
Current children cumulated CPU time: 3593.32 s
Current children cumulated vsize: 2850660 KiB
Current children cumulated memory: 2651484 KiB
[startup+3604.8 s]*
/proc/loadavg: 4.12 4.09 4.09 5/257 169507
/proc/meminfo: memFree=123336836/131249996 swapFree=33010672/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3604.86
CPU time (s): 3593.78
CPU user time (s): 3592.23
CPU system time (s): 1.55193
CPU usage (%): 99.6927
Max. virtual memory (cumulated for all children) (KiB): 2883876
Max. memory (cumulated for all children) (KiB): 2678904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.23
system time used= 1.55193
maximum resident set size= 2678904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 691811
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= 4
involuntary context switches= 1535
# summary of solver processes directly reported to runsolver:
# pid: 169118
# total CPU time (s): 3593.78
# total CPU user time (s): 3592.23
# total CPU system time (s): 1.55193
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.66987 second user time and 17.2543 second system time
The end