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-3692143-1338035046.opb>
0.01/0.08 c original problem has 3296 variables (3296 bin, 0 int, 0 impl, 0 cont) and 6384 constraints
0.01/0.08 c problem read in 0.08
0.09/0.12 c presolving:
0.09/0.19 c (round 1) 1 del vars, 1 del conss, 0 add conss, 1 chg bounds, 91 chg sides, 470 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.19/0.22 c (round 2) 1 del vars, 2879 del conss, 0 add conss, 1 chg bounds, 91 chg sides, 470 chg coeffs, 320 upgd conss, 0 impls, 0 clqs
0.19/0.26 c (round 3) 1 del vars, 2879 del conss, 6 add conss, 1 chg bounds, 150 chg sides, 841 chg coeffs, 627 upgd conss, 310 impls, 6 clqs
0.19/0.27 c (round 4) 1 del vars, 2879 del conss, 6 add conss, 1 chg bounds, 200 chg sides, 905 chg coeffs, 627 upgd conss, 310 impls, 6 clqs
0.29/0.30 c (0.3s) probing: 51/3295 (1.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.29/0.30 c (0.3s) probing aborted: 50/50 successive totally useless probings
0.29/0.31 c presolving (5 rounds):
0.29/0.31 c 1 deleted vars, 2879 deleted constraints, 6 added constraints, 1 tightened bounds, 0 added holes, 200 changed sides, 905 changed coefficients
0.29/0.31 c 310 implications, 6 cliques
0.29/0.31 c presolved problem has 3295 variables (3295 bin, 0 int, 0 impl, 0 cont) and 3511 constraints
0.29/0.31 c 627 constraints of type <knapsack>
0.29/0.31 c 6 constraints of type <setppc>
0.29/0.31 c 2878 constraints of type <linear>
0.29/0.31 c transformed objective value is always integral (scale: 1)
0.29/0.31 c Presolving Time: 0.19
0.29/0.31 c - non default parameters ----------------------------------------------------------------------
0.29/0.31 c # SCIP version 2.1.1.4
0.29/0.31 c
0.29/0.31 c # maximal time in seconds to run
0.29/0.31 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.31 c limits/time = 1797
0.29/0.31 c
0.29/0.31 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.31 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.31 c limits/memory = 13950
0.29/0.31 c
0.29/0.31 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.29/0.31 c # [type: int, range: [1,2], default: 1]
0.29/0.31 c timing/clocktype = 2
0.29/0.31 c
0.29/0.31 c # belongs reading time to solving time?
0.29/0.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.31 c timing/reading = TRUE
0.29/0.31 c
0.29/0.31 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.29/0.31 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.31 c separating/rapidlearning/freq = 0
0.29/0.31 c
0.29/0.31 c -----------------------------------------------------------------------------------------------
0.29/0.31 c start solving
0.29/0.31 c
0.49/0.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.49/0.60 c 0.6s| 1 | 0 | 19 | - | 30M| 0 | 261 |3295 |3532 |3295 |3511 | 0 | 21 | 0 | 9.100000e+01 | -- | Inf
12.39/12.45 c 12.5s| 1 | 0 | 7175 | - | 32M| 0 | 501 |3295 |5505 |3295 |3684 | 173 | 21 | 0 | 9.100000e+01 | -- | Inf
13.19/13.26 c 13.3s| 1 | 0 | 8613 | - | 33M| 0 | 756 |3295 |5505 |3295 |3866 | 355 | 21 | 0 | 9.100000e+01 | -- | Inf
14.30/14.35 c 14.3s| 1 | 0 | 10896 | - | 34M| 0 | 786 |3295 |5505 |3295 |4088 | 577 | 21 | 0 | 9.100000e+01 | -- | Inf
15.69/15.74 c 15.7s| 1 | 0 | 13101 | - | 35M| 0 | 829 |3295 |5505 |3295 |4288 | 777 | 21 | 0 | 9.100000e+01 | -- | Inf
17.39/17.44 c 17.4s| 1 | 0 | 15549 | - | 35M| 0 | 783 |3295 |5505 |3295 |4471 | 960 | 21 | 0 | 9.100000e+01 | -- | Inf
19.39/19.40 c 19.4s| 1 | 0 | 18298 | - | 36M| 0 | 861 |3295 |5505 |3295 |4652 |1141 | 21 | 0 | 9.100000e+01 | -- | Inf
23.88/23.95 c 24.0s| 1 | 2 | 18298 | - | 36M| 0 | 861 |3295 |5505 |3295 |4652 |1141 | 21 | 13 | 9.100000e+01 | -- | Inf
81.56/81.64 c 81.6s| 100 | 86 |231522 |2153.8 | 37M| 37 | 706 |3295 |5688 |3295 |3776 |1141 | 204 | 210 | 9.100000e+01 | -- | Inf
86.36/86.46 c 86.5s| 200 | 143 |252765 |1178.2 | 37M| 57 | 599 |3295 |5794 |3295 |3776 |1141 | 310 | 252 | 9.100000e+01 | -- | Inf
95.06/95.15 c 95.1s| 300 | 171 |295545 | 927.2 | 38M| 57 | 599 |3295 |5921 |3295 |3776 |1141 | 437 | 276 | 9.100000e+01 | -- | Inf
103.65/103.70 c 104s| 400 | 222 |339840 | 805.9 | 39M| 57 | 822 |3295 |6061 |3295 |3776 |1141 | 577 | 314 | 9.100000e+01 | -- | Inf
107.76/107.87 c 108s| 500 | 278 |359298 | 683.4 | 39M| 57 | 536 |3295 |6164 |3295 |3776 |1141 | 680 | 347 | 9.100000e+01 | -- | Inf
111.75/111.82 c 112s| 600 | 328 |379042 | 602.2 | 40M| 57 | 426 |3295 |6255 |3295 |3776 |1141 | 771 | 371 | 9.100000e+01 | -- | Inf
115.86/115.95 c 116s| 700 | 365 |399040 | 544.7 | 41M| 57 | - |3295 |6388 |3295 |3776 |1141 | 904 | 400 | 9.100000e+01 | -- | Inf
119.26/119.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
119.26/119.35 c 119s| 800 | 420 |411377 | 492.0 | 41M| 57 | 596 |3295 |6473 |3295 |3776 |1141 | 989 | 426 | 9.100000e+01 | -- | Inf
122.95/123.04 c 123s| 900 | 493 |430513 | 458.5 | 41M| 57 | 601 |3295 |6508 |3295 |3776 |1141 |1024 | 438 | 9.100000e+01 | -- | Inf
128.46/128.60 c 129s| 1000 | 547 |458500 | 440.6 | 42M| 57 | 631 |3295 |6634 |3295 |3776 |1141 |1150 | 469 | 9.100000e+01 | -- | Inf
135.46/135.57 c 136s| 1100 | 606 |488107 | 427.5 | 43M| 57 | 633 |3295 |6765 |3295 |3776 |1141 |1281 | 512 | 9.100000e+01 | -- | Inf
139.75/139.84 c 140s| 1200 | 663 |509762 | 409.9 | 43M| 57 | 680 |3295 |6844 |3295 |3776 |1141 |1360 | 542 | 9.100000e+01 | -- | Inf
145.55/145.61 c 146s| 1300 | 715 |541389 | 402.7 | 43M| 57 | 601 |3295 |6991 |3295 |3776 |1141 |1507 | 584 | 9.100000e+01 | -- | Inf
152.55/152.66 c 153s| 1400 | 770 |577287 | 399.6 | 44M| 57 | 787 |3295 |7110 |3295 |3776 |1141 |1626 | 642 | 9.100000e+01 | -- | Inf
165.35/165.40 c 165s| 1500 | 833 |646275 | 418.9 | 44M| 57 | 802 |3295 |7636 |3295 |3776 |1141 |2158 | 666 | 9.100000e+01 | -- | Inf
170.46/170.56 c 171s| 1600 | 887 |675947 | 411.3 | 45M| 57 | 805 |3295 |7748 |3295 |3776 |1141 |2277 | 687 | 9.100000e+01 | -- | Inf
176.34/176.41 c 176s| 1700 | 956 |707832 | 405.8 | 46M| 57 | 684 |3295 |7879 |3295 |3776 |1141 |2436 | 735 | 9.100000e+01 | -- | Inf
181.85/181.99 c 182s| 1800 | 1018 |734961 | 398.4 | 46M| 57 |1322 |3295 |7952 |3295 |3776 |1141 |2541 | 770 | 9.100000e+01 | -- | Inf
189.94/190.08 c 190s| 1900 | 1075 |773354 | 397.6 | 46M| 57 | 571 |3295 |8050 |3295 |3776 |1141 |2671 | 819 | 9.100000e+01 | -- | Inf
193.15/193.20 c 193s| 2000 | 1117 |788026 | 385.1 | 47M| 57 | - |3295 |8084 | 0 | 0 |1141 |2753 | 840 | 9.100000e+01 | -- | Inf
214.84/214.94 c 215s| 2100 | 1151 |955913 | 446.7 | 47M| 57 | 872 |3295 |8181 |3295 |3776 |1141 |2977 | 883 | 9.100000e+01 | -- | Inf
220.64/220.71 c 221s| 2200 | 1211 |985027 | 439.6 | 48M| 57 | 677 |3295 |8177 |3295 |3776 |1141 |3036 | 926 | 9.100000e+01 | -- | Inf
227.84/227.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
227.84/227.99 c 228s| 2300 | 1269 | 1023k| 437.3 | 48M| 57 | 567 |3295 |8212 |3295 |3776 |1141 |3183 | 951 | 9.100000e+01 | -- | Inf
232.74/232.87 c 233s| 2400 | 1302 | 1045k| 428.0 | 49M| 57 | 932 |3295 |8223 |3295 |3776 |1141 |3298 | 988 | 9.100000e+01 | -- | Inf
240.64/240.77 c 241s| 2500 | 1368 | 1087k| 427.8 | 49M| 57 | 594 |3295 |8234 |3295 |3776 |1141 |3433 |1022 | 9.100000e+01 | -- | Inf
246.03/246.12 c 246s| 2600 | 1411 | 1113k| 421.4 | 50M| 57 | 839 |3295 |8327 |3295 |3776 |1141 |3689 |1062 | 9.100000e+01 | -- | Inf
250.43/250.54 c 251s| 2700 | 1467 | 1135k| 413.9 | 51M| 57 | - |3295 |8268 | 0 | 0 |1141 |3770 |1081 | 9.100000e+01 | -- | Inf
255.64/255.78 c 256s| 2800 | 1517 | 1161k| 408.5 | 51M| 57 | - |3295 |8243 | 0 | 0 |1141 |3936 |1126 | 9.100000e+01 | -- | Inf
264.63/264.77 c 265s| 2900 | 1577 | 1202k| 408.6 | 52M| 57 | 544 |3295 |8141 |3295 |3776 |1141 |4038 |1203 | 9.100000e+01 | -- | Inf
269.14/269.24 c 269s| 3000 | 1603 | 1225k| 402.6 | 52M| 63 | 599 |3295 |8057 |3295 |3776 |1141 |4157 |1215 | 9.100000e+01 | -- | Inf
273.84/273.99 c 274s| 3100 | 1637 | 1249k| 397.3 | 52M| 63 | - |3295 |7986 |3295 |3776 |1141 |4363 |1254 | 9.100000e+01 | -- | Inf
280.93/281.08 c 281s| 3200 | 1681 | 1285k| 396.0 | 53M| 63 | 301 |3295 |7922 |3295 |3776 |1141 |4603 |1310 | 9.100000e+01 | -- | Inf
286.84/286.96 c 287s| 3300 | 1726 | 1314k| 392.9 | 53M| 63 | 631 |3295 |7677 |3295 |3776 |1141 |4786 |1340 | 9.100000e+01 | -- | Inf
291.13/291.23 c 291s| 3400 | 1769 | 1334k| 387.3 | 53M| 63 | - |3295 |7538 |3295 |3776 |1141 |4906 |1399 | 9.100000e+01 | -- | Inf
296.33/296.42 c 296s| 3500 | 1825 | 1360k| 383.6 | 54M| 63 | 920 |3295 |7370 |3295 |3776 |1141 |5046 |1431 | 9.100000e+01 | -- | Inf
305.13/305.21 c 305s| 3600 | 1883 | 1410k| 386.9 | 54M| 63 | 794 |3295 |7238 |3295 |3776 |1141 |5122 |1453 | 9.100000e+01 | -- | Inf
312.83/312.92 c 313s| 3700 | 1948 | 1445k| 386.0 | 54M| 63 | - |3295 |7130 | 0 | 0 |1141 |5238 |1484 | 9.100000e+01 | -- | Inf
319.33/319.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
319.33/319.48 c 319s| 3800 | 1990 | 1478k| 384.2 | 55M| 63 | - |3295 |7007 |3295 |3776 |1141 |5354 |1517 | 9.100000e+01 | -- | Inf
324.73/324.82 c 325s| 3900 | 2049 | 1506k| 381.8 | 55M| 63 | 657 |3295 |6884 |3295 |3776 |1141 |5482 |1563 | 9.100000e+01 | -- | Inf
329.83/329.91 c 330s| 4000 | 2092 | 1530k| 378.2 | 56M| 63 | 584 |3295 |6880 |3295 |3776 |1141 |5636 |1602 | 9.100000e+01 | -- | Inf
335.93/336.01 c 336s| 4100 | 2144 | 1564k| 377.1 | 56M| 63 | 675 |3295 |6926 |3295 |3776 |1141 |5825 |1631 | 9.100000e+01 | -- | Inf
343.32/343.41 c 343s| 4200 | 2184 | 1589k| 374.1 | 57M| 63 | 577 |3295 |6933 |3295 |3776 |1141 |5988 |1682 | 9.100000e+01 | -- | Inf
349.12/349.22 c 349s| 4300 | 2244 | 1620k| 372.7 | 57M| 63 | 943 |3295 |6907 |3295 |3776 |1141 |6064 |1729 | 9.100000e+01 | -- | Inf
354.93/355.05 c 355s| 4400 | 2311 | 1651k| 371.2 | 57M| 63 | 538 |3295 |6893 |3295 |3776 |1141 |6146 |1770 | 9.100000e+01 | -- | Inf
365.02/365.11 c 365s| 4500 | 2365 | 1715k| 377.2 | 58M| 63 | 409 |3295 |6843 |3295 |3776 |1141 |6292 |1798 | 9.100000e+01 | -- | Inf
370.82/370.98 c 371s| 4600 | 2423 | 1739k| 374.4 | 58M| 63 | 758 |3295 |6854 |3295 |3776 |1141 |6437 |1840 | 9.100000e+01 | -- | Inf
375.92/376.00 c 376s| 4700 | 2452 | 1769k| 372.7 | 59M| 63 | - |3295 |6885 | 0 | 0 |1141 |6609 |1866 | 9.100000e+01 | -- | Inf
380.81/380.91 c 381s| 4800 | 2498 | 1794k| 370.1 | 59M| 63 | - |3295 |6927 | 0 | 0 |1141 |6744 |1937 | 9.100000e+01 | -- | Inf
385.02/385.18 c 385s| 4900 | 2545 | 1813k| 366.4 | 60M| 63 | - |3295 |6894 |3295 |3776 |1141 |6829 |1967 | 9.100000e+01 | -- | Inf
388.32/388.40 c 388s| 5000 | 2585 | 1825k| 361.4 | 60M| 63 | 354 |3295 |6985 |3295 |3776 |1141 |6966 |2014 | 9.100000e+01 | -- | Inf
391.62/391.75 c 392s| 5100 | 2605 | 1837k| 356.7 | 61M| 63 | 540 |3295 |7028 |3295 |3776 |1141 |7092 |2051 | 9.100000e+01 | -- | Inf
397.11/397.28 c 397s| 5200 | 2643 | 1867k| 355.7 | 61M| 63 | 625 |3295 |7015 |3295 |3776 |1141 |7215 |2090 | 9.100000e+01 | -- | Inf
400.82/400.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
400.82/400.91 c 401s| 5300 | 2659 | 1886k| 352.5 | 62M| 63 | - |3295 |7028 |3295 |3776 |1141 |7357 |2107 | 9.100000e+01 | -- | Inf
406.41/406.52 c 407s| 5400 | 2717 | 1912k| 350.9 | 62M| 63 | 881 |3295 |6938 |3295 |3776 |1141 |7434 |2136 | 9.100000e+01 | -- | Inf
411.02/411.12 c 411s| 5500 | 2758 | 1935k| 348.7 | 62M| 63 | 854 |3295 |6920 |3295 |3776 |1141 |7543 |2177 | 9.100000e+01 | -- | Inf
416.02/416.15 c 416s| 5600 | 2806 | 1960k| 346.8 | 63M| 63 | 712 |3295 |6917 |3295 |3776 |1141 |7656 |2217 | 9.100000e+01 | -- | Inf
424.42/424.57 c 425s| 5700 | 2850 | 2007k| 349.0 | 63M| 63 | 598 |3295 |6860 |3295 |3776 |1141 |7822 |2242 | 9.100000e+01 | -- | Inf
427.21/427.37 c 427s| 5800 | 2882 | 2019k| 345.1 | 64M| 63 | 430 |3295 |6827 |3295 |3776 |1141 |7937 |2252 | 9.100000e+01 | -- | Inf
432.51/432.64 c 433s| 5900 | 2914 | 2045k| 343.7 | 64M| 63 | 754 |3295 |6831 |3295 |3776 |1141 |8115 |2290 | 9.100000e+01 | -- | Inf
436.81/436.97 c 437s| 6000 | 2935 | 2065k| 341.2 | 64M| 63 | - |3295 |6712 |3295 |3776 |1141 |8246 |2321 | 9.100000e+01 | -- | Inf
442.51/442.60 c 443s| 6100 | 2961 | 2096k| 340.7 | 64M| 63 |1487 |3295 |6747 |3295 |3776 |1141 |8413 |2363 | 9.100000e+01 | -- | Inf
446.21/446.38 c 446s| 6200 | 2996 | 2117k| 338.6 | 65M| 63 | 800 |3295 |6699 |3295 |3776 |1141 |8511 |2381 | 9.100000e+01 | -- | Inf
450.61/450.72 c 451s| 6300 | 3017 | 2134k| 335.9 | 65M| 63 | 411 |3295 |6705 |3295 |3776 |1141 |8661 |2406 | 9.100000e+01 | -- | Inf
455.01/455.18 c 455s| 6400 | 3057 | 2155k| 334.0 | 65M| 63 | 683 |3295 |6750 |3295 |3776 |1141 |8845 |2454 | 9.100000e+01 | -- | Inf
458.51/458.64 c 459s| 6500 | 3072 | 2176k| 332.1 | 66M| 66 | 491 |3295 |6868 |3295 |3776 |1141 |9004 |2475 | 9.100000e+01 | -- | Inf
462.20/462.30 c 462s| 6600 | 3064 | 2196k| 330.1 | 66M| 66 | 729 |3295 |6975 |3295 |3776 |1141 |9202 |2520 | 9.100000e+01 | -- | Inf
475.40/475.54 c 476s| 6700 | 3095 | 2275k| 336.9 | 66M| 66 | 728 |3295 |7397 |3295 |3776 |1141 |9879 |2562 | 9.100000e+01 | -- | Inf
482.90/483.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
482.90/483.04 c 483s| 6800 | 3142 | 2308k| 336.9 | 67M| 66 | - |3295 |7322 |3295 |3776 |1141 | 10k|2597 | 9.100000e+01 | -- | Inf
487.90/488.01 c 488s| 6900 | 3173 | 2332k| 335.4 | 67M| 66 | 729 |3295 |7241 |3295 |3776 |1141 | 10k|2634 | 9.100000e+01 | -- | Inf
496.60/496.70 c 497s| 7000 | 3198 | 2366k| 335.5 | 67M| 66 | 823 |3295 |7200 |3295 |3776 |1141 | 10k|2669 | 9.100000e+01 | -- | Inf
504.70/504.87 c 505s| 7100 | 3263 | 2399k| 335.5 | 68M| 66 | 739 |3295 |7109 |3295 |3776 |1141 | 10k|2705 | 9.100000e+01 | -- | Inf
511.49/511.68 c 512s| 7200 | 3307 | 2434k| 335.6 | 68M| 66 | - |3295 |7109 |3295 |3776 |1141 | 10k|2756 | 9.100000e+01 | -- | Inf
515.50/515.67 c 516s| 7300 | 3345 | 2453k| 333.6 | 68M| 66 | - |3295 |7053 |3295 |3776 |1141 | 10k|2788 | 9.100000e+01 | -- | Inf
519.30/519.44 c 519s| 7400 | 3378 | 2466k| 330.9 | 69M| 66 | 397 |3295 |7097 |3295 |3776 |1141 | 10k|2803 | 9.100000e+01 | -- | Inf
524.99/525.16 c 525s| 7500 | 3423 | 2495k| 330.3 | 69M| 66 | 516 |3295 |7027 |3295 |3776 |1141 | 10k|2831 | 9.100000e+01 | -- | Inf
530.29/530.45 c 530s| 7600 | 3452 | 2515k| 328.6 | 70M| 66 | 515 |3295 |6984 |3295 |3776 |1141 | 11k|2895 | 9.100000e+01 | -- | Inf
534.09/534.25 c 534s| 7700 | 3480 | 2536k| 327.1 | 70M| 66 | 672 |3295 |6921 |3295 |3776 |1141 | 11k|2917 | 9.100000e+01 | -- | Inf
538.90/539.05 c 539s| 7800 | 3543 | 2560k| 325.9 | 70M| 66 | 726 |3295 |6834 |3295 |3776 |1141 | 11k|2950 | 9.100000e+01 | -- | Inf
546.00/546.14 c 546s| 7900 | 3576 | 2589k| 325.5 | 71M| 66 | 620 |3295 |6752 |3295 |3776 |1141 | 11k|2984 | 9.100000e+01 | -- | Inf
551.19/551.31 c 551s| 8000 | 3619 | 2619k| 325.2 | 71M| 66 | 596 |3295 |6767 |3295 |3776 |1141 | 11k|3009 | 9.100000e+01 | -- | Inf
554.99/555.11 c 555s| 8100 | 3629 | 2638k| 323.5 | 71M| 66 | 496 |3295 |6808 |3295 |3776 |1141 | 11k|3036 | 9.100000e+01 | -- | Inf
559.09/559.29 c 559s| 8200 | 3680 | 2655k| 321.7 | 71M| 66 | 734 |3295 |6779 |3295 |3776 |1141 | 11k|3072 | 9.100000e+01 | -- | Inf
563.99/564.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
563.99/564.12 c 564s| 8300 | 3707 | 2679k| 320.7 | 72M| 66 | 374 |3295 |6875 |3295 |3776 |1141 | 11k|3106 | 9.100000e+01 | -- | Inf
569.09/569.25 c 569s| 8400 | 3745 | 2703k| 319.6 | 72M| 66 | - |3295 |6891 | 0 | 0 |1141 | 12k|3135 | 9.100000e+01 | -- | Inf
578.28/578.43 c 578s| 8500 | 3802 | 2759k| 322.5 | 72M| 66 | 809 |3295 |6834 |3295 |3776 |1141 | 12k|3175 | 9.100000e+01 | -- | Inf
584.00/584.19 c 584s| 8600 | 3842 | 2793k| 322.7 | 73M| 66 | 619 |3295 |6795 |3295 |3776 |1141 | 12k|3210 | 9.100000e+01 | -- | Inf
588.88/589.03 c 589s| 8700 | 3877 | 2815k| 321.5 | 73M| 66 | 661 |3295 |6784 |3295 |3776 |1141 | 12k|3276 | 9.100000e+01 | -- | Inf
595.19/595.37 c 595s| 8800 | 3920 | 2842k| 320.9 | 73M| 66 | 609 |3295 |6723 |3295 |3776 |1141 | 12k|3347 | 9.100000e+01 | -- | Inf
600.49/600.68 c 601s| 8900 | 3939 | 2866k| 320.1 | 74M| 66 | 802 |3295 |6771 |3295 |3776 |1141 | 12k|3396 | 9.100000e+01 | -- | Inf
605.29/605.49 c 605s| 9000 | 3964 | 2888k| 318.9 | 74M| 66 | 608 |3295 |6802 |3295 |3776 |1141 | 12k|3438 | 9.100000e+01 | -- | Inf
610.79/610.91 c 611s| 9100 | 4011 | 2914k| 318.3 | 74M| 66 | - |3295 |6861 |3295 |3776 |1141 | 12k|3458 | 9.100000e+01 | -- | Inf
615.49/615.61 c 616s| 9200 | 4045 | 2936k| 317.2 | 74M| 66 | 889 |3295 |6876 |3295 |3776 |1141 | 13k|3498 | 9.100000e+01 | -- | Inf
618.58/618.71 c 619s| 9300 | 4064 | 2947k| 315.0 | 75M| 66 | 813 |3295 |6963 |3295 |3776 |1141 | 13k|3558 | 9.100000e+01 | -- | Inf
625.48/625.66 c 626s| 9400 | 4095 | 2983k| 315.4 | 75M| 66 | 743 |3295 |6924 |3295 |3776 |1141 | 13k|3601 | 9.100000e+01 | -- | Inf
630.28/630.49 c 630s| 9500 | 4121 | 3010k| 315.0 | 76M| 66 | 567 |3295 |7056 |3295 |3776 |1141 | 13k|3624 | 9.100000e+01 | -- | Inf
635.68/635.82 c 636s| 9600 | 4141 | 3034k| 314.2 | 76M| 66 | 650 |3295 |7216 |3295 |3776 |1141 | 13k|3690 | 9.100000e+01 | -- | Inf
638.58/638.70 c 639s| 9700 | 4155 | 3043k| 311.9 | 76M| 66 | 620 |3295 |7320 |3295 |3776 |1141 | 14k|3737 | 9.100000e+01 | -- | Inf
643.38/643.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
643.38/643.51 c 644s| 9800 | 4165 | 3068k| 311.2 | 77M| 66 | 802 |3295 |7250 |3295 |3776 |1141 | 14k|3766 | 9.100000e+01 | -- | Inf
646.28/646.47 c 646s| 9900 | 4186 | 3079k| 309.2 | 77M| 66 | 644 |3295 |7246 |3295 |3776 |1141 | 14k|3798 | 9.100000e+01 | -- | Inf
649.48/649.67 c 650s| 10000 | 4189 | 3092k| 307.5 | 77M| 74 | - |3295 |7302 |3295 |3776 |1141 | 14k|3832 | 9.100000e+01 | -- | Inf
653.58/653.76 c 654s| 10100 | 4201 | 3110k| 306.2 | 77M| 74 | 725 |3295 |7267 |3295 |3776 |1141 | 14k|3872 | 9.100000e+01 | -- | Inf
658.07/658.21 c 658s| 10200 | 4218 | 3131k| 305.2 | 78M| 74 | 833 |3295 |7207 |3295 |3776 |1141 | 14k|3920 | 9.100000e+01 | -- | Inf
665.67/665.85 c 666s| 10300 | 4255 | 3175k| 306.5 | 78M| 74 | 544 |3295 |7360 |3295 |3776 |1141 | 15k|3970 | 9.100000e+01 | -- | Inf
672.87/673.01 c 673s| 10400 | 4287 | 3211k| 307.1 | 78M| 74 | 760 |3295 |7255 |3295 |3776 |1141 | 15k|4016 | 9.100000e+01 | -- | Inf
676.77/676.96 c 677s| 10500 | 4333 | 3231k| 306.1 | 79M| 74 | 507 |3295 |7295 |3295 |3776 |1141 | 15k|4049 | 9.100000e+01 | -- | Inf
679.47/679.70 c 680s| 10600 | 4331 | 3246k| 304.6 | 79M| 86 | 554 |3295 |7470 |3295 |3776 |1141 | 15k|4080 | 9.100000e+01 | -- | Inf
683.17/683.38 c 683s| 10700 | 4345 | 3265k| 303.5 | 79M| 86 | 780 |3295 |7563 |3295 |3776 |1141 | 16k|4114 | 9.100000e+01 | -- | Inf
692.66/692.88 c 693s| 10800 | 4375 | 3318k| 305.6 | 80M| 86 | 656 |3295 |7593 |3295 |3776 |1141 | 16k|4147 | 9.100000e+01 | -- | Inf
698.07/698.20 c 698s| 10900 | 4408 | 3345k| 305.3 | 80M| 86 | 558 |3295 |7337 |3295 |3776 |1141 | 16k|4189 | 9.100000e+01 | -- | Inf
703.77/703.93 c 704s| 11000 | 4435 | 3379k| 305.6 | 80M| 86 | 618 |3295 |7149 |3295 |3776 |1141 | 16k|4223 | 9.100000e+01 | -- | Inf
708.47/708.67 c 709s| 11100 | 4481 | 3402k| 304.9 | 80M| 86 | 645 |3295 |7109 |3295 |3776 |1141 | 17k|4266 | 9.100000e+01 | -- | Inf
712.76/712.91 c 713s| 11200 | 4502 | 3420k| 303.8 | 80M| 86 | 512 |3295 |7105 |3295 |3776 |1141 | 17k|4314 | 9.100000e+01 | -- | Inf
715.27/715.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
715.27/715.44 c 715s| 11300 | 4524 | 3435k| 302.4 | 81M| 86 | 514 |3295 |7050 |3295 |3776 |1141 | 17k|4329 | 9.100000e+01 | -- | Inf
719.17/719.36 c 719s| 11400 | 4554 | 3450k| 301.1 | 81M| 86 | 759 |3295 |7101 |3295 |3776 |1141 | 17k|4375 | 9.100000e+01 | -- | Inf
722.37/722.53 c 723s| 11500 | 4575 | 3465k| 299.8 | 81M| 86 | 563 |3295 |7156 |3295 |3776 |1141 | 17k|4408 | 9.100000e+01 | -- | Inf
725.77/725.96 c 726s| 11600 | 4602 | 3483k| 298.8 | 82M| 86 | 290 |3295 |7174 |3295 |3776 |1141 | 17k|4430 | 9.100000e+01 | -- | Inf
730.27/730.47 c 730s| 11700 | 4617 | 3507k| 298.2 | 82M| 86 | - |3295 |7230 |3295 |3776 |1141 | 18k|4461 | 9.100000e+01 | -- | Inf
736.56/736.79 c 737s| 11800 | 4662 | 3537k| 298.3 | 82M| 86 | 692 |3295 |7269 |3295 |3776 |1141 | 18k|4531 | 9.100000e+01 | -- | Inf
739.76/739.99 c 740s| 11900 | 4686 | 3550k| 296.8 | 83M| 86 | 747 |3295 |7309 |3295 |3776 |1141 | 18k|4565 | 9.100000e+01 | -- | Inf
743.65/743.80 c 744s| 12000 | 4697 | 3569k| 296.0 | 83M| 86 | 621 |3295 |7423 |3295 |3776 |1141 | 18k|4604 | 9.100000e+01 | -- | Inf
747.25/747.45 c 747s| 12100 | 4716 | 3588k| 295.1 | 83M| 86 | 538 |3295 |7501 |3295 |3776 |1141 | 18k|4641 | 9.100000e+01 | -- | Inf
751.25/751.40 c 751s| 12200 | 4731 | 3608k| 294.3 | 84M| 86 | 617 |3295 |7548 |3295 |3776 |1141 | 18k|4682 | 9.100000e+01 | -- | Inf
755.86/756.07 c 756s| 12300 | 4744 | 3632k| 293.9 | 84M| 86 | 661 |3295 |7558 |3295 |3776 |1141 | 19k|4757 | 9.100000e+01 | -- | Inf
761.15/761.33 c 761s| 12400 | 4750 | 3657k| 293.5 | 84M| 86 | - |3295 |7473 |3295 |3776 |1141 | 19k|4806 | 9.100000e+01 | -- | Inf
764.86/765.01 c 765s| 12500 | 4784 | 3678k| 292.9 | 84M| 86 | 833 |3295 |7463 |3295 |3776 |1141 | 19k|4830 | 9.100000e+01 | -- | Inf
775.55/775.71 c 776s| 12600 | 4816 | 3732k| 294.8 | 85M| 86 | 734 |3295 |7766 |3295 |3776 |1141 | 20k|4864 | 9.100000e+01 | -- | Inf
782.15/782.31 c 782s| 12700 | 4858 | 3767k| 295.3 | 85M| 86 | 460 |3295 |7917 |3295 |3776 |1141 | 20k|4909 | 9.100000e+01 | -- | Inf
785.94/786.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
785.94/786.16 c 786s| 12800 | 4878 | 3785k| 294.4 | 86M| 86 | 614 |3295 |8004 |3295 |3776 |1141 | 20k|4951 | 9.100000e+01 | -- | Inf
791.04/791.23 c 791s| 12900 | 4892 | 3807k| 293.8 | 86M| 86 | - |3295 |7998 |3295 |3776 |1141 | 20k|5013 | 9.100000e+01 | -- | Inf
795.74/795.96 c 796s| 13000 | 4915 | 3829k| 293.2 | 86M| 86 | - |3295 |7920 |3295 |3776 |1141 | 21k|5069 | 9.100000e+01 | -- | Inf
799.85/800.07 c 800s| 13100 | 4929 | 3847k| 292.3 | 86M| 86 | 792 |3295 |7934 |3295 |3776 |1141 | 21k|5122 | 9.100000e+01 | -- | Inf
804.44/804.65 c 805s| 13200 | 4953 | 3871k| 291.9 | 87M| 86 | - |3295 |7789 | 0 | 0 |1141 | 21k|5161 | 9.100000e+01 | -- | Inf
809.94/810.10 c 810s| 13300 | 4986 | 3902k| 292.0 | 87M| 86 | 874 |3295 |7588 |3295 |3776 |1141 | 21k|5223 | 9.100000e+01 | -- | Inf
815.54/815.74 c 816s| 13400 | 5022 | 3928k| 291.8 | 87M| 86 | - |3295 |7533 |3295 |3776 |1141 | 21k|5275 | 9.100000e+01 | -- | Inf
819.04/819.24 c 819s| 13500 | 5054 | 3948k| 291.2 | 87M| 86 | - |3295 |7529 |3295 |3776 |1141 | 21k|5293 | 9.100000e+01 | -- | Inf
825.64/825.81 c 826s| 13600 | 5106 | 3981k| 291.4 | 88M| 86 | 931 |3295 |7504 |3295 |3776 |1141 | 21k|5339 | 9.100000e+01 | -- | Inf
832.14/832.39 c 832s| 13700 | 5119 | 4012k| 291.6 | 88M| 86 | 864 |3295 |7510 |3295 |3776 |1141 | 22k|5382 | 9.100000e+01 | -- | Inf
840.04/840.22 c 840s| 13800 | 5151 | 4051k| 292.3 | 88M| 86 | - |3295 |7379 | 0 | 0 |1141 | 22k|5428 | 9.100000e+01 | -- | Inf
845.04/845.23 c 845s| 13900 | 5180 | 4079k| 292.2 | 88M| 86 | 817 |3295 |7311 |3295 |3776 |1141 | 22k|5477 | 9.100000e+01 | -- | Inf
850.14/850.34 c 850s| 14000 | 5189 | 4107k| 292.1 | 89M| 86 | - |3295 |7561 |3295 |3776 |1141 | 22k|5559 | 9.100000e+01 | -- | Inf
855.94/856.14 c 856s| 14100 | 5238 | 4139k| 292.3 | 89M| 86 | 631 |3295 |7504 |3295 |3776 |1141 | 22k|5609 | 9.100000e+01 | -- | Inf
858.73/858.96 c 859s| 14200 | 5261 | 4157k| 291.5 | 90M| 86 | - |3295 |7622 | 0 | 0 |1141 | 23k|5629 | 9.100000e+01 | -- | Inf
862.83/863.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
862.83/863.08 c 863s| 14300 | 5246 | 4175k| 290.8 | 90M| 86 | - |3295 |7630 | 0 | 0 |1141 | 23k|5681 | 9.100000e+01 | -- | Inf
867.04/867.29 c 867s| 14400 | 5278 | 4200k| 290.4 | 90M| 86 | 511 |3295 |7593 |3295 |3776 |1141 | 23k|5702 | 9.100000e+01 | -- | Inf
871.24/871.40 c 871s| 14500 | 5295 | 4215k| 289.5 | 90M| 86 | - |3295 |7462 |3295 |3776 |1141 | 23k|5746 | 9.100000e+01 | -- | Inf
877.94/878.15 c 878s| 14600 | 5331 | 4249k| 289.9 | 90M| 86 | 693 |3295 |7409 |3295 |3776 |1141 | 23k|5782 | 9.100000e+01 | -- | Inf
880.63/880.82 c 881s| 14700 | 5350 | 4264k| 288.9 | 91M| 86 | - |3295 |7481 |3295 |3776 |1141 | 24k|5800 | 9.100000e+01 | -- | Inf
884.34/884.58 c 885s| 14800 | 5366 | 4284k| 288.3 | 91M| 86 | 474 |3295 |7785 |3295 |3776 |1141 | 24k|5856 | 9.100000e+01 | -- | Inf
889.04/889.22 c 889s| 14900 | 5374 | 4308k| 288.0 | 91M| 86 | - |3295 |7925 |3295 |3776 |1141 | 24k|5917 | 9.100000e+01 | -- | Inf
893.63/893.81 c 894s| 15000 | 5389 | 4336k| 287.9 | 92M| 86 | - |3295 |7988 |3295 |3776 |1141 | 24k|5963 | 9.100000e+01 | -- | Inf
898.33/898.52 c 899s| 15100 | 5384 | 4362k| 287.7 | 92M| 86 | 677 |3295 |8174 |3295 |3776 |1141 | 25k|6027 | 9.100000e+01 | -- | Inf
903.34/903.57 c 904s| 15200 | 5405 | 4393k| 287.9 | 92M| 86 | 542 |3295 |8143 |3295 |3776 |1141 | 25k|6069 | 9.100000e+01 | -- | Inf
907.24/907.45 c 907s| 15300 | 5435 | 4414k| 287.4 | 92M| 86 | 692 |3295 |7958 |3295 |3776 |1141 | 25k|6110 | 9.100000e+01 | -- | Inf
913.84/914.03 c 914s| 15400 | 5463 | 4449k| 287.8 | 92M| 86 | - |3295 |7834 |3295 |3776 |1141 | 25k|6154 | 9.100000e+01 | -- | Inf
918.52/918.74 c 919s| 15500 | 5487 | 4474k| 287.5 | 93M| 86 | - |3295 |7982 | 0 | 0 |1141 | 25k|6196 | 9.100000e+01 | -- | Inf
921.53/921.74 c 922s| 15600 | 5487 | 4489k| 286.6 | 93M| 86 | 639 |3295 |8066 |3295 |3776 |1141 | 26k|6213 | 9.100000e+01 | -- | Inf
924.73/924.90 c 925s| 15700 | 5510 | 4506k| 285.9 | 93M| 86 | - |3295 |8055 |3295 |3776 |1141 | 26k|6233 | 9.100000e+01 | -- | Inf
928.42/928.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
928.42/928.64 c 929s| 15800 | 5526 | 4521k| 285.0 | 93M| 86 | - |3295 |7983 | 0 | 0 |1141 | 26k|6289 | 9.100000e+01 | -- | Inf
933.92/934.12 c 934s| 15900 | 5555 | 4546k| 284.8 | 93M| 86 | - |3295 |7958 |3295 |3776 |1141 | 26k|6321 | 9.100000e+01 | -- | Inf
938.63/938.84 c 939s| 16000 | 5562 | 4572k| 284.7 | 93M| 86 | - |3295 |8042 |3295 |3776 |1141 | 27k|6350 | 9.100000e+01 | -- | Inf
942.72/942.99 c 943s| 16100 | 5583 | 4590k| 284.0 | 94M| 86 | - |3295 |7974 |3295 |3776 |1141 | 27k|6407 | 9.100000e+01 | -- | Inf
948.72/948.99 c 949s| 16200 | 5615 | 4615k| 283.8 | 94M| 86 | - |3295 |8168 |3295 |3776 |1141 | 27k|6456 | 9.100000e+01 | -- | Inf
952.72/952.97 c 953s| 16300 | 5629 | 4634k| 283.2 | 94M| 86 | 689 |3295 |8045 |3295 |3776 |1141 | 27k|6480 | 9.100000e+01 | -- | Inf
956.02/956.21 c 956s| 16400 | 5651 | 4649k| 282.4 | 95M| 86 | - |3295 |7953 | 0 | 0 |1141 | 27k|6509 | 9.100000e+01 | -- | Inf
962.43/962.66 c 963s| 16500 | 5666 | 4683k| 282.7 | 95M| 86 | 462 |3295 |7835 |3295 |3776 |1141 | 28k|6562 | 9.100000e+01 | -- | Inf
967.62/967.81 c 968s| 16600 | 5704 | 4709k| 282.6 | 95M| 86 | 367 |3295 |7676 |3295 |3776 |1141 | 28k|6609 | 9.100000e+01 | -- | Inf
973.42/973.68 c 974s| 16700 | 5730 | 4742k| 282.9 | 95M| 86 | 734 |3295 |7659 |3295 |3776 |1141 | 28k|6617 | 9.100000e+01 | -- | Inf
977.62/977.81 c 978s| 16800 | 5736 | 4762k| 282.4 | 96M| 86 | 597 |3295 |7620 |3295 |3776 |1141 | 28k|6677 | 9.100000e+01 | -- | Inf
981.62/981.89 c 982s| 16900 | 5740 | 4781k| 281.9 | 96M| 86 | - |3295 |7805 |3295 |3776 |1141 | 29k|6742 | 9.100000e+01 | -- | Inf
985.32/985.53 c 986s| 17000 | 5760 | 4800k| 281.3 | 96M| 86 | - |3295 |7979 |3295 |3776 |1141 | 29k|6787 | 9.100000e+01 | -- | Inf
989.92/990.14 c 990s| 17100 | 5758 | 4820k| 280.9 | 96M| 86 | 597 |3295 |7894 |3295 |3776 |1141 | 29k|6857 | 9.100000e+01 | -- | Inf
999.31/999.56 c 1000s| 17200 | 5776 | 4864k| 281.7 | 97M| 86 | 398 |3295 |7915 |3295 |3776 |1141 | 29k|6897 | 9.100000e+01 | -- | Inf
1003.92/1004.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1003.92/1004.19 c 1004s| 17300 | 5819 | 4890k| 281.6 | 97M| 86 | 620 |3295 |7701 |3295 |3776 |1141 | 29k|6923 | 9.100000e+01 | -- | Inf
1010.11/1010.35 c 1010s| 17400 | 5846 | 4923k| 281.9 | 97M| 86 |1189 |3295 |7500 |3295 |3776 |1141 | 30k|6981 | 9.100000e+01 | -- | Inf
1023.22/1023.44 c 1023s| 17500 | 5886 | 4998k| 284.6 | 97M| 86 | - |3295 |7701 | 0 | 0 |1141 | 30k|7041 | 9.100000e+01 | -- | Inf
1027.42/1027.62 c 1028s| 17600 | 5904 | 5023k| 284.4 | 97M| 86 | 716 |3295 |7746 |3295 |3776 |1141 | 30k|7082 | 9.100000e+01 | -- | Inf
1030.61/1030.81 c 1031s| 17700 | 5926 | 5040k| 283.7 | 98M| 86 | 923 |3295 |7795 |3295 |3776 |1141 | 30k|7099 | 9.100000e+01 | -- | Inf
1033.31/1033.55 c 1034s| 17800 | 5967 | 5052k| 282.8 | 98M| 86 | 695 |3295 |7811 |3295 |3776 |1141 | 31k|7116 | 9.100000e+01 | -- | Inf
1037.51/1037.71 c 1038s| 17900 | 5983 | 5070k| 282.3 | 98M| 86 | 517 |3295 |7758 |3295 |3776 |1141 | 31k|7163 | 9.100000e+01 | -- | Inf
1042.21/1042.43 c 1042s| 18000 | 6021 | 5094k| 282.0 | 99M| 86 | - |3295 |7719 | 0 | 0 |1141 | 31k|7201 | 9.100000e+01 | -- | Inf
1045.82/1046.10 c 1046s| 18100 | 6038 | 5115k| 281.6 | 99M| 86 | 665 |3295 |7727 |3295 |3776 |1141 | 31k|7239 | 9.100000e+01 | -- | Inf
1049.11/1049.36 c 1049s| 18200 | 6055 | 5129k| 280.9 | 99M| 86 | 546 |3295 |7726 |3295 |3776 |1141 | 31k|7289 | 9.100000e+01 | -- | Inf
1052.31/1052.51 c 1053s| 18300 | 6081 | 5140k| 279.9 | 100M| 86 | - |3295 |7846 | 0 | 0 |1141 | 31k|7341 | 9.100000e+01 | -- | Inf
1055.11/1055.38 c 1055s| 18400 | 6088 | 5151k| 279.0 | 100M| 86 | 393 |3295 |7887 |3295 |3776 |1141 | 32k|7355 | 9.100000e+01 | -- | Inf
1060.12/1060.33 c 1060s| 18500 | 6109 | 5173k| 278.7 | 100M| 86 | 367 |3295 |7939 |3295 |3776 |1141 | 32k|7417 | 9.100000e+01 | -- | Inf
1064.51/1064.73 c 1065s| 18600 | 6128 | 5195k| 278.4 | 101M| 86 | - |3295 |7909 |3295 |3776 |1141 | 32k|7456 | 9.100000e+01 | -- | Inf
1070.02/1070.26 c 1070s| 18700 | 6161 | 5222k| 278.3 | 101M| 86 | 714 |3295 |8010 |3295 |3776 |1141 | 32k|7501 | 9.100000e+01 | -- | Inf
1073.20/1073.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1073.20/1073.48 c 1073s| 18800 | 6189 | 5240k| 277.8 | 101M| 86 | 714 |3295 |8083 |3295 |3776 |1141 | 33k|7530 | 9.100000e+01 | -- | Inf
1075.51/1075.71 c 1076s| 18900 | 6206 | 5254k| 277.1 | 102M| 86 | 564 |3295 |8195 |3295 |3776 |1141 | 33k|7541 | 9.100000e+01 | -- | Inf
1077.71/1077.91 c 1078s| 19000 | 6203 | 5264k| 276.1 | 102M| 86 | - |3295 |8279 | 0 | 0 |1141 | 33k|7572 | 9.100000e+01 | -- | Inf
1085.80/1086.04 c 1086s| 19100 | 6239 | 5298k| 276.5 | 102M| 86 | 744 |3295 |8072 |3295 |3776 |1141 | 33k|7645 | 9.100000e+01 | -- | Inf
1091.60/1091.85 c 1092s| 19200 | 6276 | 5327k| 276.5 | 103M| 86 | 529 |3295 |7753 |3295 |3776 |1141 | 33k|7684 | 9.100000e+01 | -- | Inf
1094.10/1094.39 c 1094s| 19300 | 6286 | 5340k| 275.8 | 103M| 86 | - |3295 |7694 | 0 | 0 |1141 | 33k|7714 | 9.100000e+01 | -- | Inf
1097.70/1097.96 c 1098s| 19400 | 6304 | 5356k| 275.2 | 103M| 86 | - |3295 |7674 | 0 | 0 |1141 | 34k|7752 | 9.100000e+01 | -- | Inf
1100.70/1100.97 c 1101s| 19500 | 6321 | 5369k| 274.4 | 103M| 86 | 597 |3295 |7576 |3295 |3776 |1141 | 34k|7793 | 9.100000e+01 | -- | Inf
1105.69/1105.93 c 1106s| 19600 | 6339 | 5397k| 274.5 | 104M| 86 | 627 |3295 |7858 |3295 |3776 |1141 | 34k|7824 | 9.100000e+01 | -- | Inf
1109.50/1109.76 c 1110s| 19700 | 6360 | 5416k| 274.0 | 104M| 86 | - |3295 |7926 |3295 |3776 |1141 | 34k|7858 | 9.100000e+01 | -- | Inf
1113.10/1113.36 c 1113s| 19800 | 6404 | 5438k| 273.7 | 105M| 86 | 457 |3295 |7904 |3295 |3776 |1141 | 34k|7871 | 9.100000e+01 | -- | Inf
1114.60/1114.87 c 1115s| 19900 | 6438 | 5446k| 272.8 | 105M| 86 | 502 |3295 |7958 |3295 |3776 |1141 | 35k|7871 | 9.100000e+01 | -- | Inf
1116.80/1117.06 c 1117s| 20000 | 6442 | 5467k| 272.5 | 106M| 86 | 614 |3295 |7991 |3295 |3776 |1141 | 35k|7872 | 9.100000e+01 | -- | Inf
1123.89/1124.12 c 1124s| 20100 | 6475 | 5502k| 272.9 | 106M| 86 | - |3295 |7972 | 0 | 0 |1141 | 35k|7925 | 9.100000e+01 | -- | Inf
1127.09/1127.34 c 1127s| 20200 | 6511 | 5521k| 272.4 | 106M| 86 | 786 |3295 |7946 |3295 |3776 |1141 | 35k|7949 | 9.100000e+01 | -- | Inf
1131.99/1132.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1131.99/1132.21 c 1132s| 20300 | 6544 | 5538k| 271.9 | 107M| 86 | 391 |3295 |7993 |3295 |3776 |1141 | 35k|8003 | 9.100000e+01 | -- | Inf
1134.08/1134.30 c 1134s| 20400 | 6550 | 5552k| 271.3 | 107M| 86 | 603 |3295 |8010 |3295 |3776 |1141 | 35k|8004 | 9.100000e+01 | -- | Inf
1138.29/1138.55 c 1139s| 20500 | 6577 | 5571k| 270.9 | 107M| 86 | 669 |3295 |7936 |3295 |3776 |1141 | 36k|8033 | 9.100000e+01 | -- | Inf
1141.88/1142.11 c 1142s| 20600 | 6597 | 5592k| 270.6 | 107M| 86 | - |3295 |7660 |3295 |3776 |1141 | 36k|8063 | 9.100000e+01 | -- | Inf
1143.89/1144.19 c 1144s| 20700 | 6614 | 5605k| 269.9 | 107M| 86 | - |3295 |7668 | 0 | 0 |1141 | 36k|8064 | 9.100000e+01 | -- | Inf
1149.99/1150.24 c 1150s| 20800 | 6641 | 5622k| 269.4 | 108M| 86 |1092 |3295 |7629 |3295 |3776 |1141 | 36k|8161 | 9.100000e+01 | -- | Inf
1156.28/1156.51 c 1157s| 20900 | 6669 | 5650k| 269.5 | 108M| 86 | - |3295 |7598 |3295 |3776 |1141 | 36k|8240 | 9.100000e+01 | -- | Inf
1161.48/1161.71 c 1162s| 21000 | 6701 | 5685k| 269.9 | 108M| 86 | 718 |3295 |7564 |3295 |3776 |1141 | 37k|8243 | 9.100000e+01 | -- | Inf
1164.88/1165.16 c 1165s| 21100 | 6724 | 5708k| 269.7 | 108M| 86 | 767 |3295 |7621 |3295 |3776 |1141 | 37k|8243 | 9.100000e+01 | -- | Inf
1173.88/1174.13 c 1174s| 21200 | 6768 | 5740k| 269.9 | 109M| 86 | 637 |3295 |7577 |3295 |3776 |1141 | 37k|8362 | 9.100000e+01 | -- | Inf
1178.58/1178.84 c 1179s| 21300 | 6795 | 5757k| 269.5 | 109M| 86 | 657 |3295 |7582 |3295 |3776 |1141 | 37k|8393 | 9.100000e+01 | -- | Inf
1184.39/1184.65 c 1185s| 21400 | 6838 | 5789k| 269.7 | 110M| 86 | 703 |3295 |7646 |3295 |3776 |1141 | 37k|8426 | 9.100000e+01 | -- | Inf
1188.08/1188.36 c 1188s| 21500 | 6853 | 5811k| 269.5 | 110M| 86 | 591 |3295 |7615 |3295 |3776 |1141 | 38k|8435 | 9.100000e+01 | -- | Inf
1192.08/1192.35 c 1192s| 21600 | 6860 | 5833k| 269.2 | 110M| 86 | - |3295 |7645 |3295 |3776 |1141 | 38k|8449 | 9.100000e+01 | -- | Inf
1195.67/1195.98 c 1196s| 21700 | 6896 | 5851k| 268.8 | 110M| 86 | 534 |3295 |7598 |3295 |3776 |1141 | 38k|8467 | 9.100000e+01 | -- | Inf
1197.47/1197.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1197.47/1197.70 c 1198s| 21800 | 6925 | 5864k| 268.2 | 111M| 86 | 719 |3295 |7671 |3295 |3776 |1141 | 38k|8467 | 9.100000e+01 | -- | Inf
1199.38/1199.64 c 1200s| 21900 | 6948 | 5877k| 267.6 | 111M| 86 | 567 |3295 |7716 |3295 |3776 |1141 | 38k|8467 | 9.100000e+01 | -- | Inf
1202.27/1202.56 c 1203s| 22000 | 6961 | 5896k| 267.2 | 111M| 86 | 637 |3295 |7780 |3295 |3776 |1141 | 38k|8478 | 9.100000e+01 | -- | Inf
1206.88/1207.11 c 1207s| 22100 | 7013 | 5930k| 267.5 | 112M| 86 | 666 |3295 |7673 |3295 |3776 |1141 | 39k|8489 | 9.100000e+01 | -- | Inf
1209.37/1209.69 c 1210s| 22200 | 7033 | 5948k| 267.1 | 112M| 86 | - |3295 |7664 |3295 |3776 |1141 | 39k|8506 | 9.100000e+01 | -- | Inf
1211.17/1211.44 c 1211s| 22300 | 7047 | 5960k| 266.5 | 112M| 86 | - |3295 |7670 | 0 | 0 |1141 | 39k|8506 | 9.100000e+01 | -- | Inf
1214.08/1214.36 c 1214s| 22400 | 7072 | 5984k| 266.3 | 113M| 86 | - |3295 |7696 | 0 | 0 |1141 | 39k|8506 | 9.100000e+01 | -- | Inf
1227.07/1227.36 c 1227s| 22500 | 7098 | 6027k| 267.1 | 113M| 86 | - |3295 |7963 |3295 |3776 |1141 | 40k|8604 | 9.100000e+01 | -- | Inf
1229.07/1229.38 c 1229s| 22600 | 7117 | 6042k| 266.6 | 114M| 86 | - |3295 |8103 |3295 |3776 |1141 | 40k|8604 | 9.100000e+01 | -- | Inf
1232.87/1233.16 c 1233s| 22700 | 7127 | 6068k| 266.6 | 114M| 86 | 532 |3295 |8532 |3295 |3776 |1141 | 40k|8604 | 9.100000e+01 | -- | Inf
1234.87/1235.15 c 1235s| 22800 | 7134 | 6085k| 266.1 | 114M| 86 | - |3295 |8716 |3295 |3776 |1141 | 41k|8604 | 9.100000e+01 | -- | Inf
1238.47/1238.75 c 1239s| 22900 | 7147 | 6109k| 266.0 | 114M| 86 | 501 |3295 |8635 |3295 |3776 |1141 | 41k|8613 | 9.100000e+01 | -- | Inf
1255.47/1255.71 c 1256s| 23000 | 7168 | 6134k| 265.9 | 115M| 86 | - |3295 |8602 |3295 |3776 |1141 | 41k|8731 | 9.100000e+01 | -- | Inf
1257.08/1257.37 c 1257s| 23100 | 7204 | 6143k| 265.2 | 115M| 86 | 540 |3295 |8470 |3295 |3776 |1141 | 41k|8731 | 9.100000e+01 | -- | Inf
1258.87/1259.17 c 1259s| 23200 | 7212 | 6156k| 264.6 | 115M| 86 | - |3295 |8360 |3295 |3776 |1141 | 41k|8731 | 9.100000e+01 | -- | Inf
1260.87/1261.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1260.87/1261.14 c 1261s| 23300 | 7223 | 6170k| 264.1 | 115M| 86 | 601 |3295 |8375 |3295 |3776 |1141 | 41k|8731 | 9.100000e+01 | -- | Inf
1262.97/1263.22 c 1263s| 23400 | 7247 | 6184k| 263.5 | 116M| 86 | 471 |3295 |8449 |3295 |3776 |1141 | 42k|8731 | 9.100000e+01 | -- | Inf
1265.16/1265.47 c 1265s| 23500 | 7270 | 6202k| 263.2 | 116M| 86 | 605 |3295 |8479 |3295 |3776 |1141 | 42k|8731 | 9.100000e+01 | -- | Inf
1267.97/1268.21 c 1268s| 23600 | 7279 | 6221k| 262.9 | 116M| 86 | - |3295 |8364 | 0 | 0 |1141 | 42k|8733 | 9.100000e+01 | -- | Inf
1270.67/1270.98 c 1271s| 23700 | 7301 | 6240k| 262.6 | 117M| 86 | 625 |3295 |8034 |3295 |3776 |1141 | 42k|8734 | 9.100000e+01 | -- | Inf
1272.37/1272.65 c 1273s| 23800 | 7328 | 6247k| 261.8 | 117M| 86 | 631 |3295 |8075 |3295 |3776 |1141 | 43k|8746 | 9.100000e+01 | -- | Inf
1274.67/1274.99 c 1275s| 23900 | 7360 | 6266k| 261.4 | 117M| 86 | 749 |3295 |8101 |3295 |3776 |1141 | 43k|8746 | 9.100000e+01 | -- | Inf
1282.17/1282.41 c 1282s| 24000 | 7384 | 6293k| 261.5 | 118M| 86 | 506 |3295 |8047 |3295 |3776 |1141 | 43k|8813 | 9.100000e+01 | -- | Inf
1285.76/1286.05 c 1286s| 24100 | 7418 | 6315k| 261.3 | 118M| 86 | 643 |3295 |7951 |3295 |3776 |1141 | 43k|8831 | 9.100000e+01 | -- | Inf
1288.87/1289.11 c 1289s| 24200 | 7443 | 6337k| 261.2 | 118M| 86 | 557 |3295 |7887 |3295 |3776 |1141 | 43k|8831 | 9.100000e+01 | -- | Inf
1292.96/1293.22 c 1293s| 24300 | 7475 | 6365k| 261.2 | 119M| 86 | 528 |3295 |7866 |3295 |3776 |1141 | 43k|8856 | 9.100000e+01 | -- | Inf
1295.16/1295.49 c 1295s| 24400 | 7496 | 6381k| 260.8 | 119M| 86 | - |3295 |7891 | 0 | 0 |1141 | 44k|8856 | 9.100000e+01 | -- | Inf
1297.06/1297.31 c 1297s| 24500 | 7519 | 6395k| 260.3 | 119M| 86 | 455 |3295 |7935 |3295 |3776 |1141 | 44k|8856 | 9.100000e+01 | -- | Inf
1298.56/1298.80 c 1299s| 24600 | 7544 | 6405k| 259.7 | 120M| 86 | - |3295 |8066 | 0 | 0 |1141 | 44k|8856 | 9.100000e+01 | -- | Inf
1299.96/1300.26 c 1300s| 24700 | 7556 | 6414k| 259.0 | 120M| 86 | - |3295 |8112 |3295 |3776 |1141 | 44k|8856 | 9.100000e+01 | -- | Inf
1302.26/1302.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1302.26/1302.53 c 1303s| 24800 | 7583 | 6430k| 258.6 | 120M| 86 | 571 |3295 |8060 |3295 |3776 |1141 | 44k|8856 | 9.100000e+01 | -- | Inf
1304.76/1305.09 c 1305s| 24900 | 7616 | 6451k| 258.4 | 120M| 86 | 453 |3295 |7985 |3295 |3776 |1141 | 44k|8856 | 9.100000e+01 | -- | Inf
1308.56/1308.82 c 1309s| 25000 | 7647 | 6469k| 258.1 | 120M| 86 | 657 |3295 |7658 |3295 |3776 |1141 | 45k|8876 | 9.100000e+01 | -- | Inf
1311.26/1311.58 c 1312s| 25100 | 7683 | 6489k| 257.8 | 121M| 86 | 493 |3295 |7557 |3295 |3776 |1141 | 45k|8876 | 9.100000e+01 | -- | Inf
1313.26/1313.54 c 1314s| 25200 | 7689 | 6502k| 257.3 | 121M| 86 | - |3295 |7689 | 0 | 0 |1141 | 45k|8876 | 9.100000e+01 | -- | Inf
1315.56/1315.84 c 1316s| 25300 | 7702 | 6516k| 256.9 | 121M| 86 | 641 |3295 |7792 |3295 |3776 |1141 | 45k|8876 | 9.100000e+01 | -- | Inf
1320.45/1320.75 c 1321s| 25400 | 7736 | 6539k| 256.7 | 122M| 86 | - |3295 |7740 |3295 |3776 |1141 | 45k|8913 | 9.100000e+01 | -- | Inf
1322.56/1322.81 c 1323s| 25500 | 7756 | 6552k| 256.2 | 122M| 86 | 687 |3295 |7752 |3295 |3776 |1141 | 46k|8913 | 9.100000e+01 | -- | Inf
1324.06/1324.32 c 1324s| 25600 | 7774 | 6560k| 255.6 | 122M| 86 | - |3295 |7907 |3295 |3776 |1141 | 46k|8913 | 9.100000e+01 | -- | Inf
1328.15/1328.45 c 1328s| 25700 | 7804 | 6588k| 255.7 | 122M| 86 | 769 |3295 |7825 |3295 |3776 |1141 | 46k|8919 | 9.100000e+01 | -- | Inf
1334.25/1334.53 c 1335s| 25800 | 7835 | 6626k| 256.2 | 123M| 86 | - |3295 |7883 |3295 |3776 |1141 | 46k|8930 | 9.100000e+01 | -- | Inf
1335.95/1336.26 c 1336s| 25900 | 7842 | 6639k| 255.6 | 123M| 86 | - |3295 |7942 |3295 |3776 |1141 | 46k|8930 | 9.100000e+01 | -- | Inf
1338.76/1339.03 c 1339s| 26000 | 7869 | 6660k| 255.5 | 123M| 86 | - |3295 |7906 |3295 |3776 |1141 | 46k|8930 | 9.100000e+01 | -- | Inf
1341.46/1341.74 c 1342s| 26100 | 7886 | 6678k| 255.2 | 124M| 86 | - |3295 |7945 | 0 | 0 |1141 | 47k|8930 | 9.100000e+01 | -- | Inf
1343.25/1343.56 c 1344s| 26200 | 7891 | 6691k| 254.7 | 124M| 86 | 586 |3295 |7966 |3295 |3776 |1141 | 47k|8930 | 9.100000e+01 | -- | Inf
1346.25/1346.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1346.25/1346.54 c 1347s| 26300 | 7894 | 6710k| 254.5 | 124M| 86 | 551 |3295 |8136 |3295 |3776 |1141 | 47k|8930 | 9.100000e+01 | -- | Inf
1349.36/1349.69 c 1350s| 26400 | 7921 | 6735k| 254.4 | 125M| 86 | 578 |3295 |8114 |3295 |3776 |1141 | 47k|8930 | 9.100000e+01 | -- | Inf
1351.55/1351.89 c 1352s| 26500 | 7932 | 6751k| 254.1 | 125M| 86 | 756 |3295 |8105 |3295 |3776 |1141 | 47k|8930 | 9.100000e+01 | -- | Inf
1353.55/1353.87 c 1354s| 26600 | 7965 | 6765k| 253.7 | 125M| 86 | - |3295 |8203 |3295 |3776 |1141 | 48k|8930 | 9.100000e+01 | -- | Inf
1355.96/1356.26 c 1356s| 26700 | 7974 | 6786k| 253.5 | 126M| 86 | 463 |3295 |8192 |3295 |3776 |1141 | 48k|8930 | 9.100000e+01 | -- | Inf
1359.15/1359.46 c 1359s| 26800 | 8005 | 6808k| 253.4 | 126M| 86 | 488 |3295 |8129 |3295 |3776 |1141 | 48k|8940 | 9.100000e+01 | -- | Inf
1362.35/1362.69 c 1363s| 26900 | 8021 | 6834k| 253.4 | 126M| 86 | 588 |3295 |8085 |3295 |3776 |1141 | 48k|8943 | 9.100000e+01 | -- | Inf
1364.95/1365.29 c 1365s| 27000 | 8033 | 6858k| 253.3 | 126M| 86 | 736 |3295 |8076 |3295 |3776 |1141 | 48k|8943 | 9.100000e+01 | -- | Inf
1368.55/1368.85 c 1369s| 27100 | 8053 | 6881k| 253.2 | 126M| 86 | - |3295 |8122 | 0 | 0 |1141 | 49k|8945 | 9.100000e+01 | -- | Inf
1382.55/1382.85 c 1383s| 27200 | 8088 | 6955k| 255.1 | 127M| 86 | - |3295 |8620 |3295 |3776 |1141 | 49k|8945 | 9.100000e+01 | -- | Inf
1386.25/1386.55 c 1387s| 27300 | 8130 | 6981k| 255.1 | 127M| 86 | 779 |3295 |8845 |3295 |3776 |1141 | 50k|8945 | 9.100000e+01 | -- | Inf
1387.95/1388.25 c 1388s| 27400 | 8155 | 6993k| 254.6 | 128M| 86 | 301 |3295 |8963 |3295 |3776 |1141 | 50k|8945 | 9.100000e+01 | -- | Inf
1389.55/1389.88 c 1390s| 27500 | 8178 | 7005k| 254.1 | 128M| 86 | 594 |3295 |9009 |3295 |3776 |1141 | 50k|8945 | 9.100000e+01 | -- | Inf
1391.35/1391.65 c 1392s| 27600 | 8200 | 7018k| 253.6 | 129M| 86 | 566 |3295 |8980 |3295 |3776 |1141 | 51k|8945 | 9.100000e+01 | -- | Inf
1393.65/1393.97 c 1394s| 27700 | 8232 | 7035k| 253.3 | 129M| 86 | - |3295 |8924 |3295 |3776 |1141 | 51k|8945 | 9.100000e+01 | -- | Inf
1397.94/1398.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1397.94/1398.26 c 1398s| 27800 | 8266 | 7065k| 253.5 | 129M| 86 | 719 |3295 |8831 |3295 |3776 |1141 | 51k|8945 | 9.100000e+01 | -- | Inf
1400.35/1400.61 c 1401s| 27900 | 8286 | 7078k| 253.1 | 129M| 86 | - |3295 |8697 | 0 | 0 |1141 | 51k|8945 | 9.100000e+01 | -- | Inf
1403.35/1403.68 c 1404s| 28000 | 8320 | 7096k| 252.8 | 130M| 86 | 476 |3295 |8265 |3295 |3776 |1141 | 51k|8945 | 9.100000e+01 | -- | Inf
1411.34/1411.62 c 1412s| 28100 | 8347 | 7145k| 253.7 | 130M| 86 | 508 |3295 |8157 |3295 |3776 |1141 | 52k|8960 | 9.100000e+01 | -- | Inf
1413.54/1413.84 c 1414s| 28200 | 8364 | 7153k| 253.0 | 130M| 86 | - |3295 |8136 |3295 |3776 |1141 | 52k|8979 | 9.100000e+01 | -- | Inf
1416.24/1416.51 c 1417s| 28300 | 8387 | 7163k| 252.5 | 131M| 86 | - |3295 |8075 | 0 | 0 |1141 | 52k|8993 | 9.100000e+01 | -- | Inf
1418.24/1418.59 c 1419s| 28400 | 8400 | 7172k| 251.9 | 131M| 86 | - |3295 |8062 |3295 |3776 |1141 | 52k|9005 | 9.100000e+01 | -- | Inf
1421.14/1421.42 c 1421s| 28500 | 8383 | 7181k| 251.4 | 131M| 86 | - |3295 |8014 |3295 |3776 |1141 | 52k|9044 | 9.100000e+01 | -- | Inf
1424.34/1424.66 c 1425s| 28600 | 8383 | 7196k| 251.0 | 131M| 86 | 519 |3295 |7945 |3295 |3776 |1141 | 52k|9084 | 9.100000e+01 | -- | Inf
1428.04/1428.39 c 1428s| 28700 | 8395 | 7212k| 250.7 | 131M| 86 | 396 |3295 |7939 |3295 |3776 |1141 | 53k|9130 | 9.100000e+01 | -- | Inf
1433.74/1434.04 c 1434s| 28800 | 8429 | 7241k| 250.8 | 131M| 86 | 400 |3295 |7869 |3295 |3776 |1141 | 53k|9143 | 9.100000e+01 | -- | Inf
1439.14/1439.44 c 1439s| 28900 | 8456 | 7265k| 250.8 | 132M| 86 | 641 |3295 |7918 |3295 |3776 |1141 | 53k|9185 | 9.100000e+01 | -- | Inf
1441.34/1441.67 c 1442s| 29000 | 8469 | 7274k| 250.2 | 132M| 86 | - |3295 |8059 | 0 | 0 |1141 | 53k|9209 | 9.100000e+01 | -- | Inf
1444.64/1445.00 c 1445s| 29100 | 8471 | 7288k| 249.9 | 132M| 86 | 341 |3295 |7997 |3295 |3776 |1141 | 54k|9221 | 9.100000e+01 | -- | Inf
1447.74/1448.00 c 1448s| 29200 | 8458 | 7299k| 249.4 | 133M| 86 | - |3295 |7983 |3295 |3776 |1141 | 54k|9286 | 9.100000e+01 | -- | Inf
1452.13/1452.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1452.13/1452.42 c 1452s| 29300 | 8475 | 7328k| 249.5 | 133M| 86 | 517 |3295 |7916 |3295 |3776 |1141 | 54k|9315 | 9.100000e+01 | -- | Inf
1455.24/1455.58 c 1456s| 29400 | 8500 | 7341k| 249.1 | 133M| 86 | 368 |3295 |7883 |3295 |3776 |1141 | 54k|9358 | 9.100000e+01 | -- | Inf
1458.44/1458.75 c 1459s| 29500 | 8505 | 7352k| 248.6 | 133M| 86 | - |3295 |7947 |3295 |3776 |1141 | 54k|9399 | 9.100000e+01 | -- | Inf
1461.74/1462.03 c 1462s| 29600 | 8518 | 7370k| 248.4 | 133M| 86 | 453 |3295 |8010 |3295 |3776 |1141 | 55k|9429 | 9.100000e+01 | -- | Inf
1464.54/1464.85 c 1465s| 29700 | 8506 | 7381k| 247.9 | 133M| 86 | 387 |3295 |8249 |3295 |3776 |1141 | 55k|9478 | 9.100000e+01 | -- | Inf
1467.63/1467.99 c 1468s| 29800 | 8530 | 7393k| 247.5 | 134M| 86 | 328 |3295 |8243 |3295 |3776 |1141 | 55k|9519 | 9.100000e+01 | -- | Inf
1472.33/1472.62 c 1473s| 29900 | 8538 | 7411k| 247.3 | 134M| 86 | - |3295 |8139 |3295 |3776 |1141 | 55k|9557 | 9.100000e+01 | -- | Inf
1476.43/1476.79 c 1477s| 30000 | 8582 | 7429k| 247.0 | 134M| 86 | - |3295 |7926 | 0 | 0 |1141 | 55k|9591 | 9.100000e+01 | -- | Inf
1477.83/1478.10 c 1478s| 30100 | 8589 | 7435k| 246.4 | 134M| 86 | 542 |3295 |8006 |3295 |3776 |1141 | 56k|9591 | 9.100000e+01 | -- | Inf
1481.23/1481.57 c 1482s| 30200 | 8613 | 7455k| 246.3 | 134M| 86 | - |3295 |7932 | 0 | 0 |1141 | 56k|9606 | 9.100000e+01 | -- | Inf
1485.53/1485.80 c 1486s| 30300 | 8639 | 7477k| 246.2 | 135M| 86 | 339 |3295 |7777 |3295 |3776 |1141 | 56k|9644 | 9.100000e+01 | -- | Inf
1490.93/1491.26 c 1491s| 30400 | 8676 | 7504k| 246.3 | 135M| 86 | 764 |3295 |7655 |3295 |3776 |1141 | 56k|9691 | 9.100000e+01 | -- | Inf
1493.53/1493.81 c 1494s| 30500 | 8699 | 7517k| 245.9 | 136M| 86 | - |3295 |7737 |3295 |3776 |1141 | 56k|9727 | 9.100000e+01 | -- | Inf
1497.43/1497.70 c 1498s| 30600 | 8715 | 7535k| 245.7 | 136M| 86 | - |3295 |7692 | 0 | 0 |1141 | 57k|9741 | 9.100000e+01 | -- | Inf
1501.23/1501.57 c 1502s| 30700 | 8743 | 7555k| 245.5 | 136M| 86 | 560 |3295 |7785 |3295 |3776 |1141 | 57k|9762 | 9.100000e+01 | -- | Inf
1504.73/1505.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1504.73/1505.04 c 1505s| 30800 | 8768 | 7571k| 245.3 | 136M| 86 | 443 |3295 |7878 |3295 |3776 |1141 | 57k|9803 | 9.100000e+01 | -- | Inf
1507.84/1508.13 c 1508s| 30900 | 8801 | 7587k| 245.0 | 137M| 86 | - |3295 |7932 | 0 | 0 |1141 | 57k|9836 | 9.100000e+01 | -- | Inf
1511.23/1511.52 c 1512s| 31000 | 8829 | 7605k| 244.7 | 137M| 86 | - |3295 |7978 | 0 | 0 |1141 | 57k|9889 | 9.100000e+01 | -- | Inf
1516.73/1517.01 c 1517s| 31100 | 8848 | 7632k| 244.8 | 137M| 86 | - |3295 |7976 |3295 |3776 |1141 | 58k|9937 | 9.100000e+01 | -- | Inf
1520.12/1520.41 c 1520s| 31200 | 8874 | 7651k| 244.7 | 138M| 86 | 596 |3295 |8013 |3295 |3776 |1141 | 58k|9958 | 9.100000e+01 | -- | Inf
1526.13/1526.45 c 1526s| 31300 | 8904 | 7674k| 244.6 | 138M| 86 | - |3295 |7949 | 0 | 0 |1141 | 58k| 10k| 9.100000e+01 | -- | Inf
1528.12/1528.45 c 1528s| 31400 | 8934 | 7686k| 244.2 | 138M| 86 | - |3295 |7939 | 0 | 0 |1141 | 58k| 10k| 9.100000e+01 | -- | Inf
1531.52/1531.83 c 1532s| 31500 | 8969 | 7702k| 244.0 | 139M| 86 | 526 |3295 |7936 |3295 |3776 |1141 | 58k| 10k| 9.100000e+01 | -- | Inf
1535.62/1535.93 c 1536s| 31600 | 8986 | 7723k| 243.8 | 139M| 86 | 320 |3295 |7963 |3295 |3776 |1141 | 58k| 10k| 9.100000e+01 | -- | Inf
1538.72/1539.07 c 1539s| 31700 | 8993 | 7738k| 243.5 | 139M| 86 | - |3295 |8055 |3295 |3776 |1141 | 59k| 10k| 9.100000e+01 | -- | Inf
1542.52/1542.87 c 1543s| 31800 | 9004 | 7752k| 243.2 | 140M| 86 | 715 |3295 |7970 |3295 |3776 |1141 | 59k| 10k| 9.100000e+01 | -- | Inf
1546.62/1546.99 c 1547s| 31900 | 9043 | 7777k| 243.2 | 140M| 86 | - |3295 |8004 |3295 |3776 |1141 | 59k| 10k| 9.100000e+01 | -- | Inf
1552.32/1552.63 c 1553s| 32000 | 9066 | 7802k| 243.3 | 140M| 86 | 248 |3295 |8006 |3295 |3776 |1141 | 59k| 10k| 9.100000e+01 | -- | Inf
1556.13/1556.49 c 1556s| 32100 | 9087 | 7821k| 243.1 | 140M| 86 | - |3295 |7815 |3295 |3776 |1141 | 59k| 10k| 9.100000e+01 | -- | Inf
1558.52/1558.89 c 1559s| 32200 | 9113 | 7834k| 242.7 | 140M| 86 | 518 |3295 |7846 |3295 |3776 |1141 | 60k| 10k| 9.100000e+01 | -- | Inf
1561.42/1561.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1561.42/1561.70 c 1562s| 32300 | 9138 | 7846k| 242.4 | 141M| 86 | - |3295 |7834 |3295 |3776 |1141 | 60k| 10k| 9.100000e+01 | -- | Inf
1564.11/1564.47 c 1564s| 32400 | 9147 | 7857k| 242.0 | 141M| 86 | 493 |3295 |7933 |3295 |3776 |1141 | 60k| 10k| 9.100000e+01 | -- | Inf
1567.42/1567.73 c 1568s| 32500 | 9173 | 7880k| 241.9 | 141M| 86 | 549 |3295 |7975 |3295 |3776 |1141 | 60k| 10k| 9.100000e+01 | -- | Inf
1572.32/1572.69 c 1573s| 32600 | 9196 | 7894k| 241.6 | 141M| 86 | - |3295 |7961 | 0 | 0 |1141 | 60k| 10k| 9.100000e+01 | -- | Inf
1577.52/1577.83 c 1578s| 32700 | 9222 | 7923k| 241.8 | 142M| 86 | - |3295 |8155 |3295 |3776 |1141 | 61k| 10k| 9.100000e+01 | -- | Inf
1581.01/1581.37 c 1581s| 32800 | 9248 | 7950k| 241.8 | 142M| 86 | 562 |3295 |8077 |3295 |3776 |1141 | 61k| 10k| 9.100000e+01 | -- | Inf
1585.71/1586.02 c 1586s| 32900 | 9272 | 7970k| 241.7 | 142M| 86 | 593 |3295 |8071 |3295 |3776 |1141 | 61k| 10k| 9.100000e+01 | -- | Inf
1587.71/1588.08 c 1588s| 33000 | 9276 | 7980k| 241.3 | 142M| 86 | 771 |3295 |8208 |3295 |3776 |1141 | 61k| 10k| 9.100000e+01 | -- | Inf
1591.82/1592.19 c 1592s| 33100 | 9297 | 8001k| 241.2 | 143M| 86 | 788 |3295 |8178 |3295 |3776 |1141 | 62k| 10k| 9.100000e+01 | -- | Inf
1594.51/1594.88 c 1595s| 33200 | 9309 | 8013k| 240.8 | 143M| 86 | - |3295 |8117 |3295 |3776 |1141 | 62k| 10k| 9.100000e+01 | -- | Inf
1598.41/1598.77 c 1599s| 33300 | 9336 | 8030k| 240.6 | 143M| 86 | - |3295 |8175 | 0 | 0 |1141 | 62k| 10k| 9.100000e+01 | -- | Inf
1603.31/1603.69 c 1604s| 33400 | 9360 | 8054k| 240.6 | 143M| 86 | 747 |3295 |8181 |3295 |3776 |1141 | 62k| 10k| 9.100000e+01 | -- | Inf
1608.51/1608.83 c 1609s| 33500 | 9387 | 8081k| 240.7 | 143M| 86 | 791 |3295 |8111 |3295 |3776 |1141 | 63k| 10k| 9.100000e+01 | -- | Inf
1611.81/1612.18 c 1612s| 33600 | 9402 | 8103k| 240.6 | 144M| 86 | 472 |3295 |8211 |3295 |3776 |1141 | 63k| 10k| 9.100000e+01 | -- | Inf
1618.61/1618.99 c 1619s| 33700 | 9422 | 8129k| 240.7 | 144M| 86 | 832 |3295 |8097 |3295 |3776 |1141 | 63k| 10k| 9.100000e+01 | -- | Inf
1621.61/1621.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1621.61/1621.91 c 1622s| 33800 | 9457 | 8152k| 240.7 | 144M| 86 | 695 |3295 |8061 |3295 |3776 |1141 | 63k| 10k| 9.100000e+01 | -- | Inf
1627.31/1627.66 c 1628s| 33900 | 9522 | 8189k| 241.0 | 145M| 86 | 752 |3295 |8060 |3295 |3776 |1141 | 63k| 10k| 9.100000e+01 | -- | Inf
1630.80/1631.19 c 1631s| 34000 | 9546 | 8209k| 240.9 | 145M| 86 | 736 |3295 |8103 |3295 |3776 |1141 | 63k| 10k| 9.100000e+01 | -- | Inf
1635.10/1635.43 c 1635s| 34100 | 9562 | 8232k| 240.9 | 145M| 86 | - |3295 |8029 |3295 |3776 |1141 | 64k| 10k| 9.100000e+01 | -- | Inf
1642.80/1643.13 c 1643s| 34200 | 9591 | 8279k| 241.6 | 145M| 86 | 781 |3295 |8171 |3295 |3776 |1141 | 64k| 10k| 9.100000e+01 | -- | Inf
1645.50/1645.86 c 1646s| 34300 | 9617 | 8294k| 241.3 | 146M| 86 | 368 |3295 |8205 |3295 |3776 |1141 | 65k| 10k| 9.100000e+01 | -- | Inf
1648.20/1648.58 c 1649s| 34400 | 9648 | 8308k| 241.0 | 146M| 86 | - |3295 |8222 | 0 | 0 |1141 | 65k| 10k| 9.100000e+01 | -- | Inf
1653.81/1654.12 c 1654s| 34500 | 9702 | 8336k| 241.1 | 147M| 86 | 425 |3295 |8290 |3295 |3776 |1141 | 65k| 10k| 9.100000e+01 | -- | Inf
1656.61/1656.99 c 1657s| 34600 | 9700 | 8351k| 240.9 | 147M| 86 | 445 |3295 |8326 |3295 |3776 |1141 | 65k| 10k| 9.100000e+01 | -- | Inf
1662.30/1662.69 c 1663s| 34700 | 9738 | 8375k| 240.8 | 147M| 86 | - |3295 |8214 | 0 | 0 |1141 | 66k| 10k| 9.100000e+01 | -- | Inf
1665.30/1665.60 c 1666s| 34800 | 9749 | 8390k| 240.6 | 147M| 86 | 920 |3295 |8265 |3295 |3776 |1141 | 66k| 10k| 9.100000e+01 | -- | Inf
1668.70/1669.06 c 1669s| 34900 | 9781 | 8409k| 240.5 | 147M| 86 | 549 |3295 |8309 |3295 |3776 |1141 | 66k| 10k| 9.100000e+01 | -- | Inf
1671.71/1672.02 c 1672s| 35000 | 9786 | 8429k| 240.3 | 147M| 86 | - |3295 |8467 |3295 |3776 |1141 | 66k| 10k| 9.100000e+01 | -- | Inf
1675.20/1675.52 c 1676s| 35100 | 9802 | 8445k| 240.1 | 147M| 86 | 440 |3295 |8362 |3295 |3776 |1141 | 66k| 10k| 9.100000e+01 | -- | Inf
1680.00/1680.33 c 1680s| 35200 | 9815 | 8463k| 239.9 | 148M| 86 | 309 |3295 |8349 |3295 |3776 |1141 | 67k| 11k| 9.100000e+01 | -- | Inf
1685.20/1685.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1685.20/1685.54 c 1686s| 35300 | 9856 | 8500k| 240.3 | 148M| 86 | 419 |3295 |8170 |3295 |3776 |1141 | 67k| 11k| 9.100000e+01 | -- | Inf
1694.70/1695.01 c 1695s| 35400 | 9895 | 8541k| 240.8 | 148M| 86 | 656 |3295 |8300 |3295 |3776 |1141 | 68k| 11k| 9.100000e+01 | -- | Inf
1697.20/1697.51 c 1698s| 35500 | 9897 | 8551k| 240.4 | 148M| 86 | 563 |3295 |8404 |3295 |3776 |1141 | 68k| 11k| 9.100000e+01 | -- | Inf
1702.40/1702.72 c 1703s| 35600 | 9928 | 8576k| 240.4 | 148M| 86 | - |3295 |8269 |3295 |3776 |1141 | 68k| 11k| 9.100000e+01 | -- | Inf
1706.09/1706.45 c 1706s| 35700 | 9971 | 8599k| 240.4 | 149M| 86 | 816 |3295 |8269 |3295 |3776 |1141 | 68k| 11k| 9.100000e+01 | -- | Inf
1710.79/1711.10 c 1711s| 35800 | 10002 | 8618k| 240.2 | 149M| 86 | - |3295 |8305 | 0 | 0 |1141 | 68k| 11k| 9.100000e+01 | -- | Inf
1714.60/1714.98 c 1715s| 35900 | 10028 | 8638k| 240.1 | 149M| 86 | 592 |3295 |8357 |3295 |3776 |1141 | 69k| 11k| 9.100000e+01 | -- | Inf
1719.29/1719.60 c 1720s| 36000 | 10058 | 8662k| 240.1 | 149M| 86 | 444 |3295 |8313 |3295 |3776 |1141 | 69k| 11k| 9.100000e+01 | -- | Inf
1721.89/1722.20 c 1722s| 36100 | 10077 | 8675k| 239.8 | 150M| 86 | 504 |3295 |8394 |3295 |3776 |1141 | 69k| 11k| 9.100000e+01 | -- | Inf
1725.79/1726.10 c 1726s| 36200 | 10099 | 8695k| 239.7 | 150M| 86 | - |3295 |8373 |3295 |3776 |1141 | 69k| 11k| 9.100000e+01 | -- | Inf
1730.29/1730.66 c 1731s| 36300 | 10147 | 8716k| 239.6 | 150M| 86 | 828 |3295 |8214 |3295 |3776 |1141 | 69k| 11k| 9.100000e+01 | -- | Inf
1734.29/1734.61 c 1735s| 36400 | 10165 | 8734k| 239.5 | 150M| 86 | 746 |3295 |8225 |3295 |3776 |1141 | 70k| 11k| 9.100000e+01 | -- | Inf
1739.99/1740.39 c 1740s| 36500 | 10207 | 8758k| 239.5 | 151M| 86 | 709 |3295 |8159 |3295 |3776 |1141 | 70k| 11k| 9.100000e+01 | -- | Inf
1742.89/1743.26 c 1743s| 36600 | 10223 | 8775k| 239.3 | 151M| 86 | 619 |3295 |8332 |3295 |3776 |1141 | 70k| 11k| 9.100000e+01 | -- | Inf
1747.60/1747.96 c 1748s| 36700 | 10259 | 8798k| 239.2 | 151M| 86 | - |3295 |8223 |3295 |3776 |1141 | 70k| 11k| 9.100000e+01 | -- | Inf
1752.68/1753.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1752.68/1753.09 c 1753s| 36800 | 10278 | 8824k| 239.3 | 151M| 86 | 700 |3295 |7991 |3295 |3776 |1141 | 71k| 11k| 9.100000e+01 | -- | Inf
1759.78/1760.17 c 1760s| 36900 | 10317 | 8865k| 239.8 | 151M| 86 | 526 |3295 |7958 |3295 |3776 |1141 | 71k| 11k| 9.100000e+01 | -- | Inf
1763.39/1763.71 c 1764s| 37000 | 10330 | 8886k| 239.7 | 152M| 86 | 754 |3295 |8048 |3295 |3776 |1141 | 71k| 11k| 9.100000e+01 | -- | Inf
1767.59/1767.97 c 1768s| 37100 | 10359 | 8910k| 239.7 | 152M| 86 | 796 |3295 |8036 |3295 |3776 |1141 | 71k| 11k| 9.100000e+01 | -- | Inf
1770.48/1770.80 c 1771s| 37200 | 10363 | 8923k| 239.4 | 152M| 86 | - |3295 |8050 | 0 | 0 |1141 | 71k| 11k| 9.100000e+01 | -- | Inf
1774.29/1774.68 c 1775s| 37300 | 10389 | 8947k| 239.4 | 152M| 86 | - |3295 |8081 |3295 |3776 |1141 | 72k| 11k| 9.100000e+01 | -- | Inf
1779.39/1779.71 c 1780s| 37400 | 10422 | 8969k| 239.4 | 153M| 86 | 619 |3295 |8043 |3295 |3776 |1141 | 72k| 11k| 9.100000e+01 | -- | Inf
1783.68/1784.02 c 1784s| 37500 | 10452 | 8995k| 239.4 | 153M| 86 | 719 |3295 |8031 |3295 |3776 |1141 | 72k| 11k| 9.100000e+01 | -- | Inf
1787.88/1788.26 c 1788s| 37600 | 10498 | 9022k| 239.5 | 153M| 86 | - |3295 |8117 | 0 | 0 |1141 | 72k| 11k| 9.100000e+01 | -- | Inf
1791.08/1791.44 c 1791s| 37700 | 10510 | 9037k| 239.3 | 154M| 86 | 356 |3295 |8152 |3295 |3776 |1141 | 73k| 11k| 9.100000e+01 | -- | Inf
1794.39/1794.75 c 1795s| 37800 | 10530 | 9052k| 239.0 | 154M| 86 | 708 |3295 |8290 |3295 |3776 |1141 | 73k| 11k| 9.100000e+01 | -- | Inf
1796.68/1797.00 c
1796.68/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.00 c Solving Time (sec) : 1797.00
1796.68/1797.00 c Solving Nodes : 37880
1796.68/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.68/1797.00 c Dual Bound : +9.10000000000000e+01
1796.68/1797.00 c Gap : infinite
1796.68/1797.00 s UNKNOWN
1796.68/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.00 c Total Time : 1797.00
1796.68/1797.00 c solving : 1797.00
1796.68/1797.00 c presolving : 0.19 (included in solving)
1796.68/1797.00 c reading : 0.08 (included in solving)
1796.68/1797.00 c copying : 0.06 (2 #copies) (minimal 0.03, maximal 0.03, average 0.03)
1796.68/1797.00 c Original Problem :
1796.68/1797.00 c Problem name : HOME/instance-3692143-1338035046.opb
1796.68/1797.00 c Variables : 3296 (3296 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.00 c Constraints : 6384 initial, 6384 maximal
1796.68/1797.00 c Objective sense : minimize
1796.68/1797.00 c Presolved Problem :
1796.68/1797.00 c Problem name : t_HOME/instance-3692143-1338035046.opb
1796.68/1797.00 c Variables : 3295 (3295 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.00 c Constraints : 3511 initial, 9075 maximal
1796.68/1797.00 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.68/1797.00 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c components : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c probing : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c knapsack : 0.02 0.00 0 0 0 0 0 0 6 109 435
1796.68/1797.00 c setppc : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c linear : 0.14 0.02 1 0 0 1 0 2879 0 91 470
1796.68/1797.00 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c root node : - - 0 - - 0 - - - - -
1796.68/1797.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.68/1797.00 c integral : 0 0 0 0 27498 0 4 0 57 5979 0 0 52112
1796.68/1797.00 c knapsack : 627 627 6 193899 0 1 3 240501 1684 518215 1186 0 0
1796.68/1797.00 c setppc : 6 6 6 19070 0 0 0 1560 0 237 0 0 0
1796.68/1797.00 c linear : 2878+ 4851 7 192215 0 0 0 135211 6723 4913090 23 0 0
1796.68/1797.00 c logicor : 0+ 3717 6 104607 0 0 0 212604 575 93329 0 0 0
1796.68/1797.00 c countsols : 0 0 0 0 0 1 0 0 0 0 0 0 0
1796.68/1797.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.68/1797.00 c integral : 518.46 0.00 0.00 0.00 518.46 0.00 0.00 0.00
1796.68/1797.00 c knapsack : 16.10 0.00 0.04 15.70 0.00 0.00 0.00 0.36
1796.68/1797.00 c setppc : 0.03 0.00 0.00 0.03 0.00 0.00 0.00 0.00
1796.68/1797.00 c linear : 51.38 0.02 0.01 51.03 0.00 0.00 0.00 0.31
1796.68/1797.00 c logicor : 5.21 0.00 0.00 4.81 0.00 0.00 0.00 0.40
1796.68/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.68/1797.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.68/1797.00 c rootredcost : 0 0 0 0
1796.68/1797.00 c pseudoobj : 221297 0 0 0
1796.68/1797.00 c vbounds : 0 0 0 0
1796.68/1797.00 c redcost : 27603 0 0 163
1796.68/1797.00 c probing : 0 0 0 0
1796.68/1797.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.68/1797.00 c rootredcost : 0.19 0.00 0.00 0.19 0.00
1796.68/1797.00 c pseudoobj : 0.40 0.00 0.00 0.40 0.00
1796.68/1797.00 c vbounds : 0.18 0.00 0.00 0.18 0.00
1796.68/1797.00 c redcost : 1.50 0.00 0.00 1.50 0.00
1796.68/1797.00 c probing : 0.01 0.00 0.01 0.00 0.00
1796.68/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.68/1797.00 c propagation : 1.51 8982 8982 85142 43.7 713 19.2 -
1796.68/1797.00 c infeasible LP : 6.32 13191 13191 55385 29.6 1310 16.9 0
1796.68/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.68/1797.00 c applied globally : - - - 73399 29.7 - - -
1796.68/1797.00 c applied locally : - - - 0 0.0 - - -
1796.68/1797.00 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.68/1797.00 c cut pool : 0.00 5 - - 682 - (maximal pool size: 4141)
1796.68/1797.00 c closecuts : 0.00 0.00 0 0 0 0 0
1796.68/1797.00 c impliedbounds : 0.00 0.00 6 0 0 16 0
1796.68/1797.00 c intobj : 0.00 0.00 0 0 0 0 0
1796.68/1797.00 c gomory : 0.99 0.00 6 0 0 13 0
1796.68/1797.00 c cgmip : 0.00 0.00 0 0 0 0 0
1796.68/1797.00 c strongcg : 0.96 0.00 6 0 0 31 0
1796.68/1797.00 c cmir : 1.27 0.00 6 0 0 3000 0
1796.68/1797.00 c flowcover : 0.78 0.00 6 0 0 1200 0
1796.68/1797.00 c clique : 0.01 0.00 6 0 0 0 0
1796.68/1797.00 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.68/1797.00 c mcf : 0.00 0.00 1 0 0 0 0
1796.68/1797.00 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.68/1797.00 c rapidlearning : 10.37 0.00 1 0 0 0 1973
1796.68/1797.00 c Pricers : ExecTime SetupTime Calls Vars
1796.68/1797.00 c problem variables: 0.00 - 0 0
1796.68/1797.00 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.68/1797.00 c relpscost : 518.35 0.00 27498 57 5979 0 0 52112
1796.68/1797.00 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.00 c inference : 0.00 0.00 1 0 0 0 0 2
1796.68/1797.00 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.00 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.00 c random : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.00 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.68/1797.00 c LP solutions : 0.00 - - 0
1796.68/1797.00 c pseudo solutions : 0.00 - - 0
1796.68/1797.00 c oneopt : 0.07 0.00 0 0
1796.68/1797.00 c crossover : 0.04 0.00 0 0
1796.68/1797.00 c guideddiving : 0.00 0.00 0 0
1796.68/1797.00 c intshifting : 0.00 0.00 0 0
1796.68/1797.00 c coefdiving : 70.33 0.00 25 0
1796.68/1797.00 c objpscostdiving : 19.10 0.00 16 0
1796.68/1797.00 c fracdiving : 66.23 0.00 43 0
1796.68/1797.00 c feaspump : 27.92 0.00 37 0
1796.68/1797.00 c rootsoldiving : 12.38 0.00 53 0
1796.68/1797.00 c pscostdiving : 51.70 0.00 180 0
1796.68/1797.00 c veclendiving : 46.82 0.00 261 0
1796.68/1797.00 c linesearchdiving : 53.45 0.00 268 0
1796.68/1797.00 c smallcard : 0.00 0.00 0 0
1796.68/1797.00 c trivial : 0.00 0.00 2 0
1796.68/1797.00 c shiftandpropagate: 0.24 0.00 1 0
1796.68/1797.00 c simplerounding : 0.03 0.00 0 0
1796.68/1797.00 c zirounding : 0.37 0.00 1000 0
1796.68/1797.00 c rounding : 1.28 0.00 2309 0
1796.68/1797.00 c shifting : 9.85 0.00 689 0
1796.68/1797.00 c twoopt : 0.00 0.00 0 0
1796.68/1797.00 c indoneopt : 0.09 0.00 0 0
1796.68/1797.00 c indtwoopt : 0.00 0.00 0 0
1796.68/1797.00 c fixandinfer : 0.00 0.00 0 0
1796.68/1797.00 c clique : 0.00 0.00 0 0
1796.68/1797.00 c indcoefdiving : 0.00 0.00 0 0
1796.68/1797.00 c indrounding : 0.00 0.00 0 0
1796.68/1797.00 c nlpdiving : 0.00 0.00 0 0
1796.68/1797.00 c intdiving : 0.00 0.00 0 0
1796.68/1797.00 c actconsdiving : 0.00 0.00 0 0
1796.68/1797.00 c octane : 0.00 0.00 0 0
1796.68/1797.00 c rens : 0.12 0.00 1 0
1796.68/1797.00 c rins : 0.00 0.00 0 0
1796.68/1797.00 c localbranching : 0.00 0.00 0 0
1796.68/1797.00 c mutation : 0.00 0.00 0 0
1796.68/1797.00 c dins : 0.00 0.00 0 0
1796.68/1797.00 c vbounds : 0.00 0.00 0 0
1796.68/1797.00 c undercover : 0.00 0.00 0 0
1796.68/1797.00 c subnlp : 0.04 0.00 0 0
1796.68/1797.00 c trysol : 0.07 0.00 0 0
1796.68/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.68/1797.00 c primal LP : 0.02 1 0 0.00 0.00 0.02 1
1796.68/1797.00 c dual LP : 762.82 34449 6832678 200.42 8957.14 1.07 358
1796.68/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.68/1797.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.68/1797.00 c diving/probing LP: 310.63 23270 2233442 95.98 7189.98
1796.68/1797.00 c strong branching : 513.57 11861 3089281 260.46 6015.27
1796.68/1797.00 c (at root node) : - 13 11043 849.46 -
1796.68/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.68/1797.00 c B&B Tree :
1796.68/1797.00 c number of runs : 1
1796.68/1797.00 c nodes : 37880
1796.68/1797.00 c nodes (total) : 37880
1796.68/1797.00 c nodes left : 10550
1796.68/1797.00 c max depth : 86
1796.68/1797.00 c max depth (total): 86
1796.68/1797.00 c backtracks : 6317 (16.7%)
1796.68/1797.00 c delayed cutoffs : 3685
1796.68/1797.00 c repropagations : 45641 (1584342 domain reductions, 2404 cutoffs)
1796.68/1797.00 c avg switch length: 8.03
1796.68/1797.00 c switching time : 47.08
1796.68/1797.00 c Solution :
1796.68/1797.00 c Solutions found : 0 (0 improvements)
1796.68/1797.00 c Primal Bound : -
1796.68/1797.00 c Dual Bound : +9.10000000000000e+01
1796.68/1797.00 c Gap : infinite
1796.68/1797.00 c Root Dual Bound : +9.10000000000000e+01
1796.68/1797.00 c Root Iterations : 18298
1796.78/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-3692143-1338035046/watcher-3692143-1338035046 -o /tmp/evaluation-result-3692143-1338035046/solver-3692143-1338035046 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692143-1338035046.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.01 2.02 2.00 3/176 31800
/proc/meminfo: memFree=28384936/32873844 swapFree=7620/7620
[pid=31800] ppid=31798 vsize=12692 CPUtime=0 cores=0,2,4,6
/proc/31800/stat : 31800 (scip-2.1.1.4exp) R 31798 31800 30301 0 -1 4202496 1940 0 0 0 0 0 0 0 20 0 1 0 269633121 12996608 1894 33554432000 4194304 10219143 140733850557760 140733733661112 8844210 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31800/statm: 3173 1894 421 1471 0 1693 0
[startup+0.0149421 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 31800
/proc/meminfo: memFree=28384936/32873844 swapFree=7620/7620
[pid=31800] ppid=31798 vsize=13984 CPUtime=0.01 cores=0,2,4,6
/proc/31800/stat : 31800 (scip-2.1.1.4exp) R 31798 31800 30301 0 -1 4202496 2239 0 0 0 1 0 0 0 20 0 1 0 269633121 14319616 2193 33554432000 4194304 10219143 140733850557760 140733733661112 7123411 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31800/statm: 3496 2193 421 1471 0 2016 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13984
[startup+0.100272 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 31800
/proc/meminfo: memFree=28384936/32873844 swapFree=7620/7620
[pid=31800] ppid=31798 vsize=37012 CPUtime=0.09 cores=0,2,4,6
/proc/31800/stat : 31800 (scip-2.1.1.4exp) R 31798 31800 30301 0 -1 4202496 7974 0 0 0 8 1 0 0 20 0 1 0 269633121 37900288 7929 33554432000 4194304 10219143 140733850557760 140733733661112 7589947 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31800/statm: 9253 7942 484 1471 0 7773 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37012
[startup+0.300269 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 31800
/proc/meminfo: memFree=28384936/32873844 swapFree=7620/7620
[pid=31800] ppid=31798 vsize=73944 CPUtime=0.29 cores=0,2,4,6
/proc/31800/stat : 31800 (scip-2.1.1.4exp) R 31798 31800 30301 0 -1 4202496 16957 0 0 0 23 6 0 0 20 0 1 0 269633121 75718656 16653 33554432000 4194304 10219143 140733850557760 140733733661112 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31800/statm: 18486 16653 613 1471 0 17006 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 73944
[startup+0.700282 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 31800
/proc/meminfo: memFree=28384936/32873844 swapFree=7620/7620
[pid=31800] ppid=31798 vsize=98544 CPUtime=0.69 cores=0,2,4,6
/proc/31800/stat : 31800 (scip-2.1.1.4exp) R 31798 31800 30301 0 -1 4202496 24678 0 0 0 58 11 0 0 20 0 1 0 269633121 100909056 22785 33554432000 4194304 10219143 140733850557760 140733850553656 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31800/statm: 24636 22785 786 1471 0 23156 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 98544
[startup+1.50023 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 31801
/proc/meminfo: memFree=28296896/32873844 swapFree=7620/7620
[pid=31800] ppid=31798 vsize=98544 CPUtime=1.49 cores=0,2,4,6
/proc/31800/stat : 31800 (scip-2.1.1.4exp) R 31798 31800 30301 0 -1 4202496 24705 0 0 0 138 11 0 0 20 0 1 0 269633121 100909056 22812 33554432000 4194304 10219143 140733850557760 140733850548920 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31800/statm: 24636 22812 786 1471 0 23156 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 98544
[startup+3.10027 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 31801
/proc/meminfo: memFree=28254860/32873844 swapFree=7620/7620
[pid=31800] ppid=31798 vsize=146012 CPUtime=3.09 cores=0,2,4,6
/proc/31800/stat : 31800 (scip-2.1.1.4exp) R 31798 31800 30301 0 -1 4202496 36256 0 0 0 287 22 0 0 20 0 1 0 269633121 149516288 34363 33554432000 4194304 10219143 140733850557760 140733850551816 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31800/statm: 36503 34363 825 1471 0 35023 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 146012
[startup+6.30027 s]
/proc/loadavg: 2.09 2.04 2.01 3/177 31801
/proc/meminfo: memFree=28241220/32873844 swapFree=7620/7620
[pid=31800] ppid=31798 vsize=155240 CPUtime=6.29 cores=0,2,4,6
/proc/31800/stat : 31800 (scip-2.1.1.4exp) R 31798 31800 30301 0 -1 4202496 38552 0 0 0 569 60 0 0 20 0 1 0 269633121 158965760 36659 33554432000 4194304 10219143 140733850557760 140733850551848 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31800/statm: 38810 36659 825 1471 0 37330 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 155240
[startup+12.7002 s]
/proc/loadavg: 2.08 2.04 2.00 3/177 31801
/proc/meminfo: memFree=28232456/32873844 swapFree=7620/7620
[pid=31800] ppid=31798 vsize=166276 CPUtime=12.69 cores=0,2,4,6
/proc/31800/stat : 31800 (scip-2.1.1.4exp) R 31798 31800 30301 0 -1 4202496 41226 0 0 0 1129 140 0 0 20 0 1 0 269633121 170266624 39253 33554432000 4194304 10219143 140733850557760 140733850553688 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31800/statm: 41569 39253 842 1471 0 40089 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 166276
[startup+25.5003 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 31877
/proc/meminfo: memFree=28172140/32873844 swapFree=7620/7620
[pid=31800] ppid=31798 vsize=166284 CPUtime=25.48 cores=0,2,4,6
/proc/31800/stat : 31800 (scip-2.1.1.4exp) R 31798 31800 30301 0 -1 4202496 43663 0 0 0 2399 149 0 0 20 0 1 0 269633121 170274816 40011 33554432000 4194304 10219143 140733850557760 140733850551592 8077296 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31800/statm: 41571 40011 851 1471 0 40091 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 166284
[startup+51.1003 s]
/proc/loadavg: 2.10 2.05 2.01 3/177 31877
/proc/meminfo: memFree=28108948/32873844 swapFree=7620/7620
[pid=31800] ppid=31798 vsize=166284 CPUtime=51.08 cores=0,2,4,6
/proc/31800/stat : 31800 (scip-2.1.1.4exp) R 31798 31800 30301 0 -1 4202496 43670 0 0 0 4948 160 0 0 20 0 1 0 269633121 170274816 40028 33554432000 4194304 10219143 140733850557760 140733850550472 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31800/statm: 41571 40028 851 1471 0 40091 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 166284
[startup+102.307 s]
/proc/loadavg: 2.04 2.04 2.00 3/177 31877
/proc/meminfo: memFree=28102104/32873844 swapFree=7620/7620
[pid=31800] ppid=31798 vsize=166284 CPUtime=102.26 cores=0,2,4,6
/proc/31800/stat : 31800 (scip-2.1.1.4exp) R 31798 31800 30301 0 -1 4202496 43679 0 0 0 10031 195 0 0 20 0 1 0 269633121 170274816 40649 33554432000 4194304 10219143 140733850557760 140733850550936 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31800/statm: 41571 40649 854 1471 0 40091 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 166284
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 31877
/proc/meminfo: memFree=28112368/32873844 swapFree=7620/7620
[pid=31800] ppid=31798 vsize=166284 CPUtime=162.25 cores=0,2,4,6
/proc/31800/stat : 31800 (scip-2.1.1.4exp) R 31798 31800 30301 0 -1 4202496 43680 0 0 0 15977 248 0 0 20 0 1 0 269633121 170274816 40650 33554432000 4194304 10219143 140733850557760 140733850553128 8091511 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31800/statm: 41571 40650 854 1471 0 40091 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 166284
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 31878
/proc/meminfo: memFree=28110568/32873844 swapFree=7620/7620
[pid=31800] ppid=31798 vsize=166284 CPUtime=222.24 cores=0,2,4,6
/proc/31800/stat : 31800 (scip-2.1.1.4exp) R 31798 31800 30301 0 -1 4202496 43683 0 0 0 21928 296 0 0 20 0 1 0 269633121 170274816 40653 33554432000 4194304 10219143 140733850557760 140733850551400 8091518 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31800/statm: 41571 40653 854 1471 0 40091 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 166284
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31878
/proc/meminfo: memFree=28087604/32873844 swapFree=7620/7620
[pid=31800] ppid=31798 vsize=166284 CPUtime=282.23 cores=0,2,4,6
/proc/31800/stat : 31800 (scip-2.1.1.4exp) R 31798 31800 30301 0 -1 4202496 43684 0 0 0 27879 344 0 0 20 0 1 0 269633121 170274816 40654 33554432000 4194304 10219143 140733850557760 140733850550472 8077296 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31800/statm: 41571 40654 854 1471 0 40091 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 166284
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31878
/proc/meminfo: memFree=28094284/32873844 swapFree=7620/7620
[pid=31800] ppid=31798 vsize=166284 CPUtime=342.22 cores=0,2,4,6
/proc/31800/stat : 31800 (scip-2.1.1.4exp) R 31798 31800 30301 0 -1 4202496 43687 0 0 0 33827 395 0 0 20 0 1 0 269633121 170274816 40657 33554432000 4194304 10219143 140733850557760 140733850550280 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31800/statm: 41571 40657 854 1471 0 40091 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 166284
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31881
/proc/meminfo: memFree=28082424/32873844 swapFree=7620/7620
[pid=31800] ppid=31798 vsize=166284 CPUtime=402.21 cores=0,2,4,6
/proc/31800/stat : 31800 (scip-2.1.1.4exp) R 31798 31800 30301 0 -1 4202496 43688 0 0 0 39771 450 0 0 20 0 1 0 269633121 170274816 40658 33554432000 4194304 10219143 140733850557760 140733850550888 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31800/statm: 41571 40658 854 1471 0 40091 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 166284
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31881
/proc/meminfo: memFree=28109236/32873844 swapFree=7620/7620
[pid=31800] ppid=31798 vsize=167820 CPUtime=462.2 cores=0,2,4,6
/proc/31800/stat : 31800 (scip-2.1.1.4exp) R 31798 31800 30301 0 -1 4202496 43964 0 0 0 45716 504 0 0 20 0 1 0 269633121 171847680 40934 33554432000 4194304 10219143 140733850557760 140733850550888 8077296 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31800/statm: 41955 40934 854 1471 0 40475 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 167820
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31882
/proc/meminfo: memFree=28101920/32873844 swapFree=7620/7620
[pid=31800] ppid=31798 vsize=175344 CPUtime=522.2 cores=0,2,4,6
/proc/31800/stat : 31800 (scip-2.1.1.4exp) R 31798 31800 30301 0 -1 4202496 73976 0 0 0 51663 557 0 0 20 0 1 0 269633121 179552256 42873 33554432000 4194304 10219143 140733850557760 140733850550888 8091534 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31800/statm: 43836 42873 854 1471 0 42356 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 175344
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31882
/proc/meminfo: memFree=28083368/32873844 swapFree=7620/7620
[pid=31800] ppid=31798 vsize=181336 CPUtime=582.19 cores=0,2,4,6
/proc/31800/stat : 31800 (scip-2.1.1.4exp) R 31798 31800 30301 0 -1 4202496 87381 0 0 0 57608 611 0 0 20 0 1 0 269633121 185688064 44293 33554432000 4194304 10219143 140733850557760 140733850550936 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31800/statm: 45334 44293 854 1471 0 43854 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 181336
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28011024/32873844 swapFree=7620/7620
[pid=31800] ppid=31798 vsize=229300 CPUtime=1062.11 cores=0,2,4,6
/proc/31800/stat : 31800 (scip-2.1.1.4exp) R 31798 31800 30301 0 -1 4202496 191435 0 0 0 105163 1048 0 0 20 0 1 0 269633121 234803200 56172 33554432000 4194304 10219143 140733850557760 140733850551208 8077296 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31800/statm: 57325 56172 854 1471 0 55845 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 229300
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31888
/proc/meminfo: memFree=28002180/32873844 swapFree=7620/7620
[pid=31800] ppid=31798 vsize=237000 CPUtime=1122.09 cores=0,2,4,6
/proc/31800/stat : 31800 (scip-2.1.1.4exp) R 31798 31800 30301 0 -1 4202496 207906 0 0 0 111102 1107 0 0 20 0 1 0 269633121 242688000 58320 33554432000 4194304 10219143 140733850557760 140733850554232 8077296 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31800/statm: 59250 58320 854 1471 0 57770 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 237000
[startup+1182.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 31888
/proc/meminfo: memFree=28000020/32873844 swapFree=7620/7620
[pid=31800] ppid=31798 vsize=243916 CPUtime=1182.08 cores=0,2,4,6
/proc/31800/stat : 31800 (scip-2.1.1.4exp) R 31798 31800 30301 0 -1 4202496 212979 0 0 0 117043 1165 0 0 20 0 1 0 269633121 249769984 59909 33554432000 4194304 10219143 140733850557760 140733850550888 8077296 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31800/statm: 60979 59909 854 1471 0 59499 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 243916
[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 31888
/proc/meminfo: memFree=28011132/32873844 swapFree=7620/7620
[pid=31800] ppid=31798 vsize=255232 CPUtime=1242.07 cores=0,2,4,6
/proc/31800/stat : 31800 (scip-2.1.1.4exp) R 31798 31800 30301 0 -1 4202496 229139 0 0 0 122973 1234 0 0 20 0 1 0 269633121 261357568 62530 33554432000 4194304 10219143 140733850557760 140733850550888 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31800/statm: 63808 62530 854 1471 0 62328 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 255232
[startup+1302.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 31888
/proc/meminfo: memFree=27989352/32873844 swapFree=7620/7620
[pid=31800] ppid=31798 vsize=256704 CPUtime=1302.07 cores=0,2,4,6
/proc/31800/stat : 31800 (scip-2.1.1.4exp) R 31798 31800 30301 0 -1 4202496 273872 0 0 0 128898 1309 0 0 20 0 1 0 269633121 262864896 63214 33554432000 4194304 10219143 140733850557760 140733850554232 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31800/statm: 64176 63214 854 1471 0 62696 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 256704
[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 31888
/proc/meminfo: memFree=27976580/32873844 swapFree=7620/7620
[pid=31800] ppid=31798 vsize=269920 CPUtime=1362.05 cores=0,2,4,6
/proc/31800/stat : 31800 (scip-2.1.1.4exp) R 31798 31800 30301 0 -1 4202496 286904 0 0 0 134820 1385 0 0 20 0 1 0 269633121 276398080 66538 33554432000 4194304 10219143 140733850557760 140733850551048 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31800/statm: 67480 66538 854 1471 0 66000 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 269920
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31889
/proc/meminfo: memFree=27962688/32873844 swapFree=7620/7620
[pid=31800] ppid=31798 vsize=276432 CPUtime=1422.05 cores=0,2,4,6
/proc/31800/stat : 31800 (scip-2.1.1.4exp) R 31798 31800 30301 0 -1 4202496 295731 0 0 0 140748 1457 0 0 20 0 1 0 269633121 283066368 68169 33554432000 4194304 10219143 140733850557760 140733850551016 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31800/statm: 69108 68169 854 1471 0 67628 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 276432
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31889
/proc/meminfo: memFree=27957356/32873844 swapFree=7620/7620
[pid=31800] ppid=31798 vsize=282216 CPUtime=1482.03 cores=0,2,4,6
/proc/31800/stat : 31800 (scip-2.1.1.4exp) R 31798 31800 30301 0 -1 4202496 308884 0 0 0 146677 1526 0 0 20 0 1 0 269633121 288989184 69614 33554432000 4194304 10219143 140733850557760 140733850551016 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31800/statm: 70554 69614 854 1471 0 69074 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 282216
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31889
/proc/meminfo: memFree=27946768/32873844 swapFree=7620/7620
[pid=31800] ppid=31798 vsize=288116 CPUtime=1542.02 cores=0,2,4,6
/proc/31800/stat : 31800 (scip-2.1.1.4exp) R 31798 31800 30301 0 -1 4202496 337351 0 0 0 152600 1602 0 0 20 0 1 0 269633121 295030784 71021 33554432000 4194304 10219143 140733850557760 140733850551016 8077308 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31800/statm: 72029 71021 854 1471 0 70549 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 288116
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31892
/proc/meminfo: memFree=27953036/32873844 swapFree=7620/7620
[pid=31800] ppid=31798 vsize=297104 CPUtime=1602.01 cores=0,2,4,6
/proc/31800/stat : 31800 (scip-2.1.1.4exp) R 31798 31800 30301 0 -1 4202496 354621 0 0 0 158540 1661 0 0 20 0 1 0 269633121 304234496 73350 33554432000 4194304 10219143 140733850557760 140733850550472 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31800/statm: 74276 73350 854 1471 0 72796 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 297104
[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 31892
/proc/meminfo: memFree=27944424/32873844 swapFree=7620/7620
[pid=31800] ppid=31798 vsize=297556 CPUtime=1662 cores=0,2,4,6
/proc/31800/stat : 31800 (scip-2.1.1.4exp) R 31798 31800 30301 0 -1 4202496 376390 0 0 0 164475 1725 0 0 20 0 1 0 269633121 304697344 73252 33554432000 4194304 10219143 140733850557760 140733850551208 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31800/statm: 74389 73252 854 1471 0 72909 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 297556
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 31893
/proc/meminfo: memFree=27960616/32873844 swapFree=7620/7620
[pid=31800] ppid=31798 vsize=306556 CPUtime=1721.99 cores=0,2,4,6
/proc/31800/stat : 31800 (scip-2.1.1.4exp) R 31798 31800 30301 0 -1 4202496 390891 0 0 0 170411 1788 0 0 20 0 1 0 269633121 313913344 75696 33554432000 4194304 10219143 140733850557760 140733850550472 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31800/statm: 76639 75696 854 1471 0 75159 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 306556
[startup+1782.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 31893
/proc/meminfo: memFree=27944860/32873844 swapFree=7620/7620
[pid=31800] ppid=31798 vsize=309140 CPUtime=1781.98 cores=0,2,4,6
/proc/31800/stat : 31800 (scip-2.1.1.4exp) R 31798 31800 30301 0 -1 4202496 421248 0 0 0 176346 1852 0 0 20 0 1 0 269633121 316559360 76332 33554432000 4194304 10219143 140733850557760 140733850551400 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31800/statm: 77285 76332 854 1471 0 75805 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 309140
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 31893
/proc/meminfo: memFree=27939776/32873844 swapFree=7620/7620
[pid=31800] ppid=31798 vsize=309072 CPUtime=1785.18 cores=0,2,4,6
/proc/31800/stat : 31800 (scip-2.1.1.4exp) R 31798 31800 30301 0 -1 4202496 423138 0 0 0 176662 1856 0 0 20 0 1 0 269633121 316489728 76260 33554432000 4194304 10219143 140733850557760 140733850550472 8077296 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31800/statm: 77268 76260 854 1471 0 75788 0
Current children cumulated CPU time (s) 1785.18
Current children cumulated vsize (KiB) 309072
[startup+1791.91 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 31893
/proc/meminfo: memFree=27941140/32873844 swapFree=7620/7620
[pid=31800] ppid=31798 vsize=311380 CPUtime=1791.59 cores=0,2,4,6
/proc/31800/stat : 31800 (scip-2.1.1.4exp) R 31798 31800 30301 0 -1 4202496 423810 0 0 0 177295 1864 0 0 20 0 1 0 269633121 318853120 76932 33554432000 4194304 10219143 140733850557760 140733850551016 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31800/statm: 77845 76932 854 1471 0 76365 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 311380
[startup+1795.1 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 31893
/proc/meminfo: memFree=27940768/32873844 swapFree=7620/7620
[pid=31800] ppid=31798 vsize=311380 CPUtime=1794.79 cores=0,2,4,6
/proc/31800/stat : 31800 (scip-2.1.1.4exp) R 31798 31800 30301 0 -1 4202496 423810 0 0 0 177612 1867 0 0 20 0 1 0 269633121 318853120 76932 33554432000 4194304 10219143 140733850557760 140733850551592 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31800/statm: 77845 76932 854 1471 0 76365 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 311380
[startup+1795.9 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 31893
/proc/meminfo: memFree=27940768/32873844 swapFree=7620/7620
[pid=31800] ppid=31798 vsize=311380 CPUtime=1795.58 cores=0,2,4,6
/proc/31800/stat : 31800 (scip-2.1.1.4exp) R 31798 31800 30301 0 -1 4202496 423815 0 0 0 177690 1868 0 0 20 0 1 0 269633121 318853120 76937 33554432000 4194304 10219143 140733850557760 140733850550744 8077296 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31800/statm: 77845 76937 854 1471 0 76365 0
Current children cumulated CPU time (s) 1795.58
Current children cumulated vsize (KiB) 311380
[startup+1796.7 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 31893
/proc/meminfo: memFree=27938908/32873844 swapFree=7620/7620
[pid=31800] ppid=31798 vsize=313292 CPUtime=1796.38 cores=0,2,4,6
/proc/31800/stat : 31800 (scip-2.1.1.4exp) R 31798 31800 30301 0 -1 4202496 424286 0 0 0 177769 1869 0 0 20 0 1 0 269633121 320811008 77408 33554432000 4194304 10219143 140733850557760 140733850554232 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31800/statm: 78323 77408 854 1471 0 76843 0
Current children cumulated CPU time (s) 1796.38
Current children cumulated vsize (KiB) 313292
[startup+1797.1 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 31893
/proc/meminfo: memFree=27938908/32873844 swapFree=7620/7620
[pid=31800] ppid=31798 vsize=308320 CPUtime=1796.78 cores=0,2,4,6
/proc/31800/stat : 31800 (scip-2.1.1.4exp) R 31798 31800 30301 0 -1 4202496 424736 0 0 0 177809 1869 0 0 20 0 1 0 269633121 315719680 76073 33554432000 4194304 10219143 140733850557760 140733850554232 5346478 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31800/statm: 77080 76073 858 1471 0 75600 0
Current children cumulated CPU time (s) 1796.78
Current children cumulated vsize (KiB) 308320
Child status: 0
Real time (s): 1797.13
CPU time (s): 1796.82
CPU user time (s): 1778.12
CPU system time (s): 18.7032
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 313296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1778.12
system time used= 18.7032
maximum resident set size= 309632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 424738
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41
involuntary context switches= 1846
runsolver used 2.78858 second user time and 7.07892 second system time
The end