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-4545281-1753234829.opb>
0.09/0.11 c original problem has 33526 variables (33526 bin, 0 int, 0 impl, 0 cont) and 12724 constraints
0.09/0.11 c problem read in 0.10
0.09/0.11 c No objective function, only one solution is needed.
0.20/0.21 c presolving:
0.20/0.28 c (round 1, fast) 1141 del vars, 1141 del conss, 1141 add conss, 1140 chg bounds, 3422 chg sides, 3423 chg coeffs, 0 upgd conss, 0 impls, 3466 clqs
0.20/0.30 c (round 2, fast) 1141 del vars, 2281 del conss, 1141 add conss, 1140 chg bounds, 3422 chg sides, 23952 chg coeffs, 0 upgd conss, 0 impls, 4606 clqs
0.29/0.39 c (0.4s) running MILP presolver
1.28/1.38 c (1.4s) MILP presolver (3 rounds): 0 aggregations, 1123 fixings, 0 bound changes
1.28/1.39 c (round 3, medium) 2264 del vars, 2281 del conss, 1141 add conss, 1140 chg bounds, 3422 chg sides, 23952 chg coeffs, 0 upgd conss, 0 impls, 4605 clqs
1.38/1.49 c (round 4, exhaustive) 2264 del vars, 2283 del conss, 1141 add conss, 1140 chg bounds, 3422 chg sides, 23952 chg coeffs, 9301 upgd conss, 0 impls, 4605 clqs
1.48/1.58 c (round 5, medium) 2301 del vars, 2304 del conss, 3463 add conss, 1140 chg bounds, 10379 chg sides, 33191 chg coeffs, 9301 upgd conss, 0 impls, 4645 clqs
1.58/1.60 c (round 6, fast) 2301 del vars, 3444 del conss, 4603 add conss, 1140 chg bounds, 10379 chg sides, 33191 chg coeffs, 9301 upgd conss, 0 impls, 4645 clqs
1.58/1.63 c (round 7, exhaustive) 2301 del vars, 3504 del conss, 4623 add conss, 1140 chg bounds, 10379 chg sides, 33191 chg coeffs, 9301 upgd conss, 0 impls, 4645 clqs
2.17/2.22 c (2.2s) probing: 51/31225 (0.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.17/2.22 c (2.2s) probing aborted: 50/50 successive totally useless probings
2.17/2.22 c (2.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
2.38/2.42 c (2.4s) no symmetry present (symcode time: 0.08)
2.38/2.47 c presolving (8 rounds: 8 fast, 5 medium, 3 exhaustive):
2.38/2.47 c 2301 deleted vars, 3504 deleted constraints, 4623 added constraints, 1140 tightened bounds, 0 added holes, 10379 changed sides, 33191 changed coefficients
2.38/2.47 c 0 implications, 4645 cliques
2.38/2.47 c presolved problem has 31225 variables (31225 bin, 0 int, 0 impl, 0 cont) and 13843 constraints
2.38/2.47 c 4659 constraints of type <knapsack>
2.38/2.47 c 4601 constraints of type <setppc>
2.38/2.47 c 20 constraints of type <and>
2.38/2.47 c 2281 constraints of type <linear>
2.38/2.47 c 2282 constraints of type <logicor>
2.38/2.47 c transformed objective value is always integral (scale: 1)
2.38/2.47 c Presolving Time: 2.27
2.38/2.47 c - non default parameters ----------------------------------------------------------------------
2.38/2.47 c # SCIP version 10.0.0
2.38/2.47 c
2.38/2.47 c # maximal time in seconds to run
2.38/2.47 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
2.38/2.47 c limits/time = 3596.998011
2.38/2.47 c
2.38/2.47 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.38/2.47 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
2.38/2.47 c limits/memory = 27900
2.38/2.47 c
2.38/2.47 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
2.38/2.47 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
2.38/2.47 c limits/solutions = 1
2.38/2.47 c
2.38/2.47 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.
2.38/2.47 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
2.38/2.47 c misc/usesymmetry = 3
2.38/2.47 c
2.38/2.47 c # belongs reading time to solving time?
2.38/2.47 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
2.38/2.47 c timing/reading = TRUE
2.38/2.47 c
2.38/2.47 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
2.38/2.47 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
2.38/2.47 c propagating/symmetry/detectdoublelex = FALSE
2.38/2.47 c
2.38/2.47 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
2.38/2.47 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
2.38/2.47 c propagating/symmetry/detectsubgroups = FALSE
2.38/2.47 c
2.38/2.47 c # Type of symmetries that shall be computed?
2.38/2.47 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
2.38/2.47 c propagating/symmetry/symtype = 1
2.38/2.47 c
2.38/2.47 c # Should components consisting of a single full reflection be handled?
2.38/2.47 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
2.38/2.47 c propagating/symmetry/usesimplesgncomp = FALSE
2.38/2.47 c
2.38/2.47 c -----------------------------------------------------------------------------------------------
2.38/2.47 c start solving
2.38/2.48 c
3.38/3.49 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.38/3.49 c 3.5s| 1 | 0 | 7724 | - | 339M | 0 | 31k| 13k| 13k| 0 | 0 | 39 | 0 | 0.000000e+00 | -- | Inf | unknown
4.97/5.04 c 5.0s| 1 | 0 | 10114 | - | 354M | 0 | 31k| 13k| 13k| 112 | 1 | 39 | 0 | 0.000000e+00 | -- | Inf | unknown
5.66/5.72 c 5.7s| 1 | 0 | 10499 | - | 365M | 0 | 31k| 13k| 14k| 195 | 2 | 44 | 0 | 0.000000e+00 | -- | Inf | unknown
6.37/6.42 c 6.4s| 1 | 0 | 10950 | - | 374M | 0 | 31k| 13k| 14k| 280 | 3 | 44 | 0 | 0.000000e+00 | -- | Inf | unknown
7.16/7.25 c 7.2s| 1 | 0 | 11529 | - | 386M | 0 | 31k| 13k| 14k| 366 | 4 | 44 | 0 | 0.000000e+00 | -- | Inf | unknown
8.07/8.17 c 8.2s| 1 | 0 | 12262 | - | 398M | 0 | 31k| 13k| 14k| 453 | 5 | 44 | 0 | 0.000000e+00 | -- | Inf | unknown
8.86/8.95 c 8.9s| 1 | 0 | 12629 | - | 406M | 0 | 31k| 13k| 14k| 547 | 6 | 44 | 0 | 0.000000e+00 | -- | Inf | unknown
9.55/9.69 c 9.7s| 1 | 0 | 12870 | - | 420M | 0 | 31k| 13k| 14k| 633 | 7 | 47 | 0 | 0.000000e+00 | -- | Inf | unknown
10.55/10.63 c 10.6s| 1 | 0 | 13864 | - | 428M | 0 | 31k| 13k| 14k| 715 | 8 | 47 | 0 | 0.000000e+00 | -- | Inf | unknown
11.35/11.46 c 11.5s| 1 | 0 | 14257 | - | 441M | 0 | 31k| 13k| 14k| 802 | 9 | 48 | 0 | 0.000000e+00 | -- | Inf | unknown
12.44/12.53 c 12.5s| 1 | 0 | 15539 | - | 457M | 0 | 31k| 13k| 13k| 879 | 10 | 51 | 0 | 0.000000e+00 | -- | Inf | unknown
13.05/13.16 c 13.2s| 1 | 0 | 16081 | - | 460M | 0 | 31k| 13k| 13k| 970 | 11 | 54 | 0 | 0.000000e+00 | -- | Inf | unknown
18.63/18.70 c 18.7s| 1 | 2 | 17285 | - | 463M | 0 | 31k| 13k| 13k| 970 | 11 | 60 | 19 | 0.000000e+00 | -- | Inf | unknown
29.39/29.51 c 29.5s| 100 | 45 | 38993 | 231.4 | 476M | 44 | 31k| 14k| 13k|1181 | 0 | 339 | 19 | 0.000000e+00 | -- | Inf | 3.17%
35.77/35.97 c 36.0s| 200 | 34 | 51995 | 180.5 | 479M | 54 | 31k| 14k| 0 |1284 | 0 | 688 | 19 | 0.000000e+00 | -- | Inf | 3.17%
41.66/41.83 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
41.66/41.83 c 41.8s| 300 | 67 | 55061 | 130.4 | 481M | 75 | 31k| 14k| 13k|1395 | 0 | 916 | 19 | 0.000000e+00 | -- | Inf | 3.17%
48.63/48.85 c 48.8s| 400 | 30 | 63379 | 118.5 | 486M | 78 | 31k| 14k| 0 |1502 | 0 |1110 | 19 | 0.000000e+00 | -- | Inf | 3.17%
53.52/53.74 c 53.7s| 500 | 26 | 72210 | 112.5 | 489M | 78 | 31k| 14k| 13k|1590 | 0 |1303 | 19 | 0.000000e+00 | -- | Inf | 3.17%
62.19/62.41 c 62.4s| 600 | 51 | 93993 | 130.1 | 491M | 78 | 31k| 14k| 0 |1758 | 0 |1517 | 19 | 0.000000e+00 | -- | Inf | 4.21%
66.88/67.17 c 67.2s| 700 | 56 |101724 | 122.5 | 496M | 78 | 31k| 15k| 13k|1842 | 0 |2491 | 19 | 0.000000e+00 | -- | Inf | 4.21%
71.56/71.86 c 71.9s| 800 | 47 |113524 | 122.0 | 499M | 78 | 31k| 15k| 13k|1904 | 0 |2734 | 19 | 0.000000e+00 | -- | Inf | 4.21%
77.25/77.51 c 77.5s| 900 | 43 |123223 | 119.2 | 502M | 78 | 31k| 15k| 13k|2017 | 0 |2929 | 19 | 0.000000e+00 | -- | Inf | 4.21%
83.13/83.44 c 83.4s| 1000 | 57 |134860 | 118.9 | 506M | 78 | 31k| 15k| 13k|2204 | 1 |3146 | 19 | 0.000000e+00 | -- | Inf | 4.74%
86.02/86.32 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
86.02/86.32 c (run 1, node 1067) performing user restart
86.02/86.32 c
86.02/86.33 c (restart) converted 73 cuts from the global cut pool into linear constraints
86.02/86.33 c
86.12/86.41 c presolving:
86.12/86.43 c (round 1, fast) 0 del vars, 44 del conss, 1140 add conss, 0 chg bounds, 1 chg sides, 1 chg coeffs, 0 upgd conss, 0 impls, 4715 clqs
86.12/86.45 c (round 2, fast) 0 del vars, 44 del conss, 1140 add conss, 0 chg bounds, 1 chg sides, 20521 chg coeffs, 0 upgd conss, 0 impls, 4715 clqs
86.22/86.54 c (round 3, exhaustive) 0 del vars, 46 del conss, 1141 add conss, 0 chg bounds, 2 chg sides, 20523 chg coeffs, 1208 upgd conss, 0 impls, 4725 clqs
86.22/86.56 c (round 4, fast) 0 del vars, 1186 del conss, 1141 add conss, 0 chg bounds, 4 chg sides, 20583 chg coeffs, 1208 upgd conss, 0 impls, 4725 clqs
86.32/86.62 c (round 5, exhaustive) 0 del vars, 1468 del conss, 1142 add conss, 0 chg bounds, 7 chg sides, 20701 chg coeffs, 1208 upgd conss, 0 impls, 4730 clqs
86.42/86.72 c presolving (6 rounds: 6 fast, 3 medium, 3 exhaustive):
86.42/86.72 c 0 deleted vars, 1470 deleted constraints, 1142 added constraints, 0 tightened bounds, 0 added holes, 7 changed sides, 20802 changed coefficients
86.42/86.72 c 0 implications, 4730 cliques
86.42/86.72 c presolved problem has 31225 variables (31225 bin, 0 int, 0 impl, 0 cont) and 15188 constraints
86.42/86.72 c 4715 constraints of type <knapsack>
86.42/86.72 c 4652 constraints of type <setppc>
86.42/86.72 c 20 constraints of type <and>
86.42/86.72 c 2378 constraints of type <linear>
86.42/86.72 c 3423 constraints of type <logicor>
86.42/86.72 c transformed objective value is always integral (scale: 1)
86.42/86.72 c Presolving Time: 2.59
86.42/86.72 c
87.11/87.40 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
87.11/87.40 c 87.4s| 1 | 0 |149987 | - | 511M | 0 | 31k| 15k| 13k| 0 | 0 |3319 | 19 | 0.000000e+00 | -- | Inf | unknown
87.61/87.92 c 87.9s| 1 | 0 |150859 | - | 514M | 0 | 31k| 15k| 14k| 139 | 1 |3319 | 19 | 0.000000e+00 | -- | Inf | unknown
88.21/88.50 c 88.5s| 1 | 0 |151223 | - | 516M | 0 | 31k| 15k| 14k| 251 | 2 |3319 | 19 | 0.000000e+00 | -- | Inf | unknown
88.82/89.14 c 89.1s| 1 | 0 |152034 | - | 518M | 0 | 31k| 15k| 14k| 362 | 3 |3319 | 19 | 0.000000e+00 | -- | Inf | unknown
89.41/89.75 c 89.7s| 1 | 0 |152459 | - | 520M | 0 | 31k| 15k| 14k| 470 | 4 |3319 | 19 | 0.000000e+00 | -- | Inf | unknown
90.11/90.46 c 90.5s| 1 | 0 |152961 | - | 522M | 0 | 31k| 15k| 14k| 574 | 5 |3319 | 19 | 0.000000e+00 | -- | Inf | unknown
90.90/91.22 c 91.2s| 1 | 0 |153483 | - | 527M | 0 | 31k| 15k| 14k| 681 | 6 |3319 | 19 | 0.000000e+00 | -- | Inf | unknown
91.60/91.96 c 91.9s| 1 | 0 |153982 | - | 530M | 0 | 31k| 15k| 14k| 781 | 7 |3319 | 19 | 0.000000e+00 | -- | Inf | unknown
92.50/92.87 c 92.9s| 1 | 0 |154422 | - | 542M | 0 | 31k| 15k| 14k| 875 | 8 |3319 | 19 | 0.000000e+00 | -- | Inf | unknown
93.30/93.64 c 93.6s| 1 | 0 |154903 | - | 548M | 0 | 31k| 15k| 14k| 968 | 9 |3320 | 19 | 0.000000e+00 | -- | Inf | unknown
94.00/94.36 c 94.3s| 1 | 0 |155205 | - | 552M | 0 | 31k| 15k| 14k|1063 | 10 |3320 | 19 | 0.000000e+00 | -- | Inf | unknown
94.49/94.88 c 94.9s| 1 | 0 |155460 | - | 553M | 0 | 31k| 15k| 15k|1146 | 11 |3320 | 19 | 0.000000e+00 | -- | Inf | unknown
95.89/96.20 c 96.2s| 1 | 0 |158419 | - | 556M | 0 | 31k| 15k| 15k|1146 | 11 |3338 | 22 | 0.000000e+00 | -- | Inf | unknown
96.49/96.85 c 96.8s| 1 | 0 |159375 | - | 557M | 0 | 31k| 15k| 15k|1254 | 12 |3340 | 22 | 0.000000e+00 | -- | Inf | unknown
96.59/97.00 c 97.0s| 1 | 0 |159739 | - | 557M | 0 | 31k| 15k| 15k|1265 | 13 |3340 | 22 | 0.000000e+00 | -- | Inf | unknown
101.58/101.91 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
101.58/101.91 c 102s| 1 | 2 |159910 | - | 557M | 0 | 31k| 15k| 15k|1265 | 13 |3340 | 41 | 0.000000e+00 | -- | Inf | unknown
108.46/108.87 c 109s| 100 | 30 |176668 | 125.9 | 559M | 38 | 31k| 15k| 13k|1397 | 0 |3559 | 41 | 0.000000e+00 | -- | Inf | 1.63%
115.23/115.68 c 116s| 200 | 30 |187891 | 124.8 | 566M | 55 | 31k| 15k| 13k|1525 | 0 |3790 | 41 | 0.000000e+00 | -- | Inf | 2.42%
122.21/122.68 c 123s| 300 | 33 |206803 | 129.5 | 571M | 55 | 31k| 15k| 13k|1686 | 1 |4189 | 41 | 0.000000e+00 | -- | Inf | 2.53%
130.89/131.33 c 131s| 400 | 37 |228055 | 135.2 | 581M | 55 | 31k| 16k| 0 |1812 | 0 |4552 | 41 | 0.000000e+00 | -- | Inf | 2.54%
135.27/135.70 c 136s| 500 | 35 |239788 | 134.0 | 583M | 55 | 31k| 16k| 0 |1950 | 0 |4893 | 41 | 0.000000e+00 | -- | Inf | 2.54%
139.36/139.83 c 140s| 600 | 38 |250168 | 132.2 | 586M | 55 | 31k| 16k| 13k|2086 | 1 |5196 | 41 | 0.000000e+00 | -- | Inf | 2.54%
144.65/145.14 c 145s| 700 | 36 |263530 | 132.3 | 587M | 55 | 31k| 16k| 0 |2211 | 0 |5529 | 41 | 0.000000e+00 | -- | Inf | 2.54%
149.64/150.15 c 150s| 800 | 36 |279137 | 133.6 | 593M | 55 | 31k| 16k| 13k|2327 | 0 |5838 | 41 | 0.000000e+00 | -- | Inf | 2.55%
154.42/154.91 c 155s| 900 | 35 |293668 | 134.2 | 599M | 55 | 31k| 16k| 13k|2411 | 0 |6211 | 41 | 0.000000e+00 | -- | Inf | 2.55%
159.00/159.52 c 160s| 1000 | 37 |308471 | 134.8 | 604M | 55 | 31k| 16k| 13k|2479 | 1 |6473 | 41 | 0.000000e+00 | -- | Inf | 2.55%
163.69/164.28 c 164s| 1100 | 34 |323569 | 135.6 | 612M | 55 | 31k| 16k| 13k|2540 | 1 |6691 | 41 | 0.000000e+00 | -- | Inf | 2.55%
168.67/169.28 c 169s| 1200 | 41 |337035 | 135.5 | 616M | 55 | 31k| 16k| 13k|2655 | 1 |6922 | 41 | 0.000000e+00 | -- | Inf | 2.55%
174.26/174.87 c 175s| 1300 | 37 |350115 | 135.3 | 620M | 55 | 31k| 16k| 13k|2814 | 1 |7175 | 41 | 0.000000e+00 | -- | Inf | 2.57%
178.84/179.49 c 179s| 1400 | 37 |362883 | 135.0 | 623M | 55 | 31k| 17k| 0 |3038 | 0 |7434 | 41 | 0.000000e+00 | -- | Inf | 2.57%
183.53/184.10 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
183.53/184.10 c 184s| 1500 | 42 |376203 | 134.9 | 626M | 55 | 31k| 17k| 13k|3141 | 1 |7740 | 41 | 0.000000e+00 | -- | Inf | 2.58%
190.01/190.62 c 191s| 1600 | 35 |391032 | 135.5 | 631M | 55 | 31k| 17k| 13k|3395 | 0 |8027 | 41 | 0.000000e+00 | -- | Inf | 2.58%
194.80/195.46 c 195s| 1700 | 35 |405405 | 135.7 | 635M | 55 | 31k| 17k| 0 |3588 | 0 |8319 | 41 | 0.000000e+00 | -- | Inf | 2.58%
200.18/200.82 c 201s| 1800 | 40 |421723 | 136.7 | 637M | 55 | 31k| 17k| 0 |3808 | 0 |8606 | 41 | 0.000000e+00 | -- | Inf | 2.59%
205.37/206.01 c 206s| 1900 | 37 |435477 | 136.7 | 643M | 55 | 31k| 17k| 0 |3909 | 0 |8944 | 41 | 0.000000e+00 | -- | Inf | 2.59%
210.45/211.13 c 211s| 2000 | 38 |450063 | 137.0 | 647M | 55 | 31k| 17k| 13k|3965 | 1 |9290 | 41 | 0.000000e+00 | -- | Inf | 2.59%
215.74/216.40 c 216s| 2100 | 37 |468647 | 138.6 | 652M | 55 | 31k| 18k| 13k|4047 | 1 |9601 | 41 | 0.000000e+00 | -- | Inf | 2.59%
219.82/220.58 c 221s| 2200 | 35 |481517 | 138.3 | 656M | 55 | 31k| 18k| 13k|4101 | 0 |9900 | 41 | 0.000000e+00 | -- | Inf | 2.59%
225.41/226.16 c 226s| 2300 | 40 |497144 | 138.8 | 659M | 55 | 31k| 18k| 13k|4204 | 1 | 10k| 41 | 0.000000e+00 | -- | Inf | 2.60%
229.49/230.25 c 230s| 2400 | 40 |509018 | 138.2 | 663M | 55 | 31k| 18k| 13k|4325 | 0 | 10k| 41 | 0.000000e+00 | -- | Inf | 2.60%
234.49/235.29 c 235s| 2500 | 42 |523068 | 138.3 | 666M | 55 | 31k| 18k| 13k|4438 | 1 | 10k| 41 | 0.000000e+00 | -- | Inf | 2.60%
239.87/240.67 c 241s| 2600 | 37 |539564 | 139.0 | 672M | 55 | 31k| 18k| 13k|4585 | 2 | 11k| 41 | 0.000000e+00 | -- | Inf | 2.61%
244.55/245.30 c 245s| 2700 | 39 |552684 | 138.8 | 675M | 55 | 31k| 18k| 13k|4672 | 1 | 11k| 41 | 0.000000e+00 | -- | Inf | 2.61%
249.14/249.90 c 250s| 2800 | 38 |563762 | 138.1 | 680M | 55 | 31k| 18k| 0 |4795 | 0 | 11k| 41 | 0.000000e+00 | -- | Inf | 2.61%
253.73/254.56 c 255s| 2900 | 35 |578815 | 138.4 | 684M | 55 | 31k| 18k| 0 |4898 | 0 | 12k| 41 | 0.000000e+00 | -- | Inf | 2.61%
258.11/258.90 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
258.11/258.90 c 259s| 3000 | 34 |594364 | 138.8 | 689M | 55 | 31k| 18k| 0 |4947 | 0 | 12k| 41 | 0.000000e+00 | -- | Inf | 2.61%
262.39/263.26 c 263s| 3100 | 48 |606147 | 138.3 | 691M | 55 | 31k| 18k| 13k|5073 | 1 | 12k| 41 | 0.000000e+00 | -- | Inf | 2.61%
268.77/269.65 c 270s| 3200 | 46 |621334 | 138.6 | 696M | 55 | 31k| 18k| 13k|5418 | 1 | 13k| 41 | 0.000000e+00 | -- | Inf | 2.61%
273.96/274.86 c 275s| 3300 | 39 |633620 | 138.3 | 699M | 55 | 31k| 18k| 13k|5600 | 2 | 13k| 41 | 0.000000e+00 | -- | Inf | 2.61%
278.84/279.75 c 280s| 3400 | 40 |652302 | 139.4 | 704M | 55 | 31k| 18k| 13k|5767 | 1 | 13k| 41 | 0.000000e+00 | -- | Inf | 2.61%
283.73/284.68 c 285s| 3500 | 44 |664744 | 139.0 | 711M | 55 | 31k| 18k| 13k|5929 | 0 | 14k| 41 | 0.000000e+00 | -- | Inf | 2.61%
288.21/289.17 c 289s| 3600 | 46 |676448 | 138.6 | 714M | 55 | 31k| 18k| 13k|6166 | 2 | 14k| 41 | 0.000000e+00 | -- | Inf | 2.61%
293.50/294.46 c 294s| 3700 | 41 |689922 | 138.5 | 720M | 55 | 31k| 18k| 0 |6373 | 0 | 15k| 41 | 0.000000e+00 | -- | Inf | 2.61%
297.69/298.69 c 299s| 3800 | 39 |701787 | 138.1 | 723M | 55 | 31k| 18k| 0 |6529 | 0 | 15k| 41 | 0.000000e+00 | -- | Inf | 2.61%
302.67/303.64 c 304s| 3900 | 43 |718415 | 138.6 | 727M | 55 | 31k| 18k| 0 |6826 | 0 | 15k| 41 | 0.000000e+00 | -- | Inf | 2.61%
307.75/308.79 c 309s| 4000 | 43 |734004 | 139.0 | 730M | 55 | 31k| 18k| 13k|7003 | 2 | 15k| 41 | 0.000000e+00 | -- | Inf | 2.61%
313.05/314.01 c 314s| 4100 | 41 |745443 | 138.5 | 734M | 55 | 31k| 18k| 13k|7217 | 1 | 16k| 41 | 0.000000e+00 | -- | Inf | 2.61%
318.03/319.02 c 319s| 4200 | 41 |760155 | 138.7 | 735M | 55 | 31k| 18k| 13k|7478 | 1 | 16k| 41 | 0.000000e+00 | -- | Inf | 2.61%
322.41/323.48 c 323s| 4300 | 40 |776642 | 139.2 | 737M | 55 | 31k| 18k| 0 |7647 | 0 | 16k| 41 | 0.000000e+00 | -- | Inf | 2.61%
327.10/328.15 c 328s| 4400 | 42 |791352 | 139.3 | 741M | 55 | 31k| 18k| 13k|7757 | 1 | 17k| 41 | 0.000000e+00 | -- | Inf | 2.61%
331.58/332.61 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
331.58/332.61 c 333s| 4500 | 41 |807483 | 139.7 | 743M | 55 | 31k| 19k| 13k|7892 | 2 | 17k| 41 | 0.000000e+00 | -- | Inf | 2.61%
338.26/339.31 c 339s| 4600 | 40 |831334 | 141.4 | 748M | 55 | 31k| 18k| 13k|8138 | 1 | 18k| 41 | 0.000000e+00 | -- | Inf | 2.61%
343.05/344.16 c 344s| 4700 | 39 |851849 | 142.5 | 753M | 55 | 31k| 18k| 13k|8257 | 1 | 18k| 41 | 0.000000e+00 | -- | Inf | 2.62%
348.13/349.28 c 349s| 4800 | 35 |870059 | 143.2 | 756M | 55 | 31k| 18k| 13k|8501 | 1 | 18k| 41 | 0.000000e+00 | -- | Inf | 2.62%
351.73/352.83 c 353s| 4900 | 36 |878008 | 142.2 | 758M | 55 | 31k| 19k| 0 |8668 | 0 | 18k| 41 | 0.000000e+00 | -- | Inf | 2.62%
356.11/357.28 c 357s| 5000 | 39 |891402 | 142.0 | 764M | 55 | 31k| 19k| 13k|8886 | 1 | 19k| 41 | 0.000000e+00 | -- | Inf | 2.62%
360.50/361.69 c 362s| 5100 | 38 |907449 | 142.3 | 767M | 55 | 31k| 19k| 13k|9114 | 0 | 19k| 41 | 0.000000e+00 | -- | Inf | 2.62%
365.09/366.22 c 366s| 5200 | 37 |925344 | 142.9 | 769M | 55 | 31k| 19k| 13k|9230 | 1 | 19k| 41 | 0.000000e+00 | -- | Inf | 2.62%
372.56/373.78 c 374s| 5300 | 40 |939723 | 142.9 | 777M | 55 | 31k| 19k| 13k|9433 | 1 | 20k| 41 | 0.000000e+00 | -- | Inf | 2.62%
377.55/378.79 c 379s| 5400 | 35 |958775 | 143.7 | 784M | 55 | 31k| 19k| 0 |9679 | 0 | 20k| 41 | 0.000000e+00 | -- | Inf | 2.62%
382.33/383.56 c 384s| 5500 | 36 |976350 | 144.1 | 787M | 55 | 31k| 19k| 0 |9947 | 0 | 21k| 41 | 0.000000e+00 | -- | Inf | 2.62%
386.92/388.13 c 388s| 5600 | 36 |991185 | 144.2 | 794M | 55 | 31k| 19k| 0 | 10k| 0 | 21k| 41 | 0.000000e+00 | -- | Inf | 2.62%
391.31/392.50 c 392s| 5700 | 43 | 1008k| 144.6 | 799M | 55 | 31k| 19k| 13k| 10k| 1 | 21k| 41 | 0.000000e+00 | -- | Inf | 2.62%
397.39/398.61 c 399s| 5800 | 34 | 1028k| 145.5 | 805M | 55 | 31k| 19k| 13k| 10k| 0 | 22k| 41 | 0.000000e+00 | -- | Inf | 2.62%
403.17/404.42 c 404s| 5900 | 42 | 1043k| 145.6 | 808M | 55 | 31k| 19k| 13k| 10k| 1 | 22k| 41 | 0.000000e+00 | -- | Inf | 2.63%
408.35/409.61 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
408.35/409.61 c 410s| 6000 | 39 | 1058k| 145.6 | 812M | 55 | 31k| 19k| 0 | 10k| 0 | 22k| 41 | 0.000000e+00 | -- | Inf | 2.63%
413.13/414.48 c 414s| 6100 | 42 | 1072k| 145.5 | 814M | 55 | 31k| 18k| 13k| 11k| 1 | 23k| 41 | 0.000000e+00 | -- | Inf | 2.63%
417.53/418.82 c 419s| 6200 | 38 | 1087k| 145.6 | 818M | 55 | 31k| 18k| 0 | 11k| 0 | 23k| 41 | 0.000000e+00 | -- | Inf | 2.63%
421.91/423.24 c 423s| 6300 | 44 | 1101k| 145.5 | 820M | 55 | 31k| 18k| 13k| 11k| 1 | 23k| 41 | 0.000000e+00 | -- | Inf | 2.63%
430.98/432.34 c 432s| 6400 | 44 | 1120k| 146.1 | 823M | 55 | 31k| 19k| 13k| 11k| 1 | 23k| 41 | 0.000000e+00 | -- | Inf | 2.63%
435.26/436.68 c 437s| 6500 | 45 | 1137k| 146.4 | 827M | 55 | 31k| 19k| 0 | 11k| 0 | 24k| 41 | 0.000000e+00 | -- | Inf | 2.63%
440.16/441.51 c 441s| 6600 | 48 | 1151k| 146.3 | 830M | 55 | 31k| 18k| 0 | 11k| 0 | 24k| 41 | 0.000000e+00 | -- | Inf | 2.63%
444.74/446.15 c 446s| 6700 | 46 | 1166k| 146.3 | 832M | 55 | 31k| 19k| 13k| 12k| 1 | 24k| 41 | 0.000000e+00 | -- | Inf | 2.63%
450.03/451.49 c 451s| 6800 | 45 | 1188k| 147.2 | 837M | 55 | 31k| 19k| 13k| 12k| 1 | 24k| 41 | 0.000000e+00 | -- | Inf | 2.63%
454.41/455.89 c 456s| 6900 | 45 | 1204k| 147.4 | 842M | 55 | 31k| 19k| 13k| 12k| 1 | 25k| 41 | 0.000000e+00 | -- | Inf | 2.63%
459.19/460.68 c 461s| 7000 | 40 | 1220k| 147.6 | 846M | 55 | 31k| 19k| 13k| 12k| 2 | 25k| 41 | 0.000000e+00 | -- | Inf | 2.63%
465.17/466.64 c 467s| 7100 | 38 | 1243k| 148.6 | 852M | 55 | 31k| 19k| 0 | 12k| 0 | 25k| 41 | 0.000000e+00 | -- | Inf | 2.63%
471.46/472.99 c 473s| 7200 | 37 | 1274k| 150.5 | 856M | 55 | 31k| 19k| 13k| 12k| 1 | 26k| 41 | 0.000000e+00 | -- | Inf | 2.63%
478.13/479.67 c 480s| 7300 | 43 | 1303k| 152.2 | 859M | 55 | 31k| 19k| 13k| 12k| 0 | 26k| 41 | 0.000000e+00 | -- | Inf | 2.64%
484.41/485.94 c 486s| 7400 | 40 | 1330k| 153.6 | 864M | 55 | 31k| 19k| 13k| 13k| 1 | 26k| 41 | 0.000000e+00 | -- | Inf | 2.64%
490.19/491.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
490.19/491.76 c 492s| 7500 | 41 | 1357k| 154.9 | 867M | 55 | 31k| 19k| 13k| 13k| 1 | 27k| 41 | 0.000000e+00 | -- | Inf | 2.64%
497.18/498.72 c 499s| 7600 | 41 | 1387k| 156.6 | 871M | 55 | 31k| 20k| 0 | 13k| 0 | 27k| 41 | 0.000000e+00 | -- | Inf | 2.64%
502.66/504.23 c 504s| 7700 | 41 | 1413k| 157.8 | 876M | 55 | 31k| 20k| 13k| 13k| 1 | 27k| 41 | 0.000000e+00 | -- | Inf | 2.64%
508.04/509.63 c 510s| 7800 | 38 | 1437k| 158.8 | 881M | 55 | 31k| 20k| 0 | 13k| 0 | 28k| 41 | 0.000000e+00 | -- | Inf | 2.64%
515.32/516.95 c 517s| 7900 | 43 | 1472k| 160.9 | 888M | 55 | 31k| 20k| 13k| 13k| 1 | 28k| 41 | 0.000000e+00 | -- | Inf | 2.64%
519.80/521.41 c 521s| 8000 | 41 | 1490k| 161.1 | 890M | 55 | 31k| 20k| 13k| 13k| 1 | 28k| 41 | 0.000000e+00 | -- | Inf | 2.64%
524.68/526.30 c 526s| 8100 | 39 | 1510k| 161.5 | 890M | 55 | 31k| 20k| 13k| 14k| 0 | 29k| 41 | 0.000000e+00 | -- | Inf | 2.64%
531.76/533.48 c 533s| 8200 | 39 | 1538k| 162.8 | 894M | 55 | 31k| 20k| 13k| 14k| 1 | 29k| 41 | 0.000000e+00 | -- | Inf | 2.64%
537.46/539.19 c 539s| 8300 | 40 | 1560k| 163.4 | 896M | 55 | 31k| 20k| 13k| 14k| 1 | 29k| 41 | 0.000000e+00 | -- | Inf | 2.64%
543.44/545.15 c 545s| 8400 | 38 | 1586k| 164.4 | 898M | 55 | 31k| 20k| 13k| 14k| 1 | 29k| 41 | 0.000000e+00 | -- | Inf | 2.64%
548.42/550.18 c 550s| 8500 | 39 | 1611k| 165.4 | 900M | 55 | 31k| 20k| 13k| 14k| 1 | 30k| 41 | 0.000000e+00 | -- | Inf | 2.64%
555.10/556.86 c 557s| 8600 | 41 | 1639k| 166.5 | 902M | 55 | 31k| 20k| 13k| 14k| 1 | 30k| 41 | 0.000000e+00 | -- | Inf | 2.64%
561.87/563.68 c 564s| 8700 | 42 | 1671k| 168.1 | 905M | 55 | 31k| 20k| 13k| 14k| 1 | 30k| 41 | 0.000000e+00 | -- | Inf | 2.64%
568.26/570.07 c 570s| 8800 | 42 | 1700k| 169.4 | 908M | 55 | 31k| 20k| 13k| 15k| 1 | 31k| 41 | 0.000000e+00 | -- | Inf | 2.64%
575.24/577.04 c 577s| 8900 | 38 | 1733k| 170.9 | 912M | 55 | 31k| 20k| 13k| 15k| 1 | 31k| 41 | 0.000000e+00 | -- | Inf | 2.64%
582.02/583.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
582.02/583.82 c 584s| 9000 | 37 | 1762k| 172.2 | 917M | 55 | 31k| 21k| 0 | 15k| 0 | 31k| 41 | 0.000000e+00 | -- | Inf | 2.64%
589.79/591.65 c 592s| 9100 | 34 | 1794k| 173.5 | 922M | 55 | 31k| 21k| 13k| 15k| 1 | 32k| 41 | 0.000000e+00 | -- | Inf | 2.64%
596.87/598.70 c 599s| 9200 | 37 | 1828k| 175.2 | 924M | 55 | 31k| 21k| 0 | 15k| 0 | 32k| 41 | 0.000000e+00 | -- | Inf | 2.65%
606.74/608.62 c 609s| 9300 | 40 | 1871k| 177.6 | 926M | 55 | 31k| 21k| 0 | 16k| 0 | 33k| 41 | 0.000000e+00 | -- | Inf | 2.65%
612.92/614.87 c 615s| 9400 | 43 | 1903k| 179.0 | 929M | 55 | 31k| 21k| 13k| 16k| 1 | 33k| 41 | 0.000000e+00 | -- | Inf | 2.65%
620.70/622.69 c 623s| 9500 | 41 | 1942k| 181.0 | 934M | 55 | 31k| 21k| 13k| 16k| 2 | 34k| 41 | 0.000000e+00 | -- | Inf | 2.66%
629.18/631.14 c 631s| 9600 | 41 | 1976k| 182.5 | 938M | 55 | 31k| 21k| 13k| 16k| 2 | 34k| 41 | 0.000000e+00 | -- | Inf | 2.66%
635.56/637.53 c 638s| 9700 | 42 | 2003k| 183.3 | 942M | 55 | 31k| 21k| 0 | 16k| 0 | 34k| 41 | 0.000000e+00 | -- | Inf | 2.66%
643.53/645.56 c 646s| 9800 | 42 | 2039k| 185.0 | 948M | 55 | 31k| 22k| 0 | 17k| 0 | 35k| 41 | 0.000000e+00 | -- | Inf | 2.66%
649.61/651.67 c 652s| 9900 | 51 | 2062k| 185.3 | 951M | 55 | 31k| 22k| 13k| 17k| 1 | 35k| 41 | 0.000000e+00 | -- | Inf | 2.66%
656.09/658.14 c 658s| 10000 | 44 | 2096k| 186.7 | 956M | 55 | 31k| 22k| 13k| 17k| 1 | 35k| 41 | 0.000000e+00 | -- | Inf | 2.66%
663.37/665.49 c 665s| 10100 | 41 | 2136k| 188.7 | 961M | 55 | 31k| 22k| 0 | 17k| 0 | 36k| 41 | 0.000000e+00 | -- | Inf | 2.66%
671.35/673.46 c 673s| 10200 | 43 | 2171k| 190.1 | 965M | 55 | 31k| 22k| 13k| 17k| 1 | 36k| 41 | 0.000000e+00 | -- | Inf | 2.66%
678.13/680.24 c 680s| 10300 | 41 | 2210k| 191.8 | 970M | 55 | 31k| 22k| 13k| 17k| 1 | 36k| 41 | 0.000000e+00 | -- | Inf | 2.66%
685.20/687.32 c 687s| 10400 | 44 | 2243k| 193.0 | 974M | 55 | 31k| 22k| 0 | 17k| 0 | 37k| 41 | 0.000000e+00 | -- | Inf | 2.66%
691.39/693.56 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
691.39/693.56 c 694s| 10500 | 48 | 2276k| 194.3 | 978M | 55 | 31k| 22k| 0 | 18k| 0 | 37k| 41 | 0.000000e+00 | -- | Inf | 2.66%
698.07/700.23 c 700s| 10600 | 46 | 2310k| 195.5 | 982M | 55 | 31k| 23k| 13k| 18k| 1 | 37k| 41 | 0.000000e+00 | -- | Inf | 2.66%
704.75/706.96 c 707s| 10700 | 44 | 2348k| 197.0 | 985M | 55 | 31k| 23k| 13k| 18k| 1 | 38k| 41 | 0.000000e+00 | -- | Inf | 2.66%
710.23/712.40 c 712s| 10800 | 44 | 2372k| 197.4 | 989M | 55 | 31k| 23k| 13k| 18k| 1 | 38k| 41 | 0.000000e+00 | -- | Inf | 2.66%
715.62/717.81 c 718s| 10900 | 45 | 2399k| 198.0 | 992M | 55 | 31k| 23k| 13k| 18k| 1 | 38k| 41 | 0.000000e+00 | -- | Inf | 2.66%
722.80/725.04 c 725s| 11000 | 47 | 2434k| 199.3 | 995M | 55 | 31k| 23k| 0 | 18k| 0 | 38k| 41 | 0.000000e+00 | -- | Inf | 2.66%
729.08/731.33 c 731s| 11100 | 47 | 2463k| 200.0 | 1000M | 55 | 31k| 23k| 13k| 18k| 1 | 39k| 41 | 0.000000e+00 | -- | Inf | 2.66%
735.26/737.50 c 737s| 11200 | 46 | 2498k| 201.3 | 1004M | 55 | 31k| 23k| 0 | 19k| 0 | 39k| 41 | 0.000000e+00 | -- | Inf | 2.66%
741.64/743.93 c 744s| 11300 | 45 | 2530k| 202.2 | 1009M | 55 | 31k| 23k| 0 | 19k| 0 | 39k| 41 | 0.000000e+00 | -- | Inf | 2.66%
748.32/750.64 c 751s| 11400 | 44 | 2566k| 203.5 | 1013M | 55 | 31k| 23k| 0 | 19k| 0 | 39k| 41 | 0.000000e+00 | -- | Inf | 2.66%
754.00/756.33 c 756s| 11500 | 45 | 2591k| 203.9 | 1017M | 55 | 31k| 23k| 13k| 19k| 1 | 40k| 41 | 0.000000e+00 | -- | Inf | 2.66%
760.88/763.27 c 763s| 11600 | 42 | 2626k| 205.0 | 1021M | 55 | 31k| 24k| 13k| 19k| 2 | 40k| 41 | 0.000000e+00 | -- | Inf | 2.66%
767.36/769.70 c 770s| 11700 | 43 | 2658k| 205.9 | 1023M | 55 | 31k| 24k| 13k| 19k| 1 | 40k| 41 | 0.000000e+00 | -- | Inf | 2.66%
773.34/775.70 c 776s| 11800 | 41 | 2686k| 206.5 | 1028M | 55 | 31k| 24k| 13k| 19k| 0 | 41k| 41 | 0.000000e+00 | -- | Inf | 2.66%
779.42/781.80 c 782s| 11900 | 47 | 2716k| 207.2 | 1033M | 55 | 31k| 24k| 13k| 20k| 1 | 41k| 41 | 0.000000e+00 | -- | Inf | 2.66%
784.71/787.11 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
784.71/787.11 c 787s| 12000 | 47 | 2741k| 207.5 | 1037M | 55 | 31k| 24k| 0 | 20k| 0 | 41k| 41 | 0.000000e+00 | -- | Inf | 2.66%
791.69/794.15 c 794s| 12100 | 43 | 2774k| 208.5 | 1042M | 55 | 31k| 24k| 0 | 20k| 0 | 42k| 41 | 0.000000e+00 | -- | Inf | 2.66%
798.57/801.07 c 801s| 12200 | 42 | 2805k| 209.2 | 1046M | 55 | 31k| 24k| 13k| 20k| 1 | 42k| 41 | 0.000000e+00 | -- | Inf | 2.66%
805.44/807.95 c 808s| 12300 | 44 | 2837k| 210.0 | 1048M | 55 | 31k| 24k| 13k| 20k| 1 | 42k| 41 | 0.000000e+00 | -- | Inf | 2.66%
811.72/814.22 c 814s| 12400 | 41 | 2865k| 210.6 | 1052M | 55 | 31k| 23k| 13k| 20k| 1 | 43k| 41 | 0.000000e+00 | -- | Inf | 2.66%
819.10/821.62 c 822s| 12500 | 44 | 2895k| 211.2 | 1053M | 55 | 31k| 23k| 0 | 21k| 0 | 43k| 41 | 0.000000e+00 | -- | Inf | 2.66%
825.39/827.91 c 828s| 12600 | 46 | 2922k| 211.7 | 1057M | 55 | 31k| 23k| 0 | 21k| 0 | 43k| 41 | 0.000000e+00 | -- | Inf | 2.66%
831.67/834.22 c 834s| 12700 | 51 | 2952k| 212.3 | 1061M | 55 | 31k| 23k| 13k| 21k| 1 | 44k| 41 | 0.000000e+00 | -- | Inf | 2.66%
837.65/840.22 c 840s| 12800 | 48 | 2987k| 213.3 | 1065M | 55 | 31k| 23k| 0 | 21k| 0 | 44k| 41 | 0.000000e+00 | -- | Inf | 2.66%
845.53/848.15 c 848s| 12900 | 50 | 3033k| 215.1 | 1070M | 55 | 31k| 23k| 13k| 21k| 1 | 45k| 41 | 0.000000e+00 | -- | Inf | 2.66%
850.11/852.76 c 853s| 13000 | 51 | 3052k| 214.9 | 1075M | 55 | 31k| 24k| 0 | 21k| 0 | 45k| 41 | 0.000000e+00 | -- | Inf | 2.66%
855.29/857.99 c 858s| 13100 | 46 | 3073k| 214.9 | 1079M | 55 | 31k| 23k| 13k| 21k| 1 | 45k| 41 | 0.000000e+00 | -- | Inf | 2.66%
861.48/864.19 c 864s| 13200 | 48 | 3096k| 214.9 | 1086M | 55 | 31k| 24k| 0 | 22k| 0 | 46k| 41 | 0.000000e+00 | -- | Inf | 2.66%
867.65/870.34 c 870s| 13300 | 45 | 3127k| 215.6 | 1088M | 55 | 31k| 23k| 0 | 22k| 0 | 46k| 41 | 0.000000e+00 | -- | Inf | 2.66%
872.84/875.55 c 876s| 13400 | 48 | 3154k| 216.0 | 1093M | 55 | 31k| 24k| 13k| 22k| 1 | 46k| 41 | 0.000000e+00 | -- | Inf | 2.66%
877.22/879.91 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
877.22/879.91 c 880s| 13500 | 51 | 3167k| 215.4 | 1097M | 55 | 31k| 24k| 13k| 22k| 1 | 47k| 41 | 0.000000e+00 | -- | Inf | 2.66%
883.81/886.51 c 887s| 13600 | 44 | 3204k| 216.5 | 1100M | 55 | 31k| 24k| 0 | 22k| 0 | 47k| 41 | 0.000000e+00 | -- | Inf | 2.66%
890.79/893.51 c 894s| 13700 | 45 | 3233k| 217.0 | 1103M | 55 | 31k| 24k| 13k| 22k| 1 | 48k| 41 | 0.000000e+00 | -- | Inf | 2.66%
897.96/900.71 c 901s| 13800 | 49 | 3266k| 217.7 | 1106M | 55 | 31k| 24k| 13k| 23k| 1 | 48k| 41 | 0.000000e+00 | -- | Inf | 2.66%
905.14/908.00 c 908s| 13900 | 46 | 3303k| 218.8 | 1109M | 55 | 31k| 24k| 13k| 23k| 2 | 48k| 41 | 0.000000e+00 | -- | Inf | 2.66%
913.82/916.62 c 917s| 14000 | 48 | 3341k| 219.8 | 1112M | 55 | 31k| 24k| 13k| 23k| 1 | 49k| 41 | 0.000000e+00 | -- | Inf | 2.66%
920.31/923.15 c 923s| 14100 | 47 | 3370k| 220.3 | 1117M | 55 | 31k| 24k| 13k| 23k| 1 | 49k| 41 | 0.000000e+00 | -- | Inf | 2.66%
927.58/930.47 c 930s| 14200 | 50 | 3401k| 220.9 | 1120M | 55 | 31k| 23k| 13k| 23k| 1 | 49k| 41 | 0.000000e+00 | -- | Inf | 2.66%
933.46/936.37 c 936s| 14300 | 51 | 3429k| 221.2 | 1123M | 55 | 31k| 24k| 13k| 24k| 0 | 50k| 41 | 0.000000e+00 | -- | Inf | 2.66%
938.44/941.37 c 941s| 14400 | 48 | 3448k| 221.0 | 1125M | 55 | 31k| 23k| 13k| 24k| 1 | 50k| 41 | 0.000000e+00 | -- | Inf | 2.66%
945.92/948.83 c 949s| 14500 | 51 | 3489k| 222.2 | 1128M | 55 | 31k| 24k| 0 | 24k| 0 | 50k| 41 | 0.000000e+00 | -- | Inf | 2.66%
952.70/955.66 c 956s| 14600 | 52 | 3514k| 222.4 | 1131M | 55 | 31k| 24k| 13k| 24k| 0 | 51k| 41 | 0.000000e+00 | -- | Inf | 2.66%
958.18/961.17 c 961s| 14700 | 52 | 3536k| 222.4 | 1138M | 55 | 31k| 24k| 13k| 24k| 1 | 51k| 41 | 0.000000e+00 | -- | Inf | 2.66%
964.86/967.87 c 968s| 14800 | 50 | 3569k| 223.1 | 1142M | 55 | 31k| 24k| 13k| 25k| 1 | 51k| 41 | 0.000000e+00 | -- | Inf | 2.66%
970.94/973.99 c 974s| 14900 | 62 | 3599k| 223.6 | 1145M | 55 | 31k| 24k| 13k| 25k| 1 | 52k| 41 | 0.000000e+00 | -- | Inf | 2.66%
973.33/976.32 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
973.33/976.32 c 976s| 15000 | 62 | 3600k| 222.3 | 1149M | 76 | 31k| 24k| 0 | 25k| 0 | 52k| 41 | 0.000000e+00 | -- | Inf | 2.66%
978.42/981.41 c 981s| 15100 | 52 | 3627k| 222.5 | 1151M | 76 | 31k| 24k| 13k| 25k| 1 | 52k| 41 | 0.000000e+00 | -- | Inf | 2.66%
985.69/988.73 c 989s| 15200 | 50 | 3664k| 223.4 | 1156M | 76 | 31k| 24k| 13k| 25k| 1 | 53k| 41 | 0.000000e+00 | -- | Inf | 2.66%
992.67/995.76 c 996s| 15300 | 46 | 3702k| 224.4 | 1158M | 76 | 31k| 24k| 13k| 25k| 0 | 53k| 41 | 0.000000e+00 | -- | Inf | 2.67%
999.65/1002.79 c 1003s| 15400 | 49 | 3739k| 225.3 | 1161M | 76 | 31k| 23k| 13k| 25k| 1 | 54k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1008.03/1011.10 c 1011s| 15500 | 49 | 3783k| 226.6 | 1164M | 76 | 31k| 24k| 13k| 26k| 1 | 54k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1016.10/1019.29 c 1019s| 15600 | 50 | 3821k| 227.5 | 1165M | 76 | 31k| 23k| 0 | 26k| 0 | 54k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1021.78/1024.91 c 1025s| 15700 | 50 | 3852k| 228.0 | 1167M | 76 | 31k| 24k| 0 | 26k| 0 | 55k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1029.16/1032.32 c 1032s| 15800 | 47 | 3888k| 228.8 | 1171M | 76 | 31k| 23k| 13k| 26k| 1 | 55k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1036.23/1039.44 c 1039s| 15900 | 49 | 3924k| 229.6 | 1175M | 76 | 31k| 23k| 0 | 26k| 0 | 55k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1044.11/1047.33 c 1047s| 16000 | 51 | 3966k| 230.7 | 1179M | 76 | 31k| 24k| 13k| 26k| 1 | 56k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1050.69/1053.94 c 1054s| 16100 | 52 | 3998k| 231.2 | 1183M | 76 | 31k| 24k| 13k| 26k| 1 | 56k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1057.27/1060.50 c 1060s| 16200 | 56 | 4032k| 231.8 | 1188M | 76 | 31k| 24k| 13k| 26k| 1 | 57k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1062.35/1065.66 c 1066s| 16300 | 53 | 4055k| 231.8 | 1193M | 76 | 31k| 24k| 0 | 27k| 0 | 57k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1068.84/1072.13 c 1072s| 16400 | 54 | 4089k| 232.4 | 1196M | 76 | 31k| 24k| 13k| 27k| 1 | 57k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1074.92/1078.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1074.92/1078.22 c 1078s| 16500 | 53 | 4117k| 232.7 | 1199M | 76 | 31k| 24k| 13k| 27k| 1 | 58k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1082.39/1085.75 c 1086s| 16600 | 54 | 4155k| 233.6 | 1203M | 76 | 31k| 24k| 0 | 27k| 0 | 58k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1088.68/1092.04 c 1092s| 16700 | 55 | 4181k| 233.7 | 1212M | 76 | 31k| 24k| 0 | 27k| 0 | 58k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1095.55/1098.99 c 1099s| 16800 | 55 | 4210k| 234.0 | 1215M | 76 | 31k| 24k| 13k| 28k| 1 | 59k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1105.52/1108.94 c 1109s| 16900 | 55 | 4258k| 235.4 | 1220M | 76 | 31k| 24k| 13k| 28k| 1 | 59k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1112.90/1116.31 c 1116s| 17000 | 51 | 4291k| 235.9 | 1224M | 76 | 31k| 24k| 0 | 28k| 0 | 60k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1118.98/1122.47 c 1122s| 17100 | 56 | 4320k| 236.2 | 1227M | 76 | 31k| 23k| 0 | 28k| 0 | 60k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1126.66/1130.18 c 1130s| 17200 | 55 | 4359k| 237.0 | 1231M | 76 | 31k| 23k| 13k| 28k| 2 | 60k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1132.44/1135.93 c 1136s| 17300 | 53 | 4388k| 237.3 | 1232M | 76 | 31k| 23k| 13k| 29k| 1 | 61k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1138.53/1142.05 c 1142s| 17400 | 58 | 4418k| 237.7 | 1235M | 76 | 31k| 23k| 13k| 29k| 1 | 61k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1144.80/1148.38 c 1148s| 17500 | 56 | 4445k| 237.8 | 1237M | 76 | 31k| 23k| 0 | 29k| 0 | 61k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1151.68/1155.21 c 1155s| 17600 | 56 | 4475k| 238.1 | 1238M | 76 | 31k| 23k| 0 | 29k| 0 | 61k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1158.37/1161.93 c 1162s| 17700 | 57 | 4504k| 238.4 | 1239M | 76 | 31k| 23k| 13k| 29k| 1 | 62k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1163.95/1167.54 c 1168s| 17800 | 55 | 4530k| 238.5 | 1241M | 76 | 31k| 23k| 0 | 29k| 0 | 62k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1169.44/1173.03 c 1173s| 17900 | 54 | 4553k| 238.5 | 1245M | 76 | 31k| 22k| 0 | 29k| 0 | 62k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1176.91/1180.57 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1176.91/1180.57 c 1181s| 18000 | 57 | 4585k| 238.9 | 1250M | 76 | 31k| 23k| 0 | 29k| 0 | 63k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1185.58/1189.23 c 1189s| 18100 | 55 | 4624k| 239.7 | 1254M | 76 | 31k| 23k| 13k| 30k| 1 | 63k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1192.66/1196.31 c 1196s| 18200 | 52 | 4660k| 240.4 | 1257M | 76 | 31k| 22k| 0 | 30k| 0 | 64k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1199.35/1203.01 c 1203s| 18300 | 50 | 4694k| 240.9 | 1261M | 76 | 31k| 23k| 13k| 30k| 1 | 64k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1206.52/1210.20 c 1210s| 18400 | 57 | 4728k| 241.4 | 1264M | 76 | 31k| 23k| 13k| 30k| 1 | 64k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1212.50/1216.21 c 1216s| 18500 | 59 | 4755k| 241.5 | 1265M | 76 | 31k| 22k| 0 | 30k| 0 | 65k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1219.18/1222.93 c 1223s| 18600 | 56 | 4791k| 242.1 | 1268M | 76 | 31k| 22k| 13k| 30k| 1 | 65k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1225.16/1228.99 c 1229s| 18700 | 58 | 4819k| 242.3 | 1270M | 76 | 31k| 23k| 13k| 30k| 1 | 66k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1233.13/1236.95 c 1237s| 18800 | 54 | 4852k| 242.7 | 1273M | 76 | 31k| 23k| 13k| 31k| 1 | 66k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1240.02/1243.81 c 1244s| 18900 | 58 | 4884k| 243.1 | 1277M | 76 | 31k| 23k| 0 | 31k| 0 | 66k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1245.20/1249.07 c 1249s| 19000 | 51 | 4904k| 242.9 | 1281M | 76 | 31k| 23k| 13k| 31k| 1 | 67k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1251.98/1255.83 c 1256s| 19100 | 54 | 4934k| 243.2 | 1283M | 76 | 31k| 23k| 13k| 31k| 1 | 67k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1259.05/1262.93 c 1263s| 19200 | 56 | 4973k| 244.0 | 1286M | 76 | 31k| 23k| 13k| 31k| 0 | 67k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1265.14/1269.06 c 1269s| 19300 | 57 | 5003k| 244.2 | 1289M | 76 | 31k| 24k| 13k| 31k| 2 | 68k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1271.12/1275.02 c 1275s| 19400 | 54 | 5034k| 244.5 | 1292M | 76 | 31k| 24k| 13k| 31k| 1 | 68k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1277.80/1281.74 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1277.80/1281.74 c 1282s| 19500 | 53 | 5067k| 245.0 | 1296M | 76 | 31k| 24k| 0 | 31k| 0 | 69k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1285.08/1289.02 c 1289s| 19600 | 56 | 5103k| 245.5 | 1300M | 76 | 31k| 24k| 0 | 31k| 0 | 69k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1292.15/1296.19 c 1296s| 19700 | 54 | 5143k| 246.2 | 1305M | 76 | 31k| 24k| 13k| 31k| 1 | 69k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1299.42/1303.49 c 1303s| 19800 | 56 | 5177k| 246.7 | 1307M | 76 | 31k| 24k| 0 | 32k| 0 | 70k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1306.91/1310.99 c 1311s| 19900 | 55 | 5209k| 247.1 | 1310M | 76 | 31k| 24k| 13k| 32k| 2 | 70k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1313.59/1317.65 c 1318s| 20000 | 56 | 5243k| 247.5 | 1313M | 76 | 31k| 24k| 0 | 32k| 0 | 70k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1321.07/1325.11 c 1325s| 20100 | 58 | 5280k| 248.1 | 1320M | 76 | 31k| 24k| 13k| 32k| 1 | 71k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1327.05/1331.14 c 1331s| 20200 | 61 | 5310k| 248.3 | 1322M | 76 | 31k| 24k| 0 | 32k| 0 | 71k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1334.62/1338.77 c 1339s| 20300 | 63 | 5346k| 248.8 | 1324M | 76 | 31k| 23k| 13k| 32k| 1 | 71k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1340.30/1344.43 c 1344s| 20400 | 60 | 5372k| 248.9 | 1325M | 76 | 31k| 24k| 13k| 33k| 1 | 72k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1346.89/1351.07 c 1351s| 20500 | 62 | 5404k| 249.2 | 1326M | 76 | 31k| 24k| 13k| 33k| 1 | 72k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1354.06/1358.23 c 1358s| 20600 | 65 | 5433k| 249.4 | 1328M | 76 | 31k| 24k| 13k| 33k| 1 | 72k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1360.05/1364.21 c 1364s| 20700 | 62 | 5461k| 249.5 | 1329M | 76 | 31k| 24k| 13k| 33k| 1 | 73k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1367.72/1371.94 c 1372s| 20800 | 60 | 5493k| 249.9 | 1330M | 76 | 31k| 24k| 13k| 33k| 1 | 73k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1374.90/1379.18 c 1379s| 20900 | 56 | 5530k| 250.4 | 1333M | 76 | 31k| 24k| 13k| 33k| 1 | 73k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1381.78/1386.00 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1381.78/1386.00 c 1386s| 21000 | 56 | 5565k| 250.9 | 1334M | 76 | 31k| 24k| 0 | 33k| 0 | 74k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1388.65/1392.90 c 1393s| 21100 | 55 | 5597k| 251.2 | 1336M | 76 | 31k| 24k| 0 | 33k| 0 | 74k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1397.12/1401.42 c 1401s| 21200 | 54 | 5639k| 251.9 | 1339M | 76 | 31k| 23k| 0 | 34k| 0 | 74k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1404.80/1409.12 c 1409s| 21300 | 53 | 5669k| 252.1 | 1342M | 76 | 31k| 23k| 0 | 34k| 0 | 75k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1412.47/1416.87 c 1417s| 21400 | 53 | 5702k| 252.5 | 1345M | 76 | 31k| 24k| 0 | 34k| 0 | 75k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1418.46/1422.85 c 1423s| 21500 | 55 | 5726k| 252.4 | 1348M | 76 | 31k| 23k| 13k| 34k| 1 | 76k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1424.14/1428.57 c 1429s| 21600 | 56 | 5753k| 252.5 | 1351M | 76 | 31k| 23k| 13k| 34k| 1 | 76k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1431.22/1435.60 c 1436s| 21700 | 58 | 5786k| 252.8 | 1353M | 76 | 31k| 23k| 13k| 35k| 1 | 76k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1438.89/1443.33 c 1443s| 21800 | 61 | 5811k| 252.8 | 1354M | 76 | 31k| 23k| 0 | 35k| 0 | 77k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1444.47/1448.98 c 1449s| 21900 | 56 | 5835k| 252.8 | 1356M | 76 | 31k| 23k| 13k| 35k| 1 | 77k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1449.26/1453.75 c 1454s| 22000 | 54 | 5861k| 252.8 | 1359M | 76 | 31k| 24k| 13k| 35k| 0 | 77k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1456.64/1461.11 c 1461s| 22100 | 55 | 5895k| 253.2 | 1362M | 76 | 31k| 24k| 13k| 35k| 0 | 78k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1463.52/1468.08 c 1468s| 22200 | 57 | 5926k| 253.5 | 1365M | 76 | 31k| 24k| 13k| 35k| 1 | 78k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1470.60/1475.17 c 1475s| 22300 | 56 | 5955k| 253.6 | 1366M | 76 | 31k| 24k| 13k| 35k| 1 | 78k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1478.37/1482.94 c 1483s| 22400 | 55 | 5988k| 253.9 | 1369M | 76 | 31k| 24k| 13k| 36k| 1 | 79k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1486.55/1491.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1486.55/1491.18 c 1491s| 22500 | 56 | 6020k| 254.2 | 1371M | 76 | 31k| 24k| 13k| 36k| 1 | 79k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1494.12/1498.73 c 1499s| 22600 | 58 | 6047k| 254.3 | 1376M | 76 | 31k| 24k| 0 | 36k| 0 | 79k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1500.90/1505.54 c 1506s| 22700 | 57 | 6082k| 254.7 | 1378M | 76 | 31k| 24k| 13k| 36k| 1 | 80k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1508.88/1513.57 c 1514s| 22800 | 54 | 6126k| 255.5 | 1380M | 76 | 31k| 24k| 0 | 36k| 0 | 80k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1516.26/1520.94 c 1521s| 22900 | 53 | 6163k| 255.9 | 1382M | 76 | 31k| 24k| 13k| 37k| 1 | 81k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1523.03/1527.77 c 1528s| 23000 | 52 | 6197k| 256.3 | 1383M | 76 | 31k| 24k| 13k| 37k| 2 | 81k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1529.42/1534.19 c 1534s| 23100 | 54 | 6229k| 256.5 | 1385M | 76 | 31k| 24k| 0 | 37k| 0 | 81k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1537.99/1542.70 c 1543s| 23200 | 52 | 6268k| 257.1 | 1388M | 76 | 31k| 24k| 13k| 37k| 1 | 82k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1544.37/1549.18 c 1549s| 23300 | 54 | 6302k| 257.4 | 1390M | 76 | 31k| 24k| 13k| 37k| 1 | 82k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1551.74/1556.54 c 1557s| 23400 | 57 | 6334k| 257.7 | 1395M | 76 | 31k| 24k| 13k| 38k| 1 | 83k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1558.93/1563.74 c 1564s| 23500 | 55 | 6372k| 258.2 | 1396M | 76 | 31k| 24k| 0 | 38k| 0 | 83k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1565.90/1570.78 c 1571s| 23600 | 53 | 6403k| 258.4 | 1399M | 76 | 31k| 24k| 13k| 38k| 1 | 83k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1573.88/1578.74 c 1579s| 23700 | 60 | 6441k| 258.9 | 1403M | 76 | 31k| 24k| 13k| 38k| 1 | 84k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1581.65/1586.52 c 1587s| 23800 | 56 | 6484k| 259.6 | 1406M | 76 | 31k| 24k| 13k| 38k| 1 | 84k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1590.62/1595.50 c 1595s| 23900 | 61 | 6530k| 260.4 | 1408M | 76 | 31k| 24k| 0 | 39k| 0 | 84k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1597.20/1602.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1597.20/1602.12 c 1602s| 24000 | 59 | 6560k| 260.5 | 1410M | 76 | 31k| 24k| 0 | 39k| 0 | 85k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1604.96/1609.92 c 1610s| 24100 | 56 | 6593k| 260.8 | 1411M | 76 | 31k| 24k| 13k| 39k| 1 | 85k| 41 | 0.000000e+00 | -- | Inf | 2.67%
1612.04/1617.02 c 1617s| 24200 | 54 | 6621k| 260.9 | 1413M | 76 | 31k| 24k| 13k| 39k| 1 | 86k| 41 | 0.000000e+00 | -- | Inf | 2.69%
1617.81/1622.85 c 1623s| 24300 | 57 | 6640k| 260.6 | 1415M | 76 | 31k| 23k| 13k| 39k| 1 | 86k| 41 | 0.000000e+00 | -- | Inf | 2.69%
1623.39/1628.44 c 1628s| 24400 | 68 | 6658k| 260.3 | 1419M | 76 | 31k| 23k| 13k| 40k| 1 | 86k| 41 | 0.000000e+00 | -- | Inf | 2.69%
1631.56/1636.66 c 1637s| 24500 | 56 | 6696k| 260.8 | 1423M | 76 | 31k| 23k| 13k| 40k| 1 | 87k| 41 | 0.000000e+00 | -- | Inf | 2.69%
1638.33/1643.44 c 1643s| 24600 | 58 | 6727k| 261.0 | 1424M | 76 | 31k| 23k| 0 | 40k| 0 | 87k| 41 | 0.000000e+00 | -- | Inf | 2.69%
1645.31/1650.40 c 1650s| 24700 | 60 | 6755k| 261.0 | 1428M | 76 | 31k| 23k| 13k| 40k| 0 | 87k| 41 | 0.000000e+00 | -- | Inf | 2.69%
1652.98/1658.13 c 1658s| 24800 | 58 | 6789k| 261.3 | 1433M | 76 | 31k| 23k| 0 | 40k| 0 | 88k| 41 | 0.000000e+00 | -- | Inf | 2.69%
1660.25/1665.49 c 1665s| 24900 | 57 | 6823k| 261.7 | 1437M | 76 | 31k| 23k| 0 | 41k| 0 | 88k| 41 | 0.000000e+00 | -- | Inf | 2.69%
1667.42/1672.62 c 1673s| 25000 | 60 | 6860k| 262.1 | 1442M | 76 | 31k| 23k| 0 | 41k| 0 | 88k| 41 | 0.000000e+00 | -- | Inf | 2.69%
1671.91/1677.13 c 1677s| 25100 | 57 | 6875k| 261.6 | 1443M | 76 | 31k| 23k| 13k| 41k| 0 | 89k| 41 | 0.000000e+00 | -- | Inf | 2.69%
1678.47/1683.71 c 1684s| 25200 | 61 | 6903k| 261.7 | 1445M | 76 | 31k| 23k| 0 | 41k| 0 | 89k| 41 | 0.000000e+00 | -- | Inf | 2.69%
1686.15/1691.41 c 1691s| 25300 | 55 | 6944k| 262.3 | 1447M | 76 | 31k| 23k| 13k| 42k| 0 | 89k| 41 | 0.000000e+00 | -- | Inf | 2.69%
1692.82/1698.15 c 1698s| 25400 | 57 | 6975k| 262.4 | 1448M | 76 | 31k| 23k| 13k| 42k| 1 | 90k| 41 | 0.000000e+00 | -- | Inf | 2.70%
1700.79/1706.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1700.79/1706.14 c 1706s| 25500 | 57 | 7005k| 262.6 | 1449M | 76 | 31k| 22k| 0 | 42k| 0 | 90k| 41 | 0.000000e+00 | -- | Inf | 2.70%
1708.36/1713.75 c 1714s| 25600 | 55 | 7035k| 262.7 | 1451M | 76 | 31k| 22k| 13k| 43k| 2 | 90k| 41 | 0.000000e+00 | -- | Inf | 2.71%
1715.43/1720.81 c 1721s| 25700 | 58 | 7070k| 263.0 | 1455M | 76 | 31k| 22k| 13k| 43k| 0 | 91k| 41 | 0.000000e+00 | -- | Inf | 2.71%
1722.01/1727.44 c 1727s| 25800 | 60 | 7099k| 263.1 | 1456M | 76 | 31k| 22k| 13k| 43k| 1 | 91k| 41 | 0.000000e+00 | -- | Inf | 2.71%
1729.88/1735.31 c 1735s| 25900 | 59 | 7134k| 263.5 | 1459M | 76 | 31k| 22k| 0 | 43k| 0 | 91k| 41 | 0.000000e+00 | -- | Inf | 2.71%
1736.75/1742.29 c 1742s| 26000 | 57 | 7166k| 263.7 | 1460M | 76 | 31k| 22k| 13k| 44k| 1 | 92k| 41 | 0.000000e+00 | -- | Inf | 2.71%
1743.43/1748.99 c 1749s| 26100 | 58 | 7197k| 263.8 | 1463M | 76 | 31k| 23k| 0 | 44k| 0 | 92k| 41 | 0.000000e+00 | -- | Inf | 2.71%
1750.90/1756.44 c 1756s| 26200 | 56 | 7232k| 264.1 | 1466M | 76 | 31k| 23k| 13k| 44k| 1 | 92k| 41 | 0.000000e+00 | -- | Inf | 2.71%
1758.17/1763.76 c 1764s| 26300 | 57 | 7266k| 264.4 | 1473M | 76 | 31k| 23k| 0 | 44k| 0 | 93k| 41 | 0.000000e+00 | -- | Inf | 2.71%
1764.35/1769.90 c 1770s| 26400 | 59 | 7291k| 264.4 | 1475M | 76 | 31k| 23k| 13k| 45k| 0 | 93k| 41 | 0.000000e+00 | -- | Inf | 2.71%
1770.32/1775.92 c 1776s| 26500 | 57 | 7318k| 264.4 | 1478M | 76 | 31k| 23k| 13k| 45k| 1 | 93k| 41 | 0.000000e+00 | -- | Inf | 2.71%
1774.80/1780.45 c 1780s| 26600 | 55 | 7331k| 263.9 | 1481M | 76 | 31k| 23k| 13k| 45k| 2 | 93k| 41 | 0.000000e+00 | -- | Inf | 2.71%
1780.98/1786.61 c 1787s| 26700 | 55 | 7356k| 263.9 | 1483M | 76 | 31k| 23k| 13k| 45k| 1 | 94k| 41 | 0.000000e+00 | -- | Inf | 2.71%
1787.76/1793.49 c 1793s| 26800 | 54 | 7388k| 264.1 | 1484M | 76 | 31k| 23k| 0 | 45k| 0 | 94k| 41 | 0.000000e+00 | -- | Inf | 2.71%
1794.73/1800.42 c 1800s| 26900 | 57 | 7419k| 264.2 | 1486M | 76 | 31k| 23k| 13k| 46k| 1 | 94k| 41 | 0.000000e+00 | -- | Inf | 2.71%
1801.90/1807.61 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1801.90/1807.61 c 1808s| 27000 | 57 | 7450k| 264.4 | 1489M | 76 | 31k| 23k| 13k| 46k| 1 | 95k| 41 | 0.000000e+00 | -- | Inf | 2.71%
1808.67/1814.49 c 1814s| 27100 | 61 | 7481k| 264.6 | 1491M | 76 | 31k| 23k| 0 | 46k| 0 | 95k| 41 | 0.000000e+00 | -- | Inf | 2.71%
1815.15/1821.00 c 1821s| 27200 | 59 | 7512k| 264.7 | 1494M | 76 | 31k| 23k| 13k| 46k| 1 | 95k| 41 | 0.000000e+00 | -- | Inf | 2.71%
1822.52/1828.35 c 1828s| 27300 | 62 | 7550k| 265.1 | 1496M | 76 | 31k| 24k| 13k| 47k| 1 | 96k| 41 | 0.000000e+00 | -- | Inf | 2.71%
1829.49/1835.36 c 1835s| 27400 | 61 | 7589k| 265.6 | 1496M | 76 | 31k| 23k| 13k| 47k| 1 | 96k| 41 | 0.000000e+00 | -- | Inf | 2.72%
1837.86/1843.75 c 1844s| 27500 | 60 | 7632k| 266.1 | 1497M | 76 | 31k| 23k| 13k| 47k| 1 | 97k| 41 | 0.000000e+00 | -- | Inf | 2.72%
1844.44/1850.32 c 1850s| 27600 | 62 | 7667k| 266.4 | 1499M | 76 | 31k| 23k| 13k| 47k| 1 | 97k| 41 | 0.000000e+00 | -- | Inf | 2.72%
1850.51/1856.48 c 1856s| 27700 | 57 | 7697k| 266.6 | 1499M | 76 | 31k| 23k| 0 | 47k| 0 | 97k| 41 | 0.000000e+00 | -- | Inf | 2.72%
1856.59/1862.50 c 1862s| 27800 | 56 | 7725k| 266.6 | 1501M | 76 | 31k| 23k| 13k| 48k| 1 | 98k| 41 | 0.000000e+00 | -- | Inf | 2.72%
1862.96/1868.98 c 1869s| 27900 | 57 | 7753k| 266.6 | 1505M | 76 | 31k| 23k| 13k| 48k| 1 | 98k| 41 | 0.000000e+00 | -- | Inf | 2.72%
1868.05/1874.04 c 1874s| 28000 | 54 | 7774k| 266.5 | 1507M | 76 | 31k| 23k| 13k| 48k| 1 | 98k| 41 | 0.000000e+00 | -- | Inf | 2.72%
1874.33/1880.32 c 1880s| 28100 | 57 | 7804k| 266.6 | 1508M | 76 | 31k| 23k| 13k| 48k| 1 | 99k| 41 | 0.000000e+00 | -- | Inf | 2.72%
1879.90/1885.99 c 1886s| 28200 | 56 | 7830k| 266.5 | 1510M | 76 | 31k| 24k| 13k| 48k| 0 | 99k| 41 | 0.000000e+00 | -- | Inf | 2.72%
1886.68/1892.78 c 1893s| 28300 | 57 | 7863k| 266.8 | 1510M | 76 | 31k| 24k| 13k| 48k| 1 | 99k| 41 | 0.000000e+00 | -- | Inf | 2.72%
1894.05/1900.18 c 1900s| 28400 | 57 | 7900k| 267.1 | 1512M | 76 | 31k| 24k| 0 | 49k| 0 | 100k| 41 | 0.000000e+00 | -- | Inf | 2.72%
1899.93/1906.04 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1899.93/1906.04 c 1906s| 28500 | 54 | 7931k| 267.3 | 1515M | 76 | 31k| 24k| 13k| 49k| 1 | 100k| 41 | 0.000000e+00 | -- | Inf | 2.72%
1906.90/1913.03 c 1913s| 28600 | 58 | 7968k| 267.6 | 1515M | 76 | 31k| 24k| 13k| 49k| 1 | 100k| 41 | 0.000000e+00 | -- | Inf | 2.72%
1913.98/1920.14 c 1920s| 28700 | 61 | 8002k| 267.8 | 1518M | 76 | 31k| 24k| 0 | 49k| 0 | 101k| 41 | 0.000000e+00 | -- | Inf | 2.72%
1920.05/1926.22 c 1926s| 28800 | 58 | 8035k| 268.0 | 1520M | 76 | 31k| 24k| 13k| 49k| 1 | 101k| 41 | 0.000000e+00 | -- | Inf | 2.72%
1927.02/1933.22 c 1933s| 28900 | 55 | 8071k| 268.4 | 1523M | 76 | 31k| 24k| 13k| 49k| 1 | 102k| 41 | 0.000000e+00 | -- | Inf | 2.72%
1933.69/1939.90 c 1940s| 29000 | 58 | 8106k| 268.6 | 1525M | 76 | 31k| 24k| 13k| 50k| 1 | 102k| 41 | 0.000000e+00 | -- | Inf | 2.72%
1939.87/1946.12 c 1946s| 29100 | 54 | 8135k| 268.7 | 1526M | 76 | 31k| 24k| 13k| 50k| 0 | 102k| 41 | 0.000000e+00 | -- | Inf | 2.72%
1947.54/1953.83 c 1954s| 29200 | 55 | 8173k| 269.1 | 1528M | 76 | 31k| 24k| 13k| 50k| 1 | 103k| 41 | 0.000000e+00 | -- | Inf | 2.72%
1954.31/1960.66 c 1961s| 29300 | 56 | 8200k| 269.1 | 1532M | 76 | 31k| 24k| 13k| 50k| 2 | 103k| 41 | 0.000000e+00 | -- | Inf | 2.72%
1961.48/1967.81 c 1968s| 29400 | 55 | 8235k| 269.3 | 1532M | 76 | 31k| 24k| 0 | 50k| 0 | 103k| 41 | 0.000000e+00 | -- | Inf | 2.72%
1968.67/1975.09 c 1975s| 29500 | 56 | 8276k| 269.8 | 1533M | 76 | 31k| 24k| 13k| 51k| 1 | 104k| 41 | 0.000000e+00 | -- | Inf | 2.72%
1976.23/1982.69 c 1983s| 29600 | 57 | 8309k| 270.0 | 1534M | 76 | 31k| 24k| 13k| 51k| 1 | 104k| 41 | 0.000000e+00 | -- | Inf | 2.72%
1982.90/1989.37 c 1989s| 29700 | 56 | 8339k| 270.1 | 1537M | 76 | 31k| 24k| 13k| 51k| 1 | 105k| 41 | 0.000000e+00 | -- | Inf | 2.72%
1989.68/1996.18 c 1996s| 29800 | 60 | 8371k| 270.3 | 1539M | 76 | 31k| 24k| 13k| 51k| 1 | 105k| 41 | 0.000000e+00 | -- | Inf | 2.72%
1997.65/2004.16 c 2004s| 29900 | 58 | 8408k| 270.6 | 1542M | 76 | 31k| 24k| 13k| 51k| 1 | 105k| 41 | 0.000000e+00 | -- | Inf | 2.72%
2006.01/2012.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2006.01/2012.52 c 2013s| 30000 | 59 | 8443k| 270.8 | 1545M | 76 | 31k| 24k| 13k| 52k| 1 | 106k| 41 | 0.000000e+00 | -- | Inf | 2.72%
2013.68/2020.27 c 2020s| 30100 | 57 | 8478k| 271.1 | 1546M | 76 | 31k| 24k| 13k| 52k| 1 | 106k| 41 | 0.000000e+00 | -- | Inf | 2.72%
2023.15/2029.72 c 2030s| 30200 | 56 | 8519k| 271.5 | 1548M | 76 | 31k| 24k| 0 | 52k| 0 | 106k| 41 | 0.000000e+00 | -- | Inf | 2.72%
2032.31/2038.96 c 2039s| 30300 | 54 | 8550k| 271.6 | 1549M | 76 | 31k| 24k| 13k| 53k| 2 | 107k| 41 | 0.000000e+00 | -- | Inf | 2.72%
2041.48/2048.11 c 2048s| 30400 | 55 | 8593k| 272.1 | 1550M | 76 | 31k| 24k| 0 | 53k| 0 | 107k| 41 | 0.000000e+00 | -- | Inf | 2.72%
2049.35/2056.02 c 2056s| 30500 | 59 | 8628k| 272.4 | 1550M | 76 | 31k| 24k| 13k| 53k| 1 | 107k| 41 | 0.000000e+00 | -- | Inf | 2.72%
2055.13/2061.84 c 2062s| 30600 | 54 | 8658k| 272.5 | 1554M | 76 | 31k| 24k| 0 | 54k| 0 | 108k| 41 | 0.000000e+00 | -- | Inf | 2.72%
2063.79/2070.52 c 2071s| 30700 | 54 | 8708k| 273.2 | 1555M | 76 | 31k| 24k| 0 | 54k| 0 | 108k| 41 | 0.000000e+00 | -- | Inf | 2.72%
2071.16/2077.98 c 2078s| 30800 | 57 | 8746k| 273.5 | 1557M | 76 | 31k| 24k| 13k| 54k| 1 | 108k| 41 | 0.000000e+00 | -- | Inf | 2.72%
2078.24/2085.02 c 2085s| 30900 | 56 | 8783k| 273.8 | 1559M | 76 | 31k| 24k| 0 | 54k| 0 | 109k| 41 | 0.000000e+00 | -- | Inf | 2.72%
2086.21/2093.01 c 2093s| 31000 | 57 | 8827k| 274.3 | 1562M | 76 | 31k| 24k| 13k| 54k| 1 | 109k| 41 | 0.000000e+00 | -- | Inf | 2.72%
2092.58/2099.41 c 2099s| 31100 | 61 | 8857k| 274.5 | 1566M | 76 | 31k| 24k| 13k| 54k| 2 | 109k| 41 | 0.000000e+00 | -- | Inf | 2.72%
2099.35/2106.29 c 2106s| 31200 | 57 | 8892k| 274.7 | 1568M | 76 | 31k| 24k| 13k| 54k| 1 | 110k| 41 | 0.000000e+00 | -- | Inf | 2.72%
2105.42/2112.39 c 2112s| 31300 | 54 | 8916k| 274.6 | 1569M | 76 | 31k| 24k| 13k| 55k| 1 | 110k| 41 | 0.000000e+00 | -- | Inf | 2.72%
2112.00/2118.99 c 2119s| 31400 | 54 | 8947k| 274.7 | 1569M | 76 | 31k| 24k| 0 | 55k| 0 | 110k| 41 | 0.000000e+00 | -- | Inf | 2.72%
2119.57/2126.56 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2119.57/2126.56 c 2127s| 31500 | 51 | 8984k| 275.0 | 1570M | 76 | 31k| 23k| 0 | 55k| 0 | 111k| 41 | 0.000000e+00 | -- | Inf | 2.72%
2124.95/2131.97 c 2132s| 31600 | 54 | 9007k| 274.8 | 1572M | 76 | 31k| 24k| 13k| 55k| 1 | 111k| 41 | 0.000000e+00 | -- | Inf | 2.72%
2130.53/2137.54 c 2138s| 31700 | 54 | 9030k| 274.7 | 1573M | 76 | 31k| 24k| 13k| 55k| 1 | 111k| 41 | 0.000000e+00 | -- | Inf | 2.72%
2137.02/2144.04 c 2144s| 31800 | 54 | 9060k| 274.8 | 1574M | 76 | 31k| 24k| 13k| 55k| 1 | 112k| 41 | 0.000000e+00 | -- | Inf | 2.72%
2143.78/2150.85 c 2151s| 31900 | 54 | 9092k| 274.9 | 1575M | 76 | 31k| 24k| 0 | 56k| 0 | 112k| 41 | 0.000000e+00 | -- | Inf | 2.72%
2150.75/2157.87 c 2158s| 32000 | 54 | 9123k| 275.0 | 1577M | 76 | 31k| 24k| 0 | 56k| 0 | 112k| 41 | 0.000000e+00 | -- | Inf | 2.72%
2159.12/2166.26 c 2166s| 32100 | 55 | 9164k| 275.4 | 1578M | 76 | 31k| 24k| 13k| 56k| 1 | 113k| 41 | 0.000000e+00 | -- | Inf | 2.72%
2168.08/2175.22 c 2175s| 32200 | 58 | 9202k| 275.7 | 1580M | 76 | 31k| 24k| 13k| 57k| 1 | 113k| 41 | 0.000000e+00 | -- | Inf | 2.72%
2175.25/2182.47 c 2182s| 32300 | 56 | 9236k| 275.9 | 1582M | 76 | 31k| 24k| 13k| 57k| 0 | 113k| 41 | 0.000000e+00 | -- | Inf | 2.72%
2183.13/2190.32 c 2190s| 32400 | 54 | 9266k| 276.0 | 1585M | 76 | 31k| 24k| 13k| 57k| 1 | 114k| 41 | 0.000000e+00 | -- | Inf | 2.72%
2190.71/2197.91 c 2198s| 32500 | 56 | 9295k| 276.1 | 1586M | 76 | 31k| 24k| 0 | 57k| 0 | 114k| 41 | 0.000000e+00 | -- | Inf | 2.72%
2199.87/2207.13 c 2207s| 32600 | 59 | 9337k| 276.5 | 1589M | 76 | 31k| 24k| 13k| 57k| 1 | 115k| 41 | 0.000000e+00 | -- | Inf | 2.72%
2207.84/2215.17 c 2215s| 32700 | 64 | 9374k| 276.7 | 1596M | 76 | 31k| 24k| 13k| 58k| 1 | 115k| 41 | 0.000000e+00 | -- | Inf | 2.72%
2216.30/2223.62 c 2224s| 32800 | 62 | 9416k| 277.2 | 1599M | 76 | 31k| 24k| 13k| 58k| 0 | 115k| 41 | 0.000000e+00 | -- | Inf | 2.72%
2224.07/2231.50 c 2231s| 32900 | 58 | 9450k| 277.3 | 1603M | 76 | 31k| 24k| 13k| 58k| 1 | 116k| 41 | 0.000000e+00 | -- | Inf | 2.72%
2234.63/2242.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2234.63/2242.01 c 2242s| 33000 | 60 | 9497k| 277.9 | 1612M | 76 | 31k| 24k| 13k| 58k| 0 | 116k| 41 | 0.000000e+00 | -- | Inf | 2.72%
2242.80/2250.21 c 2250s| 33100 | 61 | 9534k| 278.2 | 1617M | 76 | 31k| 24k| 13k| 58k| 1 | 117k| 41 | 0.000000e+00 | -- | Inf | 2.73%
2249.38/2256.81 c 2257s| 33200 | 60 | 9565k| 278.3 | 1620M | 76 | 31k| 24k| 13k| 58k| 1 | 117k| 41 | 0.000000e+00 | -- | Inf | 2.73%
2256.75/2264.24 c 2264s| 33300 | 63 | 9601k| 278.5 | 1620M | 76 | 31k| 24k| 13k| 59k| 1 | 117k| 41 | 0.000000e+00 | -- | Inf | 2.73%
2263.82/2271.34 c 2271s| 33400 | 59 | 9638k| 278.8 | 1621M | 76 | 31k| 24k| 0 | 59k| 0 | 118k| 41 | 0.000000e+00 | -- | Inf | 2.73%
2270.19/2277.77 c 2278s| 33500 | 55 | 9670k| 278.9 | 1623M | 76 | 31k| 24k| 13k| 59k| 1 | 118k| 41 | 0.000000e+00 | -- | Inf | 2.73%
2277.67/2285.20 c 2285s| 33600 | 53 | 9704k| 279.1 | 1626M | 76 | 31k| 24k| 13k| 59k| 1 | 118k| 41 | 0.000000e+00 | -- | Inf | 2.73%
2285.94/2293.55 c 2294s| 33700 | 55 | 9739k| 279.3 | 1627M | 76 | 31k| 23k| 13k| 59k| 1 | 119k| 41 | 0.000000e+00 | -- | Inf | 2.73%
2294.71/2302.31 c 2302s| 33800 | 51 | 9774k| 279.5 | 1629M | 76 | 31k| 24k| 13k| 60k| 1 | 119k| 41 | 0.000000e+00 | -- | Inf | 2.73%
2302.88/2310.59 c 2311s| 33900 | 49 | 9808k| 279.7 | 1630M | 76 | 31k| 23k| 13k| 60k| 1 | 119k| 41 | 0.000000e+00 | -- | Inf | 2.73%
2311.45/2319.14 c 2319s| 34000 | 54 | 9844k| 279.9 | 1632M | 76 | 31k| 23k| 13k| 60k| 1 | 120k| 41 | 0.000000e+00 | -- | Inf | 2.73%
2318.61/2326.36 c 2326s| 34100 | 55 | 9871k| 279.9 | 1638M | 76 | 31k| 24k| 13k| 60k| 1 | 120k| 41 | 0.000000e+00 | -- | Inf | 2.73%
2325.49/2333.22 c 2333s| 34200 | 51 | 9897k| 279.8 | 1641M | 76 | 31k| 24k| 0 | 61k| 0 | 120k| 41 | 0.000000e+00 | -- | Inf | 2.73%
2330.97/2338.79 c 2339s| 34300 | 52 | 9916k| 279.5 | 1641M | 76 | 31k| 24k| 0 | 61k| 0 | 121k| 41 | 0.000000e+00 | -- | Inf | 2.73%
2339.63/2347.46 c 2347s| 34400 | 50 | 9951k| 279.8 | 1642M | 76 | 31k| 24k| 13k| 61k| 1 | 121k| 41 | 0.000000e+00 | -- | Inf | 2.73%
2348.20/2356.09 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2348.20/2356.09 c 2356s| 34500 | 48 | 9990k| 280.1 | 1643M | 76 | 31k| 24k| 0 | 61k| 0 | 121k| 41 | 0.000000e+00 | -- | Inf | 2.73%
2356.37/2364.20 c 2364s| 34600 | 49 | 10021k| 280.1 | 1644M | 76 | 31k| 24k| 13k| 62k| 0 | 122k| 41 | 0.000000e+00 | -- | Inf | 2.73%
2365.33/2373.25 c 2373s| 34700 | 49 | 10061k| 280.5 | 1646M | 76 | 31k| 24k| 13k| 62k| 1 | 122k| 41 | 0.000000e+00 | -- | Inf | 2.73%
2375.10/2383.02 c 2383s| 34800 | 48 | 10105k| 280.9 | 1650M | 76 | 31k| 23k| 13k| 63k| 1 | 122k| 41 | 0.000000e+00 | -- | Inf | 2.73%
2383.96/2391.98 c 2392s| 34900 | 51 | 10142k| 281.2 | 1653M | 76 | 31k| 23k| 13k| 63k| 1 | 123k| 41 | 0.000000e+00 | -- | Inf | 2.73%
2391.43/2399.43 c 2399s| 35000 | 48 | 10173k| 281.2 | 1653M | 76 | 31k| 23k| 13k| 63k| 1 | 123k| 41 | 0.000000e+00 | -- | Inf | 2.73%
2401.50/2409.53 c 2410s| 35100 | 45 | 10212k| 281.6 | 1657M | 76 | 31k| 23k| 13k| 63k| 2 | 123k| 41 | 0.000000e+00 | -- | Inf | 2.73%
2408.57/2416.61 c 2417s| 35200 | 43 | 10244k| 281.7 | 1658M | 76 | 31k| 23k| 13k| 64k| 1 | 124k| 41 | 0.000000e+00 | -- | Inf | 2.73%
2416.05/2424.15 c 2424s| 35300 | 50 | 10279k| 281.9 | 1658M | 76 | 31k| 23k| 13k| 64k| 1 | 124k| 41 | 0.000000e+00 | -- | Inf | 2.74%
2421.42/2429.58 c 2430s| 35400 | 43 | 10305k| 281.8 | 1660M | 76 | 31k| 23k| 13k| 64k| 1 | 124k| 41 | 0.000000e+00 | -- | Inf | 2.74%
2429.38/2437.56 c 2438s| 35500 | 42 | 10341k| 282.0 | 1662M | 76 | 31k| 23k| 0 | 64k| 0 | 124k| 41 | 0.000000e+00 | -- | Inf | 2.76%
2434.76/2442.94 c 2443s| 35600 | 44 | 10364k| 281.9 | 1663M | 76 | 31k| 23k| 13k| 64k| 1 | 125k| 41 | 0.000000e+00 | -- | Inf | 2.77%
2442.84/2451.07 c 2451s| 35700 | 42 | 10400k| 282.1 | 1665M | 76 | 31k| 23k| 13k| 64k| 1 | 125k| 41 | 0.000000e+00 | -- | Inf | 2.78%
2449.31/2457.50 c 2457s| 35800 | 42 | 10428k| 282.1 | 1666M | 76 | 31k| 22k| 0 | 65k| 0 | 125k| 41 | 0.000000e+00 | -- | Inf | 2.78%
2455.19/2463.48 c 2463s| 35900 | 42 | 10454k| 282.0 | 1669M | 76 | 31k| 23k| 13k| 65k| 1 | 125k| 41 | 0.000000e+00 | -- | Inf | 2.78%
2462.36/2470.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2462.36/2470.68 c 2471s| 36000 | 39 | 10482k| 282.0 | 1670M | 76 | 31k| 23k| 0 | 65k| 0 | 125k| 41 | 0.000000e+00 | -- | Inf | 2.78%
2471.93/2480.27 c 2480s| 36100 | 40 | 10525k| 282.4 | 1672M | 76 | 31k| 22k| 13k| 65k| 2 | 126k| 41 | 0.000000e+00 | -- | Inf | 2.78%
2477.91/2486.27 c 2486s| 36200 | 40 | 10553k| 282.4 | 1672M | 76 | 31k| 22k| 13k| 66k| 1 | 126k| 41 | 0.000000e+00 | -- | Inf | 2.78%
2485.28/2493.60 c 2494s| 36300 | 45 | 10591k| 282.6 | 1673M | 76 | 31k| 22k| 0 | 66k| 0 | 126k| 41 | 0.000000e+00 | -- | Inf | 2.78%
2491.66/2500.09 c 2500s| 36400 | 40 | 10616k| 282.6 | 1675M | 76 | 31k| 22k| 0 | 66k| 0 | 126k| 41 | 0.000000e+00 | -- | Inf | 2.78%
2499.42/2507.83 c 2508s| 36500 | 43 | 10650k| 282.7 | 1678M | 76 | 31k| 22k| 0 | 66k| 0 | 127k| 41 | 0.000000e+00 | -- | Inf | 2.79%
2506.30/2514.77 c 2515s| 36600 | 41 | 10679k| 282.7 | 1679M | 76 | 31k| 22k| 13k| 67k| 0 | 127k| 41 | 0.000000e+00 | -- | Inf | 2.79%
2514.87/2523.31 c 2523s| 36700 | 43 | 10722k| 283.1 | 1682M | 76 | 31k| 22k| 13k| 67k| 1 | 127k| 41 | 0.000000e+00 | -- | Inf | 2.79%
2522.24/2530.76 c 2531s| 36800 | 43 | 10758k| 283.3 | 1684M | 76 | 31k| 22k| 0 | 67k| 0 | 128k| 41 | 0.000000e+00 | -- | Inf | 2.79%
2530.21/2538.74 c 2539s| 36900 | 38 | 10790k| 283.4 | 1686M | 76 | 31k| 22k| 13k| 67k| 1 | 128k| 41 | 0.000000e+00 | -- | Inf | 2.79%
2538.18/2546.74 c 2547s| 37000 | 41 | 10825k| 283.6 | 1687M | 76 | 31k| 22k| 13k| 68k| 1 | 128k| 41 | 0.000000e+00 | -- | Inf | 2.79%
2546.35/2555.00 c 2555s| 37100 | 38 | 10866k| 283.9 | 1688M | 76 | 31k| 22k| 13k| 68k| 1 | 128k| 41 | 0.000000e+00 | -- | Inf | 2.79%
2553.62/2562.23 c 2562s| 37200 | 46 | 10895k| 284.0 | 1689M | 76 | 31k| 22k| 0 | 68k| 0 | 129k| 41 | 0.000000e+00 | -- | Inf | 2.80%
2558.70/2567.37 c 2567s| 37300 | 47 | 10913k| 283.7 | 1689M | 76 | 31k| 22k| 13k| 68k| 1 | 129k| 41 | 0.000000e+00 | -- | Inf | 2.81%
2564.98/2573.61 c 2574s| 37400 | 42 | 10937k| 283.6 | 1690M | 76 | 31k| 21k| 0 | 69k| 0 | 129k| 41 | 0.000000e+00 | -- | Inf | 2.82%
2570.16/2578.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2570.16/2578.89 c 2579s| 37500 | 39 | 10954k| 283.3 | 1690M | 76 | 31k| 21k| 13k| 69k| 1 | 129k| 41 | 0.000000e+00 | -- | Inf | 2.84%
2576.13/2584.81 c 2585s| 37600 | 48 | 10978k| 283.2 | 1690M | 76 | 31k| 21k| 0 | 69k| 0 | 130k| 41 | 0.000000e+00 | -- | Inf | 2.84%
2583.41/2592.18 c 2592s| 37700 | 47 | 11009k| 283.2 | 1691M | 76 | 31k| 21k| 13k| 69k| 1 | 130k| 41 | 0.000000e+00 | -- | Inf | 2.84%
2588.48/2597.21 c 2597s| 37800 | 50 | 11036k| 283.2 | 1692M | 76 | 31k| 21k| 13k| 69k| 0 | 130k| 41 | 0.000000e+00 | -- | Inf | 2.84%
2594.27/2603.05 c 2603s| 37900 | 50 | 11061k| 283.1 | 1693M | 76 | 31k| 21k| 13k| 69k| 0 | 130k| 41 | 0.000000e+00 | -- | Inf | 2.84%
2598.94/2607.74 c 2608s| 38000 | 46 | 11079k| 282.9 | 1693M | 76 | 31k| 21k| 0 | 69k| 0 | 131k| 41 | 0.000000e+00 | -- | Inf | 2.85%
2605.02/2613.88 c 2614s| 38100 | 42 | 11104k| 282.8 | 1693M | 76 | 31k| 21k| 0 | 69k| 0 | 131k| 41 | 0.000000e+00 | -- | Inf | 2.85%
2612.09/2620.97 c 2621s| 38200 | 42 | 11139k| 282.9 | 1694M | 76 | 31k| 21k| 13k| 69k| 1 | 131k| 41 | 0.000000e+00 | -- | Inf | 2.87%
2619.76/2628.62 c 2629s| 38300 | 39 | 11171k| 283.0 | 1695M | 76 | 31k| 21k| 13k| 70k| 0 | 132k| 41 | 0.000000e+00 | -- | Inf | 2.89%
2626.34/2635.21 c 2635s| 38400 | 39 | 11203k| 283.1 | 1698M | 76 | 31k| 21k| 13k| 70k| 1 | 132k| 41 | 0.000000e+00 | -- | Inf | 2.89%
2632.91/2641.87 c 2642s| 38500 | 44 | 11240k| 283.4 | 1699M | 76 | 31k| 21k| 13k| 70k| 1 | 132k| 41 | 0.000000e+00 | -- | Inf | 2.89%
2638.39/2647.32 c 2647s| 38600 | 40 | 11263k| 283.2 | 1700M | 76 | 31k| 21k| 13k| 70k| 1 | 133k| 41 | 0.000000e+00 | -- | Inf | 2.89%
2643.87/2652.87 c 2653s| 38700 | 54 | 11290k| 283.2 | 1700M | 76 | 31k| 21k| 13k| 70k| 1 | 133k| 41 | 0.000000e+00 | -- | Inf | 2.89%
2651.24/2660.23 c 2660s| 38800 | 48 | 11326k| 283.4 | 1702M | 76 | 31k| 22k| 13k| 70k| 1 | 133k| 41 | 0.000000e+00 | -- | Inf | 2.89%
2658.51/2667.56 c 2668s| 38900 | 40 | 11362k| 283.5 | 1702M | 76 | 31k| 21k| 13k| 70k| 1 | 134k| 41 | 0.000000e+00 | -- | Inf | 2.89%
2665.19/2674.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2665.19/2674.25 c 2674s| 39000 | 38 | 11395k| 283.7 | 1703M | 76 | 31k| 21k| 0 | 70k| 0 | 134k| 41 | 0.000000e+00 | -- | Inf | 2.89%
2672.96/2682.04 c 2682s| 39100 | 42 | 11432k| 283.9 | 1704M | 76 | 31k| 21k| 13k| 71k| 1 | 134k| 41 | 0.000000e+00 | -- | Inf | 2.90%
2677.44/2686.54 c 2687s| 39200 | 41 | 11448k| 283.6 | 1706M | 76 | 31k| 21k| 0 | 71k| 0 | 135k| 41 | 0.000000e+00 | -- | Inf | 2.90%
2684.12/2693.27 c 2693s| 39300 | 43 | 11477k| 283.6 | 1707M | 76 | 31k| 21k| 13k| 71k| 1 | 135k| 41 | 0.000000e+00 | -- | Inf | 2.91%
2691.49/2700.65 c 2701s| 39400 | 41 | 11508k| 283.7 | 1709M | 76 | 31k| 21k| 13k| 71k| 2 | 135k| 41 | 0.000000e+00 | -- | Inf | 2.92%
2699.36/2708.56 c 2709s| 39500 | 41 | 11544k| 283.9 | 1710M | 76 | 31k| 22k| 13k| 71k| 1 | 136k| 41 | 0.000000e+00 | -- | Inf | 2.92%
2705.84/2715.09 c 2715s| 39600 | 41 | 11570k| 283.8 | 1712M | 76 | 31k| 22k| 13k| 71k| 1 | 136k| 41 | 0.000000e+00 | -- | Inf | 2.93%
2713.40/2722.68 c 2723s| 39700 | 40 | 11597k| 283.8 | 1714M | 76 | 31k| 21k| 13k| 72k| 2 | 136k| 41 | 0.000000e+00 | -- | Inf | 2.93%
2720.58/2729.86 c 2730s| 39800 | 44 | 11632k| 283.9 | 1717M | 76 | 31k| 22k| 13k| 72k| 1 | 137k| 41 | 0.000000e+00 | -- | Inf | 2.94%
2727.65/2736.92 c 2737s| 39900 | 38 | 11665k| 284.0 | 1720M | 76 | 31k| 22k| 0 | 72k| 0 | 137k| 41 | 0.000000e+00 | -- | Inf | 2.94%
2735.02/2744.39 c 2744s| 40000 | 40 | 11703k| 284.3 | 1723M | 76 | 31k| 22k| 13k| 72k| 1 | 137k| 41 | 0.000000e+00 | -- | Inf | 2.94%
2742.18/2751.50 c 2751s| 40100 | 38 | 11736k| 284.4 | 1724M | 76 | 31k| 22k| 13k| 72k| 2 | 138k| 41 | 0.000000e+00 | -- | Inf | 2.94%
2749.95/2759.35 c 2759s| 40200 | 37 | 11769k| 284.5 | 1726M | 76 | 31k| 22k| 13k| 72k| 2 | 138k| 41 | 0.000000e+00 | -- | Inf | 2.94%
2755.93/2765.30 c 2765s| 40300 | 40 | 11789k| 284.3 | 1728M | 76 | 31k| 22k| 0 | 72k| 0 | 138k| 41 | 0.000000e+00 | -- | Inf | 2.95%
2762.61/2772.01 c 2772s| 40400 | 45 | 11818k| 284.3 | 1728M | 76 | 31k| 22k| 13k| 73k| 1 | 139k| 41 | 0.000000e+00 | -- | Inf | 2.96%
2769.58/2779.02 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2769.58/2779.02 c 2779s| 40500 | 42 | 11852k| 284.4 | 1729M | 76 | 31k| 22k| 13k| 73k| 0 | 139k| 41 | 0.000000e+00 | -- | Inf | 2.96%
2776.55/2786.07 c 2786s| 40600 | 44 | 11887k| 284.6 | 1731M | 76 | 31k| 22k| 13k| 73k| 1 | 140k| 41 | 0.000000e+00 | -- | Inf | 2.96%
2783.63/2793.16 c 2793s| 40700 | 45 | 11920k| 284.7 | 1733M | 76 | 31k| 22k| 13k| 73k| 1 | 140k| 41 | 0.000000e+00 | -- | Inf | 2.97%
2790.60/2800.17 c 2800s| 40800 | 42 | 11947k| 284.7 | 1734M | 76 | 31k| 22k| 13k| 73k| 2 | 140k| 41 | 0.000000e+00 | -- | Inf | 2.98%
2798.26/2807.86 c 2808s| 40900 | 42 | 11983k| 284.8 | 1734M | 76 | 31k| 22k| 0 | 73k| 0 | 141k| 41 | 0.000000e+00 | -- | Inf | 2.99%
2806.33/2815.90 c 2816s| 41000 | 43 | 12017k| 285.0 | 1735M | 76 | 31k| 22k| 0 | 74k| 0 | 141k| 41 | 0.000000e+00 | -- | Inf | 3.00%
2813.70/2823.33 c 2823s| 41100 | 47 | 12052k| 285.1 | 1736M | 76 | 31k| 22k| 0 | 74k| 0 | 141k| 41 | 0.000000e+00 | -- | Inf | 3.00%
2820.88/2830.52 c 2831s| 41200 | 45 | 12080k| 285.1 | 1736M | 76 | 31k| 21k| 13k| 74k| 1 | 142k| 41 | 0.000000e+00 | -- | Inf | 3.01%
2828.45/2838.19 c 2838s| 41300 | 44 | 12113k| 285.2 | 1737M | 76 | 31k| 21k| 13k| 74k| 1 | 142k| 41 | 0.000000e+00 | -- | Inf | 3.02%
2836.02/2845.71 c 2846s| 41400 | 46 | 12148k| 285.4 | 1738M | 76 | 31k| 21k| 13k| 74k| 2 | 142k| 41 | 0.000000e+00 | -- | Inf | 3.02%
2844.48/2854.26 c 2854s| 41500 | 43 | 12191k| 285.7 | 1740M | 76 | 31k| 22k| 0 | 74k| 0 | 143k| 41 | 0.000000e+00 | -- | Inf | 3.02%
2851.46/2861.20 c 2861s| 41600 | 47 | 12223k| 285.8 | 1741M | 76 | 31k| 22k| 13k| 75k| 1 | 143k| 41 | 0.000000e+00 | -- | Inf | 3.03%
2858.13/2867.98 c 2868s| 41700 | 61 | 12245k| 285.6 | 1742M | 76 | 31k| 22k| 13k| 75k| 1 | 143k| 41 | 0.000000e+00 | -- | Inf | 3.03%
2864.51/2874.34 c 2874s| 41800 | 47 | 12268k| 285.5 | 1745M | 76 | 31k| 22k| 0 | 75k| 0 | 143k| 41 | 0.000000e+00 | -- | Inf | 3.03%
2871.88/2881.70 c 2882s| 41900 | 46 | 12304k| 285.7 | 1745M | 76 | 31k| 22k| 13k| 75k| 1 | 144k| 41 | 0.000000e+00 | -- | Inf | 3.03%
2878.95/2888.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2878.95/2888.81 c 2889s| 42000 | 45 | 12339k| 285.8 | 1746M | 76 | 31k| 22k| 0 | 75k| 0 | 144k| 41 | 0.000000e+00 | -- | Inf | 3.03%
2885.72/2895.62 c 2896s| 42100 | 43 | 12371k| 285.9 | 1746M | 76 | 31k| 22k| 0 | 75k| 0 | 144k| 41 | 0.000000e+00 | -- | Inf | 3.04%
2892.20/2902.14 c 2902s| 42200 | 48 | 12398k| 285.9 | 1746M | 76 | 31k| 22k| 13k| 76k| 1 | 145k| 41 | 0.000000e+00 | -- | Inf | 3.04%
2896.48/2906.44 c 2906s| 42300 | 46 | 12415k| 285.6 | 1746M | 76 | 31k| 22k| 0 | 76k| 0 | 145k| 41 | 0.000000e+00 | -- | Inf | 3.04%
2903.45/2913.41 c 2913s| 42400 | 46 | 12448k| 285.7 | 1747M | 76 | 31k| 22k| 13k| 76k| 1 | 145k| 41 | 0.000000e+00 | -- | Inf | 3.04%
2910.04/2920.01 c 2920s| 42500 | 47 | 12477k| 285.7 | 1747M | 76 | 31k| 23k| 0 | 76k| 0 | 145k| 41 | 0.000000e+00 | -- | Inf | 3.05%
2915.71/2925.77 c 2926s| 42600 | 46 | 12505k| 285.7 | 1750M | 76 | 31k| 23k| 13k| 76k| 1 | 146k| 41 | 0.000000e+00 | -- | Inf | 3.05%
2924.38/2934.46 c 2934s| 42700 | 47 | 12553k| 286.2 | 1752M | 76 | 31k| 23k| 13k| 76k| 1 | 146k| 41 | 0.000000e+00 | -- | Inf | 3.05%
2932.74/2942.84 c 2943s| 42800 | 44 | 12591k| 286.4 | 1753M | 76 | 31k| 23k| 13k| 76k| 1 | 146k| 41 | 0.000000e+00 | -- | Inf | 3.06%
2940.71/2950.84 c 2951s| 42900 | 44 | 12627k| 286.5 | 1755M | 76 | 31k| 23k| 13k| 77k| 1 | 147k| 41 | 0.000000e+00 | -- | Inf | 3.06%
2947.58/2957.75 c 2958s| 43000 | 48 | 12660k| 286.6 | 1755M | 76 | 31k| 23k| 13k| 77k| 1 | 147k| 41 | 0.000000e+00 | -- | Inf | 3.06%
2956.35/2966.59 c 2967s| 43100 | 45 | 12699k| 286.9 | 1757M | 76 | 31k| 23k| 13k| 77k| 1 | 147k| 41 | 0.000000e+00 | -- | Inf | 3.07%
2964.02/2974.20 c 2974s| 43200 | 43 | 12732k| 287.0 | 1758M | 76 | 31k| 23k| 0 | 77k| 0 | 147k| 41 | 0.000000e+00 | -- | Inf | 3.07%
2971.29/2981.52 c 2982s| 43300 | 42 | 12767k| 287.1 | 1760M | 76 | 31k| 23k| 13k| 77k| 2 | 148k| 41 | 0.000000e+00 | -- | Inf | 3.07%
2979.16/2989.40 c 2989s| 43400 | 40 | 12802k| 287.2 | 1762M | 76 | 31k| 23k| 13k| 77k| 1 | 148k| 41 | 0.000000e+00 | -- | Inf | 3.07%
2986.84/2997.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2986.84/2997.13 c 2997s| 43500 | 45 | 12834k| 287.3 | 1764M | 76 | 31k| 22k| 13k| 78k| 1 | 148k| 41 | 0.000000e+00 | -- | Inf | 3.09%
2994.71/3005.04 c 3005s| 43600 | 41 | 12866k| 287.4 | 1765M | 76 | 31k| 23k| 13k| 78k| 2 | 148k| 41 | 0.000000e+00 | -- | Inf | 3.09%
3002.47/3012.83 c 3013s| 43700 | 39 | 12894k| 287.4 | 1765M | 76 | 31k| 23k| 13k| 78k| 1 | 149k| 41 | 0.000000e+00 | -- | Inf | 3.10%
3009.65/3020.10 c 3020s| 43800 | 42 | 12922k| 287.4 | 1765M | 76 | 31k| 23k| 0 | 78k| 0 | 149k| 41 | 0.000000e+00 | -- | Inf | 3.10%
3017.62/3028.02 c 3028s| 43900 | 41 | 12952k| 287.4 | 1766M | 76 | 31k| 23k| 13k| 79k| 2 | 149k| 41 | 0.000000e+00 | -- | Inf | 3.11%
3024.29/3034.78 c 3035s| 44000 | 41 | 12978k| 287.3 | 1766M | 76 | 31k| 23k| 13k| 79k| 0 | 150k| 41 | 0.000000e+00 | -- | Inf | 3.11%
3031.96/3042.43 c 3042s| 44100 | 41 | 13004k| 287.3 | 1767M | 76 | 31k| 23k| 13k| 79k| 2 | 150k| 41 | 0.000000e+00 | -- | Inf | 3.11%
3038.94/3049.45 c 3049s| 44200 | 43 | 13030k| 287.2 | 1767M | 76 | 31k| 23k| 0 | 79k| 0 | 150k| 41 | 0.000000e+00 | -- | Inf | 3.12%
3045.91/3056.49 c 3056s| 44300 | 47 | 13056k| 287.1 | 1767M | 76 | 31k| 23k| 13k| 79k| 0 | 151k| 41 | 0.000000e+00 | -- | Inf | 3.12%
3052.78/3063.34 c 3063s| 44400 | 45 | 13085k| 287.1 | 1768M | 76 | 31k| 23k| 13k| 79k| 1 | 151k| 41 | 0.000000e+00 | -- | Inf | 3.13%
3060.35/3070.98 c 3071s| 44500 | 43 | 13110k| 287.1 | 1768M | 76 | 31k| 24k| 0 | 80k| 0 | 151k| 41 | 0.000000e+00 | -- | Inf | 3.13%
3067.82/3078.40 c 3078s| 44600 | 44 | 13146k| 287.2 | 1770M | 76 | 31k| 24k| 13k| 80k| 1 | 151k| 41 | 0.000000e+00 | -- | Inf | 3.13%
3075.79/3086.47 c 3086s| 44700 | 46 | 13179k| 287.3 | 1771M | 76 | 31k| 24k| 0 | 80k| 0 | 152k| 41 | 0.000000e+00 | -- | Inf | 3.13%
3084.26/3094.90 c 3095s| 44800 | 46 | 13217k| 287.5 | 1773M | 76 | 31k| 24k| 13k| 80k| 1 | 152k| 41 | 0.000000e+00 | -- | Inf | 3.13%
3091.23/3101.94 c 3102s| 44900 | 42 | 13250k| 287.6 | 1773M | 76 | 31k| 24k| 0 | 80k| 0 | 152k| 41 | 0.000000e+00 | -- | Inf | 3.14%
3098.90/3109.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3098.90/3109.68 c 3110s| 45000 | 43 | 13287k| 287.8 | 1775M | 76 | 31k| 24k| 13k| 80k| 1 | 153k| 41 | 0.000000e+00 | -- | Inf | 3.14%
3107.97/3118.72 c 3119s| 45100 | 49 | 13321k| 287.9 | 1776M | 76 | 31k| 24k| 13k| 80k| 1 | 153k| 41 | 0.000000e+00 | -- | Inf | 3.14%
3114.65/3125.42 c 3125s| 45200 | 48 | 13345k| 287.8 | 1776M | 76 | 31k| 24k| 13k| 81k| 1 | 153k| 41 | 0.000000e+00 | -- | Inf | 3.14%
3122.82/3133.68 c 3134s| 45300 | 52 | 13379k| 287.9 | 1777M | 76 | 31k| 24k| 13k| 81k| 1 | 154k| 41 | 0.000000e+00 | -- | Inf | 3.14%
3130.30/3141.11 c 3141s| 45400 | 50 | 13410k| 288.0 | 1777M | 76 | 31k| 24k| 13k| 81k| 1 | 154k| 41 | 0.000000e+00 | -- | Inf | 3.15%
3137.46/3148.31 c 3148s| 45500 | 49 | 13443k| 288.1 | 1777M | 76 | 31k| 24k| 0 | 81k| 0 | 154k| 41 | 0.000000e+00 | -- | Inf | 3.15%
3145.03/3155.97 c 3156s| 45600 | 48 | 13477k| 288.2 | 1778M | 76 | 31k| 24k| 13k| 81k| 0 | 155k| 41 | 0.000000e+00 | -- | Inf | 3.15%
3153.11/3164.04 c 3164s| 45700 | 52 | 13516k| 288.4 | 1778M | 76 | 31k| 24k| 13k| 81k| 1 | 155k| 41 | 0.000000e+00 | -- | Inf | 3.15%
3162.08/3173.05 c 3173s| 45800 | 50 | 13556k| 288.6 | 1779M | 76 | 31k| 24k| 13k| 81k| 1 | 155k| 41 | 0.000000e+00 | -- | Inf | 3.15%
3168.75/3179.77 c 3180s| 45900 | 50 | 13583k| 288.6 | 1779M | 76 | 31k| 24k| 13k| 81k| 0 | 156k| 41 | 0.000000e+00 | -- | Inf | 3.15%
3175.62/3186.65 c 3187s| 46000 | 52 | 13614k| 288.6 | 1780M | 76 | 31k| 24k| 13k| 81k| 1 | 156k| 41 | 0.000000e+00 | -- | Inf | 3.15%
3182.00/3193.08 c 3193s| 46100 | 50 | 13645k| 288.7 | 1781M | 76 | 31k| 24k| 0 | 81k| 0 | 156k| 41 | 0.000000e+00 | -- | Inf | 3.15%
3189.57/3200.61 c 3201s| 46200 | 49 | 13676k| 288.7 | 1782M | 76 | 31k| 24k| 13k| 82k| 1 | 157k| 41 | 0.000000e+00 | -- | Inf | 3.15%
3195.95/3207.02 c 3207s| 46300 | 49 | 13707k| 288.8 | 1783M | 76 | 31k| 24k| 13k| 82k| 1 | 157k| 41 | 0.000000e+00 | -- | Inf | 3.15%
3203.92/3215.08 c 3215s| 46400 | 52 | 13740k| 288.8 | 1784M | 76 | 31k| 24k| 0 | 82k| 0 | 157k| 41 | 0.000000e+00 | -- | Inf | 3.15%
3212.98/3224.16 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3212.98/3224.16 c 3224s| 46500 | 47 | 13779k| 289.1 | 1785M | 76 | 31k| 24k| 13k| 82k| 1 | 157k| 41 | 0.000000e+00 | -- | Inf | 3.15%
3221.06/3232.26 c 3232s| 46600 | 46 | 13820k| 289.3 | 1786M | 76 | 31k| 24k| 13k| 82k| 1 | 158k| 41 | 0.000000e+00 | -- | Inf | 3.15%
3229.33/3240.51 c 3241s| 46700 | 49 | 13860k| 289.5 | 1787M | 76 | 31k| 24k| 13k| 82k| 1 | 158k| 41 | 0.000000e+00 | -- | Inf | 3.15%
3236.70/3247.94 c 3248s| 46800 | 45 | 13895k| 289.7 | 1788M | 76 | 31k| 24k| 13k| 83k| 2 | 158k| 41 | 0.000000e+00 | -- | Inf | 3.15%
3245.47/3256.72 c 3257s| 46900 | 44 | 13936k| 289.9 | 1790M | 76 | 31k| 24k| 0 | 83k| 0 | 159k| 41 | 0.000000e+00 | -- | Inf | 3.15%
3253.93/3265.20 c 3265s| 47000 | 45 | 13971k| 290.1 | 1792M | 76 | 31k| 24k| 13k| 83k| 1 | 159k| 41 | 0.000000e+00 | -- | Inf | 3.15%
3260.51/3271.83 c 3272s| 47100 | 45 | 13996k| 290.0 | 1793M | 76 | 31k| 24k| 0 | 83k| 0 | 159k| 41 | 0.000000e+00 | -- | Inf | 3.15%
3268.38/3279.74 c 3280s| 47200 | 47 | 14026k| 290.0 | 1795M | 76 | 31k| 24k| 0 | 83k| 0 | 159k| 41 | 0.000000e+00 | -- | Inf | 3.15%
3276.25/3287.67 c 3288s| 47300 | 54 | 14058k| 290.1 | 1796M | 76 | 31k| 24k| 13k| 83k| 1 | 160k| 41 | 0.000000e+00 | -- | Inf | 3.15%
3284.12/3295.53 c 3296s| 47400 | 49 | 14086k| 290.0 | 1797M | 76 | 31k| 24k| 13k| 83k| 1 | 160k| 41 | 0.000000e+00 | -- | Inf | 3.15%
3292.09/3303.55 c 3304s| 47500 | 49 | 14124k| 290.2 | 1799M | 76 | 31k| 24k| 0 | 83k| 0 | 160k| 41 | 0.000000e+00 | -- | Inf | 3.15%
3300.75/3312.28 c 3312s| 47600 | 49 | 14163k| 290.4 | 1801M | 76 | 31k| 24k| 13k| 84k| 1 | 161k| 41 | 0.000000e+00 | -- | Inf | 3.15%
3308.12/3319.69 c 3320s| 47700 | 48 | 14195k| 290.5 | 1803M | 76 | 31k| 24k| 13k| 84k| 1 | 161k| 41 | 0.000000e+00 | -- | Inf | 3.15%
3315.50/3327.05 c 3327s| 47800 | 51 | 14225k| 290.5 | 1806M | 76 | 31k| 24k| 0 | 84k| 0 | 161k| 41 | 0.000000e+00 | -- | Inf | 3.15%
3322.37/3333.96 c 3334s| 47900 | 45 | 14253k| 290.5 | 1809M | 76 | 31k| 24k| 0 | 84k| 0 | 162k| 41 | 0.000000e+00 | -- | Inf | 3.15%
3331.13/3342.73 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3331.13/3342.73 c 3343s| 48000 | 47 | 14291k| 290.7 | 1811M | 76 | 31k| 24k| 0 | 84k| 0 | 162k| 41 | 0.000000e+00 | -- | Inf | 3.15%
3341.69/3353.35 c 3353s| 48100 | 49 | 14334k| 291.0 | 1816M | 76 | 31k| 24k| 13k| 84k| 0 | 162k| 41 | 0.000000e+00 | -- | Inf | 3.15%
3350.16/3361.88 c 3362s| 48200 | 46 | 14377k| 291.2 | 1818M | 76 | 31k| 24k| 0 | 84k| 0 | 163k| 41 | 0.000000e+00 | -- | Inf | 3.15%
3359.44/3371.17 c 3371s| 48300 | 46 | 14413k| 291.4 | 1820M | 76 | 31k| 24k| 13k| 85k| 1 | 163k| 41 | 0.000000e+00 | -- | Inf | 3.16%
3366.51/3378.22 c 3378s| 48400 | 46 | 14447k| 291.5 | 1821M | 76 | 31k| 24k| 13k| 85k| 1 | 163k| 41 | 0.000000e+00 | -- | Inf | 3.16%
3374.08/3385.90 c 3386s| 48500 | 44 | 14478k| 291.5 | 1822M | 76 | 31k| 24k| 13k| 85k| 1 | 164k| 41 | 0.000000e+00 | -- | Inf | 3.16%
3381.84/3393.64 c 3394s| 48600 | 45 | 14504k| 291.4 | 1822M | 76 | 31k| 24k| 0 | 85k| 0 | 164k| 41 | 0.000000e+00 | -- | Inf | 3.16%
3391.40/3403.21 c 3403s| 48700 | 41 | 14549k| 291.8 | 1825M | 76 | 31k| 24k| 13k| 85k| 2 | 165k| 41 | 0.000000e+00 | -- | Inf | 3.16%
3398.97/3410.80 c 3411s| 48800 | 45 | 14585k| 291.9 | 1826M | 76 | 31k| 24k| 13k| 85k| 1 | 165k| 41 | 0.000000e+00 | -- | Inf | 3.16%
3407.04/3418.94 c 3419s| 48900 | 44 | 14626k| 292.1 | 1827M | 76 | 31k| 24k| 13k| 86k| 1 | 165k| 41 | 0.000000e+00 | -- | Inf | 3.17%
3416.01/3427.96 c 3428s| 49000 | 44 | 14667k| 292.4 | 1828M | 76 | 31k| 24k| 13k| 86k| 1 | 165k| 41 | 0.000000e+00 | -- | Inf | 3.17%
3423.78/3435.76 c 3436s| 49100 | 42 | 14705k| 292.5 | 1829M | 76 | 31k| 24k| 13k| 86k| 1 | 166k| 41 | 0.000000e+00 | -- | Inf | 3.17%
3432.74/3444.70 c 3445s| 49200 | 40 | 14746k| 292.8 | 1830M | 76 | 31k| 24k| 13k| 86k| 0 | 166k| 41 | 0.000000e+00 | -- | Inf | 3.17%
3439.41/3451.47 c 3451s| 49300 | 41 | 14773k| 292.7 | 1830M | 76 | 31k| 24k| 0 | 86k| 0 | 166k| 41 | 0.000000e+00 | -- | Inf | 3.17%
3448.49/3460.55 c 3461s| 49400 | 40 | 14811k| 292.9 | 1834M | 76 | 31k| 24k| 13k| 86k| 0 | 167k| 41 | 0.000000e+00 | -- | Inf | 3.22%
3454.76/3466.84 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3454.76/3466.84 c 3467s| 49500 | 44 | 14832k| 292.7 | 1834M | 76 | 31k| 24k| 13k| 87k| 1 | 167k| 41 | 0.000000e+00 | -- | Inf | 3.23%
3461.14/3473.28 c 3473s| 49600 | 48 | 14853k| 292.6 | 1835M | 76 | 31k| 24k| 13k| 87k| 1 | 167k| 41 | 0.000000e+00 | -- | Inf | 3.24%
3468.41/3480.50 c 3480s| 49700 | 43 | 14880k| 292.5 | 1835M | 76 | 31k| 24k| 13k| 87k| 0 | 167k| 41 | 0.000000e+00 | -- | Inf | 3.24%
3477.67/3489.88 c 3490s| 49800 | 43 | 14915k| 292.6 | 1837M | 76 | 31k| 24k| 13k| 87k| 1 | 167k| 41 | 0.000000e+00 | -- | Inf | 3.25%
3485.94/3498.16 c 3498s| 49900 | 47 | 14945k| 292.6 | 1838M | 76 | 31k| 24k| 13k| 87k| 1 | 168k| 41 | 0.000000e+00 | -- | Inf | 3.26%
3493.31/3505.59 c 3506s| 50000 | 48 | 14977k| 292.7 | 1839M | 76 | 31k| 24k| 13k| 87k| 1 | 168k| 41 | 0.000000e+00 | -- | Inf | 3.26%
3502.67/3514.96 c 3515s| 50100 | 46 | 15009k| 292.8 | 1839M | 76 | 31k| 24k| 13k| 87k| 1 | 168k| 41 | 0.000000e+00 | -- | Inf | 3.26%
3511.84/3524.12 c 3524s| 50200 | 43 | 15037k| 292.7 | 1840M | 76 | 31k| 24k| 13k| 88k| 1 | 168k| 41 | 0.000000e+00 | -- | Inf | 3.26%
3518.41/3530.73 c 3531s| 50300 | 42 | 15061k| 292.6 | 1841M | 76 | 31k| 24k| 13k| 88k| 1 | 168k| 41 | 0.000000e+00 | -- | Inf | 3.27%
3526.59/3538.90 c 3539s| 50400 | 44 | 15097k| 292.8 | 1842M | 76 | 31k| 23k| 13k| 88k| 1 | 169k| 41 | 0.000000e+00 | -- | Inf | 3.27%
3535.85/3548.26 c 3548s| 50500 | 40 | 15130k| 292.8 | 1843M | 76 | 31k| 23k| 0 | 88k| 0 | 169k| 41 | 0.000000e+00 | -- | Inf | 3.28%
3543.02/3555.48 c 3555s| 50600 | 40 | 15157k| 292.8 | 1845M | 76 | 31k| 23k| 0 | 88k| 0 | 169k| 41 | 0.000000e+00 | -- | Inf | 3.28%
3551.09/3563.58 c 3564s| 50700 | 42 | 15191k| 292.9 | 1848M | 76 | 31k| 23k| 13k| 88k| 1 | 169k| 41 | 0.000000e+00 | -- | Inf | 3.31%
3557.57/3570.08 c 3570s| 50800 | 40 | 15221k| 292.9 | 1849M | 76 | 31k| 23k| 13k| 88k| 1 | 170k| 41 | 0.000000e+00 | -- | Inf | 3.32%
3563.65/3576.15 c 3576s| 50900 | 40 | 15245k| 292.8 | 1849M | 76 | 31k| 23k| 13k| 88k| 1 | 170k| 41 | 0.000000e+00 | -- | Inf | 3.33%
3572.01/3584.50 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3572.01/3584.50 c 3584s| 51000 | 43 | 15275k| 292.8 | 1852M | 76 | 31k| 23k| 13k| 89k| 1 | 170k| 41 | 0.000000e+00 | -- | Inf | 3.33%
3580.58/3593.11 c 3593s| 51100 | 44 | 15312k| 293.0 | 1853M | 76 | 31k| 23k| 13k| 89k| 1 | 171k| 41 | 0.000000e+00 | -- | Inf | 3.33%
3584.47/3597.01 c
3584.47/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3584.47/3597.01 c Solving Time (sec) : 3597.00
3584.47/3597.01 c Solving Nodes : 51162 (total of 52229 nodes in 2 runs)
3584.47/3597.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3584.47/3597.01 c Dual Bound : +0.00000000000000e+00
3584.47/3597.01 c Gap : infinite
3584.47/3597.01 s UNKNOWN
3584.47/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3584.47/3597.01 c Total Time : 3597.00
3584.47/3597.01 c solving : 3597.00
3584.47/3597.01 c presolving : 2.59 (included in solving)
3584.47/3597.01 c reading : 0.10 (included in solving)
3584.47/3597.01 c copying : 0.92 (10 #copies) (minimal 0.07, maximal 0.12, average 0.09)
3584.47/3597.01 c Original Problem :
3584.47/3597.01 c Problem name : HOME/instance-4545281-1753234829.opb
3584.47/3597.01 c Variables : 33526 (33526 binary, 0 integer, 0 implicit integer, 0 continuous)
3584.47/3597.01 c Constraints : 12724 initial, 12724 maximal
3584.47/3597.01 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3584.47/3597.01 c Presolved Problem :
3584.47/3597.01 c Problem name : t_HOME/instance-4545281-1753234829.opb
3584.47/3597.01 c Variables : 31225 (31225 binary, 0 integer, 0 implicit integer, 0 continuous)
3584.47/3597.01 c Constraints : 15188 initial, 24108 maximal
3584.47/3597.01 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3584.47/3597.01 c Nonzeros : 294559 constraint, 30075 clique table
3584.47/3597.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3584.47/3597.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.47/3597.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.47/3597.01 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3584.47/3597.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.47/3597.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.47/3597.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.47/3597.01 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3584.47/3597.01 c gateextraction : 0.05 0.00 5 0 0 0 0 0 60 20 0 0
3584.47/3597.01 c implics : 0.00 0.00 8 0 0 0 0 0 0 0 0 0
3584.47/3597.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.47/3597.01 c milp : 1.08 0.00 1 1123 0 0 0 0 0 0 0 0
3584.47/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.47/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.47/3597.01 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3584.47/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.47/3597.01 c trivial : 0.02 0.00 14 0 0 0 0 0 0 0 0 0
3584.47/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.47/3597.01 c dualfix : 0.01 0.00 14 1 0 0 0 0 0 0 0 0
3584.47/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.47/3597.01 c probing : 0.52 0.00 1 0 0 0 0 0 0 0 0 0
3584.47/3597.01 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3584.47/3597.01 c symmetry : 0.20 0.00 1 0 0 0 0 0 0 0 0 0
3584.47/3597.01 c vbounds : 0.02 0.00 2 0 0 0 0 0 0 0 0 0
3584.47/3597.01 c knapsack : 0.15 0.01 20 0 0 0 0 0 1161 3464 6926 9268
3584.47/3597.01 c setppc : 0.09 0.00 20 0 37 0 0 0 2 0 37 37
3584.47/3597.01 c and : 0.00 0.00 11 0 0 0 0 0 0 0 0 0
3584.47/3597.01 c linear : 0.22 0.02 19 1140 0 0 1140 0 2284 2281 3423 44473
3584.47/3597.01 c logicor : 0.07 0.02 19 0 0 0 0 0 1467 0 0 215
3584.47/3597.01 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.47/3597.01 c components : 0.07 0.00 2 0 0 0 0 0 0 0 0 0
3584.47/3597.01 c root node : - - - 5 - - 5 - - - - -
3584.47/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3584.47/3597.01 c benderslp : 0 0 0 0 31219 0 0 4406 0 0 0 0 0 0 0
3584.47/3597.01 c integral : 0 0 0 0 31219 0 0 4406 0 0 2 0 0 0 62436
3584.47/3597.01 c knapsack : 4715+ 4722 23 313121 0 0 0 4401 2707111 4176 6071681 4613 1617 0 0
3584.47/3597.01 c setppc : 4652+ 4890 23 308945 0 0 0 0 1837306 10918 591905 8 0 0 0
3584.47/3597.01 c and : 20 20 32528 298010 0 0 0 0 0 0 49252 32 17 0 0
3584.47/3597.01 c linear : 2378+ 2478 23 298027 0 0 0 3 6851543 4375 69748046 0 0 0 0
3584.47/3597.01 c logicor : 3423+ 12149 23 140200 0 0 0 0 979162 6330 878649 146 40 0 0
3584.47/3597.01 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3584.47/3597.01 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3584.47/3597.01 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3584.47/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3584.47/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3584.47/3597.01 c benderslp : 0.02 0.00 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00
3584.47/3597.01 c integral : 73.22 0.00 0.00 0.00 73.22 0.00 0.00 0.00 0.00 0.00
3584.47/3597.01 c knapsack : 68.47 0.01 0.52 67.10 0.00 0.00 0.00 0.05 0.78 0.01
3584.47/3597.01 c setppc : 24.89 0.00 0.02 24.29 0.00 0.00 0.00 0.00 0.57 0.02
3584.47/3597.01 c and : 0.44 0.00 0.17 0.27 0.00 0.00 0.00 0.00 0.00 0.00
3584.47/3597.01 c linear : 186.41 0.02 0.02 178.79 0.00 0.00 0.00 0.00 7.55 0.02
3584.47/3597.01 c logicor : 26.71 0.02 0.02 24.83 0.00 0.00 0.00 0.00 1.84 0.00
3584.47/3597.01 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.47/3597.01 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.47/3597.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.47/3597.01 c components : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
3584.47/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3584.47/3597.01 c dualfix : 3 0 0 0
3584.47/3597.01 c genvbounds : 0 0 0 0
3584.47/3597.01 c nlobbt : 0 0 0 0
3584.47/3597.01 c obbt : 0 0 0 0
3584.47/3597.01 c probing : 0 0 0 0
3584.47/3597.01 c pseudoobj : 0 0 0 0
3584.47/3597.01 c redcost : 0 0 0 0
3584.47/3597.01 c rootredcost : 0 0 0 0
3584.47/3597.01 c symmetry : 0 0 0 0
3584.47/3597.01 c vbounds : 264990 0 0 0
3584.47/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3584.47/3597.01 c dualfix : 0.02 0.00 0.01 0.00 0.00 0.00
3584.47/3597.01 c genvbounds : 0.09 0.00 0.00 0.09 0.00 0.00
3584.47/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3584.47/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3584.47/3597.01 c probing : 0.52 0.00 0.52 0.00 0.00 0.00
3584.47/3597.01 c pseudoobj : 0.10 0.00 0.00 0.10 0.00 0.00
3584.47/3597.01 c redcost : 0.04 0.00 0.00 0.04 0.00 0.00
3584.47/3597.01 c rootredcost : 0.04 0.00 0.00 0.04 0.00 0.00
3584.47/3597.01 c symmetry : 0.31 0.00 0.20 0.11 0.00 0.00
3584.47/3597.01 c vbounds : 76.10 0.00 0.02 76.08 0.00 0.00
3584.47/3597.01 c Symmetry :
3584.47/3597.01 c orbitopal red. : 0 reductions applied, 0 cutoffs
3584.47/3597.01 c orbital reduction: 0 reductions applied, 0 cutoffs
3584.47/3597.01 c lexicographic red: 0 reductions applied, 0 cutoffs
3584.47/3597.01 c shadow tree time : 0.00 s
3584.47/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3584.47/3597.01 c propagation : 13.20 21932 21902 - 243466 115.6 1379 49.4 - - -
3584.47/3597.01 c infeasible LP : 25.01 5202 5202 - 54676 110.6 2007 58.2 5201 109.1 0
3584.47/3597.01 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3584.47/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3584.47/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3584.47/3597.01 c applied globally : 3.41 - - 1 165948 54.7 - - 5197 - -
3584.47/3597.01 c applied locally : - - - 0 0 0.0 - - 4 - -
3584.47/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3584.47/3597.01 c cut pool : 3.59 - 6497 45 - - 24259 1077987 - - - - - (maximal pool size: 8231)
3584.47/3597.01 c aggregation : 2.11 0.00 195 23 0 0 11700 299685 42 13933 13930 3 0
3584.47/3597.01 c > cmir : - - - - - - - 256740 0 7449 7449 0 -
3584.47/3597.01 c > flowcover : - - - - - - - 7046 0 1574 1574 0 -
3584.47/3597.01 c > knapsackcover : - - - - - - - 35899 42 4910 4907 3 -
3584.47/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.47/3597.01 c clique : 4.04 0.00 23 23 0 0 1 1 0 1 1 0 0
3584.47/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.47/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.47/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.47/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.47/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.47/3597.01 c gomory : 2.75 0.00 192 20 0 0 12670 763846 438 65887 65822 65 0
3584.47/3597.01 c > gomorymi : - - - - - - - 262710 219 38465 38420 45 -
3584.47/3597.01 c > strongcg : - - - - - - - 501136 219 27422 27402 20 -
3584.47/3597.01 c impliedbounds : 0.30 0.00 195 23 0 0 236 4844 0 3762 3762 0 0
3584.47/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.47/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.47/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.47/3597.01 c mcf : 0.02 0.00 2 2 0 0 0 0 0 0 0 0 0
3584.47/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.47/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.47/3597.01 c multilinear : 0.00 0.00 352 23 0 0 0 0 0 0 0 0 0
3584.47/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.47/3597.01 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.47/3597.01 c rlt : 7.38 0.00 118 20 0 0 0 0 0 0 0 0 0
3584.47/3597.01 c zerohalf : 4.60 0.00 195 23 0 0 1637 9611 1505 6216 4775 1441 0
3584.47/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3584.47/3597.01 c hybrid : 0.97 0.00 6329 24 91473 5 993298 2235 0 35102
3584.47/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3584.47/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3584.47/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3584.47/3597.01 c problem variables: 0.00 - 0 0
3584.47/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3584.47/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3584.47/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3584.47/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3584.47/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3584.47/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3584.47/3597.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3584.47/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3584.47/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3584.47/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3584.47/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3584.47/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3584.47/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3584.47/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3584.47/3597.01 c relpscost : 73.17 0.00 31219 0 0 0 2 0 2 62436
3584.47/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3584.47/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3584.47/3597.01 c LP solutions : 0.00 - - 0 0
3584.47/3597.01 c relax solutions : 0.00 - - 0 0
3584.47/3597.01 c pseudo solutions : 0.00 - - 0 0
3584.47/3597.01 c strong branching : 0.00 - - 0 0
3584.47/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3584.47/3597.01 c adaptivediving : 5.34 0.00 45 0 0
3584.47/3597.01 c alns : 4.16 0.00 8 0 0
3584.47/3597.01 c bound : 0.00 0.00 0 0 0
3584.47/3597.01 c clique : 0.12 0.00 1 0 0
3584.47/3597.01 c coefdiving : 0.00 0.00 0 0 0
3584.47/3597.01 c completesol : 0.00 0.00 0 0 0
3584.47/3597.01 c conflictdiving : 3.42 0.00 23 0 0
3584.47/3597.01 c crossover : 0.02 0.00 0 0 0
3584.47/3597.01 c dins : 0.00 0.00 0 0 0
3584.47/3597.01 c distributiondivin: 8.76 0.00 22 0 0
3584.47/3597.01 c dps : 0.00 0.00 0 0 0
3584.47/3597.01 c dualval : 0.00 0.00 0 0 0
3584.47/3597.01 c farkasdiving : 0.00 0.00 0 0 0
3584.47/3597.01 c feasjump : 0.12 0.00 2 0 0
3584.47/3597.01 c feaspump : 5.67 0.00 12 0 0
3584.47/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3584.47/3597.01 c fracdiving : 3.15 0.00 23 0 0
3584.47/3597.01 c gins : 0.01 0.00 0 0 0
3584.47/3597.01 c guideddiving : 0.00 0.00 0 0 0
3584.47/3597.01 c indcoefdiving : 0.00 0.00 0 0 0
3584.47/3597.01 c indicator : 0.02 0.00 0 0 0
3584.47/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3584.47/3597.01 c indoneopt : 0.03 0.00 0 0 0
3584.47/3597.01 c indrounding : 0.00 0.00 0 0 0
3584.47/3597.01 c indtwoopt : 0.00 0.00 0 0 0
3584.47/3597.01 c intdiving : 0.00 0.00 0 0 0
3584.47/3597.01 c intshifting : 0.00 0.00 0 0 0
3584.47/3597.01 c linesearchdiving : 1.53 0.00 23 0 0
3584.47/3597.01 c localbranching : 0.00 0.00 0 0 0
3584.47/3597.01 c locks : 0.03 0.00 1 0 0
3584.47/3597.01 c lpface : 3.39 0.00 0 0 0
3584.47/3597.01 c mpec : 0.00 0.00 0 0 0
3584.47/3597.01 c multistart : 0.00 0.00 0 0 0
3584.47/3597.01 c mutation : 0.00 0.00 0 0 0
3584.47/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3584.47/3597.01 c objpscostdiving : 14.22 0.00 12 0 0
3584.47/3597.01 c octane : 0.00 0.00 0 0 0
3584.47/3597.01 c ofins : 0.01 0.00 0 0 0
3584.47/3597.01 c oneopt : 0.03 0.00 0 0 0
3584.47/3597.01 c padm : 0.00 0.00 0 0 0
3584.47/3597.01 c proximity : 0.00 0.00 0 0 0
3584.47/3597.01 c pscostdiving : 1.02 0.00 23 0 0
3584.47/3597.01 c randrounding : 9.88 0.00 4419 0 0
3584.47/3597.01 c rens : 0.45 0.00 2 0 0
3584.47/3597.01 c reoptsols : 0.00 0.00 0 0 0
3584.47/3597.01 c repair : 0.00 0.00 0 0 0
3584.47/3597.01 c rins : 0.02 0.00 0 0 0
3584.47/3597.01 c rootsoldiving : 11.53 0.00 12 0 0
3584.47/3597.01 c rounding : 1.85 0.00 2648 0 0
3584.47/3597.01 c scheduler : 0.00 0.00 0 0 0
3584.47/3597.01 c shiftandpropagate: 0.30 0.00 2 0 0
3584.47/3597.01 c shifting : 160.09 0.00 1281 0 0
3584.47/3597.01 c simplerounding : 0.03 0.00 0 0 0
3584.47/3597.01 c smallcard : 0.00 0.00 0 0 0
3584.47/3597.01 c subnlp : 0.05 0.00 0 0 0
3584.47/3597.01 c trivial : 0.04 0.00 4 0 0
3584.47/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3584.47/3597.01 c trustregion : 0.00 0.00 0 0 0
3584.47/3597.01 c trysol : 0.02 0.00 0 0 0
3584.47/3597.01 c twoopt : 0.00 0.00 0 0 0
3584.47/3597.01 c undercover : 0.00 0.00 1 0 0
3584.47/3597.01 c vbounds : 0.10 0.00 2 0 0
3584.47/3597.01 c veclendiving : 2.05 0.00 23 0 0
3584.47/3597.01 c zeroobj : 0.00 0.00 0 0 0
3584.47/3597.01 c zirounding : 0.68 0.00 1000 0 0
3584.47/3597.01 c other solutions : - - - 0 -
3584.47/3597.01 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3584.47/3597.01 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
3584.47/3597.01 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
3584.47/3597.01 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
3584.47/3597.01 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
3584.47/3597.01 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
3584.47/3597.01 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
3584.47/3597.01 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
3584.47/3597.01 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
3584.47/3597.01 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
3584.47/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3584.47/3597.01 c primal LP : 23.23 2605 0 0.00 0.00 23.23 2605
3584.47/3597.01 c dual LP : 2388.29 42711 15190996 356.23 6360.61 0.28 67
3584.47/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3584.47/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3584.47/3597.01 c resolve instable : 0.00 0 0 0.00 -
3584.47/3597.01 c diving/probing LP: 28.73 893 136075 152.38 4736.84
3584.47/3597.01 c strong branching : 8.17 41 24703 602.51 3025.47 - - 35
3584.47/3597.01 c (at root node) : - 41 24703 602.51 -
3584.47/3597.01 c conflict analysis: 0.00 0 0 0.00 -
3584.47/3597.01 c B&B Tree :
3584.47/3597.01 c number of runs : 2
3584.47/3597.01 c nodes : 51162 (30568 internal, 20594 leaves)
3584.47/3597.01 c feasible leaves : 0
3584.47/3597.01 c infeas. leaves : 20593
3584.47/3597.01 c objective leaves : 0
3584.47/3597.01 c nodes (total) : 52229 (31218 internal, 21011 leaves)
3584.47/3597.01 c nodes left : 42
3584.47/3597.01 c max depth : 76
3584.47/3597.01 c max depth (total): 78
3584.47/3597.01 c backtracks : 9773 (19.1%)
3584.47/3597.01 c early backtracks : 0 (0.0%)
3584.47/3597.01 c nodes exc. ref. : 0 (0.0%)
3584.47/3597.01 c delayed cutoffs : 9934
3584.47/3597.01 c repropagations : 75239 (23343139 domain reductions, 7623 cutoffs)
3584.47/3597.01 c avg switch length: 4.49
3584.47/3597.01 c switching time : 199.65
3584.47/3597.01 c Root Node :
3584.47/3597.01 c First LP value : +0.00000000000000e+00
3584.47/3597.01 c First LP Iters : 7724 (14299.68 Iter/sec)
3584.47/3597.01 c First LP Time : 0.54
3584.47/3597.01 c Final Dual Bound : +0.00000000000000e+00
3584.47/3597.01 c Final Root Iters : 29922
3584.47/3597.01 c Root LP Estimate : +9.59501938067616e-03
3584.47/3597.01 c Solution :
3584.47/3597.01 c Solutions found : 0 (0 improvements)
3584.47/3597.01 c Primal Bound : -
3584.47/3597.01 c Dual Bound : +0.00000000000000e+00
3584.47/3597.01 c Gap : infinite
3584.47/3597.01 c Integrals : Total Avg%
3584.47/3597.01 c primal-dual : 359699.88 100.00
3584.47/3597.01 c primal-ref : - - (not evaluated)
3584.47/3597.01 c dual-ref : - - (not evaluated)
3584.66/3597.24 c Time complete: 3584.71.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (61358 MiB free)
memory of node 1: 64465 MiB (63535 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4545281-1753234829/watcher-4545281-1753234829 -o /tmp/evaluation-result-4545281-1753234829/solver-4545281-1753234829 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1753234827-173195 --watchdog 3760 pbscip -f HOME/instance-4545281-1753234829.opb -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=173300, runsolver pid=173297
[startup+0.100066 s]*
/proc/loadavg: 1.38 1.17 1.28 5/269 173301
/proc/meminfo: memFree=127842624/131250000 swapFree=33008356/33010684
[pid=173300] ppid=173297 vsize=86256 memory=58368 CPUtime=0.09 cores=1,3
/proc/173300/stat : 173300 (pbscip) R 173297 173300 173183 0 -1 4194304 11667 0 0 0 7 2 0 0 20 0 1 0 239159480 88326144 14592 18446744073709551615 4235264 18693293 140732560018208 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53514240 140732560021895 140732560021994 140732560021994 140732560027598 0
/proc/173300/statm: 21564 14592 3264 3530 0 13015 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 86256 KiB
Current children cumulated memory: 58368 KiB
[startup+0.205725 s]*
/proc/loadavg: 1.38 1.17 1.28 5/269 173301
/proc/meminfo: memFree=127762488/131250000 swapFree=33008356/33010684
[pid=173300] ppid=173297 vsize=167316 memory=136516 CPUtime=0.2 cores=1,3
/proc/173300/stat : 173300 (pbscip) R 173297 173300 173183 0 -1 4194304 31022 0 0 0 14 6 0 0 20 0 1 0 239159480 171331584 34097 18446744073709551615 4235264 18693293 140732560018208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53514240 140732560021895 140732560021994 140732560021994 140732560027598 0
/proc/173300/statm: 41829 34129 3552 3530 0 33280 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 167316 KiB
Current children cumulated memory: 136516 KiB
[startup+0.305749 s]*
/proc/loadavg: 1.38 1.17 1.28 5/269 173301
/proc/meminfo: memFree=127744596/131250000 swapFree=33008356/33010684
[pid=173300] ppid=173297 vsize=191704 memory=150084 CPUtime=0.29 cores=1,3
/proc/173300/stat : 173300 (pbscip) R 173297 173300 173183 0 -1 4194304 34397 0 0 0 23 6 0 0 20 0 1 0 239159480 196304896 37521 18446744073709551615 4235264 18693293 140732560018208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53514240 140732560021895 140732560021994 140732560021994 140732560027598 0
/proc/173300/statm: 47926 37521 3616 3530 0 39377 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 191704 KiB
Current children cumulated memory: 150084 KiB
[startup+0.700175 s]
/proc/loadavg: 1.38 1.17 1.28 5/269 173301
/proc/meminfo: memFree=127681604/131250000 swapFree=33008356/33010684
[pid=173300] ppid=173297 vsize=224892 memory=190440 CPUtime=0.68 cores=1,3
/proc/173300/stat : 173300 (pbscip) R 173297 173300 173183 0 -1 4194304 44573 0 0 0 60 8 0 0 20 0 1 0 239159480 230289408 47610 18446744073709551615 4235264 18693293 140732560018208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53514240 140732560021895 140732560021994 140732560021994 140732560027598 0
/proc/173300/statm: 56223 47610 3744 3530 0 47674 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 224892 KiB
Current children cumulated memory: 190440 KiB
[startup+1.50019 s]
/proc/loadavg: 1.38 1.17 1.28 5/269 173301
/proc/meminfo: memFree=127555268/131250000 swapFree=33008356/33010684
[pid=173300] ppid=173297 vsize=249984 memory=215696 CPUtime=1.48 cores=1,3
/proc/173300/stat : 173300 (pbscip) R 173297 173300 173183 0 -1 4194304 54270 0 0 0 138 10 0 0 20 0 1 0 239159480 255983616 53924 18446744073709551615 4235264 18693293 140732560018208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53514240 140732560021895 140732560021994 140732560021994 140732560027598 0
/proc/173300/statm: 62496 53924 3744 3530 0 53947 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 249984 KiB
Current children cumulated memory: 215696 KiB
[startup+3.10562 s]
/proc/loadavg: 1.38 1.17 1.28 5/269 173301
/proc/meminfo: memFree=127079784/131250000 swapFree=33008356/33010684
[pid=173300] ppid=173297 vsize=414556 memory=337452 CPUtime=3.07 cores=1,3
/proc/173300/stat : 173300 (pbscip) R 173297 173300 173183 0 -1 4194304 84998 0 0 0 292 15 0 0 20 0 1 0 239159480 424505344 84363 18446744073709551615 4235264 18693293 140732560018208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53514240 140732560021895 140732560021994 140732560021994 140732560027598 0
/proc/173300/statm: 103639 84363 3968 3530 0 95090 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 414556 KiB
Current children cumulated memory: 337452 KiB
[startup+6.30017 s]
/proc/loadavg: 1.59 1.21 1.30 5/269 173301
/proc/meminfo: memFree=126749836/131250000 swapFree=33008356/33010684
[pid=173300] ppid=173297 vsize=454988 memory=373360 CPUtime=6.27 cores=1,3
/proc/173300/stat : 173300 (pbscip) R 173297 173300 173183 0 -1 4194304 92643 0 0 0 610 17 0 0 20 0 1 0 239159480 465907712 93340 18446744073709551615 4235264 18693293 140732560018208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53514240 140732560021895 140732560021994 140732560021994 140732560027598 0
/proc/173300/statm: 113747 93340 3968 3530 0 105198 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 454988 KiB
Current children cumulated memory: 373360 KiB
[startup+12.7002 s]
/proc/loadavg: 1.79 1.26 1.31 5/269 173301
/proc/meminfo: memFree=125987960/131250000 swapFree=33008356/33010684
[pid=173300] ppid=173297 vsize=544868 memory=452508 CPUtime=12.64 cores=1,3
/proc/173300/stat : 173300 (pbscip) R 173297 173300 173183 0 -1 4194304 112187 0 0 0 1244 20 0 0 20 0 1 0 239159480 557944832 113127 18446744073709551615 4235264 18693293 140732560018208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53514240 140732560021895 140732560021994 140732560021994 140732560027598 0
/proc/173300/statm: 136217 113127 3968 3530 0 127668 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 544868 KiB
Current children cumulated memory: 452508 KiB
[startup+25.5002 s]
/proc/loadavg: 2.28 1.40 1.35 5/268 173301
/proc/meminfo: memFree=124549332/131250000 swapFree=33008356/33010684
[pid=173300] ppid=173297 vsize=564620 memory=473736 CPUtime=25.41 cores=1,3
/proc/173300/stat : 173300 (pbscip) R 173297 173300 173183 0 -1 4194304 154511 0 0 0 2513 28 0 0 20 0 1 0 239159480 578170880 118434 18446744073709551615 4235264 18693293 140732560018208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53514240 140732560021895 140732560021994 140732560021994 140732560027598 0
/proc/173300/statm: 141155 118434 3968 3530 0 132606 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 564620 KiB
Current children cumulated memory: 473736 KiB
[startup+51.1055 s]
/proc/loadavg: 2.99 1.64 1.44 5/268 173303
/proc/meminfo: memFree=124297768/131250000 swapFree=33008356/33010684
[pid=173300] ppid=173297 vsize=655108 memory=564440 CPUtime=50.93 cores=1,3
/proc/173300/stat : 173300 (pbscip) R 173297 173300 173183 0 -1 4194304 187159 0 0 0 5060 33 0 0 20 0 1 0 239159480 670830592 141110 18446744073709551615 4235264 18693293 140732560018208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53514240 140732560021895 140732560021994 140732560021994 140732560027598 0
/proc/173300/statm: 163777 141110 3968 3530 0 155228 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 655108 KiB
Current children cumulated memory: 564440 KiB
[startup+102.3 s]
/proc/loadavg: 3.63 2.02 1.58 5/268 173305
/proc/meminfo: memFree=124076636/131250000 swapFree=33008356/33010684
[pid=173300] ppid=173297 vsize=726156 memory=634436 CPUtime=101.98 cores=1,3
/proc/173300/stat : 173300 (pbscip) R 173297 173300 173183 0 -1 4194304 207095 0 0 0 10162 36 0 0 20 0 1 0 239159480 743583744 158609 18446744073709551615 4235264 18693293 140732560018208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53514240 140732560021895 140732560021994 140732560021994 140732560027598 0
/proc/173300/statm: 181539 158609 3968 3530 0 172990 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 726156 KiB
Current children cumulated memory: 634436 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 2.40 1.74 5/268 173306
/proc/meminfo: memFree=124016924/131250000 swapFree=33008356/33010684
[pid=173300] ppid=173297 vsize=726156 memory=634564 CPUtime=161.79 cores=1,3
/proc/173300/stat : 173300 (pbscip) R 173297 173300 173183 0 -1 4194304 207119 0 0 0 16143 36 0 0 20 0 1 0 239159480 743583744 158641 18446744073709551615 4235264 18693293 140732560018208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53514240 140732560021895 140732560021994 140732560021994 140732560027598 0
/proc/173300/statm: 181539 158641 3968 3530 0 172990 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 726156 KiB
Current children cumulated memory: 634564 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 2.72 1.89 5/268 173308
/proc/meminfo: memFree=123946852/131250000 swapFree=33008356/33010684
[pid=173300] ppid=173297 vsize=736748 memory=647748 CPUtime=221.62 cores=1,3
/proc/173300/stat : 173300 (pbscip) R 173297 173300 173183 0 -1 4194304 210452 0 0 0 22125 37 0 0 20 0 1 0 239159480 754429952 161937 18446744073709551615 4235264 18693293 140732560018208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53514240 140732560021895 140732560021994 140732560021994 140732560027598 0
/proc/173300/statm: 184187 161937 3968 3530 0 175638 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 736748 KiB
Current children cumulated memory: 647748 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 2.97 2.03 5/267 173310
/proc/meminfo: memFree=123758076/131250000 swapFree=33008356/33010684
[pid=173300] ppid=173297 vsize=788472 memory=697284 CPUtime=281.43 cores=1,3
/proc/173300/stat : 173300 (pbscip) R 173297 173300 173183 0 -1 4194304 223101 0 0 0 28103 40 0 0 20 0 1 0 239159480 807395328 174321 18446744073709551615 4235264 18693293 140732560018208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53514240 140732560021895 140732560021994 140732560021994 140732560027598 0
/proc/173300/statm: 197118 174321 3968 3530 0 188569 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 788472 KiB
Current children cumulated memory: 697284 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 3.18 2.16 5/264 173317
/proc/meminfo: memFree=123205200/131250000 swapFree=33008356/33010684
[pid=173300] ppid=173297 vsize=832768 memory=741528 CPUtime=341.25 cores=1,3
/proc/173300/stat : 173300 (pbscip) R 173297 173300 173183 0 -1 4194304 233741 0 0 0 34083 42 0 0 20 0 1 0 239159480 852754432 185382 18446744073709551615 4235264 18693293 140732560018208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53514240 140732560021895 140732560021994 140732560021994 140732560027598 0
/proc/173300/statm: 208192 185382 3968 3530 0 199643 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 832768 KiB
Current children cumulated memory: 741528 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 3.34 2.29 5/264 173320
/proc/meminfo: memFree=122677532/131250000 swapFree=33008356/33010684
[pid=173300] ppid=173297 vsize=888756 memory=795288 CPUtime=401.07 cores=1,3
/proc/173300/stat : 173300 (pbscip) R 173297 173300 173183 0 -1 4194304 247287 0 0 0 40062 45 0 0 20 0 1 0 239159480 910086144 198822 18446744073709551615 4235264 18693293 140732560018208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53514240 140732560021895 140732560021994 140732560021994 140732560027598 0
/proc/173300/statm: 222189 198822 3968 3530 0 213640 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 888756 KiB
Current children cumulated memory: 795288 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 3.48 2.40 5/264 173322
/proc/meminfo: memFree=122681796/131250000 swapFree=33008356/33010684
[pid=173300] ppid=173297 vsize=929360 memory=836120 CPUtime=460.88 cores=1,3
/proc/173300/stat : 173300 (pbscip) R 173297 173300 173183 0 -1 4194304 257500 0 0 0 46040 48 0 0 20 0 1 0 239159480 951664640 209030 18446744073709551615 4235264 18693293 140732560018208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53514240 140732560021895 140732560021994 140732560021994 140732560027598 0
/proc/173300/statm: 232340 209030 3968 3530 0 223791 0
Current children cumulated CPU time: 460.88 s
################
# More data... #
################
Current children cumulated memory: 1795060 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.12 4.03 5/264 173462
/proc/meminfo: memFree=120981124/131250000 swapFree=33008356/33010684
[pid=173300] ppid=173297 vsize=1907928 memory=1801972 CPUtime=3211.19 cores=1,3
/proc/173300/stat : 173300 (pbscip) R 173297 173300 173183 0 -1 4194304 549870 0 0 0 321013 106 0 0 20 0 1 0 239159480 1953718272 450493 18446744073709551615 4235264 18693293 140732560018208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53514240 140732560021895 140732560021994 140732560021994 140732560027598 0
/proc/173300/statm: 476982 450493 3968 3530 0 468433 0
Current children cumulated CPU time: 3211.19 s
Current children cumulated vsize: 1907928 KiB
Current children cumulated memory: 1801972 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.11 4.03 5/263 173464
/proc/meminfo: memFree=120975492/131250000 swapFree=33008356/33010684
[pid=173300] ppid=173297 vsize=1918456 memory=1812468 CPUtime=3270.97 cores=1,3
/proc/173300/stat : 173300 (pbscip) R 173297 173300 173183 0 -1 4194304 552472 0 0 0 326990 107 0 0 20 0 1 0 239159480 1964498944 453117 18446744073709551615 4235264 18693293 140732560018208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53514240 140732560021895 140732560021994 140732560021994 140732560027598 0
/proc/173300/statm: 479614 453117 3968 3530 0 471065 0
Current children cumulated CPU time: 3270.97 s
Current children cumulated vsize: 1918456 KiB
Current children cumulated memory: 1812468 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.03 5/263 173471
/proc/meminfo: memFree=120946756/131250000 swapFree=33008356/33010684
[pid=173300] ppid=173297 vsize=1936304 memory=1830260 CPUtime=3330.74 cores=1,3
/proc/173300/stat : 173300 (pbscip) R 173297 173300 173183 0 -1 4194304 557003 0 0 0 332966 108 0 0 20 0 1 0 239159480 1982775296 457565 18446744073709551615 4235264 18693293 140732560018208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53514240 140732560021895 140732560021994 140732560021994 140732560027598 0
/proc/173300/statm: 484076 457565 3968 3530 0 475527 0
Current children cumulated CPU time: 3330.74 s
Current children cumulated vsize: 1936304 KiB
Current children cumulated memory: 1830260 KiB
[startup+3402.3 s]
/proc/loadavg: 4.38 4.19 4.06 5/264 173474
/proc/meminfo: memFree=120934752/131250000 swapFree=33008356/33010684
[pid=173300] ppid=173297 vsize=1950144 memory=1844156 CPUtime=3390.51 cores=1,3
/proc/173300/stat : 173300 (pbscip) R 173297 173300 173183 0 -1 4194304 593292 0 0 0 338936 115 0 0 20 0 1 0 239159480 1996947456 461039 18446744073709551615 4235264 18693293 140732560018208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53514240 140732560021895 140732560021994 140732560021994 140732560027598 0
/proc/173300/statm: 487536 461039 3968 3530 0 478987 0
Current children cumulated CPU time: 3390.51 s
Current children cumulated vsize: 1950144 KiB
Current children cumulated memory: 1844156 KiB
[startup+3462.3 s]
/proc/loadavg: 4.45 4.26 4.09 5/264 173476
/proc/meminfo: memFree=120934624/131250000 swapFree=33008356/33010684
[pid=173300] ppid=173297 vsize=1961992 memory=1855932 CPUtime=3450.28 cores=1,3
/proc/173300/stat : 173300 (pbscip) R 173297 173300 173183 0 -1 4194304 596382 0 0 0 344911 117 0 0 20 0 1 0 239159480 2009079808 463983 18446744073709551615 4235264 18693293 140732560018208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53514240 140732560021895 140732560021994 140732560021994 140732560027598 0
/proc/173300/statm: 490498 463983 3968 3530 0 481949 0
Current children cumulated CPU time: 3450.28 s
Current children cumulated vsize: 1961992 KiB
Current children cumulated memory: 1855932 KiB
[startup+3522.3 s]
/proc/loadavg: 4.20 4.23 4.09 5/264 173478
/proc/meminfo: memFree=120883648/131250000 swapFree=33008356/33010684
[pid=173300] ppid=173297 vsize=1966792 memory=1860412 CPUtime=3510.04 cores=1,3
/proc/173300/stat : 173300 (pbscip) R 173297 173300 173183 0 -1 4194304 597505 0 0 0 350887 117 0 0 20 0 1 0 239159480 2013995008 465103 18446744073709551615 4235264 18693293 140732560018208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53514240 140732560021895 140732560021994 140732560021994 140732560027598 0
/proc/173300/statm: 491698 465103 3968 3530 0 483149 0
Current children cumulated CPU time: 3510.04 s
Current children cumulated vsize: 1966792 KiB
Current children cumulated memory: 1860412 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.21 4.09 5/264 173480
/proc/meminfo: memFree=120870396/131250000 swapFree=33008356/33010684
[pid=173300] ppid=173297 vsize=1977484 memory=1870908 CPUtime=3569.82 cores=1,3
/proc/173300/stat : 173300 (pbscip) R 173297 173300 173183 0 -1 4194304 600111 0 0 0 356864 118 0 0 20 0 1 0 239159480 2024943616 467727 18446744073709551615 4235264 18693293 140732560018208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53514240 140732560021895 140732560021994 140732560021994 140732560027598 0
/proc/173300/statm: 494371 467727 3968 3530 0 485822 0
Current children cumulated CPU time: 3569.82 s
Current children cumulated vsize: 1977484 KiB
Current children cumulated memory: 1870908 KiB
[startup+3597.32 s]
# the end of solver process 173300 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.53 s, system=1.2629 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.17 4.21 4.09 5/264 173480
/proc/meminfo: memFree=120870396/131250000 swapFree=33008356/33010684
[pid=173300] ppid=173297 vsize=1977832 memory=1871164 CPUtime=3571.52 cores=1,3
/proc/173300/stat : 173300 (pbscip) R 173297 173300 173183 0 -1 4194304 600178 0 0 0 357034 118 0 0 20 0 1 0 239159480 2025299968 467791 18446744073709551615 4235264 18693293 140732560018208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53514240 140732560021895 140732560021994 140732560021994 140732560027598 0
/proc/173300/statm: 494458 467791 3968 3530 0 485909 0
Current children cumulated CPU time: 3571.52 s
Current children cumulated vsize: 1977832 KiB
Current children cumulated memory: 1871164 KiB
[startup+3590.4 s]
/proc/loadavg: 4.15 4.20 4.09 5/264 173480
/proc/meminfo: memFree=120870396/131250000 swapFree=33008356/33010684
[pid=173300] ppid=173297 vsize=1980048 memory=1873596 CPUtime=3577.89 cores=1,3
/proc/173300/stat : 173300 (pbscip) R 173297 173300 173183 0 -1 4194304 600778 0 0 0 357671 118 0 0 20 0 1 0 239159480 2027569152 468399 18446744073709551615 4235264 18693293 140732560018208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53514240 140732560021895 140732560021994 140732560021994 140732560027598 0
/proc/173300/statm: 495012 468399 3968 3530 0 486463 0
Current children cumulated CPU time: 3577.89 s
Current children cumulated vsize: 1980048 KiB
Current children cumulated memory: 1873596 KiB
[startup+3593.6 s]
/proc/loadavg: 4.15 4.20 4.09 5/264 173480
/proc/meminfo: memFree=120870404/131250000 swapFree=33008356/33010684
[pid=173300] ppid=173297 vsize=1980252 memory=1873724 CPUtime=3581.07 cores=1,3
/proc/173300/stat : 173300 (pbscip) R 173297 173300 173183 0 -1 4194304 600809 0 0 0 357989 118 0 0 20 0 1 0 239159480 2027778048 468431 18446744073709551615 4235264 18693293 140732560018208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53514240 140732560021895 140732560021994 140732560021994 140732560027598 0
/proc/173300/statm: 495063 468431 3968 3530 0 486514 0
Current children cumulated CPU time: 3581.07 s
Current children cumulated vsize: 1980252 KiB
Current children cumulated memory: 1873724 KiB
[startup+3595.2 s]
/proc/loadavg: 4.13 4.20 4.09 5/264 173480
/proc/meminfo: memFree=120870404/131250000 swapFree=33008356/33010684
[pid=173300] ppid=173297 vsize=1980252 memory=1873724 CPUtime=3582.67 cores=1,3
/proc/173300/stat : 173300 (pbscip) R 173297 173300 173183 0 -1 4194304 600818 0 0 0 358149 118 0 0 20 0 1 0 239159480 2027778048 468431 18446744073709551615 4235264 18693293 140732560018208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53514240 140732560021895 140732560021994 140732560021994 140732560027598 0
/proc/173300/statm: 495063 468431 3968 3530 0 486514 0
Current children cumulated CPU time: 3582.67 s
Current children cumulated vsize: 1980252 KiB
Current children cumulated memory: 1873724 KiB
[startup+3596 s]*
/proc/loadavg: 4.13 4.20 4.09 4/256 173489
/proc/meminfo: memFree=123192520/131250000 swapFree=33008356/33010684
[pid=173300] ppid=173297 vsize=1980252 memory=1873724 CPUtime=3583.47 cores=1,3
/proc/173300/stat : 173300 (pbscip) R 173297 173300 173183 0 -1 4194304 600822 0 0 0 358229 118 0 0 20 0 1 0 239159480 2027778048 468431 18446744073709551615 4235264 18693293 140732560018208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53514240 140732560021895 140732560021994 140732560021994 140732560027598 0
/proc/173300/statm: 495063 468431 3968 3530 0 486514 0
Current children cumulated CPU time: 3583.47 s
Current children cumulated vsize: 1980252 KiB
Current children cumulated memory: 1873724 KiB
[startup+3596.8 s]
/proc/loadavg: 4.13 4.20 4.09 4/256 173489
/proc/meminfo: memFree=123192520/131250000 swapFree=33008356/33010684
[pid=173300] ppid=173297 vsize=1980252 memory=1873724 CPUtime=3584.26 cores=1,3
/proc/173300/stat : 173300 (pbscip) R 173297 173300 173183 0 -1 4194304 600823 0 0 0 358308 118 0 0 20 0 1 0 239159480 2027778048 468431 18446744073709551615 4235264 18693293 140732560018208 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53514240 140732560021895 140732560021994 140732560021994 140732560027598 0
/proc/173300/statm: 495063 468431 3968 3530 0 486514 0
Current children cumulated CPU time: 3584.26 s
Current children cumulated vsize: 1980252 KiB
Current children cumulated memory: 1873724 KiB
[startup+3597.2 s]
/proc/loadavg: 4.13 4.20 4.09 3/251 173547
/proc/meminfo: memFree=127254956/131250000 swapFree=33008356/33010684
[pid=173300] ppid=173297 vsize=1977180 memory=1870708 CPUtime=3584.66 cores=1,3
/proc/173300/stat : 173300 (pbscip) R 173297 173300 173183 0 -1 4194304 600823 0 0 0 358348 118 0 0 20 0 1 0 239159480 2024632320 467677 18446744073709551615 4235264 18693293 140732560018208 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 53514240 140732560021895 140732560021994 140732560021994 140732560027598 0
/proc/173300/statm: 494295 467677 3968 3530 0 485746 0
Current children cumulated CPU time: 3584.66 s
Current children cumulated vsize: 1977180 KiB
Current children cumulated memory: 1870708 KiB
[startup+3597.3 s]*
/proc/loadavg: 4.13 4.20 4.09 3/260 173578
/proc/meminfo: memFree=128622760/131250000 swapFree=33008356/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3597.32
CPU time (s): 3584.79
CPU user time (s): 3583.53
CPU system time (s): 1.2629
CPU usage (%): 99.6517
Max. virtual memory (cumulated for all children) (KiB): 2084308
Max. memory (cumulated for all children) (KiB): 1969268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.53
system time used= 1.2629
maximum resident set size= 1969268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 600830
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= 80
involuntary context switches= 7126
# summary of solver processes directly reported to runsolver:
# pid: 173300
# total CPU time (s): 3584.79
# total CPU user time (s): 3583.53
# total CPU system time (s): 1.2629
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.56639 second user time and 15.993 second system time
The end