0.00/0.00 c SCIP version 1.1.0.7
0.00/0.00 c LP-Solver SoPlex 1.4.1
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c read problem <HOME/instance-3734928-1338706015.opb>
0.00/0.00 c original problem has 198 variables (198 bin, 0 int, 0 impl, 0 cont) and 16 constraints
0.00/0.00 c start presolving problem
0.00/0.00 c presolving:
0.00/0.00 c (round 1) 0 del vars, 8 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) 8 del vars, 8 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c (0.0s) probing: 101/190 (53.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.01 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.01 c presolving (3 rounds):
0.00/0.01 c 8 deleted vars, 8 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.01 c 0 implications, 0 cliques
0.00/0.01 c presolved problem has 190 variables (190 bin, 0 int, 0 impl, 0 cont) and 8 constraints
0.00/0.01 c 8 constraints of type <linear>
0.00/0.01 c transformed objective value is always integral (scale: 1)
0.00/0.01 c Presolving Time: 0.01
0.00/0.01 c OPT-LIN
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/memory = c 13950
0.00/0.01 c # maximal time in seconds to run
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/time = c 1791
0.00/0.01 c # frequency for displaying node information lines
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.01 c display/freq = c 10000
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c start solving problem
0.00/0.01 c
0.00/0.01 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.01 c 0.0s| 1 | 0 | 127 | 610k| 0 | 8 | 190 | 8 | 8 | 190 | 8 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.02 c 0.0s| 1 | 0 | 182 | 742k| 0 | 16 | 190 | 8 | 8 | 190 | 17 | 9 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 185 | 765k| 0 | 18 | 190 | 8 | 8 | 190 | 19 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf
0.04/0.04 c 0.0s| 1 | 0 | 192 | 784k| 0 | 18 | 190 | 8 | 8 | 190 | 23 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf
0.04/0.05 c 0.1s| 1 | 0 | 196 | 793k| 0 | 19 | 190 | 8 | 8 | 190 | 26 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.04/0.06 c 0.1s| 1 | 0 | 203 | 806k| 0 | 20 | 190 | 8 | 8 | 190 | 28 | 20 | 0 | 0 | 0.000000e+00 | -- | Inf
0.04/0.08 c 0.1s| 1 | 0 | 208 | 812k| 0 | 22 | 190 | 8 | 8 | 190 | 30 | 22 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.16 c 0.1s| 1 | 2 | 208 | 813k| 0 | 22 | 190 | 8 | 8 | 190 | 30 | 22 | 0 | 22 | 0.000000e+00 | -- | Inf
0.19/0.29 o 1360
0.19/0.29 c p 0.3s| 59 | 60 | 626 | 915k| 53 | - | 190 | 8 | 2 | 190 | 25 | 22 | 2 | 396 | 0.000000e+00 | 1.360000e+03 | Inf
0.29/0.33 o 946
0.29/0.33 c f 0.3s| 108 | 106 | 847 | 945k| 59 | - | 190 | 8 | 3 | 190 | 25 | 22 | 2 | 548 | 0.000000e+00 | 9.460000e+02 | Inf
0.38/0.42 o 944
0.38/0.42 c l 0.4s| 248 | 242 | 1580 |1009k| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 | 5 | 763 | 0.000000e+00 | 9.440000e+02 | Inf
0.38/0.44 o 525
0.38/0.44 c g 0.4s| 291 | 248 | 1881 |1030k| 70 | - | 190 | 8 | 4 | 190 | 25 | 22 | 8 | 806 | 0.000000e+00 | 5.250000e+02 | Inf
0.38/0.45 o 523
0.38/0.45 c * 0.4s| 303 | 255 | 1939 |1019k| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 | 8 | 819 | 0.000000e+00 | 5.230000e+02 | Inf
0.48/0.58 o 228
0.48/0.58 c p 0.6s| 597 | 497 | 4230 |1141k| 70 | - | 190 | 8 | 4 | 190 | 25 | 22 | 15 | 869 | 0.000000e+00 | 2.280000e+02 | Inf
0.48/0.59 o 226
0.48/0.59 c * 0.6s| 606 | 498 | 4267 |1122k| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 | 15 | 880 | 0.000000e+00 | 2.260000e+02 | Inf
0.48/0.59 o 224
0.48/0.59 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.48/0.59 c * 0.6s| 609 | 497 | 4268 |1125k| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 | 15 | 889 | 0.000000e+00 | 2.240000e+02 | Inf
0.48/0.59 o 222
0.48/0.59 c * 0.6s| 610 | 495 | 4268 |1127k| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 | 15 | 891 | 0.000000e+00 | 2.220000e+02 | Inf
0.59/0.65 o 221
0.59/0.65 c * 0.6s| 763 | 640 | 5050 |1198k| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 | 19 | 910 | 0.000000e+00 | 2.210000e+02 | Inf
0.59/0.66 o 218
0.59/0.66 c * 0.6s| 788 | 654 | 5158 |1209k| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 | 21 | 968 | 0.000000e+00 | 2.180000e+02 | Inf
0.69/0.75 o 216
0.69/0.75 c * 0.7s| 1002 | 854 | 6500 |1312k| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 | 27 |1017 | 0.000000e+00 | 2.160000e+02 | Inf
0.69/0.75 o 214
0.69/0.75 c * 0.7s| 1003 | 851 | 6502 |1313k| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 | 27 |1017 | 0.000000e+00 | 2.140000e+02 | Inf
1.29/1.38 o 213
1.29/1.38 c * 1.3s| 2500 | 2322 | 17230 |1986k| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 | 75 |1082 | 0.000000e+00 | 2.130000e+02 | Inf
2.10/2.11 o 150
2.10/2.11 c g 2.0s| 4062 | 3780 | 29450 |2583k| 70 | - | 190 | 8 | 2 | 190 | 25 | 22 | 121 |1103 | 0.000000e+00 | 1.500000e+02 | Inf
2.49/2.51 o 114
2.49/2.51 c c 2.4s| 4934 | 4500 | 36193 |2909k| 70 | - | 190 | 8 | 4 | 190 | 25 | 22 | 154 |1118 | 0.000000e+00 | 1.140000e+02 | Inf
4.89/4.91 c 4.7s| 10000 | 9391 | 75040 |5090k| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 383 |1195 | 0.000000e+00 | 1.140000e+02 | Inf
8.59/8.61 o 113
8.59/8.61 c v 8.2s| 16697 | 15518 |124348 |8067k| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 | 668 |1530 | 0.000000e+00 | 1.130000e+02 | Inf
8.89/8.99 o 111
8.89/8.99 c * 8.5s| 17594 | 16298 |130648 |8451k| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 | 704 |1562 | 0.000000e+00 | 1.110000e+02 | Inf
9.39/9.43 o 109
9.39/9.43 c * 9.0s| 18593 | 17166 |137912 |8862k| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 | 733 |1618 | 0.000000e+00 | 1.090000e+02 | Inf
9.39/9.43 o 107
9.39/9.43 c l 9.0s| 18597 | 17150 |137917 |8841k| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 | 733 |1635 | 0.000000e+00 | 1.070000e+02 | Inf
9.48/9.53 o 103
9.48/9.53 c g 9.1s| 18802 | 17269 |139334 |8853k| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 | 743 |1655 | 0.000000e+00 | 1.030000e+02 | Inf
10.09/10.10 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.09/10.10 c 9.6s| 20000 | 18337 |148890 |9373k| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 796 |1721 | 0.000000e+00 | 1.030000e+02 | Inf
10.69/10.72 o 101
10.69/10.72 c *10.2s| 21394 | 19452 |158854 |9946k| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 | 852 |1790 | 0.000000e+00 | 1.010000e+02 | Inf
10.69/10.73 o 99
10.69/10.73 c f10.2s| 21396 | 19413 |158862 |9894k| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 | 854 |1808 | 0.000000e+00 | 9.900000e+01 | Inf
10.99/11.01 o 98
10.99/11.01 c *10.4s| 21885 | 19809 |162779 | 10M| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 | 895 |1829 | 0.000000e+00 | 9.800000e+01 | Inf
12.29/12.37 o 96
12.29/12.37 c *11.8s| 25162 | 22342 |185073 | 11M| 70 | - | 190 | 9 | 0 | 190 | 25 | 22 |1059 |2033 | 0.000000e+00 | 9.600000e+01 | Inf
12.29/12.38 o 93
12.29/12.38 c g11.8s| 25191 | 22278 |185268 | 11M| 70 | - | 190 | 9 | 1 | 190 | 25 | 22 |1063 |2041 | 0.000000e+00 | 9.300000e+01 | Inf
12.39/12.41 o 89
12.39/12.41 c g11.8s| 25242 | 22207 |185710 | 11M| 70 | - | 190 | 9 | 1 | 190 | 25 | 22 |1070 |2050 | 0.000000e+00 | 8.900000e+01 | Inf
12.39/12.44 o 87
12.39/12.44 c *11.8s| 25303 | 22179 |186134 | 11M| 70 | - | 190 | 9 | 0 | 190 | 25 | 22 |1071 |2065 | 0.000000e+00 | 8.700000e+01 | Inf
12.39/12.44 o 85
12.39/12.44 c *11.8s| 25304 | 22094 |186137 | 11M| 70 | - | 190 | 9 | 0 | 190 | 25 | 22 |1071 |2065 | 0.000000e+00 | 8.500000e+01 | Inf
12.39/12.45 o 84
12.39/12.45 c *11.8s| 25313 | 22051 |186206 | 11M| 70 | - | 190 | 9 | 0 | 190 | 25 | 22 |1071 |2072 | 0.000000e+00 | 8.400000e+01 | Inf
12.58/12.60 o 82
12.58/12.60 c *12.0s| 25594 | 22215 |188683 | 11M| 70 | - | 190 | 9 | 1 | 190 | 25 | 22 |1087 |2091 | 0.000000e+00 | 8.200000e+01 | Inf
12.58/12.60 o 80
12.58/12.60 c c12.0s| 25596 | 22119 |188693 | 11M| 70 | - | 190 | 9 | 1 | 190 | 25 | 22 |1088 |2099 | 0.000000e+00 | 8.000000e+01 | Inf
12.89/12.99 o 68
12.89/12.99 c C12.3s| 26196 | 22023 |194056 | 10M| 70 | 8 | 190 | 9 | 9 | 190 | 25 | 22 |1133 |2114 | 0.000000e+00 | 6.800000e+01 | Inf
14.69/14.71 c 14.0s| 30000 | 24548 |221559 | 12M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 |1374 |2297 | 0.000000e+00 | 6.800000e+01 | Inf
15.30/15.37 o 66
15.30/15.37 c *14.6s| 31743 | 25700 |231985 | 13M| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 |1446 |2372 | 0.000000e+00 | 6.600000e+01 | Inf
15.30/15.37 o 64
15.30/15.37 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.30/15.37 c *14.6s| 31744 | 25252 |231987 | 12M| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 |1446 |2372 | 0.000000e+00 | 6.400000e+01 | Inf
18.48/18.53 c 17.6s| 40000 | 31024 |284849 | 16M| 70 | - | 190 | 9 | 8 | 190 | 25 | 22 |1833 |2803 | 0.000000e+00 | 6.400000e+01 | Inf
22.18/22.28 c 21.2s| 50000 | 37776 |349381 | 21M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 |2312 |3204 | 0.000000e+00 | 6.400000e+01 | Inf
26.78/26.83 o 63
26.78/26.83 c *25.5s| 59407 | 43761 |411852 | 25M| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 |2789 |3541 | 0.000000e+00 | 6.300000e+01 | Inf
26.78/26.83 o 61
26.78/26.83 c *25.5s| 59408 | 43523 |411853 | 24M| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 |2789 |3541 | 0.000000e+00 | 6.100000e+01 | Inf
26.99/27.06 c 25.8s| 60000 | 43912 |415706 | 24M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 |2818 |3563 | 0.000000e+00 | 6.100000e+01 | Inf
28.49/28.53 o 59
28.49/28.53 c *27.1s| 63821 | 46139 |441133 | 26M| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 |2974 |3683 | 0.000000e+00 | 5.900000e+01 | Inf
28.49/28.53 o 57
28.49/28.53 c *27.1s| 63822 | 45772 |441133 | 25M| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 |2974 |3685 | 0.000000e+00 | 5.700000e+01 | Inf
30.79/30.80 c 29.3s| 70000 | 49765 |479402 | 28M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 |3260 |3894 | 0.000000e+00 | 5.700000e+01 | Inf
33.99/34.07 c 32.4s| 80000 | 55235 |537832 | 32M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 |3775 |4248 | 0.000000e+00 | 5.700000e+01 | Inf
34.48/34.53 o 56
34.48/34.53 c *32.9s| 81289 | 55703 |545772 | 32M| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 |3839 |4269 | 0.000000e+00 | 5.600000e+01 | Inf
37.58/37.64 c 35.8s| 90000 | 60699 |598621 | 36M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 |4301 |4507 | 0.000000e+00 | 5.600000e+01 | Inf
41.08/41.12 c 39.1s|100000 | 66430 |659427 | 40M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 |4813 |4789 | 0.000000e+00 | 5.600000e+01 | Inf
44.68/44.78 c 42.6s|110000 | 72429 |722462 | 44M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 |5332 |5020 | 0.000000e+00 | 5.600000e+01 | Inf
46.59/46.66 o 54
46.59/46.66 c *44.4s|115511 | 74759 |755719 | 45M| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 |5628 |5170 | 0.000000e+00 | 5.400000e+01 | Inf
48.29/48.35 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
48.29/48.35 c 46.0s|120000 | 77498 |784046 | 47M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 |5838 |5266 | 0.000000e+00 | 5.400000e+01 | Inf
50.28/50.38 o 53
50.28/50.38 c *47.9s|123365 | 78935 |804708 | 48M| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 |6004 |5352 | 0.000000e+00 | 5.300000e+01 | Inf
50.28/50.39 o 51
50.28/50.39 c v47.9s|123370 | 78117 |804738 | 47M| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 |6007 |5366 | 0.000000e+00 | 5.100000e+01 | Inf
51.78/51.88 o 50
51.78/51.88 c *49.4s|127595 | 80048 |830378 | 48M| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 |6216 |5446 | 0.000000e+00 | 5.000000e+01 | Inf
51.88/51.90 o 48
51.88/51.90 c *49.4s|127596 | 78437 |830380 | 46M| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 |6216 |5446 | 0.000000e+00 | 4.800000e+01 | Inf
54.08/54.17 c 51.5s|130000 | 79669 |844586 | 47M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 |6349 |5503 | 0.000000e+00 | 4.800000e+01 | Inf
56.58/56.60 o 46
56.58/56.60 c *53.8s|136498 | 82689 |885526 | 48M| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 |6613 |5656 | 0.000000e+00 | 4.600000e+01 | Inf
56.58/56.60 o 44
56.58/56.60 c *53.8s|136499 | 81785 |885526 | 47M| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 |6613 |5658 | 0.000000e+00 | 4.400000e+01 | Inf
57.87/57.90 c 55.0s|140000 | 83906 |906871 | 49M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 |6769 |5730 | 0.000000e+00 | 4.400000e+01 | Inf
61.08/61.12 c 58.1s|150000 | 88587 |962745 | 52M| 70 | 8 | 190 | 9 | 9 | 190 | 25 | 22 |7245 |5951 | 0.000000e+00 | 4.400000e+01 | Inf
64.18/64.23 c 61.0s|160000 | 93409 | 1017k| 56M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 |7723 |6181 | 0.000000e+00 | 4.400000e+01 | Inf
67.38/67.43 c 64.1s|170000 | 98211 | 1073k| 59M| 70 | - | 190 | 9 | 8 | 190 | 25 | 22 |8160 |6397 | 0.000000e+00 | 4.400000e+01 | Inf
67.58/67.61 o 42
67.58/67.61 c *64.3s|170571 | 97394 | 1076k| 58M| 70 | - | 190 | 9 | 0 | 190 | 25 | 22 |8188 |6402 | 0.000000e+00 | 4.200000e+01 | Inf
70.38/70.49 c 67.0s|180000 |101610 | 1127k| 62M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 |8631 |6619 | 0.000000e+00 | 4.200000e+01 | Inf
72.88/72.93 o 41
72.88/72.93 c *69.3s|187252 |104895 | 1167k| 64M| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 |8928 |6779 | 0.000000e+00 | 4.100000e+01 | Inf
72.88/72.93 o 39
72.88/72.93 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
72.88/72.93 c *69.3s|187253 |103515 | 1167k| 62M| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 |8928 |6779 | 0.000000e+00 | 3.900000e+01 | Inf
73.68/73.78 c 70.2s|190000 |104814 | 1181k| 63M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 |9054 |6826 | 0.000000e+00 | 3.900000e+01 | Inf
74.68/74.78 o 38
74.68/74.78 c *71.1s|193105 |105549 | 1198k| 63M| 70 | - | 190 | 10 | 0 | 190 | 25 | 22 |9186 |6885 | 0.000000e+00 | 3.800000e+01 | Inf
76.88/76.95 c 73.2s|200000 |108847 | 1235k| 66M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 |9510 |7044 | 0.000000e+00 | 3.800000e+01 | Inf
79.19/79.26 o 37
79.19/79.26 c *75.4s|206918 |111780 | 1273k| 67M| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 |9786 |7176 | 0.000000e+00 | 3.700000e+01 | Inf
79.19/79.27 o 35
79.19/79.27 c *75.4s|206919 |110331 | 1273k| 66M| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 |9786 |7178 | 0.000000e+00 | 3.500000e+01 | Inf
82.08/82.17 c 78.1s|210000 |111671 | 1290k| 67M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 |9918 |7231 | 0.000000e+00 | 3.500000e+01 | Inf
85.17/85.23 c 81.0s|220000 |116090 | 1342k| 70M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 10k|7388 | 0.000000e+00 | 3.500000e+01 | Inf
88.27/88.36 c 84.0s|230000 |120833 | 1393k| 73M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 10k|7562 | 0.000000e+00 | 3.500000e+01 | Inf
90.28/90.30 o 34
90.28/90.30 c *85.8s|236245 |122998 | 1426k| 74M| 70 | - | 190 | 9 | 0 | 190 | 25 | 22 | 11k|7655 | 0.000000e+00 | 3.400000e+01 | Inf
91.37/91.47 c 87.0s|240000 |124647 | 1445k| 76M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 11k|7708 | 0.000000e+00 | 3.400000e+01 | Inf
94.37/94.49 c 89.9s|250000 |128937 | 1496k| 79M| 70 | - | 190 | 8 | 8 | 0 | 0 | 22 | 11k|7909 | 0.000000e+00 | 3.400000e+01 | Inf
97.47/97.55 c 92.8s|260000 |133461 | 1547k| 82M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 12k|8082 | 0.000000e+00 | 3.400000e+01 | Inf
100.38/100.42 c 95.5s|270000 |137341 | 1598k| 86M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 12k|8278 | 0.000000e+00 | 3.400000e+01 | Inf
103.17/103.30 c 98.3s|280000 |141433 | 1647k| 89M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 13k|8443 | 0.000000e+00 | 3.400000e+01 | Inf
105.98/106.08 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
105.98/106.08 c 101s|290000 |144808 | 1696k| 92M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 13k|8620 | 0.000000e+00 | 3.400000e+01 | Inf
109.07/109.15 c 104s|300000 |149292 | 1750k| 95M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 13k|8792 | 0.000000e+00 | 3.400000e+01 | Inf
111.87/111.93 c 106s|310000 |152527 | 1799k| 98M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 14k|8961 | 0.000000e+00 | 3.400000e+01 | Inf
114.77/114.84 c 109s|320000 |156713 | 1849k| 101M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 14k|9117 | 0.000000e+00 | 3.400000e+01 | Inf
115.48/115.53 o 33
115.48/115.53 c * 110s|322428 |156714 | 1860k| 101M| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 | 14k|9156 | 0.000000e+00 | 3.300000e+01 | Inf
118.36/118.46 c 113s|330000 |159102 | 1897k| 103M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 15k|9289 | 0.000000e+00 | 3.300000e+01 | Inf
121.07/121.17 c 115s|340000 |162640 | 1944k| 106M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 15k|9454 | 0.000000e+00 | 3.300000e+01 | Inf
123.27/123.34 o 31
123.27/123.34 c * 117s|347808 |157610 | 1982k| 102M| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 | 15k|9609 | 0.000000e+00 | 3.100000e+01 | Inf
123.27/123.34 o 29
123.27/123.34 c * 117s|347809 |156011 | 1982k| 99M| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 | 15k|9609 | 0.000000e+00 | 2.900000e+01 | Inf
123.86/123.93 c 118s|350000 |156788 | 1994k| 100M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 16k|9642 | 0.000000e+00 | 2.900000e+01 | Inf
126.56/126.68 c 120s|360000 |160184 | 2046k| 102M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 16k|9797 | 0.000000e+00 | 2.900000e+01 | Inf
129.35/129.46 c 123s|370000 |164045 | 2099k| 105M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 16k|9929 | 0.000000e+00 | 2.900000e+01 | Inf
132.15/132.26 c 126s|380000 |167783 | 2151k| 108M| 70 | - | 190 | 9 | 8 | 190 | 25 | 22 | 17k| 10k| 0.000000e+00 | 2.900000e+01 | Inf
134.55/134.60 o 27
134.55/134.60 c * 128s|388900 |168661 | 2196k| 107M| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 | 17k| 10k| 0.000000e+00 | 2.700000e+01 | Inf
135.86/135.96 c 129s|390000 |168972 | 2202k| 107M| 70 | - | 190 | 8 | 7 | 190 | 25 | 22 | 17k| 10k| 0.000000e+00 | 2.700000e+01 | Inf
138.75/138.84 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
138.75/138.84 c 132s|400000 |173263 | 2254k| 110M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 18k| 10k| 0.000000e+00 | 2.700000e+01 | Inf
141.44/141.51 c 135s|410000 |176684 | 2304k| 113M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 18k| 10k| 0.000000e+00 | 2.700000e+01 | Inf
144.05/144.13 c 137s|420000 |179734 | 2354k| 115M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 18k| 10k| 0.000000e+00 | 2.700000e+01 | Inf
145.55/145.67 o 25
145.55/145.67 c * 138s|425945 |178986 | 2384k| 113M| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 | 19k| 10k| 0.000000e+00 | 2.500000e+01 | Inf
146.65/146.72 c 140s|430000 |180137 | 2404k| 114M| 70 | - | 190 | 9 | 8 | 190 | 25 | 22 | 19k| 10k| 0.000000e+00 | 2.500000e+01 | Inf
149.25/149.37 c 142s|440000 |183385 | 2453k| 116M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 19k| 10k| 0.000000e+00 | 2.500000e+01 | Inf
151.94/152.08 c 145s|450000 |186955 | 2504k| 119M| 70 | 8 | 190 | 9 | 9 | 190 | 25 | 22 | 20k| 11k| 0.000000e+00 | 2.500000e+01 | Inf
155.64/155.78 c 148s|460000 |190609 | 2554k| 121M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 20k| 11k| 0.000000e+00 | 2.500000e+01 | Inf
158.25/158.30 c 150s|470000 |193273 | 2602k| 123M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 20k| 11k| 0.000000e+00 | 2.500000e+01 | Inf
160.74/160.85 c 153s|480000 |196221 | 2651k| 126M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 21k| 11k| 0.000000e+00 | 2.500000e+01 | Inf
163.34/163.49 c 155s|490000 |199466 | 2699k| 128M| 70 | - | 190 | 8 | 9 | 0 | 0 | 22 | 21k| 11k| 0.000000e+00 | 2.500000e+01 | Inf
166.04/166.16 c 158s|500000 |202759 | 2747k| 130M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 22k| 11k| 0.000000e+00 | 2.500000e+01 | Inf
168.54/168.69 c 160s|510000 |205598 | 2796k| 133M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 22k| 11k| 0.000000e+00 | 2.500000e+01 | Inf
171.13/171.22 c 163s|520000 |207986 | 2843k| 135M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 22k| 11k| 0.000000e+00 | 2.500000e+01 | Inf
173.64/173.75 c 165s|530000 |210390 | 2892k| 136M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 23k| 12k| 0.000000e+00 | 2.500000e+01 | Inf
176.23/176.39 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
176.23/176.39 c 168s|540000 |213512 | 2940k| 139M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 23k| 12k| 0.000000e+00 | 2.500000e+01 | Inf
179.03/179.17 c 170s|550000 |217346 | 2991k| 141M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 24k| 12k| 0.000000e+00 | 2.500000e+01 | Inf
181.63/181.77 c 173s|560000 |220386 | 3040k| 143M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 24k| 12k| 0.000000e+00 | 2.500000e+01 | Inf
184.43/184.51 c 175s|570000 |223694 | 3092k| 146M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 24k| 12k| 0.000000e+00 | 2.500000e+01 | Inf
187.14/187.20 c 178s|580000 |227119 | 3141k| 148M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 25k| 12k| 0.000000e+00 | 2.500000e+01 | Inf
189.73/189.81 c 180s|590000 |229789 | 3193k| 150M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 25k| 12k| 0.000000e+00 | 2.500000e+01 | Inf
192.33/192.44 c 183s|600000 |232845 | 3243k| 152M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 25k| 12k| 0.000000e+00 | 2.500000e+01 | Inf
194.92/195.06 c 185s|610000 |236012 | 3293k| 155M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 26k| 13k| 0.000000e+00 | 2.500000e+01 | Inf
197.63/197.73 c 188s|620000 |239303 | 3342k| 157M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 26k| 13k| 0.000000e+00 | 2.500000e+01 | Inf
200.43/200.56 c 191s|630000 |243647 | 3393k| 160M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 26k| 13k| 0.000000e+00 | 2.500000e+01 | Inf
203.22/203.35 c 193s|640000 |247319 | 3445k| 162M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 27k| 13k| 0.000000e+00 | 2.500000e+01 | Inf
205.93/206.07 c 196s|650000 |250649 | 3498k| 165M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 27k| 13k| 0.000000e+00 | 2.500000e+01 | Inf
208.72/208.82 c 199s|660000 |254293 | 3550k| 167M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 28k| 13k| 0.000000e+00 | 2.500000e+01 | Inf
209.52/209.63 o 24
209.52/209.63 c * 199s|663003 |253722 | 3565k| 166M| 70 | - | 190 | 9 | 0 | 190 | 25 | 22 | 28k| 13k| 0.000000e+00 | 2.400000e+01 | Inf
211.32/211.46 c 201s|670000 |255765 | 3600k| 167M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 28k| 13k| 0.000000e+00 | 2.400000e+01 | Inf
214.12/214.24 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
214.12/214.24 c 204s|680000 |259264 | 3652k| 170M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 28k| 13k| 0.000000e+00 | 2.400000e+01 | Inf
216.92/217.05 c 206s|690000 |262968 | 3705k| 172M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 29k| 13k| 0.000000e+00 | 2.400000e+01 | Inf
219.62/219.71 c 209s|700000 |266006 | 3756k| 175M| 70 | 8 | 190 | 13 | 8 | 190 | 25 | 22 | 29k| 14k| 0.000000e+00 | 2.400000e+01 | Inf
222.21/222.35 c 211s|710000 |268586 | 3807k| 177M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 29k| 14k| 0.000000e+00 | 2.400000e+01 | Inf
224.82/224.92 c 214s|720000 |270982 | 3857k| 179M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 29k| 14k| 0.000000e+00 | 2.400000e+01 | Inf
227.52/227.61 c 216s|730000 |273823 | 3908k| 181M| 70 | - | 190 | 12 | 9 | 190 | 25 | 22 | 30k| 14k| 0.000000e+00 | 2.400000e+01 | Inf
230.12/230.25 c 219s|740000 |276551 | 3959k| 183M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 30k| 14k| 0.000000e+00 | 2.400000e+01 | Inf
232.81/232.94 c 222s|750000 |279825 | 4009k| 185M| 70 | - | 190 | 8 | 8 | 0 | 0 | 22 | 30k| 14k| 0.000000e+00 | 2.400000e+01 | Inf
235.42/235.55 c 224s|760000 |282675 | 4057k| 188M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 31k| 14k| 0.000000e+00 | 2.400000e+01 | Inf
238.02/238.15 c 226s|770000 |285052 | 4106k| 190M| 70 | - | 190 | 8 | 7 | 190 | 25 | 22 | 31k| 14k| 0.000000e+00 | 2.400000e+01 | Inf
240.61/240.73 c 229s|780000 |287466 | 4155k| 192M| 70 | - | 190 | 9 | 9 | 190 | 25 | 22 | 32k| 14k| 0.000000e+00 | 2.400000e+01 | Inf
243.21/243.34 c 231s|790000 |289626 | 4205k| 194M| 70 | - | 190 | 10 | 9 | 0 | 0 | 22 | 32k| 15k| 0.000000e+00 | 2.400000e+01 | Inf
245.81/245.99 c 234s|800000 |292498 | 4255k| 196M| 70 | - | 190 | 10 | 8 | 190 | 25 | 22 | 32k| 15k| 0.000000e+00 | 2.400000e+01 | Inf
248.52/248.64 c 236s|810000 |295245 | 4305k| 198M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 33k| 15k| 0.000000e+00 | 2.400000e+01 | Inf
251.11/251.24 c 239s|820000 |297690 | 4356k| 200M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 33k| 15k| 0.000000e+00 | 2.400000e+01 | Inf
253.71/253.89 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
253.71/253.89 c 241s|830000 |300167 | 4405k| 202M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 33k| 15k| 0.000000e+00 | 2.400000e+01 | Inf
256.30/256.46 c 244s|840000 |302414 | 4455k| 204M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 34k| 15k| 0.000000e+00 | 2.400000e+01 | Inf
258.90/259.03 c 246s|850000 |304559 | 4504k| 206M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 34k| 15k| 0.000000e+00 | 2.400000e+01 | Inf
261.40/261.59 c 249s|860000 |306613 | 4553k| 208M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 34k| 15k| 0.000000e+00 | 2.400000e+01 | Inf
264.10/264.24 c 251s|870000 |309548 | 4603k| 210M| 70 | - | 190 | 9 | 8 | 190 | 25 | 22 | 35k| 15k| 0.000000e+00 | 2.400000e+01 | Inf
266.70/266.86 c 254s|880000 |311937 | 4653k| 212M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 35k| 16k| 0.000000e+00 | 2.400000e+01 | Inf
269.31/269.46 c 256s|890000 |314068 | 4702k| 214M| 70 | - | 190 | 10 | 8 | 190 | 25 | 22 | 35k| 16k| 0.000000e+00 | 2.400000e+01 | Inf
271.90/272.02 c 259s|900000 |316131 | 4753k| 216M| 70 | - | 190 | 11 | 7 | 0 | 0 | 22 | 36k| 16k| 0.000000e+00 | 2.400000e+01 | Inf
274.40/274.59 c 261s|910000 |318039 | 4803k| 218M| 70 | - | 190 | 9 | 8 | 190 | 25 | 22 | 36k| 16k| 0.000000e+00 | 2.400000e+01 | Inf
277.00/277.19 c 264s|920000 |320319 | 4853k| 220M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 36k| 16k| 0.000000e+00 | 2.400000e+01 | Inf
279.59/279.75 c 266s|930000 |322278 | 4902k| 222M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 37k| 16k| 0.000000e+00 | 2.400000e+01 | Inf
282.20/282.34 c 269s|940000 |324469 | 4951k| 223M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 37k| 16k| 0.000000e+00 | 2.400000e+01 | Inf
284.80/284.92 c 271s|950000 |326431 | 5001k| 225M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 37k| 16k| 0.000000e+00 | 2.400000e+01 | Inf
287.40/287.50 c 274s|960000 |328284 | 5050k| 227M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 38k| 16k| 0.000000e+00 | 2.400000e+01 | Inf
289.90/290.07 c 276s|970000 |330274 | 5100k| 229M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 38k| 16k| 0.000000e+00 | 2.400000e+01 | Inf
292.50/292.66 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
292.50/292.66 c 278s|980000 |332651 | 5149k| 231M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 39k| 17k| 0.000000e+00 | 2.400000e+01 | Inf
295.10/295.21 c 281s|990000 |334786 | 5197k| 233M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 39k| 17k| 0.000000e+00 | 2.400000e+01 | Inf
297.70/297.81 c 283s| 1000k|336865 | 5247k| 235M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 39k| 17k| 0.000000e+00 | 2.400000e+01 | Inf
300.20/300.38 c 286s| 1010k|338856 | 5296k| 237M| 70 | - | 190 | 8 | 9 | 0 | 0 | 22 | 40k| 17k| 0.000000e+00 | 2.400000e+01 | Inf
302.79/302.97 c 288s| 1020k|340844 | 5346k| 238M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 40k| 17k| 0.000000e+00 | 2.400000e+01 | Inf
305.39/305.54 c 291s| 1030k|342816 | 5396k| 240M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 40k| 17k| 0.000000e+00 | 2.400000e+01 | Inf
308.00/308.12 c 293s| 1040k|345581 | 5445k| 242M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 41k| 17k| 0.000000e+00 | 2.400000e+01 | Inf
310.50/310.69 c 296s| 1050k|347650 | 5494k| 244M| 70 | - | 190 | 8 | 8 | 0 | 0 | 22 | 41k| 17k| 0.000000e+00 | 2.400000e+01 | Inf
313.19/313.33 c 298s| 1060k|349942 | 5544k| 246M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 41k| 17k| 0.000000e+00 | 2.400000e+01 | Inf
315.99/316.13 c 301s| 1070k|354050 | 5595k| 249M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 42k| 17k| 0.000000e+00 | 2.400000e+01 | Inf
318.59/318.77 c 303s| 1080k|357207 | 5644k| 251M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 42k| 18k| 0.000000e+00 | 2.400000e+01 | Inf
321.19/321.30 o 22
321.19/321.30 c * 306s| 1089k|355970 | 5692k| 247M| 70 | - | 190 | 9 | 0 | 190 | 25 | 22 | 42k| 18k| 0.000000e+00 | 2.200000e+01 | Inf
321.19/321.36 c 306s| 1090k|356017 | 5693k| 247M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 43k| 18k| 0.000000e+00 | 2.200000e+01 | Inf
323.80/323.92 c 308s| 1100k|358173 | 5740k| 249M| 70 | 8 | 190 | 9 | 9 | 190 | 25 | 22 | 43k| 18k| 0.000000e+00 | 2.200000e+01 | Inf
326.29/326.47 c 311s| 1110k|360655 | 5787k| 251M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 43k| 18k| 0.000000e+00 | 2.200000e+01 | Inf
328.89/329.04 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
328.89/329.04 c 313s| 1120k|363037 | 5835k| 253M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 44k| 18k| 0.000000e+00 | 2.200000e+01 | Inf
331.49/331.65 c 316s| 1130k|365858 | 5883k| 255M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 44k| 18k| 0.000000e+00 | 2.200000e+01 | Inf
334.09/334.24 c 318s| 1140k|368145 | 5932k| 257M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 44k| 18k| 0.000000e+00 | 2.200000e+01 | Inf
336.59/336.76 c 321s| 1150k|370249 | 5979k| 258M| 70 | - | 190 | 9 | 8 | 190 | 25 | 22 | 45k| 18k| 0.000000e+00 | 2.200000e+01 | Inf
339.09/339.29 c 323s| 1160k|372053 | 6026k| 260M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 45k| 18k| 0.000000e+00 | 2.200000e+01 | Inf
341.68/341.84 c 325s| 1170k|374190 | 6074k| 262M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 46k| 18k| 0.000000e+00 | 2.200000e+01 | Inf
344.19/344.36 c 328s| 1180k|376350 | 6121k| 264M| 70 | - | 190 | 8 | 7 | 0 | 0 | 22 | 46k| 18k| 0.000000e+00 | 2.200000e+01 | Inf
346.79/346.90 c 330s| 1190k|378235 | 6168k| 265M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 46k| 19k| 0.000000e+00 | 2.200000e+01 | Inf
349.29/349.42 c 333s| 1200k|379981 | 6215k| 267M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 47k| 19k| 0.000000e+00 | 2.200000e+01 | Inf
351.80/351.95 c 335s| 1210k|381838 | 6262k| 269M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 47k| 19k| 0.000000e+00 | 2.200000e+01 | Inf
354.28/354.47 c 337s| 1220k|383569 | 6309k| 270M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 47k| 19k| 0.000000e+00 | 2.200000e+01 | Inf
356.89/357.01 c 340s| 1230k|385191 | 6356k| 272M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 48k| 19k| 0.000000e+00 | 2.200000e+01 | Inf
359.39/359.55 c 342s| 1240k|387539 | 6405k| 274M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 48k| 19k| 0.000000e+00 | 2.200000e+01 | Inf
361.89/362.08 c 345s| 1250k|389630 | 6453k| 276M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 48k| 19k| 0.000000e+00 | 2.200000e+01 | Inf
364.48/364.63 c 347s| 1260k|391721 | 6501k| 278M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 49k| 19k| 0.000000e+00 | 2.200000e+01 | Inf
366.98/367.15 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
366.98/367.15 c 349s| 1270k|393410 | 6549k| 279M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 49k| 19k| 0.000000e+00 | 2.200000e+01 | Inf
369.49/369.69 c 352s| 1280k|395116 | 6597k| 281M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 49k| 19k| 0.000000e+00 | 2.200000e+01 | Inf
372.08/372.20 c 354s| 1290k|396769 | 6644k| 283M| 70 | - | 190 | 8 | 8 | 0 | 0 | 22 | 50k| 19k| 0.000000e+00 | 2.200000e+01 | Inf
374.58/374.72 c 357s| 1300k|398271 | 6691k| 284M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 50k| 20k| 0.000000e+00 | 2.200000e+01 | Inf
377.09/377.22 c 359s| 1310k|400559 | 6737k| 286M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 51k| 20k| 0.000000e+00 | 2.200000e+01 | Inf
379.48/379.66 c 361s| 1320k|402477 | 6783k| 288M| 70 | 7 | 190 | 8 | 8 | 190 | 25 | 22 | 51k| 20k| 0.000000e+00 | 2.200000e+01 | Inf
382.08/382.20 c 364s| 1330k|404773 | 6830k| 290M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 51k| 20k| 0.000000e+00 | 2.200000e+01 | Inf
384.58/384.78 c 366s| 1340k|406915 | 6879k| 292M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 52k| 20k| 0.000000e+00 | 2.200000e+01 | Inf
387.18/387.32 c 369s| 1350k|408595 | 6927k| 293M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 52k| 20k| 0.000000e+00 | 2.200000e+01 | Inf
389.68/389.87 c 371s| 1360k|410291 | 6975k| 295M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 53k| 20k| 0.000000e+00 | 2.200000e+01 | Inf
392.28/392.48 c 374s| 1370k|413168 | 7025k| 297M| 70 | - | 190 | 8 | 8 | 0 | 0 | 22 | 53k| 20k| 0.000000e+00 | 2.200000e+01 | Inf
394.88/395.04 c 376s| 1380k|415398 | 7073k| 299M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 53k| 20k| 0.000000e+00 | 2.200000e+01 | Inf
397.48/397.65 c 378s| 1390k|417835 | 7122k| 301M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 54k| 20k| 0.000000e+00 | 2.200000e+01 | Inf
400.08/400.24 c 381s| 1400k|420628 | 7171k| 303M| 70 | - | 190 | 8 | 8 | 0 | 0 | 22 | 54k| 20k| 0.000000e+00 | 2.200000e+01 | Inf
402.58/402.79 c 383s| 1410k|422830 | 7219k| 305M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 54k| 20k| 0.000000e+00 | 2.200000e+01 | Inf
405.18/405.30 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
405.18/405.30 c 386s| 1420k|424749 | 7265k| 307M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 55k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
407.68/407.83 c 388s| 1430k|426892 | 7313k| 309M| 70 | - | 190 | 10 | 8 | 0 | 0 | 22 | 55k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
410.28/410.41 c 391s| 1440k|429162 | 7363k| 311M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 55k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
413.08/413.23 c 393s| 1450k|433054 | 7415k| 313M| 70 | - | 190 | 9 | 8 | 190 | 25 | 22 | 56k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
415.78/415.90 c 396s| 1460k|436116 | 7464k| 315M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 56k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
418.47/418.61 c 398s| 1470k|439136 | 7515k| 318M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 56k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
421.08/421.26 c 401s| 1480k|442280 | 7565k| 320M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 57k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
423.68/423.88 c 403s| 1490k|445567 | 7614k| 322M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 57k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
426.27/426.49 c 406s| 1500k|448250 | 7664k| 324M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 58k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
428.88/429.03 c 408s| 1510k|450956 | 7713k| 326M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 58k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
431.37/431.59 c 411s| 1520k|453063 | 7763k| 328M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 58k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
433.98/434.17 c 413s| 1530k|455460 | 7811k| 330M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 58k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
436.58/436.77 c 416s| 1540k|458060 | 7861k| 332M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 59k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
439.48/439.64 c 418s| 1550k|462223 | 7912k| 335M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 59k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
442.08/442.28 c 421s| 1560k|465299 | 7963k| 337M| 70 | - | 190 | 9 | 7 | 190 | 25 | 22 | 59k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
444.67/444.83 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
444.67/444.83 c 423s| 1570k|467842 | 8011k| 339M| 70 | - | 190 | 9 | 8 | 190 | 25 | 22 | 60k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
447.27/447.45 c 426s| 1580k|470549 | 8061k| 341M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 60k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
449.87/450.02 c 428s| 1590k|473306 | 8110k| 343M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 60k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
452.47/452.60 c 431s| 1600k|476347 | 8159k| 345M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 60k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
455.07/455.23 c 433s| 1610k|478853 | 8208k| 347M| 70 | - | 190 | 8 | 8 | 0 | 0 | 22 | 61k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
457.67/457.81 c 436s| 1620k|481541 | 8256k| 349M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 61k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
458.47/458.65 o 20
458.47/458.65 c * 437s| 1623k|476807 | 8272k| 341M| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 | 61k| 22k| 0.000000e+00 | 2.000000e+01 | Inf
460.17/460.38 c 438s| 1630k|478473 | 8304k| 343M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 61k| 22k| 0.000000e+00 | 2.000000e+01 | Inf
462.67/462.89 c 441s| 1640k|480910 | 8351k| 345M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 62k| 22k| 0.000000e+00 | 2.000000e+01 | Inf
465.27/465.43 c 443s| 1650k|483428 | 8397k| 347M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 62k| 22k| 0.000000e+00 | 2.000000e+01 | Inf
467.97/468.19 c 446s| 1660k|486780 | 8446k| 349M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 62k| 22k| 0.000000e+00 | 2.000000e+01 | Inf
470.68/470.89 c 448s| 1670k|490608 | 8494k| 351M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 63k| 23k| 0.000000e+00 | 2.000000e+01 | Inf
473.47/473.65 c 451s| 1680k|494646 | 8542k| 353M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 63k| 23k| 0.000000e+00 | 2.000000e+01 | Inf
476.07/476.26 c 453s| 1690k|498065 | 8589k| 356M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 63k| 23k| 0.000000e+00 | 2.000000e+01 | Inf
478.67/478.84 c 456s| 1700k|500855 | 8638k| 358M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 63k| 23k| 0.000000e+00 | 2.000000e+01 | Inf
481.27/481.41 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
481.27/481.41 c 458s| 1710k|503858 | 8684k| 360M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 64k| 23k| 0.000000e+00 | 2.000000e+01 | Inf
483.97/484.18 c 461s| 1720k|507541 | 8733k| 362M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 64k| 23k| 0.000000e+00 | 2.000000e+01 | Inf
486.66/486.81 c 463s| 1730k|510931 | 8780k| 364M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 64k| 23k| 0.000000e+00 | 2.000000e+01 | Inf
489.16/489.32 c 466s| 1740k|513729 | 8826k| 366M| 70 | - | 190 | 9 | 8 | 190 | 25 | 22 | 65k| 23k| 0.000000e+00 | 2.000000e+01 | Inf
491.76/491.97 c 468s| 1750k|517004 | 8873k| 369M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 65k| 23k| 0.000000e+00 | 2.000000e+01 | Inf
494.37/494.56 c 471s| 1760k|520351 | 8921k| 371M| 70 | - | 190 | 10 | 8 | 190 | 25 | 22 | 65k| 23k| 0.000000e+00 | 2.000000e+01 | Inf
496.86/497.05 c 473s| 1770k|522576 | 8967k| 373M| 70 | - | 190 | 10 | 8 | 190 | 25 | 22 | 65k| 23k| 0.000000e+00 | 2.000000e+01 | Inf
499.57/499.79 c 476s| 1780k|526589 | 9015k| 375M| 70 | 8 | 190 | 12 | 8 | 190 | 25 | 22 | 66k| 23k| 0.000000e+00 | 2.000000e+01 | Inf
502.16/502.38 c 478s| 1790k|530296 | 9061k| 377M| 70 | - | 190 | 12 | 8 | 190 | 25 | 22 | 66k| 23k| 0.000000e+00 | 2.000000e+01 | Inf
504.77/504.97 c 481s| 1800k|534345 | 9106k| 379M| 70 | - | 190 | 12 | 8 | 190 | 25 | 22 | 66k| 23k| 0.000000e+00 | 2.000000e+01 | Inf
507.26/507.45 c 483s| 1810k|537622 | 9151k| 382M| 70 | 8 | 190 | 12 | 8 | 190 | 25 | 22 | 66k| 23k| 0.000000e+00 | 2.000000e+01 | Inf
509.76/509.90 c 485s| 1820k|540589 | 9195k| 384M| 70 | 8 | 190 | 12 | 8 | 190 | 25 | 22 | 67k| 24k| 0.000000e+00 | 2.000000e+01 | Inf
512.26/512.43 c 488s| 1830k|543821 | 9241k| 386M| 70 | 8 | 190 | 12 | 8 | 190 | 25 | 22 | 67k| 24k| 0.000000e+00 | 2.000000e+01 | Inf
514.67/514.86 c 490s| 1840k|546302 | 9284k| 387M| 70 | 8 | 190 | 12 | 8 | 190 | 25 | 22 | 67k| 24k| 0.000000e+00 | 2.000000e+01 | Inf
517.16/517.31 c 493s| 1850k|548855 | 9329k| 389M| 70 | - | 190 | 12 | 8 | 190 | 25 | 22 | 67k| 24k| 0.000000e+00 | 2.000000e+01 | Inf
519.56/519.75 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
519.56/519.75 c 495s| 1860k|551419 | 9373k| 391M| 70 | 8 | 190 | 12 | 8 | 190 | 25 | 22 | 68k| 24k| 0.000000e+00 | 2.000000e+01 | Inf
522.06/522.22 c 497s| 1870k|554131 | 9417k| 393M| 70 | - | 190 | 14 | 8 | 190 | 25 | 22 | 68k| 24k| 0.000000e+00 | 2.000000e+01 | Inf
524.47/524.66 c 500s| 1880k|556503 | 9461k| 395M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 68k| 24k| 0.000000e+00 | 2.000000e+01 | Inf
526.96/527.15 c 502s| 1890k|559321 | 9506k| 397M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 68k| 24k| 0.000000e+00 | 2.000000e+01 | Inf
529.36/529.57 c 504s| 1900k|561708 | 9551k| 399M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 69k| 24k| 0.000000e+00 | 2.000000e+01 | Inf
531.85/532.08 c 507s| 1910k|564795 | 9596k| 401M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 69k| 24k| 0.000000e+00 | 2.000000e+01 | Inf
534.37/534.53 c 509s| 1920k|567185 | 9640k| 403M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 69k| 24k| 0.000000e+00 | 2.000000e+01 | Inf
537.06/537.20 c 512s| 1930k|571286 | 9687k| 405M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 70k| 24k| 0.000000e+00 | 2.000000e+01 | Inf
539.56/539.75 c 514s| 1940k|574579 | 9734k| 407M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 70k| 24k| 0.000000e+00 | 2.000000e+01 | Inf
542.06/542.28 c 516s| 1950k|577906 | 9779k| 409M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 70k| 24k| 0.000000e+00 | 2.000000e+01 | Inf
544.46/544.69 c 519s| 1960k|580786 | 9823k| 411M| 70 | 8 | 190 | 12 | 8 | 190 | 25 | 22 | 70k| 25k| 0.000000e+00 | 2.000000e+01 | Inf
546.86/547.07 c 521s| 1970k|583384 | 9866k| 413M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 71k| 25k| 0.000000e+00 | 2.000000e+01 | Inf
549.36/549.56 c 523s| 1980k|586608 | 9911k| 415M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 71k| 25k| 0.000000e+00 | 2.000000e+01 | Inf
551.85/552.06 c 526s| 1990k|590219 | 9955k| 417M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 71k| 25k| 0.000000e+00 | 2.000000e+01 | Inf
554.26/554.44 c 528s| 2000k|593084 | 9998k| 419M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 71k| 25k| 0.000000e+00 | 2.000000e+01 | Inf
556.66/556.87 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
556.66/556.87 c 530s| 2010k|595655 | 10043k| 421M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 72k| 25k| 0.000000e+00 | 2.000000e+01 | Inf
559.05/559.28 c 533s| 2020k|598184 | 10086k| 423M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 72k| 25k| 0.000000e+00 | 2.000000e+01 | Inf
561.45/561.66 c 535s| 2030k|600410 | 10129k| 424M| 70 | - | 190 | 11 | 8 | 0 | 0 | 22 | 72k| 25k| 0.000000e+00 | 2.000000e+01 | Inf
563.86/564.05 c 537s| 2040k|602675 | 10174k| 426M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 72k| 25k| 0.000000e+00 | 2.000000e+01 | Inf
566.26/566.45 c 539s| 2050k|605088 | 10217k| 428M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 73k| 25k| 0.000000e+00 | 2.000000e+01 | Inf
568.65/568.83 c 542s| 2060k|607295 | 10261k| 429M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 73k| 25k| 0.000000e+00 | 2.000000e+01 | Inf
570.95/571.19 c 544s| 2070k|609325 | 10304k| 431M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 73k| 25k| 0.000000e+00 | 2.000000e+01 | Inf
573.36/573.57 c 546s| 2080k|611561 | 10346k| 433M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 73k| 25k| 0.000000e+00 | 2.000000e+01 | Inf
575.75/575.94 c 548s| 2090k|613545 | 10390k| 434M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 74k| 25k| 0.000000e+00 | 2.000000e+01 | Inf
578.15/578.32 c 551s| 2100k|615701 | 10432k| 436M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 74k| 25k| 0.000000e+00 | 2.000000e+01 | Inf
580.56/580.72 c 553s| 2110k|617976 | 10476k| 438M| 70 | - | 190 | 11 | 8 | 0 | 0 | 22 | 74k| 26k| 0.000000e+00 | 2.000000e+01 | Inf
582.95/583.18 c 555s| 2120k|620354 | 10520k| 439M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 75k| 26k| 0.000000e+00 | 2.000000e+01 | Inf
585.36/585.55 c 558s| 2130k|622597 | 10563k| 441M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 75k| 26k| 0.000000e+00 | 2.000000e+01 | Inf
587.75/587.97 c 560s| 2140k|624781 | 10607k| 443M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 75k| 26k| 0.000000e+00 | 2.000000e+01 | Inf
590.25/590.40 c 562s| 2150k|627240 | 10652k| 445M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 75k| 26k| 0.000000e+00 | 2.000000e+01 | Inf
592.55/592.79 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
592.55/592.79 c 564s| 2160k|629042 | 10695k| 446M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 76k| 26k| 0.000000e+00 | 2.000000e+01 | Inf
595.05/595.22 c 567s| 2170k|631402 | 10740k| 448M| 70 | 8 | 190 | 13 | 8 | 190 | 25 | 22 | 76k| 26k| 0.000000e+00 | 2.000000e+01 | Inf
597.45/597.64 c 569s| 2180k|633555 | 10783k| 450M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 76k| 26k| 0.000000e+00 | 2.000000e+01 | Inf
599.85/600.05 c 571s| 2190k|635846 | 10826k| 451M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 76k| 26k| 0.000000e+00 | 2.000000e+01 | Inf
602.25/602.47 c 574s| 2200k|637979 | 10871k| 453M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 77k| 26k| 0.000000e+00 | 2.000000e+01 | Inf
604.65/604.86 c 576s| 2210k|639860 | 10914k| 455M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 77k| 26k| 0.000000e+00 | 2.000000e+01 | Inf
607.05/607.29 c 578s| 2220k|642185 | 10958k| 456M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 77k| 26k| 0.000000e+00 | 2.000000e+01 | Inf
609.54/609.71 c 581s| 2230k|644268 | 11002k| 458M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 78k| 26k| 0.000000e+00 | 2.000000e+01 | Inf
611.95/612.10 c 583s| 2240k|646131 | 11046k| 460M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 78k| 26k| 0.000000e+00 | 2.000000e+01 | Inf
614.35/614.56 c 585s| 2250k|648753 | 11090k| 461M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 78k| 26k| 0.000000e+00 | 2.000000e+01 | Inf
616.74/616.95 c 588s| 2260k|650768 | 11133k| 463M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 78k| 26k| 0.000000e+00 | 2.000000e+01 | Inf
619.15/619.39 c 590s| 2270k|653037 | 11177k| 465M| 70 | - | 190 | 12 | 8 | 190 | 25 | 22 | 79k| 27k| 0.000000e+00 | 2.000000e+01 | Inf
621.64/621.80 c 592s| 2280k|655089 | 11221k| 466M| 70 | - | 190 | 12 | 8 | 190 | 25 | 22 | 79k| 27k| 0.000000e+00 | 2.000000e+01 | Inf
624.04/624.25 c 594s| 2290k|657352 | 11265k| 468M| 70 | - | 190 | 12 | 8 | 0 | 0 | 22 | 79k| 27k| 0.000000e+00 | 2.000000e+01 | Inf
626.45/626.64 c 597s| 2300k|659192 | 11308k| 470M| 70 | - | 190 | 12 | 10 | 0 | 0 | 22 | 79k| 27k| 0.000000e+00 | 2.000000e+01 | Inf
628.85/629.10 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
628.85/629.10 c 599s| 2310k|661637 | 11352k| 471M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 80k| 27k| 0.000000e+00 | 2.000000e+01 | Inf
631.34/631.51 c 601s| 2320k|663344 | 11396k| 473M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 80k| 27k| 0.000000e+00 | 2.000000e+01 | Inf
633.74/633.97 c 604s| 2330k|665970 | 11440k| 475M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 80k| 27k| 0.000000e+00 | 2.000000e+01 | Inf
636.24/636.46 c 606s| 2340k|668911 | 11486k| 477M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 81k| 27k| 0.000000e+00 | 2.000000e+01 | Inf
638.74/638.90 c 608s| 2350k|671525 | 11530k| 479M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 81k| 27k| 0.000000e+00 | 2.000000e+01 | Inf
641.15/641.33 c 611s| 2360k|673908 | 11573k| 480M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 81k| 27k| 0.000000e+00 | 2.000000e+01 | Inf
643.64/643.80 c 613s| 2370k|676607 | 11619k| 482M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 82k| 27k| 0.000000e+00 | 2.000000e+01 | Inf
646.04/646.28 c 615s| 2380k|678917 | 11664k| 484M| 70 | 8 | 190 | 12 | 9 | 190 | 25 | 22 | 82k| 27k| 0.000000e+00 | 2.000000e+01 | Inf
648.54/648.70 c 618s| 2390k|680868 | 11708k| 486M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 82k| 27k| 0.000000e+00 | 2.000000e+01 | Inf
650.94/651.11 c 620s| 2400k|682625 | 11753k| 487M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 83k| 27k| 0.000000e+00 | 2.000000e+01 | Inf
653.34/653.54 c 622s| 2410k|684644 | 11797k| 489M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 83k| 27k| 0.000000e+00 | 2.000000e+01 | Inf
655.73/655.94 c 625s| 2420k|686314 | 11841k| 491M| 70 | - | 190 | 11 | 8 | 0 | 0 | 22 | 83k| 27k| 0.000000e+00 | 2.000000e+01 | Inf
658.13/658.32 c 627s| 2430k|688089 | 11884k| 492M| 70 | - | 190 | 11 | 8 | 0 | 0 | 22 | 84k| 28k| 0.000000e+00 | 2.000000e+01 | Inf
660.54/660.79 c 629s| 2440k|690288 | 11929k| 494M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 84k| 28k| 0.000000e+00 | 2.000000e+01 | Inf
663.04/663.21 c 632s| 2450k|692377 | 11973k| 495M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 84k| 28k| 0.000000e+00 | 2.000000e+01 | Inf
665.43/665.61 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
665.43/665.61 c 634s| 2460k|694088 | 12018k| 497M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 85k| 28k| 0.000000e+00 | 2.000000e+01 | Inf
667.84/668.03 c 636s| 2470k|695654 | 12063k| 498M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 85k| 28k| 0.000000e+00 | 2.000000e+01 | Inf
670.23/670.42 c 638s| 2480k|697279 | 12106k| 500M| 70 | - | 190 | 11 | 8 | 0 | 0 | 22 | 85k| 28k| 0.000000e+00 | 2.000000e+01 | Inf
672.63/672.81 c 641s| 2490k|698913 | 12150k| 501M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 86k| 28k| 0.000000e+00 | 2.000000e+01 | Inf
675.03/675.25 c 643s| 2500k|701055 | 12195k| 503M| 70 | 8 | 190 | 12 | 8 | 190 | 25 | 22 | 86k| 28k| 0.000000e+00 | 2.000000e+01 | Inf
677.44/677.62 c 645s| 2510k|702936 | 12238k| 504M| 70 | - | 190 | 12 | 7 | 0 | 0 | 22 | 86k| 28k| 0.000000e+00 | 2.000000e+01 | Inf
679.83/680.07 c 648s| 2520k|704749 | 12282k| 506M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 86k| 28k| 0.000000e+00 | 2.000000e+01 | Inf
682.33/682.52 c 650s| 2530k|707175 | 12326k| 508M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 87k| 28k| 0.000000e+00 | 2.000000e+01 | Inf
684.73/684.98 c 652s| 2540k|709394 | 12370k| 510M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 87k| 28k| 0.000000e+00 | 2.000000e+01 | Inf
687.13/687.38 c 655s| 2550k|711424 | 12413k| 511M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 87k| 28k| 0.000000e+00 | 2.000000e+01 | Inf
689.53/689.76 c 657s| 2560k|713320 | 12456k| 513M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 88k| 28k| 0.000000e+00 | 2.000000e+01 | Inf
691.93/692.16 c 659s| 2570k|715170 | 12499k| 515M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 88k| 28k| 0.000000e+00 | 2.000000e+01 | Inf
694.42/694.60 c 662s| 2580k|717022 | 12542k| 516M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 88k| 28k| 0.000000e+00 | 2.000000e+01 | Inf
696.72/696.99 c 664s| 2590k|718482 | 12585k| 518M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 89k| 29k| 0.000000e+00 | 2.000000e+01 | Inf
699.22/699.42 c 666s| 2600k|720113 | 12630k| 519M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 89k| 29k| 0.000000e+00 | 2.000000e+01 | Inf
701.64/701.89 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
701.64/701.89 c 668s| 2610k|721892 | 12674k| 520M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 89k| 29k| 0.000000e+00 | 2.000000e+01 | Inf
704.13/704.36 c 671s| 2620k|724777 | 12718k| 522M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 90k| 29k| 0.000000e+00 | 2.000000e+01 | Inf
706.53/706.76 c 673s| 2630k|727053 | 12762k| 524M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 90k| 29k| 0.000000e+00 | 2.000000e+01 | Inf
708.92/709.15 c 675s| 2640k|728965 | 12806k| 526M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 90k| 29k| 0.000000e+00 | 2.000000e+01 | Inf
711.32/711.54 c 678s| 2650k|731142 | 12849k| 527M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 90k| 29k| 0.000000e+00 | 2.000000e+01 | Inf
713.72/713.92 c 680s| 2660k|732943 | 12893k| 529M| 70 | - | 190 | 10 | 8 | 190 | 25 | 22 | 91k| 29k| 0.000000e+00 | 2.000000e+01 | Inf
716.12/716.30 c 682s| 2670k|734619 | 12936k| 530M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 91k| 29k| 0.000000e+00 | 2.000000e+01 | Inf
718.42/718.67 c 684s| 2680k|736248 | 12979k| 532M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 91k| 29k| 0.000000e+00 | 2.000000e+01 | Inf
721.02/721.22 c 687s| 2690k|738948 | 13023k| 534M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 92k| 29k| 0.000000e+00 | 2.000000e+01 | Inf
723.42/723.70 c 689s| 2700k|742210 | 13068k| 536M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 92k| 29k| 0.000000e+00 | 2.000000e+01 | Inf
725.92/726.11 c 691s| 2710k|745021 | 13111k| 538M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 92k| 29k| 0.000000e+00 | 2.000000e+01 | Inf
728.31/728.53 c 694s| 2720k|747531 | 13154k| 540M| 70 | - | 190 | 10 | 8 | 190 | 25 | 22 | 92k| 29k| 0.000000e+00 | 2.000000e+01 | Inf
730.72/730.95 c 696s| 2730k|749813 | 13197k| 541M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 93k| 29k| 0.000000e+00 | 2.000000e+01 | Inf
733.12/733.32 c 698s| 2740k|752025 | 13240k| 543M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 93k| 29k| 0.000000e+00 | 2.000000e+01 | Inf
735.51/735.78 c 701s| 2750k|754244 | 13285k| 545M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 93k| 30k| 0.000000e+00 | 2.000000e+01 | Inf
737.92/738.19 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
737.92/738.19 c 703s| 2760k|756131 | 13329k| 546M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 94k| 30k| 0.000000e+00 | 2.000000e+01 | Inf
740.41/740.61 c 705s| 2770k|757806 | 13372k| 548M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 94k| 30k| 0.000000e+00 | 2.000000e+01 | Inf
742.81/743.04 c 708s| 2780k|759580 | 13417k| 549M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 94k| 30k| 0.000000e+00 | 2.000000e+01 | Inf
745.21/745.45 c 710s| 2790k|761223 | 13461k| 551M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 94k| 30k| 0.000000e+00 | 2.000000e+01 | Inf
747.62/747.87 c 712s| 2800k|763445 | 13505k| 553M| 70 | - | 190 | 10 | 8 | 190 | 25 | 22 | 95k| 30k| 0.000000e+00 | 2.000000e+01 | Inf
750.01/750.27 c 714s| 2810k|765725 | 13549k| 554M| 70 | - | 190 | 10 | 8 | 190 | 25 | 22 | 95k| 30k| 0.000000e+00 | 2.000000e+01 | Inf
752.41/752.69 c 717s| 2820k|767818 | 13593k| 556M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 95k| 30k| 0.000000e+00 | 2.000000e+01 | Inf
754.81/755.07 c 719s| 2830k|769612 | 13637k| 558M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 95k| 30k| 0.000000e+00 | 2.000000e+01 | Inf
757.21/757.46 c 721s| 2840k|771144 | 13681k| 559M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 96k| 30k| 0.000000e+00 | 2.000000e+01 | Inf
759.60/759.86 c 724s| 2850k|772796 | 13725k| 560M| 70 | - | 190 | 10 | 8 | 190 | 25 | 22 | 96k| 30k| 0.000000e+00 | 2.000000e+01 | Inf
762.01/762.24 c 726s| 2860k|774686 | 13768k| 562M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 96k| 30k| 0.000000e+00 | 2.000000e+01 | Inf
764.41/764.62 c 728s| 2870k|776206 | 13812k| 563M| 70 | - | 190 | 10 | 8 | 190 | 25 | 22 | 97k| 30k| 0.000000e+00 | 2.000000e+01 | Inf
766.81/767.02 c 730s| 2880k|778290 | 13856k| 565M| 70 | - | 190 | 10 | 8 | 190 | 25 | 22 | 97k| 30k| 0.000000e+00 | 2.000000e+01 | Inf
769.20/769.40 c 733s| 2890k|779870 | 13901k| 566M| 70 | - | 190 | 10 | 8 | 190 | 25 | 22 | 97k| 30k| 0.000000e+00 | 2.000000e+01 | Inf
771.60/771.83 c 735s| 2900k|781658 | 13945k| 568M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 98k| 30k| 0.000000e+00 | 2.000000e+01 | Inf
774.00/774.22 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
774.00/774.22 c 737s| 2910k|783292 | 13988k| 569M| 70 | 8 | 190 | 11 | 9 | 190 | 25 | 22 | 98k| 30k| 0.000000e+00 | 2.000000e+01 | Inf
776.41/776.61 c 740s| 2920k|784746 | 14031k| 571M| 70 | - | 190 | 10 | 8 | 190 | 25 | 22 | 98k| 30k| 0.000000e+00 | 2.000000e+01 | Inf
778.70/778.97 c 742s| 2930k|786577 | 14074k| 572M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 98k| 31k| 0.000000e+00 | 2.000000e+01 | Inf
781.10/781.35 c 744s| 2940k|788031 | 14116k| 574M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 99k| 31k| 0.000000e+00 | 2.000000e+01 | Inf
783.50/783.72 c 746s| 2950k|789336 | 14160k| 575M| 70 | - | 190 | 10 | 8 | 190 | 25 | 22 | 99k| 31k| 0.000000e+00 | 2.000000e+01 | Inf
785.90/786.10 c 749s| 2960k|790651 | 14204k| 576M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 99k| 31k| 0.000000e+00 | 2.000000e+01 | Inf
788.29/788.51 c 751s| 2970k|792181 | 14249k| 578M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 100k| 31k| 0.000000e+00 | 2.000000e+01 | Inf
790.71/790.92 c 753s| 2980k|793607 | 14294k| 579M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 100k| 31k| 0.000000e+00 | 2.000000e+01 | Inf
793.10/793.34 c 755s| 2990k|795167 | 14339k| 581M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 100k| 31k| 0.000000e+00 | 2.000000e+01 | Inf
795.50/795.77 c 758s| 3000k|796979 | 14383k| 582M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 101k| 31k| 0.000000e+00 | 2.000000e+01 | Inf
797.90/798.18 c 760s| 3010k|798872 | 14427k| 584M| 70 | - | 190 | 10 | 8 | 190 | 25 | 22 | 101k| 31k| 0.000000e+00 | 2.000000e+01 | Inf
798.41/798.69 o 19
798.41/798.69 c * 761s| 3012k|795486 | 14436k| 578M| 70 | - | 190 | 10 | 0 | 190 | 25 | 22 | 101k| 31k| 0.000000e+00 | 1.900000e+01 | Inf
798.50/798.72 o 17
798.50/798.72 c * 761s| 3012k|785278 | 14436k| 562M| 70 | - | 190 | 10 | 0 | 190 | 25 | 22 | 101k| 31k| 0.000000e+00 | 1.700000e+01 | Inf
800.40/800.61 c 762s| 3020k|786376 | 14470k| 563M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 101k| 31k| 0.000000e+00 | 1.700000e+01 | Inf
802.80/803.00 c 765s| 3030k|787506 | 14513k| 564M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 101k| 31k| 0.000000e+00 | 1.700000e+01 | Inf
805.09/805.39 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
805.09/805.39 c 767s| 3040k|788947 | 14556k| 565M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 102k| 31k| 0.000000e+00 | 1.700000e+01 | Inf
807.50/807.76 c 769s| 3050k|790358 | 14599k| 566M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 102k| 31k| 0.000000e+00 | 1.700000e+01 | Inf
809.89/810.11 c 771s| 3060k|791935 | 14641k| 568M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 102k| 31k| 0.000000e+00 | 1.700000e+01 | Inf
812.30/812.55 c 774s| 3070k|794072 | 14685k| 569M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 103k| 31k| 0.000000e+00 | 1.700000e+01 | Inf
814.70/814.94 c 776s| 3080k|796583 | 14729k| 571M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 103k| 31k| 0.000000e+00 | 1.700000e+01 | Inf
817.00/817.27 c 778s| 3090k|798486 | 14771k| 573M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 103k| 32k| 0.000000e+00 | 1.700000e+01 | Inf
819.40/819.64 c 780s| 3100k|800217 | 14814k| 574M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 103k| 32k| 0.000000e+00 | 1.700000e+01 | Inf
821.79/822.01 c 783s| 3110k|802375 | 14856k| 576M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 104k| 32k| 0.000000e+00 | 1.700000e+01 | Inf
824.09/824.38 c 785s| 3120k|804877 | 14897k| 577M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 104k| 32k| 0.000000e+00 | 1.700000e+01 | Inf
826.50/826.72 c 787s| 3130k|806769 | 14939k| 579M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 104k| 32k| 0.000000e+00 | 1.700000e+01 | Inf
828.79/829.03 c 789s| 3140k|808168 | 14980k| 580M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 104k| 32k| 0.000000e+00 | 1.700000e+01 | Inf
831.10/831.37 c 792s| 3150k|809887 | 15022k| 581M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 105k| 32k| 0.000000e+00 | 1.700000e+01 | Inf
833.50/833.73 c 794s| 3160k|811676 | 15064k| 583M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 105k| 32k| 0.000000e+00 | 1.700000e+01 | Inf
835.89/836.13 c 796s| 3170k|813778 | 15106k| 584M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 105k| 32k| 0.000000e+00 | 1.700000e+01 | Inf
838.39/838.62 c 799s| 3180k|817216 | 15150k| 586M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 105k| 32k| 0.000000e+00 | 1.700000e+01 | Inf
840.79/841.06 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
840.79/841.06 c 801s| 3190k|820119 | 15194k| 588M| 70 | - | 190 | 8 | 7 | 0 | 0 | 22 | 106k| 32k| 0.000000e+00 | 1.700000e+01 | Inf
843.19/843.42 c 803s| 3200k|822706 | 15237k| 590M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 106k| 32k| 0.000000e+00 | 1.700000e+01 | Inf
845.60/845.81 c 805s| 3210k|824949 | 15280k| 591M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 106k| 32k| 0.000000e+00 | 1.700000e+01 | Inf
847.99/848.24 c 808s| 3220k|827960 | 15325k| 593M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 106k| 32k| 0.000000e+00 | 1.700000e+01 | Inf
850.39/850.66 c 810s| 3230k|830576 | 15368k| 595M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 107k| 32k| 0.000000e+00 | 1.700000e+01 | Inf
852.89/853.17 c 812s| 3240k|833735 | 15414k| 597M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 107k| 32k| 0.000000e+00 | 1.700000e+01 | Inf
855.39/855.60 c 815s| 3250k|836651 | 15457k| 599M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 107k| 32k| 0.000000e+00 | 1.700000e+01 | Inf
857.69/857.98 c 817s| 3260k|838764 | 15500k| 601M| 70 | - | 190 | 9 | 8 | 190 | 25 | 22 | 108k| 33k| 0.000000e+00 | 1.700000e+01 | Inf
860.09/860.35 c 819s| 3270k|840922 | 15544k| 602M| 70 | - | 190 | 9 | 8 | 190 | 25 | 22 | 108k| 33k| 0.000000e+00 | 1.700000e+01 | Inf
862.49/862.72 c 822s| 3280k|843071 | 15587k| 604M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 108k| 33k| 0.000000e+00 | 1.700000e+01 | Inf
864.79/865.05 c 824s| 3290k|845024 | 15629k| 606M| 70 | - | 190 | 8 | 8 | 0 | 0 | 22 | 109k| 33k| 0.000000e+00 | 1.700000e+01 | Inf
867.08/867.39 c 826s| 3300k|846955 | 15671k| 607M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 109k| 33k| 0.000000e+00 | 1.700000e+01 | Inf
869.58/869.80 c 828s| 3310k|849604 | 15715k| 609M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 109k| 33k| 0.000000e+00 | 1.700000e+01 | Inf
871.89/872.15 c 830s| 3320k|851712 | 15759k| 611M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 109k| 33k| 0.000000e+00 | 1.700000e+01 | Inf
874.30/874.53 c 833s| 3330k|853792 | 15802k| 612M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 110k| 33k| 0.000000e+00 | 1.700000e+01 | Inf
876.58/876.86 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
876.58/876.86 c 835s| 3340k|855716 | 15845k| 614M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 110k| 33k| 0.000000e+00 | 1.700000e+01 | Inf
878.98/879.23 c 837s| 3350k|857738 | 15888k| 615M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 110k| 33k| 0.000000e+00 | 1.700000e+01 | Inf
881.28/881.59 c 839s| 3360k|859479 | 15930k| 617M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 111k| 33k| 0.000000e+00 | 1.700000e+01 | Inf
883.69/883.94 c 842s| 3370k|861715 | 15972k| 618M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 111k| 33k| 0.000000e+00 | 1.700000e+01 | Inf
885.99/886.29 c 844s| 3380k|863407 | 16015k| 620M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 111k| 33k| 0.000000e+00 | 1.700000e+01 | Inf
888.38/888.68 c 846s| 3390k|865522 | 16058k| 621M| 70 | - | 190 | 10 | 8 | 190 | 25 | 22 | 112k| 33k| 0.000000e+00 | 1.700000e+01 | Inf
890.79/891.07 c 848s| 3400k|867767 | 16101k| 623M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 112k| 33k| 0.000000e+00 | 1.700000e+01 | Inf
893.18/893.43 c 851s| 3410k|869706 | 16144k| 625M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 112k| 33k| 0.000000e+00 | 1.700000e+01 | Inf
895.58/895.80 c 853s| 3420k|872283 | 16186k| 626M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 112k| 34k| 0.000000e+00 | 1.700000e+01 | Inf
897.88/898.13 c 855s| 3430k|874421 | 16229k| 628M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 113k| 34k| 0.000000e+00 | 1.700000e+01 | Inf
900.19/900.48 c 857s| 3440k|876179 | 16271k| 629M| 70 | - | 190 | 8 | 8 | 0 | 0 | 22 | 113k| 34k| 0.000000e+00 | 1.700000e+01 | Inf
902.58/902.80 c 860s| 3450k|877819 | 16313k| 630M| 70 | - | 190 | 9 | 8 | 0 | 0 | 22 | 113k| 34k| 0.000000e+00 | 1.700000e+01 | Inf
904.88/905.16 c 862s| 3460k|879517 | 16356k| 632M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 113k| 34k| 0.000000e+00 | 1.700000e+01 | Inf
907.19/907.47 c 864s| 3470k|881029 | 16397k| 633M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 114k| 34k| 0.000000e+00 | 1.700000e+01 | Inf
909.58/909.88 c 866s| 3480k|883216 | 16441k| 635M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 114k| 34k| 0.000000e+00 | 1.700000e+01 | Inf
911.98/912.23 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
911.98/912.23 c 869s| 3490k|884962 | 16483k| 636M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 114k| 34k| 0.000000e+00 | 1.700000e+01 | Inf
914.38/914.61 c 871s| 3500k|887639 | 16526k| 638M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 115k| 34k| 0.000000e+00 | 1.700000e+01 | Inf
916.68/916.96 c 873s| 3510k|889755 | 16569k| 639M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 115k| 34k| 0.000000e+00 | 1.700000e+01 | Inf
919.08/919.30 c 875s| 3520k|891370 | 16611k| 641M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 115k| 34k| 0.000000e+00 | 1.700000e+01 | Inf
921.37/921.69 c 878s| 3530k|893710 | 16655k| 642M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 115k| 34k| 0.000000e+00 | 1.700000e+01 | Inf
923.78/924.03 c 880s| 3540k|896107 | 16697k| 644M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 116k| 34k| 0.000000e+00 | 1.700000e+01 | Inf
926.08/926.38 c 882s| 3550k|897846 | 16739k| 646M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 116k| 34k| 0.000000e+00 | 1.700000e+01 | Inf
928.38/928.70 c 884s| 3560k|899759 | 16781k| 647M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 116k| 34k| 0.000000e+00 | 1.700000e+01 | Inf
930.78/931.02 c 887s| 3570k|901221 | 16824k| 648M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 116k| 34k| 0.000000e+00 | 1.700000e+01 | Inf
933.07/933.35 c 889s| 3580k|903119 | 16865k| 650M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 117k| 34k| 0.000000e+00 | 1.700000e+01 | Inf
935.38/935.69 c 891s| 3590k|904922 | 16907k| 651M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 117k| 35k| 0.000000e+00 | 1.700000e+01 | Inf
937.78/938.02 c 893s| 3600k|906674 | 16949k| 652M| 70 | - | 190 | 9 | 9 | 190 | 25 | 22 | 117k| 35k| 0.000000e+00 | 1.700000e+01 | Inf
940.08/940.35 c 895s| 3610k|908828 | 16989k| 654M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 117k| 35k| 0.000000e+00 | 1.700000e+01 | Inf
942.38/942.69 c 898s| 3620k|910395 | 17030k| 655M| 70 | - | 190 | 8 | 9 | 0 | 0 | 22 | 118k| 35k| 0.000000e+00 | 1.700000e+01 | Inf
944.78/945.03 c 900s| 3630k|911784 | 17072k| 656M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 118k| 35k| 0.000000e+00 | 1.700000e+01 | Inf
947.07/947.38 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
947.07/947.38 c 902s| 3640k|913391 | 17115k| 658M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 118k| 35k| 0.000000e+00 | 1.700000e+01 | Inf
949.38/949.69 c 904s| 3650k|915027 | 17156k| 659M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 119k| 35k| 0.000000e+00 | 1.700000e+01 | Inf
951.77/952.01 c 906s| 3660k|916572 | 17198k| 660M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 119k| 35k| 0.000000e+00 | 1.700000e+01 | Inf
954.08/954.34 c 909s| 3670k|918016 | 17239k| 662M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 119k| 35k| 0.000000e+00 | 1.700000e+01 | Inf
956.37/956.67 c 911s| 3680k|919496 | 17281k| 663M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 119k| 35k| 0.000000e+00 | 1.700000e+01 | Inf
958.77/959.03 c 913s| 3690k|920839 | 17324k| 664M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 120k| 35k| 0.000000e+00 | 1.700000e+01 | Inf
961.08/961.34 c 915s| 3700k|922386 | 17366k| 666M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 120k| 35k| 0.000000e+00 | 1.700000e+01 | Inf
963.47/963.72 c 918s| 3710k|924079 | 17409k| 667M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 120k| 35k| 0.000000e+00 | 1.700000e+01 | Inf
965.78/966.09 c 920s| 3720k|925649 | 17451k| 668M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 121k| 35k| 0.000000e+00 | 1.700000e+01 | Inf
968.07/968.39 c 922s| 3730k|927257 | 17492k| 670M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 121k| 35k| 0.000000e+00 | 1.700000e+01 | Inf
970.47/970.77 c 924s| 3740k|929566 | 17534k| 671M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 121k| 35k| 0.000000e+00 | 1.700000e+01 | Inf
972.87/973.15 c 927s| 3750k|932274 | 17578k| 673M| 70 | - | 190 | 9 | 9 | 190 | 25 | 22 | 121k| 35k| 0.000000e+00 | 1.700000e+01 | Inf
975.17/975.48 c 929s| 3760k|934182 | 17619k| 675M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 122k| 36k| 0.000000e+00 | 1.700000e+01 | Inf
977.58/977.87 c 931s| 3770k|936445 | 17662k| 676M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 122k| 36k| 0.000000e+00 | 1.700000e+01 | Inf
979.97/980.20 c 933s| 3780k|938917 | 17704k| 678M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 122k| 36k| 0.000000e+00 | 1.700000e+01 | Inf
982.27/982.57 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
982.27/982.57 c 936s| 3790k|941081 | 17747k| 680M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 123k| 36k| 0.000000e+00 | 1.700000e+01 | Inf
984.67/984.91 c 938s| 3800k|942568 | 17790k| 681M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 123k| 36k| 0.000000e+00 | 1.700000e+01 | Inf
986.97/987.21 c 940s| 3810k|944457 | 17831k| 682M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 123k| 36k| 0.000000e+00 | 1.700000e+01 | Inf
989.27/989.59 c 942s| 3820k|946958 | 17874k| 684M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 123k| 36k| 0.000000e+00 | 1.700000e+01 | Inf
991.67/991.97 c 945s| 3830k|949616 | 17916k| 686M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 123k| 36k| 0.000000e+00 | 1.700000e+01 | Inf
994.07/994.36 c 947s| 3840k|952375 | 17958k| 687M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 124k| 36k| 0.000000e+00 | 1.700000e+01 | Inf
996.37/996.65 c 949s| 3850k|954455 | 18000k| 689M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 124k| 36k| 0.000000e+00 | 1.700000e+01 | Inf
998.66/998.99 c 951s| 3860k|956085 | 18042k| 690M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 124k| 36k| 0.000000e+00 | 1.700000e+01 | Inf
1001.07/1001.34 c 953s| 3870k|958537 | 18083k| 692M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 125k| 36k| 0.000000e+00 | 1.700000e+01 | Inf
1003.37/1003.66 c 956s| 3880k|960631 | 18124k| 693M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 125k| 36k| 0.000000e+00 | 1.700000e+01 | Inf
1005.67/1005.96 c 958s| 3890k|962111 | 18164k| 695M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 125k| 36k| 0.000000e+00 | 1.700000e+01 | Inf
1008.07/1008.33 c 960s| 3900k|964148 | 18206k| 696M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 125k| 36k| 0.000000e+00 | 1.700000e+01 | Inf
1010.36/1010.66 c 962s| 3910k|966389 | 18248k| 698M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 126k| 36k| 0.000000e+00 | 1.700000e+01 | Inf
1012.66/1012.97 c 965s| 3920k|967979 | 18289k| 699M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 126k| 36k| 0.000000e+00 | 1.700000e+01 | Inf
1014.97/1015.30 c 967s| 3930k|969509 | 18330k| 700M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 126k| 36k| 0.000000e+00 | 1.700000e+01 | Inf
1017.27/1017.59 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1017.27/1017.59 c 969s| 3940k|971044 | 18370k| 701M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 126k| 37k| 0.000000e+00 | 1.700000e+01 | Inf
1019.57/1019.87 c 971s| 3950k|972611 | 18412k| 703M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 127k| 37k| 0.000000e+00 | 1.700000e+01 | Inf
1021.97/1022.23 c 973s| 3960k|974916 | 18453k| 704M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 127k| 37k| 0.000000e+00 | 1.700000e+01 | Inf
1024.26/1024.52 c 976s| 3970k|976788 | 18493k| 706M| 70 | - | 190 | 9 | 8 | 190 | 25 | 22 | 127k| 37k| 0.000000e+00 | 1.700000e+01 | Inf
1026.56/1026.80 c 978s| 3980k|978207 | 18533k| 707M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 127k| 37k| 0.000000e+00 | 1.700000e+01 | Inf
1028.87/1029.12 c 980s| 3990k|979993 | 18575k| 708M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 128k| 37k| 0.000000e+00 | 1.700000e+01 | Inf
1031.16/1031.45 c 982s| 4000k|981385 | 18617k| 710M| 70 | - | 190 | 8 | 7 | 0 | 0 | 22 | 128k| 37k| 0.000000e+00 | 1.700000e+01 | Inf
1033.46/1033.75 c 984s| 4010k|982914 | 18658k| 711M| 70 | - | 190 | 8 | 8 | 0 | 0 | 22 | 128k| 37k| 0.000000e+00 | 1.700000e+01 | Inf
1035.77/1036.03 c 986s| 4020k|984054 | 18699k| 712M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 128k| 37k| 0.000000e+00 | 1.700000e+01 | Inf
1038.06/1038.35 c 989s| 4030k|985317 | 18740k| 713M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 129k| 37k| 0.000000e+00 | 1.700000e+01 | Inf
1040.37/1040.65 c 991s| 4040k|986750 | 18781k| 714M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 129k| 37k| 0.000000e+00 | 1.700000e+01 | Inf
1042.66/1042.95 c 993s| 4050k|988008 | 18823k| 716M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 129k| 37k| 0.000000e+00 | 1.700000e+01 | Inf
1045.06/1045.30 c 995s| 4060k|989452 | 18865k| 717M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 129k| 37k| 0.000000e+00 | 1.700000e+01 | Inf
1047.36/1047.60 c 997s| 4070k|990585 | 18906k| 718M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 130k| 37k| 0.000000e+00 | 1.700000e+01 | Inf
1049.66/1049.91 c 1000s| 4080k|992119 | 18947k| 719M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 130k| 37k| 0.000000e+00 | 1.700000e+01 | Inf
1051.96/1052.22 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1051.96/1052.22 c 1002s| 4090k|993271 | 18989k| 720M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 130k| 37k| 0.000000e+00 | 1.700000e+01 | Inf
1054.26/1054.53 c 1004s| 4100k|994497 | 19030k| 721M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 130k| 37k| 0.000000e+00 | 1.700000e+01 | Inf
1056.56/1056.83 c 1006s| 4110k|995787 | 19071k| 723M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 131k| 37k| 0.000000e+00 | 1.700000e+01 | Inf
1058.86/1059.12 c 1008s| 4120k|997008 | 19112k| 724M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 131k| 37k| 0.000000e+00 | 1.700000e+01 | Inf
1061.16/1061.45 c 1011s| 4130k|997942 | 19153k| 725M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 131k| 38k| 0.000000e+00 | 1.700000e+01 | Inf
1063.47/1063.74 c 1013s| 4140k|999280 | 19194k| 726M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 132k| 38k| 0.000000e+00 | 1.700000e+01 | Inf
1065.76/1066.08 c 1015s| 4150k| 1001k| 19236k| 727M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 132k| 38k| 0.000000e+00 | 1.700000e+01 | Inf
1068.16/1068.42 c 1017s| 4160k| 1002k| 19277k| 729M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 132k| 38k| 0.000000e+00 | 1.700000e+01 | Inf
1070.46/1070.71 c 1019s| 4170k| 1003k| 19319k| 730M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 132k| 38k| 0.000000e+00 | 1.700000e+01 | Inf
1072.76/1073.00 c 1022s| 4180k| 1004k| 19359k| 731M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 133k| 38k| 0.000000e+00 | 1.700000e+01 | Inf
1075.05/1075.32 c 1024s| 4190k| 1006k| 19400k| 732M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 133k| 38k| 0.000000e+00 | 1.700000e+01 | Inf
1077.36/1077.64 c 1026s| 4200k| 1007k| 19441k| 733M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 133k| 38k| 0.000000e+00 | 1.700000e+01 | Inf
1079.66/1079.96 c 1028s| 4210k| 1008k| 19483k| 734M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 133k| 38k| 0.000000e+00 | 1.700000e+01 | Inf
1081.96/1082.28 c 1030s| 4220k| 1009k| 19524k| 735M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 134k| 38k| 0.000000e+00 | 1.700000e+01 | Inf
1084.37/1084.61 c 1033s| 4230k| 1011k| 19565k| 737M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 134k| 38k| 0.000000e+00 | 1.700000e+01 | Inf
1086.66/1086.93 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1086.66/1086.93 c 1035s| 4240k| 1012k| 19607k| 738M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 134k| 38k| 0.000000e+00 | 1.700000e+01 | Inf
1088.95/1089.27 c 1037s| 4250k| 1013k| 19648k| 739M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 135k| 38k| 0.000000e+00 | 1.700000e+01 | Inf
1091.35/1091.60 c 1039s| 4260k| 1014k| 19691k| 740M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 135k| 38k| 0.000000e+00 | 1.700000e+01 | Inf
1093.65/1093.95 c 1042s| 4270k| 1015k| 19734k| 741M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 135k| 38k| 0.000000e+00 | 1.700000e+01 | Inf
1096.05/1096.38 c 1044s| 4280k| 1017k| 19778k| 743M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 135k| 38k| 0.000000e+00 | 1.700000e+01 | Inf
1098.76/1099.03 c 1046s| 4290k| 1021k| 19826k| 745M| 70 | - | 190 | 9 | 9 | 0 | 0 | 22 | 136k| 38k| 0.000000e+00 | 1.700000e+01 | Inf
1101.25/1101.56 c 1049s| 4300k| 1024k| 19871k| 747M| 70 | - | 190 | 10 | 8 | 0 | 0 | 22 | 136k| 38k| 0.000000e+00 | 1.700000e+01 | Inf
1104.06/1104.35 c 1052s| 4310k| 1028k| 19919k| 749M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 136k| 39k| 0.000000e+00 | 1.700000e+01 | Inf
1106.55/1106.86 c 1054s| 4320k| 1031k| 19964k| 751M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 136k| 39k| 0.000000e+00 | 1.700000e+01 | Inf
1109.05/1109.39 c 1056s| 4330k| 1034k| 20008k| 753M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 137k| 39k| 0.000000e+00 | 1.700000e+01 | Inf
1111.55/1111.89 c 1059s| 4340k| 1037k| 20053k| 755M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 137k| 39k| 0.000000e+00 | 1.700000e+01 | Inf
1114.15/1114.43 c 1061s| 4350k| 1040k| 20100k| 757M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 137k| 39k| 0.000000e+00 | 1.700000e+01 | Inf
1116.75/1117.07 c 1064s| 4360k| 1043k| 20144k| 759M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 137k| 39k| 0.000000e+00 | 1.700000e+01 | Inf
1119.25/1119.52 c 1066s| 4370k| 1046k| 20188k| 761M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 138k| 39k| 0.000000e+00 | 1.700000e+01 | Inf
1121.66/1121.97 c 1068s| 4380k| 1049k| 20232k| 763M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 138k| 39k| 0.000000e+00 | 1.700000e+01 | Inf
1124.15/1124.41 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1124.15/1124.41 c 1071s| 4390k| 1052k| 20276k| 765M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 138k| 39k| 0.000000e+00 | 1.700000e+01 | Inf
1126.55/1126.87 c 1073s| 4400k| 1054k| 20320k| 767M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 138k| 39k| 0.000000e+00 | 1.700000e+01 | Inf
1129.05/1129.30 c 1075s| 4410k| 1057k| 20363k| 768M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 139k| 39k| 0.000000e+00 | 1.700000e+01 | Inf
1131.35/1131.68 c 1078s| 4420k| 1059k| 20407k| 770M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 139k| 39k| 0.000000e+00 | 1.700000e+01 | Inf
1133.86/1134.13 c 1080s| 4430k| 1061k| 20451k| 772M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 139k| 39k| 0.000000e+00 | 1.700000e+01 | Inf
1136.25/1136.58 c 1082s| 4440k| 1063k| 20496k| 773M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 140k| 39k| 0.000000e+00 | 1.700000e+01 | Inf
1138.75/1139.04 c 1085s| 4450k| 1066k| 20539k| 775M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 140k| 39k| 0.000000e+00 | 1.700000e+01 | Inf
1141.15/1141.49 c 1087s| 4460k| 1069k| 20582k| 777M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 140k| 39k| 0.000000e+00 | 1.700000e+01 | Inf
1143.54/1143.89 c 1089s| 4470k| 1071k| 20626k| 779M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 140k| 39k| 0.000000e+00 | 1.700000e+01 | Inf
1146.14/1146.41 c 1092s| 4480k| 1074k| 20670k| 781M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 140k| 39k| 0.000000e+00 | 1.700000e+01 | Inf
1148.55/1148.80 c 1094s| 4490k| 1076k| 20713k| 782M| 70 | - | 190 | 9 | 8 | 190 | 25 | 22 | 141k| 40k| 0.000000e+00 | 1.700000e+01 | Inf
1150.94/1151.25 c 1096s| 4500k| 1079k| 20756k| 784M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 141k| 40k| 0.000000e+00 | 1.700000e+01 | Inf
1153.45/1153.75 c 1099s| 4510k| 1082k| 20800k| 786M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 141k| 40k| 0.000000e+00 | 1.700000e+01 | Inf
1155.85/1156.17 c 1101s| 4520k| 1084k| 20843k| 788M| 70 | - | 190 | 9 | 8 | 190 | 25 | 22 | 142k| 40k| 0.000000e+00 | 1.700000e+01 | Inf
1158.44/1158.77 c 1103s| 4530k| 1087k| 20889k| 790M| 70 | 8 | 190 | 11 | 10 | 190 | 25 | 22 | 142k| 40k| 0.000000e+00 | 1.700000e+01 | Inf
1160.94/1161.27 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1160.94/1161.27 c 1106s| 4540k| 1090k| 20935k| 792M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 142k| 40k| 0.000000e+00 | 1.700000e+01 | Inf
1163.45/1163.76 c 1108s| 4550k| 1093k| 20980k| 794M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 142k| 40k| 0.000000e+00 | 1.700000e+01 | Inf
1165.94/1166.22 c 1111s| 4560k| 1095k| 21024k| 795M| 70 | - | 190 | 8 | 8 | 0 | 0 | 22 | 143k| 40k| 0.000000e+00 | 1.700000e+01 | Inf
1168.44/1168.70 c 1113s| 4570k| 1097k| 21069k| 797M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 143k| 40k| 0.000000e+00 | 1.700000e+01 | Inf
1170.84/1171.18 c 1115s| 4580k| 1100k| 21114k| 799M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 143k| 40k| 0.000000e+00 | 1.700000e+01 | Inf
1173.35/1173.61 c 1118s| 4590k| 1102k| 21157k| 801M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 143k| 40k| 0.000000e+00 | 1.700000e+01 | Inf
1175.74/1176.03 c 1120s| 4600k| 1104k| 21201k| 802M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 144k| 40k| 0.000000e+00 | 1.700000e+01 | Inf
1178.14/1178.41 c 1122s| 4610k| 1106k| 21245k| 804M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 144k| 40k| 0.000000e+00 | 1.700000e+01 | Inf
1180.44/1180.79 c 1124s| 4620k| 1108k| 21288k| 805M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 144k| 40k| 0.000000e+00 | 1.700000e+01 | Inf
1182.84/1183.18 c 1127s| 4630k| 1110k| 21330k| 807M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 144k| 40k| 0.000000e+00 | 1.700000e+01 | Inf
1185.34/1185.63 c 1129s| 4640k| 1113k| 21373k| 809M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 145k| 40k| 0.000000e+00 | 1.700000e+01 | Inf
1187.83/1188.14 c 1131s| 4650k| 1116k| 21419k| 811M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 145k| 40k| 0.000000e+00 | 1.700000e+01 | Inf
1190.23/1190.54 c 1134s| 4660k| 1118k| 21462k| 812M| 70 | - | 190 | 8 | 7 | 0 | 0 | 22 | 145k| 40k| 0.000000e+00 | 1.700000e+01 | Inf
1192.63/1192.91 c 1136s| 4670k| 1120k| 21505k| 814M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 145k| 40k| 0.000000e+00 | 1.700000e+01 | Inf
1195.04/1195.30 c 1138s| 4680k| 1122k| 21549k| 815M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 146k| 41k| 0.000000e+00 | 1.700000e+01 | Inf
1197.44/1197.70 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1197.44/1197.70 c 1140s| 4690k| 1124k| 21592k| 817M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 146k| 41k| 0.000000e+00 | 1.700000e+01 | Inf
1199.84/1200.19 c 1143s| 4700k| 1126k| 21637k| 819M| 70 | - | 190 | 8 | 9 | 0 | 0 | 22 | 146k| 41k| 0.000000e+00 | 1.700000e+01 | Inf
1202.33/1202.61 c 1145s| 4710k| 1128k| 21681k| 821M| 70 | 8 | 190 | 12 | 8 | 190 | 25 | 22 | 146k| 41k| 0.000000e+00 | 1.700000e+01 | Inf
1204.74/1205.04 c 1147s| 4720k| 1130k| 21724k| 822M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 147k| 41k| 0.000000e+00 | 1.700000e+01 | Inf
1207.13/1207.41 c 1150s| 4730k| 1132k| 21768k| 824M| 70 | - | 190 | 8 | 9 | 0 | 0 | 22 | 147k| 41k| 0.000000e+00 | 1.700000e+01 | Inf
1209.54/1209.84 c 1152s| 4740k| 1134k| 21812k| 825M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 147k| 41k| 0.000000e+00 | 1.700000e+01 | Inf
1212.04/1212.30 c 1154s| 4750k| 1137k| 21856k| 827M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 148k| 41k| 0.000000e+00 | 1.700000e+01 | Inf
1214.44/1214.72 c 1157s| 4760k| 1139k| 21900k| 829M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 148k| 41k| 0.000000e+00 | 1.700000e+01 | Inf
1216.83/1217.10 c 1159s| 4770k| 1141k| 21943k| 830M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 148k| 41k| 0.000000e+00 | 1.700000e+01 | Inf
1219.24/1219.51 c 1161s| 4780k| 1143k| 21986k| 832M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 148k| 41k| 0.000000e+00 | 1.700000e+01 | Inf
1221.53/1221.90 c 1164s| 4790k| 1145k| 22028k| 834M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 149k| 41k| 0.000000e+00 | 1.700000e+01 | Inf
1223.94/1224.30 c 1166s| 4800k| 1147k| 22072k| 835M| 70 | - | 190 | 9 | 8 | 190 | 25 | 22 | 149k| 41k| 0.000000e+00 | 1.700000e+01 | Inf
1226.44/1226.71 c 1168s| 4810k| 1149k| 22114k| 837M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 149k| 41k| 0.000000e+00 | 1.700000e+01 | Inf
1228.83/1229.12 c 1170s| 4820k| 1151k| 22157k| 838M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 150k| 41k| 0.000000e+00 | 1.700000e+01 | Inf
1231.23/1231.54 c 1173s| 4830k| 1153k| 22201k| 840M| 70 | - | 190 | 9 | 8 | 0 | 0 | 22 | 150k| 41k| 0.000000e+00 | 1.700000e+01 | Inf
1233.64/1233.98 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1233.64/1233.98 c 1175s| 4840k| 1155k| 22245k| 842M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 150k| 41k| 0.000000e+00 | 1.700000e+01 | Inf
1236.14/1236.42 c 1177s| 4850k| 1157k| 22289k| 843M| 70 | - | 190 | 10 | 8 | 190 | 25 | 22 | 150k| 41k| 0.000000e+00 | 1.700000e+01 | Inf
1238.53/1238.82 c 1180s| 4860k| 1159k| 22334k| 845M| 70 | - | 190 | 14 | 9 | 190 | 25 | 22 | 151k| 41k| 0.000000e+00 | 1.700000e+01 | Inf
1240.93/1241.21 c 1182s| 4870k| 1161k| 22378k| 847M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 151k| 41k| 0.000000e+00 | 1.700000e+01 | Inf
1243.43/1243.73 c 1184s| 4880k| 1165k| 22422k| 849M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 151k| 42k| 0.000000e+00 | 1.700000e+01 | Inf
1245.83/1246.14 c 1187s| 4890k| 1167k| 22466k| 850M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 151k| 42k| 0.000000e+00 | 1.700000e+01 | Inf
1248.24/1248.50 c 1189s| 4900k| 1169k| 22508k| 852M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 152k| 42k| 0.000000e+00 | 1.700000e+01 | Inf
1250.53/1250.87 c 1191s| 4910k| 1171k| 22550k| 853M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 152k| 42k| 0.000000e+00 | 1.700000e+01 | Inf
1252.92/1253.23 c 1193s| 4920k| 1173k| 22593k| 855M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 152k| 42k| 0.000000e+00 | 1.700000e+01 | Inf
1255.32/1255.62 c 1196s| 4930k| 1175k| 22636k| 857M| 70 | - | 190 | 10 | 8 | 190 | 25 | 22 | 152k| 42k| 0.000000e+00 | 1.700000e+01 | Inf
1257.72/1258.05 c 1198s| 4940k| 1177k| 22679k| 858M| 70 | - | 190 | 8 | 8 | 0 | 0 | 22 | 153k| 42k| 0.000000e+00 | 1.700000e+01 | Inf
1260.13/1260.46 c 1200s| 4950k| 1179k| 22724k| 860M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 153k| 42k| 0.000000e+00 | 1.700000e+01 | Inf
1262.63/1262.99 c 1203s| 4960k| 1182k| 22769k| 862M| 70 | - | 190 | 9 | 8 | 190 | 25 | 22 | 153k| 42k| 0.000000e+00 | 1.700000e+01 | Inf
1265.03/1265.38 c 1205s| 4970k| 1184k| 22812k| 863M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 153k| 42k| 0.000000e+00 | 1.700000e+01 | Inf
1267.43/1267.77 c 1207s| 4980k| 1186k| 22856k| 865M| 70 | - | 190 | 9 | 8 | 190 | 25 | 22 | 154k| 42k| 0.000000e+00 | 1.700000e+01 | Inf
1269.83/1270.15 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1269.83/1270.15 c 1210s| 4990k| 1187k| 22898k| 866M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 154k| 42k| 0.000000e+00 | 1.700000e+01 | Inf
1272.22/1272.55 c 1212s| 5000k| 1189k| 22941k| 868M| 70 | - | 190 | 10 | 8 | 190 | 25 | 22 | 154k| 42k| 0.000000e+00 | 1.700000e+01 | Inf
1274.73/1275.00 c 1214s| 5010k| 1192k| 22983k| 869M| 70 | - | 190 | 9 | 8 | 190 | 25 | 22 | 154k| 42k| 0.000000e+00 | 1.700000e+01 | Inf
1277.13/1277.48 c 1217s| 5020k| 1195k| 23027k| 871M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 155k| 42k| 0.000000e+00 | 1.700000e+01 | Inf
1279.52/1279.86 c 1219s| 5030k| 1197k| 23070k| 873M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 155k| 42k| 0.000000e+00 | 1.700000e+01 | Inf
1282.02/1282.30 c 1221s| 5040k| 1199k| 23113k| 874M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 155k| 42k| 0.000000e+00 | 1.700000e+01 | Inf
1284.32/1284.69 c 1223s| 5050k| 1201k| 23156k| 876M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 155k| 42k| 0.000000e+00 | 1.700000e+01 | Inf
1286.92/1287.21 c 1226s| 5060k| 1204k| 23201k| 878M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 156k| 42k| 0.000000e+00 | 1.700000e+01 | Inf
1289.32/1289.60 c 1228s| 5070k| 1206k| 23245k| 880M| 70 | - | 190 | 8 | 8 | 0 | 0 | 22 | 156k| 42k| 0.000000e+00 | 1.700000e+01 | Inf
1291.72/1292.02 c 1230s| 5080k| 1208k| 23288k| 882M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 156k| 42k| 0.000000e+00 | 1.700000e+01 | Inf
1294.12/1294.40 c 1233s| 5090k| 1210k| 23330k| 883M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 157k| 43k| 0.000000e+00 | 1.700000e+01 | Inf
1296.42/1296.78 c 1235s| 5100k| 1212k| 23373k| 885M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 157k| 43k| 0.000000e+00 | 1.700000e+01 | Inf
1298.83/1299.16 c 1237s| 5110k| 1214k| 23416k| 886M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 157k| 43k| 0.000000e+00 | 1.700000e+01 | Inf
1301.22/1301.53 c 1240s| 5120k| 1216k| 23458k| 888M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 157k| 43k| 0.000000e+00 | 1.700000e+01 | Inf
1303.62/1303.94 c 1242s| 5130k| 1218k| 23501k| 889M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 158k| 43k| 0.000000e+00 | 1.700000e+01 | Inf
1306.02/1306.32 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1306.02/1306.32 c 1244s| 5140k| 1219k| 23544k| 890M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 158k| 43k| 0.000000e+00 | 1.700000e+01 | Inf
1308.32/1308.67 c 1246s| 5150k| 1221k| 23586k| 892M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 158k| 43k| 0.000000e+00 | 1.700000e+01 | Inf
1310.72/1311.06 c 1249s| 5160k| 1222k| 23629k| 893M| 70 | - | 190 | 8 | 9 | 0 | 0 | 22 | 159k| 43k| 0.000000e+00 | 1.700000e+01 | Inf
1313.12/1313.49 c 1251s| 5170k| 1225k| 23671k| 895M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 159k| 43k| 0.000000e+00 | 1.700000e+01 | Inf
1315.52/1315.88 c 1253s| 5180k| 1227k| 23713k| 897M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 159k| 43k| 0.000000e+00 | 1.700000e+01 | Inf
1318.02/1318.32 c 1256s| 5190k| 1229k| 23757k| 898M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 159k| 43k| 0.000000e+00 | 1.700000e+01 | Inf
1320.42/1320.71 c 1258s| 5200k| 1231k| 23800k| 900M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 159k| 43k| 0.000000e+00 | 1.700000e+01 | Inf
1322.81/1323.12 c 1260s| 5210k| 1233k| 23843k| 901M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 160k| 43k| 0.000000e+00 | 1.700000e+01 | Inf
1325.12/1325.50 c 1262s| 5220k| 1234k| 23886k| 903M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 160k| 43k| 0.000000e+00 | 1.700000e+01 | Inf
1327.52/1327.87 c 1265s| 5230k| 1236k| 23928k| 904M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 160k| 43k| 0.000000e+00 | 1.700000e+01 | Inf
1329.91/1330.26 c 1267s| 5240k| 1238k| 23971k| 906M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 161k| 43k| 0.000000e+00 | 1.700000e+01 | Inf
1332.32/1332.64 c 1269s| 5250k| 1240k| 24014k| 907M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 161k| 43k| 0.000000e+00 | 1.700000e+01 | Inf
1334.72/1335.09 c 1271s| 5260k| 1242k| 24057k| 909M| 70 | - | 190 | 9 | 7 | 0 | 0 | 22 | 161k| 43k| 0.000000e+00 | 1.700000e+01 | Inf
1337.22/1337.51 c 1274s| 5270k| 1245k| 24101k| 910M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 161k| 43k| 0.000000e+00 | 1.700000e+01 | Inf
1339.62/1339.92 c 1276s| 5280k| 1247k| 24144k| 912M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 162k| 44k| 0.000000e+00 | 1.700000e+01 | Inf
1342.02/1342.34 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1342.02/1342.34 c 1278s| 5290k| 1249k| 24186k| 914M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 162k| 44k| 0.000000e+00 | 1.700000e+01 | Inf
1344.41/1344.80 c 1281s| 5300k| 1251k| 24229k| 915M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 162k| 44k| 0.000000e+00 | 1.700000e+01 | Inf
1347.02/1347.38 c 1283s| 5310k| 1255k| 24274k| 918M| 70 | - | 190 | 8 | 9 | 190 | 25 | 22 | 162k| 44k| 0.000000e+00 | 1.700000e+01 | Inf
1349.51/1349.80 c 1285s| 5320k| 1258k| 24316k| 920M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 163k| 44k| 0.000000e+00 | 1.700000e+01 | Inf
1351.81/1352.19 c 1288s| 5330k| 1260k| 24358k| 921M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 163k| 44k| 0.000000e+00 | 1.700000e+01 | Inf
1354.22/1354.59 c 1290s| 5340k| 1263k| 24400k| 923M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 163k| 44k| 0.000000e+00 | 1.700000e+01 | Inf
1356.61/1356.99 c 1292s| 5350k| 1265k| 24442k| 924M| 70 | - | 190 | 8 | 8 | 0 | 0 | 22 | 163k| 44k| 0.000000e+00 | 1.700000e+01 | Inf
1359.01/1359.33 c 1295s| 5360k| 1267k| 24484k| 926M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 163k| 44k| 0.000000e+00 | 1.700000e+01 | Inf
1361.31/1361.70 c 1297s| 5370k| 1269k| 24525k| 928M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 164k| 44k| 0.000000e+00 | 1.700000e+01 | Inf
1363.72/1364.07 c 1299s| 5380k| 1271k| 24567k| 929M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 164k| 44k| 0.000000e+00 | 1.700000e+01 | Inf
1366.11/1366.47 c 1301s| 5390k| 1273k| 24610k| 931M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 164k| 44k| 0.000000e+00 | 1.700000e+01 | Inf
1368.51/1368.86 c 1304s| 5400k| 1275k| 24653k| 932M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 164k| 44k| 0.000000e+00 | 1.700000e+01 | Inf
1370.91/1371.23 c 1306s| 5410k| 1277k| 24695k| 934M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 165k| 44k| 0.000000e+00 | 1.700000e+01 | Inf
1373.31/1373.64 c 1308s| 5420k| 1278k| 24738k| 935M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 165k| 44k| 0.000000e+00 | 1.700000e+01 | Inf
1375.72/1376.02 c 1310s| 5430k| 1280k| 24779k| 937M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 165k| 44k| 0.000000e+00 | 1.700000e+01 | Inf
1378.01/1378.36 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1378.01/1378.36 c 1313s| 5440k| 1282k| 24821k| 938M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 166k| 44k| 0.000000e+00 | 1.700000e+01 | Inf
1380.81/1381.13 c 1315s| 5450k| 1287k| 24869k| 941M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 166k| 44k| 0.000000e+00 | 1.700000e+01 | Inf
1383.31/1383.69 c 1318s| 5460k| 1290k| 24916k| 943M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 166k| 44k| 0.000000e+00 | 1.700000e+01 | Inf
1385.80/1386.19 c 1320s| 5470k| 1293k| 24961k| 945M| 70 | - | 190 | 9 | 8 | 190 | 25 | 22 | 166k| 44k| 0.000000e+00 | 1.700000e+01 | Inf
1388.30/1388.66 c 1323s| 5480k| 1295k| 25007k| 947M| 70 | - | 190 | 10 | 8 | 190 | 25 | 22 | 167k| 44k| 0.000000e+00 | 1.700000e+01 | Inf
1390.80/1391.11 c 1325s| 5490k| 1298k| 25052k| 949M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 167k| 45k| 0.000000e+00 | 1.700000e+01 | Inf
1393.21/1393.58 c 1327s| 5500k| 1300k| 25098k| 951M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 167k| 45k| 0.000000e+00 | 1.700000e+01 | Inf
1395.71/1396.03 c 1330s| 5510k| 1303k| 25142k| 952M| 70 | - | 190 | 9 | 8 | 190 | 25 | 22 | 167k| 45k| 0.000000e+00 | 1.700000e+01 | Inf
1398.21/1398.50 c 1332s| 5520k| 1305k| 25186k| 954M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 168k| 45k| 0.000000e+00 | 1.700000e+01 | Inf
1400.60/1400.95 c 1334s| 5530k| 1308k| 25231k| 956M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 168k| 45k| 0.000000e+00 | 1.700000e+01 | Inf
1403.10/1403.41 c 1337s| 5540k| 1310k| 25276k| 958M| 70 | - | 190 | 11 | 9 | 190 | 25 | 22 | 168k| 45k| 0.000000e+00 | 1.700000e+01 | Inf
1405.51/1405.85 c 1339s| 5550k| 1313k| 25320k| 960M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 168k| 45k| 0.000000e+00 | 1.700000e+01 | Inf
1408.01/1408.34 c 1341s| 5560k| 1315k| 25366k| 961M| 70 | - | 190 | 10 | 8 | 190 | 25 | 22 | 169k| 45k| 0.000000e+00 | 1.700000e+01 | Inf
1410.40/1410.78 c 1344s| 5570k| 1317k| 25410k| 963M| 70 | - | 190 | 10 | 8 | 190 | 25 | 22 | 169k| 45k| 0.000000e+00 | 1.700000e+01 | Inf
1413.00/1413.36 c 1346s| 5580k| 1320k| 25456k| 965M| 70 | 8 | 190 | 11 | 9 | 190 | 25 | 22 | 169k| 45k| 0.000000e+00 | 1.700000e+01 | Inf
1415.50/1415.84 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1415.50/1415.84 c 1349s| 5590k| 1323k| 25500k| 967M| 70 | - | 190 | 10 | 8 | 0 | 0 | 22 | 169k| 45k| 0.000000e+00 | 1.700000e+01 | Inf
1418.00/1418.30 c 1351s| 5600k| 1326k| 25545k| 969M| 70 | - | 190 | 10 | 8 | 190 | 25 | 22 | 170k| 45k| 0.000000e+00 | 1.700000e+01 | Inf
1420.40/1420.71 c 1353s| 5610k| 1329k| 25588k| 971M| 70 | - | 190 | 10 | 9 | 0 | 0 | 22 | 170k| 45k| 0.000000e+00 | 1.700000e+01 | Inf
1422.80/1423.11 c 1355s| 5620k| 1331k| 25630k| 972M| 70 | - | 190 | 10 | 8 | 190 | 25 | 22 | 170k| 45k| 0.000000e+00 | 1.700000e+01 | Inf
1425.20/1425.53 c 1358s| 5630k| 1332k| 25674k| 974M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 170k| 45k| 0.000000e+00 | 1.700000e+01 | Inf
1427.60/1427.94 c 1360s| 5640k| 1334k| 25718k| 976M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 171k| 45k| 0.000000e+00 | 1.700000e+01 | Inf
1429.99/1430.38 c 1362s| 5650k| 1336k| 25762k| 977M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 171k| 45k| 0.000000e+00 | 1.700000e+01 | Inf
1432.60/1432.96 c 1365s| 5660k| 1340k| 25808k| 979M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 171k| 45k| 0.000000e+00 | 1.700000e+01 | Inf
1435.00/1435.34 c 1367s| 5670k| 1343k| 25850k| 981M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 171k| 45k| 0.000000e+00 | 1.700000e+01 | Inf
1437.40/1437.76 c 1369s| 5680k| 1345k| 25894k| 983M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 172k| 45k| 0.000000e+00 | 1.700000e+01 | Inf
1439.79/1440.16 c 1372s| 5690k| 1347k| 25936k| 984M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 172k| 45k| 0.000000e+00 | 1.700000e+01 | Inf
1442.20/1442.57 c 1374s| 5700k| 1349k| 25979k| 986M| 70 | 8 | 190 | 12 | 8 | 190 | 25 | 22 | 172k| 45k| 0.000000e+00 | 1.700000e+01 | Inf
1444.70/1445.00 c 1376s| 5710k| 1351k| 26022k| 988M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 172k| 46k| 0.000000e+00 | 1.700000e+01 | Inf
1447.00/1447.39 c 1379s| 5720k| 1353k| 26066k| 989M| 70 | - | 190 | 10 | 8 | 190 | 25 | 22 | 173k| 46k| 0.000000e+00 | 1.700000e+01 | Inf
1449.49/1449.84 c 1381s| 5730k| 1355k| 26110k| 991M| 70 | - | 190 | 10 | 8 | 190 | 25 | 22 | 173k| 46k| 0.000000e+00 | 1.700000e+01 | Inf
1451.89/1452.28 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1451.89/1452.28 c 1383s| 5740k| 1357k| 26152k| 993M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 173k| 46k| 0.000000e+00 | 1.700000e+01 | Inf
1454.29/1454.68 c 1385s| 5750k| 1359k| 26196k| 994M| 70 | - | 190 | 10 | 8 | 190 | 25 | 22 | 173k| 46k| 0.000000e+00 | 1.700000e+01 | Inf
1456.79/1457.14 c 1388s| 5760k| 1361k| 26240k| 996M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 174k| 46k| 0.000000e+00 | 1.700000e+01 | Inf
1459.19/1459.58 c 1390s| 5770k| 1364k| 26285k| 998M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 174k| 46k| 0.000000e+00 | 1.700000e+01 | Inf
1461.69/1462.07 c 1392s| 5780k| 1367k| 26329k|1000M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 174k| 46k| 0.000000e+00 | 1.700000e+01 | Inf
1464.19/1464.51 c 1395s| 5790k| 1369k| 26373k|1002M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 175k| 46k| 0.000000e+00 | 1.700000e+01 | Inf
1466.59/1466.91 c 1397s| 5800k| 1371k| 26417k|1003M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 175k| 46k| 0.000000e+00 | 1.700000e+01 | Inf
1468.99/1469.31 c 1399s| 5810k| 1373k| 26461k|1005M| 70 | - | 190 | 9 | 8 | 190 | 25 | 22 | 175k| 46k| 0.000000e+00 | 1.700000e+01 | Inf
1471.39/1471.71 c 1402s| 5820k| 1374k| 26504k|1006M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 175k| 46k| 0.000000e+00 | 1.700000e+01 | Inf
1473.79/1474.13 c 1404s| 5830k| 1376k| 26546k|1008M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 176k| 46k| 0.000000e+00 | 1.700000e+01 | Inf
1476.18/1476.54 c 1406s| 5840k| 1378k| 26590k|1010M| 70 | - | 190 | 11 | 9 | 190 | 25 | 22 | 176k| 46k| 0.000000e+00 | 1.700000e+01 | Inf
1478.59/1478.91 c 1409s| 5850k| 1380k| 26632k|1011M| 70 | - | 190 | 10 | 9 | 0 | 0 | 22 | 176k| 46k| 0.000000e+00 | 1.700000e+01 | Inf
1480.99/1481.31 c 1411s| 5860k| 1382k| 26675k|1012M| 70 | - | 190 | 9 | 8 | 190 | 25 | 22 | 177k| 46k| 0.000000e+00 | 1.700000e+01 | Inf
1483.39/1483.72 c 1413s| 5870k| 1384k| 26718k|1014M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 177k| 46k| 0.000000e+00 | 1.700000e+01 | Inf
1485.79/1486.11 c 1415s| 5880k| 1386k| 26761k|1016M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 177k| 46k| 0.000000e+00 | 1.700000e+01 | Inf
1488.18/1488.50 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1488.18/1488.50 c 1418s| 5890k| 1387k| 26804k|1017M| 70 | - | 190 | 9 | 8 | 190 | 25 | 22 | 177k| 46k| 0.000000e+00 | 1.700000e+01 | Inf
1490.59/1490.91 c 1420s| 5900k| 1389k| 26847k|1018M| 70 | - | 190 | 9 | 8 | 190 | 25 | 22 | 178k| 46k| 0.000000e+00 | 1.700000e+01 | Inf
1492.99/1493.30 c 1422s| 5910k| 1390k| 26890k|1020M| 70 | - | 190 | 9 | 8 | 190 | 25 | 22 | 178k| 46k| 0.000000e+00 | 1.700000e+01 | Inf
1495.38/1495.73 c 1425s| 5920k| 1392k| 26935k|1021M| 70 | 8 | 190 | 11 | 11 | 190 | 25 | 22 | 178k| 47k| 0.000000e+00 | 1.700000e+01 | Inf
1497.79/1498.12 c 1427s| 5930k| 1394k| 26977k|1023M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 178k| 47k| 0.000000e+00 | 1.700000e+01 | Inf
1500.18/1500.52 c 1429s| 5940k| 1396k| 27020k|1024M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 179k| 47k| 0.000000e+00 | 1.700000e+01 | Inf
1502.58/1502.91 c 1431s| 5950k| 1397k| 27064k|1026M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 179k| 47k| 0.000000e+00 | 1.700000e+01 | Inf
1504.98/1505.34 c 1434s| 5960k| 1399k| 27107k|1027M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 179k| 47k| 0.000000e+00 | 1.700000e+01 | Inf
1507.38/1507.76 c 1436s| 5970k| 1401k| 27151k|1029M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 179k| 47k| 0.000000e+00 | 1.700000e+01 | Inf
1509.78/1510.17 c 1438s| 5980k| 1402k| 27194k|1030M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 180k| 47k| 0.000000e+00 | 1.700000e+01 | Inf
1512.28/1512.61 c 1441s| 5990k| 1404k| 27238k|1032M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 180k| 47k| 0.000000e+00 | 1.700000e+01 | Inf
1514.58/1514.96 c 1443s| 6000k| 1406k| 27279k|1034M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 180k| 47k| 0.000000e+00 | 1.700000e+01 | Inf
1516.98/1517.37 c 1445s| 6010k| 1408k| 27322k|1035M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 180k| 47k| 0.000000e+00 | 1.700000e+01 | Inf
1519.38/1519.76 c 1447s| 6020k| 1410k| 27365k|1036M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 181k| 47k| 0.000000e+00 | 1.700000e+01 | Inf
1521.78/1522.15 c 1450s| 6030k| 1412k| 27407k|1038M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 181k| 47k| 0.000000e+00 | 1.700000e+01 | Inf
1524.18/1524.59 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1524.18/1524.59 c 1452s| 6040k| 1413k| 27451k|1039M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 181k| 47k| 0.000000e+00 | 1.700000e+01 | Inf
1526.57/1526.99 c 1454s| 6050k| 1415k| 27493k|1041M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 182k| 47k| 0.000000e+00 | 1.700000e+01 | Inf
1528.98/1529.36 c 1457s| 6060k| 1417k| 27535k|1042M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 182k| 47k| 0.000000e+00 | 1.700000e+01 | Inf
1531.47/1531.80 c 1459s| 6070k| 1419k| 27580k|1044M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 182k| 47k| 0.000000e+00 | 1.700000e+01 | Inf
1533.87/1534.22 c 1461s| 6080k| 1420k| 27625k|1045M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 182k| 47k| 0.000000e+00 | 1.700000e+01 | Inf
1536.28/1536.69 c 1464s| 6090k| 1422k| 27669k|1047M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 182k| 47k| 0.000000e+00 | 1.700000e+01 | Inf
1538.67/1539.05 c 1466s| 6100k| 1424k| 27710k|1048M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 183k| 47k| 0.000000e+00 | 1.700000e+01 | Inf
1541.07/1541.50 c 1468s| 6110k| 1426k| 27754k|1050M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 183k| 47k| 0.000000e+00 | 1.700000e+01 | Inf
1543.47/1543.87 c 1470s| 6120k| 1427k| 27797k|1051M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 183k| 47k| 0.000000e+00 | 1.700000e+01 | Inf
1545.87/1546.27 c 1473s| 6130k| 1429k| 27840k|1052M| 70 | - | 190 | 9 | 8 | 190 | 25 | 22 | 184k| 47k| 0.000000e+00 | 1.700000e+01 | Inf
1548.37/1548.72 c 1475s| 6140k| 1431k| 27883k|1054M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 184k| 48k| 0.000000e+00 | 1.700000e+01 | Inf
1550.77/1551.12 c 1477s| 6150k| 1432k| 27926k|1055M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 184k| 48k| 0.000000e+00 | 1.700000e+01 | Inf
1553.17/1553.52 c 1480s| 6160k| 1433k| 27970k|1057M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 184k| 48k| 0.000000e+00 | 1.700000e+01 | Inf
1555.57/1555.91 c 1482s| 6170k| 1435k| 28012k|1058M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 185k| 48k| 0.000000e+00 | 1.700000e+01 | Inf
1557.87/1558.29 c 1484s| 6180k| 1437k| 28056k|1060M| 70 | - | 190 | 9 | 8 | 190 | 25 | 22 | 185k| 48k| 0.000000e+00 | 1.700000e+01 | Inf
1560.26/1560.68 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1560.26/1560.68 c 1486s| 6190k| 1439k| 28097k|1061M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 185k| 48k| 0.000000e+00 | 1.700000e+01 | Inf
1562.67/1563.09 c 1489s| 6200k| 1441k| 28141k|1063M| 70 | - | 190 | 9 | 8 | 190 | 25 | 22 | 185k| 48k| 0.000000e+00 | 1.700000e+01 | Inf
1565.06/1565.47 c 1491s| 6210k| 1443k| 28183k|1064M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 186k| 48k| 0.000000e+00 | 1.700000e+01 | Inf
1567.46/1567.84 c 1493s| 6220k| 1445k| 28225k|1066M| 70 | - | 190 | 9 | 8 | 190 | 25 | 22 | 186k| 48k| 0.000000e+00 | 1.700000e+01 | Inf
1569.86/1570.29 c 1495s| 6230k| 1447k| 28270k|1068M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 186k| 48k| 0.000000e+00 | 1.700000e+01 | Inf
1572.36/1572.71 c 1498s| 6240k| 1449k| 28314k|1069M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 187k| 48k| 0.000000e+00 | 1.700000e+01 | Inf
1574.77/1575.10 c 1500s| 6250k| 1451k| 28356k|1071M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 187k| 48k| 0.000000e+00 | 1.700000e+01 | Inf
1577.16/1577.52 c 1502s| 6260k| 1453k| 28399k|1072M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 187k| 48k| 0.000000e+00 | 1.700000e+01 | Inf
1579.56/1579.99 c 1505s| 6270k| 1456k| 28443k|1074M| 70 | - | 190 | 9 | 8 | 190 | 25 | 22 | 187k| 48k| 0.000000e+00 | 1.700000e+01 | Inf
1581.96/1582.36 c 1507s| 6280k| 1458k| 28486k|1076M| 70 | - | 190 | 9 | 8 | 190 | 25 | 22 | 188k| 48k| 0.000000e+00 | 1.700000e+01 | Inf
1585.26/1585.62 c 1510s| 6290k| 1460k| 28528k|1078M| 70 | - | 190 | 10 | 8 | 190 | 25 | 22 | 188k| 48k| 0.000000e+00 | 1.700000e+01 | Inf
1587.56/1587.97 c 1512s| 6300k| 1462k| 28571k|1079M| 70 | - | 190 | 9 | 7 | 0 | 0 | 22 | 188k| 48k| 0.000000e+00 | 1.700000e+01 | Inf
1589.96/1590.35 c 1514s| 6310k| 1464k| 28614k|1081M| 70 | - | 190 | 9 | 8 | 190 | 25 | 22 | 188k| 48k| 0.000000e+00 | 1.700000e+01 | Inf
1592.37/1592.71 c 1517s| 6320k| 1466k| 28656k|1082M| 70 | - | 190 | 9 | 8 | 0 | 0 | 22 | 188k| 48k| 0.000000e+00 | 1.700000e+01 | Inf
1594.67/1595.09 c 1519s| 6330k| 1468k| 28697k|1084M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 189k| 48k| 0.000000e+00 | 1.700000e+01 | Inf
1597.06/1597.45 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1597.06/1597.45 c 1521s| 6340k| 1470k| 28739k|1086M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 189k| 48k| 0.000000e+00 | 1.700000e+01 | Inf
1599.46/1599.82 c 1523s| 6350k| 1472k| 28781k|1087M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 189k| 48k| 0.000000e+00 | 1.700000e+01 | Inf
1601.86/1602.28 c 1526s| 6360k| 1474k| 28825k|1089M| 70 | - | 190 | 9 | 8 | 0 | 0 | 22 | 190k| 49k| 0.000000e+00 | 1.700000e+01 | Inf
1604.26/1604.66 c 1528s| 6370k| 1476k| 28868k|1090M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 190k| 49k| 0.000000e+00 | 1.700000e+01 | Inf
1606.67/1607.04 c 1530s| 6380k| 1477k| 28911k|1092M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 190k| 49k| 0.000000e+00 | 1.700000e+01 | Inf
1609.06/1609.47 c 1533s| 6390k| 1479k| 28955k|1093M| 70 | - | 190 | 10 | 8 | 190 | 25 | 22 | 190k| 49k| 0.000000e+00 | 1.700000e+01 | Inf
1611.45/1611.89 c 1535s| 6400k| 1481k| 28999k|1095M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 191k| 49k| 0.000000e+00 | 1.700000e+01 | Inf
1613.86/1614.27 c 1537s| 6410k| 1483k| 29040k|1096M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 191k| 49k| 0.000000e+00 | 1.700000e+01 | Inf
1616.26/1616.65 c 1540s| 6420k| 1484k| 29083k|1098M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 191k| 49k| 0.000000e+00 | 1.700000e+01 | Inf
1618.65/1619.04 c 1542s| 6430k| 1486k| 29126k|1099M| 70 | - | 190 | 9 | 8 | 190 | 25 | 22 | 192k| 49k| 0.000000e+00 | 1.700000e+01 | Inf
1621.06/1621.42 c 1544s| 6440k| 1487k| 29169k|1100M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 192k| 49k| 0.000000e+00 | 1.700000e+01 | Inf
1623.45/1623.81 c 1546s| 6450k| 1489k| 29211k|1102M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 192k| 49k| 0.000000e+00 | 1.700000e+01 | Inf
1625.75/1626.17 c 1549s| 6460k| 1491k| 29252k|1104M| 70 | - | 190 | 8 | 7 | 0 | 0 | 22 | 192k| 49k| 0.000000e+00 | 1.700000e+01 | Inf
1628.15/1628.55 c 1551s| 6470k| 1493k| 29295k|1105M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 193k| 49k| 0.000000e+00 | 1.700000e+01 | Inf
1630.55/1630.97 c 1553s| 6480k| 1494k| 29339k|1106M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 193k| 49k| 0.000000e+00 | 1.700000e+01 | Inf
1633.06/1633.46 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1633.06/1633.46 c 1556s| 6490k| 1496k| 29383k|1108M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 193k| 49k| 0.000000e+00 | 1.700000e+01 | Inf
1635.45/1635.88 c 1558s| 6500k| 1498k| 29427k|1109M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 193k| 49k| 0.000000e+00 | 1.700000e+01 | Inf
1637.95/1638.33 c 1560s| 6510k| 1501k| 29471k|1111M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 194k| 49k| 0.000000e+00 | 1.700000e+01 | Inf
1640.35/1640.74 c 1562s| 6520k| 1503k| 29515k|1113M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 194k| 49k| 0.000000e+00 | 1.700000e+01 | Inf
1642.74/1643.15 c 1565s| 6530k| 1505k| 29558k|1114M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 194k| 49k| 0.000000e+00 | 1.700000e+01 | Inf
1645.15/1645.54 c 1567s| 6540k| 1506k| 29600k|1116M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 194k| 49k| 0.000000e+00 | 1.700000e+01 | Inf
1647.55/1647.97 c 1569s| 6550k| 1508k| 29643k|1117M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 195k| 49k| 0.000000e+00 | 1.700000e+01 | Inf
1650.04/1650.44 c 1572s| 6560k| 1511k| 29687k|1119M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 195k| 49k| 0.000000e+00 | 1.700000e+01 | Inf
1652.54/1652.96 c 1574s| 6570k| 1513k| 29732k|1121M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 195k| 49k| 0.000000e+00 | 1.700000e+01 | Inf
1654.94/1655.39 c 1576s| 6580k| 1515k| 29777k|1122M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 195k| 50k| 0.000000e+00 | 1.700000e+01 | Inf
1657.44/1657.82 c 1579s| 6590k| 1517k| 29822k|1124M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 196k| 50k| 0.000000e+00 | 1.700000e+01 | Inf
1659.84/1660.24 c 1581s| 6600k| 1519k| 29865k|1126M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 196k| 50k| 0.000000e+00 | 1.700000e+01 | Inf
1662.34/1662.70 c 1583s| 6610k| 1521k| 29911k|1127M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 196k| 50k| 0.000000e+00 | 1.700000e+01 | Inf
1664.74/1665.13 c 1586s| 6620k| 1522k| 29955k|1129M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 197k| 50k| 0.000000e+00 | 1.700000e+01 | Inf
1667.15/1667.54 c 1588s| 6630k| 1524k| 29998k|1130M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 197k| 50k| 0.000000e+00 | 1.700000e+01 | Inf
1669.53/1669.98 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1669.53/1669.98 c 1590s| 6640k| 1526k| 30042k|1132M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 197k| 50k| 0.000000e+00 | 1.700000e+01 | Inf
1671.94/1672.39 c 1593s| 6650k| 1528k| 30086k|1133M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 198k| 50k| 0.000000e+00 | 1.700000e+01 | Inf
1674.34/1674.78 c 1595s| 6660k| 1529k| 30129k|1135M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 198k| 50k| 0.000000e+00 | 1.700000e+01 | Inf
1676.84/1677.22 c 1597s| 6670k| 1531k| 30173k|1136M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 198k| 50k| 0.000000e+00 | 1.700000e+01 | Inf
1679.24/1679.62 o 16
1679.24/1679.62 c *1600s| 6679k| 1522k| 30215k|1122M| 70 | - | 190 | 8 | 0 | 190 | 25 | 22 | 199k| 50k| 0.000000e+00 | 1.600000e+01 | Inf
1679.24/1679.68 c 1600s| 6680k| 1522k| 30216k|1122M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 199k| 50k| 0.000000e+00 | 1.600000e+01 | Inf
1681.74/1682.14 c 1602s| 6690k| 1523k| 30263k|1123M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 199k| 50k| 0.000000e+00 | 1.600000e+01 | Inf
1684.14/1684.53 c 1604s| 6700k| 1525k| 30310k|1124M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 199k| 50k| 0.000000e+00 | 1.600000e+01 | Inf
1686.54/1686.95 c 1607s| 6710k| 1526k| 30355k|1125M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 199k| 50k| 0.000000e+00 | 1.600000e+01 | Inf
1689.04/1689.44 c 1609s| 6720k| 1529k| 30403k|1126M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 200k| 50k| 0.000000e+00 | 1.600000e+01 | Inf
1691.45/1691.88 c 1611s| 6730k| 1531k| 30450k|1128M| 70 | 8 | 190 | 10 | 9 | 190 | 25 | 22 | 200k| 50k| 0.000000e+00 | 1.600000e+01 | Inf
1693.83/1694.29 c 1614s| 6740k| 1533k| 30497k|1129M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 200k| 50k| 0.000000e+00 | 1.600000e+01 | Inf
1696.24/1696.67 c 1616s| 6750k| 1534k| 30544k|1130M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 200k| 50k| 0.000000e+00 | 1.600000e+01 | Inf
1698.63/1699.07 c 1618s| 6760k| 1536k| 30592k|1132M| 70 | - | 190 | 9 | 8 | 190 | 25 | 22 | 201k| 50k| 0.000000e+00 | 1.600000e+01 | Inf
1701.03/1701.48 c 1620s| 6770k| 1538k| 30639k|1133M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 201k| 50k| 0.000000e+00 | 1.600000e+01 | Inf
1703.54/1703.93 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1703.54/1703.93 c 1623s| 6780k| 1539k| 30687k|1134M| 70 | 8 | 190 | 12 | 9 | 190 | 25 | 22 | 201k| 50k| 0.000000e+00 | 1.600000e+01 | Inf
1705.93/1706.34 c 1625s| 6790k| 1541k| 30734k|1135M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 201k| 50k| 0.000000e+00 | 1.600000e+01 | Inf
1708.33/1708.76 c 1627s| 6800k| 1542k| 30780k|1136M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 202k| 50k| 0.000000e+00 | 1.600000e+01 | Inf
1710.74/1711.14 c 1630s| 6810k| 1543k| 30827k|1137M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 202k| 51k| 0.000000e+00 | 1.600000e+01 | Inf
1713.13/1713.54 c 1632s| 6820k| 1545k| 30874k|1139M| 70 | - | 190 | 9 | 8 | 190 | 25 | 22 | 202k| 51k| 0.000000e+00 | 1.600000e+01 | Inf
1715.53/1715.93 c 1634s| 6830k| 1547k| 30920k|1140M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 202k| 51k| 0.000000e+00 | 1.600000e+01 | Inf
1717.94/1718.34 c 1636s| 6840k| 1548k| 30967k|1141M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 203k| 51k| 0.000000e+00 | 1.600000e+01 | Inf
1720.33/1720.75 c 1639s| 6850k| 1550k| 31015k|1142M| 70 | 8 | 190 | 11 | 11 | 190 | 25 | 22 | 203k| 51k| 0.000000e+00 | 1.600000e+01 | Inf
1722.73/1723.13 c 1641s| 6860k| 1551k| 31061k|1143M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 203k| 51k| 0.000000e+00 | 1.600000e+01 | Inf
1725.13/1725.50 c 1643s| 6870k| 1552k| 31107k|1144M| 70 | 8 | 190 | 10 | 8 | 190 | 25 | 22 | 204k| 51k| 0.000000e+00 | 1.600000e+01 | Inf
1727.43/1727.84 c 1645s| 6880k| 1554k| 31153k|1146M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 204k| 51k| 0.000000e+00 | 1.600000e+01 | Inf
1729.84/1730.24 c 1648s| 6890k| 1555k| 31199k|1147M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 204k| 51k| 0.000000e+00 | 1.600000e+01 | Inf
1732.23/1732.62 c 1650s| 6900k| 1557k| 31247k|1148M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 204k| 51k| 0.000000e+00 | 1.600000e+01 | Inf
1734.62/1735.01 c 1652s| 6910k| 1558k| 31293k|1149M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 205k| 51k| 0.000000e+00 | 1.600000e+01 | Inf
1737.03/1737.46 c 1655s| 6920k| 1560k| 31340k|1150M| 70 | - | 190 | 9 | 8 | 190 | 25 | 22 | 205k| 51k| 0.000000e+00 | 1.600000e+01 | Inf
1739.43/1739.88 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1739.43/1739.88 c 1657s| 6930k| 1562k| 31388k|1152M| 70 | - | 190 | 11 | 8 | 190 | 25 | 22 | 205k| 51k| 0.000000e+00 | 1.600000e+01 | Inf
1741.94/1742.31 c 1659s| 6940k| 1564k| 31436k|1153M| 70 | 8 | 190 | 13 | 8 | 190 | 25 | 22 | 206k| 51k| 0.000000e+00 | 1.600000e+01 | Inf
1744.23/1744.69 c 1662s| 6950k| 1565k| 31482k|1154M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 206k| 51k| 0.000000e+00 | 1.600000e+01 | Inf
1746.63/1747.06 c 1664s| 6960k| 1566k| 31529k|1155M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 206k| 51k| 0.000000e+00 | 1.600000e+01 | Inf
1749.03/1749.49 c 1666s| 6970k| 1568k| 31576k|1156M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 206k| 51k| 0.000000e+00 | 1.600000e+01 | Inf
1751.43/1751.87 c 1668s| 6980k| 1569k| 31622k|1158M| 70 | 8 | 190 | 11 | 8 | 190 | 25 | 22 | 207k| 51k| 0.000000e+00 | 1.600000e+01 | Inf
1753.82/1754.28 c 1671s| 6990k| 1571k| 31669k|1159M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 207k| 51k| 0.000000e+00 | 1.600000e+01 | Inf
1756.23/1756.67 c 1673s| 7000k| 1572k| 31715k|1160M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 207k| 51k| 0.000000e+00 | 1.600000e+01 | Inf
1758.63/1759.08 c 1675s| 7010k| 1573k| 31761k|1161M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 208k| 51k| 0.000000e+00 | 1.600000e+01 | Inf
1761.03/1761.48 c 1677s| 7020k| 1575k| 31808k|1162M| 70 | - | 190 | 9 | 8 | 190 | 25 | 22 | 208k| 51k| 0.000000e+00 | 1.600000e+01 | Inf
1763.43/1763.88 c 1680s| 7030k| 1576k| 31855k|1163M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 208k| 51k| 0.000000e+00 | 1.600000e+01 | Inf
1765.83/1766.27 c 1682s| 7040k| 1577k| 31901k|1164M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 208k| 51k| 0.000000e+00 | 1.600000e+01 | Inf
1768.23/1768.65 c 1684s| 7050k| 1579k| 31947k|1165M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 209k| 51k| 0.000000e+00 | 1.600000e+01 | Inf
1770.63/1771.03 c 1687s| 7060k| 1580k| 31992k|1166M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 209k| 51k| 0.000000e+00 | 1.600000e+01 | Inf
1772.92/1773.38 c 1689s| 7070k| 1581k| 32038k|1167M| 70 | - | 190 | 10 | 9 | 0 | 0 | 22 | 209k| 51k| 0.000000e+00 | 1.600000e+01 | Inf
1775.32/1775.78 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1775.32/1775.78 c 1691s| 7080k| 1583k| 32084k|1168M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 209k| 51k| 0.000000e+00 | 1.600000e+01 | Inf
1777.72/1778.17 c 1693s| 7090k| 1584k| 32130k|1170M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 210k| 51k| 0.000000e+00 | 1.600000e+01 | Inf
1780.32/1780.74 c 1696s| 7100k| 1587k| 32179k|1171M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 210k| 52k| 0.000000e+00 | 1.600000e+01 | Inf
1782.83/1783.20 c 1698s| 7110k| 1589k| 32225k|1173M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 210k| 52k| 0.000000e+00 | 1.600000e+01 | Inf
1785.22/1785.61 c 1700s| 7120k| 1591k| 32272k|1174M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 211k| 52k| 0.000000e+00 | 1.600000e+01 | Inf
1787.63/1788.05 c 1703s| 7130k| 1593k| 32319k|1176M| 70 | - | 190 | 8 | 8 | 190 | 25 | 22 | 211k| 52k| 0.000000e+00 | 1.600000e+01 | Inf
1790.12/1790.50 c 1705s| 7140k| 1595k| 32367k|1177M| 70 | 8 | 190 | 9 | 8 | 190 | 25 | 22 | 211k| 52k| 0.000000e+00 | 1.600000e+01 | Inf
1792.63/1793.01 c 1707s| 7150k| 1597k| 32415k|1178M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 212k| 52k| 0.000000e+00 | 1.600000e+01 | Inf
1795.02/1795.45 c 1710s| 7160k| 1599k| 32462k|1180M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 212k| 52k| 0.000000e+00 | 1.600000e+01 | Inf
1797.42/1797.85 c 1712s| 7170k| 1600k| 32508k|1181M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 212k| 52k| 0.000000e+00 | 1.600000e+01 | Inf
1799.82/1800.27 c 1714s| 7180k| 1601k| 32554k|1182M| 70 | 8 | 190 | 8 | 8 | 190 | 25 | 22 | 212k| 52k| 0.000000e+00 | 1.600000e+01 | Inf
1800.02/1800.40 c
1800.02/1800.40 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.40 c Solving Time (sec) : 1714.40
1800.02/1800.40 c Solving Nodes : 7180553
1800.02/1800.40 c Primal Bound : +1.60000000000000e+01 (66 solutions)
1800.02/1800.40 c Dual Bound : +0.00000000000000e+00
1800.02/1800.40 c Gap : infinite
1800.02/1800.40 c NODE 7180553
1800.02/1800.40 c DUAL BOUND 0
1800.02/1800.40 c PRIMAL BOUND 16
1800.02/1800.40 c GAP 1e+20
1800.02/1800.40 s SATISFIABLE
1800.02/1800.40 v -x143 -x198 -x197 -x196 -x195 -x194 -x193 x192 x191 x190 -x189 -x188 x187 x186 -x185 x184 -x183 -x182 x181 x180 -x179 x178 x177
1800.02/1800.40 v -x176 -x175 -x174 -x173 x172 x171 x170 x169 -x168 x167 x166 -x165 x164 x163 -x162 x161 -x160 -x159 -x158 x157 x156 x155 x154
1800.02/1800.40 v x153 -x152 -x151 x150 x149 x148 x147 -x146 -x145 -x144 -x142 x141 x140 x139 x138 -x137 -x136 -x135 x134 -x133 -x132 x131 -x130
1800.02/1800.40 v -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 x115 -x114 x113 -x112 -x111 -x110 -x109
1800.02/1800.40 v -x108 -x107 x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86
1800.02/1800.40 v -x85 -x84 -x83 x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60
1800.02/1800.40 v -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35
1800.02/1800.40 v -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10
1800.02/1800.40 v -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1
1800.02/1800.40 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.40 c Solving Time : 1714.40
1800.02/1800.40 c Original Problem :
1800.02/1800.40 c Problem name : HOME/instance-3734928-1338706015.opb
1800.02/1800.40 c Variables : 198 (198 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.40 c Constraints : 16 initial, 16 maximal
1800.02/1800.40 c Presolved Problem :
1800.02/1800.40 c Problem name : t_HOME/instance-3734928-1338706015.opb
1800.02/1800.40 c Variables : 190 (190 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.40 c Constraints : 8 initial, 17 maximal
1800.02/1800.40 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.40 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.40 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.40 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.40 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.40 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.40 c probing : 0.01 0 0 0 0 0 0 0 0
1800.02/1800.40 c linear : 0.00 0 8 0 0 0 8 0 0
1800.02/1800.40 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.40 c root node : - 64 - - 64 - - - -
1800.02/1800.40 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.40 c integral : 0 0 0 4463309 0 247 18632 0 0 8890302
1800.02/1800.40 c linear : 8 6 10721567 0 0 709176 5331258 7 0 0
1800.02/1800.40 c logicor : 0+ 0 268882 0 0 2222 84450 0 0 0
1800.02/1800.40 c countsols : 0 0 0 49 0 0 0 0 0 0
1800.02/1800.40 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.40 c integral : 32.96 0.00 0.00 32.96 0.00
1800.02/1800.40 c linear : 408.26 0.00 408.26 0.00 0.00
1800.02/1800.40 c logicor : 0.33 0.00 0.33 0.00 0.00
1800.02/1800.40 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.40 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.40 c rootredcost : 2.08 65 0 64
1800.02/1800.40 c pseudoobj : 42.01 10747127 25652 75015
1800.02/1800.40 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.40 c propagation : 28.99 734828 210262 236754 71.6 0 0.0 -
1800.02/1800.40 c infeasible LP : 0.18 6104 6035 6173 36.7 0 0.0 0
1800.02/1800.40 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.40 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.40 c pseudo solution : 0.00 2 2 3 52.7 0 0.0 -
1800.02/1800.40 c applied globally : - - - 972 28.4 - - -
1800.02/1800.40 c applied locally : - - - 211951 71.3 - - -
1800.02/1800.40 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.40 c cut pool : 0.00 5 - - 11 - (maximal pool size: 47)
1800.02/1800.40 c redcost : 64.06 6447351 0 47311404 0 0
1800.02/1800.40 c impliedbounds : 0.00 6 0 0 0 0
1800.02/1800.40 c intobj : 0.00 0 0 0 0 0
1800.02/1800.40 c gomory : 0.00 6 0 0 0 0
1800.02/1800.40 c strongcg : 0.00 6 0 0 11 0
1800.02/1800.40 c cmir : 0.01 6 0 0 20 0
1800.02/1800.40 c flowcover : 0.05 6 0 0 22 0
1800.02/1800.40 c clique : 0.00 1 0 0 0 0
1800.02/1800.40 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.40 c mcf : 0.00 1 0 0 0 0
1800.02/1800.40 c Pricers : Time Calls Vars
1800.02/1800.40 c problem variables: 0.00 0 0
1800.02/1800.40 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.40 c relpscost : 31.11 4463260 247 18632 0 0 8890302
1800.02/1800.40 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.40 c inference : 0.00 0 0 0 0 0 0
1800.02/1800.40 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.40 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.40 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.40 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.40 c random : 0.00 0 0 0 0 0 0
1800.02/1800.40 c Primal Heuristics : Time Calls Found
1800.02/1800.40 c LP solutions : 0.18 - 49
1800.02/1800.40 c pseudo solutions : 0.00 - 0
1800.02/1800.40 c feaspump : 0.22 1 0
1800.02/1800.40 c oneopt : 1.26 65 0
1800.02/1800.40 c crossover : 10.75 13 1
1800.02/1800.40 c rootsoldiving : 5.65 1326 1
1800.02/1800.40 c fracdiving : 15.67 6723 2
1800.02/1800.40 c guideddiving : 11.57 6723 5
1800.02/1800.40 c objpscostdiving : 3.52 3362 0
1800.02/1800.40 c coefdiving : 22.62 6724 2
1800.02/1800.40 c linesearchdiving : 10.24 6724 2
1800.02/1800.40 c veclendiving : 10.57 6724 2
1800.02/1800.40 c pscostdiving : 15.80 6724 2
1800.02/1800.40 c simplerounding : 1.62 0 0
1800.02/1800.40 c rounding : 2.11 30715 0
1800.02/1800.40 c shifting : 4.63 9626 0
1800.02/1800.40 c intshifting : 0.08 0 0
1800.02/1800.40 c fixandinfer : 0.00 0 0
1800.02/1800.40 c intdiving : 0.00 0 0
1800.02/1800.40 c actconsdiving : 0.00 0 0
1800.02/1800.40 c octane : 0.00 0 0
1800.02/1800.40 c rens : 0.05 1 0
1800.02/1800.40 c rins : 0.00 0 0
1800.02/1800.40 c localbranching : 0.00 0 0
1800.02/1800.40 c mutation : 0.00 0 0
1800.02/1800.40 c dins : 0.00 0 0
1800.02/1800.40 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.40 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.40 c dual LP : 717.85 6803230 30902264 4.54 43048.36
1800.02/1800.40 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.40 c diving/probing LP: 50.03 744190 1655023 2.22 33080.61
1800.02/1800.40 c strong branching : 7.06 52299 179145 3.43 25374.65
1800.02/1800.40 c (at root node) : - 22 1060 48.18 -
1800.02/1800.40 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.40 c B&B Tree :
1800.02/1800.40 c number of runs : 1
1800.02/1800.40 c nodes : 7180553
1800.02/1800.40 c nodes (total) : 7180553
1800.02/1800.40 c nodes left : 1602034
1800.02/1800.40 c max depth : 70
1800.02/1800.40 c max depth (total): 70
1800.02/1800.40 c backtracks : 1224813 (17.1%)
1800.02/1800.40 c delayed cutoffs : 42321
1800.02/1800.40 c repropagations : 86329 (313443 domain reductions, 42319 cutoffs)
1800.02/1800.40 c avg switch length: 5.25
1800.02/1800.40 c switching time : 113.63
1800.02/1800.40 c Solution :
1800.02/1800.40 c Solutions found : 66 (65 improvements)
1800.02/1800.40 c Primal Bound : +1.60000000000000e+01 (in run 1, after 6679740 nodes, 1599.51 seconds, depth 53, found by <relaxation>)
1800.02/1800.40 c Dual Bound : +0.00000000000000e+00
1800.02/1800.40 c Gap : infinite
1800.02/1800.40 c Root Dual Bound : +0.00000000000000e+00
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3734928-1338706015/watcher-3734928-1338706015 -o /tmp/evaluation-result-3734928-1338706015/solver-3734928-1338706015 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3734928-1338706015.opb
running on 4 cores: 0,2,4,6
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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 3227
/proc/meminfo: memFree=27194556/32873844 swapFree=6608/6608
[pid=3227] ppid=3225 vsize=8684 CPUtime=0 cores=0,2,4,6
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 301 0 -1 4202496 1513 0 0 0 0 0 0 0 20 0 1 0 336726309 8892416 1466 33554432000 4194304 7823515 140733722089952 140733737080040 6883856 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3227/statm: 2171 1466 354 887 0 1281 0
[startup+0.0446069 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 3227
/proc/meminfo: memFree=27194556/32873844 swapFree=6608/6608
[pid=3227] ppid=3225 vsize=13200 CPUtime=0.04 cores=0,2,4,6
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 301 0 -1 4202496 2889 0 0 0 4 0 0 0 20 0 1 0 336726309 13516800 2488 33554432000 4194304 7823515 140733722089952 140733737080040 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3227/statm: 3300 2488 551 887 0 2410 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13200
[startup+0.100277 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 3227
/proc/meminfo: memFree=27194556/32873844 swapFree=6608/6608
[pid=3227] ppid=3225 vsize=21276 CPUtime=0.09 cores=0,2,4,6
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 301 0 -1 4202496 4630 0 0 0 9 0 0 0 20 0 1 0 336726309 21786624 4229 33554432000 4194304 7823515 140733722089952 140733737080040 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3227/statm: 5319 4229 560 887 0 4429 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21276
[startup+0.300236 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 3227
/proc/meminfo: memFree=27194556/32873844 swapFree=6608/6608
[pid=3227] ppid=3225 vsize=16136 CPUtime=0.29 cores=0,2,4,6
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 301 0 -1 4202496 4646 0 0 0 28 1 0 0 20 0 1 0 336726309 16523264 3261 33554432000 4194304 7823515 140733722089952 140733737080040 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3227/statm: 4034 3261 570 887 0 3144 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16136
[startup+0.700227 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 3227
/proc/meminfo: memFree=27194556/32873844 swapFree=6608/6608
[pid=3227] ppid=3225 vsize=16276 CPUtime=0.69 cores=0,2,4,6
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 301 0 -1 4202496 4706 0 0 0 66 3 0 0 20 0 1 0 336726309 16666624 3321 33554432000 4194304 7823515 140733722089952 140733722086648 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3227/statm: 4069 3321 572 887 0 3179 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16276
[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3228
/proc/meminfo: memFree=27184628/32873844 swapFree=6608/6608
[pid=3227] ppid=3225 vsize=14984 CPUtime=1.49 cores=0,2,4,6
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 301 0 -1 4202496 7699 0 0 0 142 7 0 0 20 0 1 0 336726309 15343616 3012 33554432000 4194304 7823515 140733722089952 140733722086648 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3227/statm: 3746 3012 572 887 0 2856 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14984
[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3228
/proc/meminfo: memFree=27182520/32873844 swapFree=6608/6608
[pid=3227] ppid=3225 vsize=16716 CPUtime=3.09 cores=0,2,4,6
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 301 0 -1 4202496 12057 0 0 0 295 14 0 0 20 0 1 0 336726309 17117184 3428 33554432000 4194304 7823515 140733722089952 140733722085752 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3227/statm: 4179 3428 573 887 0 3289 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16716
[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3228
/proc/meminfo: memFree=27179916/32873844 swapFree=6608/6608
[pid=3227] ppid=3225 vsize=19144 CPUtime=6.29 cores=0,2,4,6
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 301 0 -1 4202496 15923 0 0 0 597 32 0 0 20 0 1 0 336726309 19603456 4084 33554432000 4194304 7823515 140733722089952 140733722084760 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3227/statm: 4786 4084 573 887 0 3896 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19144
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3228
/proc/meminfo: memFree=27172120/32873844 swapFree=6608/6608
[pid=3227] ppid=3225 vsize=26012 CPUtime=12.69 cores=0,2,4,6
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 301 0 -1 4202496 23544 0 0 0 1206 63 0 0 20 0 1 0 336726309 26636288 5846 33554432000 4194304 7823515 140733722089952 140733722085752 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3227/statm: 6503 5846 573 887 0 5613 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26012
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3228
/proc/meminfo: memFree=27147428/32873844 swapFree=6608/6608
[pid=3227] ppid=3225 vsize=49628 CPUtime=25.48 cores=0,2,4,6
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 301 0 -1 4202496 37930 0 0 0 2428 120 0 0 20 0 1 0 336726309 50819072 11496 33554432000 4194304 7823515 140733722089952 140733722085384 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3227/statm: 12407 11496 574 887 0 11517 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49628
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3228
/proc/meminfo: memFree=27118252/32873844 swapFree=6608/6608
[pid=3227] ppid=3225 vsize=72504 CPUtime=51.08 cores=0,2,4,6
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 301 0 -1 4202496 60030 0 0 0 4859 249 0 0 20 0 1 0 336726309 74244096 17265 33554432000 4194304 7823515 140733722089952 140733722087240 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3227/statm: 18126 17265 574 887 0 17236 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 72504
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3229
/proc/meminfo: memFree=27059520/32873844 swapFree=6608/6608
[pid=3227] ppid=3225 vsize=118104 CPUtime=102.28 cores=0,2,4,6
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 301 0 -1 4202496 97517 0 0 0 9731 497 0 0 20 0 1 0 336726309 120938496 28854 33554432000 4194304 7823515 140733722089952 140733722086296 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3227/statm: 29526 28854 574 887 0 28636 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 118104
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3229
/proc/meminfo: memFree=27003084/32873844 swapFree=6608/6608
[pid=3227] ppid=3225 vsize=165544 CPUtime=162.24 cores=0,2,4,6
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 301 0 -1 4202496 114912 0 0 0 15426 798 0 0 20 0 1 0 336726309 169517056 40245 33554432000 4194304 7823515 140733722089952 140733722085608 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3227/statm: 41386 40245 574 887 0 40496 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 165544
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3232
/proc/meminfo: memFree=26944204/32873844 swapFree=6608/6608
[pid=3227] ppid=3225 vsize=210648 CPUtime=222.21 cores=0,2,4,6
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 301 0 -1 4202496 126409 0 0 0 21139 1082 0 0 20 0 1 0 336726309 215703552 51728 33554432000 4194304 7823515 140733722089952 140733722086136 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3227/statm: 52662 51728 574 887 0 51772 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 210648
[startup+282.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 3232
/proc/meminfo: memFree=26880480/32873844 swapFree=6608/6608
[pid=3227] ppid=3225 vsize=262888 CPUtime=282.2 cores=0,2,4,6
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 301 0 -1 4202496 139644 0 0 0 26857 1363 0 0 20 0 1 0 336726309 269197312 64950 33554432000 4194304 7823515 140733722089952 140733722085496 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3227/statm: 65722 64950 574 887 0 64832 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 262888
[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 3232
/proc/meminfo: memFree=26837948/32873844 swapFree=6608/6608
[pid=3227] ppid=3225 vsize=297300 CPUtime=342.19 cores=0,2,4,6
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 301 0 -1 4202496 148394 0 0 0 32578 1641 0 0 20 0 1 0 336726309 304435200 73700 33554432000 4194304 7823515 140733722089952 140733722086280 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3227/statm: 74325 73700 574 887 0 73435 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 297300
[startup+402.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 3233
/proc/meminfo: memFree=26785944/32873844 swapFree=6608/6608
[pid=3227] ppid=3225 vsize=339020 CPUtime=402.17 cores=0,2,4,6
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 301 0 -1 4202496 158965 0 0 0 38287 1930 0 0 20 0 1 0 336726309 347156480 84271 33554432000 4194304 7823515 140733722089952 140733722085288 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3227/statm: 84755 84271 574 887 0 83865 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 339020
[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 3233
/proc/meminfo: memFree=26723632/32873844 swapFree=6608/6608
[pid=3227] ppid=3225 vsize=394864 CPUtime=462.17 cores=0,2,4,6
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 301 0 -1 4202496 171034 0 0 0 44001 2216 0 0 20 0 1 0 336726309 404340736 96851 33554432000 4194304 7823515 140733722089952 140733722087784 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3227/statm: 98716 96851 574 887 0 97826 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 394864
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 3233
/proc/meminfo: memFree=26671860/32873844 swapFree=6608/6608
[pid=3227] ppid=3225 vsize=432252 CPUtime=522.16 cores=0,2,4,6
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 301 0 -1 4202496 180612 0 0 0 49729 2487 0 0 20 0 1 0 336726309 442626048 106940 33554432000 4194304 7823515 140733722089952 140733722086984 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3227/statm: 108063 106940 574 887 0 107173 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 432252
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3233
/proc/meminfo: memFree=26613456/32873844 swapFree=6608/6608
[pid=3227] ppid=3225 vsize=483116 CPUtime=582.15 cores=0,2,4,6
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 301 0 -1 4202496 193391 0 0 0 55446 2769 0 0 20 0 1 0 336726309 494710784 119719 33554432000 4194304 7823515 140733722089952 140733722086296 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3227/statm: 120779 119719 574 887 0 119889 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 483116
[startup+642.3 s]
################
# More data... #
################
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 301 0 -1 4202496 256529 0 0 0 95432 4775 0 0 20 0 1 0 336726309 747323392 182008 33554432000 4194304 7823515 140733722089952 140733722086440 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3227/statm: 182452 182008 574 887 0 181562 0
Current children cumulated CPU time (s) 1002.07
Current children cumulated vsize (KiB) 729808
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3261
/proc/meminfo: memFree=26282888/32873844 swapFree=6608/6608
[pid=3227] ppid=3225 vsize=776444 CPUtime=1062.06 cores=0,2,4,6
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 301 0 -1 4202496 264216 0 0 0 101149 5057 0 0 20 0 1 0 336726309 795078656 189695 33554432000 4194304 7823515 140733722089952 140733722085752 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3227/statm: 194111 189695 574 887 0 193221 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 776444
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3261
/proc/meminfo: memFree=26237628/32873844 swapFree=6608/6608
[pid=3227] ppid=3225 vsize=815116 CPUtime=1122.05 cores=0,2,4,6
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 301 0 -1 4202496 274087 0 0 0 106863 5342 0 0 20 0 1 0 336726309 834678784 199566 33554432000 4194304 7823515 140733722089952 140733722086984 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3227/statm: 203779 199566 574 887 0 202889 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 815116
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3261
/proc/meminfo: memFree=26186912/32873844 swapFree=6608/6608
[pid=3227] ppid=3225 vsize=859392 CPUtime=1182.04 cores=0,2,4,6
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 301 0 -1 4202496 285389 0 0 0 112583 5621 0 0 20 0 1 0 336726309 880017408 210868 33554432000 4194304 7823515 140733722089952 140733722086984 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3227/statm: 214848 210868 574 887 0 213958 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 859392
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3261
/proc/meminfo: memFree=26134584/32873844 swapFree=6608/6608
[pid=3227] ppid=3225 vsize=900576 CPUtime=1242.03 cores=0,2,4,6
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 301 0 -1 4202496 295922 0 0 0 118299 5904 0 0 20 0 1 0 336726309 922189824 221401 33554432000 4194304 7823515 140733722089952 140733722085656 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3227/statm: 225144 221401 574 887 0 224254 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 900576
[startup+1302.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 3261
/proc/meminfo: memFree=26089580/32873844 swapFree=6608/6608
[pid=3227] ppid=3225 vsize=940968 CPUtime=1302.03 cores=0,2,4,6
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 301 0 -1 4202496 306203 0 0 0 124024 6179 0 0 20 0 1 0 336726309 963551232 231681 33554432000 4194304 7823515 140733722089952 140733722086280 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3227/statm: 235242 231681 574 887 0 234352 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 940968
[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 3262
/proc/meminfo: memFree=26039692/32873844 swapFree=6608/6608
[pid=3227] ppid=3225 vsize=982688 CPUtime=1362.02 cores=0,2,4,6
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 301 0 -1 4202496 316781 0 0 0 129745 6457 0 0 20 0 1 0 336726309 1006272512 242767 33554432000 4194304 7823515 140733722089952 140733722085640 4751661 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3227/statm: 245672 242767 574 887 0 244782 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 982688
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3265
/proc/meminfo: memFree=25988252/32873844 swapFree=6608/6608
[pid=3227] ppid=3225 vsize=1028984 CPUtime=1422.01 cores=0,2,4,6
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 301 0 -1 4202496 328477 0 0 0 135466 6735 0 0 20 0 1 0 336726309 1053679616 254462 33554432000 4194304 7823515 140733722089952 140733722086488 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3227/statm: 257246 254462 574 887 0 256356 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 1028984
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3304
/proc/meminfo: memFree=26153476/32873844 swapFree=6608/6608
[pid=3227] ppid=3225 vsize=1064228 CPUtime=1481.98 cores=0,2,4,6
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 301 0 -1 4202496 337373 0 0 0 141174 7024 0 0 20 0 1 0 336726309 1089769472 263864 33554432000 4194304 7823515 140733722089952 140733722086440 5062799 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3227/statm: 266057 263864 574 887 0 265167 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 1064228
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3304
/proc/meminfo: memFree=26113760/32873844 swapFree=6608/6608
[pid=3227] ppid=3225 vsize=1101084 CPUtime=1541.97 cores=0,2,4,6
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 301 0 -1 4202496 346663 0 0 0 146887 7310 0 0 20 0 1 0 336726309 1127510016 273659 33554432000 4194304 7823515 140733722089952 140733722086984 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3227/statm: 275271 273659 574 887 0 274381 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 1101084
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3304
/proc/meminfo: memFree=26076648/32873844 swapFree=6608/6608
[pid=3227] ppid=3225 vsize=1140440 CPUtime=1601.96 cores=0,2,4,6
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 301 0 -1 4202496 358492 0 0 0 152584 7612 0 0 20 0 1 0 336726309 1167810560 283466 33554432000 4194304 7823515 140733722089952 140733722086440 4247381 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3227/statm: 285110 283466 574 887 0 284220 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 1140440
[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 3305
/proc/meminfo: memFree=26035456/32873844 swapFree=6608/6608
[pid=3227] ppid=3225 vsize=1176776 CPUtime=1661.94 cores=0,2,4,6
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 301 0 -1 4202496 367621 0 0 0 158301 7893 0 0 20 0 1 0 336726309 1205018624 293094 33554432000 4194304 7823515 140733722089952 140733722085160 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3227/statm: 294194 293094 574 887 0 293304 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 1176776
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 3305
/proc/meminfo: memFree=26009240/32873844 swapFree=6608/6608
[pid=3227] ppid=3225 vsize=1199456 CPUtime=1721.93 cores=0,2,4,6
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 301 0 -1 4202496 373259 0 0 0 164018 8175 0 0 20 0 1 0 336726309 1228242944 298732 33554432000 4194304 7823515 140733722089952 140733722086440 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3227/statm: 299864 298732 574 887 0 298974 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 1199456
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3305
/proc/meminfo: memFree=25977724/32873844 swapFree=6608/6608
[pid=3227] ppid=3225 vsize=1227480 CPUtime=1781.92 cores=0,2,4,6
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 301 0 -1 4202496 380266 0 0 0 169724 8468 0 0 20 0 1 0 336726309 1256939520 305739 33554432000 4194304 7823515 140733722089952 140733722086488 5061554 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3227/statm: 306870 305739 574 887 0 305980 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 1227480
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3305
/proc/meminfo: memFree=25967308/32873844 swapFree=6608/6608
[pid=3227] ppid=3225 vsize=1237812 CPUtime=1800.02 cores=0,2,4,6
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 301 0 -1 4202496 382848 0 0 0 171440 8562 0 0 20 0 1 0 336726309 1267519488 308321 33554432000 4194304 7823515 140733722089952 140733722085752 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3227/statm: 309453 308321 574 887 0 308563 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1237812
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -3227
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3306
/proc/meminfo: memFree=25967300/32873844 swapFree=6608/6608
[pid=3227] ppid=3225 vsize=1237812 CPUtime=1801.02 cores=0,2,4,6
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 301 0 -1 4202496 382850 0 0 0 171540 8562 0 0 20 0 1 0 336726309 1267519488 308323 33554432000 4194304 7823515 140733722089952 140733722085464 5875265 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3227/statm: 309453 308323 576 887 0 308563 0
Current children cumulated CPU time (s) 1801.02
Current children cumulated vsize (KiB) 1237812
[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3306
/proc/meminfo: memFree=25967300/32873844 swapFree=6608/6608
[pid=3227] ppid=3225 vsize=1237812 CPUtime=1801.82 cores=0,2,4,6
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 301 0 -1 4202496 382850 0 0 0 171620 8562 0 0 20 0 1 0 336726309 1267519488 308323 33554432000 4194304 7823515 140733722089952 140733722085464 5875265 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3227/statm: 309453 308323 576 887 0 308563 0
Current children cumulated CPU time (s) 1801.82
Current children cumulated vsize (KiB) 1237812
[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3306
/proc/meminfo: memFree=25967300/32873844 swapFree=6608/6608
[pid=3227] ppid=3225 vsize=1237812 CPUtime=1802.02 cores=0,2,4,6
/proc/3227/stat : 3227 (pbscip.linux.x8) R 3225 3227 301 0 -1 4202496 382850 0 0 0 171640 8562 0 0 20 0 1 0 336726309 1267519488 308323 33554432000 4194304 7823515 140733722089952 140733722085464 5875083 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3227/statm: 309453 308323 576 887 0 308563 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 1237812
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.42
CPU time (s): 1802.04
CPU user time (s): 1716.41
CPU system time (s): 85.638
CPU usage (%): 99.9794
Max. virtual memory (cumulated for all children) (KiB): 1237812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1716.41
system time used= 85.638
maximum resident set size= 1233292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 382850
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= 115
involuntary context switches= 2202
runsolver used 4.19936 second user time and 11.3343 second system time
The end