0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3692142-1338035063.opb>
0.01/0.05 c original problem has 2467 variables (2467 bin, 0 int, 0 impl, 0 cont) and 4745 constraints
0.01/0.05 c problem read in 0.06
0.01/0.09 c presolving:
0.08/0.13 c (round 1) 1 del vars, 1 del conss, 0 add conss, 1 chg bounds, 12 chg sides, 443 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.08/0.15 c (round 2) 1 del vars, 2028 del conss, 0 add conss, 1 chg bounds, 12 chg sides, 443 chg coeffs, 351 upgd conss, 0 impls, 0 clqs
0.08/0.17 c (round 3) 1 del vars, 2028 del conss, 6 add conss, 1 chg bounds, 22 chg sides, 468 chg coeffs, 690 upgd conss, 314 impls, 5 clqs
0.08/0.18 c (round 4) 1 del vars, 2028 del conss, 6 add conss, 1 chg bounds, 29 chg sides, 520 chg coeffs, 690 upgd conss, 314 impls, 5 clqs
0.19/0.20 c (0.2s) probing: 51/2466 (2.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.20 c (0.2s) probing aborted: 50/50 successive totally useless probings
0.19/0.21 c presolving (5 rounds):
0.19/0.21 c 1 deleted vars, 2028 deleted constraints, 6 added constraints, 1 tightened bounds, 0 added holes, 29 changed sides, 522 changed coefficients
0.19/0.21 c 314 implications, 5 cliques
0.19/0.21 c presolved problem has 2466 variables (2466 bin, 0 int, 0 impl, 0 cont) and 2723 constraints
0.19/0.21 c 690 constraints of type <knapsack>
0.19/0.21 c 6 constraints of type <setppc>
0.19/0.21 c 2027 constraints of type <linear>
0.19/0.21 c transformed objective value is always integral (scale: 1)
0.19/0.21 c Presolving Time: 0.12
0.19/0.21 c - non default parameters ----------------------------------------------------------------------
0.19/0.21 c # SCIP version 2.1.1.4
0.19/0.21 c
0.19/0.21 c # maximal time in seconds to run
0.19/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.21 c limits/time = 1797
0.19/0.21 c
0.19/0.21 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.21 c limits/memory = 13950
0.19/0.21 c
0.19/0.21 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.19/0.21 c # [type: int, range: [1,2], default: 1]
0.19/0.21 c timing/clocktype = 2
0.19/0.21 c
0.19/0.21 c # belongs reading time to solving time?
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c timing/reading = TRUE
0.19/0.21 c
0.19/0.21 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.21 c separating/rapidlearning/freq = 0
0.19/0.21 c
0.19/0.21 c -----------------------------------------------------------------------------------------------
0.19/0.21 c start solving
0.19/0.21 c
0.29/0.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.29/0.39 c 0.4s| 1 | 0 | 59 | - | 22M| 0 | 159 |2466 |2751 |2466 |2723 | 0 | 28 | 0 | 7.800000e+01 | -- | Inf
4.89/4.95 c 4.9s| 1 | 0 | 4159 | - | 24M| 0 | 490 |2466 |3680 |2466 |2839 | 116 | 28 | 0 | 7.800000e+01 | -- | Inf
5.28/5.35 c 5.4s| 1 | 0 | 5245 | - | 25M| 0 | 552 |2466 |3680 |2466 |2947 | 224 | 28 | 0 | 7.800000e+01 | -- | Inf
5.79/5.86 c 5.9s| 1 | 0 | 6585 | - | 25M| 0 | 439 |2466 |3680 |2466 |3100 | 377 | 28 | 0 | 7.800000e+01 | -- | Inf
6.39/6.45 c 6.4s| 1 | 0 | 7495 | - | 26M| 0 | 508 |2466 |3680 |2466 |3261 | 538 | 28 | 0 | 7.800000e+01 | -- | Inf
7.09/7.17 c 7.2s| 1 | 0 | 8946 | - | 27M| 0 | 507 |2466 |3680 |2466 |3409 | 686 | 28 | 0 | 7.800000e+01 | -- | Inf
8.09/8.14 c 8.1s| 1 | 0 | 10431 | - | 27M| 0 | 718 |2466 |3680 |2466 |3569 | 846 | 28 | 0 | 7.800000e+01 | -- | Inf
9.09/9.10 c 9.1s| 1 | 0 | 11617 | - | 28M| 0 | 812 |2466 |3680 |2466 |3726 |1003 | 28 | 0 | 7.800000e+01 | -- | Inf
10.09/10.17 c 10.2s| 1 | 0 | 12677 | - | 29M| 0 | 920 |2466 |3680 |2466 |3868 |1145 | 28 | 0 | 7.800000e+01 | -- | Inf
15.68/15.70 c 15.7s| 1 | 2 | 12677 | - | 29M| 0 | 920 |2466 |3680 |2466 |3868 |1145 | 28 | 24 | 7.800000e+01 | -- | Inf
37.38/37.45 c 37.4s| 100 | 85 | 54211 | 419.5 | 29M| 29 | 240 |2466 |3711 |2466 |2947 |1145 | 59 | 272 | 7.800000e+01 | -- | Inf
39.28/39.38 c 39.4s| 200 | 128 | 65666 | 266.3 | 30M| 39 | - |2466 |3781 |2466 |2947 |1145 | 129 | 291 | 7.800000e+01 | -- | Inf
42.88/42.98 c 43.0s| 300 | 160 | 82682 | 234.1 | 30M| 41 | - |2466 |3893 |2466 |2947 |1145 | 241 | 328 | 7.800000e+01 | -- | Inf
47.07/47.14 c 47.1s| 400 | 206 |110538 | 245.3 | 31M| 41 | - |2466 |3980 | 0 | 0 |1145 | 328 | 375 | 7.800000e+01 | -- | Inf
52.07/52.17 c 52.2s| 500 | 287 |139006 | 253.2 | 31M| 41 | 454 |2466 |4021 |2466 |2947 |1145 | 369 | 410 | 7.800000e+01 | -- | Inf
71.48/71.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
71.48/71.58 c 71.6s| 600 | 358 |415406 | 672.3 | 31M| 41 |1323 |2466 |4295 |2466 |2947 |1145 | 643 | 422 | 7.800000e+01 | -- | Inf
75.88/75.92 c 75.9s| 700 | 398 |434247 | 603.1 | 32M| 57 |1240 |2466 |4383 |2466 |2947 |1145 | 731 | 483 | 7.800000e+01 | -- | Inf
79.36/79.43 c 79.4s| 800 | 464 |452564 | 550.5 | 32M| 64 | 499 |2466 |4437 |2466 |2947 |1145 | 785 | 495 | 7.800000e+01 | -- | Inf
81.57/81.66 c 81.7s| 900 | 500 |464294 | 502.4 | 32M| 64 | 680 |2466 |4528 |2466 |2947 |1145 | 876 | 521 | 7.800000e+01 | -- | Inf
84.27/84.39 c 84.4s| 1000 | 528 |478239 | 466.0 | 33M| 76 | 812 |2466 |4645 |2466 |2947 |1145 | 993 | 572 | 7.800000e+01 | -- | Inf
87.87/87.90 c 87.9s| 1100 | 530 |497579 | 441.2 | 33M| 76 |1229 |2466 |4769 |2466 |2947 |1145 |1117 | 593 | 7.800000e+01 | -- | Inf
90.37/90.40 c 90.4s| 1200 | 565 |511892 | 416.4 | 33M| 76 |1116 |2466 |4877 |2466 |2947 |1145 |1225 | 606 | 7.800000e+01 | -- | Inf
92.76/92.81 c 92.8s| 1300 | 572 |524044 | 393.7 | 34M| 76 | - |2466 |5115 | 0 | 0 |1145 |1463 | 658 | 7.800000e+01 | -- | Inf
97.07/97.14 c 97.1s| 1400 | 605 |548051 | 382.7 | 34M| 76 | - |2466 |5240 |2466 |2947 |1145 |1588 | 680 | 7.800000e+01 | -- | Inf
99.56/99.62 c 99.6s| 1500 | 619 |561316 | 366.0 | 34M| 76 |1027 |2466 |5356 |2466 |2947 |1145 |1704 | 709 | 7.800000e+01 | -- | Inf
102.06/102.12 c 102s| 1600 | 647 |574009 | 351.1 | 34M| 76 | 633 |2466 |5429 |2466 |2947 |1145 |1781 | 731 | 7.800000e+01 | -- | Inf
105.76/105.88 c 106s| 1700 | 690 |595595 | 343.1 | 35M| 76 | - |2466 |5569 | 0 | 0 |1145 |1925 | 780 | 7.800000e+01 | -- | Inf
108.16/108.29 c 108s| 1800 | 709 |607302 | 330.5 | 35M| 76 | 364 |2466 |5702 |2466 |2947 |1145 |2067 | 809 | 7.800000e+01 | -- | Inf
110.96/111.09 c 111s| 1900 | 734 |622138 | 320.9 | 35M| 76 | 543 |2466 |5794 |2466 |2947 |1145 |2175 | 837 | 7.800000e+01 | -- | Inf
115.66/115.74 c 116s| 2000 | 749 |650514 | 319.1 | 35M| 76 | 460 |2466 |5891 |2466 |2947 |1145 |2307 | 876 | 7.800000e+01 | -- | Inf
118.86/118.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
118.86/118.92 c 119s| 2100 | 809 |668381 | 312.4 | 36M| 76 | 680 |2466 |5878 |2466 |2947 |1145 |2372 | 898 | 7.800000e+01 | -- | Inf
122.26/122.33 c 122s| 2200 | 856 |685835 | 306.1 | 36M| 76 | - |2466 |5850 | 0 | 0 |1145 |2468 | 933 | 7.800000e+01 | -- | Inf
126.86/126.95 c 127s| 2300 | 880 |721336 | 308.2 | 36M| 76 |1256 |2466 |5860 |2466 |2947 |1145 |2571 | 962 | 7.800000e+01 | -- | Inf
130.26/130.39 c 130s| 2400 | 896 |742661 | 304.3 | 36M| 76 | - |2466 |5843 | 0 | 0 |1145 |2702 |1002 | 7.800000e+01 | -- | Inf
134.36/134.49 c 134s| 2500 | 924 |768234 | 302.3 | 36M| 76 |1058 |2466 |5776 |2466 |2947 |1145 |2819 |1049 | 7.800000e+01 | -- | Inf
138.36/138.45 c 138s| 2600 | 974 |789428 | 298.9 | 37M| 76 |1229 |2466 |5710 |2466 |2947 |1145 |2915 |1100 | 7.800000e+01 | -- | Inf
141.26/141.31 c 141s| 2700 | 989 |807669 | 294.6 | 37M| 76 |1381 |2466 |5620 |2466 |2947 |1145 |3057 |1122 | 7.800000e+01 | -- | Inf
144.66/144.78 c 145s| 2800 | 1001 |825643 | 290.4 | 37M| 76 | - |2466 |5527 | 0 | 0 |1145 |3164 |1178 | 7.800000e+01 | -- | Inf
148.65/148.78 c 149s| 2900 | 1039 |846262 | 287.5 | 37M| 76 | 931 |2466 |5422 |2466 |2947 |1145 |3292 |1208 | 7.800000e+01 | -- | Inf
152.35/152.41 c 152s| 3000 | 1088 |869655 | 285.8 | 37M| 76 |1061 |2466 |5336 |2466 |2947 |1145 |3378 |1227 | 7.800000e+01 | -- | Inf
154.25/154.32 c 154s| 3100 | 1121 |879781 | 279.8 | 38M| 76 | 721 |2466 |5296 |2466 |2947 |1145 |3494 |1238 | 7.800000e+01 | -- | Inf
156.76/156.89 c 157s| 3200 | 1140 |896459 | 276.3 | 38M| 76 | 521 |2466 |5325 |2466 |2947 |1145 |3637 |1266 | 7.800000e+01 | -- | Inf
159.66/159.72 c 160s| 3300 | 1169 |905872 | 270.7 | 38M| 76 | - |2466 |5312 | 0 | 0 |1145 |3740 |1319 | 7.800000e+01 | -- | Inf
162.55/162.67 c 163s| 3400 | 1194 |919420 | 266.8 | 38M| 76 | 506 |2466 |5303 |2466 |2947 |1145 |3843 |1352 | 7.800000e+01 | -- | Inf
166.06/166.12 c 166s| 3500 | 1207 |939205 | 264.8 | 39M| 76 | - |2466 |5310 |2466 |2947 |1145 |3979 |1403 | 7.800000e+01 | -- | Inf
168.55/168.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
168.55/168.68 c 169s| 3600 | 1245 |953159 | 261.3 | 39M| 76 |1008 |2466 |5247 |2466 |2947 |1145 |4079 |1424 | 7.800000e+01 | -- | Inf
171.26/171.38 c 171s| 3700 | 1277 |964360 | 257.3 | 39M| 76 | 899 |2466 |5259 |2466 |2947 |1145 |4208 |1452 | 7.800000e+01 | -- | Inf
175.16/175.24 c 175s| 3800 | 1324 |985745 | 256.1 | 39M| 76 | 690 |2466 |5227 |2466 |2947 |1145 |4282 |1487 | 7.800000e+01 | -- | Inf
177.96/178.00 c 178s| 3900 | 1351 | 1006k| 255.0 | 40M| 76 | - |2466 |5299 |2466 |2947 |1145 |4446 |1497 | 7.800000e+01 | -- | Inf
180.95/181.07 c 181s| 4000 | 1405 | 1025k| 253.2 | 40M| 76 | 763 |2466 |5225 |2466 |2947 |1145 |4505 |1528 | 7.800000e+01 | -- | Inf
183.25/183.31 c 183s| 4100 | 1414 | 1039k| 250.4 | 40M| 76 | 792 |2466 |5157 |2466 |2947 |1145 |4615 |1553 | 7.800000e+01 | -- | Inf
185.55/185.65 c 186s| 4200 | 1462 | 1050k| 247.2 | 41M| 78 | - |2466 |5144 | 0 | 0 |1145 |4700 |1592 | 7.800000e+01 | -- | Inf
188.15/188.23 c 188s| 4300 | 1469 | 1062k| 244.2 | 41M| 82 | - |2466 |5216 | 0 | 0 |1145 |4826 |1660 | 7.800000e+01 | -- | Inf
190.45/190.52 c 191s| 4400 | 1474 | 1074k| 241.3 | 41M| 82 | - |2466 |5085 | 0 | 0 |1145 |4933 |1691 | 7.800000e+01 | -- | Inf
192.85/192.90 c 193s| 4500 | 1473 | 1086k| 238.6 | 42M| 82 |1008 |2466 |5200 |2466 |2947 |1145 |5104 |1748 | 7.800000e+01 | -- | Inf
195.25/195.34 c 195s| 4600 | 1511 | 1101k| 236.8 | 42M| 82 | - |2466 |5057 | 0 | 0 |1145 |5188 |1765 | 7.800000e+01 | -- | Inf
199.55/199.61 c 200s| 4700 | 1568 | 1126k| 237.1 | 42M| 82 | 864 |2466 |4937 |2466 |2947 |1145 |5251 |1802 | 7.800000e+01 | -- | Inf
201.65/201.72 c 202s| 4800 | 1603 | 1136k| 234.2 | 42M| 82 | 846 |2466 |4907 |2466 |2947 |1145 |5380 |1825 | 7.800000e+01 | -- | Inf
204.35/204.44 c 204s| 4900 | 1657 | 1155k| 233.3 | 42M| 82 |1016 |2466 |4907 |2466 |2947 |1145 |5485 |1836 | 7.800000e+01 | -- | Inf
206.14/206.22 c 206s| 5000 | 1706 | 1164k| 230.5 | 42M| 82 | 865 |2466 |4789 |2466 |2947 |1145 |5534 |1853 | 7.800000e+01 | -- | Inf
210.75/210.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
210.75/210.80 c 211s| 5100 | 1752 | 1191k| 231.2 | 42M| 82 | - |2466 |4706 |2466 |2947 |1145 |5623 |1874 | 7.800000e+01 | -- | Inf
211.95/212.01 c 212s| 5200 | 1810 | 1196k| 227.7 | 43M| 82 | - |2466 |4752 | 0 | 0 |1145 |5704 |1892 | 7.800000e+01 | -- | Inf
218.45/218.56 c 219s| 5300 | 1846 | 1230k| 229.8 | 43M| 82 | - |2466 |4965 |2466 |2947 |1145 |6067 |1943 | 7.800000e+01 | -- | Inf
220.44/220.50 c 221s| 5400 | 1887 | 1238k| 227.1 | 43M| 82 | 617 |2466 |4930 |2466 |2947 |1145 |6139 |1971 | 7.800000e+01 | -- | Inf
222.24/222.30 c 222s| 5500 | 1938 | 1248k| 224.7 | 44M| 83 | - |2466 |4926 |2466 |2947 |1145 |6204 |1994 | 7.800000e+01 | -- | Inf
224.25/224.36 c 224s| 5600 | 2019 | 1256k| 222.1 | 44M| 83 |1237 |2466 |4903 |2466 |2947 |1145 |6233 |2020 | 7.800000e+01 | -- | Inf
226.55/226.65 c 227s| 5700 | 2051 | 1266k| 220.0 | 44M| 83 |1221 |2466 |4908 |2466 |2947 |1145 |6320 |2057 | 7.800000e+01 | -- | Inf
229.04/229.13 c 229s| 5800 | 2080 | 1276k| 217.9 | 44M| 83 | 920 |2466 |4901 |2466 |2947 |1145 |6402 |2073 | 7.800000e+01 | -- | Inf
233.44/233.59 c 234s| 5900 | 2126 | 1299k| 218.1 | 45M| 83 | 406 |2466 |4822 |2466 |2947 |1145 |6513 |2101 | 7.800000e+01 | -- | Inf
235.54/235.67 c 236s| 6000 | 2158 | 1311k| 216.4 | 45M| 83 | 734 |2466 |4818 |2466 |2947 |1145 |6624 |2126 | 7.800000e+01 | -- | Inf
240.04/240.13 c 240s| 6100 | 2173 | 1332k| 216.4 | 45M| 83 |1005 |2466 |4857 |2466 |2947 |1145 |6771 |2185 | 7.800000e+01 | -- | Inf
243.14/243.23 c 243s| 6200 | 2218 | 1353k| 216.3 | 45M| 83 | 324 |2466 |4775 |2466 |2947 |1145 |6851 |2213 | 7.800000e+01 | -- | Inf
246.74/246.86 c 247s| 6300 | 2277 | 1373k| 216.0 | 45M| 83 |1255 |2466 |4746 |2466 |2947 |1145 |6929 |2250 | 7.800000e+01 | -- | Inf
249.94/250.00 c 250s| 6400 | 2318 | 1386k| 214.6 | 46M| 83 | 960 |2466 |4666 |2466 |2947 |1145 |7013 |2324 | 7.800000e+01 | -- | Inf
255.34/255.47 c 255s| 6500 | 2363 | 1432k| 218.5 | 46M| 83 | 935 |2466 |4716 |2466 |2947 |1145 |7208 |2374 | 7.800000e+01 | -- | Inf
257.74/257.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
257.74/257.84 c 258s| 6600 | 2392 | 1445k| 217.2 | 46M| 83 | 703 |2466 |4686 |2466 |2947 |1145 |7322 |2391 | 7.800000e+01 | -- | Inf
261.65/261.73 c 262s| 6700 | 2443 | 1467k| 217.2 | 46M| 83 | - |2466 |4697 |2466 |2947 |1145 |7493 |2427 | 7.800000e+01 | -- | Inf
265.23/265.33 c 265s| 6800 | 2473 | 1486k| 216.8 | 46M| 83 | - |2466 |4702 | 0 | 0 |1145 |7645 |2501 | 7.800000e+01 | -- | Inf
268.44/268.54 c 269s| 6900 | 2501 | 1497k| 215.2 | 47M| 83 | - |2466 |4733 | 0 | 0 |1145 |7745 |2590 | 7.800000e+01 | -- | Inf
272.43/272.55 c 273s| 7000 | 2531 | 1516k| 214.9 | 47M| 83 | - |2466 |4707 |2466 |2947 |1145 |7848 |2661 | 7.800000e+01 | -- | Inf
276.44/276.52 c 277s| 7100 | 2544 | 1538k| 214.9 | 47M| 83 | - |2466 |4644 | 0 | 0 |1145 |7953 |2715 | 7.800000e+01 | -- | Inf
279.14/279.23 c 279s| 7200 | 2575 | 1553k| 214.0 | 47M| 83 | - |2466 |4582 | 0 | 0 |1145 |8048 |2745 | 7.800000e+01 | -- | Inf
282.84/282.99 c 283s| 7300 | 2618 | 1578k| 214.5 | 47M| 83 | 968 |2466 |4529 |2466 |2947 |1145 |8139 |2787 | 7.800000e+01 | -- | Inf
286.33/286.44 c 286s| 7400 | 2661 | 1595k| 214.0 | 47M| 83 | 416 |2466 |4511 |2466 |2947 |1145 |8218 |2847 | 7.800000e+01 | -- | Inf
289.34/289.43 c 289s| 7500 | 2687 | 1614k| 213.6 | 47M| 83 |1221 |2466 |4514 |2466 |2947 |1145 |8360 |2872 | 7.800000e+01 | -- | Inf
293.23/293.37 c 293s| 7600 | 2695 | 1629k| 212.8 | 47M| 83 | 616 |2466 |4493 |2466 |2947 |1145 |8454 |2959 | 7.800000e+01 | -- | Inf
296.33/296.48 c 296s| 7700 | 2731 | 1650k| 212.7 | 48M| 83 | 876 |2466 |4529 |2466 |2947 |1145 |8584 |2990 | 7.800000e+01 | -- | Inf
299.93/300.04 c 300s| 7800 | 2764 | 1672k| 212.9 | 48M| 83 |1028 |2466 |4544 |2466 |2947 |1145 |8687 |3027 | 7.800000e+01 | -- | Inf
302.93/303.07 c 303s| 7900 | 2783 | 1690k| 212.4 | 48M| 83 | - |2466 |4618 |2466 |2947 |1145 |8814 |3061 | 7.800000e+01 | -- | Inf
307.73/307.84 c 308s| 8000 | 2824 | 1720k| 213.4 | 48M| 83 | 408 |2466 |4641 |2466 |2947 |1145 |8928 |3124 | 7.800000e+01 | -- | Inf
309.93/310.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
309.93/310.08 c 310s| 8100 | 2845 | 1731k| 212.2 | 49M| 83 | 209 |2466 |4775 |2466 |2947 |1145 |9110 |3151 | 7.800000e+01 | -- | Inf
312.13/312.22 c 312s| 8200 | 2864 | 1741k| 210.9 | 49M| 83 | - |2466 |4768 |2466 |2947 |1145 |9225 |3192 | 7.800000e+01 | -- | Inf
315.33/315.45 c 315s| 8300 | 2883 | 1759k| 210.5 | 49M| 83 | - |2466 |4828 | 0 | 0 |1145 |9404 |3264 | 7.800000e+01 | -- | Inf
318.84/318.93 c 319s| 8400 | 2900 | 1776k| 210.1 | 50M| 83 | 299 |2466 |4766 |2466 |2947 |1145 |9522 |3293 | 7.800000e+01 | -- | Inf
321.43/321.57 c 322s| 8500 | 2934 | 1792k| 209.4 | 50M| 83 |1092 |2466 |4740 |2466 |2947 |1145 |9591 |3311 | 7.800000e+01 | -- | Inf
324.43/324.59 c 325s| 8600 | 2958 | 1809k| 209.0 | 50M| 83 | 884 |2466 |4662 |2466 |2947 |1145 |9690 |3353 | 7.800000e+01 | -- | Inf
327.64/327.77 c 328s| 8700 | 2970 | 1826k| 208.5 | 50M| 83 | 467 |2466 |4677 |2466 |2947 |1145 |9822 |3414 | 7.800000e+01 | -- | Inf
331.23/331.39 c 331s| 8800 | 3003 | 1846k| 208.4 | 50M| 83 | 272 |2466 |4732 |2466 |2947 |1145 |9991 |3482 | 7.800000e+01 | -- | Inf
334.93/335.04 c 335s| 8900 | 3028 | 1862k| 207.9 | 50M| 83 | 656 |2466 |4774 |2466 |2947 |1145 | 10k|3557 | 7.800000e+01 | -- | Inf
337.43/337.50 c 338s| 9000 | 3049 | 1875k| 207.0 | 50M| 83 | 941 |2466 |4781 |2466 |2947 |1145 | 10k|3583 | 7.800000e+01 | -- | Inf
341.53/341.62 c 342s| 9100 | 3066 | 1901k| 207.5 | 51M| 83 | - |2466 |4918 |2466 |2947 |1145 | 10k|3615 | 7.800000e+01 | -- | Inf
343.72/343.87 c 344s| 9200 | 3093 | 1913k| 206.7 | 51M| 83 | - |2466 |4908 |2466 |2947 |1145 | 10k|3639 | 7.800000e+01 | -- | Inf
346.82/346.96 c 347s| 9300 | 3127 | 1931k| 206.4 | 51M| 83 | - |2466 |4932 | 0 | 0 |1145 | 10k|3683 | 7.800000e+01 | -- | Inf
349.83/349.94 c 350s| 9400 | 3144 | 1952k| 206.3 | 52M| 83 | - |2466 |4925 | 0 | 0 |1145 | 10k|3709 | 7.800000e+01 | -- | Inf
356.43/356.58 c 357s| 9500 | 3207 | 1988k| 208.0 | 52M| 83 | 918 |2466 |4789 |2466 |2947 |1145 | 10k|3755 | 7.800000e+01 | -- | Inf
359.13/359.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
359.13/359.29 c 359s| 9600 | 3231 | 2005k| 207.6 | 52M| 83 | 188 |2466 |4754 |2466 |2947 |1145 | 10k|3782 | 7.800000e+01 | -- | Inf
363.63/363.72 c 364s| 9700 | 3258 | 2025k| 207.5 | 52M| 83 |1094 |2466 |4732 |2466 |2947 |1145 | 11k|3809 | 7.800000e+01 | -- | Inf
367.53/367.66 c 368s| 9800 | 3286 | 2047k| 207.7 | 52M| 83 | 984 |2466 |4721 |2466 |2947 |1145 | 11k|3857 | 7.800000e+01 | -- | Inf
371.22/371.37 c 371s| 9900 | 3322 | 2070k| 207.9 | 53M| 83 | - |2466 |4631 |2466 |2947 |1145 | 11k|3890 | 7.800000e+01 | -- | Inf
374.22/374.30 c 374s| 10000 | 3366 | 2086k| 207.4 | 53M| 83 | 647 |2466 |4576 |2466 |2947 |1145 | 11k|3917 | 7.800000e+01 | -- | Inf
377.72/377.89 c 378s| 10100 | 3409 | 2109k| 207.6 | 53M| 83 |1139 |2466 |4556 |2466 |2947 |1145 | 11k|3943 | 7.800000e+01 | -- | Inf
381.32/381.49 c 381s| 10200 | 3444 | 2128k| 207.4 | 53M| 83 | 322 |2466 |4500 |2466 |2947 |1145 | 11k|3990 | 7.800000e+01 | -- | Inf
385.82/385.98 c 386s| 10300 | 3487 | 2153k| 207.9 | 54M| 83 |1029 |2466 |4487 |2466 |2947 |1145 | 11k|4043 | 7.800000e+01 | -- | Inf
388.22/388.37 c 388s| 10400 | 3495 | 2167k| 207.2 | 54M| 83 | 767 |2466 |4536 |2466 |2947 |1145 | 11k|4061 | 7.800000e+01 | -- | Inf
392.12/392.23 c 392s| 10500 | 3518 | 2188k| 207.3 | 54M| 83 | - |2466 |4526 |2466 |2947 |1145 | 11k|4103 | 7.800000e+01 | -- | Inf
394.52/394.68 c 395s| 10600 | 3531 | 2202k| 206.6 | 54M| 83 | 420 |2466 |4562 |2466 |2947 |1145 | 12k|4126 | 7.800000e+01 | -- | Inf
400.92/401.04 c 401s| 10700 | 3568 | 2247k| 208.9 | 54M| 83 | 866 |2466 |4578 |2466 |2947 |1145 | 12k|4171 | 7.800000e+01 | -- | Inf
405.12/405.27 c 405s| 10800 | 3602 | 2267k| 208.8 | 54M| 83 | 437 |2466 |4663 |2466 |2947 |1145 | 12k|4226 | 7.800000e+01 | -- | Inf
414.41/414.53 c 415s| 10900 | 3663 | 2319k| 211.7 | 55M| 83 | 289 |2466 |4727 |2466 |2947 |1145 | 12k|4261 | 7.800000e+01 | -- | Inf
417.71/417.86 c 418s| 11000 | 3689 | 2336k| 211.3 | 55M| 83 | 321 |2466 |4781 |2466 |2947 |1145 | 12k|4331 | 7.800000e+01 | -- | Inf
421.31/421.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
421.31/421.47 c 421s| 11100 | 3721 | 2359k| 211.4 | 55M| 83 | - |2466 |4759 |2466 |2947 |1145 | 12k|4370 | 7.800000e+01 | -- | Inf
424.61/424.79 c 425s| 11200 | 3766 | 2377k| 211.2 | 55M| 83 | 755 |2466 |4762 |2466 |2947 |1145 | 12k|4403 | 7.800000e+01 | -- | Inf
429.41/429.52 c 430s| 11300 | 3798 | 2406k| 211.9 | 55M| 83 | 880 |2466 |4737 |2466 |2947 |1145 | 13k|4448 | 7.800000e+01 | -- | Inf
433.01/433.14 c 433s| 11400 | 3821 | 2429k| 212.0 | 55M| 83 | 315 |2466 |4756 |2466 |2947 |1145 | 13k|4490 | 7.800000e+01 | -- | Inf
435.91/436.06 c 436s| 11500 | 3854 | 2442k| 211.3 | 55M| 83 | 868 |2466 |4777 |2466 |2947 |1145 | 13k|4525 | 7.800000e+01 | -- | Inf
439.71/439.88 c 440s| 11600 | 3895 | 2464k| 211.4 | 55M| 83 | - |2466 |4836 | 0 | 0 |1145 | 13k|4577 | 7.800000e+01 | -- | Inf
443.81/443.97 c 444s| 11700 | 3934 | 2488k| 211.6 | 56M| 83 | - |2466 |4938 |2466 |2947 |1145 | 13k|4617 | 7.800000e+01 | -- | Inf
447.51/447.60 c 448s| 11800 | 3966 | 2507k| 211.4 | 56M| 83 | 885 |2466 |4970 |2466 |2947 |1145 | 13k|4662 | 7.800000e+01 | -- | Inf
450.31/450.46 c 450s| 11900 | 3979 | 2522k| 210.9 | 56M| 83 | 854 |2466 |5073 |2466 |2947 |1145 | 13k|4716 | 7.800000e+01 | -- | Inf
458.41/458.53 c 459s| 12000 | 4006 | 2568k| 213.0 | 56M| 83 | 418 |2466 |5657 |2466 |2947 |1145 | 14k|4747 | 7.800000e+01 | -- | Inf
462.00/462.13 c 462s| 12100 | 4008 | 2584k| 212.6 | 56M| 83 | 758 |2466 |5679 |2466 |2947 |1145 | 14k|4821 | 7.800000e+01 | -- | Inf
465.31/465.43 c 465s| 12200 | 4025 | 2600k| 212.2 | 57M| 83 | - |2466 |5582 |2466 |2947 |1145 | 14k|4874 | 7.800000e+01 | -- | Inf
467.61/467.74 c 468s| 12300 | 4054 | 2613k| 211.5 | 57M| 83 | - |2466 |5504 |2466 |2947 |1145 | 15k|4890 | 7.800000e+01 | -- | Inf
471.10/471.29 c 471s| 12400 | 4082 | 2634k| 211.5 | 57M| 83 | 401 |2466 |5479 |2466 |2947 |1145 | 15k|4956 | 7.800000e+01 | -- | Inf
473.80/473.99 c 474s| 12500 | 4147 | 2649k| 210.9 | 57M| 83 | 456 |2466 |5462 |2466 |2947 |1145 | 15k|4993 | 7.800000e+01 | -- | Inf
477.41/477.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
477.41/477.50 c 478s| 12600 | 4186 | 2667k| 210.7 | 57M| 83 | 813 |2466 |5373 |2466 |2947 |1145 | 15k|5033 | 7.800000e+01 | -- | Inf
480.00/480.13 c 480s| 12700 | 4211 | 2684k| 210.4 | 57M| 83 | 879 |2466 |5322 |2466 |2947 |1145 | 15k|5056 | 7.800000e+01 | -- | Inf
482.60/482.80 c 483s| 12800 | 4247 | 2698k| 209.8 | 57M| 83 |1026 |2466 |5279 |2466 |2947 |1145 | 15k|5086 | 7.800000e+01 | -- | Inf
485.61/485.72 c 486s| 12900 | 4288 | 2712k| 209.3 | 57M| 83 | - |2466 |5219 | 0 | 0 |1145 | 15k|5119 | 7.800000e+01 | -- | Inf
488.81/488.91 c 489s| 13000 | 4346 | 2728k| 208.9 | 57M| 83 | 827 |2466 |5198 |2466 |2947 |1145 | 15k|5161 | 7.800000e+01 | -- | Inf
496.30/496.48 c 496s| 13100 | 4386 | 2775k| 210.9 | 57M| 83 | 947 |2466 |5128 |2466 |2947 |1145 | 15k|5219 | 7.800000e+01 | -- | Inf
498.80/498.94 c 499s| 13200 | 4425 | 2788k| 210.3 | 58M| 83 | 396 |2466 |5168 |2466 |2947 |1145 | 15k|5253 | 7.800000e+01 | -- | Inf
502.70/502.84 c 503s| 13300 | 4465 | 2810k| 210.4 | 58M| 83 | 388 |2466 |5186 |2466 |2947 |1145 | 16k|5294 | 7.800000e+01 | -- | Inf
506.00/506.17 c 506s| 13400 | 4508 | 2830k| 210.3 | 58M| 83 | 898 |2466 |5173 |2466 |2947 |1145 | 16k|5331 | 7.800000e+01 | -- | Inf
509.40/509.56 c 510s| 13500 | 4527 | 2846k| 209.9 | 58M| 83 | - |2466 |5167 |2466 |2947 |1145 | 16k|5401 | 7.800000e+01 | -- | Inf
513.10/513.20 c 513s| 13600 | 4579 | 2864k| 209.7 | 58M| 83 | 863 |2466 |5114 |2466 |2947 |1145 | 16k|5461 | 7.800000e+01 | -- | Inf
517.40/517.59 c 518s| 13700 | 4593 | 2883k| 209.6 | 58M| 83 | 833 |2466 |5039 |2466 |2947 |1145 | 16k|5552 | 7.800000e+01 | -- | Inf
520.49/520.60 c 521s| 13800 | 4641 | 2902k| 209.4 | 59M| 83 | 582 |2466 |5093 |2466 |2947 |1145 | 16k|5568 | 7.800000e+01 | -- | Inf
524.89/525.02 c 525s| 13900 | 4674 | 2922k| 209.4 | 59M| 83 | - |2466 |5018 |2466 |2947 |1145 | 16k|5616 | 7.800000e+01 | -- | Inf
527.70/527.86 c 528s| 14000 | 4696 | 2937k| 208.9 | 59M| 83 | 965 |2466 |5045 |2466 |2947 |1145 | 16k|5663 | 7.800000e+01 | -- | Inf
531.30/531.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
531.30/531.48 c 531s| 14100 | 4717 | 2955k| 208.8 | 59M| 83 | 888 |2466 |5088 |2466 |2947 |1145 | 17k|5742 | 7.800000e+01 | -- | Inf
535.50/535.61 c 536s| 14200 | 4763 | 2979k| 209.0 | 59M| 83 | 603 |2466 |5056 |2466 |2947 |1145 | 17k|5787 | 7.800000e+01 | -- | Inf
538.29/538.42 c 538s| 14300 | 4800 | 2993k| 208.4 | 59M| 83 | 755 |2466 |4991 |2466 |2947 |1145 | 17k|5824 | 7.800000e+01 | -- | Inf
542.10/542.26 c 542s| 14400 | 4828 | 3012k| 208.3 | 60M| 83 | 587 |2466 |5016 |2466 |2947 |1145 | 17k|5858 | 7.800000e+01 | -- | Inf
545.09/545.24 c 545s| 14500 | 4854 | 3027k| 207.9 | 60M| 83 | 836 |2466 |5110 |2466 |2947 |1145 | 17k|5905 | 7.800000e+01 | -- | Inf
547.79/547.96 c 548s| 14600 | 4881 | 3042k| 207.5 | 60M| 83 | 574 |2466 |5153 |2466 |2947 |1145 | 17k|5946 | 7.800000e+01 | -- | Inf
556.50/556.67 c 557s| 14700 | 4913 | 3145k| 213.1 | 60M| 83 | 913 |2466 |5194 |2466 |2947 |1145 | 17k|6023 | 7.800000e+01 | -- | Inf
559.29/559.42 c 559s| 14800 | 4966 | 3162k| 212.8 | 61M| 83 | 586 |2466 |5148 |2466 |2947 |1145 | 17k|6044 | 7.800000e+01 | -- | Inf
563.10/563.26 c 563s| 14900 | 4988 | 3179k| 212.5 | 61M| 83 | 547 |2466 |5146 |2466 |2947 |1145 | 18k|6102 | 7.800000e+01 | -- | Inf
565.79/565.92 c 566s| 15000 | 5047 | 3197k| 212.3 | 61M| 83 | 285 |2466 |5105 |2466 |2947 |1145 | 18k|6115 | 7.800000e+01 | -- | Inf
567.99/568.18 c 568s| 15100 | 5093 | 3215k| 212.1 | 61M| 83 | - |2466 |5133 |2466 |2947 |1145 | 18k|6117 | 7.800000e+01 | -- | Inf
572.59/572.72 c 573s| 15200 | 5128 | 3233k| 211.9 | 62M| 83 | 539 |2466 |5143 |2466 |2947 |1145 | 18k|6181 | 7.800000e+01 | -- | Inf
575.19/575.36 c 575s| 15300 | 5162 | 3248k| 211.5 | 62M| 83 | 483 |2466 |5072 |2466 |2947 |1145 | 18k|6192 | 7.800000e+01 | -- | Inf
578.19/578.30 c 578s| 15400 | 5209 | 3265k| 211.3 | 62M| 83 | - |2466 |5010 | 0 | 0 |1145 | 18k|6212 | 7.800000e+01 | -- | Inf
580.49/580.65 c 581s| 15500 | 5242 | 3282k| 211.0 | 62M| 83 | 616 |2466 |4945 |2466 |2947 |1145 | 18k|6235 | 7.800000e+01 | -- | Inf
585.89/586.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
585.89/586.03 c 586s| 15600 | 5268 | 3299k| 210.7 | 62M| 83 |1213 |2466 |4955 |2466 |2947 |1145 | 18k|6296 | 7.800000e+01 | -- | Inf
592.99/593.17 c 593s| 15700 | 5318 | 3328k| 211.2 | 63M| 83 | - |2466 |4959 |2466 |2947 |1145 | 19k|6379 | 7.800000e+01 | -- | Inf
595.28/595.46 c 595s| 15800 | 5358 | 3343k| 210.9 | 63M| 83 | 491 |2466 |5006 |2466 |2947 |1145 | 19k|6385 | 7.800000e+01 | -- | Inf
597.69/597.85 c 598s| 15900 | 5392 | 3363k| 210.7 | 63M| 83 | 595 |2466 |5046 |2466 |2947 |1145 | 19k|6391 | 7.800000e+01 | -- | Inf
599.49/599.63 c 600s| 16000 | 5412 | 3376k| 210.2 | 63M| 83 | - |2466 |5198 | 0 | 0 |1145 | 19k|6391 | 7.800000e+01 | -- | Inf
602.19/602.38 c 602s| 16100 | 5448 | 3395k| 210.1 | 63M| 83 | 914 |2466 |5176 |2466 |2947 |1145 | 19k|6399 | 7.800000e+01 | -- | Inf
606.49/606.67 c 607s| 16200 | 5463 | 3412k| 209.9 | 63M| 83 | 794 |2466 |5178 |2466 |2947 |1145 | 19k|6524 | 7.800000e+01 | -- | Inf
608.98/609.19 c 609s| 16300 | 5501 | 3427k| 209.5 | 64M| 83 | 704 |2466 |5165 |2466 |2947 |1145 | 19k|6546 | 7.800000e+01 | -- | Inf
611.98/612.11 c 612s| 16400 | 5542 | 3450k| 209.6 | 64M| 83 | 831 |2466 |5124 |2466 |2947 |1145 | 19k|6562 | 7.800000e+01 | -- | Inf
613.59/613.78 c 614s| 16500 | 5579 | 3463k| 209.2 | 64M| 83 | 713 |2466 |5156 |2466 |2947 |1145 | 20k|6562 | 7.800000e+01 | -- | Inf
615.59/615.74 c 616s| 16600 | 5595 | 3482k| 209.1 | 64M| 83 | 583 |2466 |5244 |2466 |2947 |1145 | 20k|6562 | 7.800000e+01 | -- | Inf
618.78/618.96 c 619s| 16700 | 5634 | 3514k| 209.7 | 65M| 83 | 594 |2466 |5211 |2466 |2947 |1145 | 20k|6564 | 7.800000e+01 | -- | Inf
621.08/621.24 c 621s| 16800 | 5659 | 3532k| 209.5 | 65M| 83 | - |2466 |5140 | 0 | 0 |1145 | 20k|6568 | 7.800000e+01 | -- | Inf
622.78/622.92 c 623s| 16900 | 5683 | 3542k| 208.9 | 65M| 83 | - |2466 |5187 | 0 | 0 |1145 | 20k|6572 | 7.800000e+01 | -- | Inf
624.98/625.14 c 625s| 17000 | 5725 | 3562k| 208.8 | 65M| 83 | 622 |2466 |5190 |2466 |2947 |1145 | 20k|6573 | 7.800000e+01 | -- | Inf
626.89/627.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
626.89/627.09 c 627s| 17100 | 5758 | 3577k| 208.5 | 66M| 83 | 512 |2466 |5166 |2466 |2947 |1145 | 20k|6573 | 7.800000e+01 | -- | Inf
628.79/628.95 c 629s| 17200 | 5770 | 3591k| 208.1 | 66M| 83 | 620 |2466 |5154 |2466 |2947 |1145 | 20k|6574 | 7.800000e+01 | -- | Inf
631.28/631.47 c 631s| 17300 | 5814 | 3606k| 207.7 | 66M| 83 | 295 |2466 |5168 |2466 |2947 |1145 | 21k|6586 | 7.800000e+01 | -- | Inf
632.39/632.53 c 633s| 17400 | 5825 | 3614k| 207.0 | 66M| 83 | 549 |2466 |5353 |2466 |2947 |1145 | 21k|6586 | 7.800000e+01 | -- | Inf
633.68/633.80 c 634s| 17500 | 5844 | 3622k| 206.3 | 67M| 83 | 920 |2466 |5511 |2466 |2947 |1145 | 21k|6586 | 7.800000e+01 | -- | Inf
636.18/636.34 c 636s| 17600 | 5873 | 3639k| 206.1 | 67M| 83 | - |2466 |5400 |2466 |2947 |1145 | 21k|6590 | 7.800000e+01 | -- | Inf
638.48/638.68 c 639s| 17700 | 5918 | 3655k| 205.8 | 67M| 83 | 464 |2466 |5268 |2466 |2947 |1145 | 21k|6590 | 7.800000e+01 | -- | Inf
640.68/640.89 c 641s| 17800 | 5950 | 3673k| 205.7 | 67M| 83 | - |2466 |5234 |2466 |2947 |1145 | 21k|6590 | 7.800000e+01 | -- | Inf
643.68/643.81 c 644s| 17900 | 5983 | 3698k| 205.9 | 67M| 83 | 468 |2466 |5321 |2466 |2947 |1145 | 22k|6594 | 7.800000e+01 | -- | Inf
646.17/646.39 c 646s| 18000 | 6024 | 3721k| 206.1 | 68M| 83 | 811 |2466 |5383 |2466 |2947 |1145 | 22k|6595 | 7.800000e+01 | -- | Inf
648.18/648.31 c 648s| 18100 | 6063 | 3735k| 205.7 | 68M| 83 | - |2466 |5378 | 0 | 0 |1145 | 22k|6606 | 7.800000e+01 | -- | Inf
650.78/650.94 c 651s| 18200 | 6077 | 3755k| 205.6 | 68M| 83 |1195 |2466 |5382 |2466 |2947 |1145 | 22k|6619 | 7.800000e+01 | -- | Inf
653.87/654.01 c 654s| 18300 | 6118 | 3777k| 205.7 | 68M| 83 | 269 |2466 |5321 |2466 |2947 |1145 | 22k|6627 | 7.800000e+01 | -- | Inf
656.48/656.66 c 657s| 18400 | 6143 | 3798k| 205.7 | 68M| 83 | 687 |2466 |5253 |2466 |2947 |1145 | 22k|6629 | 7.800000e+01 | -- | Inf
658.78/658.96 c 659s| 18500 | 6176 | 3816k| 205.6 | 68M| 83 | - |2466 |5296 |2466 |2947 |1145 | 22k|6639 | 7.800000e+01 | -- | Inf
661.38/661.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
661.38/661.51 c 662s| 18600 | 6225 | 3834k| 205.5 | 69M| 83 | - |2466 |5278 | 0 | 0 |1145 | 22k|6652 | 7.800000e+01 | -- | Inf
663.28/663.42 c 663s| 18700 | 6284 | 3845k| 205.0 | 69M| 83 | 580 |2466 |5400 |2466 |2947 |1145 | 23k|6652 | 7.800000e+01 | -- | Inf
664.97/665.17 c 665s| 18800 | 6307 | 3857k| 204.5 | 69M| 83 |1113 |2466 |5503 |2466 |2947 |1145 | 23k|6652 | 7.800000e+01 | -- | Inf
669.27/669.49 c 669s| 18900 | 6353 | 3881k| 204.7 | 70M| 83 | - |2466 |5507 |2466 |2947 |1145 | 23k|6707 | 7.800000e+01 | -- | Inf
672.98/673.20 c 673s| 19000 | 6380 | 3902k| 204.7 | 70M| 83 | 568 |2466 |5642 |2466 |2947 |1145 | 23k|6745 | 7.800000e+01 | -- | Inf
675.48/675.64 c 676s| 19100 | 6430 | 3920k| 204.6 | 70M| 83 | 393 |2466 |5584 |2466 |2947 |1145 | 23k|6745 | 7.800000e+01 | -- | Inf
679.37/679.53 c 680s| 19200 | 6481 | 3940k| 204.6 | 71M| 83 | 444 |2466 |5710 |2466 |2947 |1145 | 23k|6778 | 7.800000e+01 | -- | Inf
682.88/683.08 c 683s| 19300 | 6532 | 3958k| 204.5 | 71M| 83 | 491 |2466 |5754 |2466 |2947 |1145 | 23k|6835 | 7.800000e+01 | -- | Inf
686.87/687.04 c 687s| 19400 | 6570 | 3979k| 204.5 | 72M| 83 | 853 |2466 |5778 |2466 |2947 |1145 | 24k|6889 | 7.800000e+01 | -- | Inf
690.77/690.93 c 691s| 19500 | 6602 | 4003k| 204.7 | 72M| 83 | - |2466 |5753 |2466 |2947 |1145 | 24k|6930 | 7.800000e+01 | -- | Inf
698.67/698.86 c 699s| 19600 | 6664 | 4045k| 205.7 | 72M| 83 |1162 |2466 |5675 |2466 |2947 |1145 | 24k|7036 | 7.800000e+01 | -- | Inf
701.37/701.51 c 702s| 19700 | 6700 | 4065k| 205.7 | 72M| 83 | 676 |2466 |5690 |2466 |2947 |1145 | 24k|7050 | 7.800000e+01 | -- | Inf
703.37/703.52 c 704s| 19800 | 6725 | 4078k| 205.4 | 73M| 83 | 306 |2466 |5671 |2466 |2947 |1145 | 24k|7060 | 7.800000e+01 | -- | Inf
708.77/708.91 c 709s| 19900 | 6767 | 4107k| 205.8 | 73M| 83 |1077 |2466 |5819 |2466 |2947 |1145 | 25k|7120 | 7.800000e+01 | -- | Inf
711.67/711.81 c 712s| 20000 | 6789 | 4121k| 205.4 | 73M| 83 | 364 |2466 |5741 |2466 |2947 |1145 | 25k|7156 | 7.800000e+01 | -- | Inf
715.47/715.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
715.47/715.68 c 716s| 20100 | 6815 | 4137k| 205.2 | 73M| 83 | 409 |2466 |5662 |2466 |2947 |1145 | 25k|7238 | 7.800000e+01 | -- | Inf
718.97/719.16 c 719s| 20200 | 6856 | 4157k| 205.2 | 74M| 83 | 850 |2466 |5539 |2466 |2947 |1145 | 25k|7248 | 7.800000e+01 | -- | Inf
723.26/723.49 c 723s| 20300 | 6886 | 4178k| 205.2 | 74M| 83 | - |2466 |5471 | 0 | 0 |1145 | 25k|7283 | 7.800000e+01 | -- | Inf
726.87/727.04 c 727s| 20400 | 6931 | 4195k| 205.1 | 74M| 83 | 575 |2466 |5328 |2466 |2947 |1145 | 25k|7338 | 7.800000e+01 | -- | Inf
730.36/730.50 c 730s| 20500 | 6966 | 4214k| 205.0 | 74M| 83 | 355 |2466 |5291 |2466 |2947 |1145 | 25k|7368 | 7.800000e+01 | -- | Inf
735.57/735.73 c 736s| 20600 | 7014 | 4245k| 205.5 | 74M| 83 | - |2466 |5210 |2466 |2947 |1145 | 25k|7394 | 7.800000e+01 | -- | Inf
739.57/739.76 c 740s| 20700 | 7063 | 4266k| 205.5 | 74M| 83 | 405 |2466 |5256 |2466 |2947 |1145 | 26k|7437 | 7.800000e+01 | -- | Inf
741.76/741.92 c 742s| 20800 | 7093 | 4274k| 204.9 | 75M| 83 | 571 |2466 |5269 |2466 |2947 |1145 | 26k|7462 | 7.800000e+01 | -- | Inf
743.06/743.21 c 743s| 20900 | 7108 | 4278k| 204.1 | 75M| 83 | 369 |2466 |5403 |2466 |2947 |1145 | 26k|7475 | 7.800000e+01 | -- | Inf
746.26/746.43 c 746s| 21000 | 7141 | 4292k| 203.8 | 75M| 83 | 341 |2466 |5384 |2466 |2947 |1145 | 26k|7533 | 7.800000e+01 | -- | Inf
749.26/749.45 c 749s| 21100 | 7187 | 4304k| 203.4 | 75M| 83 | 239 |2466 |5396 |2466 |2947 |1145 | 26k|7617 | 7.800000e+01 | -- | Inf
753.76/753.91 c 754s| 21200 | 7207 | 4332k| 203.8 | 76M| 83 | - |2466 |5462 |2466 |2947 |1145 | 26k|7683 | 7.800000e+01 | -- | Inf
756.06/756.29 c 756s| 21300 | 7205 | 4346k| 203.5 | 76M| 83 | 736 |2466 |5565 |2466 |2947 |1145 | 26k|7734 | 7.800000e+01 | -- | Inf
759.55/759.72 c 760s| 21400 | 7251 | 4362k| 203.3 | 76M| 83 | - |2466 |5489 | 0 | 0 |1145 | 27k|7766 | 7.800000e+01 | -- | Inf
762.46/762.69 c 763s| 21500 | 7287 | 4380k| 203.2 | 76M| 83 | - |2466 |5420 |2466 |2947 |1145 | 27k|7809 | 7.800000e+01 | -- | Inf
766.86/767.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
766.86/767.08 c 767s| 21600 | 7334 | 4407k| 203.5 | 76M| 83 | - |2466 |5241 | 0 | 0 |1145 | 27k|7846 | 7.800000e+01 | -- | Inf
769.76/769.95 c 770s| 21700 | 7372 | 4424k| 203.3 | 76M| 83 | 317 |2466 |5177 |2466 |2947 |1145 | 27k|7865 | 7.800000e+01 | -- | Inf
772.35/772.53 c 773s| 21800 | 7425 | 4438k| 203.0 | 76M| 83 | 819 |2466 |4996 |2466 |2947 |1145 | 27k|7888 | 7.800000e+01 | -- | Inf
774.75/774.91 c 775s| 21900 | 7446 | 4448k| 202.6 | 77M| 83 | 566 |2466 |5064 |2466 |2947 |1145 | 27k|7926 | 7.800000e+01 | -- | Inf
777.95/778.12 c 778s| 22000 | 7461 | 4466k| 202.4 | 77M| 83 | 340 |2466 |5200 |2466 |2947 |1145 | 27k|7991 | 7.800000e+01 | -- | Inf
792.35/792.58 c 793s| 22100 | 7486 | 4532k| 204.5 | 77M| 83 | 652 |2466 |5160 |2466 |2947 |1145 | 28k|8129 | 7.800000e+01 | -- | Inf
796.54/796.77 c 797s| 22200 | 7519 | 4554k| 204.6 | 77M| 83 | - |2466 |5151 | 0 | 0 |1145 | 28k|8185 | 7.800000e+01 | -- | Inf
798.46/798.66 c 799s| 22300 | 7538 | 4567k| 204.3 | 77M| 83 |1234 |2466 |5099 |2466 |2947 |1145 | 28k|8191 | 7.800000e+01 | -- | Inf
801.24/801.46 c 801s| 22400 | 7569 | 4584k| 204.1 | 77M| 83 |1145 |2466 |5119 |2466 |2947 |1145 | 28k|8224 | 7.800000e+01 | -- | Inf
804.65/804.87 c 805s| 22500 | 7609 | 4597k| 203.8 | 78M| 83 | - |2466 |5070 |2466 |2947 |1145 | 28k|8275 | 7.800000e+01 | -- | Inf
807.65/807.87 c 808s| 22600 | 7658 | 4622k| 204.0 | 78M| 83 | 744 |2466 |5022 |2466 |2947 |1145 | 28k|8275 | 7.800000e+01 | -- | Inf
810.65/810.80 c 811s| 22700 | 7704 | 4637k| 203.7 | 78M| 83 | 706 |2466 |5048 |2466 |2947 |1145 | 28k|8304 | 7.800000e+01 | -- | Inf
813.85/814.06 c 814s| 22800 | 7755 | 4654k| 203.6 | 79M| 83 | - |2466 |5127 | 0 | 0 |1145 | 28k|8377 | 7.800000e+01 | -- | Inf
817.94/818.14 c 818s| 22900 | 7783 | 4673k| 203.6 | 79M| 83 | - |2466 |5169 |2466 |2947 |1145 | 29k|8458 | 7.800000e+01 | -- | Inf
822.65/822.88 c 823s| 23000 | 7828 | 4695k| 203.6 | 79M| 83 | 534 |2466 |5218 |2466 |2947 |1145 | 29k|8499 | 7.800000e+01 | -- | Inf
825.54/825.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
825.54/825.74 c 826s| 23100 | 7864 | 4704k| 203.1 | 80M| 83 | 437 |2466 |5283 |2466 |2947 |1145 | 29k|8548 | 7.800000e+01 | -- | Inf
828.85/829.00 c 829s| 23200 | 7905 | 4717k| 202.8 | 80M| 83 | 717 |2466 |5184 |2466 |2947 |1145 | 29k|8586 | 7.800000e+01 | -- | Inf
832.94/833.13 c 833s| 23300 | 7961 | 4746k| 203.2 | 80M| 83 |1011 |2466 |5155 |2466 |2947 |1145 | 29k|8622 | 7.800000e+01 | -- | Inf
835.04/835.24 c 835s| 23400 | 7989 | 4759k| 202.9 | 80M| 83 | 384 |2466 |5218 |2466 |2947 |1145 | 29k|8638 | 7.800000e+01 | -- | Inf
841.84/842.05 c 842s| 23500 | 8002 | 4786k| 203.2 | 80M| 83 | 391 |2466 |5393 |2466 |2947 |1145 | 29k|8719 | 7.800000e+01 | -- | Inf
844.44/844.68 c 845s| 23600 | 8047 | 4806k| 203.1 | 81M| 83 | - |2466 |5387 | 0 | 0 |1145 | 30k|8731 | 7.800000e+01 | -- | Inf
849.34/849.56 c 850s| 23700 | 8077 | 4830k| 203.3 | 81M| 83 | - |2466 |5346 |2466 |2947 |1145 | 30k|8794 | 7.800000e+01 | -- | Inf
854.34/854.60 c 855s| 23800 | 8127 | 4866k| 204.0 | 81M| 83 | - |2466 |5224 |2466 |2947 |1145 | 30k|8806 | 7.800000e+01 | -- | Inf
857.93/858.19 c 858s| 23900 | 8167 | 4882k| 203.8 | 81M| 83 | 330 |2466 |5196 |2466 |2947 |1145 | 30k|8844 | 7.800000e+01 | -- | Inf
861.04/861.23 c 861s| 24000 | 8204 | 4901k| 203.7 | 81M| 83 | - |2466 |5144 | 0 | 0 |1145 | 30k|8873 | 7.800000e+01 | -- | Inf
864.74/864.92 c 865s| 24100 | 8249 | 4926k| 203.9 | 82M| 83 |1001 |2466 |5100 |2466 |2947 |1145 | 30k|8911 | 7.800000e+01 | -- | Inf
867.94/868.18 c 868s| 24200 | 8290 | 4947k| 203.9 | 82M| 83 | - |2466 |5081 |2466 |2947 |1145 | 30k|8926 | 7.800000e+01 | -- | Inf
872.84/873.02 c 873s| 24300 | 8318 | 4973k| 204.2 | 82M| 83 |1013 |2466 |5058 |2466 |2947 |1145 | 30k|8958 | 7.800000e+01 | -- | Inf
876.64/876.83 c 877s| 24400 | 8367 | 5000k| 204.4 | 82M| 83 | - |2466 |5055 | 0 | 0 |1145 | 31k|8978 | 7.800000e+01 | -- | Inf
879.64/879.87 c 880s| 24500 | 8397 | 5018k| 204.3 | 82M| 83 | - |2466 |4973 |2466 |2947 |1145 | 31k|8994 | 7.800000e+01 | -- | Inf
883.33/883.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
883.33/883.59 c 884s| 24600 | 8429 | 5039k| 204.4 | 82M| 83 | - |2466 |4973 |2466 |2947 |1145 | 31k|9058 | 7.800000e+01 | -- | Inf
891.64/891.87 c 892s| 24700 | 8479 | 5086k| 205.4 | 83M| 83 | 762 |2466 |5398 |2466 |2947 |1145 | 31k|9120 | 7.800000e+01 | -- | Inf
895.94/896.11 c 896s| 24800 | 8496 | 5104k| 205.3 | 83M| 83 | 740 |2466 |5331 |2466 |2947 |1145 | 32k|9199 | 7.800000e+01 | -- | Inf
899.13/899.35 c 899s| 24900 | 8539 | 5122k| 205.2 | 83M| 83 | - |2466 |5336 | 0 | 0 |1145 | 32k|9243 | 7.800000e+01 | -- | Inf
902.73/902.91 c 903s| 25000 | 8582 | 5137k| 205.0 | 83M| 83 | - |2466 |5282 | 0 | 0 |1145 | 32k|9290 | 7.800000e+01 | -- | Inf
905.23/905.44 c 905s| 25100 | 8615 | 5151k| 204.8 | 83M| 83 | - |2466 |5235 | 0 | 0 |1145 | 32k|9304 | 7.800000e+01 | -- | Inf
909.33/909.53 c 910s| 25200 | 8657 | 5175k| 204.9 | 83M| 83 | 993 |2466 |5155 |2466 |2947 |1145 | 32k|9355 | 7.800000e+01 | -- | Inf
914.53/914.71 c 915s| 25300 | 8702 | 5205k| 205.2 | 83M| 83 | 460 |2466 |5040 |2466 |2947 |1145 | 32k|9403 | 7.800000e+01 | -- | Inf
918.03/918.25 c 918s| 25400 | 8738 | 5226k| 205.3 | 84M| 83 | 750 |2466 |5077 |2466 |2947 |1145 | 32k|9440 | 7.800000e+01 | -- | Inf
921.93/922.13 c 922s| 25500 | 8766 | 5245k| 205.2 | 84M| 83 | 858 |2466 |5015 |2466 |2947 |1145 | 32k|9472 | 7.800000e+01 | -- | Inf
925.94/926.15 c 926s| 25600 | 8800 | 5274k| 205.6 | 84M| 83 | 692 |2466 |5010 |2466 |2947 |1145 | 32k|9495 | 7.800000e+01 | -- | Inf
931.43/931.64 c 932s| 25700 | 8825 | 5303k| 205.9 | 84M| 83 | - |2466 |4857 | 0 | 0 |1145 | 33k|9534 | 7.800000e+01 | -- | Inf
934.22/934.43 c 934s| 25800 | 8869 | 5314k| 205.5 | 84M| 83 | 293 |2466 |4856 |2466 |2947 |1145 | 33k|9571 | 7.800000e+01 | -- | Inf
937.13/937.34 c 937s| 25900 | 8920 | 5332k| 205.4 | 85M| 83 | 599 |2466 |4864 |2466 |2947 |1145 | 33k|9592 | 7.800000e+01 | -- | Inf
941.13/941.33 c 941s| 26000 | 8950 | 5352k| 205.4 | 85M| 83 | 580 |2466 |4869 |2466 |2947 |1145 | 33k|9645 | 7.800000e+01 | -- | Inf
945.22/945.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
945.22/945.44 c 945s| 26100 | 9014 | 5376k| 205.5 | 85M| 83 | 297 |2466 |4900 |2466 |2947 |1145 | 33k|9678 | 7.800000e+01 | -- | Inf
947.93/948.19 c 948s| 26200 | 9022 | 5396k| 205.5 | 85M| 83 | - |2466 |4880 |2466 |2947 |1145 | 33k|9693 | 7.800000e+01 | -- | Inf
951.83/952.02 c 952s| 26300 | 9021 | 5416k| 205.5 | 85M| 83 | 544 |2466 |4880 |2466 |2947 |1145 | 33k|9756 | 7.800000e+01 | -- | Inf
955.22/955.49 c 955s| 26400 | 9043 | 5432k| 205.3 | 85M| 83 | 609 |2466 |4923 |2466 |2947 |1145 | 33k|9801 | 7.800000e+01 | -- | Inf
961.12/961.34 c 961s| 26500 | 9108 | 5458k| 205.5 | 85M| 83 | 792 |2466 |4958 |2466 |2947 |1145 | 34k|9851 | 7.800000e+01 | -- | Inf
965.82/966.02 c 966s| 26600 | 9173 | 5496k| 206.2 | 86M| 83 | - |2466 |4968 |2466 |2947 |1145 | 34k|9861 | 7.800000e+01 | -- | Inf
969.62/969.80 c 970s| 26700 | 9225 | 5516k| 206.2 | 86M| 83 | - |2466 |4980 | 0 | 0 |1145 | 34k|9901 | 7.800000e+01 | -- | Inf
973.32/973.59 c 974s| 26800 | 9253 | 5537k| 206.1 | 86M| 83 | - |2466 |4997 | 0 | 0 |1145 | 34k|9930 | 7.800000e+01 | -- | Inf
976.12/976.37 c 976s| 26900 | 9272 | 5550k| 205.9 | 86M| 83 | 665 |2466 |5042 |2466 |2947 |1145 | 34k|9971 | 7.800000e+01 | -- | Inf
979.83/980.08 c 980s| 27000 | 9293 | 5571k| 205.9 | 86M| 83 | 683 |2466 |5077 |2466 |2947 |1145 | 34k| 10k| 7.800000e+01 | -- | Inf
983.62/983.83 c 984s| 27100 | 9338 | 5591k| 205.9 | 87M| 83 | - |2466 |5133 | 0 | 0 |1145 | 34k| 10k| 7.800000e+01 | -- | Inf
989.32/989.52 c 990s| 27200 | 9383 | 5621k| 206.2 | 87M| 83 | 831 |2466 |5089 |2466 |2947 |1145 | 35k| 10k| 7.800000e+01 | -- | Inf
992.52/992.74 c 993s| 27300 | 9407 | 5636k| 206.0 | 87M| 83 | - |2466 |5088 |2466 |2947 |1145 | 35k| 10k| 7.800000e+01 | -- | Inf
995.72/995.94 c 996s| 27400 | 9442 | 5656k| 206.0 | 87M| 83 | 814 |2466 |5059 |2466 |2947 |1145 | 35k| 10k| 7.800000e+01 | -- | Inf
999.01/999.22 c 999s| 27500 | 9474 | 5676k| 206.0 | 87M| 83 | 860 |2466 |5091 |2466 |2947 |1145 | 35k| 10k| 7.800000e+01 | -- | Inf
1001.93/1002.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1001.93/1002.14 c 1002s| 27600 | 9508 | 5687k| 205.6 | 87M| 83 | 464 |2466 |5108 |2466 |2947 |1145 | 35k| 10k| 7.800000e+01 | -- | Inf
1003.91/1004.18 c 1004s| 27700 | 9543 | 5702k| 205.4 | 87M| 83 | - |2466 |5113 |2466 |2947 |1145 | 35k| 10k| 7.800000e+01 | -- | Inf
1006.42/1006.68 c 1007s| 27800 | 9595 | 5716k| 205.2 | 88M| 83 | 834 |2466 |5124 |2466 |2947 |1145 | 35k| 10k| 7.800000e+01 | -- | Inf
1010.91/1011.15 c 1011s| 27900 | 9640 | 5737k| 205.2 | 88M| 83 | 785 |2466 |5144 |2466 |2947 |1145 | 35k| 10k| 7.800000e+01 | -- | Inf
1012.82/1013.00 c 1013s| 28000 | 9675 | 5750k| 204.9 | 88M| 83 | 519 |2466 |5126 |2466 |2947 |1145 | 35k| 10k| 7.800000e+01 | -- | Inf
1015.82/1016.09 c 1016s| 28100 | 9720 | 5762k| 204.6 | 88M| 83 | 826 |2466 |5193 |2466 |2947 |1145 | 36k| 10k| 7.800000e+01 | -- | Inf
1023.31/1023.54 c 1024s| 28200 | 9722 | 5819k| 205.9 | 88M| 83 | 818 |2466 |5378 |2466 |2947 |1145 | 36k| 10k| 7.800000e+01 | -- | Inf
1025.62/1025.85 c 1026s| 28300 | 9761 | 5835k| 205.7 | 88M| 83 | - |2466 |5403 |2466 |2947 |1145 | 36k| 10k| 7.800000e+01 | -- | Inf
1028.61/1028.89 c 1029s| 28400 | 9798 | 5855k| 205.7 | 88M| 83 | - |2466 |5372 |2466 |2947 |1145 | 36k| 10k| 7.800000e+01 | -- | Inf
1030.71/1030.98 c 1031s| 28500 | 9832 | 5865k| 205.4 | 88M| 83 | - |2466 |5371 | 0 | 0 |1145 | 36k| 10k| 7.800000e+01 | -- | Inf
1033.01/1033.22 c 1033s| 28600 | 9865 | 5879k| 205.1 | 88M| 83 | 886 |2466 |5474 |2466 |2947 |1145 | 37k| 10k| 7.800000e+01 | -- | Inf
1035.81/1036.09 c 1036s| 28700 | 9922 | 5899k| 205.1 | 89M| 83 | 308 |2466 |5482 |2466 |2947 |1145 | 37k| 10k| 7.800000e+01 | -- | Inf
1040.01/1040.28 c 1040s| 28800 | 9984 | 5923k| 205.2 | 89M| 83 | 389 |2466 |5431 |2466 |2947 |1145 | 37k| 10k| 7.800000e+01 | -- | Inf
1041.91/1042.19 c 1042s| 28900 | 10036 | 5933k| 204.9 | 89M| 83 | 280 |2466 |5409 |2466 |2947 |1145 | 37k| 10k| 7.800000e+01 | -- | Inf
1044.91/1045.13 c 1045s| 29000 | 10084 | 5950k| 204.8 | 89M| 83 | 695 |2466 |5363 |2466 |2947 |1145 | 37k| 10k| 7.800000e+01 | -- | Inf
1046.91/1047.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1046.91/1047.20 c 1047s| 29100 | 10099 | 5963k| 204.5 | 90M| 83 | - |2466 |5402 |2466 |2947 |1145 | 37k| 10k| 7.800000e+01 | -- | Inf
1049.31/1049.57 c 1050s| 29200 | 10157 | 5979k| 204.3 | 90M| 83 | 250 |2466 |5409 |2466 |2947 |1145 | 37k| 10k| 7.800000e+01 | -- | Inf
1050.91/1051.16 c 1051s| 29300 | 10184 | 5989k| 204.0 | 90M| 83 | - |2466 |5510 | 0 | 0 |1145 | 37k| 10k| 7.800000e+01 | -- | Inf
1052.81/1053.00 c 1053s| 29400 | 10198 | 6002k| 203.7 | 90M| 83 | - |2466 |5456 |2466 |2947 |1145 | 38k| 10k| 7.800000e+01 | -- | Inf
1054.91/1055.16 c 1055s| 29500 | 10248 | 6017k| 203.5 | 90M| 83 | 551 |2466 |5483 |2466 |2947 |1145 | 38k| 10k| 7.800000e+01 | -- | Inf
1057.51/1057.77 c 1058s| 29600 | 10303 | 6036k| 203.5 | 90M| 83 | 304 |2466 |5440 |2466 |2947 |1145 | 38k| 10k| 7.800000e+01 | -- | Inf
1059.30/1059.54 c 1060s| 29700 | 10326 | 6048k| 203.2 | 91M| 83 | 831 |2466 |5495 |2466 |2947 |1145 | 38k| 10k| 7.800000e+01 | -- | Inf
1061.10/1061.38 c 1061s| 29800 | 10351 | 6060k| 203.0 | 91M| 83 | 725 |2466 |5481 |2466 |2947 |1145 | 38k| 10k| 7.800000e+01 | -- | Inf
1063.51/1063.75 c 1064s| 29900 | 10381 | 6080k| 202.9 | 91M| 83 | 774 |2466 |5428 |2466 |2947 |1145 | 38k| 10k| 7.800000e+01 | -- | Inf
1065.00/1065.21 c 1065s| 30000 | 10419 | 6090k| 202.6 | 92M| 83 | 696 |2466 |5426 |2466 |2947 |1145 | 38k| 10k| 7.800000e+01 | -- | Inf
1067.01/1067.27 c 1067s| 30100 | 10449 | 6108k| 202.5 | 92M| 83 | - |2466 |5452 | 0 | 0 |1145 | 38k| 10k| 7.800000e+01 | -- | Inf
1079.20/1079.49 c 1079s| 30200 | 10482 | 6150k| 203.2 | 92M| 83 | 769 |2466 |6055 |2466 |2947 |1145 | 39k| 10k| 7.800000e+01 | -- | Inf
1081.11/1081.36 c 1081s| 30300 | 10500 | 6165k| 203.1 | 92M| 83 | - |2466 |6077 |2466 |2947 |1145 | 39k| 10k| 7.800000e+01 | -- | Inf
1083.40/1083.62 c 1084s| 30400 | 10535 | 6179k| 202.9 | 93M| 83 | 319 |2466 |6088 |2466 |2947 |1145 | 40k| 10k| 7.800000e+01 | -- | Inf
1085.91/1086.19 c 1086s| 30500 | 10572 | 6199k| 202.9 | 93M| 83 | 389 |2466 |6049 |2466 |2947 |1145 | 40k| 10k| 7.800000e+01 | -- | Inf
1088.30/1088.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1088.30/1088.55 c 1089s| 30600 | 10621 | 6217k| 202.8 | 93M| 83 | 461 |2466 |6117 |2466 |2947 |1145 | 40k| 10k| 7.800000e+01 | -- | Inf
1090.11/1090.34 c 1090s| 30700 | 10665 | 6229k| 202.5 | 93M| 83 | 400 |2466 |6112 |2466 |2947 |1145 | 40k| 10k| 7.800000e+01 | -- | Inf
1092.11/1092.35 c 1092s| 30800 | 10701 | 6242k| 202.3 | 94M| 83 | - |2466 |6175 | 0 | 0 |1145 | 40k| 10k| 7.800000e+01 | -- | Inf
1094.21/1094.41 c 1094s| 30900 | 10720 | 6256k| 202.1 | 94M| 83 | - |2466 |6119 | 0 | 0 |1145 | 40k| 10k| 7.800000e+01 | -- | Inf
1095.91/1096.11 c 1096s| 31000 | 10757 | 6267k| 201.8 | 94M| 83 | 535 |2466 |6073 |2466 |2947 |1145 | 40k| 10k| 7.800000e+01 | -- | Inf
1098.30/1098.53 c 1099s| 31100 | 10796 | 6286k| 201.7 | 95M| 83 | 642 |2466 |6060 |2466 |2947 |1145 | 40k| 10k| 7.800000e+01 | -- | Inf
1100.50/1100.71 c 1101s| 31200 | 10832 | 6302k| 201.6 | 95M| 83 | 357 |2466 |5959 |2466 |2947 |1145 | 41k| 10k| 7.800000e+01 | -- | Inf
1103.90/1104.14 c 1104s| 31300 | 10873 | 6328k| 201.8 | 95M| 83 | - |2466 |5952 |2466 |2947 |1145 | 41k| 10k| 7.800000e+01 | -- | Inf
1110.40/1110.69 c 1111s| 31400 | 10925 | 6362k| 202.2 | 95M| 83 | 325 |2466 |5888 |2466 |2947 |1145 | 41k| 10k| 7.800000e+01 | -- | Inf
1113.90/1114.15 c 1114s| 31500 | 10971 | 6390k| 202.5 | 95M| 83 | - |2466 |5772 |2466 |2947 |1145 | 41k| 10k| 7.800000e+01 | -- | Inf
1116.40/1116.61 c 1117s| 31600 | 11013 | 6410k| 202.5 | 95M| 83 | 947 |2466 |5685 |2466 |2947 |1145 | 41k| 10k| 7.800000e+01 | -- | Inf
1119.00/1119.20 c 1119s| 31700 | 11038 | 6430k| 202.5 | 95M| 83 | - |2466 |5593 | 0 | 0 |1145 | 41k| 10k| 7.800000e+01 | -- | Inf
1120.71/1120.91 c 1121s| 31800 | 11078 | 6442k| 202.2 | 95M| 83 | 717 |2466 |5585 |2466 |2947 |1145 | 41k| 10k| 7.800000e+01 | -- | Inf
1122.50/1122.75 c 1123s| 31900 | 11088 | 6455k| 202.0 | 96M| 83 | 663 |2466 |5678 |2466 |2947 |1145 | 41k| 10k| 7.800000e+01 | -- | Inf
1124.80/1125.02 c 1125s| 32000 | 11139 | 6468k| 201.7 | 96M| 83 | 586 |2466 |5681 |2466 |2947 |1145 | 42k| 10k| 7.800000e+01 | -- | Inf
1126.40/1126.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1126.40/1126.67 c 1127s| 32100 | 11167 | 6479k| 201.5 | 96M| 83 | 220 |2466 |5723 |2466 |2947 |1145 | 42k| 10k| 7.800000e+01 | -- | Inf
1128.00/1128.24 c 1128s| 32200 | 11188 | 6491k| 201.2 | 97M| 83 | 448 |2466 |5927 |2466 |2947 |1145 | 42k| 10k| 7.800000e+01 | -- | Inf
1131.00/1131.22 c 1131s| 32300 | 11203 | 6510k| 201.2 | 97M| 83 | 598 |2466 |5966 |2466 |2947 |1145 | 42k| 10k| 7.800000e+01 | -- | Inf
1133.90/1134.15 c 1134s| 32400 | 11275 | 6534k| 201.3 | 97M| 83 | 515 |2466 |5988 |2466 |2947 |1145 | 42k| 10k| 7.800000e+01 | -- | Inf
1136.10/1136.30 c 1136s| 32500 | 11340 | 6548k| 201.1 | 97M| 83 | 507 |2466 |6083 |2466 |2947 |1145 | 42k| 10k| 7.800000e+01 | -- | Inf
1137.79/1138.07 c 1138s| 32600 | 11376 | 6559k| 200.8 | 98M| 83 | 476 |2466 |6146 |2466 |2947 |1145 | 42k| 10k| 7.800000e+01 | -- | Inf
1139.60/1139.86 c 1140s| 32700 | 11407 | 6568k| 200.5 | 98M| 83 | - |2466 |6224 |2466 |2947 |1145 | 42k| 10k| 7.800000e+01 | -- | Inf
1141.89/1142.12 c 1142s| 32800 | 11474 | 6584k| 200.4 | 98M| 83 | 506 |2466 |6205 |2466 |2947 |1145 | 43k| 10k| 7.800000e+01 | -- | Inf
1144.39/1144.64 c 1145s| 32900 | 11555 | 6602k| 200.3 | 98M| 83 | 409 |2466 |6315 |2466 |2947 |1145 | 43k| 10k| 7.800000e+01 | -- | Inf
1146.89/1147.20 c 1147s| 33000 | 11601 | 6619k| 200.2 | 99M| 83 | - |2466 |6352 |2466 |2947 |1145 | 43k| 10k| 7.800000e+01 | -- | Inf
1149.69/1149.91 c 1150s| 33100 | 11650 | 6641k| 200.3 | 99M| 83 | 504 |2466 |6205 |2466 |2947 |1145 | 43k| 10k| 7.800000e+01 | -- | Inf
1159.89/1160.15 c 1160s| 33200 | 11687 | 6716k| 201.9 | 99M| 83 | - |2466 |6303 |2466 |2947 |1145 | 43k| 10k| 7.800000e+01 | -- | Inf
1162.39/1162.68 c 1163s| 33300 | 11722 | 6733k| 201.8 | 99M| 83 | - |2466 |6254 | 0 | 0 |1145 | 44k| 10k| 7.800000e+01 | -- | Inf
1164.28/1164.56 c 1165s| 33400 | 11730 | 6745k| 201.6 | 99M| 83 | 326 |2466 |6203 |2466 |2947 |1145 | 44k| 10k| 7.800000e+01 | -- | Inf
1165.89/1166.16 c 1166s| 33500 | 11747 | 6756k| 201.3 | 99M| 83 | 383 |2466 |6241 |2466 |2947 |1145 | 44k| 10k| 7.800000e+01 | -- | Inf
1168.49/1168.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1168.49/1168.76 c 1169s| 33600 | 11789 | 6774k| 201.3 | 100M| 83 | 983 |2466 |6138 |2466 |2947 |1145 | 44k| 10k| 7.800000e+01 | -- | Inf
1171.59/1171.86 c 1172s| 33700 | 11847 | 6798k| 201.4 | 100M| 83 | 400 |2466 |6051 |2466 |2947 |1145 | 44k| 10k| 7.800000e+01 | -- | Inf
1174.49/1174.73 c 1175s| 33800 | 11889 | 6815k| 201.3 | 100M| 83 | - |2466 |6040 |2466 |2947 |1145 | 44k| 10k| 7.800000e+01 | -- | Inf
1177.09/1177.36 c 1177s| 33900 | 11906 | 6827k| 201.0 | 100M| 83 | - |2466 |6008 |2466 |2947 |1145 | 44k| 10k| 7.800000e+01 | -- | Inf
1180.18/1180.46 c 1180s| 34000 | 11955 | 6847k| 201.0 | 100M| 83 | - |2466 |5982 | 0 | 0 |1145 | 44k| 10k| 7.800000e+01 | -- | Inf
1183.58/1183.85 c 1184s| 34100 | 11994 | 6866k| 201.0 | 101M| 83 | 769 |2466 |5993 |2466 |2947 |1145 | 45k| 10k| 7.800000e+01 | -- | Inf
1187.98/1188.29 c 1188s| 34200 | 12037 | 6891k| 201.2 | 101M| 83 | 528 |2466 |5928 |2466 |2947 |1145 | 45k| 10k| 7.800000e+01 | -- | Inf
1191.99/1192.28 c 1192s| 34300 | 12069 | 6913k| 201.2 | 101M| 83 | 689 |2466 |5889 |2466 |2947 |1145 | 45k| 10k| 7.800000e+01 | -- | Inf
1195.58/1195.88 c 1196s| 34400 | 12113 | 6934k| 201.2 | 101M| 83 | 629 |2466 |5873 |2466 |2947 |1145 | 45k| 10k| 7.800000e+01 | -- | Inf
1199.59/1199.86 c 1200s| 34500 | 12147 | 6958k| 201.3 | 101M| 83 | 781 |2466 |5843 |2466 |2947 |1145 | 45k| 10k| 7.800000e+01 | -- | Inf
1203.19/1203.48 c 1203s| 34600 | 12188 | 6982k| 201.5 | 102M| 83 | 449 |2466 |5833 |2466 |2947 |1145 | 45k| 10k| 7.800000e+01 | -- | Inf
1205.49/1205.73 c 1206s| 34700 | 12216 | 6994k| 201.2 | 102M| 83 | 504 |2466 |5861 |2466 |2947 |1145 | 45k| 10k| 7.800000e+01 | -- | Inf
1208.78/1209.07 c 1209s| 34800 | 12247 | 7010k| 201.1 | 102M| 83 | - |2466 |5844 |2466 |2947 |1145 | 46k| 11k| 7.800000e+01 | -- | Inf
1211.89/1212.11 c 1212s| 34900 | 12270 | 7026k| 201.0 | 102M| 83 | 968 |2466 |5793 |2466 |2947 |1145 | 46k| 11k| 7.800000e+01 | -- | Inf
1213.98/1214.25 c 1214s| 35000 | 12286 | 7037k| 200.7 | 102M| 83 | 563 |2466 |5844 |2466 |2947 |1145 | 46k| 11k| 7.800000e+01 | -- | Inf
1216.88/1217.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1216.88/1217.17 c 1217s| 35100 | 12304 | 7052k| 200.6 | 103M| 83 | 281 |2466 |5900 |2466 |2947 |1145 | 46k| 11k| 7.800000e+01 | -- | Inf
1219.18/1219.48 c 1219s| 35200 | 12349 | 7064k| 200.3 | 103M| 83 | 571 |2466 |5947 |2466 |2947 |1145 | 46k| 11k| 7.800000e+01 | -- | Inf
1222.28/1222.58 c 1223s| 35300 | 12369 | 7075k| 200.1 | 103M| 83 | - |2466 |6026 |2466 |2947 |1145 | 46k| 11k| 7.800000e+01 | -- | Inf
1226.58/1226.88 c 1227s| 35400 | 12403 | 7098k| 200.2 | 103M| 83 | 468 |2466 |6013 |2466 |2947 |1145 | 46k| 11k| 7.800000e+01 | -- | Inf
1230.38/1230.67 c 1231s| 35500 | 12437 | 7120k| 200.2 | 104M| 83 | 805 |2466 |6042 |2466 |2947 |1145 | 47k| 11k| 7.800000e+01 | -- | Inf
1232.48/1232.76 c 1233s| 35600 | 12469 | 7129k| 199.9 | 104M| 83 | 403 |2466 |6053 |2466 |2947 |1145 | 47k| 11k| 7.800000e+01 | -- | Inf
1235.09/1235.39 c 1235s| 35700 | 12508 | 7145k| 199.8 | 104M| 83 | 403 |2466 |6065 |2466 |2947 |1145 | 47k| 11k| 7.800000e+01 | -- | Inf
1237.98/1238.20 c 1238s| 35800 | 12545 | 7163k| 199.7 | 104M| 83 | 543 |2466 |6003 |2466 |2947 |1145 | 47k| 11k| 7.800000e+01 | -- | Inf
1242.68/1242.98 c 1243s| 35900 | 12558 | 7197k| 200.1 | 104M| 83 | - |2466 |6001 |2466 |2947 |1145 | 47k| 11k| 7.800000e+01 | -- | Inf
1245.78/1246.06 c 1246s| 36000 | 12586 | 7213k| 200.0 | 105M| 83 | 846 |2466 |6082 |2466 |2947 |1145 | 47k| 11k| 7.800000e+01 | -- | Inf
1249.07/1249.35 c 1249s| 36100 | 12599 | 7228k| 199.9 | 105M| 83 | 589 |2466 |6043 |2466 |2947 |1145 | 47k| 11k| 7.800000e+01 | -- | Inf
1252.58/1252.88 c 1253s| 36200 | 12614 | 7247k| 199.9 | 105M| 83 | - |2466 |5992 |2466 |2947 |1145 | 48k| 11k| 7.800000e+01 | -- | Inf
1254.88/1255.13 c 1255s| 36300 | 12646 | 7262k| 199.7 | 105M| 83 | 464 |2466 |6024 |2466 |2947 |1145 | 48k| 11k| 7.800000e+01 | -- | Inf
1257.98/1258.29 c 1258s| 36400 | 12668 | 7279k| 199.6 | 105M| 83 | 838 |2466 |6055 |2466 |2947 |1145 | 48k| 11k| 7.800000e+01 | -- | Inf
1261.17/1261.43 c 1261s| 36500 | 12691 | 7296k| 199.6 | 105M| 83 | 493 |2466 |6045 |2466 |2947 |1145 | 48k| 11k| 7.800000e+01 | -- | Inf
1263.58/1263.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1263.58/1263.87 c 1264s| 36600 | 12711 | 7310k| 199.4 | 105M| 83 | 879 |2466 |6126 |2466 |2947 |1145 | 48k| 11k| 7.800000e+01 | -- | Inf
1266.98/1267.26 c 1267s| 36700 | 12756 | 7326k| 199.3 | 105M| 83 | - |2466 |6064 |2466 |2947 |1145 | 48k| 11k| 7.800000e+01 | -- | Inf
1269.97/1270.25 c 1270s| 36800 | 12782 | 7347k| 199.3 | 106M| 83 | - |2466 |6086 |2466 |2947 |1145 | 48k| 11k| 7.800000e+01 | -- | Inf
1273.77/1274.09 c 1274s| 36900 | 12814 | 7367k| 199.3 | 106M| 83 | 907 |2466 |5974 |2466 |2947 |1145 | 49k| 11k| 7.800000e+01 | -- | Inf
1276.47/1276.77 c 1277s| 37000 | 12851 | 7381k| 199.2 | 106M| 83 | 402 |2466 |5911 |2466 |2947 |1145 | 49k| 11k| 7.800000e+01 | -- | Inf
1279.97/1280.27 c 1280s| 37100 | 12865 | 7398k| 199.1 | 106M| 83 |1003 |2466 |6046 |2466 |2947 |1145 | 49k| 11k| 7.800000e+01 | -- | Inf
1282.38/1282.65 c 1283s| 37200 | 12879 | 7411k| 198.9 | 106M| 83 | - |2466 |6138 |2466 |2947 |1145 | 49k| 11k| 7.800000e+01 | -- | Inf
1285.37/1285.66 c 1286s| 37300 | 12922 | 7429k| 198.8 | 106M| 83 | 742 |2466 |6118 |2466 |2947 |1145 | 49k| 11k| 7.800000e+01 | -- | Inf
1288.98/1289.25 c 1289s| 37400 | 12947 | 7446k| 198.8 | 106M| 83 | - |2466 |6007 |2466 |2947 |1145 | 49k| 11k| 7.800000e+01 | -- | Inf
1291.87/1292.17 c 1292s| 37500 | 12986 | 7463k| 198.7 | 107M| 83 | 422 |2466 |5899 |2466 |2947 |1145 | 50k| 12k| 7.800000e+01 | -- | Inf
1294.67/1294.94 c 1295s| 37600 | 13010 | 7478k| 198.6 | 107M| 83 | - |2466 |5855 |2466 |2947 |1145 | 50k| 12k| 7.800000e+01 | -- | Inf
1297.87/1298.18 c 1298s| 37700 | 13021 | 7496k| 198.5 | 107M| 83 | 202 |2466 |5847 |2466 |2947 |1145 | 50k| 12k| 7.800000e+01 | -- | Inf
1301.57/1301.83 c 1302s| 37800 | 13044 | 7515k| 198.5 | 107M| 83 | - |2466 |5803 |2466 |2947 |1145 | 50k| 12k| 7.800000e+01 | -- | Inf
1306.47/1306.78 c 1307s| 37900 | 13081 | 7531k| 198.4 | 107M| 83 | 855 |2466 |5828 |2466 |2947 |1145 | 50k| 12k| 7.800000e+01 | -- | Inf
1308.77/1309.07 c 1309s| 38000 | 13114 | 7548k| 198.3 | 107M| 83 | 532 |2466 |5817 |2466 |2947 |1145 | 50k| 12k| 7.800000e+01 | -- | Inf
1312.66/1312.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1312.66/1312.97 c 1313s| 38100 | 13160 | 7575k| 198.5 | 108M| 83 | 562 |2466 |5919 |2466 |2947 |1145 | 50k| 12k| 7.800000e+01 | -- | Inf
1315.07/1315.34 c 1315s| 38200 | 13191 | 7589k| 198.3 | 108M| 83 | 767 |2466 |5927 |2466 |2947 |1145 | 51k| 12k| 7.800000e+01 | -- | Inf
1318.97/1319.20 c 1319s| 38300 | 13214 | 7602k| 198.2 | 108M| 83 | 539 |2466 |5876 |2466 |2947 |1145 | 51k| 12k| 7.800000e+01 | -- | Inf
1321.76/1322.00 c 1322s| 38400 | 13273 | 7620k| 198.1 | 108M| 83 | 834 |2466 |5940 |2466 |2947 |1145 | 51k| 12k| 7.800000e+01 | -- | Inf
1324.46/1324.79 c 1325s| 38500 | 13309 | 7631k| 197.9 | 109M| 83 | 446 |2466 |5964 |2466 |2947 |1145 | 51k| 12k| 7.800000e+01 | -- | Inf
1327.16/1327.40 c 1327s| 38600 | 13343 | 7644k| 197.7 | 109M| 83 | - |2466 |6046 |2466 |2947 |1145 | 51k| 12k| 7.800000e+01 | -- | Inf
1330.87/1331.11 c 1331s| 38700 | 13398 | 7670k| 197.9 | 109M| 83 | 496 |2466 |6042 |2466 |2947 |1145 | 51k| 12k| 7.800000e+01 | -- | Inf
1333.86/1334.19 c 1334s| 38800 | 13412 | 7688k| 197.8 | 109M| 83 | 670 |2466 |6087 |2466 |2947 |1145 | 51k| 12k| 7.800000e+01 | -- | Inf
1337.07/1337.37 c 1337s| 38900 | 13432 | 7707k| 197.8 | 110M| 83 | 657 |2466 |6208 |2466 |2947 |1145 | 52k| 12k| 7.800000e+01 | -- | Inf
1339.07/1339.30 c 1339s| 39000 | 13484 | 7716k| 197.5 | 110M| 83 | - |2466 |6097 |2466 |2947 |1145 | 52k| 12k| 7.800000e+01 | -- | Inf
1341.86/1342.10 c 1342s| 39100 | 13514 | 7726k| 197.3 | 110M| 83 | 709 |2466 |6083 |2466 |2947 |1145 | 52k| 12k| 7.800000e+01 | -- | Inf
1343.97/1344.26 c 1344s| 39200 | 13538 | 7734k| 197.0 | 110M| 83 | - |2466 |6064 |2466 |2947 |1145 | 52k| 12k| 7.800000e+01 | -- | Inf
1346.36/1346.63 c 1347s| 39300 | 13553 | 7744k| 196.8 | 110M| 83 | 433 |2466 |6146 |2466 |2947 |1145 | 52k| 12k| 7.800000e+01 | -- | Inf
1348.66/1348.99 c 1349s| 39400 | 13570 | 7758k| 196.6 | 110M| 83 | 697 |2466 |6281 |2466 |2947 |1145 | 52k| 12k| 7.800000e+01 | -- | Inf
1353.25/1353.51 c 1354s| 39500 | 13607 | 7780k| 196.7 | 111M| 83 | 309 |2466 |6238 |2466 |2947 |1145 | 52k| 12k| 7.800000e+01 | -- | Inf
1355.36/1355.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1355.36/1355.64 c 1356s| 39600 | 13641 | 7793k| 196.5 | 111M| 83 | 424 |2466 |6214 |2466 |2947 |1145 | 53k| 12k| 7.800000e+01 | -- | Inf
1358.36/1358.69 c 1359s| 39700 | 13659 | 7809k| 196.4 | 111M| 83 | 484 |2466 |6079 |2466 |2947 |1145 | 53k| 12k| 7.800000e+01 | -- | Inf
1361.96/1362.22 c 1362s| 39800 | 13689 | 7830k| 196.4 | 111M| 83 | - |2466 |6021 | 0 | 0 |1145 | 53k| 12k| 7.800000e+01 | -- | Inf
1367.96/1368.29 c 1368s| 39900 | 13713 | 7890k| 197.5 | 111M| 83 | 787 |2466 |6122 |2466 |2947 |1145 | 53k| 12k| 7.800000e+01 | -- | Inf
1371.25/1371.57 c 1372s| 40000 | 13754 | 7911k| 197.5 | 111M| 83 | 809 |2466 |6021 |2466 |2947 |1145 | 53k| 12k| 7.800000e+01 | -- | Inf
1373.16/1373.45 c 1373s| 40100 | 13770 | 7920k| 197.2 | 111M| 83 | 364 |2466 |5984 |2466 |2947 |1145 | 53k| 12k| 7.800000e+01 | -- | Inf
1377.16/1377.49 c 1377s| 40200 | 13807 | 7942k| 197.3 | 111M| 83 | - |2466 |5909 | 0 | 0 |1145 | 53k| 12k| 7.800000e+01 | -- | Inf
1380.05/1380.31 c 1380s| 40300 | 13818 | 7958k| 197.2 | 111M| 83 | 432 |2466 |5844 |2466 |2947 |1145 | 54k| 12k| 7.800000e+01 | -- | Inf
1385.85/1386.10 c 1386s| 40400 | 13847 | 7983k| 197.3 | 112M| 83 | - |2466 |5956 |2466 |2947 |1145 | 54k| 12k| 7.800000e+01 | -- | Inf
1388.16/1388.46 c 1388s| 40500 | 13874 | 7996k| 197.1 | 112M| 83 | 967 |2466 |6020 |2466 |2947 |1145 | 54k| 12k| 7.800000e+01 | -- | Inf
1392.16/1392.41 c 1392s| 40600 | 13915 | 8015k| 197.1 | 112M| 83 | 468 |2466 |5968 |2466 |2947 |1145 | 54k| 13k| 7.800000e+01 | -- | Inf
1394.26/1394.59 c 1395s| 40700 | 13931 | 8028k| 197.0 | 112M| 83 | - |2466 |5994 | 0 | 0 |1145 | 54k| 13k| 7.800000e+01 | -- | Inf
1396.45/1396.79 c 1397s| 40800 | 13957 | 8039k| 196.7 | 112M| 83 | 608 |2466 |5969 |2466 |2947 |1145 | 54k| 13k| 7.800000e+01 | -- | Inf
1399.65/1399.99 c 1400s| 40900 | 13984 | 8053k| 196.6 | 113M| 83 | - |2466 |5909 | 0 | 0 |1145 | 54k| 13k| 7.800000e+01 | -- | Inf
1403.26/1403.52 c 1404s| 41000 | 14008 | 8076k| 196.7 | 113M| 83 | 599 |2466 |5947 |2466 |2947 |1145 | 55k| 13k| 7.800000e+01 | -- | Inf
1406.25/1406.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1406.25/1406.59 c 1407s| 41100 | 14024 | 8093k| 196.6 | 113M| 83 | 523 |2466 |6024 |2466 |2947 |1145 | 55k| 13k| 7.800000e+01 | -- | Inf
1408.66/1408.94 c 1409s| 41200 | 14030 | 8103k| 196.4 | 113M| 83 | - |2466 |6094 |2466 |2947 |1145 | 55k| 13k| 7.800000e+01 | -- | Inf
1412.16/1412.41 c 1412s| 41300 | 14064 | 8119k| 196.3 | 113M| 83 | - |2466 |6072 |2466 |2947 |1145 | 55k| 13k| 7.800000e+01 | -- | Inf
1417.15/1417.48 c 1417s| 41400 | 14095 | 8143k| 196.4 | 113M| 83 | - |2466 |6067 |2466 |2947 |1145 | 55k| 13k| 7.800000e+01 | -- | Inf
1421.65/1421.97 c 1422s| 41500 | 14141 | 8174k| 196.7 | 113M| 83 | 378 |2466 |6180 |2466 |2947 |1145 | 55k| 13k| 7.800000e+01 | -- | Inf
1424.15/1424.42 c 1424s| 41600 | 14186 | 8187k| 196.5 | 114M| 83 | 338 |2466 |6115 |2466 |2947 |1145 | 56k| 13k| 7.800000e+01 | -- | Inf
1426.25/1426.52 c 1427s| 41700 | 14201 | 8197k| 196.3 | 114M| 83 | - |2466 |6059 |2466 |2947 |1145 | 56k| 13k| 7.800000e+01 | -- | Inf
1429.95/1430.21 c 1430s| 41800 | 14213 | 8208k| 196.1 | 114M| 83 | 944 |2466 |6033 |2466 |2947 |1145 | 56k| 13k| 7.800000e+01 | -- | Inf
1431.64/1431.99 c 1432s| 41900 | 14238 | 8220k| 195.9 | 114M| 83 | 701 |2466 |6050 |2466 |2947 |1145 | 56k| 13k| 7.800000e+01 | -- | Inf
1434.16/1434.49 c 1434s| 42000 | 14278 | 8236k| 195.8 | 114M| 83 | 456 |2466 |6010 |2466 |2947 |1145 | 56k| 13k| 7.800000e+01 | -- | Inf
1436.64/1436.97 c 1437s| 42100 | 14304 | 8248k| 195.6 | 114M| 83 |1039 |2466 |6111 |2466 |2947 |1145 | 56k| 13k| 7.800000e+01 | -- | Inf
1439.44/1439.79 c 1440s| 42200 | 14342 | 8269k| 195.7 | 114M| 83 | 433 |2466 |6150 |2466 |2947 |1145 | 56k| 13k| 7.800000e+01 | -- | Inf
1443.04/1443.30 c 1443s| 42300 | 14403 | 8287k| 195.6 | 115M| 83 | 457 |2466 |6180 |2466 |2947 |1145 | 56k| 13k| 7.800000e+01 | -- | Inf
1447.64/1447.97 c 1448s| 42400 | 14469 | 8314k| 195.8 | 115M| 83 | 448 |2466 |6222 |2466 |2947 |1145 | 57k| 13k| 7.800000e+01 | -- | Inf
1450.74/1451.05 c 1451s| 42500 | 14482 | 8329k| 195.7 | 115M| 83 | - |2466 |6187 | 0 | 0 |1145 | 57k| 13k| 7.800000e+01 | -- | Inf
1453.45/1453.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1453.45/1453.73 c 1454s| 42600 | 14492 | 8343k| 195.6 | 115M| 83 | - |2466 |6182 |2466 |2947 |1145 | 57k| 13k| 7.800000e+01 | -- | Inf
1455.45/1455.71 c 1456s| 42700 | 14507 | 8354k| 195.4 | 115M| 83 | 666 |2466 |6182 |2466 |2947 |1145 | 57k| 13k| 7.800000e+01 | -- | Inf
1459.64/1459.97 c 1460s| 42800 | 14538 | 8379k| 195.5 | 116M| 83 | 606 |2466 |6128 |2466 |2947 |1145 | 57k| 13k| 7.800000e+01 | -- | Inf
1463.14/1463.45 c 1463s| 42900 | 14567 | 8400k| 195.5 | 116M| 83 | 483 |2466 |6131 |2466 |2947 |1145 | 57k| 13k| 7.800000e+01 | -- | Inf
1466.54/1466.86 c 1467s| 43000 | 14588 | 8416k| 195.4 | 116M| 83 | - |2466 |6180 |2466 |2947 |1145 | 58k| 13k| 7.800000e+01 | -- | Inf
1470.04/1470.33 c 1470s| 43100 | 14626 | 8432k| 195.4 | 116M| 83 | 557 |2466 |6143 |2466 |2947 |1145 | 58k| 13k| 7.800000e+01 | -- | Inf
1473.54/1473.82 c 1474s| 43200 | 14684 | 8451k| 195.4 | 116M| 83 | - |2466 |6131 |2466 |2947 |1145 | 58k| 13k| 7.800000e+01 | -- | Inf
1477.05/1477.32 c 1477s| 43300 | 14703 | 8466k| 195.2 | 117M| 83 | 785 |2466 |6162 |2466 |2947 |1145 | 58k| 13k| 7.800000e+01 | -- | Inf
1478.64/1478.96 c 1479s| 43400 | 14710 | 8476k| 195.0 | 117M| 83 | 539 |2466 |6214 |2466 |2947 |1145 | 58k| 13k| 7.800000e+01 | -- | Inf
1481.14/1481.44 c 1481s| 43500 | 14725 | 8491k| 194.9 | 117M| 83 | 721 |2466 |6252 |2466 |2947 |1145 | 58k| 13k| 7.800000e+01 | -- | Inf
1483.44/1483.73 c 1484s| 43600 | 14742 | 8502k| 194.7 | 117M| 83 | 516 |2466 |6156 |2466 |2947 |1145 | 58k| 13k| 7.800000e+01 | -- | Inf
1487.24/1487.52 c 1488s| 43700 | 14772 | 8521k| 194.7 | 117M| 83 | - |2466 |6135 | 0 | 0 |1145 | 58k| 13k| 7.800000e+01 | -- | Inf
1489.34/1489.66 c 1490s| 43800 | 14789 | 8536k| 194.6 | 117M| 83 | 810 |2466 |6132 |2466 |2947 |1145 | 59k| 13k| 7.800000e+01 | -- | Inf
1491.34/1491.65 c 1492s| 43900 | 14819 | 8549k| 194.5 | 117M| 83 | 565 |2466 |6099 |2466 |2947 |1145 | 59k| 13k| 7.800000e+01 | -- | Inf
1493.24/1493.55 c 1494s| 44000 | 14833 | 8559k| 194.2 | 118M| 83 | 301 |2466 |6044 |2466 |2947 |1145 | 59k| 14k| 7.800000e+01 | -- | Inf
1495.34/1495.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1495.34/1495.66 c 1496s| 44100 | 14862 | 8573k| 194.1 | 118M| 83 | 603 |2466 |6007 |2466 |2947 |1145 | 59k| 14k| 7.800000e+01 | -- | Inf
1496.94/1497.26 c 1497s| 44200 | 14887 | 8584k| 193.9 | 118M| 83 | 399 |2466 |5974 |2466 |2947 |1145 | 59k| 14k| 7.800000e+01 | -- | Inf
1501.34/1501.65 c 1502s| 44300 | 14950 | 8606k| 194.0 | 118M| 83 | - |2466 |5920 |2466 |2947 |1145 | 59k| 14k| 7.800000e+01 | -- | Inf
1502.35/1502.68 c 1503s| 44400 | 14965 | 8612k| 193.7 | 119M| 85 | 145 |2466 |6071 |2466 |2947 |1145 | 59k| 14k| 7.800000e+01 | -- | Inf
1504.03/1504.34 c 1504s| 44500 | 14966 | 8625k| 193.6 | 119M| 86 | - |2466 |6253 | 0 | 0 |1145 | 60k| 14k| 7.800000e+01 | -- | Inf
1506.54/1506.86 c 1507s| 44600 | 15000 | 8645k| 193.6 | 119M| 86 | - |2466 |6172 |2466 |2947 |1145 | 60k| 14k| 7.800000e+01 | -- | Inf
1509.43/1509.77 c 1510s| 44700 | 15022 | 8661k| 193.5 | 119M| 86 | 913 |2466 |6086 |2466 |2947 |1145 | 60k| 14k| 7.800000e+01 | -- | Inf
1511.93/1512.27 c 1512s| 44800 | 15039 | 8680k| 193.5 | 119M| 86 |1016 |2466 |6098 |2466 |2947 |1145 | 60k| 14k| 7.800000e+01 | -- | Inf
1515.44/1515.71 c 1516s| 44900 | 15071 | 8706k| 193.6 | 119M| 86 | - |2466 |6110 | 0 | 0 |1145 | 60k| 14k| 7.800000e+01 | -- | Inf
1517.53/1517.81 c 1518s| 45000 | 15106 | 8721k| 193.5 | 120M| 86 | 356 |2466 |6046 |2466 |2947 |1145 | 60k| 14k| 7.800000e+01 | -- | Inf
1520.14/1520.45 c 1520s| 45100 | 15148 | 8742k| 193.6 | 120M| 86 | 302 |2466 |6029 |2466 |2947 |1145 | 61k| 14k| 7.800000e+01 | -- | Inf
1524.53/1524.80 c 1525s| 45200 | 15171 | 8753k| 193.4 | 120M| 86 | 441 |2466 |5984 |2466 |2947 |1145 | 61k| 14k| 7.800000e+01 | -- | Inf
1526.23/1526.59 c 1527s| 45300 | 15189 | 8764k| 193.2 | 120M| 86 | - |2466 |5968 | 0 | 0 |1145 | 61k| 14k| 7.800000e+01 | -- | Inf
1528.74/1529.07 c 1529s| 45400 | 15210 | 8784k| 193.2 | 120M| 86 | - |2466 |6008 |2466 |2947 |1145 | 61k| 14k| 7.800000e+01 | -- | Inf
1530.63/1530.94 c 1531s| 45500 | 15251 | 8796k| 193.1 | 121M| 86 | 365 |2466 |5996 |2466 |2947 |1145 | 61k| 14k| 7.800000e+01 | -- | Inf
1533.33/1533.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1533.33/1533.60 c 1534s| 45600 | 15267 | 8818k| 193.1 | 121M| 86 |1069 |2466 |5938 |2466 |2947 |1145 | 61k| 14k| 7.800000e+01 | -- | Inf
1535.74/1536.07 c 1536s| 45700 | 15296 | 8835k| 193.1 | 121M| 86 | - |2466 |6047 |2466 |2947 |1145 | 62k| 14k| 7.800000e+01 | -- | Inf
1539.64/1539.93 c 1540s| 45800 | 15310 | 8847k| 192.9 | 121M| 86 |1189 |2466 |6031 |2466 |2947 |1145 | 62k| 14k| 7.800000e+01 | -- | Inf
1545.43/1545.75 c 1546s| 45900 | 15335 | 8870k| 193.0 | 121M| 86 | 664 |2466 |5965 |2466 |2947 |1145 | 62k| 14k| 7.800000e+01 | -- | Inf
1547.63/1547.91 c 1548s| 46000 | 15371 | 8889k| 193.0 | 122M| 86 | 567 |2466 |5957 |2466 |2947 |1145 | 62k| 14k| 7.800000e+01 | -- | Inf
1549.13/1549.41 c 1549s| 46100 | 15392 | 8899k| 192.8 | 122M| 86 | - |2466 |6082 | 0 | 0 |1145 | 62k| 14k| 7.800000e+01 | -- | Inf
1551.43/1551.72 c 1552s| 46200 | 15414 | 8916k| 192.7 | 122M| 86 | 870 |2466 |6027 |2466 |2947 |1145 | 62k| 14k| 7.800000e+01 | -- | Inf
1555.03/1555.31 c 1555s| 46300 | 15445 | 8947k| 193.0 | 122M| 86 | 366 |2466 |6028 |2466 |2947 |1145 | 62k| 14k| 7.800000e+01 | -- | Inf
1556.63/1556.98 c 1557s| 46400 | 15467 | 8959k| 192.8 | 122M| 86 | 606 |2466 |6056 |2466 |2947 |1145 | 63k| 14k| 7.800000e+01 | -- | Inf
1561.02/1561.34 c 1561s| 46500 | 15508 | 8987k| 193.0 | 123M| 86 | 769 |2466 |6389 |2466 |2947 |1145 | 63k| 14k| 7.800000e+01 | -- | Inf
1562.84/1563.10 c 1563s| 46600 | 15536 | 9000k| 192.9 | 123M| 86 | 358 |2466 |6380 |2466 |2947 |1145 | 63k| 14k| 7.800000e+01 | -- | Inf
1564.82/1565.11 c 1565s| 46700 | 15562 | 9017k| 192.8 | 123M| 86 | 567 |2466 |6359 |2466 |2947 |1145 | 63k| 14k| 7.800000e+01 | -- | Inf
1566.53/1566.86 c 1567s| 46800 | 15570 | 9028k| 192.6 | 123M| 86 | 509 |2466 |6423 |2466 |2947 |1145 | 64k| 14k| 7.800000e+01 | -- | Inf
1568.23/1568.53 c 1569s| 46900 | 15588 | 9041k| 192.5 | 124M| 86 | 938 |2466 |6447 |2466 |2947 |1145 | 64k| 14k| 7.800000e+01 | -- | Inf
1569.82/1570.14 c 1570s| 47000 | 15612 | 9051k| 192.3 | 124M| 86 | 731 |2466 |6502 |2466 |2947 |1145 | 64k| 14k| 7.800000e+01 | -- | Inf
1571.53/1571.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1571.53/1571.86 c 1572s| 47100 | 15657 | 9064k| 192.2 | 124M| 86 | 461 |2466 |6527 |2466 |2947 |1145 | 64k| 14k| 7.800000e+01 | -- | Inf
1573.02/1573.38 c 1573s| 47200 | 15687 | 9074k| 192.0 | 125M| 86 | 277 |2466 |6627 |2466 |2947 |1145 | 64k| 14k| 7.800000e+01 | -- | Inf
1574.62/1574.95 c 1575s| 47300 | 15693 | 9084k| 191.8 | 125M| 86 | 412 |2466 |6764 |2466 |2947 |1145 | 64k| 14k| 7.800000e+01 | -- | Inf
1576.32/1576.68 c 1577s| 47400 | 15710 | 9096k| 191.7 | 125M| 86 | - |2466 |6682 |2466 |2947 |1145 | 64k| 14k| 7.800000e+01 | -- | Inf
1578.52/1578.86 c 1579s| 47500 | 15753 | 9113k| 191.6 | 126M| 86 | - |2466 |6670 | 0 | 0 |1145 | 65k| 14k| 7.800000e+01 | -- | Inf
1580.32/1580.68 c 1581s| 47600 | 15766 | 9128k| 191.5 | 126M| 86 | 487 |2466 |6600 |2466 |2947 |1145 | 65k| 14k| 7.800000e+01 | -- | Inf
1582.22/1582.59 c 1583s| 47700 | 15794 | 9143k| 191.4 | 126M| 86 | - |2466 |6535 |2466 |2947 |1145 | 65k| 14k| 7.800000e+01 | -- | Inf
1588.42/1588.75 c 1589s| 47800 | 15812 | 9210k| 192.4 | 126M| 86 |1364 |2466 |6488 |2466 |2947 |1145 | 65k| 14k| 7.800000e+01 | -- | Inf
1591.02/1591.36 c 1591s| 47900 | 15837 | 9228k| 192.4 | 126M| 86 | - |2466 |6520 |2466 |2947 |1145 | 65k| 14k| 7.800000e+01 | -- | Inf
1593.42/1593.77 c 1594s| 48000 | 15855 | 9247k| 192.4 | 126M| 86 | 620 |2466 |6383 |2466 |2947 |1145 | 65k| 14k| 7.800000e+01 | -- | Inf
1595.12/1595.49 c 1595s| 48100 | 15866 | 9258k| 192.2 | 126M| 86 | 435 |2466 |6361 |2466 |2947 |1145 | 66k| 14k| 7.800000e+01 | -- | Inf
1597.52/1597.87 c 1598s| 48200 | 15884 | 9273k| 192.1 | 126M| 86 | - |2466 |6260 |2466 |2947 |1145 | 66k| 14k| 7.800000e+01 | -- | Inf
1600.02/1600.32 c 1600s| 48300 | 15938 | 9290k| 192.1 | 127M| 86 | 434 |2466 |6342 |2466 |2947 |1145 | 66k| 14k| 7.800000e+01 | -- | Inf
1602.12/1602.42 c 1602s| 48400 | 15987 | 9304k| 192.0 | 127M| 86 | 415 |2466 |6407 |2466 |2947 |1145 | 66k| 14k| 7.800000e+01 | -- | Inf
1604.21/1604.55 c 1605s| 48500 | 16026 | 9319k| 191.9 | 127M| 86 | 321 |2466 |6408 |2466 |2947 |1145 | 66k| 14k| 7.800000e+01 | -- | Inf
1606.72/1607.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1606.72/1607.08 c 1607s| 48600 | 16078 | 9338k| 191.9 | 128M| 86 | 292 |2466 |6372 |2466 |2947 |1145 | 66k| 14k| 7.800000e+01 | -- | Inf
1608.31/1608.69 c 1609s| 48700 | 16095 | 9350k| 191.7 | 128M| 86 | 211 |2466 |6362 |2466 |2947 |1145 | 66k| 14k| 7.800000e+01 | -- | Inf
1610.22/1610.57 c 1611s| 48800 | 16105 | 9366k| 191.7 | 128M| 86 | 821 |2466 |6334 |2466 |2947 |1145 | 66k| 14k| 7.800000e+01 | -- | Inf
1611.71/1612.07 c 1612s| 48900 | 16120 | 9374k| 191.5 | 128M| 86 | - |2466 |6309 |2466 |2947 |1145 | 67k| 14k| 7.800000e+01 | -- | Inf
1614.52/1614.80 c 1615s| 49000 | 16141 | 9394k| 191.5 | 128M| 86 | - |2466 |6226 | 0 | 0 |1145 | 67k| 14k| 7.800000e+01 | -- | Inf
1616.72/1617.05 c 1617s| 49100 | 16165 | 9409k| 191.4 | 128M| 86 | - |2466 |6210 | 0 | 0 |1145 | 67k| 14k| 7.800000e+01 | -- | Inf
1618.71/1619.07 c 1619s| 49200 | 16189 | 9424k| 191.3 | 128M| 86 | 944 |2466 |6124 |2466 |2947 |1145 | 67k| 14k| 7.800000e+01 | -- | Inf
1623.02/1623.33 c 1623s| 49300 | 16203 | 9462k| 191.7 | 128M| 86 | - |2466 |6172 |2466 |2947 |1145 | 67k| 14k| 7.800000e+01 | -- | Inf
1625.21/1625.55 c 1626s| 49400 | 16242 | 9479k| 191.6 | 129M| 86 | - |2466 |6123 |2466 |2947 |1145 | 67k| 14k| 7.800000e+01 | -- | Inf
1627.01/1627.33 c 1627s| 49500 | 16253 | 9493k| 191.5 | 129M| 86 | 981 |2466 |6181 |2466 |2947 |1145 | 68k| 14k| 7.800000e+01 | -- | Inf
1629.01/1629.31 c 1629s| 49600 | 16280 | 9505k| 191.4 | 129M| 86 | 364 |2466 |6201 |2466 |2947 |1145 | 68k| 14k| 7.800000e+01 | -- | Inf
1631.12/1631.49 c 1631s| 49700 | 16310 | 9522k| 191.3 | 129M| 86 | - |2466 |6250 |2466 |2947 |1145 | 68k| 14k| 7.800000e+01 | -- | Inf
1633.22/1633.52 c 1634s| 49800 | 16335 | 9537k| 191.3 | 130M| 86 | 361 |2466 |6345 |2466 |2947 |1145 | 68k| 14k| 7.800000e+01 | -- | Inf
1635.11/1635.48 c 1635s| 49900 | 16375 | 9552k| 191.2 | 130M| 86 | 333 |2466 |6298 |2466 |2947 |1145 | 68k| 14k| 7.800000e+01 | -- | Inf
1636.51/1636.82 c 1637s| 50000 | 16395 | 9562k| 191.0 | 130M| 86 | 312 |2466 |6332 |2466 |2947 |1145 | 68k| 14k| 7.800000e+01 | -- | Inf
1638.31/1638.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1638.31/1638.68 c 1639s| 50100 | 16418 | 9576k| 190.9 | 130M| 86 | - |2466 |6460 | 0 | 0 |1145 | 69k| 14k| 7.800000e+01 | -- | Inf
1639.71/1640.08 c 1640s| 50200 | 16427 | 9585k| 190.7 | 131M| 86 | - |2466 |6540 |2466 |2947 |1145 | 69k| 14k| 7.800000e+01 | -- | Inf
1641.21/1641.58 c 1642s| 50300 | 16424 | 9595k| 190.5 | 131M| 86 | 736 |2466 |6569 |2466 |2947 |1145 | 69k| 14k| 7.800000e+01 | -- | Inf
1642.61/1642.90 c 1643s| 50400 | 16428 | 9603k| 190.3 | 131M| 86 | 563 |2466 |6755 |2466 |2947 |1145 | 69k| 14k| 7.800000e+01 | -- | Inf
1644.51/1644.82 c 1645s| 50500 | 16449 | 9617k| 190.2 | 131M| 86 | 510 |2466 |6738 |2466 |2947 |1145 | 69k| 14k| 7.800000e+01 | -- | Inf
1646.41/1646.70 c 1647s| 50600 | 16458 | 9628k| 190.0 | 131M| 86 | 429 |2466 |6669 |2466 |2947 |1145 | 69k| 14k| 7.800000e+01 | -- | Inf
1648.31/1648.61 c 1649s| 50700 | 16470 | 9643k| 190.0 | 131M| 86 | - |2466 |6641 |2466 |2947 |1145 | 70k| 14k| 7.800000e+01 | -- | Inf
1650.31/1650.66 c 1651s| 50800 | 16496 | 9658k| 189.9 | 131M| 86 | - |2466 |6680 |2466 |2947 |1145 | 70k| 14k| 7.800000e+01 | -- | Inf
1651.91/1652.21 c 1652s| 50900 | 16506 | 9669k| 189.7 | 131M| 86 | - |2466 |6682 |2466 |2947 |1145 | 70k| 14k| 7.800000e+01 | -- | Inf
1653.81/1654.15 c 1654s| 51000 | 16508 | 9683k| 189.6 | 132M| 86 | 536 |2466 |6668 |2466 |2947 |1145 | 70k| 14k| 7.800000e+01 | -- | Inf
1655.21/1655.57 c 1656s| 51100 | 16525 | 9690k| 189.4 | 132M| 86 | 469 |2466 |6601 |2466 |2947 |1145 | 70k| 14k| 7.800000e+01 | -- | Inf
1656.70/1657.05 c 1657s| 51200 | 16555 | 9699k| 189.2 | 132M| 86 | 504 |2466 |6631 |2466 |2947 |1145 | 70k| 14k| 7.800000e+01 | -- | Inf
1659.10/1659.43 c 1659s| 51300 | 16592 | 9717k| 189.2 | 132M| 86 | - |2466 |6699 |2466 |2947 |1145 | 71k| 14k| 7.800000e+01 | -- | Inf
1660.80/1661.19 c 1661s| 51400 | 16615 | 9728k| 189.0 | 132M| 86 | 850 |2466 |6586 |2466 |2947 |1145 | 71k| 14k| 7.800000e+01 | -- | Inf
1662.61/1662.98 c 1663s| 51500 | 16645 | 9739k| 188.9 | 132M| 86 | 961 |2466 |6592 |2466 |2947 |1145 | 71k| 14k| 7.800000e+01 | -- | Inf
1665.20/1665.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1665.20/1665.54 c 1666s| 51600 | 16690 | 9759k| 188.9 | 133M| 86 | 455 |2466 |6562 |2466 |2947 |1145 | 71k| 14k| 7.800000e+01 | -- | Inf
1666.91/1667.23 c 1667s| 51700 | 16694 | 9771k| 188.8 | 133M| 86 | - |2466 |6485 | 0 | 0 |1145 | 71k| 14k| 7.800000e+01 | -- | Inf
1669.41/1669.72 c 1670s| 51800 | 16720 | 9783k| 188.6 | 133M| 86 | 740 |2466 |6541 |2466 |2947 |1145 | 71k| 14k| 7.800000e+01 | -- | Inf
1670.51/1670.89 c 1671s| 51900 | 16740 | 9788k| 188.4 | 133M| 86 | 356 |2466 |6726 |2466 |2947 |1145 | 71k| 14k| 7.800000e+01 | -- | Inf
1672.31/1672.66 c 1673s| 52000 | 16752 | 9796k| 188.2 | 134M| 86 | 406 |2466 |6917 |2466 |2947 |1145 | 72k| 14k| 7.800000e+01 | -- | Inf
1676.50/1676.84 c 1677s| 52100 | 16768 | 9809k| 188.0 | 134M| 86 | 379 |2466 |6892 |2466 |2947 |1145 | 72k| 14k| 7.800000e+01 | -- | Inf
1677.60/1677.90 c 1678s| 52200 | 16783 | 9813k| 187.8 | 134M| 86 | 626 |2466 |7014 |2466 |2947 |1145 | 72k| 14k| 7.800000e+01 | -- | Inf
1678.90/1679.24 c 1679s| 52300 | 16798 | 9819k| 187.5 | 134M| 86 | 418 |2466 |7075 |2466 |2947 |1145 | 72k| 14k| 7.800000e+01 | -- | Inf
1680.60/1680.92 c 1681s| 52400 | 16807 | 9827k| 187.3 | 134M| 86 | 408 |2466 |7084 |2466 |2947 |1145 | 72k| 14k| 7.800000e+01 | -- | Inf
1682.50/1682.86 c 1683s| 52500 | 16832 | 9834k| 187.1 | 135M| 86 | 480 |2466 |7130 |2466 |2947 |1145 | 72k| 14k| 7.800000e+01 | -- | Inf
1685.31/1685.63 c 1686s| 52600 | 16845 | 9844k| 186.9 | 135M| 86 | 439 |2466 |7042 |2466 |2947 |1145 | 72k| 14k| 7.800000e+01 | -- | Inf
1687.70/1688.06 c 1688s| 52700 | 16864 | 9855k| 186.8 | 135M| 86 | 592 |2466 |7110 |2466 |2947 |1145 | 73k| 14k| 7.800000e+01 | -- | Inf
1689.40/1689.77 c 1690s| 52800 | 16886 | 9866k| 186.6 | 135M| 86 | 591 |2466 |7012 |2466 |2947 |1145 | 73k| 14k| 7.800000e+01 | -- | Inf
1692.40/1692.76 c 1693s| 52900 | 16903 | 9884k| 186.6 | 135M| 86 | - |2466 |7000 |2466 |2947 |1145 | 73k| 14k| 7.800000e+01 | -- | Inf
1695.00/1695.34 c 1695s| 53000 | 16919 | 9899k| 186.5 | 135M| 86 | - |2466 |6964 |2466 |2947 |1145 | 73k| 14k| 7.800000e+01 | -- | Inf
1698.60/1698.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1698.60/1698.90 c 1699s| 53100 | 16954 | 9919k| 186.6 | 136M| 86 | 678 |2466 |6869 |2466 |2947 |1145 | 73k| 14k| 7.800000e+01 | -- | Inf
1701.00/1701.34 c 1701s| 53200 | 16984 | 9930k| 186.4 | 136M| 86 | 402 |2466 |6747 |2466 |2947 |1145 | 73k| 14k| 7.800000e+01 | -- | Inf
1703.50/1703.86 c 1704s| 53300 | 16995 | 9941k| 186.3 | 136M| 86 | 631 |2466 |6962 |2466 |2947 |1145 | 74k| 14k| 7.800000e+01 | -- | Inf
1706.91/1707.21 c 1707s| 53400 | 17013 | 9953k| 186.2 | 136M| 86 | 761 |2466 |7037 |2466 |2947 |1145 | 74k| 14k| 7.800000e+01 | -- | Inf
1709.90/1710.20 c 1710s| 53500 | 17023 | 9965k| 186.0 | 136M| 86 | 293 |2466 |7236 |2466 |2947 |1145 | 74k| 15k| 7.800000e+01 | -- | Inf
1712.50/1712.84 c 1713s| 53600 | 17038 | 9975k| 185.9 | 136M| 86 | - |2466 |7012 | 0 | 0 |1145 | 74k| 15k| 7.800000e+01 | -- | Inf
1716.00/1716.33 c 1716s| 53700 | 17058 | 9992k| 185.8 | 136M| 86 | 639 |2466 |6912 |2466 |2947 |1145 | 74k| 15k| 7.800000e+01 | -- | Inf
1718.90/1719.30 c 1719s| 53800 | 17087 | 10011k| 185.8 | 136M| 86 | 712 |2466 |6977 |2466 |2947 |1145 | 75k| 15k| 7.800000e+01 | -- | Inf
1721.40/1721.72 c 1722s| 53900 | 17106 | 10025k| 185.8 | 136M| 86 | - |2466 |7104 |2466 |2947 |1145 | 75k| 15k| 7.800000e+01 | -- | Inf
1723.09/1723.45 c 1723s| 54000 | 17128 | 10034k| 185.6 | 137M| 86 | - |2466 |7107 |2466 |2947 |1145 | 75k| 15k| 7.800000e+01 | -- | Inf
1725.10/1725.47 c 1725s| 54100 | 17147 | 10044k| 185.4 | 137M| 86 | 892 |2466 |7024 |2466 |2947 |1145 | 75k| 15k| 7.800000e+01 | -- | Inf
1729.40/1729.74 c 1730s| 54200 | 17183 | 10068k| 185.5 | 137M| 86 | 446 |2466 |7123 |2466 |2947 |1145 | 75k| 15k| 7.800000e+01 | -- | Inf
1732.69/1733.03 c 1733s| 54300 | 17222 | 10089k| 185.6 | 137M| 86 |1056 |2466 |6988 |2466 |2947 |1145 | 76k| 15k| 7.800000e+01 | -- | Inf
1736.19/1736.53 c 1737s| 54400 | 17255 | 10106k| 185.6 | 137M| 86 | 388 |2466 |6829 |2466 |2947 |1145 | 76k| 15k| 7.800000e+01 | -- | Inf
1739.59/1739.98 c 1740s| 54500 | 17296 | 10128k| 185.6 | 137M| 86 | 467 |2466 |6788 |2466 |2947 |1145 | 76k| 15k| 7.800000e+01 | -- | Inf
1741.49/1741.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1741.49/1741.89 c 1742s| 54600 | 17318 | 10136k| 185.4 | 138M| 86 | 425 |2466 |6818 |2466 |2947 |1145 | 76k| 15k| 7.800000e+01 | -- | Inf
1742.50/1742.88 c 1743s| 54700 | 17313 | 10140k| 185.2 | 138M| 86 | - |2466 |7038 |2466 |2947 |1145 | 76k| 15k| 7.800000e+01 | -- | Inf
1745.10/1745.40 c 1745s| 54800 | 17332 | 10153k| 185.1 | 138M| 86 | 789 |2466 |7032 |2466 |2947 |1145 | 76k| 15k| 7.800000e+01 | -- | Inf
1748.49/1748.83 c 1749s| 54900 | 17356 | 10169k| 185.0 | 138M| 86 | - |2466 |6947 | 0 | 0 |1145 | 77k| 15k| 7.800000e+01 | -- | Inf
1750.89/1751.28 c 1751s| 55000 | 17388 | 10186k| 185.0 | 138M| 86 | - |2466 |6849 |2466 |2947 |1145 | 77k| 15k| 7.800000e+01 | -- | Inf
1753.49/1753.84 c 1754s| 55100 | 17405 | 10198k| 184.9 | 138M| 86 | - |2466 |6730 |2466 |2947 |1145 | 77k| 15k| 7.800000e+01 | -- | Inf
1756.90/1757.24 c 1757s| 55200 | 17439 | 10216k| 184.9 | 138M| 86 |1109 |2466 |6716 |2466 |2947 |1145 | 77k| 15k| 7.800000e+01 | -- | Inf
1759.29/1759.67 c 1760s| 55300 | 17478 | 10233k| 184.8 | 139M| 86 | 706 |2466 |6638 |2466 |2947 |1145 | 77k| 15k| 7.800000e+01 | -- | Inf
1762.19/1762.52 c 1763s| 55400 | 17496 | 10249k| 184.8 | 139M| 86 | 414 |2466 |6680 |2466 |2947 |1145 | 77k| 15k| 7.800000e+01 | -- | Inf
1765.20/1765.58 c 1766s| 55500 | 17530 | 10262k| 184.7 | 139M| 86 | 513 |2466 |6778 |2466 |2947 |1145 | 77k| 15k| 7.800000e+01 | -- | Inf
1768.09/1768.48 c 1768s| 55600 | 17548 | 10279k| 184.7 | 139M| 86 | 321 |2466 |6806 |2466 |2947 |1145 | 78k| 15k| 7.800000e+01 | -- | Inf
1772.99/1773.38 c 1773s| 55700 | 17565 | 10309k| 184.9 | 139M| 86 | - |2466 |6779 |2466 |2947 |1145 | 78k| 15k| 7.800000e+01 | -- | Inf
1775.58/1775.97 c 1776s| 55800 | 17598 | 10325k| 184.8 | 140M| 86 | - |2466 |6725 | 0 | 0 |1145 | 78k| 15k| 7.800000e+01 | -- | Inf
1777.39/1777.73 c 1778s| 55900 | 17619 | 10330k| 184.6 | 140M| 86 | 227 |2466 |6749 |2466 |2947 |1145 | 78k| 15k| 7.800000e+01 | -- | Inf
1779.68/1780.04 c 1780s| 56000 | 17638 | 10342k| 184.5 | 140M| 86 | 373 |2466 |6885 |2466 |2947 |1145 | 78k| 15k| 7.800000e+01 | -- | Inf
1782.69/1783.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1782.69/1783.00 c 1783s| 56100 | 17659 | 10354k| 184.4 | 140M| 86 | - |2466 |6951 |2466 |2947 |1145 | 78k| 15k| 7.800000e+01 | -- | Inf
1784.79/1785.16 c 1785s| 56200 | 17697 | 10367k| 184.2 | 140M| 86 | 393 |2466 |6797 |2466 |2947 |1145 | 79k| 15k| 7.800000e+01 | -- | Inf
1787.69/1788.05 c 1788s| 56300 | 17712 | 10383k| 184.2 | 140M| 86 |1098 |2466 |6708 |2466 |2947 |1145 | 79k| 15k| 7.800000e+01 | -- | Inf
1791.99/1792.35 c 1792s| 56400 | 17731 | 10414k| 184.4 | 140M| 86 | 311 |2466 |6667 |2466 |2947 |1145 | 79k| 15k| 7.800000e+01 | -- | Inf
1794.29/1794.68 c 1795s| 56500 | 17757 | 10423k| 184.3 | 140M| 86 | 530 |2466 |6646 |2466 |2947 |1145 | 79k| 15k| 7.800000e+01 | -- | Inf
1795.58/1795.93 c 1796s| 56600 | 17778 | 10430k| 184.1 | 141M| 86 | 465 |2466 |6735 |2466 |2947 |1145 | 79k| 15k| 7.800000e+01 | -- | Inf
1796.69/1797.00 c
1796.69/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.00 c Solving Time (sec) : 1797.00
1796.69/1797.00 c Solving Nodes : 56698
1796.69/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.69/1797.00 c Dual Bound : +7.80000000000000e+01
1796.69/1797.00 c Gap : infinite
1796.69/1797.00 s UNKNOWN
1796.69/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.00 c Total Time : 1797.00
1796.69/1797.00 c solving : 1797.00
1796.69/1797.00 c presolving : 0.12 (included in solving)
1796.69/1797.00 c reading : 0.06 (included in solving)
1796.69/1797.00 c copying : 0.05 (2 #copies) (minimal 0.02, maximal 0.02, average 0.02)
1796.69/1797.00 c Original Problem :
1796.69/1797.00 c Problem name : HOME/instance-3692142-1338035063.opb
1796.69/1797.00 c Variables : 2467 (2467 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.00 c Constraints : 4745 initial, 4745 maximal
1796.69/1797.00 c Objective sense : minimize
1796.69/1797.00 c Presolved Problem :
1796.69/1797.00 c Problem name : t_HOME/instance-3692142-1338035063.opb
1796.69/1797.00 c Variables : 2466 (2466 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.00 c Constraints : 2723 initial, 7279 maximal
1796.69/1797.00 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.69/1797.00 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c components : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c probing : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c knapsack : 0.02 0.00 0 0 0 0 0 0 6 17 79
1796.69/1797.00 c setppc : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c linear : 0.08 0.02 1 0 0 1 0 2028 0 12 443
1796.69/1797.00 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c root node : - - 0 - - 0 - - - - -
1796.69/1797.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.69/1797.00 c integral : 0 0 0 0 41831 0 4 0 54 7390 0 0 79808
1796.69/1797.00 c knapsack : 690 690 8 288724 0 1 3 211964 1869 1130183 1501 0 0
1796.69/1797.00 c setppc : 6 6 8 29647 0 0 0 83 0 451 0 0 0
1796.69/1797.00 c linear : 2027+ 2956 9 286855 0 0 0 141648 6934 4278233 0 0 0
1796.69/1797.00 c logicor : 0+ 4496 8 164221 0 0 0 266806 892 187492 0 0 0
1796.69/1797.00 c countsols : 0 0 0 0 0 1 0 0 0 0 0 0 0
1796.69/1797.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.69/1797.00 c integral : 447.62 0.00 0.00 0.00 447.62 0.00 0.00 0.00
1796.69/1797.00 c knapsack : 29.73 0.00 0.06 29.47 0.00 0.00 0.00 0.20
1796.69/1797.00 c setppc : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00
1796.69/1797.00 c linear : 63.73 0.02 0.01 63.46 0.00 0.00 0.00 0.25
1796.69/1797.00 c logicor : 9.67 0.00 0.00 9.34 0.00 0.00 0.00 0.33
1796.69/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.69/1797.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.69/1797.00 c rootredcost : 0 0 0 0
1796.69/1797.00 c pseudoobj : 330455 0 0 0
1796.69/1797.00 c vbounds : 0 0 0 0
1796.69/1797.00 c redcost : 41921 0 0 103
1796.69/1797.00 c probing : 0 0 0 0
1796.69/1797.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.69/1797.00 c rootredcost : 0.11 0.00 0.00 0.11 0.00
1796.69/1797.00 c pseudoobj : 0.36 0.00 0.00 0.36 0.00
1796.69/1797.00 c vbounds : 0.10 0.00 0.00 0.10 0.00
1796.69/1797.00 c redcost : 1.59 0.00 0.00 1.59 0.00
1796.69/1797.00 c probing : 0.01 0.00 0.01 0.00 0.00
1796.69/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.69/1797.00 c propagation : 1.04 9695 9680 94801 38.5 589 20.2 -
1796.69/1797.00 c infeasible LP : 6.74 19193 19193 77402 26.1 1740 17.9 0
1796.69/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.69/1797.00 c applied globally : - - - 79935 25.3 - - -
1796.69/1797.00 c applied locally : - - - 0 0.0 - - -
1796.69/1797.00 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.69/1797.00 c cut pool : 0.00 7 - - 681 - (maximal pool size: 5548)
1796.69/1797.00 c closecuts : 0.00 0.00 0 0 0 0 0
1796.69/1797.00 c impliedbounds : 0.00 0.00 8 0 0 11 0
1796.69/1797.00 c intobj : 0.00 0.00 0 0 0 0 0
1796.69/1797.00 c gomory : 0.80 0.00 8 0 0 57 0
1796.69/1797.00 c cgmip : 0.00 0.00 0 0 0 0 0
1796.69/1797.00 c strongcg : 0.78 0.00 8 0 0 31 0
1796.69/1797.00 c cmir : 1.27 0.00 8 0 0 4000 0
1796.69/1797.00 c flowcover : 0.64 0.00 8 0 0 1600 0
1796.69/1797.00 c clique : 0.00 0.00 8 0 0 0 0
1796.69/1797.00 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.69/1797.00 c mcf : 0.00 0.00 1 0 0 0 0
1796.69/1797.00 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.69/1797.00 c rapidlearning : 3.89 0.00 1 0 0 0 929
1796.69/1797.00 c Pricers : ExecTime SetupTime Calls Vars
1796.69/1797.00 c problem variables: 0.00 - 0 0
1796.69/1797.00 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.69/1797.00 c relpscost : 447.56 0.00 41831 54 7390 0 0 79808
1796.69/1797.00 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.00 c inference : 0.00 0.00 1 0 0 0 0 2
1796.69/1797.00 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.00 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.00 c random : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.00 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.69/1797.00 c LP solutions : 0.00 - - 0
1796.69/1797.00 c pseudo solutions : 0.00 - - 0
1796.69/1797.00 c oneopt : 0.04 0.00 0 0
1796.69/1797.00 c crossover : 0.03 0.00 0 0
1796.69/1797.00 c guideddiving : 0.00 0.00 0 0
1796.69/1797.00 c intshifting : 0.00 0.00 0 0
1796.69/1797.00 c coefdiving : 53.99 0.00 36 0
1796.69/1797.00 c fracdiving : 49.91 0.00 47 0
1796.69/1797.00 c feaspump : 25.70 0.00 57 0
1796.69/1797.00 c pscostdiving : 55.01 0.00 322 0
1796.69/1797.00 c veclendiving : 54.33 0.00 379 0
1796.69/1797.00 c linesearchdiving : 63.54 0.00 622 0
1796.69/1797.00 c smallcard : 0.00 0.00 0 0
1796.69/1797.00 c trivial : 0.00 0.00 2 0
1796.69/1797.00 c shiftandpropagate: 0.14 0.00 1 0
1796.69/1797.00 c simplerounding : 0.02 0.00 0 0
1796.69/1797.00 c zirounding : 0.31 0.00 1000 0
1796.69/1797.00 c rounding : 1.53 0.00 2846 0
1796.69/1797.00 c shifting : 9.31 0.00 886 0
1796.69/1797.00 c twoopt : 0.00 0.00 0 0
1796.69/1797.00 c indoneopt : 0.04 0.00 0 0
1796.69/1797.00 c indtwoopt : 0.00 0.00 0 0
1796.69/1797.00 c fixandinfer : 0.00 0.00 0 0
1796.69/1797.00 c clique : 0.00 0.00 0 0
1796.69/1797.00 c indcoefdiving : 0.00 0.00 0 0
1796.69/1797.00 c indrounding : 0.00 0.00 0 0
1796.69/1797.00 c nlpdiving : 0.00 0.00 0 0
1796.69/1797.00 c intdiving : 0.00 0.00 0 0
1796.69/1797.00 c actconsdiving : 0.00 0.00 0 0
1796.69/1797.00 c objpscostdiving : 18.22 0.00 19 0
1796.69/1797.00 c rootsoldiving : 11.60 0.00 85 0
1796.69/1797.00 c octane : 0.00 0.00 0 0
1796.69/1797.00 c rens : 0.11 0.00 1 0
1796.69/1797.00 c rins : 0.00 0.00 0 0
1796.69/1797.00 c localbranching : 0.00 0.00 0 0
1796.69/1797.00 c mutation : 0.00 0.00 0 0
1796.69/1797.00 c dins : 0.00 0.00 0 0
1796.69/1797.00 c vbounds : 0.00 0.00 0 0
1796.69/1797.00 c undercover : 0.00 0.00 0 0
1796.69/1797.00 c subnlp : 0.03 0.00 0 0
1796.69/1797.00 c trysol : 0.04 0.00 0 0
1796.69/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.69/1797.00 c primal LP : 0.01 1 0 0.00 0.00 0.01 1
1796.69/1797.00 c dual LP : 807.16 53571 7949488 149.89 9848.68 1.22 536
1796.69/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.69/1797.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.69/1797.00 c diving/probing LP: 283.33 33914 2485380 73.28 8771.92
1796.69/1797.00 c strong branching : 440.23 15939 2866985 179.87 6512.44
1796.69/1797.00 c (at root node) : - 24 17034 709.75 -
1796.69/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.69/1797.00 c B&B Tree :
1796.69/1797.00 c number of runs : 1
1796.69/1797.00 c nodes : 56698
1796.69/1797.00 c nodes (total) : 56698
1796.69/1797.00 c nodes left : 17777
1796.69/1797.00 c max depth : 86
1796.69/1797.00 c max depth (total): 86
1796.69/1797.00 c backtracks : 9093 (16.0%)
1796.69/1797.00 c delayed cutoffs : 5336
1796.69/1797.00 c repropagations : 66663 (1668905 domain reductions, 2647 cutoffs)
1796.69/1797.00 c avg switch length: 9.02
1796.69/1797.00 c switching time : 63.34
1796.69/1797.00 c Solution :
1796.69/1797.00 c Solutions found : 0 (0 improvements)
1796.69/1797.00 c Primal Bound : -
1796.69/1797.00 c Dual Bound : +7.80000000000000e+01
1796.69/1797.00 c Gap : infinite
1796.69/1797.00 c Root Dual Bound : +7.80000000000000e+01
1796.69/1797.00 c Root Iterations : 12677
1796.79/1797.16 c Time complete: 1796.85.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3692142-1338035063/watcher-3692142-1338035063 -o /tmp/evaluation-result-3692142-1338035063/solver-3692142-1338035063 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692142-1338035063.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.03 2.01 1.97 3/176 11474
/proc/meminfo: memFree=28570316/32873648 swapFree=7104/7104
[pid=11474] ppid=11472 vsize=12688 CPUtime=0 cores=1,3,5,7
/proc/11474/stat : 11474 (scip-2.1.1.4exp) R 11472 11474 9598 0 -1 4202496 1931 0 0 0 0 0 0 0 20 0 1 0 269631812 12992512 1885 33554432000 4194304 10219143 140733511438560 140737324748888 7589947 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11474/statm: 3172 1889 421 1471 0 1692 0
[startup+0.024819 s]
/proc/loadavg: 2.03 2.01 1.97 3/176 11474
/proc/meminfo: memFree=28570316/32873648 swapFree=7104/7104
[pid=11474] ppid=11472 vsize=15620 CPUtime=0.01 cores=1,3,5,7
/proc/11474/stat : 11474 (scip-2.1.1.4exp) R 11472 11474 9598 0 -1 4202496 2638 0 0 0 1 0 0 0 20 0 1 0 269631812 15994880 2592 33554432000 4194304 10219143 140733511438560 140737324748888 8911896 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11474/statm: 3905 2592 421 1471 0 2425 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 15620
[startup+0.100223 s]
/proc/loadavg: 2.03 2.01 1.97 3/176 11474
/proc/meminfo: memFree=28570316/32873648 swapFree=7104/7104
[pid=11474] ppid=11472 vsize=57216 CPUtime=0.08 cores=1,3,5,7
/proc/11474/stat : 11474 (scip-2.1.1.4exp) R 11472 11474 9598 0 -1 4202496 12556 0 0 0 7 1 0 0 20 0 1 0 269631812 58589184 12510 33554432000 4194304 10219143 140733511438560 140737324748888 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11474/statm: 14304 12510 545 1471 0 12824 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 57216
[startup+0.300233 s]
/proc/loadavg: 2.03 2.01 1.97 3/176 11474
/proc/meminfo: memFree=28570316/32873648 swapFree=7104/7104
[pid=11474] ppid=11472 vsize=70948 CPUtime=0.29 cores=1,3,5,7
/proc/11474/stat : 11474 (scip-2.1.1.4exp) R 11472 11474 9598 0 -1 4202496 16665 0 0 0 26 3 0 0 20 0 1 0 269631812 72650752 15839 33554432000 4194304 10219143 140733511438560 140737324748888 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11474/statm: 17737 15839 691 1471 0 16257 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 70948
[startup+0.700217 s]
/proc/loadavg: 2.03 2.01 1.97 3/176 11474
/proc/meminfo: memFree=28570316/32873648 swapFree=7104/7104
[pid=11474] ppid=11472 vsize=76972 CPUtime=0.69 cores=1,3,5,7
/proc/11474/stat : 11474 (scip-2.1.1.4exp) R 11472 11474 9598 0 -1 4202496 19108 0 0 0 65 4 0 0 20 0 1 0 269631812 78819328 17572 33554432000 4194304 10219143 140733511438560 140733511429720 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11474/statm: 19243 17572 786 1471 0 17763 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 76972
[startup+1.50021 s]
/proc/loadavg: 2.03 2.01 1.97 3/177 11475
/proc/meminfo: memFree=28503696/32873648 swapFree=7104/7104
[pid=11474] ppid=11472 vsize=114280 CPUtime=1.49 cores=1,3,5,7
/proc/11474/stat : 11474 (scip-2.1.1.4exp) R 11472 11474 9598 0 -1 4202496 28189 0 0 0 144 5 0 0 20 0 1 0 269631812 117022720 26653 33554432000 4194304 10219143 140733511438560 140733511429720 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11474/statm: 28570 26653 825 1471 0 27090 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 114280
[startup+3.10022 s]
/proc/loadavg: 2.02 2.01 1.97 3/177 11475
/proc/meminfo: memFree=28485980/32873648 swapFree=7104/7104
[pid=11474] ppid=11472 vsize=119148 CPUtime=3.09 cores=1,3,5,7
/proc/11474/stat : 11474 (scip-2.1.1.4exp) R 11472 11474 9598 0 -1 4202496 29361 0 0 0 301 8 0 0 20 0 1 0 269631812 122007552 27825 33554432000 4194304 10219143 140733511438560 140733511432600 4419782 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11474/statm: 29787 27825 825 1471 0 28307 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 119148
[startup+6.30011 s]
/proc/loadavg: 2.02 2.01 1.97 3/177 11475
/proc/meminfo: memFree=28476212/32873648 swapFree=7104/7104
[pid=11474] ppid=11472 vsize=125500 CPUtime=6.28 cores=1,3,5,7
/proc/11474/stat : 11474 (scip-2.1.1.4exp) R 11472 11474 9598 0 -1 4202496 31241 0 0 0 616 12 0 0 20 0 1 0 269631812 128512000 29644 33554432000 4194304 10219143 140733511438560 140733511433944 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11474/statm: 31375 29644 842 1471 0 29895 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 125500
[startup+12.7002 s]
/proc/loadavg: 2.02 2.01 1.97 3/177 11513
/proc/meminfo: memFree=28586380/32873648 swapFree=7104/7104
[pid=11474] ppid=11472 vsize=125620 CPUtime=12.69 cores=1,3,5,7
/proc/11474/stat : 11474 (scip-2.1.1.4exp) R 11472 11474 9598 0 -1 4202496 33648 0 0 0 1252 17 0 0 20 0 1 0 269631812 128634880 30082 33554432000 4194304 10219143 140733511438560 140733511432008 8077296 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11474/statm: 31405 30082 850 1471 0 29925 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 125620
[startup+25.5002 s]
/proc/loadavg: 2.09 2.02 1.97 3/177 11513
/proc/meminfo: memFree=28277048/32873648 swapFree=7104/7104
[pid=11474] ppid=11472 vsize=125620 CPUtime=25.48 cores=1,3,5,7
/proc/11474/stat : 11474 (scip-2.1.1.4exp) R 11472 11474 9598 0 -1 4202496 33655 0 0 0 2526 22 0 0 20 0 1 0 269631812 128634880 30163 33554432000 4194304 10219143 140733511438560 140733511432104 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11474/statm: 31405 30163 850 1471 0 29925 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 125620
[startup+51.1003 s]
/proc/loadavg: 2.06 2.02 1.97 3/177 11513
/proc/meminfo: memFree=28272468/32873648 swapFree=7104/7104
[pid=11474] ppid=11472 vsize=125620 CPUtime=51.07 cores=1,3,5,7
/proc/11474/stat : 11474 (scip-2.1.1.4exp) R 11472 11474 9598 0 -1 4202496 33664 0 0 0 5063 44 0 0 20 0 1 0 269631812 128634880 30167 33554432000 4194304 10219143 140733511438560 140733511431688 8077296 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11474/statm: 31405 30167 853 1471 0 29925 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 125620
[startup+102.307 s]
/proc/loadavg: 2.02 2.02 1.97 3/177 11513
/proc/meminfo: memFree=28269620/32873648 swapFree=7104/7104
[pid=11474] ppid=11472 vsize=125620 CPUtime=102.27 cores=1,3,5,7
/proc/11474/stat : 11474 (scip-2.1.1.4exp) R 11472 11474 9598 0 -1 4202496 33666 0 0 0 10136 91 0 0 20 0 1 0 269631812 128634880 30423 33554432000 4194304 10219143 140733511438560 140733511431496 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11474/statm: 31405 30423 853 1471 0 29925 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 125620
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 1.97 3/178 11514
/proc/meminfo: memFree=28266936/32873648 swapFree=7104/7104
[pid=11474] ppid=11472 vsize=125620 CPUtime=162.25 cores=1,3,5,7
/proc/11474/stat : 11474 (scip-2.1.1.4exp) R 11472 11474 9598 0 -1 4202496 33669 0 0 0 16087 138 0 0 20 0 1 0 269631812 128634880 30426 33554432000 4194304 10219143 140733511438560 140733511431688 8077296 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11474/statm: 31405 30426 853 1471 0 29925 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 125620
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/177 11515
/proc/meminfo: memFree=28262532/32873648 swapFree=7104/7104
[pid=11474] ppid=11472 vsize=127708 CPUtime=222.24 cores=1,3,5,7
/proc/11474/stat : 11474 (scip-2.1.1.4exp) R 11472 11474 9598 0 -1 4202496 34153 0 0 0 22042 182 0 0 20 0 1 0 269631812 130772992 30910 33554432000 4194304 10219143 140733511438560 140733511431080 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11474/statm: 31927 30910 853 1471 0 30447 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 127708
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 11515
/proc/meminfo: memFree=28252640/32873648 swapFree=7104/7104
[pid=11474] ppid=11472 vsize=132772 CPUtime=282.24 cores=1,3,5,7
/proc/11474/stat : 11474 (scip-2.1.1.4exp) R 11472 11474 9598 0 -1 4202496 38137 0 0 0 27998 226 0 0 20 0 1 0 269631812 135958528 32029 33554432000 4194304 10219143 140733511438560 140733511432424 8091721 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11474/statm: 33193 32029 853 1471 0 31713 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 132772
[startup+342.3 s]
/proc/loadavg: 2.10 2.03 1.98 3/178 11518
/proc/meminfo: memFree=28249680/32873648 swapFree=7104/7104
[pid=11474] ppid=11472 vsize=136868 CPUtime=342.23 cores=1,3,5,7
/proc/11474/stat : 11474 (scip-2.1.1.4exp) R 11472 11474 9598 0 -1 4202496 54908 0 0 0 33948 275 0 0 20 0 1 0 269631812 140152832 33204 33554432000 4194304 10219143 140733511438560 140733511433928 8077296 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11474/statm: 34217 33204 853 1471 0 32737 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 136868
[startup+402.3 s]
/proc/loadavg: 2.04 2.02 1.98 3/177 11518
/proc/meminfo: memFree=28245060/32873648 swapFree=7104/7104
[pid=11474] ppid=11472 vsize=141036 CPUtime=402.22 cores=1,3,5,7
/proc/11474/stat : 11474 (scip-2.1.1.4exp) R 11472 11474 9598 0 -1 4202496 80018 0 0 0 39893 329 0 0 20 0 1 0 269631812 144420864 34175 33554432000 4194304 10219143 140733511438560 140733511431688 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11474/statm: 35259 34175 853 1471 0 33779 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 141036
[startup+462.3 s]
/proc/loadavg: 2.08 2.03 1.99 3/177 11518
/proc/meminfo: memFree=28238944/32873648 swapFree=7104/7104
[pid=11474] ppid=11472 vsize=146520 CPUtime=462.2 cores=1,3,5,7
/proc/11474/stat : 11474 (scip-2.1.1.4exp) R 11472 11474 9598 0 -1 4202496 89928 0 0 0 45843 377 0 0 20 0 1 0 269631812 150036480 35644 33554432000 4194304 10219143 140733511438560 140733511432392 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11474/statm: 36630 35644 853 1471 0 35150 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 146520
[startup+522.3 s]
/proc/loadavg: 2.03 2.03 1.99 3/177 11519
/proc/meminfo: memFree=28226172/32873648 swapFree=7104/7104
[pid=11474] ppid=11472 vsize=152432 CPUtime=522.2 cores=1,3,5,7
/proc/11474/stat : 11474 (scip-2.1.1.4exp) R 11472 11474 9598 0 -1 4202496 97442 0 0 0 51798 422 0 0 20 0 1 0 269631812 156090368 37129 33554432000 4194304 10219143 140733511438560 140733511431080 8077296 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11474/statm: 38108 37129 853 1471 0 36628 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 152432
[startup+582.3 s]
/proc/loadavg: 2.01 2.02 1.99 3/177 11519
/proc/meminfo: memFree=28222880/32873648 swapFree=7104/7104
[pid=11474] ppid=11472 vsize=156712 CPUtime=582.19 cores=1,3,5,7
/proc/11474/stat : 11474 (scip-2.1.1.4exp) R 11472 11474 9598 0 -1 4202496 105014 0 0 0 57751 468 0 0 20 0 1 0 269631812 160473088 38178 33554432000 4194304 10219143 140733511438560 140733511431496 8077296 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11474/statm: 39178 38178 853 1471 0 37698 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 156712
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28174472/32873648 swapFree=7104/7104
[pid=11474] ppid=11472 vsize=202104 CPUtime=1062.11 cores=1,3,5,7
/proc/11474/stat : 11474 (scip-2.1.1.4exp) R 11472 11474 9598 0 -1 4202496 221130 0 0 0 105358 853 0 0 20 0 1 0 269631812 206954496 49312 33554432000 4194304 10219143 140733511438560 140733511431912 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11474/statm: 50526 49312 853 1471 0 49046 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 202104
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 11523
/proc/meminfo: memFree=28168780/32873648 swapFree=7104/7104
[pid=11474] ppid=11472 vsize=208932 CPUtime=1122.1 cores=1,3,5,7
/proc/11474/stat : 11474 (scip-2.1.1.4exp) R 11472 11474 9598 0 -1 4202496 238587 0 0 0 111310 900 0 0 20 0 1 0 269631812 213946368 51052 33554432000 4194304 10219143 140733511438560 140733511432200 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11474/statm: 52233 51052 853 1471 0 50753 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 208932
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11524
/proc/meminfo: memFree=28160360/32873648 swapFree=7104/7104
[pid=11474] ppid=11472 vsize=215396 CPUtime=1182.09 cores=1,3,5,7
/proc/11474/stat : 11474 (scip-2.1.1.4exp) R 11472 11474 9598 0 -1 4202496 247555 0 0 0 117263 946 0 0 20 0 1 0 269631812 220565504 52710 33554432000 4194304 10219143 140733511438560 140733511432008 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11474/statm: 53849 52710 853 1471 0 52369 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 215396
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11524
/proc/meminfo: memFree=28155940/32873648 swapFree=7104/7104
[pid=11474] ppid=11472 vsize=218680 CPUtime=1242.08 cores=1,3,5,7
/proc/11474/stat : 11474 (scip-2.1.1.4exp) R 11472 11474 9598 0 -1 4202496 273232 0 0 0 123210 998 0 0 20 0 1 0 269631812 223928320 53648 33554432000 4194304 10219143 140733511438560 140733511431496 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11474/statm: 54670 53648 853 1471 0 53190 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 218680
[startup+1302.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 11524
/proc/meminfo: memFree=28145156/32873648 swapFree=7104/7104
[pid=11474] ppid=11472 vsize=229252 CPUtime=1302.08 cores=1,3,5,7
/proc/11474/stat : 11474 (scip-2.1.1.4exp) R 11472 11474 9598 0 -1 4202496 285574 0 0 0 129165 1043 0 0 20 0 1 0 269631812 234754048 56274 33554432000 4194304 10219143 140733511438560 140733511431208 8077296 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11474/statm: 57313 56274 853 1471 0 55833 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 229252
[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 11524
/proc/meminfo: memFree=28132632/32873648 swapFree=7104/7104
[pid=11474] ppid=11472 vsize=233120 CPUtime=1362.06 cores=1,3,5,7
/proc/11474/stat : 11474 (scip-2.1.1.4exp) R 11472 11474 9598 0 -1 4202496 293963 0 0 0 135120 1086 0 0 20 0 1 0 269631812 238714880 57307 33554432000 4194304 10219143 140733511438560 140733511431272 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11474/statm: 58280 57307 853 1471 0 56800 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 233120
[startup+1422.31 s]
/proc/loadavg: 2.07 2.02 2.00 3/176 11524
/proc/meminfo: memFree=28146220/32873648 swapFree=7104/7104
[pid=11474] ppid=11472 vsize=235268 CPUtime=1422.06 cores=1,3,5,7
/proc/11474/stat : 11474 (scip-2.1.1.4exp) R 11472 11474 9598 0 -1 4202496 325475 0 0 0 141069 1137 0 0 20 0 1 0 269631812 240914432 57827 33554432000 4194304 10219143 140733511438560 140733511431544 4435852 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11474/statm: 58817 57827 853 1471 0 57337 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 235268
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 11525
/proc/meminfo: memFree=28139780/32873648 swapFree=7104/7104
[pid=11474] ppid=11472 vsize=240800 CPUtime=1482.04 cores=1,3,5,7
/proc/11474/stat : 11474 (scip-2.1.1.4exp) R 11472 11474 9598 0 -1 4202496 334440 0 0 0 147021 1183 0 0 20 0 1 0 269631812 246579200 59234 33554432000 4194304 10219143 140733511438560 140733511431144 8077296 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11474/statm: 60200 59234 853 1471 0 58720 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 240800
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 11528
/proc/meminfo: memFree=28126300/32873648 swapFree=7104/7104
[pid=11474] ppid=11472 vsize=247208 CPUtime=1542.03 cores=1,3,5,7
/proc/11474/stat : 11474 (scip-2.1.1.4exp) R 11472 11474 9598 0 -1 4202496 343596 0 0 0 152975 1228 0 0 20 0 1 0 269631812 253140992 60772 33554432000 4194304 10219143 140733511438560 140733511432008 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11474/statm: 61802 60772 853 1471 0 60322 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 247208
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11528
/proc/meminfo: memFree=28109392/32873648 swapFree=7104/7104
[pid=11474] ppid=11472 vsize=259228 CPUtime=1602.02 cores=1,3,5,7
/proc/11474/stat : 11474 (scip-2.1.1.4exp) R 11472 11474 9598 0 -1 4202496 354047 0 0 0 158922 1280 0 0 20 0 1 0 269631812 265449472 63744 33554432000 4194304 10219143 140733511438560 140733511430792 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11474/statm: 64807 63744 853 1471 0 63327 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 259228
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11528
/proc/meminfo: memFree=28105140/32873648 swapFree=7104/7104
[pid=11474] ppid=11472 vsize=268652 CPUtime=1662 cores=1,3,5,7
/proc/11474/stat : 11474 (scip-2.1.1.4exp) R 11472 11474 9598 0 -1 4202496 364010 0 0 0 164873 1327 0 0 20 0 1 0 269631812 275099648 65969 33554432000 4194304 10219143 140733511438560 140733511435928 8077296 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11474/statm: 67163 65969 853 1471 0 65683 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 268652
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11528
/proc/meminfo: memFree=28093116/32873648 swapFree=7104/7104
[pid=11474] ppid=11472 vsize=273500 CPUtime=1722 cores=1,3,5,7
/proc/11474/stat : 11474 (scip-2.1.1.4exp) R 11472 11474 9598 0 -1 4202496 374149 0 0 0 170830 1370 0 0 20 0 1 0 269631812 280064000 67250 33554432000 4194304 10219143 140733511438560 140733511432200 8077296 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11474/statm: 68375 67250 853 1471 0 66895 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 273500
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11529
/proc/meminfo: memFree=28084732/32873648 swapFree=7104/7104
[pid=11474] ppid=11472 vsize=280988 CPUtime=1781.99 cores=1,3,5,7
/proc/11474/stat : 11474 (scip-2.1.1.4exp) R 11472 11474 9598 0 -1 4202496 399099 0 0 0 176784 1415 0 0 20 0 1 0 269631812 287731712 69133 33554432000 4194304 10219143 140733511438560 140733511434856 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11474/statm: 70247 69133 853 1471 0 68767 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 280988
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11529
/proc/meminfo: memFree=28085476/32873648 swapFree=7104/7104
[pid=11474] ppid=11472 vsize=280256 CPUtime=1785.19 cores=1,3,5,7
/proc/11474/stat : 11474 (scip-2.1.1.4exp) R 11472 11474 9598 0 -1 4202496 400201 0 0 0 177102 1417 0 0 20 0 1 0 269631812 286982144 68990 33554432000 4194304 10219143 140733511438560 140733511432392 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11474/statm: 70064 68990 853 1471 0 68584 0
Current children cumulated CPU time (s) 1785.19
Current children cumulated vsize (KiB) 280256
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11529
/proc/meminfo: memFree=28083492/32873648 swapFree=7104/7104
[pid=11474] ppid=11472 vsize=276520 CPUtime=1791.59 cores=1,3,5,7
/proc/11474/stat : 11474 (scip-2.1.1.4exp) R 11472 11474 9598 0 -1 4202496 400723 0 0 0 177737 1422 0 0 20 0 1 0 269631812 283156480 68081 33554432000 4194304 10219143 140733511438560 140733511432200 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11474/statm: 69130 68081 853 1471 0 67650 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 276520
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11529
/proc/meminfo: memFree=28085480/32873648 swapFree=7104/7104
[pid=11474] ppid=11472 vsize=280024 CPUtime=1794.79 cores=1,3,5,7
/proc/11474/stat : 11474 (scip-2.1.1.4exp) R 11472 11474 9598 0 -1 4202496 401850 0 0 0 178054 1425 0 0 20 0 1 0 269631812 286744576 69047 33554432000 4194304 10219143 140733511438560 140733511435032 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11474/statm: 70006 69047 853 1471 0 68526 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 280024
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11529
/proc/meminfo: memFree=28085480/32873648 swapFree=7104/7104
[pid=11474] ppid=11472 vsize=280024 CPUtime=1795.58 cores=1,3,5,7
/proc/11474/stat : 11474 (scip-2.1.1.4exp) R 11472 11474 9598 0 -1 4202496 401850 0 0 0 178133 1425 0 0 20 0 1 0 269631812 286744576 69047 33554432000 4194304 10219143 140733511438560 140733511432200 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11474/statm: 70006 69047 853 1471 0 68526 0
Current children cumulated CPU time (s) 1795.58
Current children cumulated vsize (KiB) 280024
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11529
/proc/meminfo: memFree=28085480/32873648 swapFree=7104/7104
[pid=11474] ppid=11472 vsize=280024 CPUtime=1796.38 cores=1,3,5,7
/proc/11474/stat : 11474 (scip-2.1.1.4exp) R 11472 11474 9598 0 -1 4202496 401850 0 0 0 178212 1426 0 0 20 0 1 0 269631812 286744576 69047 33554432000 4194304 10219143 140733511438560 140733511431544 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11474/statm: 70006 69047 853 1471 0 68526 0
Current children cumulated CPU time (s) 1796.38
Current children cumulated vsize (KiB) 280024
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11529
/proc/meminfo: memFree=28085480/32873648 swapFree=7104/7104
[pid=11474] ppid=11472 vsize=280024 CPUtime=1796.79 cores=1,3,5,7
/proc/11474/stat : 11474 (scip-2.1.1.4exp) R 11472 11474 9598 0 -1 4202496 401854 0 0 0 178252 1427 0 0 20 0 1 0 269631812 286744576 69051 33554432000 4194304 10219143 140733511438560 140733511431544 4990635 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11474/statm: 70006 69051 857 1471 0 68526 0
Current children cumulated CPU time (s) 1796.79
Current children cumulated vsize (KiB) 280024
Child status: 0
Real time (s): 1797.16
CPU time (s): 1796.86
CPU user time (s): 1782.57
CPU system time (s): 14.2818
CPU usage (%): 99.9831
Max. virtual memory (cumulated for all children) (KiB): 281784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.57
system time used= 14.2818
maximum resident set size= 277952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 401856
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= 41
involuntary context switches= 1847
runsolver used 3.24251 second user time and 8.74967 second system time
The end