0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2664013-1276601844.opb>
0.00/0.01 c original problem has 51 variables (51 bin, 0 int, 0 impl, 0 cont) and 13 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 1 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c (round 2) 1 del vars, 7 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c presolving (3 rounds):
0.00/0.02 c 1 deleted vars, 7 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 0 implications, 0 cliques
0.00/0.02 c presolved problem has 50 variables (50 bin, 0 int, 0 impl, 0 cont) and 6 constraints
0.00/0.02 c 6 constraints of type <linear>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 1620
0.00/0.02 c
0.00/0.02 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c lp/solvefreq = -1
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 2 | 0 | - | 243k| 0 | - | 50 | 6 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.29/1.31 c 1.2s| 10000 | 6966 | 0 | 0.0 |2735k| 28 | - | 50 | 205 | 0 | 0 | 0 | 251 | 0 | 0.000000e+00 | -- | Inf
2.79/2.89 c 2.6s| 20000 | 12249 | 0 | 0.0 |4988k| 29 | - | 50 | 371 | 0 | 0 | 0 | 591 | 0 | 0.000000e+00 | -- | Inf
4.19/4.28 c 3.9s| 30000 | 18522 | 0 | 0.0 |7143k| 31 | - | 50 | 451 | 0 | 0 | 0 | 786 | 0 | 0.000000e+00 | -- | Inf
5.59/5.66 c 5.2s| 40000 | 25114 | 0 | 0.0 |9292k| 31 | - | 50 | 371 | 0 | 0 | 0 | 976 | 0 | 0.000000e+00 | -- | Inf
6.99/7.05 c 6.4s| 50000 | 31294 | 0 | 0.0 | 11M| 31 | - | 50 | 283 | 0 | 0 | 0 |1156 | 0 | 0.000000e+00 | -- | Inf
8.39/8.47 c 7.7s| 60000 | 37156 | 0 | 0.0 | 13M| 31 | - | 50 | 273 | 0 | 0 | 0 |1382 | 0 | 0.000000e+00 | -- | Inf
9.89/9.95 c 9.0s| 70000 | 42685 | 0 | 0.0 | 15M| 31 | - | 50 | 328 | 0 | 0 | 0 |1687 | 0 | 0.000000e+00 | -- | Inf
11.49/11.50 c 10.4s| 80000 | 47813 | 0 | 0.0 | 17M| 31 | - | 50 | 334 | 0 | 0 | 0 |1983 | 0 | 0.000000e+00 | -- | Inf
12.99/13.08 c 11.9s| 90000 | 52560 | 0 | 0.0 | 19M| 32 | - | 50 | 335 | 0 | 0 | 0 |2320 | 0 | 0.000000e+00 | -- | Inf
14.68/14.74 c 13.4s|100000 | 56850 | 0 | 0.0 | 21M| 32 | - | 50 | 402 | 0 | 0 | 0 |2702 | 0 | 0.000000e+00 | -- | Inf
16.40/16.46 c 15.0s|110000 | 60634 | 0 | 0.0 | 23M| 32 | - | 50 | 482 | 0 | 0 | 0 |3154 | 0 | 0.000000e+00 | -- | Inf
18.19/18.29 c 16.7s|120000 | 63866 | 0 | 0.0 | 25M| 32 | - | 50 | 528 | 0 | 0 | 0 |3643 | 0 | 0.000000e+00 | -- | Inf
20.08/20.14 c 18.4s|130000 | 66578 | 0 | 0.0 | 26M| 32 | - | 50 | 543 | 0 | 0 | 0 |4108 | 0 | 0.000000e+00 | -- | Inf
21.99/22.09 c 20.3s|140000 | 68237 | 0 | 0.0 | 27M| 32 | - | 50 | 674 | 0 | 0 | 0 |4636 | 0 | 0.000000e+00 | -- | Inf
23.28/23.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.28/23.37 c 21.4s|150000 | 75343 | 0 | 0.0 | 30M| 32 | - | 50 | 404 | 0 | 0 | 0 |4824 | 0 | 0.000000e+00 | -- | Inf
24.58/24.64 c 22.6s|160000 | 82166 | 0 | 0.0 | 32M| 32 | - | 50 | 210 | 0 | 0 | 0 |5003 | 0 | 0.000000e+00 | -- | Inf
25.88/25.91 c 23.7s|170000 | 88827 | 0 | 0.0 | 34M| 32 | - | 50 | 171 | 0 | 0 | 0 |5199 | 0 | 0.000000e+00 | -- | Inf
27.08/27.18 c 24.9s|180000 | 95389 | 0 | 0.0 | 36M| 32 | - | 50 | 135 | 0 | 0 | 0 |5390 | 0 | 0.000000e+00 | -- | Inf
28.39/28.47 c 26.0s|190000 |101818 | 0 | 0.0 | 38M| 32 | - | 50 | 110 | 0 | 0 | 0 |5605 | 0 | 0.000000e+00 | -- | Inf
29.69/29.74 c 27.2s|200000 |108204 | 0 | 0.0 | 40M| 32 | - | 50 | 115 | 0 | 0 | 0 |5761 | 0 | 0.000000e+00 | -- | Inf
30.98/31.05 c 28.4s|210000 |114381 | 0 | 0.0 | 42M| 32 | - | 50 | 99 | 0 | 0 | 0 |5958 | 0 | 0.000000e+00 | -- | Inf
32.28/32.34 c 29.5s|220000 |120592 | 0 | 0.0 | 44M| 32 | - | 50 | 85 | 0 | 0 | 0 |6166 | 0 | 0.000000e+00 | -- | Inf
33.58/33.67 c 30.7s|230000 |126624 | 0 | 0.0 | 46M| 32 | - | 50 | 107 | 0 | 0 | 0 |6376 | 0 | 0.000000e+00 | -- | Inf
34.88/34.99 c 31.9s|240000 |132580 | 0 | 0.0 | 48M| 32 | - | 50 | 54 | 0 | 0 | 0 |6580 | 0 | 0.000000e+00 | -- | Inf
36.29/36.31 c 33.1s|250000 |138582 | 0 | 0.0 | 50M| 32 | - | 50 | 78 | 0 | 0 | 0 |6792 | 0 | 0.000000e+00 | -- | Inf
37.58/37.65 c 34.4s|260000 |144390 | 0 | 0.0 | 52M| 32 | - | 50 | 72 | 0 | 0 | 0 |7054 | 0 | 0.000000e+00 | -- | Inf
38.88/38.99 c 35.6s|270000 |150123 | 0 | 0.0 | 54M| 32 | - | 50 | 99 | 0 | 0 | 0 |7307 | 0 | 0.000000e+00 | -- | Inf
40.28/40.34 c 36.8s|280000 |155866 | 0 | 0.0 | 56M| 32 | - | 50 | 59 | 0 | 0 | 0 |7541 | 0 | 0.000000e+00 | -- | Inf
41.69/41.70 c 38.0s|290000 |161508 | 0 | 0.0 | 58M| 33 | - | 50 | 74 | 0 | 0 | 0 |7805 | 0 | 0.000000e+00 | -- | Inf
42.97/43.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.97/43.09 c 39.3s|300000 |167021 | 0 | 0.0 | 61M| 33 | - | 50 | 81 | 0 | 0 | 0 |8079 | 0 | 0.000000e+00 | -- | Inf
44.37/44.48 c 40.5s|310000 |172511 | 0 | 0.0 | 63M| 33 | - | 50 | 80 | 0 | 0 | 0 |8406 | 0 | 0.000000e+00 | -- | Inf
45.77/45.86 c 41.8s|320000 |177929 | 0 | 0.0 | 65M| 33 | - | 50 | 77 | 0 | 0 | 0 |8676 | 0 | 0.000000e+00 | -- | Inf
47.18/47.24 c 43.0s|330000 |183365 | 0 | 0.0 | 67M| 33 | - | 50 | 100 | 0 | 0 | 0 |8927 | 0 | 0.000000e+00 | -- | Inf
48.58/48.67 c 44.4s|340000 |188418 | 0 | 0.0 | 68M| 33 | - | 50 | 92 | 0 | 0 | 0 |9240 | 0 | 0.000000e+00 | -- | Inf
50.08/50.10 c 45.6s|350000 |193586 | 0 | 0.0 | 70M| 33 | - | 50 | 91 | 0 | 0 | 0 |9569 | 0 | 0.000000e+00 | -- | Inf
51.48/51.53 c 46.9s|360000 |198755 | 0 | 0.0 | 72M| 33 | - | 50 | 83 | 0 | 0 | 0 |9858 | 0 | 0.000000e+00 | -- | Inf
52.88/52.95 c 48.2s|370000 |203787 | 0 | 0.0 | 74M| 33 | - | 50 | 99 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
54.28/54.38 c 49.5s|380000 |208846 | 0 | 0.0 | 76M| 33 | - | 50 | 95 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
55.78/55.84 c 50.9s|390000 |213508 | 0 | 0.0 | 78M| 33 | - | 50 | 124 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
57.27/57.33 c 52.2s|400000 |218239 | 0 | 0.0 | 80M| 33 | - | 50 | 119 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
58.77/58.82 c 53.6s|410000 |222978 | 0 | 0.0 | 82M| 33 | - | 50 | 97 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
60.27/60.30 c 54.9s|420000 |227690 | 0 | 0.0 | 84M| 33 | - | 50 | 94 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
61.68/61.78 c 56.3s|430000 |232434 | 0 | 0.0 | 86M| 33 | - | 50 | 120 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
63.17/63.29 c 57.7s|440000 |236841 | 0 | 0.0 | 88M| 33 | - | 50 | 125 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
64.77/64.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.77/64.86 c 59.1s|450000 |241019 | 0 | 0.0 | 90M| 33 | - | 50 | 192 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
66.37/66.43 c 60.5s|460000 |245295 | 0 | 0.0 | 92M| 33 | - | 50 | 152 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
67.87/67.99 c 62.0s|470000 |249562 | 0 | 0.0 | 93M| 33 | - | 50 | 138 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
69.47/69.53 c 63.4s|480000 |253763 | 0 | 0.0 | 95M| 33 | - | 50 | 114 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
70.96/71.08 c 64.8s|490000 |257958 | 0 | 0.0 | 97M| 33 | - | 50 | 138 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
72.58/72.65 c 66.2s|500000 |262049 | 0 | 0.0 | 99M| 33 | - | 50 | 163 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
74.17/74.29 c 67.7s|510000 |265627 | 0 | 0.0 | 101M| 33 | - | 50 | 192 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
75.87/75.94 c 69.3s|520000 |269220 | 0 | 0.0 | 103M| 33 | - | 50 | 182 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
77.47/77.58 c 70.8s|530000 |272844 | 0 | 0.0 | 104M| 33 | - | 50 | 200 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
79.17/79.21 c 72.3s|540000 |276448 | 0 | 0.0 | 106M| 33 | - | 50 | 177 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
80.76/80.84 c 73.8s|550000 |280076 | 0 | 0.0 | 108M| 33 | - | 50 | 211 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
82.37/82.48 c 75.3s|560000 |283722 | 0 | 0.0 | 110M| 33 | - | 50 | 206 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
84.07/84.15 c 76.8s|570000 |287136 | 0 | 0.0 | 111M| 33 | - | 50 | 218 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
85.77/85.88 c 78.4s|580000 |289973 | 0 | 0.0 | 113M| 33 | - | 50 | 243 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
87.56/87.63 c 80.0s|590000 |292812 | 0 | 0.0 | 115M| 33 | - | 50 | 283 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
89.26/89.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
89.26/89.38 c 81.6s|600000 |295672 | 0 | 0.0 | 116M| 33 | - | 50 | 283 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
91.06/91.13 c 83.2s|610000 |298593 | 0 | 0.0 | 118M| 33 | - | 50 | 265 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
92.76/92.88 c 84.8s|620000 |301492 | 0 | 0.0 | 120M| 33 | - | 50 | 261 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
94.57/94.63 c 86.5s|630000 |304383 | 0 | 0.0 | 121M| 33 | - | 50 | 301 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
96.36/96.41 c 88.1s|640000 |307080 | 0 | 0.0 | 123M| 33 | - | 50 | 318 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
98.16/98.24 c 89.8s|650000 |309190 | 0 | 0.0 | 124M| 33 | - | 50 | 402 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
100.07/100.12 c 91.5s|660000 |311179 | 0 | 0.0 | 126M| 33 | - | 50 | 401 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
101.96/102.00 c 93.2s|670000 |313276 | 0 | 0.0 | 127M| 33 | - | 50 | 423 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
103.76/103.86 c 94.9s|680000 |315412 | 0 | 0.0 | 128M| 33 | - | 50 | 421 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
105.66/105.71 c 96.7s|690000 |317547 | 0 | 0.0 | 130M| 33 | - | 50 | 416 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
107.56/107.64 c 98.5s|700000 |318948 | 0 | 0.0 | 131M| 33 | - | 50 | 545 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
109.55/109.64 c 100s|710000 |320090 | 0 | 0.0 | 132M| 33 | - | 50 | 617 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
111.66/111.72 c 102s|720000 |320677 | 0 | 0.0 | 133M| 33 | - | 50 | 731 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
112.95/113.07 c 103s|730000 |327346 | 0 | 0.0 | 135M| 34 | - | 50 | 317 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
114.26/114.30 c 105s|740000 |334350 | 0 | 0.0 | 137M| 34 | - | 50 | 257 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
115.46/115.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
115.46/115.56 c 106s|750000 |341172 | 0 | 0.0 | 139M| 34 | - | 50 | 231 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
116.76/116.81 c 107s|760000 |348003 | 0 | 0.0 | 141M| 34 | - | 50 | 143 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
117.95/118.07 c 108s|770000 |354693 | 0 | 0.0 | 143M| 34 | - | 50 | 141 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
119.26/119.33 c 109s|780000 |361383 | 0 | 0.0 | 145M| 34 | - | 50 | 93 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
120.45/120.59 c 110s|790000 |367934 | 0 | 0.0 | 147M| 34 | - | 50 | 155 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
121.76/121.87 c 111s|800000 |374438 | 0 | 0.0 | 149M| 34 | - | 50 | 116 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
123.06/123.13 c 113s|810000 |380908 | 0 | 0.0 | 151M| 34 | - | 50 | 119 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
124.35/124.40 c 114s|820000 |387414 | 0 | 0.0 | 153M| 34 | - | 50 | 108 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
125.55/125.69 c 115s|830000 |393687 | 0 | 0.0 | 155M| 34 | - | 50 | 102 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
126.95/127.00 c 116s|840000 |399994 | 0 | 0.0 | 158M| 34 | - | 50 | 122 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
128.25/128.30 c 117s|850000 |406318 | 0 | 0.0 | 160M| 34 | - | 50 | 103 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
129.45/129.59 c 118s|860000 |412606 | 0 | 0.0 | 162M| 34 | - | 50 | 85 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
130.75/130.85 c 120s|870000 |418996 | 0 | 0.0 | 164M| 34 | - | 50 | 35 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
132.05/132.17 c 121s|880000 |425133 | 0 | 0.0 | 166M| 34 | - | 50 | 134 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
133.35/133.49 c 122s|890000 |431209 | 0 | 0.0 | 168M| 34 | - | 50 | 126 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
134.75/134.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
134.75/134.81 c 123s|900000 |437268 | 0 | 0.0 | 170M| 34 | - | 50 | 117 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
136.05/136.15 c 124s|910000 |443327 | 0 | 0.0 | 172M| 34 | - | 50 | 136 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
137.36/137.47 c 126s|920000 |449392 | 0 | 0.0 | 174M| 34 | - | 50 | 72 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
138.64/138.79 c 127s|930000 |455439 | 0 | 0.0 | 176M| 34 | - | 50 | 102 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
140.05/140.12 c 128s|940000 |461540 | 0 | 0.0 | 178M| 34 | - | 50 | 98 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
141.35/141.44 c 129s|950000 |467583 | 0 | 0.0 | 180M| 34 | - | 50 | 108 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
142.64/142.77 c 130s|960000 |473492 | 0 | 0.0 | 182M| 34 | - | 50 | 77 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
144.06/144.12 c 132s|970000 |479330 | 0 | 0.0 | 184M| 34 | - | 50 | 146 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
145.35/145.48 c 133s|980000 |485130 | 0 | 0.0 | 186M| 34 | - | 50 | 129 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
146.75/146.84 c 134s|990000 |491008 | 0 | 0.0 | 188M| 34 | - | 50 | 116 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
148.04/148.18 c 135s| 1000k|496806 | 0 | 0.0 | 190M| 34 | - | 50 | 107 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
149.45/149.53 c 136s| 1010k|502679 | 0 | 0.0 | 192M| 34 | - | 50 | 146 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
150.75/150.89 c 138s| 1020k|508503 | 0 | 0.0 | 194M| 34 | - | 50 | 91 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
152.14/152.22 c 139s| 1030k|514375 | 0 | 0.0 | 196M| 34 | - | 50 | 93 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
153.44/153.56 c 140s| 1040k|520247 | 0 | 0.0 | 198M| 34 | - | 50 | 83 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
154.84/154.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
154.84/154.90 c 141s| 1050k|526057 | 0 | 0.0 | 200M| 34 | - | 50 | 82 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
156.15/156.26 c 143s| 1060k|531669 | 0 | 0.0 | 202M| 34 | - | 50 | 56 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
157.54/157.63 c 144s| 1070k|537328 | 0 | 0.0 | 204M| 34 | - | 50 | 82 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
158.94/159.00 c 145s| 1080k|542983 | 0 | 0.0 | 206M| 34 | - | 50 | 88 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
160.24/160.39 c 146s| 1090k|548567 | 0 | 0.0 | 208M| 34 | - | 50 | 74 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
161.65/161.76 c 147s| 1100k|554151 | 0 | 0.0 | 209M| 34 | - | 50 | 83 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
163.04/163.13 c 149s| 1110k|559697 | 0 | 0.0 | 211M| 34 | - | 50 | 89 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
164.34/164.49 c 150s| 1120k|565263 | 0 | 0.0 | 213M| 34 | - | 50 | 102 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
165.74/165.89 c 151s| 1130k|570778 | 0 | 0.0 | 215M| 34 | - | 50 | 124 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
167.14/167.27 c 153s| 1140k|576394 | 0 | 0.0 | 217M| 34 | - | 50 | 144 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
168.54/168.64 c 154s| 1150k|581962 | 0 | 0.0 | 219M| 34 | - | 50 | 81 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
169.84/169.99 c 155s| 1160k|587552 | 0 | 0.0 | 221M| 34 | - | 50 | 82 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
171.24/171.38 c 156s| 1170k|593187 | 0 | 0.0 | 223M| 34 | - | 50 | 111 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
172.64/172.78 c 158s| 1180k|598613 | 0 | 0.0 | 225M| 34 | - | 50 | 93 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
174.04/174.18 c 159s| 1190k|603975 | 0 | 0.0 | 227M| 34 | - | 50 | 90 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
175.44/175.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
175.44/175.57 c 160s| 1200k|609358 | 0 | 0.0 | 229M| 34 | - | 50 | 87 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
176.84/176.98 c 161s| 1210k|614706 | 0 | 0.0 | 231M| 34 | - | 50 | 78 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
178.33/178.41 c 163s| 1220k|619948 | 0 | 0.0 | 233M| 34 | - | 50 | 93 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
179.73/179.84 c 164s| 1230k|625222 | 0 | 0.0 | 235M| 34 | - | 50 | 98 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
181.13/181.26 c 165s| 1240k|630514 | 0 | 0.0 | 237M| 34 | - | 50 | 95 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
182.54/182.65 c 166s| 1250k|635911 | 0 | 0.0 | 239M| 34 | - | 50 | 60 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
183.93/184.05 c 168s| 1260k|641362 | 0 | 0.0 | 241M| 34 | - | 50 | 72 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
185.33/185.47 c 169s| 1270k|646667 | 0 | 0.0 | 242M| 34 | - | 50 | 94 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
186.73/186.89 c 170s| 1280k|651918 | 0 | 0.0 | 244M| 34 | - | 50 | 77 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
188.23/188.30 c 172s| 1290k|657183 | 0 | 0.0 | 246M| 34 | - | 50 | 122 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
189.63/189.71 c 173s| 1300k|662472 | 0 | 0.0 | 248M| 34 | - | 50 | 122 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
191.03/191.12 c 174s| 1310k|667696 | 0 | 0.0 | 250M| 34 | - | 50 | 124 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
192.44/192.52 c 175s| 1320k|673013 | 0 | 0.0 | 252M| 34 | - | 50 | 112 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
193.83/193.96 c 177s| 1330k|678283 | 0 | 0.0 | 254M| 34 | - | 50 | 117 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
195.23/195.39 c 178s| 1340k|683493 | 0 | 0.0 | 256M| 34 | - | 50 | 139 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
196.74/196.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
196.74/196.85 c 179s| 1350k|688436 | 0 | 0.0 | 258M| 34 | - | 50 | 113 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
198.23/198.31 c 181s| 1360k|693460 | 0 | 0.0 | 260M| 34 | - | 50 | 105 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
199.63/199.75 c 182s| 1370k|698415 | 0 | 0.0 | 261M| 34 | - | 50 | 100 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
201.14/201.24 c 183s| 1380k|703313 | 0 | 0.0 | 263M| 34 | - | 50 | 125 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
202.52/202.69 c 185s| 1390k|708304 | 0 | 0.0 | 265M| 34 | - | 50 | 109 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
204.02/204.14 c 186s| 1400k|713319 | 0 | 0.0 | 267M| 34 | - | 50 | 85 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
205.43/205.57 c 187s| 1410k|718406 | 0 | 0.0 | 269M| 34 | - | 50 | 95 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
206.92/207.01 c 189s| 1420k|723426 | 0 | 0.0 | 271M| 34 | - | 50 | 112 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
208.32/208.46 c 190s| 1430k|728344 | 0 | 0.0 | 273M| 34 | - | 50 | 120 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
209.82/209.93 c 191s| 1440k|733336 | 0 | 0.0 | 275M| 34 | - | 50 | 88 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
211.33/211.40 c 193s| 1450k|738332 | 0 | 0.0 | 277M| 34 | - | 50 | 103 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
212.72/212.84 c 194s| 1460k|743371 | 0 | 0.0 | 279M| 34 | - | 50 | 78 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
214.22/214.30 c 195s| 1470k|748461 | 0 | 0.0 | 280M| 34 | - | 50 | 90 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
215.63/215.76 c 197s| 1480k|753461 | 0 | 0.0 | 282M| 34 | - | 50 | 93 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
217.13/217.20 c 198s| 1490k|758496 | 0 | 0.0 | 284M| 34 | - | 50 | 93 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
218.52/218.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
218.52/218.66 c 199s| 1500k|763472 | 0 | 0.0 | 286M| 34 | - | 50 | 93 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
220.03/220.11 c 201s| 1510k|768336 | 0 | 0.0 | 288M| 34 | - | 50 | 177 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
221.53/221.60 c 202s| 1520k|773276 | 0 | 0.0 | 290M| 34 | - | 50 | 125 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
222.92/223.09 c 203s| 1530k|778166 | 0 | 0.0 | 292M| 34 | - | 50 | 152 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
224.42/224.58 c 205s| 1540k|782834 | 0 | 0.0 | 294M| 34 | - | 50 | 134 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
225.91/226.09 c 206s| 1550k|787369 | 0 | 0.0 | 295M| 34 | - | 50 | 148 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
227.53/227.61 c 207s| 1560k|791928 | 0 | 0.0 | 297M| 34 | - | 50 | 160 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
229.02/229.14 c 209s| 1570k|796355 | 0 | 0.0 | 299M| 34 | - | 50 | 133 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
230.52/230.67 c 210s| 1580k|800863 | 0 | 0.0 | 301M| 34 | - | 50 | 135 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
232.11/232.21 c 212s| 1590k|805422 | 0 | 0.0 | 303M| 34 | - | 50 | 149 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
233.62/233.72 c 213s| 1600k|810061 | 0 | 0.0 | 305M| 34 | - | 50 | 149 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
235.11/235.25 c 214s| 1610k|814626 | 0 | 0.0 | 306M| 34 | - | 50 | 122 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
236.62/236.77 c 216s| 1620k|819102 | 0 | 0.0 | 308M| 34 | - | 50 | 151 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
238.12/238.29 c 217s| 1630k|823633 | 0 | 0.0 | 310M| 34 | - | 50 | 134 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
239.62/239.79 c 219s| 1640k|828221 | 0 | 0.0 | 312M| 34 | - | 50 | 137 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
241.22/241.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
241.22/241.31 c 220s| 1650k|832811 | 0 | 0.0 | 314M| 34 | - | 50 | 108 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
242.71/242.85 c 221s| 1660k|837414 | 0 | 0.0 | 316M| 34 | - | 50 | 109 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
244.21/244.36 c 223s| 1670k|842046 | 0 | 0.0 | 317M| 34 | - | 50 | 95 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
245.71/245.88 c 224s| 1680k|846584 | 0 | 0.0 | 319M| 34 | - | 50 | 109 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
247.32/247.42 c 226s| 1690k|851175 | 0 | 0.0 | 321M| 34 | - | 50 | 114 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
248.81/248.95 c 227s| 1700k|855759 | 0 | 0.0 | 323M| 34 | - | 50 | 140 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
250.31/250.47 c 228s| 1710k|860472 | 0 | 0.0 | 325M| 34 | - | 50 | 99 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
251.92/252.00 c 230s| 1720k|865139 | 0 | 0.0 | 327M| 34 | - | 50 | 108 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
253.41/253.53 c 231s| 1730k|869835 | 0 | 0.0 | 329M| 34 | - | 50 | 101 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
254.91/255.04 c 233s| 1740k|874469 | 0 | 0.0 | 330M| 34 | - | 50 | 98 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
256.42/256.57 c 234s| 1750k|879049 | 0 | 0.0 | 332M| 34 | - | 50 | 106 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
258.01/258.10 c 235s| 1760k|883546 | 0 | 0.0 | 334M| 34 | - | 50 | 128 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
259.52/259.65 c 237s| 1770k|887994 | 0 | 0.0 | 336M| 34 | - | 50 | 166 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
261.11/261.21 c 238s| 1780k|892125 | 0 | 0.0 | 338M| 34 | - | 50 | 164 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
262.61/262.78 c 240s| 1790k|896224 | 0 | 0.0 | 339M| 34 | - | 50 | 179 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
264.21/264.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
264.21/264.38 c 241s| 1800k|900214 | 0 | 0.0 | 341M| 34 | - | 50 | 195 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
265.80/265.97 c 242s| 1810k|904182 | 0 | 0.0 | 343M| 34 | - | 50 | 191 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
267.40/267.56 c 244s| 1820k|908188 | 0 | 0.0 | 345M| 34 | - | 50 | 194 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
269.00/269.15 c 245s| 1830k|912283 | 0 | 0.0 | 346M| 34 | - | 50 | 158 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
270.61/270.71 c 247s| 1840k|916410 | 0 | 0.0 | 348M| 34 | - | 50 | 183 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
272.11/272.28 c 248s| 1850k|920414 | 0 | 0.0 | 350M| 34 | - | 50 | 175 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
273.71/273.89 c 250s| 1860k|924454 | 0 | 0.0 | 352M| 34 | - | 50 | 205 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
275.41/275.54 c 251s| 1870k|928466 | 0 | 0.0 | 354M| 34 | - | 50 | 215 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
277.01/277.10 c 253s| 1880k|932555 | 0 | 0.0 | 355M| 34 | - | 50 | 165 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
278.50/278.69 c 254s| 1890k|936709 | 0 | 0.0 | 357M| 34 | - | 50 | 185 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
280.11/280.29 c 256s| 1900k|940769 | 0 | 0.0 | 359M| 34 | - | 50 | 161 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
281.70/281.85 c 257s| 1910k|944810 | 0 | 0.0 | 361M| 34 | - | 50 | 167 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
283.30/283.44 c 259s| 1920k|948881 | 0 | 0.0 | 362M| 34 | - | 50 | 166 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
284.90/285.05 c 260s| 1930k|952951 | 0 | 0.0 | 364M| 34 | - | 50 | 181 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
286.51/286.65 c 262s| 1940k|957084 | 0 | 0.0 | 366M| 34 | - | 50 | 172 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
288.11/288.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
288.11/288.25 c 263s| 1950k|961229 | 0 | 0.0 | 368M| 34 | - | 50 | 143 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
289.71/289.80 c 264s| 1960k|965351 | 0 | 0.0 | 370M| 34 | - | 50 | 142 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
291.20/291.37 c 266s| 1970k|969499 | 0 | 0.0 | 371M| 34 | - | 50 | 158 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
292.80/292.95 c 267s| 1980k|973489 | 0 | 0.0 | 373M| 34 | - | 50 | 163 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
294.40/294.54 c 269s| 1990k|977660 | 0 | 0.0 | 375M| 34 | - | 50 | 161 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
296.00/296.12 c 270s| 2000k|981718 | 0 | 0.0 | 377M| 34 | - | 50 | 141 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
297.60/297.70 c 272s| 2010k|985854 | 0 | 0.0 | 379M| 34 | - | 50 | 128 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
299.10/299.25 c 273s| 2020k|990018 | 0 | 0.0 | 380M| 34 | - | 50 | 143 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
300.70/300.85 c 275s| 2030k|994171 | 0 | 0.0 | 382M| 34 | - | 50 | 169 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
302.31/302.45 c 276s| 2040k|998295 | 0 | 0.0 | 384M| 34 | - | 50 | 160 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
303.90/304.02 c 277s| 2050k| 1002k| 0 | 0.0 | 386M| 34 | - | 50 | 164 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
305.50/305.68 c 279s| 2060k| 1006k| 0 | 0.0 | 388M| 34 | - | 50 | 181 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
307.20/307.36 c 281s| 2070k| 1009k| 0 | 0.0 | 389M| 34 | - | 50 | 191 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
308.90/309.06 c 282s| 2080k| 1013k| 0 | 0.0 | 391M| 34 | - | 50 | 221 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
310.59/310.74 c 284s| 2090k| 1016k| 0 | 0.0 | 393M| 34 | - | 50 | 230 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
312.30/312.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
312.30/312.43 c 285s| 2100k| 1020k| 0 | 0.0 | 394M| 34 | - | 50 | 223 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
313.99/314.13 c 287s| 2110k| 1023k| 0 | 0.0 | 396M| 34 | - | 50 | 205 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
315.69/315.81 c 288s| 2120k| 1027k| 0 | 0.0 | 398M| 34 | - | 50 | 215 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
317.39/317.52 c 290s| 2130k| 1030k| 0 | 0.0 | 400M| 34 | - | 50 | 235 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
318.99/319.19 c 292s| 2140k| 1034k| 0 | 0.0 | 401M| 34 | - | 50 | 230 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
320.69/320.87 c 293s| 2150k| 1037k| 0 | 0.0 | 403M| 34 | - | 50 | 232 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
322.39/322.58 c 295s| 2160k| 1041k| 0 | 0.0 | 405M| 34 | - | 50 | 222 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
324.09/324.28 c 296s| 2170k| 1044k| 0 | 0.0 | 406M| 34 | - | 50 | 224 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
325.79/325.97 c 298s| 2180k| 1048k| 0 | 0.0 | 408M| 34 | - | 50 | 223 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
327.49/327.68 c 299s| 2190k| 1051k| 0 | 0.0 | 410M| 34 | - | 50 | 230 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
329.19/329.37 c 301s| 2200k| 1054k| 0 | 0.0 | 411M| 34 | - | 50 | 206 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
330.90/331.05 c 302s| 2210k| 1058k| 0 | 0.0 | 413M| 34 | - | 50 | 221 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
332.59/332.75 c 304s| 2220k| 1061k| 0 | 0.0 | 415M| 34 | - | 50 | 221 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
334.29/334.45 c 306s| 2230k| 1065k| 0 | 0.0 | 416M| 34 | - | 50 | 200 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
335.99/336.13 c 307s| 2240k| 1068k| 0 | 0.0 | 418M| 34 | - | 50 | 234 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
337.68/337.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
337.68/337.82 c 309s| 2250k| 1072k| 0 | 0.0 | 420M| 34 | - | 50 | 244 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
339.38/339.51 c 310s| 2260k| 1075k| 0 | 0.0 | 421M| 34 | - | 50 | 269 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
341.08/341.23 c 312s| 2270k| 1079k| 0 | 0.0 | 423M| 34 | - | 50 | 229 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
342.79/342.96 c 313s| 2280k| 1082k| 0 | 0.0 | 425M| 34 | - | 50 | 198 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
344.49/344.66 c 315s| 2290k| 1086k| 0 | 0.0 | 427M| 34 | - | 50 | 225 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
346.18/346.39 c 317s| 2300k| 1089k| 0 | 0.0 | 428M| 34 | - | 50 | 224 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
347.88/348.08 c 318s| 2310k| 1093k| 0 | 0.0 | 430M| 34 | - | 50 | 221 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
349.59/349.79 c 320s| 2320k| 1096k| 0 | 0.0 | 432M| 34 | - | 50 | 223 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
351.38/351.50 c 321s| 2330k| 1100k| 0 | 0.0 | 433M| 34 | - | 50 | 216 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
352.99/353.17 c 323s| 2340k| 1103k| 0 | 0.0 | 435M| 34 | - | 50 | 198 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
354.68/354.88 c 324s| 2350k| 1107k| 0 | 0.0 | 437M| 34 | - | 50 | 194 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
356.48/356.61 c 326s| 2360k| 1110k| 0 | 0.0 | 439M| 34 | - | 50 | 191 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
358.08/358.28 c 328s| 2370k| 1114k| 0 | 0.0 | 440M| 34 | - | 50 | 212 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
359.88/360.03 c 329s| 2380k| 1117k| 0 | 0.0 | 442M| 34 | - | 50 | 268 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
361.69/361.87 c 331s| 2390k| 1120k| 0 | 0.0 | 443M| 34 | - | 50 | 285 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
363.48/363.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
363.48/363.69 c 333s| 2400k| 1123k| 0 | 0.0 | 445M| 34 | - | 50 | 320 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
365.28/365.50 c 334s| 2410k| 1126k| 0 | 0.0 | 447M| 34 | - | 50 | 300 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
367.19/367.34 c 336s| 2420k| 1128k| 0 | 0.0 | 448M| 34 | - | 50 | 300 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
368.97/369.18 c 338s| 2430k| 1131k| 0 | 0.0 | 450M| 34 | - | 50 | 298 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
370.77/370.99 c 339s| 2440k| 1134k| 0 | 0.0 | 451M| 34 | - | 50 | 330 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
372.69/372.81 c 341s| 2450k| 1137k| 0 | 0.0 | 453M| 34 | - | 50 | 325 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
374.38/374.59 c 343s| 2460k| 1140k| 0 | 0.0 | 455M| 34 | - | 50 | 317 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
376.18/376.39 c 344s| 2470k| 1142k| 0 | 0.0 | 456M| 34 | - | 50 | 287 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
378.07/378.20 c 346s| 2480k| 1145k| 0 | 0.0 | 458M| 34 | - | 50 | 285 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
379.87/380.04 c 348s| 2490k| 1148k| 0 | 0.0 | 459M| 34 | - | 50 | 320 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
381.67/381.85 c 349s| 2500k| 1151k| 0 | 0.0 | 461M| 34 | - | 50 | 314 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
383.48/383.63 c 351s| 2510k| 1154k| 0 | 0.0 | 462M| 34 | - | 50 | 321 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
385.27/385.44 c 353s| 2520k| 1157k| 0 | 0.0 | 464M| 34 | - | 50 | 347 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
387.08/387.28 c 354s| 2530k| 1159k| 0 | 0.0 | 466M| 34 | - | 50 | 369 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
388.97/389.13 c 356s| 2540k| 1162k| 0 | 0.0 | 467M| 34 | - | 50 | 352 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
390.77/390.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
390.77/390.99 c 358s| 2550k| 1165k| 0 | 0.0 | 469M| 34 | - | 50 | 288 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
392.67/392.82 c 360s| 2560k| 1167k| 0 | 0.0 | 470M| 34 | - | 50 | 293 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
394.46/394.63 c 361s| 2570k| 1170k| 0 | 0.0 | 472M| 34 | - | 50 | 307 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
396.27/396.46 c 363s| 2580k| 1173k| 0 | 0.0 | 473M| 34 | - | 50 | 305 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
398.16/398.30 c 365s| 2590k| 1176k| 0 | 0.0 | 475M| 34 | - | 50 | 331 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
399.97/400.17 c 366s| 2600k| 1179k| 0 | 0.0 | 476M| 34 | - | 50 | 310 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
401.87/402.00 c 368s| 2610k| 1181k| 0 | 0.0 | 478M| 34 | - | 50 | 291 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
403.67/403.86 c 370s| 2620k| 1184k| 0 | 0.0 | 480M| 34 | - | 50 | 315 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
405.46/405.68 c 372s| 2630k| 1187k| 0 | 0.0 | 481M| 34 | - | 50 | 296 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
407.37/407.50 c 373s| 2640k| 1190k| 0 | 0.0 | 483M| 34 | - | 50 | 290 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
409.16/409.31 c 375s| 2650k| 1193k| 0 | 0.0 | 484M| 34 | - | 50 | 290 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
410.96/411.10 c 377s| 2660k| 1196k| 0 | 0.0 | 486M| 34 | - | 50 | 272 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
412.77/412.90 c 378s| 2670k| 1199k| 0 | 0.0 | 488M| 34 | - | 50 | 293 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
414.57/414.76 c 380s| 2680k| 1202k| 0 | 0.0 | 489M| 34 | - | 50 | 308 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
416.46/416.61 c 382s| 2690k| 1204k| 0 | 0.0 | 491M| 34 | - | 50 | 344 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
418.27/418.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
418.27/418.45 c 383s| 2700k| 1207k| 0 | 0.0 | 492M| 34 | - | 50 | 344 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
420.06/420.27 c 385s| 2710k| 1210k| 0 | 0.0 | 494M| 34 | - | 50 | 317 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
421.86/422.09 c 387s| 2720k| 1213k| 0 | 0.0 | 496M| 34 | - | 50 | 320 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
423.76/423.97 c 389s| 2730k| 1216k| 0 | 0.0 | 497M| 34 | - | 50 | 337 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
425.66/425.88 c 390s| 2740k| 1218k| 0 | 0.0 | 498M| 34 | - | 50 | 402 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
427.67/427.81 c 392s| 2750k| 1220k| 0 | 0.0 | 500M| 34 | - | 50 | 428 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
429.56/429.74 c 394s| 2760k| 1222k| 0 | 0.0 | 501M| 34 | - | 50 | 489 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
431.56/431.72 c 396s| 2770k| 1224k| 0 | 0.0 | 503M| 34 | - | 50 | 520 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
433.46/433.67 c 398s| 2780k| 1226k| 0 | 0.0 | 504M| 34 | - | 50 | 536 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
435.47/435.61 c 399s| 2790k| 1229k| 0 | 0.0 | 506M| 34 | - | 50 | 494 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
437.35/437.52 c 401s| 2800k| 1231k| 0 | 0.0 | 507M| 34 | - | 50 | 473 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
439.26/439.40 c 403s| 2810k| 1233k| 0 | 0.0 | 508M| 34 | - | 50 | 473 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
441.16/441.35 c 405s| 2820k| 1235k| 0 | 0.0 | 510M| 34 | - | 50 | 486 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
443.16/443.31 c 407s| 2830k| 1237k| 0 | 0.0 | 511M| 34 | - | 50 | 492 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
445.05/445.28 c 408s| 2840k| 1240k| 0 | 0.0 | 513M| 34 | - | 50 | 582 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
447.15/447.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
447.15/447.30 c 410s| 2850k| 1242k| 0 | 0.0 | 514M| 34 | - | 50 | 551 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
449.05/449.29 c 412s| 2860k| 1244k| 0 | 0.0 | 516M| 34 | - | 50 | 541 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
451.05/451.25 c 414s| 2870k| 1246k| 0 | 0.0 | 517M| 34 | - | 50 | 494 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
452.96/453.18 c 416s| 2880k| 1249k| 0 | 0.0 | 518M| 34 | - | 50 | 507 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
454.95/455.13 c 418s| 2890k| 1251k| 0 | 0.0 | 520M| 34 | - | 50 | 498 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
456.85/457.09 c 419s| 2900k| 1253k| 0 | 0.0 | 521M| 34 | - | 50 | 445 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
458.85/459.04 c 421s| 2910k| 1255k| 0 | 0.0 | 522M| 34 | - | 50 | 424 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
460.76/460.95 c 423s| 2920k| 1257k| 0 | 0.0 | 524M| 34 | - | 50 | 424 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
462.75/462.90 c 425s| 2930k| 1259k| 0 | 0.0 | 525M| 34 | - | 50 | 428 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
464.65/464.88 c 427s| 2940k| 1261k| 0 | 0.0 | 527M| 34 | - | 50 | 457 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
466.64/466.83 c 428s| 2950k| 1263k| 0 | 0.0 | 528M| 34 | - | 50 | 473 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
468.55/468.79 c 430s| 2960k| 1265k| 0 | 0.0 | 529M| 34 | - | 50 | 475 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
470.55/470.74 c 432s| 2970k| 1267k| 0 | 0.0 | 531M| 34 | - | 50 | 456 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
472.45/472.66 c 434s| 2980k| 1269k| 0 | 0.0 | 532M| 34 | - | 50 | 453 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
474.44/474.64 c 436s| 2990k| 1272k| 0 | 0.0 | 534M| 34 | - | 50 | 459 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
476.44/476.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
476.44/476.60 c 438s| 3000k| 1274k| 0 | 0.0 | 535M| 34 | - | 50 | 475 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
478.44/478.60 c 439s| 3010k| 1276k| 0 | 0.0 | 536M| 34 | - | 50 | 496 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
480.45/480.60 c 441s| 3020k| 1278k| 0 | 0.0 | 538M| 34 | - | 50 | 554 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
482.34/482.59 c 443s| 3030k| 1280k| 0 | 0.0 | 539M| 34 | - | 50 | 545 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
484.44/484.65 c 445s| 3040k| 1282k| 0 | 0.0 | 540M| 34 | - | 50 | 628 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
486.54/486.75 c 447s| 3050k| 1283k| 0 | 0.0 | 542M| 34 | - | 50 | 692 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
488.64/488.83 c 449s| 3060k| 1284k| 0 | 0.0 | 543M| 34 | - | 50 | 716 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
490.74/490.93 c 451s| 3070k| 1286k| 0 | 0.0 | 544M| 34 | - | 50 | 767 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
492.84/493.06 c 453s| 3080k| 1287k| 0 | 0.0 | 545M| 34 | - | 50 | 834 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
495.03/495.20 c 455s| 3090k| 1288k| 0 | 0.0 | 546M| 34 | - | 50 | 845 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
497.13/497.35 c 457s| 3100k| 1290k| 0 | 0.0 | 547M| 34 | - | 50 | 860 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
499.33/499.52 c 459s| 3110k| 1291k| 0 | 0.0 | 548M| 34 | - | 50 | 865 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
501.53/501.73 c 461s| 3120k| 1292k| 0 | 0.0 | 549M| 34 | - | 50 | 930 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
503.73/503.96 c 463s| 3130k| 1293k| 0 | 0.0 | 550M| 34 | - | 50 | 881 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
506.03/506.28 c 466s| 3140k| 1295k| 0 | 0.0 | 551M| 34 | - | 50 | 901 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
508.33/508.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
508.33/508.51 c 468s| 3150k| 1296k| 0 | 0.0 | 552M| 34 | - | 50 | 868 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
510.53/510.75 c 470s| 3160k| 1297k| 0 | 0.0 | 553M| 34 | - | 50 | 907 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
512.83/513.05 c 472s| 3170k| 1298k| 0 | 0.0 | 555M| 34 | - | 50 | 889 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
515.03/515.26 c 474s| 3180k| 1299k| 0 | 0.0 | 556M| 34 | - | 50 | 884 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
517.33/517.52 c 476s| 3190k| 1300k| 0 | 0.0 | 557M| 34 | - | 50 | 886 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
519.53/519.77 c 478s| 3200k| 1301k| 0 | 0.0 | 558M| 35 | - | 50 | 950 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
521.93/522.16 c 480s| 3210k| 1302k| 0 | 0.0 | 558M| 36 | - | 50 |1043 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
524.33/524.59 c 483s| 3220k| 1302k| 0 | 0.0 | 559M| 36 | - | 50 |1138 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
527.33/527.54 c 486s| 3230k| 1302k| 0 | 0.0 | 559M| 37 | - | 50 |1047 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
528.63/528.85 c 487s| 3240k| 1309k| 0 | 0.0 | 561M| 37 | - | 50 | 418 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
529.94/530.11 c 488s| 3250k| 1316k| 0 | 0.0 | 563M| 37 | - | 50 | 322 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
531.13/531.39 c 489s| 3260k| 1323k| 0 | 0.0 | 565M| 37 | - | 50 | 343 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
532.43/532.69 c 490s| 3270k| 1330k| 0 | 0.0 | 567M| 37 | - | 50 | 300 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
533.73/533.99 c 491s| 3280k| 1337k| 0 | 0.0 | 570M| 37 | - | 50 | 315 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
535.02/535.28 c 493s| 3290k| 1344k| 0 | 0.0 | 572M| 37 | - | 50 | 271 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
536.32/536.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
536.32/536.54 c 494s| 3300k| 1351k| 0 | 0.0 | 574M| 37 | - | 50 | 179 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
537.63/537.82 c 495s| 3310k| 1357k| 0 | 0.0 | 576M| 37 | - | 50 | 306 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
538.93/539.19 c 496s| 3320k| 1364k| 0 | 0.0 | 578M| 37 | - | 50 | 445 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
540.32/540.57 c 497s| 3330k| 1371k| 0 | 0.0 | 580M| 37 | - | 50 | 491 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
541.72/541.95 c 499s| 3340k| 1377k| 0 | 0.0 | 582M| 37 | - | 50 | 304 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
543.13/543.33 c 500s| 3350k| 1384k| 0 | 0.0 | 584M| 37 | - | 50 | 321 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
544.42/544.69 c 501s| 3360k| 1390k| 0 | 0.0 | 587M| 37 | - | 50 | 236 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
545.82/546.04 c 502s| 3370k| 1397k| 0 | 0.0 | 589M| 37 | - | 50 | 354 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
547.22/547.46 c 504s| 3380k| 1403k| 0 | 0.0 | 591M| 37 | - | 50 | 463 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
548.63/548.89 c 505s| 3390k| 1410k| 0 | 0.0 | 593M| 37 | - | 50 | 561 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
550.12/550.35 c 506s| 3400k| 1416k| 0 | 0.0 | 595M| 37 | - | 50 | 473 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
551.52/551.78 c 508s| 3410k| 1423k| 0 | 0.0 | 597M| 37 | - | 50 | 501 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
553.02/553.24 c 509s| 3420k| 1429k| 0 | 0.0 | 599M| 37 | - | 50 | 416 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
554.43/554.69 c 510s| 3430k| 1435k| 0 | 0.0 | 601M| 37 | - | 50 | 450 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
555.92/556.14 c 512s| 3440k| 1442k| 0 | 0.0 | 603M| 37 | - | 50 | 395 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
557.32/557.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
557.32/557.54 c 513s| 3450k| 1448k| 0 | 0.0 | 605M| 37 | - | 50 | 351 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
558.72/558.99 c 514s| 3460k| 1455k| 0 | 0.0 | 608M| 37 | - | 50 | 349 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
560.21/560.47 c 516s| 3470k| 1461k| 0 | 0.0 | 610M| 37 | - | 50 | 611 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
561.72/561.97 c 517s| 3480k| 1467k| 0 | 0.0 | 612M| 37 | - | 50 | 545 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
563.21/563.47 c 518s| 3490k| 1473k| 0 | 0.0 | 614M| 37 | - | 50 | 476 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
564.72/564.93 c 520s| 3500k| 1479k| 0 | 0.0 | 616M| 37 | - | 50 | 483 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
566.22/566.40 c 521s| 3510k| 1486k| 0 | 0.0 | 618M| 37 | - | 50 | 450 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
567.61/567.87 c 522s| 3520k| 1492k| 0 | 0.0 | 620M| 37 | - | 50 | 450 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
569.12/569.35 c 524s| 3530k| 1498k| 0 | 0.0 | 622M| 37 | - | 50 | 386 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
570.63/570.80 c 525s| 3540k| 1504k| 0 | 0.0 | 624M| 37 | - | 50 | 319 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
572.02/572.25 c 526s| 3550k| 1510k| 0 | 0.0 | 626M| 37 | - | 50 | 389 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
573.42/573.69 c 528s| 3560k| 1517k| 0 | 0.0 | 628M| 37 | - | 50 | 377 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
574.91/575.13 c 529s| 3570k| 1523k| 0 | 0.0 | 630M| 37 | - | 50 | 339 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
576.32/576.54 c 530s| 3580k| 1529k| 0 | 0.0 | 632M| 37 | - | 50 | 261 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
577.71/577.91 c 531s| 3590k| 1535k| 0 | 0.0 | 634M| 37 | - | 50 | 169 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
579.11/579.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
579.11/579.31 c 533s| 3600k| 1542k| 0 | 0.0 | 636M| 37 | - | 50 | 212 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
580.52/580.75 c 534s| 3610k| 1548k| 0 | 0.0 | 639M| 37 | - | 50 | 422 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
582.02/582.21 c 535s| 3620k| 1554k| 0 | 0.0 | 641M| 37 | - | 50 | 514 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
583.41/583.67 c 537s| 3630k| 1560k| 0 | 0.0 | 643M| 37 | - | 50 | 417 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
584.91/585.18 c 538s| 3640k| 1566k| 0 | 0.0 | 645M| 37 | - | 50 | 416 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
586.41/586.62 c 539s| 3650k| 1572k| 0 | 0.0 | 647M| 37 | - | 50 | 420 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
587.91/588.11 c 541s| 3660k| 1578k| 0 | 0.0 | 649M| 37 | - | 50 | 402 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
589.32/589.58 c 542s| 3670k| 1583k| 0 | 0.0 | 651M| 37 | - | 50 | 382 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
590.81/591.08 c 543s| 3680k| 1589k| 0 | 0.0 | 653M| 37 | - | 50 | 370 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
592.31/592.54 c 545s| 3690k| 1595k| 0 | 0.0 | 655M| 37 | - | 50 | 476 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
593.81/594.01 c 546s| 3700k| 1601k| 0 | 0.0 | 657M| 37 | - | 50 | 379 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
595.31/595.53 c 547s| 3710k| 1607k| 0 | 0.0 | 659M| 37 | - | 50 | 272 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
596.71/596.97 c 549s| 3720k| 1613k| 0 | 0.0 | 661M| 37 | - | 50 | 246 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
598.12/598.38 c 550s| 3730k| 1620k| 0 | 0.0 | 663M| 37 | - | 50 | 233 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
599.61/599.82 c 551s| 3740k| 1625k| 0 | 0.0 | 665M| 37 | - | 50 | 354 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
601.00/601.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
601.00/601.28 c 553s| 3750k| 1632k| 0 | 0.0 | 667M| 37 | - | 50 | 295 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
602.51/602.71 c 554s| 3760k| 1638k| 0 | 0.0 | 669M| 37 | - | 50 | 273 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
603.91/604.19 c 555s| 3770k| 1644k| 0 | 0.0 | 671M| 37 | - | 50 | 260 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
605.40/605.65 c 557s| 3780k| 1650k| 0 | 0.0 | 673M| 37 | - | 50 | 260 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
606.91/607.11 c 558s| 3790k| 1656k| 0 | 0.0 | 675M| 37 | - | 50 | 206 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
608.31/608.53 c 559s| 3800k| 1662k| 0 | 0.0 | 677M| 37 | - | 50 | 141 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
609.71/609.93 c 561s| 3810k| 1668k| 0 | 0.0 | 679M| 37 | - | 50 | 319 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
611.21/611.47 c 562s| 3820k| 1674k| 0 | 0.0 | 681M| 37 | - | 50 | 410 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
612.81/613.08 c 564s| 3830k| 1679k| 0 | 0.0 | 683M| 37 | - | 50 | 379 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
614.31/614.55 c 565s| 3840k| 1685k| 0 | 0.0 | 685M| 37 | - | 50 | 373 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
615.81/616.08 c 566s| 3850k| 1691k| 0 | 0.0 | 687M| 37 | - | 50 | 379 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
617.41/617.63 c 568s| 3860k| 1697k| 0 | 0.0 | 689M| 37 | - | 50 | 312 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
618.91/619.15 c 569s| 3870k| 1703k| 0 | 0.0 | 691M| 37 | - | 50 | 367 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
620.40/620.67 c 570s| 3880k| 1708k| 0 | 0.0 | 693M| 37 | - | 50 | 329 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
621.90/622.18 c 572s| 3890k| 1714k| 0 | 0.0 | 695M| 37 | - | 50 | 356 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
623.41/623.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
623.41/623.68 c 573s| 3900k| 1720k| 0 | 0.0 | 697M| 37 | - | 50 | 346 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
624.90/625.18 c 575s| 3910k| 1726k| 0 | 0.0 | 699M| 37 | - | 50 | 299 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
626.40/626.68 c 576s| 3920k| 1732k| 0 | 0.0 | 701M| 37 | - | 50 | 229 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
627.90/628.17 c 577s| 3930k| 1738k| 0 | 0.0 | 704M| 37 | - | 50 | 313 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
629.40/629.66 c 579s| 3940k| 1743k| 0 | 0.0 | 706M| 37 | - | 50 | 340 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
630.90/631.15 c 580s| 3950k| 1749k| 0 | 0.0 | 708M| 37 | - | 50 | 295 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
632.40/632.65 c 581s| 3960k| 1755k| 0 | 0.0 | 710M| 37 | - | 50 | 351 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
634.00/634.20 c 583s| 3970k| 1761k| 0 | 0.0 | 712M| 37 | - | 50 | 191 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
635.40/635.66 c 584s| 3980k| 1767k| 0 | 0.0 | 714M| 37 | - | 50 | 209 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
636.90/637.12 c 585s| 3990k| 1772k| 0 | 0.0 | 716M| 37 | - | 50 | 165 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
638.29/638.54 c 587s| 4000k| 1778k| 0 | 0.0 | 718M| 37 | - | 50 | 170 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
639.79/640.06 c 588s| 4010k| 1784k| 0 | 0.0 | 720M| 37 | - | 50 | 206 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
641.30/641.55 c 589s| 4020k| 1790k| 0 | 0.0 | 722M| 37 | - | 50 | 323 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
642.79/643.06 c 591s| 4030k| 1796k| 0 | 0.0 | 724M| 37 | - | 50 | 277 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
644.40/644.61 c 592s| 4040k| 1801k| 0 | 0.0 | 726M| 37 | - | 50 | 335 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
645.89/646.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
645.89/646.14 c 594s| 4050k| 1807k| 0 | 0.0 | 728M| 37 | - | 50 | 242 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
647.39/647.64 c 595s| 4060k| 1813k| 0 | 0.0 | 730M| 37 | - | 50 | 270 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
648.89/649.15 c 596s| 4070k| 1819k| 0 | 0.0 | 732M| 37 | - | 50 | 188 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
650.40/650.62 c 598s| 4080k| 1825k| 0 | 0.0 | 734M| 37 | - | 50 | 205 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
651.89/652.14 c 599s| 4090k| 1831k| 0 | 0.0 | 736M| 37 | - | 50 | 172 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
653.39/653.67 c 600s| 4100k| 1836k| 0 | 0.0 | 738M| 37 | - | 50 | 223 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
654.99/655.26 c 602s| 4110k| 1842k| 0 | 0.0 | 740M| 37 | - | 50 | 250 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
656.49/656.78 c 603s| 4120k| 1847k| 0 | 0.0 | 742M| 37 | - | 50 | 180 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
657.99/658.28 c 605s| 4130k| 1853k| 0 | 0.0 | 744M| 37 | - | 50 | 201 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
659.49/659.78 c 606s| 4140k| 1859k| 0 | 0.0 | 746M| 37 | - | 50 | 210 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
661.09/661.36 c 608s| 4150k| 1864k| 0 | 0.0 | 748M| 37 | - | 50 | 226 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
662.59/662.89 c 609s| 4160k| 1870k| 0 | 0.0 | 750M| 37 | - | 50 | 297 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
664.20/664.43 c 610s| 4170k| 1875k| 0 | 0.0 | 752M| 37 | - | 50 | 293 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
665.79/666.01 c 612s| 4180k| 1881k| 0 | 0.0 | 754M| 37 | - | 50 | 343 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
667.29/667.58 c 613s| 4190k| 1886k| 0 | 0.0 | 756M| 37 | - | 50 | 228 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
668.88/669.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
668.88/669.13 c 615s| 4200k| 1892k| 0 | 0.0 | 758M| 37 | - | 50 | 229 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
670.48/670.71 c 616s| 4210k| 1897k| 0 | 0.0 | 760M| 37 | - | 50 | 252 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
671.98/672.28 c 618s| 4220k| 1903k| 0 | 0.0 | 762M| 37 | - | 50 | 438 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
673.58/673.87 c 619s| 4230k| 1908k| 0 | 0.0 | 764M| 37 | - | 50 | 494 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
675.20/675.43 c 620s| 4240k| 1914k| 0 | 0.0 | 766M| 37 | - | 50 | 410 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
676.78/677.04 c 622s| 4250k| 1919k| 0 | 0.0 | 768M| 37 | - | 50 | 426 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
678.28/678.58 c 623s| 4260k| 1925k| 0 | 0.0 | 770M| 37 | - | 50 | 419 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
679.88/680.17 c 625s| 4270k| 1930k| 0 | 0.0 | 772M| 37 | - | 50 | 378 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
681.39/681.70 c 626s| 4280k| 1936k| 0 | 0.0 | 774M| 37 | - | 50 | 389 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
682.98/683.29 c 628s| 4290k| 1941k| 0 | 0.0 | 776M| 37 | - | 50 | 430 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
684.69/684.92 c 629s| 4300k| 1947k| 0 | 0.0 | 778M| 37 | - | 50 | 377 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
686.29/686.52 c 631s| 4310k| 1952k| 0 | 0.0 | 780M| 37 | - | 50 | 347 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
687.78/688.07 c 632s| 4320k| 1958k| 0 | 0.0 | 782M| 37 | - | 50 | 313 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
689.39/689.61 c 633s| 4330k| 1963k| 0 | 0.0 | 784M| 37 | - | 50 | 317 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
690.98/691.24 c 635s| 4340k| 1969k| 0 | 0.0 | 786M| 37 | - | 50 | 390 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
692.58/692.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
692.58/692.82 c 636s| 4350k| 1974k| 0 | 0.0 | 788M| 37 | - | 50 | 413 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
694.08/694.39 c 638s| 4360k| 1980k| 0 | 0.0 | 789M| 37 | - | 50 | 352 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
695.68/695.99 c 639s| 4370k| 1985k| 0 | 0.0 | 791M| 37 | - | 50 | 266 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
697.38/697.61 c 641s| 4380k| 1991k| 0 | 0.0 | 793M| 37 | - | 50 | 309 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
698.88/699.14 c 642s| 4390k| 1997k| 0 | 0.0 | 795M| 37 | - | 50 | 190 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
700.39/700.70 c 644s| 4400k| 2002k| 0 | 0.0 | 797M| 37 | - | 50 | 233 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
702.07/702.31 c 645s| 4410k| 2008k| 0 | 0.0 | 799M| 37 | - | 50 | 330 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
703.57/703.89 c 646s| 4420k| 2013k| 0 | 0.0 | 801M| 37 | - | 50 | 305 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
705.18/705.43 c 648s| 4430k| 2019k| 0 | 0.0 | 803M| 37 | - | 50 | 304 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
706.78/707.02 c 649s| 4440k| 2024k| 0 | 0.0 | 805M| 37 | - | 50 | 301 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
708.28/708.59 c 651s| 4450k| 2030k| 0 | 0.0 | 807M| 37 | - | 50 | 313 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
709.98/710.21 c 652s| 4460k| 2035k| 0 | 0.0 | 809M| 37 | - | 50 | 237 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
711.58/711.82 c 654s| 4470k| 2041k| 0 | 0.0 | 811M| 37 | - | 50 | 217 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
713.07/713.38 c 655s| 4480k| 2046k| 0 | 0.0 | 813M| 37 | - | 50 | 235 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
714.78/715.01 c 657s| 4490k| 2052k| 0 | 0.0 | 815M| 37 | - | 50 | 274 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
716.37/716.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
716.37/716.63 c 658s| 4500k| 2057k| 0 | 0.0 | 817M| 37 | - | 50 | 288 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
717.87/718.16 c 659s| 4510k| 2062k| 0 | 0.0 | 819M| 37 | - | 50 | 230 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
719.58/719.82 c 661s| 4520k| 2067k| 0 | 0.0 | 821M| 37 | - | 50 | 245 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
721.17/721.43 c 662s| 4530k| 2073k| 0 | 0.0 | 823M| 37 | - | 50 | 262 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
722.77/723.03 c 664s| 4540k| 2078k| 0 | 0.0 | 825M| 37 | - | 50 | 331 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
724.37/724.61 c 665s| 4550k| 2083k| 0 | 0.0 | 827M| 37 | - | 50 | 404 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
725.97/726.25 c 667s| 4560k| 2088k| 0 | 0.0 | 829M| 37 | - | 50 | 316 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
727.57/727.87 c 668s| 4570k| 2093k| 0 | 0.0 | 831M| 37 | - | 50 | 306 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | -- | Inf
729.17/729.48 c 670s| 4580k| 2099k| 0 | 0.0 | 833M| 37 | - | 50 | 276 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | -- | Inf
730.87/731.13 c 671s| 4590k| 2104k| 0 | 0.0 | 835M| 37 | - | 50 | 289 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
732.46/732.70 c 673s| 4600k| 2109k| 0 | 0.0 | 837M| 37 | - | 50 | 237 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
734.06/734.32 c 674s| 4610k| 2114k| 0 | 0.0 | 839M| 37 | - | 50 | 299 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
735.57/735.89 c 676s| 4620k| 2120k| 0 | 0.0 | 841M| 37 | - | 50 | 250 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
737.17/737.47 c 677s| 4630k| 2125k| 0 | 0.0 | 843M| 37 | - | 50 | 266 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
738.76/739.06 c 679s| 4640k| 2130k| 0 | 0.0 | 845M| 37 | - | 50 | 266 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
740.36/740.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
740.36/740.66 c 680s| 4650k| 2135k| 0 | 0.0 | 847M| 37 | - | 50 | 226 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
742.06/742.31 c 682s| 4660k| 2141k| 0 | 0.0 | 849M| 37 | - | 50 | 269 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
743.66/743.95 c 683s| 4670k| 2146k| 0 | 0.0 | 850M| 37 | - | 50 | 257 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
745.27/745.55 c 685s| 4680k| 2151k| 0 | 0.0 | 852M| 37 | - | 50 | 212 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
746.87/747.14 c 686s| 4690k| 2156k| 0 | 0.0 | 854M| 37 | - | 50 | 305 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
748.47/748.76 c 688s| 4700k| 2162k| 0 | 0.0 | 856M| 37 | - | 50 | 242 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
750.06/750.38 c 689s| 4710k| 2167k| 0 | 0.0 | 858M| 37 | - | 50 | 221 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
751.66/751.95 c 690s| 4720k| 2172k| 0 | 0.0 | 860M| 37 | - | 50 | 253 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
753.17/753.47 c 692s| 4730k| 2177k| 0 | 0.0 | 862M| 37 | - | 50 | 151 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
754.66/754.95 c 693s| 4740k| 2183k| 0 | 0.0 | 864M| 37 | - | 50 | 111 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
756.16/756.48 c 695s| 4750k| 2188k| 0 | 0.0 | 866M| 37 | - | 50 | 111 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
757.76/758.03 c 696s| 4760k| 2193k| 0 | 0.0 | 868M| 37 | - | 50 | 120 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
759.26/759.52 c 697s| 4770k| 2198k| 0 | 0.0 | 870M| 37 | - | 50 | 82 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
760.76/761.02 c 699s| 4780k| 2204k| 0 | 0.0 | 871M| 37 | - | 50 | 128 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
762.26/762.54 c 700s| 4790k| 2209k| 0 | 0.0 | 873M| 37 | - | 50 | 132 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
763.75/764.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
763.75/764.04 c 702s| 4800k| 2214k| 0 | 0.0 | 875M| 37 | - | 50 | 178 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
765.16/765.48 c 703s| 4810k| 2219k| 0 | 0.0 | 877M| 37 | - | 50 | 153 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
766.66/766.98 c 704s| 4820k| 2225k| 0 | 0.0 | 879M| 37 | - | 50 | 146 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
768.16/768.48 c 706s| 4830k| 2230k| 0 | 0.0 | 881M| 37 | - | 50 | 162 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
769.77/770.03 c 707s| 4840k| 2235k| 0 | 0.0 | 883M| 37 | - | 50 | 188 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
771.26/771.58 c 709s| 4850k| 2240k| 0 | 0.0 | 885M| 37 | - | 50 | 182 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
772.85/773.16 c 710s| 4860k| 2245k| 0 | 0.0 | 886M| 37 | - | 50 | 133 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
774.36/774.62 c 711s| 4870k| 2251k| 0 | 0.0 | 888M| 37 | - | 50 | 209 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
775.86/776.14 c 713s| 4880k| 2256k| 0 | 0.0 | 890M| 37 | - | 50 | 177 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
777.36/777.67 c 714s| 4890k| 2261k| 0 | 0.0 | 892M| 37 | - | 50 | 154 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
778.95/779.25 c 716s| 4900k| 2266k| 0 | 0.0 | 894M| 37 | - | 50 | 136 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
780.46/780.78 c 717s| 4910k| 2272k| 0 | 0.0 | 896M| 37 | - | 50 | 128 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
781.95/782.27 c 718s| 4920k| 2277k| 0 | 0.0 | 898M| 37 | - | 50 | 109 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
783.46/783.74 c 720s| 4930k| 2282k| 0 | 0.0 | 899M| 37 | - | 50 | 89 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
784.95/785.22 c 721s| 4940k| 2287k| 0 | 0.0 | 901M| 37 | - | 50 | 134 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
786.46/786.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
786.46/786.73 c 722s| 4950k| 2293k| 0 | 0.0 | 903M| 37 | - | 50 | 116 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
787.96/788.22 c 724s| 4960k| 2298k| 0 | 0.0 | 905M| 37 | - | 50 | 124 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
789.46/789.74 c 725s| 4970k| 2303k| 0 | 0.0 | 907M| 37 | - | 50 | 116 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
790.95/791.28 c 727s| 4980k| 2308k| 0 | 0.0 | 909M| 37 | - | 50 | 106 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
792.45/792.78 c 728s| 4990k| 2314k| 0 | 0.0 | 911M| 37 | - | 50 | 114 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
793.96/794.24 c 729s| 5000k| 2319k| 0 | 0.0 | 912M| 37 | - | 50 | 108 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
795.45/795.76 c 731s| 5010k| 2324k| 0 | 0.0 | 914M| 37 | - | 50 | 140 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
797.05/797.34 c 732s| 5020k| 2329k| 0 | 0.0 | 916M| 37 | - | 50 | 126 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
798.55/798.89 c 734s| 5030k| 2334k| 0 | 0.0 | 918M| 37 | - | 50 | 124 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
800.15/800.45 c 735s| 5040k| 2339k| 0 | 0.0 | 920M| 37 | - | 50 | 139 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
801.74/802.01 c 736s| 5050k| 2344k| 0 | 0.0 | 922M| 37 | - | 50 | 132 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
803.25/803.59 c 738s| 5060k| 2349k| 0 | 0.0 | 924M| 37 | - | 50 | 129 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
804.85/805.16 c 739s| 5070k| 2354k| 0 | 0.0 | 925M| 37 | - | 50 | 128 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
806.45/806.77 c 741s| 5080k| 2358k| 0 | 0.0 | 927M| 37 | - | 50 | 156 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
808.05/808.36 c 742s| 5090k| 2363k| 0 | 0.0 | 929M| 37 | - | 50 | 148 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
809.65/809.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
809.65/809.99 c 744s| 5100k| 2368k| 0 | 0.0 | 931M| 37 | - | 50 | 127 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
811.35/811.60 c 745s| 5110k| 2373k| 0 | 0.0 | 933M| 37 | - | 50 | 125 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
812.84/813.19 c 747s| 5120k| 2378k| 0 | 0.0 | 934M| 37 | - | 50 | 116 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
814.45/814.74 c 748s| 5130k| 2383k| 0 | 0.0 | 936M| 37 | - | 50 | 112 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
815.95/816.27 c 749s| 5140k| 2388k| 0 | 0.0 | 938M| 37 | - | 50 | 111 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
817.55/817.80 c 751s| 5150k| 2393k| 0 | 0.0 | 940M| 37 | - | 50 | 114 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
819.14/819.41 c 752s| 5160k| 2398k| 0 | 0.0 | 942M| 37 | - | 50 | 120 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
820.64/820.94 c 754s| 5170k| 2403k| 0 | 0.0 | 943M| 37 | - | 50 | 98 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf
822.24/822.53 c 755s| 5180k| 2408k| 0 | 0.0 | 945M| 37 | - | 50 | 111 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf
823.74/824.06 c 757s| 5190k| 2413k| 0 | 0.0 | 947M| 37 | - | 50 | 126 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf
825.34/825.65 c 758s| 5200k| 2418k| 0 | 0.0 | 949M| 37 | - | 50 | 106 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf
826.95/827.22 c 760s| 5210k| 2423k| 0 | 0.0 | 951M| 37 | - | 50 | 137 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
828.54/828.82 c 761s| 5220k| 2427k| 0 | 0.0 | 953M| 37 | - | 50 | 136 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
830.04/830.34 c 762s| 5230k| 2432k| 0 | 0.0 | 955M| 37 | - | 50 | 101 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
831.54/831.89 c 764s| 5240k| 2437k| 0 | 0.0 | 956M| 37 | - | 50 | 116 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
833.14/833.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
833.14/833.48 c 765s| 5250k| 2442k| 0 | 0.0 | 958M| 37 | - | 50 | 112 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
834.84/835.10 c 767s| 5260k| 2447k| 0 | 0.0 | 960M| 37 | - | 50 | 101 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
836.34/836.67 c 768s| 5270k| 2452k| 0 | 0.0 | 962M| 37 | - | 50 | 111 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
837.85/838.18 c 770s| 5280k| 2457k| 0 | 0.0 | 963M| 37 | - | 50 | 121 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
839.44/839.74 c 771s| 5290k| 2462k| 0 | 0.0 | 965M| 37 | - | 50 | 99 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
840.94/841.24 c 772s| 5300k| 2467k| 0 | 0.0 | 967M| 37 | - | 50 | 98 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
842.53/842.83 c 774s| 5310k| 2471k| 0 | 0.0 | 969M| 37 | - | 50 | 102 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
844.13/844.42 c 775s| 5320k| 2476k| 0 | 0.0 | 971M| 37 | - | 50 | 127 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
845.64/845.96 c 777s| 5330k| 2481k| 0 | 0.0 | 973M| 37 | - | 50 | 104 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
847.23/847.50 c 778s| 5340k| 2486k| 0 | 0.0 | 974M| 37 | - | 50 | 143 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
848.73/849.05 c 780s| 5350k| 2491k| 0 | 0.0 | 976M| 37 | - | 50 | 108 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
850.23/850.58 c 781s| 5360k| 2496k| 0 | 0.0 | 978M| 37 | - | 50 | 96 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
851.83/852.15 c 782s| 5370k| 2501k| 0 | 0.0 | 980M| 37 | - | 50 | 108 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
853.43/853.70 c 784s| 5380k| 2506k| 0 | 0.0 | 982M| 37 | - | 50 | 87 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
854.93/855.25 c 785s| 5390k| 2511k| 0 | 0.0 | 984M| 37 | - | 50 | 127 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
856.53/856.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
856.53/856.86 c 787s| 5400k| 2516k| 0 | 0.0 | 985M| 37 | - | 50 | 105 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
858.13/858.48 c 788s| 5410k| 2521k| 0 | 0.0 | 987M| 37 | - | 50 | 103 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
859.73/860.08 c 790s| 5420k| 2526k| 0 | 0.0 | 989M| 37 | - | 50 | 73 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
861.33/861.69 c 791s| 5430k| 2530k| 0 | 0.0 | 991M| 37 | - | 50 | 75 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
862.93/863.28 c 793s| 5440k| 2535k| 0 | 0.0 | 993M| 37 | - | 50 | 89 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
864.53/864.87 c 794s| 5450k| 2540k| 0 | 0.0 | 995M| 37 | - | 50 | 100 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
866.13/866.43 c 796s| 5460k| 2545k| 0 | 0.0 | 997M| 37 | - | 50 | 116 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
867.64/867.97 c 797s| 5470k| 2550k| 0 | 0.0 | 998M| 37 | - | 50 | 107 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | -- | Inf
869.22/869.54 c 798s| 5480k| 2555k| 0 | 0.0 |1000M| 37 | - | 50 | 120 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | -- | Inf
870.73/871.06 c 800s| 5490k| 2560k| 0 | 0.0 |1002M| 37 | - | 50 | 88 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | -- | Inf
872.32/872.63 c 801s| 5500k| 2565k| 0 | 0.0 |1004M| 37 | - | 50 | 110 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | -- | Inf
873.93/874.21 c 803s| 5510k| 2570k| 0 | 0.0 |1006M| 37 | - | 50 | 103 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | -- | Inf
875.42/875.78 c 804s| 5520k| 2575k| 0 | 0.0 |1008M| 37 | - | 50 | 85 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | -- | Inf
877.03/877.32 c 805s| 5530k| 2580k| 0 | 0.0 |1009M| 37 | - | 50 | 118 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | -- | Inf
878.53/878.87 c 807s| 5540k| 2585k| 0 | 0.0 |1011M| 37 | - | 50 | 180 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | -- | Inf
880.13/880.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
880.13/880.46 c 808s| 5550k| 2590k| 0 | 0.0 |1013M| 37 | - | 50 | 158 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | -- | Inf
881.62/881.99 c 810s| 5560k| 2594k| 0 | 0.0 |1015M| 37 | - | 50 | 148 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | -- | Inf
883.23/883.57 c 811s| 5570k| 2599k| 0 | 0.0 |1017M| 37 | - | 50 | 133 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | -- | Inf
884.82/885.18 c 813s| 5580k| 2604k| 0 | 0.0 |1018M| 37 | - | 50 | 173 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | -- | Inf
886.43/886.71 c 814s| 5590k| 2609k| 0 | 0.0 |1020M| 37 | - | 50 | 161 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | -- | Inf
888.02/888.31 c 816s| 5600k| 2614k| 0 | 0.0 |1022M| 37 | - | 50 | 150 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | -- | Inf
889.42/889.79 c 817s| 5610k| 2619k| 0 | 0.0 |1024M| 37 | - | 50 | 172 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | -- | Inf
891.02/891.38 c 818s| 5620k| 2624k| 0 | 0.0 |1026M| 37 | - | 50 | 125 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | -- | Inf
892.62/892.91 c 820s| 5630k| 2629k| 0 | 0.0 |1027M| 37 | - | 50 | 99 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
894.12/894.47 c 821s| 5640k| 2634k| 0 | 0.0 |1029M| 37 | - | 50 | 182 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
895.71/896.03 c 823s| 5650k| 2638k| 0 | 0.0 |1031M| 37 | - | 50 | 141 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
897.33/897.67 c 824s| 5660k| 2643k| 0 | 0.0 |1033M| 37 | - | 50 | 137 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
898.92/899.29 c 826s| 5670k| 2648k| 0 | 0.0 |1035M| 37 | - | 50 | 143 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf
900.52/900.88 c 827s| 5680k| 2653k| 0 | 0.0 |1037M| 37 | - | 50 | 148 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf
902.02/902.38 c 828s| 5690k| 2658k| 0 | 0.0 |1038M| 37 | - | 50 | 133 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf
903.61/903.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
903.61/903.97 c 830s| 5700k| 2663k| 0 | 0.0 |1040M| 37 | - | 50 | 126 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf
905.31/905.60 c 831s| 5710k| 2667k| 0 | 0.0 |1042M| 37 | - | 50 | 146 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | -- | Inf
906.82/907.19 c 833s| 5720k| 2672k| 0 | 0.0 |1044M| 37 | - | 50 | 187 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | -- | Inf
908.51/908.81 c 834s| 5730k| 2677k| 0 | 0.0 |1046M| 37 | - | 50 | 134 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | -- | Inf
910.21/910.52 c 836s| 5740k| 2681k| 0 | 0.0 |1047M| 37 | - | 50 | 134 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | -- | Inf
911.81/912.12 c 837s| 5750k| 2686k| 0 | 0.0 |1049M| 37 | - | 50 | 137 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | -- | Inf
913.42/913.74 c 839s| 5760k| 2690k| 0 | 0.0 |1051M| 37 | - | 50 | 148 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | -- | Inf
915.11/915.45 c 840s| 5770k| 2694k| 0 | 0.0 |1053M| 37 | - | 50 | 177 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | -- | Inf
916.81/917.10 c 842s| 5780k| 2699k| 0 | 0.0 |1054M| 37 | - | 50 | 153 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | -- | Inf
918.41/918.73 c 843s| 5790k| 2703k| 0 | 0.0 |1056M| 37 | - | 50 | 145 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | -- | Inf
920.01/920.38 c 845s| 5800k| 2708k| 0 | 0.0 |1058M| 37 | - | 50 | 163 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | -- | Inf
921.81/922.10 c 847s| 5810k| 2712k| 0 | 0.0 |1060M| 37 | - | 50 | 127 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | -- | Inf
923.41/923.71 c 848s| 5820k| 2717k| 0 | 0.0 |1061M| 37 | - | 50 | 147 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | -- | Inf
925.01/925.33 c 850s| 5830k| 2722k| 0 | 0.0 |1063M| 37 | - | 50 | 136 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | -- | Inf
926.60/926.93 c 851s| 5840k| 2726k| 0 | 0.0 |1065M| 37 | - | 50 | 147 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | -- | Inf
928.21/928.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
928.21/928.55 c 852s| 5850k| 2730k| 0 | 0.0 |1067M| 37 | - | 50 | 169 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | -- | Inf
929.91/930.24 c 854s| 5860k| 2735k| 0 | 0.0 |1068M| 37 | - | 50 | 156 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | -- | Inf
931.61/931.90 c 856s| 5870k| 2739k| 0 | 0.0 |1070M| 37 | - | 50 | 144 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | -- | Inf
933.21/933.55 c 857s| 5880k| 2744k| 0 | 0.0 |1072M| 37 | - | 50 | 121 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | -- | Inf
934.91/935.22 c 859s| 5890k| 2749k| 0 | 0.0 |1074M| 37 | - | 50 | 138 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | -- | Inf
936.51/936.86 c 860s| 5900k| 2753k| 0 | 0.0 |1076M| 37 | - | 50 | 152 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | -- | Inf
938.11/938.44 c 862s| 5910k| 2757k| 0 | 0.0 |1077M| 37 | - | 50 | 146 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | -- | Inf
939.70/940.09 c 863s| 5920k| 2762k| 0 | 0.0 |1079M| 37 | - | 50 | 151 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | -- | Inf
941.40/941.77 c 865s| 5930k| 2766k| 0 | 0.0 |1081M| 37 | - | 50 | 159 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | -- | Inf
943.00/943.39 c 866s| 5940k| 2771k| 0 | 0.0 |1083M| 37 | - | 50 | 113 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | -- | Inf
944.70/945.03 c 868s| 5950k| 2775k| 0 | 0.0 |1084M| 37 | - | 50 | 162 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | -- | Inf
946.30/946.60 c 869s| 5960k| 2780k| 0 | 0.0 |1086M| 37 | - | 50 | 148 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | -- | Inf
947.91/948.23 c 871s| 5970k| 2784k| 0 | 0.0 |1088M| 37 | - | 50 | 138 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | -- | Inf
949.61/949.92 c 872s| 5980k| 2789k| 0 | 0.0 |1090M| 37 | - | 50 | 117 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | -- | Inf
951.21/951.52 c 874s| 5990k| 2793k| 0 | 0.0 |1092M| 37 | - | 50 | 131 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | -- | Inf
952.80/953.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
952.80/953.16 c 875s| 6000k| 2798k| 0 | 0.0 |1093M| 37 | - | 50 | 125 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | -- | Inf
954.50/954.83 c 877s| 6010k| 2802k| 0 | 0.0 |1095M| 37 | - | 50 | 169 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | -- | Inf
956.10/956.49 c 878s| 6020k| 2807k| 0 | 0.0 |1097M| 37 | - | 50 | 121 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | -- | Inf
957.81/958.12 c 880s| 6030k| 2811k| 0 | 0.0 |1099M| 37 | - | 50 | 129 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | -- | Inf
959.50/959.80 c 881s| 6040k| 2816k| 0 | 0.0 |1100M| 37 | - | 50 | 133 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | -- | Inf
961.10/961.45 c 883s| 6050k| 2820k| 0 | 0.0 |1102M| 37 | - | 50 | 118 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | -- | Inf
962.70/963.07 c 884s| 6060k| 2825k| 0 | 0.0 |1104M| 37 | - | 50 | 155 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | -- | Inf
964.40/964.75 c 886s| 6070k| 2829k| 0 | 0.0 |1106M| 37 | - | 50 | 151 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | -- | Inf
966.10/966.44 c 887s| 6080k| 2834k| 0 | 0.0 |1107M| 37 | - | 50 | 104 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | -- | Inf
967.70/968.06 c 889s| 6090k| 2838k| 0 | 0.0 |1109M| 37 | - | 50 | 133 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | -- | Inf
969.30/969.68 c 890s| 6100k| 2843k| 0 | 0.0 |1111M| 37 | - | 50 | 116 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | -- | Inf
971.01/971.36 c 892s| 6110k| 2847k| 0 | 0.0 |1113M| 37 | - | 50 | 149 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | -- | Inf
972.59/972.97 c 893s| 6120k| 2852k| 0 | 0.0 |1115M| 37 | - | 50 | 148 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | -- | Inf
974.20/974.58 c 895s| 6130k| 2856k| 0 | 0.0 |1116M| 37 | - | 50 | 135 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | -- | Inf
975.80/976.18 c 896s| 6140k| 2861k| 0 | 0.0 |1118M| 37 | - | 50 | 114 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | -- | Inf
977.39/977.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
977.39/977.78 c 898s| 6150k| 2865k| 0 | 0.0 |1120M| 37 | - | 50 | 139 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | -- | Inf
979.09/979.48 c 899s| 6160k| 2870k| 0 | 0.0 |1122M| 37 | - | 50 | 135 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | -- | Inf
980.90/981.24 c 901s| 6170k| 2874k| 0 | 0.0 |1124M| 37 | - | 50 | 125 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | -- | Inf
982.60/982.91 c 902s| 6180k| 2879k| 0 | 0.0 |1125M| 37 | - | 50 | 115 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | -- | Inf
984.20/984.56 c 904s| 6190k| 2883k| 0 | 0.0 |1127M| 37 | - | 50 | 147 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | -- | Inf
985.79/986.17 c 905s| 6200k| 2888k| 0 | 0.0 |1129M| 37 | - | 50 | 155 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | -- | Inf
987.40/987.76 c 907s| 6210k| 2892k| 0 | 0.0 |1131M| 37 | - | 50 | 136 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | -- | Inf
988.99/989.39 c 908s| 6220k| 2897k| 0 | 0.0 |1132M| 37 | - | 50 | 127 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | -- | Inf
990.70/991.09 c 910s| 6230k| 2901k| 0 | 0.0 |1134M| 37 | - | 50 | 109 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | -- | Inf
992.39/992.71 c 911s| 6240k| 2906k| 0 | 0.0 |1136M| 37 | - | 50 | 139 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | -- | Inf
994.00/994.40 c 913s| 6250k| 2910k| 0 | 0.0 |1138M| 37 | - | 50 | 135 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | -- | Inf
995.79/996.10 c 915s| 6260k| 2914k| 0 | 0.0 |1139M| 37 | - | 50 | 131 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | -- | Inf
997.40/997.75 c 916s| 6270k| 2919k| 0 | 0.0 |1141M| 37 | - | 50 | 112 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | -- | Inf
998.99/999.39 c 918s| 6280k| 2924k| 0 | 0.0 |1143M| 37 | - | 50 | 105 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | -- | Inf
1000.59/1000.99 c 919s| 6290k| 2928k| 0 | 0.0 |1145M| 37 | - | 50 | 132 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | -- | Inf
1002.29/1002.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1002.29/1002.65 c 921s| 6300k| 2932k| 0 | 0.0 |1146M| 37 | - | 50 | 113 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | -- | Inf
1003.90/1004.22 c 922s| 6310k| 2937k| 0 | 0.0 |1148M| 37 | - | 50 | 98 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | -- | Inf
1005.48/1005.80 c 924s| 6320k| 2942k| 0 | 0.0 |1150M| 37 | - | 50 | 119 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | -- | Inf
1007.09/1007.47 c 925s| 6330k| 2946k| 0 | 0.0 |1152M| 37 | - | 50 | 95 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | -- | Inf
1008.69/1009.09 c 927s| 6340k| 2951k| 0 | 0.0 |1154M| 37 | - | 50 | 114 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | -- | Inf
1010.38/1010.72 c 928s| 6350k| 2955k| 0 | 0.0 |1155M| 37 | - | 50 | 111 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | -- | Inf
1011.99/1012.35 c 930s| 6360k| 2960k| 0 | 0.0 |1157M| 37 | - | 50 | 116 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | -- | Inf
1013.59/1013.92 c 931s| 6370k| 2964k| 0 | 0.0 |1159M| 37 | - | 50 | 117 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | -- | Inf
1015.18/1015.54 c 932s| 6380k| 2969k| 0 | 0.0 |1161M| 37 | - | 50 | 114 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | -- | Inf
1016.78/1017.17 c 934s| 6390k| 2973k| 0 | 0.0 |1163M| 37 | - | 50 | 139 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | -- | Inf
1018.38/1018.78 c 935s| 6400k| 2978k| 0 | 0.0 |1164M| 37 | - | 50 | 158 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | -- | Inf
1020.08/1020.43 c 937s| 6410k| 2982k| 0 | 0.0 |1166M| 37 | - | 50 | 142 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | -- | Inf
1021.69/1022.04 c 938s| 6420k| 2987k| 0 | 0.0 |1168M| 37 | - | 50 | 111 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | -- | Inf
1023.28/1023.62 c 940s| 6430k| 2992k| 0 | 0.0 |1170M| 37 | - | 50 | 117 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | -- | Inf
1024.98/1025.34 c 941s| 6440k| 2996k| 0 | 0.0 |1172M| 37 | - | 50 | 135 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | -- | Inf
1026.58/1026.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1026.58/1026.95 c 943s| 6450k| 3001k| 0 | 0.0 |1173M| 37 | - | 50 | 134 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | -- | Inf
1028.28/1028.66 c 945s| 6460k| 3005k| 0 | 0.0 |1175M| 37 | - | 50 | 129 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | -- | Inf
1029.88/1030.29 c 946s| 6470k| 3010k| 0 | 0.0 |1177M| 37 | - | 50 | 143 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | -- | Inf
1031.58/1031.98 c 948s| 6480k| 3014k| 0 | 0.0 |1179M| 37 | - | 50 | 148 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | -- | Inf
1033.28/1033.65 c 949s| 6490k| 3019k| 0 | 0.0 |1181M| 37 | - | 50 | 107 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | -- | Inf
1034.98/1035.31 c 951s| 6500k| 3023k| 0 | 0.0 |1182M| 37 | - | 50 | 138 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | -- | Inf
1036.57/1036.99 c 952s| 6510k| 3028k| 0 | 0.0 |1184M| 37 | - | 50 | 134 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | -- | Inf
1038.27/1038.64 c 954s| 6520k| 3032k| 0 | 0.0 |1186M| 37 | - | 50 | 150 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | -- | Inf
1039.87/1040.28 c 955s| 6530k| 3037k| 0 | 0.0 |1188M| 37 | - | 50 | 207 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | -- | Inf
1041.57/1041.94 c 957s| 6540k| 3041k| 0 | 0.0 |1189M| 37 | - | 50 | 180 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
1043.27/1043.64 c 958s| 6550k| 3045k| 0 | 0.0 |1191M| 37 | - | 50 | 199 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
1044.88/1045.29 c 960s| 6560k| 3050k| 0 | 0.0 |1193M| 37 | - | 50 | 183 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
1046.57/1046.96 c 961s| 6570k| 3054k| 0 | 0.0 |1195M| 37 | - | 50 | 184 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | -- | Inf
1048.17/1048.56 c 963s| 6580k| 3059k| 0 | 0.0 |1196M| 37 | - | 50 | 146 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | -- | Inf
1049.98/1050.32 c 965s| 6590k| 3063k| 0 | 0.0 |1198M| 37 | - | 50 | 156 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | -- | Inf
1051.67/1052.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1051.67/1052.09 c 966s| 6600k| 3067k| 0 | 0.0 |1200M| 37 | - | 50 | 162 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | -- | Inf
1053.38/1053.80 c 968s| 6610k| 3071k| 0 | 0.0 |1201M| 37 | - | 50 | 162 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | -- | Inf
1055.17/1055.53 c 969s| 6620k| 3075k| 0 | 0.0 |1203M| 37 | - | 50 | 178 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | -- | Inf
1056.97/1057.31 c 971s| 6630k| 3079k| 0 | 0.0 |1205M| 37 | - | 50 | 193 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | -- | Inf
1058.67/1059.05 c 973s| 6640k| 3083k| 0 | 0.0 |1207M| 37 | - | 50 | 202 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | -- | Inf
1060.37/1060.75 c 974s| 6650k| 3087k| 0 | 0.0 |1208M| 37 | - | 50 | 178 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | -- | Inf
1062.07/1062.40 c 976s| 6660k| 3091k| 0 | 0.0 |1210M| 37 | - | 50 | 184 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | -- | Inf
1063.67/1064.02 c 977s| 6670k| 3095k| 0 | 0.0 |1212M| 37 | - | 50 | 166 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | -- | Inf
1065.37/1065.79 c 979s| 6680k| 3099k| 0 | 0.0 |1213M| 37 | - | 50 | 168 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | -- | Inf
1067.17/1067.53 c 980s| 6690k| 3103k| 0 | 0.0 |1215M| 37 | - | 50 | 200 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | -- | Inf
1068.77/1069.18 c 982s| 6700k| 3107k| 0 | 0.0 |1217M| 37 | - | 50 | 163 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | -- | Inf
1070.57/1070.94 c 984s| 6710k| 3111k| 0 | 0.0 |1218M| 37 | - | 50 | 182 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | -- | Inf
1072.27/1072.68 c 985s| 6720k| 3115k| 0 | 0.0 |1220M| 37 | - | 50 | 194 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | -- | Inf
1073.97/1074.38 c 987s| 6730k| 3119k| 0 | 0.0 |1222M| 37 | - | 50 | 182 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | -- | Inf
1075.77/1076.14 c 988s| 6740k| 3123k| 0 | 0.0 |1224M| 37 | - | 50 | 184 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | -- | Inf
1077.46/1077.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1077.46/1077.83 c 990s| 6750k| 3127k| 0 | 0.0 |1225M| 37 | - | 50 | 183 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | -- | Inf
1079.16/1079.59 c 992s| 6760k| 3131k| 0 | 0.0 |1227M| 37 | - | 50 | 191 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | -- | Inf
1080.98/1081.38 c 993s| 6770k| 3135k| 0 | 0.0 |1229M| 37 | - | 50 | 171 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | -- | Inf
1082.76/1083.12 c 995s| 6780k| 3139k| 0 | 0.0 |1230M| 37 | - | 50 | 165 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | -- | Inf
1084.46/1084.84 c 996s| 6790k| 3143k| 0 | 0.0 |1232M| 37 | - | 50 | 152 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | -- | Inf
1086.17/1086.58 c 998s| 6800k| 3147k| 0 | 0.0 |1234M| 37 | - | 50 | 126 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | -- | Inf
1088.07/1088.43 c 1000s| 6810k| 3150k| 0 | 0.0 |1235M| 37 | - | 50 | 149 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | -- | Inf
1089.77/1090.16 c 1001s| 6820k| 3154k| 0 | 0.0 |1237M| 37 | - | 50 | 149 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | -- | Inf
1091.46/1091.88 c 1003s| 6830k| 3158k| 0 | 0.0 |1239M| 37 | - | 50 | 169 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | -- | Inf
1093.16/1093.58 c 1005s| 6840k| 3162k| 0 | 0.0 |1240M| 37 | - | 50 | 149 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | -- | Inf
1095.06/1095.42 c 1006s| 6850k| 3166k| 0 | 0.0 |1242M| 37 | - | 50 | 173 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | -- | Inf
1096.76/1097.12 c 1008s| 6860k| 3170k| 0 | 0.0 |1244M| 37 | - | 50 | 167 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | -- | Inf
1098.46/1098.82 c 1009s| 6870k| 3174k| 0 | 0.0 |1245M| 37 | - | 50 | 151 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | -- | Inf
1100.16/1100.54 c 1011s| 6880k| 3178k| 0 | 0.0 |1247M| 37 | - | 50 | 130 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | -- | Inf
1101.96/1102.31 c 1013s| 6890k| 3182k| 0 | 0.0 |1249M| 37 | - | 50 | 169 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | -- | Inf
1103.65/1104.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1103.65/1104.03 c 1014s| 6900k| 3186k| 0 | 0.0 |1251M| 37 | - | 50 | 123 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | -- | Inf
1105.55/1105.90 c 1016s| 6910k| 3190k| 0 | 0.0 |1252M| 37 | - | 50 | 181 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | -- | Inf
1107.26/1107.68 c 1018s| 6920k| 3194k| 0 | 0.0 |1254M| 37 | - | 50 | 194 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | -- | Inf
1109.05/1109.40 c 1019s| 6930k| 3198k| 0 | 0.0 |1256M| 37 | - | 50 | 163 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | -- | Inf
1110.76/1111.17 c 1021s| 6940k| 3202k| 0 | 0.0 |1257M| 37 | - | 50 | 152 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | -- | Inf
1112.55/1112.93 c 1022s| 6950k| 3206k| 0 | 0.0 |1259M| 37 | - | 50 | 130 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | -- | Inf
1114.25/1114.67 c 1024s| 6960k| 3210k| 0 | 0.0 |1261M| 37 | - | 50 | 183 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | -- | Inf
1115.96/1116.39 c 1026s| 6970k| 3214k| 0 | 0.0 |1263M| 37 | - | 50 | 139 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | -- | Inf
1117.75/1118.10 c 1027s| 6980k| 3218k| 0 | 0.0 |1264M| 37 | - | 50 | 143 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | -- | Inf
1119.36/1119.76 c 1029s| 6990k| 3222k| 0 | 0.0 |1266M| 37 | - | 50 | 147 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | -- | Inf
1121.15/1121.55 c 1030s| 7000k| 3226k| 0 | 0.0 |1268M| 37 | - | 50 | 145 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | -- | Inf
1122.95/1123.30 c 1032s| 7010k| 3230k| 0 | 0.0 |1269M| 37 | - | 50 | 133 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | -- | Inf
1124.65/1125.08 c 1034s| 7020k| 3234k| 0 | 0.0 |1271M| 37 | - | 50 | 126 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | -- | Inf
1126.35/1126.77 c 1035s| 7030k| 3238k| 0 | 0.0 |1273M| 37 | - | 50 | 158 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | -- | Inf
1128.05/1128.47 c 1037s| 7040k| 3242k| 0 | 0.0 |1274M| 37 | - | 50 | 178 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | -- | Inf
1129.75/1130.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1129.75/1130.11 c 1038s| 7050k| 3246k| 0 | 0.0 |1276M| 37 | - | 50 | 138 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | -- | Inf
1131.45/1131.86 c 1040s| 7060k| 3250k| 0 | 0.0 |1278M| 37 | - | 50 | 150 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | -- | Inf
1133.25/1133.64 c 1042s| 7070k| 3254k| 0 | 0.0 |1280M| 37 | - | 50 | 188 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | -- | Inf
1135.05/1135.42 c 1043s| 7080k| 3258k| 0 | 0.0 |1281M| 37 | - | 50 | 150 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | -- | Inf
1136.85/1137.22 c 1045s| 7090k| 3262k| 0 | 0.0 |1283M| 37 | - | 50 | 142 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | -- | Inf
1138.55/1138.92 c 1046s| 7100k| 3266k| 0 | 0.0 |1285M| 37 | - | 50 | 144 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | -- | Inf
1140.15/1140.58 c 1048s| 7110k| 3270k| 0 | 0.0 |1286M| 37 | - | 50 | 151 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | -- | Inf
1141.84/1142.24 c 1049s| 7120k| 3274k| 0 | 0.0 |1288M| 37 | - | 50 | 140 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | -- | Inf
1143.44/1143.88 c 1051s| 7130k| 3278k| 0 | 0.0 |1290M| 37 | - | 50 | 135 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | -- | Inf
1145.24/1145.60 c 1053s| 7140k| 3282k| 0 | 0.0 |1291M| 37 | - | 50 | 136 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | -- | Inf
1146.95/1147.34 c 1054s| 7150k| 3286k| 0 | 0.0 |1293M| 37 | - | 50 | 145 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | -- | Inf
1148.54/1148.99 c 1056s| 7160k| 3290k| 0 | 0.0 |1295M| 37 | - | 50 | 124 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | -- | Inf
1150.34/1150.70 c 1057s| 7170k| 3294k| 0 | 0.0 |1297M| 37 | - | 50 | 123 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | -- | Inf
1151.94/1152.38 c 1059s| 7180k| 3298k| 0 | 0.0 |1298M| 37 | - | 50 | 122 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | -- | Inf
1153.74/1154.10 c 1060s| 7190k| 3302k| 0 | 0.0 |1300M| 37 | - | 50 | 144 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | -- | Inf
1155.44/1155.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1155.44/1155.85 c 1062s| 7200k| 3306k| 0 | 0.0 |1302M| 37 | - | 50 | 133 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | -- | Inf
1157.14/1157.54 c 1064s| 7210k| 3310k| 0 | 0.0 |1303M| 37 | - | 50 | 134 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | -- | Inf
1158.84/1159.28 c 1065s| 7220k| 3314k| 0 | 0.0 |1305M| 37 | - | 50 | 165 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | -- | Inf
1160.64/1161.06 c 1067s| 7230k| 3318k| 0 | 0.0 |1307M| 37 | - | 50 | 153 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | -- | Inf
1162.35/1162.76 c 1068s| 7240k| 3322k| 0 | 0.0 |1309M| 37 | - | 50 | 147 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | -- | Inf
1164.14/1164.51 c 1070s| 7250k| 3326k| 0 | 0.0 |1310M| 37 | - | 50 | 144 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | -- | Inf
1165.74/1166.17 c 1072s| 7260k| 3330k| 0 | 0.0 |1312M| 37 | - | 50 | 130 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | -- | Inf
1167.54/1167.90 c 1073s| 7270k| 3334k| 0 | 0.0 |1314M| 37 | - | 50 | 164 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | -- | Inf
1169.24/1169.69 c 1075s| 7280k| 3338k| 0 | 0.0 |1316M| 37 | - | 50 | 132 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | -- | Inf
1171.04/1171.48 c 1076s| 7290k| 3342k| 0 | 0.0 |1317M| 37 | - | 50 | 162 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | -- | Inf
1172.84/1173.23 c 1078s| 7300k| 3346k| 0 | 0.0 |1319M| 37 | - | 50 | 147 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | -- | Inf
1174.54/1174.91 c 1080s| 7310k| 3350k| 0 | 0.0 |1321M| 37 | - | 50 | 150 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | -- | Inf
1176.13/1176.59 c 1081s| 7320k| 3354k| 0 | 0.0 |1322M| 37 | - | 50 | 130 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | -- | Inf
1177.93/1178.32 c 1083s| 7330k| 3358k| 0 | 0.0 |1324M| 37 | - | 50 | 123 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | -- | Inf
1179.64/1180.00 c 1084s| 7340k| 3362k| 0 | 0.0 |1326M| 37 | - | 50 | 146 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | -- | Inf
1181.33/1181.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1181.33/1181.79 c 1086s| 7350k| 3366k| 0 | 0.0 |1327M| 37 | - | 50 | 131 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | -- | Inf
1183.03/1183.48 c 1088s| 7360k| 3370k| 0 | 0.0 |1329M| 37 | - | 50 | 147 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | -- | Inf
1184.74/1185.13 c 1089s| 7370k| 3374k| 0 | 0.0 |1331M| 37 | - | 50 | 158 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | -- | Inf
1186.34/1186.79 c 1091s| 7380k| 3378k| 0 | 0.0 |1333M| 37 | - | 50 | 168 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | -- | Inf
1188.23/1188.61 c 1092s| 7390k| 3382k| 0 | 0.0 |1334M| 37 | - | 50 | 162 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | -- | Inf
1189.93/1190.37 c 1094s| 7400k| 3386k| 0 | 0.0 |1336M| 37 | - | 50 | 125 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | -- | Inf
1191.63/1192.02 c 1095s| 7410k| 3390k| 0 | 0.0 |1338M| 37 | - | 50 | 148 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | -- | Inf
1193.33/1193.74 c 1097s| 7420k| 3394k| 0 | 0.0 |1340M| 37 | - | 50 | 142 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | -- | Inf
1195.03/1195.46 c 1099s| 7430k| 3399k| 0 | 0.0 |1341M| 37 | - | 50 | 141 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | -- | Inf
1196.83/1197.27 c 1100s| 7440k| 3403k| 0 | 0.0 |1343M| 37 | - | 50 | 121 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | -- | Inf
1198.63/1199.02 c 1102s| 7450k| 3407k| 0 | 0.0 |1345M| 37 | - | 50 | 147 | 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | -- | Inf
1200.32/1200.77 c 1104s| 7460k| 3411k| 0 | 0.0 |1347M| 37 | - | 50 | 131 | 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | -- | Inf
1202.03/1202.46 c 1105s| 7470k| 3415k| 0 | 0.0 |1348M| 37 | - | 50 | 133 | 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | -- | Inf
1203.73/1204.16 c 1107s| 7480k| 3419k| 0 | 0.0 |1350M| 37 | - | 50 | 143 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | -- | Inf
1205.53/1205.91 c 1108s| 7490k| 3423k| 0 | 0.0 |1352M| 37 | - | 50 | 140 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | -- | Inf
1207.23/1207.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1207.23/1207.64 c 1110s| 7500k| 3427k| 0 | 0.0 |1354M| 37 | - | 50 | 157 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | -- | Inf
1208.83/1209.27 c 1111s| 7510k| 3431k| 0 | 0.0 |1355M| 37 | - | 50 | 129 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | -- | Inf
1210.52/1210.93 c 1113s| 7520k| 3435k| 0 | 0.0 |1357M| 37 | - | 50 | 143 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | -- | Inf
1212.02/1212.41 c (node 7528268) switching to memory saving mode (mem: 1296.0M/1620.0M)
1213.22/1213.61 c 1115s| 7530k| 3438k| 0 | 0.0 |1358M| 46 | - | 50 | 119 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | -- | Inf
1215.22/1215.60 c 1117s| 7540k| 3435k| 0 | 0.0 |1357M| 46 | - | 50 | 195 | 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | -- | Inf
1217.23/1217.64 c 1119s| 7550k| 3432k| 0 | 0.0 |1356M| 46 | - | 50 | 270 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | -- | Inf
1219.43/1219.81 c 1121s| 7560k| 3428k| 0 | 0.0 |1354M| 46 | - | 50 | 339 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | -- | Inf
1221.73/1222.13 c 1123s| 7570k| 3425k| 0 | 0.0 |1352M| 46 | - | 50 | 420 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | -- | Inf
1223.93/1224.33 c 1125s| 7580k| 3422k| 0 | 0.0 |1350M| 46 | - | 50 | 476 | 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | -- | Inf
1226.22/1226.67 c 1128s| 7590k| 3420k| 0 | 0.0 |1348M| 46 | - | 50 | 584 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | -- | Inf
1228.62/1229.01 c 1130s| 7600k| 3417k| 0 | 0.0 |1347M| 46 | - | 50 | 697 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | -- | Inf
1230.91/1231.37 c 1132s| 7610k| 3415k| 0 | 0.0 |1346M| 46 | - | 50 | 802 | 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | -- | Inf
1233.31/1233.78 c 1134s| 7620k| 3413k| 0 | 0.0 |1345M| 46 | - | 50 | 889 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | -- | Inf
1236.03/1236.41 c 1137s| 7630k| 3411k| 0 | 0.0 |1343M| 46 | - | 50 | 991 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | -- | Inf
1238.51/1238.98 c 1139s| 7640k| 3408k| 0 | 0.0 |1342M| 46 | - | 50 |1072 | 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | -- | Inf
1241.21/1241.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1241.21/1241.63 c 1142s| 7650k| 3406k| 0 | 0.0 |1340M| 46 | - | 50 |1138 | 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | -- | Inf
1243.92/1244.37 c 1144s| 7660k| 3404k| 0 | 0.0 |1339M| 46 | - | 50 |1209 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | -- | Inf
1246.82/1247.23 c 1147s| 7670k| 3402k| 0 | 0.0 |1338M| 46 | - | 50 |1294 | 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | -- | Inf
1249.51/1249.99 c 1149s| 7680k| 3399k| 0 | 0.0 |1336M| 46 | - | 50 |1314 | 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | -- | Inf
1252.31/1252.72 c 1152s| 7690k| 3398k| 0 | 0.0 |1335M| 46 | - | 50 |1384 | 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | -- | Inf
1255.01/1255.45 c 1155s| 7700k| 3396k| 0 | 0.0 |1334M| 46 | - | 50 |1440 | 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | -- | Inf
1257.81/1258.28 c 1157s| 7710k| 3394k| 0 | 0.0 |1333M| 46 | - | 50 |1532 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | -- | Inf
1260.91/1261.35 c 1160s| 7720k| 3392k| 0 | 0.0 |1331M| 46 | - | 50 |1614 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | -- | Inf
1264.01/1264.48 c 1163s| 7730k| 3390k| 0 | 0.0 |1330M| 46 | - | 50 |1665 | 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | -- | Inf
1267.31/1267.76 c 1166s| 7740k| 3388k| 0 | 0.0 |1328M| 46 | - | 50 |1758 | 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | -- | Inf
1270.61/1271.09 c 1170s| 7750k| 3386k| 0 | 0.0 |1327M| 46 | - | 50 |1850 | 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | -- | Inf
1274.11/1274.56 c 1173s| 7760k| 3384k| 0 | 0.0 |1326M| 46 | - | 50 |1978 | 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | -- | Inf
1277.90/1278.36 c 1177s| 7770k| 3381k| 0 | 0.0 |1324M| 46 | - | 50 |2088 | 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | -- | Inf
1281.70/1282.14 c 1180s| 7780k| 3379k| 0 | 0.0 |1323M| 46 | - | 50 |2157 | 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | -- | Inf
1285.60/1286.05 c 1184s| 7790k| 3377k| 0 | 0.0 |1322M| 46 | - | 50 |2221 | 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | -- | Inf
1289.60/1290.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1289.60/1290.01 c 1188s| 7800k| 3375k| 0 | 0.0 |1320M| 46 | - | 50 |2307 | 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | -- | Inf
1293.69/1294.12 c 1192s| 7810k| 3373k| 0 | 0.0 |1319M| 46 | - | 50 |2399 | 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | -- | Inf
1297.80/1298.20 c 1196s| 7820k| 3371k| 0 | 0.0 |1317M| 46 | - | 50 |2480 | 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | -- | Inf
1302.29/1302.72 c 1200s| 7830k| 3368k| 0 | 0.0 |1315M| 46 | - | 50 |2577 | 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | -- | Inf
1306.70/1307.14 c 1204s| 7840k| 3366k| 0 | 0.0 |1314M| 46 | - | 50 |2532 | 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | -- | Inf
1311.39/1311.83 c 1209s| 7850k| 3364k| 0 | 0.0 |1312M| 46 | - | 50 |2667 | 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | -- | Inf
1315.89/1316.33 c 1213s| 7860k| 3361k| 0 | 0.0 |1311M| 46 | - | 50 |2757 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | -- | Inf
1320.80/1321.21 c 1218s| 7870k| 3359k| 0 | 0.0 |1309M| 46 | - | 50 |2866 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | -- | Inf
1325.29/1325.76 c 1222s| 7880k| 3357k| 0 | 0.0 |1308M| 46 | - | 50 |2890 | 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | -- | Inf
1330.49/1330.91 c 1227s| 7890k| 3355k| 0 | 0.0 |1306M| 46 | - | 50 |2980 | 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | -- | Inf
1335.79/1336.29 c 1232s| 7900k| 3353k| 0 | 0.0 |1304M| 46 | - | 50 |3085 | 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | -- | Inf
1341.09/1341.51 c 1237s| 7910k| 3350k| 0 | 0.0 |1303M| 46 | - | 50 |3161 | 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | -- | Inf
1346.58/1347.03 c 1243s| 7920k| 3348k| 0 | 0.0 |1301M| 46 | - | 50 |3287 | 0 | 0 | 0 | 312k| 0 | 0.000000e+00 | -- | Inf
1352.19/1352.64 c 1248s| 7930k| 3346k| 0 | 0.0 |1299M| 46 | - | 50 |3423 | 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | -- | Inf
1358.48/1358.95 c 1254s| 7940k| 3344k| 0 | 0.0 |1298M| 46 | - | 50 |3573 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | -- | Inf
1364.88/1365.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1364.88/1365.38 c 1261s| 7950k| 3342k| 0 | 0.0 |1296M| 46 | - | 50 |3659 | 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | -- | Inf
1371.38/1371.83 c 1267s| 7960k| 3339k| 0 | 0.0 |1294M| 46 | - | 50 |3789 | 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | -- | Inf
1377.79/1378.20 c 1273s| 7970k| 3337k| 0 | 0.0 |1292M| 46 | - | 50 |3823 | 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | -- | Inf
1384.18/1384.68 c 1280s| 7980k| 3335k| 0 | 0.0 |1290M| 46 | - | 50 |3905 | 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | -- | Inf
1391.37/1391.89 c 1287s| 7990k| 3333k| 0 | 0.0 |1289M| 46 | - | 50 |4011 | 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | -- | Inf
1398.37/1398.87 c 1293s| 8000k| 3331k| 0 | 0.0 |1287M| 46 | - | 50 |4058 | 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | -- | Inf
1405.28/1405.72 c 1300s| 8010k| 3329k| 0 | 0.0 |1286M| 46 | - | 50 |3962 | 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | -- | Inf
1411.87/1412.33 c 1307s| 8020k| 3327k| 0 | 0.0 |1285M| 46 | - | 50 |4012 | 0 | 0 | 0 | 329k| 0 | 0.000000e+00 | -- | Inf
1418.05/1418.54 c 1313s| 8030k| 3325k| 0 | 0.0 |1284M| 46 | - | 50 |4014 | 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | -- | Inf
1424.36/1424.85 c 1319s| 8040k| 3323k| 0 | 0.0 |1283M| 46 | - | 50 |4014 | 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | -- | Inf
1430.25/1430.79 c 1325s| 8050k| 3322k| 0 | 0.0 |1282M| 46 | - | 50 |4077 | 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | -- | Inf
1436.85/1437.36 c 1331s| 8060k| 3320k| 0 | 0.0 |1281M| 46 | - | 50 |4117 | 0 | 0 | 0 | 336k| 0 | 0.000000e+00 | -- | Inf
1443.65/1444.10 c 1338s| 8070k| 3318k| 0 | 0.0 |1279M| 46 | - | 50 |4196 | 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | -- | Inf
1450.14/1450.62 c 1344s| 8080k| 3316k| 0 | 0.0 |1278M| 46 | - | 50 |4362 | 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | -- | Inf
1457.05/1457.59 c 1351s| 8090k| 3314k| 0 | 0.0 |1277M| 46 | - | 50 |4463 | 0 | 0 | 0 | 341k| 0 | 0.000000e+00 | -- | Inf
1463.84/1464.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1463.84/1464.39 c 1357s| 8100k| 3312k| 0 | 0.0 |1276M| 46 | - | 50 |4600 | 0 | 0 | 0 | 343k| 0 | 0.000000e+00 | -- | Inf
1471.44/1471.94 c 1365s| 8110k| 3310k| 0 | 0.0 |1275M| 46 | - | 50 |4734 | 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | -- | Inf
1478.95/1479.44 c 1372s| 8120k| 3308k| 0 | 0.0 |1274M| 46 | - | 50 |4898 | 0 | 0 | 0 | 346k| 0 | 0.000000e+00 | -- | Inf
1486.53/1487.08 c 1380s| 8130k| 3306k| 0 | 0.0 |1272M| 46 | - | 50 |4962 | 0 | 0 | 0 | 347k| 0 | 0.000000e+00 | -- | Inf
1494.53/1495.03 c 1387s| 8140k| 3304k| 0 | 0.0 |1271M| 46 | - | 50 |5057 | 0 | 0 | 0 | 349k| 0 | 0.000000e+00 | -- | Inf
1501.73/1502.24 c 1394s| 8150k| 3302k| 0 | 0.0 |1270M| 46 | - | 50 |5044 | 0 | 0 | 0 | 351k| 0 | 0.000000e+00 | -- | Inf
1509.52/1510.04 c 1402s| 8160k| 3300k| 0 | 0.0 |1269M| 46 | - | 50 |5146 | 0 | 0 | 0 | 352k| 0 | 0.000000e+00 | -- | Inf
1516.72/1517.25 c 1409s| 8170k| 3298k| 0 | 0.0 |1268M| 46 | - | 50 |5186 | 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | -- | Inf
1524.13/1524.65 c 1416s| 8180k| 3297k| 0 | 0.0 |1266M| 46 | - | 50 |5289 | 0 | 0 | 0 | 356k| 0 | 0.000000e+00 | -- | Inf
1532.02/1532.55 c 1424s| 8190k| 3295k| 0 | 0.0 |1265M| 46 | - | 50 |5383 | 0 | 0 | 0 | 357k| 0 | 0.000000e+00 | -- | Inf
1540.53/1541.03 c 1432s| 8200k| 3293k| 0 | 0.0 |1264M| 46 | - | 50 |5492 | 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | -- | Inf
1548.81/1549.39 c 1441s| 8210k| 3291k| 0 | 0.0 |1263M| 46 | - | 50 |5632 | 0 | 0 | 0 | 361k| 0 | 0.000000e+00 | -- | Inf
1556.61/1557.18 c 1448s| 8220k| 3289k| 0 | 0.0 |1262M| 46 | - | 50 |5740 | 0 | 0 | 0 | 362k| 0 | 0.000000e+00 | -- | Inf
1564.72/1565.23 c 1456s| 8230k| 3287k| 0 | 0.0 |1261M| 46 | - | 50 |5896 | 0 | 0 | 0 | 364k| 0 | 0.000000e+00 | -- | Inf
1572.61/1573.10 c 1464s| 8240k| 3286k| 0 | 0.0 |1260M| 46 | - | 50 |5972 | 0 | 0 | 0 | 366k| 0 | 0.000000e+00 | -- | Inf
1580.30/1580.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1580.30/1580.83 c 1471s| 8250k| 3284k| 0 | 0.0 |1259M| 46 | - | 50 |6121 | 0 | 0 | 0 | 368k| 0 | 0.000000e+00 | -- | Inf
1588.11/1588.61 c 1479s| 8260k| 3283k| 0 | 0.0 |1258M| 46 | - | 50 |6156 | 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | -- | Inf
1596.30/1596.80 c 1487s| 8270k| 3281k| 0 | 0.0 |1257M| 46 | - | 50 |6156 | 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | -- | Inf
1603.90/1604.46 c 1495s| 8280k| 3280k| 0 | 0.0 |1256M| 46 | - | 50 |6261 | 0 | 0 | 0 | 374k| 0 | 0.000000e+00 | -- | Inf
1611.59/1612.13 c 1502s| 8290k| 3279k| 0 | 0.0 |1255M| 46 | - | 50 |6343 | 0 | 0 | 0 | 375k| 0 | 0.000000e+00 | -- | Inf
1619.80/1620.37 c 1510s| 8300k| 3277k| 0 | 0.0 |1254M| 46 | - | 50 |6406 | 0 | 0 | 0 | 377k| 0 | 0.000000e+00 | -- | Inf
1628.19/1628.73 c 1518s| 8310k| 3276k| 0 | 0.0 |1253M| 46 | - | 50 |6432 | 0 | 0 | 0 | 379k| 0 | 0.000000e+00 | -- | Inf
1636.59/1637.13 c 1527s| 8320k| 3274k| 0 | 0.0 |1252M| 46 | - | 50 |6548 | 0 | 0 | 0 | 380k| 0 | 0.000000e+00 | -- | Inf
1645.39/1645.92 c 1535s| 8330k| 3272k| 0 | 0.0 |1250M| 46 | - | 50 |6742 | 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | -- | Inf
1654.59/1655.11 c 1544s| 8340k| 3271k| 0 | 0.0 |1249M| 46 | - | 50 |6812 | 0 | 0 | 0 | 384k| 0 | 0.000000e+00 | -- | Inf
1663.98/1664.56 c 1554s| 8350k| 3269k| 0 | 0.0 |1248M| 46 | - | 50 |6925 | 0 | 0 | 0 | 386k| 0 | 0.000000e+00 | -- | Inf
1673.58/1674.19 c 1563s| 8360k| 3268k| 0 | 0.0 |1247M| 46 | - | 50 |7099 | 0 | 0 | 0 | 388k| 0 | 0.000000e+00 | -- | Inf
1683.28/1683.86 c 1573s| 8370k| 3266k| 0 | 0.0 |1246M| 46 | - | 50 |7152 | 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | -- | Inf
1693.57/1694.16 c 1583s| 8380k| 3264k| 0 | 0.0 |1245M| 46 | - | 50 |7274 | 0 | 0 | 0 | 391k| 0 | 0.000000e+00 | -- | Inf
1703.76/1704.33 c 1593s| 8390k| 3262k| 0 | 0.0 |1244M| 46 | - | 50 |7329 | 0 | 0 | 0 | 393k| 0 | 0.000000e+00 | -- | Inf
1713.77/1714.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1713.77/1714.31 c 1603s| 8400k| 3261k| 0 | 0.0 |1242M| 46 | - | 50 |7363 | 0 | 0 | 0 | 395k| 0 | 0.000000e+00 | -- | Inf
1723.56/1724.19 c 1612s| 8410k| 3259k| 0 | 0.0 |1241M| 46 | - | 50 |7487 | 0 | 0 | 0 | 396k| 0 | 0.000000e+00 | -- | Inf
1733.95/1734.52 c 1622s| 8420k| 3258k| 0 | 0.0 |1240M| 46 | - | 50 |7654 | 0 | 0 | 0 | 398k| 0 | 0.000000e+00 | -- | Inf
1744.65/1745.23 c 1633s| 8430k| 3256k| 0 | 0.0 |1239M| 46 | - | 50 |7753 | 0 | 0 | 0 | 400k| 0 | 0.000000e+00 | -- | Inf
1755.65/1756.20 c 1644s| 8440k| 3254k| 0 | 0.0 |1238M| 46 | - | 50 |7931 | 0 | 0 | 0 | 402k| 0 | 0.000000e+00 | -- | Inf
1766.15/1766.75 c 1654s| 8450k| 3253k| 0 | 0.0 |1237M| 46 | - | 50 |8041 | 0 | 0 | 0 | 404k| 0 | 0.000000e+00 | -- | Inf
1777.15/1777.75 c 1665s| 8460k| 3251k| 0 | 0.0 |1236M| 46 | - | 50 |8104 | 0 | 0 | 0 | 405k| 0 | 0.000000e+00 | -- | Inf
1788.14/1788.79 c 1676s| 8470k| 3249k| 0 | 0.0 |1235M| 46 | - | 50 |8127 | 0 | 0 | 0 | 407k| 0 | 0.000000e+00 | -- | Inf
1799.24/1799.81 c 1687s| 8480k| 3248k| 0 | 0.0 |1234M| 46 | - | 50 |8159 | 0 | 0 | 0 | 409k| 0 | 0.000000e+00 | -- | Inf
1800.05/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.61 c
1800.05/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.61 c Solving Time (sec) : 1687.57
1800.05/1800.61 c Solving Nodes : 8480693
1800.05/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.05/1800.61 c Dual Bound : +0.00000000000000e+00
1800.05/1800.61 c Gap : infinite
1800.05/1800.61 s UNKNOWN
1800.05/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.61 c Solving Time : 1687.57
1800.05/1800.61 c Original Problem :
1800.05/1800.61 c Problem name : HOME/instance-2664013-1276601844.opb
1800.05/1800.61 c Variables : 51 (51 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.61 c Constraints : 13 initial, 13 maximal
1800.05/1800.61 c Presolved Problem :
1800.05/1800.61 c Problem name : t_HOME/instance-2664013-1276601844.opb
1800.05/1800.61 c Variables : 50 (50 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.61 c Constraints : 6 initial, 8186 maximal
1800.05/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.05/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.61 c linear : 0.00 0 0 0 0 0 7 0 0
1800.05/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c root node : - 0 - - 0 - - - -
1800.05/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.61 c linear : 6 0 11045982 0 5905991 2657953 30233070 0 0 0
1800.05/1800.61 c logicor : 0+ 0 3538953 0 0 1 300473 0 0 0
1800.05/1800.61 c countsols : 0 0 0 0 5905991 0 0 0 0 0
1800.05/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.61 c linear : 746.57 0.00 742.56 0.00 4.01
1800.05/1800.61 c logicor : 275.83 0.00 275.83 0.00 0.00
1800.05/1800.61 c countsols : 1.83 0.00 0.00 0.00 1.83
1800.05/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.61 c vbounds : 5.20 2 0 0
1800.05/1800.61 c rootredcost : 4.60 0 0 0
1800.05/1800.61 c pseudoobj : 4.43 0 0 0
1800.05/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.61 c propagation : 262.04 2657954 408897 1074493 35.3 0 0.0 -
1800.05/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.61 c applied globally : - - - 207535 28.3 - - -
1800.05/1800.61 c applied locally : - - - 202002 35.8 - - -
1800.05/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.61 c redcost : 0.00 0 0 0 0 0
1800.05/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.61 c intobj : 0.00 0 0 0 0 0
1800.05/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.61 c gomory : 0.00 0 0 0 0 0
1800.05/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.61 c cmir : 0.00 0 0 0 0 0
1800.05/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.61 c clique : 0.00 0 0 0 0 0
1800.05/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.61 c mcf : 0.00 0 0 0 0 0
1800.05/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.61 c Pricers : Time Calls Vars
1800.05/1800.61 c problem variables: 0.00 0 0
1800.05/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.61 c inference : 40.16 5905991 0 0 0 0 11811982
1800.05/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.61 c random : 0.00 0 0 0 0 0 0
1800.05/1800.61 c Primal Heuristics : Time Calls Found
1800.05/1800.61 c LP solutions : 0.00 - 0
1800.05/1800.61 c pseudo solutions : 0.00 - 0
1800.05/1800.61 c oneopt : 3.70 0 0
1800.05/1800.61 c trivial : 0.00 2 0
1800.05/1800.61 c simplerounding : 0.00 0 0
1800.05/1800.61 c zirounding : 0.00 0 0
1800.05/1800.61 c rounding : 0.00 0 0
1800.05/1800.61 c shifting : 0.00 0 0
1800.05/1800.61 c intshifting : 0.00 0 0
1800.05/1800.61 c twoopt : 0.00 0 0
1800.05/1800.61 c fixandinfer : 0.00 0 0
1800.05/1800.61 c feaspump : 0.00 0 0
1800.05/1800.61 c coefdiving : 0.00 0 0
1800.05/1800.61 c pscostdiving : 0.00 0 0
1800.05/1800.61 c fracdiving : 0.00 0 0
1800.05/1800.61 c veclendiving : 0.00 0 0
1800.05/1800.61 c intdiving : 0.00 0 0
1800.05/1800.61 c actconsdiving : 0.00 0 0
1800.05/1800.61 c objpscostdiving : 0.00 0 0
1800.05/1800.61 c rootsoldiving : 0.00 0 0
1800.05/1800.61 c linesearchdiving : 0.00 0 0
1800.05/1800.61 c guideddiving : 0.00 0 0
1800.05/1800.61 c octane : 0.00 0 0
1800.05/1800.61 c rens : 0.00 0 0
1800.05/1800.61 c rins : 0.00 0 0
1800.05/1800.61 c localbranching : 0.00 0 0
1800.05/1800.61 c mutation : 0.00 0 0
1800.05/1800.61 c crossover : 0.00 0 0
1800.05/1800.61 c dins : 0.00 0 0
1800.05/1800.61 c undercover : 0.00 0 0
1800.05/1800.61 c nlp : 3.94 0 0
1800.05/1800.61 c trysol : 3.35 0 0
1800.05/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.61 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.61 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.61 c (at root node) : - 0 0 0.00 -
1800.05/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.61 c B&B Tree :
1800.05/1800.61 c number of runs : 1
1800.05/1800.61 c nodes : 8480693
1800.05/1800.61 c nodes (total) : 8480693
1800.05/1800.61 c nodes left : 3248033
1800.05/1800.61 c max depth : 46
1800.05/1800.61 c max depth (total): 46
1800.05/1800.61 c backtracks : 872544 (10.3%)
1800.05/1800.61 c delayed cutoffs : 83257
1800.05/1800.61 c repropagations : 592878 (776686 domain reductions, 83252 cutoffs)
1800.05/1800.61 c avg switch length: 6.47
1800.05/1800.61 c switching time : 365.70
1800.05/1800.61 c Solution :
1800.05/1800.61 c Solutions found : 0 (0 improvements)
1800.05/1800.61 c Primal Bound : -
1800.05/1800.61 c Dual Bound : +0.00000000000000e+00
1800.05/1800.61 c Gap : infinite
1800.05/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.61 c Root Iterations : 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664013-1276601844/watcher-2664013-1276601844 -o /tmp/evaluation-result-2664013-1276601844/solver-2664013-1276601844 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664013-1276601844.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.98 2.06 1.69 3/105 9491
/proc/meminfo: memFree=1535624/2059040 swapFree=4192956/4192956
[pid=9491] ppid=9489 vsize=6584 CPUtime=0
/proc/9491/stat : 9491 (pbscip.linux.x8) R 9489 9491 9392 0 -1 4202496 1108 0 0 0 0 0 0 0 25 0 1 0 1478522 6742016 1030 1992294400 4194304 7136930 140733740884288 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9491/statm: 1646 1040 254 719 0 925 0
[startup+0.0556041 s]
/proc/loadavg: 1.98 2.06 1.69 3/105 9491
/proc/meminfo: memFree=1535624/2059040 swapFree=4192956/4192956
[pid=9491] ppid=9489 vsize=10956 CPUtime=0.05
/proc/9491/stat : 9491 (pbscip.linux.x8) R 9489 9491 9392 0 -1 4202496 2949 0 0 0 3 2 0 0 25 0 1 0 1478522 11218944 2004 1992294400 4194304 7136930 140733740884288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9491/statm: 2739 2004 387 719 0 2018 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10956
[startup+0.100609 s]
/proc/loadavg: 1.98 2.06 1.69 3/105 9491
/proc/meminfo: memFree=1535624/2059040 swapFree=4192956/4192956
[pid=9491] ppid=9489 vsize=11088 CPUtime=0.09
/proc/9491/stat : 9491 (pbscip.linux.x8) R 9489 9491 9392 0 -1 4202496 2994 0 0 0 7 2 0 0 25 0 1 0 1478522 11354112 2049 1992294400 4194304 7136930 140733740884288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9491/statm: 2772 2049 387 719 0 2051 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11088
[startup+0.300634 s]
/proc/loadavg: 1.98 2.06 1.69 3/105 9491
/proc/meminfo: memFree=1535624/2059040 swapFree=4192956/4192956
[pid=9491] ppid=9489 vsize=11660 CPUtime=0.29
/proc/9491/stat : 9491 (pbscip.linux.x8) R 9489 9491 9392 0 -1 4202496 3137 0 0 0 25 4 0 0 25 0 1 0 1478522 11939840 2192 1992294400 4194304 7136930 140733740884288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9491/statm: 2915 2192 387 719 0 2194 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11660
[startup+0.700684 s]
/proc/loadavg: 1.98 2.06 1.69 3/105 9491
/proc/meminfo: memFree=1535624/2059040 swapFree=4192956/4192956
[pid=9491] ppid=9489 vsize=12576 CPUtime=0.69
/proc/9491/stat : 9491 (pbscip.linux.x8) R 9489 9491 9392 0 -1 4202496 3391 0 0 0 61 8 0 0 25 0 1 0 1478522 12877824 2446 1992294400 4194304 7136930 140733740884288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9491/statm: 3144 2446 387 719 0 2423 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12576
[startup+1.50078 s]
/proc/loadavg: 1.98 2.06 1.69 2/106 9492
/proc/meminfo: memFree=1526316/2059040 swapFree=4192956/4192956
[pid=9491] ppid=9489 vsize=14680 CPUtime=1.49
/proc/9491/stat : 9491 (pbscip.linux.x8) R 9489 9491 9392 0 -1 4202496 3919 0 0 0 133 16 0 0 25 0 1 0 1478522 15032320 2974 1992294400 4194304 7136930 140733740884288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9491/statm: 3670 2974 387 719 0 2949 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14680
[startup+3.10099 s]
/proc/loadavg: 1.98 2.06 1.69 2/106 9492
/proc/meminfo: memFree=1524332/2059040 swapFree=4192956/4192956
[pid=9491] ppid=9489 vsize=16772 CPUtime=3.09
/proc/9491/stat : 9491 (pbscip.linux.x8) R 9489 9491 9392 0 -1 4202496 4443 0 0 0 280 29 0 0 25 0 1 0 1478522 17174528 3498 1992294400 4194304 7136930 140733740884288 18446744073709551615 4434279 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9491/statm: 4193 3498 387 719 0 3472 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16772
[startup+6.30138 s]
/proc/loadavg: 1.90 2.04 1.69 2/106 9492
/proc/meminfo: memFree=1518628/2059040 swapFree=4192956/4192956
[pid=9491] ppid=9489 vsize=22292 CPUtime=6.29
/proc/9491/stat : 9491 (pbscip.linux.x8) R 9489 9491 9392 0 -1 4202496 5886 0 0 0 570 59 0 0 25 0 1 0 1478522 22827008 4941 1992294400 4194304 7136930 140733740884288 18446744073709551615 5921494 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9491/statm: 5573 4941 387 719 0 4852 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22292
[startup+12.7012 s]
/proc/loadavg: 1.83 2.02 1.68 2/106 9492
/proc/meminfo: memFree=1507964/2059040 swapFree=4192956/4192956
[pid=9491] ppid=9489 vsize=32124 CPUtime=12.68
/proc/9491/stat : 9491 (pbscip.linux.x8) R 9489 9491 9392 0 -1 4202496 8423 0 0 0 1156 112 0 0 25 0 1 0 1478522 32894976 7478 1992294400 4194304 7136930 140733740884288 18446744073709551615 5918842 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9491/statm: 8031 7478 387 719 0 7310 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 32124
[startup+25.5008 s]
/proc/loadavg: 1.64 1.97 1.67 2/106 9492
/proc/meminfo: memFree=1490976/2059040 swapFree=4192956/4192956
[pid=9491] ppid=9489 vsize=51136 CPUtime=25.48
/proc/9491/stat : 9491 (pbscip.linux.x8) R 9489 9491 9392 0 -1 4202496 12819 0 0 0 2332 216 0 0 25 0 1 0 1478522 52363264 11874 1992294400 4194304 7136930 140733740884288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9491/statm: 12784 11874 387 719 0 12063 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 51136
[startup+51.101 s]
/proc/loadavg: 1.42 1.89 1.65 2/106 9492
/proc/meminfo: memFree=1447824/2059040 swapFree=4192956/4192956
[pid=9491] ppid=9489 vsize=95196 CPUtime=51.07
/proc/9491/stat : 9491 (pbscip.linux.x8) R 9489 9491 9392 0 -1 4202496 23252 0 0 0 4655 452 0 0 25 0 1 0 1478522 97480704 22307 1992294400 4194304 7136930 140733740884288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9491/statm: 23799 22307 387 719 0 23078 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 95196
[startup+102.308 s]
/proc/loadavg: 1.18 1.75 1.62 2/106 9494
/proc/meminfo: memFree=1388676/2059040 swapFree=4192956/4192956
[pid=9491] ppid=9489 vsize=151692 CPUtime=102.27
/proc/9491/stat : 9491 (pbscip.linux.x8) R 9489 9491 9392 0 -1 4202496 37835 0 0 0 9353 874 0 0 25 0 1 0 1478522 155332608 36890 1992294400 4194304 7136930 140733740884288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9491/statm: 37923 36890 387 719 0 37202 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 151692
[startup+162.301 s]
/proc/loadavg: 1.06 1.61 1.58 2/106 9496
/proc/meminfo: memFree=1303240/2059040 swapFree=4192956/4192956
[pid=9491] ppid=9489 vsize=242408 CPUtime=162.24
/proc/9491/stat : 9491 (pbscip.linux.x8) R 9489 9491 9392 0 -1 4202496 59413 0 0 0 14797 1427 0 0 25 0 1 0 1478522 248225792 58468 1992294400 4194304 7136930 140733740884288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9491/statm: 60602 58468 387 719 0 59881 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 242408
[startup+222.301 s]
/proc/loadavg: 1.02 1.50 1.54 2/106 9498
/proc/meminfo: memFree=1217804/2059040 swapFree=4192956/4192956
[pid=9491] ppid=9489 vsize=323192 CPUtime=222.22
/proc/9491/stat : 9491 (pbscip.linux.x8) R 9489 9491 9392 0 -1 4202496 80461 0 0 0 20265 1957 0 0 25 0 1 0 1478522 330948608 79516 1992294400 4194304 7136930 140733740884288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9491/statm: 80798 79516 387 719 0 80077 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 323192
[startup+282.301 s]
/proc/loadavg: 1.01 1.41 1.50 2/106 9500
/proc/meminfo: memFree=1148736/2059040 swapFree=4192956/4192956
[pid=9491] ppid=9489 vsize=390332 CPUtime=282.21
/proc/9491/stat : 9491 (pbscip.linux.x8) R 9489 9491 9392 0 -1 4202496 97913 0 0 0 25752 2469 0 0 25 0 1 0 1478522 399699968 96968 1992294400 4194304 7136930 140733740884288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9491/statm: 97583 96968 387 719 0 96862 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 390332
[startup+342.301 s]
/proc/loadavg: 1.00 1.33 1.47 2/106 9500
/proc/meminfo: memFree=1080040/2059040 swapFree=4192956/4192956
[pid=9491] ppid=9489 vsize=471968 CPUtime=342.19
/proc/9491/stat : 9491 (pbscip.linux.x8) R 9489 9491 9392 0 -1 4202496 114759 0 0 0 31280 2939 0 0 25 0 1 0 1478522 483295232 113814 1992294400 4194304 7136930 140733740884288 18446744073709551615 4947431 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9491/statm: 117992 113814 387 719 0 117271 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 471968
[startup+402.301 s]
/proc/loadavg: 1.00 1.27 1.43 2/106 9502
/proc/meminfo: memFree=1025604/2059040 swapFree=4192956/4192956
[pid=9491] ppid=9489 vsize=525096 CPUtime=402.17
/proc/9491/stat : 9491 (pbscip.linux.x8) R 9489 9491 9392 0 -1 4202496 128430 0 0 0 36843 3374 0 0 25 0 1 0 1478522 537698304 127485 1992294400 4194304 7136930 140733740884288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9491/statm: 131274 127485 387 719 0 130553 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 525096
[startup+462.301 s]
/proc/loadavg: 1.00 1.22 1.41 2/106 9504
/proc/meminfo: memFree=977616/2059040 swapFree=4192956/4192956
[pid=9491] ppid=9489 vsize=571368 CPUtime=462.14
/proc/9491/stat : 9491 (pbscip.linux.x8) R 9489 9491 9392 0 -1 4202496 140293 0 0 0 42422 3792 0 0 25 0 1 0 1478522 585080832 139348 1992294400 4194304 7136930 140733740884288 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9491/statm: 142842 139348 387 719 0 142121 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 571368
[startup+522.301 s]
/proc/loadavg: 1.00 1.17 1.38 2/106 9506
/proc/meminfo: memFree=941656/2059040 swapFree=4192956/4192956
[pid=9491] ppid=9489 vsize=606476 CPUtime=522.13
/proc/9491/stat : 9491 (pbscip.linux.x8) R 9489 9491 9392 0 -1 4202496 149207 0 0 0 48058 4155 0 0 25 0 1 0 1478522 621031424 148262 1992294400 4194304 7136930 140733740884288 18446744073709551615 4947417 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9491/statm: 151619 148262 387 719 0 150898 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 606476
[startup+582.3 s]
/proc/loadavg: 1.00 1.14 1.35 2/106 9508
/proc/meminfo: memFree=856964/2059040 swapFree=4192956/4192956
[pid=9491] ppid=9489 vsize=687208 CPUtime=582.11
/proc/9491/stat : 9491 (pbscip.linux.x8) R 9489 9491 9392 0 -1 4202496 170397 0 0 0 53535 4676 0 0 25 0 1 0 1478522 703700992 169452 1992294400 4194304 7136930 140733740884288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9491/statm: 171802 169452 387 719 0 171081 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 687208
[startup+642.301 s]
/proc/loadavg: 1.00 1.11 1.33 2/106 9508
/proc/meminfo: memFree=771280/2059040 swapFree=4192956/4192956
[pid=9491] ppid=9489 vsize=768480 CPUtime=642.1
/proc/9491/stat : 9491 (pbscip.linux.x8) R 9489 9491 9392 0 -1 4202496 191643 0 0 0 59015 5195 0 0 25 0 1 0 1478522 786923520 190698 1992294400 4194304 7136930 140733740884288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9491/statm: 192120 190698 387 719 0 191399 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 768480
[startup+702.301 s]
################
# More data... #
################
/proc/9491/stat : 9491 (pbscip.linux.x8) R 9489 9491 9392 0 -1 4202496 316164 0 0 0 97558 8639 0 0 25 0 1 0 1478522 1309847552 315219 1992294400 4194304 7136930 140733740884288 18446744073709551615 4979111 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9491/statm: 319787 315219 387 719 0 319066 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 1279148
[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.17 2/106 9522
/proc/meminfo: memFree=207328/2059040 swapFree=4192956/4192956
[pid=9491] ppid=9489 vsize=1341252 CPUtime=1121.95
/proc/9491/stat : 9491 (pbscip.linux.x8) R 9489 9491 9392 0 -1 4202496 332237 0 0 0 103108 9087 0 0 25 0 1 0 1478522 1373442048 331292 1992294400 4194304 7136930 140733740884288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9491/statm: 335313 331292 387 719 0 334592 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 1341252
[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.16 2/106 9524
/proc/meminfo: memFree=145452/2059040 swapFree=4192956/4192956
[pid=9491] ppid=9489 vsize=1400560 CPUtime=1181.94
/proc/9491/stat : 9491 (pbscip.linux.x8) R 9489 9491 9392 0 -1 4202496 347616 0 0 0 108651 9543 0 0 25 0 1 0 1478522 1434173440 346671 1992294400 4194304 7136930 140733740884288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9491/statm: 350140 346671 387 719 0 349419 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 1400560
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.15 2/106 9524
/proc/meminfo: memFree=112840/2059040 swapFree=4192956/4192956
[pid=9491] ppid=9489 vsize=1430652 CPUtime=1241.91
/proc/9491/stat : 9491 (pbscip.linux.x8) R 9489 9491 9392 0 -1 4202496 368859 0 0 0 114218 9973 0 0 25 0 1 0 1478522 1464987648 354479 1992294400 4194304 7136930 140733740884288 18446744073709551615 4619912 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9491/statm: 357663 354479 387 719 0 356942 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 1430652
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.14 2/106 9526
/proc/meminfo: memFree=112716/2059040 swapFree=4192956/4192956
[pid=9491] ppid=9489 vsize=1431372 CPUtime=1301.91
/proc/9491/stat : 9491 (pbscip.linux.x8) R 9489 9491 9392 0 -1 4202496 368996 0 0 0 119956 10235 0 0 25 0 1 0 1478522 1465724928 354616 1992294400 4194304 7136930 140733740884288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9491/statm: 357843 354616 387 719 0 357122 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1431372
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.13 2/106 9528
/proc/meminfo: memFree=112344/2059040 swapFree=4192956/4192956
[pid=9491] ppid=9489 vsize=1431832 CPUtime=1361.88
/proc/9491/stat : 9491 (pbscip.linux.x8) R 9489 9491 9392 0 -1 4202496 369108 0 0 0 125773 10415 0 0 25 0 1 0 1478522 1466195968 354728 1992294400 4194304 7136930 140733740884288 18446744073709551615 5955584 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9491/statm: 357958 354728 387 719 0 357237 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1431832
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.12 2/106 9539
/proc/meminfo: memFree=110608/2059040 swapFree=4192956/4192956
[pid=9491] ppid=9489 vsize=1432360 CPUtime=1421.86
/proc/9491/stat : 9491 (pbscip.linux.x8) R 9489 9491 9392 0 -1 4202496 369184 0 0 0 131627 10559 0 0 25 0 1 0 1478522 1466736640 354804 1992294400 4194304 7136930 140733740884288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9491/statm: 358090 354804 387 719 0 357369 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1432360
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.10 2/106 9541
/proc/meminfo: memFree=110608/2059040 swapFree=4192956/4192956
[pid=9491] ppid=9489 vsize=1432516 CPUtime=1481.83
/proc/9491/stat : 9491 (pbscip.linux.x8) R 9489 9491 9392 0 -1 4202496 369241 0 0 0 137490 10693 0 0 25 0 1 0 1478522 1466896384 354861 1992294400 4194304 7136930 140733740884288 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9491/statm: 358129 354861 387 719 0 357408 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1432516
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/106 9541
/proc/meminfo: memFree=110732/2059040 swapFree=4192956/4192956
[pid=9491] ppid=9489 vsize=1432748 CPUtime=1541.82
/proc/9491/stat : 9491 (pbscip.linux.x8) R 9489 9491 9392 0 -1 4202496 369277 0 0 0 143368 10814 0 0 25 0 1 0 1478522 1467133952 354897 1992294400 4194304 7136930 140733740884288 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9491/statm: 358187 354897 387 719 0 357466 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1432748
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/106 9543
/proc/meminfo: memFree=110360/2059040 swapFree=4192956/4192956
[pid=9491] ppid=9489 vsize=1433588 CPUtime=1601.8
/proc/9491/stat : 9491 (pbscip.linux.x8) R 9489 9491 9392 0 -1 4202496 369425 0 0 0 149252 10928 0 0 25 0 1 0 1478522 1467994112 355045 1992294400 4194304 7136930 140733740884288 18446744073709551615 4409086 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9491/statm: 358397 355045 387 719 0 357676 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1433588
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.08 3/106 9545
/proc/meminfo: memFree=110112/2059040 swapFree=4192956/4192956
[pid=9491] ppid=9489 vsize=1433764 CPUtime=1661.78
/proc/9491/stat : 9491 (pbscip.linux.x8) R 9489 9491 9392 0 -1 4202496 369469 0 0 0 155141 11037 0 0 25 0 1 0 1478522 1468174336 355089 1992294400 4194304 7136930 140733740884288 18446744073709551615 4210705 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9491/statm: 358441 355089 387 719 0 357720 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1433764
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/106 9547
/proc/meminfo: memFree=109988/2059040 swapFree=4192956/4192956
[pid=9491] ppid=9489 vsize=1434112 CPUtime=1721.76
/proc/9491/stat : 9491 (pbscip.linux.x8) R 9489 9491 9392 0 -1 4202496 369532 0 0 0 161041 11135 0 0 25 0 1 0 1478522 1468530688 355152 1992294400 4194304 7136930 140733740884288 18446744073709551615 4981607 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9491/statm: 358528 355152 387 719 0 357807 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1434112
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/106 9549
/proc/meminfo: memFree=109616/2059040 swapFree=4192956/4192956
[pid=9491] ppid=9489 vsize=1434112 CPUtime=1781.74
/proc/9491/stat : 9491 (pbscip.linux.x8) R 9489 9491 9392 0 -1 4202496 369562 0 0 0 166953 11221 0 0 25 0 1 0 1478522 1468530688 355182 1992294400 4194304 7136930 140733740884288 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9491/statm: 358528 355182 387 719 0 357807 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1434112
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.07 2/106 9549
/proc/meminfo: memFree=109492/2059040 swapFree=4192956/4192956
[pid=9491] ppid=9489 vsize=1434276 CPUtime=1800.05
/proc/9491/stat : 9491 (pbscip.linux.x8) R 9489 9491 9392 0 -1 4202496 369574 0 0 0 168757 11248 0 0 25 0 1 0 1478522 1468698624 355194 1992294400 4194304 7136930 140733740884288 18446744073709551615 5001200 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9491/statm: 358569 355194 387 719 0 357848 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1434276
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -9491
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.07 2/106 9549
/proc/meminfo: memFree=109492/2059040 swapFree=4192956/4192956
[pid=9491] ppid=9489 vsize=1434276 CPUtime=1800.83
/proc/9491/stat : 9491 (pbscip.linux.x8) R 9489 9491 9392 0 -1 4202496 369580 0 0 0 168835 11248 0 0 25 0 1 0 1478522 1468698624 355200 1992294400 4194304 7136930 140733740884288 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9491/statm: 358569 355200 393 719 0 357848 0
Current children cumulated CPU time (s) 1800.83
Current children cumulated vsize (KiB) 1434276
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 9550
/proc/meminfo: memFree=109484/2059040 swapFree=4192956/4192956
[pid=9491] ppid=9489 vsize=1434276 CPUtime=1801.63
/proc/9491/stat : 9491 (pbscip.linux.x8) R 9489 9491 9392 0 -1 4202496 369580 0 0 0 168915 11248 0 0 25 0 1 0 1478522 1468698624 355200 1992294400 4194304 7136930 140733740884288 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9491/statm: 358569 355200 393 719 0 357848 0
Current children cumulated CPU time (s) 1801.63
Current children cumulated vsize (KiB) 1434276
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 9550
/proc/meminfo: memFree=109484/2059040 swapFree=4192956/4192956
[pid=9491] ppid=9489 vsize=1434276 CPUtime=1802.03
/proc/9491/stat : 9491 (pbscip.linux.x8) R 9489 9491 9392 0 -1 4202496 369580 0 0 0 168955 11248 0 0 25 0 1 0 1478522 1468698624 355200 1992294400 4194304 7136930 140733740884288 18446744073709551615 6165765 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9491/statm: 358569 355200 393 719 0 357848 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 1434276
[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 9550
/proc/meminfo: memFree=109484/2059040 swapFree=4192956/4192956
[pid=9491] ppid=9489 vsize=0 CPUtime=1802.14
/proc/9491/stat : 9491 (pbscip.linux.x8) R 9489 9491 9392 0 -1 4203524 369580 0 0 0 168957 11257 0 0 25 0 1 0 1478522 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/9491/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.14
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.74
CPU time (s): 1802.18
CPU user time (s): 1689.58
CPU system time (s): 112.608
CPU usage (%): 99.9692
Max. virtual memory (cumulated for all children) (KiB): 1495176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1689.58
system time used= 112.608
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 369580
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= 2
involuntary context switches= 22974
runsolver used 2.94655 second user time and 8.59569 second system time
The end