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-4490805-1751384297.opb>
0.10/0.19 c original problem has 11001 variables (11001 bin, 0 int, 0 cont) and 21678 constraints
0.10/0.19 c problem read in 0.191 seconds
0.30/0.36 c presolving:
0.59/0.68 c (0.7s) running MILP presolver
0.99/1.04 c (1.0s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.99/1.04 c (round 1, medium) 0 del vars, 21678 del conss, 10848 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 171 clqs
1.09/1.13 c (round 2, exhaustive) 0 del vars, 21678 del conss, 10848 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 18 upgd conss, 0 impls, 171 clqs
1.18/1.24 c (1.2s) probing: 76/11001 (0.7%) - 0 fixings, 0 aggregations, 4 implications, 0 bound changes
1.18/1.24 c (1.2s) probing aborted: 50/50 successive totally useless probings
1.28/1.34 c (1.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1.48/1.55 c (1.5s) symmetry computation finished: 1500 generators found (max: 1500, log10 of symmetry group size: 1458.49) (symcode time: 0.12)
1.68/1.75 c dynamic symmetry handling statistics:
1.68/1.75 c orbitopal reduction: no components
1.68/1.75 c orbital reduction: no components
1.68/1.75 c lexicographic reduction: no permutations
1.68/1.75 c handled 1500 out of 1500 symmetry components
1.68/1.76 c (round 3, exhaustive) 0 del vars, 21678 del conss, 12348 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 18 upgd conss, 0 impls, 1693 clqs
1.68/1.78 c (round 4, exhaustive) 0 del vars, 21678 del conss, 12348 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1518 upgd conss, 0 impls, 1693 clqs
1.78/1.85 c presolving (5 rounds: 5 fast, 5 medium, 4 exhaustive):
1.78/1.85 c 0 deleted vars, 21678 deleted constraints, 12348 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.78/1.85 c 0 implications, 1693 cliques
1.78/1.85 c presolved problem has 11001 variables (11001 bin, 0 int, 0 cont) and 12348 constraints
1.78/1.85 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
1.78/1.85 c 18 constraints of type <knapsack>
1.78/1.85 c 1500 constraints of type <setppc>
1.78/1.85 c 10830 constraints of type <linear>
1.78/1.85 c transformed objective value is always integral (scale: 1)
1.78/1.85 c Presolving Time: 1.49
1.78/1.85 c
1.78/1.85 c - non default parameters ----------------------------------------------------------------------
1.78/1.85 c
1.78/1.85 c # SCIP version 10.0.0
1.78/1.85 c
1.78/1.85 c # maximal time in seconds to run
1.78/1.85 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1.78/1.85 c limits/time = 3596.998062
1.78/1.85 c
1.78/1.85 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.78/1.85 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1.78/1.85 c limits/memory = 27900
1.78/1.85 c
1.78/1.85 c # belongs reading time to solving time?
1.78/1.85 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1.78/1.85 c timing/reading = TRUE
1.78/1.85 c
1.78/1.85 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
1.78/1.85 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
1.78/1.85 c reading/opbreader/maxintsize = 47
1.78/1.85 c
1.78/1.85 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
1.78/1.85 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
1.78/1.85 c propagating/genvbounds/timingmask = 0
1.78/1.85 c
1.78/1.85 c -----------------------------------------------------------------------------------------------
1.78/1.85 c
3.09/3.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.09/3.18 c 3.2s| 1 | 0 | 11322 | - | 487M | 0 | 11k| 12k| 12k| 0 | 0 | 1 | 0 | 1.800000e+01 | -- | Inf | unknown
6.57/6.62 c 6.6s| 1 | 0 | 21965 | - | 505M | 0 | 11k| 12k| 12k| 11 | 1 | 1 | 0 | 1.800000e+01 | -- | Inf | unknown
6.77/6.87 c 6.9s| 1 | 0 | 21979 | - | 512M | 0 | 11k| 12k| 12k| 23 | 2 | 1 | 0 | 1.800000e+01 | -- | Inf | unknown
7.08/7.14 c 7.1s| 1 | 0 | 21998 | - | 514M | 0 | 11k| 12k| 12k| 34 | 3 | 1 | 0 | 1.800000e+01 | -- | Inf | unknown
7.37/7.47 c 7.5s| 1 | 0 | 22017 | - | 517M | 0 | 11k| 12k| 12k| 45 | 4 | 1 | 0 | 1.800000e+01 | -- | Inf | unknown
7.66/7.77 c 7.8s| 1 | 0 | 22038 | - | 519M | 0 | 11k| 12k| 12k| 58 | 5 | 1 | 0 | 1.800000e+01 | -- | Inf | unknown
7.97/8.08 c 8.1s| 1 | 0 | 22056 | - | 524M | 0 | 11k| 12k| 12k| 70 | 6 | 1 | 0 | 1.800000e+01 | -- | Inf | unknown
8.26/8.39 c 8.4s| 1 | 0 | 22072 | - | 527M | 0 | 11k| 12k| 12k| 81 | 7 | 1 | 0 | 1.800000e+01 | -- | Inf | unknown
8.67/8.74 c 8.7s| 1 | 0 | 22089 | - | 530M | 0 | 11k| 12k| 12k| 92 | 8 | 1 | 0 | 1.800000e+01 | -- | Inf | unknown
9.07/9.12 c 9.1s| 1 | 0 | 22111 | - | 534M | 0 | 11k| 12k| 12k| 105 | 9 | 1 | 0 | 1.800000e+01 | -- | Inf | unknown
9.36/9.48 c 9.5s| 1 | 0 | 22142 | - | 538M | 0 | 11k| 12k| 12k| 120 | 10 | 1 | 0 | 1.800000e+01 | -- | Inf | unknown
9.76/9.84 c 9.8s| 1 | 0 | 22186 | - | 542M | 0 | 11k| 12k| 12k| 134 | 11 | 1 | 0 | 1.800000e+01 | -- | Inf | unknown
17.34/17.47 c 17.5s| 1 | 2 | 41695 | - | 545M | 0 | 11k| 12k| 12k| 134 | 11 | 12 | 29 | 1.900000e+01 | -- | Inf | unknown
96.42/96.71 c 96.7s| 100 | 99 |500394 |4830.4 | 562M | 24 | 11k| 12k| 12k| 299 | 1 | 117 | 29 | 1.900000e+01 | -- | Inf | unknown
112.86/113.22 c 113s| 200 | 146 |639135 |3100.2 | 566M | 28 | 11k| 12k| 0 | 411 | 0 | 299 | 29 | 1.900000e+01 | -- | Inf | unknown
127.91/128.38 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
127.91/128.38 c 128s| 300 | 175 |745725 |2419.9 | 569M | 32 | 11k| 12k| 12k| 458 | 1 | 460 | 29 | 1.900000e+01 | -- | Inf | unknown
144.75/145.23 c 145s| 400 | 233 |855856 |2089.4 | 570M | 32 | 11k| 13k| 12k| 557 | 1 | 726 | 29 | 1.900000e+01 | -- | Inf | unknown
162.39/162.91 c 163s| 500 | 276 |991338 |1942.2 | 573M | 32 | 11k| 13k| 12k| 685 | 1 | 816 | 29 | 1.900000e+01 | -- | Inf | unknown
175.84/176.42 c 176s| 600 | 299 | 1067k|1745.5 | 575M | 32 | 11k| 13k| 12k| 738 | 1 | 897 | 29 | 1.900139e+01 | -- | Inf | unknown
188.60/189.28 c 189s| 700 | 327 | 1180k|1656.8 | 578M | 32 | 11k| 13k| 12k| 817 | 1 |1001 | 29 | 1.900139e+01 | -- | Inf | unknown
225.08/225.86 c 226s| 800 | 406 | 1492k|1840.6 | 582M | 32 | 11k| 13k| 12k| 950 | 1 |1114 | 29 | 1.900139e+01 | -- | Inf | unknown
247.60/248.42 c 248s| 900 | 453 | 1709k|1877.4 | 584M | 32 | 11k| 13k| 12k|1041 | 1 |1265 | 29 | 1.900139e+01 | -- | Inf | unknown
295.54/296.52 c 297s| 1000 | 541 | 2143k|2123.1 | 587M | 32 | 11k| 13k| 12k|1201 | 2 |1379 | 29 | 1.900139e+01 | -- | Inf | unknown
343.90/345.01 c 345s| 1100 | 626 | 2519k|2272.4 | 588M | 32 | 11k| 13k| 12k|1275 | 1 |1481 | 29 | 1.900139e+01 | -- | Inf | unknown
373.99/375.29 c 375s| 1200 | 701 | 2793k|2311.8 | 594M | 32 | 11k| 13k| 12k|1433 | 1 |1591 | 29 | 1.900139e+01 | -- | Inf | unknown
390.54/391.85 c 392s| 1300 | 748 | 2955k|2258.5 | 598M | 32 | 11k| 13k| 0 |1493 | 0 |1658 | 29 | 1.900139e+01 | -- | Inf | unknown
402.80/404.19 c 404s| 1400 | 789 | 3074k|2182.0 | 600M | 38 | 11k| 13k| 0 |1554 | 0 |1740 | 29 | 1.900139e+01 | -- | Inf | unknown
422.24/423.61 c 424s| 1500 | 840 | 3264k|2162.8 | 602M | 38 | 11k| 13k| 12k|1614 | 1 |1818 | 29 | 1.900139e+01 | -- | Inf | unknown
435.60/437.04 c 437s| 1600 | 865 | 3370k|2094.0 | 604M | 38 | 11k| 13k| 12k|1673 | 1 |1897 | 29 | 1.900139e+01 | -- | Inf | unknown
449.45/450.99 c 451s| 1700 | 897 | 3517k|2057.0 | 605M | 38 | 11k| 14k| 0 |1703 | 0 |1966 | 29 | 1.900139e+01 | -- | Inf | unknown
457.32/458.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
457.32/458.89 c 459s| 1800 | 920 | 3582k|1978.8 | 606M | 38 | 11k| 14k| 12k|1742 | 1 |2056 | 29 | 1.900139e+01 | -- | Inf | unknown
472.27/473.83 c 474s| 1900 | 952 | 3713k|1943.7 | 608M | 38 | 11k| 14k| 0 |1785 | 0 |2184 | 29 | 1.900139e+01 | -- | Inf | unknown
487.53/489.12 c 489s| 2000 | 993 | 3845k|1912.7 | 610M | 38 | 11k| 14k| 12k|1867 | 1 |2274 | 29 | 1.900139e+01 | -- | Inf | unknown
501.49/503.13 c 503s| 2100 | 1028 | 3970k|1881.1 | 611M | 38 | 11k| 14k| 0 |1907 | 0 |2401 | 29 | 1.900139e+01 | -- | Inf | unknown
518.83/520.52 c 521s| 2200 | 1062 | 4125k|1866.1 | 614M | 38 | 11k| 14k| 0 |1982 | 0 |2698 | 29 | 1.900139e+01 | -- | Inf | unknown
533.69/535.46 c 535s| 2300 | 1086 | 4255k|1841.5 | 616M | 38 | 11k| 14k| 0 |2029 | 0 |2821 | 29 | 1.900139e+01 | -- | Inf | unknown
567.20/569.09 c 569s| 2400 | 1162 | 4582k|1901.0 | 621M | 38 | 11k| 14k| 0 |2172 | 0 |2926 | 29 | 1.900139e+01 | -- | Inf | unknown
582.85/584.78 c 585s| 2500 | 1178 | 4728k|1883.3 | 624M | 38 | 11k| 14k| 12k|2215 | 1 |3071 | 29 | 1.900139e+01 | -- | Inf | unknown
587.84/589.74 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
587.84/589.74 c (run 1, node 2540) performing user restart
587.84/589.74 c
587.84/589.78 c (restart) converted 16 cuts from the global cut pool into linear constraints
587.84/589.78 c
587.94/589.83 c presolving:
587.94/589.85 c (round 1, fast) 0 del vars, 243 del conss, 1 add conss, 0 chg bounds, 10 chg sides, 32 chg coeffs, 0 upgd conss, 0 impls, 1700 clqs
587.94/589.88 c (round 2, exhaustive) 1 del vars, 246 del conss, 1 add conss, 0 chg bounds, 11 chg sides, 33 chg coeffs, 11 upgd conss, 0 impls, 1699 clqs
588.04/589.90 c (round 3, exhaustive) 1 del vars, 310 del conss, 1 add conss, 0 chg bounds, 14 chg sides, 580 chg coeffs, 14 upgd conss, 0 impls, 1699 clqs
588.14/590.01 c presolving (4 rounds: 4 fast, 3 medium, 3 exhaustive):
588.14/590.01 c 1 deleted vars, 316 deleted constraints, 1 added constraints, 0 tightened bounds, 0 added holes, 14 changed sides, 592 changed coefficients
588.14/590.01 c 0 implications, 1699 cliques
588.14/590.01 c presolved problem has 11000 variables (11000 bin, 0 int, 0 cont) and 13776 constraints
588.14/590.01 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
588.14/590.01 c 37 constraints of type <knapsack>
588.14/590.01 c 1505 constraints of type <setppc>
588.14/590.01 c 10842 constraints of type <linear>
588.14/590.01 c 1392 constraints of type <logicor>
588.14/590.01 c transformed objective value is always integral (scale: 1)
588.14/590.01 c Presolving Time: 1.68
588.14/590.01 c
588.83/590.78 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
588.83/590.78 c 591s| 1 | 0 | 4784k| - | 637M | 0 | 11k| 13k| 12k| 0 | 0 |3097 | 29 | 1.900139e+01 | -- | Inf | unknown
589.14/591.04 c 591s| 1 | 0 | 4784k| - | 641M | 0 | 11k| 13k| 12k| 17 | 1 |3097 | 29 | 1.900139e+01 | -- | Inf | unknown
589.43/591.32 c 591s| 1 | 0 | 4784k| - | 643M | 0 | 11k| 13k| 12k| 33 | 2 |3097 | 29 | 1.900139e+01 | -- | Inf | unknown
589.73/591.62 c 592s| 1 | 0 | 4784k| - | 644M | 0 | 11k| 13k| 12k| 46 | 3 |3097 | 29 | 1.900139e+01 | -- | Inf | unknown
590.03/591.95 c 592s| 1 | 0 | 4784k| - | 645M | 0 | 11k| 13k| 12k| 59 | 4 |3097 | 29 | 1.900139e+01 | -- | Inf | unknown
590.33/592.28 c 592s| 1 | 0 | 4784k| - | 645M | 0 | 11k| 13k| 12k| 70 | 5 |3097 | 29 | 1.900139e+01 | -- | Inf | unknown
590.73/592.63 c 593s| 1 | 0 | 4784k| - | 646M | 0 | 11k| 13k| 12k| 84 | 6 |3097 | 29 | 1.900139e+01 | -- | Inf | unknown
591.03/593.00 c 593s| 1 | 0 | 4784k| - | 648M | 0 | 11k| 13k| 12k| 96 | 7 |3097 | 29 | 1.900139e+01 | -- | Inf | unknown
591.43/593.35 c 593s| 1 | 0 | 4784k| - | 650M | 0 | 11k| 13k| 12k| 109 | 8 |3097 | 29 | 1.900139e+01 | -- | Inf | unknown
591.83/593.70 c 594s| 1 | 0 | 4784k| - | 652M | 0 | 11k| 13k| 12k| 123 | 9 |3102 | 29 | 1.900139e+01 | -- | Inf | unknown
592.23/594.16 c 594s| 1 | 0 | 4784k| - | 654M | 0 | 11k| 13k| 12k| 137 | 10 |3105 | 29 | 1.900139e+01 | -- | Inf | unknown
592.52/594.47 c 594s| 1 | 0 | 4785k| - | 656M | 0 | 11k| 13k| 12k| 150 | 11 |3105 | 29 | 1.900139e+01 | -- | Inf | unknown
592.92/594.81 c 595s| 1 | 0 | 4785k| - | 658M | 0 | 11k| 13k| 12k| 164 | 12 |3105 | 29 | 1.900139e+01 | -- | Inf | unknown
593.23/595.14 c 595s| 1 | 0 | 4785k| - | 660M | 0 | 11k| 13k| 12k| 178 | 13 |3105 | 29 | 1.900139e+01 | -- | Inf | unknown
593.62/595.55 c 596s| 1 | 0 | 4785k| - | 662M | 0 | 11k| 13k| 12k| 191 | 14 |3105 | 29 | 1.900139e+01 | -- | Inf | unknown
594.02/595.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
594.02/595.96 c 596s| 1 | 0 | 4785k| - | 663M | 0 | 11k| 13k| 12k| 202 | 15 |3105 | 29 | 1.900139e+01 | -- | Inf | unknown
594.42/596.39 c 596s| 1 | 0 | 4785k| - | 666M | 0 | 11k| 13k| 12k| 213 | 16 |3106 | 29 | 1.900139e+01 | -- | Inf | unknown
594.82/596.77 c 597s| 1 | 0 | 4785k| - | 668M | 0 | 11k| 13k| 12k| 223 | 17 |3106 | 29 | 1.900139e+01 | -- | Inf | unknown
595.22/597.13 c 597s| 1 | 0 | 4785k| - | 670M | 0 | 11k| 13k| 12k| 233 | 18 |3106 | 29 | 1.900139e+01 | -- | Inf | unknown
595.61/597.52 c 598s| 1 | 0 | 4785k| - | 673M | 0 | 11k| 13k| 12k| 243 | 19 |3106 | 29 | 1.900139e+01 | -- | Inf | unknown
596.01/597.92 c 598s| 1 | 0 | 4785k| - | 676M | 0 | 11k| 13k| 12k| 254 | 20 |3106 | 29 | 1.900139e+01 | -- | Inf | unknown
612.17/614.13 c 614s| 1 | 2 | 4827k| - | 676M | 0 | 11k| 13k| 12k| 254 | 20 |3125 | 61 | 1.900139e+01 | -- | Inf | unknown
727.66/729.90 c 730s| 100 | 101 | 5322k|2005.0 | 680M | 21 | 11k| 13k| 12k| 497 | 1 |3277 | 61 | 1.900139e+01 | -- | Inf | unknown
773.94/776.36 c 776s| 200 | 201 | 5579k|2025.7 | 684M | 22 | 11k| 13k| 12k| 816 | 1 |3305 | 61 | 1.900139e+01 | -- | Inf | unknown
829.09/831.69 c 832s| 300 | 299 | 5918k|2073.7 | 689M | 22 | 11k| 13k| 12k|1149 | 1 |3369 | 61 | 1.900139e+01 | -- | Inf | unknown
885.45/888.13 c 888s| 400 | 397 | 6302k|2133.9 | 694M | 25 | 11k| 13k| 12k|1422 | 1 |3475 | 61 | 1.900139e+01 | -- | Inf | unknown
946.99/949.85 c 950s| 500 | 491 | 6772k|2218.2 | 701M | 25 | 11k| 13k| 12k|1712 | 1 |3567 | 61 | 1.900139e+01 | -- | Inf | unknown
1028.10/1031.19 c 1031s| 600 | 587 | 7270k|2306.3 | 704M | 25 | 11k| 13k| 12k|2034 | 1 |3705 | 61 | 1.900139e+01 | -- | Inf | unknown
1092.13/1095.37 c 1095s| 700 | 679 | 7755k|2384.9 | 706M | 25 | 11k| 13k| 12k|2297 | 1 |3818 | 61 | 1.900139e+01 | -- | Inf | unknown
1141.83/1145.12 c 1145s| 800 | 764 | 8152k|2432.3 | 709M | 25 | 11k| 13k| 12k|2498 | 1 |3915 | 61 | 1.900139e+01 | -- | Inf | unknown
1217.73/1221.27 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1217.73/1221.27 c 1221s| 900 | 862 | 8667k|2511.1 | 714M | 25 | 11k| 13k| 12k|2792 | 1 |4026 | 61 | 1.900139e+01 | -- | Inf | unknown
1300.23/1303.95 c 1304s| 1000 | 958 | 9221k|2596.7 | 720M | 25 | 11k| 13k| 12k|3238 | 2 |4165 | 61 | 1.900139e+01 | -- | Inf | unknown
1378.83/1382.73 c 1383s| 1100 | 1050 | 9748k|2670.2 | 722M | 25 | 11k| 13k| 12k|3635 | 1 |4250 | 61 | 1.900139e+01 | -- | Inf | unknown
1468.60/1472.73 c 1473s| 1200 | 1146 | 10316k|2750.9 | 726M | 25 | 11k| 13k| 12k|4054 | 1 |4428 | 61 | 1.900139e+01 | -- | Inf | unknown
1542.92/1547.29 c 1547s| 1300 | 1242 | 10802k|2805.6 | 733M | 25 | 11k| 13k| 12k|4268 | 1 |4584 | 61 | 1.900139e+01 | -- | Inf | unknown
1639.07/1643.60 c 1644s| 1400 | 1342 | 11382k|2881.8 | 737M | 25 | 11k| 13k| 12k|4493 | 1 |4711 | 61 | 1.900139e+01 | -- | Inf | unknown
1692.71/1697.43 c 1697s| 1500 | 1436 | 11764k|2905.0 | 740M | 25 | 11k| 13k| 12k|4675 | 1 |4785 | 61 | 1.900139e+01 | -- | Inf | unknown
1754.92/1759.84 c 1760s| 1600 | 1532 | 12181k|2935.6 | 741M | 25 | 11k| 13k| 12k|4834 | 1 |4899 | 61 | 1.900139e+01 | -- | Inf | unknown
1833.18/1838.34 c 1838s| 1700 | 1630 | 12763k|3003.6 | 747M | 25 | 11k| 13k| 12k|5052 | 1 |5045 | 61 | 1.900139e+01 | -- | Inf | unknown
1907.87/1913.22 c 1913s| 1800 | 1726 | 13296k|3057.2 | 752M | 25 | 11k| 13k| 12k|5278 | 1 |5125 | 61 | 1.900139e+01 | -- | Inf | unknown
1972.48/1978.08 c 1978s| 1900 | 1824 | 13712k|3082.1 | 756M | 25 | 11k| 13k| 12k|5397 | 1 |5494 | 61 | 1.900139e+01 | -- | Inf | unknown
2029.70/2035.43 c 2035s| 2000 | 1906 | 14083k|3095.8 | 761M | 28 | 11k| 13k| 12k|5641 | 1 |5531 | 61 | 1.900139e+01 | -- | Inf | unknown
2089.62/2095.57 c 2096s| 2100 | 1992 | 14511k|3121.3 | 766M | 29 | 11k| 13k| 12k|5793 | 1 |5605 | 61 | 1.900139e+01 | -- | Inf | unknown
2151.43/2157.53 c 2158s| 2200 | 2092 | 14954k|3149.0 | 770M | 29 | 11k| 13k| 12k|6000 | 1 |5733 | 61 | 1.900139e+01 | -- | Inf | unknown
2194.71/2200.92 c 2201s| 2300 | 2188 | 15230k|3141.0 | 774M | 29 | 11k| 13k| 12k|6302 | 1 |5811 | 61 | 1.900139e+01 | -- | Inf | unknown
2268.00/2274.46 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2268.00/2274.46 c 2274s| 2400 | 2288 | 15746k|3181.9 | 780M | 31 | 11k| 13k| 12k|6617 | 1 |6017 | 61 | 1.900139e+01 | -- | Inf | unknown
2317.25/2323.84 c 2324s| 2500 | 2378 | 16102k|3189.4 | 782M | 38 | 11k| 13k| 12k|6790 | 1 |6194 | 61 | 1.900139e+01 | -- | Inf | 0.78%
2327.32/2333.90 c 2334s| 2600 | 2414 | 16170k|3140.6 | 786M | 60 | 11k| 13k| 12k|6878 | 1 |6268 | 61 | 1.900139e+01 | -- | Inf | 0.78%
2347.95/2354.68 c 2355s| 2700 | 2452 | 16308k|3106.9 | 792M | 60 | 11k| 13k| 12k|7094 | 1 |6324 | 61 | 1.900139e+01 | -- | Inf | 0.84%
2402.60/2409.45 c 2409s| 2800 | 2537 | 16677k|3117.8 | 795M | 60 | 11k| 13k| 12k|7288 | 1 |6374 | 61 | 1.900139e+01 | -- | Inf | 0.86%
2459.43/2466.45 c 2466s| 2900 | 2629 | 17056k|3130.3 | 798M | 60 | 11k| 13k| 0 |7485 | 0 |6513 | 61 | 1.900139e+01 | -- | Inf | 0.86%
2494.42/2501.58 c 2502s| 3000 | 2705 | 17328k|3122.8 | 803M | 60 | 11k| 13k| 12k|7674 | 1 |6643 | 61 | 1.903566e+01 | -- | Inf | 0.87%
2525.43/2532.61 c 2533s| 3100 | 2770 | 17527k|3102.7 | 808M | 60 | 11k| 13k| 12k|7791 | 1 |6800 | 61 | 1.903566e+01 | -- | Inf | 0.87%
2542.37/2549.65 c 2550s| 3200 | 2832 | 17673k|3074.1 | 812M | 60 | 11k| 13k| 12k|7847 | 1 |6866 | 61 | 1.903566e+01 | -- | Inf | 0.87%
2563.52/2570.87 c 2571s| 3300 | 2885 | 17840k|3050.0 | 819M | 60 | 11k| 13k| 12k|7932 | 1 |6928 | 61 | 1.903911e+01 | -- | Inf | 0.87%
2609.48/2616.96 c 2617s| 3400 | 2968 | 18191k|3057.7 | 824M | 60 | 11k| 13k| 12k|8106 | 1 |7016 | 61 | 1.903911e+01 | -- | Inf | 0.87%
2646.37/2653.93 c 2654s| 3500 | 3064 | 18483k|3055.5 | 829M | 60 | 11k| 13k| 12k|8295 | 1 |7104 | 61 | 1.903911e+01 | -- | Inf | 0.87%
2689.04/2696.75 c 2697s| 3600 | 3157 | 18766k|3051.8 | 830M | 60 | 11k| 13k| 12k|8475 | 1 |7255 | 61 | 1.905229e+01 | -- | Inf | 0.87%
2719.65/2727.48 c 2727s| 3700 | 3249 | 19010k|3042.0 | 832M | 60 | 11k| 13k| 12k|8676 | 1 |7363 | 61 | 1.905229e+01 | -- | Inf | 0.87%
2745.27/2753.16 c 2753s| 3800 | 3324 | 19186k|3021.7 | 834M | 60 | 11k| 13k| 12k|8812 | 1 |7540 | 61 | 1.905229e+01 | -- | Inf | 0.87%
2768.40/2776.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2768.40/2776.31 c 2776s| 3900 | 3394 | 19359k|3001.8 | 836M | 60 | 11k| 13k| 12k|8922 | 1 |7627 | 61 | 1.905229e+01 | -- | Inf | 0.88%
2791.93/2799.96 c 2800s| 4000 | 3448 | 19527k|2981.5 | 838M | 60 | 11k| 13k| 12k|9034 | 1 |7687 | 61 | 1.909713e+01 | -- | Inf | 0.89%
2803.59/2811.66 c 2812s| 4100 | 3477 | 19614k|2949.8 | 843M | 60 | 11k| 13k| 12k|9100 | 1 |7790 | 61 | 1.913514e+01 | -- | Inf | 0.89%
2815.06/2823.13 c 2823s| 4200 | 3504 | 19684k|2916.3 | 846M | 60 | 11k| 13k| 12k|9296 | 1 |7848 | 61 | 1.913514e+01 | -- | Inf | 0.89%
2825.33/2833.49 c 2833s| 4300 | 3532 | 19778k|2887.4 | 846M | 60 | 11k| 13k| 0 |9321 | 0 |7881 | 61 | 1.915615e+01 | -- | Inf | 0.89%
2840.78/2848.92 c 2849s| 4400 | 3570 | 19895k|2862.7 | 848M | 60 | 11k| 13k| 12k|9391 | 1 |7917 | 61 | 1.918216e+01 | -- | Inf | 0.89%
2854.54/2862.72 c 2863s| 4500 | 3594 | 19963k|2831.7 | 850M | 60 | 11k| 13k| 12k|9461 | 1 |8134 | 61 | 1.919581e+01 | -- | Inf | 0.90%
2869.50/2877.79 c 2878s| 4600 | 3622 | 20068k|2806.8 | 852M | 60 | 11k| 13k| 0 |9564 | 0 |8180 | 61 | 1.923635e+01 | -- | Inf | 0.90%
2885.55/2893.83 c 2894s| 4700 | 3651 | 20185k|2784.1 | 854M | 60 | 11k| 13k| 12k|9710 | 1 |8243 | 61 | 1.923810e+01 | -- | Inf | 0.90%
2899.72/2908.05 c 2908s| 4800 | 3672 | 20288k|2760.2 | 857M | 60 | 11k| 13k| 12k|9863 | 1 |8283 | 61 | 1.923877e+01 | -- | Inf | 0.90%
2913.58/2921.92 c 2922s| 4900 | 3692 | 20382k|2735.8 | 867M | 60 | 11k| 13k| 0 |9993 | 0 |8323 | 61 | 1.923877e+01 | -- | Inf | 0.90%
2978.51/2987.08 c 2987s| 5000 | 3760 | 20721k|2744.4 | 870M | 60 | 11k| 13k| 12k| 10k| 2 |8465 | 61 | 1.924544e+01 | -- | Inf | 0.90%
3006.05/3014.64 c 3015s| 5100 | 3820 | 20886k|2730.1 | 874M | 60 | 11k| 13k| 0 | 10k| 0 |8525 | 61 | 1.925076e+01 | -- | Inf | 0.90%
3037.77/3046.42 c 3046s| 5200 | 3872 | 21092k|2721.4 | 875M | 60 | 11k| 13k| 12k| 10k| 1 |8590 | 61 | 1.926627e+01 | -- | Inf | 0.90%
3080.67/3089.40 c 3089s| 5300 | 3964 | 21423k|2728.9 | 877M | 60 | 11k| 13k| 12k| 11k| 1 |8661 | 61 | 1.927312e+01 | -- | Inf | 0.90%
3118.97/3127.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3118.97/3127.81 c 3128s| 5400 | 4055 | 21713k|2731.1 | 879M | 60 | 11k| 13k| 12k| 11k| 1 |8800 | 61 | 1.927312e+01 | -- | Inf | 0.90%
3156.78/3165.71 c 3166s| 5500 | 4148 | 22004k|2733.3 | 881M | 60 | 11k| 13k| 12k| 11k| 1 |8893 | 61 | 1.927312e+01 | -- | Inf | 0.91%
3209.15/3218.22 c 3218s| 5600 | 4243 | 22391k|2747.2 | 883M | 60 | 11k| 13k| 12k| 11k| 1 |9079 | 61 | 1.927434e+01 | -- | Inf | 0.91%
3247.56/3256.76 c 3257s| 5700 | 4330 | 22710k|2752.7 | 889M | 60 | 11k| 13k| 12k| 12k| 1 |9144 | 61 | 1.928907e+01 | -- | Inf | 0.91%
3290.35/3299.69 c 3300s| 5800 | 4421 | 23039k|2759.1 | 892M | 60 | 11k| 13k| 12k| 12k| 1 |9343 | 61 | 1.929270e+01 | -- | Inf | 0.91%
3322.69/3332.07 c 3332s| 5900 | 4509 | 23316k|2759.2 | 897M | 60 | 11k| 13k| 12k| 12k| 1 |9468 | 61 | 1.929270e+01 | -- | Inf | 0.91%
3362.58/3372.05 c 3372s| 6000 | 4603 | 23661k|2767.3 | 900M | 60 | 11k| 13k| 12k| 12k| 2 |9561 | 61 | 1.929270e+01 | -- | Inf | 0.91%
3388.91/3398.46 c 3398s| 6100 | 4678 | 23898k|2762.7 | 904M | 60 | 11k| 13k| 12k| 12k| 1 |9665 | 61 | 1.929632e+01 | -- | Inf | 0.91%
3413.15/3422.75 c 3423s| 6200 | 4714 | 24050k|2748.5 | 909M | 60 | 11k| 13k| 12k| 12k| 1 |9736 | 61 | 1.929921e+01 | -- | Inf | 0.91%
3448.57/3458.25 c 3458s| 6300 | 4791 | 24316k|2747.5 | 914M | 60 | 11k| 13k| 12k| 13k| 1 |9813 | 61 | 1.930585e+01 | -- | Inf | 0.91%
3473.11/3482.83 c 3483s| 6400 | 4853 | 24519k|2739.4 | 918M | 60 | 11k| 13k| 0 | 13k| 0 |9911 | 61 | 1.931197e+01 | -- | Inf | 0.91%
3490.16/3499.91 c 3500s| 6500 | 4891 | 24647k|2723.4 | 920M | 60 | 11k| 13k| 12k| 13k| 1 | 10k| 61 | 1.931475e+01 | -- | Inf | 0.91%
3523.48/3533.32 c 3533s| 6600 | 4940 | 24853k|2716.1 | 922M | 60 | 11k| 13k| 12k| 13k| 1 | 10k| 61 | 1.931475e+01 | -- | Inf | 0.91%
3569.97/3579.95 c 3580s| 6700 | 5040 | 25238k|2728.3 | 927M | 60 | 11k| 13k| 12k| 13k| 1 | 10k| 61 | 1.932415e+01 | -- | Inf | 0.91%
3586.93/3597.00 c
3586.93/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.93/3597.00 c Solving Time (sec) : 3597.00
3586.93/3597.00 c Solving Nodes : 6748 (total of 9288 nodes in 2 runs)
3586.93/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3586.93/3597.00 c Dual Bound : +1.93241545342951e+01
3586.93/3597.00 c Gap : infinite
3586.93/3597.00 s UNKNOWN
3586.93/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.93/3597.00 c Total Time : 3597.00
3586.93/3597.00 c solving : 3597.00
3586.93/3597.00 c presolving : 1.68 (included in solving)
3586.93/3597.00 c reading : 0.19 (included in solving)
3586.93/3597.00 c copying : 0.21 (6 #copies) (minimal 0.03, maximal 0.04, average 0.03)
3586.93/3597.00 c Original Problem :
3586.93/3597.00 c Problem name : HOME/instance-4490805-1751384297.opb
3586.93/3597.00 c Variables : 11001 (11001 binary, 0 integer, 0 continuous)
3586.93/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.93/3597.00 c Constraints : 21678 initial, 21678 maximal
3586.93/3597.00 c Objective : minimize, 9 non-zeros (abs.min = 1, abs.max = 256)
3586.93/3597.00 c Presolved Problem :
3586.93/3597.00 c Problem name : t_HOME/instance-4490805-1751384297.opb
3586.93/3597.00 c Variables : 11000 (11000 binary, 0 integer, 0 continuous)
3586.93/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.93/3597.00 c Constraints : 13776 initial, 13928 maximal
3586.93/3597.00 c Objective : minimize, 9 non-zeros (abs.min = 1, abs.max = 256)
3586.93/3597.00 c Nonzeros : 405763 constraint, 3508 clique table
3586.93/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.93/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.93/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.93/3597.00 c domcol : 0.07 0.00 3 0 0 0 0 0 0 0 0 0
3586.93/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.93/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.93/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.93/3597.00 c dualsparsify : 0.10 0.00 1 0 0 0 0 0 0 0 0 0
3586.93/3597.00 c gateextraction : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3586.93/3597.00 c implics : 0.00 0.00 8 0 0 0 0 0 0 0 0 0
3586.93/3597.00 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.93/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.93/3597.00 c milp : 0.55 0.00 1 0 0 0 0 0 21678 10848 0 0
3586.93/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.93/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.93/3597.00 c sparsify : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
3586.93/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.93/3597.00 c trivial : 0.00 0.00 9 0 0 0 0 0 0 0 0 0
3586.93/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.93/3597.00 c dualfix : 0.00 0.00 9 0 0 0 0 0 0 0 0 0
3586.93/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.93/3597.00 c probing : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3586.93/3597.00 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.93/3597.00 c symmetry : 0.42 0.00 1 0 0 0 0 0 0 1500 0 0
3586.93/3597.00 c vbounds : 0.00 0.00 4 0 1 0 0 0 0 0 0 0
3586.93/3597.00 c knapsack : 0.00 0.00 19 0 0 0 0 0 1 1 4 23
3586.93/3597.00 c setppc : 0.01 0.00 13 0 0 0 0 0 9 0 0 0
3586.93/3597.00 c linear : 0.31 0.12 16 0 0 0 0 0 1 0 10 29
3586.93/3597.00 c logicor : 0.03 0.02 9 0 0 0 0 0 305 0 0 540
3586.93/3597.00 c components : 0.06 0.00 2 0 0 0 0 0 0 0 0 0
3586.93/3597.00 c root node : - - - 0 - - 0 - - - - -
3586.93/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.93/3597.00 c integral : 0 0 0 0 7960 0 0 1740 0 0 0 0 0 0 15920
3586.93/3597.00 c knapsack : 37+ 53 31 404662 0 0 0 1735 89474 1562 20346 1119 109 0 0
3586.93/3597.00 c setppc : 1505+ 1606 31 402836 0 0 0 0 364 36 416 0 0 0 0
3586.93/3597.00 c linear : 10842+ 10860 31 403064 0 0 0 3 20988 8326 2990337 2 1 0 0
3586.93/3597.00 c logicor : 1392+ 1550 31 47483 0 0 0 0 5805 349 4635 209 16 0 0
3586.93/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.93/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.93/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.93/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.93/3597.00 c integral : 17.27 0.00 0.00 0.00 17.27 0.00 0.00 0.00 0.00 0.00
3586.93/3597.00 c knapsack : 23.68 0.00 0.01 23.63 0.00 0.00 0.00 0.01 0.04 0.00
3586.93/3597.00 c setppc : 0.23 0.00 0.00 0.23 0.00 0.00 0.00 0.00 0.00 0.00
3586.93/3597.00 c linear : 107.79 0.12 0.07 107.55 0.00 0.00 0.00 0.00 0.03 0.02
3586.93/3597.00 c logicor : 2.74 0.02 0.01 2.70 0.00 0.00 0.00 0.00 0.01 0.00
3586.93/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.93/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.93/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.93/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.93/3597.00 c dualfix : 2 0 0 0
3586.93/3597.00 c genvbounds : 0 0 0 0
3586.93/3597.00 c nlobbt : 0 0 0 0
3586.93/3597.00 c obbt : 0 0 0 0
3586.93/3597.00 c probing : 0 0 0 0
3586.93/3597.00 c pseudoobj : 34845 0 0 0
3586.93/3597.00 c redcost : 18764 0 0 5
3586.93/3597.00 c rootredcost : 2 0 0 0
3586.93/3597.00 c symmetry : 0 0 0 0
3586.93/3597.00 c vbounds : 93397 0 0 0
3586.93/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.93/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3586.93/3597.00 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3586.93/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.93/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.93/3597.00 c probing : 0.03 0.00 0.03 0.00 0.00 0.00
3586.93/3597.00 c pseudoobj : 0.08 0.00 0.00 0.08 0.00 0.00
3586.93/3597.00 c redcost : 6.02 0.00 0.00 6.02 0.00 0.00
3586.93/3597.00 c rootredcost : 0.04 0.00 0.00 0.04 0.00 0.00
3586.93/3597.00 c symmetry : 0.46 0.00 0.42 0.04 0.00 0.00
3586.93/3597.00 c vbounds : 0.47 0.00 0.00 0.47 0.00 0.00
3586.93/3597.00 c Symmetry :
3587.03/3597.03 c #affected vars : 3000 (3000 bin, 0 int, 0 cont)
3587.03/3597.03 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.03/3597.03 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.03/3597.03 c lexicographic red: 0 reductions applied, 0 cutoffs
3587.03/3597.03 c shadow tree time : 0.00 s
3587.03/3597.03 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.03/3597.03 c propagation : 0.13 2786 2711 - 16752 28.9 287 11.0 - - -
3587.03/3597.03 c infeasible LP : 1.10 779 779 - 3014 25.6 104 14.3 779 23.8 0
3587.03/3597.03 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.03/3597.03 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.03/3597.03 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.03/3597.03 c applied globally : 0.03 - - 0 9427 22.2 - - 779 - -
3587.03/3597.03 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.03/3597.03 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.03/3597.03 c cut pool : 1.81 - 2155 60 - - 35374 516456 - - - - - (maximal pool size: 13300)
3587.03/3597.03 c aggregation : 1.61 0.00 203 31 0 0 21676 294586 18 4519 4514 5 0
3587.03/3597.03 c > cmir : - - - - - - - 116935 0 2548 2548 0 -
3587.03/3597.03 c > flowcover : - - - - - - - 170697 0 1337 1337 0 -
3587.03/3597.03 c > knapsackcover : - - - - - - - 6954 18 634 629 5 -
3587.03/3597.03 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.03/3597.03 c clique : 0.66 0.00 31 31 0 0 0 0 0 0 0 0 0
3587.03/3597.03 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.03/3597.03 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.03/3597.03 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.03/3597.03 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.03/3597.03 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.03/3597.03 c gomory : 17.39 0.00 192 20 0 0 12678 164297 10 4569 4569 0 0
3587.03/3597.03 c > gomorymi : - - - - - - - 95744 10 2952 2952 0 -
3587.03/3597.03 c > strongcg : - - - - - - - 68553 0 1617 1617 0 -
3587.03/3597.03 c impliedbounds : 0.07 0.00 203 31 0 0 352 7702 0 2057 2057 0 0
3587.03/3597.03 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.03/3597.03 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.03/3597.03 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.03/3597.03 c mcf : 0.01 0.00 2 2 0 0 0 0 0 0 0 0 0
3587.03/3597.03 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.03/3597.03 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.03/3597.03 c multilinear : 0.00 0.00 393 31 0 0 0 0 0 0 0 0 0
3587.03/3597.03 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.03/3597.03 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.03/3597.03 c rlt : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
3587.03/3597.03 c zerohalf : 4.31 0.00 203 31 0 0 700 49871 4 4832 4829 3 0
3587.03/3597.03 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.03/3597.03 c hybrid : 0.19 0.00 1951 31 16103 0 501715 388 0 67257
3587.03/3597.03 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.03/3597.03 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.03/3597.03 c Pricers : ExecTime SetupTime Calls Vars
3587.03/3597.03 c problem variables: 0.00 - 0 0
3587.03/3597.03 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.03/3597.03 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.03/3597.03 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.03/3597.03 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.03/3597.03 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.03/3597.03 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.03/3597.03 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.03/3597.03 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.03/3597.03 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.03/3597.03 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.03/3597.03 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.03/3597.03 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.03/3597.03 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.03/3597.03 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.03/3597.03 c relpscost : 17.26 0.00 7960 0 0 0 0 0 0 15920
3587.03/3597.03 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.03/3597.03 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.03/3597.03 c LP solutions : 0.00 - - 0 0
3587.03/3597.03 c relax solutions : 0.00 - - 0 0
3587.03/3597.03 c pseudo solutions : 0.00 - - 0 0
3587.03/3597.03 c strong branching : 0.00 - - 0 0
3587.03/3597.03 c actconsdiving : 0.00 0.00 0 0 0
3587.03/3597.03 c adaptivediving : 12.14 0.00 16 0 0
3587.03/3597.03 c alns : 1.05 0.00 4 0 0
3587.03/3597.03 c bound : 0.00 0.00 0 0 0
3587.03/3597.03 c clique : 0.15 0.00 1 0 0
3587.03/3597.03 c coefdiving : 0.00 0.00 0 0 0
3587.03/3597.03 c completesol : 0.00 0.00 0 0 0
3587.03/3597.03 c conflictdiving : 215.19 0.00 289 0 0
3587.03/3597.03 c crossover : 0.00 0.00 0 0 0
3587.03/3597.03 c dins : 0.00 0.00 0 0 0
3587.03/3597.03 c distributiondivin: 107.35 0.00 137 0 0
3587.03/3597.03 c dks : 0.00 0.00 0 0 0
3587.03/3597.03 c dps : 0.00 0.00 0 0 0
3587.03/3597.03 c dualval : 0.00 0.00 0 0 0
3587.03/3597.03 c farkasdiving : 12.28 0.00 2 0 0
3587.03/3597.03 c feaspump : 156.03 0.00 21 0 0
3587.03/3597.03 c fixandinfer : 0.00 0.00 0 0 0
3587.03/3597.03 c fracdiving : 168.50 0.00 250 0 0
3587.03/3597.03 c gins : 0.00 0.00 0 0 0
3587.03/3597.03 c guideddiving : 0.00 0.00 0 0 0
3587.03/3597.03 c indicator : 0.00 0.00 0 0 0
3587.03/3597.03 c indicatordiving : 0.00 0.00 0 0 0
3587.03/3597.03 c intdiving : 0.00 0.00 0 0 0
3587.03/3597.03 c intshifting : 0.00 0.00 0 0 0
3587.03/3597.03 c linesearchdiving : 117.01 0.00 193 0 0
3587.03/3597.03 c localbranching : 0.00 0.00 0 0 0
3587.03/3597.03 c locks : 0.18 0.00 1 0 0
3587.03/3597.03 c lpface : 0.00 0.00 0 0 0
3587.03/3597.03 c mpec : 0.00 0.00 0 0 0
3587.03/3597.03 c multistart : 0.00 0.00 0 0 0
3587.03/3597.03 c mutation : 0.00 0.00 0 0 0
3587.03/3597.03 c nlpdiving : 0.00 0.00 0 0 0
3587.03/3597.03 c objpscostdiving : 121.87 0.00 7 0 0
3587.03/3597.03 c octane : 0.00 0.00 0 0 0
3587.03/3597.03 c ofins : 0.00 0.00 0 0 0
3587.03/3597.03 c oneopt : 0.01 0.00 0 0 0
3587.03/3597.03 c padm : 0.00 0.00 0 0 0
3587.03/3597.03 c proximity : 0.00 0.00 0 0 0
3587.03/3597.03 c pscostdiving : 99.82 0.00 141 0 0
3587.03/3597.03 c randrounding : 4.59 0.00 1755 0 0
3587.03/3597.03 c rens : 0.23 0.00 2 0 0
3587.03/3597.03 c reoptsols : 0.00 0.00 0 0 0
3587.03/3597.03 c repair : 0.00 0.00 0 0 0
3587.03/3597.03 c rins : 0.00 0.00 0 0 0
3587.03/3597.03 c rootsoldiving : 63.94 0.00 18 0 0
3587.03/3597.03 c rounding : 1.14 0.00 1337 0 0
3587.03/3597.03 c scheduler : 0.00 0.00 0 0 0
3587.03/3597.03 c shiftandpropagate: 0.34 0.00 2 0 0
3587.03/3597.03 c shifting : 8.90 0.00 671 0 0
3587.03/3597.03 c simplerounding : 0.01 0.00 0 0 0
3587.03/3597.03 c subnlp : 0.00 0.00 0 0 0
3587.03/3597.03 c trivial : 0.01 0.00 4 0 0
3587.03/3597.03 c trivialnegation : 0.00 0.00 0 0 0
3587.03/3597.03 c trustregion : 0.00 0.00 0 0 0
3587.03/3597.03 c trysol : 0.00 0.00 0 0 0
3587.03/3597.03 c twoopt : 0.00 0.00 0 0 0
3587.03/3597.03 c undercover : 0.00 0.00 0 0 0
3587.03/3597.03 c vbounds : 0.00 0.00 0 0 0
3587.03/3597.03 c veclendiving : 96.66 0.00 122 0 0
3587.03/3597.03 c zeroobj : 0.00 0.00 0 0 0
3587.03/3597.03 c zirounding : 1.01 0.00 1000 0 0
3587.03/3597.03 c other solutions : - - - 0 -
3587.03/3597.03 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.03/3597.03 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.03/3597.03 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.03/3597.03 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.03/3597.03 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.03/3597.03 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.03/3597.03 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.03/3597.03 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.03/3597.03 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.03/3597.03 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3587.03/3597.03 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.03/3597.03 c primal LP : 20.60 939 3 3.00 0.15 20.54 938
3587.03/3597.03 c dual LP : 2204.76 9992 16278006 1631.72 7383.13 0.15 16
3587.03/3597.03 c lex dual LP : 0.00 0 0 0.00 -
3587.03/3597.03 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.03/3597.03 c resolve instable : 0.00 0 0 0.00 -
3587.03/3597.03 c diving/probing LP: 988.44 4108 9110382 2217.72 9216.94
3587.03/3597.03 c strong branching : 8.49 61 20905 342.70 2460.89 - - 33
3587.03/3597.03 c (at root node) : - 61 20905 342.70 -
3587.03/3597.03 c conflict analysis: 0.00 0 0 0.00 -
3587.03/3597.03 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3587.03/3597.03 c benders : 0.00 0 0 0 0.00 0 0 0
3587.03/3597.03 c B&B Tree :
3587.03/3597.03 c number of runs : 2
3587.03/3597.03 c nodes : 6748 (6016 internal, 732 leaves)
3587.03/3597.03 c feasible leaves : 0
3587.03/3597.03 c infeas. leaves : 731
3587.03/3597.03 c objective leaves : 0
3587.03/3597.03 c nodes (total) : 9288 (7960 internal, 1328 leaves)
3587.03/3597.03 c nodes left : 5084
3587.03/3597.03 c max depth : 60
3587.03/3597.03 c max depth (total): 60
3587.03/3597.03 c backtracks : 1448 (21.5%)
3587.03/3597.03 c early backtracks : 0 (0.0%)
3587.03/3597.03 c nodes exc. ref. : 0 (0.0%)
3587.03/3597.03 c delayed cutoffs : 202
3587.03/3597.03 c repropagations : 542 (39732 domain reductions, 73 cutoffs)
3587.03/3597.03 c avg switch length: 4.42
3587.03/3597.03 c switching time : 53.42
3587.03/3597.03 c Root Node :
3587.03/3597.03 c First LP value : +1.80000000000000e+01
3587.03/3597.03 c First LP Iters : 11322 (12887.32 Iter/sec)
3587.03/3597.03 c First LP Time : 0.88
3587.03/3597.03 c Final Dual Bound : +1.90013850415513e+01
3587.03/3597.03 c Final Root Iters : 31342
3587.03/3597.03 c Root LP Estimate : +8.98104751484887e+01
3587.03/3597.03 c Solution :
3587.03/3597.03 c Solutions found : 0 (0 improvements)
3587.03/3597.03 c Primal Bound : -
3587.03/3597.03 c Dual Bound : +1.93241545342951e+01
3587.03/3597.03 c Gap : infinite
3587.03/3597.03 c Integrals : Total Avg%
3587.03/3597.03 c primal-dual : 359699.86 100.00
3587.03/3597.03 c primal-ref : - - (not evaluated)
3587.03/3597.03 c dual-ref : - - (not evaluated)
3587.23/3597.23 c Time complete (sec): 3587.275
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 (59264 MiB free)
memory of node 1: 64507 MiB (47439 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490805-1751384297/watcher-4490805-1751384297 -o /tmp/evaluation-result-4490805-1751384297/solver-4490805-1751384297 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751384297-53586 --watchdog 3760 pbsolver -f HOME/instance-4490805-1751384297.opb -t 3600 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Current StackSize limit: 8192 KiB
solver pid=53641, runsolver pid=53630
[startup+0.10006 s]*
/proc/loadavg: 0.65 1.11 1.92 5/267 53642
/proc/meminfo: memFree=109157388/131249988 swapFree=33010160/33010684
[pid=53641] ppid=53630 vsize=39872 memory=29824 CPUtime=0.1 cores=5,7
/proc/53641/stat : 53641 (pbsolver) R 53630 53641 53573 0 -1 4194304 5508 0 0 0 9 1 0 0 20 0 1 0 54108585 40828928 7456 18446744073709551615 4198400 14743177 140720873383152 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54439936 140720873388426 140720873388522 140720873388522 140720873394124 0
/proc/53641/statm: 9968 7456 2176 2575 0 6875 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39872 KiB
Current children cumulated memory: 29824 KiB
[startup+0.204756 s]*
/proc/loadavg: 0.65 1.11 1.92 5/267 53642
/proc/meminfo: memFree=109089776/131249988 swapFree=33010160/33010684
[pid=53641] ppid=53630 vsize=71240 memory=61312 CPUtime=0.2 cores=5,7
/proc/53641/stat : 53641 (pbsolver) R 53630 53641 53573 0 -1 4194304 13270 0 0 0 18 2 0 0 20 0 1 0 54108585 72949760 15328 18446744073709551615 4198400 14743177 140720873383152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54439936 140720873388426 140720873388522 140720873388522 140720873394124 0
/proc/53641/statm: 17810 15328 2368 2575 0 14717 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 71240 KiB
Current children cumulated memory: 61312 KiB
[startup+0.305473 s]*
/proc/loadavg: 0.65 1.11 1.92 5/267 53642
/proc/meminfo: memFree=108969508/131249988 swapFree=33010160/33010684
[pid=53641] ppid=53630 vsize=154092 memory=141904 CPUtime=0.3 cores=5,7
/proc/53641/stat : 53641 (pbsolver) R 53630 53641 53573 0 -1 4194304 35642 0 0 0 24 6 0 0 20 0 1 0 54108585 157790208 35476 18446744073709551615 4198400 14743177 140720873383152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54439936 140720873388426 140720873388522 140720873388522 140720873394124 0
/proc/53641/statm: 38523 35476 2368 2575 0 35430 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 154092 KiB
Current children cumulated memory: 141904 KiB
[startup+0.700148 s]
/proc/loadavg: 0.65 1.11 1.92 5/267 53642
/proc/meminfo: memFree=108857052/131249988 swapFree=33010160/33010684
[pid=53641] ppid=53630 vsize=310884 memory=293952 CPUtime=0.68 cores=5,7
/proc/53641/stat : 53641 (pbsolver) R 53630 53641 53573 0 -1 4194304 61148 0 0 0 55 13 0 0 20 0 1 0 54108585 318345216 73488 18446744073709551615 4198400 14743177 140720873383152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54439936 140720873388426 140720873388522 140720873388522 140720873394124 0
/proc/53641/statm: 77721 73488 2464 2575 0 74628 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 310884 KiB
Current children cumulated memory: 293952 KiB
[startup+1.50014 s]
/proc/loadavg: 0.65 1.11 1.92 5/267 53642
/proc/meminfo: memFree=108686364/131249988 swapFree=33010160/33010684
[pid=53641] ppid=53630 vsize=361228 memory=323404 CPUtime=1.48 cores=5,7
/proc/53641/stat : 53641 (pbsolver) R 53630 53641 53573 0 -1 4194304 74862 0 0 0 133 15 0 0 20 0 1 0 54108585 369897472 80819 18446744073709551615 4198400 14743177 140720873383152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54439936 140720873388426 140720873388522 140720873388522 140720873394124 0
/proc/53641/statm: 90307 80819 2592 2575 0 87214 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 361228 KiB
Current children cumulated memory: 323404 KiB
[startup+3.10505 s]
/proc/loadavg: 0.92 1.16 1.93 5/267 53642
/proc/meminfo: memFree=108451744/131249988 swapFree=33010160/33010684
[pid=53641] ppid=53630 vsize=534208 memory=483016 CPUtime=3.09 cores=5,7
/proc/53641/stat : 53641 (pbsolver) R 53630 53641 53573 0 -1 4194304 111840 0 0 0 288 21 0 0 20 0 1 0 54108585 547028992 120754 18446744073709551615 4198400 14743177 140720873383152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54439936 140720873388426 140720873388522 140720873388522 140720873394124 0
/proc/53641/statm: 133552 120754 2656 2575 0 130459 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 534208 KiB
Current children cumulated memory: 483016 KiB
[startup+6.30013 s]
/proc/loadavg: 0.92 1.16 1.93 5/267 53642
/proc/meminfo: memFree=108437608/131249988 swapFree=33010160/33010684
[pid=53641] ppid=53630 vsize=536144 memory=484680 CPUtime=6.27 cores=5,7
/proc/53641/stat : 53641 (pbsolver) R 53630 53641 53573 0 -1 4194304 112255 0 0 0 606 21 0 0 20 0 1 0 54108585 549011456 121170 18446744073709551615 4198400 14743177 140720873383152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54439936 140720873388426 140720873388522 140720873388522 140720873394124 0
/proc/53641/statm: 134036 121170 2656 2575 0 130943 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 536144 KiB
Current children cumulated memory: 484680 KiB
[startup+12.7002 s]
/proc/loadavg: 1.25 1.22 1.94 5/266 53687
/proc/meminfo: memFree=108368932/131249988 swapFree=33010160/33010684
[pid=53641] ppid=53630 vsize=611052 memory=559760 CPUtime=12.65 cores=5,7
/proc/53641/stat : 53641 (pbsolver) R 53630 53641 53573 0 -1 4194304 124024 0 0 0 1241 24 0 0 20 0 1 0 54108585 625717248 139940 18446744073709551615 4198400 14743177 140720873383152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54439936 140720873388426 140720873388522 140720873388522 140720873394124 0
/proc/53641/statm: 152763 139940 2688 2575 0 149670 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 611052 KiB
Current children cumulated memory: 559760 KiB
[startup+25.5002 s]
/proc/loadavg: 1.86 1.36 1.98 5/266 53822
/proc/meminfo: memFree=108217784/131249988 swapFree=33010160/33010684
[pid=53641] ppid=53630 vsize=659136 memory=602640 CPUtime=25.42 cores=5,7
/proc/53641/stat : 53641 (pbsolver) R 53630 53641 53573 0 -1 4194304 134744 0 0 0 2516 26 0 0 20 0 1 0 54108585 674955264 150660 18446744073709551615 4198400 14743177 140720873383152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54439936 140720873388426 140720873388522 140720873388522 140720873394124 0
/proc/53641/statm: 164784 150660 2688 2575 0 161691 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 659136 KiB
Current children cumulated memory: 602640 KiB
[startup+51.1055 s]
/proc/loadavg: 2.53 1.56 2.03 5/266 53958
/proc/meminfo: memFree=108048960/131249988 swapFree=33010160/33010684
[pid=53641] ppid=53630 vsize=659136 memory=602640 CPUtime=50.95 cores=5,7
/proc/53641/stat : 53641 (pbsolver) R 53630 53641 53573 0 -1 4194304 134760 0 0 0 5069 26 0 0 20 0 1 0 54108585 674955264 150660 18446744073709551615 4198400 14743177 140720873383152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54439936 140720873388426 140720873388522 140720873388522 140720873394124 0
/proc/53641/statm: 164784 150660 2688 2575 0 161691 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 659136 KiB
Current children cumulated memory: 602640 KiB
[startup+102.3 s]
/proc/loadavg: 3.48 1.97 2.14 5/264 53960
/proc/meminfo: memFree=107875296/131249988 swapFree=33010160/33010684
[pid=53641] ppid=53630 vsize=750660 memory=694704 CPUtime=102 cores=5,7
/proc/53641/stat : 53641 (pbsolver) R 53630 53641 53573 0 -1 4194304 156404 0 0 0 10170 30 0 0 20 0 1 0 54108585 768675840 173676 18446744073709551615 4198400 14743177 140720873383152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54439936 140720873388426 140720873388522 140720873388522 140720873394124 0
/proc/53641/statm: 187665 173676 2688 2575 0 184572 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 750660 KiB
Current children cumulated memory: 694704 KiB
[startup+162.3 s]
/proc/loadavg: 3.87 2.35 2.27 5/264 53962
/proc/meminfo: memFree=107802816/131249988 swapFree=33010160/33010684
[pid=53641] ppid=53630 vsize=750660 memory=694704 CPUtime=161.79 cores=5,7
/proc/53641/stat : 53641 (pbsolver) R 53630 53641 53573 0 -1 4194304 156420 0 0 0 16149 30 0 0 20 0 1 0 54108585 768675840 173676 18446744073709551615 4198400 14743177 140720873383152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54439936 140720873388426 140720873388522 140720873388522 140720873394124 0
/proc/53641/statm: 187665 173676 2688 2575 0 184572 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 750660 KiB
Current children cumulated memory: 694704 KiB
[startup+222.3 s]
/proc/loadavg: 3.96 2.66 2.38 5/264 53963
/proc/meminfo: memFree=107715212/131249988 swapFree=33010160/33010684
[pid=53641] ppid=53630 vsize=750660 memory=694704 CPUtime=221.59 cores=5,7
/proc/53641/stat : 53641 (pbsolver) R 53630 53641 53573 0 -1 4194304 156436 0 0 0 22129 30 0 0 20 0 1 0 54108585 768675840 173676 18446744073709551615 4198400 14743177 140720873383152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54439936 140720873388426 140720873388522 140720873388522 140720873394124 0
/proc/53641/statm: 187665 173676 2688 2575 0 184572 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 750660 KiB
Current children cumulated memory: 694704 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 2.93 2.49 5/262 53965
/proc/meminfo: memFree=107633372/131249988 swapFree=33010160/33010684
[pid=53641] ppid=53630 vsize=750660 memory=694704 CPUtime=281.39 cores=5,7
/proc/53641/stat : 53641 (pbsolver) R 53630 53641 53573 0 -1 4194304 156438 0 0 0 28109 30 0 0 20 0 1 0 54108585 768675840 173676 18446744073709551615 4198400 14743177 140720873383152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54439936 140720873388426 140720873388522 140720873388522 140720873394124 0
/proc/53641/statm: 187665 173676 2688 2575 0 184572 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 750660 KiB
Current children cumulated memory: 694704 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 3.15 2.60 5/263 53968
/proc/meminfo: memFree=107492348/131249988 swapFree=33010160/33010684
[pid=53641] ppid=53630 vsize=758056 memory=705200 CPUtime=341.2 cores=5,7
/proc/53641/stat : 53641 (pbsolver) R 53630 53641 53573 0 -1 4194304 159100 0 0 0 34089 31 0 0 20 0 1 0 54108585 776249344 176300 18446744073709551615 4198400 14743177 140720873383152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54439936 140720873388426 140720873388522 140720873388522 140720873394124 0
/proc/53641/statm: 189514 176300 2688 2575 0 186421 0
Current children cumulated CPU time: 341.2 s
Current children cumulated vsize: 758056 KiB
Current children cumulated memory: 705200 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 3.32 2.69 5/264 53973
/proc/meminfo: memFree=107465004/131249988 swapFree=33010160/33010684
[pid=53641] ppid=53630 vsize=758056 memory=705200 CPUtime=401.01 cores=5,7
/proc/53641/stat : 53641 (pbsolver) R 53630 53641 53573 0 -1 4194304 159106 0 0 0 40070 31 0 0 20 0 1 0 54108585 776249344 176300 18446744073709551615 4198400 14743177 140720873383152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54439936 140720873388426 140720873388522 140720873388522 140720873394124 0
/proc/53641/statm: 189514 176300 2688 2575 0 186421 0
Current children cumulated CPU time: 401.01 s
Current children cumulated vsize: 758056 KiB
Current children cumulated memory: 705200 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 3.46 2.78 5/264 53975
/proc/meminfo: memFree=107354404/131249988 swapFree=33010160/33010684
[pid=53641] ppid=53630 vsize=758056 memory=705200 CPUtime=460.81 cores=5,7
/proc/53641/stat : 53641 (pbsolver) R 53630 53641 53573 0 -1 4194304 159131 0 0 0 46050 31 0 0 20 0 1 0 54108585 776249344 176300 18446744073709551615 4198400 14743177 140720873383152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54439936 140720873388426 140720873388522 140720873388522 140720873394124 0
/proc/53641/statm: 189514 176300 2688 2575 0 186421 0
################
# More data... #
################
/proc/loadavg: 4.16 4.23 4.10 5/265 54124
/proc/meminfo: memFree=103796652/131249988 swapFree=33010160/33010684
[pid=53641] ppid=53630 vsize=964840 memory=955956 CPUtime=3153.39 cores=5,7
/proc/53641/stat : 53641 (pbsolver) R 53630 53641 53573 0 -1 4194304 220307 0 0 0 315297 42 0 0 20 0 1 0 54108585 987996160 238989 18446744073709551615 4198400 14743177 140720873383152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54439936 140720873388426 140720873388522 140720873388522 140720873394124 0
/proc/53641/statm: 241210 238989 2688 2575 0 238117 0
Current children cumulated CPU time: 3153.39 s
Current children cumulated vsize: 964840 KiB
Current children cumulated memory: 955956 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.22 4.10 5/265 54126
/proc/meminfo: memFree=103711908/131249988 swapFree=33010160/33010684
[pid=53641] ppid=53630 vsize=969656 memory=960692 CPUtime=3213.24 cores=5,7
/proc/53641/stat : 53641 (pbsolver) R 53630 53641 53573 0 -1 4194304 221487 0 0 0 321282 42 0 0 20 0 1 0 54108585 992927744 240173 18446744073709551615 4198400 14743177 140720873383152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54439936 140720873388426 140720873388522 140720873388522 140720873394124 0
/proc/53641/statm: 242414 240173 2688 2575 0 239321 0
Current children cumulated CPU time: 3213.24 s
Current children cumulated vsize: 969656 KiB
Current children cumulated memory: 960692 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.19 4.10 5/264 54128
/proc/meminfo: memFree=103662592/131249988 swapFree=33010160/33010684
[pid=53641] ppid=53630 vsize=978180 memory=969268 CPUtime=3273.09 cores=5,7
/proc/53641/stat : 53641 (pbsolver) R 53630 53641 53573 0 -1 4194304 223683 0 0 0 327267 42 0 0 20 0 1 0 54108585 1001656320 242317 18446744073709551615 4198400 14743177 140720873383152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54439936 140720873388426 140720873388522 140720873388522 140720873394124 0
/proc/53641/statm: 244545 242317 2688 2575 0 241452 0
Current children cumulated CPU time: 3273.09 s
Current children cumulated vsize: 978180 KiB
Current children cumulated memory: 969268 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.17 4.09 5/264 54130
/proc/meminfo: memFree=103525412/131249988 swapFree=33010160/33010684
[pid=53641] ppid=53630 vsize=982988 memory=974132 CPUtime=3332.95 cores=5,7
/proc/53641/stat : 53641 (pbsolver) R 53630 53641 53573 0 -1 4194304 224894 0 0 0 333252 43 0 0 20 0 1 0 54108585 1006579712 243533 18446744073709551615 4198400 14743177 140720873383152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54439936 140720873388426 140720873388522 140720873388522 140720873394124 0
/proc/53641/statm: 245747 243533 2688 2575 0 242654 0
Current children cumulated CPU time: 3332.95 s
Current children cumulated vsize: 982988 KiB
Current children cumulated memory: 974132 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.17 4.09 5/265 54135
/proc/meminfo: memFree=103458952/131249988 swapFree=33010160/33010684
[pid=53641] ppid=53630 vsize=991744 memory=982708 CPUtime=3392.8 cores=5,7
/proc/53641/stat : 53641 (pbsolver) R 53630 53641 53573 0 -1 4194304 227098 0 0 0 339237 43 0 0 20 0 1 0 54108585 1015545856 245677 18446744073709551615 4198400 14743177 140720873383152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54439936 140720873388426 140720873388522 140720873388522 140720873394124 0
/proc/53641/statm: 247936 245677 2688 2575 0 244843 0
Current children cumulated CPU time: 3392.8 s
Current children cumulated vsize: 991744 KiB
Current children cumulated memory: 982708 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.15 4.09 5/265 54137
/proc/meminfo: memFree=103398500/131249988 swapFree=33010160/33010684
[pid=53641] ppid=53630 vsize=1000196 memory=991796 CPUtime=3452.66 cores=5,7
/proc/53641/stat : 53641 (pbsolver) R 53630 53641 53573 0 -1 4194304 229674 0 0 0 345222 44 0 0 20 0 1 0 54108585 1024200704 247949 18446744073709551615 4198400 14743177 140720873383152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54439936 140720873388426 140720873388522 140720873388522 140720873394124 0
/proc/53641/statm: 250049 247949 2688 2575 0 246956 0
Current children cumulated CPU time: 3452.66 s
Current children cumulated vsize: 1000196 KiB
Current children cumulated memory: 991796 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.14 4.09 5/265 54139
/proc/meminfo: memFree=103326592/131249988 swapFree=33010160/33010684
[pid=53641] ppid=53630 vsize=1011900 memory=1003332 CPUtime=3512.51 cores=5,7
/proc/53641/stat : 53641 (pbsolver) R 53630 53641 53573 0 -1 4194304 231180 0 0 0 351207 44 0 0 20 0 1 0 54108585 1036185600 250833 18446744073709551615 4198400 14743177 140720873383152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54439936 140720873388426 140720873388522 140720873388522 140720873394124 0
/proc/53641/statm: 252975 250833 2688 2575 0 249882 0
Current children cumulated CPU time: 3512.51 s
Current children cumulated vsize: 1011900 KiB
Current children cumulated memory: 1003332 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.12 4.09 5/265 54145
/proc/meminfo: memFree=103266728/131249988 swapFree=33010160/33010684
[pid=53641] ppid=53630 vsize=1017912 memory=1006276 CPUtime=3572.36 cores=5,7
/proc/53641/stat : 53641 (pbsolver) R 53630 53641 53573 0 -1 4194304 233073 0 0 0 357192 44 0 0 20 0 1 0 54108585 1042341888 251569 18446744073709551615 4198400 14743177 140720873383152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54439936 140720873388426 140720873388522 140720873388522 140720873394124 0
/proc/53641/statm: 254478 251569 2688 2575 0 251385 0
Current children cumulated CPU time: 3572.36 s
Current children cumulated vsize: 1017912 KiB
Current children cumulated memory: 1006276 KiB
[startup+3597.24 s]
# the end of solver process 53641 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.82 s, system=0.457557 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.14 4.14 4.09 5/265 54145
/proc/meminfo: memFree=103266776/131249988 swapFree=33010160/33010684
[pid=53641] ppid=53630 vsize=1017912 memory=1006276 CPUtime=3574.06 cores=5,7
/proc/53641/stat : 53641 (pbsolver) R 53630 53641 53573 0 -1 4194304 233073 0 0 0 357362 44 0 0 20 0 1 0 54108585 1042341888 251569 18446744073709551615 4198400 14743177 140720873383152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54439936 140720873388426 140720873388522 140720873388522 140720873394124 0
/proc/53641/statm: 254478 251569 2688 2575 0 251385 0
Current children cumulated CPU time: 3574.06 s
Current children cumulated vsize: 1017912 KiB
Current children cumulated memory: 1006276 KiB
[startup+3590.4 s]
/proc/loadavg: 4.13 4.14 4.09 5/265 54145
/proc/meminfo: memFree=103262744/131249988 swapFree=33010160/33010684
[pid=53641] ppid=53630 vsize=1017912 memory=1006532 CPUtime=3580.44 cores=5,7
/proc/53641/stat : 53641 (pbsolver) R 53630 53641 53573 0 -1 4194304 233128 0 0 0 358000 44 0 0 20 0 1 0 54108585 1042341888 251633 18446744073709551615 4198400 14743177 140720873383152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54439936 140720873388426 140720873388522 140720873388522 140720873394124 0
/proc/53641/statm: 254478 251633 2688 2575 0 251385 0
Current children cumulated CPU time: 3580.44 s
Current children cumulated vsize: 1017912 KiB
Current children cumulated memory: 1006532 KiB
[startup+3593.6 s]
/proc/loadavg: 4.13 4.14 4.09 5/265 54145
/proc/meminfo: memFree=103255040/131249988 swapFree=33010160/33010684
[pid=53641] ppid=53630 vsize=1017912 memory=1006532 CPUtime=3583.64 cores=5,7
/proc/53641/stat : 53641 (pbsolver) R 53630 53641 53573 0 -1 4194304 233129 0 0 0 358320 44 0 0 20 0 1 0 54108585 1042341888 251633 18446744073709551615 4198400 14743177 140720873383152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54439936 140720873388426 140720873388522 140720873388522 140720873394124 0
/proc/53641/statm: 254478 251633 2688 2575 0 251385 0
Current children cumulated CPU time: 3583.64 s
Current children cumulated vsize: 1017912 KiB
Current children cumulated memory: 1006532 KiB
[startup+3595.2 s]
/proc/loadavg: 4.12 4.13 4.09 5/265 54145
/proc/meminfo: memFree=103253276/131249988 swapFree=33010160/33010684
[pid=53641] ppid=53630 vsize=1017912 memory=1006532 CPUtime=3585.23 cores=5,7
/proc/53641/stat : 53641 (pbsolver) R 53630 53641 53573 0 -1 4194304 233129 0 0 0 358479 44 0 0 20 0 1 0 54108585 1042341888 251633 18446744073709551615 4198400 14743177 140720873383152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54439936 140720873388426 140720873388522 140720873388522 140720873394124 0
/proc/53641/statm: 254478 251633 2688 2575 0 251385 0
Current children cumulated CPU time: 3585.23 s
Current children cumulated vsize: 1017912 KiB
Current children cumulated memory: 1006532 KiB
[startup+3596 s]*
/proc/loadavg: 4.12 4.13 4.09 5/265 54145
/proc/meminfo: memFree=103253276/131249988 swapFree=33010160/33010684
[pid=53641] ppid=53630 vsize=1017912 memory=1006532 CPUtime=3586.03 cores=5,7
/proc/53641/stat : 53641 (pbsolver) R 53630 53641 53573 0 -1 4194304 233129 0 0 0 358559 44 0 0 20 0 1 0 54108585 1042341888 251633 18446744073709551615 4198400 14743177 140720873383152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54439936 140720873388426 140720873388522 140720873388522 140720873394124 0
/proc/53641/statm: 254478 251633 2688 2575 0 251385 0
Current children cumulated CPU time: 3586.03 s
Current children cumulated vsize: 1017912 KiB
Current children cumulated memory: 1006532 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.13 4.09 5/265 54145
/proc/meminfo: memFree=103253276/131249988 swapFree=33010160/33010684
[pid=53641] ppid=53630 vsize=1017912 memory=1006532 CPUtime=3586.83 cores=5,7
/proc/53641/stat : 53641 (pbsolver) R 53630 53641 53573 0 -1 4194304 233129 0 0 0 358639 44 0 0 20 0 1 0 54108585 1042341888 251633 18446744073709551615 4198400 14743177 140720873383152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54439936 140720873388426 140720873388522 140720873388522 140720873394124 0
/proc/53641/statm: 254478 251633 2688 2575 0 251385 0
Current children cumulated CPU time: 3586.83 s
Current children cumulated vsize: 1017912 KiB
Current children cumulated memory: 1006532 KiB
[startup+3597.2 s]
/proc/loadavg: 4.12 4.13 4.09 5/265 54145
/proc/meminfo: memFree=103253276/131249988 swapFree=33010160/33010684
[pid=53641] ppid=53630 vsize=1003564 memory=992240 CPUtime=3587.23 cores=5,7
/proc/53641/stat : 53641 (pbsolver) R 53630 53641 53573 0 -1 4194304 233210 0 0 0 358679 44 0 0 20 0 1 0 54108585 1027649536 248060 18446744073709551615 4198400 14743177 140720873383152 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 54439936 140720873388426 140720873388522 140720873388522 140720873394124 0
/proc/53641/statm: 250891 248060 2688 2575 0 247798 0
Current children cumulated CPU time: 3587.23 s
Current children cumulated vsize: 1003564 KiB
Current children cumulated memory: 992240 KiB
Child status: 0
Real time (s): 3597.24
CPU time (s): 3587.28
CPU user time (s): 3586.82
CPU system time (s): 0.457557
CPU usage (%): 99.7231
Max. virtual memory (cumulated for all children) (KiB): 1017912
Max. memory (cumulated for all children) (KiB): 1006532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.82
system time used= 0.457557
maximum resident set size= 1006532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 233237
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= 50
involuntary context switches= 2576
# summary of solver processes directly reported to runsolver:
# pid: 53641
# total CPU time (s): 3587.28
# total CPU user time (s): 3586.82
# total CPU system time (s): 0.457557
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.98845 second user time and 15.3495 second system time
The end