0.00/0.01 c SCIP version 1.1.0.7
0.00/0.01 c LP-Solver SoPlex 1.4.1
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c read problem <HOME/instance-1869488-1245174426.opb>
0.00/0.01 c original problem has 120 variables (120 bin, 0 int, 0 impl, 0 cont) and 10 constraints
0.00/0.01 c start presolving problem
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 5 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) 5 del vars, 5 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (0.0s) probing: 101/115 (87.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (3 rounds):
0.00/0.02 c 5 deleted vars, 5 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 0 implications, 0 cliques
0.00/0.02 c presolved problem has 115 variables (115 bin, 0 int, 0 impl, 0 cont) and 5 constraints
0.00/0.02 c 5 constraints of type <linear>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.00
0.00/0.02 c OPT-LIN
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = c 1620
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = c 1791
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = c 10000
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving problem
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 0 | 52 | 399k| 0 | 5 | 115 | 5 | 5 | 115 | 5 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 95 | 462k| 0 | 9 | 115 | 5 | 5 | 115 | 9 | 4 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 100 | 505k| 0 | 11 | 115 | 5 | 5 | 115 | 13 | 8 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.05 c 0.0s| 1 | 0 | 107 | 534k| 0 | 11 | 115 | 5 | 5 | 115 | 16 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.06 c 0.1s| 1 | 0 | 131 | 560k| 0 | 11 | 115 | 5 | 5 | 115 | 19 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.08 c 0.1s| 1 | 0 | 133 | 567k| 0 | 13 | 115 | 5 | 5 | 115 | 21 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.09 c 0.1s| 1 | 0 | 148 | 579k| 0 | 10 | 115 | 5 | 5 | 115 | 23 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.13 c 0.1s| 1 | 2 | 148 | 579k| 0 | 10 | 115 | 5 | 5 | 115 | 23 | 18 | 0 | 10 | 0.000000e+00 | -- | Inf
0.18/0.21 o 732
0.18/0.21 c p 0.2s| 49 | 46 | 353 | 620k| 31 | - | 115 | 5 | 0 | 115 | 14 | 18 | 0 | 227 | 0.000000e+00 | 7.320000e+02 | Inf
0.29/0.30 o 580
0.29/0.30 c g 0.3s| 163 | 157 | 829 | 678k| 36 | - | 115 | 6 | 2 | 115 | 14 | 18 | 1 | 381 | 0.000000e+00 | 5.800000e+02 | Inf
0.29/0.33 o 579
0.29/0.33 c f 0.3s| 213 | 207 | 974 | 701k| 36 | - | 115 | 6 | 1 | 115 | 14 | 18 | 1 | 431 | 0.000000e+00 | 5.790000e+02 | Inf
0.29/0.39 o 307
0.29/0.39 c c 0.3s| 300 | 220 | 1585 | 735k| 36 | - | 115 | 14 | 1 | 115 | 14 | 18 | 10 | 466 | 0.000000e+00 | 3.070000e+02 | Inf
0.39/0.44 o 305
0.39/0.44 c * 0.4s| 371 | 287 | 1937 | 754k| 36 | - | 115 | 15 | 4 | 115 | 14 | 18 | 13 | 507 | 0.000000e+00 | 3.050000e+02 | Inf
0.39/0.44 o 303
0.39/0.44 c * 0.4s| 372 | 286 | 1939 | 755k| 36 | - | 115 | 15 | 4 | 115 | 14 | 18 | 13 | 507 | 0.000000e+00 | 3.030000e+02 | Inf
0.39/0.45 o 217
0.39/0.45 c g 0.4s| 406 | 282 | 2062 | 755k| 36 | - | 115 | 15 | 7 | 115 | 14 | 18 | 13 | 509 | 0.000000e+00 | 2.170000e+02 | Inf
0.39/0.47 o 214
0.39/0.47 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.39/0.47 c * 0.4s| 433 | 301 | 2138 | 765k| 36 | - | 115 | 15 | 4 | 115 | 14 | 18 | 13 | 537 | 0.000000e+00 | 2.140000e+02 | Inf
0.39/0.48 o 212
0.39/0.48 c * 0.4s| 441 | 305 | 2160 | 772k| 36 | - | 115 | 15 | 4 | 115 | 14 | 18 | 13 | 549 | 0.000000e+00 | 2.120000e+02 | Inf
0.39/0.48 o 210
0.39/0.48 c * 0.4s| 443 | 305 | 2161 | 774k| 36 | - | 115 | 15 | 4 | 115 | 14 | 18 | 13 | 556 | 0.000000e+00 | 2.100000e+02 | Inf
0.39/0.48 o 208
0.39/0.48 c * 0.4s| 444 | 303 | 2161 | 774k| 36 | - | 115 | 15 | 4 | 115 | 14 | 18 | 13 | 559 | 0.000000e+00 | 2.080000e+02 | Inf
0.39/0.49 o 206
0.39/0.49 c * 0.4s| 454 | 311 | 2210 | 779k| 36 | - | 115 | 15 | 4 | 115 | 14 | 18 | 13 | 567 | 0.000000e+00 | 2.060000e+02 | Inf
0.39/0.49 o 204
0.39/0.49 c * 0.4s| 455 | 309 | 2211 | 780k| 36 | - | 115 | 15 | 4 | 115 | 14 | 18 | 13 | 567 | 0.000000e+00 | 2.040000e+02 | Inf
0.39/0.49 o 203
0.39/0.49 c * 0.4s| 466 | 318 | 2243 | 788k| 36 | - | 115 | 15 | 4 | 115 | 14 | 18 | 13 | 577 | 0.000000e+00 | 2.030000e+02 | Inf
0.39/0.49 o 201
0.39/0.49 c * 0.4s| 467 | 316 | 2244 | 786k| 36 | - | 115 | 15 | 4 | 115 | 14 | 18 | 13 | 577 | 0.000000e+00 | 2.010000e+02 | Inf
0.69/0.74 o 112
0.69/0.74 c f 0.7s| 734 | 538 | 3653 | 892k| 37 | - | 115 | 22 | 5 | 115 | 14 | 18 | 30 | 614 | 0.000000e+00 | 1.120000e+02 | Inf
0.79/0.87 o 111
0.79/0.87 c l 0.8s| 934 | 730 | 4850 | 973k| 37 | - | 115 | 23 | 2 | 115 | 14 | 18 | 42 | 644 | 0.000000e+00 | 1.110000e+02 | Inf
0.89/0.92 o 109
0.89/0.92 c l 0.8s| 1024 | 810 | 5411 |1012k| 37 | - | 115 | 26 | 0 | 115 | 14 | 18 | 48 | 646 | 0.000000e+00 | 1.090000e+02 | Inf
0.89/0.94 o 108
0.89/0.94 c p 0.9s| 1071 | 855 | 5621 |1033k| 37 | - | 115 | 26 | 1 | 115 | 14 | 18 | 51 | 646 | 0.000000e+00 | 1.080000e+02 | Inf
0.89/0.97 o 107
0.89/0.97 c g 0.9s| 1123 | 904 | 5899 |1063k| 37 | - | 115 | 26 | 1 | 115 | 14 | 18 | 52 | 647 | 0.000000e+00 | 1.070000e+02 | Inf
0.99/1.06 o 106
0.99/1.06 c f 1.0s| 1262 | 1040 | 6746 |1118k| 37 | - | 115 | 29 | 3 | 115 | 14 | 18 | 66 | 650 | 0.000000e+00 | 1.060000e+02 | Inf
1.09/1.13 o 104
1.09/1.13 c g 1.0s| 1410 | 1186 | 7481 |1176k| 37 | - | 115 | 34 | 2 | 115 | 14 | 18 | 75 | 656 | 0.000000e+00 | 1.040000e+02 | Inf
1.09/1.19 o 102
1.09/1.19 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.09/1.19 c * 1.1s| 1494 | 1260 | 7927 |1213k| 37 | - | 115 | 34 | 3 | 115 | 14 | 18 | 78 | 664 | 0.000000e+00 | 1.020000e+02 | Inf
1.19/1.26 o 69
1.19/1.26 c c 1.1s| 1609 | 1325 | 8746 |1245k| 37 | - | 115 | 40 | 4 | 115 | 14 | 18 | 92 | 669 | 0.000000e+00 | 6.900000e+01 | Inf
1.39/1.42 o 67
1.39/1.42 c l 1.3s| 1891 | 1585 | 10027 |1356k| 37 | - | 115 | 40 | 6 | 115 | 14 | 18 | 110 | 676 | 0.000000e+00 | 6.700000e+01 | Inf
1.69/1.71 o 65
1.69/1.71 c l 1.6s| 2413 | 2066 | 12560 |1579k| 37 | - | 115 | 40 | 6 | 115 | 14 | 18 | 157 | 689 | 0.000000e+00 | 6.500000e+01 | Inf
1.69/1.76 o 64
1.69/1.76 c l 1.6s| 2470 | 2106 | 12891 |1604k| 37 | - | 115 | 40 | 14 | 115 | 14 | 18 | 164 | 693 | 0.000000e+00 | 6.400000e+01 | Inf
1.99/2.00 o 63
1.99/2.00 c g 1.8s| 2844 | 2457 | 14910 |1753k| 37 | - | 115 | 39 | 5 | 115 | 14 | 18 | 205 | 710 | 0.000000e+00 | 6.300000e+01 | Inf
2.09/2.19 o 62
2.09/2.19 c * 2.0s| 3105 | 2698 | 16591 |1852k| 37 | - | 115 | 43 | 1 | 115 | 14 | 18 | 243 | 713 | 0.000000e+00 | 6.200000e+01 | Inf
2.29/2.35 o 61
2.29/2.35 c l 2.2s| 3325 | 2892 | 17945 |1935k| 37 | - | 115 | 43 | 0 | 115 | 14 | 18 | 267 | 718 | 0.000000e+00 | 6.100000e+01 | Inf
2.29/2.38 o 60
2.29/2.38 c l 2.2s| 3372 | 2936 | 18280 |1952k| 37 | - | 115 | 43 | 1 | 115 | 14 | 18 | 274 | 718 | 0.000000e+00 | 6.000000e+01 | Inf
2.39/2.40 o 59
2.39/2.40 c c 2.2s| 3397 | 2947 | 18447 |1959k| 37 | - | 115 | 43 | 3 | 115 | 14 | 18 | 275 | 719 | 0.000000e+00 | 5.900000e+01 | Inf
2.39/2.45 o 58
2.39/2.45 c f 2.3s| 3466 | 3004 | 18902 |1993k| 37 | - | 115 | 43 | 1 | 115 | 14 | 18 | 285 | 721 | 0.000000e+00 | 5.800000e+01 | Inf
2.69/2.70 o 57
2.69/2.70 c p 2.5s| 3790 | 3295 | 21098 |2113k| 37 | - | 115 | 45 | 3 | 115 | 14 | 18 | 339 | 736 | 0.000000e+00 | 5.700000e+01 | Inf
2.69/2.73 o 56
2.69/2.73 c l 2.5s| 3837 | 3332 | 21353 |2129k| 37 | - | 115 | 45 | 1 | 115 | 14 | 18 | 344 | 736 | 0.000000e+00 | 5.600000e+01 | Inf
2.69/2.79 o 54
2.69/2.79 c p 2.6s| 3913 | 3392 | 21957 |2157k| 37 | - | 115 | 45 | 5 | 115 | 14 | 18 | 355 | 736 | 0.000000e+00 | 5.400000e+01 | Inf
2.79/2.88 o 39
2.79/2.88 c f 2.6s| 4024 | 3306 | 22657 |2106k| 37 | - | 115 | 45 | 3 | 115 | 14 | 18 | 373 | 737 | 0.000000e+00 | 3.900000e+01 | Inf
2.79/2.88 o 37
2.79/2.88 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.79/2.88 c l 2.7s| 4028 | 3276 | 22698 |2081k| 37 | - | 115 | 45 | 2 | 115 | 14 | 18 | 374 | 737 | 0.000000e+00 | 3.700000e+01 | Inf
2.89/2.93 o 24
2.89/2.93 c c 2.7s| 4075 | 3023 | 23109 |1973k| 37 | - | 115 | 45 | 1 | 115 | 14 | 18 | 381 | 738 | 0.000000e+00 | 2.400000e+01 | Inf
4.99/5.09 o 22
4.99/5.09 c * 4.7s| 7115 | 5094 | 41365 |3034k| 37 | - | 115 | 69 | 0 | 115 | 14 | 18 | 949 | 824 | 0.000000e+00 | 2.200000e+01 | Inf
5.29/5.31 o 18
5.29/5.31 c * 4.9s| 7493 | 5184 | 43101 |3080k| 37 | - | 115 | 71 | 1 | 115 | 14 | 18 | 989 | 839 | 0.000000e+00 | 1.800000e+01 | Inf
6.99/7.00 c 6.4s| 10000 | 6782 | 55401 |3943k| 37 | 5 | 115 | 77 | 7 | 115 | 14 | 18 |1307 | 923 | 0.000000e+00 | 1.800000e+01 | Inf
8.69/8.74 o 17
8.69/8.74 c * 8.1s| 13746 | 8527 | 70426 |5078k| 37 | - | 115 | 84 | 0 | 115 | 14 | 18 |1780 |1083 | 0.000000e+00 | 1.700000e+01 | Inf
8.69/8.74 o 15
8.69/8.74 c * 8.1s| 13747 | 7976 | 70427 |4590k| 37 | - | 115 | 84 | 0 | 115 | 14 | 18 |1780 |1083 | 0.000000e+00 | 1.500000e+01 | Inf
9.79/9.85 o 14
9.79/9.85 c * 9.1s| 16471 | 8694 | 80676 |5056k| 37 | - | 115 | 93 | 1 | 115 | 14 | 18 |2109 |1216 | 0.000000e+00 | 1.400000e+01 | Inf
11.09/11.17 o 13
11.09/11.17 c *10.3s| 19690 | 9428 | 92882 |5568k| 37 | - | 115 | 111 | 3 | 115 | 14 | 18 |2553 |1330 | 0.000000e+00 | 1.300000e+01 | Inf
11.29/11.30 c 10.4s| 20000 | 9567 | 94098 |5633k| 37 | - | 115 | 113 | 5 | 115 | 14 | 18 |2587 |1334 | 0.000000e+00 | 1.300000e+01 | Inf
11.49/11.54 o 12
11.49/11.54 c *10.7s| 20645 | 9604 | 96220 |5641k| 37 | - | 115 | 116 | 2 | 115 | 14 | 18 |2664 |1361 | 0.000000e+00 | 1.200000e+01 | Inf
11.49/11.55 o 10
11.49/11.55 c s10.7s| 20646 | 9354 | 96221 |5404k| 37 | - | 115 | 116 | 4 | 115 | 14 | 18 |2664 |1361 | 0.000000e+00 | 1.000000e+01 | Inf
15.18/15.20 c 14.1s| 30000 | 10137 |126346 |6251k| 37 | - | 115 | 127 | 6 | 115 | 14 | 18 |3560 |1628 | 0.000000e+00 | 1.000000e+01 | Inf
18.88/18.91 c 17.6s| 40000 | 11166 |159247 |7174k| 37 | - | 115 | 127 | 9 | 115 | 14 | 18 |4566 |1860 | 0.000000e+00 | 1.000000e+01 | Inf
22.58/22.60 c 21.0s| 50000 | 12223 |192378 |8099k| 37 | 5 | 115 | 139 | 5 | 115 | 14 | 18 |5481 |2073 | 0.000000e+00 | 1.000000e+01 | Inf
22.78/22.84 o 7
22.78/22.84 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
22.78/22.84 c s21.2s| 50622 | 11410 |194304 |7238k| 37 | - | 115 | 142 | 4 | 115 | 14 | 18 |5551 |2089 | 0.000000e+00 | 7.000000e+00 | Inf
25.28/25.31 o 5
25.28/25.31 c *23.5s| 57355 | 11107 |215395 |6775k| 37 | - | 115 | 154 | 8 | 115 | 14 | 18 |6108 |2233 | 0.000000e+00 | 5.000000e+00 | Inf
26.18/26.21 c 24.3s| 60000 | 11146 |223725 |6844k| 37 | 5 | 115 | 152 | 14 | 115 | 14 | 18 |6282 |2345 | 0.000000e+00 | 5.000000e+00 | Inf
29.38/29.47 c 27.4s| 70000 | 11138 |253781 |6964k| 37 | - | 115 | 149 | 11 | 115 | 14 | 18 |6909 |2632 | 0.000000e+00 | 5.000000e+00 | Inf
32.69/32.74 c 30.4s| 80000 | 11062 |283954 |7008k| 37 | - | 115 | 173 | 29 | 0 | 0 | 18 |7581 |2926 | 0.000000e+00 | 5.000000e+00 | Inf
35.88/35.93 c 33.4s| 90000 | 11110 |313606 |7146k| 37 | 5 | 115 | 168 | 19 | 115 | 14 | 18 |8184 |3142 | 0.000000e+00 | 5.000000e+00 | Inf
38.98/39.09 c 36.3s|100000 | 11158 |341769 |7244k| 37 | - | 115 | 180 | 6 | 115 | 14 | 18 |8804 |3347 | 0.000000e+00 | 5.000000e+00 | Inf
42.28/42.31 c 39.3s|110000 | 11637 |370784 |7653k| 37 | - | 115 | 181 | 7 | 115 | 14 | 18 |9442 |3515 | 0.000000e+00 | 5.000000e+00 | Inf
45.58/45.66 c 42.4s|120000 | 12757 |402641 |8422k| 37 | 5 | 115 | 148 | 7 | 115 | 14 | 18 | 10k|3722 | 0.000000e+00 | 5.000000e+00 | Inf
50.17/50.20 c 46.5s|130000 | 13222 |432850 |8882k| 37 | 5 | 115 | 142 | 7 | 115 | 14 | 18 | 10k|3904 | 0.000000e+00 | 5.000000e+00 | Inf
53.27/53.33 c 49.4s|140000 | 13260 |461862 |9118k| 37 | - | 115 | 103 | 6 | 115 | 14 | 18 | 11k|4089 | 0.000000e+00 | 5.000000e+00 | Inf
56.48/56.56 c 52.4s|150000 | 13620 |492633 |9454k| 37 | - | 115 | 103 | 5 | 115 | 14 | 18 | 12k|4248 | 0.000000e+00 | 5.000000e+00 | Inf
60.17/60.21 c 55.8s|160000 | 16172 |528648 | 10M| 37 | 5 | 115 | 63 | 5 | 115 | 14 | 18 | 12k|4363 | 0.000000e+00 | 5.000000e+00 | Inf
63.48/63.50 c 58.8s|170000 | 17186 |560960 | 11M| 37 | 5 | 115 | 67 | 9 | 115 | 14 | 18 | 13k|4552 | 0.000000e+00 | 5.000000e+00 | Inf
66.68/66.76 c 61.8s|180000 | 18217 |592885 | 12M| 37 | 5 | 115 | 68 | 5 | 115 | 14 | 18 | 14k|4675 | 0.000000e+00 | 5.000000e+00 | Inf
69.87/69.98 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
69.87/69.98 c 64.8s|190000 | 18913 |625439 | 12M| 37 | 5 | 115 | 61 | 6 | 115 | 14 | 18 | 15k|4836 | 0.000000e+00 | 5.000000e+00 | Inf
73.07/73.16 c 67.8s|200000 | 19346 |656355 | 13M| 37 | 5 | 115 | 47 | 5 | 115 | 14 | 18 | 16k|4974 | 0.000000e+00 | 5.000000e+00 | Inf
76.37/76.47 c 70.8s|210000 | 20520 |689245 | 14M| 37 | 5 | 115 | 76 | 5 | 115 | 14 | 18 | 17k|5096 | 0.000000e+00 | 5.000000e+00 | Inf
79.57/79.63 c 73.7s|220000 | 21005 |718691 | 14M| 37 | - | 115 | 78 | 8 | 115 | 14 | 18 | 18k|5240 | 0.000000e+00 | 5.000000e+00 | Inf
82.67/82.74 c 76.6s|230000 | 21307 |748630 | 15M| 37 | - | 115 | 79 | 9 | 115 | 14 | 18 | 19k|5392 | 0.000000e+00 | 5.000000e+00 | Inf
85.77/85.84 c 79.5s|240000 | 21451 |778581 | 15M| 37 | 5 | 115 | 73 | 7 | 115 | 14 | 18 | 20k|5519 | 0.000000e+00 | 5.000000e+00 | Inf
88.76/88.89 c 82.3s|250000 | 21393 |806841 | 15M| 37 | 5 | 115 | 80 | 5 | 115 | 14 | 18 | 20k|5689 | 0.000000e+00 | 5.000000e+00 | Inf
91.87/91.96 c 85.1s|260000 | 21334 |835293 | 15M| 37 | - | 115 | 103 | 5 | 115 | 14 | 18 | 21k|5819 | 0.000000e+00 | 5.000000e+00 | Inf
94.96/95.05 c 88.0s|270000 | 21968 |864485 | 16M| 37 | - | 115 | 90 | 5 | 115 | 14 | 18 | 22k|5945 | 0.000000e+00 | 5.000000e+00 | Inf
97.77/97.82 o 4
97.77/97.82 c *90.5s|279201 | 21465 |891078 | 15M| 37 | - | 115 | 64 | 0 | 115 | 14 | 18 | 23k|6046 | 0.000000e+00 | 4.000000e+00 | Inf
97.96/98.06 c 90.7s|280000 | 21578 |893608 | 15M| 37 | 5 | 115 | 61 | 7 | 115 | 14 | 18 | 23k|6056 | 0.000000e+00 | 4.000000e+00 | Inf
100.86/100.96 c 93.4s|290000 | 22230 |923569 | 16M| 37 | 5 | 115 | 102 | 6 | 115 | 14 | 18 | 24k|6129 | 0.000000e+00 | 4.000000e+00 | Inf
103.76/103.89 c 96.1s|300000 | 22716 |953035 | 16M| 37 | - | 115 | 77 | 7 | 115 | 14 | 18 | 24k|6200 | 0.000000e+00 | 4.000000e+00 | Inf
106.76/106.81 c 98.7s|310000 | 23239 |982220 | 16M| 37 | 5 | 115 | 115 | 6 | 115 | 14 | 18 | 25k|6258 | 0.000000e+00 | 4.000000e+00 | Inf
109.66/109.70 c 101s|320000 | 23450 | 1010k| 17M| 37 | - | 115 | 87 | 5 | 115 | 14 | 18 | 26k|6312 | 0.000000e+00 | 4.000000e+00 | Inf
112.57/112.66 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
112.57/112.66 c 104s|330000 | 23753 | 1040k| 17M| 37 | 5 | 115 | 95 | 5 | 115 | 14 | 18 | 26k|6362 | 0.000000e+00 | 4.000000e+00 | Inf
115.46/115.57 c 107s|340000 | 23763 | 1069k| 17M| 37 | - | 115 | 104 | 5 | 115 | 14 | 18 | 27k|6407 | 0.000000e+00 | 4.000000e+00 | Inf
118.36/118.42 c 109s|350000 | 23760 | 1097k| 17M| 37 | - | 115 | 104 | 12 | 115 | 14 | 18 | 28k|6472 | 0.000000e+00 | 4.000000e+00 | Inf
121.25/121.32 c 112s|360000 | 24015 | 1127k| 18M| 37 | - | 115 | 113 | 12 | 115 | 14 | 18 | 29k|6531 | 0.000000e+00 | 4.000000e+00 | Inf
124.27/124.31 c 115s|370000 | 24375 | 1157k| 18M| 37 | 5 | 115 | 116 | 10 | 115 | 14 | 18 | 29k|6581 | 0.000000e+00 | 4.000000e+00 | Inf
127.36/127.44 c 118s|380000 | 25608 | 1190k| 19M| 37 | - | 115 | 78 | 5 | 115 | 14 | 18 | 30k|6636 | 0.000000e+00 | 4.000000e+00 | Inf
130.45/130.60 c 121s|390000 | 27156 | 1222k| 20M| 37 | 5 | 115 | 75 | 5 | 115 | 14 | 18 | 31k|6693 | 0.000000e+00 | 4.000000e+00 | Inf
133.56/133.64 c 124s|400000 | 28723 | 1255k| 20M| 37 | - | 115 | 88 | 7 | 115 | 14 | 18 | 31k|6758 | 0.000000e+00 | 4.000000e+00 | Inf
136.55/136.64 c 126s|410000 | 29862 | 1286k| 21M| 37 | 5 | 115 | 92 | 7 | 115 | 14 | 18 | 32k|6820 | 0.000000e+00 | 4.000000e+00 | Inf
139.55/139.66 c 129s|420000 | 30787 | 1316k| 22M| 37 | 5 | 115 | 89 | 6 | 115 | 14 | 18 | 33k|6868 | 0.000000e+00 | 4.000000e+00 | Inf
142.56/142.66 c 132s|430000 | 31840 | 1346k| 23M| 37 | 5 | 115 | 86 | 9 | 115 | 14 | 18 | 33k|6917 | 0.000000e+00 | 4.000000e+00 | Inf
145.55/145.62 c 135s|440000 | 32613 | 1376k| 23M| 37 | - | 115 | 75 | 5 | 115 | 14 | 18 | 34k|6970 | 0.000000e+00 | 4.000000e+00 | Inf
148.45/148.54 c 137s|450000 | 33106 | 1405k| 24M| 37 | - | 115 | 72 | 5 | 115 | 14 | 18 | 35k|7024 | 0.000000e+00 | 4.000000e+00 | Inf
151.35/151.47 c 140s|460000 | 33416 | 1434k| 24M| 37 | 5 | 115 | 81 | 22 | 115 | 14 | 18 | 36k|7086 | 0.000000e+00 | 4.000000e+00 | Inf
154.26/154.35 c 143s|470000 | 33739 | 1463k| 24M| 37 | 5 | 115 | 90 | 11 | 115 | 14 | 18 | 36k|7140 | 0.000000e+00 | 4.000000e+00 | Inf
157.15/157.27 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
157.15/157.27 c 145s|480000 | 34101 | 1492k| 25M| 37 | - | 115 | 71 | 5 | 115 | 14 | 18 | 37k|7189 | 0.000000e+00 | 4.000000e+00 | Inf
160.05/160.13 c 148s|490000 | 34113 | 1520k| 25M| 37 | 5 | 115 | 99 | 5 | 115 | 14 | 18 | 38k|7237 | 0.000000e+00 | 4.000000e+00 | Inf
162.95/163.01 c 151s|500000 | 34179 | 1549k| 25M| 37 | - | 115 | 90 | 5 | 115 | 14 | 18 | 38k|7290 | 0.000000e+00 | 4.000000e+00 | Inf
165.85/165.93 c 153s|510000 | 34439 | 1579k| 25M| 37 | 5 | 115 | 73 | 5 | 115 | 14 | 18 | 39k|7344 | 0.000000e+00 | 4.000000e+00 | Inf
168.74/168.81 c 156s|520000 | 34568 | 1607k| 26M| 37 | 5 | 115 | 96 | 6 | 115 | 14 | 18 | 40k|7399 | 0.000000e+00 | 4.000000e+00 | Inf
171.55/171.69 c 159s|530000 | 34430 | 1635k| 26M| 37 | - | 115 | 101 | 5 | 115 | 14 | 18 | 41k|7454 | 0.000000e+00 | 4.000000e+00 | Inf
174.45/174.58 c 161s|540000 | 34518 | 1665k| 26M| 37 | - | 115 | 85 | 4 | 115 | 14 | 18 | 41k|7519 | 0.000000e+00 | 4.000000e+00 | Inf
177.35/177.41 c 164s|550000 | 34658 | 1693k| 26M| 37 | - | 115 | 82 | 6 | 115 | 14 | 18 | 42k|7562 | 0.000000e+00 | 4.000000e+00 | Inf
180.15/180.25 c 167s|560000 | 34511 | 1721k| 26M| 37 | - | 115 | 75 | 4 | 115 | 14 | 18 | 43k|7613 | 0.000000e+00 | 4.000000e+00 | Inf
183.05/183.10 c 169s|570000 | 34394 | 1749k| 26M| 37 | 5 | 115 | 73 | 6 | 115 | 14 | 18 | 43k|7657 | 0.000000e+00 | 4.000000e+00 | Inf
185.84/185.96 c 172s|580000 | 34392 | 1777k| 26M| 37 | 5 | 115 | 72 | 5 | 115 | 14 | 18 | 44k|7702 | 0.000000e+00 | 4.000000e+00 | Inf
188.64/188.80 c 174s|590000 | 34248 | 1804k| 26M| 37 | 5 | 115 | 69 | 6 | 115 | 14 | 18 | 45k|7741 | 0.000000e+00 | 4.000000e+00 | Inf
191.54/191.65 c 177s|600000 | 34010 | 1832k| 26M| 37 | 5 | 115 | 88 | 9 | 115 | 14 | 18 | 46k|7790 | 0.000000e+00 | 4.000000e+00 | Inf
194.34/194.43 c 180s|610000 | 33950 | 1859k| 26M| 37 | 5 | 115 | 100 | 7 | 115 | 14 | 18 | 46k|7833 | 0.000000e+00 | 4.000000e+00 | Inf
197.34/197.49 c 182s|620000 | 34885 | 1891k| 27M| 37 | - | 115 | 74 | 6 | 0 | 0 | 18 | 47k|7871 | 0.000000e+00 | 4.000000e+00 | Inf
200.33/200.42 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
200.33/200.42 c 185s|630000 | 35769 | 1921k| 27M| 37 | 5 | 115 | 89 | 6 | 115 | 14 | 18 | 48k|7912 | 0.000000e+00 | 4.000000e+00 | Inf
203.14/203.26 c 188s|640000 | 35889 | 1950k| 28M| 37 | 5 | 115 | 78 | 5 | 115 | 14 | 18 | 48k|7960 | 0.000000e+00 | 4.000000e+00 | Inf
206.04/206.13 c 190s|650000 | 36110 | 1979k| 28M| 37 | - | 115 | 65 | 5 | 115 | 14 | 18 | 49k|8000 | 0.000000e+00 | 4.000000e+00 | Inf
208.94/209.01 c 193s|660000 | 35879 | 2008k| 28M| 37 | - | 115 | 73 | 5 | 115 | 14 | 18 | 50k|8046 | 0.000000e+00 | 4.000000e+00 | Inf
211.74/211.86 c 196s|670000 | 35856 | 2036k| 28M| 37 | - | 115 | 73 | 5 | 115 | 14 | 18 | 51k|8077 | 0.000000e+00 | 4.000000e+00 | Inf
214.54/214.69 c 198s|680000 | 35569 | 2064k| 28M| 37 | 5 | 115 | 72 | 7 | 115 | 14 | 18 | 51k|8121 | 0.000000e+00 | 4.000000e+00 | Inf
217.44/217.50 c 201s|690000 | 35040 | 2092k| 28M| 37 | - | 115 | 63 | 5 | 115 | 14 | 18 | 52k|8158 | 0.000000e+00 | 4.000000e+00 | Inf
220.24/220.36 c 203s|700000 | 34855 | 2121k| 28M| 37 | 5 | 115 | 75 | 6 | 115 | 14 | 18 | 53k|8195 | 0.000000e+00 | 4.000000e+00 | Inf
223.13/223.23 c 206s|710000 | 34631 | 2149k| 28M| 37 | - | 115 | 77 | 7 | 115 | 14 | 18 | 54k|8237 | 0.000000e+00 | 4.000000e+00 | Inf
226.04/226.11 c 209s|720000 | 34222 | 2176k| 27M| 37 | 5 | 115 | 81 | 7 | 115 | 14 | 18 | 55k|8271 | 0.000000e+00 | 4.000000e+00 | Inf
229.13/229.24 c 212s|730000 | 35701 | 2208k| 28M| 37 | - | 115 | 96 | 7 | 115 | 14 | 18 | 56k|8304 | 0.000000e+00 | 4.000000e+00 | Inf
232.13/232.21 c 214s|740000 | 36348 | 2239k| 29M| 37 | 5 | 115 | 91 | 6 | 115 | 14 | 18 | 56k|8343 | 0.000000e+00 | 4.000000e+00 | Inf
235.03/235.14 c 217s|750000 | 36919 | 2269k| 29M| 37 | - | 115 | 88 | 7 | 115 | 14 | 18 | 57k|8374 | 0.000000e+00 | 4.000000e+00 | Inf
237.93/238.02 c 220s|760000 | 37256 | 2298k| 29M| 37 | 5 | 115 | 103 | 10 | 115 | 14 | 18 | 58k|8404 | 0.000000e+00 | 4.000000e+00 | Inf
240.73/240.87 c 222s|770000 | 37258 | 2326k| 30M| 37 | - | 115 | 95 | 10 | 115 | 14 | 18 | 59k|8443 | 0.000000e+00 | 4.000000e+00 | Inf
243.53/243.69 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
243.53/243.69 c 225s|780000 | 37014 | 2354k| 30M| 37 | - | 115 | 93 | 6 | 115 | 14 | 18 | 60k|8472 | 0.000000e+00 | 4.000000e+00 | Inf
246.43/246.53 c 228s|790000 | 36853 | 2382k| 30M| 37 | 5 | 115 | 86 | 6 | 115 | 14 | 18 | 60k|8505 | 0.000000e+00 | 4.000000e+00 | Inf
249.32/249.43 c 230s|800000 | 36892 | 2411k| 30M| 37 | 5 | 115 | 104 | 8 | 115 | 14 | 18 | 61k|8529 | 0.000000e+00 | 4.000000e+00 | Inf
252.22/252.32 c 233s|810000 | 36510 | 2439k| 30M| 37 | - | 115 | 110 | 7 | 115 | 14 | 18 | 62k|8566 | 0.000000e+00 | 4.000000e+00 | Inf
255.03/255.13 c 236s|820000 | 35940 | 2467k| 29M| 37 | 5 | 115 | 104 | 11 | 115 | 14 | 18 | 63k|8594 | 0.000000e+00 | 4.000000e+00 | Inf
257.83/257.98 c 238s|830000 | 35721 | 2495k| 29M| 37 | - | 115 | 103 | 10 | 115 | 14 | 18 | 64k|8633 | 0.000000e+00 | 4.000000e+00 | Inf
260.73/260.81 c 241s|840000 | 35016 | 2522k| 29M| 37 | 5 | 115 | 96 | 7 | 115 | 14 | 18 | 64k|8666 | 0.000000e+00 | 4.000000e+00 | Inf
263.52/263.64 c 243s|850000 | 34957 | 2551k| 29M| 37 | - | 115 | 111 | 9 | 115 | 14 | 18 | 65k|8697 | 0.000000e+00 | 4.000000e+00 | Inf
266.32/266.43 c 246s|860000 | 34801 | 2578k| 29M| 37 | - | 115 | 105 | 11 | 115 | 14 | 18 | 66k|8728 | 0.000000e+00 | 4.000000e+00 | Inf
268.33/268.49 o 3
268.33/268.49 c * 248s|867146 | 33336 | 2598k| 26M| 37 | - | 115 | 109 | 0 | 115 | 14 | 18 | 66k|8759 | 0.000000e+00 | 3.000000e+00 | Inf
268.42/268.51 o 1
268.42/268.51 c * 248s|867147 | 30391 | 2598k| 21M| 37 | - | 115 | 109 | 0 | 115 | 14 | 18 | 66k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
269.12/269.21 c 249s|870000 | 30308 | 2606k| 21M| 37 | - | 115 | 108 | 6 | 115 | 14 | 18 | 66k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
271.62/271.71 c 251s|880000 | 29742 | 2633k| 20M| 37 | 5 | 115 | 131 | 24 | 115 | 14 | 18 | 67k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
274.02/274.19 c 253s|890000 | 29548 | 2661k| 20M| 37 | - | 115 | 162 | 6 | 115 | 14 | 18 | 67k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
276.52/276.66 c 255s|900000 | 29219 | 2688k| 20M| 37 | 5 | 115 | 144 | 5 | 115 | 14 | 18 | 67k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
279.02/279.16 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
279.02/279.16 c 258s|910000 | 29155 | 2715k| 20M| 37 | - | 115 | 150 | 5 | 115 | 14 | 18 | 68k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
281.52/281.66 c 260s|920000 | 29191 | 2742k| 20M| 37 | 5 | 115 | 165 | 28 | 115 | 14 | 18 | 68k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
284.02/284.13 c 262s|930000 | 28819 | 2768k| 20M| 37 | - | 115 | 152 | 5 | 115 | 14 | 18 | 68k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
286.52/286.63 c 264s|940000 | 28583 | 2795k| 19M| 37 | - | 115 | 155 | 8 | 115 | 14 | 18 | 69k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
289.01/289.13 c 267s|950000 | 28521 | 2822k| 19M| 37 | 5 | 115 | 165 | 6 | 115 | 14 | 18 | 69k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
291.52/291.61 c 269s|960000 | 28331 | 2849k| 19M| 37 | - | 115 | 144 | 6 | 115 | 14 | 18 | 69k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
293.92/294.10 c 271s|970000 | 28277 | 2875k| 19M| 37 | 5 | 115 | 181 | 9 | 115 | 14 | 18 | 69k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
296.41/296.58 c 274s|980000 | 28187 | 2901k| 19M| 37 | 5 | 115 | 175 | 5 | 115 | 14 | 18 | 70k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
298.91/299.05 c 276s|990000 | 27981 | 2928k| 19M| 37 | 5 | 115 | 171 | 6 | 115 | 14 | 18 | 70k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
301.41/301.59 c 278s| 1000k| 28343 | 2956k| 19M| 37 | - | 115 | 137 | 6 | 0 | 0 | 18 | 70k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
303.91/304.05 c 280s| 1010k| 28545 | 2982k| 20M| 37 | 5 | 115 | 147 | 6 | 115 | 14 | 18 | 71k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
306.31/306.45 c 283s| 1020k| 28029 | 3007k| 19M| 37 | - | 115 | 125 | 5 | 115 | 14 | 18 | 71k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
308.81/308.97 c 285s| 1030k| 28084 | 3033k| 19M| 37 | - | 115 | 174 | 6 | 115 | 14 | 18 | 71k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
311.30/311.47 c 287s| 1040k| 27812 | 3059k| 19M| 37 | 5 | 115 | 133 | 6 | 115 | 14 | 18 | 72k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
313.81/313.92 c 290s| 1050k| 27641 | 3086k| 19M| 37 | 5 | 115 | 144 | 5 | 115 | 14 | 18 | 72k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
316.30/316.40 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
316.30/316.40 c 292s| 1060k| 27495 | 3115k| 19M| 37 | - | 115 | 151 | 7 | 115 | 14 | 18 | 72k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
318.70/318.88 c 294s| 1070k| 27669 | 3142k| 19M| 37 | 5 | 115 | 150 | 7 | 115 | 14 | 18 | 72k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
321.20/321.32 c 296s| 1080k| 27165 | 3167k| 19M| 37 | 5 | 115 | 151 | 10 | 115 | 14 | 18 | 73k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
323.60/323.78 c 299s| 1090k| 27107 | 3194k| 19M| 37 | 5 | 115 | 158 | 7 | 115 | 14 | 18 | 73k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
326.10/326.26 c 301s| 1100k| 26859 | 3221k| 18M| 37 | - | 115 | 139 | 10 | 115 | 14 | 18 | 73k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
328.61/328.76 c 303s| 1110k| 26651 | 3249k| 18M| 37 | 5 | 115 | 129 | 8 | 115 | 14 | 18 | 73k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
331.11/331.23 c 305s| 1120k| 26290 | 3277k| 18M| 37 | 5 | 115 | 126 | 17 | 115 | 14 | 18 | 74k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
333.60/333.75 c 308s| 1130k| 26294 | 3305k| 18M| 37 | - | 115 | 175 | 8 | 115 | 14 | 18 | 74k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
336.10/336.26 c 310s| 1140k| 26473 | 3333k| 18M| 37 | 5 | 115 | 212 | 6 | 115 | 14 | 18 | 74k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
338.60/338.75 c 312s| 1150k| 26538 | 3361k| 18M| 37 | 5 | 115 | 192 | 13 | 115 | 14 | 18 | 74k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
341.10/341.21 c 314s| 1160k| 26353 | 3386k| 18M| 37 | - | 115 | 221 | 15 | 115 | 14 | 18 | 75k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
343.50/343.67 c 317s| 1170k| 26185 | 3411k| 18M| 37 | - | 115 | 216 | 13 | 115 | 14 | 18 | 75k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
346.10/346.25 c 319s| 1180k| 26837 | 3439k| 18M| 37 | 5 | 115 | 203 | 6 | 115 | 14 | 18 | 75k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
348.60/348.80 c 321s| 1190k| 27243 | 3466k| 19M| 37 | - | 115 | 224 | 5 | 115 | 14 | 18 | 76k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
351.19/351.35 c 324s| 1200k| 27329 | 3493k| 19M| 37 | 5 | 115 | 244 | 14 | 115 | 14 | 18 | 76k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
353.79/353.92 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
353.79/353.92 c 326s| 1210k| 27765 | 3520k| 19M| 37 | - | 115 | 214 | 5 | 115 | 14 | 18 | 77k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
356.20/356.38 c 328s| 1220k| 27704 | 3547k| 19M| 37 | 5 | 115 | 220 | 10 | 115 | 14 | 18 | 77k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
358.69/358.86 c 331s| 1230k| 27475 | 3573k| 19M| 37 | - | 115 | 237 | 6 | 115 | 14 | 18 | 77k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
361.19/361.33 c 333s| 1240k| 27148 | 3599k| 19M| 37 | - | 115 | 227 | 5 | 115 | 14 | 18 | 78k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
363.70/363.80 c 335s| 1250k| 26720 | 3624k| 19M| 37 | - | 115 | 231 | 6 | 0 | 0 | 18 | 78k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
366.20/366.36 c 338s| 1260k| 26847 | 3650k| 19M| 37 | - | 115 | 251 | 8 | 115 | 14 | 18 | 78k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
369.90/370.02 c 341s| 1270k| 27601 | 3677k| 19M| 37 | - | 115 | 230 | 7 | 115 | 14 | 18 | 79k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
372.49/372.62 c 343s| 1280k| 28558 | 3703k| 20M| 37 | 5 | 115 | 221 | 21 | 115 | 14 | 18 | 79k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
375.00/375.17 c 346s| 1290k| 29213 | 3730k| 20M| 37 | - | 115 | 169 | 5 | 115 | 14 | 18 | 79k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
377.49/377.68 c 348s| 1300k| 29604 | 3757k| 21M| 37 | 5 | 115 | 171 | 6 | 115 | 14 | 18 | 80k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
380.09/380.29 c 350s| 1310k| 30483 | 3784k| 21M| 37 | 5 | 115 | 174 | 9 | 115 | 14 | 18 | 80k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
382.69/382.87 c 353s| 1320k| 31533 | 3810k| 22M| 37 | - | 115 | 162 | 29 | 0 | 0 | 18 | 80k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
385.49/385.65 c 355s| 1330k| 33537 | 3837k| 23M| 37 | 5 | 115 | 172 | 9 | 115 | 14 | 18 | 81k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
388.09/388.22 c 358s| 1340k| 34459 | 3862k| 24M| 37 | - | 115 | 170 | 18 | 115 | 14 | 18 | 81k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
390.59/390.77 c 360s| 1350k| 35177 | 3885k| 24M| 37 | - | 115 | 173 | 5 | 115 | 14 | 18 | 82k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
393.08/393.26 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
393.08/393.26 c 362s| 1360k| 35530 | 3908k| 24M| 37 | 5 | 115 | 176 | 6 | 115 | 14 | 18 | 82k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
395.58/395.75 c 364s| 1370k| 35771 | 3931k| 25M| 37 | - | 115 | 195 | 8 | 115 | 14 | 18 | 82k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
398.09/398.25 c 367s| 1380k| 36014 | 3954k| 25M| 37 | 5 | 115 | 204 | 10 | 115 | 14 | 18 | 83k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
400.59/400.75 c 369s| 1390k| 36160 | 3978k| 25M| 37 | - | 115 | 204 | 5 | 115 | 14 | 18 | 83k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
403.09/403.29 c 371s| 1400k| 36203 | 4002k| 25M| 37 | 5 | 115 | 191 | 9 | 115 | 14 | 18 | 83k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
405.58/405.78 c 374s| 1410k| 36119 | 4025k| 25M| 37 | 5 | 115 | 191 | 5 | 115 | 14 | 18 | 84k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
408.28/408.50 c 376s| 1420k| 37298 | 4051k| 26M| 37 | 5 | 115 | 218 | 5 | 115 | 14 | 18 | 84k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
410.99/411.10 c 378s| 1430k| 38301 | 4076k| 27M| 37 | - | 115 | 185 | 7 | 115 | 14 | 18 | 85k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
413.49/413.61 c 381s| 1440k| 38861 | 4101k| 27M| 37 | 5 | 115 | 215 | 10 | 115 | 14 | 18 | 85k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
415.98/416.16 c 383s| 1450k| 39092 | 4125k| 27M| 37 | 5 | 115 | 220 | 10 | 115 | 14 | 18 | 85k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
418.48/418.61 c 385s| 1460k| 39203 | 4148k| 28M| 37 | 5 | 115 | 202 | 7 | 115 | 14 | 18 | 86k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
420.88/421.07 c 388s| 1470k| 39368 | 4171k| 28M| 37 | - | 115 | 212 | 6 | 115 | 14 | 18 | 86k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
423.38/423.53 c 390s| 1480k| 39127 | 4193k| 28M| 37 | 5 | 115 | 218 | 11 | 115 | 14 | 18 | 86k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
425.88/426.04 c 392s| 1490k| 38799 | 4216k| 28M| 37 | 5 | 115 | 245 | 6 | 115 | 14 | 18 | 87k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
428.38/428.54 c 394s| 1500k| 38698 | 4238k| 28M| 37 | - | 115 | 244 | 6 | 115 | 14 | 18 | 87k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
430.77/430.99 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
430.77/430.99 c 397s| 1510k| 38552 | 4261k| 28M| 37 | - | 115 | 243 | 7 | 115 | 14 | 18 | 88k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
433.37/433.55 c 399s| 1520k| 39500 | 4286k| 28M| 37 | 5 | 115 | 250 | 21 | 115 | 14 | 18 | 88k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
435.87/436.03 c 401s| 1530k| 39873 | 4310k| 29M| 37 | - | 115 | 247 | 7 | 115 | 14 | 18 | 88k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
438.28/438.46 c 404s| 1540k| 40053 | 4332k| 29M| 37 | - | 115 | 226 | 5 | 0 | 0 | 18 | 89k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
440.77/440.90 c 406s| 1550k| 39970 | 4355k| 29M| 37 | - | 115 | 243 | 5 | 115 | 14 | 18 | 89k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
443.18/443.32 c 408s| 1560k| 39785 | 4377k| 29M| 37 | 5 | 115 | 220 | 13 | 115 | 14 | 18 | 89k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
445.57/445.79 c 410s| 1570k| 39795 | 4400k| 29M| 37 | 5 | 115 | 239 | 5 | 115 | 14 | 18 | 90k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
448.07/448.23 c 412s| 1580k| 39162 | 4421k| 29M| 37 | - | 115 | 252 | 5 | 115 | 14 | 18 | 90k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
450.47/450.68 c 415s| 1590k| 38706 | 4443k| 28M| 37 | 5 | 115 | 244 | 5 | 115 | 14 | 18 | 90k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
452.98/453.17 c 417s| 1600k| 38488 | 4466k| 28M| 37 | - | 115 | 254 | 7 | 0 | 0 | 18 | 91k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
455.47/455.63 c 419s| 1610k| 38210 | 4489k| 28M| 37 | 5 | 115 | 255 | 8 | 115 | 14 | 18 | 91k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
457.97/458.10 c 422s| 1620k| 37830 | 4511k| 28M| 37 | - | 115 | 255 | 6 | 115 | 14 | 18 | 91k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
460.37/460.59 c 424s| 1630k| 37294 | 4534k| 27M| 37 | 5 | 115 | 236 | 10 | 115 | 14 | 18 | 92k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
462.97/463.11 c 426s| 1640k| 37929 | 4559k| 28M| 37 | - | 115 | 266 | 6 | 115 | 14 | 18 | 92k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
465.37/465.57 c 428s| 1650k| 37868 | 4583k| 28M| 37 | - | 115 | 263 | 5 | 115 | 14 | 18 | 92k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
467.87/468.04 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
467.87/468.04 c 431s| 1660k| 37680 | 4606k| 28M| 37 | 5 | 115 | 266 | 8 | 115 | 14 | 18 | 93k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
470.27/470.47 c 433s| 1670k| 37055 | 4628k| 27M| 37 | - | 115 | 234 | 6 | 0 | 0 | 18 | 93k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
472.77/472.97 c 435s| 1680k| 37455 | 4653k| 28M| 37 | - | 115 | 262 | 5 | 115 | 14 | 18 | 93k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
475.17/475.39 c 437s| 1690k| 37294 | 4677k| 28M| 37 | 5 | 115 | 256 | 6 | 115 | 14 | 18 | 94k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
477.67/477.81 c 440s| 1700k| 37355 | 4701k| 28M| 37 | - | 115 | 258 | 6 | 115 | 14 | 18 | 94k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
480.06/480.21 c 442s| 1710k| 37046 | 4724k| 28M| 37 | 5 | 115 | 251 | 6 | 115 | 14 | 18 | 94k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
482.46/482.67 c 444s| 1720k| 36587 | 4747k| 27M| 37 | 5 | 115 | 239 | 10 | 115 | 14 | 18 | 94k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
484.97/485.18 c 446s| 1730k| 37059 | 4771k| 28M| 37 | 5 | 115 | 240 | 13 | 115 | 14 | 18 | 95k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
487.46/487.64 c 449s| 1740k| 36613 | 4795k| 27M| 37 | - | 115 | 238 | 6 | 115 | 14 | 18 | 95k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
489.96/490.15 c 451s| 1750k| 36685 | 4819k| 27M| 37 | - | 115 | 257 | 8 | 115 | 14 | 18 | 95k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
492.46/492.61 c 453s| 1760k| 36230 | 4843k| 27M| 37 | - | 115 | 253 | 5 | 115 | 14 | 18 | 96k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
494.86/495.07 c 455s| 1770k| 36290 | 4867k| 27M| 37 | 5 | 115 | 274 | 14 | 115 | 14 | 18 | 96k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
497.26/497.50 c 458s| 1780k| 36260 | 4892k| 27M| 37 | 5 | 115 | 262 | 5 | 115 | 14 | 18 | 96k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
499.76/499.93 c 460s| 1790k| 36091 | 4916k| 27M| 37 | 5 | 115 | 262 | 8 | 115 | 14 | 18 | 96k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
502.16/502.38 c 462s| 1800k| 36088 | 4940k| 27M| 37 | 5 | 115 | 301 | 5 | 115 | 14 | 18 | 97k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
504.66/504.86 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
504.66/504.86 c 464s| 1810k| 35740 | 4963k| 27M| 37 | - | 115 | 274 | 6 | 0 | 0 | 18 | 97k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
507.06/507.29 c 467s| 1820k| 35401 | 4986k| 27M| 37 | - | 115 | 242 | 5 | 115 | 14 | 18 | 97k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
509.55/509.77 c 469s| 1830k| 35068 | 5008k| 26M| 37 | - | 115 | 258 | 7 | 115 | 14 | 18 | 98k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
512.05/512.25 c 471s| 1840k| 34580 | 5031k| 26M| 37 | - | 115 | 254 | 6 | 115 | 14 | 18 | 98k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
514.56/514.73 c 473s| 1850k| 34428 | 5055k| 26M| 37 | 5 | 115 | 259 | 7 | 115 | 14 | 18 | 98k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
516.95/517.11 c 476s| 1860k| 34224 | 5078k| 26M| 37 | - | 115 | 246 | 6 | 115 | 14 | 18 | 98k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
519.35/519.57 c 478s| 1870k| 34318 | 5103k| 26M| 37 | 5 | 115 | 261 | 6 | 115 | 14 | 18 | 99k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
521.86/522.09 c 480s| 1880k| 34935 | 5129k| 26M| 37 | 5 | 115 | 276 | 8 | 115 | 14 | 18 | 99k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
524.35/524.54 c 482s| 1890k| 35091 | 5152k| 26M| 37 | 5 | 115 | 298 | 11 | 115 | 14 | 18 | 99k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
526.75/526.94 c 485s| 1900k| 34889 | 5174k| 26M| 37 | - | 115 | 293 | 15 | 0 | 0 | 18 | 100k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
529.15/529.35 c 487s| 1910k| 34571 | 5197k| 26M| 37 | 5 | 115 | 296 | 8 | 115 | 14 | 18 | 100k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
531.55/531.74 c 489s| 1920k| 34131 | 5220k| 26M| 37 | - | 115 | 287 | 7 | 115 | 14 | 18 | 100k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
534.15/534.33 c 491s| 1930k| 34963 | 5247k| 26M| 37 | 5 | 115 | 298 | 5 | 115 | 14 | 18 | 101k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
536.56/536.80 c 494s| 1940k| 34897 | 5271k| 26M| 37 | - | 115 | 304 | 5 | 115 | 14 | 18 | 101k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
539.05/539.24 c 496s| 1950k| 34613 | 5295k| 26M| 37 | 5 | 115 | 303 | 5 | 115 | 14 | 18 | 101k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
541.44/541.66 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
541.44/541.66 c 498s| 1960k| 34122 | 5318k| 26M| 37 | - | 115 | 306 | 6 | 115 | 14 | 18 | 101k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
543.94/544.15 c 500s| 1970k| 34018 | 5341k| 25M| 37 | - | 115 | 289 | 6 | 115 | 14 | 18 | 102k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
546.45/546.62 c 503s| 1980k| 33652 | 5366k| 25M| 37 | - | 115 | 272 | 6 | 115 | 14 | 18 | 102k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
548.85/549.08 c 505s| 1990k| 33430 | 5389k| 25M| 37 | - | 115 | 267 | 5 | 115 | 14 | 18 | 102k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
551.45/551.61 c 507s| 2000k| 33729 | 5413k| 25M| 37 | 5 | 115 | 281 | 6 | 115 | 14 | 18 | 103k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
553.85/554.06 c 509s| 2010k| 33615 | 5436k| 25M| 37 | - | 115 | 278 | 6 | 115 | 14 | 18 | 103k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
556.25/556.48 c 512s| 2020k| 33148 | 5459k| 25M| 37 | - | 115 | 270 | 5 | 115 | 14 | 18 | 103k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
558.74/558.92 c 514s| 2030k| 32901 | 5484k| 24M| 37 | - | 115 | 278 | 6 | 115 | 14 | 18 | 103k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
561.14/561.37 c 516s| 2040k| 32771 | 5507k| 24M| 37 | - | 115 | 315 | 6 | 0 | 0 | 18 | 104k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
563.64/563.82 c 518s| 2050k| 32578 | 5531k| 24M| 37 | 5 | 115 | 330 | 5 | 115 | 14 | 18 | 104k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
566.04/566.28 c 521s| 2060k| 32532 | 5555k| 24M| 37 | - | 115 | 292 | 5 | 115 | 14 | 18 | 104k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
568.64/568.80 c 523s| 2070k| 32531 | 5579k| 24M| 37 | 5 | 115 | 254 | 8 | 115 | 14 | 18 | 105k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
571.04/571.29 c 525s| 2080k| 32355 | 5602k| 24M| 37 | - | 115 | 293 | 5 | 115 | 14 | 18 | 105k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
573.54/573.73 c 527s| 2090k| 32145 | 5625k| 24M| 37 | - | 115 | 291 | 11 | 0 | 0 | 18 | 105k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
575.94/576.19 c 530s| 2100k| 31783 | 5648k| 23M| 37 | 5 | 115 | 268 | 5 | 115 | 14 | 18 | 106k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
578.54/578.71 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
578.54/578.71 c 532s| 2110k| 32293 | 5672k| 24M| 37 | 5 | 115 | 256 | 5 | 115 | 14 | 18 | 106k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
581.04/581.20 c 534s| 2120k| 32887 | 5696k| 24M| 37 | - | 115 | 262 | 5 | 115 | 14 | 18 | 106k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
583.44/583.65 c 537s| 2130k| 33206 | 5719k| 25M| 37 | - | 115 | 263 | 8 | 115 | 14 | 18 | 106k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
585.94/586.13 c 539s| 2140k| 33256 | 5741k| 25M| 37 | 5 | 115 | 254 | 6 | 115 | 14 | 18 | 107k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
588.44/588.60 c 541s| 2150k| 32903 | 5764k| 24M| 37 | - | 115 | 259 | 5 | 115 | 14 | 18 | 107k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
590.94/591.13 c 543s| 2160k| 33546 | 5788k| 25M| 37 | - | 115 | 313 | 5 | 115 | 14 | 18 | 107k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
593.33/593.58 c 546s| 2170k| 33329 | 5810k| 25M| 37 | - | 115 | 312 | 8 | 115 | 14 | 18 | 108k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
595.83/596.01 c 548s| 2180k| 32794 | 5832k| 25M| 37 | 5 | 115 | 268 | 6 | 115 | 14 | 18 | 108k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
598.33/598.51 c 550s| 2190k| 33056 | 5855k| 25M| 37 | - | 115 | 310 | 9 | 115 | 14 | 18 | 108k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
600.73/600.93 c 552s| 2200k| 32924 | 5878k| 25M| 37 | - | 115 | 300 | 12 | 115 | 14 | 18 | 109k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
603.23/603.42 c 555s| 2210k| 32954 | 5901k| 25M| 37 | 5 | 115 | 302 | 7 | 115 | 14 | 18 | 109k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
605.63/605.88 c 557s| 2220k| 32352 | 5922k| 24M| 37 | - | 115 | 301 | 6 | 115 | 14 | 18 | 109k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
608.13/608.35 c 559s| 2230k| 32676 | 5944k| 24M| 37 | - | 115 | 298 | 8 | 115 | 14 | 18 | 110k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
610.52/610.75 c 562s| 2240k| 32278 | 5966k| 24M| 37 | 5 | 115 | 288 | 9 | 115 | 14 | 18 | 110k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
613.03/613.26 c 564s| 2250k| 32512 | 5989k| 24M| 37 | - | 115 | 292 | 6 | 115 | 14 | 18 | 110k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
615.53/615.71 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
615.53/615.71 c 566s| 2260k| 32832 | 6012k| 24M| 37 | - | 115 | 301 | 31 | 0 | 0 | 18 | 111k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
617.93/618.14 c 568s| 2270k| 32686 | 6034k| 24M| 37 | - | 115 | 288 | 7 | 115 | 14 | 18 | 111k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
620.32/620.54 c 571s| 2280k| 32584 | 6058k| 24M| 37 | - | 115 | 299 | 5 | 115 | 14 | 18 | 111k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
622.72/622.98 c 573s| 2290k| 32469 | 6081k| 24M| 37 | - | 115 | 258 | 5 | 115 | 14 | 18 | 112k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
625.23/625.41 c 575s| 2300k| 32087 | 6103k| 24M| 37 | 5 | 115 | 260 | 12 | 115 | 14 | 18 | 112k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
627.72/627.93 c 577s| 2310k| 32088 | 6127k| 24M| 37 | 5 | 115 | 288 | 16 | 115 | 14 | 18 | 112k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
630.22/630.42 c 580s| 2320k| 32177 | 6150k| 24M| 37 | 5 | 115 | 234 | 11 | 115 | 14 | 18 | 113k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
632.72/632.92 c 582s| 2330k| 32599 | 6173k| 24M| 37 | 5 | 115 | 235 | 5 | 115 | 14 | 18 | 113k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
635.12/635.34 c 584s| 2340k| 32664 | 6196k| 24M| 37 | - | 115 | 236 | 13 | 115 | 14 | 18 | 113k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
637.52/637.79 c 586s| 2350k| 32678 | 6219k| 24M| 37 | 5 | 115 | 195 | 5 | 115 | 14 | 18 | 114k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
640.02/640.22 c 589s| 2360k| 32437 | 6242k| 24M| 37 | 5 | 115 | 238 | 9 | 115 | 14 | 18 | 114k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
642.42/642.65 c 591s| 2370k| 32185 | 6264k| 24M| 37 | - | 115 | 250 | 8 | 115 | 14 | 18 | 114k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
644.92/645.11 c 593s| 2380k| 32442 | 6287k| 24M| 37 | 5 | 115 | 239 | 5 | 115 | 14 | 18 | 115k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
647.32/647.56 c 595s| 2390k| 32307 | 6311k| 24M| 37 | - | 115 | 238 | 8 | 115 | 14 | 18 | 115k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
649.72/650.00 c 598s| 2400k| 32175 | 6334k| 24M| 37 | - | 115 | 203 | 7 | 115 | 14 | 18 | 115k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
652.12/652.39 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
652.12/652.39 c 600s| 2410k| 32029 | 6357k| 24M| 37 | 5 | 115 | 233 | 9 | 115 | 14 | 18 | 116k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
654.62/654.84 c 602s| 2420k| 31800 | 6381k| 24M| 37 | 5 | 115 | 218 | 5 | 115 | 14 | 18 | 116k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
657.02/657.29 c 604s| 2430k| 32143 | 6405k| 24M| 37 | 5 | 115 | 232 | 5 | 115 | 14 | 18 | 116k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
659.51/659.71 c 606s| 2440k| 32210 | 6428k| 24M| 37 | - | 115 | 250 | 7 | 115 | 14 | 18 | 117k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
661.92/662.12 c 609s| 2450k| 32254 | 6450k| 24M| 37 | 5 | 115 | 253 | 7 | 115 | 14 | 18 | 117k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
664.32/664.53 c 611s| 2460k| 31860 | 6473k| 24M| 37 | - | 115 | 230 | 9 | 115 | 14 | 18 | 117k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
666.81/667.05 c 613s| 2470k| 32257 | 6496k| 24M| 37 | 5 | 115 | 240 | 5 | 115 | 14 | 18 | 118k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
669.21/669.46 c 615s| 2480k| 32228 | 6520k| 24M| 37 | 5 | 115 | 216 | 7 | 115 | 14 | 18 | 118k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
671.62/671.89 c 618s| 2490k| 32147 | 6542k| 24M| 37 | - | 115 | 239 | 5 | 115 | 14 | 18 | 119k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
674.12/674.32 c 620s| 2500k| 32097 | 6565k| 24M| 37 | 5 | 115 | 230 | 7 | 115 | 14 | 18 | 119k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
676.51/676.75 c 622s| 2510k| 32139 | 6589k| 24M| 37 | - | 115 | 234 | 6 | 115 | 14 | 18 | 119k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
678.91/679.17 c 624s| 2520k| 32063 | 6612k| 24M| 37 | - | 115 | 209 | 9 | 115 | 14 | 18 | 120k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
681.41/681.60 c 626s| 2530k| 32089 | 6635k| 24M| 37 | 5 | 115 | 206 | 5 | 115 | 14 | 18 | 120k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
683.80/684.03 c 629s| 2540k| 32004 | 6659k| 24M| 37 | - | 115 | 194 | 11 | 115 | 14 | 18 | 120k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
686.21/686.46 c 631s| 2550k| 32542 | 6683k| 24M| 37 | - | 115 | 220 | 7 | 0 | 0 | 18 | 120k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
688.70/688.97 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
688.70/688.97 c 633s| 2560k| 32807 | 6707k| 24M| 37 | - | 115 | 235 | 7 | 115 | 14 | 18 | 121k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
691.11/691.40 c 635s| 2570k| 32884 | 6730k| 25M| 37 | - | 115 | 214 | 5 | 115 | 14 | 18 | 121k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
693.61/693.81 c 638s| 2580k| 32779 | 6752k| 25M| 37 | 5 | 115 | 207 | 9 | 115 | 14 | 18 | 121k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
696.01/696.22 c 640s| 2590k| 32468 | 6775k| 24M| 37 | - | 115 | 222 | 8 | 115 | 14 | 18 | 122k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
698.41/698.66 c 642s| 2600k| 32502 | 6798k| 24M| 37 | - | 115 | 253 | 8 | 115 | 14 | 18 | 122k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
700.81/701.05 c 644s| 2610k| 32134 | 6821k| 24M| 37 | 5 | 115 | 232 | 5 | 115 | 14 | 18 | 122k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
703.21/703.47 c 646s| 2620k| 32231 | 6844k| 24M| 37 | - | 115 | 265 | 5 | 115 | 14 | 18 | 123k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
705.71/705.95 c 649s| 2630k| 32364 | 6867k| 24M| 37 | 5 | 115 | 252 | 7 | 115 | 14 | 18 | 123k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
708.11/708.38 c 651s| 2640k| 31920 | 6890k| 24M| 37 | - | 115 | 237 | 11 | 115 | 14 | 18 | 123k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
710.61/710.83 c 653s| 2650k| 31812 | 6914k| 24M| 37 | 5 | 115 | 259 | 17 | 115 | 14 | 18 | 124k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
713.00/713.27 c 655s| 2660k| 31630 | 6938k| 24M| 37 | - | 115 | 253 | 9 | 115 | 14 | 18 | 124k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
715.50/715.71 c 658s| 2670k| 31571 | 6961k| 23M| 37 | 5 | 115 | 243 | 6 | 115 | 14 | 18 | 124k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
717.90/718.17 c 660s| 2680k| 31153 | 6985k| 23M| 37 | - | 115 | 202 | 6 | 115 | 14 | 18 | 125k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
720.30/720.57 c 662s| 2690k| 31078 | 7007k| 23M| 37 | 5 | 115 | 242 | 8 | 115 | 14 | 18 | 125k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
722.80/723.03 c 664s| 2700k| 30719 | 7030k| 23M| 37 | - | 115 | 246 | 5 | 115 | 14 | 18 | 125k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
725.30/725.55 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
725.30/725.55 c 667s| 2710k| 30974 | 7055k| 23M| 37 | - | 115 | 262 | 10 | 115 | 14 | 18 | 125k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
727.69/727.98 c 669s| 2720k| 30813 | 7079k| 23M| 37 | - | 115 | 229 | 11 | 115 | 14 | 18 | 126k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
730.09/730.38 c 671s| 2730k| 30687 | 7104k| 23M| 37 | 5 | 115 | 232 | 6 | 115 | 14 | 18 | 126k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
732.59/732.82 c 673s| 2740k| 30556 | 7127k| 23M| 37 | - | 115 | 257 | 6 | 115 | 14 | 18 | 126k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
735.10/735.30 c 676s| 2750k| 30811 | 7152k| 23M| 37 | 5 | 115 | 175 | 9 | 115 | 14 | 18 | 127k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
737.49/737.72 c 678s| 2760k| 31031 | 7176k| 23M| 37 | 5 | 115 | 165 | 7 | 115 | 14 | 18 | 127k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
739.89/740.12 c 680s| 2770k| 30890 | 7199k| 23M| 37 | - | 115 | 146 | 5 | 115 | 14 | 18 | 127k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
742.29/742.56 c 682s| 2780k| 30538 | 7223k| 23M| 37 | - | 115 | 177 | 11 | 0 | 0 | 18 | 128k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
744.80/745.00 c 685s| 2790k| 30215 | 7248k| 22M| 37 | - | 115 | 199 | 11 | 115 | 14 | 18 | 128k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
747.19/747.44 c 687s| 2800k| 30216 | 7271k| 22M| 37 | - | 115 | 236 | 8 | 115 | 14 | 18 | 128k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
749.69/749.92 c 689s| 2810k| 30249 | 7295k| 22M| 37 | 5 | 115 | 290 | 5 | 115 | 14 | 18 | 129k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
752.10/752.39 c 691s| 2820k| 30300 | 7318k| 22M| 37 | - | 115 | 283 | 6 | 115 | 14 | 18 | 129k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
754.59/754.82 c 694s| 2830k| 30321 | 7341k| 23M| 37 | - | 115 | 257 | 15 | 115 | 14 | 18 | 129k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
756.98/757.20 c 696s| 2840k| 30031 | 7364k| 22M| 37 | - | 115 | 212 | 8 | 115 | 14 | 18 | 130k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
759.39/759.62 c 698s| 2850k| 29745 | 7388k| 22M| 37 | - | 115 | 220 | 6 | 115 | 14 | 18 | 130k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
761.79/762.02 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
761.79/762.02 c 700s| 2860k| 29613 | 7411k| 22M| 37 | 5 | 115 | 259 | 9 | 115 | 14 | 18 | 130k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
764.29/764.54 c 702s| 2870k| 29658 | 7436k| 22M| 37 | 5 | 115 | 278 | 7 | 115 | 14 | 18 | 131k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
766.79/767.05 c 705s| 2880k| 29659 | 7460k| 22M| 37 | - | 115 | 274 | 6 | 115 | 14 | 18 | 131k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
769.29/769.54 c 707s| 2890k| 29500 | 7484k| 22M| 37 | 5 | 115 | 261 | 5 | 115 | 14 | 18 | 131k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
771.78/772.05 c 709s| 2900k| 29461 | 7510k| 22M| 37 | 5 | 115 | 260 | 7 | 115 | 14 | 18 | 132k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
774.18/774.48 c 712s| 2910k| 29304 | 7534k| 22M| 37 | 5 | 115 | 181 | 8 | 115 | 14 | 18 | 132k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
776.58/776.89 c 714s| 2920k| 29399 | 7559k| 22M| 37 | - | 115 | 135 | 5 | 115 | 14 | 18 | 132k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
778.99/779.25 c 716s| 2930k| 29340 | 7582k| 22M| 37 | 5 | 115 | 164 | 5 | 115 | 14 | 18 | 133k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
781.38/781.66 c 718s| 2940k| 29251 | 7605k| 22M| 37 | 5 | 115 | 215 | 5 | 115 | 14 | 18 | 133k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
783.88/784.12 c 720s| 2950k| 29099 | 7628k| 22M| 37 | - | 115 | 158 | 8 | 0 | 0 | 18 | 133k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
786.29/786.57 c 723s| 2960k| 28848 | 7651k| 21M| 37 | - | 115 | 245 | 5 | 115 | 14 | 18 | 134k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
788.77/789.01 c 725s| 2970k| 28891 | 7675k| 21M| 37 | 5 | 115 | 244 | 13 | 115 | 14 | 18 | 134k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
791.18/791.49 c 727s| 2980k| 28965 | 7700k| 22M| 37 | 5 | 115 | 242 | 10 | 115 | 14 | 18 | 134k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
793.58/793.89 c 729s| 2990k| 28558 | 7723k| 21M| 37 | 5 | 115 | 201 | 7 | 115 | 14 | 18 | 134k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
795.97/796.29 c 731s| 3000k| 28230 | 7746k| 21M| 37 | - | 115 | 235 | 7 | 115 | 14 | 18 | 135k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
798.48/798.72 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
798.48/798.72 c 734s| 3010k| 28165 | 7769k| 21M| 37 | - | 115 | 262 | 9 | 115 | 14 | 18 | 135k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
800.87/801.16 c 736s| 3020k| 28453 | 7793k| 21M| 37 | 5 | 115 | 257 | 5 | 115 | 14 | 18 | 135k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
803.38/803.63 c 738s| 3030k| 28676 | 7816k| 21M| 37 | 5 | 115 | 267 | 14 | 115 | 14 | 18 | 136k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
805.88/806.11 c 741s| 3040k| 28781 | 7840k| 22M| 37 | 5 | 115 | 229 | 6 | 115 | 14 | 18 | 136k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
808.28/808.51 c 743s| 3050k| 28188 | 7864k| 21M| 37 | - | 115 | 209 | 7 | 115 | 14 | 18 | 136k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
810.67/810.95 c 745s| 3060k| 27905 | 7889k| 21M| 37 | 5 | 115 | 205 | 6 | 115 | 14 | 18 | 137k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
813.17/813.44 c 747s| 3070k| 28313 | 7914k| 21M| 37 | 5 | 115 | 244 | 8 | 115 | 14 | 18 | 137k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
815.57/815.88 c 749s| 3080k| 28411 | 7938k| 21M| 37 | 5 | 115 | 230 | 7 | 115 | 14 | 18 | 137k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
818.08/818.33 c 752s| 3090k| 28583 | 7962k| 21M| 37 | - | 115 | 233 | 6 | 115 | 14 | 18 | 138k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
820.47/820.77 c 754s| 3100k| 28482 | 7986k| 21M| 37 | 5 | 115 | 209 | 5 | 115 | 14 | 18 | 138k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
822.87/823.14 c 756s| 3110k| 27954 | 8009k| 21M| 37 | - | 115 | 222 | 7 | 115 | 14 | 18 | 138k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
825.27/825.55 c 758s| 3120k| 27681 | 8033k| 21M| 37 | 5 | 115 | 211 | 7 | 115 | 14 | 18 | 138k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
827.76/828.02 c 761s| 3130k| 27767 | 8056k| 21M| 37 | - | 115 | 317 | 23 | 115 | 14 | 18 | 139k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
830.27/830.53 c 763s| 3140k| 27747 | 8081k| 21M| 37 | 5 | 115 | 425 | 13 | 115 | 14 | 18 | 139k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
832.66/832.99 c 765s| 3150k| 27603 | 8107k| 21M| 37 | - | 115 | 406 | 5 | 115 | 14 | 18 | 140k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
835.16/835.48 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
835.16/835.48 c 767s| 3160k| 27423 | 8131k| 20M| 37 | - | 115 | 316 | 7 | 0 | 0 | 18 | 140k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
837.66/837.93 c 770s| 3170k| 27240 | 8156k| 20M| 37 | - | 115 | 343 | 5 | 115 | 14 | 18 | 140k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
840.16/840.43 c 772s| 3180k| 28003 | 8182k| 21M| 37 | 5 | 115 | 339 | 13 | 115 | 14 | 18 | 141k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
842.55/842.88 c 774s| 3190k| 28327 | 8206k| 21M| 37 | - | 115 | 348 | 10 | 0 | 0 | 18 | 141k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
845.06/845.33 c 776s| 3200k| 28274 | 8230k| 21M| 37 | - | 115 | 349 | 5 | 0 | 0 | 18 | 141k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
847.45/847.77 c 779s| 3210k| 28080 | 8253k| 21M| 37 | - | 115 | 363 | 6 | 115 | 14 | 18 | 141k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
849.96/850.20 c 781s| 3220k| 27883 | 8276k| 21M| 37 | 5 | 115 | 320 | 7 | 115 | 14 | 18 | 142k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
852.35/852.67 c 783s| 3230k| 28325 | 8300k| 21M| 37 | 5 | 115 | 325 | 5 | 115 | 14 | 18 | 142k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
855.75/856.06 c 786s| 3240k| 28319 | 8323k| 21M| 37 | 5 | 115 | 321 | 7 | 115 | 14 | 18 | 142k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
858.25/858.52 c 788s| 3250k| 28954 | 8348k| 22M| 37 | 5 | 115 | 329 | 8 | 115 | 14 | 18 | 143k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
860.65/860.94 c 791s| 3260k| 29167 | 8371k| 22M| 37 | 5 | 115 | 342 | 6 | 115 | 14 | 18 | 143k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
863.06/863.34 c 793s| 3270k| 28931 | 8395k| 22M| 37 | 5 | 115 | 330 | 10 | 115 | 14 | 18 | 143k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
865.45/865.76 c 795s| 3280k| 28593 | 8418k| 22M| 37 | 5 | 115 | 353 | 10 | 115 | 14 | 18 | 144k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
867.85/868.15 c 797s| 3290k| 28383 | 8442k| 22M| 37 | - | 115 | 349 | 9 | 0 | 0 | 18 | 144k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
870.25/870.57 c 800s| 3300k| 28060 | 8465k| 21M| 37 | - | 115 | 341 | 5 | 115 | 14 | 18 | 144k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
872.75/873.05 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
872.75/873.05 c 802s| 3310k| 28496 | 8491k| 22M| 37 | - | 115 | 362 | 43 | 0 | 0 | 18 | 144k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
875.14/875.46 c 804s| 3320k| 28462 | 8515k| 22M| 37 | - | 115 | 364 | 5 | 115 | 14 | 18 | 145k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
877.55/877.86 c 806s| 3330k| 27905 | 8538k| 21M| 37 | 5 | 115 | 342 | 12 | 115 | 14 | 18 | 145k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
879.95/880.27 c 808s| 3340k| 27491 | 8562k| 21M| 37 | - | 115 | 356 | 8 | 115 | 14 | 18 | 145k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
882.34/882.66 c 811s| 3350k| 27357 | 8586k| 20M| 37 | - | 115 | 337 | 5 | 0 | 0 | 18 | 145k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
884.75/885.09 c 813s| 3360k| 27395 | 8610k| 20M| 37 | 5 | 115 | 339 | 7 | 115 | 14 | 18 | 146k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
887.15/887.48 c 815s| 3370k| 27184 | 8634k| 20M| 37 | - | 115 | 335 | 23 | 0 | 0 | 18 | 146k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
889.74/890.03 c 817s| 3380k| 28179 | 8661k| 21M| 37 | 5 | 115 | 340 | 6 | 115 | 14 | 18 | 146k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
892.25/892.52 c 820s| 3390k| 28730 | 8685k| 21M| 37 | 5 | 115 | 335 | 11 | 115 | 14 | 18 | 146k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
894.64/894.94 c 822s| 3400k| 29049 | 8708k| 22M| 37 | 5 | 115 | 309 | 7 | 115 | 14 | 18 | 147k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
897.04/897.36 c 824s| 3410k| 29259 | 8732k| 22M| 37 | - | 115 | 315 | 6 | 115 | 14 | 18 | 147k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
899.54/899.84 c 826s| 3420k| 29524 | 8757k| 22M| 37 | - | 115 | 292 | 7 | 115 | 14 | 18 | 147k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
902.04/902.36 c 828s| 3430k| 30062 | 8782k| 22M| 37 | - | 115 | 282 | 13 | 0 | 0 | 18 | 147k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
904.54/904.89 c 831s| 3440k| 30574 | 8807k| 23M| 37 | 5 | 115 | 274 | 13 | 115 | 14 | 18 | 148k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
907.04/907.36 c 833s| 3450k| 30883 | 8832k| 23M| 37 | 5 | 115 | 258 | 9 | 115 | 14 | 18 | 148k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
909.54/909.84 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
909.54/909.84 c 835s| 3460k| 31149 | 8857k| 23M| 37 | 5 | 115 | 224 | 5 | 115 | 14 | 18 | 148k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
912.04/912.30 c 838s| 3470k| 31173 | 8881k| 23M| 37 | - | 115 | 225 | 5 | 115 | 14 | 18 | 149k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
914.44/914.75 c 840s| 3480k| 30831 | 8905k| 23M| 37 | - | 115 | 225 | 5 | 115 | 14 | 18 | 149k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
916.83/917.16 c 842s| 3490k| 30475 | 8928k| 23M| 37 | 5 | 115 | 250 | 9 | 115 | 14 | 18 | 149k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
919.34/919.66 c 844s| 3500k| 30764 | 8953k| 23M| 37 | - | 115 | 215 | 7 | 115 | 14 | 18 | 149k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
921.84/922.10 c 847s| 3510k| 30881 | 8978k| 23M| 37 | - | 115 | 204 | 5 | 115 | 14 | 18 | 150k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
924.23/924.58 c 849s| 3520k| 31152 | 9003k| 24M| 37 | - | 115 | 180 | 10 | 115 | 14 | 18 | 150k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
926.73/927.06 c 851s| 3530k| 31190 | 9029k| 24M| 37 | - | 115 | 184 | 18 | 0 | 0 | 18 | 150k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
929.24/929.55 c 853s| 3540k| 31302 | 9054k| 24M| 37 | 5 | 115 | 199 | 9 | 115 | 14 | 18 | 150k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
931.63/931.98 c 856s| 3550k| 31242 | 9077k| 24M| 37 | 5 | 115 | 180 | 5 | 115 | 14 | 18 | 151k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
934.13/934.41 c 858s| 3560k| 31253 | 9101k| 24M| 37 | 5 | 115 | 173 | 15 | 115 | 14 | 18 | 151k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
936.53/936.87 c 860s| 3570k| 31472 | 9126k| 24M| 37 | 5 | 115 | 191 | 12 | 115 | 14 | 18 | 151k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
938.94/939.27 c 862s| 3580k| 31315 | 9150k| 24M| 37 | 5 | 115 | 189 | 8 | 115 | 14 | 18 | 152k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
941.33/941.68 c 864s| 3590k| 31221 | 9174k| 24M| 37 | - | 115 | 134 | 8 | 115 | 14 | 18 | 152k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
943.93/944.28 c 867s| 3600k| 32049 | 9200k| 24M| 37 | 5 | 115 | 193 | 10 | 115 | 14 | 18 | 152k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
946.43/946.79 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
946.43/946.79 c 869s| 3610k| 32457 | 9226k| 25M| 37 | - | 115 | 225 | 6 | 115 | 14 | 18 | 153k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
948.93/949.26 c 871s| 3620k| 32520 | 9250k| 25M| 37 | 5 | 115 | 267 | 7 | 115 | 14 | 18 | 153k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
951.53/951.80 c 874s| 3630k| 32798 | 9276k| 25M| 37 | 5 | 115 | 254 | 7 | 115 | 14 | 18 | 153k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
953.92/954.26 c 876s| 3640k| 33172 | 9301k| 25M| 37 | - | 115 | 198 | 7 | 115 | 14 | 18 | 154k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
956.42/956.71 c 878s| 3650k| 33318 | 9328k| 25M| 37 | 5 | 115 | 237 | 9 | 115 | 14 | 18 | 154k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
958.83/959.20 c 880s| 3660k| 33392 | 9354k| 26M| 37 | - | 115 | 239 | 6 | 115 | 14 | 18 | 154k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
961.32/961.69 c 883s| 3670k| 33320 | 9379k| 26M| 37 | - | 115 | 327 | 7 | 115 | 14 | 18 | 155k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
963.92/964.21 c 885s| 3680k| 33256 | 9404k| 26M| 37 | 5 | 115 | 288 | 7 | 115 | 14 | 18 | 155k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
966.32/966.65 c 887s| 3690k| 33274 | 9428k| 26M| 37 | - | 115 | 327 | 12 | 115 | 14 | 18 | 155k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
968.83/969.18 c 889s| 3700k| 33003 | 9453k| 25M| 37 | - | 115 | 261 | 6 | 115 | 14 | 18 | 156k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
971.32/971.68 c 892s| 3710k| 32831 | 9479k| 25M| 37 | 5 | 115 | 271 | 26 | 115 | 14 | 18 | 156k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
973.82/974.19 c 894s| 3720k| 33081 | 9504k| 26M| 37 | 5 | 115 | 339 | 6 | 115 | 14 | 18 | 156k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
976.22/976.60 c 896s| 3730k| 32862 | 9527k| 25M| 37 | 5 | 115 | 337 | 8 | 115 | 14 | 18 | 157k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
978.72/979.05 c 898s| 3740k| 32644 | 9550k| 25M| 37 | 5 | 115 | 342 | 7 | 115 | 14 | 18 | 157k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
981.22/981.51 c 901s| 3750k| 32664 | 9575k| 25M| 37 | - | 115 | 340 | 5 | 115 | 14 | 18 | 157k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
983.61/983.97 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
983.61/983.97 c 903s| 3760k| 32860 | 9599k| 26M| 37 | 5 | 115 | 368 | 9 | 115 | 14 | 18 | 158k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
986.11/986.41 c 905s| 3770k| 32747 | 9621k| 25M| 37 | - | 115 | 379 | 5 | 115 | 14 | 18 | 158k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
988.52/988.85 c 907s| 3780k| 32502 | 9645k| 25M| 37 | - | 115 | 340 | 6 | 115 | 14 | 18 | 158k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
991.01/991.33 c 910s| 3790k| 32581 | 9669k| 25M| 37 | 5 | 115 | 369 | 5 | 115 | 14 | 18 | 159k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
993.41/993.78 c 912s| 3800k| 32591 | 9694k| 25M| 37 | - | 115 | 337 | 8 | 115 | 14 | 18 | 159k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
995.81/996.20 c 914s| 3810k| 32430 | 9719k| 25M| 37 | - | 115 | 369 | 6 | 115 | 14 | 18 | 159k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
998.31/998.67 c 916s| 3820k| 32499 | 9745k| 25M| 37 | 5 | 115 | 401 | 22 | 115 | 14 | 18 | 159k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1000.81/1001.12 c 918s| 3830k| 32600 | 9771k| 25M| 37 | - | 115 | 379 | 14 | 115 | 14 | 18 | 160k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1003.21/1003.55 c 921s| 3840k| 32604 | 9795k| 25M| 37 | - | 115 | 370 | 6 | 115 | 14 | 18 | 160k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1005.61/1005.99 c 923s| 3850k| 32285 | 9820k| 25M| 37 | 5 | 115 | 371 | 15 | 115 | 14 | 18 | 160k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1008.11/1008.47 c 925s| 3860k| 32191 | 9844k| 25M| 37 | 5 | 115 | 413 | 8 | 115 | 14 | 18 | 161k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1010.61/1010.96 c 928s| 3870k| 32054 | 9868k| 25M| 37 | - | 115 | 429 | 7 | 115 | 14 | 18 | 161k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1013.21/1013.50 c 930s| 3880k| 32154 | 9892k| 25M| 37 | 5 | 115 | 397 | 6 | 115 | 14 | 18 | 161k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1015.61/1015.98 c 932s| 3890k| 32133 | 9917k| 25M| 37 | - | 115 | 470 | 5 | 115 | 14 | 18 | 162k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1018.11/1018.49 c 934s| 3900k| 32213 | 9942k| 25M| 37 | 5 | 115 | 490 | 10 | 115 | 14 | 18 | 162k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1020.60/1020.97 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1020.60/1020.97 c 937s| 3910k| 32504 | 9967k| 25M| 37 | 5 | 115 | 462 | 8 | 115 | 14 | 18 | 162k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1023.10/1023.40 c 939s| 3920k| 32223 | 9990k| 25M| 37 | 5 | 115 | 468 | 12 | 115 | 14 | 18 | 163k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1025.61/1025.92 c 941s| 3930k| 31875 | 10015k| 25M| 37 | 5 | 115 | 407 | 12 | 115 | 14 | 18 | 163k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1028.11/1028.46 c 944s| 3940k| 31946 | 10040k| 25M| 37 | 5 | 115 | 405 | 5 | 115 | 14 | 18 | 163k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1030.61/1030.96 c 946s| 3950k| 31909 | 10066k| 25M| 37 | - | 115 | 415 | 14 | 115 | 14 | 18 | 164k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1033.10/1033.40 c 948s| 3960k| 31969 | 10090k| 25M| 37 | 5 | 115 | 467 | 34 | 115 | 14 | 18 | 164k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1035.60/1035.90 c 950s| 3970k| 31879 | 10116k| 25M| 37 | - | 115 | 447 | 8 | 115 | 14 | 18 | 164k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1038.01/1038.39 c 953s| 3980k| 31927 | 10142k| 25M| 37 | 5 | 115 | 404 | 8 | 115 | 14 | 18 | 165k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1040.50/1040.86 c 955s| 3990k| 31875 | 10167k| 25M| 37 | 5 | 115 | 466 | 6 | 115 | 14 | 18 | 165k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1043.10/1043.40 c 957s| 4000k| 32013 | 10192k| 25M| 37 | - | 115 | 572 | 9 | 115 | 14 | 18 | 165k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1045.71/1046.04 c 960s| 4010k| 31904 | 10218k| 25M| 37 | 5 | 115 | 583 | 11 | 115 | 14 | 18 | 166k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1048.30/1048.60 c 962s| 4020k| 32119 | 10244k| 25M| 37 | - | 115 | 388 | 11 | 115 | 14 | 18 | 166k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1050.70/1051.04 c 964s| 4030k| 31937 | 10268k| 25M| 37 | 5 | 115 | 364 | 20 | 115 | 14 | 18 | 166k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1053.20/1053.52 c 966s| 4040k| 31686 | 10293k| 25M| 37 | 5 | 115 | 419 | 9 | 115 | 14 | 18 | 167k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1055.70/1056.04 c 969s| 4050k| 31684 | 10319k| 25M| 37 | - | 115 | 583 | 8 | 115 | 14 | 18 | 167k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1058.20/1058.59 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1058.20/1058.59 c 971s| 4060k| 31652 | 10343k| 25M| 37 | - | 115 | 493 | 7 | 115 | 14 | 18 | 168k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1060.80/1061.11 c 973s| 4070k| 31594 | 10368k| 25M| 37 | 5 | 115 | 351 | 5 | 115 | 14 | 18 | 168k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1063.30/1063.60 c 976s| 4080k| 31540 | 10394k| 25M| 37 | 5 | 115 | 380 | 8 | 115 | 14 | 18 | 168k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1065.79/1066.18 c 978s| 4090k| 31636 | 10419k| 25M| 37 | 5 | 115 | 414 | 7 | 115 | 14 | 18 | 169k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1068.39/1068.75 c 980s| 4100k| 31779 | 10445k| 25M| 37 | 5 | 115 | 424 | 5 | 115 | 14 | 18 | 169k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1070.89/1071.29 c 983s| 4110k| 31624 | 10470k| 25M| 37 | - | 115 | 466 | 24 | 115 | 14 | 18 | 170k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1073.48/1073.85 c 985s| 4120k| 31667 | 10496k| 25M| 37 | - | 115 | 447 | 7 | 115 | 14 | 18 | 170k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1075.98/1076.36 c 987s| 4130k| 31484 | 10521k| 25M| 37 | - | 115 | 456 | 7 | 115 | 14 | 18 | 171k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1078.49/1078.87 c 990s| 4140k| 31680 | 10547k| 25M| 37 | - | 115 | 441 | 6 | 115 | 14 | 18 | 171k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1080.99/1081.31 c 992s| 4150k| 31597 | 10571k| 25M| 37 | - | 115 | 438 | 10 | 0 | 0 | 18 | 172k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1083.38/1083.77 c 994s| 4160k| 31554 | 10596k| 25M| 37 | - | 115 | 424 | 6 | 115 | 14 | 18 | 172k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1085.89/1086.25 c 996s| 4170k| 31560 | 10621k| 25M| 37 | - | 115 | 425 | 5 | 115 | 14 | 18 | 172k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1088.39/1088.70 c 999s| 4180k| 31595 | 10646k| 25M| 37 | - | 115 | 361 | 5 | 115 | 14 | 18 | 173k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1091.68/1092.01 c 1002s| 4190k| 31504 | 10672k| 25M| 37 | 5 | 115 | 357 | 5 | 115 | 14 | 18 | 173k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1094.19/1094.53 c 1004s| 4200k| 31545 | 10698k| 25M| 37 | - | 115 | 344 | 5 | 115 | 14 | 18 | 173k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1096.58/1096.91 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1096.58/1096.91 c 1006s| 4210k| 31511 | 10722k| 25M| 37 | - | 115 | 360 | 10 | 115 | 14 | 18 | 174k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1098.97/1099.34 c 1008s| 4220k| 31405 | 10747k| 25M| 37 | - | 115 | 352 | 5 | 115 | 14 | 18 | 174k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1101.57/1101.91 c 1011s| 4230k| 31768 | 10772k| 25M| 37 | - | 115 | 402 | 9 | 115 | 14 | 18 | 175k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1104.08/1104.43 c 1013s| 4240k| 31606 | 10797k| 25M| 37 | - | 115 | 453 | 13 | 115 | 14 | 18 | 175k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1106.58/1106.97 c 1015s| 4250k| 31400 | 10822k| 25M| 37 | - | 115 | 472 | 14 | 0 | 0 | 18 | 175k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1109.18/1109.51 c 1018s| 4260k| 31562 | 10848k| 25M| 37 | - | 115 | 322 | 7 | 115 | 14 | 18 | 176k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1111.68/1112.02 c 1020s| 4270k| 31589 | 10874k| 25M| 37 | - | 115 | 322 | 9 | 115 | 14 | 18 | 176k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1114.27/1114.62 c 1022s| 4280k| 32222 | 10902k| 26M| 37 | 5 | 115 | 237 | 8 | 115 | 14 | 18 | 177k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1116.67/1117.09 c 1025s| 4290k| 32174 | 10928k| 26M| 37 | - | 115 | 226 | 5 | 115 | 14 | 18 | 177k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1119.18/1119.55 c 1027s| 4300k| 32111 | 10955k| 26M| 37 | - | 115 | 245 | 5 | 115 | 14 | 18 | 177k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1121.58/1121.98 c 1029s| 4310k| 32111 | 10981k| 26M| 37 | 5 | 115 | 279 | 5 | 115 | 14 | 18 | 177k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1124.08/1124.45 c 1031s| 4320k| 32124 | 11007k| 26M| 37 | - | 115 | 278 | 5 | 115 | 14 | 18 | 178k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1126.57/1126.91 c 1034s| 4330k| 32057 | 11033k| 26M| 37 | - | 115 | 292 | 13 | 0 | 0 | 18 | 178k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1129.07/1129.41 c 1036s| 4340k| 32024 | 11061k| 26M| 37 | - | 115 | 321 | 11 | 115 | 14 | 18 | 178k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1131.47/1131.90 c 1038s| 4350k| 31990 | 11087k| 26M| 37 | - | 115 | 356 | 5 | 0 | 0 | 18 | 179k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1133.96/1134.37 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1133.96/1134.37 c 1040s| 4360k| 31921 | 11114k| 26M| 37 | 5 | 115 | 312 | 12 | 115 | 14 | 18 | 179k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1136.47/1136.81 c 1042s| 4370k| 32004 | 11140k| 26M| 37 | - | 115 | 316 | 5 | 115 | 14 | 18 | 179k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1138.87/1139.27 c 1045s| 4380k| 32031 | 11167k| 26M| 37 | 5 | 115 | 268 | 6 | 115 | 14 | 18 | 180k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1141.37/1141.73 c 1047s| 4390k| 31969 | 11193k| 26M| 37 | - | 115 | 260 | 6 | 115 | 14 | 18 | 180k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1143.87/1144.22 c 1049s| 4400k| 31951 | 11219k| 26M| 37 | 5 | 115 | 280 | 13 | 115 | 14 | 18 | 180k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1146.37/1146.70 c 1051s| 4410k| 31909 | 11246k| 26M| 37 | 5 | 115 | 325 | 21 | 115 | 14 | 18 | 181k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1148.86/1149.23 c 1054s| 4420k| 31931 | 11272k| 26M| 37 | - | 115 | 257 | 21 | 115 | 14 | 18 | 181k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1151.27/1151.69 c 1056s| 4430k| 31933 | 11298k| 26M| 37 | - | 115 | 270 | 7 | 0 | 0 | 18 | 181k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1153.77/1154.19 c 1058s| 4440k| 32021 | 11325k| 26M| 37 | - | 115 | 317 | 14 | 115 | 14 | 18 | 182k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1156.26/1156.69 c 1061s| 4450k| 31984 | 11352k| 26M| 37 | - | 115 | 272 | 7 | 0 | 0 | 18 | 182k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1158.76/1159.13 c 1063s| 4460k| 32171 | 11377k| 26M| 37 | 5 | 115 | 270 | 6 | 115 | 14 | 18 | 182k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1161.17/1161.59 c 1065s| 4470k| 32226 | 11404k| 26M| 37 | 5 | 115 | 244 | 8 | 115 | 14 | 18 | 182k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1163.66/1164.07 c 1067s| 4480k| 32176 | 11430k| 26M| 37 | - | 115 | 231 | 5 | 115 | 14 | 18 | 183k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1166.16/1166.51 c 1069s| 4490k| 32053 | 11457k| 26M| 37 | - | 115 | 261 | 5 | 115 | 14 | 18 | 183k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1168.55/1168.96 c 1072s| 4500k| 32063 | 11481k| 26M| 37 | - | 115 | 291 | 5 | 0 | 0 | 18 | 183k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1171.07/1171.44 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1171.07/1171.44 c 1074s| 4510k| 32014 | 11507k| 26M| 37 | - | 115 | 228 | 5 | 115 | 14 | 18 | 183k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1173.45/1173.88 c 1076s| 4520k| 31786 | 11533k| 25M| 37 | - | 115 | 252 | 7 | 115 | 14 | 18 | 184k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1175.96/1176.32 c 1078s| 4530k| 31864 | 11558k| 26M| 37 | - | 115 | 269 | 10 | 115 | 14 | 18 | 184k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1178.36/1178.72 c 1081s| 4540k| 31879 | 11584k| 26M| 37 | - | 115 | 281 | 12 | 115 | 14 | 18 | 184k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1180.76/1181.15 c 1083s| 4550k| 31732 | 11610k| 25M| 37 | 5 | 115 | 281 | 9 | 115 | 14 | 18 | 185k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1183.25/1183.60 c 1085s| 4560k| 31868 | 11637k| 26M| 37 | 5 | 115 | 273 | 6 | 115 | 14 | 18 | 185k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1185.65/1186.01 c 1087s| 4570k| 31823 | 11662k| 26M| 37 | 5 | 115 | 303 | 6 | 115 | 14 | 18 | 185k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1188.06/1188.47 c 1090s| 4580k| 31781 | 11688k| 26M| 37 | 5 | 115 | 249 | 5 | 115 | 14 | 18 | 185k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1190.55/1190.96 c 1092s| 4590k| 31673 | 11715k| 25M| 37 | 5 | 115 | 247 | 6 | 115 | 14 | 18 | 186k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1193.05/1193.46 c 1094s| 4600k| 31951 | 11742k| 26M| 37 | 5 | 115 | 256 | 8 | 115 | 14 | 18 | 186k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1195.55/1195.94 c 1096s| 4610k| 31878 | 11768k| 26M| 37 | 5 | 115 | 339 | 7 | 115 | 14 | 18 | 186k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1197.95/1198.38 c 1099s| 4620k| 31870 | 11794k| 26M| 37 | 5 | 115 | 344 | 8 | 115 | 14 | 18 | 187k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1200.45/1200.88 c 1101s| 4630k| 31836 | 11821k| 26M| 37 | - | 115 | 363 | 6 | 115 | 14 | 18 | 187k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1202.95/1203.38 c 1103s| 4640k| 31799 | 11847k| 26M| 37 | - | 115 | 353 | 5 | 115 | 14 | 18 | 188k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1205.45/1205.88 c 1105s| 4650k| 31720 | 11874k| 26M| 37 | 5 | 115 | 345 | 8 | 115 | 14 | 18 | 188k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1207.95/1208.38 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1207.95/1208.38 c 1108s| 4660k| 31667 | 11901k| 25M| 37 | 5 | 115 | 326 | 6 | 115 | 14 | 18 | 188k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1210.44/1210.89 c 1110s| 4670k| 31549 | 11928k| 25M| 37 | - | 115 | 358 | 6 | 115 | 14 | 18 | 188k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1213.04/1213.45 c 1112s| 4680k| 32050 | 11956k| 26M| 37 | 5 | 115 | 324 | 8 | 115 | 14 | 18 | 189k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1215.55/1215.92 c 1115s| 4690k| 31886 | 11983k| 26M| 37 | - | 115 | 326 | 6 | 115 | 14 | 18 | 189k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1217.94/1218.34 c 1117s| 4700k| 31934 | 12009k| 26M| 37 | - | 115 | 335 | 8 | 115 | 14 | 18 | 189k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1220.34/1220.70 c 1119s| 4710k| 31757 | 12034k| 26M| 37 | - | 115 | 318 | 7 | 0 | 0 | 18 | 189k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1222.75/1223.14 c 1121s| 4720k| 31608 | 12061k| 26M| 37 | 5 | 115 | 357 | 6 | 115 | 14 | 18 | 190k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1225.24/1225.61 c 1123s| 4730k| 31603 | 12088k| 26M| 37 | - | 115 | 374 | 5 | 115 | 14 | 18 | 190k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1227.74/1228.12 c 1126s| 4740k| 31530 | 12115k| 25M| 37 | - | 115 | 310 | 5 | 0 | 0 | 18 | 190k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1230.24/1230.64 c 1128s| 4750k| 31411 | 12142k| 25M| 37 | 5 | 115 | 339 | 9 | 115 | 14 | 18 | 190k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1232.74/1233.19 c 1130s| 4760k| 31466 | 12169k| 25M| 37 | 5 | 115 | 351 | 5 | 115 | 14 | 18 | 191k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1235.33/1235.71 c 1133s| 4770k| 31642 | 12197k| 25M| 37 | 5 | 115 | 310 | 5 | 115 | 14 | 18 | 191k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1237.83/1238.20 c 1135s| 4780k| 31539 | 12224k| 25M| 37 | - | 115 | 311 | 5 | 115 | 14 | 18 | 192k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1240.34/1240.72 c 1137s| 4790k| 31638 | 12254k| 26M| 37 | - | 115 | 328 | 5 | 115 | 14 | 18 | 192k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1242.83/1243.24 c 1139s| 4800k| 31585 | 12282k| 26M| 37 | - | 115 | 335 | 6 | 115 | 14 | 18 | 192k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1245.34/1245.72 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1245.34/1245.72 c 1142s| 4810k| 31546 | 12309k| 26M| 37 | - | 115 | 357 | 7 | 115 | 14 | 18 | 192k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1247.83/1248.23 c 1144s| 4820k| 31529 | 12337k| 25M| 37 | 5 | 115 | 346 | 8 | 115 | 14 | 18 | 193k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1250.33/1250.76 c 1146s| 4830k| 31470 | 12364k| 25M| 37 | 5 | 115 | 331 | 17 | 115 | 14 | 18 | 193k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1252.93/1253.31 c 1149s| 4840k| 31384 | 12392k| 25M| 37 | 5 | 115 | 396 | 5 | 115 | 14 | 18 | 193k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1255.43/1255.86 c 1151s| 4850k| 31381 | 12419k| 25M| 37 | 5 | 115 | 408 | 9 | 115 | 14 | 18 | 194k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1257.93/1258.32 c 1153s| 4860k| 31310 | 12445k| 25M| 37 | - | 115 | 430 | 5 | 115 | 14 | 18 | 194k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1260.33/1260.79 c 1155s| 4870k| 31262 | 12471k| 25M| 37 | 5 | 115 | 423 | 5 | 115 | 14 | 18 | 194k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1262.93/1263.32 c 1158s| 4880k| 31206 | 12497k| 25M| 37 | 5 | 115 | 423 | 6 | 115 | 14 | 18 | 195k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1265.53/1265.93 c 1160s| 4890k| 31446 | 12523k| 25M| 37 | 5 | 115 | 400 | 7 | 115 | 14 | 18 | 195k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1268.03/1268.45 c 1162s| 4900k| 31415 | 12548k| 25M| 37 | - | 115 | 388 | 20 | 0 | 0 | 18 | 196k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1270.52/1270.97 c 1165s| 4910k| 31552 | 12574k| 26M| 37 | 5 | 115 | 356 | 35 | 115 | 14 | 18 | 196k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1273.03/1273.48 c 1167s| 4920k| 31510 | 12599k| 26M| 37 | 5 | 115 | 322 | 8 | 115 | 14 | 18 | 196k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1275.53/1275.92 c 1169s| 4930k| 31338 | 12624k| 25M| 37 | 5 | 115 | 346 | 9 | 115 | 14 | 18 | 197k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1278.02/1278.42 c 1171s| 4940k| 31620 | 12650k| 26M| 37 | - | 115 | 379 | 7 | 115 | 14 | 18 | 197k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1280.52/1280.92 c 1174s| 4950k| 31657 | 12675k| 26M| 37 | 5 | 115 | 334 | 8 | 115 | 14 | 18 | 197k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1283.02/1283.40 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1283.02/1283.40 c 1176s| 4960k| 31430 | 12701k| 26M| 37 | 5 | 115 | 333 | 11 | 115 | 14 | 18 | 198k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1285.42/1285.87 c 1178s| 4970k| 31232 | 12726k| 25M| 37 | - | 115 | 335 | 10 | 115 | 14 | 18 | 198k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1288.02/1288.40 c 1181s| 4980k| 31439 | 12753k| 26M| 37 | - | 115 | 336 | 5 | 115 | 14 | 18 | 198k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1290.42/1290.85 c 1183s| 4990k| 31210 | 12778k| 25M| 37 | 5 | 115 | 360 | 7 | 115 | 14 | 18 | 199k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1292.93/1293.37 c 1185s| 5000k| 31191 | 12804k| 25M| 37 | - | 115 | 351 | 5 | 115 | 14 | 18 | 199k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1295.42/1295.88 c 1187s| 5010k| 31077 | 12830k| 25M| 37 | 5 | 115 | 332 | 5 | 115 | 14 | 18 | 199k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1297.92/1298.32 c 1190s| 5020k| 31175 | 12855k| 25M| 37 | - | 115 | 293 | 5 | 115 | 14 | 18 | 200k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1300.32/1300.74 c 1192s| 5030k| 31066 | 12881k| 25M| 37 | 5 | 115 | 302 | 17 | 115 | 14 | 18 | 200k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1302.72/1303.19 c 1194s| 5040k| 31122 | 12907k| 25M| 37 | 5 | 115 | 324 | 6 | 115 | 14 | 18 | 200k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1305.22/1305.66 c 1196s| 5050k| 30921 | 12933k| 25M| 37 | - | 115 | 298 | 6 | 115 | 14 | 18 | 200k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1307.72/1308.17 c 1199s| 5060k| 31131 | 12959k| 25M| 37 | 5 | 115 | 392 | 6 | 115 | 14 | 18 | 201k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1310.22/1310.65 c 1201s| 5070k| 30873 | 12984k| 25M| 37 | - | 115 | 413 | 8 | 115 | 14 | 18 | 201k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1312.72/1313.12 c 1203s| 5080k| 30922 | 13010k| 25M| 37 | 5 | 115 | 423 | 5 | 115 | 14 | 18 | 202k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1315.12/1315.59 c 1205s| 5090k| 30823 | 13036k| 25M| 37 | 5 | 115 | 405 | 8 | 115 | 14 | 18 | 202k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1317.61/1318.08 c 1208s| 5100k| 30897 | 13063k| 25M| 37 | - | 115 | 391 | 5 | 115 | 14 | 18 | 202k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1320.01/1320.49 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1320.01/1320.49 c 1210s| 5110k| 30764 | 13089k| 25M| 37 | - | 115 | 349 | 5 | 115 | 14 | 18 | 202k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1322.41/1322.88 c 1212s| 5120k| 30715 | 13116k| 25M| 37 | 5 | 115 | 424 | 5 | 115 | 14 | 18 | 203k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1324.91/1325.36 c 1214s| 5130k| 30683 | 13142k| 25M| 37 | - | 115 | 432 | 6 | 115 | 14 | 18 | 203k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1327.41/1327.83 c 1217s| 5140k| 30594 | 13168k| 25M| 37 | 5 | 115 | 345 | 5 | 115 | 14 | 18 | 203k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1329.81/1330.29 c 1219s| 5150k| 30531 | 13194k| 25M| 37 | - | 115 | 369 | 5 | 115 | 14 | 18 | 204k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1332.41/1332.84 c 1221s| 5160k| 30394 | 13221k| 25M| 37 | - | 115 | 353 | 5 | 115 | 14 | 18 | 204k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1334.91/1335.31 c 1223s| 5170k| 30262 | 13247k| 25M| 37 | - | 115 | 316 | 5 | 115 | 14 | 18 | 204k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1337.30/1337.77 c 1226s| 5180k| 30113 | 13273k| 24M| 37 | 5 | 115 | 307 | 5 | 115 | 14 | 18 | 204k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1339.80/1340.27 c 1228s| 5190k| 30385 | 13299k| 25M| 37 | 5 | 115 | 326 | 5 | 115 | 14 | 18 | 205k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1342.21/1342.68 c 1230s| 5200k| 30637 | 13324k| 25M| 37 | 5 | 115 | 334 | 12 | 115 | 14 | 18 | 205k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1344.70/1345.18 c 1232s| 5210k| 30571 | 13349k| 25M| 37 | 5 | 115 | 257 | 5 | 115 | 14 | 18 | 205k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1347.21/1347.62 c 1235s| 5220k| 30333 | 13375k| 25M| 37 | - | 115 | 227 | 7 | 115 | 14 | 18 | 206k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1349.70/1350.11 c 1237s| 5230k| 30347 | 13402k| 25M| 37 | 5 | 115 | 234 | 38 | 115 | 14 | 18 | 206k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1352.10/1352.58 c 1239s| 5240k| 30152 | 13428k| 25M| 37 | - | 115 | 234 | 7 | 115 | 14 | 18 | 206k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1354.60/1355.07 c 1242s| 5250k| 30018 | 13455k| 24M| 37 | - | 115 | 245 | 13 | 115 | 14 | 18 | 207k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1357.10/1357.51 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1357.10/1357.51 c 1244s| 5260k| 30290 | 13481k| 25M| 37 | - | 115 | 226 | 9 | 115 | 14 | 18 | 207k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1359.50/1359.95 c 1246s| 5270k| 30047 | 13507k| 24M| 37 | 5 | 115 | 218 | 6 | 115 | 14 | 18 | 207k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1362.10/1362.56 c 1248s| 5280k| 30868 | 13534k| 25M| 37 | - | 115 | 286 | 7 | 115 | 14 | 18 | 208k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1364.70/1365.12 c 1251s| 5290k| 31690 | 13561k| 25M| 37 | 5 | 115 | 324 | 10 | 115 | 14 | 18 | 208k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1367.20/1367.60 c 1253s| 5300k| 31669 | 13586k| 26M| 37 | 5 | 115 | 251 | 6 | 115 | 14 | 18 | 208k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1369.59/1370.06 c 1255s| 5310k| 31745 | 13611k| 26M| 37 | - | 115 | 230 | 7 | 115 | 14 | 18 | 208k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1372.09/1372.54 c 1257s| 5320k| 31760 | 13637k| 26M| 37 | - | 115 | 231 | 5 | 115 | 14 | 18 | 209k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1374.50/1374.98 c 1260s| 5330k| 31838 | 13663k| 26M| 37 | - | 115 | 248 | 7 | 115 | 14 | 18 | 209k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1376.89/1377.37 c 1262s| 5340k| 31623 | 13688k| 26M| 37 | 5 | 115 | 248 | 7 | 115 | 14 | 18 | 209k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1379.40/1379.80 c 1264s| 5350k| 31731 | 13713k| 26M| 37 | - | 115 | 256 | 5 | 115 | 14 | 18 | 209k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1381.80/1382.29 c 1266s| 5360k| 31975 | 13738k| 26M| 37 | - | 115 | 232 | 7 | 115 | 14 | 18 | 210k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1384.29/1384.78 c 1269s| 5370k| 32097 | 13763k| 26M| 37 | 5 | 115 | 227 | 17 | 115 | 14 | 18 | 210k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1386.79/1387.23 c 1271s| 5380k| 31983 | 13788k| 26M| 37 | - | 115 | 229 | 6 | 115 | 14 | 18 | 210k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1389.19/1389.62 c 1273s| 5390k| 31844 | 13813k| 26M| 37 | - | 115 | 221 | 7 | 115 | 14 | 18 | 211k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1391.59/1392.09 c 1275s| 5400k| 32103 | 13838k| 26M| 37 | - | 115 | 228 | 5 | 115 | 14 | 18 | 211k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1394.09/1394.56 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1394.09/1394.56 c 1278s| 5410k| 32231 | 13862k| 27M| 37 | - | 115 | 267 | 6 | 115 | 14 | 18 | 211k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1396.60/1397.04 c 1280s| 5420k| 32281 | 13887k| 27M| 37 | - | 115 | 251 | 33 | 0 | 0 | 18 | 212k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1399.09/1399.53 c 1282s| 5430k| 32314 | 13914k| 27M| 37 | - | 115 | 218 | 5 | 115 | 14 | 18 | 212k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1401.49/1401.98 c 1284s| 5440k| 32216 | 13939k| 27M| 37 | - | 115 | 199 | 6 | 115 | 14 | 18 | 212k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1403.99/1404.47 c 1287s| 5450k| 32386 | 13966k| 27M| 37 | - | 115 | 187 | 6 | 115 | 14 | 18 | 212k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1406.50/1406.95 c 1289s| 5460k| 32524 | 13992k| 27M| 37 | 5 | 115 | 185 | 5 | 115 | 14 | 18 | 213k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1408.99/1409.43 c 1291s| 5470k| 32444 | 14017k| 27M| 37 | 5 | 115 | 157 | 7 | 115 | 14 | 18 | 213k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1411.39/1411.88 c 1293s| 5480k| 32356 | 14043k| 27M| 37 | - | 115 | 188 | 5 | 115 | 14 | 18 | 213k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1413.98/1414.47 c 1296s| 5490k| 32996 | 14071k| 27M| 37 | 5 | 115 | 145 | 16 | 115 | 14 | 18 | 213k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1416.48/1416.99 c 1298s| 5500k| 33225 | 14097k| 27M| 37 | - | 115 | 161 | 15 | 115 | 14 | 18 | 214k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1419.18/1419.60 c 1300s| 5510k| 33776 | 14125k| 28M| 37 | 5 | 115 | 163 | 7 | 115 | 14 | 18 | 214k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1421.98/1422.48 c 1303s| 5520k| 36110 | 14156k| 29M| 37 | - | 115 | 230 | 6 | 115 | 14 | 18 | 214k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1424.97/1425.47 c 1306s| 5530k| 38428 | 14189k| 30M| 37 | 5 | 115 | 285 | 18 | 115 | 14 | 18 | 215k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1427.78/1428.24 c 1308s| 5540k| 40304 | 14218k| 31M| 37 | - | 115 | 288 | 29 | 115 | 14 | 18 | 215k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1430.47/1430.98 c 1311s| 5550k| 42027 | 14246k| 32M| 37 | 5 | 115 | 275 | 18 | 115 | 14 | 18 | 215k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1433.17/1433.68 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1433.17/1433.68 c 1313s| 5560k| 43420 | 14275k| 33M| 37 | - | 115 | 333 | 5 | 115 | 14 | 18 | 216k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1435.87/1436.32 c 1316s| 5570k| 44493 | 14303k| 33M| 37 | 5 | 115 | 319 | 7 | 115 | 14 | 18 | 216k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1438.58/1439.01 c 1318s| 5580k| 45789 | 14330k| 34M| 37 | 5 | 115 | 387 | 11 | 115 | 14 | 18 | 217k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1441.17/1441.61 c 1321s| 5590k| 46563 | 14357k| 35M| 37 | 5 | 115 | 335 | 8 | 115 | 14 | 18 | 217k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1443.78/1444.26 c 1323s| 5600k| 47390 | 14385k| 35M| 37 | - | 115 | 346 | 6 | 115 | 14 | 18 | 217k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1446.37/1446.88 c 1325s| 5610k| 48252 | 14411k| 36M| 37 | - | 115 | 342 | 8 | 115 | 14 | 18 | 218k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1449.07/1449.53 c 1328s| 5620k| 48959 | 14437k| 36M| 37 | 5 | 115 | 400 | 5 | 115 | 14 | 18 | 218k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1451.67/1452.19 c 1330s| 5630k| 49670 | 14464k| 37M| 37 | - | 115 | 414 | 11 | 115 | 14 | 18 | 218k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1454.27/1454.79 c 1333s| 5640k| 50180 | 14490k| 37M| 37 | 5 | 115 | 381 | 7 | 115 | 14 | 18 | 219k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1456.87/1457.38 c 1335s| 5650k| 50911 | 14517k| 38M| 37 | - | 115 | 411 | 6 | 115 | 14 | 18 | 219k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1459.56/1460.03 c 1338s| 5660k| 51647 | 14544k| 38M| 37 | - | 115 | 404 | 11 | 115 | 14 | 18 | 220k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1462.17/1462.65 c 1340s| 5670k| 52382 | 14570k| 39M| 37 | 5 | 115 | 411 | 26 | 115 | 14 | 18 | 220k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1464.96/1465.41 c 1342s| 5680k| 53929 | 14598k| 40M| 37 | - | 115 | 390 | 6 | 115 | 14 | 18 | 220k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1467.56/1468.09 c 1345s| 5690k| 55223 | 14627k| 40M| 37 | - | 115 | 396 | 5 | 115 | 14 | 18 | 221k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1470.16/1470.67 c 1347s| 5700k| 55900 | 14654k| 41M| 37 | - | 115 | 417 | 7 | 115 | 14 | 18 | 221k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1472.87/1473.37 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1472.87/1473.37 c 1350s| 5710k| 57172 | 14682k| 42M| 37 | 5 | 115 | 448 | 24 | 115 | 14 | 18 | 221k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1475.46/1475.91 c 1352s| 5720k| 57913 | 14709k| 42M| 37 | 5 | 115 | 442 | 5 | 115 | 14 | 18 | 222k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1477.96/1478.48 c 1354s| 5730k| 58095 | 14736k| 42M| 37 | 5 | 115 | 415 | 10 | 115 | 14 | 18 | 222k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1480.56/1481.02 c 1357s| 5740k| 58410 | 14760k| 43M| 37 | 5 | 115 | 445 | 11 | 115 | 14 | 18 | 222k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1483.06/1483.58 c 1359s| 5750k| 58856 | 14786k| 43M| 37 | - | 115 | 486 | 12 | 115 | 14 | 18 | 223k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1485.76/1486.21 c 1361s| 5760k| 59345 | 14811k| 43M| 37 | 5 | 115 | 509 | 10 | 115 | 14 | 18 | 223k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1488.25/1488.77 c 1364s| 5770k| 59679 | 14836k| 44M| 37 | 5 | 115 | 503 | 7 | 115 | 14 | 18 | 223k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1490.86/1491.37 c 1366s| 5780k| 60337 | 14861k| 44M| 37 | - | 115 | 571 | 9 | 115 | 14 | 18 | 224k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1493.46/1493.99 c 1369s| 5790k| 60594 | 14886k| 44M| 37 | 5 | 115 | 580 | 8 | 115 | 14 | 18 | 224k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1496.06/1496.56 c 1371s| 5800k| 60932 | 14912k| 45M| 37 | - | 115 | 587 | 11 | 115 | 14 | 18 | 224k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1498.65/1499.13 c 1373s| 5810k| 61143 | 14938k| 45M| 37 | - | 115 | 521 | 5 | 115 | 14 | 18 | 225k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1501.25/1501.76 c 1376s| 5820k| 61815 | 14964k| 45M| 37 | 5 | 115 | 585 | 12 | 115 | 14 | 18 | 225k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1503.95/1504.43 c 1378s| 5830k| 63022 | 14991k| 46M| 37 | - | 115 | 596 | 6 | 115 | 14 | 18 | 226k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1506.56/1507.04 c 1380s| 5840k| 63648 | 15017k| 47M| 37 | 5 | 115 | 546 | 6 | 115 | 14 | 18 | 226k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1509.15/1509.64 c 1383s| 5850k| 63858 | 15042k| 47M| 37 | - | 115 | 538 | 5 | 115 | 14 | 18 | 226k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1511.75/1512.24 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1511.75/1512.24 c 1385s| 5860k| 63724 | 15067k| 47M| 37 | 5 | 115 | 503 | 9 | 115 | 14 | 18 | 227k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1514.45/1514.90 c 1388s| 5870k| 64740 | 15093k| 48M| 37 | 5 | 115 | 553 | 6 | 115 | 14 | 18 | 227k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1516.95/1517.48 c 1390s| 5880k| 65405 | 15119k| 48M| 37 | - | 115 | 531 | 17 | 115 | 14 | 18 | 227k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1519.55/1520.08 c 1392s| 5890k| 66358 | 15146k| 49M| 37 | - | 115 | 560 | 5 | 115 | 14 | 18 | 228k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1522.15/1522.66 c 1395s| 5900k| 66633 | 15170k| 49M| 37 | 5 | 115 | 549 | 5 | 115 | 14 | 18 | 228k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1524.75/1525.22 c 1397s| 5910k| 66888 | 15195k| 49M| 37 | 5 | 115 | 556 | 7 | 115 | 14 | 18 | 229k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1527.35/1527.80 c 1399s| 5920k| 66928 | 15220k| 49M| 37 | - | 115 | 565 | 8 | 115 | 14 | 18 | 229k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1529.85/1530.37 c 1402s| 5930k| 66987 | 15244k| 49M| 37 | - | 115 | 578 | 5 | 115 | 14 | 18 | 229k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1532.45/1532.97 c 1404s| 5940k| 67225 | 15268k| 50M| 37 | - | 115 | 601 | 6 | 0 | 0 | 18 | 230k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1535.05/1535.58 c 1407s| 5950k| 67356 | 15293k| 50M| 37 | - | 115 | 646 | 6 | 115 | 14 | 18 | 230k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1537.65/1538.17 c 1409s| 5960k| 67423 | 15316k| 50M| 37 | - | 115 | 658 | 5 | 115 | 14 | 18 | 231k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1540.24/1540.76 c 1411s| 5970k| 67532 | 15341k| 50M| 37 | 5 | 115 | 659 | 8 | 115 | 14 | 18 | 231k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1542.84/1543.40 c 1414s| 5980k| 67647 | 15366k| 50M| 37 | 5 | 115 | 666 | 11 | 115 | 14 | 18 | 231k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1545.54/1546.06 c 1416s| 5990k| 67805 | 15390k| 51M| 37 | 5 | 115 | 705 | 5 | 115 | 14 | 18 | 232k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1548.15/1548.64 c 1419s| 6000k| 68157 | 15415k| 51M| 37 | - | 115 | 692 | 9 | 115 | 14 | 18 | 232k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1550.84/1551.31 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1550.84/1551.31 c 1421s| 6010k| 68127 | 15439k| 51M| 37 | 5 | 115 | 694 | 5 | 115 | 14 | 18 | 233k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1553.44/1553.96 c 1423s| 6020k| 68303 | 15464k| 51M| 37 | - | 115 | 717 | 10 | 115 | 14 | 18 | 233k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1556.04/1556.58 c 1426s| 6030k| 68147 | 15488k| 51M| 37 | 5 | 115 | 718 | 15 | 115 | 14 | 18 | 234k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1558.74/1559.21 c 1428s| 6040k| 68266 | 15512k| 51M| 37 | - | 115 | 719 | 11 | 0 | 0 | 18 | 234k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1561.34/1561.87 c 1431s| 6050k| 68880 | 15538k| 52M| 37 | 5 | 115 | 744 | 8 | 115 | 14 | 18 | 234k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1564.04/1564.50 c 1433s| 6060k| 69178 | 15562k| 52M| 37 | 5 | 115 | 804 | 7 | 115 | 14 | 18 | 235k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1566.64/1567.14 c 1436s| 6070k| 68921 | 15586k| 52M| 37 | - | 115 | 754 | 5 | 115 | 14 | 18 | 235k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1569.24/1569.76 c 1438s| 6080k| 69069 | 15611k| 52M| 37 | 5 | 115 | 805 | 5 | 115 | 14 | 18 | 236k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1571.94/1572.48 c 1440s| 6090k| 69545 | 15635k| 53M| 37 | 5 | 115 | 834 | 7 | 115 | 14 | 18 | 236k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1574.63/1575.10 c 1443s| 6100k| 69796 | 15659k| 53M| 37 | - | 115 | 817 | 16 | 115 | 14 | 18 | 237k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1577.24/1577.70 c 1445s| 6110k| 69949 | 15683k| 53M| 37 | - | 115 | 841 | 18 | 115 | 14 | 18 | 237k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1579.73/1580.26 c 1448s| 6120k| 69953 | 15706k| 53M| 37 | - | 115 | 807 | 5 | 115 | 14 | 18 | 238k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1582.34/1582.87 c 1450s| 6130k| 70026 | 15730k| 53M| 37 | 5 | 115 | 786 | 6 | 115 | 14 | 18 | 238k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1585.03/1585.58 c 1452s| 6140k| 70107 | 15755k| 53M| 37 | 5 | 115 | 808 | 11 | 115 | 14 | 18 | 239k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1587.63/1588.19 c 1455s| 6150k| 69954 | 15779k| 53M| 37 | - | 115 | 817 | 5 | 115 | 14 | 18 | 239k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1590.33/1590.80 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1590.33/1590.80 c 1457s| 6160k| 69964 | 15803k| 53M| 37 | 5 | 115 | 837 | 26 | 115 | 14 | 18 | 239k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1592.93/1593.48 c 1460s| 6170k| 70467 | 15828k| 54M| 37 | 5 | 115 | 855 | 19 | 115 | 14 | 18 | 240k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1595.53/1596.09 c 1462s| 6180k| 70539 | 15851k| 54M| 37 | - | 115 | 862 | 6 | 0 | 0 | 18 | 240k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1598.23/1598.71 c 1465s| 6190k| 70529 | 15875k| 54M| 37 | - | 115 | 840 | 5 | 115 | 14 | 18 | 241k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1600.82/1601.31 c 1467s| 6200k| 70480 | 15899k| 54M| 37 | 5 | 115 | 888 | 10 | 115 | 14 | 18 | 241k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1603.43/1603.94 c 1469s| 6210k| 70378 | 15923k| 54M| 37 | 5 | 115 | 866 | 7 | 115 | 14 | 18 | 242k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1606.12/1606.61 c 1472s| 6220k| 70244 | 15947k| 54M| 37 | 5 | 115 | 889 | 18 | 115 | 14 | 18 | 242k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1608.83/1609.32 c 1474s| 6230k| 70615 | 15971k| 54M| 37 | - | 115 | 913 | 5 | 115 | 14 | 18 | 243k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1611.43/1611.94 c 1477s| 6240k| 70878 | 15996k| 55M| 37 | - | 115 | 880 | 5 | 115 | 14 | 18 | 243k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1613.93/1614.49 c 1479s| 6250k| 70618 | 16021k| 54M| 37 | - | 115 | 894 | 13 | 0 | 0 | 18 | 243k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1616.52/1617.05 c 1481s| 6260k| 70675 | 16045k| 55M| 37 | 5 | 115 | 932 | 7 | 115 | 14 | 18 | 244k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1619.23/1619.72 c 1484s| 6270k| 70415 | 16069k| 55M| 37 | - | 115 | 981 | 8 | 115 | 14 | 18 | 244k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1621.92/1622.48 c 1486s| 6280k| 71173 | 16095k| 55M| 37 | 5 | 115 | 969 | 12 | 115 | 14 | 18 | 245k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1624.73/1625.20 c 1489s| 6290k| 70711 | 16118k| 55M| 37 | 5 | 115 | 938 | 5 | 115 | 14 | 18 | 245k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1627.42/1627.92 c 1491s| 6300k| 70507 | 16142k| 55M| 37 | 5 | 115 | 916 | 6 | 115 | 14 | 18 | 246k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1630.02/1630.55 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1630.02/1630.55 c 1494s| 6310k| 70558 | 16166k| 55M| 37 | - | 115 | 958 | 5 | 115 | 14 | 18 | 246k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1632.62/1633.18 c 1496s| 6320k| 70415 | 16190k| 55M| 37 | - | 115 | 950 | 5 | 115 | 14 | 18 | 247k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1635.42/1635.91 c 1499s| 6330k| 70489 | 16214k| 55M| 37 | 5 | 115 |1005 | 11 | 115 | 14 | 18 | 247k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1637.92/1638.48 c 1501s| 6340k| 70902 | 16239k| 55M| 37 | 5 | 115 | 992 | 6 | 115 | 14 | 18 | 248k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1640.42/1640.99 c 1503s| 6350k| 71077 | 16264k| 55M| 37 | - | 115 | 985 | 6 | 115 | 14 | 18 | 248k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1643.01/1643.51 c 1506s| 6360k| 70807 | 16287k| 55M| 37 | - | 115 | 955 | 5 | 115 | 14 | 18 | 249k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1645.52/1646.08 c 1508s| 6370k| 70863 | 16313k| 55M| 37 | 5 | 115 |1007 | 15 | 115 | 14 | 18 | 249k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1648.12/1648.68 c 1510s| 6380k| 70938 | 16338k| 56M| 37 | 5 | 115 | 990 | 17 | 115 | 14 | 18 | 249k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1650.71/1651.22 c 1513s| 6390k| 70924 | 16362k| 56M| 37 | 5 | 115 |1036 | 6 | 115 | 14 | 18 | 250k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1653.31/1653.87 c 1515s| 6400k| 70844 | 16385k| 56M| 37 | - | 115 | 984 | 10 | 0 | 0 | 18 | 250k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1656.02/1656.55 c 1518s| 6410k| 70934 | 16409k| 56M| 37 | - | 115 |1017 | 11 | 115 | 14 | 18 | 251k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1658.51/1659.09 c 1520s| 6420k| 70778 | 16431k| 56M| 37 | 5 | 115 |1018 | 5 | 115 | 14 | 18 | 251k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1661.22/1661.71 c 1522s| 6430k| 71247 | 16456k| 56M| 37 | 5 | 115 |1111 | 10 | 115 | 14 | 18 | 252k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1663.81/1664.32 c 1525s| 6440k| 71018 | 16479k| 56M| 37 | - | 115 |1049 | 7 | 115 | 14 | 18 | 252k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1666.41/1666.91 c 1527s| 6450k| 71071 | 16502k| 56M| 37 | - | 115 |1065 | 15 | 115 | 14 | 18 | 253k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1669.11/1669.67 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1669.11/1669.67 c 1530s| 6460k| 71023 | 16526k| 56M| 37 | - | 115 |1057 | 11 | 115 | 14 | 18 | 254k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1671.81/1672.31 c 1532s| 6470k| 70844 | 16550k| 56M| 37 | 5 | 115 |1066 | 9 | 115 | 14 | 18 | 254k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1674.41/1674.99 c 1535s| 6480k| 70687 | 16574k| 56M| 37 | 5 | 115 |1034 | 6 | 115 | 14 | 18 | 255k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1677.11/1677.60 c 1537s| 6490k| 70706 | 16598k| 56M| 37 | - | 115 |1095 | 5 | 115 | 14 | 18 | 255k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1679.71/1680.23 c 1539s| 6500k| 70547 | 16622k| 56M| 37 | 5 | 115 |1085 | 19 | 115 | 14 | 18 | 256k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1682.41/1682.93 c 1542s| 6510k| 70349 | 16646k| 56M| 37 | - | 115 |1098 | 5 | 115 | 14 | 18 | 256k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1685.01/1685.55 c 1544s| 6520k| 70463 | 16669k| 56M| 37 | 5 | 115 |1114 | 5 | 115 | 14 | 18 | 256k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1687.70/1688.24 c 1547s| 6530k| 70324 | 16694k| 56M| 37 | 5 | 115 |1070 | 15 | 115 | 14 | 18 | 257k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1690.41/1690.97 c 1549s| 6540k| 70755 | 16719k| 56M| 37 | 5 | 115 |1092 | 5 | 115 | 14 | 18 | 257k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1693.01/1693.51 c 1552s| 6550k| 70565 | 16743k| 56M| 37 | - | 115 |1126 | 8 | 0 | 0 | 18 | 258k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1695.60/1696.16 c 1554s| 6560k| 70149 | 16766k| 56M| 37 | 5 | 115 |1071 | 5 | 115 | 14 | 18 | 258k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1698.30/1698.82 c 1556s| 6570k| 70158 | 16790k| 56M| 37 | - | 115 |1165 | 5 | 115 | 14 | 18 | 259k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1700.90/1701.40 c 1559s| 6580k| 70060 | 16814k| 56M| 37 | - | 115 |1162 | 6 | 0 | 0 | 18 | 259k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1703.50/1704.04 c 1561s| 6590k| 70080 | 16838k| 56M| 37 | 5 | 115 |1138 | 5 | 115 | 14 | 18 | 260k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1706.10/1706.65 c 1564s| 6600k| 69831 | 16862k| 56M| 37 | - | 115 |1099 | 5 | 115 | 14 | 18 | 260k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1708.80/1709.38 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1708.80/1709.38 c 1566s| 6610k| 69672 | 16887k| 56M| 37 | 5 | 115 |1122 | 15 | 115 | 14 | 18 | 260k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1711.50/1712.03 c 1569s| 6620k| 69666 | 16913k| 56M| 37 | - | 115 |1129 | 6 | 0 | 0 | 18 | 261k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1714.20/1714.74 c 1571s| 6630k| 69402 | 16936k| 56M| 37 | 5 | 115 |1108 | 9 | 115 | 14 | 18 | 261k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1716.79/1717.38 c 1573s| 6640k| 69168 | 16961k| 56M| 37 | - | 115 |1083 | 470 | 0 | 0 | 18 | 262k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1719.50/1720.05 c 1576s| 6650k| 69100 | 16985k| 56M| 37 | - | 115 |1155 | 5 | 115 | 14 | 18 | 262k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1722.10/1722.61 c 1578s| 6660k| 69222 | 17009k| 56M| 37 | - | 115 |1162 | 10 | 0 | 0 | 18 | 262k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1724.69/1725.26 c 1581s| 6670k| 68980 | 17033k| 56M| 37 | - | 115 |1166 | 5 | 115 | 14 | 18 | 263k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1727.40/1727.94 c 1583s| 6680k| 68874 | 17057k| 56M| 37 | - | 115 |1157 | 6 | 115 | 14 | 18 | 263k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1730.09/1730.61 c 1586s| 6690k| 68652 | 17081k| 56M| 37 | 5 | 115 |1170 | 8 | 115 | 14 | 18 | 264k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1732.80/1733.30 c 1588s| 6700k| 68609 | 17105k| 56M| 37 | - | 115 |1178 | 5 | 115 | 14 | 18 | 264k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1735.30/1735.89 c 1590s| 6710k| 68675 | 17128k| 56M| 37 | 5 | 115 |1212 | 6 | 115 | 14 | 18 | 265k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1737.89/1738.41 c 1593s| 6720k| 68821 | 17152k| 56M| 37 | - | 115 |1258 | 7 | 115 | 14 | 18 | 265k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1740.49/1741.04 c 1595s| 6730k| 68592 | 17176k| 56M| 37 | - | 115 |1188 | 16 | 115 | 14 | 18 | 266k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1743.19/1743.76 c 1598s| 6740k| 68332 | 17200k| 56M| 37 | 5 | 115 |1163 | 8 | 115 | 14 | 18 | 266k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1745.89/1746.42 c 1600s| 6750k| 68688 | 17224k| 56M| 37 | - | 115 |1329 | 9 | 115 | 14 | 18 | 267k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1748.49/1749.09 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1748.49/1749.09 c 1603s| 6760k| 68305 | 17247k| 56M| 37 | 5 | 115 |1226 | 7 | 115 | 14 | 18 | 268k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1751.18/1751.73 c 1605s| 6770k| 68422 | 17270k| 56M| 37 | 5 | 115 |1214 | 10 | 115 | 14 | 18 | 268k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1753.68/1754.26 c 1607s| 6780k| 68292 | 17293k| 56M| 37 | - | 115 |1256 | 6 | 115 | 14 | 18 | 269k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1756.19/1756.80 c 1610s| 6790k| 68352 | 17317k| 56M| 37 | - | 115 |1296 | 7 | 115 | 14 | 18 | 269k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1758.98/1759.52 c 1612s| 6800k| 68611 | 17343k| 56M| 37 | 5 | 115 |1283 | 7 | 115 | 14 | 18 | 269k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1761.48/1762.02 c 1615s| 6810k| 68815 | 17368k| 56M| 37 | 5 | 115 |1291 | 17 | 115 | 14 | 18 | 270k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1763.98/1764.51 c 1617s| 6820k| 68595 | 17392k| 56M| 37 | 5 | 115 |1324 | 9 | 115 | 14 | 18 | 270k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1766.48/1767.03 c 1619s| 6830k| 68464 | 17416k| 56M| 37 | - | 115 |1310 | 9 | 115 | 14 | 18 | 271k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1768.98/1769.54 c 1621s| 6840k| 68361 | 17440k| 56M| 37 | 5 | 115 |1322 | 9 | 115 | 14 | 18 | 271k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1771.78/1772.33 c 1624s| 6850k| 68125 | 17464k| 56M| 37 | - | 115 |1259 | 10 | 115 | 14 | 18 | 272k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1774.58/1775.14 c 1627s| 6860k| 67736 | 17487k| 56M| 37 | 5 | 115 |1236 | 7 | 115 | 14 | 18 | 272k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1777.18/1777.79 c 1629s| 6870k| 67704 | 17511k| 56M| 37 | - | 115 |1283 | 5 | 115 | 14 | 18 | 272k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1779.77/1780.38 c 1631s| 6880k| 67521 | 17536k| 56M| 37 | 5 | 115 |1315 | 23 | 115 | 14 | 18 | 273k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1782.49/1783.04 c 1634s| 6890k| 67570 | 17561k| 56M| 37 | 5 | 115 |1346 | 7 | 115 | 14 | 18 | 273k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1785.08/1785.67 c 1636s| 6900k| 67301 | 17584k| 55M| 37 | - | 115 |1316 | 5 | 115 | 14 | 18 | 274k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1787.77/1788.33 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1787.77/1788.33 c 1639s| 6910k| 67178 | 17609k| 55M| 37 | 5 | 115 |1304 | 6 | 115 | 14 | 18 | 274k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1790.48/1791.07 c 1641s| 6920k| 67353 | 17634k| 56M| 37 | 5 | 115 |1294 | 6 | 115 | 14 | 18 | 274k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1793.08/1793.66 c 1644s| 6930k| 67088 | 17659k| 55M| 37 | 5 | 115 |1261 | 10 | 115 | 14 | 18 | 275k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1795.68/1796.23 c 1646s| 6940k| 67149 | 17683k| 55M| 37 | 5 | 115 |1294 | 16 | 115 | 14 | 18 | 275k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1798.27/1798.84 c 1648s| 6950k| 67007 | 17707k| 55M| 37 | 5 | 115 |1321 | 18 | 115 | 14 | 18 | 276k|8759 | 0.000000e+00 | 1.000000e+00 | Inf
1800.08/1800.61 c
1800.08/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.61 c Solving Time (sec) : 1650.12
1800.08/1800.61 c Solving Nodes : 6956492
1800.08/1800.61 c Primal Bound : +1.00000000000000e+00 (55 solutions)
1800.08/1800.61 c Dual Bound : +0.00000000000000e+00
1800.08/1800.61 c Gap : infinite
1800.08/1800.61 c NODE 6956492
1800.08/1800.61 c DUAL BOUND 0
1800.08/1800.61 c PRIMAL BOUND 1
1800.08/1800.61 c GAP 1e+20
1800.08/1800.61 s SATISFIABLE
1800.08/1800.61 v x120 x119 -x118 -x117 x116 -x115 x114 x113 x112 x111 -x110 -x109 -x108 -x107 x106 x105 x104 -x103 -x102 x101 -x100 -x99 -x98 -x97
1800.08/1800.61 v -x96 x95 x94 -x93 x92 x91 -x90 x89 -x88 -x87 -x86 x85 -x84 x83 -x82 x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71
1800.08/1800.61 v -x70 -x69 -x68 -x67 -x66 x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45
1800.08/1800.61 v -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20
1800.08/1800.61 v -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.08/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.61 c Solving Time : 1650.12
1800.08/1800.61 c Original Problem :
1800.08/1800.61 c Problem name : HOME/instance-1869488-1245174426.opb
1800.08/1800.61 c Variables : 120 (120 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.61 c Constraints : 10 initial, 10 maximal
1800.08/1800.61 c Presolved Problem :
1800.08/1800.61 c Problem name : t_HOME/instance-1869488-1245174426.opb
1800.08/1800.61 c Variables : 115 (115 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.61 c Constraints : 5 initial, 1378 maximal
1800.08/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.08/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c probing : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c linear : 0.00 0 5 0 0 0 5 0 0
1800.08/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c root node : - 75 - - 75 - - - -
1800.08/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.08/1800.61 c integral : 0 0 0 3535343 0 115 3493 0 0 7063490
1800.08/1800.61 c linear : 5 6 8461554 0 0 612540 4817249 18 0 0
1800.08/1800.61 c logicor : 0+ 0 3730138 0 0 5076 142037 0 0 0
1800.08/1800.61 c countsols : 0 0 0 23 0 0 0 0 0 0
1800.08/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.08/1800.61 c integral : 34.27 0.00 0.00 34.27 0.00
1800.08/1800.61 c linear : 363.96 0.02 363.94 0.00 0.00
1800.08/1800.61 c logicor : 29.05 0.00 29.05 0.00 0.00
1800.08/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.08/1800.61 c rootredcost : 3.12 52 0 75
1800.08/1800.61 c pseudoobj : 49.41 8479819 18403 106589
1800.08/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.08/1800.61 c propagation : 34.19 636019 251572 349538 32.4 2 21.0 -
1800.08/1800.61 c infeasible LP : 1.05 23035 23034 23674 15.9 1 32.0 0
1800.08/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.61 c pseudo solution : 0.00 1 1 1 18.0 0 0.0 -
1800.08/1800.61 c applied globally : - - - 96757 25.5 - - -
1800.08/1800.61 c applied locally : - - - 179827 33.7 - - -
1800.08/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.08/1800.61 c cut pool : 0.00 5 - - 23 - (maximal pool size: 80)
1800.08/1800.61 c redcost : 20.96 3629061 0 1521318 0 0
1800.08/1800.61 c impliedbounds : 0.00 6 0 0 0 0
1800.08/1800.61 c intobj : 0.00 0 0 0 0 0
1800.08/1800.61 c gomory : 0.00 6 0 0 0 0
1800.08/1800.61 c strongcg : 0.00 6 0 0 17 0
1800.08/1800.61 c cmir : 0.02 6 0 0 20 0
1800.08/1800.61 c flowcover : 0.02 6 0 0 41 0
1800.08/1800.61 c clique : 0.00 1 0 0 0 0
1800.08/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.08/1800.61 c mcf : 0.00 1 0 0 0 0
1800.08/1800.61 c Pricers : Time Calls Vars
1800.08/1800.61 c problem variables: 0.00 0 0
1800.08/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.08/1800.61 c relpscost : 31.46 3535320 115 3493 0 0 7063490
1800.08/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.08/1800.61 c inference : 0.00 0 0 0 0 0 0
1800.08/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.08/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.08/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.61 c random : 0.00 0 0 0 0 0 0
1800.08/1800.61 c Primal Heuristics : Time Calls Found
1800.08/1800.61 c LP solutions : 0.07 - 23
1800.08/1800.61 c pseudo solutions : 0.00 - 0
1800.08/1800.61 c oneopt : 2.85 52 0
1800.08/1800.61 c objpscostdiving : 5.46 5154 1
1800.08/1800.61 c guideddiving : 9.99 10308 5
1800.08/1800.61 c coefdiving : 11.77 10308 4
1800.08/1800.61 c pscostdiving : 11.15 10308 4
1800.08/1800.61 c linesearchdiving : 9.65 10308 9
1800.08/1800.61 c fracdiving : 10.69 10308 5
1800.08/1800.61 c veclendiving : 10.19 10308 0
1800.08/1800.61 c simplerounding : 1.66 0 0
1800.08/1800.61 c rounding : 2.48 26783 0
1800.08/1800.61 c shifting : 30.99 44220 2
1800.08/1800.61 c intshifting : 0.33 0 0
1800.08/1800.61 c fixandinfer : 0.00 0 0
1800.08/1800.61 c feaspump : 0.12 1 0
1800.08/1800.61 c intdiving : 0.00 0 0
1800.08/1800.61 c actconsdiving : 0.00 0 0
1800.08/1800.61 c rootsoldiving : 9.54 5155 2
1800.08/1800.61 c octane : 0.00 0 0
1800.08/1800.61 c rens : 0.01 1 0
1800.08/1800.61 c rins : 0.00 0 0
1800.08/1800.61 c localbranching : 0.00 0 0
1800.08/1800.61 c mutation : 0.00 0 0
1800.08/1800.61 c crossover : 5.08 7 0
1800.08/1800.61 c dins : 0.00 0 0
1800.08/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.08/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.08/1800.61 c dual LP : 605.12 6467069 16893394 2.61 27917.43
1800.08/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.08/1800.61 c diving/probing LP: 35.91 389875 830263 2.13 23120.66
1800.08/1800.61 c strong branching : 1.51 8759 29168 3.33 19316.56
1800.08/1800.61 c (at root node) : - 10 232 23.20 -
1800.08/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.08/1800.61 c B&B Tree :
1800.08/1800.61 c number of runs : 1
1800.08/1800.61 c nodes : 6956492
1800.08/1800.61 c nodes (total) : 6956492
1800.08/1800.61 c nodes left : 66858
1800.08/1800.61 c max depth : 37
1800.08/1800.61 c max depth (total): 37
1800.08/1800.61 c backtracks : 1940229 (27.9%)
1800.08/1800.61 c delayed cutoffs : 30971
1800.08/1800.61 c repropagations : 167680 (221766 domain reductions, 25534 cutoffs)
1800.08/1800.61 c avg switch length: 5.16
1800.08/1800.61 c switching time : 149.16
1800.08/1800.61 c Solution :
1800.08/1800.61 c Solutions found : 55 (52 improvements)
1800.08/1800.61 c Primal Bound : +1.00000000000000e+00 (in run 1, after 867147 nodes, 247.86 seconds, depth 31, found by <relaxation>)
1800.08/1800.61 c Dual Bound : +0.00000000000000e+00
1800.08/1800.61 c Gap : infinite
1800.08/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.37/1800.99 c Time complete: 1800.46.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869488-1245174426/watcher-1869488-1245174426 -o /tmp/evaluation-result-1869488-1245174426/solver-1869488-1245174426 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869488-1245174426.opb
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 4830
/proc/meminfo: memFree=1842400/2055920 swapFree=4182492/4192956
[pid=4830] ppid=4828 vsize=7132 CPUtime=0
/proc/4830/stat : 4830 (pbscip.linux.x8) R 4828 4830 4468 0 -1 4194304 1063 0 0 0 0 0 0 0 18 0 1 0 185042561 7303168 1046 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/4830/statm: 1783 1054 335 886 0 893 0
[startup+0.0110569 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 4830
/proc/meminfo: memFree=1842400/2055920 swapFree=4182492/4192956
[pid=4830] ppid=4828 vsize=8536 CPUtime=0
/proc/4830/stat : 4830 (pbscip.linux.x8) R 4828 4830 4468 0 -1 4194304 1465 0 0 0 0 0 0 0 18 0 1 0 185042561 8740864 1446 1992294400 4194304 7823515 548682068736 18446744073709551615 6962503 0 0 4096 0 0 0 0 17 1 0 0
/proc/4830/statm: 2134 1446 354 886 0 1244 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8536
[startup+0.101065 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 4830
/proc/meminfo: memFree=1842400/2055920 swapFree=4182492/4192956
[pid=4830] ppid=4828 vsize=14152 CPUtime=0.09
/proc/4830/stat : 4830 (pbscip.linux.x8) R 4828 4830 4468 0 -1 4194304 2908 0 0 0 9 0 0 0 18 0 1 0 185042561 14491648 2535 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4830/statm: 3538 2544 551 886 0 2648 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14152
[startup+0.301089 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 4830
/proc/meminfo: memFree=1842400/2055920 swapFree=4182492/4192956
[pid=4830] ppid=4828 vsize=12576 CPUtime=0.29
/proc/4830/stat : 4830 (pbscip.linux.x8) R 4828 4830 4468 0 -1 4194304 4549 0 0 0 26 3 0 0 19 0 1 0 185042561 12877824 2391 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4830/statm: 3144 2391 573 886 0 2254 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12576
[startup+0.701131 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 4830
/proc/meminfo: memFree=1842400/2055920 swapFree=4182492/4192956
[pid=4830] ppid=4828 vsize=12940 CPUtime=0.69
/proc/4830/stat : 4830 (pbscip.linux.x8) R 4828 4830 4468 0 -1 4194304 6180 0 0 0 62 7 0 0 23 0 1 0 185042561 13250560 2483 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4830/statm: 3235 2483 573 886 0 2345 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12940
[startup+1.50122 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4831
/proc/meminfo: memFree=1834776/2055920 swapFree=4182492/4192956
[pid=4830] ppid=4828 vsize=16296 CPUtime=1.49
/proc/4830/stat : 4830 (pbscip.linux.x8) R 4828 4830 4468 0 -1 4194304 7020 0 0 0 136 13 0 0 25 0 1 0 185042561 16687104 3323 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4830/statm: 4074 3323 573 886 0 3184 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16296
[startup+3.10139 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4831
/proc/meminfo: memFree=1831064/2055920 swapFree=4182492/4192956
[pid=4830] ppid=4828 vsize=17436 CPUtime=3.09
/proc/4830/stat : 4830 (pbscip.linux.x8) R 4828 4830 4468 0 -1 4194304 7962 0 0 0 286 23 0 0 25 0 1 0 185042561 17854464 3614 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4830/statm: 4359 3614 573 886 0 3469 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17436
[startup+6.30173 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4831
/proc/meminfo: memFree=1831648/2055920 swapFree=4182492/4192956
[pid=4830] ppid=4828 vsize=19200 CPUtime=6.29
/proc/4830/stat : 4830 (pbscip.linux.x8) R 4828 4830 4468 0 -1 4194304 9718 0 0 0 581 48 0 0 25 0 1 0 185042561 19660800 4068 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4830/statm: 4800 4068 573 886 0 3910 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19200
[startup+12.7014 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4831
/proc/meminfo: memFree=1825888/2055920 swapFree=4182492/4192956
[pid=4830] ppid=4828 vsize=21780 CPUtime=12.69
/proc/4830/stat : 4830 (pbscip.linux.x8) R 4828 4830 4468 0 -1 4194304 11938 0 0 0 1175 94 0 0 25 0 1 0 185042561 22302720 4726 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4830/statm: 5445 4726 573 886 0 4555 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21780
[startup+25.5018 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4831
/proc/meminfo: memFree=1825440/2055920 swapFree=4182492/4192956
[pid=4830] ppid=4828 vsize=22248 CPUtime=25.49
/proc/4830/stat : 4830 (pbscip.linux.x8) R 4828 4830 4468 0 -1 4194304 12050 0 0 0 2367 182 0 0 25 0 1 0 185042561 22781952 4838 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4830/statm: 5562 4838 573 886 0 4672 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 22248
[startup+51.1016 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4831
/proc/meminfo: memFree=1824416/2055920 swapFree=4182492/4192956
[pid=4830] ppid=4828 vsize=23680 CPUtime=51.07
/proc/4830/stat : 4830 (pbscip.linux.x8) R 4828 4830 4468 0 -1 4194304 14211 0 0 0 4733 374 0 0 25 0 1 0 185042561 24248320 5188 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4830/statm: 5920 5188 573 886 0 5030 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 23680
[startup+102.304 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4831
/proc/meminfo: memFree=1814176/2055920 swapFree=4182492/4192956
[pid=4830] ppid=4828 vsize=33340 CPUtime=102.27
/proc/4830/stat : 4830 (pbscip.linux.x8) R 4828 4830 4468 0 -1 4194304 18203 0 0 0 9463 764 0 0 25 0 1 0 185042561 34140160 7664 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4830/statm: 8335 7664 573 886 0 7445 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 33340
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4831
/proc/meminfo: memFree=1807264/2055920 swapFree=4182492/4192956
[pid=4830] ppid=4828 vsize=40096 CPUtime=162.25
/proc/4830/stat : 4830 (pbscip.linux.x8) R 4828 4830 4468 0 -1 4194304 19943 0 0 0 14997 1228 0 0 25 0 1 0 185042561 41058304 9404 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4830/statm: 10024 9404 573 886 0 9134 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 40096
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4831
/proc/meminfo: memFree=1803232/2055920 swapFree=4182492/4192956
[pid=4830] ppid=4828 vsize=43952 CPUtime=222.23
/proc/4830/stat : 4830 (pbscip.linux.x8) R 4828 4830 4468 0 -1 4194304 20910 0 0 0 20530 1693 0 0 25 0 1 0 185042561 45006848 10371 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4830/statm: 10988 10371 573 886 0 10098 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 43952
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4831
/proc/meminfo: memFree=1801568/2055920 swapFree=4182492/4192956
[pid=4830] ppid=4828 vsize=45552 CPUtime=282.22
/proc/4830/stat : 4830 (pbscip.linux.x8) R 4828 4830 4468 0 -1 4194304 21302 0 0 0 26051 2171 0 0 25 0 1 0 185042561 46645248 10763 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4830/statm: 11388 10763 573 886 0 10498 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 45552
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4833
/proc/meminfo: memFree=1801184/2055920 swapFree=4182492/4192956
[pid=4830] ppid=4828 vsize=45552 CPUtime=342.2
/proc/4830/stat : 4830 (pbscip.linux.x8) R 4828 4830 4468 0 -1 4194304 21302 0 0 0 31549 2671 0 0 25 0 1 0 185042561 46645248 10763 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4830/statm: 11388 10763 573 886 0 10498 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 45552
[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4833
/proc/meminfo: memFree=1798560/2055920 swapFree=4182492/4192956
[pid=4830] ppid=4828 vsize=48204 CPUtime=402.19
/proc/4830/stat : 4830 (pbscip.linux.x8) R 4828 4830 4468 0 -1 4194304 23738 0 0 0 37038 3181 0 0 25 0 1 0 185042561 49360896 11440 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4830/statm: 12051 11440 573 886 0 11161 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 48204
[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4833
/proc/meminfo: memFree=1798432/2055920 swapFree=4182492/4192956
[pid=4830] ppid=4828 vsize=48384 CPUtime=462.17
/proc/4830/stat : 4830 (pbscip.linux.x8) R 4828 4830 4468 0 -1 4194304 24410 0 0 0 42542 3675 0 0 25 0 1 0 185042561 49545216 11467 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4830/statm: 12096 11467 573 886 0 11206 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 48384
[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4833
/proc/meminfo: memFree=1798432/2055920 swapFree=4182492/4192956
[pid=4830] ppid=4828 vsize=48384 CPUtime=522.15
/proc/4830/stat : 4830 (pbscip.linux.x8) R 4828 4830 4468 0 -1 4194304 24411 0 0 0 48028 4187 0 0 25 0 1 0 185042561 49545216 11468 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4830/statm: 12096 11468 573 886 0 11206 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 48384
[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4833
/proc/meminfo: memFree=1798368/2055920 swapFree=4182492/4192956
[pid=4830] ppid=4828 vsize=48384 CPUtime=582.14
/proc/4830/stat : 4830 (pbscip.linux.x8) R 4828 4830 4468 0 -1 4194304 24412 0 0 0 53535 4679 0 0 25 0 1 0 185042561 49545216 11469 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4830/statm: 12096 11469 573 886 0 11206 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 48384
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4833
/proc/meminfo: memFree=1798368/2055920 swapFree=4182492/4192956
[pid=4830] ppid=4828 vsize=48384 CPUtime=642.13
/proc/4830/stat : 4830 (pbscip.linux.x8) R 4828 4830 4468 0 -1 4194304 24412 0 0 0 59052 5161 0 0 25 0 1 0 185042561 49545216 11469 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4830/statm: 12096 11469 573 886 0 11206 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 48384
[startup+702.302 s]
################
# More data... #
################
[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4839
/proc/meminfo: memFree=1795360/2055920 swapFree=4182492/4192956
[pid=4830] ppid=4828 vsize=51036 CPUtime=942.03
/proc/4830/stat : 4830 (pbscip.linux.x8) R 4828 4830 4468 0 -1 4194304 26862 0 0 0 86494 7709 0 0 25 0 1 0 185042561 52260864 12158 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4830/statm: 12759 12158 573 886 0 11869 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 51036
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4839
/proc/meminfo: memFree=1795296/2055920 swapFree=4182492/4192956
[pid=4830] ppid=4828 vsize=51036 CPUtime=1002.01
/proc/4830/stat : 4830 (pbscip.linux.x8) R 4828 4830 4468 0 -1 4194304 26862 0 0 0 91958 8243 0 0 25 0 1 0 185042561 52260864 12158 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4830/statm: 12759 12158 573 886 0 11869 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 51036
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4839
/proc/meminfo: memFree=1795296/2055920 swapFree=4182492/4192956
[pid=4830] ppid=4828 vsize=51036 CPUtime=1061.99
/proc/4830/stat : 4830 (pbscip.linux.x8) R 4828 4830 4468 0 -1 4194304 26862 0 0 0 97451 8748 0 0 25 0 1 0 185042561 52260864 12158 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4830/statm: 12759 12158 573 886 0 11869 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 51036
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4839
/proc/meminfo: memFree=1797536/2055920 swapFree=4182492/4192956
[pid=4830] ppid=4828 vsize=48548 CPUtime=1121.97
/proc/4830/stat : 4830 (pbscip.linux.x8) R 4828 4830 4468 0 -1 4194304 27933 0 0 0 102933 9264 0 0 25 0 1 0 185042561 49713152 11540 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4830/statm: 12137 11540 573 886 0 11247 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 48548
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4839
/proc/meminfo: memFree=1797536/2055920 swapFree=4182492/4192956
[pid=4830] ppid=4828 vsize=48548 CPUtime=1181.96
/proc/4830/stat : 4830 (pbscip.linux.x8) R 4828 4830 4468 0 -1 4194304 27933 0 0 0 108391 9805 0 0 25 0 1 0 185042561 49713152 11540 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4830/statm: 12137 11540 573 886 0 11247 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 48548
[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4839
/proc/meminfo: memFree=1797344/2055920 swapFree=4182492/4192956
[pid=4830] ppid=4828 vsize=48548 CPUtime=1241.94
/proc/4830/stat : 4830 (pbscip.linux.x8) R 4828 4830 4468 0 -1 4194304 27933 0 0 0 113858 10336 0 0 25 0 1 0 185042561 49713152 11540 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4830/statm: 12137 11540 573 886 0 11247 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 48548
[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4839
/proc/meminfo: memFree=1794848/2055920 swapFree=4182492/4192956
[pid=4830] ppid=4828 vsize=51140 CPUtime=1301.92
/proc/4830/stat : 4830 (pbscip.linux.x8) R 4828 4830 4468 0 -1 4194304 28578 0 0 0 119333 10859 0 0 25 0 1 0 185042561 52367360 12185 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4830/statm: 12785 12185 573 886 0 11895 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 51140
[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4839
/proc/meminfo: memFree=1794784/2055920 swapFree=4182492/4192956
[pid=4830] ppid=4828 vsize=51140 CPUtime=1361.9
/proc/4830/stat : 4830 (pbscip.linux.x8) R 4828 4830 4468 0 -1 4194304 28578 0 0 0 124815 11375 0 0 25 0 1 0 185042561 52367360 12185 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4830/statm: 12785 12185 573 886 0 11895 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 51140
[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4839
/proc/meminfo: memFree=1794784/2055920 swapFree=4182492/4192956
[pid=4830] ppid=4828 vsize=51140 CPUtime=1421.89
/proc/4830/stat : 4830 (pbscip.linux.x8) R 4828 4830 4468 0 -1 4194304 28578 0 0 0 130295 11894 0 0 25 0 1 0 185042561 52367360 12185 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4830/statm: 12785 12185 573 886 0 11895 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 51140
[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4839
/proc/meminfo: memFree=1783456/2055920 swapFree=4182492/4192956
[pid=4830] ppid=4828 vsize=62192 CPUtime=1481.86
/proc/4830/stat : 4830 (pbscip.linux.x8) R 4828 4830 4468 0 -1 4194304 31384 0 0 0 135785 12401 0 0 25 0 1 0 185042561 63684608 14991 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4830/statm: 15548 14991 573 886 0 14658 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 62192
[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4839
/proc/meminfo: memFree=1775456/2055920 swapFree=4182492/4192956
[pid=4830] ppid=4828 vsize=71488 CPUtime=1541.85
/proc/4830/stat : 4830 (pbscip.linux.x8) R 4828 4830 4468 0 -1 4194304 33356 0 0 0 141277 12908 0 0 25 0 1 0 185042561 73203712 16963 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4830/statm: 17872 16963 573 886 0 16982 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 71488
[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4839
/proc/meminfo: memFree=1771808/2055920 swapFree=4182492/4192956
[pid=4830] ppid=4828 vsize=75088 CPUtime=1601.83
/proc/4830/stat : 4830 (pbscip.linux.x8) R 4828 4830 4468 0 -1 4194304 34270 0 0 0 146779 13404 0 0 25 0 1 0 185042561 76890112 17877 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4830/statm: 18772 17877 573 886 0 17882 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 75088
[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4839
/proc/meminfo: memFree=1769632/2055920 swapFree=4182492/4192956
[pid=4830] ppid=4828 vsize=77228 CPUtime=1661.81
/proc/4830/stat : 4830 (pbscip.linux.x8) R 4828 4830 4468 0 -1 4194304 34802 0 0 0 152284 13897 0 0 25 0 1 0 185042561 79081472 18409 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4830/statm: 19307 18409 573 886 0 18417 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 77228
[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4839
/proc/meminfo: memFree=1765920/2055920 swapFree=4182492/4192956
[pid=4830] ppid=4828 vsize=80720 CPUtime=1721.79
/proc/4830/stat : 4830 (pbscip.linux.x8) R 4828 4830 4468 0 -1 4194304 35702 0 0 0 157798 14381 0 0 25 0 1 0 185042561 82657280 19309 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4830/statm: 20180 19309 573 886 0 19290 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 80720
[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4839
/proc/meminfo: memFree=1765728/2055920 swapFree=4182492/4192956
[pid=4830] ppid=4828 vsize=80720 CPUtime=1781.78
/proc/4830/stat : 4830 (pbscip.linux.x8) R 4828 4830 4468 0 -1 4194304 35702 0 0 0 163321 14857 0 0 25 0 1 0 185042561 82657280 19309 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4830/statm: 20180 19309 573 886 0 19290 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 80720
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4839
/proc/meminfo: memFree=1765728/2055920 swapFree=4182492/4192956
[pid=4830] ppid=4828 vsize=80720 CPUtime=1800.08
/proc/4830/stat : 4830 (pbscip.linux.x8) R 4828 4830 4468 0 -1 4194304 35702 0 0 0 165012 14996 0 0 25 0 1 0 185042561 82657280 19309 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4830/statm: 20180 19309 573 886 0 19290 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 80720
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.8 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4839
/proc/meminfo: memFree=1765728/2055920 swapFree=4182492/4192956
[pid=4830] ppid=4828 vsize=80720 CPUtime=1800.27
/proc/4830/stat : 4830 (pbscip.linux.x8) R 4828 4830 4468 0 -1 4194304 35704 0 0 0 165031 14996 0 0 25 0 1 0 185042561 82657280 19311 1992294400 4194304 7823515 548682068736 18446744073709551615 4805770 0 0 4096 0 0 0 0 17 0 0 0
/proc/4830/statm: 20180 19311 575 886 0 19290 0
Current children cumulated CPU time (s) 1800.27
Current children cumulated vsize (KiB) 80720
[startup+1800.9 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4839
/proc/meminfo: memFree=1765728/2055920 swapFree=4182492/4192956
[pid=4830] ppid=4828 vsize=80720 CPUtime=1800.37
/proc/4830/stat : 4830 (pbscip.linux.x8) R 4828 4830 4468 0 -1 4194304 35704 0 0 0 165041 14996 0 0 25 0 1 0 185042561 82657280 19311 1992294400 4194304 7823515 548682068736 18446744073709551615 4211527 0 0 4096 0 0 0 0 17 0 0 0
/proc/4830/statm: 20180 19311 575 886 0 19290 0
Current children cumulated CPU time (s) 1800.37
Current children cumulated vsize (KiB) 80720
Child status: 0
Real time (s): 1800.99
CPU time (s): 1800.47
CPU user time (s): 1650.5
CPU system time (s): 149.978
CPU usage (%): 99.9711
Max. virtual memory (cumulated for all children) (KiB): 80720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1650.5
system time used= 149.978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35707
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 2434
runsolver used 1.21681 second user time and 3.9774 second system time
The end