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: a3bf3a4-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-3692770-1338019825.opb>
0.00/0.01 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints
0.00/0.01 c problem read in 0.01
0.00/0.02 c presolving:
0.00/0.04 c (round 1) 0 del vars, 143 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2542 upgd conss, 242 impls, 22 clqs
0.04/0.05 c (round 2) 0 del vars, 143 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs
0.04/0.05 c (round 3) 0 del vars, 264 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs
0.04/0.06 c (0.1s) probing: 51/231 (22.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.04/0.06 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.04/0.06 c presolving (4 rounds):
0.04/0.06 c 0 deleted vars, 264 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.04/0.06 c 242 implications, 22 cliques
0.04/0.06 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2443 constraints
0.04/0.06 c 1 constraints of type <knapsack>
0.04/0.06 c 22 constraints of type <setppc>
0.04/0.06 c 2420 constraints of type <logicor>
0.04/0.06 c transformed objective value is always integral (scale: 1)
0.04/0.06 c Presolving Time: 0.05
0.04/0.06 c - non default parameters ----------------------------------------------------------------------
0.04/0.06 c # SCIP version 2.1.1.4
0.04/0.06 c
0.04/0.06 c # maximal time in seconds to run
0.04/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.04/0.06 c limits/time = 1797
0.04/0.06 c
0.04/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.04/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.04/0.06 c limits/memory = 13950
0.04/0.06 c
0.04/0.06 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.04/0.06 c # [type: int, range: [1,2], default: 1]
0.04/0.06 c timing/clocktype = 2
0.04/0.06 c
0.04/0.06 c # belongs reading time to solving time?
0.04/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.06 c timing/reading = TRUE
0.04/0.06 c
0.04/0.06 c -----------------------------------------------------------------------------------------------
0.04/0.06 c start solving
0.04/0.07 c
0.04/0.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.04/0.08 c 0.1s| 1 | 0 | 76 | - |4079k| 0 | 36 | 231 |2463 | 231 |2443 | 0 | 20 | 0 | 0.000000e+00 | -- | Inf
0.59/0.65 c 0.6s| 1 | 0 | 5377 | - |4286k| 0 | 39 | 231 |2463 | 231 |2450 | 7 | 20 | 0 | 0.000000e+00 | -- | Inf
0.59/0.69 c 0.7s| 1 | 0 | 5392 | - |4614k| 0 | 45 | 231 |2463 | 231 |2454 | 11 | 20 | 0 | 0.000000e+00 | -- | Inf
0.68/0.74 c 0.7s| 1 | 0 | 5407 | - |5053k| 0 | 46 | 231 |2463 | 231 |2455 | 12 | 20 | 0 | 0.000000e+00 | -- | Inf
0.68/0.78 c 0.8s| 1 | 0 | 5426 | - |5497k| 0 | 47 | 231 |2463 | 231 |2457 | 14 | 20 | 0 | 0.000000e+00 | -- | Inf
0.88/0.95 c 1.0s| 1 | 0 | 5433 | - |5838k| 0 | 51 | 231 |2463 | 231 |2460 | 17 | 20 | 0 | 0.000000e+00 | -- | Inf
1.09/1.13 c 1.1s| 1 | 0 | 5455 | - |6109k| 0 | 47 | 231 |2463 | 231 |2461 | 18 | 20 | 0 | 0.000000e+00 | -- | Inf
1.79/1.87 c 1.9s| 1 | 2 | 5455 | - |6110k| 0 | 47 | 231 |2463 | 231 |2461 | 18 | 20 | 33 | 0.000000e+00 | -- | Inf
9.59/9.69 c 9.7s| 100 | 11 | 9745 | 43.3 |6190k| 18 | - | 231 |2514 | 231 |2455 | 18 | 73 |1425 | 0.000000e+00 | -- | Inf
10.38/10.42 c 10.4s| 200 | 11 | 11989 | 32.8 |6225k| 31 | - | 231 |2592 | 231 |2455 | 18 | 151 |1544 | 0.000000e+00 | -- | Inf
10.99/11.03 c 11.0s| 300 | 10 | 14034 | 28.7 |6242k| 35 | 34 | 231 |2656 | 231 |2455 | 18 | 216 |1635 | 0.000000e+00 | -- | Inf
11.38/11.47 c 11.5s| 400 | 10 | 16125 | 26.7 |6260k| 35 | 30 | 231 |2718 | 231 |2455 | 18 | 283 |1687 | 0.000000e+00 | -- | Inf
12.09/12.11 c 12.1s| 500 | 12 | 19014 | 27.2 |6292k| 35 | - | 231 |2785 | 231 |2455 | 18 | 353 |1770 | 0.000000e+00 | -- | Inf
12.38/12.44 c 12.4s| 600 | 15 | 20963 | 25.9 |6323k| 35 | 31 | 231 |2856 | 231 |2455 | 18 | 428 |1792 | 0.000000e+00 | -- | Inf
12.68/12.72 c 12.7s| 700 | 14 | 22709 | 24.7 |6352k| 35 | - | 231 |2929 | 231 |2455 | 18 | 503 |1807 | 0.000000e+00 | -- | Inf
12.98/13.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.98/13.06 c 13.1s| 800 | 14 | 24581 | 23.9 |6368k| 35 | - | 231 |2985 | 231 |2455 | 18 | 566 |1834 | 0.000000e+00 | -- | Inf
13.28/13.38 c 13.4s| 900 | 16 | 26685 | 23.6 |6387k| 35 | 38 | 231 |3044 | 231 |2455 | 18 | 627 |1850 | 0.000000e+00 | -- | Inf
13.69/13.70 c 13.7s| 1000 | 16 | 28533 | 23.1 |6418k| 35 | 23 | 231 |3121 | 231 |2455 | 18 | 708 |1872 | 0.000000e+00 | -- | Inf
13.88/13.98 c 14.0s| 1100 | 13 | 30562 | 22.8 |6431k| 35 | 27 | 231 |3189 | 231 |2455 | 18 | 780 |1879 | 0.000000e+00 | -- | Inf
14.18/14.27 c 14.3s| 1200 | 17 | 32791 | 22.8 |6463k| 35 | 36 | 231 |3250 | 231 |2455 | 18 | 851 |1886 | 0.000000e+00 | -- | Inf
14.49/14.55 c 14.5s| 1300 | 17 | 34764 | 22.6 |6492k| 35 | - | 231 |3319 | 231 |2455 | 18 | 923 |1892 | 0.000000e+00 | -- | Inf
14.78/14.84 c 14.8s| 1400 | 21 | 37107 | 22.6 |6530k| 35 | - | 231 |3397 | 231 |2455 | 18 |1005 |1897 | 0.000000e+00 | -- | Inf
15.18/15.29 c 15.3s| 1500 | 23 | 39576 | 22.8 |6565k| 35 | 44 | 231 |3467 | 231 |2455 | 18 |1082 |1931 | 0.000000e+00 | -- | Inf
15.78/15.87 c 15.9s| 1600 | 24 | 41978 | 22.8 |6597k| 35 | - | 231 |3529 | 231 |2455 | 18 |1153 |1999 | 0.000000e+00 | -- | Inf
16.18/16.20 c 16.2s| 1700 | 24 | 43992 | 22.7 |6628k| 35 | - | 231 |3608 | 231 |2455 | 18 |1243 |2019 | 0.000000e+00 | -- | Inf
16.39/16.47 c 16.5s| 1800 | 24 | 45981 | 22.5 |6653k| 35 | - | 231 |3672 | 231 |2455 | 18 |1315 |2027 | 0.000000e+00 | -- | Inf
16.68/16.72 c 16.7s| 1900 | 26 | 47852 | 22.3 |6679k| 35 | 32 | 231 |3738 | 231 |2455 | 18 |1394 |2030 | 0.000000e+00 | -- | Inf
16.89/16.96 c 17.0s| 2000 | 26 | 49657 | 22.1 |6691k| 35 | 36 | 231 |3786 | 231 |2455 | 18 |1452 |2031 | 0.000000e+00 | -- | Inf
17.08/17.19 c 17.2s| 2100 | 23 | 51388 | 21.9 |6712k| 35 | 34 | 231 |3852 | 231 |2455 | 18 |1522 |2031 | 0.000000e+00 | -- | Inf
17.38/17.45 c 17.5s| 2200 | 27 | 53250 | 21.7 |6737k| 35 | - | 231 |3887 | 231 |2455 | 18 |1577 |2038 | 0.000000e+00 | -- | Inf
17.59/17.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.59/17.68 c 17.7s| 2300 | 30 | 55016 | 21.6 |6758k| 35 | - | 231 |3944 | 231 |2455 | 18 |1640 |2038 | 0.000000e+00 | -- | Inf
17.78/17.89 c 17.9s| 2400 | 34 | 56731 | 21.4 |6788k| 35 | - | 231 |4003 | 231 |2455 | 18 |1705 |2038 | 0.000000e+00 | -- | Inf
18.08/18.13 c 18.1s| 2500 | 28 | 58672 | 21.3 |6789k| 35 | 30 | 231 |4066 | 231 |2455 | 18 |1774 |2038 | 0.000000e+00 | -- | Inf
18.29/18.35 c 18.4s| 2600 | 30 | 60319 | 21.1 |6824k| 35 | 33 | 231 |4151 | 231 |2455 | 18 |1866 |2038 | 0.000000e+00 | -- | Inf
18.48/18.55 c 18.5s| 2700 | 30 | 61775 | 20.9 |6844k| 35 | 37 | 231 |4210 | 231 |2455 | 18 |1937 |2038 | 0.000000e+00 | -- | Inf
18.68/18.77 c 18.8s| 2800 | 29 | 63376 | 20.7 |6875k| 35 | - | 231 |4292 | 0 | 0 | 18 |2022 |2041 | 0.000000e+00 | -- | Inf
18.89/18.98 c 19.0s| 2900 | 33 | 64906 | 20.5 |6903k| 35 | 30 | 231 |4356 | 231 |2455 | 18 |2092 |2041 | 0.000000e+00 | -- | Inf
19.18/19.22 c 19.2s| 3000 | 27 | 66725 | 20.4 |6912k| 35 | - | 231 |4421 | 231 |2455 | 18 |2163 |2041 | 0.000000e+00 | -- | Inf
19.39/19.42 c 19.4s| 3100 | 27 | 68276 | 20.3 |6928k| 35 | 23 | 231 |4472 | 231 |2455 | 18 |2217 |2041 | 0.000000e+00 | -- | Inf
19.58/19.64 c 19.6s| 3200 | 29 | 69879 | 20.1 |6956k| 35 | 43 | 231 |4541 | 231 |2455 | 18 |2294 |2041 | 0.000000e+00 | -- | Inf
19.99/20.02 c 20.0s| 3300 | 29 | 71763 | 20.1 |6981k| 35 | - | 231 |4595 | 231 |2455 | 18 |2356 |2064 | 0.000000e+00 | -- | Inf
20.18/20.26 c 20.3s| 3400 | 31 | 73351 | 20.0 |7003k| 35 | - | 231 |4646 | 231 |2455 | 18 |2409 |2070 | 0.000000e+00 | -- | Inf
20.48/20.58 c 20.6s| 3500 | 33 | 75206 | 19.9 |7022k| 35 | 34 | 231 |4701 | 231 |2455 | 18 |2470 |2089 | 0.000000e+00 | -- | Inf
20.89/20.91 c 20.9s| 3600 | 29 | 77134 | 19.9 |7035k| 35 | - | 231 |4753 | 231 |2455 | 18 |2529 |2109 | 0.000000e+00 | -- | Inf
21.08/21.17 c 21.2s| 3700 | 31 | 78877 | 19.8 |7067k| 35 | 26 | 231 |4815 | 231 |2455 | 18 |2599 |2118 | 0.000000e+00 | -- | Inf
21.38/21.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
21.38/21.48 c 21.5s| 3800 | 32 | 80848 | 19.8 |7101k| 35 | - | 231 |4892 | 231 |2455 | 18 |2678 |2137 | 0.000000e+00 | -- | Inf
21.78/21.82 c 21.8s| 3900 | 30 | 83015 | 19.9 |7118k| 35 | - | 231 |4956 | 231 |2455 | 18 |2750 |2155 | 0.000000e+00 | -- | Inf
22.08/22.15 c 22.2s| 4000 | 32 | 84773 | 19.8 |7144k| 35 | 38 | 231 |5005 | 231 |2455 | 18 |2821 |2178 | 0.000000e+00 | -- | Inf
22.39/22.43 c 22.4s| 4100 | 33 | 86564 | 19.8 |7172k| 35 | - | 231 |5024 | 231 |2455 | 18 |2883 |2191 | 0.000000e+00 | -- | Inf
22.68/22.72 c 22.7s| 4200 | 32 | 88381 | 19.7 |7176k| 35 | - | 231 |5040 | 0 | 0 | 18 |2946 |2205 | 0.000000e+00 | -- | Inf
22.99/23.03 c 23.0s| 4300 | 30 | 90555 | 19.8 |7192k| 35 | - | 231 |5102 | 231 |2455 | 18 |3031 |2217 | 0.000000e+00 | -- | Inf
23.18/23.28 c 23.3s| 4400 | 34 | 92174 | 19.7 |7224k| 35 | - | 231 |5156 | 0 | 0 | 18 |3096 |2226 | 0.000000e+00 | -- | Inf
23.49/23.54 c 23.5s| 4500 | 32 | 94107 | 19.7 |7237k| 35 | - | 231 |5209 | 231 |2455 | 18 |3163 |2232 | 0.000000e+00 | -- | Inf
23.69/23.79 c 23.8s| 4600 | 31 | 95823 | 19.6 |7256k| 35 | - | 231 |5267 | 231 |2455 | 18 |3239 |2236 | 0.000000e+00 | -- | Inf
23.98/24.02 c 24.0s| 4700 | 31 | 97424 | 19.6 |7264k| 35 | 42 | 231 |5288 | 231 |2455 | 18 |3295 |2240 | 0.000000e+00 | -- | Inf
24.19/24.28 c 24.3s| 4800 | 33 | 99324 | 19.6 |7286k| 35 | - | 231 |5312 | 231 |2455 | 18 |3362 |2246 | 0.000000e+00 | -- | Inf
24.48/24.53 c 24.5s| 4900 | 30 |101154 | 19.5 |7280k| 35 | 41 | 231 |5346 | 231 |2455 | 18 |3417 |2249 | 0.000000e+00 | -- | Inf
24.69/24.78 c 24.8s| 5000 | 28 |103030 | 19.5 |7290k| 35 | 43 | 231 |5362 | 231 |2455 | 18 |3485 |2249 | 0.000000e+00 | -- | Inf
24.98/25.03 c 25.0s| 5100 | 33 |104930 | 19.5 |7312k| 35 | - | 231 |5343 | 231 |2455 | 18 |3547 |2251 | 0.000000e+00 | -- | Inf
25.19/25.30 c 25.3s| 5200 | 31 |106960 | 19.5 |7312k| 35 | - | 231 |5338 | 231 |2455 | 18 |3626 |2251 | 0.000000e+00 | -- | Inf
25.48/25.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.48/25.53 c 25.5s| 5300 | 31 |108643 | 19.5 |7309k| 35 | - | 231 |5330 | 231 |2455 | 18 |3698 |2251 | 0.000000e+00 | -- | Inf
25.68/25.76 c 25.8s| 5400 | 31 |110483 | 19.5 |7324k| 35 | - | 231 |5358 | 231 |2455 | 18 |3770 |2251 | 0.000000e+00 | -- | Inf
25.88/25.98 c 26.0s| 5500 | 33 |112134 | 19.4 |7348k| 38 | 24 | 231 |5421 | 231 |2455 | 18 |3851 |2251 | 0.000000e+00 | -- | Inf
26.18/26.21 c 26.2s| 5600 | 35 |113849 | 19.4 |7360k| 38 | 29 | 231 |5467 | 231 |2455 | 18 |3923 |2252 | 0.000000e+00 | -- | Inf
26.38/26.44 c 26.4s| 5700 | 37 |115599 | 19.3 |7388k| 38 | 22 | 231 |5530 | 231 |2455 | 18 |3995 |2252 | 0.000000e+00 | -- | Inf
26.58/26.63 c 26.6s| 5800 | 36 |117070 | 19.2 |7413k| 38 | 47 | 231 |5602 | 231 |2455 | 18 |4071 |2252 | 0.000000e+00 | -- | Inf
26.78/26.86 c 26.9s| 5900 | 40 |118892 | 19.2 |7443k| 38 | 26 | 231 |5661 | 231 |2455 | 18 |4132 |2252 | 0.000000e+00 | -- | Inf
27.08/27.13 c 27.1s| 6000 | 37 |120447 | 19.2 |7469k| 38 | - | 231 |5739 | 231 |2455 | 18 |4214 |2269 | 0.000000e+00 | -- | Inf
27.28/27.39 c 27.4s| 6100 | 37 |121983 | 19.1 |7495k| 38 | - | 231 |5807 | 231 |2455 | 18 |4290 |2282 | 0.000000e+00 | -- | Inf
27.68/27.73 c 27.7s| 6200 | 37 |123919 | 19.1 |7513k| 38 | - | 231 |5856 | 231 |2455 | 18 |4347 |2305 | 0.000000e+00 | -- | Inf
27.98/28.02 c 28.0s| 6300 | 47 |125893 | 19.1 |7555k| 38 | 31 | 231 |5925 | 231 |2455 | 18 |4420 |2315 | 0.000000e+00 | -- | Inf
28.28/28.38 c 28.4s| 6400 | 51 |128264 | 19.2 |7590k| 38 | 34 | 231 |5996 | 231 |2455 | 18 |4494 |2332 | 0.000000e+00 | -- | Inf
28.59/28.66 c 28.7s| 6500 | 52 |130252 | 19.2 |7621k| 38 | - | 231 |6064 | 231 |2455 | 18 |4566 |2340 | 0.000000e+00 | -- | Inf
28.98/29.03 c 29.0s| 6600 | 52 |132443 | 19.2 |7646k| 38 | - | 231 |6123 | 231 |2455 | 18 |4637 |2360 | 0.000000e+00 | -- | Inf
29.28/29.36 c 29.4s| 6700 | 48 |134419 | 19.3 |7662k| 38 | 39 | 231 |6184 | 231 |2455 | 18 |4707 |2379 | 0.000000e+00 | -- | Inf
29.59/29.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
29.59/29.63 c 29.6s| 6800 | 46 |136165 | 19.2 |7690k| 38 | - | 231 |6246 | 0 | 0 | 18 |4777 |2392 | 0.000000e+00 | -- | Inf
29.88/29.95 c 30.0s| 6900 | 44 |138128 | 19.2 |7709k| 38 | - | 231 |6310 | 231 |2455 | 18 |4848 |2411 | 0.000000e+00 | -- | Inf
30.18/30.27 c 30.3s| 7000 | 41 |140175 | 19.2 |7732k| 38 | 34 | 231 |6379 | 231 |2455 | 18 |4919 |2426 | 0.000000e+00 | -- | Inf
30.58/30.61 c 30.6s| 7100 | 38 |142267 | 19.3 |7766k| 38 | - | 231 |6445 | 231 |2455 | 18 |5018 |2443 | 0.000000e+00 | -- | Inf
30.88/30.90 c 30.9s| 7200 | 44 |144119 | 19.3 |7788k| 38 | 47 | 231 |6447 | 231 |2455 | 18 |5088 |2454 | 0.000000e+00 | -- | Inf
31.08/31.18 c 31.2s| 7300 | 46 |146050 | 19.3 |7820k| 38 | 37 | 231 |6494 | 231 |2455 | 18 |5167 |2462 | 0.000000e+00 | -- | Inf
31.38/31.45 c 31.4s| 7400 | 46 |148113 | 19.3 |7839k| 38 | 27 | 231 |6553 | 231 |2455 | 18 |5259 |2464 | 0.000000e+00 | -- | Inf
31.68/31.74 c 31.7s| 7500 | 52 |150301 | 19.3 |7867k| 38 | - | 231 |6575 | 231 |2455 | 18 |5327 |2470 | 0.000000e+00 | -- | Inf
31.89/31.97 c 32.0s| 7600 | 55 |152002 | 19.3 |7883k| 38 | 21 | 231 |6599 | 231 |2455 | 18 |5392 |2470 | 0.000000e+00 | -- | Inf
32.08/32.19 c 32.2s| 7700 | 61 |153685 | 19.3 |7916k| 38 | 38 | 231 |6641 | 231 |2455 | 18 |5466 |2471 | 0.000000e+00 | -- | Inf
32.38/32.40 c 32.4s| 7800 | 65 |155225 | 19.2 |7945k| 38 | 29 | 231 |6689 | 231 |2455 | 18 |5524 |2472 | 0.000000e+00 | -- | Inf
32.58/32.62 c 32.6s| 7900 | 65 |156888 | 19.2 |7975k| 38 | - | 231 |6759 | 231 |2455 | 18 |5595 |2473 | 0.000000e+00 | -- | Inf
32.78/32.89 c 32.9s| 8000 | 67 |158792 | 19.2 |8002k| 38 | 34 | 231 |6820 | 231 |2455 | 18 |5663 |2473 | 0.000000e+00 | -- | Inf
33.08/33.12 c 33.1s| 8100 | 61 |160616 | 19.2 |8014k| 38 | - | 231 |6893 | 231 |2455 | 18 |5740 |2473 | 0.000000e+00 | -- | Inf
33.28/33.35 c 33.4s| 8200 | 61 |162305 | 19.1 |8044k| 38 | - | 231 |6973 | 231 |2455 | 18 |5821 |2476 | 0.000000e+00 | -- | Inf
33.48/33.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
33.48/33.58 c 33.6s| 8300 | 59 |164035 | 19.1 |8074k| 38 | - | 231 |7061 | 231 |2455 | 18 |5910 |2477 | 0.000000e+00 | -- | Inf
33.68/33.80 c 33.8s| 8400 | 65 |165713 | 19.1 |8110k| 38 | 33 | 231 |7119 | 231 |2455 | 18 |5974 |2477 | 0.000000e+00 | -- | Inf
33.98/34.03 c 34.0s| 8500 | 64 |167488 | 19.1 |8138k| 38 | 24 | 231 |7180 | 231 |2455 | 18 |6038 |2478 | 0.000000e+00 | -- | Inf
34.18/34.27 c 34.3s| 8600 | 62 |169303 | 19.1 |8157k| 38 | - | 231 |7244 | 231 |2455 | 18 |6108 |2479 | 0.000000e+00 | -- | Inf
34.38/34.49 c 34.5s| 8700 | 61 |170968 | 19.0 |8180k| 38 | 19 | 231 |7310 | 231 |2455 | 18 |6187 |2480 | 0.000000e+00 | -- | Inf
34.68/34.73 c 34.7s| 8800 | 62 |172582 | 19.0 |8195k| 38 | 30 | 231 |7326 | 231 |2455 | 18 |6255 |2483 | 0.000000e+00 | -- | Inf
34.88/34.95 c 35.0s| 8900 | 60 |174275 | 19.0 |8199k| 38 | 36 | 231 |7354 | 231 |2455 | 18 |6319 |2483 | 0.000000e+00 | -- | Inf
35.19/35.24 c 35.2s| 9000 | 58 |176189 | 19.0 |8206k| 38 | 34 | 231 |7369 | 231 |2455 | 18 |6388 |2493 | 0.000000e+00 | -- | Inf
35.48/35.52 c 35.5s| 9100 | 58 |178112 | 19.0 |8221k| 38 | 34 | 231 |7399 | 231 |2455 | 18 |6445 |2502 | 0.000000e+00 | -- | Inf
35.78/35.87 c 35.9s| 9200 | 56 |180158 | 19.0 |8239k| 38 | - | 231 |7452 | 231 |2455 | 18 |6516 |2523 | 0.000000e+00 | -- | Inf
36.08/36.20 c 36.2s| 9300 | 50 |182552 | 19.0 |8248k| 38 | - | 231 |7493 | 231 |2455 | 18 |6605 |2532 | 0.000000e+00 | -- | Inf
36.48/36.55 c 36.6s| 9400 | 50 |184698 | 19.1 |8257k| 38 | - | 231 |7452 | 231 |2455 | 18 |6666 |2550 | 0.000000e+00 | -- | Inf
36.78/36.87 c 36.9s| 9500 | 47 |186642 | 19.1 |8237k| 38 | 29 | 231 |7377 | 231 |2455 | 18 |6743 |2563 | 0.000000e+00 | -- | Inf
37.08/37.19 c 37.2s| 9600 | 45 |188604 | 19.1 |8232k| 38 | - | 231 |7314 | 231 |2455 | 18 |6810 |2576 | 0.000000e+00 | -- | Inf
37.48/37.50 c 37.5s| 9700 | 45 |190505 | 19.1 |8217k| 38 | - | 231 |7250 | 231 |2455 | 18 |6881 |2590 | 0.000000e+00 | -- | Inf
37.68/37.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.68/37.77 c 37.8s| 9800 | 47 |192117 | 19.0 |8229k| 38 | - | 231 |7280 | 231 |2455 | 18 |6954 |2604 | 0.000000e+00 | -- | Inf
37.98/38.06 c 38.1s| 9900 | 48 |193882 | 19.0 |8225k| 38 | 26 | 231 |7237 | 231 |2455 | 18 |7023 |2620 | 0.000000e+00 | -- | Inf
38.38/38.42 c 38.4s| 10000 | 54 |196048 | 19.1 |8205k| 38 | - | 231 |7118 | 231 |2455 | 18 |7080 |2640 | 0.000000e+00 | -- | Inf
38.58/38.68 c 38.7s| 10100 | 54 |197729 | 19.0 |8215k| 38 | - | 231 |7142 | 231 |2455 | 18 |7150 |2652 | 0.000000e+00 | -- | Inf
38.88/38.98 c 39.0s| 10200 | 66 |199795 | 19.1 |8212k| 38 | 39 | 231 |7031 | 231 |2455 | 18 |7203 |2662 | 0.000000e+00 | -- | Inf
39.17/39.23 c 39.2s| 10300 | 64 |201510 | 19.0 |8224k| 38 | - | 231 |7052 | 231 |2455 | 18 |7265 |2672 | 0.000000e+00 | -- | Inf
39.49/39.53 c 39.5s| 10400 | 66 |203730 | 19.1 |8244k| 38 | - | 231 |7075 | 231 |2455 | 18 |7327 |2676 | 0.000000e+00 | -- | Inf
39.68/39.79 c 39.8s| 10500 | 70 |205653 | 19.1 |8255k| 38 | - | 231 |7088 | 231 |2455 | 18 |7390 |2680 | 0.000000e+00 | -- | Inf
40.08/40.11 c 40.1s| 10600 | 71 |208186 | 19.1 |8290k| 38 | - | 231 |7169 | 231 |2455 | 18 |7484 |2684 | 0.000000e+00 | -- | Inf
40.27/40.32 c 40.3s| 10700 | 74 |209801 | 19.1 |8312k| 38 | - | 231 |7223 | 231 |2455 | 18 |7559 |2685 | 0.000000e+00 | -- | Inf
40.48/40.57 c 40.6s| 10800 | 75 |211802 | 19.1 |8324k| 38 | 40 | 231 |7261 | 231 |2455 | 18 |7620 |2685 | 0.000000e+00 | -- | Inf
40.68/40.79 c 40.8s| 10900 | 75 |213420 | 19.1 |8343k| 38 | 38 | 231 |7308 | 231 |2455 | 18 |7677 |2687 | 0.000000e+00 | -- | Inf
40.98/41.01 c 41.0s| 11000 | 73 |215071 | 19.1 |8366k| 38 | - | 231 |7369 | 231 |2455 | 18 |7740 |2690 | 0.000000e+00 | -- | Inf
41.17/41.25 c 41.3s| 11100 | 78 |216840 | 19.0 |8384k| 38 | 29 | 231 |7391 | 231 |2455 | 18 |7808 |2692 | 0.000000e+00 | -- | Inf
41.48/41.50 c 41.5s| 11200 | 75 |218958 | 19.1 |8415k| 38 | - | 231 |7472 | 231 |2455 | 18 |7891 |2692 | 0.000000e+00 | -- | Inf
41.68/41.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.68/41.74 c 41.7s| 11300 | 83 |220808 | 19.1 |8439k| 38 | 22 | 231 |7494 | 231 |2455 | 18 |7953 |2692 | 0.000000e+00 | -- | Inf
41.87/41.95 c 41.9s| 11400 | 81 |222333 | 19.0 |8458k| 38 | 34 | 231 |7552 | 231 |2455 | 18 |8014 |2692 | 0.000000e+00 | -- | Inf
42.08/42.18 c 42.2s| 11500 | 81 |224114 | 19.0 |8471k| 38 | 42 | 231 |7590 | 231 |2455 | 18 |8064 |2692 | 0.000000e+00 | -- | Inf
42.27/42.39 c 42.4s| 11600 | 86 |225623 | 19.0 |8515k| 38 | - | 231 |7649 | 0 | 0 | 18 |8128 |2692 | 0.000000e+00 | -- | Inf
42.57/42.61 c 42.6s| 11700 | 86 |227311 | 19.0 |8535k| 38 | - | 231 |7708 | 231 |2455 | 18 |8188 |2692 | 0.000000e+00 | -- | Inf
42.78/42.81 c 42.8s| 11800 | 84 |228856 | 18.9 |8560k| 38 | - | 231 |7775 | 231 |2455 | 18 |8260 |2692 | 0.000000e+00 | -- | Inf
42.97/43.03 c 43.0s| 11900 | 85 |230475 | 18.9 |8589k| 38 | 25 | 231 |7843 | 231 |2455 | 18 |8338 |2692 | 0.000000e+00 | -- | Inf
43.18/43.25 c 43.3s| 12000 | 81 |232205 | 18.9 |8594k| 38 | 20 | 231 |7879 | 231 |2455 | 18 |8396 |2692 | 0.000000e+00 | -- | Inf
43.37/43.47 c 43.5s| 12100 | 77 |233817 | 18.9 |8607k| 38 | - | 231 |7922 | 231 |2455 | 18 |8462 |2692 | 0.000000e+00 | -- | Inf
43.67/43.71 c 43.7s| 12200 | 78 |235710 | 18.9 |8630k| 38 | 38 | 231 |7988 | 231 |2455 | 18 |8548 |2692 | 0.000000e+00 | -- | Inf
43.87/43.96 c 44.0s| 12300 | 78 |237678 | 18.9 |8650k| 38 | - | 231 |8028 | 231 |2455 | 18 |8610 |2692 | 0.000000e+00 | -- | Inf
44.07/44.19 c 44.2s| 12400 | 76 |239499 | 18.9 |8668k| 38 | - | 231 |8078 | 231 |2455 | 18 |8680 |2692 | 0.000000e+00 | -- | Inf
44.47/44.50 c 44.5s| 12500 | 82 |242138 | 18.9 |8703k| 38 | 38 | 231 |8130 | 231 |2455 | 18 |8746 |2692 | 0.000000e+00 | -- | Inf
44.67/44.74 c 44.7s| 12600 | 84 |244036 | 18.9 |8723k| 38 | 34 | 231 |8181 | 231 |2455 | 18 |8808 |2692 | 0.000000e+00 | -- | Inf
44.98/45.02 c 45.0s| 12700 | 82 |246027 | 18.9 |8749k| 38 | - | 231 |8250 | 231 |2455 | 18 |8881 |2692 | 0.000000e+00 | -- | Inf
45.17/45.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
45.17/45.27 c 45.3s| 12800 | 82 |248001 | 19.0 |8772k| 38 | 40 | 231 |8307 | 231 |2455 | 18 |8959 |2692 | 0.000000e+00 | -- | Inf
45.47/45.53 c 45.5s| 12900 | 84 |250134 | 19.0 |8795k| 38 | 35 | 231 |8348 | 231 |2455 | 18 |9043 |2692 | 0.000000e+00 | -- | Inf
45.67/45.78 c 45.8s| 13000 | 89 |252148 | 19.0 |8823k| 38 | 28 | 231 |8365 | 231 |2455 | 18 |9108 |2692 | 0.000000e+00 | -- | Inf
45.97/46.05 c 46.0s| 13100 | 87 |254376 | 19.0 |8829k| 38 | 42 | 231 |8402 | 231 |2455 | 18 |9175 |2692 | 0.000000e+00 | -- | Inf
46.28/46.31 c 46.3s| 13200 | 88 |256517 | 19.0 |8856k| 38 | - | 231 |8444 | 231 |2455 | 18 |9235 |2692 | 0.000000e+00 | -- | Inf
46.47/46.58 c 46.6s| 13300 | 86 |258732 | 19.0 |8875k| 38 | - | 231 |8499 | 231 |2455 | 18 |9300 |2692 | 0.000000e+00 | -- | Inf
46.77/46.85 c 46.9s| 13400 | 96 |261023 | 19.1 |8906k| 38 | 28 | 231 |8532 | 231 |2455 | 18 |9365 |2692 | 0.000000e+00 | -- | Inf
46.97/47.07 c 47.1s| 13500 | 96 |262724 | 19.1 |8933k| 39 | 38 | 231 |8601 | 231 |2455 | 18 |9447 |2692 | 0.000000e+00 | -- | Inf
47.28/47.31 c 47.3s| 13600 | 110 |264705 | 19.1 |8976k| 39 | 33 | 231 |8634 | 231 |2455 | 18 |9504 |2692 | 0.000000e+00 | -- | Inf
47.47/47.56 c 47.6s| 13700 | 114 |266741 | 19.1 |9014k| 39 | - | 231 |8699 | 231 |2455 | 18 |9573 |2692 | 0.000000e+00 | -- | Inf
47.77/47.85 c 47.9s| 13800 | 118 |268858 | 19.1 |9041k| 39 | - | 231 |8744 | 231 |2455 | 18 |9632 |2692 | 0.000000e+00 | -- | Inf
48.07/48.11 c 48.1s| 13900 | 118 |270978 | 19.1 |9062k| 39 | - | 231 |8794 | 231 |2455 | 18 |9695 |2692 | 0.000000e+00 | -- | Inf
48.28/48.38 c 48.4s| 14000 | 124 |273158 | 19.1 |9088k| 39 | 40 | 231 |8836 | 231 |2455 | 18 |9751 |2692 | 0.000000e+00 | -- | Inf
48.57/48.63 c 48.6s| 14100 | 132 |275262 | 19.1 |9128k| 39 | - | 231 |8887 | 231 |2455 | 18 |9817 |2692 | 0.000000e+00 | -- | Inf
48.87/48.90 c 48.9s| 14200 | 131 |277527 | 19.2 |9157k| 39 | - | 231 |8944 | 231 |2455 | 18 |9885 |2692 | 0.000000e+00 | -- | Inf
49.08/49.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
49.08/49.15 c 49.2s| 14300 | 131 |279565 | 19.2 |9177k| 39 | 37 | 231 |9006 | 231 |2455 | 18 |9952 |2692 | 0.000000e+00 | -- | Inf
49.37/49.42 c 49.4s| 14400 | 129 |281785 | 19.2 |9201k| 39 | - | 231 |9068 | 231 |2455 | 18 | 10k|2692 | 0.000000e+00 | -- | Inf
49.57/49.68 c 49.7s| 14500 | 131 |283865 | 19.2 |9233k| 39 | 26 | 231 |9140 | 231 |2455 | 18 | 10k|2692 | 0.000000e+00 | -- | Inf
49.87/49.92 c 49.9s| 14600 | 132 |285934 | 19.2 |9276k| 40 | - | 231 |9232 | 231 |2455 | 18 | 10k|2692 | 0.000000e+00 | -- | Inf
50.17/50.20 c 50.2s| 14700 | 137 |288260 | 19.2 |9314k| 40 | 31 | 231 |9303 | 231 |2455 | 18 | 10k|2692 | 0.000000e+00 | -- | Inf
50.37/50.44 c 50.4s| 14800 | 140 |290213 | 19.2 |9345k| 40 | - | 231 |9350 | 231 |2455 | 18 | 10k|2692 | 0.000000e+00 | -- | Inf
50.67/50.71 c 50.7s| 14900 | 135 |292421 | 19.3 |9361k| 40 | - | 231 |9410 | 231 |2455 | 18 | 10k|2692 | 0.000000e+00 | -- | Inf
50.87/50.99 c 51.0s| 15000 | 136 |294738 | 19.3 |9393k| 40 | 39 | 231 |9483 | 231 |2455 | 18 | 10k|2692 | 0.000000e+00 | -- | Inf
51.17/51.25 c 51.3s| 15100 | 138 |296968 | 19.3 |9429k| 41 | 32 | 231 |9544 | 231 |2455 | 18 | 10k|2692 | 0.000000e+00 | -- | Inf
51.47/51.51 c 51.5s| 15200 | 133 |299117 | 19.3 |9456k| 45 | 36 | 231 |9628 | 231 |2455 | 18 | 10k|2692 | 0.000000e+00 | -- | Inf
51.68/51.78 c 51.8s| 15300 | 135 |301277 | 19.3 |9481k| 45 | 36 | 231 |9675 | 231 |2455 | 18 | 10k|2692 | 0.000000e+00 | -- | Inf
51.97/52.03 c 52.0s| 15400 | 139 |303353 | 19.3 |9505k| 45 | 22 | 231 |9707 | 231 |2455 | 18 | 10k|2692 | 0.000000e+00 | -- | Inf
52.27/52.30 c 52.3s| 15500 | 145 |305571 | 19.4 |9541k| 45 | - | 231 |9761 | 231 |2455 | 18 | 10k|2692 | 0.000000e+00 | -- | Inf
52.47/52.57 c 52.6s| 15600 | 142 |307800 | 19.4 |9557k| 45 | 35 | 231 |9809 | 231 |2455 | 18 | 10k|2692 | 0.000000e+00 | -- | Inf
52.77/52.84 c 52.8s| 15700 | 146 |310162 | 19.4 |9574k| 45 | 33 | 231 |9823 | 231 |2455 | 18 | 10k|2692 | 0.000000e+00 | -- | Inf
53.07/53.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
53.07/53.10 c 53.1s| 15800 | 144 |312306 | 19.4 |9582k| 49 | - | 231 |9846 | 231 |2455 | 18 | 10k|2692 | 0.000000e+00 | -- | Inf
53.27/53.36 c 53.4s| 15900 | 152 |314508 | 19.4 |9605k| 49 | 39 | 231 |9868 | 231 |2455 | 18 | 11k|2692 | 0.000000e+00 | -- | Inf
53.57/53.64 c 53.6s| 16000 | 148 |316810 | 19.5 |9615k| 49 | - | 231 |9879 | 231 |2455 | 18 | 11k|2692 | 0.000000e+00 | -- | Inf
53.88/53.93 c 53.9s| 16100 | 146 |319295 | 19.5 |9631k| 49 | - | 231 |9922 | 231 |2455 | 18 | 11k|2692 | 0.000000e+00 | -- | Inf
54.17/54.20 c 54.2s| 16200 | 142 |321481 | 19.5 |9636k| 49 | - | 231 |9966 | 231 |2455 | 18 | 11k|2692 | 0.000000e+00 | -- | Inf
54.37/54.48 c 54.5s| 16300 | 148 |323711 | 19.5 |9669k| 49 | - | 231 | 10k| 231 |2455 | 18 | 11k|2692 | 0.000000e+00 | -- | Inf
54.67/54.75 c 54.7s| 16400 | 148 |325948 | 19.5 |9697k| 49 | - | 231 | 10k| 231 |2455 | 18 | 11k|2692 | 0.000000e+00 | -- | Inf
54.97/55.01 c 55.0s| 16500 | 150 |328122 | 19.6 |9728k| 49 | - | 231 | 10k| 231 |2455 | 18 | 11k|2692 | 0.000000e+00 | -- | Inf
55.27/55.31 c 55.3s| 16600 | 144 |330535 | 19.6 |9739k| 49 | - | 231 | 10k| 231 |2455 | 18 | 11k|2692 | 0.000000e+00 | -- | Inf
55.47/55.56 c 55.6s| 16700 | 136 |332429 | 19.6 |9734k| 49 | - | 231 | 10k| 231 |2455 | 18 | 11k|2692 | 0.000000e+00 | -- | Inf
55.77/55.83 c 55.8s| 16800 | 134 |334640 | 19.6 |9731k| 49 | 37 | 231 | 10k| 231 |2455 | 18 | 11k|2692 | 0.000000e+00 | -- | Inf
55.97/56.09 c 56.1s| 16900 | 131 |336705 | 19.6 |9735k| 49 | 37 | 231 | 10k| 231 |2455 | 18 | 11k|2692 | 0.000000e+00 | -- | Inf
56.27/56.34 c 56.3s| 17000 | 128 |338759 | 19.6 |9747k| 49 | - | 231 | 10k| 231 |2455 | 18 | 11k|2692 | 0.000000e+00 | -- | Inf
56.57/56.62 c 56.6s| 17100 | 130 |341098 | 19.6 |9755k| 49 | - | 231 | 10k| 231 |2455 | 18 | 11k|2692 | 0.000000e+00 | -- | Inf
56.77/56.88 c 56.9s| 17200 | 129 |343131 | 19.6 |9773k| 49 | - | 231 | 10k| 231 |2455 | 18 | 11k|2692 | 0.000000e+00 | -- | Inf
57.08/57.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
57.08/57.16 c 57.2s| 17300 | 128 |345375 | 19.6 |9772k| 49 | 27 | 231 | 10k| 231 |2455 | 18 | 12k|2692 | 0.000000e+00 | -- | Inf
57.37/57.44 c 57.4s| 17400 | 126 |347520 | 19.7 |9746k| 49 | 43 | 231 | 10k| 231 |2455 | 18 | 12k|2692 | 0.000000e+00 | -- | Inf
57.67/57.72 c 57.7s| 17500 | 127 |349846 | 19.7 |9752k| 49 | 43 | 231 | 10k| 231 |2455 | 18 | 12k|2692 | 0.000000e+00 | -- | Inf
57.97/58.00 c 58.0s| 17600 | 126 |352189 | 19.7 |9747k| 49 | 27 | 231 | 10k| 231 |2455 | 18 | 12k|2692 | 0.000000e+00 | -- | Inf
58.18/58.25 c 58.3s| 17700 | 121 |354077 | 19.7 |9752k| 49 | - | 231 | 10k| 231 |2455 | 18 | 12k|2692 | 0.000000e+00 | -- | Inf
58.47/58.52 c 58.5s| 17800 | 121 |356207 | 19.7 |9740k| 49 | - | 231 | 10k| 231 |2455 | 18 | 12k|2692 | 0.000000e+00 | -- | Inf
58.77/58.80 c 58.8s| 17900 | 121 |358396 | 19.7 |9705k| 49 | 34 | 231 | 10k| 231 |2455 | 18 | 12k|2692 | 0.000000e+00 | -- | Inf
58.97/59.03 c 59.0s| 18000 | 122 |360116 | 19.7 |9700k| 49 | 26 | 231 | 10k| 231 |2455 | 18 | 12k|2692 | 0.000000e+00 | -- | Inf
59.17/59.28 c 59.3s| 18100 | 124 |362083 | 19.7 |9678k| 49 | 30 | 231 |9997 | 231 |2455 | 18 | 12k|2692 | 0.000000e+00 | -- | Inf
59.47/59.53 c 59.5s| 18200 | 122 |364046 | 19.7 |9664k| 49 | - | 231 |9966 | 231 |2455 | 18 | 12k|2692 | 0.000000e+00 | -- | Inf
59.77/59.83 c 59.8s| 18300 | 121 |366547 | 19.7 |9651k| 49 | 31 | 231 |9915 | 231 |2455 | 18 | 12k|2692 | 0.000000e+00 | -- | Inf
59.97/60.08 c 60.1s| 18400 | 118 |368428 | 19.7 |9642k| 49 | - | 231 |9886 | 231 |2455 | 18 | 12k|2692 | 0.000000e+00 | -- | Inf
60.27/60.34 c 60.3s| 18500 | 114 |370515 | 19.7 |9619k| 49 | - | 231 |9854 | 231 |2455 | 18 | 12k|2692 | 0.000000e+00 | -- | Inf
60.57/60.60 c 60.6s| 18600 | 114 |372555 | 19.7 |9614k| 49 | - | 231 |9837 | 231 |2455 | 18 | 12k|2692 | 0.000000e+00 | -- | Inf
60.77/60.87 c 60.9s| 18700 | 110 |374721 | 19.7 |9603k| 49 | 39 | 231 |9817 | 231 |2455 | 18 | 12k|2692 | 0.000000e+00 | -- | Inf
61.07/61.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
61.07/61.16 c 61.2s| 18800 | 110 |376981 | 19.8 |9570k| 49 | - | 231 |9709 | 0 | 0 | 18 | 13k|2692 | 0.000000e+00 | -- | Inf
61.37/61.43 c 61.4s| 18900 | 108 |379154 | 19.8 |9533k| 49 | 31 | 231 |9630 | 231 |2455 | 18 | 13k|2692 | 0.000000e+00 | -- | Inf
61.57/61.69 c 61.7s| 19000 | 105 |381172 | 19.8 |9516k| 49 | 36 | 231 |9586 | 231 |2455 | 18 | 13k|2692 | 0.000000e+00 | -- | Inf
61.87/61.94 c 61.9s| 19100 | 107 |383080 | 19.8 |9503k| 49 | - | 231 |9485 | 231 |2455 | 18 | 13k|2692 | 0.000000e+00 | -- | Inf
62.17/62.20 c 62.2s| 19200 | 106 |385060 | 19.8 |9502k| 49 | - | 231 |9491 | 231 |2455 | 18 | 13k|2692 | 0.000000e+00 | -- | Inf
62.36/62.47 c 62.5s| 19300 | 111 |387095 | 19.8 |9466k| 49 | 24 | 231 |9341 | 231 |2455 | 18 | 13k|2692 | 0.000000e+00 | -- | Inf
62.68/62.73 c 62.7s| 19400 | 105 |389099 | 19.8 |9462k| 49 | 38 | 231 |9348 | 231 |2455 | 18 | 13k|2692 | 0.000000e+00 | -- | Inf
62.87/62.97 c 63.0s| 19500 | 105 |391008 | 19.8 |9437k| 49 | 45 | 231 |9251 | 231 |2455 | 18 | 13k|2692 | 0.000000e+00 | -- | Inf
63.17/63.22 c 63.2s| 19600 | 101 |392814 | 19.8 |9393k| 49 | - | 231 |9153 | 231 |2455 | 18 | 13k|2692 | 0.000000e+00 | -- | Inf
63.37/63.47 c 63.5s| 19700 | 97 |394833 | 19.8 |9365k| 49 | 31 | 231 |9116 | 231 |2455 | 18 | 13k|2692 | 0.000000e+00 | -- | Inf
63.68/63.76 c 63.8s| 19800 | 101 |397228 | 19.8 |9386k| 49 | 37 | 231 |9142 | 231 |2455 | 18 | 13k|2692 | 0.000000e+00 | -- | Inf
63.96/64.03 c 64.0s| 19900 | 97 |399382 | 19.8 |9313k| 49 | 30 | 231 |8962 | 231 |2455 | 18 | 13k|2692 | 0.000000e+00 | -- | Inf
64.27/64.31 c 64.3s| 20000 | 95 |401490 | 19.8 |9262k| 49 | 44 | 231 |8819 | 231 |2455 | 18 | 13k|2692 | 0.000000e+00 | -- | Inf
64.47/64.57 c 64.6s| 20100 | 94 |403490 | 19.8 |9247k| 49 | 37 | 231 |8782 | 231 |2455 | 18 | 14k|2692 | 0.000000e+00 | -- | Inf
64.77/64.81 c 64.8s| 20200 | 93 |405402 | 19.8 |9257k| 49 | 22 | 231 |8825 | 231 |2455 | 18 | 14k|2692 | 0.000000e+00 | -- | Inf
64.97/65.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.97/65.05 c 65.0s| 20300 | 90 |407159 | 19.8 |9232k| 49 | - | 231 |8771 | 231 |2455 | 18 | 14k|2692 | 0.000000e+00 | -- | Inf
65.17/65.28 c 65.3s| 20400 | 92 |408847 | 19.8 |9200k| 49 | 35 | 231 |8656 | 231 |2455 | 18 | 14k|2692 | 0.000000e+00 | -- | Inf
65.47/65.54 c 65.5s| 20500 | 92 |410888 | 19.8 |9194k| 49 | - | 231 |8638 | 231 |2455 | 18 | 14k|2692 | 0.000000e+00 | -- | Inf
65.67/65.79 c 65.8s| 20600 | 92 |412952 | 19.8 |9216k| 49 | 29 | 231 |8699 | 231 |2455 | 18 | 14k|2692 | 0.000000e+00 | -- | Inf
65.97/66.05 c 66.1s| 20700 | 91 |414998 | 19.8 |9222k| 49 | - | 231 |8698 | 0 | 0 | 18 | 14k|2692 | 0.000000e+00 | -- | Inf
66.27/66.35 c 66.4s| 20800 | 88 |416972 | 19.8 |9138k| 49 | 39 | 231 |8463 | 231 |2455 | 18 | 14k|2692 | 0.000000e+00 | -- | Inf
66.57/66.61 c 66.6s| 20900 | 90 |419172 | 19.8 |9169k| 49 | - | 231 |8521 | 231 |2455 | 18 | 14k|2692 | 0.000000e+00 | -- | Inf
66.77/66.88 c 66.9s| 21000 | 84 |421320 | 19.8 |9136k| 49 | 38 | 231 |8485 | 231 |2455 | 18 | 14k|2692 | 0.000000e+00 | -- | Inf
67.07/67.16 c 67.2s| 21100 | 82 |423487 | 19.8 |9117k| 49 | 28 | 231 |8428 | 231 |2455 | 18 | 14k|2692 | 0.000000e+00 | -- | Inf
67.27/67.39 c 67.4s| 21200 | 80 |425266 | 19.8 |9120k| 49 | 35 | 231 |8452 | 231 |2455 | 18 | 14k|2692 | 0.000000e+00 | -- | Inf
67.57/67.63 c 67.6s| 21300 | 76 |427022 | 19.8 |9094k| 49 | - | 231 |8404 | 231 |2455 | 18 | 14k|2692 | 0.000000e+00 | -- | Inf
67.77/67.88 c 67.9s| 21400 | 75 |428964 | 19.8 |9086k| 49 | - | 231 |8400 | 231 |2455 | 18 | 14k|2692 | 0.000000e+00 | -- | Inf
68.07/68.15 c 68.1s| 21500 | 77 |431193 | 19.8 |9102k| 49 | 30 | 231 |8435 | 231 |2455 | 18 | 14k|2692 | 0.000000e+00 | -- | Inf
68.37/68.40 c 68.4s| 21600 | 83 |433302 | 19.8 |9138k| 49 | 40 | 231 |8499 | 231 |2455 | 18 | 15k|2692 | 0.000000e+00 | -- | Inf
68.57/68.67 c 68.7s| 21700 | 85 |435559 | 19.8 |9167k| 49 | 34 | 231 |8555 | 231 |2455 | 18 | 15k|2692 | 0.000000e+00 | -- | Inf
68.87/68.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
68.87/68.95 c 69.0s| 21800 | 79 |437864 | 19.8 |9161k| 49 | 33 | 231 |8574 | 231 |2455 | 18 | 15k|2692 | 0.000000e+00 | -- | Inf
69.07/69.19 c 69.2s| 21900 | 77 |439712 | 19.8 |9151k| 49 | 39 | 231 |8568 | 231 |2455 | 18 | 15k|2692 | 0.000000e+00 | -- | Inf
69.37/69.46 c 69.5s| 22000 | 76 |441900 | 19.8 |9179k| 49 | - | 231 |8641 | 231 |2455 | 18 | 15k|2692 | 0.000000e+00 | -- | Inf
69.67/69.70 c 69.7s| 22100 | 70 |443717 | 19.8 |9136k| 49 | 46 | 231 |8566 | 231 |2455 | 18 | 15k|2692 | 0.000000e+00 | -- | Inf
69.87/69.96 c 70.0s| 22200 | 74 |445798 | 19.8 |9123k| 49 | 29 | 231 |8497 | 231 |2455 | 18 | 15k|2692 | 0.000000e+00 | -- | Inf
70.16/70.24 c 70.2s| 22300 | 74 |448071 | 19.8 |9137k| 49 | - | 231 |8530 | 231 |2455 | 18 | 15k|2692 | 0.000000e+00 | -- | Inf
70.47/70.58 c 70.6s| 22400 | 70 |450696 | 19.9 |9154k| 49 | - | 231 |8610 | 231 |2455 | 18 | 15k|2699 | 0.000000e+00 | -- | Inf
70.87/70.92 c 70.9s| 22500 | 70 |452492 | 19.9 |9163k| 49 | 34 | 231 |8639 | 231 |2455 | 18 | 15k|2721 | 0.000000e+00 | -- | Inf
71.07/71.19 c 71.2s| 22600 | 70 |454352 | 19.9 |9126k| 49 | - | 231 |8490 | 231 |2455 | 18 | 15k|2729 | 0.000000e+00 | -- | Inf
71.37/71.49 c 71.5s| 22700 | 73 |456283 | 19.9 |9116k| 49 | - | 231 |8441 | 231 |2455 | 18 | 15k|2744 | 0.000000e+00 | -- | Inf
71.67/71.79 c 71.8s| 22800 | 75 |458226 | 19.9 |9112k| 49 | 36 | 231 |8422 | 231 |2455 | 18 | 15k|2757 | 0.000000e+00 | -- | Inf
72.07/72.13 c 72.1s| 22900 | 73 |460489 | 19.9 |9127k| 49 | - | 231 |8476 | 231 |2455 | 18 | 16k|2775 | 0.000000e+00 | -- | Inf
72.37/72.48 c 72.5s| 23000 | 73 |462522 | 19.9 |9155k| 49 | 42 | 231 |8565 | 231 |2455 | 18 | 16k|2792 | 0.000000e+00 | -- | Inf
72.67/72.78 c 72.8s| 23100 | 69 |464381 | 19.9 |9167k| 49 | 46 | 231 |8619 | 231 |2455 | 18 | 16k|2806 | 0.000000e+00 | -- | Inf
73.06/73.13 c 73.1s| 23200 | 70 |466856 | 19.9 |9166k| 49 | 38 | 231 |8607 | 231 |2455 | 18 | 16k|2816 | 0.000000e+00 | -- | Inf
73.37/73.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
73.37/73.43 c 73.4s| 23300 | 67 |468715 | 19.9 |9156k| 49 | - | 231 |8592 | 231 |2455 | 18 | 16k|2831 | 0.000000e+00 | -- | Inf
73.67/73.70 c 73.7s| 23400 | 69 |470369 | 19.9 |9163k| 49 | 39 | 231 |8595 | 231 |2455 | 18 | 16k|2843 | 0.000000e+00 | -- | Inf
73.86/73.97 c 74.0s| 23500 | 69 |471891 | 19.8 |9181k| 49 | - | 231 |8626 | 231 |2455 | 18 | 16k|2857 | 0.000000e+00 | -- | Inf
74.27/74.31 c 74.3s| 23600 | 67 |474040 | 19.9 |9178k| 49 | - | 231 |8626 | 231 |2455 | 18 | 16k|2876 | 0.000000e+00 | -- | Inf
74.56/74.62 c 74.6s| 23700 | 66 |476042 | 19.9 |9151k| 49 | 40 | 231 |8559 | 231 |2455 | 18 | 16k|2887 | 0.000000e+00 | -- | Inf
74.87/74.92 c 74.9s| 23800 | 61 |478016 | 19.9 |9145k| 49 | 22 | 231 |8574 | 231 |2455 | 18 | 16k|2896 | 0.000000e+00 | -- | Inf
75.17/75.26 c 75.3s| 23900 | 58 |480075 | 19.9 |9138k| 49 | - | 231 |8556 | 231 |2455 | 18 | 16k|2908 | 0.000000e+00 | -- | Inf
75.46/75.55 c 75.5s| 24000 | 59 |482057 | 19.9 |9153k| 49 | - | 231 |8589 | 231 |2455 | 18 | 16k|2917 | 0.000000e+00 | -- | Inf
75.77/75.81 c 75.8s| 24100 | 61 |483957 | 19.9 |9144k| 49 | - | 231 |8551 | 231 |2455 | 18 | 16k|2921 | 0.000000e+00 | -- | Inf
75.97/76.07 c 76.1s| 24200 | 59 |485766 | 19.8 |9133k| 49 | - | 231 |8545 | 231 |2455 | 18 | 17k|2927 | 0.000000e+00 | -- | Inf
76.27/76.33 c 76.3s| 24300 | 59 |487742 | 19.8 |9139k| 49 | 29 | 231 |8572 | 231 |2455 | 18 | 17k|2929 | 0.000000e+00 | -- | Inf
76.46/76.59 c 76.6s| 24400 | 61 |489863 | 19.9 |9154k| 49 | 31 | 231 |8613 | 231 |2455 | 18 | 17k|2930 | 0.000000e+00 | -- | Inf
76.76/76.83 c 76.8s| 24500 | 59 |491587 | 19.8 |9154k| 49 | 36 | 231 |8614 | 231 |2455 | 18 | 17k|2932 | 0.000000e+00 | -- | Inf
76.97/77.09 c 77.1s| 24600 | 61 |493521 | 19.8 |9157k| 49 | 21 | 231 |8622 | 231 |2455 | 18 | 17k|2932 | 0.000000e+00 | -- | Inf
77.27/77.33 c 77.3s| 24700 | 59 |495400 | 19.8 |9158k| 49 | 42 | 231 |8623 | 231 |2455 | 18 | 17k|2932 | 0.000000e+00 | -- | Inf
77.46/77.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
77.46/77.58 c 77.6s| 24800 | 56 |497198 | 19.8 |9094k| 49 | - | 231 |8438 | 231 |2455 | 18 | 17k|2933 | 0.000000e+00 | -- | Inf
77.77/77.83 c 77.8s| 24900 | 57 |499062 | 19.8 |9095k| 49 | - | 231 |8436 | 231 |2455 | 18 | 17k|2934 | 0.000000e+00 | -- | Inf
77.98/78.05 c 78.1s| 25000 | 59 |500698 | 19.8 |9105k| 49 | 38 | 231 |8451 | 231 |2455 | 18 | 17k|2935 | 0.000000e+00 | -- | Inf
78.16/78.27 c 78.3s| 25100 | 59 |502258 | 19.8 |9101k| 49 | 30 | 231 |8445 | 231 |2455 | 18 | 17k|2935 | 0.000000e+00 | -- | Inf
78.36/78.49 c 78.5s| 25200 | 59 |503958 | 19.8 |9095k| 49 | 42 | 231 |8423 | 231 |2455 | 18 | 17k|2935 | 0.000000e+00 | -- | Inf
78.67/78.75 c 78.8s| 25300 | 58 |506017 | 19.8 |9083k| 49 | 33 | 231 |8399 | 231 |2455 | 18 | 17k|2935 | 0.000000e+00 | -- | Inf
78.86/78.98 c 79.0s| 25400 | 56 |507695 | 19.8 |9066k| 49 | 35 | 231 |8380 | 231 |2455 | 18 | 17k|2935 | 0.000000e+00 | -- | Inf
79.17/79.22 c 79.2s| 25500 | 58 |509535 | 19.8 |9026k| 49 | - | 231 |8208 | 231 |2455 | 18 | 17k|2935 | 0.000000e+00 | -- | Inf
79.36/79.47 c 79.5s| 25600 | 64 |511604 | 19.8 |9029k| 49 | 29 | 231 |8195 | 231 |2455 | 18 | 17k|2935 | 0.000000e+00 | -- | Inf
79.67/79.74 c 79.7s| 25700 | 71 |513792 | 19.8 |9052k| 49 | 26 | 231 |8215 | 231 |2455 | 18 | 18k|2935 | 0.000000e+00 | -- | Inf
79.87/79.97 c 80.0s| 25800 | 70 |515555 | 19.8 |9073k| 49 | 34 | 231 |8268 | 231 |2455 | 18 | 18k|2935 | 0.000000e+00 | -- | Inf
80.17/80.24 c 80.2s| 25900 | 63 |517311 | 19.8 |9073k| 49 | - | 231 |8301 | 231 |2455 | 18 | 18k|2944 | 0.000000e+00 | -- | Inf
80.46/80.53 c 80.5s| 26000 | 63 |519408 | 19.8 |9089k| 49 | 42 | 231 |8349 | 231 |2455 | 18 | 18k|2953 | 0.000000e+00 | -- | Inf
80.77/80.88 c 80.9s| 26100 | 58 |521460 | 19.8 |9089k| 49 | 31 | 231 |8386 | 231 |2455 | 18 | 18k|2974 | 0.000000e+00 | -- | Inf
81.07/81.18 c 81.2s| 26200 | 54 |523429 | 19.8 |9098k| 49 | - | 231 |8432 | 231 |2455 | 18 | 18k|2983 | 0.000000e+00 | -- | Inf
81.47/81.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
81.47/81.50 c 81.5s| 26300 | 52 |525557 | 19.8 |9086k| 49 | - | 231 |8431 | 231 |2455 | 18 | 18k|2997 | 0.000000e+00 | -- | Inf
81.66/81.75 c 81.7s| 26400 | 56 |527335 | 19.8 |9102k| 49 | - | 231 |8428 | 0 | 0 | 18 | 18k|3001 | 0.000000e+00 | -- | Inf
82.17/82.26 c 82.3s| 26500 | 60 |530952 | 19.8 |9119k| 49 | - | 231 |8454 | 231 |2455 | 18 | 18k|3016 | 0.000000e+00 | -- | Inf
82.47/82.56 c 82.6s| 26600 | 58 |532900 | 19.8 |9120k| 49 | 32 | 231 |8501 | 231 |2455 | 18 | 18k|3031 | 0.000000e+00 | -- | Inf
82.76/82.85 c 82.9s| 26700 | 56 |534808 | 19.8 |9139k| 49 | - | 231 |8554 | 231 |2455 | 18 | 18k|3041 | 0.000000e+00 | -- | Inf
83.07/83.16 c 83.2s| 26800 | 58 |536928 | 19.8 |9166k| 49 | - | 231 |8609 | 0 | 0 | 18 | 18k|3054 | 0.000000e+00 | -- | Inf
83.37/83.47 c 83.5s| 26900 | 61 |538897 | 19.8 |9188k| 49 | 31 | 231 |8673 | 231 |2455 | 18 | 18k|3068 | 0.000000e+00 | -- | Inf
83.66/83.78 c 83.8s| 27000 | 59 |540877 | 19.8 |9206k| 49 | - | 231 |8724 | 0 | 0 | 18 | 18k|3081 | 0.000000e+00 | -- | Inf
84.07/84.11 c 84.1s| 27100 | 59 |543023 | 19.8 |9227k| 49 | - | 231 |8795 | 231 |2455 | 18 | 18k|3097 | 0.000000e+00 | -- | Inf
84.37/84.47 c 84.5s| 27200 | 60 |545305 | 19.8 |9252k| 49 | 34 | 231 |8859 | 231 |2455 | 18 | 19k|3112 | 0.000000e+00 | -- | Inf
84.76/84.81 c 84.8s| 27300 | 55 |547626 | 19.9 |9260k| 49 | - | 231 |8918 | 231 |2455 | 18 | 19k|3128 | 0.000000e+00 | -- | Inf
85.07/85.16 c 85.2s| 27400 | 54 |549893 | 19.9 |9286k| 49 | - | 231 |8995 | 231 |2455 | 18 | 19k|3144 | 0.000000e+00 | -- | Inf
85.36/85.47 c 85.5s| 27500 | 51 |551903 | 19.9 |9246k| 49 | - | 231 |8897 | 231 |2455 | 18 | 19k|3155 | 0.000000e+00 | -- | Inf
85.67/85.73 c 85.7s| 27600 | 55 |553817 | 19.9 |9272k| 49 | 37 | 231 |8947 | 231 |2455 | 18 | 19k|3158 | 0.000000e+00 | -- | Inf
85.86/85.99 c 86.0s| 27700 | 57 |555957 | 19.9 |9300k| 49 | - | 231 |9016 | 231 |2455 | 18 | 19k|3160 | 0.000000e+00 | -- | Inf
86.16/86.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
86.16/86.26 c 86.3s| 27800 | 57 |558169 | 19.9 |9335k| 49 | - | 231 |9104 | 231 |2455 | 18 | 19k|3162 | 0.000000e+00 | -- | Inf
86.46/86.56 c 86.6s| 27900 | 55 |560579 | 19.9 |9369k| 49 | 28 | 231 |9214 | 231 |2455 | 18 | 19k|3164 | 0.000000e+00 | -- | Inf
86.78/86.83 c 86.8s| 28000 | 49 |562600 | 19.9 |9372k| 49 | - | 231 |9263 | 231 |2455 | 18 | 19k|3167 | 0.000000e+00 | -- | Inf
86.96/87.09 c 87.1s| 28100 | 50 |564628 | 19.9 |9397k| 49 | - | 231 |9324 | 231 |2455 | 18 | 19k|3167 | 0.000000e+00 | -- | Inf
87.26/87.39 c 87.4s| 28200 | 50 |566960 | 19.9 |9392k| 49 | - | 231 |9300 | 231 |2455 | 18 | 19k|3169 | 0.000000e+00 | -- | Inf
87.57/87.66 c 87.7s| 28300 | 50 |568885 | 19.9 |9366k| 49 | - | 231 |9182 | 231 |2455 | 18 | 19k|3174 | 0.000000e+00 | -- | Inf
87.87/87.96 c 88.0s| 28400 | 50 |571025 | 19.9 |9338k| 49 | 36 | 231 |9069 | 231 |2455 | 18 | 20k|3179 | 0.000000e+00 | -- | Inf
88.16/88.21 c 88.2s| 28500 | 48 |572998 | 19.9 |9314k| 49 | - | 231 |9014 | 231 |2455 | 18 | 20k|3179 | 0.000000e+00 | -- | Inf
88.37/88.47 c 88.5s| 28600 | 48 |574922 | 19.9 |9281k| 49 | 41 | 231 |8928 | 231 |2455 | 18 | 20k|3179 | 0.000000e+00 | -- | Inf
88.66/88.73 c 88.7s| 28700 | 48 |576972 | 19.9 |9264k| 49 | - | 231 |8878 | 231 |2455 | 18 | 20k|3179 | 0.000000e+00 | -- | Inf
88.87/89.00 c 89.0s| 28800 | 46 |579051 | 19.9 |9246k| 49 | - | 231 |8810 | 231 |2455 | 18 | 20k|3179 | 0.000000e+00 | -- | Inf
89.16/89.24 c 89.2s| 28900 | 46 |580883 | 19.9 |9242k| 49 | 42 | 231 |8804 | 231 |2455 | 18 | 20k|3179 | 0.000000e+00 | -- | Inf
89.36/89.48 c 89.5s| 29000 | 46 |582708 | 19.9 |9241k| 49 | 24 | 231 |8801 | 231 |2455 | 18 | 20k|3179 | 0.000000e+00 | -- | Inf
89.67/89.71 c 89.7s| 29100 | 46 |584446 | 19.9 |9205k| 49 | 25 | 231 |8720 | 231 |2455 | 18 | 20k|3179 | 0.000000e+00 | -- | Inf
89.86/89.95 c 90.0s| 29200 | 46 |586182 | 19.9 |9178k| 49 | - | 231 |8629 | 231 |2455 | 18 | 20k|3179 | 0.000000e+00 | -- | Inf
90.07/90.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
90.07/90.16 c 90.2s| 29300 | 48 |587550 | 19.9 |9149k| 49 | 19 | 231 |8536 | 231 |2455 | 18 | 20k|3179 | 0.000000e+00 | -- | Inf
90.26/90.38 c 90.4s| 29400 | 46 |589251 | 19.9 |9149k| 49 | 35 | 231 |8556 | 231 |2455 | 18 | 20k|3179 | 0.000000e+00 | -- | Inf
90.57/90.63 c 90.6s| 29500 | 41 |591023 | 19.9 |9129k| 49 | - | 231 |8533 | 231 |2455 | 18 | 20k|3179 | 0.000000e+00 | -- | Inf
90.86/90.96 c 91.0s| 29600 | 41 |593038 | 19.9 |9133k| 49 | - | 231 |8547 | 231 |2455 | 18 | 20k|3193 | 0.000000e+00 | -- | Inf
91.17/91.29 c 91.3s| 29700 | 41 |595063 | 19.9 |9099k| 49 | - | 231 |8456 | 231 |2455 | 18 | 20k|3209 | 0.000000e+00 | -- | Inf
91.46/91.57 c 91.6s| 29800 | 43 |596868 | 19.8 |9098k| 49 | - | 231 |8433 | 231 |2455 | 18 | 21k|3218 | 0.000000e+00 | -- | Inf
91.76/91.82 c 91.8s| 29900 | 46 |598556 | 19.8 |9111k| 49 | - | 231 |8454 | 231 |2455 | 18 | 21k|3225 | 0.000000e+00 | -- | Inf
91.97/92.09 c 92.1s| 30000 | 46 |600392 | 19.8 |9108k| 49 | 28 | 231 |8456 | 231 |2455 | 18 | 21k|3234 | 0.000000e+00 | -- | Inf
92.27/92.40 c 92.4s| 30100 | 50 |602138 | 19.8 |9121k| 49 | 26 | 231 |8458 | 231 |2455 | 18 | 21k|3254 | 0.000000e+00 | -- | Inf
92.56/92.67 c 92.7s| 30200 | 46 |603922 | 19.8 |9122k| 49 | 35 | 231 |8499 | 231 |2455 | 18 | 21k|3263 | 0.000000e+00 | -- | Inf
92.86/92.97 c 93.0s| 30300 | 44 |605884 | 19.8 |9139k| 49 | - | 231 |8537 | 231 |2455 | 18 | 21k|3274 | 0.000000e+00 | -- | Inf
93.17/93.24 c 93.2s| 30400 | 49 |607824 | 19.8 |9152k| 49 | - | 231 |8539 | 0 | 0 | 18 | 21k|3280 | 0.000000e+00 | -- | Inf
93.47/93.54 c 93.5s| 30500 | 55 |609866 | 19.8 |9178k| 49 | 27 | 231 |8577 | 231 |2455 | 18 | 21k|3290 | 0.000000e+00 | -- | Inf
93.76/93.84 c 93.8s| 30600 | 51 |611719 | 19.8 |9189k| 49 | 27 | 231 |8634 | 231 |2455 | 18 | 21k|3304 | 0.000000e+00 | -- | Inf
94.06/94.12 c 94.1s| 30700 | 61 |613546 | 19.8 |9233k| 49 | 40 | 231 |8679 | 231 |2455 | 18 | 21k|3316 | 0.000000e+00 | -- | Inf
94.26/94.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
94.26/94.39 c 94.4s| 30800 | 64 |615252 | 19.8 |9267k| 49 | - | 231 |8739 | 231 |2455 | 18 | 21k|3327 | 0.000000e+00 | -- | Inf
94.66/94.74 c 94.7s| 30900 | 60 |617595 | 19.8 |9288k| 49 | - | 231 |8810 | 231 |2455 | 18 | 21k|3343 | 0.000000e+00 | -- | Inf
95.06/95.13 c 95.1s| 31000 | 55 |620350 | 19.8 |9295k| 49 | 36 | 231 |8878 | 231 |2455 | 18 | 21k|3355 | 0.000000e+00 | -- | Inf
95.37/95.45 c 95.5s| 31100 | 58 |622563 | 19.8 |9323k| 49 | 27 | 231 |8933 | 231 |2455 | 18 | 21k|3369 | 0.000000e+00 | -- | Inf
95.67/95.75 c 95.8s| 31200 | 53 |624804 | 19.9 |9344k| 49 | - | 231 |9013 | 231 |2455 | 18 | 21k|3375 | 0.000000e+00 | -- | Inf
95.96/96.06 c 96.1s| 31300 | 53 |627113 | 19.9 |9364k| 49 | - | 231 |9077 | 231 |2455 | 18 | 21k|3381 | 0.000000e+00 | -- | Inf
96.26/96.35 c 96.3s| 31400 | 45 |629245 | 19.9 |9374k| 49 | - | 231 |9152 | 231 |2455 | 18 | 22k|3387 | 0.000000e+00 | -- | Inf
96.56/96.67 c 96.7s| 31500 | 44 |631273 | 19.9 |9333k| 49 | 23 | 231 |9064 | 231 |2455 | 18 | 22k|3400 | 0.000000e+00 | -- | Inf
96.87/96.97 c 97.0s| 31600 | 42 |633015 | 19.9 |9310k| 49 | 44 | 231 |8988 | 231 |2455 | 18 | 22k|3414 | 0.000000e+00 | -- | Inf
97.16/97.21 c 97.2s| 31700 | 44 |634889 | 19.9 |9333k| 49 | 35 | 231 |9038 | 231 |2455 | 18 | 22k|3417 | 0.000000e+00 | -- | Inf
97.36/97.46 c 97.5s| 31800 | 50 |636876 | 19.9 |9356k| 49 | 39 | 231 |9061 | 231 |2455 | 18 | 22k|3417 | 0.000000e+00 | -- | Inf
97.66/97.70 c 97.7s| 31900 | 48 |638737 | 19.9 |9377k| 49 | - | 231 |9100 | 231 |2455 | 18 | 22k|3418 | 0.000000e+00 | -- | Inf
97.87/97.94 c 97.9s| 32000 | 45 |640501 | 19.8 |9381k| 49 | 35 | 231 |9137 | 231 |2455 | 18 | 22k|3419 | 0.000000e+00 | -- | Inf
98.16/98.20 c 98.2s| 32100 | 44 |642444 | 19.8 |9386k| 49 | 27 | 231 |9162 | 231 |2455 | 18 | 22k|3420 | 0.000000e+00 | -- | Inf
98.36/98.43 c 98.4s| 32200 | 42 |644210 | 19.8 |9390k| 49 | 25 | 231 |9178 | 231 |2455 | 18 | 22k|3420 | 0.000000e+00 | -- | Inf
98.66/98.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
98.66/98.70 c 98.7s| 32300 | 37 |646297 | 19.8 |9391k| 49 | - | 231 |9206 | 231 |2455 | 18 | 22k|3421 | 0.000000e+00 | -- | Inf
98.87/98.94 c 98.9s| 32400 | 37 |648246 | 19.8 |9404k| 49 | 24 | 231 |9249 | 231 |2455 | 18 | 22k|3421 | 0.000000e+00 | -- | Inf
99.06/99.19 c 99.2s| 32500 | 36 |650034 | 19.8 |9389k| 49 | 24 | 231 |9221 | 231 |2455 | 18 | 22k|3421 | 0.000000e+00 | -- | Inf
99.26/99.39 c 99.4s| 32600 | 38 |651444 | 19.8 |9397k| 49 | - | 231 |9197 | 231 |2455 | 18 | 22k|3421 | 0.000000e+00 | -- | Inf
99.56/99.63 c 99.6s| 32700 | 35 |653308 | 19.8 |9397k| 49 | - | 231 |9227 | 231 |2455 | 18 | 22k|3421 | 0.000000e+00 | -- | Inf
99.76/99.86 c 99.9s| 32800 | 37 |655076 | 19.8 |9391k| 49 | 19 | 231 |9188 | 231 |2455 | 18 | 23k|3422 | 0.000000e+00 | -- | Inf
99.97/100.07 c 100s| 32900 | 34 |656609 | 19.8 |9392k| 49 | 51 | 231 |9220 | 231 |2455 | 18 | 23k|3422 | 0.000000e+00 | -- | Inf
100.26/100.31 c 100s| 33000 | 34 |658362 | 19.8 |9390k| 49 | 32 | 231 |9219 | 231 |2455 | 18 | 23k|3422 | 0.000000e+00 | -- | Inf
100.47/100.56 c 101s| 33100 | 32 |660354 | 19.8 |9377k| 49 | - | 231 |9198 | 231 |2455 | 18 | 23k|3422 | 0.000000e+00 | -- | Inf
100.76/100.81 c 101s| 33200 | 28 |662196 | 19.8 |9325k| 49 | - | 231 |9082 | 231 |2455 | 18 | 23k|3422 | 0.000000e+00 | -- | Inf
100.96/101.07 c 101s| 33300 | 33 |664059 | 19.8 |9274k| 49 | 50 | 231 |8904 | 231 |2455 | 18 | 23k|3422 | 0.000000e+00 | -- | Inf
101.26/101.33 c 101s| 33400 | 37 |666097 | 19.8 |9263k| 49 | - | 231 |8834 | 231 |2455 | 18 | 23k|3422 | 0.000000e+00 | -- | Inf
101.46/101.56 c 102s| 33500 | 36 |667825 | 19.8 |9269k| 49 | 36 | 231 |8869 | 231 |2455 | 18 | 23k|3422 | 0.000000e+00 | -- | Inf
101.76/101.86 c 102s| 33600 | 35 |669764 | 19.8 |9266k| 49 | 42 | 231 |8870 | 231 |2455 | 18 | 23k|3431 | 0.000000e+00 | -- | Inf
102.06/102.20 c 102s| 33700 | 31 |671855 | 19.8 |9238k| 49 | - | 231 |8820 | 231 |2455 | 18 | 23k|3446 | 0.000000e+00 | -- | Inf
102.36/102.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
102.36/102.45 c 102s| 33800 | 29 |673726 | 19.8 |9208k| 49 | - | 231 |8726 | 231 |2455 | 18 | 23k|3446 | 0.000000e+00 | -- | Inf
102.66/102.78 c 103s| 33900 | 29 |675562 | 19.8 |9186k| 49 | - | 231 |8665 | 231 |2455 | 18 | 23k|3464 | 0.000000e+00 | -- | Inf
102.96/103.08 c 103s| 34000 | 31 |677651 | 19.8 |9144k| 49 | - | 231 |8517 | 231 |2455 | 18 | 23k|3472 | 0.000000e+00 | -- | Inf
103.27/103.38 c 103s| 34100 | 31 |679639 | 19.8 |9132k| 49 | - | 231 |8488 | 231 |2455 | 18 | 23k|3481 | 0.000000e+00 | -- | Inf
103.66/103.72 c 104s| 34200 | 31 |681865 | 19.8 |9139k| 49 | 38 | 231 |8523 | 231 |2455 | 18 | 24k|3495 | 0.000000e+00 | -- | Inf
103.96/104.08 c 104s| 34300 | 35 |684108 | 19.8 |9166k| 49 | 25 | 231 |8577 | 231 |2455 | 18 | 24k|3515 | 0.000000e+00 | -- | Inf
104.26/104.38 c 104s| 34400 | 31 |686279 | 19.8 |9181k| 49 | - | 231 |8646 | 231 |2455 | 18 | 24k|3522 | 0.000000e+00 | -- | Inf
104.66/104.70 c 105s| 34500 | 29 |688498 | 19.8 |9187k| 49 | 36 | 231 |8681 | 231 |2455 | 18 | 24k|3531 | 0.000000e+00 | -- | Inf
104.86/104.98 c 105s| 34600 | 27 |690319 | 19.8 |9180k| 49 | 36 | 231 |8661 | 231 |2455 | 18 | 24k|3539 | 0.000000e+00 | -- | Inf
105.26/105.30 c 105s| 34700 | 27 |692493 | 19.8 |9162k| 49 | - | 231 |8589 | 231 |2455 | 18 | 24k|3551 | 0.000000e+00 | -- | Inf
105.57/105.64 c 106s| 34800 | 21 |694643 | 19.8 |9100k| 49 | - | 231 |8492 | 231 |2455 | 18 | 24k|3564 | 0.000000e+00 | -- | Inf
105.86/105.92 c 106s| 34900 | 21 |696402 | 19.8 |9089k| 49 | 38 | 231 |8455 | 231 |2455 | 18 | 24k|3576 | 0.000000e+00 | -- | Inf
106.16/106.24 c 106s| 35000 | 18 |698430 | 19.8 |9067k| 49 | - | 231 |8413 | 231 |2455 | 18 | 24k|3591 | 0.000000e+00 | -- | Inf
106.46/106.55 c 107s| 35100 | 18 |700260 | 19.8 |9060k| 49 | 41 | 231 |8407 | 231 |2455 | 18 | 24k|3606 | 0.000000e+00 | -- | Inf
106.76/106.84 c 107s| 35200 | 18 |702174 | 19.8 |9055k| 49 | - | 231 |8374 | 231 |2455 | 18 | 24k|3613 | 0.000000e+00 | -- | Inf
107.06/107.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
107.06/107.11 c 107s| 35300 | 16 |703815 | 19.8 |9051k| 49 | - | 231 |8364 | 231 |2455 | 18 | 24k|3622 | 0.000000e+00 | -- | Inf
107.36/107.41 c 107s| 35400 | 16 |705687 | 19.8 |9070k| 49 | - | 231 |8419 | 231 |2455 | 18 | 24k|3633 | 0.000000e+00 | -- | Inf
107.67/107.71 c 108s| 35500 | 18 |707560 | 19.8 |9061k| 49 | - | 231 |8389 | 231 |2455 | 18 | 24k|3643 | 0.000000e+00 | -- | Inf
107.86/107.97 c 108s| 35600 | 19 |709339 | 19.8 |9068k| 49 | 42 | 231 |8408 | 231 |2455 | 18 | 25k|3648 | 0.000000e+00 | -- | Inf
108.16/108.20 c 108s| 35700 | 19 |711003 | 19.8 |9079k| 49 | 42 | 231 |8452 | 231 |2455 | 18 | 25k|3649 | 0.000000e+00 | -- | Inf
108.36/108.46 c 108s| 35800 | 20 |713053 | 19.8 |9086k| 49 | - | 231 |8468 | 231 |2455 | 18 | 25k|3649 | 0.000000e+00 | -- | Inf
108.66/108.73 c 109s| 35900 | 18 |715062 | 19.8 |9081k| 49 | 41 | 231 |8484 | 231 |2455 | 18 | 25k|3650 | 0.000000e+00 | -- | Inf
108.87/108.97 c 109s| 36000 | 18 |716907 | 19.8 |9092k| 49 | 34 | 231 |8518 | 231 |2455 | 18 | 25k|3651 | 0.000000e+00 | -- | Inf
109.16/109.21 c 109s| 36100 | 13 |718605 | 19.8 |9057k| 49 | 32 | 231 |8497 | 231 |2455 | 18 | 25k|3653 | 0.000000e+00 | -- | Inf
109.36/109.46 c 109s| 36200 | 12 |720396 | 19.8 |9058k| 49 | 42 | 231 |8511 | 231 |2455 | 18 | 25k|3658 | 0.000000e+00 | -- | Inf
109.66/109.70 c 110s| 36300 | 10 |722189 | 19.7 |9074k| 49 | - | 231 |8545 | 231 |2455 | 18 | 25k|3658 | 0.000000e+00 | -- | Inf
109.86/109.94 c 110s| 36400 | 12 |723951 | 19.7 |9057k| 49 | - | 231 |8475 | 231 |2455 | 18 | 25k|3658 | 0.000000e+00 | -- | Inf
110.06/110.19 c 110s| 36500 | 12 |725911 | 19.7 |9051k| 49 | - | 231 |8443 | 231 |2455 | 18 | 25k|3658 | 0.000000e+00 | -- | Inf
110.36/110.43 c 110s| 36600 | 11 |727726 | 19.7 |9032k| 49 | - | 231 |8397 | 231 |2455 | 18 | 25k|3658 | 0.000000e+00 | -- | Inf
110.66/110.72 c 111s| 36700 | 13 |730022 | 19.7 |9022k| 49 | - | 231 |8360 | 231 |2455 | 18 | 25k|3659 | 0.000000e+00 | -- | Inf
110.86/110.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
110.86/110.95 c 111s| 36800 | 13 |731895 | 19.7 |9031k| 49 | 40 | 231 |8399 | 231 |2455 | 18 | 25k|3659 | 0.000000e+00 | -- | Inf
111.16/111.23 c 111s| 36900 | 13 |734076 | 19.7 |9043k| 49 | - | 231 |8424 | 231 |2455 | 18 | 25k|3659 | 0.000000e+00 | -- | Inf
111.36/111.47 c 111s| 37000 | 14 |735981 | 19.7 |9067k| 49 | - | 231 |8492 | 231 |2455 | 18 | 25k|3659 | 0.000000e+00 | -- | Inf
111.66/111.74 c 112s| 37100 | 12 |738103 | 19.7 |9085k| 49 | - | 231 |8569 | 231 |2455 | 18 | 26k|3659 | 0.000000e+00 | -- | Inf
111.86/111.99 c 112s| 37200 | 10 |739993 | 19.7 |9094k| 49 | - | 231 |8621 | 231 |2455 | 18 | 26k|3659 | 0.000000e+00 | -- | Inf
112.17/112.26 c 112s| 37300 | 12 |742177 | 19.8 |9110k| 49 | - | 231 |8662 | 231 |2455 | 18 | 26k|3659 | 0.000000e+00 | -- | Inf
112.46/112.54 c 113s| 37400 | 22 |744462 | 19.8 |9141k| 49 | 27 | 231 |8705 | 231 |2455 | 18 | 26k|3659 | 0.000000e+00 | -- | Inf
112.66/112.77 c 113s| 37500 | 24 |746312 | 19.8 |9161k| 49 | - | 231 |8749 | 231 |2455 | 18 | 26k|3659 | 0.000000e+00 | -- | Inf
112.96/113.02 c 113s| 37600 | 18 |748292 | 19.8 |9167k| 49 | - | 231 |8805 | 231 |2455 | 18 | 26k|3659 | 0.000000e+00 | -- | Inf
113.16/113.25 c 113s| 37700 | 13 |750109 | 19.8 |9173k| 49 | 40 | 231 |8864 | 231 |2455 | 18 | 26k|3659 | 0.000000e+00 | -- | Inf
113.46/113.58 c 114s| 37800 | 17 |752271 | 19.8 |9194k| 49 | 37 | 231 |8909 | 231 |2455 | 18 | 26k|3671 | 0.000000e+00 | -- | Inf
113.86/113.90 c 114s| 37900 | 17 |754377 | 19.8 |9207k| 49 | 42 | 231 |8962 | 231 |2455 | 18 | 26k|3684 | 0.000000e+00 | -- | Inf
114.06/114.14 c 114s| 38000 | 15 |756191 | 19.8 |9227k| 49 | - | 231 |9016 | 231 |2455 | 18 | 26k|3685 | 0.000000e+00 | -- | Inf
114.36/114.46 c 114s| 38100 | 18 |758296 | 19.8 |9249k| 49 | 41 | 231 |9084 | 231 |2455 | 18 | 26k|3698 | 0.000000e+00 | -- | Inf
114.76/114.81 c 115s| 38200 | 20 |760696 | 19.8 |9277k| 49 | - | 231 |9143 | 231 |2455 | 18 | 26k|3708 | 0.000000e+00 | -- | Inf
115.06/115.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
115.06/115.17 c 115s| 38300 | 20 |762788 | 19.8 |9290k| 49 | 43 | 231 |9195 | 231 |2455 | 18 | 26k|3728 | 0.000000e+00 | -- | Inf
115.46/115.51 c 116s| 38400 | 19 |765225 | 19.8 |9308k| 49 | - | 231 |9245 | 231 |2455 | 18 | 26k|3731 | 0.000000e+00 | -- | Inf
115.76/115.82 c 116s| 38500 | 25 |767387 | 19.8 |9340k| 49 | 28 | 231 |9308 | 231 |2455 | 18 | 26k|3741 | 0.000000e+00 | -- | Inf
116.06/116.17 c 116s| 38600 | 23 |769792 | 19.8 |9355k| 49 | 43 | 231 |9371 | 231 |2455 | 18 | 26k|3754 | 0.000000e+00 | -- | Inf
116.36/116.48 c 116s| 38700 | 23 |771957 | 19.8 |9382k| 49 | - | 231 |9432 | 231 |2455 | 18 | 27k|3763 | 0.000000e+00 | -- | Inf
116.66/116.80 c 117s| 38800 | 23 |774032 | 19.8 |9400k| 49 | 44 | 231 |9497 | 231 |2455 | 18 | 27k|3774 | 0.000000e+00 | -- | Inf
117.06/117.15 c 117s| 38900 | 25 |776386 | 19.8 |9430k| 49 | 42 | 231 |9564 | 231 |2455 | 18 | 27k|3788 | 0.000000e+00 | -- | Inf
117.46/117.55 c 118s| 39000 | 23 |779145 | 19.8 |9449k| 49 | - | 231 |9623 | 231 |2455 | 18 | 27k|3804 | 0.000000e+00 | -- | Inf
117.76/117.89 c 118s| 39100 | 26 |781540 | 19.8 |9474k| 49 | 50 | 231 |9678 | 231 |2455 | 18 | 27k|3813 | 0.000000e+00 | -- | Inf
118.16/118.22 c 118s| 39200 | 22 |784143 | 19.9 |9494k| 49 | - | 231 |9741 | 231 |2455 | 18 | 27k|3818 | 0.000000e+00 | -- | Inf
118.45/118.54 c 119s| 39300 | 22 |786551 | 19.9 |9517k| 49 | 46 | 231 |9810 | 231 |2455 | 18 | 27k|3821 | 0.000000e+00 | -- | Inf
118.86/118.94 c 119s| 39400 | 18 |789180 | 19.9 |9525k| 49 | - | 231 |9854 | 231 |2455 | 18 | 27k|3839 | 0.000000e+00 | -- | Inf
119.25/119.31 c 119s| 39500 | 20 |791708 | 19.9 |9545k| 49 | - | 231 |9886 | 231 |2455 | 18 | 27k|3855 | 0.000000e+00 | -- | Inf
119.46/119.55 c 120s| 39600 | 20 |793300 | 19.9 |9556k| 49 | - | 231 |9913 | 231 |2455 | 18 | 27k|3863 | 0.000000e+00 | -- | Inf
119.76/119.84 c 120s| 39700 | 22 |795285 | 19.9 |9566k| 49 | - | 231 |9938 | 231 |2455 | 18 | 27k|3870 | 0.000000e+00 | -- | Inf
120.05/120.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
120.05/120.11 c 120s| 39800 | 18 |797376 | 19.9 |9565k| 49 | - | 231 |9963 | 231 |2455 | 18 | 27k|3871 | 0.000000e+00 | -- | Inf
120.26/120.34 c 120s| 39900 | 21 |799017 | 19.9 |9576k| 49 | 21 | 231 |9976 | 231 |2455 | 18 | 27k|3876 | 0.000000e+00 | -- | Inf
120.46/120.58 c 121s| 40000 | 20 |800832 | 19.9 |9601k| 49 | 23 | 231 | 10k| 231 |2455 | 18 | 27k|3877 | 0.000000e+00 | -- | Inf
120.75/120.80 c 121s| 40100 | 21 |802533 | 19.9 |9625k| 49 | - | 231 | 10k| 231 |2455 | 18 | 27k|3878 | 0.000000e+00 | -- | Inf
120.97/121.07 c 121s| 40200 | 21 |804723 | 19.9 |9638k| 49 | 32 | 231 | 10k| 231 |2455 | 18 | 28k|3878 | 0.000000e+00 | -- | Inf
121.25/121.32 c 121s| 40300 | 25 |806758 | 19.9 |9667k| 49 | 37 | 231 | 10k| 231 |2455 | 18 | 28k|3879 | 0.000000e+00 | -- | Inf
121.46/121.57 c 122s| 40400 | 24 |808755 | 19.9 |9685k| 49 | 36 | 231 | 10k| 231 |2455 | 18 | 28k|3879 | 0.000000e+00 | -- | Inf
121.76/121.83 c 122s| 40500 | 21 |810825 | 19.9 |9698k| 49 | 32 | 231 | 10k| 231 |2455 | 18 | 28k|3879 | 0.000000e+00 | -- | Inf
121.96/122.07 c 122s| 40600 | 23 |812567 | 19.9 |9721k| 49 | - | 231 | 10k| 231 |2455 | 18 | 28k|3879 | 0.000000e+00 | -- | Inf
122.26/122.31 c 122s| 40700 | 27 |814497 | 19.9 |9751k| 49 | 28 | 231 | 10k| 231 |2455 | 18 | 28k|3879 | 0.000000e+00 | -- | Inf
122.46/122.56 c 123s| 40800 | 23 |816400 | 19.9 |9770k| 49 | - | 231 | 10k| 231 |2455 | 18 | 28k|3880 | 0.000000e+00 | -- | Inf
122.76/122.80 c 123s| 40900 | 21 |818187 | 19.9 |9785k| 49 | - | 231 | 10k| 231 |2455 | 18 | 28k|3882 | 0.000000e+00 | -- | Inf
122.96/123.07 c 123s| 41000 | 23 |820320 | 19.9 |9805k| 49 | 31 | 231 | 10k| 231 |2455 | 18 | 28k|3882 | 0.000000e+00 | -- | Inf
123.26/123.31 c 123s| 41100 | 23 |822111 | 19.9 |9829k| 49 | 39 | 231 | 10k| 231 |2455 | 18 | 28k|3882 | 0.000000e+00 | -- | Inf
123.45/123.55 c 124s| 41200 | 24 |823951 | 19.9 |9858k| 49 | - | 231 | 10k| 231 |2455 | 18 | 28k|3882 | 0.000000e+00 | -- | Inf
123.66/123.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
123.66/123.77 c 124s| 41300 | 23 |825523 | 19.9 |9876k| 49 | - | 231 | 10k| 231 |2455 | 18 | 28k|3882 | 0.000000e+00 | -- | Inf
123.96/124.02 c 124s| 41400 | 23 |827506 | 19.9 |9902k| 49 | - | 231 | 10k| 231 |2455 | 18 | 28k|3882 | 0.000000e+00 | -- | Inf
124.16/124.28 c 124s| 41500 | 21 |829475 | 19.9 |9920k| 49 | - | 231 | 10k| 231 |2455 | 18 | 28k|3882 | 0.000000e+00 | -- | Inf
124.46/124.52 c 125s| 41600 | 17 |831315 | 19.9 |9937k| 49 | - | 231 | 10k| 231 |2455 | 18 | 28k|3882 | 0.000000e+00 | -- | Inf
124.66/124.78 c 125s| 41700 | 13 |833233 | 19.9 |9902k| 49 | 42 | 231 | 10k| 231 |2455 | 18 | 29k|3882 | 0.000000e+00 | -- | Inf
124.96/125.01 c 125s| 41800 | 12 |834911 | 19.8 |9910k| 49 | - | 231 | 10k| 231 |2455 | 18 | 29k|3882 | 0.000000e+00 | -- | Inf
125.26/125.31 c 125s| 41900 | 10 |836889 | 19.8 |9910k| 49 | - | 231 | 10k| 0 | 0 | 18 | 29k|3891 | 0.000000e+00 | -- | Inf
125.55/125.66 c 126s| 42000 | 10 |839026 | 19.8 |9908k| 49 | - | 231 | 10k| 231 |2455 | 18 | 29k|3908 | 0.000000e+00 | -- | Inf
125.86/125.97 c 126s| 42100 | 7 |841079 | 19.8 |9879k| 49 | 39 | 231 | 10k| 231 |2455 | 18 | 29k|3919 | 0.000000e+00 | -- | Inf
126.15/126.27 c 126s| 42200 | 8 |843090 | 19.8 |9875k| 49 | 25 | 231 | 10k| 231 |2455 | 18 | 29k|3928 | 0.000000e+00 | -- | Inf
126.56/126.63 c 127s| 42300 | 6 |845481 | 19.9 |9878k| 49 | 41 | 231 | 10k| 231 |2455 | 18 | 29k|3939 | 0.000000e+00 | -- | Inf
126.86/126.95 c 127s| 42400 | 6 |847652 | 19.9 |9879k| 49 | - | 231 | 10k| 231 |2455 | 18 | 29k|3948 | 0.000000e+00 | -- | Inf
127.16/127.29 c 127s| 42500 | 4 |849872 | 19.9 |9883k| 49 | 48 | 231 | 10k| 231 |2455 | 18 | 29k|3959 | 0.000000e+00 | -- | Inf
127.47/127.60 c 128s| 42600 | 2 |851910 | 19.9 |9901k| 49 | - | 231 | 10k| 231 |2455 | 18 | 29k|3968 | 0.000000e+00 | -- | Inf
127.86/127.90 c 128s| 42700 | 3 |853994 | 19.9 |9907k| 49 | 39 | 231 | 10k| 231 |2455 | 18 | 29k|3976 | 0.000000e+00 | -- | Inf
127.96/128.03 c
127.96/128.03 c SCIP Status : problem is solved [infeasible]
127.96/128.03 c Solving Time (sec) : 128.03
127.96/128.03 c Solving Nodes : 42737
127.96/128.03 c Primal Bound : +1.00000000000000e+20 (0 solutions)
127.96/128.03 c Dual Bound : +1.00000000000000e+20
127.96/128.03 c Gap : 0.00 %
127.96/128.03 s UNSATISFIABLE
127.96/128.03 c SCIP Status : problem is solved [infeasible]
127.96/128.03 c Total Time : 128.03
127.96/128.03 c solving : 128.03
127.96/128.03 c presolving : 0.05 (included in solving)
127.96/128.03 c reading : 0.01 (included in solving)
127.96/128.03 c copying : 0.01 (1 #copies) (minimal 0.01, maximal 0.01, average 0.01)
127.96/128.03 c Original Problem :
127.96/128.03 c Problem name : HOME/instance-3692770-1338019825.opb
127.96/128.03 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
127.96/128.03 c Constraints : 2707 initial, 2707 maximal
127.96/128.03 c Objective sense : minimize
127.96/128.03 c Presolved Problem :
127.96/128.03 c Problem name : t_HOME/instance-3692770-1338019825.opb
127.96/128.03 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
127.96/128.03 c Constraints : 2443 initial, 11020 maximal
127.96/128.03 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
127.96/128.03 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
127.96/128.03 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
127.96/128.03 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
127.96/128.03 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
127.96/128.03 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
127.96/128.03 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
127.96/128.03 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
127.96/128.03 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
127.96/128.03 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
127.96/128.03 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
127.96/128.03 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
127.96/128.03 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0
127.96/128.03 c setppc : 0.00 0.00 0 0 0 0 0 121 0 0 0
127.96/128.03 c linear : 0.02 0.00 0 0 0 0 0 143 0 0 0
127.96/128.03 c logicor : 0.02 0.00 0 0 0 0 0 0 0 0 0
127.96/128.03 c root node : - - 21 - - 21 - - - - -
127.96/128.03 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
127.96/128.03 c integral : 0 0 0 0 22312 0 4 0 100 1344 0 0 42986
127.96/128.03 c knapsack : 1 1 6 169974 0 0 3 12579 269 87474 0 0 0
127.96/128.03 c setppc : 22 22 6 169820 0 0 2 444222 827 240738 0 0 0
127.96/128.03 c logicor : 2420+ 10999 6 81781 0 0 0 153773 275 272564 0 0 0
127.96/128.03 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
127.96/128.03 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
127.96/128.03 c integral : 18.21 0.00 0.00 0.00 18.21 0.00 0.00 0.00
127.96/128.03 c knapsack : 0.17 0.00 0.00 0.16 0.00 0.00 0.00 0.01
127.96/128.03 c setppc : 0.51 0.00 0.00 0.38 0.00 0.00 0.00 0.13
127.96/128.03 c logicor : 2.89 0.00 0.00 2.78 0.00 0.00 0.00 0.11
127.96/128.03 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
127.96/128.03 c Propagators : #Propagate #ResProp Cutoffs DomReds
127.96/128.03 c rootredcost : 0 0 0 0
127.96/128.03 c pseudoobj : 0 0 0 0
127.96/128.03 c vbounds : 0 0 0 0
127.96/128.03 c redcost : 22318 0 0 0
127.96/128.03 c probing : 0 0 0 0
127.96/128.03 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
127.96/128.03 c rootredcost : 0.04 0.00 0.00 0.04 0.00
127.96/128.03 c pseudoobj : 0.04 0.00 0.00 0.04 0.00
127.96/128.03 c vbounds : 0.04 0.00 0.00 0.04 0.00
127.96/128.03 c redcost : 0.09 0.00 0.00 0.09 0.00
127.96/128.03 c probing : 0.00 0.00 0.00 0.00 0.00
127.96/128.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
127.96/128.03 c propagation : 0.05 1371 1358 6376 18.4 22 15.6 -
127.96/128.03 c infeasible LP : 1.66 20206 20099 115500 29.4 91 14.7 0
127.96/128.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
127.96/128.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
127.96/128.03 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
127.96/128.03 c applied globally : - - - 29544 18.3 - - -
127.96/128.03 c applied locally : - - - 330 33.6 - - -
127.96/128.03 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
127.96/128.03 c cut pool : 0.00 5 - - 399 - (maximal pool size: 587)
127.96/128.03 c closecuts : 0.00 0.00 0 0 0 0 0
127.96/128.03 c impliedbounds : 0.00 0.00 6 0 0 0 0
127.96/128.03 c intobj : 0.00 0.00 0 0 0 0 0
127.96/128.03 c gomory : 0.19 0.00 6 0 0 200 0
127.96/128.03 c cgmip : 0.00 0.00 0 0 0 0 0
127.96/128.03 c strongcg : 0.26 0.00 6 0 0 2780 0
127.96/128.03 c cmir : 0.02 0.00 6 0 0 0 0
127.96/128.03 c flowcover : 0.03 0.00 6 0 0 0 0
127.96/128.03 c clique : 0.00 0.00 6 0 0 0 0
127.96/128.03 c zerohalf : 0.00 0.00 0 0 0 0 0
127.96/128.03 c mcf : 0.00 0.00 1 0 0 0 0
127.96/128.03 c oddcycle : 0.00 0.00 0 0 0 0 0
127.96/128.03 c rapidlearning : 0.00 0.00 0 0 0 0 0
127.96/128.03 c Pricers : ExecTime SetupTime Calls Vars
127.96/128.03 c problem variables: 0.00 - 0 0
127.96/128.03 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
127.96/128.03 c relpscost : 18.19 0.00 22312 100 1344 0 0 42986
127.96/128.03 c pscost : 0.00 0.00 0 0 0 0 0 0
127.96/128.03 c inference : 0.00 0.00 0 0 0 0 0 0
127.96/128.03 c mostinf : 0.00 0.00 0 0 0 0 0 0
127.96/128.03 c leastinf : 0.00 0.00 0 0 0 0 0 0
127.96/128.03 c fullstrong : 0.00 0.00 0 0 0 0 0 0
127.96/128.03 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
127.96/128.03 c random : 0.00 0.00 0 0 0 0 0 0
127.96/128.03 c Primal Heuristics : ExecTime SetupTime Calls Found
127.96/128.03 c LP solutions : 0.00 - - 0
127.96/128.03 c pseudo solutions : 0.00 - - 0
127.96/128.03 c oneopt : 0.02 0.00 0 0
127.96/128.03 c crossover : 0.01 0.00 0 0
127.96/128.03 c guideddiving : 0.00 0.00 0 0
127.96/128.03 c pscostdiving : 0.21 0.00 10 0
127.96/128.03 c fracdiving : 0.26 0.00 10 0
127.96/128.03 c veclendiving : 0.48 0.00 10 0
127.96/128.03 c linesearchdiving : 0.10 0.00 10 0
127.96/128.03 c feaspump : 0.68 0.00 5 0
127.96/128.03 c coefdiving : 0.24 0.00 11 0
127.96/128.03 c objpscostdiving : 0.06 0.00 6 0
127.96/128.03 c rootsoldiving : 0.09 0.00 6 0
127.96/128.03 c smallcard : 0.00 0.00 0 0
127.96/128.03 c trivial : 0.00 0.00 2 0
127.96/128.03 c shiftandpropagate: 0.01 0.00 1 0
127.96/128.03 c simplerounding : 0.01 0.00 0 0
127.96/128.03 c zirounding : 0.43 0.00 0 0
127.96/128.03 c rounding : 0.24 0.00 2106 0
127.96/128.03 c shifting : 0.20 0.00 593 0
127.96/128.03 c intshifting : 0.00 0.00 0 0
127.96/128.03 c twoopt : 0.00 0.00 0 0
127.96/128.03 c indtwoopt : 0.00 0.00 0 0
127.96/128.03 c indoneopt : 0.02 0.00 0 0
127.96/128.03 c fixandinfer : 0.00 0.00 0 0
127.96/128.03 c clique : 0.00 0.00 0 0
127.96/128.03 c indrounding : 0.00 0.00 0 0
127.96/128.03 c indcoefdiving : 0.00 0.00 0 0
127.96/128.03 c nlpdiving : 0.00 0.00 0 0
127.96/128.03 c intdiving : 0.00 0.00 0 0
127.96/128.03 c actconsdiving : 0.00 0.00 0 0
127.96/128.03 c octane : 0.00 0.00 0 0
127.96/128.03 c rens : 0.02 0.00 1 0
127.96/128.03 c rins : 0.00 0.00 0 0
127.96/128.03 c localbranching : 0.00 0.00 0 0
127.96/128.03 c mutation : 0.00 0.00 0 0
127.96/128.03 c dins : 0.00 0.00 0 0
127.96/128.03 c vbounds : 0.00 0.00 0 0
127.96/128.03 c undercover : 0.00 0.00 0 0
127.96/128.03 c subnlp : 0.01 0.00 0 0
127.96/128.03 c trysol : 0.01 0.00 0 0
127.96/128.03 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
127.96/128.03 c primal LP : 0.00 1 0 0.00 - 0.00 1
127.96/128.03 c dual LP : 90.90 42405 839001 19.85 9230.25 0.06 143
127.96/128.03 c lex dual LP : 0.00 0 0 0.00 -
127.96/128.03 c barrier LP : 0.00 0 0 0.00 - 0.00 0
127.96/128.03 c diving/probing LP: 1.83 1258 15874 12.62 8670.43
127.96/128.03 c strong branching : 17.81 3981 155529 39.07 8734.97
127.96/128.03 c (at root node) : - 33 6955 210.76 -
127.96/128.03 c conflict analysis: 0.00 0 0 0.00 -
127.96/128.03 c B&B Tree :
127.96/128.03 c number of runs : 1
127.96/128.03 c nodes : 42737
127.96/128.03 c nodes (total) : 42737
127.96/128.03 c nodes left : 0
127.96/128.03 c max depth : 49
127.96/128.03 c max depth (total): 49
127.96/128.03 c backtracks : 5448 (12.7%)
127.96/128.03 c delayed cutoffs : 250
127.96/128.03 c repropagations : 70692 (97384 domain reductions, 247 cutoffs)
127.96/128.03 c avg switch length: 4.98
127.96/128.03 c switching time : 3.11
127.96/128.03 c Solution :
127.96/128.03 c Solutions found : 0 (0 improvements)
127.96/128.03 c Primal Bound : infeasible
127.96/128.03 c Dual Bound : -
127.96/128.03 c Gap : 0.00 %
127.96/128.03 c Root Dual Bound : +0.00000000000000e+00
127.96/128.03 c Root Iterations : 5455
127.96/128.05 c Time complete: 128.01.
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-3692770-1338019825/watcher-3692770-1338019825 -o /tmp/evaluation-result-3692770-1338019825/solver-3692770-1338019825 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692770-1338019825.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.04 2.01 2.00 4/177 8143
/proc/meminfo: memFree=29007540/32873844 swapFree=7900/7900
[pid=8143] ppid=8141 vsize=10128 CPUtime=0 cores=1,3,5,7
/proc/8143/stat : 8143 (scip-2.1.1.4sfi) R 8141 8143 6871 0 -1 4202496 1281 0 0 0 0 0 0 0 20 0 1 0 268107018 10371072 1235 33554432000 4194304 10169799 140736351282064 140736849363096 4633092 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8143/statm: 2532 1241 409 1459 0 1064 0
[startup+0.047461 s]
/proc/loadavg: 2.04 2.01 2.00 4/177 8143
/proc/meminfo: memFree=29007540/32873844 swapFree=7900/7900
[pid=8143] ppid=8141 vsize=22552 CPUtime=0.04 cores=1,3,5,7
/proc/8143/stat : 8143 (scip-2.1.1.4sfi) R 8141 8143 6871 0 -1 4202496 4462 0 0 0 3 1 0 0 20 0 1 0 268107018 23093248 4159 33554432000 4194304 10169799 140736351282064 140736849363096 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8143/statm: 5638 4159 579 1459 0 4170 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 22552
[startup+0.100309 s]
/proc/loadavg: 2.04 2.01 2.00 4/177 8143
/proc/meminfo: memFree=29007540/32873844 swapFree=7900/7900
[pid=8143] ppid=8141 vsize=29492 CPUtime=0.08 cores=1,3,5,7
/proc/8143/stat : 8143 (scip-2.1.1.4sfi) R 8141 8143 6871 0 -1 4202496 6554 0 0 0 7 1 0 0 20 0 1 0 268107018 30199808 6200 33554432000 4194304 10169799 140736351282064 140736849363096 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8143/statm: 7373 6200 778 1459 0 5905 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 29492
[startup+0.300228 s]
/proc/loadavg: 2.04 2.01 2.00 4/177 8143
/proc/meminfo: memFree=29007540/32873844 swapFree=7900/7900
[pid=8143] ppid=8141 vsize=29492 CPUtime=0.28 cores=1,3,5,7
/proc/8143/stat : 8143 (scip-2.1.1.4sfi) R 8141 8143 6871 0 -1 4202496 6590 0 0 0 27 1 0 0 20 0 1 0 268107018 30199808 6235 33554432000 4194304 10169799 140736351282064 140736849363096 8797266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8143/statm: 7373 6235 778 1459 0 5905 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 29492
[startup+0.700229 s]
/proc/loadavg: 2.04 2.01 2.00 4/177 8143
/proc/meminfo: memFree=29007540/32873844 swapFree=7900/7900
[pid=8143] ppid=8141 vsize=33488 CPUtime=0.68 cores=1,3,5,7
/proc/8143/stat : 8143 (scip-2.1.1.4sfi) R 8141 8143 6871 0 -1 4202496 7481 0 0 0 66 2 0 0 20 0 1 0 268107018 34291712 7221 33554432000 4194304 10169799 140736351282064 140736351278136 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8143/statm: 8372 7221 812 1459 0 6904 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 33488
[startup+1.50022 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 8144
/proc/meminfo: memFree=28978124/32873844 swapFree=7900/7900
[pid=8143] ppid=8141 vsize=37712 CPUtime=1.49 cores=1,3,5,7
/proc/8143/stat : 8143 (scip-2.1.1.4sfi) R 8141 8143 6871 0 -1 4202496 11192 0 0 0 145 4 0 0 20 0 1 0 268107018 38617088 8385 33554432000 4194304 10169799 140736351282064 140736351278136 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8143/statm: 9428 8385 853 1459 0 7960 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 37712
[startup+3.10023 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 8144
/proc/meminfo: memFree=28976744/32873844 swapFree=7900/7900
[pid=8143] ppid=8141 vsize=37864 CPUtime=3.08 cores=1,3,5,7
/proc/8143/stat : 8143 (scip-2.1.1.4sfi) R 8141 8143 6871 0 -1 4202496 11226 0 0 0 303 5 0 0 20 0 1 0 268107018 38772736 8419 33554432000 4194304 10169799 140736351282064 140736351276712 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8143/statm: 9466 8419 854 1459 0 7998 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 37864
[startup+6.30022 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 8144
/proc/meminfo: memFree=28976744/32873844 swapFree=7900/7900
[pid=8143] ppid=8141 vsize=37864 CPUtime=6.28 cores=1,3,5,7
/proc/8143/stat : 8143 (scip-2.1.1.4sfi) R 8141 8143 6871 0 -1 4202496 11233 0 0 0 619 9 0 0 20 0 1 0 268107018 38772736 8426 33554432000 4194304 10169799 140736351282064 140736351276664 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8143/statm: 9466 8426 855 1459 0 7998 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 37864
[startup+12.7002 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 8144
/proc/meminfo: memFree=28975820/32873844 swapFree=7900/7900
[pid=8143] ppid=8141 vsize=38512 CPUtime=12.68 cores=1,3,5,7
/proc/8143/stat : 8143 (scip-2.1.1.4sfi) R 8141 8143 6871 0 -1 4202496 11380 0 0 0 1252 16 0 0 20 0 1 0 268107018 39436288 8779 33554432000 4194304 10169799 140736351282064 140736351278584 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8143/statm: 9628 8779 855 1459 0 8160 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 38512
[startup+25.5002 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 8144
/proc/meminfo: memFree=28974588/32873844 swapFree=7900/7900
[pid=8143] ppid=8141 vsize=39592 CPUtime=25.48 cores=1,3,5,7
/proc/8143/stat : 8143 (scip-2.1.1.4sfi) R 8141 8143 6871 0 -1 4202496 11675 0 0 0 2513 35 0 0 20 0 1 0 268107018 40542208 9074 33554432000 4194304 10169799 140736351282064 140736351276472 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8143/statm: 9898 9074 855 1459 0 8430 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 39592
[startup+51.1003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 8144
/proc/meminfo: memFree=28970988/32873844 swapFree=7900/7900
[pid=8143] ppid=8141 vsize=43088 CPUtime=51.07 cores=1,3,5,7
/proc/8143/stat : 8143 (scip-2.1.1.4sfi) R 8141 8143 6871 0 -1 4202496 12543 0 0 0 5031 76 0 0 20 0 1 0 268107018 44122112 9993 33554432000 4194304 10169799 140736351282064 140736351276856 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8143/statm: 10772 9993 855 1459 0 9304 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 43088
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8144
/proc/meminfo: memFree=28968132/32873844 swapFree=7900/7900
[pid=8143] ppid=8141 vsize=44376 CPUtime=102.27 cores=1,3,5,7
/proc/8143/stat : 8143 (scip-2.1.1.4sfi) R 8141 8143 6871 0 -1 4202496 12897 0 0 0 10075 152 0 0 20 0 1 0 268107018 45441024 10345 33554432000 4194304 10169799 140736351282064 140736351275832 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8143/statm: 11094 10345 855 1459 0 9626 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 44376
Solver just ended. Dumping a history of the last processes samples
[startup+115.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8144
/proc/meminfo: memFree=28967696/32873844 swapFree=7900/7900
[pid=8143] ppid=8141 vsize=44716 CPUtime=115.06 cores=1,3,5,7
/proc/8143/stat : 8143 (scip-2.1.1.4sfi) R 8141 8143 6871 0 -1 4202496 12969 0 0 0 11333 173 0 0 20 0 1 0 268107018 45789184 10417 33554432000 4194304 10169799 140736351282064 140736351277048 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8143/statm: 11179 10417 855 1459 0 9711 0
Current children cumulated CPU time (s) 115.06
Current children cumulated vsize (KiB) 44716
[startup+121.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8144
/proc/meminfo: memFree=28967572/32873844 swapFree=7900/7900
[pid=8143] ppid=8141 vsize=44848 CPUtime=121.46 cores=1,3,5,7
/proc/8143/stat : 8143 (scip-2.1.1.4sfi) R 8141 8143 6871 0 -1 4202496 12990 0 0 0 11964 182 0 0 20 0 1 0 268107018 45924352 10438 33554432000 4194304 10169799 140736351282064 140736351275832 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8143/statm: 11212 10438 855 1459 0 9744 0
Current children cumulated CPU time (s) 121.46
Current children cumulated vsize (KiB) 44848
[startup+124.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8144
/proc/meminfo: memFree=28967324/32873844 swapFree=7900/7900
[pid=8143] ppid=8141 vsize=44992 CPUtime=124.66 cores=1,3,5,7
/proc/8143/stat : 8143 (scip-2.1.1.4sfi) R 8141 8143 6871 0 -1 4202496 13017 0 0 0 12279 187 0 0 20 0 1 0 268107018 46071808 10465 33554432000 4194304 10169799 140736351282064 140736351276856 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8143/statm: 11248 10465 855 1459 0 9780 0
Current children cumulated CPU time (s) 124.66
Current children cumulated vsize (KiB) 44992
[startup+126.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8144
/proc/meminfo: memFree=28967324/32873844 swapFree=7900/7900
[pid=8143] ppid=8141 vsize=44992 CPUtime=126.26 cores=1,3,5,7
/proc/8143/stat : 8143 (scip-2.1.1.4sfi) R 8141 8143 6871 0 -1 4202496 13030 0 0 0 12436 190 0 0 20 0 1 0 268107018 46071808 10478 33554432000 4194304 10169799 140736351282064 140736351276472 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8143/statm: 11248 10478 855 1459 0 9780 0
Current children cumulated CPU time (s) 126.26
Current children cumulated vsize (KiB) 44992
[startup+127.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8144
/proc/meminfo: memFree=28967324/32873844 swapFree=7900/7900
[pid=8143] ppid=8141 vsize=44992 CPUtime=127.06 cores=1,3,5,7
/proc/8143/stat : 8143 (scip-2.1.1.4sfi) R 8141 8143 6871 0 -1 4202496 13031 0 0 0 12515 191 0 0 20 0 1 0 268107018 46071808 10479 33554432000 4194304 10169799 140736351282064 140736351279704 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8143/statm: 11248 10479 855 1459 0 9780 0
Current children cumulated CPU time (s) 127.06
Current children cumulated vsize (KiB) 44992
[startup+127.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8144
/proc/meminfo: memFree=28967324/32873844 swapFree=7900/7900
[pid=8143] ppid=8141 vsize=44992 CPUtime=127.47 cores=1,3,5,7
/proc/8143/stat : 8143 (scip-2.1.1.4sfi) R 8141 8143 6871 0 -1 4202496 13031 0 0 0 12555 192 0 0 20 0 1 0 268107018 46071808 10479 33554432000 4194304 10169799 140736351282064 140736351276856 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8143/statm: 11248 10479 855 1459 0 9780 0
Current children cumulated CPU time (s) 127.47
Current children cumulated vsize (KiB) 44992
[startup+127.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8144
/proc/meminfo: memFree=28967324/32873844 swapFree=7900/7900
[pid=8143] ppid=8141 vsize=44992 CPUtime=127.86 cores=1,3,5,7
/proc/8143/stat : 8143 (scip-2.1.1.4sfi) R 8141 8143 6871 0 -1 4202496 13031 0 0 0 12594 192 0 0 20 0 1 0 268107018 46071808 10479 33554432000 4194304 10169799 140736351282064 140736351276856 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8143/statm: 11248 10479 855 1459 0 9780 0
Current children cumulated CPU time (s) 127.86
Current children cumulated vsize (KiB) 44992
[startup+128 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8144
/proc/meminfo: memFree=28967324/32873844 swapFree=7900/7900
[pid=8143] ppid=8141 vsize=44992 CPUtime=127.96 cores=1,3,5,7
/proc/8143/stat : 8143 (scip-2.1.1.4sfi) R 8141 8143 6871 0 -1 4202496 13031 0 0 0 12604 192 0 0 20 0 1 0 268107018 46071808 10479 33554432000 4194304 10169799 140736351282064 140736351276856 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8143/statm: 11248 10479 855 1459 0 9780 0
Current children cumulated CPU time (s) 127.96
Current children cumulated vsize (KiB) 44992
Child status: 0
Real time (s): 128.055
CPU time (s): 128.022
CPU user time (s): 126.097
CPU system time (s): 1.92471
CPU usage (%): 99.974
Max. virtual memory (cumulated for all children) (KiB): 44992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 126.097
system time used= 1.92471
maximum resident set size= 43676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13036
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= 17
involuntary context switches= 131
runsolver used 0.197969 second user time and 0.52592 second system time
The end
Begin job on node137 at 2012-05-26 10:10:25
IDJOB=3692770
IDBENCH=1351
IDSOLVER=2272
FILE ID=node137/3692770-1338019825
RUNJOBID= node137-1338017245-7421
PBS_JOBID= 14624260
Free space on /tmp= 71268 MiB
SOLVER NAME= SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900670167.opb
COMMAND LINE= HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3692770-1338019825/watcher-3692770-1338019825 -o /tmp/evaluation-result-3692770-1338019825/solver-3692770-1338019825 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692770-1338019825.opb -t 1800 -m 15500
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 3972d8c24730f4742ee881de3ad25c62
RANDOM SEED=1697630694
node137.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.600
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.20
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.600
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.91
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.600
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.92
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.600
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.91
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.600
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.91
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.600
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.90
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.600
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.91
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.600
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.91
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32873844 kB
MemFree: 29008292 kB
Buffers: 246252 kB
Cached: 2761492 kB
SwapCached: 22060 kB
Active: 986700 kB
Inactive: 2092480 kB
Active(anon): 50768 kB
Inactive(anon): 22680 kB
Active(file): 935932 kB
Inactive(file): 2069800 kB
Unevictable: 7900 kB
Mlocked: 7900 kB
SwapTotal: 67108856 kB
SwapFree: 67081504 kB
Dirty: 13680 kB
Writeback: 0 kB
AnonPages: 97644 kB
Mapped: 12972 kB
Shmem: 0 kB
Slab: 645064 kB
SReclaimable: 86772 kB
SUnreclaim: 558292 kB
KernelStack: 1480 kB
PageTables: 3824 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83545776 kB
Committed_AS: 174104 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 346368 kB
VmallocChunk: 34341987984 kB
HardwareCorrupted: 0 kB
AnonHugePages: 77824 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 7872 kB
DirectMap2M: 33538048 kB
Free space on /tmp at the end= 71256 MiB
End job on node137 at 2012-05-26 10:12:33