0.00/0.01 c SCIP version 1.1.0.7
0.00/0.01 c LP-Solver Clp 1.8.2
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c read problem <HOME/instance-1869537-1245177493.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.02 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.01
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 | 28 | 399k| 0 | 5 | 115 | 5 | 5 | 115 | 5 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 122 | 467k| 0 | 8 | 115 | 5 | 5 | 115 | 11 | 6 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 127 | 517k| 0 | 9 | 115 | 5 | 5 | 115 | 16 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.06 c 0.0s| 1 | 0 | 131 | 575k| 0 | 9 | 115 | 5 | 5 | 115 | 21 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf
0.05/0.07 c 0.1s| 1 | 0 | 136 | 617k| 0 | 10 | 115 | 5 | 5 | 115 | 24 | 19 | 0 | 0 | 0.000000e+00 | -- | Inf
0.05/0.09 c 0.1s| 1 | 0 | 142 | 663k| 0 | 10 | 115 | 5 | 5 | 115 | 26 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.11 c 0.1s| 1 | 0 | 149 | 708k| 0 | 10 | 115 | 5 | 5 | 115 | 29 | 24 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.14 c 0.1s| 1 | 2 | 149 | 709k| 0 | 10 | 115 | 5 | 5 | 115 | 29 | 24 | 0 | 10 | 0.000000e+00 | -- | Inf
0.09/0.18 o 360
0.09/0.18 c c 0.2s| 26 | 26 | 277 | 741k| 25 | - | 115 | 5 | 0 | 115 | 11 | 24 | 0 | 131 | 0.000000e+00 | 3.600000e+02 | Inf
0.19/0.22 o 186
0.19/0.22 c f 0.2s| 52 | 46 | 406 | 749k| 26 | - | 115 | 5 | 3 | 115 | 11 | 24 | 0 | 222 | 0.000000e+00 | 1.860000e+02 | Inf
0.19/0.25 o 185
0.19/0.25 c * 0.2s| 80 | 72 | 522 | 753k| 26 | - | 115 | 5 | 0 | 115 | 11 | 24 | 0 | 290 | 0.000000e+00 | 1.850000e+02 | Inf
0.29/0.38 o 146
0.29/0.38 c g 0.3s| 231 | 207 | 1232 | 847k| 27 | - | 115 | 5 | 2 | 115 | 11 | 24 | 5 | 397 | 0.000000e+00 | 1.460000e+02 | Inf
0.99/1.01 o 145
0.99/1.01 c o 0.9s| 1100 | 1062 | 5749 |1210k| 33 | 0 | 115 | 5 | 1 | 115 | 11 | 24 | 40 | 546 | 0.000000e+00 | 1.450000e+02 | Inf
0.99/1.06 o 99
0.99/1.06 c f 1.0s| 1169 | 1099 | 6212 |1228k| 33 | - | 115 | 5 | 2 | 115 | 11 | 24 | 43 | 548 | 0.000000e+00 | 9.900000e+01 | Inf
1.10/1.16 o 66
1.10/1.16 c c 1.1s| 1304 | 1158 | 6969 |1251k| 36 | - | 115 | 5 | 1 | 115 | 11 | 24 | 48 | 548 | 0.000000e+00 | 6.600000e+01 | Inf
1.29/1.32 o 58
1.29/1.32 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.29/1.32 c C 1.2s| 1504 | 1319 | 7979 |1316k| 36 | 5 | 115 | 6 | 5 | 115 | 11 | 24 | 64 | 549 | 0.000000e+00 | 5.800000e+01 | Inf
1.79/1.81 o 57
1.79/1.81 c v 1.7s| 2082 | 1876 | 11807 |1566k| 36 | - | 115 | 6 | 0 | 115 | 11 | 24 | 134 | 554 | 0.000000e+00 | 5.700000e+01 | Inf
2.39/2.44 o 55
2.39/2.44 c f 2.3s| 2901 | 2651 | 16339 |1875k| 36 | - | 115 | 6 | 0 | 115 | 11 | 24 | 202 | 560 | 0.000000e+00 | 5.500000e+01 | Inf
2.89/2.92 o 30
2.89/2.92 c f 2.8s| 3476 | 2882 | 19948 |1952k| 36 | - | 115 | 6 | 3 | 115 | 11 | 24 | 262 | 567 | 0.000000e+00 | 3.000000e+01 | Inf
3.19/3.30 o 13
3.19/3.30 c g 3.1s| 3802 | 2753 | 22766 |1869k| 36 | - | 115 | 14 | 3 | 115 | 11 | 24 | 319 | 576 | 0.000000e+00 | 1.300000e+01 | Inf
7.08/7.11 o 11
7.08/7.11 c * 6.8s| 9864 | 5933 | 52767 |3337k| 36 | - | 115 | 52 | 0 | 115 | 11 | 24 | 885 | 813 | 0.000000e+00 | 1.100000e+01 | Inf
7.08/7.11 o 9
7.08/7.11 c * 6.8s| 9865 | 5832 | 52769 |3261k| 36 | - | 115 | 52 | 0 | 115 | 11 | 24 | 885 | 813 | 0.000000e+00 | 9.000000e+00 | Inf
7.08/7.17 c 6.9s| 10000 | 5883 | 53260 |3285k| 36 | 5 | 115 | 52 | 5 | 115 | 11 | 24 | 889 | 820 | 0.000000e+00 | 9.000000e+00 | Inf
11.78/11.87 c 11.4s| 20000 | 8529 | 94036 |4926k| 36 | - | 115 | 82 | 12 | 115 | 11 | 24 |1568 |1350 | 0.000000e+00 | 9.000000e+00 | Inf
16.17/16.22 c 15.6s| 30000 | 9052 |141145 |5511k| 36 | 4 | 115 | 61 | 5 | 115 | 11 | 24 |1898 |1769 | 0.000000e+00 | 9.000000e+00 | Inf
20.37/20.45 c 19.6s| 40000 | 9235 |186692 |5939k| 36 | - | 115 | 60 | 5 | 115 | 11 | 24 |2242 |2103 | 0.000000e+00 | 9.000000e+00 | Inf
24.57/24.64 o 4
24.57/24.64 c f23.6s| 49506 | 8862 |230454 |5209k| 36 | - | 115 | 63 | 2 | 115 | 11 | 24 |2710 |2479 | 0.000000e+00 | 4.000000e+00 | Inf
24.78/24.84 c 23.8s| 50000 | 8908 |232688 |5245k| 36 | - | 115 | 62 | 6 | 0 | 0 | 24 |2723 |2481 | 0.000000e+00 | 4.000000e+00 | Inf
28.57/28.64 c 27.5s| 60000 | 9558 |276303 |5757k| 36 | 5 | 115 | 68 | 6 | 115 | 11 | 24 |2931 |2596 | 0.000000e+00 | 4.000000e+00 | Inf
32.38/32.41 c 31.1s| 70000 | 10144 |318674 |6171k| 36 | - | 115 | 63 | 7 | 115 | 11 | 24 |3123 |2695 | 0.000000e+00 | 4.000000e+00 | Inf
36.07/36.10 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
36.07/36.10 c 34.6s| 80000 | 10639 |358990 |6573k| 36 | - | 115 | 74 | 6 | 115 | 11 | 24 |3384 |2789 | 0.000000e+00 | 4.000000e+00 | Inf
39.76/39.86 c 38.2s| 90000 | 11238 |399459 |7039k| 36 | 5 | 115 | 78 | 6 | 115 | 11 | 24 |3639 |2887 | 0.000000e+00 | 4.000000e+00 | Inf
43.65/43.74 c 42.0s|100000 | 12404 |441433 |7728k| 36 | 5 | 115 | 71 | 8 | 115 | 11 | 24 |3924 |2985 | 0.000000e+00 | 4.000000e+00 | Inf
49.56/49.63 c 47.6s|110000 | 14090 |481550 |8642k| 36 | 5 | 115 | 81 | 8 | 115 | 11 | 24 |4185 |3056 | 0.000000e+00 | 4.000000e+00 | Inf
53.35/53.42 c 51.2s|120000 | 15621 |520535 |9491k| 36 | - | 115 | 83 | 6 | 115 | 11 | 24 |4492 |3120 | 0.000000e+00 | 4.000000e+00 | Inf
57.06/57.11 c 54.8s|130000 | 16677 |558630 | 10M| 36 | - | 115 | 102 | 6 | 115 | 11 | 24 |4790 |3183 | 0.000000e+00 | 4.000000e+00 | Inf
60.65/60.71 c 58.2s|140000 | 17019 |595072 | 10M| 36 | 5 | 115 | 91 | 8 | 115 | 11 | 24 |5092 |3243 | 0.000000e+00 | 4.000000e+00 | Inf
64.25/64.34 c 61.7s|150000 | 17147 |633215 | 10M| 36 | - | 115 | 92 | 6 | 115 | 11 | 24 |5362 |3325 | 0.000000e+00 | 4.000000e+00 | Inf
67.85/67.95 c 65.1s|160000 | 17367 |671036 | 10M| 36 | 5 | 115 | 110 | 6 | 115 | 11 | 24 |5626 |3392 | 0.000000e+00 | 4.000000e+00 | Inf
71.35/71.49 c 68.5s|170000 | 17199 |708307 | 10M| 36 | 5 | 115 | 103 | 7 | 115 | 11 | 24 |5851 |3459 | 0.000000e+00 | 4.000000e+00 | Inf
74.95/75.09 c 72.0s|180000 | 17216 |746171 | 11M| 36 | 5 | 115 | 105 | 6 | 115 | 11 | 24 |6107 |3517 | 0.000000e+00 | 4.000000e+00 | Inf
78.35/78.45 o 3
78.35/78.45 c *75.2s|189369 | 17171 |780049 | 10M| 36 | - | 115 | 126 | 1 | 115 | 11 | 24 |6403 |3579 | 0.000000e+00 | 3.000000e+00 | Inf
78.54/78.68 c 75.4s|190000 | 17132 |782423 | 10M| 36 | 5 | 115 | 132 | 7 | 115 | 11 | 24 |6414 |3586 | 0.000000e+00 | 3.000000e+00 | Inf
82.24/82.37 c 78.9s|200000 | 17673 |821385 | 11M| 36 | - | 115 | 148 | 6 | 115 | 11 | 24 |6693 |3717 | 0.000000e+00 | 3.000000e+00 | Inf
85.84/85.93 c 82.3s|210000 | 17315 |858900 | 11M| 36 | 5 | 115 | 153 | 6 | 115 | 11 | 24 |6941 |3867 | 0.000000e+00 | 3.000000e+00 | Inf
89.43/89.50 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
89.43/89.50 c 85.7s|220000 | 17305 |898077 | 11M| 36 | 5 | 115 | 159 | 10 | 115 | 11 | 24 |7190 |3980 | 0.000000e+00 | 3.000000e+00 | Inf
92.94/93.08 c 89.1s|230000 | 17163 |936690 | 11M| 36 | - | 115 | 139 | 6 | 115 | 11 | 24 |7391 |4105 | 0.000000e+00 | 3.000000e+00 | Inf
96.84/96.98 c 92.8s|240000 | 18301 |979235 | 11M| 36 | - | 115 | 140 | 7 | 115 | 11 | 24 |7669 |4243 | 0.000000e+00 | 3.000000e+00 | Inf
100.64/100.72 c 96.4s|250000 | 18594 | 1020k| 12M| 36 | - | 115 | 139 | 26 | 0 | 0 | 24 |7916 |4329 | 0.000000e+00 | 3.000000e+00 | Inf
103.44/103.51 o 2
103.44/103.51 c *99.1s|257474 | 18801 | 1051k| 11M| 36 | - | 115 | 142 | 1 | 115 | 11 | 24 |8110 |4404 | 0.000000e+00 | 2.000000e+00 | Inf
104.23/104.37 c 99.9s|260000 | 18835 | 1060k| 11M| 36 | - | 115 | 130 | 8 | 115 | 11 | 24 |8156 |4404 | 0.000000e+00 | 2.000000e+00 | Inf
107.53/107.68 c 103s|270000 | 18599 | 1097k| 11M| 36 | - | 115 | 122 | 8 | 115 | 11 | 24 |8327 |4407 | 0.000000e+00 | 2.000000e+00 | Inf
112.14/112.30 c 107s|280000 | 19273 | 1137k| 12M| 36 | - | 115 | 111 | 6 | 115 | 11 | 24 |8504 |4418 | 0.000000e+00 | 2.000000e+00 | Inf
115.84/115.98 c 111s|290000 | 21650 | 1177k| 13M| 36 | - | 115 | 132 | 6 | 115 | 11 | 24 |8814 |4426 | 0.000000e+00 | 2.000000e+00 | Inf
119.23/119.35 c 114s|300000 | 22624 | 1214k| 14M| 36 | 5 | 115 | 128 | 12 | 115 | 11 | 24 |9001 |4436 | 0.000000e+00 | 2.000000e+00 | Inf
122.63/122.71 c 117s|310000 | 23440 | 1248k| 14M| 36 | 5 | 115 | 130 | 7 | 115 | 11 | 24 |9186 |4441 | 0.000000e+00 | 2.000000e+00 | Inf
125.93/126.09 c 121s|320000 | 24530 | 1283k| 15M| 36 | - | 115 | 141 | 6 | 115 | 11 | 24 |9441 |4443 | 0.000000e+00 | 2.000000e+00 | Inf
129.23/129.38 c 124s|330000 | 25233 | 1317k| 15M| 36 | - | 115 | 146 | 9 | 115 | 11 | 24 |9629 |4450 | 0.000000e+00 | 2.000000e+00 | Inf
132.42/132.58 c 127s|340000 | 25142 | 1349k| 15M| 36 | 5 | 115 | 129 | 7 | 115 | 11 | 24 |9775 |4455 | 0.000000e+00 | 2.000000e+00 | Inf
135.73/135.85 c 130s|350000 | 25557 | 1383k| 16M| 36 | 5 | 115 | 141 | 7 | 115 | 11 | 24 | 10k|4464 | 0.000000e+00 | 2.000000e+00 | Inf
139.02/139.12 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
139.02/139.12 c 133s|360000 | 25751 | 1416k| 16M| 36 | - | 115 | 143 | 9 | 115 | 11 | 24 | 10k|4469 | 0.000000e+00 | 2.000000e+00 | Inf
142.22/142.36 c 136s|370000 | 25682 | 1448k| 16M| 36 | 5 | 115 | 139 | 10 | 115 | 11 | 24 | 10k|4478 | 0.000000e+00 | 2.000000e+00 | Inf
145.42/145.55 c 139s|380000 | 25428 | 1480k| 16M| 36 | 5 | 115 | 125 | 7 | 115 | 11 | 24 | 10k|4489 | 0.000000e+00 | 2.000000e+00 | Inf
148.62/148.77 c 142s|390000 | 25377 | 1512k| 16M| 36 | - | 115 | 158 | 16 | 115 | 11 | 24 | 11k|4493 | 0.000000e+00 | 2.000000e+00 | Inf
151.92/152.01 c 145s|400000 | 25381 | 1544k| 16M| 36 | - | 115 | 153 | 6 | 115 | 11 | 24 | 11k|4500 | 0.000000e+00 | 2.000000e+00 | Inf
155.11/155.22 c 148s|410000 | 25595 | 1575k| 16M| 36 | 5 | 115 | 119 | 6 | 115 | 11 | 24 | 11k|4506 | 0.000000e+00 | 2.000000e+00 | Inf
160.22/160.31 c 153s|420000 | 26540 | 1611k| 17M| 36 | - | 115 | 90 | 6 | 115 | 11 | 24 | 11k|4527 | 0.000000e+00 | 2.000000e+00 | Inf
163.62/163.76 c 157s|430000 | 27385 | 1647k| 18M| 36 | - | 115 | 81 | 6 | 115 | 11 | 24 | 12k|4535 | 0.000000e+00 | 2.000000e+00 | Inf
167.21/167.30 c 160s|440000 | 28259 | 1683k| 18M| 36 | 5 | 115 | 69 | 6 | 115 | 11 | 24 | 12k|4663 | 0.000000e+00 | 2.000000e+00 | Inf
170.71/170.82 c 163s|450000 | 29634 | 1718k| 19M| 36 | - | 115 | 63 | 7 | 115 | 11 | 24 | 12k|4713 | 0.000000e+00 | 2.000000e+00 | Inf
174.00/174.11 c 166s|460000 | 30069 | 1752k| 19M| 36 | - | 115 | 68 | 8 | 0 | 0 | 24 | 12k|4730 | 0.000000e+00 | 2.000000e+00 | Inf
177.30/177.42 c 170s|470000 | 30392 | 1785k| 20M| 36 | - | 115 | 47 | 6 | 115 | 11 | 24 | 13k|4747 | 0.000000e+00 | 2.000000e+00 | Inf
180.90/181.05 c 173s|480000 | 32223 | 1823k| 21M| 36 | 5 | 115 | 64 | 6 | 115 | 11 | 24 | 13k|4753 | 0.000000e+00 | 2.000000e+00 | Inf
184.31/184.45 c 176s|490000 | 33061 | 1859k| 21M| 36 | - | 115 | 59 | 6 | 115 | 11 | 24 | 13k|4764 | 0.000000e+00 | 2.000000e+00 | Inf
187.60/187.74 c 179s|500000 | 33509 | 1893k| 21M| 36 | - | 115 | 75 | 7 | 115 | 11 | 24 | 13k|4779 | 0.000000e+00 | 2.000000e+00 | Inf
190.90/191.03 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
190.90/191.03 c 183s|510000 | 33742 | 1926k| 22M| 36 | 5 | 115 | 65 | 6 | 115 | 11 | 24 | 14k|4785 | 0.000000e+00 | 2.000000e+00 | Inf
194.10/194.27 c 186s|520000 | 33959 | 1960k| 22M| 36 | - | 115 | 83 | 6 | 115 | 11 | 24 | 14k|4801 | 0.000000e+00 | 2.000000e+00 | Inf
197.40/197.52 c 189s|530000 | 34038 | 1993k| 22M| 36 | - | 115 | 83 | 7 | 0 | 0 | 24 | 14k|4810 | 0.000000e+00 | 2.000000e+00 | Inf
200.60/200.79 c 192s|540000 | 34183 | 2027k| 22M| 36 | - | 115 | 80 | 6 | 115 | 11 | 24 | 14k|4822 | 0.000000e+00 | 2.000000e+00 | Inf
203.80/203.99 c 195s|550000 | 33979 | 2059k| 22M| 36 | 5 | 115 | 85 | 9 | 115 | 11 | 24 | 14k|4833 | 0.000000e+00 | 2.000000e+00 | Inf
207.10/207.27 c 198s|560000 | 33776 | 2093k| 22M| 36 | 5 | 115 | 81 | 6 | 115 | 11 | 24 | 15k|4910 | 0.000000e+00 | 2.000000e+00 | Inf
210.39/210.50 c 201s|570000 | 33719 | 2126k| 22M| 36 | - | 115 | 89 | 8 | 115 | 11 | 24 | 15k|4915 | 0.000000e+00 | 2.000000e+00 | Inf
213.79/213.92 c 204s|580000 | 34452 | 2163k| 23M| 36 | 5 | 115 | 87 | 6 | 115 | 11 | 24 | 15k|4924 | 0.000000e+00 | 2.000000e+00 | Inf
216.99/217.18 c 208s|590000 | 34090 | 2196k| 23M| 36 | 5 | 115 | 86 | 6 | 115 | 11 | 24 | 15k|4931 | 0.000000e+00 | 2.000000e+00 | Inf
220.39/220.52 c 211s|600000 | 34296 | 2230k| 23M| 36 | - | 115 | 97 | 6 | 115 | 11 | 24 | 16k|4940 | 0.000000e+00 | 2.000000e+00 | Inf
223.59/223.71 c 214s|610000 | 34260 | 2261k| 23M| 36 | 5 | 115 | 119 | 6 | 115 | 11 | 24 | 16k|4949 | 0.000000e+00 | 2.000000e+00 | Inf
226.79/226.97 c 217s|620000 | 34588 | 2293k| 23M| 36 | 5 | 115 | 104 | 6 | 115 | 11 | 24 | 16k|4962 | 0.000000e+00 | 2.000000e+00 | Inf
229.99/230.14 c 220s|630000 | 34909 | 2325k| 23M| 36 | - | 115 | 105 | 5 | 0 | 0 | 24 | 17k|4976 | 0.000000e+00 | 2.000000e+00 | Inf
233.19/233.31 c 223s|640000 | 34604 | 2356k| 23M| 36 | - | 115 | 143 | 6 | 115 | 11 | 24 | 17k|4989 | 0.000000e+00 | 2.000000e+00 | Inf
236.48/236.67 c 226s|650000 | 35426 | 2390k| 24M| 36 | 5 | 115 | 110 | 6 | 115 | 11 | 24 | 17k|5016 | 0.000000e+00 | 2.000000e+00 | Inf
239.78/239.94 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
239.78/239.94 c 229s|660000 | 35390 | 2423k| 24M| 36 | - | 115 | 109 | 5 | 0 | 0 | 24 | 17k|5042 | 0.000000e+00 | 2.000000e+00 | Inf
242.99/243.15 c 232s|670000 | 35131 | 2456k| 24M| 36 | - | 115 | 90 | 11 | 115 | 11 | 24 | 18k|5071 | 0.000000e+00 | 2.000000e+00 | Inf
246.18/246.40 c 235s|680000 | 35067 | 2490k| 24M| 36 | 5 | 115 | 95 | 6 | 115 | 11 | 24 | 18k|5090 | 0.000000e+00 | 2.000000e+00 | Inf
249.48/249.62 c 238s|690000 | 34913 | 2524k| 24M| 36 | - | 115 | 85 | 7 | 0 | 0 | 24 | 18k|5113 | 0.000000e+00 | 2.000000e+00 | Inf
252.68/252.84 c 241s|700000 | 34968 | 2556k| 24M| 36 | 5 | 115 | 96 | 6 | 115 | 11 | 24 | 18k|5118 | 0.000000e+00 | 2.000000e+00 | Inf
255.88/256.08 c 245s|710000 | 34999 | 2589k| 24M| 36 | 5 | 115 | 117 | 8 | 115 | 11 | 24 | 18k|5136 | 0.000000e+00 | 2.000000e+00 | Inf
259.28/259.44 c 248s|720000 | 35090 | 2624k| 24M| 36 | 5 | 115 | 126 | 6 | 115 | 11 | 24 | 19k|5144 | 0.000000e+00 | 2.000000e+00 | Inf
262.68/262.81 c 251s|730000 | 35691 | 2658k| 24M| 36 | - | 115 | 147 | 7 | 115 | 11 | 24 | 19k|5153 | 0.000000e+00 | 2.000000e+00 | Inf
266.07/266.22 c 254s|740000 | 35677 | 2692k| 24M| 36 | 5 | 115 | 137 | 6 | 115 | 11 | 24 | 19k|5162 | 0.000000e+00 | 2.000000e+00 | Inf
269.57/269.74 c 258s|750000 | 37306 | 2730k| 25M| 36 | - | 115 | 141 | 9 | 0 | 0 | 24 | 20k|5171 | 0.000000e+00 | 2.000000e+00 | Inf
272.97/273.15 c 261s|760000 | 38095 | 2766k| 26M| 36 | - | 115 | 142 | 7 | 115 | 11 | 24 | 20k|5183 | 0.000000e+00 | 2.000000e+00 | Inf
276.37/276.53 c 264s|770000 | 38859 | 2802k| 26M| 36 | 5 | 115 | 110 | 6 | 115 | 11 | 24 | 20k|5196 | 0.000000e+00 | 2.000000e+00 | Inf
279.76/279.91 c 267s|780000 | 39216 | 2837k| 27M| 36 | - | 115 | 114 | 5 | 115 | 11 | 24 | 21k|5219 | 0.000000e+00 | 2.000000e+00 | Inf
283.16/283.32 c 271s|790000 | 39919 | 2873k| 27M| 36 | - | 115 | 109 | 5 | 115 | 11 | 24 | 21k|5238 | 0.000000e+00 | 2.000000e+00 | Inf
287.87/288.07 c 275s|800000 | 40568 | 2910k| 28M| 36 | 5 | 115 | 102 | 8 | 115 | 11 | 24 | 21k|5358 | 0.000000e+00 | 2.000000e+00 | Inf
291.17/291.36 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
291.17/291.36 c 278s|810000 | 40899 | 2944k| 28M| 36 | - | 115 | 107 | 6 | 115 | 11 | 24 | 21k|5375 | 0.000000e+00 | 2.000000e+00 | Inf
294.47/294.66 c 281s|820000 | 40958 | 2978k| 28M| 36 | - | 115 | 105 | 7 | 115 | 11 | 24 | 21k|5394 | 0.000000e+00 | 2.000000e+00 | Inf
297.76/297.99 c 284s|830000 | 40913 | 3012k| 28M| 36 | 5 | 115 | 100 | 7 | 115 | 11 | 24 | 22k|5410 | 0.000000e+00 | 2.000000e+00 | Inf
301.16/301.37 c 288s|840000 | 41139 | 3047k| 28M| 36 | 5 | 115 | 95 | 6 | 115 | 11 | 24 | 22k|5430 | 0.000000e+00 | 2.000000e+00 | Inf
304.47/304.65 c 291s|850000 | 41229 | 3080k| 29M| 36 | - | 115 | 96 | 6 | 115 | 11 | 24 | 22k|5449 | 0.000000e+00 | 2.000000e+00 | Inf
307.86/308.06 c 294s|860000 | 41945 | 3116k| 29M| 36 | 5 | 115 | 105 | 6 | 115 | 11 | 24 | 22k|5464 | 0.000000e+00 | 2.000000e+00 | Inf
311.16/311.38 c 297s|870000 | 42698 | 3150k| 29M| 36 | 5 | 115 | 108 | 9 | 115 | 11 | 24 | 23k|5489 | 0.000000e+00 | 2.000000e+00 | Inf
314.46/314.63 c 300s|880000 | 42675 | 3184k| 30M| 36 | 5 | 115 | 108 | 6 | 115 | 11 | 24 | 23k|5510 | 0.000000e+00 | 2.000000e+00 | Inf
317.76/317.93 c 303s|890000 | 42714 | 3218k| 30M| 36 | - | 115 | 104 | 11 | 115 | 11 | 24 | 23k|5538 | 0.000000e+00 | 2.000000e+00 | Inf
321.06/321.22 c 307s|900000 | 42700 | 3252k| 30M| 36 | - | 115 | 102 | 6 | 115 | 11 | 24 | 23k|5548 | 0.000000e+00 | 2.000000e+00 | Inf
324.36/324.57 c 310s|910000 | 42947 | 3287k| 30M| 36 | - | 115 | 95 | 6 | 115 | 11 | 24 | 24k|5574 | 0.000000e+00 | 2.000000e+00 | Inf
327.65/327.83 c 313s|920000 | 42834 | 3321k| 30M| 36 | 5 | 115 | 111 | 6 | 115 | 11 | 24 | 24k|5597 | 0.000000e+00 | 2.000000e+00 | Inf
330.95/331.11 c 316s|930000 | 42921 | 3355k| 30M| 36 | 5 | 115 | 116 | 6 | 115 | 11 | 24 | 24k|5610 | 0.000000e+00 | 2.000000e+00 | Inf
334.15/334.36 c 319s|940000 | 43184 | 3388k| 30M| 36 | 5 | 115 | 121 | 6 | 115 | 11 | 24 | 24k|5699 | 0.000000e+00 | 2.000000e+00 | Inf
337.65/337.83 c 322s|950000 | 44180 | 3424k| 31M| 36 | 5 | 115 | 125 | 6 | 115 | 11 | 24 | 25k|5720 | 0.000000e+00 | 2.000000e+00 | Inf
340.95/341.15 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
340.95/341.15 c 326s|960000 | 44429 | 3459k| 31M| 36 | - | 115 | 118 | 6 | 0 | 0 | 24 | 25k|5740 | 0.000000e+00 | 2.000000e+00 | Inf
344.24/344.45 c 329s|970000 | 44258 | 3493k| 31M| 36 | - | 115 | 116 | 6 | 115 | 11 | 24 | 25k|5758 | 0.000000e+00 | 2.000000e+00 | Inf
347.45/347.64 c 332s|980000 | 44032 | 3526k| 31M| 36 | 5 | 115 | 115 | 6 | 115 | 11 | 24 | 25k|5778 | 0.000000e+00 | 2.000000e+00 | Inf
350.65/350.84 c 335s|990000 | 43569 | 3560k| 31M| 36 | 5 | 115 | 115 | 6 | 115 | 11 | 24 | 26k|5796 | 0.000000e+00 | 2.000000e+00 | Inf
353.84/354.10 c 338s| 1000k| 43514 | 3595k| 31M| 36 | - | 115 | 106 | 6 | 115 | 11 | 24 | 26k|5812 | 0.000000e+00 | 2.000000e+00 | Inf
357.24/357.44 c 341s| 1010k| 43277 | 3632k| 31M| 36 | 5 | 115 | 113 | 7 | 115 | 11 | 24 | 26k|5823 | 0.000000e+00 | 2.000000e+00 | Inf
360.74/360.99 c 344s| 1020k| 44208 | 3671k| 31M| 36 | 5 | 115 | 103 | 6 | 115 | 11 | 24 | 26k|5854 | 0.000000e+00 | 2.000000e+00 | Inf
364.33/364.51 c 348s| 1030k| 45934 | 3709k| 32M| 36 | 5 | 115 | 103 | 8 | 115 | 11 | 24 | 26k|5867 | 0.000000e+00 | 2.000000e+00 | Inf
367.73/367.92 c 351s| 1040k| 47143 | 3746k| 33M| 36 | - | 115 | 109 | 7 | 115 | 11 | 24 | 26k|5882 | 0.000000e+00 | 2.000000e+00 | Inf
371.04/371.21 c 354s| 1050k| 47635 | 3782k| 33M| 36 | - | 115 | 102 | 6 | 115 | 11 | 24 | 27k|5898 | 0.000000e+00 | 2.000000e+00 | Inf
374.13/374.39 c 357s| 1060k| 47682 | 3815k| 34M| 36 | - | 115 | 101 | 6 | 115 | 11 | 24 | 27k|5923 | 0.000000e+00 | 2.000000e+00 | Inf
377.44/377.65 c 360s| 1070k| 47784 | 3848k| 34M| 36 | 5 | 115 | 108 | 7 | 115 | 11 | 24 | 27k|5946 | 0.000000e+00 | 2.000000e+00 | Inf
380.63/380.88 c 363s| 1080k| 47803 | 3882k| 34M| 36 | 5 | 115 | 111 | 7 | 115 | 11 | 24 | 27k|5968 | 0.000000e+00 | 2.000000e+00 | Inf
383.83/384.07 c 367s| 1090k| 47733 | 3914k| 34M| 36 | 5 | 115 | 102 | 6 | 115 | 11 | 24 | 27k|5990 | 0.000000e+00 | 2.000000e+00 | Inf
387.03/387.24 c 370s| 1100k| 47519 | 3947k| 34M| 36 | - | 115 | 111 | 7 | 115 | 11 | 24 | 27k|6014 | 0.000000e+00 | 2.000000e+00 | Inf
390.24/390.42 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
390.24/390.42 c 373s| 1110k| 47159 | 3980k| 34M| 36 | - | 115 | 113 | 6 | 115 | 11 | 24 | 28k|6032 | 0.000000e+00 | 2.000000e+00 | Inf
393.72/393.98 c 376s| 1120k| 48587 | 4016k| 35M| 36 | - | 115 | 101 | 6 | 115 | 11 | 24 | 28k|6096 | 0.000000e+00 | 2.000000e+00 | Inf
397.12/397.31 c 379s| 1130k| 49680 | 4050k| 35M| 36 | - | 115 | 113 | 6 | 115 | 11 | 24 | 28k|6123 | 0.000000e+00 | 2.000000e+00 | Inf
400.41/400.62 c 382s| 1140k| 50349 | 4084k| 36M| 36 | 5 | 115 | 96 | 6 | 115 | 11 | 24 | 28k|6150 | 0.000000e+00 | 2.000000e+00 | Inf
403.81/404.03 c 386s| 1150k| 51279 | 4120k| 36M| 36 | - | 115 | 97 | 6 | 115 | 11 | 24 | 28k|6179 | 0.000000e+00 | 2.000000e+00 | Inf
407.10/407.34 c 389s| 1160k| 51761 | 4156k| 37M| 36 | 5 | 115 | 99 | 6 | 115 | 11 | 24 | 29k|6197 | 0.000000e+00 | 2.000000e+00 | Inf
410.80/411.08 c 392s| 1170k| 53637 | 4195k| 38M| 36 | 5 | 115 | 95 | 6 | 115 | 11 | 24 | 29k|6248 | 0.000000e+00 | 2.000000e+00 | Inf
414.40/414.62 c 396s| 1180k| 55043 | 4232k| 39M| 36 | 5 | 115 | 98 | 6 | 115 | 11 | 24 | 29k|6275 | 0.000000e+00 | 2.000000e+00 | Inf
417.80/418.04 c 399s| 1190k| 55667 | 4268k| 39M| 36 | 5 | 115 | 100 | 6 | 115 | 11 | 24 | 29k|6288 | 0.000000e+00 | 2.000000e+00 | Inf
421.20/421.48 c 402s| 1200k| 56118 | 4304k| 39M| 36 | 5 | 115 | 96 | 7 | 115 | 11 | 24 | 29k|6313 | 0.000000e+00 | 2.000000e+00 | Inf
424.60/424.90 c 405s| 1210k| 56912 | 4340k| 40M| 36 | - | 115 | 96 | 7 | 115 | 11 | 24 | 30k|6336 | 0.000000e+00 | 2.000000e+00 | Inf
428.00/428.26 c 409s| 1220k| 57870 | 4374k| 41M| 36 | 5 | 115 | 90 | 7 | 115 | 11 | 24 | 30k|6350 | 0.000000e+00 | 2.000000e+00 | Inf
431.49/431.70 c 412s| 1230k| 58905 | 4410k| 41M| 36 | 5 | 115 | 101 | 7 | 115 | 11 | 24 | 30k|6363 | 0.000000e+00 | 2.000000e+00 | Inf
434.79/435.02 c 415s| 1240k| 59361 | 4445k| 42M| 36 | - | 115 | 106 | 6 | 115 | 11 | 24 | 30k|6383 | 0.000000e+00 | 2.000000e+00 | Inf
438.09/438.38 c 418s| 1250k| 60108 | 4479k| 42M| 36 | - | 115 | 94 | 6 | 115 | 11 | 24 | 30k|6421 | 0.000000e+00 | 2.000000e+00 | Inf
441.48/441.77 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
441.48/441.77 c 422s| 1260k| 61008 | 4514k| 43M| 36 | 5 | 115 | 99 | 6 | 115 | 11 | 24 | 31k|6441 | 0.000000e+00 | 2.000000e+00 | Inf
444.79/445.08 c 425s| 1270k| 61321 | 4547k| 43M| 36 | 5 | 115 | 105 | 6 | 115 | 11 | 24 | 31k|6461 | 0.000000e+00 | 2.000000e+00 | Inf
448.08/448.35 c 428s| 1280k| 61710 | 4581k| 43M| 36 | 5 | 115 | 108 | 6 | 115 | 11 | 24 | 31k|6482 | 0.000000e+00 | 2.000000e+00 | Inf
451.48/451.74 c 431s| 1290k| 62922 | 4617k| 44M| 36 | - | 115 | 106 | 6 | 115 | 11 | 24 | 31k|6500 | 0.000000e+00 | 2.000000e+00 | Inf
454.79/455.05 c 434s| 1300k| 63275 | 4651k| 44M| 36 | - | 115 | 104 | 7 | 115 | 11 | 24 | 31k|6520 | 0.000000e+00 | 2.000000e+00 | Inf
458.08/458.38 c 437s| 1310k| 63213 | 4685k| 44M| 36 | 5 | 115 | 100 | 8 | 115 | 11 | 24 | 32k|6529 | 0.000000e+00 | 2.000000e+00 | Inf
461.48/461.74 c 441s| 1320k| 63867 | 4719k| 45M| 36 | - | 115 | 103 | 6 | 115 | 11 | 24 | 32k|6559 | 0.000000e+00 | 2.000000e+00 | Inf
465.09/465.31 c 444s| 1330k| 65585 | 4756k| 46M| 36 | 5 | 115 | 100 | 6 | 115 | 11 | 24 | 32k|6587 | 0.000000e+00 | 2.000000e+00 | Inf
468.39/468.66 c 447s| 1340k| 66370 | 4791k| 46M| 36 | 5 | 115 | 96 | 6 | 115 | 11 | 24 | 32k|6609 | 0.000000e+00 | 2.000000e+00 | Inf
471.68/471.98 c 450s| 1350k| 66858 | 4826k| 47M| 36 | - | 115 | 94 | 6 | 115 | 11 | 24 | 32k|6632 | 0.000000e+00 | 2.000000e+00 | Inf
474.99/475.27 c 453s| 1360k| 67183 | 4860k| 47M| 36 | 5 | 115 | 103 | 6 | 115 | 11 | 24 | 33k|6656 | 0.000000e+00 | 2.000000e+00 | Inf
478.28/478.59 c 457s| 1370k| 67402 | 4895k| 47M| 36 | - | 115 | 102 | 6 | 115 | 11 | 24 | 33k|6684 | 0.000000e+00 | 2.000000e+00 | Inf
481.68/481.90 c 460s| 1380k| 67461 | 4929k| 47M| 36 | - | 115 | 102 | 7 | 115 | 11 | 24 | 33k|6710 | 0.000000e+00 | 2.000000e+00 | Inf
484.88/485.18 c 463s| 1390k| 67580 | 4963k| 48M| 36 | - | 115 | 99 | 6 | 115 | 11 | 24 | 33k|6730 | 0.000000e+00 | 2.000000e+00 | Inf
488.17/488.42 c 466s| 1400k| 67599 | 4996k| 48M| 36 | - | 115 | 98 | 6 | 115 | 11 | 24 | 33k|6755 | 0.000000e+00 | 2.000000e+00 | Inf
491.48/491.79 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
491.48/491.79 c 469s| 1410k| 68304 | 5032k| 48M| 36 | 5 | 115 | 99 | 6 | 115 | 11 | 24 | 33k|6785 | 0.000000e+00 | 2.000000e+00 | Inf
494.77/495.02 c 472s| 1420k| 68240 | 5065k| 48M| 36 | 5 | 115 | 101 | 8 | 115 | 11 | 24 | 34k|6817 | 0.000000e+00 | 2.000000e+00 | Inf
498.47/498.75 c 476s| 1430k| 69784 | 5103k| 49M| 36 | 5 | 115 | 104 | 7 | 115 | 11 | 24 | 34k|6852 | 0.000000e+00 | 2.000000e+00 | Inf
502.48/502.76 c 480s| 1440k| 72998 | 5145k| 51M| 36 | 5 | 115 | 102 | 6 | 115 | 11 | 24 | 34k|6861 | 0.000000e+00 | 2.000000e+00 | Inf
506.07/506.33 c 483s| 1450k| 74862 | 5183k| 52M| 36 | - | 115 | 103 | 6 | 115 | 11 | 24 | 34k|6875 | 0.000000e+00 | 2.000000e+00 | Inf
509.67/509.99 c 486s| 1460k| 76981 | 5220k| 53M| 36 | - | 115 | 107 | 7 | 115 | 11 | 24 | 35k|6892 | 0.000000e+00 | 2.000000e+00 | Inf
513.37/513.70 c 490s| 1470k| 79375 | 5258k| 54M| 36 | 5 | 115 | 105 | 7 | 115 | 11 | 24 | 35k|6911 | 0.000000e+00 | 2.000000e+00 | Inf
516.96/517.21 c 493s| 1480k| 80803 | 5295k| 55M| 36 | - | 115 | 101 | 6 | 115 | 11 | 24 | 35k|6933 | 0.000000e+00 | 2.000000e+00 | Inf
520.36/520.65 c 497s| 1490k| 81891 | 5331k| 55M| 36 | - | 115 | 101 | 6 | 115 | 11 | 24 | 35k|6952 | 0.000000e+00 | 2.000000e+00 | Inf
523.76/524.00 c 500s| 1500k| 82825 | 5366k| 56M| 36 | 4 | 115 | 102 | 8 | 115 | 11 | 24 | 36k|6969 | 0.000000e+00 | 2.000000e+00 | Inf
527.06/527.31 c 503s| 1510k| 83578 | 5400k| 57M| 36 | 5 | 115 | 107 | 6 | 115 | 11 | 24 | 36k|6992 | 0.000000e+00 | 2.000000e+00 | Inf
530.35/530.61 c 506s| 1520k| 84380 | 5434k| 57M| 36 | - | 115 | 100 | 6 | 115 | 11 | 24 | 36k|7006 | 0.000000e+00 | 2.000000e+00 | Inf
533.65/533.90 c 509s| 1530k| 84824 | 5468k| 58M| 36 | 5 | 115 | 108 | 6 | 115 | 11 | 24 | 36k|7020 | 0.000000e+00 | 2.000000e+00 | Inf
536.85/537.17 c 512s| 1540k| 85522 | 5501k| 58M| 36 | 5 | 115 | 102 | 6 | 115 | 11 | 24 | 36k|7032 | 0.000000e+00 | 2.000000e+00 | Inf
540.25/540.50 c 516s| 1550k| 86345 | 5534k| 59M| 36 | - | 115 | 107 | 7 | 115 | 11 | 24 | 36k|7052 | 0.000000e+00 | 2.000000e+00 | Inf
543.55/543.80 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
543.55/543.80 c 519s| 1560k| 86918 | 5567k| 59M| 36 | 5 | 115 | 107 | 6 | 115 | 11 | 24 | 37k|7063 | 0.000000e+00 | 2.000000e+00 | Inf
546.84/547.10 c 522s| 1570k| 87315 | 5601k| 59M| 36 | 5 | 115 | 112 | 6 | 115 | 11 | 24 | 37k|7074 | 0.000000e+00 | 2.000000e+00 | Inf
550.35/550.64 c 525s| 1580k| 88990 | 5637k| 60M| 36 | - | 115 | 108 | 7 | 0 | 0 | 24 | 37k|7099 | 0.000000e+00 | 2.000000e+00 | Inf
553.65/553.98 c 528s| 1590k| 90123 | 5671k| 61M| 36 | 5 | 115 | 106 | 7 | 115 | 11 | 24 | 37k|7123 | 0.000000e+00 | 2.000000e+00 | Inf
557.04/557.30 c 532s| 1600k| 91003 | 5704k| 62M| 36 | - | 115 | 105 | 6 | 115 | 11 | 24 | 38k|7142 | 0.000000e+00 | 2.000000e+00 | Inf
560.34/560.64 c 535s| 1610k| 91916 | 5739k| 62M| 36 | - | 115 | 102 | 6 | 115 | 11 | 24 | 38k|7160 | 0.000000e+00 | 2.000000e+00 | Inf
563.75/564.05 c 538s| 1620k| 92774 | 5774k| 63M| 36 | - | 115 | 104 | 6 | 115 | 11 | 24 | 38k|7185 | 0.000000e+00 | 2.000000e+00 | Inf
567.04/567.35 c 541s| 1630k| 93513 | 5807k| 63M| 36 | - | 115 | 103 | 6 | 115 | 11 | 24 | 38k|7211 | 0.000000e+00 | 2.000000e+00 | Inf
570.34/570.61 c 544s| 1640k| 93803 | 5841k| 64M| 36 | - | 115 | 108 | 6 | 115 | 11 | 24 | 38k|7233 | 0.000000e+00 | 2.000000e+00 | Inf
573.54/573.83 c 547s| 1650k| 93908 | 5873k| 64M| 36 | 4 | 115 | 107 | 6 | 115 | 11 | 24 | 39k|7245 | 0.000000e+00 | 2.000000e+00 | Inf
576.84/577.11 c 550s| 1660k| 94298 | 5907k| 64M| 36 | - | 115 | 106 | 6 | 115 | 11 | 24 | 39k|7258 | 0.000000e+00 | 2.000000e+00 | Inf
580.13/580.41 c 554s| 1670k| 94634 | 5940k| 65M| 36 | - | 115 | 105 | 6 | 115 | 11 | 24 | 39k|7271 | 0.000000e+00 | 2.000000e+00 | Inf
583.34/583.69 c 557s| 1680k| 94877 | 5974k| 65M| 36 | 5 | 115 | 107 | 6 | 115 | 11 | 24 | 39k|7283 | 0.000000e+00 | 2.000000e+00 | Inf
586.64/586.96 c 560s| 1690k| 94981 | 6008k| 65M| 36 | - | 115 | 104 | 6 | 115 | 11 | 24 | 39k|7292 | 0.000000e+00 | 2.000000e+00 | Inf
589.83/590.15 c 563s| 1700k| 94950 | 6041k| 65M| 36 | 5 | 115 | 110 | 6 | 115 | 11 | 24 | 39k|7309 | 0.000000e+00 | 2.000000e+00 | Inf
593.03/593.36 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
593.03/593.36 c 566s| 1710k| 94939 | 6073k| 65M| 36 | - | 115 | 113 | 29 | 0 | 0 | 24 | 40k|7331 | 0.000000e+00 | 2.000000e+00 | Inf
596.23/596.52 c 569s| 1720k| 94946 | 6104k| 65M| 36 | - | 115 | 107 | 6 | 115 | 11 | 24 | 40k|7349 | 0.000000e+00 | 2.000000e+00 | Inf
599.53/599.81 c 572s| 1730k| 94951 | 6138k| 66M| 36 | 5 | 115 | 110 | 6 | 115 | 11 | 24 | 40k|7369 | 0.000000e+00 | 2.000000e+00 | Inf
602.83/603.13 c 575s| 1740k| 95162 | 6171k| 66M| 36 | - | 115 | 112 | 6 | 115 | 11 | 24 | 40k|7393 | 0.000000e+00 | 2.000000e+00 | Inf
606.02/606.34 c 578s| 1750k| 95326 | 6203k| 66M| 36 | 5 | 115 | 105 | 6 | 115 | 11 | 24 | 40k|7403 | 0.000000e+00 | 2.000000e+00 | Inf
609.23/609.51 c 581s| 1760k| 95259 | 6235k| 66M| 36 | - | 115 | 110 | 14 | 0 | 0 | 24 | 41k|7422 | 0.000000e+00 | 2.000000e+00 | Inf
612.33/612.69 c 584s| 1770k| 95277 | 6267k| 66M| 36 | 5 | 115 | 111 | 6 | 115 | 11 | 24 | 41k|7434 | 0.000000e+00 | 2.000000e+00 | Inf
615.52/615.89 c 587s| 1780k| 95145 | 6299k| 66M| 36 | - | 115 | 113 | 7 | 115 | 11 | 24 | 41k|7450 | 0.000000e+00 | 2.000000e+00 | Inf
618.82/619.17 c 591s| 1790k| 95229 | 6333k| 66M| 36 | 5 | 115 | 104 | 6 | 115 | 11 | 24 | 41k|7460 | 0.000000e+00 | 2.000000e+00 | Inf
622.02/622.40 c 594s| 1800k| 94946 | 6365k| 66M| 36 | 5 | 115 | 111 | 7 | 115 | 11 | 24 | 41k|7474 | 0.000000e+00 | 2.000000e+00 | Inf
625.31/625.61 c 597s| 1810k| 94862 | 6398k| 67M| 36 | - | 115 | 113 | 6 | 115 | 11 | 24 | 42k|7488 | 0.000000e+00 | 2.000000e+00 | Inf
628.51/628.83 c 600s| 1820k| 94859 | 6429k| 67M| 36 | - | 115 | 111 | 6 | 115 | 11 | 24 | 42k|7506 | 0.000000e+00 | 2.000000e+00 | Inf
631.71/632.03 c 603s| 1830k| 94471 | 6462k| 67M| 36 | - | 115 | 117 | 7 | 115 | 11 | 24 | 42k|7523 | 0.000000e+00 | 2.000000e+00 | Inf
634.90/635.28 c 606s| 1840k| 94557 | 6496k| 67M| 36 | - | 115 | 114 | 6 | 115 | 11 | 24 | 42k|7534 | 0.000000e+00 | 2.000000e+00 | Inf
638.21/638.54 c 609s| 1850k| 94611 | 6528k| 67M| 36 | 5 | 115 | 116 | 6 | 115 | 11 | 24 | 42k|7561 | 0.000000e+00 | 2.000000e+00 | Inf
641.50/641.82 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
641.50/641.82 c 612s| 1860k| 94697 | 6560k| 67M| 36 | 5 | 115 | 113 | 6 | 115 | 11 | 24 | 43k|7578 | 0.000000e+00 | 2.000000e+00 | Inf
645.01/645.30 c 615s| 1870k| 96195 | 6597k| 68M| 36 | 5 | 115 | 118 | 7 | 115 | 11 | 24 | 43k|7588 | 0.000000e+00 | 2.000000e+00 | Inf
648.21/648.59 c 619s| 1880k| 96628 | 6631k| 68M| 36 | - | 115 | 124 | 6 | 115 | 11 | 24 | 43k|7602 | 0.000000e+00 | 2.000000e+00 | Inf
651.60/651.90 c 622s| 1890k| 96934 | 6666k| 68M| 36 | - | 115 | 116 | 6 | 115 | 11 | 24 | 43k|7616 | 0.000000e+00 | 2.000000e+00 | Inf
654.80/655.18 c 625s| 1900k| 97087 | 6701k| 69M| 36 | - | 115 | 116 | 6 | 115 | 11 | 24 | 44k|7627 | 0.000000e+00 | 2.000000e+00 | Inf
658.20/658.51 c 628s| 1910k| 97275 | 6735k| 69M| 36 | - | 115 | 115 | 6 | 115 | 11 | 24 | 44k|7635 | 0.000000e+00 | 2.000000e+00 | Inf
661.50/661.83 c 631s| 1920k| 97503 | 6770k| 69M| 36 | - | 115 | 117 | 6 | 115 | 11 | 24 | 44k|7646 | 0.000000e+00 | 2.000000e+00 | Inf
664.70/665.07 c 634s| 1930k| 97253 | 6802k| 69M| 36 | 5 | 115 | 119 | 6 | 115 | 11 | 24 | 44k|7654 | 0.000000e+00 | 2.000000e+00 | Inf
667.99/668.39 c 637s| 1940k| 97285 | 6836k| 69M| 36 | 5 | 115 | 117 | 6 | 115 | 11 | 24 | 44k|7662 | 0.000000e+00 | 2.000000e+00 | Inf
671.19/671.57 c 640s| 1950k| 97052 | 6867k| 69M| 36 | 5 | 115 | 113 | 7 | 115 | 11 | 24 | 45k|7680 | 0.000000e+00 | 2.000000e+00 | Inf
674.39/674.74 c 644s| 1960k| 96701 | 6898k| 69M| 36 | - | 115 | 113 | 9 | 115 | 11 | 24 | 45k|7697 | 0.000000e+00 | 2.000000e+00 | Inf
677.59/677.98 c 647s| 1970k| 96293 | 6930k| 69M| 36 | - | 115 | 114 | 6 | 115 | 11 | 24 | 45k|7714 | 0.000000e+00 | 2.000000e+00 | Inf
680.89/681.21 c 650s| 1980k| 95691 | 6962k| 69M| 36 | - | 115 | 106 | 6 | 115 | 11 | 24 | 45k|7735 | 0.000000e+00 | 2.000000e+00 | Inf
684.09/684.47 c 653s| 1990k| 95412 | 6996k| 69M| 36 | 5 | 115 | 122 | 6 | 115 | 11 | 24 | 45k|7754 | 0.000000e+00 | 2.000000e+00 | Inf
687.29/687.65 c 656s| 2000k| 95075 | 7028k| 68M| 36 | - | 115 | 111 | 11 | 0 | 0 | 24 | 46k|7764 | 0.000000e+00 | 2.000000e+00 | Inf
690.49/690.86 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
690.49/690.86 c 659s| 2010k| 94718 | 7061k| 68M| 36 | 5 | 115 | 110 | 6 | 115 | 11 | 24 | 46k|7780 | 0.000000e+00 | 2.000000e+00 | Inf
693.69/694.06 c 662s| 2020k| 94470 | 7093k| 68M| 36 | - | 115 | 114 | 6 | 0 | 0 | 24 | 46k|7797 | 0.000000e+00 | 2.000000e+00 | Inf
696.88/697.29 c 665s| 2030k| 94009 | 7125k| 68M| 36 | - | 115 | 105 | 18 | 0 | 0 | 24 | 46k|7819 | 0.000000e+00 | 2.000000e+00 | Inf
700.08/700.49 c 668s| 2040k| 93514 | 7157k| 68M| 36 | 5 | 115 | 111 | 6 | 115 | 11 | 24 | 46k|7830 | 0.000000e+00 | 2.000000e+00 | Inf
703.29/703.69 c 671s| 2050k| 92801 | 7188k| 67M| 36 | 5 | 115 | 111 | 6 | 115 | 11 | 24 | 46k|7857 | 0.000000e+00 | 2.000000e+00 | Inf
706.48/706.87 c 674s| 2060k| 92265 | 7220k| 67M| 36 | 5 | 115 | 114 | 6 | 115 | 11 | 24 | 47k|7875 | 0.000000e+00 | 2.000000e+00 | Inf
709.78/710.10 c 677s| 2070k| 92127 | 7253k| 67M| 36 | 5 | 115 | 118 | 6 | 115 | 11 | 24 | 47k|7905 | 0.000000e+00 | 2.000000e+00 | Inf
713.18/713.52 c 681s| 2080k| 91991 | 7288k| 67M| 36 | - | 115 | 100 | 6 | 115 | 11 | 24 | 47k|8121 | 0.000000e+00 | 2.000000e+00 | Inf
716.58/716.92 c 684s| 2090k| 92687 | 7323k| 67M| 36 | 5 | 115 | 109 | 7 | 115 | 11 | 24 | 47k|8150 | 0.000000e+00 | 2.000000e+00 | Inf
719.88/720.25 c 687s| 2100k| 92869 | 7357k| 67M| 36 | - | 115 | 111 | 6 | 115 | 11 | 24 | 47k|8193 | 0.000000e+00 | 2.000000e+00 | Inf
723.17/723.52 c 690s| 2110k| 92685 | 7390k| 67M| 36 | - | 115 | 103 | 7 | 115 | 11 | 24 | 47k|8216 | 0.000000e+00 | 2.000000e+00 | Inf
726.47/726.87 c 693s| 2120k| 93219 | 7424k| 68M| 36 | - | 115 | 104 | 6 | 115 | 11 | 24 | 48k|8392 | 0.000000e+00 | 2.000000e+00 | Inf
729.77/730.14 c 696s| 2130k| 93090 | 7458k| 68M| 36 | - | 115 | 109 | 6 | 115 | 11 | 24 | 48k|8406 | 0.000000e+00 | 2.000000e+00 | Inf
733.07/733.43 c 699s| 2140k| 92623 | 7492k| 68M| 36 | - | 115 | 102 | 6 | 115 | 11 | 24 | 48k|8432 | 0.000000e+00 | 2.000000e+00 | Inf
736.27/736.69 c 703s| 2150k| 92087 | 7525k| 67M| 36 | 5 | 115 | 111 | 7 | 115 | 11 | 24 | 48k|8451 | 0.000000e+00 | 2.000000e+00 | Inf
739.97/740.37 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
739.97/740.37 c 706s| 2160k| 93713 | 7562k| 68M| 36 | - | 115 | 112 | 10 | 115 | 11 | 24 | 48k|8461 | 0.000000e+00 | 2.000000e+00 | Inf
743.57/743.91 c 710s| 2170k| 95567 | 7597k| 69M| 36 | 5 | 115 | 108 | 6 | 115 | 11 | 24 | 49k|8473 | 0.000000e+00 | 2.000000e+00 | Inf
746.97/747.32 c 713s| 2180k| 97002 | 7632k| 70M| 36 | 5 | 115 | 109 | 6 | 115 | 11 | 24 | 49k|8480 | 0.000000e+00 | 2.000000e+00 | Inf
750.26/750.70 c 716s| 2190k| 98037 | 7667k| 71M| 36 | 5 | 115 | 111 | 6 | 115 | 11 | 24 | 49k|8488 | 0.000000e+00 | 2.000000e+00 | Inf
753.67/754.08 c 719s| 2200k| 99182 | 7701k| 71M| 36 | 5 | 115 | 110 | 6 | 115 | 11 | 24 | 49k|8502 | 0.000000e+00 | 2.000000e+00 | Inf
756.96/757.39 c 722s| 2210k| 99727 | 7735k| 72M| 36 | 5 | 115 | 109 | 6 | 115 | 11 | 24 | 49k|8521 | 0.000000e+00 | 2.000000e+00 | Inf
760.36/760.71 c 725s| 2220k|100441 | 7768k| 72M| 36 | 5 | 115 | 109 | 6 | 115 | 11 | 24 | 50k|8532 | 0.000000e+00 | 2.000000e+00 | Inf
763.65/764.05 c 729s| 2230k|100815 | 7802k| 73M| 36 | 5 | 115 | 109 | 8 | 115 | 11 | 24 | 50k|8545 | 0.000000e+00 | 2.000000e+00 | Inf
766.96/767.32 c 732s| 2240k|101139 | 7836k| 73M| 36 | - | 115 | 113 | 6 | 115 | 11 | 24 | 50k|8554 | 0.000000e+00 | 2.000000e+00 | Inf
770.25/770.65 c 735s| 2250k|101363 | 7870k| 73M| 36 | 5 | 115 | 114 | 6 | 115 | 11 | 24 | 50k|8567 | 0.000000e+00 | 2.000000e+00 | Inf
773.55/773.91 c 738s| 2260k|101172 | 7903k| 73M| 36 | - | 115 | 114 | 6 | 115 | 11 | 24 | 50k|8579 | 0.000000e+00 | 2.000000e+00 | Inf
776.86/777.25 c 741s| 2270k|101497 | 7938k| 74M| 36 | 5 | 115 | 116 | 7 | 115 | 11 | 24 | 51k|8594 | 0.000000e+00 | 2.000000e+00 | Inf
780.16/780.55 c 744s| 2280k|101350 | 7971k| 74M| 36 | - | 115 | 119 | 6 | 115 | 11 | 24 | 51k|8607 | 0.000000e+00 | 2.000000e+00 | Inf
783.46/783.82 c 747s| 2290k|101272 | 8004k| 74M| 36 | - | 115 | 115 | 6 | 115 | 11 | 24 | 51k|8610 | 0.000000e+00 | 2.000000e+00 | Inf
786.65/787.08 c 751s| 2300k|101459 | 8038k| 74M| 36 | - | 115 | 113 | 6 | 115 | 11 | 24 | 51k|8615 | 0.000000e+00 | 2.000000e+00 | Inf
789.96/790.30 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
789.96/790.30 c 754s| 2310k|101204 | 8070k| 74M| 36 | - | 115 | 114 | 6 | 115 | 11 | 24 | 51k|8631 | 0.000000e+00 | 2.000000e+00 | Inf
793.15/793.56 c 757s| 2320k|101184 | 8104k| 74M| 36 | 5 | 115 | 117 | 6 | 115 | 11 | 24 | 51k|8639 | 0.000000e+00 | 2.000000e+00 | Inf
796.45/796.87 c 760s| 2330k|101238 | 8139k| 74M| 36 | 5 | 115 | 116 | 6 | 115 | 11 | 24 | 52k|8650 | 0.000000e+00 | 2.000000e+00 | Inf
799.65/800.08 c 763s| 2340k|101263 | 8171k| 74M| 36 | - | 115 | 116 | 5 | 115 | 11 | 24 | 52k|8669 | 0.000000e+00 | 2.000000e+00 | Inf
802.94/803.33 c 766s| 2350k|101010 | 8203k| 74M| 36 | 5 | 115 | 116 | 6 | 115 | 11 | 24 | 52k|8675 | 0.000000e+00 | 2.000000e+00 | Inf
806.14/806.60 c 769s| 2360k|100806 | 8236k| 74M| 36 | 5 | 115 | 122 | 6 | 115 | 11 | 24 | 52k|8697 | 0.000000e+00 | 2.000000e+00 | Inf
809.43/809.85 c 772s| 2370k|101082 | 8268k| 75M| 36 | - | 115 | 125 | 8 | 115 | 11 | 24 | 52k|8712 | 0.000000e+00 | 2.000000e+00 | Inf
812.63/813.04 c 775s| 2380k|100906 | 8299k| 75M| 36 | 5 | 115 | 120 | 6 | 115 | 11 | 24 | 53k|8726 | 0.000000e+00 | 2.000000e+00 | Inf
815.84/816.26 c 778s| 2390k|100665 | 8331k| 74M| 36 | - | 115 | 120 | 6 | 115 | 11 | 24 | 53k|8739 | 0.000000e+00 | 2.000000e+00 | Inf
819.04/819.48 c 781s| 2400k|100396 | 8364k| 74M| 36 | - | 115 | 118 | 6 | 115 | 11 | 24 | 53k|8752 | 0.000000e+00 | 2.000000e+00 | Inf
822.34/822.74 c 784s| 2410k|100222 | 8396k| 74M| 36 | - | 115 | 118 | 6 | 0 | 0 | 24 | 53k|8767 | 0.000000e+00 | 2.000000e+00 | Inf
825.53/825.97 c 788s| 2420k|100124 | 8428k| 74M| 36 | - | 115 | 120 | 7 | 115 | 11 | 24 | 53k|8781 | 0.000000e+00 | 2.000000e+00 | Inf
828.73/829.17 c 791s| 2430k| 99721 | 8459k| 74M| 36 | 5 | 115 | 117 | 6 | 115 | 11 | 24 | 53k|8801 | 0.000000e+00 | 2.000000e+00 | Inf
831.93/832.38 c 794s| 2440k| 99302 | 8491k| 74M| 36 | 5 | 115 | 118 | 6 | 115 | 11 | 24 | 54k|8860 | 0.000000e+00 | 2.000000e+00 | Inf
835.43/835.81 c 797s| 2450k| 99850 | 8526k| 74M| 36 | 5 | 115 | 111 | 6 | 115 | 11 | 24 | 54k|8882 | 0.000000e+00 | 2.000000e+00 | Inf
838.63/839.09 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
838.63/839.09 c 800s| 2460k|100042 | 8559k| 75M| 36 | 5 | 115 | 114 | 6 | 115 | 11 | 24 | 54k|8910 | 0.000000e+00 | 2.000000e+00 | Inf
842.03/842.41 c 803s| 2470k|100209 | 8594k| 75M| 36 | 5 | 115 | 116 | 6 | 115 | 11 | 24 | 54k|8921 | 0.000000e+00 | 2.000000e+00 | Inf
845.23/845.68 c 806s| 2480k|100095 | 8628k| 75M| 36 | - | 115 | 119 | 6 | 115 | 11 | 24 | 54k|8930 | 0.000000e+00 | 2.000000e+00 | Inf
848.52/848.97 c 809s| 2490k| 99968 | 8663k| 75M| 36 | - | 115 | 114 | 6 | 115 | 11 | 24 | 54k|8949 | 0.000000e+00 | 2.000000e+00 | Inf
851.82/852.23 c 813s| 2500k| 99847 | 8697k| 75M| 36 | - | 115 | 121 | 6 | 115 | 11 | 24 | 55k|8964 | 0.000000e+00 | 2.000000e+00 | Inf
855.02/855.48 c 816s| 2510k| 99548 | 8730k| 75M| 36 | - | 115 | 108 | 6 | 115 | 11 | 24 | 55k|8978 | 0.000000e+00 | 2.000000e+00 | Inf
858.32/858.70 c 819s| 2520k| 99014 | 8762k| 74M| 36 | - | 115 | 117 | 6 | 115 | 11 | 24 | 55k|8993 | 0.000000e+00 | 2.000000e+00 | Inf
861.51/861.95 c 822s| 2530k| 98805 | 8796k| 74M| 36 | - | 115 | 114 | 7 | 115 | 11 | 24 | 55k|9009 | 0.000000e+00 | 2.000000e+00 | Inf
864.72/865.16 c 825s| 2540k| 98179 | 8828k| 74M| 36 | 5 | 115 | 122 | 7 | 115 | 11 | 24 | 55k|9017 | 0.000000e+00 | 2.000000e+00 | Inf
867.92/868.34 c 828s| 2550k| 97818 | 8860k| 73M| 36 | 5 | 115 | 115 | 6 | 115 | 11 | 24 | 56k|9031 | 0.000000e+00 | 2.000000e+00 | Inf
871.12/871.50 c 831s| 2560k| 97199 | 8892k| 73M| 36 | 5 | 115 | 122 | 6 | 115 | 11 | 24 | 56k|9038 | 0.000000e+00 | 2.000000e+00 | Inf
874.21/874.66 c 834s| 2570k| 96469 | 8923k| 72M| 36 | - | 115 | 111 | 6 | 115 | 11 | 24 | 56k|9049 | 0.000000e+00 | 2.000000e+00 | Inf
877.41/877.86 c 837s| 2580k| 95774 | 8955k| 72M| 36 | 5 | 115 | 116 | 7 | 115 | 11 | 24 | 56k|9060 | 0.000000e+00 | 2.000000e+00 | Inf
880.91/881.32 c 840s| 2590k| 97023 | 8992k| 72M| 36 | 5 | 115 | 120 | 6 | 115 | 11 | 24 | 56k|9084 | 0.000000e+00 | 2.000000e+00 | Inf
884.21/884.62 c 843s| 2600k| 97539 | 9026k| 73M| 36 | - | 115 | 119 | 6 | 115 | 11 | 24 | 57k|9095 | 0.000000e+00 | 2.000000e+00 | Inf
887.41/887.83 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
887.41/887.83 c 846s| 2610k| 97294 | 9058k| 73M| 36 | 5 | 115 | 123 | 6 | 115 | 11 | 24 | 57k|9108 | 0.000000e+00 | 2.000000e+00 | Inf
890.61/891.05 c 850s| 2620k| 96834 | 9091k| 73M| 36 | - | 115 | 123 | 6 | 115 | 11 | 24 | 57k|9123 | 0.000000e+00 | 2.000000e+00 | Inf
893.81/894.27 c 853s| 2630k| 96888 | 9124k| 73M| 36 | 5 | 115 | 122 | 6 | 115 | 11 | 24 | 57k|9133 | 0.000000e+00 | 2.000000e+00 | Inf
897.00/897.48 c 856s| 2640k| 96152 | 9157k| 72M| 36 | 5 | 115 | 122 | 6 | 115 | 11 | 24 | 57k|9150 | 0.000000e+00 | 2.000000e+00 | Inf
900.30/900.76 c 859s| 2650k| 96069 | 9191k| 72M| 36 | 5 | 115 | 111 | 6 | 115 | 11 | 24 | 57k|9163 | 0.000000e+00 | 2.000000e+00 | Inf
903.60/904.09 c 862s| 2660k| 96579 | 9226k| 73M| 36 | 5 | 115 | 113 | 6 | 115 | 11 | 24 | 58k|9207 | 0.000000e+00 | 2.000000e+00 | Inf
906.90/907.30 c 865s| 2670k| 96181 | 9261k| 72M| 36 | - | 115 | 111 | 6 | 115 | 11 | 24 | 58k|9228 | 0.000000e+00 | 2.000000e+00 | Inf
910.01/910.50 c 868s| 2680k| 95782 | 9294k| 72M| 36 | - | 115 | 115 | 6 | 115 | 11 | 24 | 58k|9242 | 0.000000e+00 | 2.000000e+00 | Inf
913.30/913.73 c 871s| 2690k| 95866 | 9328k| 72M| 36 | - | 115 | 115 | 6 | 115 | 11 | 24 | 58k|9260 | 0.000000e+00 | 2.000000e+00 | Inf
916.50/917.00 c 874s| 2700k| 95748 | 9362k| 72M| 36 | - | 115 | 117 | 6 | 115 | 11 | 24 | 58k|9284 | 0.000000e+00 | 2.000000e+00 | Inf
919.80/920.26 c 877s| 2710k| 95340 | 9395k| 72M| 36 | - | 115 | 118 | 6 | 115 | 11 | 24 | 58k|9307 | 0.000000e+00 | 2.000000e+00 | Inf
923.20/923.64 c 881s| 2720k| 95462 | 9430k| 72M| 36 | 5 | 115 | 130 | 7 | 115 | 11 | 24 | 58k|9342 | 0.000000e+00 | 2.000000e+00 | Inf
926.60/927.00 c 884s| 2730k| 95854 | 9465k| 72M| 36 | 5 | 115 | 140 | 6 | 115 | 11 | 24 | 59k|9360 | 0.000000e+00 | 2.000000e+00 | Inf
929.80/930.29 c 887s| 2740k| 95782 | 9498k| 72M| 36 | 5 | 115 | 145 | 7 | 115 | 11 | 24 | 59k|9374 | 0.000000e+00 | 2.000000e+00 | Inf
933.20/933.62 c 890s| 2750k| 96168 | 9532k| 72M| 36 | - | 115 | 146 | 6 | 115 | 11 | 24 | 59k|9388 | 0.000000e+00 | 2.000000e+00 | Inf
936.38/936.88 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
936.38/936.88 c 893s| 2760k| 96227 | 9565k| 73M| 36 | - | 115 | 140 | 6 | 115 | 11 | 24 | 59k|9409 | 0.000000e+00 | 2.000000e+00 | Inf
939.68/940.19 c 896s| 2770k| 96126 | 9597k| 73M| 36 | 5 | 115 | 148 | 6 | 115 | 11 | 24 | 59k|9445 | 0.000000e+00 | 2.000000e+00 | Inf
943.39/943.83 c 900s| 2780k| 97671 | 9636k| 73M| 36 | 5 | 115 | 146 | 6 | 115 | 11 | 24 | 60k|9528 | 0.000000e+00 | 2.000000e+00 | Inf
946.78/947.26 c 903s| 2790k| 99016 | 9673k| 74M| 36 | 5 | 115 | 152 | 6 | 115 | 11 | 24 | 60k|9549 | 0.000000e+00 | 2.000000e+00 | Inf
950.29/950.70 c 906s| 2800k|100356 | 9709k| 75M| 36 | 5 | 115 | 149 | 6 | 115 | 11 | 24 | 60k|9561 | 0.000000e+00 | 2.000000e+00 | Inf
953.59/954.05 c 910s| 2810k|100907 | 9743k| 76M| 36 | - | 115 | 147 | 6 | 115 | 11 | 24 | 60k|9580 | 0.000000e+00 | 2.000000e+00 | Inf
956.89/957.39 c 913s| 2820k|101396 | 9777k| 76M| 36 | 5 | 115 | 149 | 6 | 115 | 11 | 24 | 60k|9599 | 0.000000e+00 | 2.000000e+00 | Inf
960.28/960.72 c 916s| 2830k|101540 | 9810k| 76M| 36 | - | 115 | 147 | 6 | 115 | 11 | 24 | 61k|9626 | 0.000000e+00 | 2.000000e+00 | Inf
963.58/964.03 c 919s| 2840k|101532 | 9844k| 76M| 36 | - | 115 | 154 | 8 | 115 | 11 | 24 | 61k|9640 | 0.000000e+00 | 2.000000e+00 | Inf
967.08/967.52 c 922s| 2850k|102679 | 9880k| 77M| 36 | - | 115 | 153 | 6 | 115 | 11 | 24 | 61k|9653 | 0.000000e+00 | 2.000000e+00 | Inf
970.48/970.90 c 926s| 2860k|103674 | 9915k| 78M| 36 | 5 | 115 | 157 | 6 | 115 | 11 | 24 | 61k|9675 | 0.000000e+00 | 2.000000e+00 | Inf
973.78/974.20 c 929s| 2870k|104550 | 9949k| 78M| 36 | 5 | 115 | 153 | 6 | 115 | 11 | 24 | 61k|9704 | 0.000000e+00 | 2.000000e+00 | Inf
977.07/977.59 c 932s| 2880k|105123 | 9984k| 79M| 36 | 5 | 115 | 154 | 6 | 115 | 11 | 24 | 61k|9728 | 0.000000e+00 | 2.000000e+00 | Inf
980.48/980.92 c 935s| 2890k|105030 | 10018k| 79M| 36 | 5 | 115 | 157 | 8 | 115 | 11 | 24 | 62k|9754 | 0.000000e+00 | 2.000000e+00 | Inf
983.66/984.19 c 938s| 2900k|105126 | 10051k| 79M| 36 | 5 | 115 | 155 | 7 | 115 | 11 | 24 | 62k|9773 | 0.000000e+00 | 2.000000e+00 | Inf
986.96/987.49 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
986.96/987.49 c 941s| 2910k|104843 | 10084k| 79M| 36 | 5 | 115 | 155 | 8 | 115 | 11 | 24 | 62k|9804 | 0.000000e+00 | 2.000000e+00 | Inf
990.36/990.81 c 944s| 2920k|104617 | 10118k| 79M| 36 | - | 115 | 150 | 6 | 115 | 11 | 24 | 62k|9824 | 0.000000e+00 | 2.000000e+00 | Inf
993.56/994.09 c 948s| 2930k|104425 | 10151k| 79M| 36 | 5 | 115 | 150 | 6 | 115 | 11 | 24 | 62k|9852 | 0.000000e+00 | 2.000000e+00 | Inf
996.85/997.37 c 951s| 2940k|104305 | 10184k| 79M| 36 | - | 115 | 151 | 6 | 0 | 0 | 24 | 62k|9870 | 0.000000e+00 | 2.000000e+00 | Inf
1000.15/1000.64 c 954s| 2950k|103807 | 10217k| 79M| 36 | 5 | 115 | 164 | 7 | 115 | 11 | 24 | 63k|9892 | 0.000000e+00 | 2.000000e+00 | Inf
1003.46/1003.93 c 957s| 2960k|103352 | 10250k| 79M| 36 | - | 115 | 159 | 8 | 115 | 11 | 24 | 63k|9910 | 0.000000e+00 | 2.000000e+00 | Inf
1006.66/1007.15 c 960s| 2970k|102690 | 10282k| 78M| 36 | - | 115 | 160 | 8 | 115 | 11 | 24 | 63k|9931 | 0.000000e+00 | 2.000000e+00 | Inf
1010.05/1010.52 c 963s| 2980k|102559 | 10317k| 78M| 36 | 5 | 115 | 154 | 6 | 115 | 11 | 24 | 63k|9949 | 0.000000e+00 | 2.000000e+00 | Inf
1013.56/1014.06 c 967s| 2990k|104316 | 10354k| 79M| 36 | 5 | 115 | 151 | 6 | 115 | 11 | 24 | 63k|9966 | 0.000000e+00 | 2.000000e+00 | Inf
1016.96/1017.48 c 970s| 3000k|105793 | 10388k| 80M| 36 | - | 115 | 149 | 7 | 115 | 11 | 24 | 64k|9983 | 0.000000e+00 | 2.000000e+00 | Inf
1020.26/1020.80 c 973s| 3010k|106363 | 10421k| 80M| 36 | - | 115 | 154 | 6 | 115 | 11 | 24 | 64k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1023.56/1024.09 c 976s| 3020k|106684 | 10454k| 81M| 36 | - | 115 | 149 | 6 | 115 | 11 | 24 | 64k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1026.85/1027.39 c 979s| 3030k|107432 | 10488k| 81M| 36 | - | 115 | 149 | 6 | 115 | 11 | 24 | 64k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1030.14/1030.62 c 982s| 3040k|107645 | 10520k| 82M| 36 | - | 115 | 155 | 6 | 115 | 11 | 24 | 64k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1033.34/1033.82 c 985s| 3050k|107576 | 10552k| 82M| 36 | 5 | 115 | 153 | 6 | 115 | 11 | 24 | 65k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1036.54/1037.06 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1036.54/1037.06 c 989s| 3060k|107222 | 10585k| 82M| 36 | - | 115 | 156 | 5 | 0 | 0 | 24 | 65k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1039.74/1040.29 c 992s| 3070k|106930 | 10617k| 82M| 36 | 5 | 115 | 155 | 6 | 115 | 11 | 24 | 65k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1043.04/1043.51 c 995s| 3080k|106526 | 10648k| 81M| 36 | - | 115 | 151 | 6 | 115 | 11 | 24 | 65k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1046.14/1046.68 c 998s| 3090k|105999 | 10680k| 81M| 36 | 5 | 115 | 155 | 7 | 115 | 11 | 24 | 65k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1049.34/1049.84 c 1001s| 3100k|105665 | 10711k| 81M| 36 | - | 115 | 156 | 6 | 115 | 11 | 24 | 65k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1052.44/1052.98 c 1004s| 3110k|105333 | 10742k| 81M| 36 | - | 115 | 160 | 7 | 115 | 11 | 24 | 66k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1055.83/1056.39 c 1007s| 3120k|105898 | 10776k| 81M| 36 | 5 | 115 | 153 | 7 | 115 | 11 | 24 | 66k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1059.43/1059.92 c 1010s| 3130k|107506 | 10813k| 82M| 36 | - | 115 | 144 | 6 | 115 | 11 | 24 | 66k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1062.73/1063.28 c 1014s| 3140k|108060 | 10848k| 82M| 36 | - | 115 | 152 | 6 | 115 | 11 | 24 | 66k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1066.13/1066.68 c 1017s| 3150k|108843 | 10884k| 83M| 36 | 5 | 115 | 145 | 6 | 115 | 11 | 24 | 66k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1069.53/1070.04 c 1020s| 3160k|109248 | 10919k| 83M| 36 | - | 115 | 147 | 6 | 115 | 11 | 24 | 66k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1072.82/1073.39 c 1023s| 3170k|110272 | 10955k| 84M| 36 | 5 | 115 | 146 | 6 | 115 | 11 | 24 | 67k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1076.22/1076.72 c 1026s| 3180k|110641 | 10989k| 84M| 36 | 5 | 115 | 151 | 6 | 115 | 11 | 24 | 67k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1079.53/1080.09 c 1030s| 3190k|111187 | 11024k| 85M| 36 | 5 | 115 | 148 | 6 | 115 | 11 | 24 | 67k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1082.92/1083.49 c 1033s| 3200k|111527 | 11062k| 85M| 36 | - | 115 | 149 | 7 | 115 | 11 | 24 | 67k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1086.32/1086.88 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1086.32/1086.88 c 1036s| 3210k|112010 | 11100k| 85M| 36 | 5 | 115 | 152 | 9 | 115 | 11 | 24 | 67k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1089.72/1090.29 c 1039s| 3220k|112363 | 11138k| 86M| 36 | 5 | 115 | 154 | 6 | 115 | 11 | 24 | 67k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1093.12/1093.62 c 1042s| 3230k|112247 | 11175k| 86M| 36 | 5 | 115 | 151 | 6 | 115 | 11 | 24 | 67k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1096.52/1097.00 c 1046s| 3240k|111990 | 11213k| 86M| 36 | - | 115 | 151 | 6 | 0 | 0 | 24 | 67k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1099.92/1100.41 c 1049s| 3250k|111902 | 11250k| 86M| 36 | 5 | 115 | 149 | 6 | 115 | 11 | 24 | 68k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1103.21/1103.77 c 1052s| 3260k|112451 | 11285k| 86M| 36 | - | 115 | 135 | 6 | 115 | 11 | 24 | 68k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1106.71/1107.20 c 1055s| 3270k|113298 | 11321k| 87M| 36 | 5 | 115 | 131 | 8 | 115 | 11 | 24 | 68k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1110.12/1110.65 c 1059s| 3280k|114432 | 11358k| 87M| 36 | - | 115 | 120 | 6 | 115 | 11 | 24 | 68k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1113.51/1114.04 c 1062s| 3290k|114809 | 11393k| 88M| 36 | - | 115 | 130 | 6 | 115 | 11 | 24 | 68k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1116.91/1117.42 c 1065s| 3300k|115234 | 11427k| 88M| 36 | - | 115 | 115 | 6 | 115 | 11 | 24 | 68k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1120.31/1120.81 c 1068s| 3310k|115530 | 11462k| 88M| 36 | 5 | 115 | 120 | 7 | 115 | 11 | 24 | 69k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1123.71/1124.22 c 1072s| 3320k|116256 | 11497k| 89M| 36 | - | 115 | 112 | 6 | 115 | 11 | 24 | 69k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1127.10/1127.61 c 1075s| 3330k|117162 | 11532k| 89M| 36 | 5 | 115 | 114 | 6 | 115 | 11 | 24 | 69k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1130.40/1130.91 c 1078s| 3340k|118006 | 11566k| 90M| 36 | 5 | 115 | 107 | 6 | 115 | 11 | 24 | 69k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1133.61/1134.17 c 1081s| 3350k|118383 | 11599k| 90M| 36 | - | 115 | 111 | 6 | 115 | 11 | 24 | 69k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1136.91/1137.45 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1136.91/1137.45 c 1084s| 3360k|118181 | 11631k| 90M| 36 | - | 115 | 112 | 6 | 115 | 11 | 24 | 69k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1140.21/1140.78 c 1087s| 3370k|118085 | 11664k| 90M| 36 | - | 115 | 123 | 6 | 115 | 11 | 24 | 69k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1143.60/1144.15 c 1090s| 3380k|118621 | 11699k| 91M| 36 | 5 | 115 | 124 | 8 | 115 | 11 | 24 | 70k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1147.00/1147.52 c 1094s| 3390k|119718 | 11734k| 91M| 36 | - | 115 | 106 | 6 | 115 | 11 | 24 | 70k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1150.20/1150.78 c 1097s| 3400k|120078 | 11767k| 92M| 36 | 5 | 115 | 107 | 7 | 115 | 11 | 24 | 70k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1153.50/1154.06 c 1100s| 3410k|120333 | 11799k| 92M| 36 | 5 | 115 | 101 | 6 | 115 | 11 | 24 | 70k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1156.79/1157.36 c 1103s| 3420k|120994 | 11832k| 92M| 36 | 5 | 115 | 106 | 8 | 115 | 11 | 24 | 70k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1160.19/1160.74 c 1106s| 3430k|121800 | 11867k| 93M| 36 | 5 | 115 | 105 | 6 | 115 | 11 | 24 | 70k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1163.48/1164.07 c 1109s| 3440k|122701 | 11901k| 93M| 36 | - | 115 | 107 | 6 | 115 | 11 | 24 | 70k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1166.78/1167.34 c 1113s| 3450k|123083 | 11934k| 94M| 36 | - | 115 | 100 | 6 | 115 | 11 | 24 | 71k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1170.09/1170.60 c 1116s| 3460k|122907 | 11967k| 94M| 36 | - | 115 | 103 | 5 | 0 | 0 | 24 | 71k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1173.28/1173.87 c 1119s| 3470k|123311 | 12000k| 94M| 36 | 5 | 115 | 106 | 6 | 115 | 11 | 24 | 71k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1176.68/1177.20 c 1122s| 3480k|123549 | 12033k| 94M| 36 | 5 | 115 | 108 | 7 | 115 | 11 | 24 | 71k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1179.88/1180.43 c 1125s| 3490k|123785 | 12064k| 95M| 36 | 5 | 115 | 109 | 6 | 115 | 11 | 24 | 71k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1183.18/1183.76 c 1128s| 3500k|124218 | 12097k| 95M| 36 | 5 | 115 | 110 | 6 | 115 | 11 | 24 | 71k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1186.49/1187.02 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1186.49/1187.02 c 1131s| 3510k|124491 | 12130k| 95M| 36 | - | 115 | 101 | 7 | 0 | 0 | 24 | 71k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1189.68/1190.25 c 1134s| 3520k|124363 | 12162k| 95M| 36 | - | 115 | 98 | 7 | 115 | 11 | 24 | 72k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1192.98/1193.58 c 1138s| 3530k|124975 | 12197k| 96M| 36 | - | 115 | 96 | 6 | 115 | 11 | 24 | 72k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1196.28/1196.89 c 1141s| 3540k|125057 | 12231k| 96M| 36 | - | 115 | 100 | 6 | 115 | 11 | 24 | 72k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1199.68/1200.25 c 1144s| 3550k|125318 | 12265k| 96M| 36 | 5 | 115 | 105 | 7 | 115 | 11 | 24 | 72k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1202.98/1203.59 c 1147s| 3560k|126089 | 12299k| 97M| 36 | 5 | 115 | 105 | 6 | 115 | 11 | 24 | 72k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1206.37/1206.93 c 1150s| 3570k|126386 | 12334k| 97M| 36 | 5 | 115 | 104 | 6 | 115 | 11 | 24 | 72k| 10k| 0.000000e+00 | 2.000000e+00 | Inf
1209.66/1210.25 c 1153s| 3580k|126741 | 12368k| 97M| 36 | 5 | 115 | 99 | 6 | 115 | 11 | 24 | 72k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
1212.95/1213.60 c 1157s| 3590k|127382 | 12403k| 98M| 36 | 5 | 115 | 106 | 6 | 115 | 11 | 24 | 73k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
1216.35/1216.93 c 1160s| 3600k|127664 | 12438k| 98M| 36 | 5 | 115 | 103 | 6 | 115 | 11 | 24 | 73k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
1219.65/1220.26 c 1163s| 3610k|128136 | 12472k| 98M| 36 | - | 115 | 107 | 6 | 115 | 11 | 24 | 73k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
1223.04/1223.62 c 1166s| 3620k|128816 | 12506k| 99M| 36 | 5 | 115 | 115 | 6 | 115 | 11 | 24 | 73k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
1226.35/1226.95 c 1169s| 3630k|129533 | 12541k| 99M| 36 | 5 | 115 | 115 | 7 | 115 | 11 | 24 | 73k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
1229.65/1230.28 c 1172s| 3640k|129814 | 12575k| 100M| 36 | - | 115 | 110 | 6 | 115 | 11 | 24 | 73k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
1233.04/1233.67 c 1176s| 3650k|130599 | 12610k| 100M| 36 | - | 115 | 109 | 7 | 115 | 11 | 24 | 73k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
1236.44/1237.01 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1236.44/1237.01 c 1179s| 3660k|131282 | 12643k| 101M| 36 | - | 115 | 105 | 5 | 0 | 0 | 24 | 74k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
1239.74/1240.36 c 1182s| 3670k|131280 | 12677k| 101M| 36 | 5 | 115 | 110 | 6 | 115 | 11 | 24 | 74k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
1243.04/1243.67 c 1185s| 3680k|131795 | 12710k| 101M| 36 | 5 | 115 | 114 | 7 | 115 | 11 | 24 | 74k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
1246.24/1246.83 c 1188s| 3690k|131834 | 12740k| 101M| 36 | 5 | 115 | 113 | 6 | 115 | 11 | 24 | 74k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
1249.54/1250.15 c 1191s| 3700k|132611 | 12775k| 102M| 36 | 5 | 115 | 124 | 6 | 115 | 11 | 24 | 74k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
1252.73/1253.38 c 1194s| 3710k|133322 | 12809k| 102M| 36 | - | 115 | 123 | 6 | 0 | 0 | 24 | 74k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
1255.92/1256.57 c 1197s| 3720k|133296 | 12841k| 102M| 36 | 5 | 115 | 120 | 6 | 115 | 11 | 24 | 74k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
1259.23/1259.81 c 1201s| 3730k|132797 | 12873k| 102M| 36 | 5 | 115 | 109 | 6 | 115 | 11 | 24 | 75k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
1262.43/1263.06 c 1204s| 3740k|132863 | 12905k| 102M| 36 | - | 115 | 110 | 6 | 115 | 11 | 24 | 75k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
1265.73/1266.35 c 1207s| 3750k|133426 | 12938k| 103M| 36 | - | 115 | 129 | 7 | 115 | 11 | 24 | 75k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
1268.93/1269.53 c 1210s| 3760k|133484 | 12970k| 103M| 36 | - | 115 | 131 | 6 | 115 | 11 | 24 | 75k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
1272.13/1272.77 c 1213s| 3770k|133495 | 13002k| 103M| 36 | - | 115 | 113 | 6 | 115 | 11 | 24 | 75k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
1275.52/1276.15 c 1216s| 3780k|134375 | 13040k| 104M| 36 | 5 | 115 | 119 | 6 | 115 | 11 | 24 | 75k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
1278.82/1279.48 c 1219s| 3790k|135290 | 13075k| 104M| 36 | - | 115 | 117 | 6 | 115 | 11 | 24 | 75k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
1282.12/1282.79 c 1222s| 3800k|136066 | 13111k| 105M| 36 | - | 115 | 117 | 6 | 115 | 11 | 24 | 75k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
1285.32/1285.99 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1285.32/1285.99 c 1226s| 3810k|136197 | 13145k| 105M| 36 | - | 115 | 117 | 13 | 0 | 0 | 24 | 76k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
1288.62/1289.21 c 1229s| 3820k|136228 | 13179k| 105M| 36 | 5 | 115 | 117 | 7 | 115 | 11 | 24 | 76k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
1291.82/1292.41 c 1232s| 3830k|136036 | 13212k| 105M| 36 | 5 | 115 | 113 | 6 | 115 | 11 | 24 | 76k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
1295.02/1295.64 c 1235s| 3840k|135836 | 13246k| 105M| 36 | 5 | 115 | 112 | 6 | 115 | 11 | 24 | 76k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
1298.21/1298.83 c 1238s| 3850k|135317 | 13278k| 105M| 36 | - | 115 | 110 | 6 | 0 | 0 | 24 | 76k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
1301.51/1302.15 c 1241s| 3860k|135300 | 13310k| 105M| 36 | 5 | 115 | 115 | 6 | 115 | 11 | 24 | 76k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
1304.71/1305.36 c 1244s| 3870k|135833 | 13342k| 105M| 36 | 5 | 115 | 116 | 6 | 115 | 11 | 24 | 76k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
1307.90/1308.54 c 1247s| 3880k|135619 | 13374k| 105M| 36 | 5 | 115 | 116 | 6 | 115 | 11 | 24 | 76k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
1311.10/1311.80 c 1250s| 3890k|135559 | 13406k| 105M| 36 | - | 115 | 122 | 5 | 0 | 0 | 24 | 76k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
1314.41/1315.06 c 1253s| 3900k|135557 | 13439k| 105M| 36 | 5 | 115 | 123 | 6 | 115 | 11 | 24 | 77k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
1317.61/1318.29 c 1256s| 3910k|135759 | 13471k| 106M| 36 | - | 115 | 118 | 6 | 0 | 0 | 24 | 77k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
1321.01/1321.61 c 1259s| 3920k|135715 | 13504k| 106M| 36 | - | 115 | 117 | 6 | 115 | 11 | 24 | 77k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
1324.30/1324.90 c 1263s| 3930k|135657 | 13538k| 106M| 36 | 5 | 115 | 123 | 6 | 115 | 11 | 24 | 77k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
1327.50/1328.16 c 1266s| 3940k|135422 | 13572k| 106M| 36 | 5 | 115 | 120 | 6 | 115 | 11 | 24 | 77k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
1330.90/1331.51 c 1269s| 3950k|135027 | 13608k| 105M| 36 | - | 115 | 112 | 6 | 115 | 11 | 24 | 77k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
1334.20/1334.84 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1334.20/1334.84 c 1272s| 3960k|134683 | 13643k| 105M| 36 | - | 115 | 108 | 6 | 115 | 11 | 24 | 77k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
1337.41/1338.09 c 1275s| 3970k|134731 | 13675k| 105M| 36 | - | 115 | 106 | 6 | 115 | 11 | 24 | 77k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
1340.69/1341.33 c 1278s| 3980k|134395 | 13707k| 105M| 36 | 5 | 115 | 110 | 6 | 115 | 11 | 24 | 78k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
1344.09/1344.76 c 1281s| 3990k|136216 | 13744k| 106M| 36 | 5 | 115 | 113 | 6 | 115 | 11 | 24 | 78k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
1347.39/1348.05 c 1285s| 4000k|136840 | 13779k| 107M| 36 | - | 115 | 116 | 5 | 115 | 11 | 24 | 78k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
1350.69/1351.31 c 1288s| 4010k|137627 | 13813k| 107M| 36 | - | 115 | 113 | 7 | 115 | 11 | 24 | 78k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
1353.89/1354.54 c 1291s| 4020k|137815 | 13846k| 107M| 36 | 5 | 115 | 119 | 6 | 115 | 11 | 24 | 78k| 11k| 0.000000e+00 | 2.000000e+00 | Inf
1356.80/1357.40 o 1
1356.80/1357.40 c *1294s| 4028k|136199 | 13875k| 105M| 36 | - | 115 | 126 | 1 | 115 | 11 | 24 | 78k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1357.09/1357.80 c 1294s| 4030k|136166 | 13879k| 105M| 36 | - | 115 | 111 | 8 | 115 | 11 | 24 | 78k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1360.28/1360.94 c 1297s| 4040k|135995 | 13913k| 105M| 36 | - | 115 | 111 | 23 | 0 | 0 | 24 | 78k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1363.39/1364.03 c 1300s| 4050k|135557 | 13945k| 104M| 36 | - | 115 | 113 | 5 | 115 | 11 | 24 | 79k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1366.48/1367.15 c 1303s| 4060k|135470 | 13979k| 104M| 36 | 5 | 115 | 110 | 5 | 115 | 11 | 24 | 79k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1369.58/1370.24 c 1306s| 4070k|135114 | 14012k| 104M| 36 | 5 | 115 | 118 | 5 | 115 | 11 | 24 | 79k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1372.67/1373.30 c 1309s| 4080k|134564 | 14045k| 104M| 36 | - | 115 | 117 | 5 | 115 | 11 | 24 | 79k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1375.77/1376.48 c 1312s| 4090k|134837 | 14079k| 104M| 36 | 5 | 115 | 116 | 6 | 115 | 11 | 24 | 79k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1378.87/1379.53 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1378.87/1379.53 c 1315s| 4100k|134501 | 14110k| 104M| 36 | - | 115 | 117 | 6 | 115 | 11 | 24 | 79k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1381.98/1382.64 c 1318s| 4110k|134306 | 14143k| 104M| 36 | - | 115 | 121 | 5 | 115 | 11 | 24 | 79k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1385.17/1385.88 c 1321s| 4120k|134899 | 14178k| 104M| 36 | - | 115 | 119 | 5 | 115 | 11 | 24 | 79k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1388.36/1389.06 c 1324s| 4130k|134574 | 14211k| 104M| 36 | - | 115 | 118 | 5 | 115 | 11 | 24 | 79k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1391.55/1392.21 c 1327s| 4140k|134128 | 14245k| 104M| 36 | - | 115 | 120 | 5 | 115 | 11 | 24 | 80k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1394.65/1395.35 c 1330s| 4150k|133788 | 14279k| 104M| 36 | 5 | 115 | 116 | 5 | 115 | 11 | 24 | 80k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1397.84/1398.55 c 1333s| 4160k|133959 | 14314k| 104M| 36 | 5 | 115 | 133 | 7 | 115 | 11 | 24 | 80k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1401.15/1401.80 c 1336s| 4170k|134007 | 14352k| 104M| 36 | - | 115 | 131 | 5 | 115 | 11 | 24 | 80k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1404.25/1404.99 c 1339s| 4180k|133919 | 14386k| 104M| 36 | 5 | 115 | 118 | 5 | 115 | 11 | 24 | 80k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1407.64/1408.33 c 1342s| 4190k|134326 | 14422k| 104M| 36 | - | 115 | 114 | 5 | 115 | 11 | 24 | 80k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1411.04/1411.77 c 1345s| 4200k|135718 | 14459k| 105M| 36 | 5 | 115 | 117 | 8 | 115 | 11 | 24 | 80k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1414.34/1415.03 c 1348s| 4210k|136052 | 14495k| 105M| 36 | 5 | 115 | 114 | 5 | 115 | 11 | 24 | 81k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1417.54/1418.23 c 1351s| 4220k|135841 | 14528k| 105M| 36 | 5 | 115 | 117 | 5 | 115 | 11 | 24 | 81k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1420.74/1421.40 c 1354s| 4230k|135574 | 14561k| 105M| 36 | 5 | 115 | 119 | 6 | 115 | 11 | 24 | 81k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1423.84/1424.55 c 1357s| 4240k|135402 | 14594k| 105M| 36 | 5 | 115 | 117 | 5 | 115 | 11 | 24 | 81k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1426.94/1427.69 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1426.94/1427.69 c 1360s| 4250k|135105 | 14628k| 105M| 36 | 5 | 115 | 120 | 5 | 115 | 11 | 24 | 81k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1430.14/1430.83 c 1363s| 4260k|135047 | 14661k| 105M| 36 | - | 115 | 119 | 5 | 115 | 11 | 24 | 81k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1433.32/1434.07 c 1366s| 4270k|135587 | 14694k| 105M| 36 | - | 115 | 116 | 5 | 115 | 11 | 24 | 81k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1436.52/1437.22 c 1370s| 4280k|135211 | 14727k| 105M| 36 | 5 | 115 | 119 | 5 | 115 | 11 | 24 | 81k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1439.72/1440.42 c 1373s| 4290k|135574 | 14761k| 106M| 36 | 5 | 115 | 127 | 5 | 115 | 11 | 24 | 82k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1442.82/1443.54 c 1376s| 4300k|135676 | 14793k| 106M| 36 | 5 | 115 | 125 | 5 | 115 | 11 | 24 | 82k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1446.02/1446.71 c 1379s| 4310k|135486 | 14827k| 106M| 36 | 5 | 115 | 121 | 5 | 115 | 11 | 24 | 82k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1449.32/1450.09 c 1382s| 4320k|136897 | 14864k| 107M| 36 | - | 115 | 118 | 5 | 115 | 11 | 24 | 82k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1452.51/1453.29 c 1385s| 4330k|137208 | 14900k| 107M| 36 | - | 115 | 118 | 5 | 115 | 11 | 24 | 82k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1455.73/1456.44 c 1388s| 4340k|137467 | 14934k| 107M| 36 | 5 | 115 | 116 | 6 | 115 | 11 | 24 | 82k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1458.92/1459.65 c 1391s| 4350k|137997 | 14968k| 107M| 36 | - | 115 | 123 | 6 | 115 | 11 | 24 | 82k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1462.12/1462.83 c 1394s| 4360k|137929 | 15003k| 108M| 36 | - | 115 | 119 | 5 | 115 | 11 | 24 | 82k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1465.31/1466.02 c 1397s| 4370k|137755 | 15039k| 108M| 36 | - | 115 | 126 | 5 | 115 | 11 | 24 | 82k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1468.42/1469.18 c 1400s| 4380k|137272 | 15075k| 107M| 36 | 5 | 115 | 128 | 5 | 115 | 11 | 24 | 83k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1471.71/1472.43 c 1403s| 4390k|137293 | 15112k| 107M| 36 | - | 115 | 130 | 5 | 115 | 11 | 24 | 83k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1474.81/1475.56 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1474.81/1475.56 c 1406s| 4400k|137032 | 15146k| 107M| 36 | 5 | 115 | 126 | 8 | 115 | 11 | 24 | 83k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1477.91/1478.66 c 1409s| 4410k|137171 | 15177k| 107M| 36 | 5 | 115 | 129 | 5 | 115 | 11 | 24 | 83k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1481.01/1481.78 c 1412s| 4420k|136887 | 15209k| 107M| 36 | 5 | 115 | 122 | 5 | 115 | 11 | 24 | 83k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1484.41/1485.13 c 1415s| 4430k|138001 | 15245k| 108M| 36 | - | 115 | 122 | 5 | 115 | 11 | 24 | 83k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1487.51/1488.29 c 1418s| 4440k|138088 | 15281k| 108M| 36 | 5 | 115 | 120 | 7 | 115 | 11 | 24 | 83k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1490.81/1491.58 c 1421s| 4450k|138470 | 15319k| 108M| 36 | 5 | 115 | 123 | 6 | 115 | 11 | 24 | 83k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1494.11/1494.81 c 1424s| 4460k|139117 | 15355k| 109M| 36 | - | 115 | 131 | 5 | 115 | 11 | 24 | 84k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1497.31/1498.02 c 1427s| 4470k|139308 | 15389k| 109M| 36 | - | 115 | 121 | 5 | 0 | 0 | 24 | 84k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1500.50/1501.20 c 1431s| 4480k|139242 | 15422k| 109M| 36 | 5 | 115 | 112 | 5 | 115 | 11 | 24 | 84k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1503.61/1504.38 c 1434s| 4490k|138766 | 15455k| 109M| 36 | 5 | 115 | 117 | 5 | 115 | 11 | 24 | 84k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1506.80/1507.54 c 1437s| 4500k|138705 | 15489k| 109M| 36 | 5 | 115 | 120 | 5 | 115 | 11 | 24 | 84k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1509.90/1510.64 c 1440s| 4510k|138163 | 15522k| 109M| 36 | - | 115 | 118 | 5 | 115 | 11 | 24 | 84k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1513.10/1513.83 c 1443s| 4520k|138413 | 15555k| 109M| 36 | 5 | 115 | 127 | 5 | 115 | 11 | 24 | 84k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1516.30/1517.07 c 1446s| 4530k|138923 | 15592k| 109M| 36 | - | 115 | 130 | 5 | 115 | 11 | 24 | 84k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1519.50/1520.22 c 1449s| 4540k|138546 | 15627k| 109M| 36 | - | 115 | 132 | 5 | 115 | 11 | 24 | 84k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1522.59/1523.35 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1522.59/1523.35 c 1452s| 4550k|138154 | 15661k| 109M| 36 | 5 | 115 | 139 | 6 | 115 | 11 | 24 | 85k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1525.69/1526.48 c 1455s| 4560k|137990 | 15695k| 109M| 36 | - | 115 | 122 | 5 | 115 | 11 | 24 | 85k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1528.99/1529.72 c 1458s| 4570k|138889 | 15729k| 109M| 36 | - | 115 | 125 | 5 | 115 | 11 | 24 | 85k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1532.09/1532.86 c 1461s| 4580k|139200 | 15763k| 110M| 36 | - | 115 | 129 | 5 | 115 | 11 | 24 | 85k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1535.19/1535.98 c 1464s| 4590k|138935 | 15795k| 109M| 36 | 5 | 115 | 130 | 5 | 115 | 11 | 24 | 85k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1538.39/1539.11 c 1467s| 4600k|138767 | 15827k| 109M| 36 | - | 115 | 129 | 5 | 115 | 11 | 24 | 85k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1541.49/1542.24 c 1470s| 4610k|138563 | 15860k| 109M| 36 | 5 | 115 | 127 | 6 | 115 | 11 | 24 | 85k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1544.69/1545.44 c 1473s| 4620k|138105 | 15895k| 109M| 36 | 5 | 115 | 123 | 6 | 115 | 11 | 24 | 86k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1547.79/1548.57 c 1476s| 4630k|138098 | 15929k| 109M| 36 | - | 115 | 125 | 5 | 115 | 11 | 24 | 86k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1551.08/1551.80 c 1479s| 4640k|138000 | 15966k| 109M| 36 | - | 115 | 133 | 5 | 0 | 0 | 24 | 86k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1554.29/1555.00 c 1482s| 4650k|137674 | 16001k| 109M| 36 | - | 115 | 124 | 5 | 115 | 11 | 24 | 86k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1557.48/1558.29 c 1485s| 4660k|137858 | 16037k| 109M| 36 | - | 115 | 136 | 5 | 115 | 11 | 24 | 86k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1560.68/1561.49 c 1488s| 4670k|137590 | 16071k| 109M| 36 | 5 | 115 | 135 | 5 | 115 | 11 | 24 | 86k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1564.38/1565.10 c 1491s| 4680k|139616 | 16110k| 110M| 36 | 5 | 115 | 136 | 7 | 115 | 11 | 24 | 86k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1567.57/1568.37 c 1495s| 4690k|140174 | 16144k| 110M| 36 | 5 | 115 | 135 | 5 | 115 | 11 | 24 | 86k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1570.77/1571.51 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1570.77/1571.51 c 1498s| 4700k|140381 | 16178k| 111M| 36 | 5 | 115 | 134 | 5 | 115 | 11 | 24 | 87k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1573.87/1574.67 c 1501s| 4710k|140430 | 16212k| 111M| 36 | 5 | 115 | 127 | 5 | 115 | 11 | 24 | 87k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1577.07/1577.87 c 1504s| 4720k|140110 | 16245k| 111M| 36 | - | 115 | 125 | 5 | 0 | 0 | 24 | 87k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1580.37/1581.17 c 1507s| 4730k|140654 | 16281k| 111M| 36 | 5 | 115 | 131 | 6 | 115 | 11 | 24 | 87k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1583.67/1584.47 c 1510s| 4740k|141300 | 16316k| 111M| 36 | - | 115 | 129 | 6 | 115 | 11 | 24 | 87k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1586.86/1587.68 c 1513s| 4750k|141497 | 16351k| 112M| 36 | - | 115 | 135 | 5 | 115 | 11 | 24 | 87k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1590.37/1591.17 c 1516s| 4760k|142781 | 16393k| 112M| 36 | 5 | 115 | 141 | 7 | 115 | 11 | 24 | 87k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1593.76/1594.54 c 1520s| 4770k|144363 | 16430k| 113M| 36 | - | 115 | 132 | 5 | 0 | 0 | 24 | 88k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1597.07/1597.82 c 1523s| 4780k|145366 | 16466k| 114M| 36 | 5 | 115 | 136 | 6 | 115 | 11 | 24 | 88k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1600.27/1601.06 c 1526s| 4790k|146040 | 16499k| 115M| 36 | - | 115 | 132 | 6 | 115 | 11 | 24 | 88k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1603.37/1604.17 c 1529s| 4800k|146054 | 16531k| 115M| 36 | 5 | 115 | 135 | 5 | 115 | 11 | 24 | 88k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1606.56/1607.30 c 1532s| 4810k|145818 | 16564k| 115M| 36 | - | 115 | 128 | 5 | 0 | 0 | 24 | 89k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1609.77/1610.54 c 1535s| 4820k|146051 | 16597k| 115M| 36 | - | 115 | 126 | 6 | 115 | 11 | 24 | 89k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1613.06/1613.84 c 1538s| 4830k|147188 | 16633k| 116M| 36 | - | 115 | 126 | 5 | 115 | 11 | 24 | 89k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1616.25/1617.03 c 1541s| 4840k|148050 | 16667k| 116M| 36 | 5 | 115 | 125 | 5 | 115 | 11 | 24 | 89k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1619.35/1620.14 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1619.35/1620.14 c 1544s| 4850k|148420 | 16699k| 117M| 36 | - | 115 | 126 | 5 | 115 | 11 | 24 | 89k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1622.45/1623.25 c 1547s| 4860k|148233 | 16732k| 117M| 36 | 5 | 115 | 132 | 5 | 115 | 11 | 24 | 89k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1625.55/1626.33 c 1550s| 4870k|148091 | 16763k| 117M| 36 | 5 | 115 | 124 | 5 | 115 | 11 | 24 | 89k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1628.55/1629.38 c 1553s| 4880k|147679 | 16795k| 117M| 36 | 5 | 115 | 131 | 5 | 115 | 11 | 24 | 90k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1631.65/1632.45 c 1556s| 4890k|147044 | 16826k| 116M| 36 | - | 115 | 117 | 5 | 115 | 11 | 24 | 90k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1635.05/1635.81 c 1559s| 4900k|148042 | 16862k| 117M| 36 | 5 | 115 | 118 | 5 | 115 | 11 | 24 | 90k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1638.26/1639.04 c 1562s| 4910k|148286 | 16897k| 117M| 36 | - | 115 | 118 | 5 | 115 | 11 | 24 | 90k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1641.45/1642.26 c 1565s| 4920k|148373 | 16932k| 117M| 36 | 5 | 115 | 119 | 5 | 115 | 11 | 24 | 90k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1644.75/1645.50 c 1568s| 4930k|148267 | 16968k| 117M| 36 | - | 115 | 138 | 6 | 115 | 11 | 24 | 90k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1648.05/1648.90 c 1571s| 4940k|148894 | 17008k| 118M| 36 | - | 115 | 130 | 5 | 0 | 0 | 24 | 90k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1651.24/1652.09 c 1574s| 4950k|148946 | 17045k| 118M| 36 | - | 115 | 121 | 5 | 115 | 11 | 24 | 90k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1654.45/1655.21 c 1577s| 4960k|148624 | 17079k| 118M| 36 | - | 115 | 120 | 5 | 115 | 11 | 24 | 91k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1657.54/1658.37 c 1580s| 4970k|148189 | 17111k| 118M| 36 | 5 | 115 | 122 | 5 | 115 | 11 | 24 | 91k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1660.73/1661.57 c 1583s| 4980k|148191 | 17144k| 118M| 36 | - | 115 | 123 | 6 | 115 | 11 | 24 | 91k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1664.03/1664.88 c 1586s| 4990k|148839 | 17181k| 118M| 36 | 5 | 115 | 120 | 5 | 115 | 11 | 24 | 91k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1667.33/1668.10 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1667.33/1668.10 c 1589s| 5000k|149203 | 17216k| 118M| 36 | 5 | 115 | 120 | 5 | 115 | 11 | 24 | 91k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1670.83/1671.64 c 1593s| 5010k|150304 | 17254k| 119M| 36 | - | 115 | 120 | 5 | 115 | 11 | 24 | 91k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1674.54/1675.34 c 1596s| 5020k|152346 | 17294k| 120M| 36 | 5 | 115 | 125 | 6 | 115 | 11 | 24 | 91k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1678.03/1678.86 c 1600s| 5030k|154343 | 17333k| 121M| 36 | - | 115 | 126 | 5 | 115 | 11 | 24 | 92k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1681.43/1682.29 c 1603s| 5040k|155736 | 17370k| 122M| 36 | - | 115 | 133 | 5 | 115 | 11 | 24 | 92k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1684.92/1685.72 c 1606s| 5050k|156932 | 17408k| 122M| 36 | 5 | 115 | 134 | 5 | 115 | 11 | 24 | 92k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1688.23/1689.06 c 1609s| 5060k|158295 | 17446k| 123M| 36 | 5 | 115 | 122 | 5 | 115 | 11 | 24 | 92k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1691.53/1692.37 c 1613s| 5070k|159345 | 17482k| 124M| 36 | - | 115 | 125 | 6 | 115 | 11 | 24 | 92k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1694.92/1695.71 c 1616s| 5080k|160217 | 17520k| 124M| 36 | 5 | 115 | 128 | 7 | 115 | 11 | 24 | 92k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1698.33/1699.17 c 1619s| 5090k|161449 | 17558k| 125M| 36 | - | 115 | 132 | 9 | 115 | 11 | 24 | 92k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1703.02/1703.90 c 1624s| 5100k|162503 | 17595k| 126M| 36 | - | 115 | 139 | 6 | 115 | 11 | 24 | 93k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1706.32/1707.17 c 1627s| 5110k|163067 | 17630k| 126M| 36 | 5 | 115 | 127 | 5 | 115 | 11 | 24 | 93k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1709.62/1710.46 c 1630s| 5120k|163607 | 17666k| 127M| 36 | 5 | 115 | 132 | 5 | 115 | 11 | 24 | 93k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1712.92/1713.70 c 1633s| 5130k|164652 | 17701k| 127M| 36 | - | 115 | 127 | 5 | 115 | 11 | 24 | 93k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1716.11/1716.92 c 1636s| 5140k|165015 | 17735k| 128M| 36 | - | 115 | 132 | 6 | 115 | 11 | 24 | 93k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1719.41/1720.21 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1719.41/1720.21 c 1639s| 5150k|165271 | 17772k| 128M| 36 | - | 115 | 130 | 5 | 115 | 11 | 24 | 93k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1722.71/1723.51 c 1642s| 5160k|165808 | 17809k| 129M| 36 | - | 115 | 145 | 7 | 115 | 11 | 24 | 93k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1725.81/1726.69 c 1645s| 5170k|165892 | 17843k| 129M| 36 | - | 115 | 133 | 5 | 115 | 11 | 24 | 93k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1729.11/1729.91 c 1648s| 5180k|166137 | 17878k| 129M| 36 | 5 | 115 | 129 | 5 | 115 | 11 | 24 | 94k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1732.31/1733.14 c 1651s| 5190k|166307 | 17913k| 129M| 36 | 5 | 115 | 122 | 5 | 115 | 11 | 24 | 94k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1735.61/1736.42 c 1655s| 5200k|166611 | 17948k| 130M| 36 | - | 115 | 127 | 5 | 115 | 11 | 24 | 94k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1738.81/1739.65 c 1658s| 5210k|166708 | 17982k| 130M| 36 | 5 | 115 | 130 | 5 | 115 | 11 | 24 | 94k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1742.11/1742.90 c 1661s| 5220k|166736 | 18018k| 130M| 36 | 5 | 115 | 128 | 7 | 115 | 11 | 24 | 94k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1745.40/1746.28 c 1664s| 5230k|167719 | 18055k| 131M| 36 | - | 115 | 133 | 5 | 115 | 11 | 24 | 94k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1748.70/1749.57 c 1667s| 5240k|168887 | 18090k| 131M| 36 | - | 115 | 152 | 8 | 0 | 0 | 24 | 94k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1752.10/1752.95 c 1670s| 5250k|169962 | 18126k| 132M| 36 | 5 | 115 | 135 | 5 | 115 | 11 | 24 | 94k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1755.40/1756.22 c 1673s| 5260k|170349 | 18161k| 132M| 36 | 5 | 115 | 148 | 5 | 115 | 11 | 24 | 95k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1758.60/1759.43 c 1676s| 5270k|170489 | 18194k| 132M| 36 | - | 115 | 141 | 9 | 115 | 11 | 24 | 95k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1761.90/1762.71 c 1680s| 5280k|170761 | 18229k| 133M| 36 | 5 | 115 | 135 | 5 | 115 | 11 | 24 | 95k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1764.99/1765.86 c 1683s| 5290k|170956 | 18262k| 133M| 36 | - | 115 | 136 | 5 | 115 | 11 | 24 | 95k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1768.19/1769.05 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1768.19/1769.05 c 1686s| 5300k|170751 | 18296k| 133M| 36 | - | 115 | 132 | 6 | 115 | 11 | 24 | 95k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1771.40/1772.28 c 1689s| 5310k|171010 | 18330k| 133M| 36 | - | 115 | 130 | 5 | 115 | 11 | 24 | 95k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1774.60/1775.50 c 1692s| 5320k|171120 | 18367k| 133M| 36 | 5 | 115 | 130 | 5 | 115 | 11 | 24 | 95k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1777.90/1778.72 c 1695s| 5330k|170857 | 18402k| 133M| 36 | - | 115 | 129 | 6 | 115 | 11 | 24 | 95k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1781.09/1781.93 c 1698s| 5340k|170717 | 18435k| 134M| 36 | 5 | 115 | 129 | 7 | 115 | 11 | 24 | 96k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1784.40/1785.20 c 1701s| 5350k|170667 | 18470k| 134M| 36 | 5 | 115 | 131 | 7 | 115 | 11 | 24 | 96k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1787.59/1788.41 c 1704s| 5360k|170454 | 18504k| 134M| 36 | 5 | 115 | 132 | 6 | 115 | 11 | 24 | 96k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1790.68/1791.58 c 1707s| 5370k|170600 | 18538k| 134M| 36 | - | 115 | 138 | 5 | 115 | 11 | 24 | 96k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1793.89/1794.73 c 1710s| 5380k|170672 | 18570k| 134M| 36 | - | 115 | 130 | 5 | 115 | 11 | 24 | 96k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1797.08/1797.98 c 1713s| 5390k|170596 | 18604k| 134M| 36 | - | 115 | 128 | 5 | 115 | 11 | 24 | 96k| 11k| 0.000000e+00 | 1.000000e+00 | Inf
1800.08/1800.90 c
1800.08/1800.90 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.90 c Solving Time (sec) : 1715.90
1800.08/1800.90 c Solving Nodes : 5399057
1800.08/1800.90 c Primal Bound : +1.00000000001091e+00 (18 solutions)
1800.08/1800.90 c Dual Bound : +0.00000000000000e+00
1800.08/1800.90 c Gap : infinite
1800.08/1800.90 c NODE 5399057
1800.08/1800.90 c DUAL BOUND 0
1800.08/1800.90 c PRIMAL BOUND 1
1800.08/1800.90 c GAP 1e+20
1800.08/1800.90 s SATISFIABLE
1800.08/1800.90 v x90 -x120 -x119 x118 -x117 -x116 -x115 x114 x113 x112 -x111 -x110 x109 x108 x107 -x106 x105 -x104 x103 -x102 x101 -x100 x99 -x98
1800.08/1800.90 v x97 x96 -x95 x94 x93 -x92 x91 x89 x88 -x87 -x86 x85 -x84 -x83 -x82 x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70
1800.08/1800.90 v -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.90 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.90 v -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1
1800.08/1800.90 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.90 c Solving Time : 1715.90
1800.08/1800.90 c Original Problem :
1800.08/1800.90 c Problem name : HOME/instance-1869537-1245177493.opb
1800.08/1800.90 c Variables : 120 (120 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.90 c Constraints : 10 initial, 10 maximal
1800.08/1800.90 c Presolved Problem :
1800.08/1800.90 c Problem name : t_HOME/instance-1869537-1245177493.opb
1800.08/1800.90 c Variables : 115 (115 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.90 c Constraints : 5 initial, 171 maximal
1800.08/1800.90 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.08/1800.90 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.90 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.90 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.90 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.90 c implics : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.90 c probing : 0.01 0 0 0 0 0 0 0 0
1800.08/1800.90 c linear : 0.00 0 5 0 0 0 5 0 0
1800.08/1800.90 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.90 c root node : - 75 - - 75 - - - -
1800.08/1800.90 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.08/1800.90 c integral : 0 0 0 2799310 0 1706 6536 0 0 5582156
1800.08/1800.90 c linear : 5 6 6516340 0 0 537718 3948313 10 0 0
1800.08/1800.90 c logicor : 0+ 0 1978598 0 0 3565 22392 0 0 0
1800.08/1800.90 c countsols : 0 0 0 6 0 0 0 0 0 0
1800.08/1800.90 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.08/1800.90 c integral : 29.71 0.00 0.00 29.71 0.00
1800.08/1800.90 c linear : 270.59 0.00 270.59 0.00 0.00
1800.08/1800.90 c logicor : 7.10 0.00 7.10 0.00 0.00
1800.08/1800.90 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.90 c Propagators : Time Calls Cutoffs DomReds
1800.08/1800.90 c rootredcost : 2.36 18 0 75
1800.08/1800.90 c pseudoobj : 38.32 6530484 14331 153281
1800.08/1800.90 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.08/1800.90 c propagation : 27.03 555614 96827 131383 33.4 0 0.0 -
1800.08/1800.90 c infeasible LP : 11.72 2177185 3 3 14.7 0 0.0 0
1800.08/1800.90 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.90 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.90 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.08/1800.90 c applied globally : - - - 15115 28.7 - - -
1800.08/1800.90 c applied locally : - - - 81758 34.2 - - -
1800.08/1800.90 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.08/1800.90 c cut pool : 0.00 5 - - 21 - (maximal pool size: 113)
1800.08/1800.90 c redcost : 17.96 2947807 0 1772504 0 0
1800.08/1800.90 c impliedbounds : 0.00 6 0 0 0 0
1800.08/1800.90 c intobj : 0.00 0 0 0 0 0
1800.08/1800.90 c gomory : 0.01 6 0 0 0 0
1800.08/1800.90 c strongcg : 0.00 6 0 0 56 0
1800.08/1800.90 c cmir : 0.03 6 0 0 26 0
1800.08/1800.90 c flowcover : 0.02 6 0 0 43 0
1800.08/1800.90 c clique : 0.00 1 0 0 0 0
1800.08/1800.90 c zerohalf : 0.00 0 0 0 0 0
1800.08/1800.90 c mcf : 0.00 1 0 0 0 0
1800.08/1800.90 c Pricers : Time Calls Vars
1800.08/1800.90 c problem variables: 0.00 0 0
1800.08/1800.90 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.08/1800.90 c relpscost : 26.99 2799304 1706 6536 0 0 5582156
1800.08/1800.90 c pscost : 0.00 0 0 0 0 0 0
1800.08/1800.90 c inference : 0.00 0 0 0 0 0 0
1800.08/1800.90 c mostinf : 0.00 0 0 0 0 0 0
1800.08/1800.90 c leastinf : 0.00 0 0 0 0 0 0
1800.08/1800.90 c fullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.90 c allfullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.90 c random : 0.00 0 0 0 0 0 0
1800.08/1800.90 c Primal Heuristics : Time Calls Found
1800.08/1800.90 c LP solutions : 0.03 - 6
1800.08/1800.90 c pseudo solutions : 0.00 - 0
1800.08/1800.90 c oneopt : 2.25 18 0
1800.08/1800.90 c crossover : 8.43 8 1
1800.08/1800.90 c veclendiving : 11.18 8378 1
1800.08/1800.90 c coefdiving : 11.94 8379 2
1800.08/1800.90 c guideddiving : 10.63 8379 2
1800.08/1800.90 c pscostdiving : 11.38 8379 0
1800.08/1800.90 c fracdiving : 11.48 8379 5
1800.08/1800.90 c linesearchdiving : 10.54 8379 0
1800.08/1800.90 c objpscostdiving : 8.11 4190 1
1800.08/1800.90 c rootsoldiving : 8.99 4190 0
1800.08/1800.90 c simplerounding : 1.42 0 0
1800.08/1800.90 c rounding : 1.80 24209 0
1800.08/1800.90 c shifting : 5.49 8070 0
1800.08/1800.90 c intshifting : 0.19 0 0
1800.08/1800.90 c fixandinfer : 0.00 0 0
1800.08/1800.90 c feaspump : 0.10 1 0
1800.08/1800.90 c intdiving : 0.00 0 0
1800.08/1800.90 c actconsdiving : 0.00 0 0
1800.08/1800.90 c octane : 0.00 0 0
1800.08/1800.90 c rens : 0.02 1 0
1800.08/1800.90 c rins : 0.00 0 0
1800.08/1800.90 c localbranching : 0.00 0 0
1800.08/1800.90 c mutation : 0.00 0 0
1800.08/1800.90 c dins : 0.00 0 0
1800.08/1800.90 c LP : Time Calls Iterations Iter/call Iter/sec
1800.08/1800.90 c primal LP : 0.00 0 0 0.00 -
1800.08/1800.90 c dual LP : 950.73 5031088 17917392 3.56 18845.93
1800.08/1800.90 c barrier LP : 0.00 0 0 0.00 -
1800.08/1800.90 c diving/probing LP: 53.74 305852 717505 2.35 13351.41
1800.08/1800.90 c strong branching : 2.07 11835 42182 3.56 20377.78
1800.08/1800.90 c (at root node) : - 10 147 14.70 -
1800.08/1800.90 c conflict analysis: 0.00 0 0 0.00 -
1800.08/1800.90 c B&B Tree :
1800.08/1800.90 c number of runs : 1
1800.08/1800.90 c nodes : 5399057
1800.08/1800.90 c nodes (total) : 5399057
1800.08/1800.90 c nodes left : 170614
1800.08/1800.90 c max depth : 36
1800.08/1800.90 c max depth (total): 36
1800.08/1800.90 c backtracks : 1453199 (26.9%)
1800.08/1800.90 c delayed cutoffs : 7889
1800.08/1800.90 c repropagations : 29562 (49816 domain reductions, 6933 cutoffs)
1800.08/1800.90 c avg switch length: 5.66
1800.08/1800.90 c switching time : 106.87
1800.08/1800.90 c Solution :
1800.08/1800.90 c Solutions found : 18 (18 improvements)
1800.08/1800.90 c Primal Bound : +1.00000000001091e+00 (in run 1, after 4028785 nodes, 1293.48 seconds, depth 27, found by <relaxation>)
1800.08/1800.90 c Dual Bound : +0.00000000000000e+00
1800.08/1800.90 c Gap : infinite
1800.08/1800.90 c Root Dual Bound : +0.00000000000000e+00
1800.99/1801.82 c Time complete: 1801.02.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869537-1245177493/watcher-1869537-1245177493 -o /tmp/evaluation-result-1869537-1245177493/solver-1869537-1245177493 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869537-1245177493.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: 1.00 1.00 1.00 2/65 3391
/proc/meminfo: memFree=1903096/2055920 swapFree=4192956/4192956
[pid=3391] ppid=3389 vsize=5680 CPUtime=0
/proc/3391/stat : 3391 (pbscip.linux.x8) R 3389 3391 3324 0 -1 4194304 472 0 0 0 0 0 0 0 20 0 1 0 3661562 5816320 456 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 0 0 0
/proc/3391/statm: 1420 457 332 1256 0 159 0
[startup+0.061318 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3391
/proc/meminfo: memFree=1903096/2055920 swapFree=4192956/4192956
[pid=3391] ppid=3389 vsize=14936 CPUtime=0.05
/proc/3391/stat : 3391 (pbscip.linux.x8) R 3389 3391 3324 0 -1 4194304 2966 0 0 0 4 1 0 0 20 0 1 0 3661562 15294464 2596 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3391/statm: 3734 2596 667 1256 0 2473 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 14936
[startup+0.101321 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3391
/proc/meminfo: memFree=1903096/2055920 swapFree=4192956/4192956
[pid=3391] ppid=3389 vsize=15096 CPUtime=0.09
/proc/3391/stat : 3391 (pbscip.linux.x8) R 3389 3391 3324 0 -1 4194304 2987 0 0 0 8 1 0 0 20 0 1 0 3661562 15458304 2617 1992294400 4194304 9342243 548682068736 18446744073709551615 4271290 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3391/statm: 3774 2617 667 1256 0 2513 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15096
[startup+0.30134 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3391
/proc/meminfo: memFree=1903096/2055920 swapFree=4192956/4192956
[pid=3391] ppid=3389 vsize=16104 CPUtime=0.29
/proc/3391/stat : 3391 (pbscip.linux.x8) R 3389 3391 3324 0 -1 4194304 4684 0 0 0 27 2 0 0 22 0 1 0 3661562 16490496 2695 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3391/statm: 4026 2695 700 1256 0 2765 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16104
[startup+0.701378 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3391
/proc/meminfo: memFree=1903096/2055920 swapFree=4192956/4192956
[pid=3391] ppid=3389 vsize=16420 CPUtime=0.69
/proc/3391/stat : 3391 (pbscip.linux.x8) R 3389 3391 3324 0 -1 4194304 5364 0 0 0 65 4 0 0 25 0 1 0 3661562 16814080 2701 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3391/statm: 4105 2701 700 1256 0 2844 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16420
[startup+1.50145 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3392
/proc/meminfo: memFree=1892336/2055920 swapFree=4192956/4192956
[pid=3391] ppid=3389 vsize=16796 CPUtime=1.49
/proc/3391/stat : 3391 (pbscip.linux.x8) R 3389 3391 3324 0 -1 4194304 7087 0 0 0 141 8 0 0 25 0 1 0 3661562 17199104 2837 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3391/statm: 4199 2837 700 1256 0 2938 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16796
[startup+3.1016 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3392
/proc/meminfo: memFree=1891120/2055920 swapFree=4192956/4192956
[pid=3391] ppid=3389 vsize=19180 CPUtime=3.09
/proc/3391/stat : 3391 (pbscip.linux.x8) R 3389 3391 3324 0 -1 4194304 7906 0 0 0 295 14 0 0 25 0 1 0 3661562 19640320 3656 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3391/statm: 4795 3656 700 1256 0 3534 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19180
[startup+6.3019 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3392
/proc/meminfo: memFree=1890224/2055920 swapFree=4192956/4192956
[pid=3391] ppid=3389 vsize=20368 CPUtime=6.29
/proc/3391/stat : 3391 (pbscip.linux.x8) R 3389 3391 3324 0 -1 4194304 8240 0 0 0 603 26 0 0 25 0 1 0 3661562 20856832 3990 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3391/statm: 5092 3990 700 1256 0 3831 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20368
[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3392
/proc/meminfo: memFree=1887792/2055920 swapFree=4192956/4192956
[pid=3391] ppid=3389 vsize=22048 CPUtime=12.68
/proc/3391/stat : 3391 (pbscip.linux.x8) R 3389 3391 3324 0 -1 4194304 8724 0 0 0 1217 51 0 0 25 0 1 0 3661562 22577152 4474 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3391/statm: 5512 4474 700 1256 0 4251 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 22048
[startup+25.5017 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3392
/proc/meminfo: memFree=1884848/2055920 swapFree=4192956/4192956
[pid=3391] ppid=3389 vsize=25060 CPUtime=25.47
/proc/3391/stat : 3391 (pbscip.linux.x8) R 3389 3391 3324 0 -1 4194304 9483 0 0 0 2447 100 0 0 25 0 1 0 3661562 25661440 5233 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3391/statm: 6265 5233 701 1256 0 5004 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 25060
[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3392
/proc/meminfo: memFree=1882032/2055920 swapFree=4192956/4192956
[pid=3391] ppid=3389 vsize=27212 CPUtime=51.05
/proc/3391/stat : 3391 (pbscip.linux.x8) R 3389 3391 3324 0 -1 4194304 12704 0 0 0 4897 208 0 0 25 0 1 0 3661562 27865088 5881 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3391/statm: 6803 5881 701 1256 0 5542 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 27212
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3392
/proc/meminfo: memFree=1878512/2055920 swapFree=4192956/4192956
[pid=3391] ppid=3389 vsize=30800 CPUtime=102.24
/proc/3391/stat : 3391 (pbscip.linux.x8) R 3389 3391 3324 0 -1 4194304 13586 0 0 0 9793 431 0 0 25 0 1 0 3661562 31539200 6763 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3391/statm: 7700 6763 701 1256 0 6439 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 30800
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3392
/proc/meminfo: memFree=1874416/2055920 swapFree=4192956/4192956
[pid=3391] ppid=3389 vsize=35660 CPUtime=162.21
/proc/3391/stat : 3391 (pbscip.linux.x8) R 3389 3391 3324 0 -1 4194304 17772 0 0 0 15513 708 0 0 25 0 1 0 3661562 36515840 7779 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3391/statm: 8915 7779 701 1256 0 7654 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 35660
[startup+222.301 s]
/proc/loadavg: 1.06 1.02 1.00 2/66 3392
/proc/meminfo: memFree=1868464/2055920 swapFree=4192956/4192956
[pid=3391] ppid=3389 vsize=41744 CPUtime=222.18
/proc/3391/stat : 3391 (pbscip.linux.x8) R 3389 3391 3324 0 -1 4194304 19229 0 0 0 21242 976 0 0 25 0 1 0 3661562 42745856 9236 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3391/statm: 10436 9236 701 1256 0 9175 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 41744
[startup+282.302 s]
/proc/loadavg: 1.07 1.03 1.00 2/66 3392
/proc/meminfo: memFree=1864240/2055920 swapFree=4192956/4192956
[pid=3391] ppid=3389 vsize=45184 CPUtime=282.16
/proc/3391/stat : 3391 (pbscip.linux.x8) R 3389 3391 3324 0 -1 4194304 20259 0 0 0 26954 1262 0 0 25 0 1 0 3661562 46268416 10266 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3391/statm: 11296 10266 701 1256 0 10035 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 45184
[startup+342.301 s]
/proc/loadavg: 1.13 1.05 1.01 2/66 3392
/proc/meminfo: memFree=1859888/2055920 swapFree=4192956/4192956
[pid=3391] ppid=3389 vsize=49660 CPUtime=342.15
/proc/3391/stat : 3391 (pbscip.linux.x8) R 3389 3391 3324 0 -1 4194304 22926 0 0 0 32666 1549 0 0 25 0 1 0 3661562 50851840 11319 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3391/statm: 12415 11319 701 1256 0 11154 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 49660
[startup+402.301 s]
/proc/loadavg: 1.05 1.04 1.00 2/66 3392
/proc/meminfo: memFree=1855792/2055920 swapFree=4192956/4192956
[pid=3391] ppid=3389 vsize=54720 CPUtime=402.1
/proc/3391/stat : 3391 (pbscip.linux.x8) R 3389 3391 3324 0 -1 4194304 24022 0 0 0 38391 1819 0 0 25 0 1 0 3661562 56033280 12415 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3391/statm: 13680 12415 701 1256 0 12419 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 54720
[startup+462.302 s]
/proc/loadavg: 1.02 1.03 1.00 2/66 3392
/proc/meminfo: memFree=1846384/2055920 swapFree=4192956/4192956
[pid=3391] ppid=3389 vsize=63652 CPUtime=462.08
/proc/3391/stat : 3391 (pbscip.linux.x8) R 3389 3391 3324 0 -1 4194304 26291 0 0 0 44110 2098 0 0 25 0 1 0 3661562 65179648 14684 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3391/statm: 15913 14684 701 1256 0 14652 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 63652
[startup+522.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 3392
/proc/meminfo: memFree=1835504/2055920 swapFree=4192956/4192956
[pid=3391] ppid=3389 vsize=76080 CPUtime=522.06
/proc/3391/stat : 3391 (pbscip.linux.x8) R 3389 3391 3324 0 -1 4194304 29077 0 0 0 49822 2384 0 0 25 0 1 0 3661562 77905920 17470 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3391/statm: 19020 17470 701 1256 0 17759 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 76080
[startup+582.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 3392
/proc/meminfo: memFree=1825840/2055920 swapFree=4192956/4192956
[pid=3391] ppid=3389 vsize=85444 CPUtime=582.03
/proc/3391/stat : 3391 (pbscip.linux.x8) R 3389 3391 3324 0 -1 4194304 31336 0 0 0 55536 2667 0 0 25 0 1 0 3661562 87494656 19729 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3391/statm: 21361 19729 701 1256 0 20100 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 85444
[startup+642.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 3392
/proc/meminfo: memFree=1823664/2055920 swapFree=4192956/4192956
[pid=3391] ppid=3389 vsize=87608 CPUtime=642.01
/proc/3391/stat : 3391 (pbscip.linux.x8) R 3389 3391 3324 0 -1 4194304 31844 0 0 0 61260 2941 0 0 25 0 1 0 3661562 89710592 20237 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3391/statm: 21902 20237 701 1256 0 20641 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 87608
[startup+702.301 s]
################
# More data... #
################
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3392
/proc/meminfo: memFree=1812464/2055920 swapFree=4192956/4192956
[pid=3391] ppid=3389 vsize=97040 CPUtime=941.88
/proc/3391/stat : 3391 (pbscip.linux.x8) R 3389 3391 3324 0 -1 4194304 35251 0 0 0 89836 4352 0 0 25 0 1 0 3661562 99368960 22897 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3391/statm: 24260 22897 701 1256 0 22999 0
Current children cumulated CPU time (s) 941.88
Current children cumulated vsize (KiB) 97040
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3392
/proc/meminfo: memFree=1810224/2055920 swapFree=4192956/4192956
[pid=3391] ppid=3389 vsize=100300 CPUtime=1001.86
/proc/3391/stat : 3391 (pbscip.linux.x8) R 3389 3391 3324 0 -1 4194304 35822 0 0 0 95543 4643 0 0 25 0 1 0 3661562 102707200 23468 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3391/statm: 25075 23468 701 1256 0 23814 0
Current children cumulated CPU time (s) 1001.86
Current children cumulated vsize (KiB) 100300
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3392
/proc/meminfo: memFree=1807536/2055920 swapFree=4192956/4192956
[pid=3391] ppid=3389 vsize=102696 CPUtime=1061.83
/proc/3391/stat : 3391 (pbscip.linux.x8) R 3389 3391 3324 0 -1 4194304 36473 0 0 0 101257 4926 0 0 25 0 1 0 3661562 105160704 24119 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3391/statm: 25674 24119 701 1256 0 24413 0
Current children cumulated CPU time (s) 1061.83
Current children cumulated vsize (KiB) 102696
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3392
/proc/meminfo: memFree=1801776/2055920 swapFree=4192956/4192956
[pid=3391] ppid=3389 vsize=108540 CPUtime=1121.81
/proc/3391/stat : 3391 (pbscip.linux.x8) R 3389 3391 3324 0 -1 4194304 37952 0 0 0 106970 5211 0 0 25 0 1 0 3661562 111144960 25598 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3391/statm: 27135 25598 701 1256 0 25874 0
Current children cumulated CPU time (s) 1121.81
Current children cumulated vsize (KiB) 108540
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3392
/proc/meminfo: memFree=1795056/2055920 swapFree=4192956/4192956
[pid=3391] ppid=3389 vsize=114980 CPUtime=1181.78
/proc/3391/stat : 3391 (pbscip.linux.x8) R 3389 3391 3324 0 -1 4194304 39533 0 0 0 112678 5500 0 0 25 0 1 0 3661562 117739520 27179 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3391/statm: 28745 27179 701 1256 0 27484 0
Current children cumulated CPU time (s) 1181.78
Current children cumulated vsize (KiB) 114980
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3392
/proc/meminfo: memFree=1788272/2055920 swapFree=4192956/4192956
[pid=3391] ppid=3389 vsize=121588 CPUtime=1241.74
/proc/3391/stat : 3391 (pbscip.linux.x8) R 3389 3391 3324 0 -1 4194304 41189 0 0 0 118393 5781 0 0 25 0 1 0 3661562 124506112 28835 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3391/statm: 30397 28835 701 1256 0 29136 0
Current children cumulated CPU time (s) 1241.74
Current children cumulated vsize (KiB) 121588
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3392
/proc/meminfo: memFree=1784496/2055920 swapFree=4192956/4192956
[pid=3391] ppid=3389 vsize=125508 CPUtime=1301.72
/proc/3391/stat : 3391 (pbscip.linux.x8) R 3389 3391 3324 0 -1 4194304 42093 0 0 0 124099 6073 0 0 25 0 1 0 3661562 128520192 29739 1992294400 4194304 9342243 548682068736 18446744073709551615 8223056 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3391/statm: 31377 29739 701 1256 0 30116 0
Current children cumulated CPU time (s) 1301.72
Current children cumulated vsize (KiB) 125508
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3392
/proc/meminfo: memFree=1779120/2055920 swapFree=4192956/4192956
[pid=3391] ppid=3389 vsize=129640 CPUtime=1361.68
/proc/3391/stat : 3391 (pbscip.linux.x8) R 3389 3391 3324 0 -1 4194304 43423 0 0 0 129816 6352 0 0 25 0 1 0 3661562 132751360 31069 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3391/statm: 32410 31069 701 1256 0 31149 0
Current children cumulated CPU time (s) 1361.68
Current children cumulated vsize (KiB) 129640
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3398
/proc/meminfo: memFree=1778672/2055920 swapFree=4192956/4192956
[pid=3391] ppid=3389 vsize=129640 CPUtime=1421.65
/proc/3391/stat : 3391 (pbscip.linux.x8) R 3389 3391 3324 0 -1 4194304 43423 0 0 0 135534 6631 0 0 25 0 1 0 3661562 132751360 31069 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3391/statm: 32410 31069 701 1256 0 31149 0
Current children cumulated CPU time (s) 1421.65
Current children cumulated vsize (KiB) 129640
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3398
/proc/meminfo: memFree=1778672/2055920 swapFree=4192956/4192956
[pid=3391] ppid=3389 vsize=129640 CPUtime=1481.61
/proc/3391/stat : 3391 (pbscip.linux.x8) R 3389 3391 3324 0 -1 4194304 43452 0 0 0 141248 6913 0 0 25 0 1 0 3661562 132751360 31098 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3391/statm: 32410 31098 701 1256 0 31149 0
Current children cumulated CPU time (s) 1481.61
Current children cumulated vsize (KiB) 129640
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3398
/proc/meminfo: memFree=1777456/2055920 swapFree=4192956/4192956
[pid=3391] ppid=3389 vsize=131600 CPUtime=1541.58
/proc/3391/stat : 3391 (pbscip.linux.x8) R 3389 3391 3324 0 -1 4194304 43767 0 0 0 146962 7196 0 0 25 0 1 0 3661562 134758400 31413 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3391/statm: 32900 31413 701 1256 0 31639 0
Current children cumulated CPU time (s) 1541.58
Current children cumulated vsize (KiB) 131600
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3398
/proc/meminfo: memFree=1772336/2055920 swapFree=4192956/4192956
[pid=3391] ppid=3389 vsize=136976 CPUtime=1601.56
/proc/3391/stat : 3391 (pbscip.linux.x8) R 3389 3391 3324 0 -1 4194304 45025 0 0 0 152690 7466 0 0 25 0 1 0 3661562 140263424 32671 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3391/statm: 34244 32671 701 1256 0 32983 0
Current children cumulated CPU time (s) 1601.56
Current children cumulated vsize (KiB) 136976
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3398
/proc/meminfo: memFree=1768624/2055920 swapFree=4192956/4192956
[pid=3391] ppid=3389 vsize=140392 CPUtime=1661.53
/proc/3391/stat : 3391 (pbscip.linux.x8) R 3389 3391 3324 0 -1 4194304 45913 0 0 0 158396 7757 0 0 25 0 1 0 3661562 143761408 33559 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3391/statm: 35098 33559 701 1256 0 33837 0
Current children cumulated CPU time (s) 1661.53
Current children cumulated vsize (KiB) 140392
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3398
/proc/meminfo: memFree=1757808/2055920 swapFree=4192956/4192956
[pid=3391] ppid=3389 vsize=150104 CPUtime=1721.51
/proc/3391/stat : 3391 (pbscip.linux.x8) R 3389 3391 3324 0 -1 4194304 49559 0 0 0 164109 8042 0 0 25 0 1 0 3661562 153706496 36245 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3391/statm: 37526 36245 701 1256 0 36265 0
Current children cumulated CPU time (s) 1721.51
Current children cumulated vsize (KiB) 150104
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3398
/proc/meminfo: memFree=1752496/2055920 swapFree=4192956/4192956
[pid=3391] ppid=3389 vsize=155456 CPUtime=1781.5
/proc/3391/stat : 3391 (pbscip.linux.x8) R 3389 3391 3324 0 -1 4194304 50825 0 0 0 169826 8324 0 0 25 0 1 0 3661562 159186944 37511 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3391/statm: 38864 37511 701 1256 0 37603 0
Current children cumulated CPU time (s) 1781.5
Current children cumulated vsize (KiB) 155456
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3398
/proc/meminfo: memFree=1751792/2055920 swapFree=4192956/4192956
[pid=3391] ppid=3389 vsize=156124 CPUtime=1800.08
/proc/3391/stat : 3391 (pbscip.linux.x8) R 3389 3391 3324 0 -1 4194304 51011 0 0 0 171590 8418 0 0 25 0 1 0 3661562 159870976 37697 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3391/statm: 39031 37697 701 1256 0 37770 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 156124
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3398
/proc/meminfo: memFree=1751792/2055920 swapFree=4192956/4192956
[pid=3391] ppid=3389 vsize=156124 CPUtime=1800.58
/proc/3391/stat : 3391 (pbscip.linux.x8) R 3389 3391 3324 0 -1 4194304 51012 0 0 0 171640 8418 0 0 25 0 1 0 3661562 159870976 37698 1992294400 4194304 9342243 548682068736 18446744073709551615 4805796 0 0 4096 0 0 0 0 17 0 0 0
/proc/3391/statm: 39031 37698 702 1256 0 37770 0
Current children cumulated CPU time (s) 1800.58
Current children cumulated vsize (KiB) 156124
[startup+1801.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3399
/proc/meminfo: memFree=1751784/2055920 swapFree=4192956/4192956
[pid=3391] ppid=3389 vsize=154584 CPUtime=1800.99
/proc/3391/stat : 3391 (pbscip.linux.x8) R 3389 3391 3324 0 -1 4194304 51012 0 0 0 171680 8419 0 0 25 0 1 0 3661562 158294016 37363 1992294400 4194304 9342243 548682068736 18446744073709551615 8483466 0 0 4096 0 0 0 0 17 0 0 0
/proc/3391/statm: 38646 37363 1943 1256 0 37385 0
Current children cumulated CPU time (s) 1800.99
Current children cumulated vsize (KiB) 154584
Child status: 0
Real time (s): 1801.83
CPU time (s): 1801.02
CPU user time (s): 1716.81
CPU system time (s): 84.2102
CPU usage (%): 99.9551
Max. virtual memory (cumulated for all children) (KiB): 156124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1716.81
system time used= 84.2102
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51015
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= 6059
runsolver used 1.78073 second user time and 3.46147 second system time
The end