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-4544697-1753217134.opb>
0.00/0.04 c original problem has 2984 variables (2984 bin, 0 int, 0 cont) and 25189 constraints
0.00/0.04 c problem read in 0.046 seconds
0.00/0.04 c problem without objective
0.00/0.08 c presolving:
0.10/0.10 c (round 1, fast) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 704 chg coeffs, 0 upgd conss, 0 impls, 2640 clqs
0.10/0.14 c (0.1s) running MILP presolver
0.10/0.17 c (0.2s) MILP presolver found nothing
0.20/0.22 c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 704 chg coeffs, 25189 upgd conss, 0 impls, 2640 clqs
0.20/0.25 c (round 3, medium) 0 del vars, 704 del conss, 4544 add conss, 0 chg bounds, 0 chg sides, 704 chg coeffs, 25189 upgd conss, 0 impls, 7184 clqs
0.20/0.28 c (round 4, exhaustive) 0 del vars, 5952 del conss, 5248 add conss, 0 chg bounds, 0 chg sides, 704 chg coeffs, 25189 upgd conss, 0 impls, 7184 clqs
0.78/0.90 c (0.9s) probing: 1000/2984 (33.5%) - 0 fixings, 0 aggregations, 29007 implications, 0 bound changes
0.88/0.90 c (0.9s) probing: 1001/2984 (33.5%) - 0 fixings, 0 aggregations, 29118 implications, 0 bound changes
0.88/0.90 c (0.9s) probing aborted: 1000/1000 successive useless probings
0.88/0.90 c (0.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.99/1.02 c (1.0s) symmetry computation finished: 8 generators found (max: 1500, log10 of symmetry group size: 4.91) (symcode time: 0.10)
0.99/1.02 c dynamic symmetry handling statistics:
0.99/1.02 c orbitopal reduction: no components
0.99/1.02 c orbital reduction: 1 components of sizes 8
0.99/1.02 c lexicographic reduction: 8 permutations with support sizes 746, 746, 746, 746, 746, 746, 746, 2944
0.99/1.02 c handled 1 out of 1 symmetry components
0.99/1.04 c presolving (5 rounds: 5 fast, 4 medium, 3 exhaustive):
0.99/1.04 c 0 deleted vars, 5952 deleted constraints, 5248 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 704 changed coefficients
0.99/1.04 c 0 implications, 36302 cliques
0.99/1.04 c presolved problem has 2984 variables (2984 bin, 0 int, 0 cont) and 24485 constraints
0.99/1.04 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.99/1.04 c 2640 constraints of type <setppc>
0.99/1.04 c 704 constraints of type <and>
0.99/1.04 c 21141 constraints of type <logicor>
0.99/1.04 c transformed objective value is always integral (scale: 1)
0.99/1.04 c Presolving Time: 0.96
0.99/1.04 c
0.99/1.04 c - non default parameters ----------------------------------------------------------------------
0.99/1.04 c
0.99/1.04 c # SCIP version 10.0.0
0.99/1.04 c
0.99/1.04 c # maximal time in seconds to run
0.99/1.04 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.99/1.04 c limits/time = 3596.999005
0.99/1.04 c
0.99/1.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.99/1.04 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.99/1.04 c limits/memory = 27900
0.99/1.04 c
0.99/1.04 c # belongs reading time to solving time?
0.99/1.04 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.99/1.04 c timing/reading = TRUE
0.99/1.04 c
0.99/1.04 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
0.99/1.04 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.99/1.04 c reading/opbreader/maxintsize = 47
0.99/1.04 c
0.99/1.04 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.99/1.04 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.99/1.04 c propagating/genvbounds/timingmask = 0
0.99/1.04 c
0.99/1.04 c -----------------------------------------------------------------------------------------------
0.99/1.04 c
1.59/1.64 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.59/1.64 c 1.6s| 1 | 0 | 7610 | - | 125M | 0 |2984 | 24k| 25k| 0 | 0 | 52 | 0 | 0.000000e+00 | -- | Inf | unknown
3.28/3.30 c 3.3s| 1 | 0 | 21529 | - | 142M | 0 |2984 | 24k| 25k| 742 | 1 | 53 | 0 | 0.000000e+00 | -- | Inf | unknown
3.68/3.71 c 3.7s| 1 | 0 | 24524 | - | 142M | 0 |2984 | 24k| 26k|1226 | 2 | 54 | 0 | 0.000000e+00 | -- | Inf | unknown
4.18/4.27 c 4.3s| 1 | 0 | 27409 | - | 148M | 0 |2984 | 24k| 26k|1713 | 3 | 55 | 0 | 0.000000e+00 | -- | Inf | unknown
4.58/4.70 c 4.7s| 1 | 0 | 29614 | - | 152M | 0 |2984 | 24k| 27k|2033 | 4 | 58 | 0 | 0.000000e+00 | -- | Inf | unknown
5.08/5.16 c 5.2s| 1 | 0 | 31337 | - | 157M | 0 |2984 | 24k| 27k|2302 | 5 | 59 | 0 | 0.000000e+00 | -- | Inf | unknown
5.78/5.81 c 5.8s| 1 | 0 | 33460 | - | 163M | 0 |2984 | 24k| 27k|2516 | 6 | 60 | 0 | 0.000000e+00 | -- | Inf | unknown
6.38/6.44 c 6.4s| 1 | 0 | 35481 | - | 169M | 0 |2984 | 24k| 27k|2658 | 7 | 61 | 0 | 0.000000e+00 | -- | Inf | unknown
6.98/7.03 c 7.0s| 1 | 0 | 37062 | - | 173M | 0 |2984 | 24k| 27k|2775 | 8 | 62 | 0 | 0.000000e+00 | -- | Inf | unknown
7.57/7.62 c 7.6s| 1 | 0 | 38630 | - | 181M | 0 |2984 | 24k| 28k|2895 | 9 | 63 | 0 | 0.000000e+00 | -- | Inf | unknown
8.16/8.22 c 8.2s| 1 | 0 | 40283 | - | 187M | 0 |2984 | 24k| 28k|3013 | 10 | 64 | 0 | 0.000000e+00 | -- | Inf | unknown
8.66/8.74 c 8.7s| 1 | 0 | 41834 | - | 191M | 0 |2984 | 24k| 28k|3091 | 11 | 65 | 0 | 0.000000e+00 | -- | Inf | unknown
18.05/18.19 c 18.2s| 1 | 2 | 48800 | - | 191M | 0 |2984 | 24k| 28k|3091 | 11 | 78 | 20 | 0.000000e+00 | -- | Inf | unknown
105.82/106.16 c 106s| 100 | 10 |181138 |1407.1 | 193M | 18 |2984 | 24k| 26k|5711 | 2 | 130 | 20 | 0.000000e+00 | -- | Inf | 92.17%
123.17/123.57 c 124s| 200 | 10 |258792 |1090.2 | 195M | 25 |2984 | 24k| 26k|8197 | 2 | 227 | 20 | 0.000000e+00 | -- | Inf | 93.74%
138.82/139.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
138.82/139.22 c 139s| 300 | 10 |325419 | 948.4 | 195M | 25 |2984 | 24k| 0 | 10k| 0 | 306 | 20 | 0.000000e+00 | -- | Inf | 93.91%
153.58/154.10 c 154s| 400 | 8 |391225 | 875.7 | 196M | 25 |2984 | 24k| 0 | 12k| 0 | 392 | 20 | 0.000000e+00 | -- | Inf | 94.49%
172.42/172.91 c 173s| 500 | 15 |479306 | 876.7 | 196M | 25 |2984 | 24k| 0 | 15k| 0 | 491 | 20 | 0.000000e+00 | -- | Inf | 94.58%
185.28/185.85 c 186s| 600 | 15 |535623 | 824.4 | 197M | 28 |2984 | 24k| 0 | 17k| 0 | 611 | 20 | 0.000000e+00 | -- | Inf | 94.58%
198.74/199.31 c 199s| 700 | 12 |595882 | 792.6 | 197M | 28 |2984 | 25k| 0 | 19k| 0 | 708 | 20 | 0.000000e+00 | -- | Inf | 94.59%
214.79/215.46 c 215s| 800 | 13 |667040 | 782.5 | 198M | 32 |2984 | 25k| 0 | 21k| 0 | 814 | 20 | 0.000000e+00 | -- | Inf | 94.59%
226.16/226.89 c 227s| 900 | 14 |715085 | 748.9 | 198M | 34 |2984 | 25k| 27k| 23k| 2 | 863 | 20 | 0.000000e+00 | -- | Inf | 94.60%
241.61/242.33 c 242s| 1000 | 10 |782129 | 741.0 | 199M | 35 |2984 | 25k| 26k| 25k| 2 | 985 | 20 | 0.000000e+00 | -- | Inf | 94.67%
258.46/259.23 c 259s| 1100 | 16 |854538 | 739.5 | 199M | 35 |2984 | 25k| 0 | 28k| 0 |1131 | 20 | 0.000000e+00 | -- | Inf | 94.67%
272.72/273.50 c 274s| 1200 | 18 |918585 | 731.2 | 200M | 35 |2984 | 25k| 27k| 30k| 2 |1240 | 20 | 0.000000e+00 | -- | Inf | 94.68%
287.37/288.27 c 288s| 1300 | 16 |980264 | 722.4 | 200M | 35 |2984 | 25k| 0 | 32k| 0 |1373 | 20 | 0.000000e+00 | -- | Inf | 94.68%
302.53/303.45 c 303s| 1400 | 12 | 1041k| 714.8 | 201M | 35 |2984 | 25k| 0 | 34k| 0 |1486 | 20 | 0.000000e+00 | -- | Inf | 94.68%
320.97/321.90 c 322s| 1500 | 14 | 1114k| 715.6 | 201M | 35 |2984 | 25k| 27k| 36k| 2 |1603 | 20 | 0.000000e+00 | -- | Inf | 94.68%
338.72/339.78 c 340s| 1600 | 12 | 1192k| 719.4 | 202M | 35 |2984 | 25k| 27k| 39k| 2 |1696 | 20 | 0.000000e+00 | -- | Inf | 94.68%
351.98/353.08 c 353s| 1700 | 11 | 1251k| 712.2 | 202M | 35 |2984 | 25k| 27k| 41k| 2 |1827 | 20 | 0.000000e+00 | -- | Inf | 94.68%
365.33/366.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
365.33/366.41 c 366s| 1800 | 10 | 1311k| 705.5 | 202M | 35 |2984 | 25k| 0 | 42k| 0 |1922 | 20 | 0.000000e+00 | -- | Inf | 94.68%
379.69/380.84 c 381s| 1900 | 11 | 1372k| 700.9 | 203M | 37 |2984 | 25k| 27k| 44k| 2 |2049 | 20 | 0.000000e+00 | -- | Inf | 94.68%
393.85/395.09 c 395s| 2000 | 11 | 1435k| 697.4 | 203M | 37 |2984 | 25k| 27k| 46k| 2 |2203 | 20 | 0.000000e+00 | -- | Inf | 94.68%
405.61/406.80 c 407s| 2100 | 10 | 1486k| 688.4 | 203M | 37 |2984 | 25k| 0 | 48k| 0 |2323 | 20 | 0.000000e+00 | -- | Inf | 94.68%
419.17/420.48 c 420s| 2200 | 7 | 1543k| 682.7 | 204M | 37 |2984 | 26k| 0 | 50k| 0 |2444 | 20 | 0.000000e+00 | -- | Inf | 94.71%
430.93/432.21 c 432s| 2300 | 10 | 1595k| 676.0 | 204M | 37 |2984 | 26k| 0 | 52k| 0 |2528 | 20 | 0.000000e+00 | -- | Inf | 94.72%
465.03/466.46 c 466s| 2400 | 9 | 1656k| 673.3 | 207M | 37 |2984 | 26k| 27k| 54k| 2 |2683 | 20 | 0.000000e+00 | -- | Inf | 94.89%
474.50/475.91 c 476s| 2500 | 9 | 1698k| 663.1 | 207M | 37 |2984 | 26k| 0 | 55k| 0 |2772 | 20 | 0.000000e+00 | -- | Inf | 94.91%
489.76/491.28 c 491s| 2600 | 11 | 1767k| 664.0 | 207M | 37 |2984 | 26k| 0 | 57k| 0 |2826 | 20 | 0.000000e+00 | -- | Inf | 94.91%
501.12/502.64 c 503s| 2700 | 10 | 1820k| 659.1 | 207M | 37 |2984 | 26k| 27k| 59k| 2 |2888 | 20 | 0.000000e+00 | -- | Inf | 94.91%
510.69/512.27 c 512s| 2800 | 7 | 1864k| 651.2 | 207M | 37 |2984 | 26k| 0 | 61k| 0 |2968 | 20 | 0.000000e+00 | -- | Inf | 94.92%
522.76/524.31 c 524s| 2900 | 5 | 1919k| 647.8 | 208M | 37 |2984 | 26k| 26k| 63k| 2 |3083 | 20 | 0.000000e+00 | -- | Inf | 94.92%
541.70/543.33 c 543s| 3000 | 12 | 1998k| 652.6 | 217M | 37 |2984 | 26k| 0 | 65k| 0 |3161 | 20 | 0.000000e+00 | -- | Inf | 95.60%
559.25/560.98 c 561s| 3100 | 16 | 2072k| 655.4 | 217M | 37 |2984 | 26k| 27k| 67k| 2 |3279 | 20 | 0.000000e+00 | -- | Inf | 95.67%
571.11/572.83 c 573s| 3200 | 12 | 2127k| 652.0 | 217M | 37 |2984 | 26k| 27k| 69k| 2 |3371 | 20 | 0.000000e+00 | -- | Inf | 95.68%
581.98/583.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
581.98/583.80 c 584s| 3300 | 11 | 2175k| 646.7 | 217M | 37 |2984 | 26k| 27k| 70k| 2 |3433 | 20 | 0.000000e+00 | -- | Inf | 95.68%
597.03/598.80 c 599s| 3400 | 12 | 2242k| 647.3 | 217M | 37 |2984 | 26k| 27k| 72k| 2 |3494 | 20 | 0.000000e+00 | -- | Inf | 95.68%
610.29/612.13 c 612s| 3500 | 9 | 2300k| 645.4 | 218M | 37 |2984 | 26k| 26k| 74k| 2 |3557 | 20 | 0.000000e+00 | -- | Inf | 95.69%
625.54/627.43 c 627s| 3600 | 6 | 2367k| 646.3 | 218M | 37 |2984 | 26k| 0 | 76k| 0 |3627 | 20 | 0.000000e+00 | -- | Inf | 95.80%
639.70/641.66 c 642s| 3700 | 7 | 2432k| 646.3 | 218M | 37 |2984 | 26k| 0 | 79k| 0 |3722 | 20 | 0.000000e+00 | -- | Inf | 95.82%
653.65/655.67 c 656s| 3800 | 9 | 2493k| 645.4 | 218M | 37 |2984 | 26k| 0 | 81k| 0 |3812 | 20 | 0.000000e+00 | -- | Inf | 95.91%
669.41/671.43 c 671s| 3900 | 12 | 2563k| 646.8 | 219M | 37 |2984 | 26k| 27k| 83k| 2 |3907 | 20 | 0.000000e+00 | -- | Inf | 95.96%
681.08/683.19 c 683s| 4000 | 12 | 2616k| 643.9 | 219M | 37 |2984 | 26k| 0 | 84k| 0 |3963 | 20 | 0.000000e+00 | -- | Inf | 95.97%
690.05/692.11 c 692s| 4100 | 16 | 2656k| 637.8 | 220M | 37 |2984 | 26k| 27k| 86k| 2 |3974 | 20 | 0.000000e+00 | -- | Inf | 95.97%
700.31/702.44 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
700.81/702.98 c (run 1, node 4189) performing user restart
700.81/702.98 c
700.81/702.99 c (restart) converted 1085 cuts from the global cut pool into linear constraints
700.81/702.99 c
700.91/703.02 c presolving:
700.91/703.03 c (round 1, fast) 5 del vars, 78 del conss, 3 add conss, 0 chg bounds, 36 chg sides, 412 chg coeffs, 0 upgd conss, 0 impls, 35994 clqs
700.91/703.05 c (round 2, medium) 29 del vars, 78 del conss, 4 add conss, 0 chg bounds, 84 chg sides, 462 chg coeffs, 0 upgd conss, 0 impls, 35378 clqs
700.91/703.06 c (round 3, fast) 29 del vars, 172 del conss, 4 add conss, 0 chg bounds, 86 chg sides, 491 chg coeffs, 0 upgd conss, 0 impls, 35378 clqs
700.91/703.09 c (round 4, exhaustive) 44 del vars, 187 del conss, 4 add conss, 0 chg bounds, 86 chg sides, 493 chg coeffs, 0 upgd conss, 0 impls, 34521 clqs
701.01/703.10 c (round 5, fast) 44 del vars, 860 del conss, 4 add conss, 0 chg bounds, 86 chg sides, 493 chg coeffs, 0 upgd conss, 0 impls, 34521 clqs
701.01/703.14 c (round 6, exhaustive) 44 del vars, 865 del conss, 4 add conss, 0 chg bounds, 86 chg sides, 493 chg coeffs, 1076 upgd conss, 0 impls, 34521 clqs
701.01/703.18 c (round 7, exhaustive) 44 del vars, 884 del conss, 10 add conss, 0 chg bounds, 86 chg sides, 493 chg coeffs, 1076 upgd conss, 0 impls, 34522 clqs
701.11/703.23 c (round 8, exhaustive) 44 del vars, 1006 del conss, 10 add conss, 0 chg bounds, 86 chg sides, 605 chg coeffs, 1076 upgd conss, 0 impls, 34522 clqs
701.21/703.34 c presolving (9 rounds: 9 fast, 6 medium, 5 exhaustive):
701.21/703.34 c 44 deleted vars, 1010 deleted constraints, 10 added constraints, 0 tightened bounds, 0 added holes, 86 changed sides, 947 changed coefficients
701.21/703.34 c 0 implications, 34522 cliques
701.21/703.34 c presolved problem has 2940 variables (2940 bin, 0 int, 0 cont) and 26322 constraints
701.21/703.34 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
701.21/703.34 c 69 constraints of type <knapsack>
701.21/703.34 c 3495 constraints of type <setppc>
701.21/703.34 c 693 constraints of type <and>
701.21/703.34 c 7 constraints of type <linear>
701.21/703.34 c 22058 constraints of type <logicor>
701.21/703.34 c transformed objective value is always integral (scale: 1)
701.21/703.34 c Presolving Time: 1.28
701.21/703.34 c
701.81/703.90 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
701.81/703.90 c 704s| 1 | 0 | 2712k| - | 213M | 0 |2940 | 26k| 25k| 0 | 0 |4072 | 20 | 0.000000e+00 | -- | Inf | unknown
702.50/704.65 c 705s| 1 | 0 | 2716k| - | 220M | 0 |2940 | 26k| 25k| 596 | 1 |4073 | 20 | 0.000000e+00 | -- | Inf | unknown
703.10/705.28 c 705s| 1 | 0 | 2719k| - | 224M | 0 |2940 | 26k| 26k|1007 | 2 |4074 | 20 | 0.000000e+00 | -- | Inf | unknown
703.70/705.83 c 706s| 1 | 0 | 2721k| - | 227M | 0 |2940 | 26k| 26k|1289 | 3 |4075 | 20 | 0.000000e+00 | -- | Inf | unknown
704.50/706.61 c 707s| 1 | 0 | 2723k| - | 230M | 0 |2940 | 26k| 26k|1518 | 4 |4082 | 20 | 0.000000e+00 | -- | Inf | unknown
704.90/707.04 c 707s| 1 | 0 | 2725k| - | 234M | 0 |2940 | 26k| 26k|1654 | 5 |4083 | 20 | 0.000000e+00 | -- | Inf | unknown
705.30/707.42 c 707s| 1 | 0 | 2726k| - | 236M | 0 |2940 | 26k| 27k|1767 | 6 |4084 | 20 | 0.000000e+00 | -- | Inf | unknown
705.59/707.78 c 708s| 1 | 0 | 2727k| - | 239M | 0 |2940 | 26k| 27k|1885 | 7 |4086 | 20 | 0.000000e+00 | -- | Inf | unknown
705.90/708.10 c 708s| 1 | 0 | 2728k| - | 242M | 0 |2940 | 26k| 27k|1975 | 8 |4087 | 20 | 0.000000e+00 | -- | Inf | unknown
706.29/708.49 c 708s| 1 | 0 | 2729k| - | 245M | 0 |2940 | 26k| 27k|2083 | 9 |4094 | 20 | 0.000000e+00 | -- | Inf | unknown
707.00/709.15 c 709s| 1 | 0 | 2731k| - | 247M | 0 |2940 | 26k| 27k|2161 | 10 |4095 | 20 | 0.000000e+00 | -- | Inf | unknown
707.49/709.69 c 710s| 1 | 0 | 2732k| - | 250M | 0 |2940 | 26k| 27k|2234 | 11 |4096 | 20 | 0.000000e+00 | -- | Inf | unknown
715.76/717.91 c 718s| 1 | 2 | 2735k| - | 250M | 0 |2940 | 26k| 27k|2234 | 11 |4111 | 39 | 0.000000e+00 | -- | Inf | unknown
739.59/741.83 c 742s| 100 | 21 | 2826k| 643.0 | 258M | 17 |2940 | 26k| 25k|5620 | 2 |4291 | 39 | 0.000000e+00 | -- | Inf | 4.49%
770.00/772.32 c 772s| 200 | 23 | 2912k| 647.9 | 271M | 18 |2940 | 26k| 0 |8045 | 0 |4494 | 39 | 0.000000e+00 | -- | Inf | 10.25%
783.57/785.94 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
783.57/785.95 c 786s| 300 | 20 | 2976k| 647.8 | 275M | 19 |2940 | 26k| 0 | 10k| 0 |4655 | 39 | 0.000000e+00 | -- | Inf | 14.06%
796.03/798.49 c 798s| 400 | 19 | 3037k| 647.0 | 275M | 19 |2940 | 26k| 0 | 13k| 0 |4793 | 39 | 0.000000e+00 | -- | Inf | 17.91%
832.83/835.39 c 835s| 500 | 31 | 3166k| 660.6 | 276M | 19 |2940 | 26k| 0 | 16k| 0 |5073 | 39 | 0.000000e+00 | -- | Inf | 18.71%
872.31/875.00 c 875s| 600 | 35 | 3256k| 665.6 | 284M | 19 |2940 | 26k| 26k| 19k| 2 |5236 | 39 | 0.000000e+00 | -- | Inf | 20.29%
888.06/890.74 c 891s| 700 | 35 | 3330k| 667.1 | 285M | 19 |2940 | 26k| 26k| 22k| 2 |5356 | 39 | 0.000000e+00 | -- | Inf | 23.15%
901.92/904.60 c 905s| 800 | 32 | 3390k| 665.9 | 295M | 19 |2940 | 26k| 26k| 24k| 2 |5487 | 39 | 0.000000e+00 | -- | Inf | 24.69%
917.28/920.07 c 920s| 900 | 32 | 3454k| 665.4 | 298M | 19 |2940 | 26k| 0 | 27k| 0 |5663 | 39 | 0.000000e+00 | -- | Inf | 25.60%
933.13/935.92 c 936s| 1000 | 34 | 3515k| 664.2 | 298M | 19 |2940 | 27k| 26k| 30k| 2 |5847 | 39 | 0.000000e+00 | -- | Inf | 26.21%
955.26/958.18 c 958s| 1100 | 39 | 3617k| 671.0 | 299M | 22 |2940 | 27k| 26k| 32k| 2 |5971 | 39 | 0.000000e+00 | -- | Inf | 26.69%
974.30/977.25 c 977s| 1200 | 39 | 3700k| 673.9 | 299M | 22 |2940 | 27k| 0 | 35k| 0 |6093 | 39 | 0.000000e+00 | -- | Inf | 26.90%
1004.41/1007.46 c 1007s| 1300 | 37 | 3776k| 675.4 | 299M | 23 |2940 | 27k| 26k| 37k| 2 |6264 | 39 | 0.000000e+00 | -- | Inf | 27.17%
1017.27/1020.34 c 1020s| 1400 | 37 | 3836k| 674.2 | 299M | 23 |2940 | 27k| 26k| 39k| 2 |6404 | 39 | 0.000000e+00 | -- | Inf | 27.39%
1026.85/1029.94 c 1030s| 1500 | 34 | 3879k| 669.8 | 300M | 23 |2940 | 27k| 0 | 41k| 0 |6525 | 39 | 0.000000e+00 | -- | Inf | 27.45%
1053.37/1056.58 c 1057s| 1600 | 35 | 3960k| 672.3 | 300M | 23 |2940 | 27k| 0 | 43k| 0 |6699 | 39 | 0.000000e+00 | -- | Inf | 31.37%
1071.11/1074.38 c 1074s| 1700 | 37 | 4040k| 674.5 | 318M | 23 |2940 | 27k| 0 | 47k| 0 |6840 | 39 | 0.000000e+00 | -- | Inf | 34.84%
1086.67/1089.91 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1086.67/1089.91 c 1090s| 1800 | 38 | 4110k| 674.9 | 320M | 23 |2940 | 27k| 0 | 50k| 0 |6958 | 39 | 0.000000e+00 | -- | Inf | 35.82%
1101.82/1105.17 c 1105s| 1900 | 39 | 4173k| 674.2 | 323M | 24 |2940 | 27k| 26k| 52k| 2 |7100 | 39 | 0.000000e+00 | -- | Inf | 36.40%
1114.88/1118.25 c 1118s| 2000 | 31 | 4236k| 673.5 | 324M | 24 |2940 | 27k| 25k| 55k| 2 |7232 | 39 | 0.000000e+00 | -- | Inf | 37.57%
1127.84/1131.21 c 1131s| 2100 | 30 | 4299k| 672.8 | 324M | 24 |2940 | 27k| 26k| 58k| 2 |7350 | 39 | 0.000000e+00 | -- | Inf | 39.72%
1143.59/1147.02 c 1147s| 2200 | 28 | 4373k| 673.8 | 329M | 24 |2940 | 27k| 0 | 60k| 0 |7484 | 39 | 0.000000e+00 | -- | Inf | 40.23%
1161.55/1165.09 c 1165s| 2300 | 30 | 4452k| 675.6 | 332M | 24 |2940 | 27k| 0 | 63k| 0 |7612 | 39 | 0.000000e+00 | -- | Inf | 40.40%
1171.91/1175.47 c 1175s| 2400 | 29 | 4498k| 672.3 | 332M | 24 |2940 | 27k| 0 | 65k| 0 |7741 | 39 | 0.000000e+00 | -- | Inf | 40.48%
1188.06/1191.69 c 1192s| 2500 | 32 | 4565k| 672.3 | 339M | 24 |2940 | 27k| 0 | 67k| 0 |7901 | 39 | 0.000000e+00 | -- | Inf | 41.89%
1202.82/1206.43 c 1206s| 2600 | 32 | 4635k| 672.7 | 342M | 24 |2940 | 27k| 26k| 70k| 2 |8035 | 39 | 0.000000e+00 | -- | Inf | 42.57%
1218.97/1222.62 c 1223s| 2700 | 29 | 4710k| 673.8 | 342M | 24 |2940 | 27k| 26k| 73k| 2 |8164 | 39 | 0.000000e+00 | -- | Inf | 42.97%
1233.12/1236.86 c 1237s| 2800 | 32 | 4768k| 672.4 | 342M | 24 |2940 | 28k| 26k| 75k| 2 |8313 | 39 | 0.000000e+00 | -- | Inf | 43.24%
1245.09/1248.84 c 1249s| 2900 | 30 | 4823k| 670.7 | 342M | 24 |2940 | 28k| 26k| 77k| 2 |8440 | 39 | 0.000000e+00 | -- | Inf | 43.39%
1256.76/1260.51 c 1261s| 3000 | 28 | 4875k| 668.7 | 342M | 26 |2940 | 28k| 0 | 79k| 0 |8561 | 39 | 0.000000e+00 | -- | Inf | 43.54%
1267.33/1271.12 c 1271s| 3100 | 29 | 4923k| 666.1 | 343M | 26 |2940 | 28k| 0 | 81k| 0 |8673 | 39 | 0.000000e+00 | -- | Inf | 43.56%
1281.58/1285.40 c 1285s| 3200 | 29 | 4989k| 666.0 | 343M | 26 |2940 | 28k| 26k| 83k| 2 |8820 | 39 | 0.000000e+00 | -- | Inf | 43.81%
1294.43/1298.38 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1294.43/1298.38 c 1298s| 3300 | 29 | 5052k| 665.4 | 343M | 26 |2940 | 28k| 26k| 86k| 2 |8946 | 39 | 0.000000e+00 | -- | Inf | 44.03%
1326.22/1330.25 c 1330s| 3400 | 29 | 5143k| 668.7 | 346M | 26 |2940 | 28k| 26k| 88k| 2 |9101 | 39 | 0.000000e+00 | -- | Inf | 44.26%
1342.76/1346.82 c 1347s| 3500 | 27 | 5209k| 668.6 | 346M | 26 |2940 | 28k| 26k| 90k| 2 |9237 | 39 | 0.000000e+00 | -- | Inf | 44.37%
1358.90/1363.09 c 1363s| 3600 | 25 | 5279k| 669.0 | 346M | 27 |2940 | 28k| 26k| 93k| 2 |9361 | 39 | 0.000000e+00 | -- | Inf | 44.40%
1379.52/1383.72 c 1384s| 3700 | 26 | 5361k| 670.9 | 346M | 27 |2940 | 28k| 26k| 95k| 2 |9512 | 39 | 0.000000e+00 | -- | Inf | 44.53%
1396.26/1400.50 c 1401s| 3800 | 27 | 5438k| 672.1 | 346M | 27 |2940 | 28k| 26k| 97k| 2 |9650 | 39 | 0.000000e+00 | -- | Inf | 44.57%
1414.99/1419.30 c 1419s| 3900 | 28 | 5523k| 674.4 | 346M | 27 |2940 | 28k| 26k| 100k| 2 |9772 | 39 | 0.000000e+00 | -- | Inf | 44.60%
1428.34/1432.71 c 1433s| 4000 | 27 | 5582k| 673.3 | 346M | 27 |2940 | 28k| 26k| 101k| 2 |9909 | 39 | 0.000000e+00 | -- | Inf | 44.64%
1444.98/1449.48 c 1449s| 4100 | 27 | 5658k| 674.3 | 347M | 27 |2940 | 28k| 26k| 104k| 2 | 10k| 39 | 0.000000e+00 | -- | Inf | 44.66%
1463.41/1467.91 c 1468s| 4200 | 25 | 5744k| 676.6 | 347M | 27 |2940 | 28k| 0 | 106k| 0 | 10k| 39 | 0.000000e+00 | -- | Inf | 44.66%
1496.19/1500.82 c 1501s| 4300 | 28 | 5832k| 679.0 | 349M | 27 |2940 | 28k| 0 | 109k| 0 | 10k| 39 | 0.000000e+00 | -- | Inf | 44.80%
1508.45/1513.16 c 1513s| 4400 | 28 | 5885k| 677.3 | 352M | 27 |2940 | 28k| 26k| 111k| 2 | 10k| 39 | 0.000000e+00 | -- | Inf | 45.06%
1524.29/1529.08 c 1529s| 4500 | 26 | 5958k| 677.8 | 352M | 27 |2940 | 28k| 26k| 113k| 2 | 10k| 39 | 0.000000e+00 | -- | Inf | 45.24%
1539.63/1544.49 c 1544s| 4600 | 24 | 6024k| 677.7 | 352M | 28 |2940 | 28k| 26k| 116k| 2 | 10k| 39 | 0.000000e+00 | -- | Inf | 45.33%
1553.28/1558.19 c 1558s| 4700 | 25 | 6083k| 676.6 | 352M | 28 |2940 | 29k| 0 | 118k| 0 | 10k| 39 | 0.000000e+00 | -- | Inf | 45.40%
1564.83/1569.77 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1564.83/1569.77 c 1570s| 4800 | 24 | 6134k| 674.9 | 353M | 28 |2940 | 29k| 0 | 119k| 0 | 11k| 39 | 0.000000e+00 | -- | Inf | 45.44%
1578.88/1583.85 c 1584s| 4900 | 23 | 6192k| 673.7 | 353M | 29 |2940 | 29k| 0 | 121k| 0 | 11k| 39 | 0.000000e+00 | -- | Inf | 45.44%
1592.14/1597.17 c 1597s| 5000 | 26 | 6254k| 673.2 | 363M | 30 |2940 | 29k| 25k| 124k| 2 | 11k| 39 | 0.000000e+00 | -- | Inf | 47.00%
1605.38/1610.45 c 1610s| 5100 | 25 | 6320k| 673.0 | 368M | 30 |2940 | 29k| 0 | 128k| 0 | 11k| 39 | 0.000000e+00 | -- | Inf | 48.45%
1616.44/1621.52 c 1622s| 5200 | 25 | 6368k| 671.0 | 370M | 30 |2940 | 29k| 0 | 130k| 0 | 11k| 39 | 0.000000e+00 | -- | Inf | 49.72%
1630.10/1635.28 c 1635s| 5300 | 24 | 6433k| 670.7 | 373M | 30 |2940 | 29k| 26k| 132k| 2 | 11k| 39 | 0.000000e+00 | -- | Inf | 50.15%
1645.14/1650.32 c 1650s| 5400 | 24 | 6496k| 670.3 | 373M | 30 |2940 | 29k| 26k| 134k| 2 | 11k| 39 | 0.000000e+00 | -- | Inf | 50.17%
1659.29/1664.52 c 1665s| 5500 | 27 | 6561k| 670.2 | 373M | 30 |2940 | 29k| 26k| 138k| 2 | 12k| 39 | 0.000000e+00 | -- | Inf | 50.88%
1672.64/1677.90 c 1678s| 5600 | 26 | 6624k| 669.7 | 373M | 30 |2940 | 29k| 26k| 140k| 2 | 12k| 39 | 0.000000e+00 | -- | Inf | 51.15%
1686.08/1691.43 c 1691s| 5700 | 26 | 6684k| 669.0 | 373M | 30 |2940 | 29k| 26k| 143k| 2 | 12k| 39 | 0.000000e+00 | -- | Inf | 51.47%
1698.04/1703.40 c 1703s| 5800 | 23 | 6736k| 667.5 | 373M | 30 |2940 | 29k| 26k| 145k| 2 | 12k| 39 | 0.000000e+00 | -- | Inf | 51.65%
1711.79/1717.28 c 1717s| 5900 | 23 | 6795k| 666.8 | 373M | 30 |2940 | 29k| 0 | 147k| 0 | 12k| 39 | 0.000000e+00 | -- | Inf | 51.69%
1728.13/1733.61 c 1734s| 6000 | 23 | 6864k| 667.0 | 374M | 30 |2940 | 29k| 0 | 149k| 0 | 12k| 39 | 0.000000e+00 | -- | Inf | 51.74%
1738.59/1744.14 c 1744s| 6100 | 21 | 6911k| 665.0 | 374M | 30 |2940 | 29k| 26k| 151k| 2 | 12k| 39 | 0.000000e+00 | -- | Inf | 51.76%
1752.04/1757.69 c 1758s| 6200 | 21 | 6971k| 664.4 | 374M | 30 |2940 | 29k| 0 | 153k| 0 | 12k| 39 | 0.000000e+00 | -- | Inf | 51.77%
1765.78/1771.45 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1765.78/1771.45 c 1771s| 6300 | 22 | 7043k| 665.0 | 379M | 30 |2940 | 29k| 26k| 157k| 2 | 13k| 39 | 0.000000e+00 | -- | Inf | 54.85%
1779.13/1784.82 c 1785s| 6400 | 18 | 7107k| 664.7 | 379M | 30 |2940 | 30k| 26k| 159k| 2 | 13k| 39 | 0.000000e+00 | -- | Inf | 54.92%
1792.49/1798.28 c 1798s| 6500 | 17 | 7171k| 664.5 | 382M | 30 |2940 | 30k| 26k| 162k| 2 | 13k| 39 | 0.000000e+00 | -- | Inf | 55.37%
1804.65/1810.49 c 1810s| 6600 | 17 | 7225k| 663.3 | 382M | 30 |2940 | 30k| 0 | 164k| 0 | 13k| 39 | 0.000000e+00 | -- | Inf | 55.40%
1818.10/1823.91 c 1824s| 6700 | 15 | 7284k| 662.7 | 382M | 30 |2940 | 30k| 0 | 166k| 0 | 13k| 39 | 0.000000e+00 | -- | Inf | 55.42%
1833.44/1839.36 c 1839s| 6800 | 18 | 7352k| 662.8 | 382M | 30 |2940 | 30k| 0 | 168k| 0 | 13k| 39 | 0.000000e+00 | -- | Inf | 55.65%
1848.38/1854.33 c 1854s| 6900 | 16 | 7418k| 662.8 | 382M | 30 |2940 | 30k| 26k| 171k| 2 | 13k| 39 | 0.000000e+00 | -- | Inf | 55.72%
1861.63/1867.68 c 1868s| 7000 | 13 | 7478k| 662.3 | 383M | 30 |2940 | 30k| 26k| 173k| 2 | 14k| 39 | 0.000000e+00 | -- | Inf | 55.79%
1875.18/1881.28 c 1881s| 7100 | 15 | 7540k| 661.9 | 383M | 30 |2940 | 30k| 26k| 175k| 2 | 14k| 39 | 0.000000e+00 | -- | Inf | 55.99%
1890.13/1896.24 c 1896s| 7200 | 16 | 7608k| 662.0 | 390M | 30 |2940 | 30k| 26k| 177k| 2 | 14k| 39 | 0.000000e+00 | -- | Inf | 58.91%
1904.77/1910.95 c 1911s| 7300 | 13 | 7677k| 662.3 | 394M | 30 |2940 | 30k| 0 | 180k| 0 | 14k| 39 | 0.000000e+00 | -- | Inf | 60.49%
1919.71/1925.97 c 1926s| 7400 | 20 | 7748k| 662.7 | 399M | 30 |2940 | 30k| 0 | 183k| 0 | 14k| 39 | 0.000000e+00 | -- | Inf | 62.16%
1939.44/1945.74 c 1946s| 7500 | 17 | 7838k| 664.7 | 399M | 30 |2940 | 30k| 0 | 186k| 0 | 14k| 39 | 0.000000e+00 | -- | Inf | 62.57%
1955.79/1962.13 c 1962s| 7600 | 18 | 7909k| 665.1 | 402M | 30 |2940 | 30k| 0 | 188k| 0 | 14k| 39 | 0.000000e+00 | -- | Inf | 63.41%
1972.32/1978.74 c 1979s| 7700 | 17 | 7980k| 665.5 | 403M | 30 |2940 | 30k| 25k| 191k| 2 | 15k| 39 | 0.000000e+00 | -- | Inf | 64.04%
1987.26/1993.70 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1987.26/1993.70 c 1994s| 7800 | 16 | 8048k| 665.6 | 403M | 30 |2940 | 30k| 0 | 194k| 0 | 15k| 39 | 0.000000e+00 | -- | Inf | 64.31%
1999.62/2006.14 c 2006s| 7900 | 16 | 8108k| 665.0 | 403M | 30 |2940 | 30k| 26k| 196k| 2 | 15k| 39 | 0.000000e+00 | -- | Inf | 64.44%
2014.26/2020.84 c 2021s| 8000 | 15 | 8175k| 665.1 | 403M | 30 |2940 | 30k| 0 | 198k| 0 | 15k| 39 | 0.000000e+00 | -- | Inf | 64.53%
2029.80/2036.43 c 2036s| 8100 | 14 | 8247k| 665.5 | 403M | 30 |2940 | 30k| 0 | 200k| 0 | 15k| 39 | 0.000000e+00 | -- | Inf | 64.59%
2045.34/2052.02 c 2052s| 8200 | 16 | 8315k| 665.7 | 403M | 30 |2940 | 30k| 26k| 203k| 1 | 15k| 39 | 0.000000e+00 | -- | Inf | 65.37%
2059.49/2066.20 c 2066s| 8300 | 18 | 8378k| 665.4 | 403M | 30 |2940 | 30k| 26k| 206k| 2 | 15k| 39 | 0.000000e+00 | -- | Inf | 65.70%
2072.04/2078.88 c 2079s| 8400 | 21 | 8435k| 664.6 | 403M | 30 |2940 | 30k| 0 | 208k| 0 | 16k| 39 | 0.000000e+00 | -- | Inf | 65.95%
2086.58/2093.42 c 2093s| 8500 | 20 | 8505k| 664.9 | 403M | 30 |2940 | 31k| 0 | 211k| 0 | 16k| 39 | 0.000000e+00 | -- | Inf | 66.23%
2099.24/2106.13 c 2106s| 8600 | 21 | 8565k| 664.4 | 403M | 30 |2940 | 31k| 0 | 213k| 0 | 16k| 39 | 0.000000e+00 | -- | Inf | 66.40%
2110.79/2117.72 c 2118s| 8700 | 22 | 8617k| 663.3 | 403M | 30 |2940 | 31k| 0 | 215k| 0 | 16k| 39 | 0.000000e+00 | -- | Inf | 66.51%
2122.35/2129.33 c 2129s| 8800 | 20 | 8672k| 662.4 | 403M | 30 |2940 | 31k| 0 | 217k| 0 | 16k| 39 | 0.000000e+00 | -- | Inf | 66.56%
2133.82/2140.83 c 2141s| 8900 | 22 | 8725k| 661.4 | 403M | 30 |2940 | 31k| 26k| 218k| 2 | 16k| 39 | 0.000000e+00 | -- | Inf | 66.62%
2146.08/2153.18 c 2153s| 9000 | 21 | 8783k| 660.8 | 403M | 30 |2940 | 31k| 26k| 221k| 2 | 16k| 39 | 0.000000e+00 | -- | Inf | 66.65%
2155.34/2162.42 c 2162s| 9100 | 20 | 8827k| 659.1 | 403M | 30 |2940 | 31k| 26k| 222k| 2 | 17k| 39 | 0.000000e+00 | -- | Inf | 66.69%
2167.50/2174.64 c 2175s| 9200 | 20 | 8886k| 658.6 | 403M | 30 |2940 | 31k| 0 | 224k| 0 | 17k| 39 | 0.000000e+00 | -- | Inf | 66.71%
2178.26/2185.45 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2178.26/2185.45 c 2185s| 9300 | 21 | 8940k| 657.7 | 403M | 30 |2940 | 31k| 26k| 227k| 2 | 17k| 39 | 0.000000e+00 | -- | Inf | 66.72%
2192.92/2200.17 c 2200s| 9400 | 21 | 9011k| 658.1 | 403M | 30 |2940 | 31k| 0 | 229k| 0 | 17k| 39 | 0.000000e+00 | -- | Inf | 66.77%
2205.77/2213.09 c 2213s| 9500 | 22 | 9072k| 657.8 | 403M | 30 |2940 | 31k| 26k| 232k| 2 | 17k| 39 | 0.000000e+00 | -- | Inf | 67.03%
2217.83/2225.16 c 2225s| 9600 | 20 | 9129k| 657.1 | 403M | 30 |2940 | 31k| 26k| 234k| 2 | 17k| 39 | 0.000000e+00 | -- | Inf | 67.12%
2234.07/2241.40 c 2241s| 9700 | 22 | 9200k| 657.5 | 404M | 30 |2940 | 31k| 26k| 236k| 2 | 17k| 39 | 0.000000e+00 | -- | Inf | 67.18%
2246.33/2253.71 c 2254s| 9800 | 21 | 9255k| 656.7 | 404M | 30 |2940 | 31k| 26k| 239k| 2 | 18k| 39 | 0.000000e+00 | -- | Inf | 67.18%
2261.78/2269.21 c 2269s| 9900 | 21 | 9327k| 657.2 | 404M | 30 |2940 | 31k| 26k| 241k| 2 | 18k| 39 | 0.000000e+00 | -- | Inf | 67.29%
2273.14/2280.65 c 2281s| 10000 | 20 | 9384k| 656.5 | 406M | 30 |2940 | 31k| 26k| 243k| 2 | 18k| 39 | 0.000000e+00 | -- | Inf | 67.39%
2285.60/2293.18 c 2293s| 10100 | 21 | 9447k| 656.4 | 406M | 30 |2940 | 32k| 26k| 246k| 2 | 18k| 39 | 0.000000e+00 | -- | Inf | 67.47%
2298.46/2306.08 c 2306s| 10200 | 21 | 9509k| 656.1 | 406M | 30 |2940 | 32k| 0 | 248k| 0 | 18k| 39 | 0.000000e+00 | -- | Inf | 67.53%
2310.60/2318.26 c 2318s| 10300 | 22 | 9567k| 655.6 | 406M | 30 |2940 | 32k| 0 | 251k| 0 | 18k| 39 | 0.000000e+00 | -- | Inf | 67.55%
2324.05/2331.71 c 2332s| 10400 | 20 | 9628k| 655.3 | 406M | 30 |2940 | 32k| 26k| 253k| 2 | 18k| 39 | 0.000000e+00 | -- | Inf | 67.57%
2335.21/2342.93 c 2343s| 10500 | 19 | 9680k| 654.3 | 406M | 30 |2940 | 32k| 26k| 255k| 2 | 19k| 39 | 0.000000e+00 | -- | Inf | 67.62%
2350.15/2357.92 c 2358s| 10600 | 19 | 9747k| 654.5 | 406M | 30 |2940 | 32k| 0 | 257k| 0 | 19k| 39 | 0.000000e+00 | -- | Inf | 67.82%
2363.00/2370.88 c 2371s| 10700 | 18 | 9806k| 654.0 | 406M | 30 |2940 | 32k| 0 | 260k| 0 | 19k| 39 | 0.000000e+00 | -- | Inf | 67.83%
2376.45/2384.34 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2376.45/2384.34 c 2384s| 10800 | 20 | 9867k| 653.7 | 406M | 30 |2940 | 32k| 26k| 262k| 2 | 19k| 39 | 0.000000e+00 | -- | Inf | 67.84%
2388.30/2396.27 c 2396s| 10900 | 14 | 9920k| 652.9 | 407M | 30 |2940 | 32k| 0 | 264k| 0 | 19k| 39 | 0.000000e+00 | -- | Inf | 67.89%
2402.35/2410.34 c 2410s| 11000 | 17 | 9987k| 653.1 | 407M | 30 |2940 | 32k| 26k| 266k| 2 | 19k| 39 | 0.000000e+00 | -- | Inf | 68.16%
2417.80/2425.81 c 2426s| 11100 | 18 | 10056k| 653.3 | 407M | 30 |2940 | 32k| 26k| 268k| 2 | 19k| 39 | 0.000000e+00 | -- | Inf | 68.20%
2428.97/2437.07 c 2437s| 11200 | 18 | 10104k| 652.1 | 407M | 30 |2940 | 32k| 26k| 270k| 2 | 19k| 39 | 0.000000e+00 | -- | Inf | 68.22%
2443.32/2451.47 c 2451s| 11300 | 18 | 10167k| 652.0 | 407M | 30 |2940 | 32k| 26k| 272k| 2 | 20k| 39 | 0.000000e+00 | -- | Inf | 68.23%
2458.27/2466.42 c 2466s| 11400 | 15 | 10235k| 652.2 | 407M | 30 |2940 | 32k| 0 | 275k| 0 | 20k| 39 | 0.000000e+00 | -- | Inf | 68.29%
2473.22/2481.49 c 2481s| 11500 | 19 | 10304k| 652.4 | 407M | 30 |2940 | 32k| 26k| 277k| 2 | 20k| 39 | 0.000000e+00 | -- | Inf | 68.36%
2486.48/2494.72 c 2495s| 11600 | 19 | 10362k| 652.0 | 407M | 30 |2940 | 33k| 26k| 279k| 2 | 20k| 39 | 0.000000e+00 | -- | Inf | 68.39%
2499.54/2507.89 c 2508s| 11700 | 14 | 10425k| 651.9 | 407M | 30 |2940 | 33k| 0 | 281k| 0 | 20k| 39 | 0.000000e+00 | -- | Inf | 68.44%
2513.90/2522.23 c 2522s| 11800 | 16 | 10492k| 651.9 | 407M | 30 |2940 | 33k| 26k| 284k| 2 | 20k| 39 | 0.000000e+00 | -- | Inf | 68.45%
2526.16/2534.52 c 2535s| 11900 | 18 | 10549k| 651.4 | 407M | 30 |2940 | 33k| 26k| 286k| 2 | 20k| 39 | 0.000000e+00 | -- | Inf | 68.46%
2537.43/2545.82 c 2546s| 12000 | 16 | 10600k| 650.6 | 407M | 30 |2940 | 33k| 26k| 288k| 2 | 21k| 39 | 0.000000e+00 | -- | Inf | 68.46%
2550.59/2559.06 c 2559s| 12100 | 19 | 10661k| 650.3 | 407M | 30 |2940 | 33k| 0 | 290k| 0 | 21k| 39 | 0.000000e+00 | -- | Inf | 68.47%
2579.21/2587.77 c 2588s| 12200 | 22 | 10743k| 651.3 | 407M | 30 |2940 | 33k| 26k| 293k| 2 | 21k| 39 | 0.000000e+00 | -- | Inf | 68.47%
2593.57/2602.16 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2593.57/2602.16 c 2602s| 12300 | 20 | 10810k| 651.5 | 407M | 30 |2940 | 33k| 0 | 295k| 0 | 21k| 39 | 0.000000e+00 | -- | Inf | 68.47%
2605.23/2613.84 c 2614s| 12400 | 17 | 10864k| 650.8 | 407M | 30 |2940 | 33k| 0 | 297k| 0 | 21k| 39 | 0.000000e+00 | -- | Inf | 68.47%
2622.39/2631.06 c 2631s| 12500 | 18 | 10943k| 651.6 | 407M | 30 |2940 | 33k| 0 | 300k| 0 | 21k| 39 | 0.000000e+00 | -- | Inf | 68.47%
2669.45/2678.27 c 2678s| 12600 | 17 | 11136k| 659.2 | 407M | 30 |2940 | 33k| 27k| 305k| 2 | 22k| 39 | 0.000000e+00 | -- | Inf | 68.47%
2726.89/2735.83 c 2736s| 12700 | 16 | 11382k| 669.9 | 408M | 30 |2940 | 33k| 26k| 311k| 2 | 22k| 39 | 0.000000e+00 | -- | Inf | 68.48%
2785.33/2794.47 c 2794s| 12800 | 15 | 11640k| 681.1 | 408M | 31 |2940 | 34k| 0 | 318k| 0 | 22k| 39 | 0.000000e+00 | -- | Inf | 68.48%
2842.27/2851.53 c 2852s| 12900 | 16 | 11899k| 692.3 | 408M | 31 |2940 | 34k| 26k| 325k| 2 | 22k| 39 | 0.000000e+00 | -- | Inf | 68.48%
2889.14/2898.55 c 2899s| 13000 | 14 | 12116k| 700.9 | 408M | 31 |2940 | 34k| 26k| 331k| 2 | 22k| 39 | 0.000000e+00 | -- | Inf | 68.50%
2940.30/2949.89 c 2950s| 13100 | 14 | 12349k| 710.3 | 408M | 31 |2940 | 34k| 27k| 337k| 2 | 22k| 39 | 0.000000e+00 | -- | Inf | 68.50%
3010.20/3019.97 c 3020s| 13200 | 11 | 12643k| 723.2 | 408M | 34 |2940 | 34k| 0 | 344k| 0 | 22k| 39 | 0.000000e+00 | -- | Inf | 68.50%
3067.15/3077.06 c 3077s| 13300 | 12 | 12892k| 733.3 | 408M | 34 |2940 | 34k| 0 | 351k| 0 | 23k| 39 | 0.000000e+00 | -- | Inf | 68.55%
3134.76/3144.86 c 3145s| 13400 | 14 | 13183k| 745.6 | 411M | 34 |2940 | 34k| 26k| 360k| 2 | 23k| 39 | 0.000000e+00 | -- | Inf | 69.14%
3184.32/3194.56 c 3195s| 13500 | 13 | 13409k| 754.2 | 411M | 34 |2940 | 34k| 26k| 366k| 2 | 23k| 39 | 0.000000e+00 | -- | Inf | 69.53%
3234.79/3245.12 c 3245s| 13600 | 21 | 13640k| 763.0 | 411M | 34 |2940 | 34k| 27k| 371k| 1 | 23k| 39 | 0.000000e+00 | -- | Inf | 69.91%
3281.35/3291.89 c 3292s| 13700 | 15 | 13852k| 770.5 | 411M | 34 |2940 | 34k| 26k| 377k| 2 | 23k| 39 | 0.000000e+00 | -- | Inf | 70.21%
3324.64/3335.29 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3324.64/3335.29 c 3335s| 13800 | 17 | 14062k| 777.9 | 411M | 34 |2940 | 34k| 27k| 382k| 3 | 23k| 39 | 0.000000e+00 | -- | Inf | 70.34%
3362.03/3372.70 c 3373s| 13900 | 16 | 14251k| 784.0 | 411M | 34 |2940 | 34k| 27k| 386k| 2 | 23k| 39 | 0.000000e+00 | -- | Inf | 70.38%
3410.70/3421.54 c 3422s| 14000 | 14 | 14471k| 791.8 | 411M | 34 |2940 | 34k| 0 | 391k| 0 | 24k| 39 | 0.000000e+00 | -- | Inf | 70.47%
3454.38/3465.35 c 3465s| 14100 | 17 | 14676k| 798.7 | 414M | 34 |2940 | 34k| 0 | 396k| 0 | 24k| 39 | 0.000000e+00 | -- | Inf | 70.63%
3493.68/3504.71 c 3505s| 14200 | 16 | 14860k| 804.4 | 414M | 34 |2940 | 34k| 27k| 400k| 2 | 24k| 39 | 0.000000e+00 | -- | Inf | 70.67%
3551.22/3562.42 c 3562s| 14300 | 16 | 15122k| 814.2 | 414M | 34 |2940 | 34k| 26k| 406k| 2 | 24k| 39 | 0.000000e+00 | -- | Inf | 70.74%
3585.64/3597.00 c
3585.64/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3585.64/3597.00 c Solving Time (sec) : 3597.00
3585.64/3597.00 c Solving Nodes : 14373 (total of 18562 nodes in 2 runs)
3585.64/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3585.64/3597.00 c Dual Bound : +0.00000000000000e+00
3585.64/3597.00 c Gap : infinite
3585.64/3597.00 s UNKNOWN
3585.64/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3585.64/3597.00 c Total Time : 3597.00
3585.64/3597.00 c solving : 3597.00
3585.64/3597.00 c presolving : 1.28 (included in solving)
3585.64/3597.00 c reading : 0.05 (included in solving)
3585.64/3597.00 c copying : 0.14 (5 #copies) (minimal 0.03, maximal 0.03, average 0.03)
3585.64/3597.00 c Original Problem :
3585.64/3597.00 c Problem name : HOME/instance-4544697-1753217134.opb
3585.64/3597.00 c Variables : 2984 (2984 binary, 0 integer, 0 continuous)
3585.64/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3585.64/3597.00 c Constraints : 25189 initial, 25189 maximal
3585.64/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3585.64/3597.00 c Presolved Problem :
3585.64/3597.00 c Problem name : t_HOME/instance-4544697-1753217134.opb
3585.64/3597.00 c Variables : 2940 (2940 binary, 0 integer, 0 continuous)
3585.64/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3585.64/3597.00 c Constraints : 26322 initial, 34556 maximal
3585.64/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3585.64/3597.00 c Nonzeros : 109995 constraint, 69073 clique table
3585.64/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3585.64/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.64/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.64/3597.00 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3585.64/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.64/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.64/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.64/3597.00 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.64/3597.00 c gateextraction : 0.08 0.00 7 0 0 0 0 0 5266 710 0 0
3585.64/3597.00 c implics : 0.00 0.00 10 0 0 0 0 0 0 0 0 0
3585.64/3597.00 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.64/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.64/3597.00 c milp : 0.06 0.00 1 0 0 0 0 0 0 0 0 0
3585.64/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.64/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.64/3597.00 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.64/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.64/3597.00 c trivial : 0.00 0.00 14 3 0 0 0 0 0 0 0 0
3585.64/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.64/3597.00 c dualfix : 0.00 0.00 14 0 0 0 0 0 0 0 0 0
3585.64/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.64/3597.00 c probing : 0.56 0.00 1 0 0 0 0 0 0 0 0 0
3585.64/3597.00 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.64/3597.00 c symmetry : 0.12 0.00 1 0 0 0 0 0 0 0 0 0
3585.64/3597.00 c vbounds : 0.01 0.00 3 0 24 0 0 0 0 0 0 0
3585.64/3597.00 c knapsack : 0.01 0.00 21 0 0 0 0 0 707 4548 53 194
3585.64/3597.00 c setppc : 0.03 0.00 26 0 0 0 0 0 169 0 0 0
3585.64/3597.00 c and : 0.02 0.00 15 0 17 0 0 0 17 0 0 28
3585.64/3597.00 c linear : 0.08 0.01 15 0 0 0 0 0 8 0 33 734
3585.64/3597.00 c logicor : 0.24 0.03 24 0 0 0 0 0 795 0 0 695
3585.64/3597.00 c components : 0.02 0.00 2 0 0 0 0 0 0 0 0 0
3585.64/3597.00 c root node : - - - 3 - - 3 - - - - -
3585.64/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3585.64/3597.00 c integral : 0 0 0 0 10704 0 0 1926 0 0 0 0 0 0 21408
3585.64/3597.00 c knapsack : 69+ 76 11 98436 0 0 0 0 17912 358 14131 0 0 0 0
3585.64/3597.00 c setppc : 3495+ 3502 21 104661 0 0 0 1921 171353 2715 728509 31 0 0 0
3585.64/3597.00 c and : 693 693 20667 101946 0 0 0 3 178820 2559 1846961 746996 389398 0 0
3585.64/3597.00 c linear : 7+ 21 11 89118 0 0 0 3 124 328 612 0 0 0 0
3585.64/3597.00 c logicor : 22058+ 30272 21 73719 0 0 0 3 67594 3914 985049 3 2 0 0
3585.64/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.64/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.64/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.64/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3585.64/3597.00 c integral : 19.64 0.00 0.00 0.00 19.64 0.00 0.00 0.00 0.00 0.00
3585.64/3597.00 c knapsack : 0.40 0.00 0.01 0.38 0.00 0.00 0.00 0.00 0.01 0.00
3585.64/3597.00 c setppc : 2.87 0.00 0.01 2.73 0.00 0.00 0.00 0.06 0.07 0.00
3585.64/3597.00 c and : 13.32 0.00 7.25 6.00 0.00 0.00 0.00 0.00 0.06 0.01
3585.64/3597.00 c linear : 0.10 0.01 0.00 0.08 0.00 0.00 0.00 0.00 0.00 0.00
3585.64/3597.00 c logicor : 11.30 0.03 0.07 11.10 0.00 0.00 0.00 0.00 0.08 0.02
3585.64/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.64/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.64/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.64/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3585.64/3597.00 c dualfix : 2 0 0 0
3585.64/3597.00 c genvbounds : 0 0 0 0
3585.64/3597.00 c nlobbt : 0 0 0 0
3585.64/3597.00 c obbt : 0 0 0 0
3585.64/3597.00 c probing : 0 0 0 0
3585.64/3597.00 c pseudoobj : 0 0 0 0
3585.64/3597.00 c redcost : 0 0 0 0
3585.64/3597.00 c rootredcost : 0 0 0 0
3585.64/3597.00 c symmetry : 14845 0 956 57958
3585.64/3597.00 c vbounds : 88831 0 0 0
3585.64/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3585.64/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3585.64/3597.00 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3585.64/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.64/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.64/3597.00 c probing : 0.56 0.00 0.56 0.00 0.00 0.00
3585.64/3597.00 c pseudoobj : 0.05 0.00 0.00 0.05 0.00 0.00
3585.64/3597.00 c redcost : 0.02 0.00 0.00 0.02 0.00 0.00
3585.64/3597.00 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3585.64/3597.00 c symmetry : 1.66 0.00 0.12 1.54 0.00 0.00
3585.64/3597.00 c vbounds : 1.52 0.00 0.01 1.52 0.00 0.00
3585.64/3597.00 c Symmetry :
3585.64/3597.00 c #affected vars : 2984 (2984 bin, 0 int, 0 cont)
3585.64/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3585.64/3597.00 c orbital reduction: 56719 reductions applied, 838 cutoffs
3585.64/3597.00 c lexicographic red: 1262 reductions applied, 118 cutoffs
3585.64/3597.00 c shadow tree time : 0.06 s
3585.64/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3585.64/3597.00 c propagation : 0.42 9660 9566 - 49410 17.2 72 14.7 - - -
3585.64/3597.00 c infeasible LP : 0.10 153 153 - 923 18.8 0 0.0 153 26.2 0
3585.64/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3585.64/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3585.64/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3585.64/3597.00 c applied globally : 0.71 - - 0 24426 14.1 - - 153 - -
3585.64/3597.00 c applied locally : - - - 0 0 0.0 - - 0 - -
3585.64/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3585.64/3597.00 c cut pool : 1.39 - 2194 41 - - 54570 450763 - - - - - (maximal pool size: 24701)
3585.64/3597.00 c aggregation : 0.38 0.00 88 21 0 0 0 0 0 0 0 0 0
3585.64/3597.00 c > cmir : - - - - - - - 0 0 0 0 0 -
3585.64/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3585.64/3597.00 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3585.64/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.64/3597.00 c clique : 0.86 0.00 21 21 0 0 156 4793 0 1487 1487 0 0
3585.64/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.64/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.64/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.64/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.64/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.64/3597.00 c gomory : 2.90 0.00 89 20 0 0 7479 53552 85 2950 2946 4 0
3585.64/3597.00 c > gomorymi : - - - - - - - 24226 62 680 676 4 -
3585.64/3597.00 c > strongcg : - - - - - - - 29326 23 2270 2270 0 -
3585.64/3597.00 c impliedbounds : 0.21 0.00 90 21 0 0 46231 356334 0 86856 86856 0 0
3585.64/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.64/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.64/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.64/3597.00 c mcf : 0.02 0.00 2 2 0 0 0 0 0 0 0 0 0
3585.64/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.64/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.64/3597.00 c multilinear : 0.01 0.00 1820 21 0 0 96 76 71 75 26 49 0
3585.64/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.64/3597.00 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.64/3597.00 c rlt : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
3585.64/3597.00 c zerohalf : 1.63 0.00 88 21 0 0 955 36008 191 18086 17924 162 0
3585.64/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3585.64/3597.00 c hybrid : 1.11 0.00 20538 22 498854 0 699286 5325 0 66754
3585.64/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3585.64/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3585.64/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3585.64/3597.00 c problem variables: 0.00 - 0 0
3585.64/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3585.64/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.64/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3585.64/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3585.64/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.64/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3585.64/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3585.64/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.64/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3585.64/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.64/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3585.64/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3585.64/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3585.64/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3585.64/3597.00 c relpscost : 19.62 0.00 10704 0 0 0 0 0 0 21408
3585.64/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3585.64/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3585.64/3597.00 c LP solutions : 0.00 - - 0 0
3585.64/3597.00 c relax solutions : 0.00 - - 0 0
3585.64/3597.00 c pseudo solutions : 0.00 - - 0 0
3585.64/3597.00 c strong branching : 0.00 - - 0 0
3585.64/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3585.64/3597.00 c adaptivediving : 32.68 0.00 25 0 0
3585.64/3597.00 c alns : 0.43 0.00 5 0 0
3585.64/3597.00 c bound : 0.00 0.00 0 0 0
3585.64/3597.00 c clique : 0.05 0.00 1 0 0
3585.64/3597.00 c coefdiving : 0.00 0.00 0 0 0
3585.64/3597.00 c completesol : 0.00 0.00 0 0 0
3585.64/3597.00 c conflictdiving : 6.35 0.00 16 0 0
3585.64/3597.00 c crossover : 0.01 0.00 0 0 0
3585.64/3597.00 c dins : 0.00 0.00 0 0 0
3585.64/3597.00 c distributiondivin: 23.90 0.00 16 0 0
3585.64/3597.00 c dks : 0.00 0.00 0 0 0
3585.64/3597.00 c dps : 0.00 0.00 0 0 0
3585.64/3597.00 c dualval : 0.00 0.00 0 0 0
3585.64/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3585.64/3597.00 c feaspump : 26.79 0.00 8 0 0
3585.64/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3585.64/3597.00 c fracdiving : 4.42 0.00 16 0 0
3585.64/3597.00 c gins : 0.00 0.00 0 0 0
3585.64/3597.00 c guideddiving : 0.00 0.00 0 0 0
3585.64/3597.00 c indicator : 0.00 0.00 0 0 0
3585.64/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3585.64/3597.00 c intdiving : 0.00 0.00 0 0 0
3585.64/3597.00 c intshifting : 0.00 0.00 0 0 0
3585.64/3597.00 c linesearchdiving : 8.31 0.00 16 0 0
3585.64/3597.00 c localbranching : 0.00 0.00 0 0 0
3585.64/3597.00 c locks : 0.01 0.00 1 0 0
3585.64/3597.00 c lpface : 0.08 0.00 0 0 0
3585.64/3597.00 c mpec : 0.00 0.00 0 0 0
3585.64/3597.00 c multistart : 0.00 0.00 0 0 0
3585.64/3597.00 c mutation : 0.00 0.00 0 0 0
3585.64/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3585.64/3597.00 c objpscostdiving : 177.90 0.00 9 0 0
3585.64/3597.00 c octane : 0.00 0.00 0 0 0
3585.64/3597.00 c ofins : 0.00 0.00 0 0 0
3585.64/3597.00 c oneopt : 0.02 0.00 0 0 0
3585.64/3597.00 c padm : 0.00 0.00 0 0 0
3585.64/3597.00 c proximity : 0.00 0.00 0 0 0
3585.64/3597.00 c pscostdiving : 10.75 0.00 16 0 0
3585.64/3597.00 c randrounding : 0.69 0.00 1936 0 0
3585.64/3597.00 c rens : 0.00 0.00 0 0 0
3585.64/3597.00 c reoptsols : 0.00 0.00 0 0 0
3585.64/3597.00 c repair : 0.00 0.00 0 0 0
3585.64/3597.00 c rins : 0.01 0.00 0 0 0
3585.64/3597.00 c rootsoldiving : 23.15 0.00 9 0 0
3585.64/3597.00 c rounding : 2.20 0.00 2446 0 0
3585.64/3597.00 c scheduler : 0.00 0.00 0 0 0
3585.64/3597.00 c shiftandpropagate: 0.07 0.00 2 0 0
3585.64/3597.00 c shifting : 4.64 0.00 792 0 0
3585.64/3597.00 c simplerounding : 0.02 0.00 0 0 0
3585.64/3597.00 c subnlp : 0.00 0.00 0 0 0
3585.64/3597.00 c trivial : 0.00 0.00 4 0 0
3585.64/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3585.64/3597.00 c trustregion : 0.00 0.00 0 0 0
3585.64/3597.00 c trysol : 0.01 0.00 0 0 0
3585.64/3597.00 c twoopt : 0.00 0.00 0 0 0
3585.64/3597.00 c undercover : 0.00 0.00 1 0 0
3585.64/3597.00 c vbounds : 0.06 0.00 2 0 0
3585.64/3597.00 c veclendiving : 10.87 0.00 16 0 0
3585.64/3597.00 c zeroobj : 0.00 0.00 0 0 0
3585.64/3597.00 c zirounding : 2.14 0.00 1000 0 0
3585.64/3597.00 c other solutions : - - - 0 -
3585.64/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
3585.64/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
3585.64/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
3585.64/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
3585.64/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
3585.64/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
3585.64/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
3585.64/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
3585.64/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
3585.64/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
3585.64/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3585.64/3597.00 c primal LP : 4.00 1054 0 0.00 0.00 4.00 1054
3585.64/3597.00 c dual LP : 3096.24 31394 14740918 469.55 4760.92 0.00 0
3585.64/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3585.64/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3585.64/3597.00 c resolve instable : 0.00 0 0 0.00 -
3585.64/3597.00 c diving/probing LP: 321.54 1204 539062 447.73 1676.48
3585.64/3597.00 c strong branching : 10.05 39 32357 829.67 3220.94 - - 53
3585.64/3597.00 c (at root node) : - 39 32357 829.67 -
3585.64/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3585.64/3597.00 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3585.64/3597.00 c benders : 0.00 0 0 0 0.00 0 0 0
3585.64/3597.00 c B&B Tree :
3585.64/3597.00 c number of runs : 2
3585.64/3597.00 c nodes : 14373 (8464 internal, 5909 leaves)
3585.64/3597.00 c feasible leaves : 0
3585.64/3597.00 c infeas. leaves : 5908
3585.64/3597.00 c objective leaves : 0
3585.64/3597.00 c nodes (total) : 18562 (10704 internal, 7858 leaves)
3585.64/3597.00 c nodes left : 16
3585.64/3597.00 c max depth : 34
3585.64/3597.00 c max depth (total): 37
3585.64/3597.00 c backtracks : 2764 (19.2%)
3585.64/3597.00 c early backtracks : 0 (0.0%)
3585.64/3597.00 c nodes exc. ref. : 0 (0.0%)
3585.64/3597.00 c delayed cutoffs : 2541
3585.64/3597.00 c repropagations : 20691 (814613 domain reductions, 2507 cutoffs)
3585.64/3597.00 c avg switch length: 4.25
3585.64/3597.00 c switching time : 14.62
3585.64/3597.00 c Root Node :
3585.64/3597.00 c First LP value : +0.00000000000000e+00
3585.64/3597.00 c First LP Iters : 7610 (16525.48 Iter/sec)
3585.64/3597.00 c First LP Time : 0.46
3585.64/3597.00 c Final Dual Bound : +0.00000000000000e+00
3585.64/3597.00 c Final Root Iters : 69243
3585.64/3597.00 c Root LP Estimate : +3.08012518542851e-02
3585.64/3597.00 c Solution :
3585.64/3597.00 c Solutions found : 0 (0 improvements)
3585.64/3597.00 c Primal Bound : -
3585.64/3597.00 c Dual Bound : +0.00000000000000e+00
3585.64/3597.00 c Gap : infinite
3585.64/3597.00 c Integrals : Total Avg%
3585.64/3597.00 c primal-dual : 359699.94 100.00
3585.64/3597.00 c primal-ref : - - (not evaluated)
3585.64/3597.00 c dual-ref : - - (not evaluated)
3585.74/3597.07 c Time complete (sec): 3585.818
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (56770 MiB free)
memory of node 1: 64465 MiB (61498 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4544697-1753217134/watcher-4544697-1753217134 -o /tmp/evaluation-result-4544697-1753217134/solver-4544697-1753217134 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1753209881-158262 --watchdog 3760 pbsolver -f HOME/instance-4544697-1753217134.opb -t 3600 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
solver pid=161333, runsolver pid=161330
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.13 4.12 4.09 5/263 161334
/proc/meminfo: memFree=121080032/131249992 swapFree=33009392/33010684
[pid=161333] ppid=161330 vsize=64596 memory=54528 CPUtime=0.1 cores=1,3
/proc/161333/stat : 161333 (pbsolver) R 161330 161333 158250 0 -1 4194304 11491 0 0 0 8 2 0 0 20 0 1 0 237387928 66146304 13632 18446744073709551615 4198400 14743177 140730305006176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25309184 140730305010056 140730305010152 140730305010152 140730305015756 0
/proc/161333/statm: 16149 13632 2432 2575 0 13056 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 64596 KiB
Current children cumulated memory: 54528 KiB
[startup+0.205518 s]*
/proc/loadavg: 4.13 4.12 4.09 5/263 161334
/proc/meminfo: memFree=121047776/131249992 swapFree=33009392/33010684
[pid=161333] ppid=161330 vsize=84732 memory=74988 CPUtime=0.2 cores=1,3
/proc/161333/stat : 161333 (pbsolver) R 161330 161333 158250 0 -1 4194304 19911 0 0 0 17 3 0 0 20 0 1 0 237387928 86765568 18747 18446744073709551615 4198400 14743177 140730305006176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25309184 140730305010056 140730305010152 140730305010152 140730305015756 0
/proc/161333/statm: 21183 18747 2496 2575 0 18090 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 84732 KiB
Current children cumulated memory: 74988 KiB
[startup+0.305416 s]*
/proc/loadavg: 4.13 4.12 4.09 5/263 161334
/proc/meminfo: memFree=121047776/131249992 swapFree=33009392/33010684
[pid=161333] ppid=161330 vsize=87028 memory=76512 CPUtime=0.3 cores=1,3
/proc/161333/stat : 161333 (pbsolver) R 161330 161333 158250 0 -1 4194304 21278 0 0 0 27 3 0 0 20 0 1 0 237387928 89116672 19128 18446744073709551615 4198400 14743177 140730305006176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25309184 140730305010056 140730305010152 140730305010152 140730305015756 0
/proc/161333/statm: 21757 19128 2560 2575 0 18664 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 87028 KiB
Current children cumulated memory: 76512 KiB
[startup+0.700169 s]
/proc/loadavg: 4.12 4.12 4.09 5/263 161334
/proc/meminfo: memFree=121047284/131249992 swapFree=33009392/33010684
[pid=161333] ppid=161330 vsize=91892 memory=81632 CPUtime=0.68 cores=1,3
/proc/161333/stat : 161333 (pbsolver) R 161330 161333 158250 0 -1 4194304 22521 0 0 0 65 3 0 0 20 0 1 0 237387928 94097408 20408 18446744073709551615 4198400 14743177 140730305006176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25309184 140730305010056 140730305010152 140730305010152 140730305015756 0
/proc/161333/statm: 22973 20408 2592 2575 0 19880 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 91892 KiB
Current children cumulated memory: 81632 KiB
[startup+1.50016 s]
/proc/loadavg: 4.12 4.12 4.09 5/263 161334
/proc/meminfo: memFree=121015544/131249992 swapFree=33009392/33010684
[pid=161333] ppid=161330 vsize=159608 memory=145704 CPUtime=1.49 cores=1,3
/proc/161333/stat : 161333 (pbsolver) R 161330 161333 158250 0 -1 4194304 38604 0 0 0 143 6 0 0 20 0 1 0 237387928 163438592 36426 18446744073709551615 4198400 14743177 140730305006176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25309184 140730305010056 140730305010152 140730305010152 140730305015756 0
/proc/161333/statm: 39902 36426 2656 2575 0 36809 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 159608 KiB
Current children cumulated memory: 145704 KiB
[startup+3.10531 s]
/proc/loadavg: 4.12 4.12 4.09 5/263 161334
/proc/meminfo: memFree=120951920/131249992 swapFree=33009392/33010684
[pid=161333] ppid=161330 vsize=183296 memory=166824 CPUtime=3.09 cores=1,3
/proc/161333/stat : 161333 (pbsolver) R 161330 161333 158250 0 -1 4194304 43840 0 0 0 302 7 0 0 20 0 1 0 237387928 187695104 41706 18446744073709551615 4198400 14743177 140730305006176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25309184 140730305010056 140730305010152 140730305010152 140730305015756 0
/proc/161333/statm: 45824 41706 2688 2575 0 42731 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 183296 KiB
Current children cumulated memory: 166824 KiB
[startup+6.30015 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 161335
/proc/meminfo: memFree=120936160/131249992 swapFree=33009392/33010684
[pid=161333] ppid=161330 vsize=210032 memory=182956 CPUtime=6.28 cores=1,3
/proc/161333/stat : 161333 (pbsolver) R 161330 161333 158250 0 -1 4194304 47353 0 0 0 620 8 0 0 20 0 1 0 237387928 215072768 45739 18446744073709551615 4198400 14743177 140730305006176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25309184 140730305010056 140730305010152 140730305010152 140730305015756 0
/proc/161333/statm: 52508 45739 2688 2575 0 49415 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 210032 KiB
Current children cumulated memory: 182956 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 161335
/proc/meminfo: memFree=120928136/131249992 swapFree=33009392/33010684
[pid=161333] ppid=161330 vsize=268852 memory=228780 CPUtime=12.66 cores=1,3
/proc/161333/stat : 161333 (pbsolver) R 161330 161333 158250 0 -1 4194304 58833 0 0 0 1256 10 0 0 20 0 1 0 237387928 275304448 57195 18446744073709551615 4198400 14743177 140730305006176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25309184 140730305010056 140730305010152 140730305010152 140730305015756 0
/proc/161333/statm: 67213 57195 2688 2575 0 64120 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 268852 KiB
Current children cumulated memory: 228780 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.13 4.09 5/263 161335
/proc/meminfo: memFree=120859400/131249992 swapFree=33009392/33010684
[pid=161333] ppid=161330 vsize=268852 memory=228908 CPUtime=25.42 cores=1,3
/proc/161333/stat : 161333 (pbsolver) R 161330 161333 158250 0 -1 4194304 58852 0 0 0 2532 10 0 0 20 0 1 0 237387928 275304448 57227 18446744073709551615 4198400 14743177 140730305006176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25309184 140730305010056 140730305010152 140730305010152 140730305015756 0
/proc/161333/statm: 67213 57227 2688 2575 0 64120 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 268852 KiB
Current children cumulated memory: 228908 KiB
[startup+51.1054 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 161335
/proc/meminfo: memFree=120785040/131249992 swapFree=33009392/33010684
[pid=161333] ppid=161330 vsize=268852 memory=228908 CPUtime=50.96 cores=1,3
/proc/161333/stat : 161333 (pbsolver) R 161330 161333 158250 0 -1 4194304 58854 0 0 0 5086 10 0 0 20 0 1 0 237387928 275304448 57227 18446744073709551615 4198400 14743177 140730305006176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25309184 140730305010056 140730305010152 140730305010152 140730305015756 0
/proc/161333/statm: 67213 57227 2688 2575 0 64120 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 268852 KiB
Current children cumulated memory: 228908 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/268 161348
/proc/meminfo: memFree=120732028/131249992 swapFree=33009392/33010684
[pid=161333] ppid=161330 vsize=268852 memory=228908 CPUtime=102.03 cores=1,3
/proc/161333/stat : 161333 (pbsolver) R 161330 161333 158250 0 -1 4194304 58863 0 0 0 10193 10 0 0 20 0 1 0 237387928 275304448 57227 18446744073709551615 4198400 14743177 140730305006176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25309184 140730305010056 140730305010152 140730305010152 140730305015756 0
/proc/161333/statm: 67213 57227 2688 2575 0 64120 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 268852 KiB
Current children cumulated memory: 228908 KiB
[startup+162.3 s]
/proc/loadavg: 4.20 4.13 4.10 5/267 161395
/proc/meminfo: memFree=123739764/131249992 swapFree=33009392/33010684
[pid=161333] ppid=161330 vsize=276524 memory=238764 CPUtime=161.85 cores=1,3
/proc/161333/stat : 161333 (pbsolver) R 161330 161333 158250 0 -1 4194304 61342 0 0 0 16174 11 0 0 20 0 1 0 237387928 283160576 59691 18446744073709551615 4198400 14743177 140730305006176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25309184 140730305010056 140730305010152 140730305010152 140730305015756 0
/proc/161333/statm: 69131 59691 2688 2575 0 66038 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 276524 KiB
Current children cumulated memory: 238764 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/268 161442
/proc/meminfo: memFree=123579564/131249992 swapFree=33009392/33010684
[pid=161333] ppid=161330 vsize=276524 memory=238764 CPUtime=221.67 cores=1,3
/proc/161333/stat : 161333 (pbsolver) R 161330 161333 158250 0 -1 4194304 61352 0 0 0 22156 11 0 0 20 0 1 0 237387928 283160576 59691 18446744073709551615 4198400 14743177 140730305006176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25309184 140730305010056 140730305010152 140730305010152 140730305015756 0
/proc/161333/statm: 69131 59691 2688 2575 0 66038 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 276524 KiB
Current children cumulated memory: 238764 KiB
[startup+282.3 s]
/proc/loadavg: 4.43 4.21 4.12 5/268 161444
/proc/meminfo: memFree=123445160/131249992 swapFree=33009392/33010684
[pid=161333] ppid=161330 vsize=276524 memory=238764 CPUtime=281.49 cores=1,3
/proc/161333/stat : 161333 (pbsolver) R 161330 161333 158250 0 -1 4194304 61353 0 0 0 28138 11 0 0 20 0 1 0 237387928 283160576 59691 18446744073709551615 4198400 14743177 140730305006176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25309184 140730305010056 140730305010152 140730305010152 140730305015756 0
/proc/161333/statm: 69131 59691 2688 2575 0 66038 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 276524 KiB
Current children cumulated memory: 238764 KiB
[startup+342.3 s]
/proc/loadavg: 4.22 4.18 4.12 5/268 161446
/proc/meminfo: memFree=123447568/131249992 swapFree=33009392/33010684
[pid=161333] ppid=161330 vsize=276524 memory=238892 CPUtime=341.31 cores=1,3
/proc/161333/stat : 161333 (pbsolver) R 161330 161333 158250 0 -1 4194304 61359 0 0 0 34120 11 0 0 20 0 1 0 237387928 283160576 59723 18446744073709551615 4198400 14743177 140730305006176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25309184 140730305010056 140730305010152 140730305010152 140730305015756 0
/proc/161333/statm: 69131 59723 2688 2575 0 66038 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 276524 KiB
Current children cumulated memory: 238892 KiB
[startup+402.3 s]
/proc/loadavg: 4.20 4.19 4.12 5/263 161448
/proc/meminfo: memFree=123424892/131249992 swapFree=33009392/33010684
[pid=161333] ppid=161330 vsize=273764 memory=236264 CPUtime=401.12 cores=1,3
/proc/161333/stat : 161333 (pbsolver) R 161330 161333 158250 0 -1 4194304 63704 0 0 0 40101 11 0 0 20 0 1 0 237387928 280334336 59066 18446744073709551615 4198400 14743177 140730305006176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25309184 140730305010056 140730305010152 140730305010152 140730305015756 0
/proc/161333/statm: 68441 59066 2688 2575 0 65348 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 273764 KiB
Current children cumulated memory: 236264 KiB
[startup+462.3 s]
/proc/loadavg: 4.18 4.18 4.12 5/263 161450
/proc/meminfo: memFree=123423524/131249992 swapFree=33009392/33010684
[pid=161333] ppid=161330 vsize=273764 memory=236264 CPUtime=460.95 cores=1,3
/proc/161333/stat : 161333 (pbsolver) R 161330 161333 158250 0 -1 4194304 63705 0 0 0 46084 11 0 0 20 0 1 0 237387928 280334336 59066 18446744073709551615 4198400 14743177 140730305006176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25309184 140730305010056 140730305010152 140730305010152 140730305015756 0
/proc/161333/statm: 68441 59066 2688 2575 0 65348 0
Current children cumulated CPU time: 460.95 s
################
# More data... #
################
/proc/loadavg: 4.08 4.14 4.11 5/264 161698
/proc/meminfo: memFree=124155436/131249992 swapFree=33009392/33010684
[pid=161333] ppid=161330 vsize=449592 memory=426184 CPUtime=3152.21 cores=1,3
/proc/161333/stat : 161333 (pbsolver) R 161330 161333 158250 0 -1 4194304 71374 0 0 0 315206 15 0 0 20 0 1 0 237387928 460382208 106546 18446744073709551615 4198400 14743177 140730305006176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25309184 140730305010056 140730305010152 140730305010152 140730305015756 0
/proc/161333/statm: 112398 106546 2688 2575 0 109305 0
Current children cumulated CPU time: 3152.21 s
Current children cumulated vsize: 449592 KiB
Current children cumulated memory: 426184 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.14 4.11 5/265 161701
/proc/meminfo: memFree=124145856/131249992 swapFree=33009392/33010684
[pid=161333] ppid=161330 vsize=449592 memory=426184 CPUtime=3212.05 cores=1,3
/proc/161333/stat : 161333 (pbsolver) R 161330 161333 158250 0 -1 4194304 71380 0 0 0 321190 15 0 0 20 0 1 0 237387928 460382208 106546 18446744073709551615 4198400 14743177 140730305006176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25309184 140730305010056 140730305010152 140730305010152 140730305015756 0
/proc/161333/statm: 112398 106546 2688 2575 0 109305 0
Current children cumulated CPU time: 3212.05 s
Current children cumulated vsize: 449592 KiB
Current children cumulated memory: 426184 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/264 161703
/proc/meminfo: memFree=124111972/131249992 swapFree=33009392/33010684
[pid=161333] ppid=161330 vsize=449932 memory=426696 CPUtime=3271.88 cores=1,3
/proc/161333/stat : 161333 (pbsolver) R 161330 161333 158250 0 -1 4194304 71484 0 0 0 327173 15 0 0 20 0 1 0 237387928 460730368 106674 18446744073709551615 4198400 14743177 140730305006176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25309184 140730305010056 140730305010152 140730305010152 140730305015756 0
/proc/161333/statm: 112483 106674 2688 2575 0 109390 0
Current children cumulated CPU time: 3271.88 s
Current children cumulated vsize: 449932 KiB
Current children cumulated memory: 426696 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/264 161705
/proc/meminfo: memFree=124120936/131249992 swapFree=33009392/33010684
[pid=161333] ppid=161330 vsize=449932 memory=426696 CPUtime=3331.72 cores=1,3
/proc/161333/stat : 161333 (pbsolver) R 161330 161333 158250 0 -1 4194304 71492 0 0 0 333157 15 0 0 20 0 1 0 237387928 460730368 106674 18446744073709551615 4198400 14743177 140730305006176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25309184 140730305010056 140730305010152 140730305010152 140730305015756 0
/proc/161333/statm: 112483 106674 2688 2575 0 109390 0
Current children cumulated CPU time: 3331.72 s
Current children cumulated vsize: 449932 KiB
Current children cumulated memory: 426696 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/265 161708
/proc/meminfo: memFree=124088408/131249992 swapFree=33009392/33010684
[pid=161333] ppid=161330 vsize=450504 memory=426696 CPUtime=3391.55 cores=1,3
/proc/161333/stat : 161333 (pbsolver) R 161330 161333 158250 0 -1 4194304 71506 0 0 0 339140 15 0 0 20 0 1 0 237387928 461316096 106674 18446744073709551615 4198400 14743177 140730305006176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25309184 140730305010056 140730305010152 140730305010152 140730305015756 0
/proc/161333/statm: 112626 106674 2688 2575 0 109533 0
Current children cumulated CPU time: 3391.55 s
Current children cumulated vsize: 450504 KiB
Current children cumulated memory: 426696 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.12 4.10 5/265 161710
/proc/meminfo: memFree=124106680/131249992 swapFree=33009392/33010684
[pid=161333] ppid=161330 vsize=452312 memory=426824 CPUtime=3451.39 cores=1,3
/proc/161333/stat : 161333 (pbsolver) R 161330 161333 158250 0 -1 4194304 71655 0 0 0 345124 15 0 0 20 0 1 0 237387928 463167488 106706 18446744073709551615 4198400 14743177 140730305006176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25309184 140730305010056 140730305010152 140730305010152 140730305015756 0
/proc/161333/statm: 113078 106706 2688 2575 0 109985 0
Current children cumulated CPU time: 3451.39 s
Current children cumulated vsize: 452312 KiB
Current children cumulated memory: 426824 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/263 161712
/proc/meminfo: memFree=124067876/131249992 swapFree=33009392/33010684
[pid=161333] ppid=161330 vsize=452808 memory=427336 CPUtime=3511.23 cores=1,3
/proc/161333/stat : 161333 (pbsolver) R 161330 161333 158250 0 -1 4194304 71791 0 0 0 351107 16 0 0 20 0 1 0 237387928 463675392 106834 18446744073709551615 4198400 14743177 140730305006176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25309184 140730305010056 140730305010152 140730305010152 140730305015756 0
/proc/161333/statm: 113202 106834 2688 2575 0 110109 0
Current children cumulated CPU time: 3511.23 s
Current children cumulated vsize: 452808 KiB
Current children cumulated memory: 427336 KiB
[startup+3582.3 s]
/proc/loadavg: 3.81 4.05 4.07 4/257 161745
/proc/meminfo: memFree=125384036/131249992 swapFree=33009392/33010684
[pid=161333] ppid=161330 vsize=452808 memory=427336 CPUtime=3571.07 cores=1,3
/proc/161333/stat : 161333 (pbsolver) R 161330 161333 158250 0 -1 4194304 71889 0 0 0 357091 16 0 0 20 0 1 0 237387928 463675392 106834 18446744073709551615 4198400 14743177 140730305006176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25309184 140730305010056 140730305010152 140730305010152 140730305015756 0
/proc/161333/statm: 113202 106834 2688 2575 0 110109 0
Current children cumulated CPU time: 3571.07 s
Current children cumulated vsize: 452808 KiB
Current children cumulated memory: 427336 KiB
[startup+3597.08 s]
# the end of solver process 161333 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.66 s, system=0.162486 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 3.81 4.05 4.07 4/257 161745
/proc/meminfo: memFree=125384036/131249992 swapFree=33009392/33010684
[pid=161333] ppid=161330 vsize=452808 memory=427336 CPUtime=3572.77 cores=1,3
/proc/161333/stat : 161333 (pbsolver) R 161330 161333 158250 0 -1 4194304 71889 0 0 0 357261 16 0 0 20 0 1 0 237387928 463675392 106834 18446744073709551615 4198400 14743177 140730305006176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25309184 140730305010056 140730305010152 140730305010152 140730305015756 0
/proc/161333/statm: 113202 106834 2688 2575 0 110109 0
Current children cumulated CPU time: 3572.77 s
Current children cumulated vsize: 452808 KiB
Current children cumulated memory: 427336 KiB
[startup+3590.4 s]
/proc/loadavg: 3.75 4.04 4.06 4/257 161745
/proc/meminfo: memFree=125384036/131249992 swapFree=33009392/33010684
[pid=161333] ppid=161330 vsize=452808 memory=427336 CPUtime=3579.15 cores=1,3
/proc/161333/stat : 161333 (pbsolver) R 161330 161333 158250 0 -1 4194304 71890 0 0 0 357899 16 0 0 20 0 1 0 237387928 463675392 106834 18446744073709551615 4198400 14743177 140730305006176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25309184 140730305010056 140730305010152 140730305010152 140730305015756 0
/proc/161333/statm: 113202 106834 2688 2575 0 110109 0
Current children cumulated CPU time: 3579.15 s
Current children cumulated vsize: 452808 KiB
Current children cumulated memory: 427336 KiB
[startup+3593.6 s]
/proc/loadavg: 3.69 4.02 4.06 4/257 161745
/proc/meminfo: memFree=125379384/131249992 swapFree=33009392/33010684
[pid=161333] ppid=161330 vsize=452808 memory=427336 CPUtime=3582.35 cores=1,3
/proc/161333/stat : 161333 (pbsolver) R 161330 161333 158250 0 -1 4194304 71890 0 0 0 358219 16 0 0 20 0 1 0 237387928 463675392 106834 18446744073709551615 4198400 14743177 140730305006176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25309184 140730305010056 140730305010152 140730305010152 140730305015756 0
/proc/161333/statm: 113202 106834 2688 2575 0 110109 0
Current children cumulated CPU time: 3582.35 s
Current children cumulated vsize: 452808 KiB
Current children cumulated memory: 427336 KiB
[startup+3595.2 s]
/proc/loadavg: 3.69 4.02 4.06 4/257 161745
/proc/meminfo: memFree=125375288/131249992 swapFree=33009392/33010684
[pid=161333] ppid=161330 vsize=452808 memory=427336 CPUtime=3583.94 cores=1,3
/proc/161333/stat : 161333 (pbsolver) R 161330 161333 158250 0 -1 4194304 71890 0 0 0 358378 16 0 0 20 0 1 0 237387928 463675392 106834 18446744073709551615 4198400 14743177 140730305006176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25309184 140730305010056 140730305010152 140730305010152 140730305015756 0
/proc/161333/statm: 113202 106834 2688 2575 0 110109 0
Current children cumulated CPU time: 3583.94 s
Current children cumulated vsize: 452808 KiB
Current children cumulated memory: 427336 KiB
[startup+3596 s]*
/proc/loadavg: 3.69 4.02 4.06 4/257 161745
/proc/meminfo: memFree=125376980/131249992 swapFree=33009392/33010684
[pid=161333] ppid=161330 vsize=452808 memory=427336 CPUtime=3584.75 cores=1,3
/proc/161333/stat : 161333 (pbsolver) R 161330 161333 158250 0 -1 4194304 71890 0 0 0 358459 16 0 0 20 0 1 0 237387928 463675392 106834 18446744073709551615 4198400 14743177 140730305006176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25309184 140730305010056 140730305010152 140730305010152 140730305015756 0
/proc/161333/statm: 113202 106834 2688 2575 0 110109 0
Current children cumulated CPU time: 3584.75 s
Current children cumulated vsize: 452808 KiB
Current children cumulated memory: 427336 KiB
[startup+3596.8 s]
/proc/loadavg: 3.69 4.02 4.06 4/257 161745
/proc/meminfo: memFree=125376980/131249992 swapFree=33009392/33010684
[pid=161333] ppid=161330 vsize=452808 memory=427336 CPUtime=3585.54 cores=1,3
/proc/161333/stat : 161333 (pbsolver) R 161330 161333 158250 0 -1 4194304 71890 0 0 0 358538 16 0 0 20 0 1 0 237387928 463675392 106834 18446744073709551615 4198400 14743177 140730305006176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25309184 140730305010056 140730305010152 140730305010152 140730305015756 0
/proc/161333/statm: 113202 106834 2688 2575 0 110109 0
Current children cumulated CPU time: 3585.54 s
Current children cumulated vsize: 452808 KiB
Current children cumulated memory: 427336 KiB
[startup+3597 s]*
/proc/loadavg: 3.71 4.02 4.06 4/257 161745
/proc/meminfo: memFree=125377048/131249992 swapFree=33009392/33010684
[pid=161333] ppid=161330 vsize=452808 memory=427336 CPUtime=3585.74 cores=1,3
/proc/161333/stat : 161333 (pbsolver) R 161330 161333 158250 0 -1 4194304 71890 0 0 0 358558 16 0 0 20 0 1 0 237387928 463675392 106834 18446744073709551615 4198400 14743177 140730305006176 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 25309184 140730305010056 140730305010152 140730305010152 140730305015756 0
/proc/161333/statm: 113202 106834 2688 2575 0 110109 0
Current children cumulated CPU time: 3585.74 s
Current children cumulated vsize: 452808 KiB
Current children cumulated memory: 427336 KiB
Child status: 0
Real time (s): 3597.08
CPU time (s): 3585.82
CPU user time (s): 3585.66
CPU system time (s): 0.162486
CPU usage (%): 99.6871
Max. virtual memory (cumulated for all children) (KiB): 452808
Max. memory (cumulated for all children) (KiB): 427336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.66
system time used= 0.162486
maximum resident set size= 427336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71938
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= 27
involuntary context switches= 2473
# summary of solver processes directly reported to runsolver:
# pid: 161333
# total CPU time (s): 3585.82
# total CPU user time (s): 3585.66
# total CPU system time (s): 0.162486
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.49881 second user time and 15.79 second system time
The end