0.00/0.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4510914-1751205421.opb>
0.00/0.08 c original problem has 5370 variables (5370 bin, 0 int, 0 impl, 0 cont) and 12701 constraints
0.00/0.08 c problem read in 0.07
0.00/0.09 c No objective function, only one solution is needed.
0.10/0.13 c presolving:
0.10/0.22 c (0.2s) running MILP presolver
0.20/0.29 c (0.3s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.20/0.30 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.31/0.37 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.41/0.49 c (0.5s) probing: 51/5370 (0.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.41/0.49 c (0.5s) probing aborted: 50/50 successive totally useless probings
0.41/0.51 c (0.5s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.51/0.56 c (0.5s) symmetry computation finished: 2 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.03)
0.51/0.56 c dynamic symmetry handling statistics:
0.51/0.56 c orbitopal reduction: no components
0.51/0.56 c orbital reduction: no components
0.51/0.56 c lexicographic reduction: no permutations
0.51/0.56 c handled 1 out of 1 symmetry components
0.51/0.56 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.51/0.56 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.51/0.57 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.51/0.58 c (0.6s) probing: 56/5370 (1.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.51/0.58 c (0.6s) probing aborted: 50/50 successive totally useless probings
0.51/0.59 c presolving (6 rounds: 6 fast, 5 medium, 3 exhaustive):
0.51/0.59 c 34 deleted vars, 12746 deleted constraints, 7878 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.51/0.59 c 0 implications, 7846 cliques
0.51/0.59 c presolved problem has 5344 variables (5344 bin, 0 int, 0 impl, 0 cont) and 7833 constraints
0.51/0.59 c 7832 constraints of type <setppc>
0.51/0.59 c 1 constraints of type <orbitope>
0.51/0.59 c transformed objective value is always integral (scale: 1)
0.51/0.59 c Presolving Time: 0.45
0.51/0.59 c - non default parameters ----------------------------------------------------------------------
0.51/0.59 c # SCIP version 10.0.0
0.51/0.59 c
0.51/0.59 c # maximal time in seconds to run
0.51/0.59 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.51/0.59 c limits/time = 3596.994047
0.51/0.59 c
0.51/0.59 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.51/0.59 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.51/0.59 c limits/memory = 27900
0.51/0.59 c
0.51/0.59 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.51/0.59 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.51/0.59 c limits/solutions = 1
0.51/0.59 c
0.51/0.59 c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h.
0.51/0.59 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.51/0.59 c misc/usesymmetry = 3
0.51/0.59 c
0.51/0.59 c # belongs reading time to solving time?
0.51/0.59 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.51/0.59 c timing/reading = TRUE
0.51/0.59 c
0.51/0.59 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.51/0.59 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.51/0.59 c propagating/symmetry/detectdoublelex = FALSE
0.51/0.59 c
0.51/0.59 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.51/0.59 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.51/0.59 c propagating/symmetry/detectsubgroups = FALSE
0.51/0.59 c
0.51/0.59 c # Type of symmetries that shall be computed?
0.51/0.59 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.51/0.59 c propagating/symmetry/symtype = 1
0.51/0.59 c
0.51/0.59 c # Should components consisting of a single full reflection be handled?
0.51/0.59 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.51/0.59 c propagating/symmetry/usesimplesgncomp = FALSE
0.51/0.59 c
0.51/0.59 c -----------------------------------------------------------------------------------------------
0.51/0.59 c start solving
0.51/0.59 c
0.88/0.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.88/0.99 c 1.0s| 1 | 0 | 4377 | - | 57M | 0 |5344 |7859 |7832 | 0 | 0 | 25 | 0 | 0.000000e+00 | -- | Inf | unknown
3.77/3.88 c 3.9s| 1 | 0 | 13540 | - | 67M | 0 |5344 |7971 |7835 | 3 | 1 | 26 | 0 | 0.000000e+00 | -- | Inf | unknown
4.17/4.20 c 4.2s| 1 | 0 | 13636 | - | 72M | 0 |5344 |7972 |7838 | 6 | 2 | 27 | 0 | 0.000000e+00 | -- | Inf | unknown
4.47/4.52 c 4.5s| 1 | 0 | 13708 | - | 75M | 0 |5344 |7973 |7844 | 12 | 3 | 28 | 0 | 0.000000e+00 | -- | Inf | unknown
4.77/4.84 c 4.8s| 1 | 0 | 13791 | - | 84M | 0 |5344 |7974 |7846 | 14 | 4 | 29 | 0 | 0.000000e+00 | -- | Inf | unknown
4.98/5.03 c 5.0s| 1 | 0 | 13871 | - | 87M | 0 |5344 |7975 |7851 | 19 | 5 | 30 | 0 | 0.000000e+00 | -- | Inf | unknown
5.27/5.36 c 5.4s| 1 | 0 | 13933 | - | 91M | 0 |5344 |7976 |7853 | 21 | 6 | 31 | 0 | 0.000000e+00 | -- | Inf | unknown
5.57/5.69 c 5.7s| 1 | 0 | 13973 | - | 95M | 0 |5344 |7977 |7859 | 27 | 7 | 32 | 0 | 0.000000e+00 | -- | Inf | unknown
5.98/6.04 c 6.0s| 1 | 0 | 14036 | - | 102M | 0 |5344 |7978 |7863 | 31 | 8 | 33 | 0 | 0.000000e+00 | -- | Inf | unknown
6.16/6.24 c 6.2s| 1 | 0 | 14150 | - | 107M | 0 |5344 |7979 |7866 | 34 | 9 | 34 | 0 | 0.000000e+00 | -- | Inf | unknown
6.46/6.57 c 6.6s| 1 | 0 | 14268 | - | 111M | 0 |5344 |7980 |7867 | 35 | 10 | 35 | 0 | 0.000000e+00 | -- | Inf | unknown
6.66/6.70 c 6.7s| 1 | 0 | 14415 | - | 112M | 0 |5344 |7981 |7875 | 43 | 11 | 36 | 0 | 0.000000e+00 | -- | Inf | unknown
7.56/7.60 c 7.6s| 1 | 2 | 17154 | - | 112M | 0 |5344 |7995 |7875 | 43 | 11 | 50 | 11 | 0.000000e+00 | -- | Inf | unknown
16.44/16.52 c 16.5s| 100 | 62 | 44226 | 301.1 | 116M | 35 |5344 |8124 |7870 | 94 | 1 | 193 | 11 | 0.000000e+00 | -- | Inf | unknown
20.93/21.02 c 21.0s| 200 | 97 | 59183 | 225.0 | 121M | 35 |5344 |8330 |7860 | 211 | 1 | 412 | 11 | 0.000000e+00 | -- | Inf | unknown
24.02/24.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
24.02/24.12 c 24.1s| 300 | 99 | 68805 | 181.9 | 122M | 35 |5344 |8559 |7861 | 226 | 0 | 666 | 11 | 0.000000e+00 | -- | Inf | unknown
26.50/26.62 c 26.6s| 400 | 92 | 79101 | 162.1 | 125M | 35 |5344 |8726 |7860 | 288 | 1 | 898 | 11 | 0.000000e+00 | -- | Inf | unknown
28.49/28.68 c 28.7s| 500 | 87 | 85642 | 142.7 | 125M | 35 |5344 |8925 |7855 | 303 | 0 |1149 | 11 | 0.000000e+00 | -- | Inf | unknown
30.90/31.07 c 31.1s| 600 | 87 | 94580 | 133.8 | 126M | 35 |5344 |9142 | 0 | 341 | 0 |1418 | 11 | 0.000000e+00 | -- | Inf | unknown
32.69/32.86 c 32.8s| 700 | 82 |103791 | 127.9 | 127M | 35 |5344 |9332 | 0 | 349 | 0 |1661 | 11 | 0.000000e+00 | -- | Inf | unknown
33.89/34.08 c 34.1s| 800 | 78 |110489 | 120.2 | 127M | 35 |5344 |9493 |7863 | 349 | 1 |1875 | 11 | 0.000000e+00 | -- | Inf | 0.57%
36.17/36.30 c 36.3s| 900 | 79 |117231 | 114.4 | 127M | 35 |5344 |9602 |7870 | 355 | 1 |2042 | 11 | 0.000000e+00 | -- | Inf | 0.61%
37.26/37.46 c 37.4s| 1000 | 65 |125265 | 111.0 | 127M | 35 |5344 |9735 | 0 | 355 | 0 |2245 | 11 | 0.000000e+00 | -- | Inf | 0.63%
40.35/40.59 c 40.6s| 1100 | 90 |133653 | 108.5 | 127M | 35 |5344 |9823 |7860 | 376 | 1 |2398 | 11 | 0.000000e+00 | -- | Inf | 0.64%
42.05/42.28 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
42.15/42.32 c (run 1, node 1150) performing user restart
42.15/42.32 c
42.15/42.32 c (restart) converted 11 cuts from the global cut pool into linear constraints
42.15/42.32 c
42.15/42.33 c presolving:
42.15/42.34 c (round 1, fast) 0 del vars, 148 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 7846 clqs
42.15/42.36 c (round 2, exhaustive) 0 del vars, 172 del conss, 12 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 7846 clqs
42.15/42.37 c (round 3, exhaustive) 0 del vars, 172 del conss, 12 add conss, 0 chg bounds, 0 chg sides, 3 chg coeffs, 122 upgd conss, 0 impls, 7846 clqs
42.15/42.38 c (round 4, exhaustive) 0 del vars, 206 del conss, 29 add conss, 0 chg bounds, 0 chg sides, 3 chg coeffs, 122 upgd conss, 0 impls, 7846 clqs
42.25/42.41 c (round 5, exhaustive) 0 del vars, 337 del conss, 29 add conss, 0 chg bounds, 0 chg sides, 41 chg coeffs, 122 upgd conss, 0 impls, 7846 clqs
42.25/42.46 c presolving (6 rounds: 6 fast, 5 medium, 5 exhaustive):
42.25/42.46 c 0 deleted vars, 339 deleted constraints, 29 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 44 changed coefficients
42.25/42.46 c 0 implications, 7846 cliques
42.25/42.46 c presolved problem has 5344 variables (5344 bin, 0 int, 0 impl, 0 cont) and 9587 constraints
42.25/42.46 c 73 constraints of type <knapsack>
42.25/42.46 c 7832 constraints of type <setppc>
42.25/42.46 c 4 constraints of type <linear>
42.25/42.46 c 1 constraints of type <orbitope>
42.25/42.46 c 1677 constraints of type <logicor>
42.25/42.46 c transformed objective value is always integral (scale: 1)
42.25/42.46 c Presolving Time: 0.59
42.25/42.46 c
42.45/42.64 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
42.45/42.64 c 42.6s| 1 | 0 |147225 | - | 130M | 0 |5344 |9598 |7843 | 0 | 0 |2500 | 11 | 0.000000e+00 | -- | Inf | unknown
43.24/43.46 c 43.4s| 1 | 0 |147317 | - | 132M | 0 |5344 |9626 |7851 | 8 | 1 |2501 | 11 | 0.000000e+00 | -- | Inf | unknown
43.65/43.87 c 43.9s| 1 | 0 |147454 | - | 132M | 0 |5344 |9627 |7853 | 10 | 2 |2502 | 11 | 0.000000e+00 | -- | Inf | unknown
44.05/44.25 c 44.2s| 1 | 0 |147635 | - | 132M | 0 |5344 |9628 |7859 | 16 | 3 |2503 | 11 | 0.000000e+00 | -- | Inf | unknown
44.45/44.60 c 44.6s| 1 | 0 |147766 | - | 132M | 0 |5344 |9629 |7864 | 21 | 4 |2504 | 11 | 0.000000e+00 | -- | Inf | unknown
44.75/44.96 c 44.9s| 1 | 0 |147861 | - | 134M | 0 |5344 |9630 |7869 | 26 | 5 |2505 | 11 | 0.000000e+00 | -- | Inf | unknown
45.05/45.27 c 45.3s| 1 | 0 |148129 | - | 135M | 0 |5344 |9631 |7877 | 34 | 6 |2506 | 11 | 0.000000e+00 | -- | Inf | unknown
45.54/45.78 c 45.8s| 1 | 0 |148276 | - | 137M | 0 |5344 |9632 |7882 | 39 | 7 |2507 | 11 | 0.000000e+00 | -- | Inf | unknown
46.24/46.40 c 46.4s| 1 | 0 |148345 | - | 138M | 0 |5344 |9633 |7885 | 42 | 8 |2508 | 11 | 0.000000e+00 | -- | Inf | unknown
46.74/46.94 c 46.9s| 1 | 0 |148482 | - | 142M | 0 |5344 |9634 |7891 | 48 | 9 |2509 | 11 | 0.000000e+00 | -- | Inf | unknown
47.34/47.57 c 47.6s| 1 | 0 |148678 | - | 145M | 0 |5344 |9635 |7898 | 55 | 10 |2510 | 11 | 0.000000e+00 | -- | Inf | unknown
47.54/47.71 c 47.7s| 1 | 0 |148819 | - | 146M | 0 |5344 |9636 |7906 | 63 | 11 |2511 | 11 | 0.000000e+00 | -- | Inf | unknown
48.73/48.99 c 49.0s| 1 | 2 |151982 | - | 146M | 0 |5344 |9647 |7906 | 63 | 11 |2522 | 22 | 0.000000e+00 | -- | Inf | unknown
54.71/55.00 c 55.0s| 100 | 27 |173356 | 122.5 | 148M | 25 |5344 |9791 |7860 | 90 | 0 |2702 | 22 | 0.000000e+00 | -- | Inf | unknown
59.20/59.40 c 59.4s| 200 | 32 |189506 | 125.4 | 158M | 25 |5344 | 10k|7889 | 286 | 0 |2966 | 22 | 0.000000e+00 | -- | Inf | 0.63%
61.80/62.06 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
61.80/62.06 c 62.0s| 300 | 28 |205192 | 127.5 | 159M | 25 |5344 | 10k|7860 | 291 | 0 |3166 | 22 | 0.000000e+00 | -- | Inf | 0.84%
66.78/67.04 c 67.0s| 400 | 24 |237035 | 139.9 | 159M | 25 |5344 | 10k|7867 | 315 | 1 |3357 | 22 | 0.000000e+00 | -- | Inf | 0.85%
72.05/72.39 c 72.4s| 500 | 23 |276617 | 155.4 | 159M | 25 |5344 | 10k|7867 | 333 | 0 |3532 | 22 | 0.000000e+00 | -- | Inf | 0.87%
88.82/89.12 c 89.1s| 600 | 26 |338182 | 181.7 | 162M | 25 |5344 | 10k|7878 | 503 | 2 |3694 | 22 | 0.000000e+00 | -- | Inf | 5.04%
92.30/92.68 c 92.7s| 700 | 45 |355505 | 181.2 | 165M | 25 |5344 | 10k|7879 | 666 | 0 |3910 | 22 | 0.000000e+00 | -- | Inf | 5.33%
94.09/94.45 c 94.4s| 800 | 32 |365743 | 177.2 | 165M | 25 |5344 | 10k|7867 | 707 | 1 |4111 | 22 | 0.000000e+00 | -- | Inf | 5.99%
96.38/96.73 c 96.7s| 900 | 24 |376602 | 173.8 | 168M | 25 |5344 | 10k|7862 | 805 | 0 |4339 | 22 | 0.000000e+00 | -- | Inf | 6.82%
98.98/99.38 c 99.4s| 1000 | 34 |395021 | 174.3 | 171M | 25 |5344 | 10k|7866 | 896 | 0 |4516 | 22 | 0.000000e+00 | -- | Inf | 7.10%
100.97/101.37 c 101s| 1100 | 42 |407947 | 172.3 | 171M | 25 |5344 | 10k|7866 | 896 | 1 |4786 | 22 | 0.000000e+00 | -- | Inf | 7.18%
102.68/103.04 c 103s| 1200 | 32 |417380 | 169.0 | 171M | 29 |5344 | 11k|7866 | 896 | 0 |5078 | 22 | 0.000000e+00 | -- | Inf | 7.22%
106.56/106.99 c 107s| 1300 | 36 |443906 | 172.9 | 172M | 29 |5344 | 11k|7873 |1011 | 0 |5263 | 22 | 0.000000e+00 | -- | Inf | 8.11%
110.66/111.03 c 111s| 1400 | 32 |461138 | 172.9 | 172M | 29 |5344 | 11k|7846 |1126 | 1 |5467 | 22 | 0.000000e+00 | -- | Inf | 8.78%
114.54/114.95 c 115s| 1500 | 25 |479924 | 173.5 | 174M | 29 |5344 | 11k|7866 |1219 | 2 |5693 | 22 | 0.000000e+00 | -- | Inf | 9.18%
117.93/118.39 c 118s| 1600 | 33 |503445 | 175.7 | 182M | 29 |5344 | 11k|7868 |1305 | 0 |5895 | 22 | 0.000000e+00 | -- | Inf | 9.40%
120.11/120.57 c 121s| 1700 | 32 |524888 | 177.1 | 183M | 29 |5344 | 11k|7868 |1309 | 0 |6097 | 22 | 0.000000e+00 | -- | Inf | 9.42%
122.31/122.70 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
122.31/122.70 c 123s| 1800 | 39 |539366 | 176.0 | 184M | 29 |5344 | 11k|7868 |1339 | 1 |6275 | 22 | 0.000000e+00 | -- | Inf | 9.54%
124.80/125.29 c 125s| 1900 | 40 |552613 | 174.6 | 184M | 29 |5344 | 11k|7868 |1357 | 1 |6443 | 22 | 0.000000e+00 | -- | Inf | 9.57%
126.79/127.25 c 127s| 2000 | 35 |566284 | 173.4 | 184M | 29 |5344 | 11k|7868 |1357 | 0 |6631 | 22 | 0.000000e+00 | -- | Inf | 9.60%
128.29/128.70 c 129s| 2100 | 36 |574830 | 170.6 | 184M | 29 |5344 | 11k|7868 |1357 | 0 |6790 | 22 | 0.000000e+00 | -- | Inf | 9.61%
129.98/130.44 c 130s| 2200 | 37 |584123 | 168.3 | 184M | 29 |5344 | 11k|7868 |1362 | 1 |6931 | 22 | 0.000000e+00 | -- | Inf | 9.62%
131.28/131.77 c 132s| 2300 | 37 |591835 | 165.7 | 184M | 29 |5344 | 11k|7868 |1364 | 0 |7097 | 22 | 0.000000e+00 | -- | Inf | 9.63%
134.77/135.27 c 135s| 2400 | 30 |614535 | 167.4 | 185M | 29 |5344 | 11k|7870 |1422 | 1 |7269 | 22 | 0.000000e+00 | -- | Inf | 9.89%
137.46/137.97 c 138s| 2500 | 30 |637683 | 169.2 | 187M | 29 |5344 | 11k|7888 |1484 | 0 |7492 | 22 | 0.000000e+00 | -- | Inf | 9.97%
141.35/141.87 c 142s| 2600 | 34 |659296 | 170.4 | 187M | 29 |5344 | 11k|7858 |1530 | 1 |7714 | 22 | 0.000000e+00 | -- | Inf | 10.32%
146.33/146.82 c 147s| 2700 | 55 |681328 | 171.7 | 188M | 29 |5344 | 11k|7883 |1812 | 0 |7972 | 22 | 0.000000e+00 | -- | Inf | 10.42%
149.92/150.47 c 150s| 2800 | 60 |705958 | 173.6 | 193M | 29 |5344 | 11k|7869 |1911 | 2 |8195 | 22 | 0.000000e+00 | -- | Inf | 10.53%
153.31/153.82 c 154s| 2900 | 70 |728894 | 175.0 | 196M | 29 |5344 | 12k|7876 |2080 | 1 |8500 | 22 | 0.000000e+00 | -- | Inf | 10.80%
155.20/155.70 c 156s| 3000 | 68 |749560 | 175.7 | 197M | 29 |5344 | 12k|7879 |2080 | 1 |8769 | 22 | 0.000000e+00 | -- | Inf | 10.94%
158.99/159.51 c 159s| 3100 | 82 |779265 | 178.6 | 198M | 29 |5344 | 12k|7865 |2254 | 1 |8983 | 22 | 0.000000e+00 | -- | Inf | 11.00%
161.38/161.92 c 162s| 3200 | 82 |793189 | 177.7 | 198M | 29 |5344 | 12k| 0 |2282 | 0 |9137 | 22 | 0.000000e+00 | -- | Inf | 11.14%
164.38/164.90 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
164.38/164.90 c 165s| 3300 | 83 |818625 | 179.4 | 198M | 29 |5344 | 12k|7863 |2376 | 1 |9295 | 22 | 0.000000e+00 | -- | Inf | 11.42%
165.87/166.46 c 166s| 3400 | 77 |826856 | 177.3 | 198M | 29 |5344 | 12k|7863 |2376 | 1 |9520 | 22 | 0.000000e+00 | -- | Inf | 11.65%
173.15/173.73 c 174s| 3500 | 110 |860296 | 180.7 | 200M | 29 |5344 | 12k|7863 |2606 | 1 |9726 | 22 | 0.000000e+00 | -- | Inf | 11.87%
177.14/177.72 c 178s| 3600 | 108 |895498 | 184.3 | 201M | 29 |5344 | 12k|7875 |2720 | 1 |9931 | 22 | 0.000000e+00 | -- | Inf | 12.21%
180.44/181.06 c 181s| 3700 | 110 |913871 | 184.3 | 202M | 29 |5344 | 12k|7896 |2845 | 0 | 10k| 22 | 0.000000e+00 | -- | Inf | 12.40%
182.22/182.89 c 183s| 3800 | 107 |929697 | 183.7 | 203M | 29 |5344 | 12k|7885 |2890 | 1 | 10k| 22 | 0.000000e+00 | -- | Inf | 12.48%
184.01/184.63 c 185s| 3900 | 104 |945985 | 183.3 | 203M | 29 |5344 | 12k| 0 |2890 | 0 | 10k| 22 | 0.000000e+00 | -- | Inf | 12.60%
186.42/187.08 c 187s| 4000 | 99 |969253 | 184.3 | 203M | 29 |5344 | 12k|7885 |2892 | 0 | 10k| 22 | 0.000000e+00 | -- | Inf | 12.80%
190.00/190.62 c 191s| 4100 | 106 |995793 | 185.8 | 206M | 29 |5344 | 12k|7907 |2967 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | 13.01%
193.09/193.76 c 194s| 4200 | 103 | 1011k| 185.2 | 209M | 29 |5344 | 12k|7906 |3033 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | 13.41%
197.77/198.45 c 198s| 4300 | 113 | 1028k| 185.0 | 214M | 29 |5344 | 12k|7890 |3266 | 1 | 11k| 22 | 0.000000e+00 | -- | Inf | 14.03%
199.86/200.56 c 201s| 4400 | 112 | 1039k| 183.6 | 214M | 29 |5344 | 12k|7911 |3317 | 0 | 11k| 22 | 0.000000e+00 | -- | Inf | 14.35%
203.05/203.75 c 204s| 4500 | 113 | 1053k| 182.9 | 217M | 29 |5344 | 12k|7914 |3399 | 0 | 11k| 22 | 0.000000e+00 | -- | Inf | 14.68%
205.06/205.77 c 206s| 4600 | 107 | 1063k| 181.4 | 219M | 29 |5344 | 12k|7914 |3508 | 0 | 12k| 22 | 0.000000e+00 | -- | Inf | 14.97%
207.55/208.24 c 208s| 4700 | 107 | 1074k| 180.3 | 220M | 29 |5344 | 12k|7913 |3598 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | 15.28%
209.64/210.38 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
209.64/210.38 c 210s| 4800 | 104 | 1083k| 178.8 | 220M | 29 |5344 | 13k|7920 |3671 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | 15.64%
211.24/211.96 c 212s| 4900 | 97 | 1091k| 177.1 | 220M | 29 |5344 | 13k|7918 |3675 | 0 | 12k| 22 | 0.000000e+00 | -- | Inf | 15.80%
227.19/227.91 c 228s| 5000 | 110 | 1133k| 181.0 | 223M | 29 |5344 | 13k|7912 |3816 | 1 | 12k| 22 | 0.000000e+00 | -- | Inf | 16.13%
229.18/229.99 c 230s| 5100 | 104 | 1147k| 180.3 | 224M | 29 |5344 | 13k|7914 |3880 | 0 | 13k| 22 | 0.000000e+00 | -- | Inf | 16.21%
230.88/231.67 c 232s| 5200 | 101 | 1159k| 179.4 | 224M | 29 |5344 | 13k|7890 |3907 | 0 | 13k| 22 | 0.000000e+00 | -- | Inf | 16.31%
233.87/234.64 c 235s| 5300 | 105 | 1172k| 178.7 | 226M | 29 |5344 | 13k| 0 |4057 | 0 | 13k| 22 | 0.000000e+00 | -- | Inf | 17.04%
236.96/237.77 c 238s| 5400 | 102 | 1190k| 178.7 | 226M | 29 |5344 | 13k|7920 |4180 | 0 | 13k| 22 | 0.000000e+00 | -- | Inf | 17.66%
239.75/240.51 c 240s| 5500 | 109 | 1202k| 177.8 | 227M | 29 |5344 | 13k|7908 |4335 | 1 | 13k| 22 | 0.000000e+00 | -- | Inf | 17.86%
241.54/242.36 c 242s| 5600 | 102 | 1212k| 176.7 | 227M | 29 |5344 | 13k|7908 |4364 | 1 | 14k| 22 | 0.000000e+00 | -- | Inf | 18.01%
244.13/244.96 c 245s| 5700 | 106 | 1227k| 176.3 | 228M | 29 |5344 | 13k|7907 |4438 | 1 | 14k| 22 | 0.000000e+00 | -- | Inf | 18.34%
246.73/247.59 c 248s| 5800 | 104 | 1236k| 175.1 | 228M | 29 |5344 | 13k|7908 |4557 | 0 | 14k| 22 | 0.000000e+00 | -- | Inf | 18.73%
249.02/249.89 c 250s| 5900 | 105 | 1246k| 174.0 | 228M | 29 |5344 | 13k|7942 |4692 | 0 | 14k| 22 | 0.000000e+00 | -- | Inf | 19.10%
251.61/252.42 c 252s| 6000 | 112 | 1257k| 173.0 | 231M | 29 |5344 | 13k|7939 |4827 | 1 | 14k| 22 | 0.000000e+00 | -- | Inf | 19.39%
253.40/254.28 c 254s| 6100 | 108 | 1266k| 171.9 | 232M | 29 |5344 | 13k|7909 |4890 | 0 | 15k| 22 | 0.000000e+00 | -- | Inf | 19.63%
256.49/257.39 c 257s| 6200 | 111 | 1278k| 171.2 | 235M | 29 |5344 | 13k|7956 |5061 | 2 | 15k| 22 | 0.000000e+00 | -- | Inf | 20.14%
258.79/259.61 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
258.79/259.61 c 260s| 6300 | 109 | 1289k| 170.4 | 236M | 29 |5344 | 13k|7946 |5119 | 0 | 15k| 22 | 0.000000e+00 | -- | Inf | 20.43%
261.68/262.56 c 263s| 6400 | 103 | 1306k| 170.4 | 238M | 29 |5344 | 13k|7846 |5275 | 1 | 15k| 22 | 0.000000e+00 | -- | Inf | 21.63%
265.67/266.53 c 267s| 6500 | 109 | 1327k| 170.9 | 240M | 29 |5344 | 13k|7909 |5351 | 1 | 15k| 22 | 0.000000e+00 | -- | Inf | 21.90%
269.27/270.19 c 270s| 6600 | 103 | 1342k| 170.6 | 241M | 29 |5344 | 13k|7872 |5664 | 1 | 15k| 22 | 0.000000e+00 | -- | Inf | 22.89%
273.25/274.16 c 274s| 6700 | 106 | 1357k| 170.4 | 242M | 29 |5344 | 13k|7880 |5969 | 0 | 16k| 22 | 0.000000e+00 | -- | Inf | 23.55%
275.15/276.03 c 276s| 6800 | 102 | 1366k| 169.3 | 242M | 29 |5344 | 13k|7913 |5969 | 0 | 16k| 22 | 0.000000e+00 | -- | Inf | 23.70%
278.03/278.92 c 279s| 6900 | 104 | 1379k| 168.9 | 245M | 29 |5344 | 13k| 0 |6146 | 0 | 16k| 22 | 0.000000e+00 | -- | Inf | 24.07%
279.72/280.66 c 281s| 7000 | 101 | 1393k| 168.4 | 245M | 29 |5344 | 13k|7875 |6152 | 1 | 16k| 22 | 0.000000e+00 | -- | Inf | 24.27%
282.41/283.34 c 283s| 7100 | 93 | 1416k| 169.2 | 245M | 29 |5344 | 13k|7890 |6223 | 0 | 16k| 22 | 0.000000e+00 | -- | Inf | 25.24%
287.21/288.13 c 288s| 7200 | 103 | 1446k| 170.8 | 246M | 29 |5344 | 13k|7911 |6339 | 1 | 16k| 22 | 0.000000e+00 | -- | Inf | 26.70%
289.59/290.59 c 291s| 7300 | 97 | 1466k| 171.1 | 246M | 29 |5344 | 13k|7865 |6413 | 1 | 17k| 22 | 0.000000e+00 | -- | Inf | 26.99%
292.48/293.48 c 293s| 7400 | 102 | 1483k| 171.1 | 246M | 29 |5344 | 13k|7915 |6481 | 0 | 17k| 22 | 0.000000e+00 | -- | Inf | 27.19%
295.09/296.03 c 296s| 7500 | 102 | 1498k| 170.9 | 248M | 29 |5344 | 13k|7925 |6574 | 0 | 17k| 22 | 0.000000e+00 | -- | Inf | 27.42%
296.67/297.61 c 298s| 7600 | 100 | 1507k| 169.9 | 249M | 29 |5344 | 13k|7926 |6580 | 1 | 17k| 22 | 0.000000e+00 | -- | Inf | 27.52%
299.67/300.68 c 301s| 7700 | 99 | 1528k| 170.4 | 249M | 29 |5344 | 13k|7880 |6672 | 0 | 17k| 22 | 0.000000e+00 | -- | Inf | 27.72%
303.36/304.36 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
303.36/304.36 c 304s| 7800 | 114 | 1549k| 170.9 | 250M | 29 |5344 | 13k|7908 |6783 | 0 | 18k| 22 | 0.000000e+00 | -- | Inf | 27.93%
305.95/307.01 c 307s| 7900 | 115 | 1561k| 170.3 | 250M | 29 |5344 | 13k|7911 |6916 | 1 | 18k| 22 | 0.000000e+00 | -- | Inf | 28.31%
308.44/309.44 c 309s| 8000 | 109 | 1572k| 169.7 | 250M | 29 |5344 | 13k|7909 |7054 | 1 | 18k| 22 | 0.000000e+00 | -- | Inf | 28.90%
310.93/311.90 c 312s| 8100 | 101 | 1582k| 168.9 | 250M | 29 |5344 | 13k|7902 |7144 | 1 | 18k| 22 | 0.000000e+00 | -- | Inf | 29.45%
313.72/314.73 c 315s| 8200 | 103 | 1598k| 168.8 | 250M | 29 |5344 | 13k|7910 |7241 | 0 | 19k| 22 | 0.000000e+00 | -- | Inf | 29.73%
315.52/316.55 c 317s| 8300 | 105 | 1608k| 168.0 | 251M | 29 |5344 | 13k|7913 |7308 | 0 | 19k| 22 | 0.000000e+00 | -- | Inf | 29.86%
317.02/318.03 c 318s| 8400 | 105 | 1614k| 167.0 | 251M | 29 |5344 | 13k|7910 |7316 | 1 | 19k| 22 | 0.000000e+00 | -- | Inf | 29.92%
318.91/320.00 c 320s| 8500 | 104 | 1624k| 166.2 | 251M | 29 |5344 | 13k|7918 |7384 | 1 | 19k| 22 | 0.000000e+00 | -- | Inf | 30.32%
321.20/322.22 c 322s| 8600 | 106 | 1634k| 165.5 | 251M | 29 |5344 | 13k|7909 |7432 | 1 | 19k| 22 | 0.000000e+00 | -- | Inf | 30.43%
322.69/323.77 c 324s| 8700 | 98 | 1641k| 164.6 | 251M | 29 |5344 | 14k|7909 |7432 | 0 | 20k| 22 | 0.000000e+00 | -- | Inf | 30.57%
326.10/327.14 c 327s| 8800 | 99 | 1656k| 164.5 | 251M | 29 |5344 | 14k|7913 |7587 | 0 | 20k| 22 | 0.000000e+00 | -- | Inf | 31.27%
330.27/331.34 c 331s| 8900 | 105 | 1673k| 164.5 | 252M | 29 |5344 | 14k|7914 |7861 | 1 | 20k| 22 | 0.000000e+00 | -- | Inf | 32.09%
333.36/334.47 c 334s| 9000 | 103 | 1687k| 164.3 | 252M | 29 |5344 | 14k|7917 |7985 | 1 | 20k| 22 | 0.000000e+00 | -- | Inf | 32.43%
336.55/337.61 c 338s| 9100 | 103 | 1699k| 163.9 | 253M | 29 |5344 | 14k|7913 |8125 | 0 | 20k| 22 | 0.000000e+00 | -- | Inf | 32.81%
340.05/341.15 c 341s| 9200 | 109 | 1717k| 164.0 | 253M | 29 |5344 | 14k|7914 |8223 | 1 | 21k| 22 | 0.000000e+00 | -- | Inf | 33.09%
341.73/342.87 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
341.73/342.87 c 343s| 9300 | 99 | 1726k| 163.3 | 253M | 29 |5344 | 14k|7914 |8234 | 0 | 21k| 22 | 0.000000e+00 | -- | Inf | 33.15%
344.23/345.30 c 345s| 9400 | 101 | 1739k| 163.0 | 253M | 29 |5344 | 14k|7918 |8266 | 1 | 21k| 22 | 0.000000e+00 | -- | Inf | 33.29%
346.82/347.96 c 348s| 9500 | 103 | 1752k| 162.7 | 254M | 29 |5344 | 14k|7920 |8374 | 1 | 21k| 22 | 0.000000e+00 | -- | Inf | 33.47%
348.71/349.83 c 350s| 9600 | 100 | 1762k| 162.0 | 255M | 29 |5344 | 14k|7920 |8374 | 0 | 21k| 22 | 0.000000e+00 | -- | Inf | 33.54%
351.30/352.45 c 352s| 9700 | 98 | 1774k| 161.6 | 255M | 29 |5344 | 14k|7912 |8453 | 1 | 22k| 22 | 0.000000e+00 | -- | Inf | 33.67%
353.80/354.94 c 355s| 9800 | 95 | 1789k| 161.5 | 255M | 29 |5344 | 14k|7876 |8554 | 0 | 22k| 22 | 0.000000e+00 | -- | Inf | 34.11%
358.38/359.59 c 360s| 9900 | 100 | 1819k| 162.8 | 255M | 29 |5344 | 14k|7904 |8718 | 1 | 22k| 22 | 0.000000e+00 | -- | Inf | 34.96%
361.17/362.37 c 362s| 10000 | 111 | 1836k| 162.9 | 258M | 29 |5344 | 14k|7903 |8870 | 1 | 22k| 22 | 0.000000e+00 | -- | Inf | 35.41%
363.66/364.81 c 365s| 10100 | 103 | 1849k| 162.6 | 259M | 29 |5344 | 14k|7888 |8937 | 0 | 23k| 22 | 0.000000e+00 | -- | Inf | 35.51%
366.16/367.30 c 367s| 10200 | 108 | 1863k| 162.4 | 260M | 29 |5344 | 14k|7887 |9130 | 0 | 23k| 22 | 0.000000e+00 | -- | Inf | 36.12%
368.86/370.03 c 370s| 10300 | 105 | 1875k| 162.0 | 260M | 29 |5344 | 14k|7899 |9224 | 0 | 23k| 22 | 0.000000e+00 | -- | Inf | 36.60%
371.34/372.50 c 372s| 10400 | 100 | 1886k| 161.6 | 260M | 29 |5344 | 14k|7904 |9393 | 1 | 23k| 22 | 0.000000e+00 | -- | Inf | 37.21%
373.63/374.87 c 375s| 10500 | 103 | 1900k| 161.4 | 260M | 29 |5344 | 14k|7872 |9485 | 0 | 23k| 22 | 0.000000e+00 | -- | Inf | 37.47%
376.84/378.08 c 378s| 10600 | 104 | 1915k| 161.3 | 261M | 29 |5344 | 14k|7877 |9595 | 1 | 24k| 22 | 0.000000e+00 | -- | Inf | 37.85%
378.42/379.62 c 380s| 10700 | 101 | 1921k| 160.5 | 261M | 29 |5344 | 14k|7875 |9664 | 0 | 24k| 22 | 0.000000e+00 | -- | Inf | 38.05%
379.93/381.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
379.93/381.18 c 381s| 10800 | 109 | 1929k| 159.7 | 261M | 29 |5344 | 14k|7906 |9669 | 1 | 24k| 22 | 0.000000e+00 | -- | Inf | 38.13%
382.11/383.38 c 383s| 10900 | 104 | 1939k| 159.3 | 261M | 29 |5344 | 14k|7877 |9781 | 0 | 24k| 22 | 0.000000e+00 | -- | Inf | 38.46%
383.40/384.68 c 385s| 11000 | 99 | 1944k| 158.4 | 261M | 29 |5344 | 14k|7884 |9799 | 0 | 24k| 22 | 0.000000e+00 | -- | Inf | 38.50%
385.10/386.35 c 386s| 11100 | 99 | 1953k| 157.8 | 261M | 29 |5344 | 14k|7873 |9839 | 1 | 25k| 22 | 0.000000e+00 | -- | Inf | 38.63%
386.69/387.92 c 388s| 11200 | 103 | 1960k| 157.1 | 261M | 29 |5344 | 14k|7873 |9909 | 1 | 25k| 22 | 0.000000e+00 | -- | Inf | 38.82%
388.90/390.11 c 390s| 11300 | 111 | 1970k| 156.6 | 261M | 29 |5344 | 14k|7876 | 10k| 1 | 25k| 22 | 0.000000e+00 | -- | Inf | 38.92%
390.08/391.33 c 391s| 11400 | 106 | 1975k| 155.8 | 261M | 29 |5344 | 14k|7888 | 10k| 0 | 25k| 22 | 0.000000e+00 | -- | Inf | 38.97%
391.58/392.80 c 393s| 11500 | 107 | 1981k| 155.1 | 261M | 29 |5344 | 14k|7874 | 10k| 1 | 25k| 22 | 0.000000e+00 | -- | Inf | 39.04%
393.57/394.89 c 395s| 11600 | 104 | 1989k| 154.5 | 261M | 29 |5344 | 14k| 0 | 10k| 0 | 25k| 22 | 0.000000e+00 | -- | Inf | 39.10%
395.16/396.48 c 396s| 11700 | 102 | 2001k| 154.2 | 261M | 29 |5344 | 14k|7871 | 10k| 1 | 26k| 22 | 0.000000e+00 | -- | Inf | 39.24%
397.56/398.87 c 399s| 11800 | 100 | 2013k| 153.9 | 261M | 29 |5344 | 15k|7875 | 10k| 0 | 26k| 22 | 0.000000e+00 | -- | Inf | 39.62%
400.15/401.48 c 401s| 11900 | 109 | 2026k| 153.7 | 261M | 29 |5344 | 15k|7874 | 10k| 1 | 26k| 22 | 0.000000e+00 | -- | Inf | 39.71%
402.34/403.63 c 404s| 12000 | 109 | 2036k| 153.3 | 261M | 29 |5344 | 15k|7880 | 10k| 1 | 26k| 22 | 0.000000e+00 | -- | Inf | 39.78%
404.54/405.83 c 406s| 12100 | 105 | 2046k| 152.9 | 261M | 29 |5344 | 15k|7884 | 10k| 1 | 27k| 22 | 0.000000e+00 | -- | Inf | 39.81%
405.93/407.26 c 407s| 12200 | 104 | 2052k| 152.2 | 261M | 29 |5344 | 15k|7880 | 10k| 0 | 27k| 22 | 0.000000e+00 | -- | Inf | 39.83%
407.53/408.87 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
407.53/408.87 c 409s| 12300 | 102 | 2060k| 151.7 | 261M | 29 |5344 | 15k|7869 | 10k| 1 | 27k| 22 | 0.000000e+00 | -- | Inf | 39.90%
409.12/410.48 c 410s| 12400 | 106 | 2069k| 151.2 | 261M | 29 |5344 | 15k|7848 | 10k| 0 | 27k| 22 | 0.000000e+00 | -- | Inf | 40.05%
410.12/411.46 c 411s| 12500 | 97 | 2074k| 150.5 | 261M | 29 |5344 | 15k|7879 | 10k| 0 | 27k| 22 | 0.000000e+00 | -- | Inf | 40.10%
412.41/413.74 c 414s| 12600 | 94 | 2092k| 150.7 | 262M | 29 |5344 | 15k|7903 | 10k| 0 | 28k| 22 | 0.000000e+00 | -- | Inf | 40.51%
418.19/419.58 c 420s| 12700 | 99 | 2112k| 151.0 | 262M | 29 |5344 | 15k|7862 | 10k| 0 | 28k| 22 | 0.000000e+00 | -- | Inf | 43.10%
422.79/424.15 c 424s| 12800 | 94 | 2145k| 152.3 | 266M | 29 |5344 | 15k|7846 | 10k| 0 | 28k| 22 | 0.000000e+00 | -- | Inf | 46.28%
427.86/429.21 c 429s| 12900 | 113 | 2184k| 154.0 | 266M | 29 |5344 | 15k|7872 | 11k| 1 | 28k| 22 | 0.000000e+00 | -- | Inf | 46.87%
431.25/432.66 c 433s| 13000 | 118 | 2201k| 154.1 | 267M | 29 |5344 | 14k|7915 | 11k| 0 | 28k| 22 | 0.000000e+00 | -- | Inf | 47.21%
433.44/434.89 c 435s| 13100 | 120 | 2219k| 154.3 | 267M | 29 |5344 | 14k|7867 | 11k| 1 | 29k| 22 | 0.000000e+00 | -- | Inf | 47.44%
436.43/437.84 c 438s| 13200 | 119 | 2236k| 154.4 | 268M | 29 |5344 | 14k|7872 | 11k| 0 | 29k| 22 | 0.000000e+00 | -- | Inf | 47.91%
438.64/440.03 c 440s| 13300 | 119 | 2245k| 154.0 | 268M | 29 |5344 | 14k|7877 | 11k| 0 | 29k| 22 | 0.000000e+00 | -- | Inf | 48.20%
440.73/442.14 c 442s| 13400 | 118 | 2255k| 153.6 | 268M | 29 |5344 | 14k|7874 | 11k| 0 | 29k| 22 | 0.000000e+00 | -- | Inf | 48.36%
443.11/444.58 c 445s| 13500 | 114 | 2273k| 153.8 | 268M | 29 |5344 | 14k|7872 | 11k| 0 | 29k| 22 | 0.000000e+00 | -- | Inf | 49.45%
445.50/446.91 c 447s| 13600 | 117 | 2286k| 153.6 | 268M | 29 |5344 | 14k|7878 | 11k| 1 | 29k| 22 | 0.000000e+00 | -- | Inf | 50.01%
448.61/450.10 c 450s| 13700 | 119 | 2305k| 153.9 | 268M | 29 |5344 | 14k|7847 | 12k| 1 | 30k| 22 | 0.000000e+00 | -- | Inf | 50.46%
451.29/452.71 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
451.29/452.71 c 453s| 13800 | 117 | 2323k| 154.1 | 268M | 29 |5344 | 14k|7870 | 12k| 1 | 30k| 22 | 0.000000e+00 | -- | Inf | 51.03%
453.38/454.88 c 455s| 13900 | 119 | 2338k| 154.0 | 268M | 29 |5344 | 14k|7874 | 12k| 1 | 30k| 22 | 0.000000e+00 | -- | Inf | 51.17%
455.58/457.03 c 457s| 14000 | 113 | 2353k| 154.0 | 272M | 29 |5344 | 14k|7873 | 12k| 0 | 30k| 22 | 0.000000e+00 | -- | Inf | 51.46%
457.36/458.84 c 459s| 14100 | 114 | 2366k| 153.8 | 272M | 29 |5344 | 14k|7889 | 12k| 0 | 31k| 22 | 0.000000e+00 | -- | Inf | 51.75%
460.05/461.56 c 462s| 14200 | 115 | 2381k| 153.8 | 272M | 29 |5344 | 14k|7873 | 12k| 0 | 31k| 22 | 0.000000e+00 | -- | Inf | 51.93%
461.95/463.47 c 463s| 14300 | 116 | 2393k| 153.6 | 272M | 29 |5344 | 14k|7875 | 12k| 0 | 31k| 22 | 0.000000e+00 | -- | Inf | 52.09%
463.56/465.08 c 465s| 14400 | 115 | 2401k| 153.2 | 272M | 29 |5344 | 14k|7869 | 12k| 0 | 31k| 22 | 0.000000e+00 | -- | Inf | 52.22%
465.56/467.02 c 467s| 14500 | 114 | 2412k| 152.9 | 272M | 29 |5344 | 14k|7871 | 12k| 0 | 31k| 22 | 0.000000e+00 | -- | Inf | 52.58%
468.55/470.01 c 470s| 14600 | 119 | 2427k| 152.9 | 272M | 29 |5344 | 14k|7880 | 12k| 1 | 32k| 22 | 0.000000e+00 | -- | Inf | 53.59%
471.43/472.91 c 473s| 14700 | 115 | 2439k| 152.6 | 272M | 29 |5344 | 14k|7895 | 13k| 1 | 32k| 22 | 0.000000e+00 | -- | Inf | 54.06%
473.92/475.41 c 475s| 14800 | 107 | 2452k| 152.5 | 275M | 29 |5344 | 14k|7869 | 13k| 0 | 32k| 22 | 0.000000e+00 | -- | Inf | 55.03%
477.52/479.09 c 479s| 14900 | 110 | 2465k| 152.3 | 275M | 29 |5344 | 14k|7895 | 13k| 0 | 32k| 22 | 0.000000e+00 | -- | Inf | 55.99%
480.30/481.85 c 482s| 15000 | 111 | 2476k| 152.1 | 276M | 29 |5344 | 14k|7887 | 13k| 1 | 32k| 22 | 0.000000e+00 | -- | Inf | 56.54%
482.09/483.65 c 484s| 15100 | 107 | 2483k| 151.6 | 276M | 29 |5344 | 14k|7880 | 13k| 1 | 33k| 22 | 0.000000e+00 | -- | Inf | 56.74%
484.78/486.36 c 486s| 15200 | 111 | 2497k| 151.5 | 276M | 29 |5344 | 14k|7861 | 14k| 1 | 33k| 22 | 0.000000e+00 | -- | Inf | 57.41%
487.27/488.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
487.27/488.88 c 489s| 15300 | 109 | 2515k| 151.7 | 277M | 29 |5344 | 15k|7904 | 14k| 2 | 33k| 22 | 0.000000e+00 | -- | Inf | 57.59%
489.97/491.59 c 492s| 15400 | 105 | 2533k| 151.8 | 277M | 29 |5344 | 15k|7846 | 14k| 1 | 33k| 22 | 0.000000e+00 | -- | Inf | 58.58%
493.16/494.76 c 495s| 15500 | 103 | 2557k| 152.4 | 277M | 29 |5344 | 14k|7846 | 14k| 1 | 33k| 22 | 0.000000e+00 | -- | Inf | 59.48%
497.94/499.51 c 499s| 15600 | 101 | 2575k| 152.5 | 278M | 29 |5344 | 15k|7887 | 15k| 1 | 34k| 22 | 0.000000e+00 | -- | Inf | 62.33%
503.23/504.84 c 505s| 15700 | 102 | 2606k| 153.5 | 278M | 29 |5344 | 14k|7861 | 15k| 0 | 34k| 22 | 0.000000e+00 | -- | Inf | 64.53%
506.91/508.50 c 508s| 15800 | 109 | 2630k| 154.0 | 280M | 29 |5344 | 14k|7865 | 15k| 1 | 34k| 22 | 0.000000e+00 | -- | Inf | 66.35%
509.01/510.62 c 511s| 15900 | 109 | 2642k| 153.8 | 280M | 29 |5344 | 14k|7862 | 15k| 0 | 34k| 22 | 0.000000e+00 | -- | Inf | 66.93%
511.30/512.93 c 513s| 16000 | 111 | 2654k| 153.6 | 280M | 29 |5344 | 14k|7870 | 15k| 1 | 35k| 22 | 0.000000e+00 | -- | Inf | 67.32%
514.09/515.79 c 516s| 16100 | 108 | 2671k| 153.7 | 280M | 29 |5344 | 14k|7862 | 15k| 1 | 35k| 22 | 0.000000e+00 | -- | Inf | 68.08%
517.28/518.92 c 519s| 16200 | 107 | 2686k| 153.7 | 280M | 29 |5344 | 14k|7868 | 16k| 0 | 35k| 22 | 0.000000e+00 | -- | Inf | 68.70%
519.27/521.01 c 521s| 16300 | 110 | 2698k| 153.5 | 280M | 29 |5344 | 14k|7883 | 16k| 0 | 35k| 22 | 0.000000e+00 | -- | Inf | 69.01%
521.57/523.28 c 523s| 16400 | 104 | 2708k| 153.2 | 280M | 29 |5344 | 15k|7873 | 16k| 1 | 35k| 22 | 0.000000e+00 | -- | Inf | 69.88%
524.16/525.80 c 526s| 16500 | 90 | 2738k| 154.0 | 280M | 29 |5344 | 14k|7876 | 16k| 0 | 36k| 22 | 0.000000e+00 | -- | Inf | 70.27%
528.65/530.30 c 530s| 16600 | 101 | 2764k| 154.6 | 280M | 29 |5344 | 14k|7903 | 16k| 1 | 36k| 22 | 0.000000e+00 | -- | Inf | 70.54%
530.54/532.27 c 532s| 16700 | 91 | 2782k| 154.7 | 282M | 29 |5344 | 14k|7913 | 16k| 1 | 36k| 22 | 0.000000e+00 | -- | Inf | 70.66%
532.53/534.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
532.53/534.23 c 534s| 16800 | 88 | 2804k| 155.1 | 282M | 29 |5344 | 14k|7915 | 16k| 1 | 36k| 22 | 0.000000e+00 | -- | Inf | 70.78%
535.12/536.85 c 537s| 16900 | 83 | 2826k| 155.5 | 282M | 29 |5344 | 14k|7917 | 16k| 0 | 37k| 22 | 0.000000e+00 | -- | Inf | 70.93%
537.33/539.05 c 539s| 17000 | 83 | 2852k| 156.0 | 282M | 29 |5344 | 14k|7917 | 16k| 0 | 37k| 22 | 0.000000e+00 | -- | Inf | 70.97%
540.51/542.22 c 542s| 17100 | 86 | 2869k| 156.1 | 282M | 29 |5344 | 14k|7906 | 16k| 0 | 37k| 22 | 0.000000e+00 | -- | Inf | 71.04%
542.00/543.74 c 544s| 17200 | 91 | 2881k| 155.9 | 282M | 29 |5344 | 15k|7907 | 16k| 1 | 37k| 22 | 0.000000e+00 | -- | Inf | 71.08%
545.19/546.90 c 547s| 17300 | 93 | 2894k| 155.8 | 282M | 29 |5344 | 15k|7913 | 16k| 0 | 37k| 22 | 0.000000e+00 | -- | Inf | 71.10%
546.58/548.34 c 548s| 17400 | 87 | 2902k| 155.4 | 282M | 29 |5344 | 15k|7909 | 16k| 1 | 38k| 22 | 0.000000e+00 | -- | Inf | 71.11%
548.88/550.61 c 551s| 17500 | 86 | 2918k| 155.4 | 282M | 29 |5344 | 15k|7916 | 16k| 0 | 38k| 22 | 0.000000e+00 | -- | Inf | 71.17%
551.28/553.09 c 553s| 17600 | 83 | 2938k| 155.6 | 282M | 29 |5344 | 15k|7907 | 16k| 1 | 38k| 22 | 0.000000e+00 | -- | Inf | 71.27%
554.75/556.53 c 557s| 17700 | 89 | 2957k| 155.8 | 283M | 29 |5344 | 15k|7909 | 16k| 1 | 38k| 22 | 0.000000e+00 | -- | Inf | 72.03%
557.14/559.00 c 559s| 17800 | 93 | 2968k| 155.6 | 283M | 29 |5344 | 15k|7918 | 17k| 1 | 39k| 22 | 0.000000e+00 | -- | Inf | 72.53%
558.73/560.54 c 561s| 17900 | 86 | 2975k| 155.1 | 283M | 29 |5344 | 15k|7915 | 17k| 0 | 39k| 22 | 0.000000e+00 | -- | Inf | 72.76%
561.03/562.84 c 563s| 18000 | 80 | 2990k| 155.1 | 283M | 29 |5344 | 15k|7867 | 17k| 1 | 39k| 22 | 0.000000e+00 | -- | Inf | 73.13%
563.22/565.07 c 565s| 18100 | 72 | 3007k| 155.2 | 283M | 29 |5344 | 15k|7895 | 17k| 1 | 39k| 22 | 0.000000e+00 | -- | Inf | 73.46%
566.70/568.50 c 568s| 18200 | 78 | 3034k| 155.8 | 283M | 29 |5344 | 15k|7905 | 17k| 1 | 40k| 22 | 0.000000e+00 | -- | Inf | 73.84%
568.49/570.30 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
568.49/570.30 c 570s| 18300 | 76 | 3047k| 155.6 | 283M | 29 |5344 | 16k|7910 | 17k| 1 | 40k| 22 | 0.000000e+00 | -- | Inf | 73.96%
571.49/573.39 c 573s| 18400 | 79 | 3060k| 155.5 | 283M | 29 |5344 | 16k|7905 | 17k| 1 | 40k| 22 | 0.000000e+00 | -- | Inf | 74.73%
573.97/575.83 c 576s| 18500 | 77 | 3080k| 155.7 | 283M | 29 |5344 | 16k|7916 | 17k| 0 | 40k| 22 | 0.000000e+00 | -- | Inf | 75.15%
575.28/577.18 c 577s| 18600 | 74 | 3088k| 155.3 | 283M | 29 |5344 | 16k|7917 | 17k| 1 | 40k| 22 | 0.000000e+00 | -- | Inf | 75.24%
577.56/579.43 c 579s| 18700 | 69 | 3098k| 155.1 | 283M | 29 |5344 | 16k|7920 | 17k| 0 | 41k| 22 | 0.000000e+00 | -- | Inf | 75.43%
579.55/581.46 c 581s| 18800 | 76 | 3111k| 155.0 | 287M | 29 |5344 | 16k|7906 | 17k| 1 | 41k| 22 | 0.000000e+00 | -- | Inf | 75.52%
581.35/583.22 c 583s| 18900 | 76 | 3122k| 154.7 | 287M | 29 |5344 | 16k|7924 | 17k| 1 | 41k| 22 | 0.000000e+00 | -- | Inf | 75.56%
583.54/585.45 c 585s| 19000 | 72 | 3135k| 154.6 | 288M | 29 |5344 | 16k|7919 | 17k| 1 | 41k| 22 | 0.000000e+00 | -- | Inf | 75.82%
587.42/589.35 c 589s| 19100 | 62 | 3151k| 154.6 | 289M | 29 |5344 | 16k|7874 | 17k| 0 | 41k| 22 | 0.000000e+00 | -- | Inf | 75.96%
589.73/591.63 c 592s| 19200 | 73 | 3168k| 154.7 | 289M | 29 |5344 | 16k|7871 | 17k| 1 | 42k| 22 | 0.000000e+00 | -- | Inf | 76.30%
591.23/593.16 c 593s| 19300 | 67 | 3176k| 154.3 | 289M | 29 |5344 | 16k|7865 | 17k| 1 | 42k| 22 | 0.000000e+00 | -- | Inf | 76.34%
592.92/594.87 c 595s| 19400 | 69 | 3184k| 154.0 | 289M | 29 |5344 | 16k|7877 | 17k| 1 | 42k| 22 | 0.000000e+00 | -- | Inf | 76.40%
594.81/596.79 c 597s| 19500 | 64 | 3194k| 153.7 | 289M | 29 |5344 | 16k|7868 | 17k| 1 | 42k| 22 | 0.000000e+00 | -- | Inf | 76.47%
599.99/601.91 c 602s| 19600 | 65 | 3213k| 153.9 | 289M | 29 |5344 | 16k|7874 | 18k| 0 | 42k| 22 | 0.000000e+00 | -- | Inf | 76.96%
601.69/603.63 c 604s| 19700 | 69 | 3221k| 153.5 | 289M | 29 |5344 | 16k|7878 | 18k| 0 | 42k| 22 | 0.000000e+00 | -- | Inf | 77.03%
603.48/605.47 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
603.48/605.47 c 605s| 19800 | 70 | 3229k| 153.2 | 289M | 29 |5344 | 16k|7877 | 18k| 1 | 43k| 22 | 0.000000e+00 | -- | Inf | 77.12%
605.57/607.60 c 608s| 19900 | 74 | 3242k| 153.1 | 289M | 29 |5344 | 16k|7887 | 18k| 1 | 43k| 22 | 0.000000e+00 | -- | Inf | 77.13%
607.46/609.47 c 609s| 20000 | 72 | 3251k| 152.8 | 289M | 29 |5344 | 16k|7878 | 18k| 1 | 43k| 22 | 0.000000e+00 | -- | Inf | 77.15%
609.17/611.11 c 611s| 20100 | 68 | 3262k| 152.6 | 289M | 29 |5344 | 16k|7878 | 18k| 0 | 43k| 22 | 0.000000e+00 | -- | Inf | 77.18%
610.95/613.00 c 613s| 20200 | 72 | 3271k| 152.3 | 289M | 29 |5344 | 16k|7876 | 18k| 1 | 43k| 22 | 0.000000e+00 | -- | Inf | 77.26%
612.95/614.97 c 615s| 20300 | 68 | 3280k| 152.0 | 289M | 29 |5344 | 16k|7876 | 18k| 0 | 44k| 22 | 0.000000e+00 | -- | Inf | 77.33%
615.05/617.06 c 617s| 20400 | 63 | 3290k| 151.8 | 289M | 29 |5344 | 17k|7888 | 18k| 0 | 44k| 22 | 0.000000e+00 | -- | Inf | 77.44%
618.04/620.04 c 620s| 20500 | 68 | 3305k| 151.7 | 289M | 29 |5344 | 17k|7869 | 18k| 0 | 44k| 22 | 0.000000e+00 | -- | Inf | 77.78%
621.42/623.46 c 623s| 20600 | 79 | 3318k| 151.7 | 289M | 29 |5344 | 17k|7870 | 18k| 1 | 44k| 22 | 0.000000e+00 | -- | Inf | 78.09%
623.22/625.28 c 625s| 20700 | 75 | 3328k| 151.4 | 289M | 29 |5344 | 17k|7887 | 18k| 1 | 45k| 22 | 0.000000e+00 | -- | Inf | 78.19%
625.50/627.55 c 628s| 20800 | 78 | 3338k| 151.2 | 289M | 29 |5344 | 17k|7867 | 18k| 1 | 45k| 22 | 0.000000e+00 | -- | Inf | 78.44%
626.90/628.92 c 629s| 20900 | 67 | 3346k| 150.8 | 289M | 29 |5344 | 17k|7874 | 18k| 0 | 45k| 22 | 0.000000e+00 | -- | Inf | 78.57%
628.59/630.63 c 631s| 21000 | 63 | 3356k| 150.6 | 290M | 29 |5344 | 17k|7875 | 18k| 0 | 45k| 22 | 0.000000e+00 | -- | Inf | 79.03%
630.78/632.89 c 633s| 21100 | 68 | 3369k| 150.5 | 290M | 29 |5344 | 17k|7876 | 18k| 0 | 45k| 22 | 0.000000e+00 | -- | Inf | 79.36%
633.09/635.15 c 635s| 21200 | 68 | 3380k| 150.4 | 290M | 29 |5344 | 17k|7869 | 18k| 1 | 46k| 22 | 0.000000e+00 | -- | Inf | 79.66%
635.66/637.73 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
635.66/637.73 c 638s| 21300 | 72 | 3391k| 150.2 | 290M | 29 |5344 | 17k|7870 | 19k| 0 | 46k| 22 | 0.000000e+00 | -- | Inf | 79.83%
636.97/639.06 c 639s| 21400 | 73 | 3398k| 149.8 | 290M | 29 |5344 | 17k|7870 | 19k| 0 | 46k| 22 | 0.000000e+00 | -- | Inf | 79.89%
639.06/641.15 c 641s| 21500 | 65 | 3413k| 149.8 | 290M | 29 |5344 | 17k|7870 | 19k| 0 | 46k| 22 | 0.000000e+00 | -- | Inf | 79.98%
640.65/642.73 c 643s| 21600 | 68 | 3426k| 149.7 | 290M | 29 |5344 | 17k|7870 | 19k| 1 | 46k| 22 | 0.000000e+00 | -- | Inf | 80.03%
642.95/645.09 c 645s| 21700 | 70 | 3440k| 149.7 | 292M | 29 |5344 | 17k|7873 | 19k| 1 | 47k| 22 | 0.000000e+00 | -- | Inf | 80.22%
644.73/646.86 c 647s| 21800 | 69 | 3449k| 149.4 | 292M | 29 |5344 | 17k|7878 | 19k| 1 | 47k| 22 | 0.000000e+00 | -- | Inf | 80.34%
646.23/648.32 c 648s| 21900 | 68 | 3457k| 149.1 | 292M | 29 |5344 | 17k|7880 | 19k| 1 | 47k| 22 | 0.000000e+00 | -- | Inf | 80.44%
648.82/650.96 c 651s| 22000 | 69 | 3469k| 149.0 | 292M | 29 |5344 | 17k|7873 | 19k| 0 | 47k| 22 | 0.000000e+00 | -- | Inf | 80.72%
650.61/652.71 c 653s| 22100 | 71 | 3479k| 148.8 | 292M | 29 |5344 | 17k|7876 | 19k| 0 | 48k| 22 | 0.000000e+00 | -- | Inf | 80.86%
651.92/654.08 c 654s| 22200 | 71 | 3486k| 148.4 | 292M | 29 |5344 | 17k|7881 | 19k| 0 | 48k| 22 | 0.000000e+00 | -- | Inf | 80.92%
653.60/655.78 c 656s| 22300 | 68 | 3495k| 148.2 | 292M | 29 |5344 | 17k|7881 | 19k| 1 | 48k| 22 | 0.000000e+00 | -- | Inf | 80.94%
655.10/657.21 c 657s| 22400 | 67 | 3502k| 147.9 | 292M | 29 |5344 | 17k|7876 | 19k| 0 | 48k| 22 | 0.000000e+00 | -- | Inf | 80.95%
656.29/658.40 c 658s| 22500 | 67 | 3508k| 147.5 | 292M | 29 |5344 | 17k|7883 | 19k| 0 | 48k| 22 | 0.000000e+00 | -- | Inf | 80.96%
658.69/660.87 c 661s| 22600 | 72 | 3522k| 147.4 | 292M | 29 |5344 | 17k|7876 | 19k| 0 | 49k| 22 | 0.000000e+00 | -- | Inf | 81.11%
660.18/662.33 c 662s| 22700 | 66 | 3531k| 147.2 | 292M | 29 |5344 | 17k|7870 | 19k| 0 | 49k| 22 | 0.000000e+00 | -- | Inf | 81.26%
662.47/664.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
662.47/664.68 c 665s| 22800 | 71 | 3544k| 147.1 | 292M | 29 |5344 | 17k|7869 | 19k| 1 | 49k| 22 | 0.000000e+00 | -- | Inf | 81.67%
664.06/666.25 c 666s| 22900 | 70 | 3552k| 146.9 | 295M | 29 |5344 | 17k|7872 | 19k| 0 | 49k| 22 | 0.000000e+00 | -- | Inf | 81.77%
667.16/669.36 c 669s| 23000 | 65 | 3566k| 146.9 | 295M | 29 |5344 | 17k|7870 | 19k| 0 | 49k| 22 | 0.000000e+00 | -- | Inf | 81.93%
668.75/670.96 c 671s| 23100 | 65 | 3575k| 146.6 | 295M | 29 |5344 | 17k|7880 | 19k| 1 | 50k| 22 | 0.000000e+00 | -- | Inf | 82.01%
670.74/672.92 c 673s| 23200 | 65 | 3586k| 146.4 | 295M | 29 |5344 | 17k|7877 | 19k| 0 | 50k| 22 | 0.000000e+00 | -- | Inf | 82.12%
672.14/674.35 c 674s| 23300 | 67 | 3592k| 146.1 | 295M | 29 |5344 | 17k|7877 | 19k| 0 | 50k| 22 | 0.000000e+00 | -- | Inf | 82.16%
686.81/689.06 c 689s| 23400 | 63 | 3623k| 146.8 | 295M | 29 |5344 | 17k|7871 | 20k| 2 | 50k| 22 | 0.000000e+00 | -- | Inf | 82.33%
689.69/691.96 c 692s| 23500 | 76 | 3640k| 146.8 | 295M | 29 |5344 | 17k|7868 | 20k| 1 | 50k| 22 | 0.000000e+00 | -- | Inf | 82.77%
690.90/693.19 c 693s| 23600 | 70 | 3646k| 146.5 | 295M | 29 |5344 | 17k|7868 | 20k| 1 | 51k| 22 | 0.000000e+00 | -- | Inf | 82.93%
692.58/694.83 c 695s| 23700 | 69 | 3658k| 146.4 | 295M | 29 |5344 | 17k|7866 | 20k| 0 | 51k| 22 | 0.000000e+00 | -- | Inf | 82.97%
694.47/696.79 c 697s| 23800 | 68 | 3669k| 146.3 | 295M | 29 |5344 | 17k|7870 | 20k| 0 | 51k| 22 | 0.000000e+00 | -- | Inf | 83.06%
696.07/698.37 c 698s| 23900 | 69 | 3677k| 146.0 | 295M | 29 |5344 | 17k|7867 | 20k| 1 | 52k| 22 | 0.000000e+00 | -- | Inf | 83.15%
698.36/700.60 c 701s| 24000 | 68 | 3689k| 145.9 | 295M | 29 |5344 | 17k|7876 | 20k| 0 | 52k| 22 | 0.000000e+00 | -- | Inf | 83.37%
700.26/702.59 c 703s| 24100 | 66 | 3700k| 145.7 | 295M | 29 |5344 | 17k|7876 | 20k| 0 | 52k| 22 | 0.000000e+00 | -- | Inf | 83.49%
701.95/704.28 c 704s| 24200 | 64 | 3708k| 145.5 | 295M | 29 |5344 | 17k|7881 | 20k| 0 | 52k| 22 | 0.000000e+00 | -- | Inf | 83.57%
703.76/706.05 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
703.76/706.05 c 706s| 24300 | 76 | 3717k| 145.3 | 295M | 29 |5344 | 17k|7873 | 20k| 1 | 52k| 22 | 0.000000e+00 | -- | Inf | 83.63%
705.24/707.57 c 708s| 24400 | 72 | 3726k| 145.1 | 295M | 29 |5344 | 17k|7875 | 20k| 0 | 53k| 22 | 0.000000e+00 | -- | Inf | 83.68%
706.94/709.25 c 709s| 24500 | 73 | 3738k| 144.9 | 295M | 29 |5344 | 17k|7875 | 20k| 0 | 53k| 22 | 0.000000e+00 | -- | Inf | 83.76%
708.33/710.60 c 711s| 24600 | 75 | 3746k| 144.7 | 296M | 29 |5344 | 17k|7875 | 20k| 0 | 53k| 22 | 0.000000e+00 | -- | Inf | 83.79%
709.74/712.06 c 712s| 24700 | 71 | 3753k| 144.4 | 296M | 29 |5344 | 17k|7877 | 20k| 1 | 53k| 22 | 0.000000e+00 | -- | Inf | 83.82%
711.83/714.14 c 714s| 24800 | 66 | 3765k| 144.3 | 296M | 29 |5344 | 17k|7867 | 20k| 0 | 54k| 22 | 0.000000e+00 | -- | Inf | 84.05%
714.73/717.02 c 717s| 24900 | 66 | 3779k| 144.3 | 296M | 29 |5344 | 17k| 0 | 20k| 0 | 54k| 22 | 0.000000e+00 | -- | Inf | 84.61%
716.31/718.64 c 719s| 25000 | 72 | 3788k| 144.1 | 296M | 29 |5344 | 17k|7876 | 20k| 1 | 54k| 22 | 0.000000e+00 | -- | Inf | 84.66%
718.30/720.63 c 721s| 25100 | 68 | 3799k| 144.0 | 296M | 29 |5344 | 17k|7876 | 20k| 0 | 54k| 22 | 0.000000e+00 | -- | Inf | 84.69%
719.81/722.12 c 722s| 25200 | 72 | 3808k| 143.8 | 296M | 29 |5344 | 17k|7879 | 20k| 2 | 55k| 22 | 0.000000e+00 | -- | Inf | 84.70%
721.39/723.77 c 724s| 25300 | 66 | 3817k| 143.6 | 296M | 29 |5344 | 17k|7879 | 20k| 0 | 55k| 22 | 0.000000e+00 | -- | Inf | 84.72%
722.59/724.99 c 725s| 25400 | 68 | 3823k| 143.3 | 296M | 29 |5344 | 17k|7883 | 20k| 1 | 55k| 22 | 0.000000e+00 | -- | Inf | 84.74%
723.80/726.19 c 726s| 25500 | 63 | 3829k| 142.9 | 296M | 29 |5344 | 17k| 0 | 20k| 0 | 55k| 22 | 0.000000e+00 | -- | Inf | 84.77%
726.18/728.59 c 729s| 25600 | 68 | 3842k| 142.9 | 299M | 29 |5344 | 17k|7876 | 20k| 1 | 55k| 22 | 0.000000e+00 | -- | Inf | 85.02%
727.57/729.94 c 730s| 25700 | 68 | 3850k| 142.7 | 299M | 29 |5344 | 17k|7881 | 21k| 1 | 56k| 22 | 0.000000e+00 | -- | Inf | 85.11%
729.27/731.64 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
729.27/731.64 c 732s| 25800 | 67 | 3861k| 142.5 | 299M | 29 |5344 | 17k|7876 | 21k| 0 | 56k| 22 | 0.000000e+00 | -- | Inf | 85.18%
731.67/734.06 c 734s| 25900 | 70 | 3875k| 142.5 | 299M | 29 |5344 | 17k|7870 | 21k| 1 | 56k| 22 | 0.000000e+00 | -- | Inf | 85.27%
733.16/735.57 c 736s| 26000 | 64 | 3885k| 142.4 | 299M | 29 |5344 | 17k|7854 | 21k| 0 | 56k| 22 | 0.000000e+00 | -- | Inf | 85.36%
736.55/738.90 c 739s| 26100 | 70 | 3911k| 142.8 | 299M | 29 |5344 | 17k|7864 | 21k| 1 | 57k| 22 | 0.000000e+00 | -- | Inf | 85.97%
739.65/742.04 c 742s| 26200 | 71 | 3930k| 143.0 | 299M | 29 |5344 | 17k|7874 | 21k| 0 | 57k| 22 | 0.000000e+00 | -- | Inf | 86.19%
741.43/743.88 c 744s| 26300 | 67 | 3944k| 142.9 | 299M | 29 |5344 | 17k|7880 | 21k| 1 | 57k| 22 | 0.000000e+00 | -- | Inf | 86.36%
742.74/745.13 c 745s| 26400 | 68 | 3952k| 142.7 | 299M | 29 |5344 | 17k|7898 | 21k| 0 | 57k| 22 | 0.000000e+00 | -- | Inf | 86.43%
744.52/746.98 c 747s| 26500 | 65 | 3960k| 142.5 | 299M | 29 |5344 | 17k|7882 | 21k| 2 | 57k| 22 | 0.000000e+00 | -- | Inf | 86.63%
747.91/750.30 c 750s| 26600 | 67 | 3981k| 142.8 | 299M | 29 |5344 | 17k|7897 | 21k| 1 | 58k| 22 | 0.000000e+00 | -- | Inf | 87.09%
750.80/753.20 c 753s| 26700 | 67 | 3995k| 142.7 | 299M | 29 |5344 | 17k|7873 | 21k| 0 | 58k| 22 | 0.000000e+00 | -- | Inf | 87.27%
753.50/755.92 c 756s| 26800 | 74 | 4013k| 142.9 | 299M | 29 |5344 | 17k|7899 | 21k| 1 | 58k| 22 | 0.000000e+00 | -- | Inf | 87.42%
755.61/758.04 c 758s| 26900 | 69 | 4025k| 142.8 | 300M | 29 |5344 | 17k|7869 | 21k| 0 | 58k| 22 | 0.000000e+00 | -- | Inf | 87.65%
757.99/760.46 c 760s| 27000 | 83 | 4041k| 142.9 | 300M | 29 |5344 | 17k|7865 | 21k| 1 | 58k| 22 | 0.000000e+00 | -- | Inf | 87.75%
759.29/761.76 c 762s| 27100 | 80 | 4048k| 142.6 | 300M | 29 |5344 | 17k|7874 | 21k| 1 | 59k| 22 | 0.000000e+00 | -- | Inf | 87.80%
760.28/762.74 c 763s| 27200 | 80 | 4054k| 142.3 | 300M | 29 |5344 | 17k| 0 | 21k| 0 | 59k| 22 | 0.000000e+00 | -- | Inf | 87.84%
761.88/764.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
761.88/764.31 c 764s| 27300 | 71 | 4071k| 142.4 | 301M | 29 |5344 | 17k|7897 | 21k| 1 | 59k| 22 | 0.000000e+00 | -- | Inf | 87.88%
764.27/766.74 c 767s| 27400 | 71 | 4086k| 142.4 | 301M | 29 |5344 | 17k|7897 | 22k| 0 | 59k| 22 | 0.000000e+00 | -- | Inf | 88.20%
766.86/769.33 c 769s| 27500 | 74 | 4101k| 142.5 | 301M | 29 |5344 | 17k|7896 | 22k| 0 | 59k| 22 | 0.000000e+00 | -- | Inf | 88.30%
768.36/770.80 c 771s| 27600 | 87 | 4109k| 142.2 | 301M | 29 |5344 | 17k| 0 | 22k| 0 | 60k| 22 | 0.000000e+00 | -- | Inf | 88.37%
769.67/772.13 c 772s| 27700 | 65 | 4118k| 142.0 | 301M | 29 |5344 | 17k|7888 | 22k| 1 | 60k| 22 | 0.000000e+00 | -- | Inf | 88.46%
771.35/773.88 c 774s| 27800 | 63 | 4134k| 142.1 | 301M | 29 |5344 | 17k|7901 | 22k| 0 | 60k| 22 | 0.000000e+00 | -- | Inf | 88.56%
773.74/776.24 c 776s| 27900 | 64 | 4153k| 142.3 | 301M | 29 |5344 | 17k|7901 | 22k| 1 | 60k| 22 | 0.000000e+00 | -- | Inf | 88.70%
775.55/778.11 c 778s| 28000 | 56 | 4168k| 142.3 | 302M | 29 |5344 | 17k|7887 | 22k| 1 | 61k| 22 | 0.000000e+00 | -- | Inf | 88.92%
779.43/781.91 c 782s| 28100 | 59 | 4191k| 142.6 | 302M | 29 |5344 | 17k|7899 | 22k| 0 | 61k| 22 | 0.000000e+00 | -- | Inf | 89.26%
781.02/783.54 c 784s| 28200 | 63 | 4203k| 142.5 | 302M | 29 |5344 | 17k|7910 | 22k| 1 | 61k| 22 | 0.000000e+00 | -- | Inf | 89.37%
782.02/784.59 c 785s| 28300 | 55 | 4209k| 142.2 | 302M | 29 |5344 | 17k|7910 | 22k| 0 | 61k| 22 | 0.000000e+00 | -- | Inf | 89.40%
786.52/789.08 c 789s| 28400 | 58 | 4230k| 142.5 | 302M | 29 |5344 | 17k| 0 | 22k| 0 | 62k| 22 | 0.000000e+00 | -- | Inf | 89.59%
788.30/790.82 c 791s| 28500 | 55 | 4245k| 142.5 | 303M | 29 |5344 | 17k| 0 | 22k| 0 | 62k| 22 | 0.000000e+00 | -- | Inf | 89.67%
792.19/794.79 c 795s| 28600 | 59 | 4261k| 142.6 | 303M | 29 |5344 | 17k|7858 | 22k| 1 | 62k| 22 | 0.000000e+00 | -- | Inf | 90.76%
794.18/796.71 c 797s| 28700 | 59 | 4270k| 142.4 | 303M | 29 |5344 | 17k|7876 | 22k| 1 | 62k| 22 | 0.000000e+00 | -- | Inf | 91.08%
795.88/798.44 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
795.88/798.44 c 798s| 28800 | 57 | 4279k| 142.2 | 310M | 29 |5344 | 17k|7875 | 22k| 1 | 62k| 22 | 0.000000e+00 | -- | Inf | 91.18%
797.67/800.24 c 800s| 28900 | 49 | 4293k| 142.2 | 310M | 29 |5344 | 17k|7919 | 22k| 0 | 62k| 22 | 0.000000e+00 | -- | Inf | 91.30%
799.97/802.56 c 803s| 29000 | 49 | 4307k| 142.2 | 310M | 29 |5344 | 17k|7881 | 22k| 0 | 63k| 22 | 0.000000e+00 | -- | Inf | 91.44%
802.66/805.23 c 805s| 29100 | 48 | 4327k| 142.4 | 310M | 29 |5344 | 17k|7915 | 22k| 1 | 63k| 22 | 0.000000e+00 | -- | Inf | 91.59%
807.34/809.96 c 810s| 29200 | 39 | 4358k| 143.0 | 310M | 29 |5344 | 17k|7906 | 22k| 1 | 63k| 22 | 0.000000e+00 | -- | Inf | 92.23%
810.55/813.19 c 813s| 29300 | 32 | 4380k| 143.2 | 310M | 29 |5344 | 17k|7921 | 23k| 1 | 63k| 22 | 0.000000e+00 | -- | Inf | 93.19%
813.13/815.71 c 816s| 29400 | 26 | 4398k| 143.3 | 311M | 29 |5344 | 17k|7871 | 23k| 0 | 64k| 22 | 0.000000e+00 | -- | Inf | 93.44%
814.82/817.49 c 817s| 29500 | 27 | 4410k| 143.2 | 311M | 29 |5344 | 17k|7869 | 23k| 1 | 64k| 22 | 0.000000e+00 | -- | Inf | 93.68%
816.92/819.51 c 819s| 29600 | 31 | 4423k| 143.2 | 311M | 29 |5344 | 17k|7863 | 23k| 1 | 64k| 22 | 0.000000e+00 | -- | Inf | 93.84%
818.31/820.91 c 821s| 29700 | 28 | 4432k| 143.0 | 311M | 29 |5344 | 17k|7867 | 23k| 0 | 64k| 22 | 0.000000e+00 | -- | Inf | 93.95%
820.60/823.20 c 823s| 29800 | 32 | 4452k| 143.2 | 311M | 29 |5344 | 17k|7867 | 23k| 1 | 64k| 22 | 0.000000e+00 | -- | Inf | 94.02%
822.41/825.05 c 825s| 29900 | 35 | 4463k| 143.1 | 311M | 29 |5344 | 17k|7867 | 23k| 1 | 64k| 22 | 0.000000e+00 | -- | Inf | 94.05%
823.89/826.55 c 827s| 30000 | 29 | 4474k| 143.0 | 311M | 29 |5344 | 17k|7870 | 23k| 1 | 65k| 22 | 0.000000e+00 | -- | Inf | 94.11%
825.89/828.57 c 829s| 30100 | 31 | 4485k| 142.9 | 311M | 29 |5344 | 17k|7873 | 23k| 0 | 65k| 22 | 0.000000e+00 | -- | Inf | 94.19%
827.88/830.57 c 831s| 30200 | 25 | 4499k| 142.9 | 311M | 29 |5344 | 17k|7870 | 23k| 0 | 65k| 22 | 0.000000e+00 | -- | Inf | 94.34%
831.07/833.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
831.07/833.76 c 834s| 30300 | 28 | 4520k| 143.1 | 311M | 29 |5344 | 17k|7865 | 23k| 2 | 65k| 22 | 0.000000e+00 | -- | Inf | 95.21%
834.56/837.26 c 837s| 30400 | 30 | 4536k| 143.2 | 311M | 29 |5344 | 17k|7879 | 23k| 1 | 65k| 22 | 0.000000e+00 | -- | Inf | 95.99%
836.16/838.85 c 839s| 30500 | 31 | 4543k| 142.9 | 311M | 29 |5344 | 17k|7881 | 23k| 1 | 66k| 22 | 0.000000e+00 | -- | Inf | 96.08%
838.05/840.75 c 841s| 30600 | 28 | 4557k| 142.9 | 311M | 29 |5344 | 17k| 0 | 23k| 0 | 66k| 22 | 0.000000e+00 | -- | Inf | 96.14%
840.36/843.03 c 843s| 30700 | 25 | 4573k| 142.9 | 311M | 29 |5344 | 17k|7869 | 23k| 1 | 66k| 22 | 0.000000e+00 | -- | Inf | 96.58%
844.35/847.07 c 847s| 30800 | 27 | 4592k| 143.1 | 311M | 29 |5344 | 17k|7874 | 24k| 1 | 66k| 22 | 0.000000e+00 | -- | Inf | 97.19%
847.34/850.04 c 850s| 30900 | 22 | 4609k| 143.2 | 313M | 29 |5344 | 17k|7871 | 24k| 0 | 66k| 22 | 0.000000e+00 | -- | Inf | 97.98%
849.92/852.61 c 853s| 31000 | 11 | 4629k| 143.4 | 313M | 29 |5344 | 17k|7910 | 24k| 0 | 67k| 22 | 0.000000e+00 | -- | Inf | 98.44%
852.21/854.90 c 855s| 31100 | 7 | 4647k| 143.5 | 313M | 29 |5344 | 17k|7862 | 24k| 1 | 67k| 22 | 0.000000e+00 | -- | Inf | 98.90%
856.10/858.90 c 859s| 31200 | 8 | 4669k| 143.7 | 315M | 29 |5344 | 17k|7876 | 24k| 1 | 67k| 22 | 0.000000e+00 | -- | Inf | 99.43%
858.20/860.91 c
858.20/860.91 c SCIP Status : problem is solved [infeasible]
858.20/860.91 c Solving Time (sec) : 860.89
858.20/860.91 c Solving Nodes : 31249 (total of 32399 nodes in 2 runs)
858.20/860.91 c Primal Bound : +1.00000000000000e+20 (0 solutions)
858.20/860.91 c Dual Bound : +1.00000000000000e+20
858.20/860.91 c Gap : 0.00 %
858.20/860.91 s UNSATISFIABLE
858.20/860.91 c SCIP Status : problem is solved [infeasible]
858.20/860.91 c Total Time : 860.89
858.20/860.91 c solving : 860.89
858.20/860.91 c presolving : 0.59 (included in solving)
858.20/860.91 c reading : 0.07 (included in solving)
858.20/860.91 c copying : 1.11 (58 #copies) (minimal 0.01, maximal 0.04, average 0.02)
858.20/860.91 c Original Problem :
858.20/860.91 c Problem name : HOME/instance-4510914-1751205421.opb
858.20/860.91 c Variables : 5370 (5370 binary, 0 integer, 0 implicit integer, 0 continuous)
858.20/860.91 c Constraints : 12701 initial, 12701 maximal
858.20/860.91 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
858.20/860.91 c Presolved Problem :
858.20/860.91 c Problem name : t_HOME/instance-4510914-1751205421.opb
858.20/860.91 c Variables : 5344 (5344 binary, 0 integer, 0 implicit integer, 0 continuous)
858.20/860.91 c Constraints : 9587 initial, 17528 maximal
858.20/860.91 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
858.20/860.91 c Nonzeros : 77966 constraint, 12855 clique table
858.20/860.91 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
858.20/860.91 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
858.20/860.91 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
858.20/860.91 c domcol : 0.01 0.00 3 0 0 0 0 0 0 0 0 0
858.20/860.91 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
858.20/860.91 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
858.20/860.91 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
858.20/860.91 c dualsparsify : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
858.20/860.91 c gateextraction : 0.02 0.00 5 0 0 0 0 0 58 29 0 0
858.20/860.91 c implics : 0.00 0.00 10 0 0 0 0 0 0 0 0 0
858.20/860.91 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
858.20/860.91 c milp : 0.12 0.00 1 0 0 0 0 0 12701 7877 0 0
858.20/860.91 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
858.20/860.91 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
858.20/860.91 c sparsify : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
858.20/860.91 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
858.20/860.91 c trivial : 0.00 0.00 12 8 0 0 0 0 0 0 0 0
858.20/860.91 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
858.20/860.91 c dualfix : 0.00 0.00 12 0 0 0 0 0 0 0 0 0
858.20/860.91 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
858.20/860.91 c probing : 0.08 0.00 2 0 0 0 0 0 0 0 0 0
858.20/860.91 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
858.20/860.91 c symmetry : 0.05 0.00 1 3 0 0 0 0 0 1 0 0
858.20/860.91 c vbounds : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
858.20/860.91 c knapsack : 0.01 0.00 14 0 0 0 0 0 0 0 0 9
858.20/860.91 c setppc : 0.06 0.00 23 0 15 0 0 0 45 0 0 0
858.20/860.91 c linear : 0.11 0.01 12 0 0 0 0 0 0 0 0 0
858.20/860.91 c orbitope : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
858.20/860.91 c logicor : 0.06 0.01 13 0 0 0 0 0 281 0 0 35
858.20/860.91 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
858.20/860.91 c components : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
858.20/860.91 c root node : - - - 975 - - 975 - - - - -
858.20/860.91 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
858.20/860.91 c benderslp : 0 0 0 0 16921 0 0 621 0 0 0 0 0 0 0
858.20/860.91 c integral : 0 0 0 0 16921 0 0 621 0 0 0 0 0 0 33842
858.20/860.91 c knapsack : 73+ 80 11 314723 0 0 0 0 14063 417 94901 0 0 0 0
858.20/860.91 c setppc : 7832+ 7838 22 317320 0 0 0 617 1582644 1628 1677247 0 0 0 0
858.20/860.91 c linear : 4+ 47 22 313997 0 0 0 2 4111 57 15987 0 0 0 0
858.20/860.91 c orbitope : 1 1 0 315535 0 0 0 0 2746 17 427 0 0 0 0
858.20/860.91 c logicor : 1677+ 9613 22 145708 0 0 0 0 217548 1116 221734 1 1 0 0
858.20/860.91 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
858.20/860.91 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
858.20/860.91 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
858.20/860.91 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
858.20/860.91 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
858.20/860.91 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
858.20/860.91 c integral : 8.24 0.00 0.00 0.00 8.24 0.00 0.00 0.00 0.00 0.00
858.20/860.91 c knapsack : 1.19 0.00 0.00 1.09 0.00 0.00 0.00 0.00 0.10 0.00
858.20/860.91 c setppc : 4.69 0.00 0.02 4.22 0.00 0.00 0.00 0.00 0.45 0.00
858.20/860.91 c linear : 0.32 0.01 0.00 0.29 0.00 0.00 0.00 0.00 0.02 0.00
858.20/860.91 c orbitope : 0.09 0.00 0.00 0.09 0.00 0.00 0.00 0.00 0.00 0.00
858.20/860.91 c logicor : 3.90 0.01 0.00 3.68 0.00 0.00 0.00 0.00 0.20 0.00
858.20/860.91 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
858.20/860.91 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
858.20/860.91 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
858.20/860.91 c components : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
858.20/860.91 c Propagators : #Propagate #ResProp Cutoffs DomReds
858.20/860.91 c dualfix : 2 0 0 0
858.20/860.91 c genvbounds : 0 0 0 0
858.20/860.91 c nlobbt : 0 0 0 0
858.20/860.91 c obbt : 0 0 0 0
858.20/860.91 c probing : 0 0 0 0
858.20/860.91 c pseudoobj : 0 0 0 0
858.20/860.91 c redcost : 0 0 0 0
858.20/860.91 c rootredcost : 0 0 0 0
858.20/860.91 c symmetry : 0 0 0 0
858.20/860.91 c vbounds : 218176 0 0 0
858.20/860.91 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
858.20/860.91 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
858.20/860.91 c genvbounds : 0.04 0.00 0.00 0.04 0.00 0.00
858.20/860.91 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
858.20/860.91 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
858.20/860.91 c probing : 0.08 0.00 0.08 0.00 0.00 0.00
858.20/860.91 c pseudoobj : 0.04 0.00 0.00 0.04 0.00 0.00
858.20/860.91 c redcost : 0.02 0.00 0.00 0.02 0.00 0.00
858.20/860.91 c rootredcost : 0.02 0.00 0.00 0.02 0.00 0.00
858.20/860.91 c symmetry : 0.11 0.00 0.05 0.05 0.00 0.00
858.20/860.91 c vbounds : 3.24 0.00 0.01 3.23 0.00 0.00
858.20/860.91 c Symmetry :
858.20/860.91 c orbitopal red. : 0 reductions applied, 0 cutoffs
858.20/860.91 c orbital reduction: 0 reductions applied, 0 cutoffs
858.20/860.91 c lexicographic red: 0 reductions applied, 0 cutoffs
858.20/860.91 c shadow tree time : 0.00 s
858.20/860.91 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
858.20/860.91 c propagation : 0.19 3176 3075 - 12567 43.1 462 14.2 - - -
858.20/860.91 c infeasible LP : 15.34 14765 14736 - 94131 65.7 674 28.2 14736 100.3 0
858.20/860.91 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
858.20/860.91 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
858.20/860.91 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
858.20/860.91 c applied globally : 1.51 - - 0 52705 31.2 - - 12744 - -
858.20/860.91 c applied locally : - - - 0 161 105.5 - - 1992 - -
858.20/860.91 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
858.20/860.91 c cut pool : 3.75 - 3169 42 - - 48886 334651 - - - - - (maximal pool size: 4674)
858.20/860.91 c aggregation : 1.62 0.00 1048 22 0 0 9 18 5 3 1 2 0
858.20/860.91 c > cmir : - - - - - - - 18 0 1 1 0 -
858.20/860.91 c > flowcover : - - - - - - - 0 0 0 0 0 -
858.20/860.91 c > knapsackcover : - - - - - - - 0 5 2 0 2 -
858.20/860.91 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
858.20/860.91 c clique : 1.50 0.00 22 22 0 0 0 0 0 0 0 0 0
858.20/860.91 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
858.20/860.91 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
858.20/860.91 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
858.20/860.91 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
858.20/860.91 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
858.20/860.91 c gomory : 95.23 0.00 1050 20 0 0 54852 324649 7246 15897 15635 262 0
858.20/860.91 c > gomorymi : - - - - - - - 23307 3623 524 388 136 -
858.20/860.91 c > strongcg : - - - - - - - 301342 3623 15373 15247 126 -
858.20/860.91 c impliedbounds : 0.29 0.00 1052 22 0 0 6 33 0 17 17 0 0
858.20/860.91 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
858.20/860.91 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
858.20/860.91 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
858.20/860.91 c mcf : 0.02 0.00 2 2 0 0 0 0 0 0 0 0 0
858.20/860.91 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
858.20/860.91 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
858.20/860.91 c multilinear : 0.00 0.00 2081 22 0 0 0 0 0 0 0 0 0
858.20/860.91 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
858.20/860.91 c rapidlearning : 12.43 0.00 53 2 0 19689 0 0 0 0 0 0 448
858.20/860.91 c rlt : 0.00 0.00 687 20 0 0 0 0 0 0 0 0 0
858.20/860.91 c zerohalf : 15.74 0.00 1048 22 0 0 8224 9951 6954 9086 3884 5202 0
858.20/860.91 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
858.20/860.91 c hybrid : 0.45 0.00 1939 22 25004 2 323582 106 0 7094
858.20/860.91 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
858.20/860.91 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
858.20/860.91 c Pricers : ExecTime SetupTime Calls Vars
858.20/860.91 c problem variables: 0.00 - 0 0
858.20/860.91 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
858.20/860.91 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
858.20/860.91 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
858.20/860.91 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
858.20/860.91 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
858.20/860.91 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
858.20/860.91 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
858.20/860.91 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
858.20/860.91 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
858.20/860.91 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
858.20/860.91 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
858.20/860.91 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
858.20/860.91 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
858.20/860.91 c random : 0.00 0.00 0 0 0 0 0 0 0 0
858.20/860.91 c relpscost : 8.22 0.00 16921 0 0 0 0 0 0 33842
858.20/860.91 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
858.20/860.91 c Primal Heuristics : ExecTime SetupTime Calls Found Best
858.20/860.91 c LP solutions : 0.00 - - 0 0
858.20/860.91 c relax solutions : 0.00 - - 0 0
858.20/860.91 c pseudo solutions : 0.00 - - 0 0
858.20/860.91 c strong branching : 0.00 - - 0 0
858.20/860.91 c actconsdiving : 0.00 0.00 0 0 0
858.20/860.91 c adaptivediving : 7.31 0.00 60 0 0
858.20/860.91 c alns : 0.34 0.00 8 0 0
858.20/860.91 c bound : 0.00 0.00 0 0 0
858.20/860.91 c clique : 0.03 0.00 1 0 0
858.20/860.91 c coefdiving : 0.00 0.00 0 0 0
858.20/860.91 c completesol : 0.00 0.00 0 0 0
858.20/860.91 c conflictdiving : 11.00 0.00 87 0 0
858.20/860.91 c crossover : 0.01 0.00 0 0 0
858.20/860.91 c dins : 0.00 0.00 0 0 0
858.20/860.91 c distributiondivin: 20.01 0.00 87 0 0
858.20/860.91 c dps : 0.00 0.00 0 0 0
858.20/860.91 c dualval : 0.00 0.00 0 0 0
858.20/860.91 c farkasdiving : 0.00 0.00 0 0 0
858.20/860.91 c feasjump : 0.09 0.00 2 0 0
858.20/860.91 c feaspump : 8.25 0.00 13 0 0
858.20/860.91 c fixandinfer : 0.00 0.00 0 0 0
858.20/860.91 c fracdiving : 10.78 0.00 87 0 0
858.20/860.91 c gins : 0.01 0.00 0 0 0
858.20/860.91 c guideddiving : 0.00 0.00 0 0 0
858.20/860.91 c indcoefdiving : 0.00 0.00 0 0 0
858.20/860.91 c indicator : 0.01 0.00 0 0 0
858.20/860.91 c indicatordiving : 0.00 0.00 0 0 0
858.20/860.91 c indoneopt : 0.01 0.00 0 0 0
858.20/860.91 c indrounding : 0.00 0.00 0 0 0
858.20/860.91 c indtwoopt : 0.00 0.00 0 0 0
858.20/860.91 c intdiving : 0.00 0.00 0 0 0
858.20/860.91 c intshifting : 0.00 0.00 0 0 0
858.20/860.91 c linesearchdiving : 12.33 0.00 87 0 0
858.20/860.91 c localbranching : 0.00 0.00 0 0 0
858.20/860.91 c locks : 0.01 0.00 1 0 0
858.20/860.91 c lpface : 0.36 0.00 0 0 0
858.20/860.91 c mpec : 0.00 0.00 0 0 0
858.20/860.91 c multistart : 0.00 0.00 0 0 0
858.20/860.91 c mutation : 0.00 0.00 0 0 0
858.20/860.91 c nlpdiving : 0.00 0.00 0 0 0
858.20/860.91 c objpscostdiving : 45.12 0.00 7 0 0
858.20/860.91 c octane : 0.00 0.00 0 0 0
858.20/860.91 c ofins : 0.01 0.00 0 0 0
858.20/860.91 c oneopt : 0.02 0.00 0 0 0
858.20/860.91 c padm : 0.00 0.00 0 0 0
858.20/860.91 c proximity : 0.00 0.00 0 0 0
858.20/860.91 c pscostdiving : 16.65 0.00 87 0 0
858.20/860.91 c randrounding : 0.27 0.00 632 0 0
858.20/860.91 c rens : 0.00 0.00 0 0 0
858.20/860.91 c reoptsols : 0.00 0.00 0 0 0
858.20/860.91 c repair : 0.00 0.00 0 0 0
858.20/860.91 c rins : 0.01 0.00 0 0 0
858.20/860.91 c rootsoldiving : 6.24 0.00 15 0 0
858.20/860.91 c rounding : 0.67 0.00 1926 0 0
858.20/860.91 c scheduler : 0.00 0.00 0 0 0
858.20/860.91 c shiftandpropagate: 0.03 0.00 2 0 0
858.20/860.91 c shifting : 1.39 0.00 642 0 0
858.20/860.91 c simplerounding : 0.01 0.00 0 0 0
858.20/860.91 c smallcard : 0.00 0.00 0 0 0
858.20/860.91 c subnlp : 0.02 0.00 0 0 0
858.20/860.91 c trivial : 0.00 0.00 4 0 0
858.20/860.91 c trivialnegation : 0.00 0.00 0 0 0
858.20/860.91 c trustregion : 0.00 0.00 0 0 0
858.20/860.91 c trysol : 0.01 0.00 0 0 0
858.20/860.91 c twoopt : 0.00 0.00 0 0 0
858.20/860.91 c undercover : 0.00 0.00 0 0 0
858.20/860.91 c vbounds : 0.02 0.00 2 0 0
858.20/860.91 c veclendiving : 5.17 0.00 87 0 0
858.20/860.91 c zeroobj : 0.00 0.00 0 0 0
858.20/860.91 c zirounding : 0.24 0.00 1000 0 0
858.20/860.91 c other solutions : - - - 0 -
858.20/860.91 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
858.20/860.91 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
858.20/860.91 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
858.20/860.91 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
858.20/860.91 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
858.20/860.91 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
858.20/860.91 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
858.20/860.91 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
858.20/860.91 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
858.20/860.91 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
858.20/860.91 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
858.20/860.91 c primal LP : 2.24 1327 0 0.00 0.00 2.24 1327
858.20/860.91 c dual LP : 490.67 33329 4095616 124.21 8347.02 0.52 357
858.20/860.91 c lex dual LP : 0.00 0 0 0.00 -
858.20/860.91 c barrier LP : 0.00 0 0 0.00 - 0.00 0
858.20/860.91 c resolve instable : 0.00 0 0 0.00 -
858.20/860.91 c diving/probing LP: 127.38 1684 582343 345.81 4571.67
858.20/860.91 c strong branching : 0.88 22 10307 468.50 11735.22 - - 13
858.20/860.91 c (at root node) : - 22 10307 468.50 -
858.20/860.91 c conflict analysis: 0.00 0 0 0.00 -
858.20/860.91 c B&B Tree :
858.20/860.91 c number of runs : 2
858.20/860.91 c nodes : 31249 (16272 internal, 14977 leaves)
858.20/860.91 c feasible leaves : 0
858.20/860.91 c infeas. leaves : 14977
858.20/860.91 c objective leaves : 0
858.20/860.91 c nodes (total) : 32399 (16921 internal, 15478 leaves)
858.20/860.91 c nodes left : 0
858.20/860.91 c max depth : 29
858.20/860.91 c max depth (total): 35
858.20/860.91 c backtracks : 8668 (27.7%)
858.20/860.91 c early backtracks : 0 (0.0%)
858.20/860.91 c nodes exc. ref. : 0 (0.0%)
858.20/860.91 c delayed cutoffs : 1296
858.20/860.91 c repropagations : 25861 (710062 domain reductions, 1116 cutoffs)
858.20/860.91 c avg switch length: 3.58
858.20/860.91 c switching time : 11.65
858.20/860.91 c Root Node :
858.20/860.91 c First LP value : +0.00000000000000e+00
858.20/860.91 c First LP Iters : 4377 (16662.04 Iter/sec)
858.20/860.91 c First LP Time : 0.26
858.20/860.91 c Final Dual Bound : -
858.20/860.91 c Final Root Iters : 20404
858.20/860.91 c Root LP Estimate : +1.36931116383185e-01
858.20/860.91 c Solution :
858.20/860.91 c Solutions found : 0 (0 improvements)
858.20/860.91 c Primal Bound : infeasible
858.20/860.91 c Dual Bound : -
858.20/860.91 c Gap : 0.00 %
858.20/860.91 c Integrals : Total Avg%
858.20/860.91 c primal-dual : - - (problem infeasible)
858.20/860.91 c primal-ref : - - (problem infeasible)
858.20/860.91 c dual-ref : - - (problem infeasible)
858.20/860.99 c Time complete: 858.29.
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: 63837 MiB (62957 MiB free)
memory of node 1: 64465 MiB (63654 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4510914-1751205421/watcher-4510914-1751205421 -o /tmp/evaluation-result-4510914-1751205421/solver-4510914-1751205421 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751205287-23621 --watchdog 3760 pbscip -f HOME/instance-4510914-1751205421.opb -t 3600 -j 2 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=23816, runsolver pid=23813
Current StackSize limit: 8192 KiB
[startup+0.100108 s]*
/proc/loadavg: 3.78 2.25 2.20 5/252 23817
/proc/meminfo: memFree=129634844/131382120 swapFree=33010684/33010684
[pid=23816] ppid=23813 vsize=65076 memory=39296 CPUtime=0.1 cores=5,7
/proc/23816/stat : 23816 (pbscip) R 23813 23816 23608 0 -1 4194304 6599 0 0 0 8 2 0 0 20 0 1 0 36220938 66637824 9792 18446744073709551615 4235264 18693293 140736189524720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50913280 140736189532553 140736189532652 140736189532652 140736189538254 0
/proc/23816/statm: 16269 9824 3552 3530 0 7720 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 65076 KiB
Current children cumulated memory: 39296 KiB
[startup+0.213364 s]*
/proc/loadavg: 3.78 2.25 2.20 5/252 23817
/proc/meminfo: memFree=129610904/131382120 swapFree=33010684/33010684
[pid=23816] ppid=23813 vsize=82276 memory=55416 CPUtime=0.2 cores=5,7
/proc/23816/stat : 23816 (pbscip) R 23813 23816 23608 0 -1 4194304 11446 0 0 0 17 3 0 0 20 0 1 0 36220938 84250624 13854 18446744073709551615 4235264 18693293 140736189524720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50913280 140736189532553 140736189532652 140736189532652 140736189538254 0
/proc/23816/statm: 20569 13854 3648 3530 0 12020 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 82276 KiB
Current children cumulated memory: 55416 KiB
[startup+0.313633 s]*
/proc/loadavg: 3.78 2.25 2.20 5/252 23817
/proc/meminfo: memFree=129610904/131382120 swapFree=33010684/33010684
[pid=23816] ppid=23813 vsize=78568 memory=52188 CPUtime=0.31 cores=5,7
/proc/23816/stat : 23816 (pbscip) R 23813 23816 23608 0 -1 4194304 11596 0 0 0 27 4 0 0 20 0 1 0 36220938 80453632 13047 18446744073709551615 4235264 18693293 140736189524720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50913280 140736189532553 140736189532652 140736189532652 140736189538254 0
/proc/23816/statm: 19642 13047 3744 3530 0 11093 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 78568 KiB
Current children cumulated memory: 52188 KiB
[startup+0.700317 s]
/proc/loadavg: 3.78 2.25 2.20 5/252 23817
/proc/meminfo: memFree=129611156/131382120 swapFree=33010684/33010684
[pid=23816] ppid=23813 vsize=105076 memory=71004 CPUtime=0.68 cores=5,7
/proc/23816/stat : 23816 (pbscip) R 23813 23816 23608 0 -1 4194304 16182 0 0 0 63 5 0 0 20 0 1 0 36220938 107597824 17751 18446744073709551615 4235264 18693293 140736189524720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50913280 140736189532553 140736189532652 140736189532652 140736189538254 0
/proc/23816/statm: 26269 17751 3904 3530 0 17720 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 105076 KiB
Current children cumulated memory: 71004 KiB
[startup+1.50032 s]
/proc/loadavg: 3.78 2.25 2.20 5/252 23817
/proc/meminfo: memFree=129595280/131382120 swapFree=33010684/33010684
[pid=23816] ppid=23813 vsize=109284 memory=75100 CPUtime=1.48 cores=5,7
/proc/23816/stat : 23816 (pbscip) R 23813 23816 23608 0 -1 4194304 17121 0 0 0 143 5 0 0 20 0 1 0 36220938 111906816 18775 18446744073709551615 4235264 18693293 140736189524720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50913280 140736189532553 140736189532652 140736189532652 140736189538254 0
/proc/23816/statm: 27321 18775 4000 3530 0 18772 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 109284 KiB
Current children cumulated memory: 75100 KiB
[startup+3.11313 s]
/proc/loadavg: 3.78 2.25 2.20 5/252 23817
/proc/meminfo: memFree=129538576/131382120 swapFree=33010684/33010684
[pid=23816] ppid=23813 vsize=155480 memory=118020 CPUtime=3.09 cores=5,7
/proc/23816/stat : 23816 (pbscip) R 23813 23816 23608 0 -1 4194304 28073 0 0 0 302 7 0 0 20 0 1 0 36220938 159211520 29505 18446744073709551615 4235264 18693293 140736189524720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50913280 140736189532553 140736189532652 140736189532652 140736189538254 0
/proc/23816/statm: 38870 29505 4000 3530 0 30321 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 155480 KiB
Current children cumulated memory: 118020 KiB
[startup+6.3003 s]
/proc/loadavg: 3.80 2.28 2.21 5/252 23818
/proc/meminfo: memFree=129530260/131382120 swapFree=33010684/33010684
[pid=23816] ppid=23813 vsize=163200 memory=125856 CPUtime=6.26 cores=5,7
/proc/23816/stat : 23816 (pbscip) R 23813 23816 23608 0 -1 4194304 31017 0 0 0 619 7 0 0 20 0 1 0 36220938 167116800 31464 18446744073709551615 4235264 18693293 140736189524720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50913280 140736189532553 140736189532652 140736189532652 140736189538254 0
/proc/23816/statm: 40800 31464 4000 3530 0 32251 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 163200 KiB
Current children cumulated memory: 125856 KiB
[startup+12.7003 s]
/proc/loadavg: 3.81 2.31 2.22 5/252 23818
/proc/meminfo: memFree=129484172/131382120 swapFree=33010684/33010684
[pid=23816] ppid=23813 vsize=201980 memory=162952 CPUtime=12.65 cores=5,7
/proc/23816/stat : 23816 (pbscip) R 23813 23816 23608 0 -1 4194304 41488 0 0 0 1256 9 0 0 20 0 1 0 36220938 206827520 40738 18446744073709551615 4235264 18693293 140736189524720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50913280 140736189532553 140736189532652 140736189532652 140736189538254 0
/proc/23816/statm: 50495 40738 4000 3530 0 41946 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 201980 KiB
Current children cumulated memory: 162952 KiB
[startup+25.5003 s]
/proc/loadavg: 3.85 2.39 2.25 5/252 23818
/proc/meminfo: memFree=129416288/131382120 swapFree=33010684/33010684
[pid=23816] ppid=23813 vsize=209496 memory=170556 CPUtime=25.4 cores=5,7
/proc/23816/stat : 23816 (pbscip) R 23813 23816 23608 0 -1 4194304 46757 0 0 0 2531 9 0 0 20 0 1 0 36220938 214523904 42639 18446744073709551615 4235264 18693293 140736189524720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50913280 140736189532553 140736189532652 140736189532652 140736189538254 0
/proc/23816/statm: 52374 42639 4000 3530 0 43825 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 209496 KiB
Current children cumulated memory: 170556 KiB
[startup+51.1132 s]
/proc/loadavg: 3.96 2.54 2.30 5/252 23818
/proc/meminfo: memFree=129323252/131382120 swapFree=33010684/33010684
[pid=23816] ppid=23813 vsize=243784 memory=203840 CPUtime=50.94 cores=5,7
/proc/23816/stat : 23816 (pbscip) R 23813 23816 23608 0 -1 4194304 63530 0 0 0 5082 12 0 0 20 0 1 0 36220938 249634816 50960 18446744073709551615 4235264 18693293 140736189524720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50913280 140736189532553 140736189532652 140736189532652 140736189538254 0
/proc/23816/statm: 60946 50960 4000 3530 0 52397 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 243784 KiB
Current children cumulated memory: 203840 KiB
[startup+102.3 s]
/proc/loadavg: 4.04 2.78 2.40 5/253 23821
/proc/meminfo: memFree=129242776/131382120 swapFree=33010684/33010684
[pid=23816] ppid=23813 vsize=247496 memory=208832 CPUtime=101.97 cores=5,7
/proc/23816/stat : 23816 (pbscip) R 23813 23816 23608 0 -1 4194304 64782 0 0 0 10185 12 0 0 20 0 1 0 36220938 253435904 52208 18446744073709551615 4235264 18693293 140736189524720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50913280 140736189532553 140736189532652 140736189532652 140736189538254 0
/proc/23816/statm: 61874 52208 4000 3530 0 53325 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 247496 KiB
Current children cumulated memory: 208832 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 3.04 2.51 5/253 23826
/proc/meminfo: memFree=129149676/131382120 swapFree=33010684/33010684
[pid=23816] ppid=23813 vsize=263008 memory=220992 CPUtime=161.78 cores=5,7
/proc/23816/stat : 23816 (pbscip) R 23813 23816 23608 0 -1 4194304 67841 0 0 0 16165 13 0 0 20 0 1 0 36220938 269320192 55248 18446744073709551615 4235264 18693293 140736189524720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50913280 140736189532553 140736189532652 140736189532652 140736189538254 0
/proc/23816/statm: 65752 55248 4000 3530 0 57203 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 263008 KiB
Current children cumulated memory: 220992 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 3.23 2.61 5/251 23828
/proc/meminfo: memFree=129094940/131382120 swapFree=33010684/33010684
[pid=23816] ppid=23813 vsize=281116 memory=227748 CPUtime=221.61 cores=5,7
/proc/23816/stat : 23816 (pbscip) R 23813 23816 23608 0 -1 4194304 69017 0 0 0 22147 14 0 0 20 0 1 0 36220938 287862784 56937 18446744073709551615 4235264 18693293 140736189524720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50913280 140736189532553 140736189532652 140736189532652 140736189538254 0
/proc/23816/statm: 70279 56937 4000 3530 0 61730 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 281116 KiB
Current children cumulated memory: 227748 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 3.40 2.71 5/251 23841
/proc/meminfo: memFree=129017232/131382120 swapFree=33010684/33010684
[pid=23816] ppid=23813 vsize=301872 memory=242700 CPUtime=281.42 cores=5,7
/proc/23816/stat : 23816 (pbscip) R 23813 23816 23608 0 -1 4194304 72343 0 0 0 28128 14 0 0 20 0 1 0 36220938 309116928 60675 18446744073709551615 4235264 18693293 140736189524720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50913280 140736189532553 140736189532652 140736189532652 140736189538254 0
/proc/23816/statm: 75468 60675 4000 3530 0 66919 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 301872 KiB
Current children cumulated memory: 242700 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 3.53 2.80 5/251 23847
/proc/meminfo: memFree=128915616/131382120 swapFree=33010684/33010684
[pid=23816] ppid=23813 vsize=308432 memory=249496 CPUtime=341.24 cores=5,7
/proc/23816/stat : 23816 (pbscip) R 23813 23816 23608 0 -1 4194304 73010 0 0 0 34109 15 0 0 20 0 1 0 36220938 315834368 62374 18446744073709551615 4235264 18693293 140736189524720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50913280 140736189532553 140736189532652 140736189532652 140736189538254 0
/proc/23816/statm: 77108 62374 4000 3530 0 68559 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 308432 KiB
Current children cumulated memory: 249496 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.63 2.89 5/250 23849
/proc/meminfo: memFree=128836252/131382120 swapFree=33010684/33010684
[pid=23816] ppid=23813 vsize=316312 memory=256448 CPUtime=401.05 cores=5,7
/proc/23816/stat : 23816 (pbscip) R 23813 23816 23608 0 -1 4194304 74237 0 0 0 40090 15 0 0 20 0 1 0 36220938 323903488 64112 18446744073709551615 4235264 18693293 140736189524720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50913280 140736189532553 140736189532652 140736189532652 140736189538254 0
/proc/23816/statm: 79078 64112 4000 3530 0 70529 0
Current children cumulated CPU time: 401.05 s
Current children cumulated vsize: 316312 KiB
Current children cumulated memory: 256448 KiB
[startup+462.3 s]
/proc/loadavg: 4.18 3.75 2.97 5/249 23851
/proc/meminfo: memFree=128742816/131382120 swapFree=33010684/33010684
[pid=23816] ppid=23813 vsize=330492 memory=268228 CPUtime=460.85 cores=5,7
/proc/23816/stat : 23816 (pbscip) R 23813 23816 23608 0 -1 4194304 76174 0 0 0 46070 15 0 0 20 0 1 0 36220938 338423808 67057 18446744073709551615 4235264 18693293 140736189524720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50913280 140736189532553 140736189532652 140736189532652 140736189538254 0
/proc/23816/statm: 82623 67057 4000 3530 0 74074 0
Current children cumulated CPU time: 460.85 s
Current children cumulated vsize: 330492 KiB
Current children cumulated memory: 268228 KiB
[startup+522.3 s]
/proc/loadavg: 4.13 3.81 3.05 5/249 23853
/proc/meminfo: memFree=128625160/131382120 swapFree=33010684/33010684
[pid=23816] ppid=23813 vsize=332788 memory=272836 CPUtime=520.67 cores=5,7
/proc/23816/stat : 23816 (pbscip) R 23813 23816 23608 0 -1 4194304 77354 0 0 0 52051 16 0 0 20 0 1 0 36220938 340774912 68209 18446744073709551615 4235264 18693293 140736189524720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50913280 140736189532553 140736189532652 140736189532652 140736189538254 0
/proc/23816/statm: 83197 68209 4000 3530 0 74648 0
Current children cumulated CPU time: 520.67 s
Current children cumulated vsize: 332788 KiB
Current children cumulated memory: 272836 KiB
[startup+582.3 s]
/proc/loadavg: 4.09 3.86 3.11 5/249 23855
/proc/meminfo: memFree=128536288/131382120 swapFree=33010684/33010684
[pid=23816] ppid=23813 vsize=340108 memory=280388 CPUtime=580.45 cores=5,7
/proc/23816/stat : 23816 (pbscip) R 23813 23816 23608 0 -1 4194304 78530 0 0 0 58029 16 0 0 20 0 1 0 36220938 348270592 70097 18446744073709551615 4235264 18693293 140736189524720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50913280 140736189532553 140736189532652 140736189532652 140736189538254 0
/proc/23816/statm: 85027 70097 4000 3530 0 76478 0
Current children cumulated CPU time: 580.45 s
Current children cumulated vsize: 340108 KiB
Current children cumulated memory: 280388 KiB
[startup+642.3 s]
/proc/loadavg: 4.13 3.92 3.18 5/250 23858
/proc/meminfo: memFree=128426608/131382120 swapFree=33010684/33010684
[pid=23816] ppid=23813 vsize=342484 memory=287556 CPUtime=640.25 cores=5,7
/proc/23816/stat : 23816 (pbscip) R 23813 23816 23608 0 -1 4194304 79592 0 0 0 64008 17 0 0 20 0 1 0 36220938 350703616 71889 18446744073709551615 4235264 18693293 140736189524720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50913280 140736189532553 140736189532652 140736189532652 140736189538254 0
/proc/23816/statm: 85621 71889 4000 3530 0 77072 0
Current children cumulated CPU time: 640.25 s
Current children cumulated vsize: 342484 KiB
Current children cumulated memory: 287556 KiB
[startup+702.3 s]
/proc/loadavg: 4.10 3.95 3.24 5/250 23860
/proc/meminfo: memFree=128330440/131382120 swapFree=33010684/33010684
[pid=23816] ppid=23813 vsize=347948 memory=316356 CPUtime=700.06 cores=5,7
/proc/23816/stat : 23816 (pbscip) R 23813 23816 23608 0 -1 4194304 80067 0 0 0 69989 17 0 0 20 0 1 0 36220938 356298752 79089 18446744073709551615 4235264 18693293 140736189524720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50913280 140736189532553 140736189532652 140736189532652 140736189538254 0
/proc/23816/statm: 86987 79089 4000 3530 0 78438 0
Current children cumulated CPU time: 700.06 s
Current children cumulated vsize: 347948 KiB
Current children cumulated memory: 316356 KiB
[startup+762.3 s]
/proc/loadavg: 4.13 3.99 3.30 5/251 23865
/proc/meminfo: memFree=128207992/131382120 swapFree=33010684/33010684
[pid=23816] ppid=23813 vsize=393324 memory=362308 CPUtime=759.88 cores=5,7
/proc/23816/stat : 23816 (pbscip) R 23813 23816 23608 0 -1 4194304 91066 0 0 0 75969 19 0 0 20 0 1 0 36220938 402763776 90577 18446744073709551615 4235264 18693293 140736189524720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50913280 140736189532553 140736189532652 140736189532652 140736189538254 0
/proc/23816/statm: 98331 90577 4000 3530 0 89782 0
Current children cumulated CPU time: 759.88 s
Current children cumulated vsize: 393324 KiB
Current children cumulated memory: 362308 KiB
[startup+822.3 s]
/proc/loadavg: 4.13 4.02 3.36 5/251 23867
/proc/meminfo: memFree=128147900/131382120 swapFree=33010684/33010684
[pid=23816] ppid=23813 vsize=399548 memory=364612 CPUtime=819.71 cores=5,7
/proc/23816/stat : 23816 (pbscip) R 23813 23816 23608 0 -1 4194304 91648 0 0 0 81952 19 0 0 20 0 1 0 36220938 409137152 91153 18446744073709551615 4235264 18693293 140736189524720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50913280 140736189532553 140736189532652 140736189532652 140736189538254 0
/proc/23816/statm: 99887 91153 4000 3530 0 91338 0
Current children cumulated CPU time: 819.71 s
Current children cumulated vsize: 399548 KiB
Current children cumulated memory: 364612 KiB
[startup+860.995 s]
# the end of solver process 23816 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=858.101 s, system=0.198744 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+844.8 s]
/proc/loadavg: 4.17 4.04 3.38 5/251 23868
/proc/meminfo: memFree=128119692/131382120 swapFree=33010684/33010684
[pid=23816] ppid=23813 vsize=399548 memory=367940 CPUtime=842.14 cores=5,7
/proc/23816/stat : 23816 (pbscip) R 23813 23816 23608 0 -1 4194304 92490 0 0 0 84195 19 0 0 20 0 1 0 36220938 409137152 91985 18446744073709551615 4235264 18693293 140736189524720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50913280 140736189532553 140736189532652 140736189532652 140736189538254 0
/proc/23816/statm: 99887 91985 4000 3530 0 91338 0
Current children cumulated CPU time: 842.14 s
Current children cumulated vsize: 399548 KiB
Current children cumulated memory: 367940 KiB
[startup+851.2 s]
/proc/loadavg: 4.15 4.03 3.39 5/251 23868
/proc/meminfo: memFree=128112888/131382120 swapFree=33010684/33010684
[pid=23816] ppid=23813 vsize=399548 memory=367940 CPUtime=848.52 cores=5,7
/proc/23816/stat : 23816 (pbscip) R 23813 23816 23608 0 -1 4194304 92490 0 0 0 84833 19 0 0 20 0 1 0 36220938 409137152 91985 18446744073709551615 4235264 18693293 140736189524720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50913280 140736189532553 140736189532652 140736189532652 140736189538254 0
/proc/23816/statm: 99887 91985 4000 3530 0 91338 0
Current children cumulated CPU time: 848.52 s
Current children cumulated vsize: 399548 KiB
Current children cumulated memory: 367940 KiB
[startup+857.6 s]
/proc/loadavg: 4.14 4.03 3.39 5/251 23868
/proc/meminfo: memFree=128113976/131382120 swapFree=33010684/33010684
[pid=23816] ppid=23813 vsize=401980 memory=368964 CPUtime=854.91 cores=5,7
/proc/23816/stat : 23816 (pbscip) R 23813 23816 23608 0 -1 4194304 92761 0 0 0 85472 19 0 0 20 0 1 0 36220938 411627520 92241 18446744073709551615 4235264 18693293 140736189524720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50913280 140736189532553 140736189532652 140736189532652 140736189538254 0
/proc/23816/statm: 100495 92241 4000 3530 0 91946 0
Current children cumulated CPU time: 854.91 s
Current children cumulated vsize: 401980 KiB
Current children cumulated memory: 368964 KiB
[startup+859.2 s]
/proc/loadavg: 4.13 4.03 3.39 5/251 23868
/proc/meminfo: memFree=128110448/131382120 swapFree=33010684/33010684
[pid=23816] ppid=23813 vsize=401980 memory=368964 CPUtime=856.5 cores=5,7
/proc/23816/stat : 23816 (pbscip) R 23813 23816 23608 0 -1 4194304 92761 0 0 0 85631 19 0 0 20 0 1 0 36220938 411627520 92241 18446744073709551615 4235264 18693293 140736189524720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50913280 140736189532553 140736189532652 140736189532652 140736189538254 0
/proc/23816/statm: 100495 92241 4000 3530 0 91946 0
Current children cumulated CPU time: 856.5 s
Current children cumulated vsize: 401980 KiB
Current children cumulated memory: 368964 KiB
[startup+860 s]*
/proc/loadavg: 4.13 4.03 3.39 5/251 23868
/proc/meminfo: memFree=128110700/131382120 swapFree=33010684/33010684
[pid=23816] ppid=23813 vsize=401980 memory=368964 CPUtime=857.31 cores=5,7
/proc/23816/stat : 23816 (pbscip) R 23813 23816 23608 0 -1 4194304 92761 0 0 0 85712 19 0 0 20 0 1 0 36220938 411627520 92241 18446744073709551615 4235264 18693293 140736189524720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50913280 140736189532553 140736189532652 140736189532652 140736189538254 0
/proc/23816/statm: 100495 92241 4000 3530 0 91946 0
Current children cumulated CPU time: 857.31 s
Current children cumulated vsize: 401980 KiB
Current children cumulated memory: 368964 KiB
[startup+860.4 s]
/proc/loadavg: 4.13 4.03 3.39 5/251 23868
/proc/meminfo: memFree=128110700/131382120 swapFree=33010684/33010684
[pid=23816] ppid=23813 vsize=401980 memory=368964 CPUtime=857.7 cores=5,7
/proc/23816/stat : 23816 (pbscip) R 23813 23816 23608 0 -1 4194304 92761 0 0 0 85751 19 0 0 20 0 1 0 36220938 411627520 92241 18446744073709551615 4235264 18693293 140736189524720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50913280 140736189532553 140736189532652 140736189532652 140736189538254 0
/proc/23816/statm: 100495 92241 4000 3530 0 91946 0
Current children cumulated CPU time: 857.7 s
Current children cumulated vsize: 401980 KiB
Current children cumulated memory: 368964 KiB
[startup+860.8 s]
/proc/loadavg: 4.13 4.03 3.39 5/251 23868
/proc/meminfo: memFree=128110700/131382120 swapFree=33010684/33010684
[pid=23816] ppid=23813 vsize=401980 memory=368964 CPUtime=858.1 cores=5,7
/proc/23816/stat : 23816 (pbscip) R 23813 23816 23608 0 -1 4194304 92761 0 0 0 85791 19 0 0 20 0 1 0 36220938 411627520 92241 18446744073709551615 4235264 18693293 140736189524720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50913280 140736189532553 140736189532652 140736189532652 140736189538254 0
/proc/23816/statm: 100495 92241 4000 3530 0 91946 0
Current children cumulated CPU time: 858.1 s
Current children cumulated vsize: 401980 KiB
Current children cumulated memory: 368964 KiB
[startup+860.9 s]
/proc/loadavg: 4.13 4.03 3.39 5/251 23868
/proc/meminfo: memFree=128110700/131382120 swapFree=33010684/33010684
[pid=23816] ppid=23813 vsize=401980 memory=368964 CPUtime=858.2 cores=5,7
/proc/23816/stat : 23816 (pbscip) R 23813 23816 23608 0 -1 4194304 92761 0 0 0 85801 19 0 0 20 0 1 0 36220938 411627520 92241 18446744073709551615 4235264 18693293 140736189524720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50913280 140736189532553 140736189532652 140736189532652 140736189538254 0
/proc/23816/statm: 100495 92241 4000 3530 0 91946 0
Current children cumulated CPU time: 858.2 s
Current children cumulated vsize: 401980 KiB
Current children cumulated memory: 368964 KiB
Child status: 0
Real time (s): 860.995
CPU time (s): 858.3
CPU user time (s): 858.101
CPU system time (s): 0.198744
CPU usage (%): 99.6869
Max. virtual memory (cumulated for all children) (KiB): 401980
Max. memory (cumulated for all children) (KiB): 368964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 858.101
system time used= 0.198744
maximum resident set size= 368964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92770
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= 141
involuntary context switches= 787
# summary of solver processes directly reported to runsolver:
# pid: 23816
# total CPU time (s): 858.3
# total CPU user time (s): 858.101
# total CPU system time (s): 0.198744
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.50375 second user time and 8.1545 second system time
The end