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-4498993-1751406345.opb>
0.00/0.03 c original problem has 8424 variables (8424 bin, 0 int, 0 cont) and 9089 constraints
0.00/0.03 c problem read in 0.031 seconds
0.00/0.06 c presolving:
0.00/0.09 c (round 1, fast) 9 del vars, 1 del conss, 0 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2293 clqs
0.09/0.10 c (round 2, fast) 9 del vars, 8416 del conss, 0 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2293 clqs
0.09/0.12 c (0.1s) running MILP presolver
0.09/0.14 c (0.1s) MILP presolver found nothing
0.09/0.17 c (round 3, exhaustive) 9 del vars, 8416 del conss, 0 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 673 upgd conss, 0 impls, 2293 clqs
0.19/0.30 c (0.3s) probing: 51/8415 (0.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.30 c (0.3s) probing aborted: 50/50 successive totally useless probings
0.29/0.32 c (0.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1.49/1.53 c (1.5s) symmetry computation finished: 651 generators found (max: 1500, log10 of symmetry group size: 225.33) (symcode time: 1.20)
1.49/1.58 c dynamic symmetry handling statistics:
1.49/1.58 c orbitopal reduction: no components
1.49/1.58 c orbital reduction: no components
1.49/1.58 c lexicographic reduction: no permutations
1.49/1.58 c handled 1 out of 1 symmetry components
1.49/1.58 c (round 4, exhaustive) 585 del vars, 8416 del conss, 575 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 673 upgd conss, 0 impls, 1886 clqs
1.58/1.60 c (round 5, medium) 786 del vars, 8416 del conss, 575 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 673 upgd conss, 0 impls, 1885 clqs
1.58/1.61 c (round 6, medium) 844 del vars, 8416 del conss, 575 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 673 upgd conss, 0 impls, 1862 clqs
1.58/1.62 c (round 7, medium) 893 del vars, 8416 del conss, 575 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 673 upgd conss, 0 impls, 1837 clqs
1.58/1.63 c (round 8, medium) 1001 del vars, 8416 del conss, 575 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 673 upgd conss, 0 impls, 1793 clqs
1.58/1.63 c (round 9, medium) 1079 del vars, 8416 del conss, 575 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 673 upgd conss, 0 impls, 1793 clqs
1.58/1.64 c (round 10, medium) 1108 del vars, 8416 del conss, 575 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 673 upgd conss, 0 impls, 1793 clqs
1.58/1.67 c (round 11, exhaustive) 1139 del vars, 8416 del conss, 575 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 673 upgd conss, 0 impls, 2358 clqs
2.78/2.84 c (2.8s) probing: 1000/8415 (11.9%) - 27 fixings, 0 aggregations, 78589 implications, 0 bound changes
3.08/3.19 c (3.2s) probing: 1303/8415 (15.5%) - 27 fixings, 0 aggregations, 97182 implications, 0 bound changes
3.08/3.19 c (3.2s) probing aborted: 1000/1000 successive useless probings
3.18/3.21 c presolving (12 rounds: 12 fast, 10 medium, 4 exhaustive):
3.18/3.21 c 1139 deleted vars, 8416 deleted constraints, 575 added constraints, 9 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
3.18/3.21 c 0 implications, 73381 cliques
3.18/3.21 c presolved problem has 7285 variables (7285 bin, 0 int, 0 cont) and 1248 constraints
3.18/3.21 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
3.18/3.21 c 576 constraints of type <knapsack>
3.18/3.21 c 97 constraints of type <setppc>
3.18/3.21 c 575 constraints of type <orbitope_pp>
3.18/3.21 c transformed objective value is always integral (scale: 1)
3.18/3.21 c Presolving Time: 3.15
3.18/3.21 c
3.18/3.21 c - non default parameters ----------------------------------------------------------------------
3.18/3.21 c
3.18/3.21 c # SCIP version 10.0.0
3.18/3.21 c
3.18/3.21 c # maximal time in seconds to run
3.18/3.21 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
3.18/3.21 c limits/time = 3596.998468
3.18/3.21 c
3.18/3.21 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.18/3.21 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
3.18/3.21 c limits/memory = 27900
3.18/3.21 c
3.18/3.21 c # belongs reading time to solving time?
3.18/3.21 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
3.18/3.21 c timing/reading = TRUE
3.18/3.21 c
3.18/3.21 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
3.18/3.21 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
3.18/3.21 c reading/opbreader/maxintsize = 47
3.18/3.21 c
3.18/3.21 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
3.18/3.21 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
3.18/3.21 c propagating/genvbounds/timingmask = 0
3.18/3.21 c
3.18/3.21 c -----------------------------------------------------------------------------------------------
3.18/3.21 c
3.87/3.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.87/3.99 c 4.0s| 1 | 0 | 1350 | - | 188M | 0 |7285 |1315 | 673 | 0 | 0 | 66 | 0 | 9.000000e+00 | -- | Inf | unknown
4.58/4.61 c 4.6s| 1 | 0 | 3031 | - | 193M | 0 |7285 |1316 | 697 | 24 | 1 | 67 | 0 | 9.000000e+00 | -- | Inf | unknown
4.68/4.73 c 4.7s| 1 | 0 | 3268 | - | 197M | 0 |7285 |1316 | 721 | 48 | 2 | 67 | 0 | 9.000000e+00 | -- | Inf | unknown
4.77/4.89 c 4.9s| 1 | 0 | 3709 | - | 198M | 0 |7285 |1316 | 745 | 72 | 3 | 67 | 0 | 9.000000e+00 | -- | Inf | unknown
5.27/5.31 c 5.3s| 1 | 0 | 5810 | - | 206M | 0 |7285 |1316 | 771 | 98 | 4 | 67 | 0 | 9.000000e+00 | -- | Inf | unknown
5.47/5.52 c 5.5s| 1 | 0 | 6443 | - | 208M | 0 |7285 |1317 | 797 | 124 | 5 | 68 | 0 | 9.000000e+00 | -- | Inf | unknown
5.67/5.70 c 5.7s| 1 | 0 | 6996 | - | 212M | 0 |7285 |1319 | 827 | 154 | 6 | 70 | 0 | 9.000000e+00 | -- | Inf | unknown
6.17/6.28 c 6.3s| 1 | 0 | 10720 | - | 215M | 0 |7285 |1326 | 857 | 184 | 7 | 77 | 0 | 9.000000e+00 | -- | Inf | unknown
6.47/6.53 c 6.5s| 1 | 0 | 11218 | - | 227M | 0 |7285 |1326 | 882 | 209 | 8 | 77 | 0 | 9.000000e+00 | -- | Inf | unknown
6.67/6.73 c 6.7s| 1 | 0 | 11732 | - | 231M | 0 |7285 |1326 | 913 | 240 | 9 | 77 | 0 | 9.000000e+00 | -- | Inf | unknown
6.87/6.98 c 7.0s| 1 | 0 | 12653 | - | 234M | 0 |7285 |1326 | 938 | 265 | 10 | 77 | 0 | 9.000000e+00 | -- | Inf | unknown
7.17/7.28 c 7.3s| 1 | 0 | 13829 | - | 235M | 0 |7285 |1326 | 944 | 292 | 11 | 77 | 0 | 9.000000e+00 | -- | Inf | unknown
8.66/8.76 c 8.8s| 1 | 2 | 19968 | - | 236M | 0 |7285 |1374 | 944 | 292 | 11 | 125 | 11 | 9.000000e+00 | -- | Inf | unknown
25.60/25.76 c 25.8s| 100 | 81 |115512 |1027.1 | 245M | 28 |7285 |1692 | 751 | 480 | 1 | 448 | 11 | 9.000000e+00 | -- | Inf | 6.25%
33.08/33.29 c 33.3s| 200 | 135 |161663 | 742.9 | 251M | 39 |7285 |1854 | 771 | 613 | 1 | 640 | 11 | 9.000000e+00 | -- | Inf | 6.36%
50.32/50.54 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
50.32/50.54 c 50.5s| 300 | 203 |271423 | 861.5 | 260M | 42 |7285 |2047 | 779 | 945 | 1 | 865 | 11 | 9.000000e+00 | -- | Inf | 6.36%
65.58/65.86 c 65.9s| 400 | 287 |374459 | 903.8 | 265M | 42 |7285 |2272 | 745 |1312 | 1 |1208 | 11 | 9.000000e+00 | -- | Inf | 6.36%
80.74/81.05 c 81.1s| 500 | 363 |470649 | 915.5 | 270M | 42 |7285 |2314 | 724 |1745 | 1 |1378 | 11 | 9.000000e+00 | -- | Inf | 6.55%
102.78/103.19 c 103s| 600 | 444 |618333 |1009.2 | 276M | 43 |7285 |2377 | 757 |2327 | 1 |1617 | 11 | 9.000000e+00 | -- | Inf | 6.55%
112.85/113.27 c 113s| 700 | 532 |680522 | 953.8 | 281M | 43 |7285 |2380 | 748 |2651 | 1 |1743 | 11 | 9.000000e+00 | -- | Inf | 6.65%
130.61/131.08 c 131s| 800 | 618 |793497 | 975.8 | 284M | 43 |7285 |2506 | 757 |2972 | 1 |1996 | 11 | 9.000000e+00 | -- | Inf | 6.65%
144.06/144.53 c 145s| 900 | 688 |884002 | 967.9 | 286M | 45 |7285 |2532 | 779 |3173 | 1 |2086 | 11 | 9.000000e+00 | -- | Inf | 6.65%
158.12/158.61 c 159s| 1000 | 762 |977665 | 964.8 | 292M | 45 |7285 |2693 | 775 |3472 | 1 |2355 | 11 | 9.000000e+00 | -- | Inf | 6.65%
172.68/173.29 c 173s| 1100 | 849 | 1071k| 962.3 | 296M | 45 |7285 |2713 | 751 |3893 | 1 |2526 | 11 | 9.000000e+00 | -- | Inf | 6.65%
183.75/184.39 c 184s| 1200 | 929 | 1131k| 932.4 | 302M | 45 |7285 |2726 | 750 |4262 | 1 |2686 | 11 | 9.000000e+00 | -- | Inf | 6.65%
192.73/193.30 c 193s| 1300 | 1019 | 1180k| 897.9 | 304M | 45 |7285 |2722 | 744 |4525 | 1 |2820 | 11 | 9.000000e+00 | -- | Inf | 9.77%
203.50/204.14 c 204s| 1400 | 1103 | 1238k| 875.2 | 306M | 45 |7285 |2778 | 751 |4965 | 1 |2969 | 11 | 9.000000e+00 | -- | Inf | 9.77%
212.87/213.51 c 214s| 1500 | 1187 | 1282k| 846.1 | 307M | 48 |7285 |2751 | 757 |5355 | 1 |3060 | 11 | 9.000000e+00 | -- | Inf | 9.77%
227.93/228.65 c 229s| 1600 | 1270 | 1364k| 844.9 | 310M | 48 |7285 |2750 | 742 |5772 | 1 |3218 | 11 | 9.000000e+00 | -- | Inf | 9.77%
234.51/235.30 c 235s| 1700 | 1356 | 1394k| 812.7 | 310M | 48 |7285 |2673 | 739 |6049 | 2 |3279 | 11 | 9.000000e+00 | -- | Inf | 9.77%
244.18/244.97 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
244.18/244.97 c 245s| 1800 | 1433 | 1440k| 793.3 | 312M | 48 |7285 |2735 | 782 |6356 | 1 |3456 | 11 | 9.000000e+00 | -- | Inf | 11.34%
255.95/256.70 c 257s| 1900 | 1507 | 1502k| 783.8 | 315M | 48 |7285 |2821 | 749 |6633 | 1 |3631 | 11 | 9.000000e+00 | -- | Inf | 11.34%
269.12/269.95 c 270s| 2000 | 1586 | 1575k| 781.2 | 317M | 48 |7285 |2901 | 769 |7042 | 2 |3806 | 11 | 9.000000e+00 | -- | Inf | 11.34%
280.58/281.48 c 281s| 2100 | 1674 | 1640k| 775.1 | 319M | 48 |7285 |2852 | 724 |7454 | 1 |3890 | 11 | 9.000000e+00 | -- | Inf | 11.34%
281.29/282.15 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
281.29/282.15 c (run 1, node 2105) performing user restart
281.29/282.15 c
281.29/282.15 c (restart) converted 49 cuts from the global cut pool into linear constraints
281.29/282.15 c
281.29/282.19 c presolving:
281.38/282.21 c (round 1, fast) 0 del vars, 6 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 1 chg coeffs, 0 upgd conss, 0 impls, 73399 clqs
281.38/282.25 c (round 2, exhaustive) 0 del vars, 6 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 1 chg coeffs, 49 upgd conss, 0 impls, 73399 clqs
281.78/282.68 c (round 3, exhaustive) 0 del vars, 57 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 33 chg coeffs, 49 upgd conss, 0 impls, 73399 clqs
282.28/283.19 c presolving (4 rounds: 4 fast, 3 medium, 3 exhaustive):
282.28/283.19 c 0 deleted vars, 57 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 1 changed sides, 34 changed coefficients
282.28/283.19 c 0 implications, 73399 cliques
282.28/283.19 c presolved problem has 7285 variables (7285 bin, 0 int, 0 cont) and 2843 constraints
282.28/283.19 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
282.28/283.19 c 615 constraints of type <knapsack>
282.28/283.19 c 118 constraints of type <setppc>
282.28/283.19 c 16 constraints of type <linear>
282.28/283.19 c 575 constraints of type <orbitope_pp>
282.28/283.19 c 1519 constraints of type <logicor>
282.28/283.19 c transformed objective value is always integral (scale: 1)
282.28/283.19 c Presolving Time: 4.16
282.28/283.19 c
282.78/283.60 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
282.78/283.60 c 284s| 1 | 0 | 1647k| - | 331M | 0 |7285 |2851 | 722 | 0 | 0 |3907 | 11 | 9.000000e+00 | -- | Inf | unknown
283.38/284.25 c 284s| 1 | 0 | 1647k| - | 332M | 0 |7285 |2850 | 747 | 25 | 1 |3907 | 11 | 9.000000e+00 | -- | Inf | unknown
283.48/284.37 c 284s| 1 | 0 | 1647k| - | 332M | 0 |7285 |2851 | 775 | 53 | 2 |3908 | 11 | 9.000000e+00 | -- | Inf | unknown
283.68/284.53 c 285s| 1 | 0 | 1648k| - | 332M | 0 |7285 |2852 | 807 | 85 | 3 |3909 | 11 | 9.000000e+00 | -- | Inf | unknown
285.87/286.76 c 287s| 1 | 0 | 1658k| - | 332M | 0 |7285 |2853 | 838 | 116 | 4 |3911 | 11 | 9.000000e+00 | -- | Inf | unknown
286.07/286.98 c 287s| 1 | 0 | 1659k| - | 332M | 0 |7285 |2852 | 867 | 145 | 5 |3911 | 11 | 9.000000e+00 | -- | Inf | unknown
288.57/289.41 c 289s| 1 | 0 | 1669k| - | 333M | 0 |7285 |2847 | 897 | 175 | 6 |3913 | 11 | 9.000000e+00 | -- | Inf | unknown
288.87/289.73 c 290s| 1 | 0 | 1670k| - | 333M | 0 |7285 |2839 | 931 | 209 | 7 |3914 | 11 | 9.000000e+00 | -- | Inf | unknown
291.46/292.30 c 292s| 1 | 0 | 1681k| - | 333M | 0 |7285 |2831 | 967 | 245 | 8 |3917 | 11 | 9.000000e+00 | -- | Inf | unknown
294.05/294.96 c 295s| 1 | 0 | 1692k| - | 335M | 0 |7285 |2809 |1002 | 280 | 9 |3918 | 11 | 9.000000e+00 | -- | Inf | unknown
297.04/297.99 c 298s| 1 | 0 | 1705k| - | 336M | 0 |7285 |2791 |1011 | 317 | 10 |3918 | 11 | 9.000000e+00 | -- | Inf | unknown
300.14/301.00 c 301s| 1 | 0 | 1717k| - | 336M | 0 |7285 |2788 |1047 | 353 | 11 |3919 | 11 | 9.000000e+00 | -- | Inf | unknown
305.82/306.70 c 307s| 1 | 2 | 1737k| - | 336M | 0 |7285 |2801 |1047 | 353 | 11 |3950 | 22 | 9.000000e+00 | -- | Inf | unknown
331.85/332.87 c 333s| 100 | 76 | 1863k| 806.1 | 336M | 40 |7285 |2979 | 880 | 547 | 2 |4174 | 22 | 9.000000e+00 | -- | Inf | unknown
350.01/351.08 c 351s| 200 | 99 | 1959k| 812.9 | 338M | 40 |7285 |3345 | 887 | 759 | 1 |4549 | 22 | 9.000000e+00 | -- | Inf | unknown
365.97/367.10 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
365.97/367.10 c 367s| 300 | 105 | 2041k| 813.3 | 340M | 40 |7285 |3587 | 867 | 930 | 1 |4887 | 22 | 9.000000e+00 | -- | Inf | unknown
391.79/392.93 c 393s| 400 | 131 | 2172k| 832.9 | 341M | 40 |7285 |3680 | 811 |1150 | 1 |5164 | 22 | 9.000000e+00 | -- | Inf | unknown
413.24/414.40 c 414s| 500 | 143 | 2282k| 843.4 | 342M | 40 |7285 |3625 | 892 |1342 | 1 |5413 | 22 | 9.000000e+00 | -- | Inf | unknown
435.98/437.27 c 437s| 600 | 143 | 2399k| 855.2 | 343M | 40 |7285 |3753 | 909 |1591 | 0 |5699 | 22 | 9.000000e+00 | -- | Inf | unknown
456.62/457.95 c 458s| 700 | 154 | 2511k| 864.8 | 344M | 40 |7285 |3902 | 898 |1791 | 1 |6020 | 22 | 9.000000e+00 | -- | Inf | unknown
477.45/478.86 c 479s| 800 | 161 | 2620k| 872.4 | 344M | 40 |7285 |4009 | 854 |1910 | 1 |6209 | 22 | 9.000000e+00 | -- | Inf | unknown
497.39/498.84 c 499s| 900 | 168 | 2722k| 877.4 | 345M | 40 |7285 |4168 | 892 |2080 | 1 |6464 | 22 | 9.000000e+00 | -- | Inf | unknown
518.03/519.59 c 520s| 1000 | 170 | 2829k| 883.7 | 346M | 40 |7285 |4257 | 880 |2251 | 0 |6659 | 22 | 9.000000e+00 | -- | Inf | unknown
547.04/548.69 c 549s| 1100 | 154 | 2977k| 902.3 | 346M | 43 |7285 |4069 | 898 |2437 | 1 |6847 | 22 | 9.000000e+00 | -- | Inf | unknown
562.50/564.11 c 564s| 1200 | 198 | 3087k| 908.1 | 347M | 43 |7285 |4131 | 875 |2756 | 1 |7088 | 22 | 9.000000e+00 | -- | Inf | unknown
572.06/573.79 c 574s| 1300 | 206 | 3156k| 901.7 | 348M | 43 |7285 |4358 | 864 |2933 | 0 |7427 | 22 | 9.000000e+00 | -- | Inf | unknown
582.83/584.53 c 585s| 1400 | 217 | 3233k| 897.9 | 348M | 44 |7285 |4635 | 855 |3179 | 1 |7780 | 22 | 9.000000e+00 | -- | Inf | unknown
593.70/595.47 c 595s| 1500 | 213 | 3312k| 895.0 | 349M | 44 |7285 |4746 | 862 |3461 | 1 |8161 | 22 | 9.000000e+00 | -- | Inf | unknown
604.86/606.67 c 607s| 1600 | 219 | 3392k| 892.5 | 350M | 44 |7285 |4843 | 887 |3608 | 1 |8475 | 22 | 9.000000e+00 | -- | Inf | unknown
626.20/628.09 c 628s| 1700 | 188 | 3530k| 905.4 | 351M | 44 |7285 |4561 | 862 |3776 | 1 |8862 | 22 | 9.000000e+00 | -- | Inf | unknown
639.85/641.71 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
639.85/641.71 c 642s| 1800 | 190 | 3620k| 905.1 | 351M | 44 |7285 |4747 | 868 |3924 | 0 |9141 | 22 | 9.000000e+00 | -- | Inf | unknown
661.68/663.60 c 664s| 1900 | 196 | 3755k| 916.4 | 352M | 44 |7285 |4754 | 868 |4069 | 1 |9366 | 22 | 9.000000e+00 | -- | Inf | unknown
676.34/678.32 c 678s| 2000 | 214 | 3853k| 918.0 | 353M | 44 |7285 |4980 | 875 |4157 | 1 |9675 | 22 | 9.000000e+00 | -- | Inf | unknown
692.39/694.46 c 694s| 2100 | 229 | 3949k| 918.9 | 354M | 44 |7285 |5073 | 874 |4351 | 0 |9941 | 22 | 9.000000e+00 | -- | Inf | unknown
711.73/713.83 c 714s| 2200 | 247 | 4075k| 926.8 | 354M | 44 |7285 |4895 | 893 |4592 | 0 | 10k| 22 | 9.000000e+00 | -- | Inf | unknown
724.89/727.02 c 727s| 2300 | 258 | 4167k| 926.5 | 355M | 44 |7285 |5051 | 879 |4747 | 1 | 10k| 22 | 9.000000e+00 | -- | Inf | unknown
738.64/740.81 c 741s| 2400 | 271 | 4261k| 927.0 | 355M | 44 |7285 |5276 | 880 |4886 | 1 | 10k| 22 | 9.000000e+00 | -- | Inf | unknown
754.99/757.20 c 757s| 2500 | 291 | 4360k| 928.3 | 357M | 44 |7285 |5522 | 888 |5040 | 1 | 11k| 22 | 9.000000e+00 | -- | Inf | unknown
776.63/778.94 c 779s| 2600 | 284 | 4485k| 935.1 | 358M | 44 |7285 |5277 | 859 |5202 | 1 | 11k| 22 | 9.000000e+00 | -- | Inf | unknown
793.18/795.57 c 796s| 2700 | 298 | 4580k| 935.4 | 359M | 44 |7285 |5135 | 872 |5344 | 1 | 11k| 22 | 9.000000e+00 | -- | Inf | unknown
810.12/812.58 c 813s| 2800 | 319 | 4677k| 936.1 | 359M | 44 |7285 |5088 | 875 |5465 | 1 | 12k| 22 | 9.000000e+00 | -- | Inf | unknown
848.30/850.81 c 851s| 2900 | 318 | 4907k| 963.3 | 359M | 44 |7285 |4555 | 843 |5735 | 1 | 12k| 22 | 9.000000e+00 | -- | Inf | unknown
873.53/876.12 c 876s| 3000 | 328 | 5070k| 976.4 | 359M | 44 |7285 |4623 | 860 |6234 | 1 | 12k| 22 | 9.000000e+00 | -- | Inf | unknown
906.52/909.20 c 909s| 3100 | 368 | 5261k| 994.5 | 360M | 44 |7285 |4468 | 843 |6685 | 1 | 13k| 22 | 9.000000e+00 | -- | Inf | unknown
927.36/930.15 c 930s| 3200 | 372 | 5375k| 997.1 | 360M | 44 |7285 |4205 | 862 |6953 | 1 | 13k| 22 | 9.000000e+00 | -- | Inf | unknown
946.50/949.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
946.50/949.37 c 949s| 3300 | 366 | 5481k| 998.4 | 360M | 44 |7285 |4405 | 874 |7198 | 1 | 13k| 22 | 9.000000e+00 | -- | Inf | unknown
974.41/977.39 c 977s| 3400 | 333 | 5637k|1008.5 | 360M | 44 |7285 |4271 | 921 |7441 | 1 | 14k| 22 | 9.000000e+00 | -- | Inf | unknown
988.67/991.64 c 992s| 3500 | 338 | 5717k|1004.7 | 361M | 44 |7285 |4278 | 865 |7579 | 1 | 14k| 22 | 9.000000e+00 | -- | Inf | unknown
1001.63/1004.64 c 1005s| 3600 | 347 | 5791k|1000.1 | 361M | 44 |7285 |4334 | 869 |7732 | 1 | 14k| 22 | 9.000000e+00 | -- | Inf | unknown
1019.67/1022.76 c 1023s| 3700 | 326 | 5893k|1000.4 | 361M | 44 |7285 |4241 | 910 |7820 | 1 | 14k| 22 | 9.000000e+00 | -- | Inf | unknown
1040.11/1043.25 c 1043s| 3800 | 355 | 5999k|1001.5 | 362M | 44 |7285 |4161 | 875 |8141 | 1 | 15k| 22 | 9.000000e+00 | -- | Inf | unknown
1056.16/1059.30 c 1059s| 3900 | 374 | 6087k| 999.5 | 362M | 44 |7285 |4280 | 870 |8254 | 0 | 15k| 22 | 9.000000e+00 | -- | Inf | unknown
1082.99/1086.25 c 1086s| 4000 | 391 | 6234k|1007.1 | 362M | 44 |7285 |4187 | 856 |8603 | 1 | 15k| 22 | 9.000000e+00 | -- | Inf | unknown
1105.24/1108.56 c 1109s| 4100 | 403 | 6354k|1010.2 | 363M | 44 |7285 |4313 | 863 |8782 | 1 | 16k| 22 | 9.000000e+00 | -- | Inf | unknown
1124.88/1128.21 c 1128s| 4200 | 406 | 6465k|1011.9 | 363M | 44 |7285 |4297 | 867 |8955 | 1 | 16k| 22 | 9.000000e+00 | -- | Inf | unknown
1145.43/1148.86 c 1149s| 4300 | 422 | 6565k|1011.8 | 363M | 44 |7285 |4395 | 898 |9116 | 0 | 16k| 22 | 9.000000e+00 | -- | Inf | unknown
1161.59/1165.08 c 1165s| 4400 | 427 | 6652k|1009.5 | 363M | 44 |7285 |4448 | 858 |9268 | 1 | 16k| 22 | 9.000000e+00 | -- | Inf | unknown
1182.23/1185.71 c 1186s| 4500 | 436 | 6766k|1011.5 | 364M | 44 |7285 |4361 | 871 |9483 | 1 | 16k| 22 | 9.000000e+00 | -- | Inf | unknown
1212.95/1216.55 c 1217s| 4600 | 447 | 6931k|1021.1 | 364M | 44 |7285 |4102 | 867 |9751 | 1 | 17k| 22 | 9.000000e+00 | -- | Inf | unknown
1231.60/1235.26 c 1235s| 4700 | 471 | 7038k|1021.7 | 365M | 44 |7285 |4022 | 878 |9969 | 0 | 17k| 22 | 9.000000e+00 | -- | Inf | unknown
1246.76/1250.46 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1246.76/1250.46 c 1250s| 4800 | 480 | 7124k|1019.3 | 365M | 44 |7285 |4108 | 875 | 10k| 1 | 17k| 22 | 9.000000e+00 | -- | Inf | unknown
1270.90/1274.68 c 1275s| 4900 | 474 | 7255k|1023.5 | 366M | 44 |7285 |3835 | 859 | 10k| 1 | 18k| 22 | 9.000000e+00 | -- | Inf | unknown
1293.25/1297.07 c 1297s| 5000 | 487 | 7384k|1027.3 | 367M | 50 |7285 |3809 | 872 | 10k| 1 | 18k| 22 | 9.000000e+00 | -- | Inf | unknown
1311.20/1315.03 c 1315s| 5100 | 494 | 7489k|1027.5 | 367M | 50 |7285 |3807 | 886 | 10k| 1 | 18k| 22 | 9.000000e+00 | -- | Inf | unknown
1333.84/1337.71 c 1338s| 5200 | 488 | 7624k|1032.1 | 367M | 50 |7285 |3765 | 899 | 10k| 0 | 18k| 22 | 9.000000e+00 | -- | Inf | unknown
1356.38/1360.36 c 1360s| 5300 | 498 | 7763k|1036.8 | 368M | 50 |7285 |3784 | 859 | 11k| 0 | 18k| 22 | 9.000000e+00 | -- | Inf | unknown
1383.11/1387.14 c 1387s| 5400 | 500 | 7926k|1044.8 | 368M | 50 |7285 |3708 | 874 | 11k| 1 | 19k| 22 | 9.000000e+00 | -- | Inf | unknown
1396.97/1401.10 c 1401s| 5500 | 509 | 8026k|1044.1 | 368M | 50 |7285 |3725 | 894 | 11k| 1 | 19k| 22 | 9.000000e+00 | -- | Inf | unknown
1423.69/1427.87 c 1428s| 5600 | 516 | 8192k|1052.2 | 368M | 50 |7285 |3832 | 887 | 11k| 1 | 19k| 22 | 9.000000e+00 | -- | Inf | unknown
1457.61/1461.83 c 1462s| 5700 | 529 | 8396k|1064.8 | 369M | 50 |7285 |3905 | 883 | 12k| 0 | 19k| 22 | 9.000000e+00 | -- | Inf | unknown
1480.05/1484.30 c 1484s| 5800 | 541 | 8538k|1069.3 | 369M | 50 |7285 |3968 | 905 | 12k| 1 | 20k| 22 | 9.000000e+00 | -- | Inf | unknown
1511.07/1515.41 c 1515s| 5900 | 554 | 8724k|1079.2 | 369M | 50 |7285 |3803 | 881 | 12k| 1 | 20k| 22 | 9.000000e+00 | -- | Inf | unknown
1543.49/1547.93 c 1548s| 6000 | 548 | 8925k|1090.7 | 369M | 50 |7285 |3689 | 874 | 13k| 1 | 20k| 22 | 9.000000e+00 | -- | Inf | unknown
1561.54/1566.05 c 1566s| 6100 | 571 | 9037k|1091.1 | 369M | 50 |7285 |3724 | 874 | 13k| 1 | 20k| 22 | 9.000000e+00 | -- | Inf | unknown
1580.99/1585.59 c 1586s| 6200 | 576 | 9160k|1092.7 | 369M | 50 |7285 |3838 | 902 | 13k| 1 | 20k| 22 | 9.000000e+00 | -- | Inf | unknown
1606.42/1611.04 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1606.42/1611.04 c 1611s| 6300 | 569 | 9319k|1098.6 | 370M | 50 |7285 |3850 | 896 | 13k| 1 | 21k| 22 | 9.000000e+00 | -- | Inf | unknown
1632.34/1637.03 c 1637s| 6400 | 579 | 9467k|1103.1 | 370M | 50 |7285 |3878 | 891 | 13k| 2 | 21k| 22 | 9.000000e+00 | -- | Inf | unknown
1658.86/1663.60 c 1664s| 6500 | 596 | 9609k|1106.8 | 370M | 50 |7285 |3829 | 889 | 14k| 0 | 21k| 22 | 9.000000e+00 | -- | Inf | unknown
1681.49/1686.35 c 1686s| 6600 | 592 | 9744k|1109.5 | 370M | 50 |7285 |3390 | 856 | 14k| 1 | 21k| 22 | 9.000000e+00 | -- | Inf | unknown
1692.05/1696.94 c 1697s| 6700 | 599 | 9821k|1105.7 | 371M | 50 |7285 |3407 | 840 | 14k| 1 | 22k| 22 | 9.000000e+00 | -- | Inf | unknown
1707.90/1712.89 c 1713s| 6800 | 636 | 9935k|1106.2 | 371M | 50 |7285 |3537 | 884 | 14k| 1 | 22k| 22 | 9.000000e+00 | -- | Inf | unknown
1721.26/1726.28 c 1726s| 6900 | 678 | 10030k|1104.4 | 371M | 50 |7285 |3705 | 878 | 14k| 1 | 22k| 22 | 9.000000e+00 | -- | Inf | unknown
1738.11/1743.12 c 1743s| 7000 | 693 | 10148k|1105.2 | 371M | 50 |7285 |3786 | 876 | 15k| 0 | 23k| 22 | 9.000000e+00 | -- | Inf | unknown
1753.07/1758.18 c 1758s| 7100 | 714 | 10253k|1104.6 | 371M | 50 |7285 |3800 | 0 | 15k| 0 | 23k| 22 | 9.000000e+00 | -- | Inf | unknown
1769.31/1774.41 c 1774s| 7200 | 731 | 10366k|1104.9 | 371M | 50 |7285 |3936 | 884 | 15k| 1 | 23k| 22 | 9.000000e+00 | -- | Inf | unknown
1787.06/1792.29 c 1792s| 7300 | 777 | 10492k|1106.6 | 371M | 50 |7285 |3770 | 890 | 15k| 3 | 24k| 22 | 9.000000e+00 | -- | Inf | unknown
1802.62/1807.89 c 1808s| 7400 | 799 | 10603k|1106.6 | 371M | 50 |7285 |3854 | 864 | 16k| 1 | 24k| 22 | 9.000000e+00 | -- | Inf | unknown
1848.18/1853.59 c 1854s| 7500 | 638 | 10879k|1123.8 | 372M | 50 |7285 |3758 | 947 | 16k| 1 | 24k| 22 | 9.000000e+00 | -- | Inf | unknown
1867.52/1872.91 c 1873s| 7600 | 650 | 10995k|1124.1 | 372M | 50 |7285 |3834 | 865 | 16k| 1 | 25k| 22 | 9.000000e+00 | -- | Inf | unknown
1879.88/1885.33 c 1885s| 7700 | 656 | 11079k|1121.3 | 372M | 50 |7285 |3927 | 878 | 16k| 1 | 25k| 22 | 9.000000e+00 | -- | Inf | unknown
1895.93/1901.43 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1895.93/1901.43 c 1901s| 7800 | 666 | 11188k|1120.9 | 372M | 50 |7285 |4034 | 864 | 16k| 0 | 25k| 22 | 9.000000e+00 | -- | Inf | unknown
1911.98/1917.52 c 1918s| 7900 | 670 | 11290k|1119.9 | 372M | 50 |7285 |4137 | 875 | 16k| 1 | 25k| 22 | 9.000000e+00 | -- | Inf | unknown
1927.33/1932.93 c 1933s| 8000 | 672 | 11385k|1118.3 | 372M | 50 |7285 |4198 | 888 | 16k| 0 | 26k| 22 | 9.000000e+00 | -- | Inf | unknown
1954.05/1959.78 c 1960s| 8100 | 651 | 11543k|1122.8 | 372M | 50 |7285 |3497 | 950 | 17k| 1 | 26k| 22 | 9.000000e+00 | -- | Inf | unknown
1987.84/1993.66 c 1994s| 8200 | 693 | 11708k|1127.9 | 372M | 50 |7285 |3401 | 941 | 17k| 1 | 26k| 22 | 9.000000e+00 | -- | Inf | unknown
2015.75/2021.61 c 2022s| 8300 | 718 | 11838k|1129.6 | 373M | 50 |7285 |3284 | 956 | 17k| 1 | 26k| 22 | 9.000000e+00 | -- | Inf | unknown
2043.06/2049.07 c 2049s| 8400 | 740 | 11990k|1133.3 | 373M | 50 |7285 |3336 | 894 | 18k| 1 | 27k| 22 | 9.000000e+00 | -- | Inf | unknown
2070.68/2076.78 c 2077s| 8500 | 745 | 12151k|1137.8 | 373M | 50 |7285 |3292 | 877 | 18k| 0 | 27k| 22 | 9.000000e+00 | -- | Inf | unknown
2093.30/2099.40 c 2099s| 8600 | 727 | 12284k|1139.5 | 373M | 50 |7285 |3169 | 902 | 18k| 0 | 27k| 22 | 9.000000e+00 | -- | Inf | unknown
2110.95/2117.19 c 2117s| 8700 | 777 | 12409k|1140.6 | 373M | 50 |7285 |3176 | 851 | 18k| 1 | 27k| 22 | 9.000000e+00 | -- | Inf | unknown
2124.61/2130.81 c 2131s| 8800 | 794 | 12498k|1138.3 | 374M | 50 |7285 |3263 | 871 | 18k| 1 | 28k| 22 | 9.000000e+00 | -- | Inf | unknown
2139.96/2146.25 c 2146s| 8900 | 799 | 12600k|1137.2 | 374M | 50 |7285 |3339 | 867 | 19k| 1 | 28k| 22 | 9.000000e+00 | -- | Inf | unknown
2152.32/2158.62 c 2159s| 9000 | 809 | 12683k|1134.4 | 374M | 50 |7285 |3336 | 866 | 19k| 0 | 28k| 22 | 9.000000e+00 | -- | Inf | unknown
2164.79/2171.15 c 2171s| 9100 | 815 | 12762k|1131.4 | 374M | 50 |7285 |3387 | 857 | 19k| 1 | 28k| 22 | 9.000000e+00 | -- | Inf | unknown
2182.93/2189.32 c 2189s| 9200 | 827 | 12876k|1131.4 | 374M | 50 |7285 |3553 | 870 | 19k| 1 | 28k| 22 | 9.000000e+00 | -- | Inf | unknown
2203.76/2210.28 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2203.76/2210.28 c 2210s| 9300 | 803 | 13008k|1133.1 | 375M | 50 |7285 |3368 | 923 | 19k| 0 | 29k| 22 | 9.000000e+00 | -- | Inf | unknown
2227.19/2233.71 c 2234s| 9400 | 760 | 13156k|1136.1 | 375M | 50 |7285 |3187 | 844 | 19k| 1 | 29k| 22 | 9.000000e+00 | -- | Inf | unknown
2252.81/2259.47 c 2259s| 9500 | 803 | 13323k|1140.7 | 375M | 50 |7285 |3335 | 877 | 20k| 1 | 29k| 22 | 9.000000e+00 | -- | Inf | unknown
2278.44/2285.18 c 2285s| 9600 | 830 | 13484k|1144.7 | 375M | 50 |7285 |3375 | 844 | 20k| 1 | 30k| 22 | 9.000000e+00 | -- | Inf | unknown
2301.16/2307.99 c 2308s| 9700 | 860 | 13638k|1148.1 | 376M | 50 |7285 |3429 | 877 | 20k| 1 | 30k| 22 | 9.000000e+00 | -- | Inf | unknown
2329.18/2336.05 c 2336s| 9800 | 910 | 13813k|1153.1 | 376M | 50 |7285 |3430 | 861 | 21k| 0 | 30k| 22 | 9.000000e+00 | -- | Inf | unknown
2351.41/2358.39 c 2358s| 9900 | 932 | 13952k|1155.1 | 377M | 50 |7285 |3489 | 886 | 21k| 2 | 31k| 22 | 9.000000e+00 | -- | Inf | unknown
2375.73/2382.78 c 2383s| 10000 | 961 | 14080k|1156.2 | 377M | 50 |7285 |3417 | 873 | 21k| 2 | 31k| 22 | 9.000000e+00 | -- | Inf | unknown
2402.95/2410.00 c 2410s| 10100 | 995 | 14232k|1159.1 | 377M | 50 |7285 |3387 | 890 | 21k| 1 | 31k| 22 | 9.000000e+00 | -- | Inf | unknown
2432.75/2439.98 c 2440s| 10200 | 1015 | 14397k|1163.1 | 377M | 50 |7285 |3261 | 855 | 21k| 1 | 32k| 22 | 9.000000e+00 | -- | Inf | unknown
2459.37/2466.64 c 2467s| 10300 | 1029 | 14538k|1165.1 | 377M | 50 |7285 |3037 | 845 | 22k| 1 | 32k| 22 | 9.000000e+00 | -- | Inf | unknown
2485.80/2493.18 c 2493s| 10400 | 1054 | 14690k|1167.9 | 378M | 50 |7285 |3089 | 882 | 22k| 2 | 32k| 22 | 9.000000e+00 | -- | Inf | unknown
2517.59/2525.09 c 2525s| 10500 | 1086 | 14875k|1173.3 | 379M | 50 |7285 |3199 | 859 | 22k| 1 | 32k| 22 | 9.000000e+00 | -- | Inf | unknown
2551.28/2558.85 c 2559s| 10600 | 1109 | 15054k|1178.2 | 380M | 50 |7285 |3085 | 881 | 23k| 1 | 33k| 22 | 9.000000e+00 | -- | Inf | unknown
2579.19/2586.80 c 2587s| 10700 | 1122 | 15224k|1182.3 | 381M | 50 |7285 |3056 | 874 | 23k| 1 | 33k| 22 | 9.000000e+00 | -- | Inf | unknown
2615.08/2622.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2615.08/2622.82 c 2623s| 10800 | 1094 | 15422k|1188.5 | 381M | 50 |7285 |2598 | 879 | 23k| 1 | 33k| 22 | 9.000000e+00 | -- | Inf | unknown
2630.34/2638.17 c 2638s| 10900 | 1111 | 15518k|1186.7 | 381M | 50 |7285 |2675 | 880 | 23k| 0 | 33k| 22 | 9.000000e+00 | -- | Inf | unknown
2646.88/2654.70 c 2655s| 11000 | 1111 | 15623k|1185.7 | 381M | 50 |7285 |2698 | 888 | 24k| 1 | 34k| 22 | 9.000000e+00 | -- | Inf | unknown
2676.59/2684.51 c 2685s| 11100 | 1104 | 15805k|1190.4 | 381M | 50 |7285 |2691 | 894 | 24k| 1 | 34k| 22 | 9.000000e+00 | -- | Inf | unknown
2693.83/2701.88 c 2702s| 11200 | 1119 | 15918k|1190.0 | 382M | 50 |7285 |2689 | 873 | 24k| 2 | 34k| 22 | 9.000000e+00 | -- | Inf | unknown
2715.76/2723.85 c 2724s| 11300 | 1114 | 16063k|1191.9 | 382M | 50 |7285 |2651 | 893 | 24k| 0 | 34k| 22 | 9.000000e+00 | -- | Inf | unknown
2734.21/2742.37 c 2742s| 11400 | 1106 | 16184k|1192.1 | 382M | 50 |7285 |2634 | 852 | 25k| 1 | 35k| 22 | 9.000000e+00 | -- | Inf | unknown
2753.84/2762.01 c 2762s| 11500 | 1110 | 16309k|1192.5 | 382M | 50 |7285 |2660 | 876 | 25k| 1 | 35k| 22 | 9.000000e+00 | -- | Inf | unknown
2774.98/2783.25 c 2783s| 11600 | 1112 | 16441k|1193.4 | 382M | 50 |7285 |2778 | 870 | 25k| 1 | 35k| 22 | 9.000000e+00 | -- | Inf | unknown
2797.81/2806.15 c 2806s| 11700 | 1123 | 16590k|1195.6 | 382M | 50 |7285 |2415 | 897 | 25k| 1 | 35k| 22 | 9.000000e+00 | -- | Inf | unknown
2807.97/2816.36 c 2816s| 11800 | 1142 | 16662k|1192.1 | 382M | 50 |7285 |2601 | 0 | 25k| 0 | 36k| 22 | 9.000000e+00 | -- | Inf | unknown
2824.02/2832.45 c 2832s| 11900 | 1166 | 16777k|1191.8 | 382M | 50 |7285 |2534 | 908 | 26k| 0 | 36k| 22 | 9.000000e+00 | -- | Inf | unknown
2836.88/2845.39 c 2845s| 12000 | 1178 | 16865k|1189.7 | 382M | 50 |7285 |2573 | 903 | 26k| 1 | 36k| 22 | 9.000000e+00 | -- | Inf | unknown
2848.45/2856.96 c 2857s| 12100 | 1180 | 16948k|1187.1 | 382M | 50 |7285 |2618 | 905 | 26k| 0 | 37k| 22 | 9.000000e+00 | -- | Inf | unknown
2867.88/2876.49 c 2876s| 12200 | 1189 | 17076k|1187.8 | 382M | 50 |7285 |2564 | 922 | 26k| 1 | 37k| 22 | 9.000000e+00 | -- | Inf | unknown
2882.93/2891.56 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2882.93/2891.56 c 2892s| 12300 | 1221 | 17169k|1186.0 | 382M | 50 |7285 |2589 | 888 | 26k| 1 | 37k| 22 | 9.000000e+00 | -- | Inf | unknown
2922.81/2931.51 c 2932s| 12400 | 1292 | 17390k|1193.1 | 383M | 50 |7285 |2675 | 890 | 27k| 0 | 38k| 22 | 9.000000e+00 | -- | Inf | unknown
2946.04/2954.83 c 2955s| 12500 | 1351 | 17523k|1194.0 | 383M | 50 |7285 |2567 | 886 | 27k| 1 | 38k| 22 | 9.000000e+00 | -- | Inf | unknown
2968.07/2976.93 c 2977s| 12600 | 1396 | 17646k|1194.2 | 383M | 50 |7285 |2423 | 903 | 27k| 1 | 39k| 22 | 9.000000e+00 | -- | Inf | unknown
3009.34/3018.30 c 3018s| 12700 | 1451 | 17870k|1201.3 | 384M | 50 |7285 |2433 | 909 | 27k| 1 | 39k| 22 | 9.000000e+00 | -- | Inf | unknown
3039.95/3049.04 c 3049s| 12800 | 1486 | 18051k|1205.4 | 384M | 50 |7285 |2521 | 909 | 28k| 0 | 39k| 22 | 9.000000e+00 | -- | Inf | unknown
3067.55/3076.78 c 3077s| 12900 | 1522 | 18202k|1207.4 | 384M | 50 |7285 |2331 | 897 | 28k| 1 | 40k| 22 | 9.000000e+00 | -- | Inf | unknown
3090.08/3099.32 c 3099s| 13000 | 1561 | 18334k|1208.2 | 384M | 50 |7285 |2402 | 862 | 28k| 0 | 40k| 22 | 9.000000e+00 | -- | Inf | unknown
3121.38/3130.74 c 3131s| 13100 | 1576 | 18510k|1211.8 | 384M | 50 |7285 |2180 | 907 | 28k| 1 | 40k| 22 | 9.000000e+00 | -- | Inf | unknown
3156.18/3165.65 c 3166s| 13200 | 1568 | 18697k|1216.1 | 385M | 50 |7285 |2179 | 900 | 28k| 1 | 41k| 22 | 9.000000e+00 | -- | Inf | unknown
3185.21/3194.74 c 3195s| 13300 | 1574 | 18854k|1218.3 | 385M | 50 |7285 |2086 | 904 | 29k| 0 | 41k| 22 | 9.000000e+00 | -- | Inf | unknown
3218.62/3228.27 c 3228s| 13400 | 1585 | 19037k|1222.3 | 385M | 50 |7285 |1964 | 894 | 29k| 1 | 41k| 22 | 9.000000e+00 | -- | Inf | unknown
3247.84/3257.55 c 3258s| 13500 | 1552 | 19197k|1224.7 | 385M | 50 |7285 |1992 | 945 | 29k| 0 | 41k| 22 | 9.000000e+00 | -- | Inf | unknown
3296.91/3306.71 c 3307s| 13600 | 1483 | 19471k|1234.4 | 385M | 50 |7285 |1817 | 788 | 29k| 1 | 42k| 22 | 9.000000e+00 | -- | Inf | unknown
3308.98/3318.88 c 3319s| 13700 | 1559 | 19557k|1232.0 | 386M | 50 |7285 |1892 | 830 | 30k| 0 | 42k| 22 | 9.000000e+00 | -- | Inf | unknown
3322.34/3332.26 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3322.34/3332.26 c 3332s| 13800 | 1619 | 19653k|1230.3 | 386M | 50 |7285 |2023 | 855 | 30k| 0 | 42k| 22 | 9.000000e+00 | -- | Inf | unknown
3338.60/3348.55 c 3349s| 13900 | 1669 | 19763k|1229.5 | 386M | 50 |7285 |2029 | 855 | 30k| 2 | 43k| 22 | 9.000000e+00 | -- | Inf | unknown
3350.57/3360.52 c 3361s| 14000 | 1751 | 19840k|1226.6 | 387M | 50 |7285 |1973 | 823 | 31k| 1 | 43k| 22 | 9.000000e+00 | -- | Inf | unknown
3373.51/3383.55 c 3384s| 14100 | 1826 | 19998k|1228.8 | 388M | 50 |7285 |2048 | 847 | 31k| 1 | 43k| 22 | 9.000000e+00 | -- | Inf | unknown
3388.37/3398.49 c 3398s| 14200 | 1866 | 20105k|1227.8 | 389M | 50 |7285 |2029 | 811 | 31k| 1 | 43k| 22 | 9.000000e+00 | -- | Inf | unknown
3402.93/3413.05 c 3413s| 14300 | 1917 | 20213k|1226.9 | 389M | 50 |7285 |2010 | 827 | 32k| 1 | 44k| 22 | 9.000000e+00 | -- | Inf | unknown
3417.69/3427.87 c 3428s| 14400 | 1950 | 20314k|1225.6 | 390M | 50 |7285 |2061 | 848 | 32k| 0 | 44k| 22 | 9.000000e+00 | -- | Inf | unknown
3439.94/3450.13 c 3450s| 14500 | 2006 | 20452k|1226.6 | 391M | 50 |7285 |2097 | 848 | 32k| 1 | 44k| 22 | 9.000000e+00 | -- | Inf | unknown
3456.39/3466.66 c 3467s| 14600 | 2058 | 20557k|1225.5 | 392M | 50 |7285 |2003 | 836 | 33k| 1 | 45k| 22 | 9.000000e+00 | -- | Inf | unknown
3470.76/3481.03 c 3481s| 14700 | 2121 | 20647k|1223.6 | 392M | 50 |7285 |2083 | 828 | 33k| 1 | 45k| 22 | 9.000000e+00 | -- | Inf | unknown
3487.21/3497.55 c 3498s| 14800 | 2191 | 20752k|1222.6 | 394M | 50 |7285 |2079 | 844 | 33k| 1 | 45k| 22 | 9.000000e+00 | -- | Inf | unknown
3506.86/3517.28 c 3517s| 14900 | 2246 | 20878k|1222.8 | 394M | 50 |7285 |2103 | 861 | 33k| 1 | 46k| 22 | 9.000000e+00 | -- | Inf | unknown
3528.70/3539.17 c 3539s| 15000 | 2300 | 21019k|1223.9 | 395M | 50 |7285 |2188 | 828 | 34k| 1 | 46k| 22 | 9.000000e+00 | -- | Inf | unknown
3547.05/3557.54 c 3558s| 15100 | 2353 | 21133k|1223.4 | 395M | 50 |7285 |2094 | 829 | 34k| 1 | 46k| 22 | 9.000000e+00 | -- | Inf | unknown
3562.71/3573.20 c 3573s| 15200 | 2408 | 21231k|1222.0 | 397M | 50 |7285 |2055 | 838 | 34k| 1 | 46k| 22 | 9.000000e+00 | -- | Inf | unknown
3582.66/3593.26 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3582.66/3593.26 c 3593s| 15300 | 2471 | 21354k|1222.0 | 397M | 50 |7285 |2197 | 873 | 35k| 2 | 47k| 22 | 9.000000e+00 | -- | Inf | unknown
3586.35/3597.00 c
3586.35/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.35/3597.00 c Solving Time (sec) : 3597.00
3586.35/3597.00 c Solving Nodes : 15320 (total of 17425 nodes in 2 runs)
3586.35/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3586.35/3597.00 c Dual Bound : +9.00000000000000e+00
3586.35/3597.00 c Gap : infinite
3586.35/3597.00 s UNKNOWN
3586.35/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.35/3597.00 c Total Time : 3597.00
3586.35/3597.00 c solving : 3597.00
3586.35/3597.00 c presolving : 4.16 (included in solving)
3586.35/3597.00 c reading : 0.03 (included in solving)
3586.35/3597.00 c copying : 2.02 (106 #copies) (minimal 0.01, maximal 0.04, average 0.02)
3586.35/3597.00 c Original Problem :
3586.35/3597.00 c Problem name : HOME/instance-4498993-1751406345.opb
3586.35/3597.00 c Variables : 8424 (8424 binary, 0 integer, 0 continuous)
3586.35/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.35/3597.00 c Constraints : 9089 initial, 9089 maximal
3586.35/3597.00 c Objective : minimize, 9 non-zeros (abs.min = 1, abs.max = 1)
3586.35/3597.00 c Presolved Problem :
3586.35/3597.00 c Problem name : t_HOME/instance-4498993-1751406345.opb
3586.35/3597.00 c Variables : 7285 (7285 binary, 0 integer, 0 continuous)
3586.35/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.35/3597.00 c Constraints : 2843 initial, 5542 maximal
3586.35/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.35/3597.00 c Nonzeros : 325601 constraint, 162421 clique table
3586.35/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.35/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.35/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.35/3597.00 c domcol : 0.02 0.00 4 0 0 0 0 0 0 0 0 0
3586.35/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.35/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.35/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.35/3597.00 c dualsparsify : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3586.35/3597.00 c gateextraction : 0.01 0.00 3 0 0 0 0 0 0 0 0 0
3586.35/3597.00 c implics : 0.00 0.00 13 0 0 0 0 0 0 0 0 0
3586.35/3597.00 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.35/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.35/3597.00 c milp : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
3586.35/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.35/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.35/3597.00 c sparsify : 0.02 0.00 2 0 0 0 0 0 0 0 0 0
3586.35/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.35/3597.00 c trivial : 0.00 0.00 16 0 0 0 0 0 0 0 0 0
3586.35/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.35/3597.00 c dualfix : 0.00 0.00 16 0 0 0 0 0 0 0 0 0
3586.35/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.35/3597.00 c probing : 1.54 0.00 3 27 0 0 0 0 0 0 0 0
3586.35/3597.00 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.35/3597.00 c symmetry : 1.26 0.00 1 576 0 0 0 0 0 575 0 0
3586.35/3597.00 c vbounds : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3586.35/3597.00 c knapsack : 0.17 0.00 31 0 0 0 0 0 0 0 0 0
3586.35/3597.00 c setppc : 0.01 0.00 31 0 0 0 0 0 0 0 0 0
3586.35/3597.00 c linear : 0.05 0.01 11 9 0 0 9 0 8416 0 1 1
3586.35/3597.00 c orbitope_pp : 0.01 0.00 11 527 0 0 0 0 0 0 0 0
3586.35/3597.00 c logicor : 0.89 0.03 9 0 0 0 0 0 57 0 0 33
3586.35/3597.00 c components : 0.05 0.00 2 0 0 0 0 0 0 0 0 0
3586.35/3597.00 c root node : - - - 0 - - 0 - - - - -
3586.35/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.35/3597.00 c integral : 0 0 0 0 11566 0 0 1930 0 0 0 0 0 0 23132
3586.35/3597.00 c knapsack : 615+ 618 22 130911 0 0 0 1925 5279817 50 1235139 4421 50 0 0
3586.35/3597.00 c setppc : 118+ 132 22 130861 0 0 0 3 906375 45 178407 2 0 0 0
3586.35/3597.00 c linear : 16+ 21 0 102555 0 0 0 3 612 57 899 0 0 0 0
3586.35/3597.00 c orbitope_pp : 575 575 0 130659 0 0 0 0 727183 694 453114 0 0 0 0
3586.35/3597.00 c logicor : 1519+ 4231 22 27738 0 0 0 0 11682 739 4833 3 2 0 0
3586.35/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.35/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.35/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.35/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.35/3597.00 c integral : 3.75 0.00 0.00 0.00 3.75 0.00 0.00 0.00 0.00 0.00
3586.35/3597.00 c knapsack : 5.74 0.00 0.05 3.57 0.00 0.00 0.00 0.05 2.06 0.00
3586.35/3597.00 c setppc : 1.30 0.00 0.00 1.14 0.00 0.00 0.00 0.00 0.16 0.00
3586.35/3597.00 c linear : 0.11 0.01 0.00 0.09 0.00 0.00 0.00 0.00 0.00 0.00
3586.35/3597.00 c orbitope_pp : 37.99 0.00 0.00 37.90 0.00 0.00 0.00 0.00 0.06 0.03
3586.35/3597.00 c logicor : 1.10 0.03 0.01 1.00 0.00 0.00 0.00 0.00 0.06 0.00
3586.35/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.35/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.35/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.35/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.35/3597.00 c dualfix : 2 0 0 0
3586.35/3597.00 c genvbounds : 0 0 0 0
3586.35/3597.00 c nlobbt : 0 0 0 0
3586.35/3597.00 c obbt : 0 0 0 0
3586.35/3597.00 c probing : 0 0 0 0
3586.35/3597.00 c pseudoobj : 0 0 0 0
3586.35/3597.00 c redcost : 0 0 0 0
3586.35/3597.00 c rootredcost : 0 0 0 0
3586.35/3597.00 c symmetry : 0 0 0 0
3586.35/3597.00 c vbounds : 54120 0 0 0
3586.35/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.35/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3586.35/3597.00 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3586.35/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.35/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.35/3597.00 c probing : 1.54 0.00 1.54 0.00 0.00 0.00
3586.35/3597.00 c pseudoobj : 0.03 0.00 0.00 0.03 0.00 0.00
3586.35/3597.00 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3586.35/3597.00 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3586.35/3597.00 c symmetry : 1.29 0.00 1.26 0.03 0.00 0.00
3586.35/3597.00 c vbounds : 0.85 0.00 0.01 0.84 0.00 0.00
3586.35/3597.00 c Symmetry :
3586.35/3597.00 c #affected vars : 8415 (8415 bin, 0 int, 0 cont)
3586.35/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3586.35/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3586.35/3597.00 c lexicographic red: 0 reductions applied, 0 cutoffs
3586.35/3597.00 c shadow tree time : 0.00 s
3586.35/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.35/3597.00 c propagation : 0.26 1526 1217 - 7434 249.5 7 237.7 - - -
3586.35/3597.00 c infeasible LP : 25.83 6866 6656 - 158755 536.2 2 140.5 75 460.1 0
3586.35/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.35/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.35/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.35/3597.00 c applied globally : 2.09 - - 0 47109 503.9 - - 75 - -
3586.35/3597.00 c applied locally : - - - 0 0 0.0 - - 0 - -
3586.35/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.35/3597.00 c cut pool : 2.71 - 3273 42 - - 17334 1038467 - - - - - (maximal pool size: 6915)
3586.35/3597.00 c aggregation : 0.96 0.00 60 22 0 0 14226 870706 211 29862 29836 26 0
3586.35/3597.00 c > cmir : - - - - - - - 862691 0 29050 29050 0 -
3586.35/3597.00 c > flowcover : - - - - - - - 6146 0 498 498 0 -
3586.35/3597.00 c > knapsackcover : - - - - - - - 1869 211 314 288 26 -
3586.35/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.35/3597.00 c clique : 0.33 0.00 22 22 0 0 58 616 0 365 365 0 0
3586.35/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.35/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.35/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.35/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.35/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.35/3597.00 c gomory : 1.10 0.00 58 20 0 0 3047 164375 2 11346 11346 0 0
3586.35/3597.00 c > gomorymi : - - - - - - - 71371 1 5260 5260 0 -
3586.35/3597.00 c > strongcg : - - - - - - - 93004 1 6086 6086 0 -
3586.35/3597.00 c impliedbounds : 0.11 0.00 60 22 0 0 138 528 0 456 456 0 0
3586.35/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.35/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.35/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.35/3597.00 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
3586.35/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.35/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.35/3597.00 c multilinear : 0.00 0.00 132 22 0 0 0 0 0 0 0 0 0
3586.35/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.35/3597.00 c rapidlearning : 30.82 0.00 100 2 0 45 0 0 0 0 0 0 0
3586.35/3597.00 c rlt : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
3586.35/3597.00 c zerohalf : 0.21 0.00 57 22 0 0 170 2242 92 660 604 56 0
3586.35/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.35/3597.00 c hybrid : 2.08 0.00 3191 22 42742 0 1000456 645 0 32917
3586.35/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.35/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.35/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3586.35/3597.00 c problem variables: 0.00 - 0 0
3586.35/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.35/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.35/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.35/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.35/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.35/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.35/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.35/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.35/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.35/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.35/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.35/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.35/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.35/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.35/3597.00 c relpscost : 3.73 0.00 11566 0 0 0 0 0 0 23132
3586.35/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.35/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.35/3597.00 c LP solutions : 0.00 - - 0 0
3586.35/3597.00 c relax solutions : 0.00 - - 0 0
3586.35/3597.00 c pseudo solutions : 0.00 - - 0 0
3586.35/3597.00 c strong branching : 0.00 - - 0 0
3586.35/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3586.35/3597.00 c adaptivediving : 13.67 0.00 22 0 0
3586.35/3597.00 c alns : 2.83 0.00 5 0 0
3586.35/3597.00 c bound : 0.00 0.00 0 0 0
3586.35/3597.00 c clique : 0.05 0.00 1 0 0
3586.35/3597.00 c coefdiving : 0.00 0.00 0 0 0
3586.35/3597.00 c completesol : 0.00 0.00 0 0 0
3586.35/3597.00 c conflictdiving : 70.64 0.00 81 0 0
3586.35/3597.00 c crossover : 0.00 0.00 0 0 0
3586.35/3597.00 c dins : 0.00 0.00 0 0 0
3586.35/3597.00 c distributiondivin: 56.44 0.00 81 0 0
3586.35/3597.00 c dks : 0.00 0.00 0 0 0
3586.35/3597.00 c dps : 0.00 0.00 0 0 0
3586.35/3597.00 c dualval : 0.00 0.00 0 0 0
3586.35/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3586.35/3597.00 c feaspump : 11.31 0.00 41 0 0
3586.35/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3586.35/3597.00 c fracdiving : 62.29 0.00 81 0 0
3586.35/3597.00 c gins : 0.00 0.00 0 0 0
3586.35/3597.00 c guideddiving : 0.00 0.00 0 0 0
3586.35/3597.00 c indicator : 0.00 0.00 0 0 0
3586.35/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3586.35/3597.00 c intdiving : 0.00 0.00 0 0 0
3586.35/3597.00 c intshifting : 0.00 0.00 0 0 0
3586.35/3597.00 c linesearchdiving : 62.79 0.00 81 0 0
3586.35/3597.00 c localbranching : 0.00 0.00 0 0 0
3586.35/3597.00 c locks : 0.05 0.00 1 0 0
3586.35/3597.00 c lpface : 0.11 0.00 0 0 0
3586.35/3597.00 c mpec : 0.00 0.00 0 0 0
3586.35/3597.00 c multistart : 0.00 0.00 0 0 0
3586.35/3597.00 c mutation : 0.00 0.00 0 0 0
3586.35/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3586.35/3597.00 c objpscostdiving : 25.55 0.00 24 0 0
3586.35/3597.00 c octane : 0.00 0.00 0 0 0
3586.35/3597.00 c ofins : 0.00 0.00 0 0 0
3586.35/3597.00 c oneopt : 0.01 0.00 0 0 0
3586.35/3597.00 c padm : 0.00 0.00 0 0 0
3586.35/3597.00 c proximity : 0.00 0.00 0 0 0
3586.35/3597.00 c pscostdiving : 41.98 0.00 82 0 0
3586.35/3597.00 c randrounding : 1.17 0.00 1937 0 0
3586.35/3597.00 c rens : 0.07 0.00 2 0 0
3586.35/3597.00 c reoptsols : 0.00 0.00 0 0 0
3586.35/3597.00 c repair : 0.00 0.00 0 0 0
3586.35/3597.00 c rins : 0.00 0.00 0 0 0
3586.35/3597.00 c rootsoldiving : 30.50 0.00 27 0 0
3586.35/3597.00 c rounding : 0.17 0.00 1684 0 0
3586.35/3597.00 c scheduler : 0.00 0.00 0 0 0
3586.35/3597.00 c shiftandpropagate: 0.34 0.00 2 0 0
3586.35/3597.00 c shifting : 2.02 0.00 883 0 0
3586.35/3597.00 c simplerounding : 0.01 0.00 0 0 0
3586.35/3597.00 c subnlp : 0.00 0.00 0 0 0
3586.35/3597.00 c trivial : 0.01 0.00 4 0 0
3586.35/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3586.35/3597.00 c trustregion : 0.00 0.00 0 0 0
3586.35/3597.00 c trysol : 0.00 0.00 0 0 0
3586.35/3597.00 c twoopt : 0.00 0.00 0 0 0
3586.35/3597.00 c undercover : 0.00 0.00 0 0 0
3586.35/3597.00 c vbounds : 0.44 0.00 2 0 0
3586.35/3597.00 c veclendiving : 83.16 0.00 81 0 0
3586.35/3597.00 c zeroobj : 0.00 0.00 0 0 0
3586.35/3597.00 c zirounding : 0.06 0.00 1000 0 0
3586.35/3597.00 c other solutions : - - - 0 -
3586.35/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.35/3597.00 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.35/3597.00 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.35/3597.00 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.35/3597.00 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.35/3597.00 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.35/3597.00 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.35/3597.00 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.35/3597.00 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3586.35/3597.00 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3586.35/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.35/3597.00 c primal LP : 2.73 1764 0 0.00 0.00 2.73 1764
3586.35/3597.00 c dual LP : 3012.35 20251 18156327 899.14 6027.30 0.06 58
3586.35/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3586.35/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.35/3597.00 c resolve instable : 4.10 23 33900 1473.91 8268.81
3586.35/3597.00 c diving/probing LP: 419.80 8233 3223026 391.48 7677.60
3586.35/3597.00 c strong branching : 2.29 22 9660 439.09 4223.16 - - 9
3586.35/3597.00 c (at root node) : - 22 9660 439.09 -
3586.35/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3586.35/3597.00 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3586.35/3597.00 c benders : 0.00 0 0 0 0.00 0 0 0
3586.35/3597.00 c B&B Tree :
3586.35/3597.00 c number of runs : 2
3586.35/3597.00 c nodes : 15320 (9668 internal, 5652 leaves)
3586.35/3597.00 c feasible leaves : 0
3586.35/3597.00 c infeas. leaves : 5651
3586.35/3597.00 c objective leaves : 0
3586.35/3597.00 c nodes (total) : 17425 (11566 internal, 5859 leaves)
3586.35/3597.00 c nodes left : 2481
3586.35/3597.00 c max depth : 50
3586.35/3597.00 c max depth (total): 50
3586.35/3597.00 c backtracks : 3186 (20.8%)
3586.35/3597.00 c early backtracks : 0 (0.0%)
3586.35/3597.00 c nodes exc. ref. : 0 (0.0%)
3586.35/3597.00 c delayed cutoffs : 1537
3586.35/3597.00 c repropagations : 9891 (32610 domain reductions, 480 cutoffs)
3586.35/3597.00 c avg switch length: 4.48
3586.35/3597.00 c switching time : 8.10
3586.35/3597.00 c Root Node :
3586.35/3597.00 c First LP value : +9.00000000000000e+00
3586.35/3597.00 c First LP Iters : 1350 (16045.45 Iter/sec)
3586.35/3597.00 c First LP Time : 0.08
3586.35/3597.00 c Final Dual Bound : +9.00000000000000e+00
3586.35/3597.00 c Final Root Iters : 86658
3586.35/3597.00 c Root LP Estimate : +9.01471120254558e+00
3586.35/3597.00 c Solution :
3586.35/3597.00 c Solutions found : 0 (0 improvements)
3586.35/3597.00 c Primal Bound : -
3586.35/3597.00 c Dual Bound : +9.00000000000000e+00
3586.35/3597.00 c Gap : infinite
3586.35/3597.00 c Integrals : Total Avg%
3586.35/3597.00 c primal-dual : 359699.87 100.00
3586.35/3597.00 c primal-ref : - - (not evaluated)
3586.35/3597.00 c dual-ref : - - (not evaluated)
3586.45/3597.08 c Time complete (sec): 3586.537
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 (50138 MiB free)
memory of node 1: 64507 MiB (46823 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498993-1751406345/watcher-4498993-1751406345 -o /tmp/evaluation-result-4498993-1751406345/solver-4498993-1751406345 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751406326-62867 --watchdog 3760 pbsolver -f HOME/instance-4498993-1751406345.opb -t 3600 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=63242, runsolver pid=63239
[startup+0.100073 s]*
/proc/loadavg: 2.63 2.91 3.20 5/269 63243
/proc/meminfo: memFree=99249372/131249996 swapFree=33010684/33010684
[pid=63242] ppid=63239 vsize=63636 memory=53760 CPUtime=0.09 cores=0,2
/proc/63242/stat : 63242 (pbsolver) R 63239 63242 62857 0 -1 4194304 11228 0 0 0 8 1 0 0 20 0 1 0 56312481 65163264 13440 18446744073709551615 4198400 14743177 140732581596816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 42319872 140732581603722 140732581603818 140732581603818 140732581609420 0
/proc/63242/statm: 15909 13440 2432 2575 0 12816 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 63636 KiB
Current children cumulated memory: 53760 KiB
[startup+0.205513 s]*
/proc/loadavg: 2.63 2.91 3.20 5/269 63243
/proc/meminfo: memFree=99237300/131249996 swapFree=33010684/33010684
[pid=63242] ppid=63239 vsize=80600 memory=70472 CPUtime=0.19 cores=0,2
/proc/63242/stat : 63242 (pbsolver) R 63239 63242 62857 0 -1 4194304 18786 0 0 0 17 2 0 0 20 0 1 0 56312481 82534400 17618 18446744073709551615 4198400 14743177 140732581596816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 42319872 140732581603722 140732581603818 140732581603818 140732581609420 0
/proc/63242/statm: 20150 17618 2560 2575 0 17057 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 80600 KiB
Current children cumulated memory: 70472 KiB
[startup+0.305459 s]*
/proc/loadavg: 2.63 2.91 3.20 5/269 63243
/proc/meminfo: memFree=99226212/131249996 swapFree=33010684/33010684
[pid=63242] ppid=63239 vsize=92052 memory=80428 CPUtime=0.29 cores=0,2
/proc/63242/stat : 63242 (pbsolver) R 63239 63242 62857 0 -1 4194304 20881 0 0 0 27 2 0 0 20 0 1 0 56312481 94261248 20107 18446744073709551615 4198400 14743177 140732581596816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 42319872 140732581603722 140732581603818 140732581603818 140732581609420 0
/proc/63242/statm: 23013 20107 2560 2575 0 19920 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 92052 KiB
Current children cumulated memory: 80428 KiB
[startup+0.700168 s]
/proc/loadavg: 2.63 2.91 3.20 5/269 63243
/proc/meminfo: memFree=99185892/131249996 swapFree=33010684/33010684
[pid=63242] ppid=63239 vsize=131644 memory=106412 CPUtime=0.68 cores=0,2
/proc/63242/stat : 63242 (pbsolver) R 63239 63242 62857 0 -1 4194304 27477 0 0 0 64 4 0 0 20 0 1 0 56312481 134803456 26603 18446744073709551615 4198400 14743177 140732581596816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 42319872 140732581603722 140732581603818 140732581603818 140732581609420 0
/proc/63242/statm: 32911 26603 2560 2575 0 29818 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 131644 KiB
Current children cumulated memory: 106412 KiB
[startup+1.50016 s]
/proc/loadavg: 2.63 2.91 3.20 5/269 63243
/proc/meminfo: memFree=99161708/131249996 swapFree=33010684/33010684
[pid=63242] ppid=63239 vsize=140820 memory=115756 CPUtime=1.49 cores=0,2
/proc/63242/stat : 63242 (pbsolver) R 63239 63242 62857 0 -1 4194304 29824 0 0 0 144 5 0 0 20 0 1 0 56312481 144199680 28939 18446744073709551615 4198400 14743177 140732581596816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 42319872 140732581603722 140732581603818 140732581603818 140732581609420 0
/proc/63242/statm: 35205 28939 2560 2575 0 32112 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 140820 KiB
Current children cumulated memory: 115756 KiB
[startup+3.10537 s]
/proc/loadavg: 2.82 2.95 3.21 5/269 63243
/proc/meminfo: memFree=98602116/131249996 swapFree=33010684/33010684
[pid=63242] ppid=63239 vsize=187984 memory=163420 CPUtime=3.08 cores=0,2
/proc/63242/stat : 63242 (pbsolver) R 63239 63242 62857 0 -1 4194304 42105 0 0 0 302 6 0 0 20 0 1 0 56312481 192495616 40855 18446744073709551615 4198400 14743177 140732581596816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 42319872 140732581603722 140732581603818 140732581603818 140732581609420 0
/proc/63242/statm: 46996 40855 2592 2575 0 43903 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 187984 KiB
Current children cumulated memory: 163420 KiB
[startup+6.30016 s]
/proc/loadavg: 2.82 2.95 3.21 5/269 63243
/proc/meminfo: memFree=96667516/131249996 swapFree=33010684/33010684
[pid=63242] ppid=63239 vsize=265212 memory=236496 CPUtime=6.27 cores=0,2
/proc/63242/stat : 63242 (pbsolver) R 63239 63242 62857 0 -1 4194304 62962 0 0 0 617 10 0 0 20 0 1 0 56312481 271577088 59124 18446744073709551615 4198400 14743177 140732581596816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 42319872 140732581603722 140732581603818 140732581603818 140732581609420 0
/proc/63242/statm: 66303 59124 2656 2575 0 63210 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 265212 KiB
Current children cumulated memory: 236496 KiB
[startup+12.7002 s]
/proc/loadavg: 2.99 2.98 3.22 5/269 63243
/proc/meminfo: memFree=93904124/131249996 swapFree=33010684/33010684
[pid=63242] ppid=63239 vsize=292316 memory=265168 CPUtime=12.65 cores=0,2
/proc/63242/stat : 63242 (pbsolver) R 63239 63242 62857 0 -1 4194304 70143 0 0 0 1254 11 0 0 20 0 1 0 56312481 299331584 66292 18446744073709551615 4198400 14743177 140732581596816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 42319872 140732581603722 140732581603818 140732581603818 140732581609420 0
/proc/63242/statm: 73079 66292 2656 2575 0 69986 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 292316 KiB
Current children cumulated memory: 265168 KiB
[startup+25.5002 s]
/proc/loadavg: 3.36 3.06 3.25 5/269 63288
/proc/meminfo: memFree=90773144/131249996 swapFree=33010684/33010684
[pid=63242] ppid=63239 vsize=317440 memory=290388 CPUtime=25.4 cores=0,2
/proc/63242/stat : 63242 (pbsolver) R 63239 63242 62857 0 -1 4194304 89522 0 0 0 2525 15 0 0 20 0 1 0 56312481 325058560 72597 18446744073709551615 4198400 14743177 140732581596816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 42319872 140732581603722 140732581603818 140732581603818 140732581609420 0
/proc/63242/statm: 79360 72597 2656 2575 0 76267 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 317440 KiB
Current children cumulated memory: 290388 KiB
[startup+51.1053 s]
/proc/loadavg: 3.64 3.16 3.27 5/268 63347
/proc/meminfo: memFree=97372640/131249996 swapFree=33010684/33010684
[pid=63242] ppid=63239 vsize=334516 memory=305512 CPUtime=50.92 cores=0,2
/proc/63242/stat : 63242 (pbsolver) R 63239 63242 62857 0 -1 4194304 94891 0 0 0 5076 16 0 0 20 0 1 0 56312481 342544384 76378 18446744073709551615 4198400 14743177 140732581596816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 42319872 140732581603722 140732581603818 140732581603818 140732581609420 0
/proc/63242/statm: 83629 76378 2656 2575 0 80536 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 334516 KiB
Current children cumulated memory: 305512 KiB
[startup+102.3 s]
/proc/loadavg: 3.91 3.30 3.32 5/268 63424
/proc/meminfo: memFree=122192528/131249996 swapFree=33010684/33010684
[pid=63242] ppid=63239 vsize=334516 memory=307688 CPUtime=101.98 cores=0,2
/proc/63242/stat : 63242 (pbsolver) R 63239 63242 62857 0 -1 4194304 94940 0 0 0 10182 16 0 0 20 0 1 0 56312481 342544384 76922 18446744073709551615 4198400 14743177 140732581596816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 42319872 140732581603722 140732581603818 140732581603818 140732581609420 0
/proc/63242/statm: 83629 76922 2656 2575 0 80536 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 334516 KiB
Current children cumulated memory: 307688 KiB
[startup+162.3 s]
/proc/loadavg: 4.02 3.45 3.37 5/267 63426
/proc/meminfo: memFree=122099112/131249996 swapFree=33010684/33010684
[pid=63242] ppid=63239 vsize=381524 memory=357096 CPUtime=161.81 cores=0,2
/proc/63242/stat : 63242 (pbsolver) R 63239 63242 62857 0 -1 4194304 111429 0 0 0 16162 19 0 0 20 0 1 0 56312481 390680576 89274 18446744073709551615 4198400 14743177 140732581596816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 42319872 140732581603722 140732581603818 140732581603818 140732581609420 0
/proc/63242/statm: 95381 89274 2656 2575 0 92288 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 381524 KiB
Current children cumulated memory: 357096 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 3.58 3.42 5/265 63518
/proc/meminfo: memFree=122113656/131249996 swapFree=33010684/33010684
[pid=63242] ppid=63239 vsize=406132 memory=384412 CPUtime=221.64 cores=0,2
/proc/63242/stat : 63242 (pbsolver) R 63239 63242 62857 0 -1 4194304 128901 0 0 0 22142 22 0 0 20 0 1 0 56312481 415879168 96103 18446744073709551615 4198400 14743177 140732581596816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 42319872 140732581603722 140732581603818 140732581603818 140732581609420 0
/proc/63242/statm: 101533 96103 2656 2575 0 98440 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 406132 KiB
Current children cumulated memory: 384412 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 3.68 3.47 5/264 63565
/proc/meminfo: memFree=122050256/131249996 swapFree=33010684/33010684
[pid=63242] ppid=63239 vsize=398264 memory=381924 CPUtime=281.48 cores=0,2
/proc/63242/stat : 63242 (pbsolver) R 63239 63242 62857 0 -1 4194304 140199 0 0 0 28123 25 0 0 20 0 1 0 56312481 407822336 95481 18446744073709551615 4198400 14743177 140732581596816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 42319872 140732581603722 140732581603818 140732581603818 140732581609420 0
/proc/63242/statm: 99566 95481 2656 2575 0 96473 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 398264 KiB
Current children cumulated memory: 381924 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 3.75 3.51 5/265 63574
/proc/meminfo: memFree=121929268/131249996 swapFree=33010684/33010684
[pid=63242] ppid=63239 vsize=440348 memory=423648 CPUtime=341.33 cores=0,2
/proc/63242/stat : 63242 (pbsolver) R 63239 63242 62857 0 -1 4194304 153983 0 0 0 34106 27 0 0 20 0 1 0 56312481 450916352 105912 18446744073709551615 4198400 14743177 140732581596816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 42319872 140732581603722 140732581603818 140732581603818 140732581609420 0
/proc/63242/statm: 110087 105912 2656 2575 0 106994 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 440348 KiB
Current children cumulated memory: 423648 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 3.83 3.55 5/267 63578
/proc/meminfo: memFree=121888160/131249996 swapFree=33010684/33010684
[pid=63242] ppid=63239 vsize=440348 memory=423648 CPUtime=401.17 cores=0,2
/proc/63242/stat : 63242 (pbsolver) R 63239 63242 62857 0 -1 4194304 154126 0 0 0 40090 27 0 0 20 0 1 0 56312481 450916352 105912 18446744073709551615 4198400 14743177 140732581596816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 42319872 140732581603722 140732581603818 140732581603818 140732581609420 0
/proc/63242/statm: 110087 105912 2656 2575 0 106994 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 440348 KiB
Current children cumulated memory: 423648 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 3.88 3.59 5/267 63580
/proc/meminfo: memFree=121863088/131249996 swapFree=33010684/33010684
[pid=63242] ppid=63239 vsize=440348 memory=423648 CPUtime=461 cores=0,2
/proc/63242/stat : 63242 (pbsolver) R 63239 63242 62857 0 -1 4194304 154261 0 0 0 46073 27 0 0 20 0 1 0 56312481 450916352 105912 18446744073709551615 4198400 14743177 140732581596816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 42319872 140732581603722 140732581603818 140732581603818 140732581609420 0
/proc/63242/statm: 110087 105912 2656 2575 0 106994 0
Current children cumulated CPU time: 461 s
################
# More data... #
################
/proc/loadavg: 4.11 4.12 4.09 5/263 63785
/proc/meminfo: memFree=121688056/131249996 swapFree=33010684/33010684
[pid=63242] ppid=63239 vsize=471332 memory=455756 CPUtime=3152.89 cores=0,2
/proc/63242/stat : 63242 (pbsolver) R 63239 63242 62857 0 -1 4194304 202485 0 0 0 315253 36 0 0 20 0 1 0 56312481 482643968 113939 18446744073709551615 4198400 14743177 140732581596816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 42319872 140732581603722 140732581603818 140732581603818 140732581609420 0
/proc/63242/statm: 117833 113939 2944 2575 0 114740 0
Current children cumulated CPU time: 3152.89 s
Current children cumulated vsize: 471332 KiB
Current children cumulated memory: 455756 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 63787
/proc/meminfo: memFree=121688288/131249996 swapFree=33010684/33010684
[pid=63242] ppid=63239 vsize=471332 memory=455756 CPUtime=3212.73 cores=0,2
/proc/63242/stat : 63242 (pbsolver) R 63239 63242 62857 0 -1 4194304 202645 0 0 0 321237 36 0 0 20 0 1 0 56312481 482643968 113939 18446744073709551615 4198400 14743177 140732581596816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 42319872 140732581603722 140732581603818 140732581603818 140732581609420 0
/proc/63242/statm: 117833 113939 2944 2575 0 114740 0
Current children cumulated CPU time: 3212.73 s
Current children cumulated vsize: 471332 KiB
Current children cumulated memory: 455756 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 63789
/proc/meminfo: memFree=121690380/131249996 swapFree=33010684/33010684
[pid=63242] ppid=63239 vsize=471332 memory=455756 CPUtime=3272.58 cores=0,2
/proc/63242/stat : 63242 (pbsolver) R 63239 63242 62857 0 -1 4194304 202646 0 0 0 327222 36 0 0 20 0 1 0 56312481 482643968 113939 18446744073709551615 4198400 14743177 140732581596816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 42319872 140732581603722 140732581603818 140732581603818 140732581609420 0
/proc/63242/statm: 117833 113939 2944 2575 0 114740 0
Current children cumulated CPU time: 3272.58 s
Current children cumulated vsize: 471332 KiB
Current children cumulated memory: 455756 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 63798
/proc/meminfo: memFree=121688148/131249996 swapFree=33010684/33010684
[pid=63242] ppid=63239 vsize=471332 memory=455756 CPUtime=3332.42 cores=0,2
/proc/63242/stat : 63242 (pbsolver) R 63239 63242 62857 0 -1 4194304 202660 0 0 0 333206 36 0 0 20 0 1 0 56312481 482643968 113939 18446744073709551615 4198400 14743177 140732581596816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 42319872 140732581603722 140732581603818 140732581603818 140732581609420 0
/proc/63242/statm: 117833 113939 2944 2575 0 114740 0
Current children cumulated CPU time: 3332.42 s
Current children cumulated vsize: 471332 KiB
Current children cumulated memory: 455756 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/264 63800
/proc/meminfo: memFree=121688060/131249996 swapFree=33010684/33010684
[pid=63242] ppid=63239 vsize=471332 memory=455756 CPUtime=3392.26 cores=0,2
/proc/63242/stat : 63242 (pbsolver) R 63239 63242 62857 0 -1 4194304 202661 0 0 0 339190 36 0 0 20 0 1 0 56312481 482643968 113939 18446744073709551615 4198400 14743177 140732581596816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 42319872 140732581603722 140732581603818 140732581603818 140732581609420 0
/proc/63242/statm: 117833 113939 2944 2575 0 114740 0
Current children cumulated CPU time: 3392.26 s
Current children cumulated vsize: 471332 KiB
Current children cumulated memory: 455756 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/265 63804
/proc/meminfo: memFree=121688172/131249996 swapFree=33010684/33010684
[pid=63242] ppid=63239 vsize=471332 memory=455756 CPUtime=3452.1 cores=0,2
/proc/63242/stat : 63242 (pbsolver) R 63239 63242 62857 0 -1 4194304 202760 0 0 0 345174 36 0 0 20 0 1 0 56312481 482643968 113939 18446744073709551615 4198400 14743177 140732581596816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 42319872 140732581603722 140732581603818 140732581603818 140732581609420 0
/proc/63242/statm: 117833 113939 2944 2575 0 114740 0
Current children cumulated CPU time: 3452.1 s
Current children cumulated vsize: 471332 KiB
Current children cumulated memory: 455756 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 63806
/proc/meminfo: memFree=121688372/131249996 swapFree=33010684/33010684
[pid=63242] ppid=63239 vsize=471332 memory=455756 CPUtime=3511.94 cores=0,2
/proc/63242/stat : 63242 (pbsolver) R 63239 63242 62857 0 -1 4194304 202837 0 0 0 351158 36 0 0 20 0 1 0 56312481 482643968 113939 18446744073709551615 4198400 14743177 140732581596816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 42319872 140732581603722 140732581603818 140732581603818 140732581609420 0
/proc/63242/statm: 117833 113939 2944 2575 0 114740 0
Current children cumulated CPU time: 3511.94 s
Current children cumulated vsize: 471332 KiB
Current children cumulated memory: 455756 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.12 4.10 5/265 63808
/proc/meminfo: memFree=121656360/131249996 swapFree=33010684/33010684
[pid=63242] ppid=63239 vsize=471332 memory=455756 CPUtime=3571.79 cores=0,2
/proc/63242/stat : 63242 (pbsolver) R 63239 63242 62857 0 -1 4194304 202839 0 0 0 357143 36 0 0 20 0 1 0 56312481 482643968 113939 18446744073709551615 4198400 14743177 140732581596816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 42319872 140732581603722 140732581603818 140732581603818 140732581609420 0
/proc/63242/statm: 117833 113939 2944 2575 0 114740 0
Current children cumulated CPU time: 3571.79 s
Current children cumulated vsize: 471332 KiB
Current children cumulated memory: 455756 KiB
[startup+3597.08 s]
# the end of solver process 63242 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.17 s, system=0.373294 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.17 4.12 4.10 5/265 63808
/proc/meminfo: memFree=121656612/131249996 swapFree=33010684/33010684
[pid=63242] ppid=63239 vsize=471332 memory=455756 CPUtime=3573.49 cores=0,2
/proc/63242/stat : 63242 (pbsolver) R 63239 63242 62857 0 -1 4194304 202839 0 0 0 357313 36 0 0 20 0 1 0 56312481 482643968 113939 18446744073709551615 4198400 14743177 140732581596816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 42319872 140732581603722 140732581603818 140732581603818 140732581609420 0
/proc/63242/statm: 117833 113939 2944 2575 0 114740 0
Current children cumulated CPU time: 3573.49 s
Current children cumulated vsize: 471332 KiB
Current children cumulated memory: 455756 KiB
[startup+3590.4 s]
/proc/loadavg: 4.16 4.12 4.09 5/265 63808
/proc/meminfo: memFree=121656620/131249996 swapFree=33010684/33010684
[pid=63242] ppid=63239 vsize=471332 memory=455756 CPUtime=3579.86 cores=0,2
/proc/63242/stat : 63242 (pbsolver) R 63239 63242 62857 0 -1 4194304 202839 0 0 0 357950 36 0 0 20 0 1 0 56312481 482643968 113939 18446744073709551615 4198400 14743177 140732581596816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 42319872 140732581603722 140732581603818 140732581603818 140732581609420 0
/proc/63242/statm: 117833 113939 2944 2575 0 114740 0
Current children cumulated CPU time: 3579.86 s
Current children cumulated vsize: 471332 KiB
Current children cumulated memory: 455756 KiB
[startup+3593.6 s]
/proc/loadavg: 4.16 4.12 4.09 5/265 63808
/proc/meminfo: memFree=121656620/131249996 swapFree=33010684/33010684
[pid=63242] ppid=63239 vsize=471332 memory=455756 CPUtime=3583.06 cores=0,2
/proc/63242/stat : 63242 (pbsolver) R 63239 63242 62857 0 -1 4194304 202839 0 0 0 358270 36 0 0 20 0 1 0 56312481 482643968 113939 18446744073709551615 4198400 14743177 140732581596816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 42319872 140732581603722 140732581603818 140732581603818 140732581609420 0
/proc/63242/statm: 117833 113939 2944 2575 0 114740 0
Current children cumulated CPU time: 3583.06 s
Current children cumulated vsize: 471332 KiB
Current children cumulated memory: 455756 KiB
[startup+3595.2 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 63808
/proc/meminfo: memFree=121656872/131249996 swapFree=33010684/33010684
[pid=63242] ppid=63239 vsize=471332 memory=455756 CPUtime=3584.65 cores=0,2
/proc/63242/stat : 63242 (pbsolver) R 63239 63242 62857 0 -1 4194304 202839 0 0 0 358429 36 0 0 20 0 1 0 56312481 482643968 113939 18446744073709551615 4198400 14743177 140732581596816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 42319872 140732581603722 140732581603818 140732581603818 140732581609420 0
/proc/63242/statm: 117833 113939 2944 2575 0 114740 0
Current children cumulated CPU time: 3584.65 s
Current children cumulated vsize: 471332 KiB
Current children cumulated memory: 455756 KiB
[startup+3596 s]*
/proc/loadavg: 4.14 4.12 4.09 5/265 63808
/proc/meminfo: memFree=121656872/131249996 swapFree=33010684/33010684
[pid=63242] ppid=63239 vsize=471332 memory=455756 CPUtime=3585.45 cores=0,2
/proc/63242/stat : 63242 (pbsolver) R 63239 63242 62857 0 -1 4194304 202839 0 0 0 358509 36 0 0 20 0 1 0 56312481 482643968 113939 18446744073709551615 4198400 14743177 140732581596816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 42319872 140732581603722 140732581603818 140732581603818 140732581609420 0
/proc/63242/statm: 117833 113939 2944 2575 0 114740 0
Current children cumulated CPU time: 3585.45 s
Current children cumulated vsize: 471332 KiB
Current children cumulated memory: 455756 KiB
[startup+3596.8 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 63808
/proc/meminfo: memFree=121656872/131249996 swapFree=33010684/33010684
[pid=63242] ppid=63239 vsize=471332 memory=455756 CPUtime=3586.25 cores=0,2
/proc/63242/stat : 63242 (pbsolver) R 63239 63242 62857 0 -1 4194304 202839 0 0 0 358589 36 0 0 20 0 1 0 56312481 482643968 113939 18446744073709551615 4198400 14743177 140732581596816 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 42319872 140732581603722 140732581603818 140732581603818 140732581609420 0
/proc/63242/statm: 117833 113939 2944 2575 0 114740 0
Current children cumulated CPU time: 3586.25 s
Current children cumulated vsize: 471332 KiB
Current children cumulated memory: 455756 KiB
[startup+3597 s]*
/proc/loadavg: 4.14 4.12 4.09 5/265 63808
/proc/meminfo: memFree=121656872/131249996 swapFree=33010684/33010684
[pid=63242] ppid=63239 vsize=471332 memory=455756 CPUtime=3586.45 cores=0,2
/proc/63242/stat : 63242 (pbsolver) R 63239 63242 62857 0 -1 4194304 202839 0 0 0 358609 36 0 0 20 0 1 0 56312481 482643968 113939 18446744073709551615 4198400 14743177 140732581596816 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 42319872 140732581603722 140732581603818 140732581603818 140732581609420 0
/proc/63242/statm: 117833 113939 2944 2575 0 114740 0
Current children cumulated CPU time: 3586.45 s
Current children cumulated vsize: 471332 KiB
Current children cumulated memory: 455756 KiB
Child status: 0
Real time (s): 3597.08
CPU time (s): 3586.54
CPU user time (s): 3586.17
CPU system time (s): 0.373294
CPU usage (%): 99.7069
Max. virtual memory (cumulated for all children) (KiB): 477920
Max. memory (cumulated for all children) (KiB): 462144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.17
system time used= 0.373294
maximum resident set size= 462144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 202868
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= 45
involuntary context switches= 8355
# summary of solver processes directly reported to runsolver:
# pid: 63242
# total CPU time (s): 3586.54
# total CPU user time (s): 3586.17
# total CPU system time (s): 0.373294
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.42576 second user time and 14.7638 second system time
The end