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-3692159-1338033346.opb>
0.01/0.06 c original problem has 2470 variables (2470 bin, 0 int, 0 impl, 0 cont) and 4744 constraints
0.01/0.06 c problem read in 0.06
0.01/0.09 c presolving:
0.09/0.14 c (round 1) 0 del vars, 2366 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 12 upgd conss, 0 impls, 0 clqs
0.09/0.17 c (0.2s) probing: 51/2470 (2.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.17 c (0.2s) probing aborted: 50/50 successive totally useless probings
0.09/0.17 c presolving (2 rounds):
0.09/0.17 c 0 deleted vars, 2366 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.17 c 156 implications, 0 cliques
0.09/0.17 c presolved problem has 2470 variables (2470 bin, 0 int, 0 impl, 0 cont) and 2378 constraints
0.09/0.17 c 12 constraints of type <knapsack>
0.09/0.17 c 2366 constraints of type <linear>
0.09/0.17 c transformed objective value is always integral (scale: 1)
0.09/0.17 c Presolving Time: 0.09
0.09/0.17 c - non default parameters ----------------------------------------------------------------------
0.09/0.17 c # SCIP version 2.1.1.4
0.09/0.17 c
0.09/0.17 c # maximal time in seconds to run
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/time = 1797
0.09/0.17 c
0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/memory = 13950
0.09/0.17 c
0.09/0.17 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.17 c # [type: int, range: [1,2], default: 1]
0.09/0.17 c timing/clocktype = 2
0.09/0.17 c
0.09/0.17 c # belongs reading time to solving time?
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c timing/reading = TRUE
0.09/0.17 c
0.09/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17 c separating/rapidlearning/freq = 0
0.09/0.17 c
0.09/0.17 c -----------------------------------------------------------------------------------------------
0.09/0.17 c start solving
0.09/0.18 c
0.29/0.33 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.33 c 0.3s| 1 | 0 | 12 | - | 21M| 0 | 363 |2470 |2394 |2470 |2378 | 0 | 16 | 0 | 1.200000e+01 | -- | Inf
2.68/2.76 c 2.8s| 1 | 0 | 1672 | - | 22M| 0 | 375 |2470 |2832 |2470 |2432 | 54 | 16 | 0 | 1.200000e+01 | -- | Inf
2.89/2.95 c 3.0s| 1 | 0 | 1894 | - | 23M| 0 | 393 |2470 |2832 |2470 |2502 | 124 | 16 | 0 | 1.200000e+01 | -- | Inf
3.09/3.20 c 3.2s| 1 | 0 | 2276 | - | 23M| 0 | 481 |2470 |2832 |2470 |2590 | 212 | 16 | 0 | 1.200198e+01 | -- | Inf
3.39/3.49 c 3.5s| 1 | 0 | 2595 | - | 24M| 0 | 490 |2470 |2832 |2470 |2682 | 304 | 16 | 0 | 1.216667e+01 | -- | Inf
3.79/3.87 c 3.9s| 1 | 0 | 3095 | - | 24M| 0 | 534 |2470 |2832 |2470 |2764 | 386 | 16 | 0 | 1.300000e+01 | -- | Inf
4.48/4.59 c 4.6s| 1 | 0 | 3563 | - | 25M| 0 | 465 |2470 |2832 |2470 |2850 | 472 | 16 | 0 | 1.300000e+01 | -- | Inf
5.09/5.12 c 5.1s| 1 | 0 | 4051 | - | 26M| 0 | 424 |2470 |2832 |2470 |2937 | 559 | 16 | 0 | 1.300000e+01 | -- | Inf
5.49/5.57 c 5.6s| 1 | 0 | 4741 | - | 26M| 0 | 422 |2470 |2832 |2470 |3035 | 657 | 16 | 0 | 1.300000e+01 | -- | Inf
6.08/6.11 c 6.1s| 1 | 0 | 5493 | - | 27M| 0 | 519 |2470 |2832 |2470 |3122 | 744 | 16 | 0 | 1.300000e+01 | -- | Inf
6.59/6.67 c 6.7s| 1 | 0 | 5981 | - | 28M| 0 | 427 |2470 |2832 |2470 |3207 | 829 | 16 | 0 | 1.300000e+01 | -- | Inf
6.78/6.83 c 6.8s| 1 | 0 | 6450 | - | 28M| 0 | 516 |2470 |2832 |2470 |3225 | 847 | 16 | 0 | 1.300000e+01 | -- | Inf
13.88/13.98 c 14.0s| 1 | 2 | 6450 | - | 28M| 0 | 516 |2470 |2832 |2470 |3225 | 847 | 16 | 46 | 1.300000e+01 | -- | Inf
31.69/31.79 c 31.8s| 100 | 91 | 49382 | 433.7 | 28M| 19 | - |2470 |3264 |2470 |2452 | 847 | 448 | 491 | 1.300000e+01 | -- | Inf
35.38/35.42 c 35.4s| 200 | 165 | 68940 | 314.0 | 29M| 19 | - |2470 |3303 |2470 |2452 | 847 | 487 | 519 | 1.300000e+01 | -- | Inf
43.48/43.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
43.48/43.57 c 43.6s| 300 | 251 |164187 | 527.5 | 29M| 33 | - |2470 |3444 |2470 |2452 | 847 | 628 | 547 | 1.306250e+01 | -- | Inf
46.88/46.96 c 47.0s| 400 | 345 |186986 | 452.5 | 29M| 34 | 547 |2470 |3476 |2470 |2452 | 847 | 660 | 574 | 1.333333e+01 | -- | Inf
55.88/55.99 c 56.0s| 500 | 435 |252676 | 493.4 | 29M| 34 | 406 |2470 |3953 |2470 |2452 | 847 |1137 | 626 | 1.333333e+01 | -- | Inf
60.07/60.16 c 60.2s| 600 | 531 |288364 | 470.6 | 30M| 34 | 317 |2470 |3991 |2470 |2452 | 847 |1175 | 667 | 1.400000e+01 | -- | Inf
63.97/64.08 c 64.1s| 700 | 621 |305797 | 428.3 | 30M| 36 | 373 |2470 |4026 |2470 |2452 | 847 |1210 | 706 | 1.400000e+01 | -- | Inf
67.78/67.81 c 67.8s| 800 | 717 |324717 | 398.3 | 30M| 36 | 541 |2470 |4028 |2470 |2452 | 847 |1212 | 732 | 1.400000e+01 | -- | Inf
70.88/70.97 c 71.0s| 900 | 813 |338724 | 369.6 | 30M| 36 | - |2470 |4056 | 0 | 0 | 847 |1240 | 771 | 1.400000e+01 | -- | Inf
74.47/74.52 c 74.5s| 1000 | 909 |359050 | 353.0 | 30M| 36 | 445 |2470 |4066 |2470 |2452 | 847 |1250 | 810 | 1.400000e+01 | -- | Inf
77.57/77.64 c 77.6s| 1100 | 1005 |371378 | 332.1 | 30M| 36 | 471 |2470 |4068 |2470 |2452 | 847 |1252 | 849 | 1.400000e+01 | -- | Inf
81.47/81.50 c 81.5s| 1200 | 1099 |393916 | 323.2 | 31M| 36 | 411 |2470 |4074 |2470 |2452 | 847 |1260 | 888 | 1.400000e+01 | -- | Inf
85.57/85.67 c 85.7s| 1300 | 1197 |412920 | 312.9 | 31M| 36 | 275 |2470 |4047 |2470 |2452 | 847 |1270 | 926 | 1.500000e+01 | -- | Inf
88.77/88.88 c 88.9s| 1400 | 1289 |434502 | 306.0 | 31M| 36 | 419 |2470 |4076 |2470 |2452 | 847 |1336 | 952 | 1.500000e+01 | -- | Inf
93.07/93.11 c 93.1s| 1500 | 1381 |454995 | 299.2 | 31M| 36 | 470 |2470 |4080 |2470 |2452 | 847 |1351 |1015 | 1.500000e+01 | -- | Inf
96.87/96.93 c 96.9s| 1600 | 1467 |474791 | 292.9 | 31M| 36 | 407 |2470 |4050 |2470 |2452 | 847 |1365 |1070 | 1.533333e+01 | -- | Inf
100.86/100.99 c 101s| 1700 | 1557 |494089 | 287.0 | 31M| 36 | 683 |2470 |4014 |2470 |2452 | 847 |1374 |1106 | 1.533333e+01 | -- | Inf
105.97/106.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
105.97/106.02 c 106s| 1800 | 1649 |521385 | 286.2 | 32M| 36 | 334 |2470 |4035 |2470 |2452 | 847 |1425 |1166 | 1.533333e+01 | -- | Inf
109.36/109.49 c 109s| 1900 | 1738 |540219 | 281.1 | 32M| 36 | 798 |2470 |3989 |2470 |2452 | 847 |1438 |1201 | 1.575000e+01 | -- | Inf
113.26/113.34 c 113s| 2000 | 1824 |558442 | 276.1 | 32M| 36 | 450 |2470 |3897 |2470 |2452 | 847 |1464 |1261 | 1.600000e+01 | -- | Inf
117.16/117.24 c 117s| 2100 | 1920 |582250 | 274.3 | 32M| 36 | 399 |2470 |3907 |2470 |2452 | 847 |1518 |1296 | 1.600000e+01 | -- | Inf
121.36/121.44 c 121s| 2200 | 2012 |603359 | 271.4 | 32M| 36 | 297 |2470 |3915 |2470 |2452 | 847 |1527 |1353 | 1.600000e+01 | -- | Inf
126.96/127.04 c 127s| 2300 | 2104 |634234 | 273.1 | 32M| 36 | 412 |2470 |3925 |2470 |2452 | 847 |1538 |1397 | 1.600000e+01 | -- | Inf
131.26/131.31 c 131s| 2400 | 2200 |663539 | 273.9 | 33M| 36 | 436 |2470 |3934 |2470 |2452 | 847 |1549 |1442 | 1.600000e+01 | -- | Inf
136.37/136.41 c 136s| 2500 | 2291 |690786 | 273.8 | 33M| 36 | 622 |2470 |3937 |2470 |2452 | 847 |1552 |1511 | 1.600000e+01 | -- | Inf
145.16/145.29 c 145s| 2600 | 2377 |813822 | 310.6 | 33M| 36 | 602 |2470 |4211 |2470 |2452 | 847 |1827 |1534 | 1.600000e+01 | -- | Inf
149.16/149.29 c 149s| 2700 | 2475 |837991 | 308.1 | 33M| 36 | 458 |2470 |4216 |2470 |2452 | 847 |1833 |1579 | 1.600000e+01 | -- | Inf
153.06/153.11 c 153s| 2800 | 2571 |860888 | 305.3 | 33M| 36 | 357 |2470 |4216 |2470 |2452 | 847 |1839 |1633 | 1.600000e+01 | -- | Inf
158.86/158.91 c 159s| 2900 | 2667 |896370 | 307.0 | 33M| 37 | 338 |2470 |4236 |2470 |2452 | 847 |1865 |1709 | 1.600000e+01 | -- | Inf
162.55/162.67 c 163s| 3000 | 2765 |918587 | 304.1 | 33M| 39 | 346 |2470 |4238 |2470 |2452 | 847 |1872 |1745 | 1.600000e+01 | -- | Inf
166.15/166.23 c 166s| 3100 | 2859 |943520 | 302.4 | 34M| 39 | 495 |2470 |4243 |2470 |2452 | 847 |1883 |1777 | 1.600000e+01 | -- | Inf
170.85/170.92 c 171s| 3200 | 2957 |983496 | 305.4 | 34M| 39 | 354 |2470 |4278 |2470 |2452 | 847 |1933 |1812 | 1.600000e+01 | -- | Inf
175.45/175.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
175.45/175.58 c 176s| 3300 | 3055 | 1006k| 303.3 | 34M| 39 | 387 |2470 |4264 |2470 |2452 | 847 |1934 |1877 | 1.600000e+01 | -- | Inf
178.75/178.87 c 179s| 3400 | 3143 | 1028k| 300.8 | 34M| 39 | 355 |2470 |4251 |2470 |2452 | 847 |1954 |1908 | 1.600000e+01 | -- | Inf
182.25/182.36 c 182s| 3500 | 3240 | 1047k| 297.5 | 34M| 39 | 356 |2470 |4249 |2470 |2452 | 847 |1965 |1950 | 1.600000e+01 | -- | Inf
186.25/186.30 c 186s| 3600 | 3332 | 1070k| 295.6 | 34M| 39 | 478 |2470 |4220 |2470 |2452 | 847 |1969 |2003 | 1.600000e+01 | -- | Inf
189.35/189.47 c 189s| 3700 | 3420 | 1091k| 293.3 | 34M| 39 | 417 |2470 |4158 |2470 |2452 | 847 |1977 |2035 | 1.600000e+01 | -- | Inf
192.35/192.41 c 192s| 3800 | 3510 | 1108k| 290.0 | 35M| 39 | 275 |2470 |4127 |2470 |2452 | 847 |1985 |2065 | 1.600000e+01 | -- | Inf
196.65/196.76 c 197s| 3900 | 3610 | 1142k| 291.4 | 35M| 39 | 328 |2470 |4049 |2470 |2452 | 847 |2027 |2097 | 1.600000e+01 | -- | Inf
199.65/199.71 c 200s| 4000 | 3702 | 1160k| 288.7 | 35M| 39 | 688 |2470 |4002 |2470 |2452 | 847 |2033 |2130 | 1.600000e+01 | -- | Inf
203.55/203.65 c 204s| 4100 | 3798 | 1184k| 287.5 | 35M| 39 | 318 |2470 |3969 |2470 |2452 | 847 |2038 |2182 | 1.600000e+01 | -- | Inf
207.75/207.83 c 208s| 4200 | 3892 | 1208k| 286.3 | 35M| 39 | 337 |2470 |3939 |2470 |2452 | 847 |2070 |2233 | 1.600000e+01 | -- | Inf
210.55/210.60 c 211s| 4300 | 3989 | 1223k| 283.1 | 35M| 39 | 314 |2470 |3904 |2470 |2452 | 847 |2071 |2262 | 1.600000e+01 | -- | Inf
213.55/213.68 c 214s| 4400 | 4085 | 1239k| 280.4 | 35M| 39 | 424 |2470 |3880 |2470 |2452 | 847 |2073 |2291 | 1.600000e+01 | -- | Inf
219.95/220.09 c 220s| 4500 | 4185 | 1305k| 288.8 | 36M| 39 | 309 |2470 |3981 |2470 |2452 | 847 |2202 |2329 | 1.600000e+01 | -- | Inf
222.84/222.95 c 223s| 4600 | 4281 | 1324k| 286.7 | 36M| 39 | 296 |2470 |3919 |2470 |2452 | 847 |2208 |2356 | 1.600000e+01 | -- | Inf
226.45/226.58 c 227s| 4700 | 4377 | 1348k| 285.6 | 36M| 39 | 316 |2470 |3875 |2470 |2452 | 847 |2224 |2386 | 1.600000e+01 | -- | Inf
235.84/235.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
235.84/235.96 c 236s| 4800 | 4471 | 1500k| 311.3 | 36M| 39 | 441 |2470 |3980 |2470 |2452 | 847 |2416 |2436 | 1.600000e+01 | -- | Inf
240.04/240.15 c 240s| 4900 | 4569 | 1521k| 309.2 | 36M| 39 | 258 |2470 |3959 |2470 |2452 | 847 |2419 |2483 | 1.600000e+01 | -- | Inf
243.54/243.61 c 244s| 5000 | 4662 | 1550k| 308.9 | 36M| 39 | 384 |2470 |3925 |2470 |2452 | 847 |2427 |2501 | 1.600000e+01 | -- | Inf
246.94/247.03 c 247s| 5100 | 4755 | 1566k| 306.0 | 36M| 39 | 328 |2470 |3920 |2470 |2452 | 847 |2430 |2546 | 1.600000e+01 | -- | Inf
250.95/251.03 c 251s| 5200 | 4845 | 1593k| 305.3 | 37M| 39 | 723 |2470 |3905 |2470 |2452 | 847 |2439 |2584 | 1.600000e+01 | -- | Inf
253.95/254.05 c 254s| 5300 | 4941 | 1610k| 302.8 | 37M| 39 | 389 |2470 |3900 |2470 |2452 | 847 |2441 |2620 | 1.600000e+01 | -- | Inf
257.64/257.78 c 258s| 5400 | 5038 | 1633k| 301.4 | 37M| 39 | 267 |2470 |3875 |2470 |2452 | 847 |2478 |2665 | 1.600000e+01 | -- | Inf
260.64/260.79 c 261s| 5500 | 5132 | 1647k| 298.5 | 37M| 39 | 363 |2470 |3867 |2470 |2452 | 847 |2487 |2692 | 1.600000e+01 | -- | Inf
263.85/263.95 c 264s| 5600 | 5226 | 1664k| 296.2 | 37M| 39 | 313 |2470 |3846 |2470 |2452 | 847 |2493 |2738 | 1.600000e+01 | -- | Inf
267.44/267.56 c 268s| 5700 | 5320 | 1684k| 294.4 | 37M| 39 | 451 |2470 |3850 |2470 |2452 | 847 |2506 |2774 | 1.600000e+01 | -- | Inf
271.93/272.05 c 272s| 5800 | 5419 | 1708k| 293.5 | 37M| 39 | 337 |2470 |3838 |2470 |2452 | 847 |2537 |2831 | 1.600000e+01 | -- | Inf
274.94/275.07 c 275s| 5900 | 5511 | 1725k| 291.4 | 38M| 39 | 363 |2470 |3824 |2470 |2452 | 847 |2541 |2867 | 1.600000e+01 | -- | Inf
278.44/278.54 c 279s| 6000 | 5605 | 1745k| 289.9 | 38M| 39 | 271 |2470 |3814 |2470 |2452 | 847 |2555 |2903 | 1.600000e+01 | -- | Inf
282.03/282.17 c 282s| 6100 | 5701 | 1772k| 289.5 | 38M| 39 | 407 |2470 |3812 |2470 |2452 | 847 |2585 |2922 | 1.600000e+01 | -- | Inf
285.14/285.28 c 285s| 6200 | 5795 | 1789k| 287.6 | 38M| 39 | 447 |2470 |3779 |2470 |2452 | 847 |2601 |2951 | 1.600000e+01 | -- | Inf
289.04/289.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
289.04/289.16 c 289s| 6300 | 5891 | 1810k| 286.4 | 38M| 39 | 321 |2470 |3760 |2470 |2452 | 847 |2604 |2987 | 1.600000e+01 | -- | Inf
292.54/292.68 c 293s| 6400 | 5990 | 1831k| 285.3 | 38M| 39 | 464 |2470 |3753 |2470 |2452 | 847 |2614 |3025 | 1.600000e+01 | -- | Inf
296.13/296.22 c 296s| 6500 | 6088 | 1854k| 284.3 | 38M| 39 | 236 |2470 |3725 |2470 |2452 | 847 |2642 |3055 | 1.600000e+01 | -- | Inf
300.43/300.50 c 301s| 6600 | 6184 | 1878k| 283.7 | 38M| 39 | 587 |2470 |3697 |2470 |2452 | 847 |2658 |3098 | 1.600000e+01 | -- | Inf
303.33/303.42 c 303s| 6700 | 6282 | 1894k| 281.9 | 39M| 39 | 422 |2470 |3690 |2470 |2452 | 847 |2663 |3130 | 1.600355e+01 | -- | Inf
306.04/306.15 c 306s| 6800 | 6380 | 1909k| 279.9 | 39M| 39 | 356 |2470 |3683 |2470 |2452 | 847 |2664 |3155 | 1.633333e+01 | -- | Inf
310.43/310.56 c 311s| 6900 | 6474 | 1941k| 280.5 | 39M| 39 | 376 |2470 |3646 |2470 |2452 | 847 |2685 |3185 | 1.633333e+01 | -- | Inf
316.74/316.81 c 317s| 7000 | 6570 | 2012k| 286.6 | 39M| 39 | 278 |2470 |3803 |2470 |2452 | 847 |2884 |3208 | 1.633333e+01 | -- | Inf
319.13/319.25 c 319s| 7100 | 6664 | 2024k| 284.2 | 39M| 39 | 333 |2470 |3785 |2470 |2452 | 847 |2886 |3238 | 1.633333e+01 | -- | Inf
321.83/321.92 c 322s| 7200 | 6757 | 2039k| 282.4 | 39M| 39 | 378 |2470 |3776 |2470 |2452 | 847 |2906 |3262 | 1.650000e+01 | -- | Inf
324.63/324.74 c 325s| 7300 | 6849 | 2052k| 280.3 | 40M| 39 | 330 |2470 |3756 |2470 |2452 | 847 |2909 |3292 | 1.650000e+01 | -- | Inf
327.93/328.05 c 328s| 7400 | 6943 | 2067k| 278.6 | 40M| 39 | 405 |2470 |3742 |2470 |2452 | 847 |2919 |3333 | 1.657143e+01 | -- | Inf
330.43/330.55 c 331s| 7500 | 7039 | 2082k| 276.9 | 40M| 39 | 436 |2470 |3731 |2470 |2452 | 847 |2942 |3354 | 1.657143e+01 | -- | Inf
334.13/334.20 c 334s| 7600 | 7136 | 2102k| 275.9 | 40M| 39 | 469 |2470 |3716 |2470 |2452 | 847 |2956 |3407 | 1.700000e+01 | -- | Inf
337.13/337.26 c 337s| 7700 | 7232 | 2118k| 274.3 | 40M| 39 | 305 |2470 |3706 |2470 |2452 | 847 |2959 |3452 | 1.700000e+01 | -- | Inf
340.43/340.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
340.43/340.54 c 341s| 7800 | 7332 | 2136k| 273.1 | 40M| 39 | 353 |2470 |3697 |2470 |2452 | 847 |2966 |3487 | 1.700000e+01 | -- | Inf
344.13/344.23 c 344s| 7900 | 7425 | 2164k| 273.2 | 40M| 39 | 302 |2470 |3693 |2470 |2452 | 847 |2993 |3525 | 1.700000e+01 | -- | Inf
347.02/347.15 c 347s| 8000 | 7519 | 2183k| 272.2 | 41M| 39 | 407 |2470 |3697 |2470 |2452 | 847 |3031 |3548 | 1.700000e+01 | -- | Inf
350.63/350.71 c 351s| 8100 | 7613 | 2202k| 271.2 | 41M| 39 | - |2470 |3690 |2470 |2452 | 847 |3052 |3602 | 1.700000e+01 | -- | Inf
354.33/354.48 c 354s| 8200 | 7707 | 2221k| 270.2 | 41M| 39 | 412 |2470 |3678 |2470 |2452 | 847 |3060 |3670 | 1.700000e+01 | -- | Inf
358.62/358.72 c 359s| 8300 | 7804 | 2248k| 270.2 | 41M| 39 | 321 |2470 |3663 |2470 |2452 | 847 |3077 |3706 | 1.700000e+01 | -- | Inf
361.93/362.07 c 362s| 8400 | 7902 | 2265k| 269.0 | 41M| 39 | 304 |2470 |3646 |2470 |2452 | 847 |3082 |3754 | 1.700000e+01 | -- | Inf
366.13/366.26 c 366s| 8500 | 8001 | 2296k| 269.4 | 41M| 39 | 457 |2470 |3622 |2470 |2452 | 847 |3093 |3790 | 1.700000e+01 | -- | Inf
368.83/368.98 c 369s| 8600 | 8091 | 2314k| 268.4 | 41M| 39 | 472 |2470 |3610 |2470 |2452 | 847 |3098 |3824 | 1.700000e+01 | -- | Inf
372.63/372.70 c 373s| 8700 | 8185 | 2340k| 268.3 | 42M| 39 | 339 |2470 |3619 |2470 |2452 | 847 |3149 |3847 | 1.700000e+01 | -- | Inf
375.83/375.90 c 376s| 8800 | 8281 | 2358k| 267.3 | 42M| 39 | 444 |2470 |3593 |2470 |2452 | 847 |3151 |3893 | 1.700000e+01 | -- | Inf
380.52/380.69 c 381s| 8900 | 8379 | 2391k| 268.1 | 42M| 39 | 244 |2470 |3568 |2470 |2452 | 847 |3184 |3952 | 1.700000e+01 | -- | Inf
383.22/383.34 c 383s| 9000 | 8475 | 2406k| 266.7 | 42M| 39 | 389 |2470 |3546 |2470 |2452 | 847 |3194 |3985 | 1.700000e+01 | -- | Inf
386.52/386.65 c 387s| 9100 | 8575 | 2426k| 265.9 | 42M| 39 | 313 |2470 |3518 |2470 |2452 | 847 |3197 |4031 | 1.700000e+01 | -- | Inf
390.22/390.34 c 390s| 9200 | 8673 | 2445k| 265.2 | 42M| 39 | 355 |2470 |3503 |2470 |2452 | 847 |3201 |4080 | 1.700000e+01 | -- | Inf
393.63/393.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
393.63/393.76 c 394s| 9300 | 8772 | 2466k| 264.5 | 42M| 39 | 297 |2470 |3492 |2470 |2452 | 847 |3209 |4112 | 1.700000e+01 | -- | Inf
396.32/396.43 c 396s| 9400 | 8871 | 2486k| 263.9 | 43M| 39 | 298 |2470 |3468 |2470 |2452 | 847 |3222 |4122 | 1.700000e+01 | -- | Inf
400.12/400.29 c 400s| 9500 | 8964 | 2509k| 263.5 | 43M| 39 | 319 |2470 |3449 |2470 |2452 | 847 |3238 |4172 | 1.700000e+01 | -- | Inf
404.42/404.52 c 405s| 9600 | 9058 | 2532k| 263.1 | 43M| 39 | 331 |2470 |3425 |2470 |2452 | 847 |3256 |4221 | 1.700000e+01 | -- | Inf
407.52/407.63 c 408s| 9700 | 9152 | 2553k| 262.6 | 43M| 39 | 314 |2470 |3417 |2470 |2452 | 847 |3262 |4250 | 1.700000e+01 | -- | Inf
410.32/410.43 c 410s| 9800 | 9250 | 2574k| 262.0 | 43M| 39 | 443 |2470 |3395 |2470 |2452 | 847 |3267 |4277 | 1.700000e+01 | -- | Inf
413.22/413.36 c 413s| 9900 | 9345 | 2596k| 261.6 | 43M| 39 | 646 |2470 |3457 |2470 |2452 | 847 |3388 |4299 | 1.700000e+01 | -- | Inf
417.02/417.11 c 417s| 10000 | 9437 | 2617k| 261.1 | 44M| 39 | 285 |2470 |3445 |2470 |2452 | 847 |3399 |4341 | 1.700000e+01 | -- | Inf
424.61/424.72 c 425s| 10100 | 9535 | 2731k| 269.8 | 44M| 39 | 341 |2470 |3557 |2470 |2452 | 847 |3552 |4378 | 1.700000e+01 | -- | Inf
427.72/427.83 c 428s| 10200 | 9627 | 2750k| 269.1 | 44M| 39 | 427 |2470 |3533 |2470 |2452 | 847 |3559 |4409 | 1.700000e+01 | -- | Inf
429.71/429.86 c 430s| 10300 | 9720 | 2768k| 268.2 | 44M| 39 | 559 |2470 |3517 |2470 |2452 | 847 |3609 |4410 | 1.700000e+01 | -- | Inf
432.51/432.62 c 433s| 10400 | 9820 | 2789k| 267.6 | 44M| 39 | 432 |2470 |3501 |2470 |2452 | 847 |3628 |4425 | 1.700000e+01 | -- | Inf
437.01/437.11 c 437s| 10500 | 9905 | 2827k| 268.7 | 44M| 39 | 286 |2470 |3480 |2470 |2452 | 847 |3642 |4485 | 1.700000e+01 | -- | Inf
444.22/444.34 c 444s| 10600 | 9997 | 2888k| 271.9 | 45M| 39 | 265 |2470 |3441 |2470 |2452 | 847 |3705 |4602 | 1.700000e+01 | -- | Inf
450.11/450.29 c 450s| 10700 | 10087 | 2947k| 274.9 | 45M| 39 | 351 |2470 |3370 |2470 |2452 | 847 |3747 |4653 | 1.700000e+01 | -- | Inf
455.32/455.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
455.32/455.46 c 455s| 10800 | 10173 | 2999k| 277.1 | 45M| 39 | - |2470 |3359 | 0 | 0 | 847 |3776 |4704 | 1.700000e+01 | -- | Inf
458.91/459.03 c 459s| 10900 | 10262 | 3038k| 278.2 | 46M| 39 | 354 |2470 |3366 |2470 |2452 | 847 |3839 |4736 | 1.700000e+01 | -- | Inf
463.51/463.66 c 464s| 11000 | 10348 | 3084k| 279.9 | 46M| 39 | 403 |2470 |3362 |2470 |2452 | 847 |3909 |4758 | 1.700000e+01 | -- | Inf
467.11/467.20 c 467s| 11100 | 10431 | 3128k| 281.3 | 46M| 39 | 249 |2470 |3396 |2470 |2452 | 847 |4034 |4761 | 1.700000e+01 | -- | Inf
471.20/471.34 c 471s| 11200 | 10519 | 3175k| 283.0 | 47M| 39 | 678 |2470 |3365 |2470 |2452 | 847 |4081 |4792 | 1.700000e+01 | -- | Inf
474.90/475.05 c 475s| 11300 | 10607 | 3225k| 284.9 | 47M| 39 | 514 |2470 |3347 |2470 |2452 | 847 |4144 |4804 | 1.700000e+01 | -- | Inf
480.01/480.10 c 480s| 11400 | 10697 | 3277k| 286.9 | 48M| 39 | 469 |2470 |3567 |2470 |2452 | 847 |4438 |4805 | 1.700000e+01 | -- | Inf
484.00/484.12 c 484s| 11500 | 10785 | 3331k| 289.1 | 48M| 39 | 283 |2470 |3537 |2470 |2452 | 847 |4470 |4833 | 1.700000e+01 | -- | Inf
487.31/487.43 c 487s| 11600 | 10873 | 3377k| 290.6 | 48M| 39 | 324 |2470 |3494 |2470 |2452 | 847 |4495 |4833 | 1.700000e+01 | -- | Inf
491.10/491.20 c 491s| 11700 | 10957 | 3428k| 292.5 | 48M| 39 | 492 |2470 |3469 |2470 |2452 | 847 |4544 |4838 | 1.700000e+01 | -- | Inf
494.51/494.61 c 495s| 11800 | 11037 | 3466k| 293.2 | 49M| 39 | 341 |2470 |3447 |2470 |2452 | 847 |4567 |4864 | 1.700000e+01 | -- | Inf
500.60/500.77 c 501s| 11900 | 11133 | 3545k| 297.4 | 49M| 39 | 487 |2470 |3484 |2470 |2452 | 847 |4663 |4909 | 1.700000e+01 | -- | Inf
504.30/504.45 c 504s| 12000 | 11216 | 3588k| 298.5 | 49M| 39 | 446 |2470 |3457 |2470 |2452 | 847 |4699 |4931 | 1.700000e+01 | -- | Inf
509.21/509.35 c 509s| 12100 | 11306 | 3639k| 300.2 | 49M| 39 | 162 |2470 |3426 |2470 |2452 | 847 |4735 |4993 | 1.700000e+01 | -- | Inf
514.30/514.43 c 514s| 12200 | 11401 | 3682k| 301.3 | 50M| 39 | 379 |2470 |3418 |2470 |2452 | 847 |4792 |5062 | 1.700000e+01 | -- | Inf
520.20/520.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
520.20/520.33 c 520s| 12300 | 11485 | 3734k| 303.1 | 50M| 39 | 286 |2470 |3410 |2470 |2452 | 847 |4862 |5142 | 1.700000e+01 | -- | Inf
524.60/524.79 c 525s| 12400 | 11567 | 3786k| 304.8 | 50M| 39 | 355 |2470 |3392 |2470 |2452 | 847 |4935 |5181 | 1.700000e+01 | -- | Inf
529.50/529.66 c 530s| 12500 | 11656 | 3834k| 306.2 | 51M| 39 | 253 |2470 |3352 |2470 |2452 | 847 |4990 |5252 | 1.700000e+01 | -- | Inf
534.20/534.30 c 534s| 12600 | 11736 | 3874k| 307.0 | 51M| 39 | 492 |2470 |3334 |2470 |2452 | 847 |5006 |5331 | 1.700000e+01 | -- | Inf
539.60/539.71 c 540s| 12700 | 11828 | 3923k| 308.4 | 51M| 39 | 257 |2470 |3326 |2470 |2452 | 847 |5066 |5386 | 1.700000e+01 | -- | Inf
544.59/544.73 c 545s| 12800 | 11922 | 3968k| 309.6 | 52M| 39 | 320 |2470 |3366 |2470 |2452 | 847 |5190 |5454 | 1.700000e+01 | -- | Inf
549.00/549.15 c 549s| 12900 | 12006 | 4009k| 310.4 | 52M| 39 | - |2470 |3326 | 0 | 0 | 847 |5209 |5514 | 1.700000e+01 | -- | Inf
553.89/554.05 c 554s| 13000 | 12090 | 4057k| 311.7 | 52M| 39 | 679 |2470 |3339 |2470 |2452 | 847 |5297 |5548 | 1.700000e+01 | -- | Inf
558.99/559.15 c 559s| 13100 | 12180 | 4101k| 312.6 | 53M| 39 | - |2470 |3394 |2470 |2452 | 847 |5462 |5621 | 1.700000e+01 | -- | Inf
566.49/566.66 c 567s| 13200 | 12273 | 4165k| 315.1 | 53M| 39 | 292 |2470 |3584 |2470 |2452 | 847 |5764 |5711 | 1.700000e+01 | -- | Inf
569.70/569.84 c 570s| 13300 | 12371 | 4198k| 315.2 | 54M| 39 | 254 |2470 |3538 |2470 |2452 | 847 |5787 |5732 | 1.700000e+01 | -- | Inf
573.79/573.94 c 574s| 13400 | 12459 | 4239k| 315.9 | 54M| 39 | 314 |2470 |3584 |2470 |2452 | 847 |5905 |5786 | 1.700000e+01 | -- | Inf
579.19/579.39 c 579s| 13500 | 12544 | 4286k| 317.1 | 54M| 39 | 353 |2470 |3553 |2470 |2452 | 847 |5992 |5851 | 1.700000e+01 | -- | Inf
584.29/584.47 c 584s| 13600 | 12628 | 4332k| 318.1 | 55M| 39 | 286 |2470 |3475 |2470 |2452 | 847 |6028 |5922 | 1.700000e+01 | -- | Inf
588.69/588.83 c 589s| 13700 | 12716 | 4375k| 318.9 | 55M| 39 | 235 |2470 |3429 |2470 |2452 | 847 |6080 |5964 | 1.700000e+01 | -- | Inf
593.90/594.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
593.90/594.03 c 594s| 13800 | 12798 | 4428k| 320.5 | 55M| 39 | 419 |2470 |3403 |2470 |2452 | 847 |6166 |6006 | 1.700000e+01 | -- | Inf
599.88/600.02 c 600s| 13900 | 12884 | 4486k| 322.3 | 56M| 39 | 543 |2470 |3462 |2470 |2452 | 847 |6307 |6053 | 1.700000e+01 | -- | Inf
604.80/604.99 c 605s| 14000 | 12962 | 4533k| 323.4 | 56M| 42 | 363 |2470 |3469 |2470 |2452 | 847 |6369 |6117 | 1.700000e+01 | -- | Inf
609.38/609.54 c 610s| 14100 | 13041 | 4576k| 324.1 | 57M| 42 | 346 |2470 |3430 |2470 |2452 | 847 |6392 |6203 | 1.700000e+01 | -- | Inf
613.38/613.58 c 614s| 14200 | 13111 | 4611k| 324.3 | 57M| 42 | 368 |2470 |3527 |2470 |2452 | 847 |6563 |6253 | 1.700000e+01 | -- | Inf
617.09/617.29 c 617s| 14300 | 13195 | 4645k| 324.5 | 57M| 42 | - |2470 |3508 | 0 | 0 | 847 |6591 |6300 | 1.700000e+01 | -- | Inf
623.88/624.09 c 624s| 14400 | 13283 | 4709k| 326.6 | 58M| 42 | - |2470 |3726 |2470 |2452 | 847 |6895 |6361 | 1.700000e+01 | -- | Inf
628.88/629.07 c 629s| 14500 | 13361 | 4761k| 328.0 | 58M| 42 | 399 |2470 |3751 |2470 |2452 | 847 |6995 |6418 | 1.700000e+01 | -- | Inf
633.88/634.02 c 634s| 14600 | 13453 | 4807k| 328.8 | 58M| 42 | 361 |2470 |3730 |2470 |2452 | 847 |7040 |6481 | 1.700000e+01 | -- | Inf
638.68/638.84 c 639s| 14700 | 13545 | 4850k| 329.6 | 59M| 42 | 391 |2470 |3769 |2470 |2452 | 847 |7228 |6522 | 1.700000e+01 | -- | Inf
643.38/643.58 c 644s| 14800 | 13639 | 4891k| 330.1 | 59M| 42 | 641 |2470 |3741 |2470 |2452 | 847 |7320 |6584 | 1.700000e+01 | -- | Inf
647.58/647.74 c 648s| 14900 | 13731 | 4932k| 330.6 | 59M| 42 | 584 |2470 |3670 |2470 |2452 | 847 |7364 |6649 | 1.700000e+01 | -- | Inf
651.87/652.09 c 652s| 15000 | 13821 | 4976k| 331.4 | 59M| 42 | 410 |2470 |3590 |2470 |2452 | 847 |7405 |6708 | 1.700000e+01 | -- | Inf
656.58/656.77 c 657s| 15100 | 13903 | 5012k| 331.5 | 60M| 42 | 411 |2470 |3788 |2470 |2452 | 847 |7701 |6749 | 1.700000e+01 | -- | Inf
660.28/660.42 c 660s| 15200 | 13997 | 5052k| 332.0 | 60M| 42 | 536 |2470 |3728 |2470 |2452 | 847 |7750 |6777 | 1.700000e+01 | -- | Inf
665.28/665.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
665.28/665.50 c 665s| 15300 | 14091 | 5103k| 333.1 | 61M| 42 | 380 |2470 |3805 |2470 |2452 | 847 |7934 |6820 | 1.700000e+01 | -- | Inf
669.58/669.70 c 670s| 15400 | 14185 | 5141k| 333.5 | 61M| 42 | 355 |2470 |3769 |2470 |2452 | 847 |7947 |6885 | 1.700000e+01 | -- | Inf
675.07/675.25 c 675s| 15500 | 14277 | 5186k| 334.2 | 61M| 42 | 366 |2470 |3887 |2470 |2452 | 847 |8140 |6947 | 1.700000e+01 | -- | Inf
679.87/680.03 c 680s| 15600 | 14363 | 5226k| 334.6 | 62M| 42 | 283 |2470 |3920 |2470 |2452 | 847 |8231 |7012 | 1.700000e+01 | -- | Inf
682.78/682.93 c 683s| 15700 | 14457 | 5263k| 334.9 | 62M| 42 | 231 |2470 |3890 |2470 |2452 | 847 |8261 |7017 | 1.700000e+01 | -- | Inf
687.87/688.05 c 688s| 15800 | 14552 | 5314k| 336.0 | 62M| 42 | 386 |2470 |3940 |2470 |2452 | 847 |8383 |7060 | 1.700000e+01 | -- | Inf
690.47/690.70 c 691s| 15900 | 14652 | 5348k| 336.0 | 63M| 42 | 355 |2470 |3975 |2470 |2452 | 847 |8473 |7060 | 1.700000e+01 | -- | Inf
693.88/694.03 c 694s| 16000 | 14748 | 5384k| 336.2 | 63M| 42 | 319 |2470 |3945 |2470 |2452 | 847 |8501 |7072 | 1.700000e+01 | -- | Inf
699.77/699.99 c 700s| 16100 | 14840 | 5442k| 337.7 | 63M| 42 | 377 |2470 |4110 |2470 |2452 | 847 |8785 |7097 | 1.700000e+01 | -- | Inf
702.97/703.15 c 703s| 16200 | 14934 | 5482k| 338.0 | 64M| 42 | 375 |2470 |4072 |2470 |2452 | 847 |8805 |7111 | 1.700000e+01 | -- | Inf
706.46/706.64 c 707s| 16300 | 15028 | 5521k| 338.4 | 64M| 42 | 260 |2470 |4054 |2470 |2452 | 847 |8834 |7115 | 1.700000e+01 | -- | Inf
708.76/708.93 c 709s| 16400 | 15114 | 5552k| 338.2 | 64M| 42 | 234 |2470 |4030 |2470 |2452 | 847 |8851 |7117 | 1.700000e+01 | -- | Inf
711.66/711.88 c 712s| 16500 | 15206 | 5592k| 338.5 | 65M| 42 | 349 |2470 |3967 |2470 |2452 | 847 |8893 |7117 | 1.700000e+01 | -- | Inf
717.17/717.36 c 717s| 16600 | 15292 | 5637k| 339.2 | 65M| 42 | 349 |2470 |3905 |2470 |2452 | 847 |8950 |7184 | 1.700000e+01 | -- | Inf
719.96/720.10 c 720s| 16700 | 15392 | 5673k| 339.4 | 65M| 42 | 430 |2470 |3863 |2470 |2452 | 847 |8975 |7191 | 1.700000e+01 | -- | Inf
723.06/723.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
723.06/723.27 c 723s| 16800 | 15484 | 5717k| 340.0 | 65M| 42 | 333 |2470 |3813 |2470 |2452 | 847 |9053 |7191 | 1.700000e+01 | -- | Inf
725.87/726.03 c 726s| 16900 | 15580 | 5756k| 340.3 | 66M| 42 | 371 |2470 |3783 |2470 |2452 | 847 |9126 |7191 | 1.700000e+01 | -- | Inf
728.57/728.73 c 729s| 17000 | 15668 | 5794k| 340.5 | 66M| 42 | 384 |2470 |3733 |2470 |2452 | 847 |9209 |7193 | 1.700000e+01 | -- | Inf
731.76/731.98 c 732s| 17100 | 15758 | 5837k| 341.0 | 66M| 42 | 269 |2470 |3684 |2470 |2452 | 847 |9266 |7193 | 1.700000e+01 | -- | Inf
734.96/735.15 c 735s| 17200 | 15848 | 5877k| 341.4 | 66M| 42 | - |2470 |3645 |2470 |2452 | 847 |9322 |7195 | 1.700000e+01 | -- | Inf
738.96/739.17 c 739s| 17300 | 15940 | 5926k| 342.2 | 67M| 42 | 410 |2470 |3679 |2470 |2452 | 847 |9511 |7195 | 1.700000e+01 | -- | Inf
741.66/741.81 c 742s| 17400 | 16036 | 5965k| 342.5 | 67M| 42 | 354 |2470 |3609 |2470 |2452 | 847 |9526 |7195 | 1.700000e+01 | -- | Inf
745.06/745.25 c 745s| 17500 | 16122 | 6011k| 343.2 | 67M| 42 | 295 |2470 |3675 |2470 |2452 | 847 |9683 |7195 | 1.700000e+01 | -- | Inf
748.16/748.39 c 748s| 17600 | 16210 | 6052k| 343.6 | 68M| 42 | 415 |2470 |3627 |2470 |2452 | 847 |9740 |7204 | 1.700000e+01 | -- | Inf
752.46/752.66 c 753s| 17700 | 16306 | 6093k| 343.9 | 68M| 42 | 296 |2470 |3623 |2470 |2452 | 847 |9805 |7261 | 1.700000e+01 | -- | Inf
756.76/756.98 c 757s| 17800 | 16400 | 6133k| 344.2 | 68M| 42 | 349 |2470 |3634 |2470 |2452 | 847 |9864 |7310 | 1.700000e+01 | -- | Inf
760.16/760.30 c 760s| 17900 | 16490 | 6178k| 344.8 | 69M| 42 | 279 |2470 |3604 |2470 |2452 | 847 |9927 |7328 | 1.700000e+01 | -- | Inf
763.86/764.03 c 764s| 18000 | 16574 | 6216k| 345.0 | 69M| 42 | 685 |2470 |3580 |2470 |2452 | 847 |9969 |7371 | 1.700000e+01 | -- | Inf
767.95/768.18 c 768s| 18100 | 16666 | 6259k| 345.5 | 69M| 42 | 387 |2470 |3682 |2470 |2452 | 847 | 10k|7395 | 1.700000e+01 | -- | Inf
773.66/773.85 c 774s| 18200 | 16756 | 6306k| 346.2 | 69M| 42 | 480 |2470 |3818 |2470 |2452 | 847 | 10k|7455 | 1.700000e+01 | -- | Inf
778.85/779.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
778.85/779.03 c 779s| 18300 | 16843 | 6352k| 346.8 | 70M| 42 | 461 |2470 |3771 |2470 |2452 | 847 | 10k|7505 | 1.700000e+01 | -- | Inf
782.66/782.81 c 783s| 18400 | 16930 | 6392k| 347.1 | 70M| 42 | 282 |2470 |3701 |2470 |2452 | 847 | 10k|7537 | 1.700000e+01 | -- | Inf
786.15/786.33 c 786s| 18500 | 17014 | 6430k| 347.3 | 70M| 42 | 381 |2470 |3673 |2470 |2452 | 847 | 10k|7557 | 1.700000e+01 | -- | Inf
789.85/790.05 c 790s| 18600 | 17106 | 6466k| 347.3 | 71M| 42 | 305 |2470 |3657 |2470 |2452 | 847 | 10k|7600 | 1.700000e+01 | -- | Inf
794.36/794.59 c 795s| 18700 | 17194 | 6514k| 348.0 | 71M| 42 | 382 |2470 |3708 |2470 |2452 | 847 | 10k|7616 | 1.700000e+01 | -- | Inf
798.15/798.33 c 798s| 18800 | 17290 | 6550k| 348.1 | 71M| 42 | 289 |2470 |3706 |2470 |2452 | 847 | 10k|7659 | 1.700000e+01 | -- | Inf
801.85/802.06 c 802s| 18900 | 17374 | 6589k| 348.4 | 72M| 42 | 282 |2470 |3657 |2470 |2452 | 847 | 10k|7701 | 1.700000e+01 | -- | Inf
805.45/805.69 c 806s| 19000 | 17464 | 6630k| 348.6 | 72M| 42 | 448 |2470 |3601 |2470 |2452 | 847 | 10k|7719 | 1.700000e+01 | -- | Inf
809.36/809.59 c 810s| 19100 | 17558 | 6668k| 348.8 | 72M| 44 | 407 |2470 |3589 |2470 |2452 | 847 | 10k|7748 | 1.700000e+01 | -- | Inf
813.05/813.26 c 813s| 19200 | 17658 | 6707k| 349.0 | 72M| 44 | 410 |2470 |3533 |2470 |2452 | 847 | 10k|7808 | 1.700000e+01 | -- | Inf
816.95/817.13 c 817s| 19300 | 17745 | 6747k| 349.3 | 73M| 44 | - |2470 |3598 | 0 | 0 | 847 | 11k|7831 | 1.700000e+01 | -- | Inf
821.35/821.59 c 822s| 19400 | 17830 | 6793k| 349.9 | 73M| 44 | 428 |2470 |3584 |2470 |2452 | 847 | 11k|7865 | 1.700000e+01 | -- | Inf
825.15/825.38 c 825s| 19500 | 17897 | 6829k| 349.9 | 73M| 44 | 297 |2470 |3595 |2470 |2452 | 847 | 11k|7889 | 1.700000e+01 | -- | Inf
829.85/830.02 c 830s| 19600 | 17981 | 6872k| 350.3 | 74M| 44 | 422 |2470 |3668 |2470 |2452 | 847 | 11k|7928 | 1.700000e+01 | -- | Inf
833.75/833.97 c 834s| 19700 | 18075 | 6912k| 350.6 | 74M| 44 | - |2470 |3631 | 0 | 0 | 847 | 11k|7943 | 1.700000e+01 | -- | Inf
837.14/837.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
837.14/837.35 c 837s| 19800 | 18162 | 6946k| 350.5 | 74M| 44 | 322 |2470 |3615 |2470 |2452 | 847 | 11k|7979 | 1.700000e+01 | -- | Inf
841.35/841.57 c 842s| 19900 | 18252 | 6986k| 350.8 | 74M| 44 | 334 |2470 |3594 |2470 |2452 | 847 | 11k|8051 | 1.700000e+01 | -- | Inf
846.04/846.21 c 846s| 20000 | 18348 | 7034k| 351.4 | 75M| 44 | 320 |2470 |3587 |2470 |2452 | 847 | 11k|8089 | 1.700000e+01 | -- | Inf
850.34/850.52 c 851s| 20100 | 18440 | 7077k| 351.8 | 75M| 44 | 622 |2470 |3678 |2470 |2452 | 847 | 11k|8106 | 1.700000e+01 | -- | Inf
855.24/855.48 c 855s| 20200 | 18534 | 7120k| 352.2 | 75M| 44 | 374 |2470 |3924 |2470 |2452 | 847 | 12k|8155 | 1.700000e+01 | -- | Inf
859.34/859.58 c 860s| 20300 | 18630 | 7160k| 352.4 | 76M| 44 | 486 |2470 |3910 |2470 |2452 | 847 | 12k|8196 | 1.700000e+01 | -- | Inf
863.84/864.02 c 864s| 20400 | 18720 | 7207k| 353.0 | 76M| 44 | 375 |2470 |3921 |2470 |2452 | 847 | 12k|8217 | 1.700000e+01 | -- | Inf
869.04/869.20 c 869s| 20500 | 18814 | 7253k| 353.6 | 76M| 44 | 525 |2470 |3983 |2470 |2452 | 847 | 12k|8258 | 1.700000e+01 | -- | Inf
873.74/873.98 c 874s| 20600 | 18906 | 7295k| 353.8 | 77M| 44 | 411 |2470 |4026 |2470 |2452 | 847 | 12k|8296 | 1.700000e+01 | -- | Inf
877.74/877.98 c 878s| 20700 | 18990 | 7334k| 354.0 | 77M| 44 | 416 |2470 |4041 |2470 |2452 | 847 | 12k|8339 | 1.700000e+01 | -- | Inf
882.14/882.34 c 882s| 20800 | 19086 | 7378k| 354.4 | 77M| 44 | 298 |2470 |4038 |2470 |2452 | 847 | 12k|8392 | 1.700000e+01 | -- | Inf
887.04/887.27 c 887s| 20900 | 19178 | 7432k| 355.3 | 78M| 44 | 473 |2470 |4039 |2470 |2452 | 847 | 12k|8427 | 1.700000e+01 | -- | Inf
892.24/892.40 c 892s| 21000 | 19278 | 7486k| 356.2 | 78M| 44 | 443 |2470 |4023 |2470 |2452 | 847 | 12k|8465 | 1.700000e+01 | -- | Inf
896.04/896.20 c 896s| 21100 | 19370 | 7524k| 356.3 | 78M| 44 | 444 |2470 |3941 |2470 |2452 | 847 | 12k|8512 | 1.700000e+01 | -- | Inf
901.64/901.90 c 902s| 21200 | 19468 | 7578k| 357.2 | 78M| 44 | 371 |2470 |3951 |2470 |2452 | 847 | 12k|8566 | 1.700000e+01 | -- | Inf
905.94/906.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
905.94/906.10 c 906s| 21300 | 19566 | 7622k| 357.6 | 79M| 44 | 339 |2470 |3926 |2470 |2452 | 847 | 12k|8614 | 1.700000e+01 | -- | Inf
909.34/909.59 c 910s| 21400 | 19648 | 7659k| 357.6 | 79M| 44 | 479 |2470 |3899 |2470 |2452 | 847 | 13k|8641 | 1.700000e+01 | -- | Inf
914.24/914.46 c 914s| 21500 | 19738 | 7709k| 358.3 | 79M| 44 | 343 |2470 |3854 |2470 |2452 | 847 | 13k|8680 | 1.700000e+01 | -- | Inf
917.84/918.07 c 918s| 21600 | 19826 | 7742k| 358.1 | 79M| 44 | 305 |2470 |3867 |2470 |2452 | 847 | 13k|8709 | 1.700000e+01 | -- | Inf
922.54/922.76 c 923s| 21700 | 19912 | 7786k| 358.5 | 80M| 44 | 262 |2470 |3869 |2470 |2452 | 847 | 13k|8769 | 1.700000e+01 | -- | Inf
926.04/926.21 c 926s| 21800 | 20010 | 7825k| 358.7 | 80M| 44 | 575 |2470 |3864 |2470 |2452 | 847 | 13k|8794 | 1.700000e+01 | -- | Inf
931.63/931.80 c 932s| 21900 | 20104 | 7881k| 359.6 | 80M| 44 | 587 |2470 |3960 |2470 |2452 | 847 | 13k|8812 | 1.700000e+01 | -- | Inf
935.33/935.51 c 936s| 22000 | 20190 | 7914k| 359.5 | 81M| 44 | 283 |2470 |3915 |2470 |2452 | 847 | 13k|8860 | 1.700000e+01 | -- | Inf
939.74/939.90 c 940s| 22100 | 20275 | 7957k| 359.8 | 81M| 44 | 417 |2470 |3893 |2470 |2452 | 847 | 13k|8902 | 1.700000e+01 | -- | Inf
943.43/943.67 c 944s| 22200 | 20355 | 7990k| 359.7 | 81M| 44 | 401 |2470 |3887 |2470 |2452 | 847 | 13k|8952 | 1.700000e+01 | -- | Inf
947.03/947.22 c 947s| 22300 | 20451 | 8027k| 359.7 | 82M| 44 | 480 |2470 |3859 |2470 |2452 | 847 | 13k|8975 | 1.700000e+01 | -- | Inf
952.03/952.23 c 952s| 22400 | 20541 | 8072k| 360.1 | 82M| 44 | 355 |2470 |3903 |2470 |2452 | 847 | 13k|9009 | 1.700000e+01 | -- | Inf
955.73/955.94 c 956s| 22500 | 20631 | 8109k| 360.1 | 82M| 44 | 276 |2470 |3984 |2470 |2452 | 847 | 14k|9035 | 1.700000e+01 | -- | Inf
959.43/959.63 c 960s| 22600 | 20727 | 8144k| 360.1 | 83M| 44 | 557 |2470 |3960 |2470 |2452 | 847 | 14k|9069 | 1.700000e+01 | -- | Inf
962.93/963.13 c 963s| 22700 | 20809 | 8182k| 360.2 | 83M| 44 | 651 |2470 |3914 |2470 |2452 | 847 | 14k|9089 | 1.700000e+01 | -- | Inf
967.42/967.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
967.42/967.65 c 968s| 22800 | 20905 | 8223k| 360.4 | 83M| 44 | 456 |2470 |3922 |2470 |2452 | 847 | 14k|9159 | 1.700000e+01 | -- | Inf
971.53/971.78 c 972s| 22900 | 21001 | 8265k| 360.7 | 83M| 44 | 461 |2470 |3856 |2470 |2452 | 847 | 14k|9179 | 1.700000e+01 | -- | Inf
975.03/975.22 c 975s| 23000 | 21092 | 8305k| 360.9 | 84M| 44 | 326 |2470 |3823 |2470 |2452 | 847 | 14k|9194 | 1.700000e+01 | -- | Inf
980.82/981.09 c 981s| 23100 | 21172 | 8353k| 361.3 | 84M| 44 | 395 |2470 |4203 |2470 |2452 | 847 | 14k|9256 | 1.700000e+01 | -- | Inf
984.62/984.82 c 985s| 23200 | 21265 | 8393k| 361.5 | 84M| 44 | 301 |2470 |4127 |2470 |2452 | 847 | 14k|9278 | 1.700000e+01 | -- | Inf
989.92/990.14 c 990s| 23300 | 21355 | 8439k| 361.9 | 85M| 44 | 693 |2470 |4251 |2470 |2452 | 847 | 15k|9331 | 1.700000e+01 | -- | Inf
994.32/994.56 c 995s| 23400 | 21449 | 8483k| 362.3 | 85M| 44 | 504 |2470 |4062 |2470 |2452 | 847 | 15k|9352 | 1.700000e+01 | -- | Inf
999.42/999.67 c 1000s| 23500 | 21544 | 8527k| 362.6 | 85M| 44 | 502 |2470 |3998 |2470 |2452 | 847 | 15k|9405 | 1.700000e+01 | -- | Inf
1004.41/1004.60 c 1005s| 23600 | 21638 | 8577k| 363.2 | 85M| 44 | 299 |2470 |4068 |2470 |2452 | 847 | 15k|9429 | 1.700000e+01 | -- | Inf
1007.12/1007.33 c 1007s| 23700 | 21722 | 8613k| 363.2 | 86M| 44 | 317 |2470 |4009 |2470 |2452 | 847 | 15k|9438 | 1.700000e+01 | -- | Inf
1010.21/1010.41 c 1010s| 23800 | 21802 | 8650k| 363.2 | 86M| 44 | 426 |2470 |3953 |2470 |2452 | 847 | 15k|9455 | 1.700000e+01 | -- | Inf
1013.71/1013.97 c 1014s| 23900 | 21892 | 8696k| 363.6 | 86M| 44 | 248 |2470 |3903 |2470 |2452 | 847 | 15k|9469 | 1.700000e+01 | -- | Inf
1017.32/1017.55 c 1018s| 24000 | 21982 | 8737k| 363.8 | 87M| 44 | 561 |2470 |3891 |2470 |2452 | 847 | 15k|9473 | 1.700000e+01 | -- | Inf
1021.02/1021.20 c 1021s| 24100 | 22076 | 8783k| 364.2 | 87M| 44 | 316 |2470 |3782 |2470 |2452 | 847 | 15k|9483 | 1.700000e+01 | -- | Inf
1025.11/1025.33 c 1025s| 24200 | 22168 | 8820k| 364.2 | 87M| 44 | - |2470 |3866 |2470 |2452 | 847 | 15k|9498 | 1.700000e+01 | -- | Inf
1028.22/1028.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1028.22/1028.44 c 1028s| 24300 | 22247 | 8853k| 364.1 | 88M| 44 | 450 |2470 |3874 |2470 |2452 | 847 | 15k|9508 | 1.700000e+01 | -- | Inf
1031.71/1031.93 c 1032s| 24400 | 22341 | 8899k| 364.5 | 88M| 44 | 584 |2470 |3898 |2470 |2452 | 847 | 15k|9509 | 1.700000e+01 | -- | Inf
1035.01/1035.21 c 1035s| 24500 | 22435 | 8937k| 364.5 | 88M| 44 | - |2470 |3940 | 0 | 0 | 847 | 16k|9509 | 1.700000e+01 | -- | Inf
1038.41/1038.67 c 1039s| 24600 | 22517 | 8986k| 365.0 | 88M| 44 | 352 |2470 |3949 |2470 |2452 | 847 | 16k|9526 | 1.700000e+01 | -- | Inf
1041.81/1042.02 c 1042s| 24700 | 22613 | 9023k| 365.1 | 89M| 44 | 442 |2470 |3955 |2470 |2452 | 847 | 16k|9527 | 1.700000e+01 | -- | Inf
1044.21/1044.46 c 1044s| 24800 | 22701 | 9055k| 364.9 | 89M| 44 | 338 |2470 |3925 |2470 |2452 | 847 | 16k|9529 | 1.700000e+01 | -- | Inf
1047.41/1047.68 c 1048s| 24900 | 22774 | 9096k| 365.1 | 89M| 44 | 269 |2470 |3939 |2470 |2452 | 847 | 16k|9529 | 1.700000e+01 | -- | Inf
1050.71/1051.00 c 1051s| 25000 | 22862 | 9139k| 365.3 | 90M| 44 | 390 |2470 |3897 |2470 |2452 | 847 | 16k|9531 | 1.700000e+01 | -- | Inf
1053.52/1053.75 c 1054s| 25100 | 22944 | 9176k| 365.4 | 90M| 44 | 243 |2470 |3898 |2470 |2452 | 847 | 16k|9531 | 1.700000e+01 | -- | Inf
1058.31/1058.54 c 1059s| 25200 | 23034 | 9239k| 366.4 | 90M| 44 | 327 |2470 |3978 |2470 |2452 | 847 | 16k|9532 | 1.700000e+01 | -- | Inf
1061.01/1061.29 c 1061s| 25300 | 23122 | 9277k| 366.5 | 90M| 44 | 349 |2470 |3958 |2470 |2452 | 847 | 16k|9532 | 1.700000e+01 | -- | Inf
1064.51/1064.79 c 1065s| 25400 | 23218 | 9328k| 367.0 | 91M| 44 | 275 |2470 |4043 |2470 |2452 | 847 | 16k|9532 | 1.700000e+01 | -- | Inf
1067.21/1067.44 c 1067s| 25500 | 23306 | 9361k| 366.9 | 91M| 44 | 631 |2470 |4046 |2470 |2452 | 847 | 16k|9536 | 1.700000e+01 | -- | Inf
1070.41/1070.66 c 1071s| 25600 | 23398 | 9403k| 367.1 | 91M| 44 | 356 |2470 |4022 |2470 |2452 | 847 | 16k|9541 | 1.700000e+01 | -- | Inf
1073.61/1073.89 c 1074s| 25700 | 23490 | 9443k| 367.2 | 92M| 44 | 400 |2470 |3990 |2470 |2452 | 847 | 16k|9541 | 1.700000e+01 | -- | Inf
1076.21/1076.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1076.21/1076.44 c 1076s| 25800 | 23584 | 9478k| 367.2 | 92M| 44 | 423 |2470 |3982 |2470 |2452 | 847 | 16k|9541 | 1.700000e+01 | -- | Inf
1079.20/1079.46 c 1079s| 25900 | 23675 | 9519k| 367.3 | 92M| 44 | 702 |2470 |3967 |2470 |2452 | 847 | 17k|9543 | 1.700000e+01 | -- | Inf
1082.51/1082.70 c 1083s| 26000 | 23769 | 9559k| 367.4 | 92M| 44 | 415 |2470 |3965 |2470 |2452 | 847 | 17k|9543 | 1.700000e+01 | -- | Inf
1086.71/1086.98 c 1087s| 26100 | 23863 | 9606k| 367.8 | 93M| 44 | 234 |2470 |4066 |2470 |2452 | 847 | 17k|9544 | 1.700000e+01 | -- | Inf
1090.01/1090.25 c 1090s| 26200 | 23955 | 9646k| 368.0 | 93M| 44 | 280 |2470 |4047 |2470 |2452 | 847 | 17k|9560 | 1.700000e+01 | -- | Inf
1093.40/1093.62 c 1094s| 26300 | 24049 | 9685k| 368.0 | 93M| 44 | 310 |2470 |4020 |2470 |2452 | 847 | 17k|9572 | 1.700000e+01 | -- | Inf
1098.21/1098.44 c 1098s| 26400 | 24140 | 9733k| 368.5 | 93M| 44 | 364 |2470 |4072 |2470 |2452 | 847 | 17k|9604 | 1.700000e+01 | -- | Inf
1102.40/1102.64 c 1103s| 26500 | 24222 | 9775k| 368.7 | 94M| 44 | 248 |2470 |4186 |2470 |2452 | 847 | 17k|9631 | 1.700000e+01 | -- | Inf
1107.40/1107.64 c 1108s| 26600 | 24316 | 9824k| 369.1 | 94M| 44 | 364 |2470 |4184 |2470 |2452 | 847 | 17k|9672 | 1.700000e+01 | -- | Inf
1109.90/1110.11 c 1110s| 26700 | 24376 | 9845k| 368.5 | 94M| 51 | - |2470 |4229 | 0 | 0 | 847 | 17k|9709 | 1.700000e+01 | -- | Inf
1114.90/1115.15 c 1115s| 26800 | 24451 | 9884k| 368.6 | 95M| 51 | 591 |2470 |4282 |2470 |2452 | 847 | 17k|9741 | 1.700000e+01 | -- | Inf
1117.50/1117.79 c 1118s| 26900 | 24530 | 9918k| 368.5 | 95M| 51 | 268 |2470 |4238 |2470 |2452 | 847 | 18k|9762 | 1.700000e+01 | -- | Inf
1120.90/1121.15 c 1121s| 27000 | 24612 | 9951k| 368.3 | 95M| 51 | 393 |2470 |4196 |2470 |2452 | 847 | 18k|9801 | 1.700000e+01 | -- | Inf
1124.30/1124.53 c 1125s| 27100 | 24692 | 9990k| 368.4 | 96M| 51 | 377 |2470 |4174 |2470 |2452 | 847 | 18k|9813 | 1.700000e+01 | -- | Inf
1128.00/1128.22 c 1128s| 27200 | 24778 | 10028k| 368.5 | 96M| 51 | 434 |2470 |4117 |2470 |2452 | 847 | 18k|9860 | 1.700000e+01 | -- | Inf
1131.70/1131.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1131.70/1131.99 c 1132s| 27300 | 24869 | 10063k| 368.4 | 96M| 51 | 265 |2470 |4217 |2470 |2452 | 847 | 18k|9885 | 1.700000e+01 | -- | Inf
1136.10/1136.39 c 1136s| 27400 | 24959 | 10111k| 368.8 | 96M| 51 | 490 |2470 |4194 |2470 |2452 | 847 | 18k|9909 | 1.700000e+01 | -- | Inf
1140.10/1140.32 c 1140s| 27500 | 25048 | 10150k| 368.9 | 97M| 51 | 659 |2470 |4210 |2470 |2452 | 847 | 18k|9938 | 1.700000e+01 | -- | Inf
1143.20/1143.49 c 1143s| 27600 | 25137 | 10184k| 368.8 | 97M| 51 | - |2470 |4178 |2470 |2452 | 847 | 18k|9968 | 1.700000e+01 | -- | Inf
1147.70/1147.99 c 1148s| 27700 | 25213 | 10222k| 368.8 | 98M| 51 | 328 |2470 |4322 |2470 |2452 | 847 | 18k| 10k| 1.700000e+01 | -- | Inf
1152.50/1152.78 c 1153s| 27800 | 25296 | 10272k| 369.3 | 98M| 51 | 396 |2470 |4437 |2470 |2452 | 847 | 19k| 10k| 1.700000e+01 | -- | Inf
1155.49/1155.73 c 1156s| 27900 | 25377 | 10302k| 369.1 | 98M| 51 | 236 |2470 |4384 |2470 |2452 | 847 | 19k| 10k| 1.700000e+01 | -- | Inf
1159.69/1159.98 c 1160s| 28000 | 25465 | 10342k| 369.1 | 98M| 51 | 486 |2470 |4322 |2470 |2452 | 847 | 19k| 10k| 1.700000e+01 | -- | Inf
1162.69/1162.93 c 1163s| 28100 | 25547 | 10374k| 369.0 | 99M| 51 | 290 |2470 |4298 |2470 |2452 | 847 | 19k| 10k| 1.700000e+01 | -- | Inf
1167.39/1167.62 c 1168s| 28200 | 25628 | 10411k| 369.0 | 99M| 51 | 255 |2470 |4352 |2470 |2452 | 847 | 19k| 10k| 1.700108e+01 | -- | Inf
1170.49/1170.75 c 1171s| 28300 | 25710 | 10451k| 369.1 | 99M| 51 | 573 |2470 |4374 |2470 |2452 | 847 | 19k| 10k| 1.700108e+01 | -- | Inf
1173.89/1174.14 c 1174s| 28400 | 25800 | 10491k| 369.2 | 100M| 51 | 317 |2470 |4349 |2470 |2452 | 847 | 19k| 10k| 1.700108e+01 | -- | Inf
1177.59/1177.89 c 1178s| 28500 | 25878 | 10523k| 369.0 | 100M| 51 | 333 |2470 |4415 |2470 |2452 | 847 | 19k| 10k| 1.733333e+01 | -- | Inf
1180.59/1180.81 c 1181s| 28600 | 25961 | 10553k| 368.8 | 100M| 51 | 421 |2470 |4375 |2470 |2452 | 847 | 19k| 10k| 1.733333e+01 | -- | Inf
1185.69/1185.98 c 1186s| 28700 | 26055 | 10597k| 369.0 | 100M| 51 | 524 |2470 |4483 |2470 |2452 | 847 | 19k| 10k| 1.733333e+01 | -- | Inf
1188.89/1189.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1188.89/1189.14 c 1189s| 28800 | 26146 | 10631k| 368.9 | 101M| 51 | 588 |2470 |4425 |2470 |2452 | 847 | 19k| 10k| 1.733333e+01 | -- | Inf
1194.59/1194.82 c 1195s| 28900 | 26215 | 10685k| 369.5 | 101M| 51 | 413 |2470 |4458 |2470 |2452 | 847 | 20k| 10k| 1.733333e+01 | -- | Inf
1197.49/1197.77 c 1198s| 29000 | 26297 | 10713k| 369.2 | 101M| 51 | 811 |2470 |4408 |2470 |2452 | 847 | 20k| 10k| 1.733333e+01 | -- | Inf
1201.09/1201.31 c 1201s| 29100 | 26377 | 10751k| 369.3 | 101M| 51 | 295 |2470 |4383 |2470 |2452 | 847 | 20k| 10k| 1.733333e+01 | -- | Inf
1204.59/1204.84 c 1205s| 29200 | 26464 | 10784k| 369.1 | 102M| 51 | 281 |2470 |4342 |2470 |2452 | 847 | 20k| 10k| 1.750000e+01 | -- | Inf
1207.09/1207.35 c 1207s| 29300 | 26536 | 10812k| 368.8 | 102M| 51 | 341 |2470 |4304 |2470 |2452 | 847 | 20k| 10k| 1.750000e+01 | -- | Inf
1212.00/1212.28 c 1212s| 29400 | 26622 | 10857k| 369.1 | 102M| 51 | 271 |2470 |4415 |2470 |2452 | 847 | 20k| 10k| 1.750000e+01 | -- | Inf
1215.39/1215.69 c 1216s| 29500 | 26701 | 10886k| 368.8 | 103M| 51 | 237 |2470 |4352 |2470 |2452 | 847 | 20k| 10k| 1.750000e+01 | -- | Inf
1220.19/1220.43 c 1220s| 29600 | 26794 | 10938k| 369.3 | 103M| 51 | 582 |2470 |4418 |2470 |2452 | 847 | 20k| 10k| 1.750000e+01 | -- | Inf
1224.98/1225.26 c 1225s| 29700 | 26879 | 10986k| 369.7 | 103M| 51 | 330 |2470 |4474 |2470 |2452 | 847 | 20k| 10k| 1.750000e+01 | -- | Inf
1228.98/1229.23 c 1229s| 29800 | 26967 | 11026k| 369.8 | 103M| 51 | 351 |2470 |4467 |2470 |2452 | 847 | 20k| 10k| 1.750000e+01 | -- | Inf
1232.18/1232.49 c 1232s| 29900 | 27049 | 11059k| 369.7 | 104M| 51 | 299 |2470 |4391 |2470 |2452 | 847 | 21k| 10k| 1.750000e+01 | -- | Inf
1236.09/1236.37 c 1236s| 30000 | 27135 | 11100k| 369.8 | 104M| 51 | 567 |2470 |4407 |2470 |2452 | 847 | 21k| 10k| 1.750000e+01 | -- | Inf
1239.28/1239.60 c 1240s| 30100 | 27214 | 11130k| 369.6 | 104M| 51 | 329 |2470 |4421 |2470 |2452 | 847 | 21k| 10k| 1.750000e+01 | -- | Inf
1242.58/1242.90 c 1243s| 30200 | 27302 | 11165k| 369.5 | 105M| 51 | 268 |2470 |4378 |2470 |2452 | 847 | 21k| 10k| 1.750000e+01 | -- | Inf
1247.28/1247.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1247.28/1247.51 c 1248s| 30300 | 27384 | 11203k| 369.6 | 105M| 51 | 368 |2470 |4428 |2470 |2452 | 847 | 21k| 10k| 1.750000e+01 | -- | Inf
1250.78/1251.05 c 1251s| 30400 | 27466 | 11239k| 369.5 | 105M| 51 | 482 |2470 |4398 |2470 |2452 | 847 | 21k| 10k| 1.766667e+01 | -- | Inf
1254.98/1255.21 c 1255s| 30500 | 27558 | 11278k| 369.6 | 106M| 51 | 299 |2470 |4407 |2470 |2452 | 847 | 21k| 10k| 1.766667e+01 | -- | Inf
1259.28/1259.59 c 1260s| 30600 | 27644 | 11323k| 369.9 | 106M| 51 | 321 |2470 |4412 |2470 |2452 | 847 | 21k| 10k| 1.766667e+01 | -- | Inf
1263.97/1264.26 c 1264s| 30700 | 27726 | 11372k| 370.2 | 106M| 51 | 606 |2470 |4495 |2470 |2452 | 847 | 21k| 11k| 1.766667e+01 | -- | Inf
1267.27/1267.58 c 1268s| 30800 | 27808 | 11408k| 370.2 | 107M| 51 | 375 |2470 |4483 |2470 |2452 | 847 | 22k| 11k| 1.766667e+01 | -- | Inf
1270.47/1270.73 c 1271s| 30900 | 27882 | 11438k| 370.0 | 107M| 51 | 257 |2470 |4428 |2470 |2452 | 847 | 22k| 11k| 1.766667e+01 | -- | Inf
1273.87/1274.13 c 1274s| 31000 | 27964 | 11472k| 369.9 | 107M| 51 | 392 |2470 |4380 |2470 |2452 | 847 | 22k| 11k| 1.766667e+01 | -- | Inf
1277.77/1278.07 c 1278s| 31100 | 28052 | 11510k| 369.9 | 107M| 51 | 502 |2470 |4327 |2470 |2452 | 847 | 22k| 11k| 1.766667e+01 | -- | Inf
1281.77/1282.05 c 1282s| 31200 | 28128 | 11554k| 370.1 | 108M| 51 | 356 |2470 |4329 |2470 |2452 | 847 | 22k| 11k| 1.766667e+01 | -- | Inf
1285.58/1285.84 c 1286s| 31300 | 28207 | 11597k| 370.3 | 108M| 51 | 310 |2470 |4277 |2470 |2452 | 847 | 22k| 11k| 1.800000e+01 | -- | Inf
1290.57/1290.83 c 1291s| 31400 | 28289 | 11645k| 370.7 | 108M| 51 | 396 |2470 |4253 |2470 |2452 | 847 | 22k| 11k| 1.800000e+01 | -- | Inf
1294.37/1294.69 c 1295s| 31500 | 28383 | 11687k| 370.8 | 109M| 51 | 629 |2470 |4183 |2470 |2452 | 847 | 22k| 11k| 1.800000e+01 | -- | Inf
1299.37/1299.69 c 1300s| 31600 | 28464 | 11739k| 371.3 | 109M| 51 | 362 |2470 |4192 |2470 |2452 | 847 | 22k| 11k| 1.800000e+01 | -- | Inf
1303.47/1303.73 c 1304s| 31700 | 28552 | 11779k| 371.4 | 109M| 51 | 300 |2470 |4140 |2470 |2452 | 847 | 22k| 11k| 1.800000e+01 | -- | Inf
1307.46/1307.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1307.46/1307.73 c 1308s| 31800 | 28634 | 11820k| 371.5 | 110M| 51 | 363 |2470 |4140 |2470 |2452 | 847 | 22k| 11k| 1.800000e+01 | -- | Inf
1310.67/1310.94 c 1311s| 31900 | 28697 | 11850k| 371.3 | 110M| 51 | 343 |2470 |4125 |2470 |2452 | 847 | 22k| 11k| 1.800000e+01 | -- | Inf
1315.16/1315.42 c 1315s| 32000 | 28777 | 11904k| 371.8 | 110M| 51 | 471 |2470 |4175 |2470 |2452 | 847 | 23k| 11k| 1.800000e+01 | -- | Inf
1317.97/1318.28 c 1318s| 32100 | 28862 | 11931k| 371.5 | 111M| 51 | 523 |2470 |4140 |2470 |2452 | 847 | 23k| 11k| 1.800000e+01 | -- | Inf
1321.76/1322.01 c 1322s| 32200 | 28948 | 11967k| 371.5 | 111M| 51 | 523 |2470 |4122 |2470 |2452 | 847 | 23k| 11k| 1.800000e+01 | -- | Inf
1325.17/1325.42 c 1325s| 32300 | 29029 | 12001k| 371.4 | 111M| 51 | 225 |2470 |4137 |2470 |2452 | 847 | 23k| 11k| 1.800000e+01 | -- | Inf
1328.57/1328.86 c 1329s| 32400 | 29109 | 12036k| 371.3 | 112M| 51 | 372 |2470 |4117 |2470 |2452 | 847 | 23k| 11k| 1.800000e+01 | -- | Inf
1333.06/1333.31 c 1333s| 32500 | 29189 | 12080k| 371.5 | 112M| 51 | 456 |2470 |4270 |2470 |2452 | 847 | 23k| 11k| 1.800000e+01 | -- | Inf
1336.47/1336.70 c 1337s| 32600 | 29266 | 12116k| 371.5 | 112M| 51 | 344 |2470 |4280 |2470 |2452 | 847 | 23k| 11k| 1.800000e+01 | -- | Inf
1341.07/1341.34 c 1341s| 32700 | 29350 | 12155k| 371.5 | 113M| 51 | 305 |2470 |4442 |2470 |2452 | 847 | 23k| 11k| 1.800000e+01 | -- | Inf
1345.36/1345.61 c 1346s| 32800 | 29433 | 12198k| 371.7 | 113M| 51 | 719 |2470 |4454 |2470 |2452 | 847 | 23k| 11k| 1.800000e+01 | -- | Inf
1348.27/1348.51 c 1349s| 32900 | 29516 | 12228k| 371.5 | 113M| 51 | 280 |2470 |4499 |2470 |2452 | 847 | 24k| 11k| 1.800000e+01 | -- | Inf
1352.36/1352.62 c 1353s| 33000 | 29594 | 12268k| 371.6 | 114M| 51 | 484 |2470 |4499 |2470 |2452 | 847 | 24k| 11k| 1.800000e+01 | -- | Inf
1356.16/1356.44 c 1356s| 33100 | 29664 | 12302k| 371.5 | 114M| 51 | - |2470 |4515 |2470 |2452 | 847 | 24k| 11k| 1.800000e+01 | -- | Inf
1358.66/1358.91 c 1359s| 33200 | 29740 | 12334k| 371.3 | 114M| 51 | 589 |2470 |4444 |2470 |2452 | 847 | 24k| 11k| 1.800000e+01 | -- | Inf
1362.76/1363.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1362.76/1363.00 c 1363s| 33300 | 29817 | 12383k| 371.7 | 114M| 51 | 288 |2470 |4436 |2470 |2452 | 847 | 24k| 11k| 1.800000e+01 | -- | Inf
1367.16/1367.46 c 1367s| 33400 | 29905 | 12432k| 372.1 | 115M| 51 | 298 |2470 |4425 |2470 |2452 | 847 | 24k| 11k| 1.800000e+01 | -- | Inf
1370.27/1370.56 c 1371s| 33500 | 29992 | 12470k| 372.1 | 115M| 51 | 448 |2470 |4479 |2470 |2452 | 847 | 24k| 11k| 1.800000e+01 | -- | Inf
1373.06/1373.33 c 1373s| 33600 | 30070 | 12507k| 372.1 | 115M| 51 | 313 |2470 |4421 |2470 |2452 | 847 | 24k| 11k| 1.800000e+01 | -- | Inf
1375.26/1375.53 c 1376s| 33700 | 30134 | 12538k| 371.9 | 116M| 51 | 355 |2470 |4377 |2470 |2452 | 847 | 24k| 11k| 1.800000e+01 | -- | Inf
1378.06/1378.36 c 1378s| 33800 | 30216 | 12576k| 371.9 | 116M| 51 | 563 |2470 |4355 |2470 |2452 | 847 | 24k| 11k| 1.800000e+01 | -- | Inf
1381.75/1382.08 c 1382s| 33900 | 30300 | 12621k| 372.1 | 116M| 51 | 361 |2470 |4302 |2470 |2452 | 847 | 25k| 11k| 1.800000e+01 | -- | Inf
1384.85/1385.14 c 1385s| 34000 | 30379 | 12657k| 372.1 | 117M| 51 | - |2470 |4405 |2470 |2452 | 847 | 25k| 11k| 1.800000e+01 | -- | Inf
1387.36/1387.70 c 1388s| 34100 | 30456 | 12687k| 371.9 | 117M| 51 | 459 |2470 |4369 |2470 |2452 | 847 | 25k| 11k| 1.800000e+01 | -- | Inf
1391.95/1392.29 c 1392s| 34200 | 30537 | 12741k| 372.4 | 117M| 51 | 325 |2470 |4478 |2470 |2452 | 847 | 25k| 11k| 1.800000e+01 | -- | Inf
1396.45/1396.78 c 1397s| 34300 | 30631 | 12805k| 373.2 | 118M| 51 | 236 |2470 |4482 |2470 |2452 | 847 | 25k| 11k| 1.800000e+01 | -- | Inf
1399.15/1399.45 c 1399s| 34400 | 30719 | 12841k| 373.1 | 118M| 51 | 358 |2470 |4435 |2470 |2452 | 847 | 25k| 11k| 1.800000e+01 | -- | Inf
1401.65/1401.97 c 1402s| 34500 | 30788 | 12876k| 373.1 | 118M| 51 | 584 |2470 |4401 |2470 |2452 | 847 | 25k| 11k| 1.800000e+01 | -- | Inf
1404.15/1404.47 c 1404s| 34600 | 30882 | 12911k| 373.0 | 118M| 51 | 346 |2470 |4364 |2470 |2452 | 847 | 25k| 11k| 1.800000e+01 | -- | Inf
1407.76/1408.06 c 1408s| 34700 | 30970 | 12952k| 373.1 | 119M| 51 | 304 |2470 |4377 |2470 |2452 | 847 | 25k| 11k| 1.800000e+01 | -- | Inf
1410.45/1410.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1410.45/1410.78 c 1411s| 34800 | 31047 | 12991k| 373.1 | 119M| 51 | 298 |2470 |4370 |2470 |2452 | 847 | 25k| 11k| 1.800000e+01 | -- | Inf
1412.95/1413.23 c 1413s| 34900 | 31133 | 13027k| 373.1 | 119M| 51 | 487 |2470 |4346 |2470 |2452 | 847 | 26k| 11k| 1.800000e+01 | -- | Inf
1415.46/1415.78 c 1416s| 35000 | 31217 | 13059k| 372.9 | 120M| 51 | - |2470 |4301 | 0 | 0 | 847 | 26k| 11k| 1.800000e+01 | -- | Inf
1418.45/1418.71 c 1419s| 35100 | 31303 | 13099k| 373.0 | 120M| 51 | - |2470 |4301 |2470 |2452 | 847 | 26k| 11k| 1.800000e+01 | -- | Inf
1421.65/1421.98 c 1422s| 35200 | 31383 | 13145k| 373.3 | 121M| 51 | 335 |2470 |4323 |2470 |2452 | 847 | 26k| 11k| 1.800000e+01 | -- | Inf
1425.15/1425.45 c 1425s| 35300 | 31471 | 13189k| 373.5 | 121M| 51 | 369 |2470 |4375 |2470 |2452 | 847 | 26k| 11k| 1.800000e+01 | -- | Inf
1427.65/1427.96 c 1428s| 35400 | 31557 | 13220k| 373.3 | 121M| 51 | 504 |2470 |4317 |2470 |2452 | 847 | 26k| 11k| 1.800000e+01 | -- | Inf
1430.24/1430.56 c 1431s| 35500 | 31637 | 13253k| 373.2 | 122M| 51 | 338 |2470 |4291 |2470 |2452 | 847 | 26k| 11k| 1.800000e+01 | -- | Inf
1432.64/1432.91 c 1433s| 35600 | 31715 | 13285k| 373.0 | 122M| 51 | 261 |2470 |4269 |2470 |2452 | 847 | 26k| 11k| 1.800000e+01 | -- | Inf
1435.85/1436.15 c 1436s| 35700 | 31802 | 13328k| 373.2 | 122M| 51 | 403 |2470 |4283 |2470 |2452 | 847 | 26k| 11k| 1.800000e+01 | -- | Inf
1438.04/1438.39 c 1438s| 35800 | 31887 | 13358k| 373.0 | 123M| 51 | 303 |2470 |4250 |2470 |2452 | 847 | 26k| 11k| 1.800000e+01 | -- | Inf
1441.04/1441.35 c 1441s| 35900 | 31961 | 13391k| 372.9 | 123M| 51 | 532 |2470 |4255 |2470 |2452 | 847 | 26k| 11k| 1.800000e+01 | -- | Inf
1443.25/1443.53 c 1444s| 36000 | 32043 | 13423k| 372.7 | 123M| 51 | 311 |2470 |4216 |2470 |2452 | 847 | 26k| 11k| 1.800000e+01 | -- | Inf
1446.15/1446.46 c 1446s| 36100 | 32125 | 13459k| 372.7 | 124M| 51 | 327 |2470 |4210 |2470 |2452 | 847 | 26k| 11k| 1.800000e+01 | -- | Inf
1449.94/1450.26 c 1450s| 36200 | 32205 | 13501k| 372.8 | 124M| 51 | 353 |2470 |4295 |2470 |2452 | 847 | 27k| 11k| 1.800000e+01 | -- | Inf
1451.94/1452.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1451.94/1452.26 c 1452s| 36300 | 32289 | 13527k| 372.5 | 124M| 51 | 434 |2470 |4273 |2470 |2452 | 847 | 27k| 11k| 1.800000e+01 | -- | Inf
1454.45/1454.72 c 1455s| 36400 | 32373 | 13562k| 372.4 | 125M| 51 | 325 |2470 |4231 |2470 |2452 | 847 | 27k| 11k| 1.800000e+01 | -- | Inf
1458.74/1459.00 c 1459s| 36500 | 32459 | 13612k| 372.8 | 125M| 51 | 382 |2470 |4428 |2470 |2452 | 847 | 27k| 11k| 1.800000e+01 | -- | Inf
1461.65/1461.93 c 1462s| 36600 | 32531 | 13649k| 372.8 | 125M| 51 | - |2470 |4415 |2470 |2452 | 847 | 27k| 11k| 1.800000e+01 | -- | Inf
1464.24/1464.58 c 1465s| 36700 | 32609 | 13684k| 372.7 | 126M| 51 | 763 |2470 |4438 |2470 |2452 | 847 | 27k| 11k| 1.800000e+01 | -- | Inf
1466.75/1467.00 c 1467s| 36800 | 32689 | 13718k| 372.6 | 126M| 51 | 373 |2470 |4438 |2470 |2452 | 847 | 27k| 11k| 1.800000e+01 | -- | Inf
1469.04/1469.32 c 1469s| 36900 | 32769 | 13744k| 372.3 | 126M| 51 | 405 |2470 |4368 |2470 |2452 | 847 | 27k| 11k| 1.800000e+01 | -- | Inf
1474.24/1474.57 c 1475s| 37000 | 32852 | 13794k| 372.7 | 127M| 51 | 248 |2470 |4415 |2470 |2452 | 847 | 28k| 11k| 1.800000e+01 | -- | Inf
1477.14/1477.43 c 1477s| 37100 | 32938 | 13827k| 372.6 | 127M| 51 | 305 |2470 |4380 |2470 |2452 | 847 | 28k| 11k| 1.800000e+01 | -- | Inf
1481.45/1481.71 c 1482s| 37200 | 33022 | 13867k| 372.6 | 127M| 51 | 307 |2470 |4394 |2470 |2452 | 847 | 28k| 11k| 1.800000e+01 | -- | Inf
1485.13/1485.44 c 1485s| 37300 | 33110 | 13906k| 372.7 | 128M| 51 | 342 |2470 |4423 |2470 |2452 | 847 | 28k| 11k| 1.800000e+01 | -- | Inf
1488.54/1488.87 c 1489s| 37400 | 33192 | 13942k| 372.6 | 128M| 51 | 547 |2470 |4407 |2470 |2452 | 847 | 28k| 12k| 1.800000e+01 | -- | Inf
1491.44/1491.76 c 1492s| 37500 | 33274 | 13975k| 372.5 | 128M| 51 | 386 |2470 |4362 |2470 |2452 | 847 | 28k| 12k| 1.800000e+01 | -- | Inf
1494.54/1494.90 c 1495s| 37600 | 33355 | 14006k| 372.3 | 129M| 51 | 369 |2470 |4329 |2470 |2452 | 847 | 28k| 12k| 1.800000e+01 | -- | Inf
1497.53/1497.85 c 1498s| 37700 | 33437 | 14041k| 372.3 | 129M| 51 | 390 |2470 |4268 |2470 |2452 | 847 | 28k| 12k| 1.800000e+01 | -- | Inf
1500.74/1501.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1500.74/1501.07 c 1501s| 37800 | 33517 | 14072k| 372.1 | 129M| 51 | 355 |2470 |4237 |2470 |2452 | 847 | 28k| 12k| 1.800000e+01 | -- | Inf
1504.33/1504.70 c 1505s| 37900 | 33589 | 14109k| 372.1 | 129M| 51 | 377 |2470 |4218 |2470 |2452 | 847 | 28k| 12k| 1.800000e+01 | -- | Inf
1507.75/1508.08 c 1508s| 38000 | 33681 | 14145k| 372.1 | 130M| 51 | 390 |2470 |4190 |2470 |2452 | 847 | 28k| 12k| 1.800000e+01 | -- | Inf
1511.44/1511.72 c 1512s| 38100 | 33757 | 14186k| 372.2 | 130M| 51 | 479 |2470 |4191 |2470 |2452 | 847 | 28k| 12k| 1.800000e+01 | -- | Inf
1514.94/1515.25 c 1515s| 38200 | 33834 | 14224k| 372.2 | 130M| 51 | - |2470 |4161 | 0 | 0 | 847 | 28k| 12k| 1.800000e+01 | -- | Inf
1518.54/1518.89 c 1519s| 38300 | 33910 | 14258k| 372.1 | 131M| 51 | 416 |2470 |4187 |2470 |2452 | 847 | 29k| 12k| 1.800000e+01 | -- | Inf
1521.33/1521.68 c 1522s| 38400 | 33976 | 14285k| 371.9 | 131M| 51 | 249 |2470 |4189 |2470 |2452 | 847 | 29k| 12k| 1.800000e+01 | -- | Inf
1524.73/1525.06 c 1525s| 38500 | 34053 | 14320k| 371.8 | 131M| 51 | 461 |2470 |4166 |2470 |2452 | 847 | 29k| 12k| 1.800000e+01 | -- | Inf
1527.74/1528.09 c 1528s| 38600 | 34136 | 14355k| 371.7 | 132M| 51 | 257 |2470 |4119 |2470 |2452 | 847 | 29k| 12k| 1.800000e+01 | -- | Inf
1531.94/1532.21 c 1532s| 38700 | 34220 | 14400k| 371.9 | 132M| 51 | 329 |2470 |4150 |2470 |2452 | 847 | 29k| 12k| 1.800000e+01 | -- | Inf
1535.04/1535.34 c 1535s| 38800 | 34301 | 14431k| 371.8 | 132M| 51 | 300 |2470 |4111 |2470 |2452 | 847 | 29k| 12k| 1.800000e+01 | -- | Inf
1539.33/1539.61 c 1540s| 38900 | 34385 | 14473k| 371.9 | 132M| 51 | 271 |2470 |4202 |2470 |2452 | 847 | 29k| 12k| 1.800000e+01 | -- | Inf
1541.94/1542.23 c 1542s| 39000 | 34446 | 14502k| 371.7 | 133M| 51 | 450 |2470 |4171 |2470 |2452 | 847 | 29k| 12k| 1.800000e+01 | -- | Inf
1546.03/1546.38 c 1546s| 39100 | 34520 | 14542k| 371.8 | 133M| 51 | 460 |2470 |4186 |2470 |2452 | 847 | 29k| 12k| 1.800000e+01 | -- | Inf
1548.93/1549.23 c 1549s| 39200 | 34609 | 14577k| 371.7 | 133M| 51 | 225 |2470 |4195 |2470 |2452 | 847 | 29k| 12k| 1.800000e+01 | -- | Inf
1552.83/1553.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1552.83/1553.15 c 1553s| 39300 | 34693 | 14619k| 371.8 | 134M| 51 | - |2470 |4212 | 0 | 0 | 847 | 30k| 12k| 1.800000e+01 | -- | Inf
1556.23/1556.51 c 1557s| 39400 | 34767 | 14650k| 371.7 | 134M| 51 | 562 |2470 |4226 |2470 |2452 | 847 | 30k| 12k| 1.800000e+01 | -- | Inf
1559.62/1559.92 c 1560s| 39500 | 34839 | 14688k| 371.7 | 135M| 51 | 385 |2470 |4267 |2470 |2452 | 847 | 30k| 12k| 1.800000e+01 | -- | Inf
1563.02/1563.35 c 1563s| 39600 | 34914 | 14724k| 371.7 | 135M| 51 | 271 |2470 |4301 |2470 |2452 | 847 | 30k| 12k| 1.800000e+01 | -- | Inf
1566.32/1566.62 c 1567s| 39700 | 34994 | 14759k| 371.6 | 135M| 51 | 854 |2470 |4296 |2470 |2452 | 847 | 30k| 12k| 1.800000e+01 | -- | Inf
1569.72/1570.02 c 1570s| 39800 | 35076 | 14793k| 371.5 | 136M| 51 | 440 |2470 |4286 |2470 |2452 | 847 | 30k| 12k| 1.800000e+01 | -- | Inf
1574.03/1574.37 c 1574s| 39900 | 35168 | 14839k| 371.8 | 136M| 51 | - |2470 |4264 | 0 | 0 | 847 | 30k| 12k| 1.800000e+01 | -- | Inf
1576.32/1576.68 c 1577s| 40000 | 35236 | 14866k| 371.5 | 136M| 51 | - |2470 |4257 | 0 | 0 | 847 | 30k| 12k| 1.800000e+01 | -- | Inf
1579.82/1580.11 c 1580s| 40100 | 35316 | 14902k| 371.5 | 137M| 51 | - |2470 |4211 |2470 |2452 | 847 | 30k| 12k| 1.800000e+01 | -- | Inf
1583.82/1584.19 c 1584s| 40200 | 35394 | 14936k| 371.4 | 137M| 51 | 421 |2470 |4293 |2470 |2452 | 847 | 30k| 12k| 1.800000e+01 | -- | Inf
1588.22/1588.54 c 1589s| 40300 | 35480 | 14987k| 371.8 | 137M| 51 | 305 |2470 |4360 |2470 |2452 | 847 | 30k| 12k| 1.800000e+01 | -- | Inf
1591.02/1591.33 c 1591s| 40400 | 35569 | 15019k| 371.6 | 138M| 51 | 379 |2470 |4298 |2470 |2452 | 847 | 30k| 12k| 1.800000e+01 | -- | Inf
1595.32/1595.62 c 1596s| 40500 | 35649 | 15061k| 371.7 | 138M| 51 | 300 |2470 |4306 |2470 |2452 | 847 | 31k| 12k| 1.800000e+01 | -- | Inf
1597.52/1597.84 c 1598s| 40600 | 35715 | 15083k| 371.4 | 138M| 51 | - |2470 |4296 |2470 |2452 | 847 | 31k| 12k| 1.800000e+01 | -- | Inf
1601.71/1602.09 c 1602s| 40700 | 35788 | 15115k| 371.2 | 139M| 51 | 356 |2470 |4384 |2470 |2452 | 847 | 31k| 12k| 1.800000e+01 | -- | Inf
1604.01/1604.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1604.01/1604.30 c 1604s| 40800 | 35861 | 15143k| 371.0 | 139M| 51 | 266 |2470 |4340 |2470 |2452 | 847 | 31k| 12k| 1.800000e+01 | -- | Inf
1608.21/1608.58 c 1609s| 40900 | 35944 | 15189k| 371.2 | 139M| 51 | 424 |2470 |4321 |2470 |2452 | 847 | 31k| 12k| 1.800000e+01 | -- | Inf
1611.42/1611.76 c 1612s| 41000 | 36029 | 15226k| 371.2 | 140M| 51 | 365 |2470 |4273 |2470 |2452 | 847 | 31k| 12k| 1.800000e+01 | -- | Inf
1613.52/1613.83 c 1614s| 41100 | 36087 | 15245k| 370.8 | 140M| 51 | 302 |2470 |4285 |2470 |2452 | 847 | 31k| 12k| 1.800000e+01 | -- | Inf
1619.42/1619.70 c 1620s| 41200 | 36176 | 15305k| 371.3 | 141M| 51 | 350 |2470 |4414 |2470 |2452 | 847 | 31k| 12k| 1.800000e+01 | -- | Inf
1623.22/1623.51 c 1624s| 41300 | 36254 | 15340k| 371.3 | 141M| 51 | 358 |2470 |4414 |2470 |2452 | 847 | 32k| 12k| 1.800000e+01 | -- | Inf
1626.21/1626.52 c 1627s| 41400 | 36336 | 15373k| 371.2 | 141M| 51 | 300 |2470 |4419 |2470 |2452 | 847 | 32k| 12k| 1.800000e+01 | -- | Inf
1628.22/1628.57 c 1629s| 41500 | 36398 | 15393k| 370.8 | 142M| 51 | 426 |2470 |4393 |2470 |2452 | 847 | 32k| 12k| 1.800000e+01 | -- | Inf
1631.21/1631.58 c 1632s| 41600 | 36478 | 15429k| 370.7 | 142M| 51 | 361 |2470 |4326 |2470 |2452 | 847 | 32k| 12k| 1.800000e+01 | -- | Inf
1633.92/1634.28 c 1634s| 41700 | 36562 | 15456k| 370.5 | 142M| 51 | 309 |2470 |4295 |2470 |2452 | 847 | 32k| 13k| 1.800000e+01 | -- | Inf
1636.32/1636.65 c 1637s| 41800 | 36628 | 15479k| 370.2 | 143M| 51 | 555 |2470 |4271 |2470 |2452 | 847 | 32k| 13k| 1.800000e+01 | -- | Inf
1639.91/1640.23 c 1640s| 41900 | 36703 | 15514k| 370.1 | 143M| 51 | 413 |2470 |4222 |2470 |2452 | 847 | 32k| 13k| 1.800000e+01 | -- | Inf
1643.91/1644.23 c 1644s| 42000 | 36777 | 15555k| 370.2 | 143M| 51 | 304 |2470 |4237 |2470 |2452 | 847 | 32k| 13k| 1.800000e+01 | -- | Inf
1646.71/1647.04 c 1647s| 42100 | 36846 | 15583k| 370.0 | 143M| 51 | - |2470 |4221 | 0 | 0 | 847 | 32k| 13k| 1.800000e+01 | -- | Inf
1649.91/1650.21 c 1650s| 42200 | 36912 | 15613k| 369.9 | 144M| 51 | 404 |2470 |4221 |2470 |2452 | 847 | 32k| 13k| 1.800000e+01 | -- | Inf
1654.02/1654.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1654.02/1654.35 c 1654s| 42300 | 37002 | 15657k| 370.0 | 144M| 51 | 318 |2470 |4312 |2470 |2452 | 847 | 32k| 13k| 1.800000e+01 | -- | Inf
1657.11/1657.42 c 1657s| 42400 | 37081 | 15691k| 369.9 | 145M| 51 | 319 |2470 |4266 |2470 |2452 | 847 | 32k| 13k| 1.800000e+01 | -- | Inf
1659.11/1659.48 c 1659s| 42500 | 37151 | 15712k| 369.6 | 145M| 51 | - |2470 |4240 |2470 |2452 | 847 | 32k| 13k| 1.800000e+01 | -- | Inf
1662.41/1662.72 c 1663s| 42600 | 37224 | 15743k| 369.4 | 145M| 51 | - |2470 |4240 | 0 | 0 | 847 | 33k| 13k| 1.800000e+01 | -- | Inf
1665.12/1665.42 c 1665s| 42700 | 37282 | 15768k| 369.2 | 146M| 51 | 454 |2470 |4251 |2470 |2452 | 847 | 33k| 13k| 1.800000e+01 | -- | Inf
1668.61/1668.92 c 1669s| 42800 | 37362 | 15806k| 369.2 | 146M| 51 | 353 |2470 |4230 |2470 |2452 | 847 | 33k| 13k| 1.800000e+01 | -- | Inf
1672.71/1673.09 c 1673s| 42900 | 37447 | 15846k| 369.2 | 146M| 51 | 473 |2470 |4292 |2470 |2452 | 847 | 33k| 13k| 1.800000e+01 | -- | Inf
1676.91/1677.27 c 1677s| 43000 | 37536 | 15885k| 369.3 | 147M| 51 | 297 |2470 |4544 |2470 |2452 | 847 | 33k| 13k| 1.800000e+01 | -- | Inf
1679.91/1680.26 c 1680s| 43100 | 37615 | 15917k| 369.2 | 147M| 51 | 582 |2470 |4545 |2470 |2452 | 847 | 33k| 13k| 1.800000e+01 | -- | Inf
1685.21/1685.53 c 1686s| 43200 | 37688 | 15962k| 369.4 | 147M| 51 | 515 |2470 |4635 |2470 |2452 | 847 | 33k| 13k| 1.800000e+01 | -- | Inf
1688.00/1688.39 c 1688s| 43300 | 37770 | 15991k| 369.2 | 148M| 51 | 291 |2470 |4622 |2470 |2452 | 847 | 34k| 13k| 1.800000e+01 | -- | Inf
1690.90/1691.21 c 1691s| 43400 | 37839 | 16025k| 369.1 | 148M| 51 | - |2470 |4577 | 0 | 0 | 847 | 34k| 13k| 1.800000e+01 | -- | Inf
1694.61/1694.97 c 1695s| 43500 | 37906 | 16053k| 368.9 | 148M| 51 | - |2470 |4556 |2470 |2452 | 847 | 34k| 13k| 1.800000e+01 | -- | Inf
1696.81/1697.17 c 1697s| 43600 | 37977 | 16082k| 368.7 | 149M| 51 | 297 |2470 |4495 |2470 |2452 | 847 | 34k| 13k| 1.800000e+01 | -- | Inf
1700.81/1701.17 c 1701s| 43700 | 38052 | 16126k| 368.9 | 149M| 51 | 383 |2470 |4451 |2470 |2452 | 847 | 34k| 13k| 1.800000e+01 | -- | Inf
1704.51/1704.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1704.51/1704.88 c 1705s| 43800 | 38141 | 16160k| 368.8 | 149M| 51 | 396 |2470 |4429 |2470 |2452 | 847 | 34k| 13k| 1.800000e+01 | -- | Inf
1707.70/1708.08 c 1708s| 43900 | 38217 | 16200k| 368.9 | 150M| 51 | 278 |2470 |4375 |2470 |2452 | 847 | 34k| 13k| 1.800000e+01 | -- | Inf
1711.00/1711.31 c 1711s| 44000 | 38290 | 16230k| 368.7 | 150M| 51 | 503 |2470 |4354 |2470 |2452 | 847 | 34k| 13k| 1.800000e+01 | -- | Inf
1714.30/1714.61 c 1715s| 44100 | 38366 | 16263k| 368.6 | 150M| 51 | - |2470 |4351 |2470 |2452 | 847 | 34k| 13k| 1.800000e+01 | -- | Inf
1718.30/1718.61 c 1719s| 44200 | 38442 | 16307k| 368.8 | 151M| 51 | 435 |2470 |4358 |2470 |2452 | 847 | 34k| 13k| 1.800000e+01 | -- | Inf
1721.91/1722.26 c 1722s| 44300 | 38508 | 16340k| 368.7 | 151M| 51 | 589 |2470 |4504 |2470 |2452 | 847 | 34k| 13k| 1.800000e+01 | -- | Inf
1726.00/1726.36 c 1726s| 44400 | 38580 | 16377k| 368.7 | 151M| 51 | 377 |2470 |4638 |2470 |2452 | 847 | 35k| 13k| 1.800000e+01 | -- | Inf
1729.20/1729.59 c 1730s| 44500 | 38664 | 16410k| 368.6 | 152M| 51 | 318 |2470 |4601 |2470 |2452 | 847 | 35k| 13k| 1.800000e+01 | -- | Inf
1731.70/1732.05 c 1732s| 44600 | 38742 | 16438k| 368.5 | 152M| 51 | 312 |2470 |4590 |2470 |2452 | 847 | 35k| 13k| 1.800000e+01 | -- | Inf
1734.50/1734.80 c 1735s| 44700 | 38805 | 16463k| 368.2 | 153M| 51 | 276 |2470 |4521 |2470 |2452 | 847 | 35k| 13k| 1.800000e+01 | -- | Inf
1737.00/1737.30 c 1737s| 44800 | 38852 | 16491k| 368.0 | 153M| 51 | - |2470 |4500 | 0 | 0 | 847 | 35k| 13k| 1.800000e+01 | -- | Inf
1740.79/1741.16 c 1741s| 44900 | 38928 | 16529k| 368.0 | 153M| 51 | - |2470 |4468 |2470 |2452 | 847 | 35k| 13k| 1.800000e+01 | -- | Inf
1745.90/1746.22 c 1746s| 45000 | 39013 | 16573k| 368.2 | 154M| 51 | 416 |2470 |4657 |2470 |2452 | 847 | 35k| 13k| 1.800000e+01 | -- | Inf
1748.29/1748.60 c 1749s| 45100 | 39069 | 16597k| 367.9 | 154M| 51 | 316 |2470 |4633 |2470 |2452 | 847 | 35k| 13k| 1.800000e+01 | -- | Inf
1752.90/1753.27 c 1753s| 45200 | 39141 | 16642k| 368.1 | 154M| 51 | 336 |2470 |4689 |2470 |2452 | 847 | 36k| 13k| 1.800000e+01 | -- | Inf
1756.59/1756.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1756.59/1756.92 c 1757s| 45300 | 39226 | 16683k| 368.2 | 155M| 51 | 361 |2470 |4653 |2470 |2452 | 847 | 36k| 13k| 1.800000e+01 | -- | Inf
1761.19/1761.57 c 1762s| 45400 | 39303 | 16740k| 368.6 | 155M| 51 | 288 |2470 |4652 |2470 |2452 | 847 | 36k| 13k| 1.800000e+01 | -- | Inf
1764.19/1764.54 c 1765s| 45500 | 39380 | 16771k| 368.5 | 155M| 51 | 433 |2470 |4580 |2470 |2452 | 847 | 36k| 13k| 1.800000e+01 | -- | Inf
1767.50/1767.88 c 1768s| 45600 | 39455 | 16804k| 368.4 | 156M| 51 | 473 |2470 |4493 |2470 |2452 | 847 | 36k| 13k| 1.800000e+01 | -- | Inf
1771.50/1771.88 c 1772s| 45700 | 39521 | 16835k| 368.3 | 156M| 51 | 214 |2470 |4509 |2470 |2452 | 847 | 36k| 13k| 1.800000e+01 | -- | Inf
1773.79/1774.10 c 1774s| 45800 | 39604 | 16865k| 368.1 | 156M| 51 | 560 |2470 |4514 |2470 |2452 | 847 | 36k| 13k| 1.800000e+01 | -- | Inf
1776.69/1777.00 c 1777s| 45900 | 39678 | 16894k| 367.9 | 157M| 51 | 313 |2470 |4483 |2470 |2452 | 847 | 36k| 13k| 1.800000e+01 | -- | Inf
1779.39/1779.75 c 1780s| 46000 | 39730 | 16920k| 367.7 | 157M| 51 | 379 |2470 |4471 |2470 |2452 | 847 | 36k| 14k| 1.800000e+01 | -- | Inf
1783.19/1783.57 c 1784s| 46100 | 39804 | 16958k| 367.7 | 157M| 51 | 315 |2470 |4441 |2470 |2452 | 847 | 36k| 14k| 1.800000e+01 | -- | Inf
1786.49/1786.86 c 1787s| 46200 | 39871 | 16985k| 367.5 | 158M| 51 | - |2470 |4419 | 0 | 0 | 847 | 36k| 14k| 1.800000e+01 | -- | Inf
1789.79/1790.16 c 1790s| 46300 | 39940 | 17021k| 367.5 | 158M| 51 | 631 |2470 |4474 |2470 |2452 | 847 | 36k| 14k| 1.800000e+01 | -- | Inf
1792.99/1793.38 c 1793s| 46400 | 40016 | 17058k| 367.5 | 158M| 51 | 315 |2470 |4452 |2470 |2452 | 847 | 37k| 14k| 1.800000e+01 | -- | Inf
1795.29/1795.60 c 1796s| 46500 | 40085 | 17082k| 367.2 | 159M| 51 | 402 |2470 |4451 |2470 |2452 | 847 | 37k| 14k| 1.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.01
1796.69/1797.00 c Solving Nodes : 46557
1796.69/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.69/1797.00 c Dual Bound : +1.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.01
1796.69/1797.00 c solving : 1797.01
1796.69/1797.00 c presolving : 0.09 (included in solving)
1796.69/1797.00 c reading : 0.06 (included in solving)
1796.69/1797.00 c copying : 0.04 (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-3692159-1338033346.opb
1796.69/1797.00 c Variables : 2470 (2470 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.00 c Constraints : 4744 initial, 4744 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-3692159-1338033346.opb
1796.69/1797.00 c Variables : 2470 (2470 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.00 c Constraints : 2378 initial, 4742 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.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c linear : 0.06 0.02 0 0 0 0 0 2366 0 0 0
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 43870 0 4 0 3 811 0 0 86956
1796.69/1797.00 c knapsack : 12 12 11 238344 0 0 3 62208 370 51565 202 0 0
1796.69/1797.00 c linear : 2366+ 2804 12 238196 0 0 0 80769 3141 1874449 2 0 0
1796.69/1797.00 c logicor : 0+ 2361 11 150261 0 0 0 45643 170 150655 0 0 0
1796.69/1797.00 c countsols : 0 0 0 0 0 0 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 : 401.50 0.00 0.00 0.00 401.50 0.00 0.00 0.00
1796.69/1797.00 c knapsack : 7.12 0.00 0.00 7.08 0.00 0.00 0.00 0.04
1796.69/1797.00 c linear : 50.78 0.02 0.00 50.65 0.00 0.00 0.00 0.10
1796.69/1797.00 c logicor : 3.82 0.00 0.00 3.78 0.00 0.00 0.00 0.04
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 : 282335 0 0 0
1796.69/1797.00 c vbounds : 0 0 0 0
1796.69/1797.00 c redcost : 44612 0 0 857
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.09 0.00 0.00 0.09 0.00
1796.69/1797.00 c pseudoobj : 0.32 0.00 0.00 0.32 0.00
1796.69/1797.00 c vbounds : 0.08 0.00 0.00 0.08 0.00
1796.69/1797.00 c redcost : 1.81 0.00 0.00 1.81 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 : 0.25 3681 3653 26817 28.7 388 8.4 -
1796.69/1797.01 c infeasible LP : 3.29 16002 16002 25679 13.8 856 7.8 0
1796.69/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.69/1797.01 c applied globally : - - - 37180 18.0 - - -
1796.69/1797.01 c applied locally : - - - 0 0.0 - - -
1796.69/1797.01 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.69/1797.01 c cut pool : 0.00 10 - - 1686 - (maximal pool size: 6893)
1796.69/1797.01 c closecuts : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c impliedbounds : 0.00 0.00 11 0 0 35 0
1796.69/1797.01 c intobj : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c gomory : 0.23 0.00 10 0 0 34 0
1796.69/1797.01 c cgmip : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c strongcg : 0.25 0.00 11 0 0 21 0
1796.69/1797.01 c cmir : 1.79 0.00 10 0 0 5000 0
1796.69/1797.01 c flowcover : 0.79 0.00 10 0 0 2000 0
1796.69/1797.01 c clique : 0.00 0.00 1 0 0 0 0
1796.69/1797.01 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c mcf : 0.00 0.00 1 0 0 0 0
1796.69/1797.01 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c rapidlearning : 2.08 0.00 1 0 0 0 438
1796.69/1797.01 c Pricers : ExecTime SetupTime Calls Vars
1796.69/1797.01 c problem variables: 0.00 - 0 0
1796.69/1797.01 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.69/1797.01 c relpscost : 401.43 0.00 43870 3 811 0 0 86956
1796.69/1797.01 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c inference : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c random : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.69/1797.01 c LP solutions : 0.00 - - 0
1796.69/1797.01 c pseudo solutions : 0.00 - - 0
1796.69/1797.01 c oneopt : 0.04 0.00 0 0
1796.69/1797.01 c crossover : 0.02 0.00 0 0
1796.69/1797.01 c rootsoldiving : 16.13 0.00 73 0
1796.69/1797.01 c veclendiving : 55.26 0.00 283 0
1796.69/1797.01 c pscostdiving : 67.66 0.00 405 0
1796.69/1797.01 c linesearchdiving : 71.63 0.00 500 0
1796.69/1797.01 c smallcard : 0.00 0.00 0 0
1796.69/1797.01 c trivial : 0.00 0.00 2 0
1796.69/1797.01 c shiftandpropagate: 0.11 0.00 1 0
1796.69/1797.01 c simplerounding : 0.02 0.00 0 0
1796.69/1797.01 c zirounding : 0.37 0.00 1000 0
1796.69/1797.01 c rounding : 1.89 0.00 2905 0
1796.69/1797.01 c shifting : 6.30 0.00 905 0
1796.69/1797.01 c intshifting : 0.00 0.00 0 0
1796.69/1797.01 c twoopt : 0.00 0.00 0 0
1796.69/1797.01 c indoneopt : 0.04 0.00 0 0
1796.69/1797.01 c indtwoopt : 0.00 0.00 0 0
1796.69/1797.01 c fixandinfer : 0.00 0.00 0 0
1796.69/1797.01 c feaspump : 27.84 0.00 55 0
1796.69/1797.01 c clique : 0.00 0.00 0 0
1796.69/1797.01 c coefdiving : 75.03 0.00 97 0
1796.69/1797.01 c indcoefdiving : 0.00 0.00 0 0
1796.69/1797.01 c indrounding : 0.00 0.00 0 0
1796.69/1797.01 c nlpdiving : 0.00 0.00 0 0
1796.69/1797.01 c fracdiving : 70.71 0.00 110 0
1796.69/1797.01 c intdiving : 0.00 0.00 0 0
1796.69/1797.01 c actconsdiving : 0.00 0.00 0 0
1796.69/1797.01 c objpscostdiving : 20.32 0.00 70 0
1796.69/1797.01 c guideddiving : 0.00 0.00 0 0
1796.69/1797.01 c octane : 0.00 0.00 0 0
1796.69/1797.01 c rens : 0.08 0.00 1 0
1796.69/1797.01 c rins : 0.00 0.00 0 0
1796.69/1797.01 c localbranching : 0.00 0.00 0 0
1796.69/1797.01 c mutation : 0.00 0.00 0 0
1796.69/1797.01 c dins : 0.00 0.00 0 0
1796.69/1797.01 c vbounds : 0.00 0.00 0 0
1796.69/1797.01 c undercover : 0.00 0.00 0 0
1796.69/1797.01 c subnlp : 0.02 0.00 0 0
1796.69/1797.01 c trysol : 0.03 0.00 0 0
1796.69/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.69/1797.01 c primal LP : 0.01 1 0 0.00 - 0.01 1
1796.69/1797.01 c dual LP : 878.31 46844 13122868 286.51 14941.04 1.50 1041
1796.69/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.69/1797.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.69/1797.01 c diving/probing LP: 348.20 55047 3976004 72.23 11418.89
1796.69/1797.01 c strong branching : 396.75 14123 4253074 301.15 10719.78
1796.69/1797.01 c (at root node) : - 46 34861 757.85 -
1796.69/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.69/1797.01 c B&B Tree :
1796.69/1797.01 c number of runs : 1
1796.69/1797.01 c nodes : 46557
1796.69/1797.01 c nodes (total) : 46557
1796.69/1797.01 c nodes left : 40128
1796.69/1797.01 c max depth : 51
1796.69/1797.01 c max depth (total): 51
1796.69/1797.01 c backtracks : 9308 (20.0%)
1796.69/1797.01 c delayed cutoffs : 272
1796.69/1797.01 c repropagations : 9461 (121763 domain reductions, 116 cutoffs)
1796.69/1797.01 c avg switch length: 8.68
1796.69/1797.01 c switching time : 28.52
1796.69/1797.01 c Solution :
1796.69/1797.01 c Solutions found : 0 (0 improvements)
1796.69/1797.01 c Primal Bound : -
1796.69/1797.01 c Dual Bound : +1.80000000000000e+01
1796.69/1797.01 c Gap : infinite
1796.69/1797.01 c Root Dual Bound : +1.30000000000000e+01
1796.69/1797.01 c Root Iterations : 6450
1796.79/1797.12 c Time complete: 1796.81.
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-3692159-1338033346/watcher-3692159-1338033346 -o /tmp/evaluation-result-3692159-1338033346/solver-3692159-1338033346 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692159-1338033346.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.01 1.94 3/176 2152
/proc/meminfo: memFree=28769176/32873648 swapFree=7108/7108
[pid=2152] ppid=2150 vsize=12688 CPUtime=0 cores=0,2,4,6
/proc/2152/stat : 2152 (scip-2.1.1.4exp) R 2150 2152 32297 0 -1 4202496 1928 0 0 0 0 0 0 0 20 0 1 0 269461991 12992512 1882 33554432000 4194304 10219143 140733956804576 140736306998072 7589947 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2152/statm: 3172 1882 421 1471 0 1692 0
[startup+0.018557 s]
/proc/loadavg: 2.02 2.01 1.94 3/176 2152
/proc/meminfo: memFree=28769176/32873648 swapFree=7108/7108
[pid=2152] ppid=2150 vsize=14912 CPUtime=0.01 cores=0,2,4,6
/proc/2152/stat : 2152 (scip-2.1.1.4exp) R 2150 2152 32297 0 -1 4202496 2471 0 0 0 1 0 0 0 20 0 1 0 269461991 15269888 2425 33554432000 4194304 10219143 140733956804576 140736306998072 7589947 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2152/statm: 3728 2425 421 1471 0 2248 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 14912
[startup+0.100265 s]
/proc/loadavg: 2.02 2.01 1.94 3/176 2152
/proc/meminfo: memFree=28769176/32873648 swapFree=7108/7108
[pid=2152] ppid=2150 vsize=59008 CPUtime=0.09 cores=0,2,4,6
/proc/2152/stat : 2152 (scip-2.1.1.4exp) R 2150 2152 32297 0 -1 4202496 13045 0 0 0 8 1 0 0 20 0 1 0 269461991 60424192 12999 33554432000 4194304 10219143 140733956804576 140736306998072 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2152/statm: 14752 12999 545 1471 0 13272 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 59008
[startup+0.300244 s]
/proc/loadavg: 2.02 2.01 1.94 3/176 2152
/proc/meminfo: memFree=28769176/32873648 swapFree=7108/7108
[pid=2152] ppid=2150 vsize=76608 CPUtime=0.29 cores=0,2,4,6
/proc/2152/stat : 2152 (scip-2.1.1.4exp) R 2150 2152 32297 0 -1 4202496 17985 0 0 0 26 3 0 0 20 0 1 0 269461991 78446592 17162 33554432000 4194304 10219143 140733956804576 140736306998072 8034068 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2152/statm: 19152 17162 715 1471 0 17672 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 76608
[startup+0.700268 s]
/proc/loadavg: 2.02 2.01 1.94 3/176 2152
/proc/meminfo: memFree=28769176/32873648 swapFree=7108/7108
[pid=2152] ppid=2150 vsize=88332 CPUtime=0.69 cores=0,2,4,6
/proc/2152/stat : 2152 (scip-2.1.1.4exp) R 2150 2152 32297 0 -1 4202496 21910 0 0 0 66 3 0 0 20 0 1 0 269461991 90451968 20473 33554432000 4194304 10219143 140733956804576 140736306998072 7589947 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2152/statm: 22083 20509 809 1471 0 20603 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 88332
[startup+1.50023 s]
/proc/loadavg: 2.02 2.01 1.94 3/177 2153
/proc/meminfo: memFree=28670836/32873648 swapFree=7108/7108
[pid=2152] ppid=2150 vsize=109820 CPUtime=1.49 cores=0,2,4,6
/proc/2152/stat : 2152 (scip-2.1.1.4exp) R 2150 2152 32297 0 -1 4202496 27093 0 0 0 144 5 0 0 20 0 1 0 269461991 112455680 25655 33554432000 4194304 10219143 140733956804576 140733956799512 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2152/statm: 27455 25655 814 1471 0 25975 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 109820
[startup+3.10026 s]
/proc/loadavg: 2.02 2.01 1.94 3/177 2153
/proc/meminfo: memFree=28669224/32873648 swapFree=7108/7108
[pid=2152] ppid=2150 vsize=110612 CPUtime=3.09 cores=0,2,4,6
/proc/2152/stat : 2152 (scip-2.1.1.4exp) R 2150 2152 32297 0 -1 4202496 27349 0 0 0 300 9 0 0 20 0 1 0 269461991 113266688 25911 33554432000 4194304 10219143 140733956804576 140733956799960 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2152/statm: 27653 25911 834 1471 0 26173 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 110612
[startup+6.30025 s]
/proc/loadavg: 2.02 2.01 1.94 3/177 2153
/proc/meminfo: memFree=28667132/32873648 swapFree=7108/7108
[pid=2152] ppid=2150 vsize=110612 CPUtime=6.28 cores=0,2,4,6
/proc/2152/stat : 2152 (scip-2.1.1.4exp) R 2150 2152 32297 0 -1 4202496 27474 0 0 0 618 10 0 0 20 0 1 0 269461991 113266688 26036 33554432000 4194304 10219143 140733956804576 140733956799960 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2152/statm: 27653 26036 834 1471 0 26173 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 110612
[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 1.94 3/176 2153
/proc/meminfo: memFree=28663796/32873648 swapFree=7108/7108
[pid=2152] ppid=2150 vsize=110676 CPUtime=12.69 cores=0,2,4,6
/proc/2152/stat : 2152 (scip-2.1.1.4exp) R 2150 2152 32297 0 -1 4202496 32959 0 0 0 1255 14 0 0 20 0 1 0 269461991 113332224 26397 33554432000 4194304 10219143 140733956804576 140733956798024 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2152/statm: 27669 26397 842 1471 0 26189 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 110676
[startup+25.5003 s]
/proc/loadavg: 2.02 2.01 1.94 3/177 2154
/proc/meminfo: memFree=28663060/32873648 swapFree=7108/7108
[pid=2152] ppid=2150 vsize=110676 CPUtime=25.49 cores=0,2,4,6
/proc/2152/stat : 2152 (scip-2.1.1.4exp) R 2150 2152 32297 0 -1 4202496 32964 0 0 0 2524 25 0 0 20 0 1 0 269461991 113332224 26402 33554432000 4194304 10219143 140733956804576 140733956797336 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2152/statm: 27669 26402 845 1471 0 26189 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 110676
[startup+51.1003 s]
/proc/loadavg: 2.01 2.01 1.94 3/177 2192
/proc/meminfo: memFree=28765768/32873648 swapFree=7108/7108
[pid=2152] ppid=2150 vsize=110676 CPUtime=51.08 cores=0,2,4,6
/proc/2152/stat : 2152 (scip-2.1.1.4exp) R 2150 2152 32297 0 -1 4202496 32970 0 0 0 5059 49 0 0 20 0 1 0 269461991 113332224 26408 33554432000 4194304 10219143 140733956804576 140733956796552 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2152/statm: 27669 26408 845 1471 0 26189 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 110676
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 2192
/proc/meminfo: memFree=28750508/32873648 swapFree=7108/7108
[pid=2152] ppid=2150 vsize=110676 CPUtime=102.27 cores=0,2,4,6
/proc/2152/stat : 2152 (scip-2.1.1.4exp) R 2150 2152 32297 0 -1 4202496 32990 0 0 0 10144 83 0 0 20 0 1 0 269461991 113332224 26633 33554432000 4194304 10219143 140733956804576 140733956797752 8077296 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2152/statm: 27669 26633 845 1471 0 26189 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 110676
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 2192
/proc/meminfo: memFree=28738104/32873648 swapFree=7108/7108
[pid=2152] ppid=2150 vsize=110676 CPUtime=162.26 cores=0,2,4,6
/proc/2152/stat : 2152 (scip-2.1.1.4exp) R 2150 2152 32297 0 -1 4202496 32994 0 0 0 16095 131 0 0 20 0 1 0 269461991 113332224 26640 33554432000 4194304 10219143 140733956804576 140733956798408 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2152/statm: 27669 26640 845 1471 0 26189 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 110676
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 2192
/proc/meminfo: memFree=28718552/32873648 swapFree=7108/7108
[pid=2152] ppid=2150 vsize=110676 CPUtime=222.25 cores=0,2,4,6
/proc/2152/stat : 2152 (scip-2.1.1.4exp) R 2150 2152 32297 0 -1 4202496 33003 0 0 0 22040 185 0 0 20 0 1 0 269461991 113332224 26686 33554432000 4194304 10219143 140733956804576 140733956797752 8077296 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2152/statm: 27669 26686 845 1471 0 26189 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 110676
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 2195
/proc/meminfo: memFree=28700744/32873648 swapFree=7108/7108
[pid=2152] ppid=2150 vsize=111760 CPUtime=282.24 cores=0,2,4,6
/proc/2152/stat : 2152 (scip-2.1.1.4exp) R 2150 2152 32297 0 -1 4202496 33101 0 0 0 27985 239 0 0 20 0 1 0 269461991 114442240 26784 33554432000 4194304 10219143 140733956804576 140733956796760 8077296 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2152/statm: 27940 26784 845 1471 0 26460 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 111760
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 2219
/proc/meminfo: memFree=28681048/32873648 swapFree=7108/7108
[pid=2152] ppid=2150 vsize=114060 CPUtime=342.23 cores=0,2,4,6
/proc/2152/stat : 2152 (scip-2.1.1.4exp) R 2150 2152 32297 0 -1 4202496 33798 0 0 0 33933 290 0 0 20 0 1 0 269461991 116797440 27481 33554432000 4194304 10219143 140733956804576 140733956797688 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2152/statm: 28515 27481 845 1471 0 27035 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 114060
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 2219
/proc/meminfo: memFree=28659860/32873648 swapFree=7108/7108
[pid=2152] ppid=2150 vsize=115832 CPUtime=402.22 cores=0,2,4,6
/proc/2152/stat : 2152 (scip-2.1.1.4exp) R 2150 2152 32297 0 -1 4202496 34260 0 0 0 39881 341 0 0 20 0 1 0 269461991 118611968 28189 33554432000 4194304 10219143 140733956804576 140733956797096 8077296 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2152/statm: 28958 28189 845 1471 0 27478 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 115832
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 2219
/proc/meminfo: memFree=28643516/32873648 swapFree=7108/7108
[pid=2152] ppid=2150 vsize=117280 CPUtime=462.21 cores=0,2,4,6
/proc/2152/stat : 2152 (scip-2.1.1.4exp) R 2150 2152 32297 0 -1 4202496 34634 0 0 0 45817 404 0 0 20 0 1 0 269461991 120094720 28563 33554432000 4194304 10219143 140733956804576 140733956797096 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2152/statm: 29320 28563 845 1471 0 27840 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 117280
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 2219
/proc/meminfo: memFree=28621448/32873648 swapFree=7108/7108
[pid=2152] ppid=2150 vsize=122044 CPUtime=522.2 cores=0,2,4,6
/proc/2152/stat : 2152 (scip-2.1.1.4exp) R 2150 2152 32297 0 -1 4202496 35840 0 0 0 51743 477 0 0 20 0 1 0 269461991 124973056 29766 33554432000 4194304 10219143 140733956804576 140733956801096 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2152/statm: 30511 29766 845 1471 0 29031 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 122044
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 2219
/proc/meminfo: memFree=28605344/32873648 swapFree=7108/7108
[pid=2152] ppid=2150 vsize=126016 CPUtime=582.18 cores=0,2,4,6
/proc/2152/stat : 2152 (scip-2.1.1.4exp) R 2150 2152 32297 0 -1 4202496 36687 0 0 0 57672 546 0 0 20 0 1 0 269461991 129040384 30613 33554432000 4194304 10219143 140733956804576 140733956797096 8077296 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2152/statm: 31504 30613 845 1471 0 30024 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 126016
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28513420/32873648 swapFree=7108/7108
[pid=2152] ppid=2150 vsize=170084 CPUtime=1062.11 cores=0,2,4,6
/proc/2152/stat : 2152 (scip-2.1.1.4exp) R 2150 2152 32297 0 -1 4202496 50773 0 0 0 105096 1115 0 0 20 0 1 0 269461991 174166016 41658 33554432000 4194304 10219143 140733956804576 140733956797096 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2152/statm: 42521 41658 845 1471 0 41041 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 170084
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/177 2224
/proc/meminfo: memFree=28505876/32873648 swapFree=7108/7108
[pid=2152] ppid=2150 vsize=173804 CPUtime=1122.1 cores=0,2,4,6
/proc/2152/stat : 2152 (scip-2.1.1.4exp) R 2150 2152 32297 0 -1 4202496 51609 0 0 0 111023 1187 0 0 20 0 1 0 269461991 177975296 42494 33554432000 4194304 10219143 140733956804576 140733956797496 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2152/statm: 43451 42494 845 1471 0 41971 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 173804
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 2224
/proc/meminfo: memFree=28499732/32873648 swapFree=7108/7108
[pid=2152] ppid=2150 vsize=177772 CPUtime=1182.09 cores=0,2,4,6
/proc/2152/stat : 2152 (scip-2.1.1.4exp) R 2150 2152 32297 0 -1 4202496 52744 0 0 0 116949 1260 0 0 20 0 1 0 269461991 182038528 43629 33554432000 4194304 10219143 140733956804576 140733956798248 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2152/statm: 44443 43629 845 1471 0 42963 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 177772
[startup+1242.3 s]
/proc/loadavg: 2.04 2.01 1.96 3/177 2224
/proc/meminfo: memFree=28490656/32873648 swapFree=7108/7108
[pid=2152] ppid=2150 vsize=184116 CPUtime=1242.08 cores=0,2,4,6
/proc/2152/stat : 2152 (scip-2.1.1.4exp) R 2150 2152 32297 0 -1 4202496 54272 0 0 0 122875 1333 0 0 20 0 1 0 269461991 188534784 45156 33554432000 4194304 10219143 140733956804576 140733956798296 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2152/statm: 46029 45156 845 1471 0 44549 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 184116
[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/177 2225
/proc/meminfo: memFree=28479752/32873648 swapFree=7108/7108
[pid=2152] ppid=2150 vsize=190284 CPUtime=1302.07 cores=0,2,4,6
/proc/2152/stat : 2152 (scip-2.1.1.4exp) R 2150 2152 32297 0 -1 4202496 55804 0 0 0 128804 1403 0 0 20 0 1 0 269461991 194850816 46683 33554432000 4194304 10219143 140733956804576 140733956797752 8077296 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2152/statm: 47571 46683 845 1471 0 46091 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 190284
[startup+1362.3 s]
/proc/loadavg: 2.06 2.02 1.96 3/177 2225
/proc/meminfo: memFree=28467004/32873648 swapFree=7108/7108
[pid=2152] ppid=2150 vsize=195868 CPUtime=1362.05 cores=0,2,4,6
/proc/2152/stat : 2152 (scip-2.1.1.4exp) R 2150 2152 32297 0 -1 4202496 57329 0 0 0 134728 1477 0 0 20 0 1 0 269461991 200568832 48208 33554432000 4194304 10219143 140733956804576 140733956797688 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2152/statm: 48967 48208 845 1471 0 47487 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 195868
[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 1.96 3/177 2225
/proc/meminfo: memFree=28455848/32873648 swapFree=7108/7108
[pid=2152] ppid=2150 vsize=202756 CPUtime=1422.05 cores=0,2,4,6
/proc/2152/stat : 2152 (scip-2.1.1.4exp) R 2150 2152 32297 0 -1 4202496 60201 0 0 0 140651 1554 0 0 20 0 1 0 269461991 207622144 49795 33554432000 4194304 10219143 140733956804576 140733956797880 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2152/statm: 50689 49795 845 1471 0 49209 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 202756
[startup+1482.3 s]
/proc/loadavg: 2.05 2.02 1.97 3/178 2228
/proc/meminfo: memFree=28443336/32873648 swapFree=7108/7108
[pid=2152] ppid=2150 vsize=210908 CPUtime=1482.04 cores=0,2,4,6
/proc/2152/stat : 2152 (scip-2.1.1.4exp) R 2150 2152 32297 0 -1 4202496 62376 0 0 0 146579 1625 0 0 20 0 1 0 269461991 215969792 51970 33554432000 4194304 10219143 140733956804576 140733956797096 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2152/statm: 52727 51970 845 1471 0 51247 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 210908
[startup+1542.3 s]
/proc/loadavg: 2.02 2.02 1.97 3/177 2228
/proc/meminfo: memFree=28437200/32873648 swapFree=7108/7108
[pid=2152] ppid=2150 vsize=215884 CPUtime=1542.03 cores=0,2,4,6
/proc/2152/stat : 2152 (scip-2.1.1.4exp) R 2150 2152 32297 0 -1 4202496 63635 0 0 0 152502 1701 0 0 20 0 1 0 269461991 221065216 53226 33554432000 4194304 10219143 140733956804576 140733956798248 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2152/statm: 53971 53226 845 1471 0 52491 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 215884
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/177 2229
/proc/meminfo: memFree=28427056/32873648 swapFree=7108/7108
[pid=2152] ppid=2150 vsize=224608 CPUtime=1602.02 cores=0,2,4,6
/proc/2152/stat : 2152 (scip-2.1.1.4exp) R 2150 2152 32297 0 -1 4202496 65642 0 0 0 158428 1774 0 0 20 0 1 0 269461991 229998592 55371 33554432000 4194304 10219143 140733956804576 140733956797096 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2152/statm: 56152 55371 845 1471 0 54672 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 224608
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 2229
/proc/meminfo: memFree=28415300/32873648 swapFree=7108/7108
[pid=2152] ppid=2150 vsize=235008 CPUtime=1662.01 cores=0,2,4,6
/proc/2152/stat : 2152 (scip-2.1.1.4exp) R 2150 2152 32297 0 -1 4202496 68136 0 0 0 164358 1843 0 0 20 0 1 0 269461991 240648192 57852 33554432000 4194304 10219143 140733956804576 140733956797096 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2152/statm: 58752 57852 845 1471 0 57272 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 235008
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 2229
/proc/meminfo: memFree=28407008/32873648 swapFree=7108/7108
[pid=2152] ppid=2150 vsize=240932 CPUtime=1722.01 cores=0,2,4,6
/proc/2152/stat : 2152 (scip-2.1.1.4exp) R 2150 2152 32297 0 -1 4202496 69688 0 0 0 170285 1916 0 0 20 0 1 0 269461991 246714368 59404 33554432000 4194304 10219143 140733956804576 140733956797224 4420720 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2152/statm: 60233 59404 845 1471 0 58753 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 240932
[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 1.97 3/177 2229
/proc/meminfo: memFree=28390420/32873648 swapFree=7108/7108
[pid=2152] ppid=2150 vsize=251376 CPUtime=1781.99 cores=0,2,4,6
/proc/2152/stat : 2152 (scip-2.1.1.4exp) R 2150 2152 32297 0 -1 4202496 76086 0 0 0 176212 1987 0 0 20 0 1 0 269461991 257409024 62087 33554432000 4194304 10219143 140733956804576 140733956801048 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2152/statm: 62844 62087 845 1471 0 61364 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 251376
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.04 2.01 1.97 3/177 2229
/proc/meminfo: memFree=28389924/32873648 swapFree=7108/7108
[pid=2152] ppid=2150 vsize=251376 CPUtime=1785.19 cores=0,2,4,6
/proc/2152/stat : 2152 (scip-2.1.1.4exp) R 2150 2152 32297 0 -1 4202496 76086 0 0 0 176529 1990 0 0 20 0 1 0 269461991 257409024 62087 33554432000 4194304 10219143 140733956804576 140733956798440 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2152/statm: 62844 62087 845 1471 0 61364 0
Current children cumulated CPU time (s) 1785.19
Current children cumulated vsize (KiB) 251376
[startup+1791.91 s]
/proc/loadavg: 2.04 2.01 1.97 3/177 2229
/proc/meminfo: memFree=28389184/32873648 swapFree=7108/7108
[pid=2152] ppid=2150 vsize=251588 CPUtime=1791.59 cores=0,2,4,6
/proc/2152/stat : 2152 (scip-2.1.1.4exp) R 2150 2152 32297 0 -1 4202496 76135 0 0 0 177162 1997 0 0 20 0 1 0 269461991 257626112 62136 33554432000 4194304 10219143 140733956804576 140733956797880 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2152/statm: 62897 62136 845 1471 0 61417 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 251588
[startup+1795.1 s]
/proc/loadavg: 2.03 2.01 1.97 3/177 2229
/proc/meminfo: memFree=28388812/32873648 swapFree=7108/7108
[pid=2152] ppid=2150 vsize=252384 CPUtime=1794.8 cores=0,2,4,6
/proc/2152/stat : 2152 (scip-2.1.1.4exp) R 2150 2152 32297 0 -1 4202496 76186 0 0 0 177478 2002 0 0 20 0 1 0 269461991 258441216 62187 33554432000 4194304 10219143 140733956804576 140733956801048 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2152/statm: 63096 62187 845 1471 0 61616 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 252384
[startup+1795.9 s]
/proc/loadavg: 2.03 2.01 1.97 3/177 2229
/proc/meminfo: memFree=28388812/32873648 swapFree=7108/7108
[pid=2152] ppid=2150 vsize=252384 CPUtime=1795.59 cores=0,2,4,6
/proc/2152/stat : 2152 (scip-2.1.1.4exp) R 2150 2152 32297 0 -1 4202496 76188 0 0 0 177556 2003 0 0 20 0 1 0 269461991 258441216 62189 33554432000 4194304 10219143 140733956804576 140733956797880 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2152/statm: 63096 62189 845 1471 0 61616 0
Current children cumulated CPU time (s) 1795.59
Current children cumulated vsize (KiB) 252384
[startup+1796.7 s]
/proc/loadavg: 2.03 2.01 1.97 3/177 2229
/proc/meminfo: memFree=28388440/32873648 swapFree=7108/7108
[pid=2152] ppid=2150 vsize=252384 CPUtime=1796.39 cores=0,2,4,6
/proc/2152/stat : 2152 (scip-2.1.1.4exp) R 2150 2152 32297 0 -1 4202496 76220 0 0 0 177635 2004 0 0 20 0 1 0 269461991 258441216 62221 33554432000 4194304 10219143 140733956804576 140733956797880 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2152/statm: 63096 62221 845 1471 0 61616 0
Current children cumulated CPU time (s) 1796.39
Current children cumulated vsize (KiB) 252384
[startup+1797.1 s]
/proc/loadavg: 2.03 2.01 1.97 3/177 2229
/proc/meminfo: memFree=28388440/32873648 swapFree=7108/7108
[pid=2152] ppid=2150 vsize=252384 CPUtime=1796.79 cores=0,2,4,6
/proc/2152/stat : 2152 (scip-2.1.1.4exp) R 2150 2152 32297 0 -1 4202496 76224 0 0 0 177675 2004 0 0 20 0 1 0 269461991 258441216 62225 33554432000 4194304 10219143 140733956804576 140733956797832 7594393 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2152/statm: 63096 62225 848 1471 0 61616 0
Current children cumulated CPU time (s) 1796.79
Current children cumulated vsize (KiB) 252384
Child status: 0
Real time (s): 1797.13
CPU time (s): 1796.82
CPU user time (s): 1776.77
CPU system time (s): 20.055
CPU usage (%): 99.9832
Max. virtual memory (cumulated for all children) (KiB): 252384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1776.77
system time used= 20.055
maximum resident set size= 248900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76226
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= 46
involuntary context switches= 1845
runsolver used 2.5986 second user time and 7.2369 second system time
The end