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-4510915-1751202058.opb>
0.00/0.02 c original problem has 5370 variables (5370 bin, 0 int, 0 cont) and 12701 constraints
0.00/0.02 c problem read in 0.024 seconds
0.00/0.02 c problem without objective
0.00/0.04 c presolving:
0.00/0.07 c (0.1s) running MILP presolver
0.00/0.10 c (0.1s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.00/0.10 c (round 1, medium) 0 del vars, 12701 del conss, 7877 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 7877 clqs
0.09/0.12 c (round 2, exhaustive) 0 del vars, 12701 del conss, 7877 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 7877 upgd conss, 0 impls, 7877 clqs
0.09/0.17 c (0.2s) probing: 51/5370 (0.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.17 c (0.2s) probing aborted: 50/50 successive totally useless probings
0.09/0.18 c (0.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.09/0.19 c (0.2s) symmetry computation finished: 2 generators found (max: 1500, log10 of symmetry group size: 0.78) (symcode time: 0.01)
0.09/0.20 c dynamic symmetry handling statistics:
0.09/0.20 c orbitopal reduction: no components
0.09/0.20 c orbital reduction: no components
0.09/0.20 c lexicographic reduction: no permutations
0.09/0.20 c handled 1 out of 1 symmetry components
0.09/0.20 c (round 3, exhaustive) 11 del vars, 12701 del conss, 7878 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 7877 upgd conss, 0 impls, 7847 clqs
0.09/0.20 c (round 4, fast) 27 del vars, 12739 del conss, 7878 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 7877 upgd conss, 0 impls, 7839 clqs
0.09/0.21 c (round 5, medium) 34 del vars, 12746 del conss, 7878 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 7877 upgd conss, 0 impls, 7839 clqs
0.20/0.21 c (0.2s) probing: 56/5370 (1.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.20/0.21 c (0.2s) probing aborted: 50/50 successive totally useless probings
0.20/0.22 c presolving (6 rounds: 6 fast, 5 medium, 3 exhaustive):
0.20/0.22 c 34 deleted vars, 12746 deleted constraints, 7878 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.20/0.22 c 0 implications, 7846 cliques
0.20/0.22 c presolved problem has 5344 variables (5344 bin, 0 int, 0 cont) and 7833 constraints
0.20/0.22 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.20/0.22 c 7832 constraints of type <setppc>
0.20/0.22 c 1 constraints of type <orbitope_pp>
0.20/0.22 c transformed objective value is always integral (scale: 1)
0.20/0.22 c Presolving Time: 0.18
0.20/0.22 c
0.20/0.22 c - non default parameters ----------------------------------------------------------------------
0.20/0.22 c
0.20/0.22 c # SCIP version 10.0.0
0.20/0.22 c
0.20/0.22 c # maximal time in seconds to run
0.20/0.22 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.20/0.22 c limits/time = 3596.999005
0.20/0.22 c
0.20/0.22 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.20/0.22 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.20/0.22 c limits/memory = 27900
0.20/0.22 c
0.20/0.22 c # belongs reading time to solving time?
0.20/0.22 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.20/0.22 c timing/reading = TRUE
0.20/0.22 c
0.20/0.22 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.20/0.22 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.20/0.22 c reading/opbreader/maxintsize = 47
0.20/0.22 c
0.20/0.22 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.20/0.22 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.20/0.22 c propagating/genvbounds/timingmask = 0
0.20/0.22 c
0.20/0.22 c -----------------------------------------------------------------------------------------------
0.20/0.22 c
0.30/0.39 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.30/0.39 c 0.4s| 1 | 0 | 4244 | - | 90M | 0 |5344 |7859 |7832 | 0 | 0 | 25 | 0 | 0.000000e+00 | -- | Inf | unknown
2.78/2.80 c 2.8s| 1 | 0 | 12680 | - | 96M | 0 |5344 |7980 |7836 | 4 | 1 | 26 | 0 | 0.000000e+00 | -- | Inf | unknown
3.08/3.14 c 3.1s| 1 | 0 | 12767 | - | 100M | 0 |5344 |7981 |7844 | 12 | 2 | 27 | 0 | 0.000000e+00 | -- | Inf | unknown
3.57/3.60 c 3.6s| 1 | 0 | 12879 | - | 105M | 0 |5344 |7982 |7847 | 15 | 3 | 28 | 0 | 0.000000e+00 | -- | Inf | unknown
3.98/4.07 c 4.1s| 1 | 0 | 13198 | - | 107M | 0 |5344 |7984 |7851 | 19 | 4 | 30 | 0 | 0.000000e+00 | -- | Inf | unknown
4.67/4.78 c 4.8s| 1 | 0 | 13343 | - | 110M | 0 |5344 |7985 |7857 | 25 | 5 | 31 | 0 | 0.000000e+00 | -- | Inf | unknown
5.27/5.37 c 5.4s| 1 | 0 | 13511 | - | 113M | 0 |5344 |7986 |7867 | 35 | 6 | 32 | 0 | 0.000000e+00 | -- | Inf | unknown
5.87/5.91 c 5.9s| 1 | 0 | 13697 | - | 116M | 0 |5344 |7987 |7874 | 42 | 7 | 33 | 0 | 0.000000e+00 | -- | Inf | unknown
6.07/6.12 c 6.1s| 1 | 0 | 13902 | - | 118M | 0 |5344 |7988 |7884 | 52 | 8 | 34 | 0 | 0.000000e+00 | -- | Inf | unknown
6.37/6.42 c 6.4s| 1 | 0 | 14060 | - | 122M | 0 |5344 |7989 |7893 | 61 | 9 | 35 | 0 | 0.000000e+00 | -- | Inf | unknown
6.86/6.95 c 6.9s| 1 | 0 | 14150 | - | 124M | 0 |5344 |7990 |7897 | 65 | 10 | 36 | 0 | 0.000000e+00 | -- | Inf | unknown
6.97/7.09 c 7.1s| 1 | 0 | 14251 | - | 125M | 0 |5344 |7991 |7901 | 69 | 11 | 37 | 0 | 0.000000e+00 | -- | Inf | unknown
8.26/8.36 c 8.4s| 1 | 2 | 17773 | - | 126M | 0 |5344 |8000 |7901 | 69 | 11 | 46 | 11 | 0.000000e+00 | -- | Inf | unknown
19.83/19.94 c 19.9s| 100 | 66 | 46190 | 322.6 | 141M | 22 |5344 |8212 |7845 | 295 | 1 | 263 | 11 | 0.000000e+00 | -- | Inf | unknown
24.32/24.44 c 24.4s| 200 | 81 | 61495 | 237.4 | 151M | 22 |5344 |8454 |7879 | 563 | 2 | 512 | 11 | 0.000000e+00 | -- | Inf | 3.18%
26.71/26.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
26.71/26.89 c 26.9s| 300 | 76 | 73526 | 198.2 | 155M | 22 |5344 |8652 |7882 | 717 | 1 | 734 | 11 | 0.000000e+00 | -- | Inf | 4.18%
30.11/30.20 c 30.2s| 400 | 80 | 85360 | 178.2 | 159M | 22 |5344 |8792 |7877 | 846 | 0 | 923 | 11 | 0.000000e+00 | -- | Inf | 4.44%
32.39/32.59 c 32.6s| 500 | 69 | 97046 | 165.9 | 160M | 22 |5344 |8945 |7886 | 924 | 0 |1129 | 11 | 0.000000e+00 | -- | Inf | 4.86%
35.38/35.52 c 35.5s| 600 | 69 |109541 | 159.1 | 166M | 22 |5344 |9121 |7900 |1125 | 2 |1354 | 11 | 0.000000e+00 | -- | Inf | 5.45%
39.88/40.02 c 40.0s| 700 | 80 |129199 | 164.4 | 171M | 22 |5344 |9291 |7872 |1352 | 1 |1579 | 11 | 0.000000e+00 | -- | Inf | 6.39%
44.65/44.88 c 44.9s| 800 | 88 |146160 | 165.1 | 175M | 22 |5344 |9520 |7874 |1707 | 0 |1872 | 11 | 0.000000e+00 | -- | Inf | 7.06%
46.65/46.80 c 46.8s| 900 | 86 |155472 | 157.1 | 175M | 22 |5344 |9777 |7878 |1805 | 1 |2182 | 11 | 0.000000e+00 | -- | Inf | 7.24%
48.04/48.20 c 48.2s| 1000 | 82 |161895 | 147.8 | 175M | 22 |5344 | 10k|7890 |1805 | 1 |2485 | 11 | 0.000000e+00 | -- | Inf | 7.50%
49.04/49.23 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
49.04/49.23 c (run 1, node 1070) performing user restart
49.04/49.23 c
49.04/49.23 c (restart) converted 26 cuts from the global cut pool into linear constraints
49.04/49.23 c
49.04/49.27 c presolving:
49.04/49.28 c (round 1, fast) 0 del vars, 404 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 7846 clqs
49.14/49.31 c (round 2, exhaustive) 0 del vars, 446 del conss, 21 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 7846 clqs
49.14/49.32 c (round 3, exhaustive) 0 del vars, 446 del conss, 21 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 146 upgd conss, 0 impls, 7846 clqs
49.14/49.33 c (round 4, exhaustive) 0 del vars, 482 del conss, 39 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 146 upgd conss, 0 impls, 7846 clqs
49.14/49.36 c (round 5, exhaustive) 0 del vars, 629 del conss, 39 add conss, 0 chg bounds, 0 chg sides, 155 chg coeffs, 146 upgd conss, 0 impls, 7846 clqs
49.23/49.40 c (round 6, exhaustive) 0 del vars, 638 del conss, 39 add conss, 0 chg bounds, 0 chg sides, 156 chg coeffs, 146 upgd conss, 0 impls, 7846 clqs
49.23/49.44 c presolving (7 rounds: 7 fast, 6 medium, 6 exhaustive):
49.23/49.44 c 0 deleted vars, 638 deleted constraints, 39 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 156 changed coefficients
49.23/49.44 c 0 implications, 7846 cliques
49.23/49.44 c presolved problem has 5344 variables (5344 bin, 0 int, 0 cont) and 9542 constraints
49.23/49.44 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
49.23/49.44 c 92 constraints of type <knapsack>
49.23/49.44 c 7832 constraints of type <setppc>
49.23/49.44 c 11 constraints of type <linear>
49.23/49.44 c 1 constraints of type <orbitope_pp>
49.23/49.44 c 1606 constraints of type <logicor>
49.23/49.44 c transformed objective value is always integral (scale: 1)
49.23/49.44 c Presolving Time: 0.35
49.23/49.44 c
49.43/49.65 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
49.43/49.65 c 49.7s| 1 | 0 |170637 | - | 179M | 0 |5344 |9550 |7858 | 0 | 0 |2673 | 11 | 0.000000e+00 | -- | Inf | unknown
50.03/50.27 c 50.3s| 1 | 0 |170738 | - | 179M | 0 |5344 |9598 |7864 | 6 | 1 |2674 | 11 | 0.000000e+00 | -- | Inf | unknown
50.33/50.54 c 50.5s| 1 | 0 |170829 | - | 179M | 0 |5344 |9599 |7870 | 12 | 2 |2675 | 11 | 0.000000e+00 | -- | Inf | unknown
50.63/50.85 c 50.9s| 1 | 0 |170850 | - | 180M | 0 |5344 |9600 |7876 | 18 | 3 |2676 | 11 | 0.000000e+00 | -- | Inf | unknown
50.93/51.16 c 51.2s| 1 | 0 |170946 | - | 182M | 0 |5344 |9601 |7882 | 24 | 4 |2677 | 11 | 0.000000e+00 | -- | Inf | unknown
51.33/51.53 c 51.5s| 1 | 0 |170996 | - | 182M | 0 |5344 |9602 |7886 | 28 | 5 |2678 | 11 | 0.000000e+00 | -- | Inf | unknown
51.63/51.86 c 51.9s| 1 | 0 |171028 | - | 183M | 0 |5344 |9603 |7891 | 33 | 6 |2679 | 11 | 0.000000e+00 | -- | Inf | unknown
51.83/52.08 c 52.1s| 1 | 0 |171146 | - | 183M | 0 |5344 |9604 |7896 | 38 | 7 |2680 | 11 | 0.000000e+00 | -- | Inf | unknown
52.22/52.40 c 52.4s| 1 | 0 |171266 | - | 186M | 0 |5344 |9605 |7901 | 43 | 8 |2681 | 11 | 0.000000e+00 | -- | Inf | unknown
52.42/52.62 c 52.6s| 1 | 0 |171361 | - | 190M | 0 |5344 |9605 |7907 | 49 | 9 |2682 | 11 | 0.000000e+00 | -- | Inf | unknown
52.83/53.08 c 53.1s| 1 | 0 |171465 | - | 193M | 0 |5344 |9607 |7913 | 55 | 10 |2684 | 11 | 0.000000e+00 | -- | Inf | unknown
53.02/53.20 c 53.2s| 1 | 0 |171523 | - | 193M | 0 |5344 |9609 |7918 | 60 | 11 |2686 | 11 | 0.000000e+00 | -- | Inf | unknown
53.82/54.07 c 54.1s| 1 | 2 |174160 | - | 194M | 0 |5344 |9602 |7918 | 60 | 11 |2700 | 22 | 0.000000e+00 | -- | Inf | unknown
70.56/70.89 c 70.9s| 100 | 26 |234483 | 183.9 | 196M | 19 |5344 |9561 |7877 | 120 | 0 |2868 | 22 | 0.000000e+00 | -- | Inf | 0.55%
74.75/75.07 c 75.1s| 200 | 22 |256133 | 186.4 | 198M | 19 |5344 |9532 |7873 | 269 | 1 |3091 | 22 | 0.000000e+00 | -- | Inf | 1.42%
79.03/79.34 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
79.03/79.34 c 79.3s| 300 | 29 |279326 | 189.8 | 202M | 19 |5344 |9687 |7882 | 514 | 1 |3325 | 22 | 0.000000e+00 | -- | Inf | 2.20%
83.02/83.31 c 83.3s| 400 | 28 |299051 | 190.3 | 206M | 19 |5344 |9773 |7876 | 599 | 0 |3573 | 22 | 0.000000e+00 | -- | Inf | 3.06%
86.50/86.87 c 86.9s| 500 | 29 |314052 | 187.7 | 207M | 22 |5344 |9881 |7870 | 693 | 0 |3788 | 22 | 0.000000e+00 | -- | Inf | 3.34%
88.80/89.19 c 89.2s| 600 | 25 |324375 | 182.6 | 208M | 22 |5344 |9936 |7854 | 750 | 1 |3995 | 22 | 0.000000e+00 | -- | Inf | 3.54%
92.18/92.56 c 92.6s| 700 | 34 |342320 | 182.5 | 209M | 22 |5344 | 10k|7875 | 866 | 0 |4228 | 22 | 0.000000e+00 | -- | Inf | 3.88%
94.17/94.55 c 94.6s| 800 | 32 |357783 | 181.0 | 209M | 22 |5344 | 10k|7888 | 929 | 1 |4444 | 22 | 0.000000e+00 | -- | Inf | 4.13%
96.07/96.47 c 96.5s| 900 | 30 |367743 | 176.8 | 209M | 22 |5344 | 10k|7890 | 968 | 0 |4670 | 22 | 0.000000e+00 | -- | Inf | 4.28%
98.36/98.70 c 98.7s| 1000 | 28 |380420 | 174.4 | 210M | 22 |5344 | 10k|7887 |1075 | 1 |4877 | 22 | 0.000000e+00 | -- | Inf | 4.61%
102.25/102.62 c 103s| 1100 | 33 |396864 | 174.0 | 212M | 22 |5344 | 10k|7899 |1174 | 1 |5030 | 22 | 0.000000e+00 | -- | Inf | 4.87%
104.54/104.97 c 105s| 1200 | 29 |414454 | 174.0 | 213M | 22 |5344 | 10k|7888 |1210 | 1 |5170 | 22 | 0.000000e+00 | -- | Inf | 5.03%
108.23/108.69 c 109s| 1300 | 22 |437761 | 176.5 | 213M | 22 |5344 | 10k|7867 |1281 | 0 |5360 | 22 | 0.000000e+00 | -- | Inf | 5.48%
111.32/111.73 c 112s| 1400 | 28 |457369 | 177.3 | 214M | 22 |5344 | 10k|7875 |1374 | 1 |5542 | 22 | 0.000000e+00 | -- | Inf | 5.74%
115.72/116.16 c 116s| 1500 | 45 |478751 | 178.7 | 217M | 22 |5344 | 10k|7877 |1617 | 0 |5697 | 22 | 0.000000e+00 | -- | Inf | 6.12%
120.49/120.91 c 121s| 1600 | 55 |505399 | 182.0 | 219M | 22 |5344 | 10k|7880 |1855 | 0 |5872 | 22 | 0.000000e+00 | -- | Inf | 6.44%
127.07/127.57 c 128s| 1700 | 58 |534715 | 186.0 | 219M | 22 |5344 | 10k|7854 |1970 | 1 |6026 | 22 | 0.000000e+00 | -- | Inf | 6.87%
130.96/131.44 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
130.96/131.44 c 131s| 1800 | 66 |566686 | 190.7 | 222M | 22 |5344 | 10k|7919 |2195 | 0 |6201 | 22 | 0.000000e+00 | -- | Inf | 7.09%
134.84/135.35 c 135s| 1900 | 76 |591445 | 192.6 | 227M | 26 |5344 | 11k|7903 |2334 | 0 |6397 | 22 | 0.000000e+00 | -- | Inf | 7.23%
138.23/138.74 c 139s| 2000 | 81 |617905 | 195.0 | 227M | 26 |5344 | 11k|7923 |2370 | 1 |6627 | 22 | 0.000000e+00 | -- | Inf | 7.25%
140.53/141.03 c 141s| 2100 | 91 |638870 | 195.4 | 228M | 26 |5344 | 11k|7872 |2374 | 1 |6833 | 22 | 0.000000e+00 | -- | Inf | 7.32%
142.42/142.95 c 143s| 2200 | 84 |653690 | 194.0 | 228M | 26 |5344 | 11k|7872 |2381 | 0 |7126 | 22 | 0.000000e+00 | -- | Inf | 7.32%
144.41/144.91 c 145s| 2300 | 81 |670251 | 193.1 | 229M | 26 |5344 | 11k|7872 |2389 | 0 |7338 | 22 | 0.000000e+00 | -- | Inf | 7.34%
146.61/147.18 c 147s| 2400 | 82 |691344 | 193.7 | 229M | 26 |5344 | 11k|7876 |2422 | 1 |7535 | 22 | 0.000000e+00 | -- | Inf | 7.41%
149.30/149.81 c 150s| 2500 | 80 |706181 | 192.4 | 229M | 26 |5344 | 11k|7875 |2504 | 0 |7707 | 22 | 0.000000e+00 | -- | Inf | 7.70%
151.79/152.31 c 152s| 2600 | 85 |720317 | 191.0 | 229M | 26 |5344 | 11k|7875 |2569 | 0 |7920 | 22 | 0.000000e+00 | -- | Inf | 7.82%
153.08/153.65 c 154s| 2700 | 86 |727782 | 187.9 | 229M | 26 |5344 | 11k|7882 |2578 | 0 |8104 | 22 | 0.000000e+00 | -- | Inf | 7.90%
154.58/155.14 c 155s| 2800 | 88 |735589 | 185.1 | 229M | 26 |5344 | 11k|7882 |2602 | 1 |8264 | 22 | 0.000000e+00 | -- | Inf | 7.92%
156.47/157.01 c 157s| 2900 | 78 |746890 | 183.3 | 230M | 26 |5344 | 11k|7880 |2674 | 0 |8470 | 22 | 0.000000e+00 | -- | Inf | 8.08%
159.06/159.69 c 160s| 3000 | 89 |758591 | 181.6 | 230M | 26 |5344 | 12k|7880 |2790 | 0 |8671 | 22 | 0.000000e+00 | -- | Inf | 8.35%
160.46/161.05 c 161s| 3100 | 84 |767147 | 179.3 | 230M | 26 |5344 | 12k|7881 |2805 | 1 |8846 | 22 | 0.000000e+00 | -- | Inf | 8.49%
162.75/163.33 c 163s| 3200 | 83 |777122 | 177.5 | 232M | 26 |5344 | 12k|7880 |2935 | 1 |9038 | 22 | 0.000000e+00 | -- | Inf | 8.87%
164.44/165.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
164.44/165.01 c 165s| 3300 | 80 |786452 | 175.5 | 232M | 26 |5344 | 12k|7878 |3005 | 1 |9243 | 22 | 0.000000e+00 | -- | Inf | 9.16%
166.33/166.94 c 167s| 3400 | 80 |798947 | 174.4 | 232M | 26 |5344 | 12k|7872 |3081 | 0 |9457 | 22 | 0.000000e+00 | -- | Inf | 9.39%
169.32/169.92 c 170s| 3500 | 74 |819662 | 175.1 | 232M | 26 |5344 | 12k|7854 |3150 | 1 |9648 | 22 | 0.000000e+00 | -- | Inf | 10.56%
173.61/174.28 c 174s| 3600 | 80 |844263 | 176.6 | 233M | 26 |5344 | 12k|7886 |3494 | 2 |9804 | 22 | 0.000000e+00 | -- | Inf | 11.83%
177.30/177.99 c 178s| 3700 | 89 |867911 | 177.9 | 234M | 26 |5344 | 12k|7861 |3649 | 1 |9973 | 22 | 0.000000e+00 | -- | Inf | 14.94%
179.89/180.53 c 181s| 3800 | 83 |884394 | 177.6 | 236M | 26 |5344 | 12k|7902 |3665 | 0 | 10k| 22 | 0.000000e+00 | -- | Inf | 15.10%
184.27/184.90 c 185s| 3900 | 86 |906512 | 178.5 | 238M | 26 |5344 | 12k|7856 |3881 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | 15.99%
189.66/190.38 c 190s| 4000 | 90 |933686 | 180.3 | 240M | 26 |5344 | 12k|7888 |4291 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | 16.98%
193.24/193.91 c 194s| 4100 | 84 |952012 | 180.4 | 241M | 26 |5344 | 12k|7870 |4321 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | 17.23%
197.73/198.43 c 198s| 4200 | 77 |978822 | 182.1 | 242M | 26 |5344 | 12k|7877 |4453 | 0 | 10k| 22 | 0.000000e+00 | -- | Inf | 17.91%
203.21/203.93 c 204s| 4300 | 79 | 1001k| 182.9 | 244M | 26 |5344 | 12k|7886 |4724 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | 18.74%
206.70/207.46 c 207s| 4400 | 83 | 1021k| 183.1 | 245M | 26 |5344 | 12k|7881 |4777 | 0 | 11k| 22 | 0.000000e+00 | -- | Inf | 18.94%
208.40/209.16 c 209s| 4500 | 86 | 1033k| 182.0 | 245M | 26 |5344 | 12k|7887 |4819 | 0 | 11k| 22 | 0.000000e+00 | -- | Inf | 19.02%
210.48/211.22 c 211s| 4600 | 83 | 1048k| 181.5 | 246M | 26 |5344 | 12k|7888 |4857 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | 19.09%
212.47/213.29 c 213s| 4700 | 81 | 1063k| 180.9 | 246M | 26 |5344 | 12k|7881 |4924 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | 19.42%
213.97/214.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
213.97/214.75 c 215s| 4800 | 84 | 1073k| 179.6 | 246M | 26 |5344 | 13k|7881 |4924 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | 19.46%
216.16/216.95 c 217s| 4900 | 83 | 1088k| 179.0 | 247M | 26 |5344 | 13k|7912 |4975 | 2 | 12k| 22 | 0.000000e+00 | -- | Inf | 19.56%
222.04/222.89 c 223s| 5000 | 77 | 1126k| 182.3 | 247M | 26 |5344 | 13k|7885 |5098 | 0 | 12k| 22 | 0.000000e+00 | -- | Inf | 20.16%
226.24/227.03 c 227s| 5100 | 93 | 1152k| 183.6 | 250M | 26 |5344 | 12k|7912 |5239 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | 20.66%
228.82/229.68 c 230s| 5200 | 93 | 1165k| 182.7 | 251M | 26 |5344 | 13k|7912 |5269 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | 20.74%
232.22/233.08 c 233s| 5300 | 93 | 1179k| 182.2 | 253M | 26 |5344 | 13k|7909 |5462 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | 21.13%
233.61/234.46 c 234s| 5400 | 94 | 1186k| 180.5 | 253M | 26 |5344 | 13k|7909 |5481 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | 21.21%
235.80/236.64 c 237s| 5500 | 90 | 1201k| 179.9 | 253M | 26 |5344 | 13k|7912 |5506 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | 21.26%
237.89/238.74 c 239s| 5600 | 88 | 1211k| 178.8 | 253M | 26 |5344 | 13k|7915 |5546 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | 21.34%
240.19/241.09 c 241s| 5700 | 86 | 1222k| 177.7 | 253M | 26 |5344 | 13k|7892 |5585 | 0 | 13k| 22 | 0.000000e+00 | -- | Inf | 21.47%
245.07/245.93 c 246s| 5800 | 91 | 1244k| 178.3 | 253M | 26 |5344 | 13k|7905 |5708 | 0 | 14k| 22 | 0.000000e+00 | -- | Inf | 21.72%
247.17/248.08 c 248s| 5900 | 90 | 1256k| 177.5 | 255M | 26 |5344 | 13k|7893 |5788 | 1 | 14k| 22 | 0.000000e+00 | -- | Inf | 21.95%
249.85/250.72 c 251s| 6000 | 91 | 1275k| 177.7 | 255M | 26 |5344 | 13k|7892 |5862 | 1 | 14k| 22 | 0.000000e+00 | -- | Inf | 22.21%
253.64/254.59 c 255s| 6100 | 86 | 1299k| 178.6 | 256M | 26 |5344 | 13k|7896 |5943 | 0 | 14k| 22 | 0.000000e+00 | -- | Inf | 22.61%
257.63/258.52 c 259s| 6200 | 87 | 1319k| 178.9 | 258M | 26 |5344 | 13k|7912 |6008 | 0 | 14k| 22 | 0.000000e+00 | -- | Inf | 22.84%
260.13/261.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
260.13/261.01 c 261s| 6300 | 91 | 1338k| 179.0 | 260M | 26 |5344 | 13k|7925 |6094 | 1 | 15k| 22 | 0.000000e+00 | -- | Inf | 22.98%
262.22/263.14 c 263s| 6400 | 91 | 1352k| 178.4 | 260M | 26 |5344 | 13k|7911 |6135 | 0 | 15k| 22 | 0.000000e+00 | -- | Inf | 23.14%
264.01/264.98 c 265s| 6500 | 89 | 1364k| 177.7 | 261M | 26 |5344 | 13k|7900 |6171 | 0 | 15k| 22 | 0.000000e+00 | -- | Inf | 23.25%
266.80/267.72 c 268s| 6600 | 89 | 1380k| 177.5 | 261M | 26 |5344 | 14k|7901 |6235 | 0 | 15k| 22 | 0.000000e+00 | -- | Inf | 23.41%
269.20/270.14 c 270s| 6700 | 90 | 1395k| 177.1 | 263M | 26 |5344 | 14k|7904 |6337 | 1 | 16k| 22 | 0.000000e+00 | -- | Inf | 23.47%
270.69/271.60 c 272s| 6800 | 95 | 1404k| 176.0 | 263M | 26 |5344 | 14k|7885 |6345 | 1 | 16k| 22 | 0.000000e+00 | -- | Inf | 23.53%
272.59/273.59 c 274s| 6900 | 105 | 1416k| 175.4 | 263M | 26 |5344 | 14k|7898 |6431 | 1 | 16k| 22 | 0.000000e+00 | -- | Inf | 23.55%
274.38/275.33 c 275s| 7000 | 94 | 1428k| 174.6 | 263M | 26 |5344 | 14k|7899 |6490 | 1 | 16k| 22 | 0.000000e+00 | -- | Inf | 23.57%
276.18/277.19 c 277s| 7100 | 87 | 1439k| 173.9 | 263M | 26 |5344 | 14k|7897 |6539 | 1 | 16k| 22 | 0.000000e+00 | -- | Inf | 23.61%
279.17/280.14 c 280s| 7200 | 88 | 1455k| 173.7 | 264M | 26 |5344 | 14k|7885 |6644 | 0 | 16k| 22 | 0.000000e+00 | -- | Inf | 23.79%
281.36/282.35 c 282s| 7300 | 93 | 1468k| 173.2 | 264M | 26 |5344 | 14k|7880 |6708 | 0 | 17k| 22 | 0.000000e+00 | -- | Inf | 23.92%
284.45/285.41 c 285s| 7400 | 85 | 1481k| 172.7 | 264M | 26 |5344 | 14k|7883 |6866 | 0 | 17k| 22 | 0.000000e+00 | -- | Inf | 24.46%
286.45/287.45 c 287s| 7500 | 87 | 1496k| 172.4 | 264M | 26 |5344 | 14k|7886 |6916 | 1 | 17k| 22 | 0.000000e+00 | -- | Inf | 24.69%
289.04/290.01 c 290s| 7600 | 87 | 1507k| 171.7 | 264M | 26 |5344 | 14k|7883 |7056 | 0 | 17k| 22 | 0.000000e+00 | -- | Inf | 24.97%
291.33/292.37 c 292s| 7700 | 86 | 1518k| 170.9 | 265M | 26 |5344 | 14k|7893 |7134 | 1 | 17k| 22 | 0.000000e+00 | -- | Inf | 25.23%
293.32/294.30 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
293.32/294.30 c 294s| 7800 | 84 | 1529k| 170.2 | 268M | 26 |5344 | 14k|7893 |7179 | 0 | 18k| 22 | 0.000000e+00 | -- | Inf | 25.34%
296.02/297.04 c 297s| 7900 | 90 | 1548k| 170.4 | 268M | 26 |5344 | 14k|7909 |7209 | 0 | 18k| 22 | 0.000000e+00 | -- | Inf | 25.42%
298.41/299.45 c 299s| 8000 | 92 | 1566k| 170.6 | 269M | 26 |5344 | 14k|7879 |7329 | 1 | 18k| 22 | 0.000000e+00 | -- | Inf | 26.04%
303.99/305.05 c 305s| 8100 | 99 | 1587k| 171.0 | 269M | 26 |5344 | 14k|7886 |7810 | 1 | 18k| 22 | 0.000000e+00 | -- | Inf | 28.65%
305.88/306.95 c 307s| 8200 | 89 | 1598k| 170.4 | 269M | 26 |5344 | 14k|7878 |7849 | 0 | 18k| 22 | 0.000000e+00 | -- | Inf | 29.80%
309.37/310.41 c 310s| 8300 | 93 | 1616k| 170.4 | 269M | 26 |5344 | 14k|7875 |7978 | 0 | 19k| 22 | 0.000000e+00 | -- | Inf | 30.70%
311.36/312.43 c 312s| 8400 | 95 | 1628k| 169.9 | 270M | 26 |5344 | 15k|7876 |8004 | 0 | 19k| 22 | 0.000000e+00 | -- | Inf | 30.79%
312.76/313.82 c 314s| 8500 | 92 | 1636k| 169.0 | 270M | 26 |5344 | 15k|7873 |8004 | 1 | 19k| 22 | 0.000000e+00 | -- | Inf | 30.87%
315.35/316.45 c 316s| 8600 | 92 | 1650k| 168.7 | 270M | 26 |5344 | 15k|7880 |8129 | 1 | 19k| 22 | 0.000000e+00 | -- | Inf | 31.18%
318.24/319.37 c 319s| 8700 | 96 | 1668k| 168.8 | 270M | 26 |5344 | 15k|7883 |8308 | 1 | 20k| 22 | 0.000000e+00 | -- | Inf | 32.53%
319.64/320.71 c 321s| 8800 | 98 | 1674k| 167.7 | 270M | 26 |5344 | 15k|7883 |8308 | 1 | 20k| 22 | 0.000000e+00 | -- | Inf | 33.00%
322.73/323.87 c 324s| 8900 | 94 | 1694k| 168.0 | 270M | 26 |5344 | 15k|7880 |8372 | 1 | 20k| 22 | 0.000000e+00 | -- | Inf | 35.11%
324.62/325.75 c 326s| 9000 | 94 | 1707k| 167.6 | 270M | 26 |5344 | 15k|7854 |8403 | 1 | 20k| 22 | 0.000000e+00 | -- | Inf | 35.27%
328.51/329.65 c 330s| 9100 | 100 | 1729k| 168.2 | 270M | 26 |5344 | 15k|7892 |8729 | 0 | 20k| 22 | 0.000000e+00 | -- | Inf | 36.61%
330.60/331.72 c 332s| 9200 | 99 | 1738k| 167.4 | 270M | 26 |5344 | 15k|7893 |8816 | 1 | 20k| 22 | 0.000000e+00 | -- | Inf | 36.91%
333.40/334.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
333.40/334.58 c 335s| 9300 | 96 | 1754k| 167.3 | 270M | 26 |5344 | 15k|7854 |8971 | 1 | 21k| 22 | 0.000000e+00 | -- | Inf | 38.79%
336.99/338.12 c 338s| 9400 | 98 | 1773k| 167.5 | 270M | 26 |5344 | 15k|7885 |9102 | 1 | 21k| 22 | 0.000000e+00 | -- | Inf | 39.42%
338.98/340.11 c 340s| 9500 | 100 | 1782k| 166.8 | 270M | 26 |5344 | 15k|7887 |9139 | 0 | 21k| 22 | 0.000000e+00 | -- | Inf | 39.62%
343.06/344.25 c 344s| 9600 | 98 | 1798k| 166.8 | 270M | 26 |5344 | 15k|7887 |9160 | 1 | 21k| 22 | 0.000000e+00 | -- | Inf | 39.79%
344.86/346.04 c 346s| 9700 | 98 | 1811k| 166.4 | 272M | 26 |5344 | 15k|7882 |9196 | 1 | 21k| 22 | 0.000000e+00 | -- | Inf | 39.95%
348.25/349.40 c 349s| 9800 | 93 | 1826k| 166.3 | 272M | 26 |5344 | 15k|7912 |9314 | 1 | 22k| 22 | 0.000000e+00 | -- | Inf | 40.29%
352.34/353.59 c 354s| 9900 | 95 | 1857k| 167.6 | 273M | 26 |5344 | 15k|7868 |9542 | 0 | 22k| 22 | 0.000000e+00 | -- | Inf | 42.11%
354.93/356.14 c 356s| 10000 | 101 | 1875k| 167.6 | 273M | 26 |5344 | 15k|7881 |9636 | 0 | 22k| 22 | 0.000000e+00 | -- | Inf | 42.46%
359.01/360.26 c 360s| 10100 | 101 | 1902k| 168.6 | 273M | 26 |5344 | 15k|7872 |9740 | 1 | 22k| 22 | 0.000000e+00 | -- | Inf | 43.10%
360.91/362.12 c 362s| 10200 | 99 | 1916k| 168.3 | 273M | 26 |5344 | 15k|7879 |9767 | 0 | 22k| 22 | 0.000000e+00 | -- | Inf | 43.35%
363.90/365.17 c 365s| 10300 | 100 | 1940k| 169.0 | 275M | 26 |5344 | 15k|7893 |9873 | 0 | 23k| 22 | 0.000000e+00 | -- | Inf | 44.05%
366.59/367.82 c 368s| 10400 | 104 | 1957k| 169.0 | 276M | 26 |5344 | 15k|7890 |9900 | 1 | 23k| 22 | 0.000000e+00 | -- | Inf | 44.26%
368.89/370.19 c 370s| 10500 | 103 | 1975k| 169.1 | 283M | 26 |5344 | 15k|7923 |9978 | 1 | 23k| 22 | 0.000000e+00 | -- | Inf | 44.56%
371.68/372.97 c 373s| 10600 | 102 | 1989k| 168.8 | 284M | 26 |5344 | 15k|7922 | 10k| 0 | 23k| 22 | 0.000000e+00 | -- | Inf | 44.87%
373.47/374.71 c 375s| 10700 | 105 | 1997k| 168.0 | 284M | 26 |5344 | 15k|7915 | 10k| 1 | 23k| 22 | 0.000000e+00 | -- | Inf | 44.94%
375.17/376.47 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
375.17/376.47 c 376s| 10800 | 105 | 2005k| 167.3 | 284M | 26 |5344 | 15k|7918 | 10k| 0 | 24k| 22 | 0.000000e+00 | -- | Inf | 44.99%
376.96/378.28 c 378s| 10900 | 105 | 2015k| 166.7 | 284M | 26 |5344 | 15k|7900 | 10k| 1 | 24k| 22 | 0.000000e+00 | -- | Inf | 45.09%
378.76/380.03 c 380s| 11000 | 108 | 2025k| 166.2 | 284M | 26 |5344 | 15k|7914 | 10k| 0 | 24k| 22 | 0.000000e+00 | -- | Inf | 45.13%
380.25/381.58 c 382s| 11100 | 103 | 2034k| 165.6 | 284M | 26 |5344 | 15k|7901 | 10k| 0 | 24k| 22 | 0.000000e+00 | -- | Inf | 45.14%
382.04/383.34 c 383s| 11200 | 102 | 2045k| 165.2 | 284M | 26 |5344 | 15k|7904 | 10k| 1 | 24k| 22 | 0.000000e+00 | -- | Inf | 45.18%
384.24/385.57 c 386s| 11300 | 104 | 2063k| 165.2 | 284M | 26 |5344 | 15k|7905 | 10k| 0 | 25k| 22 | 0.000000e+00 | -- | Inf | 46.01%
386.33/387.63 c 388s| 11400 | 102 | 2074k| 164.8 | 287M | 26 |5344 | 15k|7868 | 10k| 1 | 25k| 22 | 0.000000e+00 | -- | Inf | 46.28%
388.42/389.79 c 390s| 11500 | 106 | 2089k| 164.7 | 287M | 26 |5344 | 15k|7879 | 10k| 1 | 25k| 22 | 0.000000e+00 | -- | Inf | 46.39%
390.02/391.39 c 391s| 11600 | 105 | 2100k| 164.2 | 288M | 26 |5344 | 15k|7873 | 10k| 1 | 25k| 22 | 0.000000e+00 | -- | Inf | 46.41%
391.82/393.13 c 393s| 11700 | 100 | 2112k| 163.9 | 288M | 26 |5344 | 15k|7871 | 10k| 0 | 26k| 22 | 0.000000e+00 | -- | Inf | 46.42%
393.91/395.20 c 395s| 11800 | 98 | 2127k| 163.8 | 288M | 26 |5344 | 15k|7897 | 10k| 2 | 26k| 22 | 0.000000e+00 | -- | Inf | 46.73%
398.19/399.52 c 400s| 11900 | 99 | 2152k| 164.4 | 288M | 26 |5344 | 15k|7878 | 10k| 1 | 26k| 22 | 0.000000e+00 | -- | Inf | 47.95%
401.69/403.06 c 403s| 12000 | 102 | 2173k| 164.8 | 289M | 26 |5344 | 15k|7872 | 11k| 0 | 26k| 22 | 0.000000e+00 | -- | Inf | 48.79%
403.87/405.23 c 405s| 12100 | 97 | 2186k| 164.6 | 289M | 26 |5344 | 15k|7872 | 11k| 0 | 26k| 22 | 0.000000e+00 | -- | Inf | 49.22%
408.86/410.28 c 410s| 12200 | 110 | 2220k| 165.9 | 291M | 26 |5344 | 15k|7874 | 11k| 1 | 26k| 22 | 0.000000e+00 | -- | Inf | 50.85%
411.35/412.78 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
411.35/412.78 c 413s| 12300 | 105 | 2236k| 165.8 | 291M | 26 |5344 | 15k|7874 | 11k| 1 | 27k| 22 | 0.000000e+00 | -- | Inf | 50.99%
413.94/415.33 c 415s| 12400 | 104 | 2252k| 165.8 | 291M | 26 |5344 | 15k|7904 | 11k| 1 | 27k| 22 | 0.000000e+00 | -- | Inf | 51.32%
417.53/418.98 c 419s| 12500 | 110 | 2282k| 166.8 | 292M | 26 |5344 | 15k|7922 | 11k| 0 | 27k| 22 | 0.000000e+00 | -- | Inf | 51.40%
419.63/421.04 c 421s| 12600 | 107 | 2303k| 167.1 | 292M | 26 |5344 | 15k|7924 | 11k| 0 | 27k| 22 | 0.000000e+00 | -- | Inf | 51.46%
425.51/426.90 c 427s| 12700 | 113 | 2335k| 168.2 | 292M | 26 |5344 | 15k|7922 | 11k| 1 | 28k| 22 | 0.000000e+00 | -- | Inf | 52.07%
427.80/429.25 c 429s| 12800 | 108 | 2346k| 167.8 | 292M | 26 |5344 | 15k|7874 | 11k| 0 | 28k| 22 | 0.000000e+00 | -- | Inf | 52.31%
430.39/431.88 c 432s| 12900 | 115 | 2359k| 167.5 | 292M | 26 |5344 | 15k|7906 | 11k| 0 | 28k| 22 | 0.000000e+00 | -- | Inf | 52.46%
433.38/434.84 c 435s| 13000 | 116 | 2380k| 167.8 | 294M | 26 |5344 | 15k|7908 | 11k| 1 | 28k| 22 | 0.000000e+00 | -- | Inf | 52.70%
435.77/437.28 c 437s| 13100 | 116 | 2392k| 167.5 | 294M | 26 |5344 | 15k|7900 | 12k| 1 | 28k| 22 | 0.000000e+00 | -- | Inf | 53.20%
438.46/439.94 c 440s| 13200 | 119 | 2404k| 167.1 | 294M | 26 |5344 | 15k|7904 | 12k| 1 | 29k| 22 | 0.000000e+00 | -- | Inf | 53.47%
439.96/441.47 c 441s| 13300 | 114 | 2412k| 166.5 | 294M | 26 |5344 | 15k|7902 | 12k| 0 | 29k| 22 | 0.000000e+00 | -- | Inf | 53.53%
441.85/443.34 c 443s| 13400 | 119 | 2421k| 166.0 | 294M | 26 |5344 | 15k|7908 | 12k| 1 | 29k| 22 | 0.000000e+00 | -- | Inf | 53.56%
443.65/445.19 c 445s| 13500 | 122 | 2430k| 165.5 | 300M | 26 |5344 | 15k|7902 | 12k| 0 | 29k| 22 | 0.000000e+00 | -- | Inf | 53.58%
445.64/447.18 c 447s| 13600 | 115 | 2441k| 165.1 | 300M | 26 |5344 | 15k|7906 | 12k| 0 | 29k| 22 | 0.000000e+00 | -- | Inf | 53.61%
447.43/449.00 c 449s| 13700 | 110 | 2451k| 164.7 | 301M | 26 |5344 | 15k|7904 | 12k| 0 | 30k| 22 | 0.000000e+00 | -- | Inf | 53.80%
449.42/450.98 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
449.42/450.98 c 451s| 13800 | 112 | 2462k| 164.3 | 301M | 26 |5344 | 15k|7906 | 12k| 0 | 30k| 22 | 0.000000e+00 | -- | Inf | 54.00%
452.12/453.65 c 454s| 13900 | 113 | 2475k| 164.1 | 301M | 26 |5344 | 15k|7903 | 12k| 1 | 30k| 22 | 0.000000e+00 | -- | Inf | 54.23%
453.91/455.49 c 455s| 14000 | 115 | 2485k| 163.6 | 301M | 26 |5344 | 15k|7901 | 12k| 1 | 30k| 22 | 0.000000e+00 | -- | Inf | 54.32%
455.80/457.38 c 457s| 14100 | 115 | 2495k| 163.2 | 301M | 26 |5344 | 16k|7907 | 12k| 1 | 30k| 22 | 0.000000e+00 | -- | Inf | 54.34%
458.20/459.79 c 460s| 14200 | 126 | 2508k| 163.0 | 301M | 26 |5344 | 16k|7913 | 12k| 2 | 31k| 22 | 0.000000e+00 | -- | Inf | 54.35%
460.59/462.18 c 462s| 14300 | 123 | 2520k| 162.7 | 301M | 26 |5344 | 16k|7905 | 12k| 1 | 31k| 22 | 0.000000e+00 | -- | Inf | 54.36%
462.18/463.78 c 464s| 14400 | 126 | 2530k| 162.3 | 301M | 26 |5344 | 16k| 0 | 12k| 0 | 31k| 22 | 0.000000e+00 | -- | Inf | 54.38%
463.98/465.52 c 466s| 14500 | 119 | 2540k| 161.9 | 301M | 26 |5344 | 16k|7909 | 12k| 0 | 31k| 22 | 0.000000e+00 | -- | Inf | 54.39%
465.17/466.76 c 467s| 14600 | 116 | 2547k| 161.4 | 301M | 26 |5344 | 16k|7907 | 12k| 1 | 32k| 22 | 0.000000e+00 | -- | Inf | 54.40%
466.97/468.58 c 469s| 14700 | 113 | 2559k| 161.0 | 301M | 26 |5344 | 16k|7912 | 12k| 1 | 32k| 22 | 0.000000e+00 | -- | Inf | 54.43%
468.57/470.14 c 470s| 14800 | 113 | 2568k| 160.6 | 301M | 26 |5344 | 16k|7905 | 12k| 1 | 32k| 22 | 0.000000e+00 | -- | Inf | 54.45%
469.76/471.34 c 471s| 14900 | 112 | 2574k| 160.0 | 301M | 26 |5344 | 16k|7905 | 12k| 1 | 32k| 22 | 0.000000e+00 | -- | Inf | 54.47%
474.04/475.63 c 476s| 15000 | 110 | 2608k| 161.1 | 302M | 26 |5344 | 16k|7871 | 12k| 1 | 33k| 22 | 0.000000e+00 | -- | Inf | 54.68%
482.93/484.50 c 484s| 15100 | 130 | 2663k| 163.5 | 302M | 26 |5344 | 16k|7909 | 12k| 0 | 33k| 22 | 0.000000e+00 | -- | Inf | 54.73%
487.01/488.62 c 489s| 15200 | 138 | 2695k| 164.5 | 303M | 26 |5344 | 15k|7904 | 13k| 2 | 33k| 22 | 0.000000e+00 | -- | Inf | 55.20%
490.10/491.79 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
490.10/491.79 c 492s| 15300 | 141 | 2721k| 165.1 | 304M | 26 |5344 | 15k|7908 | 13k| 0 | 33k| 22 | 0.000000e+00 | -- | Inf | 55.35%
491.60/493.25 c 493s| 15400 | 139 | 2734k| 164.8 | 304M | 26 |5344 | 15k|7908 | 13k| 1 | 33k| 22 | 0.000000e+00 | -- | Inf | 55.42%
493.09/494.72 c 495s| 15500 | 138 | 2746k| 164.6 | 304M | 26 |5344 | 16k|7908 | 13k| 0 | 34k| 22 | 0.000000e+00 | -- | Inf | 55.49%
495.19/496.85 c 497s| 15600 | 136 | 2760k| 164.4 | 305M | 26 |5344 | 16k|7926 | 13k| 0 | 34k| 22 | 0.000000e+00 | -- | Inf | 55.55%
497.48/499.16 c 499s| 15700 | 141 | 2777k| 164.5 | 305M | 26 |5344 | 16k|7878 | 13k| 0 | 34k| 22 | 0.000000e+00 | -- | Inf | 55.68%
499.97/501.67 c 502s| 15800 | 143 | 2797k| 164.7 | 305M | 26 |5344 | 16k|7908 | 13k| 0 | 34k| 22 | 0.000000e+00 | -- | Inf | 55.82%
503.06/504.77 c 505s| 15900 | 137 | 2819k| 165.0 | 305M | 26 |5344 | 16k|7887 | 13k| 0 | 34k| 22 | 0.000000e+00 | -- | Inf | 56.02%
505.15/506.80 c 507s| 16000 | 142 | 2832k| 164.8 | 305M | 26 |5344 | 16k|7925 | 13k| 1 | 35k| 22 | 0.000000e+00 | -- | Inf | 56.16%
507.45/509.16 c 509s| 16100 | 147 | 2842k| 164.4 | 305M | 26 |5344 | 16k|7885 | 13k| 1 | 35k| 22 | 0.000000e+00 | -- | Inf | 56.23%
508.64/510.35 c 510s| 16200 | 136 | 2850k| 164.0 | 305M | 26 |5344 | 16k|7885 | 13k| 0 | 35k| 22 | 0.000000e+00 | -- | Inf | 56.37%
512.03/513.78 c 514s| 16300 | 142 | 2875k| 164.4 | 308M | 26 |5344 | 16k|7899 | 13k| 1 | 35k| 22 | 0.000000e+00 | -- | Inf | 57.06%
515.52/517.28 c 517s| 16400 | 139 | 2892k| 164.5 | 308M | 26 |5344 | 16k|7901 | 13k| 1 | 35k| 22 | 0.000000e+00 | -- | Inf | 57.44%
517.91/519.65 c 520s| 16500 | 135 | 2905k| 164.3 | 308M | 26 |5344 | 16k|7904 | 13k| 1 | 36k| 22 | 0.000000e+00 | -- | Inf | 57.68%
521.40/523.11 c 523s| 16600 | 136 | 2925k| 164.5 | 310M | 26 |5344 | 16k|7902 | 13k| 1 | 36k| 22 | 0.000000e+00 | -- | Inf | 58.04%
523.40/525.15 c 525s| 16700 | 134 | 2942k| 164.5 | 310M | 26 |5344 | 16k|7918 | 13k| 0 | 36k| 22 | 0.000000e+00 | -- | Inf | 58.25%
526.68/528.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
526.68/528.41 c 528s| 16800 | 130 | 2962k| 164.7 | 310M | 26 |5344 | 16k|7860 | 13k| 1 | 36k| 22 | 0.000000e+00 | -- | Inf | 58.62%
529.57/531.30 c 531s| 16900 | 134 | 2978k| 164.7 | 310M | 26 |5344 | 16k|7881 | 14k| 1 | 36k| 22 | 0.000000e+00 | -- | Inf | 59.03%
530.97/532.77 c 533s| 17000 | 132 | 2990k| 164.4 | 310M | 26 |5344 | 16k|7881 | 14k| 1 | 37k| 22 | 0.000000e+00 | -- | Inf | 59.08%
533.56/535.32 c 535s| 17100 | 133 | 3004k| 164.3 | 310M | 26 |5344 | 16k|7917 | 14k| 0 | 37k| 22 | 0.000000e+00 | -- | Inf | 59.32%
538.64/540.43 c 540s| 17200 | 134 | 3031k| 164.9 | 310M | 26 |5344 | 16k|7904 | 14k| 0 | 37k| 22 | 0.000000e+00 | -- | Inf | 59.88%
540.64/542.48 c 542s| 17300 | 136 | 3045k| 164.8 | 312M | 26 |5344 | 16k|7905 | 14k| 1 | 37k| 22 | 0.000000e+00 | -- | Inf | 60.06%
543.33/545.15 c 545s| 17400 | 140 | 3061k| 164.7 | 312M | 26 |5344 | 16k|7918 | 14k| 0 | 38k| 22 | 0.000000e+00 | -- | Inf | 60.46%
545.92/547.74 c 548s| 17500 | 129 | 3079k| 164.8 | 313M | 26 |5344 | 16k|7854 | 14k| 1 | 38k| 22 | 0.000000e+00 | -- | Inf | 60.91%
549.61/551.41 c 551s| 17600 | 138 | 3105k| 165.3 | 317M | 26 |5344 | 16k|7883 | 14k| 1 | 38k| 22 | 0.000000e+00 | -- | Inf | 61.35%
555.49/557.34 c 557s| 17700 | 133 | 3136k| 166.1 | 318M | 26 |5344 | 16k|7889 | 15k| 0 | 38k| 22 | 0.000000e+00 | -- | Inf | 62.70%
558.38/560.24 c 560s| 17800 | 135 | 3155k| 166.2 | 318M | 26 |5344 | 15k|7889 | 15k| 0 | 38k| 22 | 0.000000e+00 | -- | Inf | 63.00%
562.17/564.08 c 564s| 17900 | 162 | 3190k| 167.2 | 319M | 26 |5344 | 15k|7900 | 15k| 1 | 39k| 22 | 0.000000e+00 | -- | Inf | 63.12%
563.66/565.52 c 566s| 18000 | 147 | 3204k| 167.0 | 319M | 26 |5344 | 15k|7893 | 15k| 1 | 39k| 22 | 0.000000e+00 | -- | Inf | 63.24%
566.46/568.38 c 568s| 18100 | 140 | 3226k| 167.3 | 319M | 26 |5344 | 15k|7880 | 15k| 0 | 39k| 22 | 0.000000e+00 | -- | Inf | 63.51%
568.75/570.60 c 571s| 18200 | 148 | 3244k| 167.4 | 320M | 26 |5344 | 15k|7939 | 15k| 1 | 39k| 22 | 0.000000e+00 | -- | Inf | 63.69%
570.74/572.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
570.74/572.69 c 573s| 18300 | 138 | 3260k| 167.3 | 322M | 26 |5344 | 15k|7953 | 15k| 0 | 40k| 22 | 0.000000e+00 | -- | Inf | 63.86%
572.53/574.49 c 574s| 18400 | 149 | 3272k| 167.1 | 322M | 26 |5344 | 15k|7970 | 15k| 1 | 40k| 22 | 0.000000e+00 | -- | Inf | 63.91%
574.33/576.22 c 576s| 18500 | 138 | 3282k| 166.8 | 322M | 26 |5344 | 16k|7968 | 15k| 0 | 40k| 22 | 0.000000e+00 | -- | Inf | 63.92%
578.42/580.39 c 580s| 18600 | 143 | 3314k| 167.5 | 322M | 26 |5344 | 16k|7915 | 15k| 1 | 40k| 22 | 0.000000e+00 | -- | Inf | 64.02%
580.91/582.87 c 583s| 18700 | 146 | 3333k| 167.6 | 322M | 26 |5344 | 16k|7896 | 15k| 1 | 40k| 22 | 0.000000e+00 | -- | Inf | 64.24%
582.90/584.82 c 585s| 18800 | 149 | 3351k| 167.7 | 323M | 26 |5344 | 16k|7905 | 16k| 0 | 41k| 22 | 0.000000e+00 | -- | Inf | 64.33%
585.29/587.29 c 587s| 18900 | 149 | 3377k| 168.2 | 323M | 26 |5344 | 16k|7907 | 16k| 1 | 41k| 22 | 0.000000e+00 | -- | Inf | 64.39%
587.39/589.38 c 589s| 19000 | 151 | 3396k| 168.2 | 323M | 26 |5344 | 16k|7925 | 16k| 0 | 41k| 22 | 0.000000e+00 | -- | Inf | 64.47%
589.88/591.83 c 592s| 19100 | 153 | 3420k| 168.6 | 323M | 26 |5344 | 16k|7913 | 16k| 0 | 41k| 22 | 0.000000e+00 | -- | Inf | 64.77%
593.67/595.64 c 596s| 19200 | 148 | 3456k| 169.6 | 323M | 26 |5344 | 16k|7900 | 16k| 1 | 41k| 22 | 0.000000e+00 | -- | Inf | 65.34%
596.56/598.51 c 599s| 19300 | 155 | 3474k| 169.6 | 323M | 26 |5344 | 16k|7918 | 16k| 0 | 42k| 22 | 0.000000e+00 | -- | Inf | 65.43%
597.95/599.98 c 600s| 19400 | 152 | 3488k| 169.5 | 323M | 26 |5344 | 16k|7918 | 16k| 1 | 42k| 22 | 0.000000e+00 | -- | Inf | 65.53%
600.64/602.61 c 603s| 19500 | 151 | 3510k| 169.7 | 323M | 26 |5344 | 16k|7886 | 16k| 1 | 42k| 22 | 0.000000e+00 | -- | Inf | 65.62%
603.94/605.90 c 606s| 19600 | 150 | 3526k| 169.7 | 328M | 26 |5344 | 15k|7940 | 16k| 1 | 42k| 22 | 0.000000e+00 | -- | Inf | 65.79%
607.04/609.07 c 609s| 19700 | 155 | 3554k| 170.2 | 329M | 26 |5344 | 16k|7857 | 16k| 0 | 42k| 22 | 0.000000e+00 | -- | Inf | 66.02%
609.33/611.39 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
609.33/611.39 c 611s| 19800 | 154 | 3577k| 170.5 | 329M | 26 |5344 | 16k|7883 | 16k| 0 | 43k| 22 | 0.000000e+00 | -- | Inf | 66.15%
611.52/613.57 c 614s| 19900 | 152 | 3605k| 171.0 | 329M | 26 |5344 | 16k|7876 | 16k| 0 | 43k| 22 | 0.000000e+00 | -- | Inf | 66.23%
615.01/617.07 c 617s| 20000 | 150 | 3637k| 171.7 | 330M | 26 |5344 | 16k|7902 | 16k| 0 | 43k| 22 | 0.000000e+00 | -- | Inf | 66.43%
618.59/620.68 c 621s| 20100 | 156 | 3664k| 172.2 | 330M | 26 |5344 | 16k|7896 | 16k| 0 | 43k| 22 | 0.000000e+00 | -- | Inf | 66.56%
621.68/623.77 c 624s| 20200 | 155 | 3695k| 172.8 | 332M | 26 |5344 | 16k|7892 | 17k| 1 | 44k| 22 | 0.000000e+00 | -- | Inf | 67.29%
625.27/627.37 c 627s| 20300 | 154 | 3716k| 173.0 | 334M | 26 |5344 | 16k|7889 | 17k| 0 | 44k| 22 | 0.000000e+00 | -- | Inf | 67.93%
627.56/629.65 c 630s| 20400 | 154 | 3735k| 173.1 | 334M | 26 |5344 | 16k|7889 | 17k| 1 | 44k| 22 | 0.000000e+00 | -- | Inf | 68.16%
630.46/632.55 c 633s| 20500 | 152 | 3754k| 173.2 | 334M | 26 |5344 | 16k|7891 | 17k| 0 | 44k| 22 | 0.000000e+00 | -- | Inf | 68.47%
635.04/637.14 c 637s| 20600 | 164 | 3788k| 173.9 | 338M | 26 |5344 | 16k|7934 | 17k| 1 | 44k| 22 | 0.000000e+00 | -- | Inf | 69.44%
636.83/638.96 c 639s| 20700 | 167 | 3799k| 173.6 | 339M | 26 |5344 | 16k|7955 | 17k| 1 | 45k| 22 | 0.000000e+00 | -- | Inf | 69.59%
638.93/641.00 c 641s| 20800 | 161 | 3809k| 173.3 | 340M | 26 |5344 | 16k|7957 | 17k| 1 | 45k| 22 | 0.000000e+00 | -- | Inf | 69.82%
641.12/643.27 c 643s| 20900 | 162 | 3821k| 173.1 | 345M | 26 |5344 | 16k|7957 | 17k| 1 | 45k| 22 | 0.000000e+00 | -- | Inf | 69.91%
644.81/646.99 c 647s| 21000 | 158 | 3847k| 173.4 | 347M | 26 |5344 | 16k|7954 | 17k| 0 | 45k| 22 | 0.000000e+00 | -- | Inf | 70.91%
648.90/651.08 c 651s| 21100 | 157 | 3871k| 173.7 | 347M | 26 |5344 | 16k|7899 | 18k| 0 | 45k| 22 | 0.000000e+00 | -- | Inf | 71.35%
652.48/654.61 c 655s| 21200 | 168 | 3885k| 173.6 | 347M | 26 |5344 | 16k|7868 | 18k| 1 | 46k| 22 | 0.000000e+00 | -- | Inf | 72.09%
654.78/657.00 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
654.78/657.00 c 657s| 21300 | 176 | 3901k| 173.5 | 347M | 26 |5344 | 16k|7870 | 18k| 1 | 46k| 22 | 0.000000e+00 | -- | Inf | 72.12%
656.77/658.98 c 659s| 21400 | 163 | 3914k| 173.3 | 347M | 26 |5344 | 16k|7890 | 18k| 0 | 46k| 22 | 0.000000e+00 | -- | Inf | 72.15%
658.36/660.51 c 661s| 21500 | 160 | 3925k| 173.1 | 347M | 26 |5344 | 16k|7890 | 18k| 0 | 46k| 22 | 0.000000e+00 | -- | Inf | 72.27%
660.26/662.45 c 662s| 21600 | 159 | 3937k| 172.8 | 347M | 26 |5344 | 16k|7885 | 18k| 0 | 46k| 22 | 0.000000e+00 | -- | Inf | 72.42%
661.75/663.94 c 664s| 21700 | 156 | 3949k| 172.6 | 347M | 26 |5344 | 16k|7868 | 18k| 0 | 47k| 22 | 0.000000e+00 | -- | Inf | 72.49%
663.75/665.98 c 666s| 21800 | 160 | 3963k| 172.5 | 347M | 26 |5344 | 16k|7914 | 18k| 1 | 47k| 22 | 0.000000e+00 | -- | Inf | 72.90%
666.34/668.53 c 669s| 21900 | 156 | 3980k| 172.4 | 347M | 26 |5344 | 16k|7912 | 18k| 0 | 47k| 22 | 0.000000e+00 | -- | Inf | 72.93%
669.13/671.37 c 671s| 22000 | 158 | 4011k| 173.0 | 347M | 26 |5344 | 16k|7911 | 18k| 1 | 47k| 22 | 0.000000e+00 | -- | Inf | 72.98%
671.42/673.69 c 674s| 22100 | 153 | 4030k| 173.1 | 347M | 26 |5344 | 16k|7915 | 18k| 0 | 48k| 22 | 0.000000e+00 | -- | Inf | 73.09%
674.82/677.06 c 677s| 22200 | 154 | 4053k| 173.4 | 348M | 26 |5344 | 16k|7917 | 18k| 1 | 48k| 22 | 0.000000e+00 | -- | Inf | 73.48%
677.60/679.82 c 680s| 22300 | 155 | 4080k| 173.8 | 348M | 26 |5344 | 16k|7887 | 19k| 0 | 48k| 22 | 0.000000e+00 | -- | Inf | 73.63%
680.69/682.95 c 683s| 22400 | 161 | 4108k| 174.2 | 349M | 26 |5344 | 16k|7914 | 19k| 0 | 48k| 22 | 0.000000e+00 | -- | Inf | 73.81%
682.59/684.88 c 685s| 22500 | 166 | 4126k| 174.2 | 349M | 26 |5344 | 16k|7886 | 19k| 0 | 48k| 22 | 0.000000e+00 | -- | Inf | 73.87%
684.48/686.75 c 687s| 22600 | 167 | 4139k| 174.1 | 349M | 26 |5344 | 16k|7911 | 19k| 0 | 49k| 22 | 0.000000e+00 | -- | Inf | 73.91%
687.97/690.21 c 690s| 22700 | 157 | 4170k| 174.6 | 349M | 26 |5344 | 16k|7907 | 19k| 0 | 49k| 22 | 0.000000e+00 | -- | Inf | 74.29%
691.66/693.91 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
691.66/693.91 c 694s| 22800 | 162 | 4202k| 175.3 | 350M | 26 |5344 | 16k|7947 | 19k| 1 | 49k| 22 | 0.000000e+00 | -- | Inf | 74.82%
694.45/696.76 c 697s| 22900 | 164 | 4229k| 175.6 | 350M | 26 |5344 | 16k|7908 | 19k| 1 | 49k| 22 | 0.000000e+00 | -- | Inf | 75.05%
697.04/699.38 c 699s| 23000 | 161 | 4252k| 175.9 | 351M | 26 |5344 | 16k|7949 | 19k| 0 | 49k| 22 | 0.000000e+00 | -- | Inf | 75.24%
699.34/701.61 c 702s| 23100 | 170 | 4268k| 175.8 | 351M | 26 |5344 | 16k|7894 | 19k| 0 | 50k| 22 | 0.000000e+00 | -- | Inf | 75.29%
702.13/704.47 c 704s| 23200 | 169 | 4288k| 175.9 | 351M | 26 |5344 | 16k|7945 | 19k| 1 | 50k| 22 | 0.000000e+00 | -- | Inf | 75.62%
704.73/707.04 c 707s| 23300 | 167 | 4314k| 176.3 | 351M | 26 |5344 | 16k|7918 | 20k| 0 | 50k| 22 | 0.000000e+00 | -- | Inf | 76.12%
708.21/710.50 c 711s| 23400 | 168 | 4342k| 176.7 | 353M | 26 |5344 | 16k|7932 | 20k| 1 | 50k| 22 | 0.000000e+00 | -- | Inf | 76.28%
710.90/713.21 c 713s| 23500 | 164 | 4356k| 176.5 | 353M | 26 |5344 | 16k|7903 | 20k| 0 | 51k| 22 | 0.000000e+00 | -- | Inf | 76.55%
714.80/717.10 c 717s| 23600 | 166 | 4377k| 176.7 | 355M | 26 |5344 | 16k|7919 | 20k| 0 | 51k| 22 | 0.000000e+00 | -- | Inf | 77.08%
718.48/720.86 c 721s| 23700 | 171 | 4396k| 176.7 | 355M | 26 |5344 | 16k|7897 | 20k| 1 | 51k| 22 | 0.000000e+00 | -- | Inf | 77.87%
720.78/723.10 c 723s| 23800 | 164 | 4410k| 176.6 | 355M | 26 |5344 | 16k|7878 | 20k| 0 | 51k| 22 | 0.000000e+00 | -- | Inf | 78.28%
723.26/725.68 c 726s| 23900 | 167 | 4426k| 176.5 | 356M | 26 |5344 | 16k|7930 | 20k| 0 | 52k| 22 | 0.000000e+00 | -- | Inf | 78.52%
725.36/727.74 c 728s| 24000 | 172 | 4441k| 176.4 | 356M | 26 |5344 | 16k|7893 | 20k| 1 | 52k| 22 | 0.000000e+00 | -- | Inf | 78.79%
728.55/730.96 c 731s| 24100 | 168 | 4467k| 176.7 | 357M | 26 |5344 | 16k|7907 | 20k| 1 | 52k| 22 | 0.000000e+00 | -- | Inf | 79.31%
731.14/733.55 c 734s| 24200 | 165 | 4485k| 176.7 | 357M | 26 |5344 | 16k|7907 | 20k| 0 | 52k| 22 | 0.000000e+00 | -- | Inf | 79.77%
734.53/736.90 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
734.53/736.90 c 737s| 24300 | 167 | 4507k| 176.9 | 357M | 26 |5344 | 16k|7921 | 21k| 0 | 52k| 22 | 0.000000e+00 | -- | Inf | 80.09%
736.92/739.37 c 739s| 24400 | 167 | 4528k| 177.0 | 357M | 26 |5344 | 16k|7921 | 21k| 1 | 53k| 22 | 0.000000e+00 | -- | Inf | 80.47%
740.51/742.95 c 743s| 24500 | 176 | 4556k| 177.4 | 357M | 26 |5344 | 16k|7911 | 21k| 1 | 53k| 22 | 0.000000e+00 | -- | Inf | 80.79%
742.71/745.12 c 745s| 24600 | 175 | 4576k| 177.5 | 357M | 26 |5344 | 16k|7921 | 21k| 1 | 53k| 22 | 0.000000e+00 | -- | Inf | 80.93%
744.79/747.22 c 747s| 24700 | 188 | 4592k| 177.4 | 359M | 26 |5344 | 16k|7943 | 21k| 1 | 53k| 22 | 0.000000e+00 | -- | Inf | 80.99%
746.29/748.78 c 749s| 24800 | 178 | 4599k| 177.0 | 362M | 26 |5344 | 16k|7949 | 21k| 0 | 53k| 22 | 0.000000e+00 | -- | Inf | 81.04%
748.18/750.64 c 751s| 24900 | 174 | 4614k| 176.9 | 362M | 26 |5344 | 16k|7949 | 21k| 1 | 54k| 22 | 0.000000e+00 | -- | Inf | 81.18%
751.17/753.65 c 754s| 25000 | 170 | 4632k| 177.0 | 362M | 26 |5344 | 16k|7922 | 21k| 0 | 54k| 22 | 0.000000e+00 | -- | Inf | 81.46%
753.57/756.02 c 756s| 25100 | 173 | 4653k| 177.1 | 365M | 26 |5344 | 16k|7917 | 21k| 1 | 54k| 22 | 0.000000e+00 | -- | Inf | 81.59%
757.25/759.70 c 760s| 25200 | 169 | 4688k| 177.7 | 365M | 26 |5344 | 16k|7898 | 21k| 1 | 54k| 22 | 0.000000e+00 | -- | Inf | 81.87%
759.94/762.47 c 762s| 25300 | 178 | 4714k| 178.0 | 365M | 26 |5344 | 16k|7896 | 21k| 1 | 55k| 22 | 0.000000e+00 | -- | Inf | 82.18%
761.64/764.10 c 764s| 25400 | 174 | 4726k| 177.8 | 365M | 26 |5344 | 16k| 0 | 21k| 0 | 55k| 22 | 0.000000e+00 | -- | Inf | 82.42%
763.83/766.33 c 766s| 25500 | 175 | 4741k| 177.7 | 365M | 26 |5344 | 16k|7900 | 22k| 0 | 55k| 22 | 0.000000e+00 | -- | Inf | 82.47%
766.42/768.98 c 769s| 25600 | 171 | 4769k| 178.1 | 365M | 26 |5344 | 16k|7917 | 22k| 0 | 55k| 22 | 0.000000e+00 | -- | Inf | 82.80%
768.91/771.40 c 771s| 25700 | 170 | 4786k| 178.1 | 366M | 26 |5344 | 16k|7889 | 22k| 1 | 56k| 22 | 0.000000e+00 | -- | Inf | 82.88%
771.01/773.55 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
771.01/773.55 c 774s| 25800 | 170 | 4802k| 178.0 | 366M | 26 |5344 | 16k|7885 | 22k| 1 | 56k| 22 | 0.000000e+00 | -- | Inf | 83.08%
773.20/775.73 c 776s| 25900 | 173 | 4824k| 178.2 | 366M | 26 |5344 | 16k|7886 | 22k| 1 | 56k| 22 | 0.000000e+00 | -- | Inf | 83.16%
775.39/777.91 c 778s| 26000 | 170 | 4843k| 178.2 | 366M | 26 |5344 | 16k|7919 | 22k| 1 | 56k| 22 | 0.000000e+00 | -- | Inf | 83.24%
777.09/779.65 c 780s| 26100 | 170 | 4860k| 178.2 | 366M | 26 |5344 | 16k|7919 | 22k| 1 | 56k| 22 | 0.000000e+00 | -- | Inf | 83.36%
779.78/782.30 c 782s| 26200 | 162 | 4888k| 178.5 | 367M | 26 |5344 | 16k|7925 | 22k| 0 | 57k| 22 | 0.000000e+00 | -- | Inf | 83.55%
783.57/786.14 c 786s| 26300 | 162 | 4916k| 178.9 | 367M | 26 |5344 | 16k|7905 | 22k| 0 | 57k| 22 | 0.000000e+00 | -- | Inf | 83.83%
785.86/788.41 c 788s| 26400 | 164 | 4936k| 179.0 | 367M | 26 |5344 | 16k|7917 | 22k| 1 | 57k| 22 | 0.000000e+00 | -- | Inf | 84.03%
788.95/791.52 c 792s| 26500 | 158 | 4959k| 179.2 | 367M | 26 |5344 | 16k|7885 | 22k| 1 | 57k| 22 | 0.000000e+00 | -- | Inf | 84.26%
791.74/794.30 c 794s| 26600 | 167 | 4985k| 179.5 | 368M | 26 |5344 | 16k|7889 | 22k| 0 | 57k| 22 | 0.000000e+00 | -- | Inf | 84.51%
793.74/796.37 c 796s| 26700 | 158 | 5006k| 179.6 | 368M | 26 |5344 | 16k|7906 | 22k| 0 | 58k| 22 | 0.000000e+00 | -- | Inf | 84.68%
797.53/800.17 c 800s| 26800 | 162 | 5030k| 179.8 | 368M | 26 |5344 | 16k|7889 | 23k| 1 | 58k| 22 | 0.000000e+00 | -- | Inf | 85.19%
800.02/802.61 c 803s| 26900 | 164 | 5052k| 179.9 | 368M | 26 |5344 | 16k|7912 | 23k| 0 | 58k| 22 | 0.000000e+00 | -- | Inf | 85.39%
802.21/804.87 c 805s| 27000 | 155 | 5074k| 180.1 | 369M | 26 |5344 | 16k|7920 | 23k| 1 | 58k| 22 | 0.000000e+00 | -- | Inf | 85.52%
804.41/807.09 c 807s| 27100 | 157 | 5088k| 179.9 | 369M | 26 |5344 | 16k|7869 | 23k| 0 | 59k| 22 | 0.000000e+00 | -- | Inf | 85.78%
807.09/809.76 c 810s| 27200 | 153 | 5118k| 180.4 | 369M | 26 |5344 | 16k|7930 | 23k| 0 | 59k| 22 | 0.000000e+00 | -- | Inf | 86.03%
809.89/812.56 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
809.89/812.56 c 813s| 27300 | 154 | 5143k| 180.6 | 376M | 26 |5344 | 16k|7900 | 23k| 1 | 59k| 22 | 0.000000e+00 | -- | Inf | 86.35%
813.49/816.10 c 816s| 27400 | 157 | 5173k| 181.0 | 376M | 26 |5344 | 16k|7900 | 23k| 0 | 59k| 22 | 0.000000e+00 | -- | Inf | 86.90%
816.07/818.70 c 819s| 27500 | 159 | 5200k| 181.3 | 376M | 26 |5344 | 16k|7919 | 23k| 1 | 59k| 22 | 0.000000e+00 | -- | Inf | 86.97%
817.77/820.45 c 820s| 27600 | 155 | 5214k| 181.2 | 376M | 26 |5344 | 16k|7919 | 23k| 0 | 60k| 22 | 0.000000e+00 | -- | Inf | 87.07%
821.36/824.04 c 824s| 27700 | 162 | 5249k| 181.8 | 376M | 26 |5344 | 16k|7918 | 23k| 1 | 60k| 22 | 0.000000e+00 | -- | Inf | 87.41%
823.05/825.77 c 826s| 27800 | 155 | 5261k| 181.6 | 376M | 26 |5344 | 16k|7932 | 23k| 1 | 60k| 22 | 0.000000e+00 | -- | Inf | 87.74%
825.54/828.27 c 828s| 27900 | 162 | 5280k| 181.6 | 376M | 26 |5344 | 16k|7902 | 24k| 1 | 60k| 22 | 0.000000e+00 | -- | Inf | 88.00%
827.83/830.57 c 831s| 28000 | 150 | 5299k| 181.6 | 377M | 26 |5344 | 16k|7921 | 24k| 0 | 60k| 22 | 0.000000e+00 | -- | Inf | 88.25%
829.93/832.66 c 833s| 28100 | 152 | 5318k| 181.7 | 377M | 26 |5344 | 16k|7891 | 24k| 1 | 61k| 22 | 0.000000e+00 | -- | Inf | 88.47%
832.02/834.79 c 835s| 28200 | 147 | 5337k| 181.7 | 377M | 26 |5344 | 16k|7912 | 24k| 1 | 61k| 22 | 0.000000e+00 | -- | Inf | 88.54%
834.51/837.25 c 837s| 28300 | 146 | 5369k| 182.2 | 377M | 26 |5344 | 16k|7891 | 24k| 0 | 61k| 22 | 0.000000e+00 | -- | Inf | 88.58%
838.20/840.98 c 841s| 28400 | 151 | 5403k| 182.7 | 378M | 26 |5344 | 16k|7874 | 24k| 0 | 61k| 22 | 0.000000e+00 | -- | Inf | 88.68%
840.19/842.90 c 843s| 28500 | 146 | 5416k| 182.5 | 378M | 26 |5344 | 16k|7893 | 24k| 0 | 62k| 22 | 0.000000e+00 | -- | Inf | 88.92%
841.99/844.71 c 845s| 28600 | 145 | 5432k| 182.5 | 378M | 26 |5344 | 16k|7898 | 24k| 0 | 62k| 22 | 0.000000e+00 | -- | Inf | 89.02%
843.39/846.11 c 846s| 28700 | 141 | 5442k| 182.2 | 378M | 26 |5344 | 16k|7901 | 24k| 0 | 62k| 22 | 0.000000e+00 | -- | Inf | 89.05%
845.77/848.54 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
845.77/848.54 c 849s| 28800 | 144 | 5460k| 182.2 | 378M | 26 |5344 | 16k|7893 | 24k| 1 | 62k| 22 | 0.000000e+00 | -- | Inf | 89.31%
848.76/851.57 c 852s| 28900 | 137 | 5480k| 182.2 | 379M | 26 |5344 | 16k|7932 | 24k| 0 | 63k| 22 | 0.000000e+00 | -- | Inf | 89.57%
851.55/854.38 c 854s| 29000 | 133 | 5503k| 182.4 | 379M | 26 |5344 | 16k| 0 | 24k| 0 | 63k| 22 | 0.000000e+00 | -- | Inf | 89.96%
855.14/857.93 c 858s| 29100 | 132 | 5538k| 183.0 | 381M | 26 |5344 | 16k|7916 | 24k| 1 | 63k| 22 | 0.000000e+00 | -- | Inf | 90.39%
857.53/860.39 c 860s| 29200 | 128 | 5561k| 183.1 | 381M | 26 |5344 | 16k|7895 | 24k| 1 | 63k| 22 | 0.000000e+00 | -- | Inf | 90.64%
859.73/862.53 c 863s| 29300 | 124 | 5583k| 183.2 | 381M | 26 |5344 | 16k|7898 | 24k| 0 | 63k| 22 | 0.000000e+00 | -- | Inf | 90.76%
861.92/864.74 c 865s| 29400 | 117 | 5606k| 183.4 | 381M | 26 |5344 | 15k|7926 | 24k| 1 | 64k| 22 | 0.000000e+00 | -- | Inf | 90.94%
863.81/866.61 c 867s| 29500 | 111 | 5620k| 183.2 | 382M | 26 |5344 | 16k|7911 | 24k| 0 | 64k| 22 | 0.000000e+00 | -- | Inf | 91.16%
865.80/868.63 c 869s| 29600 | 108 | 5642k| 183.3 | 382M | 26 |5344 | 15k|7879 | 24k| 1 | 64k| 22 | 0.000000e+00 | -- | Inf | 91.28%
867.78/870.62 c 871s| 29700 | 105 | 5666k| 183.5 | 382M | 26 |5344 | 15k|7959 | 24k| 1 | 64k| 22 | 0.000000e+00 | -- | Inf | 91.62%
871.46/874.39 c 874s| 29800 | 97 | 5691k| 183.8 | 384M | 26 |5344 | 15k|7913 | 24k| 0 | 64k| 22 | 0.000000e+00 | -- | Inf | 92.01%
873.46/876.38 c 876s| 29900 | 92 | 5711k| 183.8 | 384M | 26 |5344 | 15k|7913 | 24k| 1 | 65k| 22 | 0.000000e+00 | -- | Inf | 92.10%
876.35/879.20 c 879s| 30000 | 88 | 5731k| 183.8 | 384M | 26 |5344 | 15k|7882 | 25k| 1 | 65k| 22 | 0.000000e+00 | -- | Inf | 92.52%
879.04/881.95 c 882s| 30100 | 79 | 5754k| 184.0 | 384M | 26 |5344 | 15k|7939 | 25k| 0 | 65k| 22 | 0.000000e+00 | -- | Inf | 93.00%
881.04/883.97 c 884s| 30200 | 76 | 5773k| 184.0 | 384M | 26 |5344 | 15k|7878 | 25k| 1 | 65k| 22 | 0.000000e+00 | -- | Inf | 93.04%
883.43/886.30 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
883.43/886.30 c 886s| 30300 | 71 | 5795k| 184.1 | 384M | 26 |5344 | 15k|7908 | 25k| 0 | 65k| 22 | 0.000000e+00 | -- | Inf | 94.23%
885.23/888.16 c 888s| 30400 | 66 | 5815k| 184.2 | 384M | 26 |5344 | 15k|7898 | 25k| 0 | 66k| 22 | 0.000000e+00 | -- | Inf | 94.34%
888.72/891.61 c 892s| 30500 | 60 | 5842k| 184.5 | 384M | 26 |5344 | 15k|7861 | 25k| 1 | 66k| 22 | 0.000000e+00 | -- | Inf | 95.56%
893.21/896.16 c 896s| 30600 | 53 | 5870k| 184.7 | 385M | 26 |5344 | 15k|7908 | 25k| 1 | 66k| 22 | 0.000000e+00 | -- | Inf | 96.41%
895.20/898.18 c 898s| 30700 | 50 | 5887k| 184.7 | 385M | 26 |5344 | 15k|7890 | 25k| 0 | 66k| 22 | 0.000000e+00 | -- | Inf | 96.66%
897.39/900.33 c 900s| 30800 | 43 | 5909k| 184.8 | 385M | 26 |5344 | 15k|7877 | 25k| 1 | 67k| 22 | 0.000000e+00 | -- | Inf | 96.90%
899.98/902.95 c 903s| 30900 | 42 | 5932k| 184.9 | 386M | 26 |5344 | 15k|7870 | 25k| 1 | 67k| 22 | 0.000000e+00 | -- | Inf | 97.10%
901.77/904.72 c 905s| 31000 | 41 | 5948k| 184.9 | 386M | 26 |5344 | 15k|7900 | 25k| 1 | 67k| 22 | 0.000000e+00 | -- | Inf | 97.16%
903.77/906.74 c 907s| 31100 | 36 | 5965k| 184.8 | 386M | 26 |5344 | 15k|7905 | 25k| 1 | 67k| 22 | 0.000000e+00 | -- | Inf | 97.33%
905.56/908.56 c 909s| 31200 | 36 | 5979k| 184.7 | 386M | 26 |5344 | 15k| 0 | 25k| 0 | 67k| 22 | 0.000000e+00 | -- | Inf | 97.72%
906.36/909.39 c 909s| 31300 | 31 | 5984k| 184.3 | 386M | 26 |5344 | 16k| 0 | 25k| 0 | 68k| 22 | 0.000000e+00 | -- | Inf | 97.93%
908.95/911.98 c 912s| 31400 | 35 | 6000k| 184.2 | 386M | 26 |5344 | 16k|7909 | 25k| 1 | 68k| 22 | 0.000000e+00 | -- | Inf | 98.40%
910.64/913.69 c 914s| 31500 | 38 | 6007k| 183.8 | 387M | 26 |5344 | 16k|7917 | 25k| 0 | 68k| 22 | 0.000000e+00 | -- | Inf | 98.47%
912.15/915.13 c 915s| 31600 | 38 | 6013k| 183.5 | 387M | 26 |5344 | 16k| 0 | 25k| 0 | 68k| 22 | 0.000000e+00 | -- | Inf | 98.56%
913.93/916.91 c 917s| 31700 | 29 | 6023k| 183.2 | 387M | 26 |5344 | 16k| 0 | 25k| 0 | 68k| 22 | 0.000000e+00 | -- | Inf | 98.62%
915.83/918.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
915.83/918.82 c 919s| 31800 | 31 | 6033k| 183.0 | 387M | 26 |5344 | 16k|7917 | 25k| 0 | 69k| 22 | 0.000000e+00 | -- | Inf | 98.68%
917.92/921.00 c 921s| 31900 | 21 | 6051k| 182.9 | 387M | 26 |5344 | 16k|7933 | 26k| 1 | 69k| 22 | 0.000000e+00 | -- | Inf | 99.22%
919.61/922.61 c 923s| 32000 | 21 | 6065k| 182.8 | 387M | 26 |5344 | 16k|7905 | 26k| 0 | 69k| 22 | 0.000000e+00 | -- | Inf | 99.31%
921.31/924.37 c 924s| 32100 | 19 | 6083k| 182.8 | 387M | 26 |5344 | 16k|7908 | 26k| 1 | 69k| 22 | 0.000000e+00 | -- | Inf | 99.39%
923.60/926.68 c 927s| 32200 | 9 | 6110k| 183.1 | 387M | 26 |5344 | 16k|7902 | 26k| 0 | 69k| 22 | 0.000000e+00 | -- | Inf | 99.47%
926.79/929.84 c 930s| 32300 | 4 | 6138k| 183.4 | 388M | 26 |5344 | 16k|7923 | 26k| 0 | 70k| 22 | 0.000000e+00 | -- | Inf | 99.70%
928.59/931.60 c
928.59/931.60 c SCIP Status : problem is solved [infeasible]
928.59/931.60 c Solving Time (sec) : 931.60
928.59/931.60 c Solving Nodes : 32385 (total of 33455 nodes in 2 runs)
928.59/931.60 c Primal Bound : +1.00000000000000e+20 (0 solutions)
928.59/931.60 c Dual Bound : +1.00000000000000e+20
928.59/931.60 c Gap : 0.00 %
928.59/931.60 s UNSATISFIABLE
928.59/931.60 c SCIP Status : problem is solved [infeasible]
928.59/931.60 c Total Time : 931.60
928.59/931.60 c solving : 931.60
928.59/931.60 c presolving : 0.35 (included in solving)
928.59/931.60 c reading : 0.02 (included in solving)
928.59/931.60 c copying : 0.39 (28 #copies) (minimal 0.01, maximal 0.02, average 0.01)
928.59/931.60 c Original Problem :
928.59/931.60 c Problem name : HOME/instance-4510915-1751202058.opb
928.59/931.60 c Variables : 5370 (5370 binary, 0 integer, 0 continuous)
928.59/931.60 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
928.59/931.60 c Constraints : 12701 initial, 12701 maximal
928.59/931.60 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
928.59/931.60 c Presolved Problem :
928.59/931.60 c Problem name : t_HOME/instance-4510915-1751202058.opb
928.59/931.60 c Variables : 5344 (5344 binary, 0 integer, 0 continuous)
928.59/931.60 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
928.59/931.60 c Constraints : 9542 initial, 16973 maximal
928.59/931.60 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
928.59/931.60 c Nonzeros : 101533 constraint, 17931 clique table
928.59/931.60 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
928.59/931.60 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
928.59/931.60 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
928.59/931.60 c domcol : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
928.59/931.60 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
928.59/931.60 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
928.59/931.60 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
928.59/931.60 c dualsparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
928.59/931.60 c gateextraction : 0.02 0.00 6 0 0 0 0 0 78 39 0 0
928.59/931.60 c implics : 0.00 0.00 11 0 0 0 0 0 0 0 0 0
928.59/931.60 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
928.59/931.60 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
928.59/931.60 c milp : 0.04 0.00 1 0 0 0 0 0 12701 7877 0 0
928.59/931.60 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
928.59/931.60 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
928.59/931.60 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
928.59/931.60 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
928.59/931.60 c trivial : 0.00 0.00 13 8 0 0 0 0 0 0 0 0
928.59/931.60 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
928.59/931.60 c dualfix : 0.00 0.00 13 0 0 0 0 0 0 0 0 0
928.59/931.60 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
928.59/931.60 c probing : 0.04 0.00 2 0 0 0 0 0 0 0 0 0
928.59/931.60 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
928.59/931.60 c symmetry : 0.02 0.00 1 3 0 0 0 0 0 1 0 0
928.59/931.60 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
928.59/931.60 c knapsack : 0.01 0.00 17 0 0 0 0 0 0 0 0 2
928.59/931.60 c setppc : 0.05 0.00 26 0 15 0 0 0 45 0 0 0
928.59/931.60 c linear : 0.04 0.00 14 0 0 0 0 0 0 0 0 0
928.59/931.60 c orbitope_pp : 0.00 0.00 8 0 0 0 0 0 0 0 0 0
928.59/931.60 c logicor : 0.08 0.02 16 0 0 0 0 0 560 0 0 154
928.59/931.60 c components : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
928.59/931.60 c root node : - - - 1135 - - 1135 - - - - -
928.59/931.60 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
928.59/931.60 c integral : 0 0 0 0 17471 0 0 626 0 0 0 0 0 0 34942
928.59/931.60 c knapsack : 92+ 107 11 322435 0 0 0 0 14774 314 87492 0 0 0 0
928.59/931.60 c setppc : 7832+ 7834 22 325891 0 0 0 622 1635000 1733 2361746 0 0 0 0
928.59/931.60 c linear : 11+ 73 22 322017 0 0 0 2 4815 37 18206 0 0 0 0
928.59/931.60 c orbitope_pp : 1 1 0 324021 0 0 0 0 3185 1 59 0 0 0 0
928.59/931.60 c logicor : 1606+ 8998 22 160395 0 0 0 0 267514 1043 277130 1 1 0 0
928.59/931.60 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
928.59/931.60 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
928.59/931.60 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
928.59/931.60 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
928.59/931.60 c integral : 8.62 0.00 0.00 0.00 8.62 0.00 0.00 0.00 0.00 0.00
928.59/931.60 c knapsack : 1.42 0.00 0.00 1.33 0.00 0.00 0.00 0.00 0.08 0.00
928.59/931.60 c setppc : 5.88 0.00 0.01 5.42 0.00 0.00 0.00 0.00 0.43 0.00
928.59/931.60 c linear : 0.30 0.00 0.00 0.27 0.00 0.00 0.00 0.00 0.02 0.00
928.59/931.60 c orbitope_pp : 0.08 0.00 0.00 0.08 0.00 0.00 0.00 0.00 0.00 0.00
928.59/931.60 c logicor : 4.16 0.02 0.00 3.95 0.00 0.00 0.00 0.00 0.19 0.00
928.59/931.60 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
928.59/931.60 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
928.59/931.60 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
928.59/931.60 c Propagators : #Propagate #ResProp Cutoffs DomReds
928.59/931.60 c dualfix : 2 0 0 0
928.59/931.60 c genvbounds : 0 0 0 0
928.59/931.60 c nlobbt : 0 0 0 0
928.59/931.60 c obbt : 0 0 0 0
928.59/931.60 c probing : 0 0 0 0
928.59/931.60 c pseudoobj : 0 0 0 0
928.59/931.60 c redcost : 0 0 0 0
928.59/931.60 c rootredcost : 0 0 0 0
928.59/931.60 c symmetry : 0 0 0 0
928.59/931.60 c vbounds : 231276 0 0 0
928.59/931.60 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
928.59/931.60 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
928.59/931.60 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
928.59/931.60 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
928.59/931.60 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
928.59/931.60 c probing : 0.04 0.00 0.04 0.00 0.00 0.00
928.59/931.60 c pseudoobj : 0.05 0.00 0.00 0.05 0.00 0.00
928.59/931.60 c redcost : 0.02 0.00 0.00 0.02 0.00 0.00
928.59/931.60 c rootredcost : 0.02 0.00 0.00 0.02 0.00 0.00
928.59/931.60 c symmetry : 0.07 0.00 0.02 0.05 0.00 0.00
928.59/931.60 c vbounds : 3.60 0.00 0.00 3.59 0.00 0.00
928.59/931.60 c Symmetry :
928.59/931.60 c #affected vars : 5370 (5370 bin, 0 int, 0 cont)
928.59/931.60 c orbitopal red. : 0 reductions applied, 0 cutoffs
928.59/931.60 c orbital reduction: 0 reductions applied, 0 cutoffs
928.59/931.60 c lexicographic red: 0 reductions applied, 0 cutoffs
928.59/931.60 c shadow tree time : 0.00 s
928.59/931.60 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
928.59/931.60 c propagation : 0.15 3084 2995 - 12464 30.7 542 9.9 - - -
928.59/931.60 c infeasible LP : 13.27 15448 15402 - 104549 48.9 981 21.4 15402 91.8 0
928.59/931.60 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
928.59/931.60 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
928.59/931.60 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
928.59/931.60 c applied globally : 1.35 - - 0 54774 29.0 - - 13856 - -
928.59/931.60 c applied locally : - - - 0 92 99.0 - - 1546 - -
928.59/931.60 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
928.59/931.60 c cut pool : 3.36 - 3283 42 - - 53104 354903 - - - - - (maximal pool size: 4507)
928.59/931.60 c aggregation : 1.64 0.00 1120 22 0 0 8 13 3 4 3 1 0
928.59/931.60 c > cmir : - - - - - - - 13 0 3 3 0 -
928.59/931.60 c > flowcover : - - - - - - - 0 0 0 0 0 -
928.59/931.60 c > knapsackcover : - - - - - - - 0 3 1 0 1 -
928.59/931.60 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
928.59/931.60 c clique : 1.24 0.00 22 22 0 0 0 0 0 0 0 0 0
928.59/931.60 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
928.59/931.60 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
928.59/931.60 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
928.59/931.60 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
928.59/931.60 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
928.59/931.60 c gomory : 123.68 0.00 1123 20 0 0 58225 306244 6954 15966 15703 263 0
928.59/931.60 c > gomorymi : - - - - - - - 27548 3477 806 655 151 -
928.59/931.60 c > strongcg : - - - - - - - 278696 3477 15160 15048 112 -
928.59/931.60 c impliedbounds : 0.31 0.00 1125 22 0 0 0 0 0 0 0 0 0
928.59/931.60 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
928.59/931.60 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
928.59/931.60 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
928.59/931.60 c mcf : 0.03 0.00 2 2 0 0 0 0 0 0 0 0 0
928.59/931.60 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
928.59/931.60 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
928.59/931.60 c multilinear : 0.00 0.00 2130 22 0 0 0 0 0 0 0 0 0
928.59/931.60 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
928.59/931.60 c rapidlearning : 6.66 0.00 24 2 0 7436 0 0 0 0 0 0 357
928.59/931.60 c rlt : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
928.59/931.60 c zerohalf : 16.47 0.00 1120 22 0 0 8774 48646 6946 12026 7062 4964 0
928.59/931.60 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
928.59/931.60 c hybrid : 0.36 0.00 2084 22 27995 4 340765 129 0 6787
928.59/931.60 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
928.59/931.60 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
928.59/931.60 c Pricers : ExecTime SetupTime Calls Vars
928.59/931.60 c problem variables: 0.00 - 0 0
928.59/931.60 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
928.59/931.60 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
928.59/931.60 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
928.59/931.60 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
928.59/931.60 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
928.59/931.60 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
928.59/931.60 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
928.59/931.60 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
928.59/931.60 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
928.59/931.60 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
928.59/931.60 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
928.59/931.60 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
928.59/931.60 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
928.59/931.60 c random : 0.00 0.00 0 0 0 0 0 0 0 0
928.59/931.60 c relpscost : 8.60 0.00 17471 0 0 0 0 0 0 34942
928.59/931.60 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
928.59/931.60 c Primal Heuristics : ExecTime SetupTime Calls Found Best
928.59/931.60 c LP solutions : 0.00 - - 0 0
928.59/931.60 c relax solutions : 0.00 - - 0 0
928.59/931.60 c pseudo solutions : 0.00 - - 0 0
928.59/931.60 c strong branching : 0.00 - - 0 0
928.59/931.60 c actconsdiving : 0.00 0.00 0 0 0
928.59/931.60 c adaptivediving : 6.08 0.00 48 0 0
928.59/931.60 c alns : 0.21 0.00 8 0 0
928.59/931.60 c bound : 0.00 0.00 0 0 0
928.59/931.60 c clique : 0.03 0.00 1 0 0
928.59/931.60 c coefdiving : 0.00 0.00 0 0 0
928.59/931.60 c completesol : 0.00 0.00 0 0 0
928.59/931.60 c conflictdiving : 12.93 0.00 86 0 0
928.59/931.60 c crossover : 0.01 0.00 0 0 0
928.59/931.60 c dins : 0.00 0.00 0 0 0
928.59/931.60 c distributiondivin: 17.82 0.00 85 0 0
928.59/931.60 c dks : 0.00 0.00 0 0 0
928.59/931.60 c dps : 0.00 0.00 0 0 0
928.59/931.60 c dualval : 0.00 0.00 0 0 0
928.59/931.60 c farkasdiving : 0.00 0.00 0 0 0
928.59/931.60 c feaspump : 9.70 0.00 17 0 0
928.59/931.60 c fixandinfer : 0.00 0.00 0 0 0
928.59/931.60 c fracdiving : 8.92 0.00 86 0 0
928.59/931.60 c gins : 0.01 0.00 0 0 0
928.59/931.60 c guideddiving : 0.00 0.00 0 0 0
928.59/931.60 c indicator : 0.00 0.00 0 0 0
928.59/931.60 c indicatordiving : 0.00 0.00 0 0 0
928.59/931.60 c intdiving : 0.00 0.00 0 0 0
928.59/931.60 c intshifting : 0.00 0.00 0 0 0
928.59/931.60 c linesearchdiving : 11.75 0.00 87 0 0
928.59/931.60 c localbranching : 0.00 0.00 0 0 0
928.59/931.60 c locks : 0.00 0.00 1 0 0
928.59/931.60 c lpface : 0.40 0.00 0 0 0
928.59/931.60 c mpec : 0.00 0.00 0 0 0
928.59/931.60 c multistart : 0.00 0.00 0 0 0
928.59/931.60 c mutation : 0.00 0.00 0 0 0
928.59/931.60 c nlpdiving : 0.00 0.00 0 0 0
928.59/931.60 c objpscostdiving : 25.50 0.00 7 0 0
928.59/931.60 c octane : 0.00 0.00 0 0 0
928.59/931.60 c ofins : 0.00 0.00 0 0 0
928.59/931.60 c oneopt : 0.01 0.00 0 0 0
928.59/931.60 c padm : 0.00 0.00 0 0 0
928.59/931.60 c proximity : 0.00 0.00 0 0 0
928.59/931.60 c pscostdiving : 10.06 0.00 86 0 0
928.59/931.60 c randrounding : 0.26 0.00 637 0 0
928.59/931.60 c rens : 0.00 0.00 0 0 0
928.59/931.60 c reoptsols : 0.00 0.00 0 0 0
928.59/931.60 c repair : 0.00 0.00 0 0 0
928.59/931.60 c rins : 0.01 0.00 0 0 0
928.59/931.60 c rootsoldiving : 8.20 0.00 11 0 0
928.59/931.60 c rounding : 0.65 0.00 1927 0 0
928.59/931.60 c scheduler : 0.00 0.00 0 0 0
928.59/931.60 c shiftandpropagate: 0.03 0.00 2 0 0
928.59/931.60 c shifting : 1.51 0.00 740 0 0
928.59/931.60 c simplerounding : 0.01 0.00 0 0 0
928.59/931.60 c subnlp : 0.00 0.00 0 0 0
928.59/931.60 c trivial : 0.00 0.00 4 0 0
928.59/931.60 c trivialnegation : 0.00 0.00 0 0 0
928.59/931.60 c trustregion : 0.00 0.00 0 0 0
928.59/931.60 c trysol : 0.01 0.00 0 0 0
928.59/931.60 c twoopt : 0.00 0.00 0 0 0
928.59/931.60 c undercover : 0.00 0.00 0 0 0
928.59/931.60 c vbounds : 0.01 0.00 2 0 0
928.59/931.60 c veclendiving : 6.84 0.00 86 0 0
928.59/931.60 c zeroobj : 0.00 0.00 0 0 0
928.59/931.60 c zirounding : 0.24 0.00 1000 0 0
928.59/931.60 c other solutions : - - - 0 -
928.59/931.60 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
928.59/931.60 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
928.59/931.60 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
928.59/931.60 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
928.59/931.60 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
928.59/931.60 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
928.59/931.60 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
928.59/931.60 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
928.59/931.60 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
928.59/931.60 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
928.59/931.60 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
928.59/931.60 c primal LP : 2.40 1458 0 0.00 0.00 2.40 1458
928.59/931.60 c dual LP : 561.00 34661 5538973 161.50 9873.40 0.50 363
928.59/931.60 c lex dual LP : 0.00 0 0 0.00 -
928.59/931.60 c barrier LP : 0.00 0 0 0.00 - 0.00 0
928.59/931.60 c resolve instable : 0.00 0 0 0.00 -
928.59/931.60 c diving/probing LP: 102.89 1590 617811 388.56 6004.59
928.59/931.60 c strong branching : 0.87 22 9222 419.18 10626.70 - - 14
928.59/931.60 c (at root node) : - 22 9222 419.18 -
928.59/931.60 c conflict analysis: 0.00 0 0 0.00 -
928.59/931.60 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
928.59/931.60 c benders : 0.00 0 0 0 0.00 0 0 0
928.59/931.60 c B&B Tree :
928.59/931.60 c number of runs : 2
928.59/931.60 c nodes : 32385 (16882 internal, 15503 leaves)
928.59/931.60 c feasible leaves : 0
928.59/931.60 c infeas. leaves : 15503
928.59/931.60 c objective leaves : 0
928.59/931.60 c nodes (total) : 33455 (17471 internal, 15984 leaves)
928.59/931.60 c nodes left : 0
928.59/931.60 c max depth : 26
928.59/931.60 c max depth (total): 26
928.59/931.60 c backtracks : 9119 (28.2%)
928.59/931.60 c early backtracks : 0 (0.0%)
928.59/931.60 c nodes exc. ref. : 0 (0.0%)
928.59/931.60 c delayed cutoffs : 1380
928.59/931.60 c repropagations : 29642 (1070139 domain reductions, 1227 cutoffs)
928.59/931.60 c avg switch length: 3.76
928.59/931.60 c switching time : 12.82
928.59/931.60 c Root Node :
928.59/931.60 c First LP value : +0.00000000000000e+00
928.59/931.60 c First LP Iters : 4244 (34150.89 Iter/sec)
928.59/931.60 c First LP Time : 0.12
928.59/931.60 c Final Dual Bound : -
928.59/931.60 c Final Root Iters : 19556
928.59/931.60 c Root LP Estimate : +1.10468369528883e-01
928.59/931.60 c Solution :
928.59/931.60 c Solutions found : 0 (0 improvements)
928.59/931.60 c Primal Bound : infeasible
928.59/931.60 c Dual Bound : -
928.59/931.60 c Gap : 0.00 %
928.59/931.60 c Integrals : Total Avg%
928.59/931.60 c primal-dual : - - (problem infeasible)
928.59/931.60 c primal-ref : - - (problem infeasible)
928.59/931.60 c dual-ref : - - (problem infeasible)
928.59/931.67 c Time complete (sec): 928.665
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 (62775 MiB free)
memory of node 1: 64465 MiB (61165 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4510915-1751202058/watcher-4510915-1751202058 -o /tmp/evaluation-result-4510915-1751202058/solver-4510915-1751202058 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751194846-25409 --watchdog 3760 pbsolver -f HOME/instance-4510915-1751202058.opb -t 3600 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=26293, runsolver pid=26290
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 4.18 4.16 4.11 5/265 26294
/proc/meminfo: memFree=126871304/131249988 swapFree=33010684/33010684
[pid=26293] ppid=26290 vsize=57276 memory=47696 CPUtime=0.09 cores=4,6
/proc/26293/stat : 26293 (pbsolver) R 26290 26293 25398 0 -1 4194304 11708 0 0 0 8 1 0 0 20 0 1 0 35883352 58650624 11924 18446744073709551615 4198400 14743177 140733200362896 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 52858880 140733200370058 140733200370154 140733200370154 140733200375756 0
/proc/26293/statm: 14319 11924 2496 2575 0 11226 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 57276 KiB
Current children cumulated memory: 47696 KiB
[startup+0.205649 s]*
/proc/loadavg: 4.18 4.16 4.11 5/265 26294
/proc/meminfo: memFree=126854672/131249988 swapFree=33010684/33010684
[pid=26293] ppid=26290 vsize=100336 memory=72864 CPUtime=0.2 cores=4,6
/proc/26293/stat : 26293 (pbsolver) R 26290 26293 25398 0 -1 4194304 18446 0 0 0 18 2 0 0 20 0 1 0 35883352 102744064 18216 18446744073709551615 4198400 14743177 140733200362896 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 52858880 140733200370058 140733200370154 140733200370154 140733200375756 0
/proc/26293/statm: 25084 18216 2560 2575 0 21991 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 100336 KiB
Current children cumulated memory: 72864 KiB
[startup+0.305575 s]*
/proc/loadavg: 4.18 4.16 4.11 5/265 26294
/proc/meminfo: memFree=126835520/131249988 swapFree=33010684/33010684
[pid=26293] ppid=26290 vsize=117136 memory=89376 CPUtime=0.3 cores=4,6
/proc/26293/stat : 26293 (pbsolver) R 26290 26293 25398 0 -1 4194304 22494 0 0 0 27 3 0 0 20 0 1 0 35883352 119947264 22344 18446744073709551615 4198400 14743177 140733200362896 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 52858880 140733200370058 140733200370154 140733200370154 140733200375756 0
/proc/26293/statm: 29284 22344 2656 2575 0 26191 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 117136 KiB
Current children cumulated memory: 89376 KiB
[startup+0.700126 s]
/proc/loadavg: 4.18 4.16 4.11 5/265 26294
/proc/meminfo: memFree=126826728/131249988 swapFree=33010684/33010684
[pid=26293] ppid=26290 vsize=120128 memory=92192 CPUtime=0.69 cores=4,6
/proc/26293/stat : 26293 (pbsolver) R 26290 26293 25398 0 -1 4194304 23186 0 0 0 66 3 0 0 20 0 1 0 35883352 123011072 23048 18446744073709551615 4198400 14743177 140733200362896 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 52858880 140733200370058 140733200370154 140733200370154 140733200375756 0
/proc/26293/statm: 30032 23048 2656 2575 0 26939 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 120128 KiB
Current children cumulated memory: 92192 KiB
[startup+1.50012 s]
/proc/loadavg: 4.18 4.16 4.11 5/265 26294
/proc/meminfo: memFree=126826728/131249988 swapFree=33010684/33010684
[pid=26293] ppid=26290 vsize=120128 memory=92192 CPUtime=1.48 cores=4,6
/proc/26293/stat : 26293 (pbsolver) R 26290 26293 25398 0 -1 4194304 23186 0 0 0 145 3 0 0 20 0 1 0 35883352 123011072 23048 18446744073709551615 4198400 14743177 140733200362896 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 52858880 140733200370058 140733200370154 140733200370154 140733200375756 0
/proc/26293/statm: 30032 23048 2656 2575 0 26939 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 120128 KiB
Current children cumulated memory: 92192 KiB
[startup+3.10449 s]
/proc/loadavg: 4.18 4.16 4.11 4/261 26337
/proc/meminfo: memFree=129295184/131249988 swapFree=33010684/33010684
[pid=26293] ppid=26290 vsize=160364 memory=129396 CPUtime=3.08 cores=4,6
/proc/26293/stat : 26293 (pbsolver) R 26290 26293 25398 0 -1 4194304 34401 0 0 0 304 4 0 0 20 0 1 0 35883352 164212736 32349 18446744073709551615 4198400 14743177 140733200362896 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 52858880 140733200370058 140733200370154 140733200370154 140733200375756 0
/proc/26293/statm: 40091 32349 2688 2575 0 36998 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 160364 KiB
Current children cumulated memory: 129396 KiB
[startup+6.30016 s]
/proc/loadavg: 4.16 4.15 4.11 5/265 26350
/proc/meminfo: memFree=129231236/131249988 swapFree=33010684/33010684
[pid=26293] ppid=26290 vsize=160364 memory=130420 CPUtime=6.27 cores=4,6
/proc/26293/stat : 26293 (pbsolver) R 26290 26293 25398 0 -1 4194304 34650 0 0 0 623 4 0 0 20 0 1 0 35883352 164212736 32605 18446744073709551615 4198400 14743177 140733200362896 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 52858880 140733200370058 140733200370154 140733200370154 140733200375756 0
/proc/26293/statm: 40091 32605 2688 2575 0 36998 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 160364 KiB
Current children cumulated memory: 130420 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.15 4.11 5/265 26350
/proc/meminfo: memFree=129169968/131249988 swapFree=33010684/33010684
[pid=26293] ppid=26290 vsize=186576 memory=156808 CPUtime=12.65 cores=4,6
/proc/26293/stat : 26293 (pbsolver) R 26290 26293 25398 0 -1 4194304 44599 0 0 0 1259 6 0 0 20 0 1 0 35883352 191053824 39202 18446744073709551615 4198400 14743177 140733200362896 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 52858880 140733200370058 140733200370154 140733200370154 140733200375756 0
/proc/26293/statm: 46644 39202 2688 2575 0 43551 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 186576 KiB
Current children cumulated memory: 156808 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.14 4.11 5/265 26350
/proc/meminfo: memFree=129099224/131249988 swapFree=33010684/33010684
[pid=26293] ppid=26290 vsize=209816 memory=179968 CPUtime=25.41 cores=4,6
/proc/26293/stat : 26293 (pbsolver) R 26290 26293 25398 0 -1 4194304 53084 0 0 0 2534 7 0 0 20 0 1 0 35883352 214851584 44992 18446744073709551615 4198400 14743177 140733200362896 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 52858880 140733200370058 140733200370154 140733200370154 140733200375756 0
/proc/26293/statm: 52454 44992 2688 2575 0 49361 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 209816 KiB
Current children cumulated memory: 179968 KiB
[startup+51.1054 s]
/proc/loadavg: 4.13 4.15 4.11 5/265 26395
/proc/meminfo: memFree=128969064/131249988 swapFree=33010684/33010684
[pid=26293] ppid=26290 vsize=261912 memory=230436 CPUtime=50.93 cores=4,6
/proc/26293/stat : 26293 (pbsolver) R 26290 26293 25398 0 -1 4194304 69699 0 0 0 5083 10 0 0 20 0 1 0 35883352 268197888 57609 18446744073709551615 4198400 14743177 140733200362896 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 52858880 140733200370058 140733200370154 140733200370154 140733200375756 0
/proc/26293/statm: 65478 57609 2688 2575 0 62385 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 261912 KiB
Current children cumulated memory: 230436 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.12 4.10 5/264 26441
/proc/meminfo: memFree=128877932/131249988 swapFree=33010684/33010684
[pid=26293] ppid=26290 vsize=273968 memory=253160 CPUtime=101.95 cores=4,6
/proc/26293/stat : 26293 (pbsolver) R 26290 26293 25398 0 -1 4194304 75029 0 0 0 10184 11 0 0 20 0 1 0 35883352 280543232 63290 18446744073709551615 4198400 14743177 140733200362896 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 52858880 140733200370058 140733200370154 140733200370154 140733200375756 0
/proc/26293/statm: 68492 63290 2688 2575 0 65399 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 273968 KiB
Current children cumulated memory: 253160 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/264 26445
/proc/meminfo: memFree=128871864/131249988 swapFree=33010684/33010684
[pid=26293] ppid=26290 vsize=275480 memory=259560 CPUtime=161.75 cores=4,6
/proc/26293/stat : 26293 (pbsolver) R 26290 26293 25398 0 -1 4194304 75535 0 0 0 16163 12 0 0 20 0 1 0 35883352 282091520 64890 18446744073709551615 4198400 14743177 140733200362896 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 52858880 140733200370058 140733200370154 140733200370154 140733200375756 0
/proc/26293/statm: 68870 64890 2688 2575 0 65777 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 275480 KiB
Current children cumulated memory: 259560 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/264 26448
/proc/meminfo: memFree=128782308/131249988 swapFree=33010684/33010684
[pid=26293] ppid=26290 vsize=284152 memory=267880 CPUtime=221.55 cores=4,6
/proc/26293/stat : 26293 (pbsolver) R 26290 26293 25398 0 -1 4194304 77144 0 0 0 22143 12 0 0 20 0 1 0 35883352 290971648 66970 18446744073709551615 4198400 14743177 140733200362896 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 52858880 140733200370058 140733200370154 140733200370154 140733200375756 0
/proc/26293/statm: 71038 66970 2688 2575 0 67945 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 284152 KiB
Current children cumulated memory: 267880 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 26451
/proc/meminfo: memFree=128694052/131249988 swapFree=33010684/33010684
[pid=26293] ppid=26290 vsize=295632 memory=281624 CPUtime=281.36 cores=4,6
/proc/26293/stat : 26293 (pbsolver) R 26290 26293 25398 0 -1 4194304 79199 0 0 0 28123 13 0 0 20 0 1 0 35883352 302727168 70406 18446744073709551615 4198400 14743177 140733200362896 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 52858880 140733200370058 140733200370154 140733200370154 140733200375756 0
/proc/26293/statm: 73908 70406 2688 2575 0 70815 0
Current children cumulated CPU time: 281.36 s
Current children cumulated vsize: 295632 KiB
Current children cumulated memory: 281624 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/265 26458
/proc/meminfo: memFree=128667056/131249988 swapFree=33010684/33010684
[pid=26293] ppid=26290 vsize=301600 memory=286360 CPUtime=341.17 cores=4,6
/proc/26293/stat : 26293 (pbsolver) R 26290 26293 25398 0 -1 4194304 80488 0 0 0 34104 13 0 0 20 0 1 0 35883352 308838400 71590 18446744073709551615 4198400 14743177 140733200362896 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 52858880 140733200370058 140733200370154 140733200370154 140733200375756 0
/proc/26293/statm: 75400 71590 2688 2575 0 72307 0
Current children cumulated CPU time: 341.17 s
Current children cumulated vsize: 301600 KiB
Current children cumulated memory: 286360 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 26460
/proc/meminfo: memFree=128644828/131249988 swapFree=33010684/33010684
[pid=26293] ppid=26290 vsize=319704 memory=303356 CPUtime=400.98 cores=4,6
/proc/26293/stat : 26293 (pbsolver) R 26290 26293 25398 0 -1 4194304 83293 0 0 0 40084 14 0 0 20 0 1 0 35883352 327376896 75839 18446744073709551615 4198400 14743177 140733200362896 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 52858880 140733200370058 140733200370154 140733200370154 140733200375756 0
/proc/26293/statm: 79926 75839 2688 2575 0 76833 0
Current children cumulated CPU time: 400.98 s
Current children cumulated vsize: 319704 KiB
Current children cumulated memory: 303356 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/265 26462
/proc/meminfo: memFree=128621968/131249988 swapFree=33010684/33010684
[pid=26293] ppid=26290 vsize=331664 memory=313408 CPUtime=460.79 cores=4,6
/proc/26293/stat : 26293 (pbsolver) R 26290 26293 25398 0 -1 4194304 85312 0 0 0 46065 14 0 0 20 0 1 0 35883352 339623936 78352 18446744073709551615 4198400 14743177 140733200362896 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 52858880 140733200370058 140733200370154 140733200370154 140733200375756 0
/proc/26293/statm: 82916 78352 2688 2575 0 79823 0
################
# More data... #
################
/proc/loadavg: 4.05 4.08 4.09 5/264 26464
/proc/meminfo: memFree=128601648/131249988 swapFree=33010684/33010684
[pid=26293] ppid=26290 vsize=340488 memory=320704 CPUtime=520.6 cores=4,6
/proc/26293/stat : 26293 (pbsolver) R 26290 26293 25398 0 -1 4194304 87147 0 0 0 52045 15 0 0 20 0 1 0 35883352 348659712 80176 18446744073709551615 4198400 14743177 140733200362896 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 52858880 140733200370058 140733200370154 140733200370154 140733200375756 0
/proc/26293/statm: 85122 80176 2688 2575 0 82029 0
Current children cumulated CPU time: 520.6 s
Current children cumulated vsize: 340488 KiB
Current children cumulated memory: 320704 KiB
[startup+582.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 26467
/proc/meminfo: memFree=128546668/131249988 swapFree=33010684/33010684
[pid=26293] ppid=26290 vsize=352688 memory=328128 CPUtime=580.41 cores=4,6
/proc/26293/stat : 26293 (pbsolver) R 26290 26293 25398 0 -1 4194304 89002 0 0 0 58026 15 0 0 20 0 1 0 35883352 361152512 82032 18446744073709551615 4198400 14743177 140733200362896 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 52858880 140733200370058 140733200370154 140733200370154 140733200375756 0
/proc/26293/statm: 88172 82032 2688 2575 0 85079 0
Current children cumulated CPU time: 580.41 s
Current children cumulated vsize: 352688 KiB
Current children cumulated memory: 328128 KiB
[startup+642.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 26469
/proc/meminfo: memFree=128428888/131249988 swapFree=33010684/33010684
[pid=26293] ppid=26290 vsize=374668 memory=345280 CPUtime=640.22 cores=4,6
/proc/26293/stat : 26293 (pbsolver) R 26290 26293 25398 0 -1 4194304 93307 0 0 0 64006 16 0 0 20 0 1 0 35883352 383660032 86320 18446744073709551615 4198400 14743177 140733200362896 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 52858880 140733200370058 140733200370154 140733200370154 140733200375756 0
/proc/26293/statm: 93667 86320 2688 2575 0 90574 0
Current children cumulated CPU time: 640.22 s
Current children cumulated vsize: 374668 KiB
Current children cumulated memory: 345280 KiB
[startup+702.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 26471
/proc/meminfo: memFree=128404620/131249988 swapFree=33010684/33010684
[pid=26293] ppid=26290 vsize=381044 memory=351680 CPUtime=700.04 cores=4,6
/proc/26293/stat : 26293 (pbsolver) R 26290 26293 25398 0 -1 4194304 94928 0 0 0 69987 17 0 0 20 0 1 0 35883352 390189056 87920 18446744073709551615 4198400 14743177 140733200362896 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 52858880 140733200370058 140733200370154 140733200370154 140733200375756 0
/proc/26293/statm: 95261 87920 2688 2575 0 92168 0
Current children cumulated CPU time: 700.04 s
Current children cumulated vsize: 381044 KiB
Current children cumulated memory: 351680 KiB
[startup+762.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/263 26475
/proc/meminfo: memFree=128404852/131249988 swapFree=33010684/33010684
[pid=26293] ppid=26290 vsize=395080 memory=365504 CPUtime=759.84 cores=4,6
/proc/26293/stat : 26293 (pbsolver) R 26290 26293 25398 0 -1 4194304 98370 0 0 0 75967 17 0 0 20 0 1 0 35883352 404561920 91376 18446744073709551615 4198400 14743177 140733200362896 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 52858880 140733200370058 140733200370154 140733200370154 140733200375756 0
/proc/26293/statm: 98770 91376 2688 2575 0 95677 0
Current children cumulated CPU time: 759.84 s
Current children cumulated vsize: 395080 KiB
Current children cumulated memory: 365504 KiB
[startup+822.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 26477
/proc/meminfo: memFree=128387260/131249988 swapFree=33010684/33010684
[pid=26293] ppid=26290 vsize=405684 memory=371264 CPUtime=819.66 cores=4,6
/proc/26293/stat : 26293 (pbsolver) R 26290 26293 25398 0 -1 4194304 99825 0 0 0 81948 18 0 0 20 0 1 0 35883352 415420416 92816 18446744073709551615 4198400 14743177 140733200362896 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 52858880 140733200370058 140733200370154 140733200370154 140733200375756 0
/proc/26293/statm: 101421 92816 2688 2575 0 98328 0
Current children cumulated CPU time: 819.66 s
Current children cumulated vsize: 405684 KiB
Current children cumulated memory: 371264 KiB
[startup+882.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/262 26479
/proc/meminfo: memFree=128400280/131249988 swapFree=33010684/33010684
[pid=26293] ppid=26290 vsize=413404 memory=380008 CPUtime=879.44 cores=4,6
/proc/26293/stat : 26293 (pbsolver) R 26290 26293 25398 0 -1 4194304 101510 0 0 0 87926 18 0 0 20 0 1 0 35883352 423325696 95002 18446744073709551615 4198400 14743177 140733200362896 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 52858880 140733200370058 140733200370154 140733200370154 140733200375756 0
/proc/26293/statm: 103351 95002 2688 2575 0 100258 0
Current children cumulated CPU time: 879.44 s
Current children cumulated vsize: 413404 KiB
Current children cumulated memory: 380008 KiB
[startup+931.676 s]
# the end of solver process 26293 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=928.469 s, system=0.201333 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+896 s]*
/proc/loadavg: 4.13 4.10 4.09 5/262 26479
/proc/meminfo: memFree=128400296/131249988 swapFree=33010684/33010684
[pid=26293] ppid=26290 vsize=413856 memory=380520 CPUtime=893.11 cores=4,6
/proc/26293/stat : 26293 (pbsolver) R 26290 26293 25398 0 -1 4194304 101641 0 0 0 89292 19 0 0 20 0 1 0 35883352 423788544 95130 18446744073709551615 4198400 14743177 140733200362896 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 52858880 140733200370058 140733200370154 140733200370154 140733200375756 0
/proc/26293/statm: 103464 95130 2688 2575 0 100371 0
Current children cumulated CPU time: 893.11 s
Current children cumulated vsize: 413856 KiB
Current children cumulated memory: 380520 KiB
[startup+908.8 s]
/proc/loadavg: 4.11 4.09 4.09 5/263 26485
/proc/meminfo: memFree=128399332/131249988 swapFree=33010684/33010684
[pid=26293] ppid=26290 vsize=415716 memory=381928 CPUtime=905.86 cores=4,6
/proc/26293/stat : 26293 (pbsolver) R 26290 26293 25398 0 -1 4194304 101987 0 0 0 90567 19 0 0 20 0 1 0 35883352 425693184 95482 18446744073709551615 4198400 14743177 140733200362896 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 52858880 140733200370058 140733200370154 140733200370154 140733200375756 0
/proc/26293/statm: 103929 95482 2688 2575 0 100836 0
Current children cumulated CPU time: 905.86 s
Current children cumulated vsize: 415716 KiB
Current children cumulated memory: 381928 KiB
[startup+921.6 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 26486
/proc/meminfo: memFree=128396404/131249988 swapFree=33010684/33010684
[pid=26293] ppid=26290 vsize=416084 memory=383464 CPUtime=918.62 cores=4,6
/proc/26293/stat : 26293 (pbsolver) R 26290 26293 25398 0 -1 4194304 102366 0 0 0 91843 19 0 0 20 0 1 0 35883352 426070016 95866 18446744073709551615 4198400 14743177 140733200362896 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 52858880 140733200370058 140733200370154 140733200370154 140733200375756 0
/proc/26293/statm: 104021 95866 2688 2575 0 100928 0
Current children cumulated CPU time: 918.62 s
Current children cumulated vsize: 416084 KiB
Current children cumulated memory: 383464 KiB
[startup+928 s]*
/proc/loadavg: 4.08 4.08 4.09 5/264 26487
/proc/meminfo: memFree=128396404/131249988 swapFree=33010684/33010684
[pid=26293] ppid=26290 vsize=417184 memory=383848 CPUtime=925 cores=4,6
/proc/26293/stat : 26293 (pbsolver) R 26290 26293 25398 0 -1 4194304 102447 0 0 0 92481 19 0 0 20 0 1 0 35883352 427196416 95962 18446744073709551615 4198400 14743177 140733200362896 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 52858880 140733200370058 140733200370154 140733200370154 140733200375756 0
/proc/26293/statm: 104296 95962 2688 2575 0 101203 0
Current children cumulated CPU time: 925 s
Current children cumulated vsize: 417184 KiB
Current children cumulated memory: 383848 KiB
[startup+929.6 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 26487
/proc/meminfo: memFree=128396404/131249988 swapFree=33010684/33010684
[pid=26293] ppid=26290 vsize=417368 memory=383976 CPUtime=926.59 cores=4,6
/proc/26293/stat : 26293 (pbsolver) R 26290 26293 25398 0 -1 4194304 102495 0 0 0 92640 19 0 0 20 0 1 0 35883352 427384832 95994 18446744073709551615 4198400 14743177 140733200362896 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 52858880 140733200370058 140733200370154 140733200370154 140733200375756 0
/proc/26293/statm: 104342 95994 2688 2575 0 101249 0
Current children cumulated CPU time: 926.59 s
Current children cumulated vsize: 417368 KiB
Current children cumulated memory: 383976 KiB
[startup+930.4 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 26487
/proc/meminfo: memFree=128396404/131249988 swapFree=33010684/33010684
[pid=26293] ppid=26290 vsize=417368 memory=383976 CPUtime=927.39 cores=4,6
/proc/26293/stat : 26293 (pbsolver) R 26290 26293 25398 0 -1 4194304 102499 0 0 0 92720 19 0 0 20 0 1 0 35883352 427384832 95994 18446744073709551615 4198400 14743177 140733200362896 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 52858880 140733200370058 140733200370154 140733200370154 140733200375756 0
/proc/26293/statm: 104342 95994 2688 2575 0 101249 0
Current children cumulated CPU time: 927.39 s
Current children cumulated vsize: 417368 KiB
Current children cumulated memory: 383976 KiB
[startup+931.2 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 26487
/proc/meminfo: memFree=128396404/131249988 swapFree=33010684/33010684
[pid=26293] ppid=26290 vsize=417368 memory=383976 CPUtime=928.19 cores=4,6
/proc/26293/stat : 26293 (pbsolver) R 26290 26293 25398 0 -1 4194304 102499 0 0 0 92800 19 0 0 20 0 1 0 35883352 427384832 95994 18446744073709551615 4198400 14743177 140733200362896 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 52858880 140733200370058 140733200370154 140733200370154 140733200375756 0
/proc/26293/statm: 104342 95994 2688 2575 0 101249 0
Current children cumulated CPU time: 928.19 s
Current children cumulated vsize: 417368 KiB
Current children cumulated memory: 383976 KiB
[startup+931.6 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 26487
/proc/meminfo: memFree=128396404/131249988 swapFree=33010684/33010684
[pid=26293] ppid=26290 vsize=417368 memory=383976 CPUtime=928.59 cores=4,6
/proc/26293/stat : 26293 (pbsolver) R 26290 26293 25398 0 -1 4194304 102499 0 0 0 92840 19 0 0 20 0 1 0 35883352 427384832 95994 18446744073709551615 4198400 14743177 140733200362896 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 52858880 140733200370058 140733200370154 140733200370154 140733200375756 0
/proc/26293/statm: 104342 95994 2688 2575 0 101249 0
Current children cumulated CPU time: 928.59 s
Current children cumulated vsize: 417368 KiB
Current children cumulated memory: 383976 KiB
Child status: 0
Real time (s): 931.676
CPU time (s): 928.67
CPU user time (s): 928.469
CPU system time (s): 0.201333
CPU usage (%): 99.6774
Max. virtual memory (cumulated for all children) (KiB): 417368
Max. memory (cumulated for all children) (KiB): 383976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 928.469
system time used= 0.201333
maximum resident set size= 383976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102515
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= 60
involuntary context switches= 5515
# summary of solver processes directly reported to runsolver:
# pid: 26293
# total CPU time (s): 928.67
# total CPU user time (s): 928.469
# total CPU system time (s): 0.201333
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.93981 second user time and 4.10102 second system time
The end