0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3692616-1338036021.opb>
0.00/0.02 c original problem has 6460 variables (200 bin, 0 int, 6260 impl, 0 cont) and 6660 constraints
0.00/0.02 c problem read in 0.02
0.02/0.05 o 200
0.02/0.05 c feasible solution found by trivial heuristic, objective value 2.000000e+02
0.02/0.05 c presolving:
0.09/0.12 c (round 1) 0 del vars, 6660 del conss, 200 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12520 impls, 0 clqs
0.09/0.13 c (round 2) 6260 del vars, 6660 del conss, 200 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 12520 impls, 0 clqs
0.09/0.13 c (0.1s) probing: 51/200 (25.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.13 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.09/0.14 c presolving (3 rounds):
0.09/0.14 c 6260 deleted vars, 6660 deleted constraints, 200 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.14 c 12520 implications, 0 cliques
0.09/0.14 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 200 constraints
0.09/0.14 c 200 constraints of type <logicor>
0.09/0.14 c transformed objective value is always integral (scale: 1)
0.09/0.14 c Presolving Time: 0.10
0.09/0.14 c - non default parameters ----------------------------------------------------------------------
0.09/0.14 c # SCIP version 2.1.1.4
0.09/0.14 c
0.09/0.14 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14 c conflict/interconss = 0
0.09/0.14 c
0.09/0.14 c # should binary conflicts be preferred?
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c conflict/preferbinary = TRUE
0.09/0.14 c
0.09/0.14 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.14 c constraints/agelimit = 1
0.09/0.14 c
0.09/0.14 c # should enforcement of pseudo solution be disabled?
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/disableenfops = TRUE
0.09/0.14 c
0.09/0.14 c # maximal time in seconds to run
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/time = 1797
0.09/0.14 c
0.09/0.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/memory = 13950
0.09/0.14 c
0.09/0.14 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.14 c # [type: int, range: [1,2], default: 1]
0.09/0.14 c timing/clocktype = 2
0.09/0.14 c
0.09/0.14 c # belongs reading time to solving time?
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c timing/reading = TRUE
0.09/0.14 c
0.09/0.14 c -----------------------------------------------------------------------------------------------
0.09/0.14 c start solving
0.09/0.14 c
0.19/0.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.24 c t 0.2s| 1 | 0 | 1484 | - | 15M| 0 | 104 | 200 | 200 | 200 | 200 | 0 | 0 | 0 | 6.179069e+00 | 2.000000e+02 |3136.73%
0.19/0.24 o 104
0.19/0.24 c r 0.2s| 1 | 0 | 1484 | - | 15M| 0 | 104 | 200 | 200 | 200 | 200 | 0 | 0 | 0 | 6.179069e+00 | 1.040000e+02 |1583.10%
0.19/0.24 o 103
0.19/0.24 c R 0.2s| 1 | 0 | 1484 | - | 15M| 0 | 104 | 200 | 200 | 200 | 200 | 0 | 0 | 0 | 6.179069e+00 | 1.030000e+02 |1566.92%
0.19/0.24 o 102
0.19/0.24 c s 0.2s| 1 | 0 | 1484 | - | 15M| 0 | 104 | 200 | 200 | 200 | 200 | 0 | 0 | 0 | 6.179069e+00 | 1.020000e+02 |1550.73%
0.19/0.27 c 0.3s| 1 | 0 | 1571 | - | 15M| 0 | 98 | 200 | 200 | 200 | 201 | 1 | 0 | 0 | 6.198185e+00 | 1.020000e+02 |1545.64%
0.29/0.39 o 20
0.29/0.39 c b 0.3s| 1 | 0 | 1571 | - | 15M| 0 | 98 | 200 | 200 | 200 | 201 | 1 | 0 | 0 | 6.198185e+00 | 2.000000e+01 | 222.68%
0.29/0.39 o 19
0.29/0.39 c R 0.3s| 1 | 0 | 1571 | - | 15M| 0 | 98 | 200 | 200 | 200 | 201 | 1 | 0 | 0 | 6.198185e+00 | 1.900000e+01 | 206.54%
0.29/0.39 o 18
0.29/0.39 c s 0.3s| 1 | 0 | 1571 | - | 15M| 0 | 98 | 200 | 200 | 200 | 201 | 1 | 0 | 0 | 6.198185e+00 | 1.800000e+01 | 190.41%
5.19/5.22 o 11
5.19/5.22 c E 5.2s| 1 | 0 | 1571 | - | 15M| 0 | 98 | 200 | 200 | 200 | 201 | 1 | 0 | 0 | 6.198185e+00 | 1.100000e+01 | 77.47%
5.19/5.22 c 5.2s| 1 | 0 | 1571 | - | 15M| 0 | 98 | 200 | 200 | 200 | 201 | 1 | 0 | 0 | 6.198185e+00 | 1.100000e+01 | 77.47%
5.99/6.07 c 6.1s| 1 | 2 | 1571 | - | 15M| 0 | 98 | 200 | 200 | 200 | 201 | 1 | 0 | 17 | 6.198185e+00 | 1.100000e+01 | 77.47%
7.29/7.36 o 10
7.29/7.36 c * 7.4s| 8 | 5 | 3124 | 221.9 | 15M| 7 | - | 200 | 200 | 200 | 201 | 1 | 0 | 145 | 6.254883e+00 | 1.000000e+01 | 59.88%
14.50/14.53 c 14.5s| 100 | 35 | 17121 | 157.1 | 15M| 18 | 110 | 200 | 200 | 200 | 201 | 1 | 0 | 582 | 6.329852e+00 | 1.000000e+01 | 57.98%
15.89/15.90 c 15.9s| 200 | 83 | 29158 | 138.6 | 15M| 31 | 70 | 200 | 200 | 200 | 201 | 1 | 0 | 601 | 6.469306e+00 | 1.000000e+01 | 54.58%
17.08/17.17 c 17.2s| 300 | 137 | 40153 | 129.0 | 15M| 34 | 92 | 200 | 200 | 200 | 201 | 1 | 0 | 625 | 6.493280e+00 | 1.000000e+01 | 54.01%
18.48/18.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.48/18.54 c 18.5s| 400 | 193 | 55339 | 134.8 | 15M| 44 | 75 | 200 | 200 | 200 | 201 | 1 | 0 | 649 | 6.522011e+00 | 1.000000e+01 | 53.33%
19.69/19.72 c 19.7s| 500 | 245 | 66023 | 129.2 | 15M| 53 | 58 | 200 | 200 | 200 | 201 | 1 | 0 | 672 | 6.550323e+00 | 1.000000e+01 | 52.66%
20.89/20.92 c 20.9s| 600 | 323 | 76720 | 125.5 | 15M| 53 | 66 | 200 | 200 | 200 | 201 | 1 | 0 | 704 | 6.550323e+00 | 1.000000e+01 | 52.66%
23.39/23.47 c 23.5s| 700 | 413 |105793 | 149.1 | 15M| 53 | 74 | 200 | 200 | 200 | 201 | 1 | 0 | 739 | 6.588540e+00 | 1.000000e+01 | 51.78%
25.59/25.67 c 25.7s| 800 | 511 |129195 | 159.7 | 15M| 53 | 94 | 200 | 200 | 200 | 201 | 1 | 0 | 771 | 6.671723e+00 | 1.000000e+01 | 49.89%
26.98/27.09 c 27.1s| 900 | 581 |147566 | 162.4 | 15M| 58 | 83 | 200 | 200 | 200 | 201 | 1 | 0 | 781 | 6.671723e+00 | 1.000000e+01 | 49.89%
28.09/28.13 c 28.1s| 1000 | 655 |161200 | 159.8 | 15M| 58 | 91 | 200 | 200 | 200 | 201 | 1 | 0 | 783 | 6.772902e+00 | 1.000000e+01 | 47.65%
29.58/29.60 c 29.6s| 1100 | 733 |180903 | 163.2 | 15M| 61 | 76 | 200 | 200 | 200 | 201 | 1 | 0 | 789 | 6.772902e+00 | 1.000000e+01 | 47.65%
30.69/30.79 c 30.8s| 1200 | 795 |196173 | 162.3 | 15M| 61 | 75 | 200 | 200 | 200 | 201 | 1 | 0 | 791 | 6.833522e+00 | 1.000000e+01 | 46.34%
32.09/32.16 c 32.2s| 1300 | 857 |210154 | 160.6 | 15M| 63 | 78 | 200 | 200 | 200 | 201 | 1 | 0 | 829 | 6.860196e+00 | 1.000000e+01 | 45.77%
33.69/33.76 c 33.8s| 1400 | 923 |226283 | 160.6 | 15M| 63 | - | 200 | 200 | 200 | 201 | 1 | 0 | 865 | 6.982974e+00 | 1.000000e+01 | 43.21%
35.28/35.36 c 35.4s| 1500 | 987 |245798 | 162.9 | 16M| 64 | - | 200 | 200 | 200 | 201 | 1 | 0 | 900 | 7.039486e+00 | 1.000000e+01 | 42.06%
36.58/36.67 c 36.7s| 1600 | 1057 |261959 | 162.8 | 16M| 67 | 75 | 200 | 200 | 200 | 201 | 1 | 0 | 926 | 7.074562e+00 | 1.000000e+01 | 41.35%
37.97/38.07 c 38.1s| 1700 | 1131 |280166 | 164.0 | 16M| 67 | 74 | 200 | 200 | 200 | 201 | 1 | 0 | 930 | 7.088580e+00 | 1.000000e+01 | 41.07%
38.87/38.95 c 38.9s| 1800 | 1185 |291485 | 161.2 | 16M| 67 | 79 | 200 | 200 | 200 | 201 | 1 | 0 | 932 | 7.099853e+00 | 1.000000e+01 | 40.85%
40.08/40.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
40.08/40.13 c 40.1s| 1900 | 1239 |307132 | 160.9 | 16M| 67 | - | 200 | 200 | 200 | 201 | 1 | 0 | 932 | 7.110578e+00 | 1.000000e+01 | 40.64%
41.17/41.29 c 41.3s| 2000 | 1303 |321867 | 160.2 | 16M| 67 | 83 | 200 | 200 | 200 | 201 | 1 | 0 | 933 | 7.110578e+00 | 1.000000e+01 | 40.64%
42.48/42.58 c 42.6s| 2100 | 1369 |335076 | 158.9 | 16M| 67 | 76 | 200 | 200 | 200 | 201 | 1 | 0 | 965 | 7.124910e+00 | 1.000000e+01 | 40.35%
43.98/44.01 c 44.0s| 2200 | 1437 |349577 | 158.3 | 16M| 67 | 78 | 200 | 200 | 200 | 201 | 1 | 0 |1001 | 7.130504e+00 | 1.000000e+01 | 40.24%
44.98/45.05 c 45.1s| 2300 | 1491 |361690 | 156.6 | 16M| 67 | 75 | 200 | 200 | 200 | 201 | 1 | 0 |1026 | 7.130504e+00 | 1.000000e+01 | 40.24%
46.18/46.21 c 46.2s| 2400 | 1563 |373339 | 155.0 | 16M| 67 | 74 | 200 | 200 | 200 | 201 | 1 | 0 |1063 | 7.138116e+00 | 1.000000e+01 | 40.09%
46.98/47.03 c 47.0s| 2500 | 1611 |381472 | 152.0 | 16M| 72 | - | 200 | 200 | 200 | 201 | 1 | 0 |1100 | 7.138116e+00 | 1.000000e+01 | 40.09%
47.88/47.91 c 47.9s| 2600 | 1675 |390249 | 149.5 | 16M| 72 | 75 | 200 | 200 | 200 | 201 | 1 | 0 |1128 | 7.138116e+00 | 1.000000e+01 | 40.09%
48.68/48.77 c 48.8s| 2700 | 1735 |401531 | 148.2 | 16M| 72 | 83 | 200 | 200 | 200 | 201 | 1 | 0 |1135 | 7.138544e+00 | 1.000000e+01 | 40.08%
49.27/49.37 c 49.4s| 2800 | 1797 |409964 | 145.9 | 16M| 72 | 45 | 200 | 200 | 200 | 201 | 1 | 0 |1139 | 7.138544e+00 | 1.000000e+01 | 40.08%
50.18/50.20 c 50.2s| 2900 | 1849 |424723 | 146.0 | 16M| 72 | 78 | 200 | 200 | 200 | 201 | 1 | 0 |1140 | 7.144236e+00 | 1.000000e+01 | 39.97%
50.97/51.08 c 51.1s| 3000 | 1905 |436450 | 145.0 | 16M| 73 | 85 | 200 | 200 | 200 | 201 | 1 | 0 |1142 | 7.144236e+00 | 1.000000e+01 | 39.97%
51.78/51.84 c 51.8s| 3100 | 1975 |447122 | 143.8 | 16M| 73 | 71 | 200 | 200 | 200 | 201 | 1 | 0 |1143 | 7.175515e+00 | 1.000000e+01 | 39.36%
52.48/52.52 c 52.5s| 3200 | 2025 |457464 | 142.5 | 16M| 73 | 81 | 200 | 200 | 200 | 201 | 1 | 0 |1143 | 7.182038e+00 | 1.000000e+01 | 39.24%
53.37/53.47 c 53.5s| 3300 | 2077 |469521 | 141.8 | 16M| 73 | 75 | 200 | 200 | 200 | 201 | 1 | 0 |1161 | 7.211007e+00 | 1.000000e+01 | 38.68%
54.58/54.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
54.58/54.64 c 54.6s| 3400 | 2127 |483115 | 141.7 | 17M| 73 | - | 200 | 200 | 200 | 201 | 1 | 0 |1196 | 7.211007e+00 | 1.000000e+01 | 38.68%
55.47/55.52 c 55.5s| 3500 | 2181 |492492 | 140.3 | 17M| 73 | 66 | 200 | 200 | 200 | 201 | 1 | 0 |1219 | 7.211007e+00 | 1.000000e+01 | 38.68%
56.38/56.49 c 56.5s| 3600 | 2241 |503508 | 139.5 | 17M| 73 | 75 | 200 | 200 | 200 | 201 | 1 | 0 |1241 | 7.212819e+00 | 1.000000e+01 | 38.64%
57.38/57.43 c 57.4s| 3700 | 2291 |512746 | 138.2 | 17M| 73 | 77 | 200 | 200 | 200 | 201 | 1 | 0 |1279 | 7.217025e+00 | 1.000000e+01 | 38.56%
58.17/58.29 c 58.3s| 3800 | 2343 |521896 | 137.0 | 17M| 73 | 75 | 200 | 200 | 200 | 201 | 1 | 0 |1313 | 7.236829e+00 | 1.000000e+01 | 38.18%
58.97/59.08 c 59.1s| 3900 | 2401 |531500 | 135.9 | 17M| 76 | 75 | 200 | 200 | 200 | 201 | 1 | 0 |1329 | 7.239693e+00 | 1.000000e+01 | 38.13%
59.77/59.85 c 59.9s| 4000 | 2459 |540261 | 134.7 | 17M| 76 | 79 | 200 | 200 | 200 | 201 | 1 | 0 |1348 | 7.239693e+00 | 1.000000e+01 | 38.13%
60.47/60.59 c 60.6s| 4100 | 2503 |548240 | 133.4 | 17M| 76 | 80 | 200 | 200 | 200 | 201 | 1 | 0 |1372 | 7.239693e+00 | 1.000000e+01 | 38.13%
61.17/61.25 c 61.2s| 4200 | 2555 |557708 | 132.4 | 17M| 76 | - | 200 | 200 | 200 | 201 | 1 | 0 |1374 | 7.239693e+00 | 1.000000e+01 | 38.13%
61.78/61.84 c 61.8s| 4300 | 2605 |566021 | 131.3 | 17M| 76 | 74 | 200 | 200 | 200 | 201 | 1 | 0 |1378 | 7.239693e+00 | 1.000000e+01 | 38.13%
62.28/62.39 c 62.4s| 4400 | 2667 |573875 | 130.1 | 17M| 76 | 88 | 200 | 200 | 200 | 201 | 1 | 0 |1379 | 7.239693e+00 | 1.000000e+01 | 38.13%
62.97/63.02 c 63.0s| 4500 | 2723 |583188 | 129.3 | 17M| 76 | 61 | 200 | 200 | 200 | 201 | 1 | 0 |1381 | 7.249416e+00 | 1.000000e+01 | 37.94%
63.57/63.60 c 63.6s| 4600 | 2767 |591373 | 128.2 | 17M| 76 | - | 200 | 200 | 200 | 201 | 1 | 0 |1381 | 7.249416e+00 | 1.000000e+01 | 37.94%
64.27/64.33 c 64.3s| 4700 | 2819 |602786 | 127.9 | 17M| 76 | 66 | 200 | 200 | 200 | 201 | 1 | 0 |1382 | 7.250390e+00 | 1.000000e+01 | 37.92%
64.77/64.88 c 64.9s| 4800 | 2873 |610586 | 126.9 | 17M| 76 | 77 | 200 | 200 | 200 | 201 | 1 | 0 |1382 | 7.250390e+00 | 1.000000e+01 | 37.92%
65.58/65.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
65.58/65.66 c 65.7s| 4900 | 2915 |623752 | 127.0 | 17M| 76 | 53 | 200 | 200 | 200 | 201 | 1 | 0 |1387 | 7.261947e+00 | 1.000000e+01 | 37.70%
66.37/66.41 c 66.4s| 5000 | 2955 |631687 | 126.0 | 18M| 76 | - | 200 | 200 | 200 | 201 | 1 | 0 |1416 | 7.266018e+00 | 1.000000e+01 | 37.63%
67.18/67.26 c 67.3s| 5100 | 3001 |643755 | 125.9 | 18M| 76 | 65 | 200 | 200 | 200 | 201 | 1 | 0 |1436 | 7.275758e+00 | 1.000000e+01 | 37.44%
68.17/68.20 c 68.2s| 5200 | 3051 |654667 | 125.6 | 18M| 76 | 69 | 200 | 200 | 200 | 201 | 1 | 0 |1468 | 7.275758e+00 | 1.000000e+01 | 37.44%
68.77/68.88 c 68.9s| 5300 | 3103 |662868 | 124.8 | 18M| 76 | 73 | 200 | 200 | 200 | 201 | 1 | 0 |1489 | 7.276681e+00 | 1.000000e+01 | 37.43%
69.67/69.79 c 69.8s| 5400 | 3145 |672478 | 124.3 | 18M| 76 | 64 | 200 | 200 | 200 | 201 | 1 | 0 |1521 | 7.276681e+00 | 1.000000e+01 | 37.43%
70.68/70.74 c 70.7s| 5500 | 3209 |684034 | 124.1 | 18M| 76 | 80 | 200 | 200 | 200 | 201 | 1 | 0 |1547 | 7.280693e+00 | 1.000000e+01 | 37.35%
71.38/71.43 c 71.4s| 5600 | 3259 |692415 | 123.4 | 18M| 76 | 70 | 200 | 200 | 200 | 201 | 1 | 0 |1567 | 7.288817e+00 | 1.000000e+01 | 37.20%
72.17/72.24 c 72.2s| 5700 | 3317 |700741 | 122.7 | 18M| 76 | - | 200 | 200 | 200 | 201 | 1 | 0 |1598 | 7.298649e+00 | 1.000000e+01 | 37.01%
72.87/72.92 c 72.9s| 5800 | 3365 |708738 | 121.9 | 18M| 76 | 78 | 200 | 200 | 200 | 201 | 1 | 0 |1621 | 7.304426e+00 | 1.000000e+01 | 36.90%
73.47/73.56 c 73.6s| 5900 | 3409 |716295 | 121.2 | 18M| 76 | 64 | 200 | 200 | 200 | 201 | 1 | 0 |1642 | 7.304426e+00 | 1.000000e+01 | 36.90%
74.08/74.19 c 74.2s| 6000 | 3457 |724850 | 120.6 | 18M| 76 | 77 | 200 | 200 | 200 | 201 | 1 | 0 |1647 | 7.304658e+00 | 1.000000e+01 | 36.90%
74.77/74.83 c 74.8s| 6100 | 3485 |736389 | 120.5 | 18M| 76 | 64 | 200 | 200 | 200 | 201 | 1 | 0 |1647 | 7.304658e+00 | 1.000000e+01 | 36.90%
75.37/75.47 c 75.5s| 6200 | 3529 |745737 | 120.0 | 18M| 76 | - | 200 | 200 | 200 | 201 | 1 | 0 |1648 | 7.319839e+00 | 1.000000e+01 | 36.62%
76.08/76.11 c 76.1s| 6300 | 3577 |754865 | 119.6 | 18M| 76 | 69 | 200 | 200 | 200 | 201 | 1 | 0 |1650 | 7.326361e+00 | 1.000000e+01 | 36.49%
76.87/76.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
76.87/76.92 c 76.9s| 6400 | 3625 |768747 | 119.9 | 18M| 76 | 61 | 200 | 200 | 200 | 201 | 1 | 0 |1652 | 7.326361e+00 | 1.000000e+01 | 36.49%
77.47/77.59 c 77.6s| 6500 | 3679 |778910 | 119.6 | 18M| 76 | 75 | 200 | 200 | 200 | 201 | 1 | 0 |1653 | 7.326361e+00 | 1.000000e+01 | 36.49%
78.07/78.19 c 78.2s| 6600 | 3721 |787923 | 119.2 | 19M| 76 | 67 | 200 | 200 | 200 | 201 | 1 | 0 |1653 | 7.326361e+00 | 1.000000e+01 | 36.49%
78.77/78.86 c 78.9s| 6700 | 3777 |797832 | 118.9 | 19M| 76 | 82 | 200 | 200 | 200 | 201 | 1 | 0 |1653 | 7.353464e+00 | 1.000000e+01 | 35.99%
79.38/79.49 c 79.5s| 6800 | 3827 |805802 | 118.3 | 19M| 76 | - | 200 | 200 | 200 | 201 | 1 | 0 |1673 | 7.353464e+00 | 1.000000e+01 | 35.99%
80.17/80.23 c 80.2s| 6900 | 3863 |813444 | 117.7 | 19M| 76 | - | 200 | 200 | 200 | 201 | 1 | 0 |1707 | 7.360212e+00 | 1.000000e+01 | 35.87%
80.97/81.04 c 81.0s| 7000 | 3903 |825447 | 117.7 | 19M| 76 | - | 200 | 200 | 200 | 201 | 1 | 0 |1716 | 7.360983e+00 | 1.000000e+01 | 35.85%
81.67/81.77 c 81.8s| 7100 | 3945 |833087 | 117.1 | 19M| 76 | 73 | 200 | 200 | 200 | 201 | 1 | 0 |1740 | 7.361592e+00 | 1.000000e+01 | 35.84%
82.37/82.44 c 82.4s| 7200 | 3991 |841380 | 116.7 | 19M| 76 | 61 | 200 | 200 | 200 | 201 | 1 | 0 |1756 | 7.365883e+00 | 1.000000e+01 | 35.76%
83.17/83.28 c 83.3s| 7300 | 4041 |851085 | 116.4 | 19M| 76 | - | 200 | 200 | 200 | 201 | 1 | 0 |1778 | 7.385205e+00 | 1.000000e+01 | 35.41%
83.87/83.92 c 83.9s| 7400 | 4089 |858197 | 115.8 | 19M| 76 | 69 | 200 | 200 | 200 | 201 | 1 | 0 |1798 | 7.385205e+00 | 1.000000e+01 | 35.41%
84.67/84.75 c 84.8s| 7500 | 4127 |866719 | 115.4 | 19M| 76 | 71 | 200 | 200 | 200 | 201 | 1 | 0 |1834 | 7.385809e+00 | 1.000000e+01 | 35.39%
85.27/85.36 c 85.4s| 7600 | 4173 |874269 | 114.8 | 19M| 76 | - | 200 | 200 | 200 | 201 | 1 | 0 |1846 | 7.386009e+00 | 1.000000e+01 | 35.39%
86.08/86.17 c 86.2s| 7700 | 4207 |883223 | 114.5 | 19M| 76 | 66 | 200 | 200 | 200 | 201 | 1 | 0 |1886 | 7.391682e+00 | 1.000000e+01 | 35.29%
86.77/86.80 c 86.8s| 7800 | 4253 |890652 | 114.0 | 19M| 76 | - | 200 | 200 | 200 | 201 | 1 | 0 |1898 | 7.391837e+00 | 1.000000e+01 | 35.28%
87.27/87.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
87.27/87.36 c 87.4s| 7900 | 4299 |898996 | 113.6 | 19M| 76 | - | 200 | 200 | 200 | 201 | 1 | 0 |1902 | 7.391837e+00 | 1.000000e+01 | 35.28%
87.77/87.86 c 87.9s| 8000 | 4351 |906042 | 113.1 | 19M| 76 | 62 | 200 | 200 | 200 | 201 | 1 | 0 |1905 | 7.394408e+00 | 1.000000e+01 | 35.24%
88.27/88.38 c 88.4s| 8100 | 4401 |914018 | 112.7 | 19M| 76 | 65 | 200 | 200 | 200 | 201 | 1 | 0 |1906 | 7.394408e+00 | 1.000000e+01 | 35.24%
88.87/88.95 c 88.9s| 8200 | 4431 |921781 | 112.2 | 20M| 76 | 67 | 200 | 200 | 200 | 201 | 1 | 0 |1909 | 7.406945e+00 | 1.000000e+01 | 35.01%
89.47/89.55 c 89.5s| 8300 | 4475 |930733 | 112.0 | 20M| 76 | 75 | 200 | 200 | 200 | 201 | 1 | 0 |1909 | 7.414055e+00 | 1.000000e+01 | 34.88%
90.07/90.12 c 90.1s| 8400 | 4525 |938731 | 111.6 | 20M| 76 | 64 | 200 | 200 | 200 | 201 | 1 | 0 |1909 | 7.414055e+00 | 1.000000e+01 | 34.88%
90.67/90.72 c 90.7s| 8500 | 4567 |947365 | 111.3 | 20M| 76 | - | 200 | 200 | 200 | 201 | 1 | 0 |1909 | 7.414055e+00 | 1.000000e+01 | 34.88%
91.37/91.41 c 91.4s| 8600 | 4631 |957638 | 111.2 | 20M| 76 | 79 | 200 | 200 | 200 | 201 | 1 | 0 |1909 | 7.423646e+00 | 1.000000e+01 | 34.70%
91.97/92.06 c 92.1s| 8700 | 4665 |969126 | 111.2 | 20M| 76 | 60 | 200 | 200 | 200 | 201 | 1 | 0 |1909 | 7.425358e+00 | 1.000000e+01 | 34.67%
92.57/92.65 c 92.6s| 8800 | 4695 |977439 | 110.9 | 20M| 76 | - | 200 | 200 | 200 | 201 | 1 | 0 |1918 | 7.427121e+00 | 1.000000e+01 | 34.64%
93.56/93.68 c 93.7s| 8900 | 4729 |989488 | 111.0 | 20M| 76 | 55 | 200 | 200 | 200 | 201 | 1 | 0 |1946 | 7.448500e+00 | 1.000000e+01 | 34.26%
94.26/94.31 c 94.3s| 9000 | 4783 |999038 | 110.8 | 20M| 76 | - | 200 | 200 | 200 | 201 | 1 | 0 |1946 | 7.449626e+00 | 1.000000e+01 | 34.23%
95.07/95.17 c 95.2s| 9100 | 4829 | 1010k| 110.9 | 20M| 76 | - | 200 | 200 | 200 | 201 | 1 | 0 |1972 | 7.449626e+00 | 1.000000e+01 | 34.23%
95.87/95.99 c 96.0s| 9200 | 4863 | 1020k| 110.7 | 20M| 76 | - | 200 | 200 | 200 | 201 | 1 | 0 |1997 | 7.455824e+00 | 1.000000e+01 | 34.12%
97.37/97.40 c 97.4s| 9300 | 4907 | 1037k| 111.4 | 20M| 76 | 80 | 200 | 200 | 200 | 201 | 1 | 0 |2029 | 7.455824e+00 | 1.000000e+01 | 34.12%
97.87/97.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
97.87/97.95 c 97.9s| 9400 | 4949 | 1045k| 111.1 | 20M| 76 | 73 | 200 | 200 | 200 | 201 | 1 | 0 |2029 | 7.455824e+00 | 1.000000e+01 | 34.12%
98.66/98.78 c 98.8s| 9500 | 4987 | 1055k| 110.9 | 20M| 76 | 79 | 200 | 200 | 200 | 201 | 1 | 0 |2046 | 7.455824e+00 | 1.000000e+01 | 34.12%
99.57/99.62 c 99.6s| 9600 | 5017 | 1064k| 110.7 | 20M| 76 | - | 200 | 200 | 200 | 201 | 1 | 0 |2074 | 7.466152e+00 | 1.000000e+01 | 33.94%
100.17/100.25 c 100s| 9700 | 5049 | 1072k| 110.4 | 20M| 76 | - | 200 | 200 | 200 | 201 | 1 | 0 |2086 | 7.468476e+00 | 1.000000e+01 | 33.90%
100.87/100.91 c 101s| 9800 | 5107 | 1080k| 110.1 | 20M| 76 | 45 | 200 | 200 | 200 | 201 | 1 | 0 |2093 | 7.473896e+00 | 1.000000e+01 | 33.80%
101.47/101.51 c 102s| 9900 | 5139 | 1088k| 109.8 | 20M| 76 | - | 200 | 200 | 200 | 201 | 1 | 0 |2099 | 7.478710e+00 | 1.000000e+01 | 33.71%
102.06/102.13 c 102s| 10000 | 5171 | 1097k| 109.6 | 21M| 76 | 82 | 200 | 200 | 200 | 201 | 1 | 0 |2100 | 7.482711e+00 | 1.000000e+01 | 33.64%
102.87/102.96 c 103s| 10100 | 5227 | 1109k| 109.7 | 21M| 76 | 63 | 200 | 200 | 200 | 201 | 1 | 0 |2100 | 7.485691e+00 | 1.000000e+01 | 33.59%
103.47/103.51 c 104s| 10200 | 5263 | 1117k| 109.4 | 21M| 76 | 76 | 200 | 200 | 200 | 201 | 1 | 0 |2100 | 7.487721e+00 | 1.000000e+01 | 33.55%
103.97/104.07 c 104s| 10300 | 5301 | 1126k| 109.2 | 21M| 76 | 75 | 200 | 200 | 200 | 201 | 1 | 0 |2100 | 7.492669e+00 | 1.000000e+01 | 33.46%
104.57/104.66 c 105s| 10400 | 5347 | 1135k| 109.0 | 21M| 76 | 66 | 200 | 200 | 200 | 201 | 1 | 0 |2100 | 7.503940e+00 | 1.000000e+01 | 33.26%
105.17/105.26 c 105s| 10500 | 5381 | 1143k| 108.8 | 21M| 76 | - | 200 | 200 | 200 | 201 | 1 | 0 |2100 | 7.513918e+00 | 1.000000e+01 | 33.09%
105.67/105.75 c 106s| 10600 | 5407 | 1151k| 108.5 | 21M| 76 | 57 | 200 | 200 | 200 | 201 | 1 | 0 |2100 | 7.514306e+00 | 1.000000e+01 | 33.08%
106.27/106.38 c 106s| 10700 | 5447 | 1160k| 108.3 | 21M| 76 | 80 | 200 | 200 | 200 | 201 | 1 | 0 |2100 | 7.514306e+00 | 1.000000e+01 | 33.08%
107.07/107.18 c 107s| 10800 | 5481 | 1175k| 108.7 | 21M| 76 | 65 | 200 | 200 | 200 | 201 | 1 | 0 |2100 | 7.516100e+00 | 1.000000e+01 | 33.05%
107.77/107.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
107.77/107.82 c 108s| 10900 | 5501 | 1184k| 108.5 | 21M| 76 | - | 200 | 200 | 200 | 201 | 1 | 0 |2100 | 7.516750e+00 | 1.000000e+01 | 33.04%
108.36/108.42 c 108s| 11000 | 5527 | 1193k| 108.3 | 21M| 76 | 66 | 200 | 200 | 200 | 201 | 1 | 0 |2100 | 7.525822e+00 | 1.000000e+01 | 32.88%
108.96/109.01 c 109s| 11100 | 5559 | 1201k| 108.1 | 21M| 76 | 75 | 200 | 200 | 200 | 201 | 1 | 0 |2100 | 7.530983e+00 | 1.000000e+01 | 32.78%
109.47/109.58 c 110s| 11200 | 5583 | 1210k| 108.0 | 21M| 76 | 59 | 200 | 200 | 200 | 201 | 1 | 0 |2100 | 7.531940e+00 | 1.000000e+01 | 32.77%
110.06/110.12 c 110s| 11300 | 5621 | 1218k| 107.7 | 21M| 76 | 61 | 200 | 200 | 200 | 201 | 1 | 0 |2100 | 7.532749e+00 | 1.000000e+01 | 32.75%
110.77/110.88 c 111s| 11400 | 5637 | 1231k| 107.9 | 21M| 76 | - | 200 | 200 | 200 | 201 | 1 | 0 |2100 | 7.547938e+00 | 1.000000e+01 | 32.49%
111.47/111.57 c 112s| 11500 | 5663 | 1240k| 107.8 | 21M| 76 | 67 | 200 | 200 | 200 | 201 | 1 | 0 |2100 | 7.554489e+00 | 1.000000e+01 | 32.37%
112.16/112.23 c 112s| 11600 | 5701 | 1250k| 107.7 | 21M| 76 | - | 200 | 200 | 200 | 201 | 1 | 0 |2100 | 7.563316e+00 | 1.000000e+01 | 32.22%
112.66/112.79 c 113s| 11700 | 5731 | 1258k| 107.5 | 21M| 76 | 77 | 200 | 200 | 200 | 201 | 1 | 0 |2100 | 7.569738e+00 | 1.000000e+01 | 32.10%
113.27/113.34 c 113s| 11800 | 5761 | 1267k| 107.3 | 21M| 76 | 73 | 200 | 200 | 200 | 201 | 1 | 0 |2100 | 7.579540e+00 | 1.000000e+01 | 31.93%
113.86/113.95 c 114s| 11900 | 5799 | 1275k| 107.1 | 21M| 76 | 81 | 200 | 200 | 200 | 201 | 1 | 0 |2100 | 7.581752e+00 | 1.000000e+01 | 31.90%
114.46/114.59 c 115s| 12000 | 5825 | 1284k| 106.9 | 21M| 76 | 69 | 200 | 200 | 200 | 201 | 1 | 0 |2100 | 7.586152e+00 | 1.000000e+01 | 31.82%
115.06/115.19 c 115s| 12100 | 5849 | 1293k| 106.8 | 22M| 76 | - | 200 | 200 | 200 | 201 | 1 | 0 |2100 | 7.591425e+00 | 1.000000e+01 | 31.73%
115.77/115.83 c 116s| 12200 | 5885 | 1302k| 106.7 | 22M| 76 | 63 | 200 | 200 | 200 | 201 | 1 | 0 |2100 | 7.591954e+00 | 1.000000e+01 | 31.72%
116.27/116.33 c 116s| 12300 | 5921 | 1310k| 106.4 | 22M| 76 | 81 | 200 | 200 | 200 | 201 | 1 | 0 |2100 | 7.599332e+00 | 1.000000e+01 | 31.59%
116.87/116.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
116.87/116.93 c 117s| 12400 | 5951 | 1318k| 106.2 | 22M| 76 | 80 | 200 | 200 | 200 | 201 | 1 | 0 |2100 | 7.603736e+00 | 1.000000e+01 | 31.51%
117.37/117.46 c 117s| 12500 | 5981 | 1326k| 106.0 | 22M| 76 | 68 | 200 | 200 | 200 | 201 | 1 | 0 |2100 | 7.603736e+00 | 1.000000e+01 | 31.51%
117.97/118.07 c 118s| 12600 | 6009 | 1335k| 105.8 | 22M| 76 | - | 200 | 200 | 200 | 201 | 1 | 0 |2100 | 7.612892e+00 | 1.000000e+01 | 31.36%
118.57/118.62 c 119s| 12700 | 6037 | 1343k| 105.7 | 22M| 76 | 65 | 200 | 200 | 200 | 201 | 1 | 0 |2100 | 7.616820e+00 | 1.000000e+01 | 31.29%
119.36/119.41 c 119s| 12800 | 6069 | 1357k| 106.0 | 22M| 76 | 69 | 200 | 200 | 200 | 201 | 1 | 0 |2100 | 7.621593e+00 | 1.000000e+01 | 31.21%
120.17/120.29 c 120s| 12900 | 6107 | 1370k| 106.1 | 22M| 76 | 61 | 200 | 200 | 200 | 201 | 1 | 0 |2100 | 7.633036e+00 | 1.000000e+01 | 31.01%
120.76/120.87 c 121s| 13000 | 6129 | 1378k| 105.9 | 22M| 76 | - | 200 | 200 | 200 | 201 | 1 | 0 |2100 | 7.634201e+00 | 1.000000e+01 | 30.99%
121.36/121.43 c 121s| 13100 | 6153 | 1386k| 105.7 | 22M| 76 | 81 | 200 | 200 | 200 | 201 | 1 | 0 |2100 | 7.644759e+00 | 1.000000e+01 | 30.81%
122.16/122.22 c 122s| 13200 | 6181 | 1397k| 105.7 | 22M| 76 | 81 | 200 | 200 | 200 | 201 | 1 | 0 |2100 | 7.649970e+00 | 1.000000e+01 | 30.72%
122.86/122.94 c 123s| 13300 | 6213 | 1407k| 105.7 | 22M| 76 | 71 | 200 | 200 | 200 | 201 | 1 | 0 |2100 | 7.654892e+00 | 1.000000e+01 | 30.64%
123.56/123.60 c 124s| 13400 | 6235 | 1417k| 105.7 | 22M| 76 | 61 | 200 | 200 | 200 | 201 | 1 | 0 |2100 | 7.665210e+00 | 1.000000e+01 | 30.46%
124.16/124.28 c 124s| 13500 | 6271 | 1425k| 105.5 | 22M| 76 | 61 | 200 | 200 | 200 | 201 | 1 | 0 |2112 | 7.667730e+00 | 1.000000e+01 | 30.42%
124.96/125.08 c 125s| 13600 | 6295 | 1433k| 105.3 | 22M| 76 | 65 | 200 | 200 | 200 | 201 | 1 | 0 |2131 | 7.669946e+00 | 1.000000e+01 | 30.38%
125.67/125.71 c 126s| 13700 | 6333 | 1442k| 105.2 | 22M| 76 | - | 200 | 200 | 200 | 201 | 1 | 0 |2131 | 7.671988e+00 | 1.000000e+01 | 30.34%
126.46/126.55 c 127s| 13800 | 6371 | 1451k| 105.1 | 22M| 76 | 64 | 200 | 200 | 200 | 201 | 1 | 0 |2152 | 7.675737e+00 | 1.000000e+01 | 30.28%
127.06/127.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
127.06/127.18 c 127s| 13900 | 6401 | 1459k| 104.9 | 22M| 76 | 72 | 200 | 200 | 200 | 201 | 1 | 0 |2162 | 7.677904e+00 | 1.000000e+01 | 30.24%
127.87/127.98 c 128s| 14000 | 6425 | 1469k| 104.9 | 22M| 76 | - | 200 | 200 | 200 | 201 | 1 | 0 |2182 | 7.679740e+00 | 1.000000e+01 | 30.21%
128.66/128.74 c 129s| 14100 | 6445 | 1478k| 104.7 | 22M| 76 | 78 | 200 | 200 | 200 | 201 | 1 | 0 |2213 | 7.694239e+00 | 1.000000e+01 | 29.97%
129.36/129.45 c 129s| 14200 | 6479 | 1487k| 104.6 | 22M| 76 | 80 | 200 | 200 | 200 | 201 | 1 | 0 |2227 | 7.694239e+00 | 1.000000e+01 | 29.97%
130.27/130.38 c 130s| 14300 | 6507 | 1498k| 104.7 | 22M| 76 | 66 | 200 | 200 | 200 | 201 | 1 | 0 |2247 | 7.694239e+00 | 1.000000e+01 | 29.97%
130.97/131.06 c 131s| 14400 | 6529 | 1507k| 104.6 | 22M| 76 | 74 | 200 | 200 | 200 | 201 | 1 | 0 |2263 | 7.696755e+00 | 1.000000e+01 | 29.92%
131.66/131.76 c 132s| 14500 | 6557 | 1517k| 104.5 | 23M| 76 | 76 | 200 | 200 | 200 | 201 | 1 | 0 |2266 | 7.698373e+00 | 1.000000e+01 | 29.90%
132.47/132.58 c 133s| 14600 | 6589 | 1530k| 104.7 | 23M| 76 | - | 200 | 200 | 200 | 201 | 1 | 0 |2269 | 7.700451e+00 | 1.000000e+01 | 29.86%
133.27/133.36 c 133s| 14700 | 6623 | 1541k| 104.7 | 23M| 76 | 70 | 200 | 200 | 200 | 201 | 1 | 0 |2270 | 7.706098e+00 | 1.000000e+01 | 29.77%
133.87/133.97 c 134s| 14800 | 6645 | 1550k| 104.6 | 23M| 76 | 85 | 200 | 200 | 200 | 201 | 1 | 0 |2271 | 7.711466e+00 | 1.000000e+01 | 29.68%
134.47/134.58 c 135s| 14900 | 6671 | 1559k| 104.6 | 23M| 76 | 78 | 200 | 200 | 200 | 201 | 1 | 0 |2271 | 7.718286e+00 | 1.000000e+01 | 29.56%
135.16/135.21 c 135s| 15000 | 6687 | 1568k| 104.5 | 23M| 76 | - | 200 | 200 | 200 | 201 | 1 | 0 |2271 | 7.727621e+00 | 1.000000e+01 | 29.41%
135.66/135.77 c 136s| 15100 | 6723 | 1576k| 104.3 | 23M| 76 | 69 | 200 | 200 | 200 | 201 | 1 | 0 |2271 | 7.732746e+00 | 1.000000e+01 | 29.32%
136.27/136.39 c 136s| 15200 | 6757 | 1585k| 104.2 | 23M| 83 | 80 | 200 | 200 | 200 | 201 | 1 | 0 |2271 | 7.736980e+00 | 1.000000e+01 | 29.25%
136.76/136.89 c 137s| 15300 | 6789 | 1592k| 104.0 | 23M| 83 | 74 | 200 | 200 | 200 | 201 | 1 | 0 |2271 | 7.736980e+00 | 1.000000e+01 | 29.25%
137.36/137.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
137.36/137.48 c 137s| 15400 | 6813 | 1602k| 103.9 | 23M| 83 | 79 | 200 | 200 | 200 | 201 | 1 | 0 |2271 | 7.744015e+00 | 1.000000e+01 | 29.13%
137.96/138.07 c 138s| 15500 | 6849 | 1610k| 103.8 | 23M| 83 | 73 | 200 | 200 | 200 | 201 | 1 | 0 |2271 | 7.744015e+00 | 1.000000e+01 | 29.13%
138.96/139.03 c 139s| 15600 | 6885 | 1620k| 103.8 | 23M| 83 | 60 | 200 | 200 | 200 | 201 | 1 | 0 |2293 | 7.744015e+00 | 1.000000e+01 | 29.13%
139.56/139.69 c 140s| 15700 | 6913 | 1628k| 103.7 | 23M| 83 | - | 200 | 200 | 200 | 201 | 1 | 0 |2302 | 7.748824e+00 | 1.000000e+01 | 29.05%
140.46/140.51 c 141s| 15800 | 6941 | 1638k| 103.6 | 23M| 83 | - | 200 | 200 | 200 | 201 | 1 | 0 |2312 | 7.752643e+00 | 1.000000e+01 | 28.99%
141.16/141.24 c 141s| 15900 | 6971 | 1646k| 103.5 | 23M| 83 | - | 200 | 200 | 200 | 201 | 1 | 0 |2334 | 7.754951e+00 | 1.000000e+01 | 28.95%
141.96/142.06 c 142s| 16000 | 7005 | 1656k| 103.4 | 23M| 83 | - | 200 | 200 | 200 | 201 | 1 | 0 |2350 | 7.754951e+00 | 1.000000e+01 | 28.95%
143.16/143.21 c 143s| 16100 | 7037 | 1673k| 103.8 | 23M| 83 | - | 200 | 200 | 200 | 201 | 1 | 0 |2362 | 7.758574e+00 | 1.000000e+01 | 28.89%
143.86/143.92 c 144s| 16200 | 7081 | 1681k| 103.7 | 23M| 83 | 73 | 200 | 200 | 200 | 201 | 1 | 0 |2374 | 7.758574e+00 | 1.000000e+01 | 28.89%
144.66/144.78 c 145s| 16300 | 7123 | 1691k| 103.7 | 23M| 83 | 70 | 200 | 200 | 200 | 201 | 1 | 0 |2389 | 7.759464e+00 | 1.000000e+01 | 28.87%
145.46/145.57 c 146s| 16400 | 7159 | 1700k| 103.6 | 23M| 83 | 75 | 200 | 200 | 200 | 201 | 1 | 0 |2412 | 7.765215e+00 | 1.000000e+01 | 28.78%
146.26/146.30 c 146s| 16500 | 7185 | 1709k| 103.5 | 23M| 83 | 84 | 200 | 200 | 200 | 201 | 1 | 0 |2431 | 7.770541e+00 | 1.000000e+01 | 28.69%
146.96/147.08 c 147s| 16600 | 7221 | 1719k| 103.5 | 23M| 83 | - | 200 | 200 | 200 | 201 | 1 | 0 |2447 | 7.771173e+00 | 1.000000e+01 | 28.68%
147.66/147.75 c 148s| 16700 | 7257 | 1727k| 103.4 | 23M| 83 | 80 | 200 | 200 | 200 | 201 | 1 | 0 |2459 | 7.771173e+00 | 1.000000e+01 | 28.68%
148.26/148.32 c 148s| 16800 | 7287 | 1736k| 103.2 | 23M| 83 | - | 200 | 200 | 200 | 201 | 1 | 0 |2461 | 7.771173e+00 | 1.000000e+01 | 28.68%
148.86/148.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
148.86/148.92 c 149s| 16900 | 7317 | 1744k| 103.1 | 23M| 83 | 67 | 200 | 200 | 200 | 201 | 1 | 0 |2462 | 7.771173e+00 | 1.000000e+01 | 28.68%
149.46/149.51 c 150s| 17000 | 7353 | 1752k| 103.0 | 23M| 83 | 65 | 200 | 200 | 200 | 201 | 1 | 0 |2462 | 7.771218e+00 | 1.000000e+01 | 28.68%
149.96/150.04 c 150s| 17100 | 7373 | 1760k| 102.9 | 23M| 83 | 69 | 200 | 200 | 200 | 201 | 1 | 0 |2463 | 7.771218e+00 | 1.000000e+01 | 28.68%
150.76/150.81 c 151s| 17200 | 7413 | 1771k| 102.9 | 23M| 83 | 71 | 200 | 200 | 200 | 201 | 1 | 0 |2464 | 7.773997e+00 | 1.000000e+01 | 28.63%
151.36/151.40 c 151s| 17300 | 7439 | 1780k| 102.8 | 23M| 83 | 75 | 200 | 200 | 200 | 201 | 1 | 0 |2466 | 7.774138e+00 | 1.000000e+01 | 28.63%
151.86/151.96 c 152s| 17400 | 7469 | 1788k| 102.7 | 24M| 83 | - | 200 | 200 | 200 | 201 | 1 | 0 |2468 | 7.774640e+00 | 1.000000e+01 | 28.62%
152.56/152.67 c 153s| 17500 | 7503 | 1797k| 102.6 | 24M| 83 | 73 | 200 | 200 | 200 | 201 | 1 | 0 |2469 | 7.775645e+00 | 1.000000e+01 | 28.61%
153.26/153.38 c 153s| 17600 | 7527 | 1808k| 102.7 | 24M| 83 | - | 200 | 200 | 200 | 201 | 1 | 0 |2471 | 7.780355e+00 | 1.000000e+01 | 28.53%
153.96/154.00 c 154s| 17700 | 7563 | 1817k| 102.6 | 24M| 83 | 80 | 200 | 200 | 200 | 201 | 1 | 0 |2471 | 7.780793e+00 | 1.000000e+01 | 28.52%
154.65/154.71 c 155s| 17800 | 7591 | 1827k| 102.6 | 24M| 83 | 78 | 200 | 200 | 200 | 201 | 1 | 0 |2471 | 7.784064e+00 | 1.000000e+01 | 28.47%
155.36/155.44 c 155s| 17900 | 7617 | 1837k| 102.6 | 24M| 83 | 67 | 200 | 200 | 200 | 201 | 1 | 0 |2471 | 7.784807e+00 | 1.000000e+01 | 28.46%
156.16/156.27 c 156s| 18000 | 7651 | 1847k| 102.6 | 24M| 83 | 68 | 200 | 200 | 200 | 201 | 1 | 0 |2483 | 7.785529e+00 | 1.000000e+01 | 28.44%
157.36/157.40 c 157s| 18100 | 7673 | 1864k| 102.9 | 24M| 83 | 70 | 200 | 200 | 200 | 201 | 1 | 0 |2504 | 7.786167e+00 | 1.000000e+01 | 28.43%
158.06/158.18 c 158s| 18200 | 7699 | 1876k| 103.0 | 24M| 83 | 76 | 200 | 200 | 200 | 201 | 1 | 0 |2504 | 7.791259e+00 | 1.000000e+01 | 28.35%
158.86/158.93 c 159s| 18300 | 7727 | 1885k| 102.9 | 24M| 83 | - | 200 | 200 | 200 | 201 | 1 | 0 |2521 | 7.791259e+00 | 1.000000e+01 | 28.35%
159.66/159.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
159.66/159.72 c 160s| 18400 | 7763 | 1894k| 102.9 | 24M| 83 | 73 | 200 | 200 | 200 | 201 | 1 | 0 |2538 | 7.797814e+00 | 1.000000e+01 | 28.24%
160.55/160.61 c 161s| 18500 | 7807 | 1905k| 102.9 | 24M| 83 | 72 | 200 | 200 | 200 | 201 | 1 | 0 |2553 | 7.799612e+00 | 1.000000e+01 | 28.21%
161.15/161.24 c 161s| 18600 | 7833 | 1913k| 102.8 | 24M| 83 | - | 200 | 200 | 200 | 201 | 1 | 0 |2564 | 7.802485e+00 | 1.000000e+01 | 28.16%
161.86/161.96 c 162s| 18700 | 7863 | 1921k| 102.7 | 24M| 83 | 67 | 200 | 200 | 200 | 201 | 1 | 0 |2588 | 7.805631e+00 | 1.000000e+01 | 28.11%
162.56/162.67 c 163s| 18800 | 7893 | 1930k| 102.6 | 24M| 83 | - | 200 | 200 | 200 | 201 | 1 | 0 |2608 | 7.805631e+00 | 1.000000e+01 | 28.11%
163.46/163.52 c 164s| 18900 | 7929 | 1943k| 102.7 | 24M| 83 | 76 | 200 | 200 | 200 | 201 | 1 | 0 |2625 | 7.807148e+00 | 1.000000e+01 | 28.09%
164.26/164.30 c 164s| 19000 | 7959 | 1952k| 102.7 | 24M| 83 | - | 200 | 200 | 200 | 201 | 1 | 0 |2640 | 7.809046e+00 | 1.000000e+01 | 28.06%
164.86/164.94 c 165s| 19100 | 7991 | 1961k| 102.6 | 24M| 83 | 66 | 200 | 200 | 200 | 201 | 1 | 0 |2656 | 7.811011e+00 | 1.000000e+01 | 28.02%
165.66/165.71 c 166s| 19200 | 8025 | 1971k| 102.6 | 24M| 83 | - | 200 | 200 | 200 | 201 | 1 | 0 |2668 | 7.812562e+00 | 1.000000e+01 | 28.00%
166.26/166.37 c 166s| 19300 | 8053 | 1980k| 102.5 | 24M| 83 | - | 200 | 200 | 200 | 201 | 1 | 0 |2672 | 7.814389e+00 | 1.000000e+01 | 27.97%
166.86/166.97 c 167s| 19400 | 8077 | 1988k| 102.4 | 24M| 83 | 72 | 200 | 200 | 200 | 201 | 1 | 0 |2678 | 7.815542e+00 | 1.000000e+01 | 27.95%
167.56/167.67 c 168s| 19500 | 8107 | 1998k| 102.4 | 24M| 83 | - | 200 | 200 | 200 | 201 | 1 | 0 |2679 | 7.820331e+00 | 1.000000e+01 | 27.87%
168.15/168.24 c 168s| 19600 | 8135 | 2006k| 102.3 | 24M| 83 | 68 | 200 | 200 | 200 | 201 | 1 | 0 |2681 | 7.820880e+00 | 1.000000e+01 | 27.86%
168.86/168.95 c 169s| 19700 | 8167 | 2016k| 102.3 | 24M| 83 | 85 | 200 | 200 | 200 | 201 | 1 | 0 |2681 | 7.820880e+00 | 1.000000e+01 | 27.86%
169.36/169.46 c 169s| 19800 | 8193 | 2023k| 102.1 | 24M| 83 | - | 200 | 200 | 200 | 201 | 1 | 0 |2681 | 7.822480e+00 | 1.000000e+01 | 27.84%
170.06/170.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
170.06/170.11 c 170s| 19900 | 8223 | 2033k| 102.1 | 24M| 83 | 67 | 200 | 200 | 200 | 201 | 1 | 0 |2681 | 7.822705e+00 | 1.000000e+01 | 27.83%
170.66/170.73 c 171s| 20000 | 8253 | 2043k| 102.1 | 24M| 83 | 65 | 200 | 200 | 200 | 201 | 1 | 0 |2681 | 7.823261e+00 | 1.000000e+01 | 27.82%
171.26/171.36 c 171s| 20100 | 8285 | 2051k| 102.0 | 24M| 83 | 76 | 200 | 200 | 200 | 201 | 1 | 0 |2681 | 7.823261e+00 | 1.000000e+01 | 27.82%
171.86/171.96 c 172s| 20200 | 8309 | 2060k| 101.9 | 24M| 83 | 76 | 200 | 200 | 200 | 201 | 1 | 0 |2681 | 7.824573e+00 | 1.000000e+01 | 27.80%
172.46/172.56 c 173s| 20300 | 8339 | 2069k| 101.9 | 25M| 83 | 73 | 200 | 200 | 200 | 201 | 1 | 0 |2681 | 7.825005e+00 | 1.000000e+01 | 27.80%
173.06/173.14 c 173s| 20400 | 8375 | 2077k| 101.8 | 25M| 83 | - | 200 | 200 | 200 | 201 | 1 | 0 |2681 | 7.829032e+00 | 1.000000e+01 | 27.73%
173.66/173.77 c 174s| 20500 | 8407 | 2086k| 101.7 | 25M| 83 | 57 | 200 | 200 | 200 | 201 | 1 | 0 |2681 | 7.829455e+00 | 1.000000e+01 | 27.72%
174.46/174.55 c 175s| 20600 | 8439 | 2096k| 101.7 | 25M| 83 | - | 200 | 200 | 200 | 201 | 1 | 0 |2691 | 7.830776e+00 | 1.000000e+01 | 27.70%
175.06/175.17 c 175s| 20700 | 8469 | 2103k| 101.5 | 25M| 83 | 73 | 200 | 200 | 200 | 201 | 1 | 0 |2701 | 7.830997e+00 | 1.000000e+01 | 27.70%
175.86/175.90 c 176s| 20800 | 8499 | 2111k| 101.4 | 25M| 83 | 79 | 200 | 200 | 200 | 201 | 1 | 0 |2716 | 7.830997e+00 | 1.000000e+01 | 27.70%
176.46/176.52 c 177s| 20900 | 8537 | 2118k| 101.3 | 25M| 83 | 61 | 200 | 200 | 200 | 201 | 1 | 0 |2731 | 7.830997e+00 | 1.000000e+01 | 27.70%
177.06/177.13 c 177s| 21000 | 8555 | 2127k| 101.2 | 25M| 83 | 76 | 200 | 200 | 200 | 201 | 1 | 0 |2736 | 7.832913e+00 | 1.000000e+01 | 27.67%
177.96/178.04 c 178s| 21100 | 8587 | 2140k| 101.4 | 25M| 83 | 80 | 200 | 200 | 200 | 201 | 1 | 0 |2752 | 7.834882e+00 | 1.000000e+01 | 27.63%
178.65/178.74 c 179s| 21200 | 8619 | 2148k| 101.3 | 25M| 83 | - | 200 | 200 | 200 | 201 | 1 | 0 |2768 | 7.834882e+00 | 1.000000e+01 | 27.63%
179.05/179.18 c 179s| 21300 | 8647 | 2154k| 101.1 | 25M| 83 | - | 200 | 200 | 200 | 201 | 1 | 0 |2773 | 7.834882e+00 | 1.000000e+01 | 27.63%
179.75/179.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
179.85/179.90 c 180s| 21400 | 8673 | 2163k| 101.0 | 25M| 83 | 77 | 200 | 200 | 200 | 201 | 1 | 0 |2788 | 7.835855e+00 | 1.000000e+01 | 27.62%
180.35/180.45 c 180s| 21500 | 8705 | 2170k| 100.9 | 25M| 83 | - | 200 | 200 | 200 | 201 | 1 | 0 |2798 | 7.835929e+00 | 1.000000e+01 | 27.62%
181.26/181.37 c 181s| 21600 | 8733 | 2184k| 101.1 | 25M| 83 | 70 | 200 | 200 | 200 | 201 | 1 | 0 |2812 | 7.835929e+00 | 1.000000e+01 | 27.62%
182.16/182.23 c 182s| 21700 | 8763 | 2194k| 101.1 | 25M| 83 | - | 200 | 200 | 200 | 201 | 1 | 0 |2835 | 7.838740e+00 | 1.000000e+01 | 27.57%
182.86/182.99 c 183s| 21800 | 8805 | 2204k| 101.0 | 25M| 83 | 62 | 200 | 200 | 200 | 201 | 1 | 0 |2850 | 7.840139e+00 | 1.000000e+01 | 27.55%
183.55/183.61 c 184s| 21900 | 8825 | 2212k| 100.9 | 25M| 83 | - | 200 | 200 | 200 | 201 | 1 | 0 |2864 | 7.842844e+00 | 1.000000e+01 | 27.50%
184.26/184.30 c 184s| 22000 | 8849 | 2220k| 100.8 | 25M| 83 | 72 | 200 | 200 | 200 | 201 | 1 | 0 |2881 | 7.842844e+00 | 1.000000e+01 | 27.50%
184.85/184.93 c 185s| 22100 | 8879 | 2227k| 100.7 | 25M| 83 | - | 200 | 200 | 200 | 201 | 1 | 0 |2899 | 7.842844e+00 | 1.000000e+01 | 27.50%
185.55/185.66 c 186s| 22200 | 8905 | 2236k| 100.7 | 25M| 83 | 63 | 200 | 200 | 200 | 201 | 1 | 0 |2914 | 7.842873e+00 | 1.000000e+01 | 27.50%
186.45/186.53 c 187s| 22300 | 8933 | 2248k| 100.8 | 25M| 83 | 83 | 200 | 200 | 200 | 201 | 1 | 0 |2929 | 7.842873e+00 | 1.000000e+01 | 27.50%
187.16/187.28 c 187s| 22400 | 8953 | 2259k| 100.8 | 25M| 83 | 69 | 200 | 200 | 200 | 201 | 1 | 0 |2935 | 7.849161e+00 | 1.000000e+01 | 27.40%
187.85/187.91 c 188s| 22500 | 8969 | 2267k| 100.7 | 25M| 83 | - | 200 | 200 | 200 | 201 | 1 | 0 |2935 | 7.851188e+00 | 1.000000e+01 | 27.37%
188.35/188.48 c 188s| 22600 | 8993 | 2275k| 100.6 | 25M| 83 | - | 200 | 200 | 200 | 201 | 1 | 0 |2936 | 7.851188e+00 | 1.000000e+01 | 27.37%
188.85/188.98 c 189s| 22700 | 9011 | 2283k| 100.5 | 25M| 83 | 67 | 200 | 200 | 200 | 201 | 1 | 0 |2937 | 7.854942e+00 | 1.000000e+01 | 27.31%
189.55/189.68 c 190s| 22800 | 9037 | 2293k| 100.5 | 25M| 83 | - | 200 | 200 | 200 | 201 | 1 | 0 |2938 | 7.855524e+00 | 1.000000e+01 | 27.30%
190.05/190.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
190.05/190.15 c 190s| 22900 | 9057 | 2300k| 100.4 | 25M| 83 | - | 200 | 200 | 200 | 201 | 1 | 0 |2938 | 7.855524e+00 | 1.000000e+01 | 27.30%
190.56/190.68 c 191s| 23000 | 9079 | 2308k| 100.3 | 25M| 83 | - | 200 | 200 | 200 | 201 | 1 | 0 |2938 | 7.857060e+00 | 1.000000e+01 | 27.27%
191.06/191.17 c 191s| 23100 | 9095 | 2315k| 100.2 | 25M| 83 | 75 | 200 | 200 | 200 | 201 | 1 | 0 |2939 | 7.857060e+00 | 1.000000e+01 | 27.27%
191.56/191.65 c 192s| 23200 | 9111 | 2322k| 100.0 | 26M| 83 | - | 200 | 200 | 200 | 201 | 1 | 0 |2939 | 7.859402e+00 | 1.000000e+01 | 27.24%
192.05/192.14 c 192s| 23300 | 9131 | 2329k| 99.9 | 26M| 83 | 60 | 200 | 200 | 200 | 201 | 1 | 0 |2939 | 7.861224e+00 | 1.000000e+01 | 27.21%
192.66/192.71 c 193s| 23400 | 9149 | 2337k| 99.8 | 26M| 83 | 70 | 200 | 200 | 200 | 201 | 1 | 0 |2939 | 7.862133e+00 | 1.000000e+01 | 27.19%
193.06/193.15 c 193s| 23500 | 9169 | 2344k| 99.7 | 26M| 83 | - | 200 | 200 | 200 | 201 | 1 | 0 |2939 | 7.862452e+00 | 1.000000e+01 | 27.19%
193.56/193.66 c 194s| 23600 | 9197 | 2351k| 99.6 | 26M| 83 | 59 | 200 | 200 | 200 | 201 | 1 | 0 |2939 | 7.862452e+00 | 1.000000e+01 | 27.19%
194.15/194.27 c 194s| 23700 | 9221 | 2360k| 99.5 | 26M| 83 | 71 | 200 | 200 | 200 | 201 | 1 | 0 |2939 | 7.863112e+00 | 1.000000e+01 | 27.18%
194.55/194.67 c 195s| 23800 | 9245 | 2366k| 99.4 | 26M| 83 | 73 | 200 | 200 | 200 | 201 | 1 | 0 |2939 | 7.863112e+00 | 1.000000e+01 | 27.18%
195.06/195.17 c 195s| 23900 | 9265 | 2373k| 99.3 | 26M| 83 | 81 | 200 | 200 | 200 | 201 | 1 | 0 |2939 | 7.863112e+00 | 1.000000e+01 | 27.18%
195.55/195.67 c 196s| 24000 | 9281 | 2380k| 99.1 | 26M| 83 | 67 | 200 | 200 | 200 | 201 | 1 | 0 |2949 | 7.866112e+00 | 1.000000e+01 | 27.13%
196.35/196.40 c 196s| 24100 | 9299 | 2392k| 99.2 | 26M| 83 | 64 | 200 | 200 | 200 | 201 | 1 | 0 |2961 | 7.866112e+00 | 1.000000e+01 | 27.13%
196.96/197.03 c 197s| 24200 | 9311 | 2400k| 99.1 | 26M| 83 | 62 | 200 | 200 | 200 | 201 | 1 | 0 |2973 | 7.875226e+00 | 1.000000e+01 | 26.98%
197.55/197.68 c 198s| 24300 | 9325 | 2407k| 99.0 | 26M| 83 | 74 | 200 | 200 | 200 | 201 | 1 | 0 |2987 | 7.875226e+00 | 1.000000e+01 | 26.98%
198.05/198.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
198.05/198.17 c 198s| 24400 | 9337 | 2413k| 98.9 | 26M| 83 | - | 200 | 200 | 200 | 201 | 1 | 0 |2995 | 7.875297e+00 | 1.000000e+01 | 26.98%
198.65/198.75 c 199s| 24500 | 9351 | 2420k| 98.7 | 26M| 83 | 71 | 200 | 200 | 200 | 201 | 1 | 0 |3009 | 7.876302e+00 | 1.000000e+01 | 26.96%
199.16/199.20 c 199s| 24600 | 9367 | 2427k| 98.6 | 26M| 83 | 71 | 200 | 200 | 200 | 201 | 1 | 0 |3009 | 7.876302e+00 | 1.000000e+01 | 26.96%
199.65/199.72 c 200s| 24700 | 9381 | 2434k| 98.5 | 26M| 83 | - | 200 | 200 | 200 | 201 | 1 | 0 |3021 | 7.877095e+00 | 1.000000e+01 | 26.95%
200.36/200.43 c 200s| 24800 | 9399 | 2445k| 98.6 | 26M| 83 | - | 200 | 200 | 200 | 201 | 1 | 0 |3036 | 7.879167e+00 | 1.000000e+01 | 26.92%
200.95/201.03 c 201s| 24900 | 9415 | 2453k| 98.5 | 26M| 83 | 61 | 200 | 200 | 200 | 201 | 1 | 0 |3051 | 7.881251e+00 | 1.000000e+01 | 26.88%
201.56/201.60 c 202s| 25000 | 9437 | 2460k| 98.4 | 26M| 83 | 71 | 200 | 200 | 200 | 201 | 1 | 0 |3060 | 7.881251e+00 | 1.000000e+01 | 26.88%
202.25/202.32 c 202s| 25100 | 9455 | 2469k| 98.3 | 26M| 83 | - | 200 | 200 | 200 | 201 | 1 | 0 |3067 | 7.881358e+00 | 1.000000e+01 | 26.88%
202.95/203.04 c 203s| 25200 | 9481 | 2481k| 98.4 | 26M| 83 | - | 200 | 200 | 200 | 201 | 1 | 0 |3078 | 7.881358e+00 | 1.000000e+01 | 26.88%
203.55/203.63 c 204s| 25300 | 9499 | 2488k| 98.3 | 26M| 83 | 79 | 200 | 200 | 200 | 201 | 1 | 0 |3092 | 7.881358e+00 | 1.000000e+01 | 26.88%
204.15/204.22 c 204s| 25400 | 9511 | 2496k| 98.2 | 26M| 83 | 77 | 200 | 200 | 200 | 201 | 1 | 0 |3107 | 7.881358e+00 | 1.000000e+01 | 26.88%
204.86/204.93 c 205s| 25500 | 9533 | 2503k| 98.1 | 26M| 83 | 65 | 200 | 200 | 200 | 201 | 1 | 0 |3128 | 7.886124e+00 | 1.000000e+01 | 26.81%
205.35/205.45 c 205s| 25600 | 9545 | 2510k| 98.0 | 26M| 83 | 77 | 200 | 200 | 200 | 201 | 1 | 0 |3139 | 7.887609e+00 | 1.000000e+01 | 26.78%
206.05/206.10 c 206s| 25700 | 9569 | 2519k| 98.0 | 26M| 83 | 65 | 200 | 200 | 200 | 201 | 1 | 0 |3153 | 7.887754e+00 | 1.000000e+01 | 26.78%
206.65/206.72 c 207s| 25800 | 9587 | 2526k| 97.9 | 26M| 83 | - | 200 | 200 | 200 | 201 | 1 | 0 |3169 | 7.887754e+00 | 1.000000e+01 | 26.78%
207.45/207.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
207.45/207.53 c 208s| 25900 | 9597 | 2538k| 98.0 | 26M| 83 | - | 200 | 200 | 200 | 201 | 1 | 0 |3189 | 7.887754e+00 | 1.000000e+01 | 26.78%
207.95/208.01 c 208s| 26000 | 9609 | 2545k| 97.8 | 26M| 83 | - | 200 | 200 | 200 | 201 | 1 | 0 |3198 | 7.887754e+00 | 1.000000e+01 | 26.78%
208.55/208.61 c 209s| 26100 | 9635 | 2552k| 97.7 | 26M| 83 | 55 | 200 | 200 | 200 | 201 | 1 | 0 |3214 | 7.887754e+00 | 1.000000e+01 | 26.78%
209.16/209.27 c 209s| 26200 | 9651 | 2559k| 97.6 | 26M| 83 | 78 | 200 | 200 | 200 | 201 | 1 | 0 |3236 | 7.887754e+00 | 1.000000e+01 | 26.78%
209.65/209.78 c 210s| 26300 | 9675 | 2566k| 97.5 | 27M| 83 | - | 200 | 200 | 200 | 201 | 1 | 0 |3244 | 7.890742e+00 | 1.000000e+01 | 26.73%
210.26/210.32 c 210s| 26400 | 9693 | 2572k| 97.4 | 27M| 83 | 63 | 200 | 200 | 200 | 201 | 1 | 0 |3259 | 7.892821e+00 | 1.000000e+01 | 26.70%
210.85/210.94 c 211s| 26500 | 9713 | 2583k| 97.4 | 27M| 83 | 55 | 200 | 200 | 200 | 201 | 1 | 0 |3264 | 7.895366e+00 | 1.000000e+01 | 26.66%
211.25/211.39 c 211s| 26600 | 9727 | 2589k| 97.3 | 27M| 83 | - | 200 | 200 | 200 | 201 | 1 | 0 |3269 | 7.900470e+00 | 1.000000e+01 | 26.57%
211.75/211.81 c 212s| 26700 | 9743 | 2595k| 97.2 | 27M| 83 | 68 | 200 | 200 | 200 | 201 | 1 | 0 |3272 | 7.901844e+00 | 1.000000e+01 | 26.55%
212.15/212.20 c 212s| 26800 | 9749 | 2600k| 97.0 | 27M| 83 | 63 | 200 | 200 | 200 | 201 | 1 | 0 |3279 | 7.901844e+00 | 1.000000e+01 | 26.55%
212.56/212.69 c 213s| 26900 | 9769 | 2607k| 96.9 | 27M| 83 | 75 | 200 | 200 | 200 | 201 | 1 | 0 |3282 | 7.901844e+00 | 1.000000e+01 | 26.55%
213.05/213.11 c 213s| 27000 | 9783 | 2613k| 96.7 | 27M| 83 | 65 | 200 | 200 | 200 | 201 | 1 | 0 |3286 | 7.902179e+00 | 1.000000e+01 | 26.55%
213.66/213.71 c 214s| 27100 | 9801 | 2623k| 96.8 | 27M| 83 | - | 200 | 200 | 200 | 201 | 1 | 0 |3288 | 7.902681e+00 | 1.000000e+01 | 26.54%
214.15/214.25 c 214s| 27200 | 9817 | 2634k| 96.8 | 27M| 83 | 63 | 200 | 200 | 200 | 201 | 1 | 0 |3288 | 7.903018e+00 | 1.000000e+01 | 26.53%
214.65/214.71 c 215s| 27300 | 9833 | 2641k| 96.7 | 27M| 83 | - | 200 | 200 | 200 | 201 | 1 | 0 |3291 | 7.905477e+00 | 1.000000e+01 | 26.49%
215.05/215.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
215.05/215.14 c 215s| 27400 | 9851 | 2647k| 96.6 | 27M| 83 | 59 | 200 | 200 | 200 | 201 | 1 | 0 |3292 | 7.905477e+00 | 1.000000e+01 | 26.49%
215.45/215.55 c 216s| 27500 | 9863 | 2653k| 96.4 | 27M| 83 | 68 | 200 | 200 | 200 | 201 | 1 | 0 |3292 | 7.905944e+00 | 1.000000e+01 | 26.49%
215.95/216.06 c 216s| 27600 | 9879 | 2661k| 96.4 | 27M| 83 | 64 | 200 | 200 | 200 | 201 | 1 | 0 |3292 | 7.906024e+00 | 1.000000e+01 | 26.49%
216.35/216.47 c 216s| 27700 | 9893 | 2666k| 96.2 | 27M| 83 | - | 200 | 200 | 200 | 201 | 1 | 0 |3294 | 7.907052e+00 | 1.000000e+01 | 26.47%
216.86/216.91 c 217s| 27800 | 9909 | 2672k| 96.1 | 27M| 83 | - | 200 | 200 | 200 | 201 | 1 | 0 |3294 | 7.907331e+00 | 1.000000e+01 | 26.46%
217.25/217.38 c 217s| 27900 | 9927 | 2679k| 96.0 | 27M| 83 | - | 200 | 200 | 200 | 201 | 1 | 0 |3294 | 7.907331e+00 | 1.000000e+01 | 26.46%
217.65/217.79 c 218s| 28000 | 9939 | 2685k| 95.9 | 27M| 83 | - | 200 | 200 | 200 | 201 | 1 | 0 |3294 | 7.907331e+00 | 1.000000e+01 | 26.46%
218.05/218.19 c 218s| 28100 | 9951 | 2691k| 95.7 | 27M| 84 | 72 | 200 | 200 | 200 | 201 | 1 | 0 |3297 | 7.907378e+00 | 1.000000e+01 | 26.46%
218.34/218.48 c 218s| 28200 | 9953 | 2695k| 95.5 | 27M| 92 | 55 | 200 | 200 | 200 | 201 | 1 | 0 |3301 | 7.907378e+00 | 1.000000e+01 | 26.46%
218.74/218.85 c 219s| 28300 | 9959 | 2700k| 95.4 | 27M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |3302 | 7.907378e+00 | 1.000000e+01 | 26.46%
219.05/219.19 c 219s| 28400 | 9971 | 2705k| 95.2 | 27M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |3303 | 7.907900e+00 | 1.000000e+01 | 26.46%
219.55/219.64 c 220s| 28500 | 9989 | 2712k| 95.1 | 27M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |3304 | 7.907900e+00 | 1.000000e+01 | 26.46%
219.95/220.03 c 220s| 28600 | 10001 | 2718k| 95.0 | 27M| 92 | 78 | 200 | 200 | 200 | 201 | 1 | 0 |3304 | 7.907900e+00 | 1.000000e+01 | 26.46%
220.35/220.41 c 220s| 28700 | 10011 | 2723k| 94.8 | 27M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |3304 | 7.907900e+00 | 1.000000e+01 | 26.46%
220.85/220.90 c 221s| 28800 | 10027 | 2729k| 94.7 | 27M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |3320 | 7.908878e+00 | 1.000000e+01 | 26.44%
221.25/221.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
221.25/221.32 c 221s| 28900 | 10049 | 2735k| 94.6 | 27M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |3326 | 7.910396e+00 | 1.000000e+01 | 26.42%
221.75/221.84 c 222s| 29000 | 10067 | 2741k| 94.5 | 27M| 92 | 75 | 200 | 200 | 200 | 201 | 1 | 0 |3339 | 7.911961e+00 | 1.000000e+01 | 26.39%
222.25/222.34 c 222s| 29100 | 10077 | 2749k| 94.4 | 27M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |3344 | 7.915515e+00 | 1.000000e+01 | 26.33%
222.65/222.79 c 223s| 29200 | 10093 | 2755k| 94.3 | 27M| 92 | 71 | 200 | 200 | 200 | 201 | 1 | 0 |3354 | 7.915515e+00 | 1.000000e+01 | 26.33%
223.25/223.31 c 223s| 29300 | 10097 | 2760k| 94.2 | 27M| 92 | 72 | 200 | 200 | 200 | 201 | 1 | 0 |3374 | 7.921799e+00 | 1.000000e+01 | 26.23%
223.55/223.65 c 224s| 29400 | 10101 | 2765k| 94.0 | 27M| 92 | 77 | 200 | 200 | 200 | 201 | 1 | 0 |3375 | 7.922825e+00 | 1.000000e+01 | 26.22%
223.94/224.09 c 224s| 29500 | 10109 | 2770k| 93.9 | 27M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |3397 | 7.923362e+00 | 1.000000e+01 | 26.21%
224.55/224.68 c 225s| 29600 | 10125 | 2780k| 93.9 | 28M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |3405 | 7.924066e+00 | 1.000000e+01 | 26.20%
225.05/225.14 c 225s| 29700 | 10135 | 2786k| 93.8 | 28M| 92 | 80 | 200 | 200 | 200 | 201 | 1 | 0 |3416 | 7.924066e+00 | 1.000000e+01 | 26.20%
225.55/225.62 c 226s| 29800 | 10137 | 2791k| 93.6 | 28M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |3435 | 7.924644e+00 | 1.000000e+01 | 26.19%
225.95/226.05 c 226s| 29900 | 10147 | 2797k| 93.5 | 28M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |3442 | 7.925879e+00 | 1.000000e+01 | 26.17%
226.45/226.50 c 226s| 30000 | 10151 | 2802k| 93.4 | 28M| 92 | 73 | 200 | 200 | 200 | 201 | 1 | 0 |3458 | 7.925879e+00 | 1.000000e+01 | 26.17%
226.75/226.88 c 227s| 30100 | 10163 | 2807k| 93.2 | 28M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |3469 | 7.925879e+00 | 1.000000e+01 | 26.17%
227.45/227.50 c 227s| 30200 | 10177 | 2816k| 93.2 | 28M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |3488 | 7.926066e+00 | 1.000000e+01 | 26.17%
227.85/227.92 c 228s| 30300 | 10191 | 2821k| 93.1 | 28M| 92 | 75 | 200 | 200 | 200 | 201 | 1 | 0 |3494 | 7.926418e+00 | 1.000000e+01 | 26.16%
228.25/228.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
228.25/228.33 c 228s| 30400 | 10203 | 2826k| 92.9 | 28M| 92 | 40 | 200 | 200 | 200 | 201 | 1 | 0 |3503 | 7.928484e+00 | 1.000000e+01 | 26.13%
228.84/228.99 c 229s| 30500 | 10211 | 2838k| 93.0 | 28M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |3514 | 7.928484e+00 | 1.000000e+01 | 26.13%
229.35/229.44 c 229s| 30600 | 10217 | 2844k| 92.9 | 28M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |3530 | 7.928484e+00 | 1.000000e+01 | 26.13%
229.75/229.86 c 230s| 30700 | 10233 | 2849k| 92.8 | 28M| 92 | 62 | 200 | 200 | 200 | 201 | 1 | 0 |3541 | 7.929419e+00 | 1.000000e+01 | 26.11%
230.25/230.34 c 230s| 30800 | 10245 | 2855k| 92.7 | 28M| 92 | 75 | 200 | 200 | 200 | 201 | 1 | 0 |3555 | 7.930128e+00 | 1.000000e+01 | 26.10%
230.75/230.80 c 231s| 30900 | 10247 | 2861k| 92.5 | 28M| 92 | 73 | 200 | 200 | 200 | 201 | 1 | 0 |3567 | 7.930128e+00 | 1.000000e+01 | 26.10%
231.05/231.17 c 231s| 31000 | 10255 | 2866k| 92.4 | 28M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |3579 | 7.931545e+00 | 1.000000e+01 | 26.08%
231.54/231.60 c 232s| 31100 | 10265 | 2871k| 92.3 | 28M| 92 | 60 | 200 | 200 | 200 | 201 | 1 | 0 |3589 | 7.931545e+00 | 1.000000e+01 | 26.08%
232.15/232.24 c 232s| 31200 | 10267 | 2879k| 92.2 | 28M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |3616 | 7.934884e+00 | 1.000000e+01 | 26.03%
232.65/232.73 c 233s| 31300 | 10277 | 2887k| 92.2 | 28M| 92 | 59 | 200 | 200 | 200 | 201 | 1 | 0 |3621 | 7.936643e+00 | 1.000000e+01 | 26.00%
233.14/233.26 c 233s| 31400 | 10275 | 2893k| 92.1 | 28M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |3643 | 7.944323e+00 | 1.000000e+01 | 25.88%
233.54/233.62 c 234s| 31500 | 10277 | 2899k| 92.0 | 28M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |3643 | 7.946987e+00 | 1.000000e+01 | 25.83%
234.14/234.28 c 234s| 31600 | 10287 | 2910k| 92.1 | 28M| 92 | 69 | 200 | 200 | 200 | 201 | 1 | 0 |3652 | 7.947724e+00 | 1.000000e+01 | 25.82%
234.55/234.65 c 235s| 31700 | 10297 | 2915k| 91.9 | 28M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |3657 | 7.947774e+00 | 1.000000e+01 | 25.82%
234.94/235.08 c 235s| 31800 | 10299 | 2920k| 91.8 | 28M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |3672 | 7.952117e+00 | 1.000000e+01 | 25.75%
235.44/235.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
235.44/235.53 c 236s| 31900 | 10303 | 2926k| 91.7 | 28M| 92 | 62 | 200 | 200 | 200 | 201 | 1 | 0 |3687 | 7.952822e+00 | 1.000000e+01 | 25.74%
235.95/236.07 c 236s| 32000 | 10309 | 2931k| 91.6 | 28M| 92 | 69 | 200 | 200 | 200 | 201 | 1 | 0 |3703 | 7.952822e+00 | 1.000000e+01 | 25.74%
236.35/236.43 c 236s| 32100 | 10311 | 2936k| 91.4 | 28M| 92 | 65 | 200 | 200 | 200 | 201 | 1 | 0 |3708 | 7.952822e+00 | 1.000000e+01 | 25.74%
236.85/236.90 c 237s| 32200 | 10315 | 2942k| 91.3 | 28M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |3719 | 7.952822e+00 | 1.000000e+01 | 25.74%
237.25/237.31 c 237s| 32300 | 10325 | 2947k| 91.2 | 28M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |3730 | 7.952822e+00 | 1.000000e+01 | 25.74%
237.64/237.79 c 238s| 32400 | 10323 | 2953k| 91.1 | 28M| 92 | 76 | 200 | 200 | 200 | 201 | 1 | 0 |3748 | 7.953349e+00 | 1.000000e+01 | 25.73%
238.05/238.14 c 238s| 32500 | 10331 | 2957k| 91.0 | 28M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |3753 | 7.953349e+00 | 1.000000e+01 | 25.73%
238.55/238.67 c 239s| 32600 | 10335 | 2966k| 90.9 | 28M| 92 | 52 | 200 | 200 | 200 | 201 | 1 | 0 |3773 | 7.954621e+00 | 1.000000e+01 | 25.71%
238.95/239.04 c 239s| 32700 | 10343 | 2970k| 90.8 | 28M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |3786 | 7.955092e+00 | 1.000000e+01 | 25.71%
239.35/239.44 c 239s| 32800 | 10345 | 2975k| 90.7 | 28M| 92 | 67 | 200 | 200 | 200 | 201 | 1 | 0 |3802 | 7.955092e+00 | 1.000000e+01 | 25.71%
239.84/239.91 c 240s| 32900 | 10355 | 2980k| 90.6 | 28M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |3818 | 7.955092e+00 | 1.000000e+01 | 25.71%
240.35/240.46 c 240s| 33000 | 10361 | 2989k| 90.5 | 28M| 92 | 66 | 200 | 200 | 200 | 201 | 1 | 0 |3832 | 7.955092e+00 | 1.000000e+01 | 25.71%
240.74/240.86 c 241s| 33100 | 10371 | 2994k| 90.4 | 28M| 92 | 65 | 200 | 200 | 200 | 201 | 1 | 0 |3846 | 7.955092e+00 | 1.000000e+01 | 25.71%
241.24/241.31 c 241s| 33200 | 10381 | 2999k| 90.3 | 28M| 92 | 66 | 200 | 200 | 200 | 201 | 1 | 0 |3856 | 7.957925e+00 | 1.000000e+01 | 25.66%
241.64/241.70 c 242s| 33300 | 10377 | 3004k| 90.2 | 28M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |3866 | 7.957982e+00 | 1.000000e+01 | 25.66%
242.05/242.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
242.05/242.15 c 242s| 33400 | 10383 | 3009k| 90.1 | 28M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |3881 | 7.963353e+00 | 1.000000e+01 | 25.58%
242.55/242.66 c 243s| 33500 | 10391 | 3015k| 90.0 | 28M| 92 | 75 | 200 | 200 | 200 | 201 | 1 | 0 |3896 | 7.963353e+00 | 1.000000e+01 | 25.58%
243.04/243.10 c 243s| 33600 | 10397 | 3021k| 89.9 | 28M| 92 | 69 | 200 | 200 | 200 | 201 | 1 | 0 |3907 | 7.963353e+00 | 1.000000e+01 | 25.58%
243.44/243.58 c 244s| 33700 | 10407 | 3027k| 89.8 | 29M| 92 | 58 | 200 | 200 | 200 | 201 | 1 | 0 |3925 | 7.963879e+00 | 1.000000e+01 | 25.57%
244.05/244.12 c 244s| 33800 | 10411 | 3033k| 89.7 | 29M| 92 | 71 | 200 | 200 | 200 | 201 | 1 | 0 |3944 | 7.964033e+00 | 1.000000e+01 | 25.56%
244.55/244.61 c 245s| 33900 | 10413 | 3039k| 89.6 | 29M| 92 | 78 | 200 | 200 | 200 | 201 | 1 | 0 |3957 | 7.964421e+00 | 1.000000e+01 | 25.56%
244.84/244.96 c 245s| 34000 | 10425 | 3043k| 89.5 | 29M| 92 | 60 | 200 | 200 | 200 | 201 | 1 | 0 |3963 | 7.964952e+00 | 1.000000e+01 | 25.55%
245.25/245.39 c 245s| 34100 | 10431 | 3048k| 89.4 | 29M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |3985 | 7.974175e+00 | 1.000000e+01 | 25.40%
245.74/245.83 c 246s| 34200 | 10429 | 3053k| 89.3 | 29M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |4007 | 7.974175e+00 | 1.000000e+01 | 25.40%
246.05/246.13 c 246s| 34300 | 10437 | 3057k| 89.1 | 29M| 92 | 49 | 200 | 200 | 200 | 201 | 1 | 0 |4018 | 7.975540e+00 | 1.000000e+01 | 25.38%
246.34/246.49 c 246s| 34400 | 10443 | 3062k| 89.0 | 29M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |4032 | 7.978124e+00 | 1.000000e+01 | 25.34%
246.85/246.91 c 247s| 34500 | 10445 | 3067k| 88.9 | 29M| 92 | 69 | 200 | 200 | 200 | 201 | 1 | 0 |4041 | 7.978124e+00 | 1.000000e+01 | 25.34%
247.35/247.42 c 247s| 34600 | 10451 | 3076k| 88.9 | 29M| 92 | 70 | 200 | 200 | 200 | 201 | 1 | 0 |4057 | 7.978606e+00 | 1.000000e+01 | 25.34%
247.75/247.89 c 248s| 34700 | 10453 | 3081k| 88.8 | 29M| 92 | 58 | 200 | 200 | 200 | 201 | 1 | 0 |4082 | 7.979099e+00 | 1.000000e+01 | 25.33%
248.24/248.32 c 248s| 34800 | 10453 | 3086k| 88.6 | 29M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |4099 | 7.979099e+00 | 1.000000e+01 | 25.33%
248.65/248.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
248.65/248.71 c 249s| 34900 | 10453 | 3090k| 88.5 | 29M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |4116 | 7.979099e+00 | 1.000000e+01 | 25.33%
249.04/249.13 c 249s| 35000 | 10455 | 3096k| 88.4 | 29M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |4131 | 7.979584e+00 | 1.000000e+01 | 25.32%
249.45/249.56 c 250s| 35100 | 10455 | 3101k| 88.3 | 29M| 92 | 63 | 200 | 200 | 200 | 201 | 1 | 0 |4145 | 7.980009e+00 | 1.000000e+01 | 25.31%
249.95/250.02 c 250s| 35200 | 10451 | 3106k| 88.2 | 29M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |4168 | 7.980009e+00 | 1.000000e+01 | 25.31%
250.34/250.47 c 250s| 35300 | 10455 | 3112k| 88.1 | 29M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |4188 | 7.981461e+00 | 1.000000e+01 | 25.29%
250.95/251.07 c 251s| 35400 | 10459 | 3123k| 88.2 | 29M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |4204 | 7.985075e+00 | 1.000000e+01 | 25.23%
251.35/251.41 c 251s| 35500 | 10467 | 3127k| 88.1 | 29M| 92 | 74 | 200 | 200 | 200 | 201 | 1 | 0 |4217 | 7.985075e+00 | 1.000000e+01 | 25.23%
251.74/251.82 c 252s| 35600 | 10463 | 3132k| 88.0 | 29M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |4237 | 7.985075e+00 | 1.000000e+01 | 25.23%
252.15/252.25 c 252s| 35700 | 10461 | 3137k| 87.9 | 29M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |4262 | 7.989127e+00 | 1.000000e+01 | 25.17%
252.64/252.73 c 253s| 35800 | 10463 | 3143k| 87.8 | 29M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |4283 | 7.989504e+00 | 1.000000e+01 | 25.16%
253.05/253.10 c 253s| 35900 | 10465 | 3147k| 87.6 | 29M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |4300 | 7.989504e+00 | 1.000000e+01 | 25.16%
253.44/253.56 c 254s| 36000 | 10463 | 3153k| 87.5 | 29M| 92 | 72 | 200 | 200 | 200 | 201 | 1 | 0 |4317 | 7.994637e+00 | 1.000000e+01 | 25.08%
253.94/254.04 c 254s| 36100 | 10461 | 3160k| 87.5 | 29M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |4334 | 7.994637e+00 | 1.000000e+01 | 25.08%
254.25/254.40 c 254s| 36200 | 10463 | 3164k| 87.4 | 29M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |4345 | 7.994865e+00 | 1.000000e+01 | 25.08%
254.64/254.77 c 255s| 36300 | 10467 | 3168k| 87.3 | 29M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |4362 | 7.994865e+00 | 1.000000e+01 | 25.08%
255.15/255.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
255.15/255.20 c 255s| 36400 | 10465 | 3174k| 87.2 | 29M| 92 | 63 | 200 | 200 | 200 | 201 | 1 | 0 |4376 | 7.996449e+00 | 1.000000e+01 | 25.06%
255.35/255.50 c 256s| 36500 | 10469 | 3177k| 87.0 | 29M| 92 | 56 | 200 | 200 | 200 | 201 | 1 | 0 |4389 | 7.996449e+00 | 1.000000e+01 | 25.06%
255.85/255.93 c 256s| 36600 | 10463 | 3182k| 86.9 | 29M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |4412 | 7.996778e+00 | 1.000000e+01 | 25.05%
256.24/256.39 c 256s| 36700 | 10463 | 3190k| 86.9 | 29M| 92 | 65 | 200 | 200 | 200 | 201 | 1 | 0 |4430 | 7.997434e+00 | 1.000000e+01 | 25.04%
256.65/256.77 c 257s| 36800 | 10459 | 3194k| 86.8 | 29M| 92 | 56 | 200 | 200 | 200 | 201 | 1 | 0 |4452 | 8.000377e+00 | 1.000000e+01 | 24.99%
257.15/257.21 c 257s| 36900 | 10461 | 3199k| 86.7 | 29M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |4471 | 8.000377e+00 | 1.000000e+01 | 24.99%
257.44/257.56 c 258s| 37000 | 10459 | 3203k| 86.6 | 29M| 92 | 70 | 200 | 200 | 200 | 201 | 1 | 0 |4489 | 8.000842e+00 | 1.000000e+01 | 24.99%
257.84/257.96 c 258s| 37100 | 10461 | 3210k| 86.5 | 29M| 92 | 76 | 200 | 200 | 200 | 201 | 1 | 0 |4506 | 8.000842e+00 | 1.000000e+01 | 24.99%
258.25/258.33 c 258s| 37200 | 10457 | 3214k| 86.4 | 29M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |4521 | 8.003093e+00 | 1.000000e+01 | 24.95%
258.75/258.85 c 259s| 37300 | 10451 | 3220k| 86.3 | 29M| 92 | 67 | 200 | 200 | 200 | 201 | 1 | 0 |4547 | 8.003875e+00 | 1.000000e+01 | 24.94%
259.24/259.39 c 259s| 37400 | 10453 | 3229k| 86.3 | 29M| 92 | 72 | 200 | 200 | 200 | 201 | 1 | 0 |4566 | 8.003875e+00 | 1.000000e+01 | 24.94%
259.64/259.71 c 260s| 37500 | 10451 | 3233k| 86.2 | 29M| 92 | 74 | 200 | 200 | 200 | 201 | 1 | 0 |4579 | 8.003875e+00 | 1.000000e+01 | 24.94%
260.04/260.13 c 260s| 37600 | 10449 | 3239k| 86.1 | 29M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |4599 | 8.003875e+00 | 1.000000e+01 | 24.94%
260.44/260.50 c 260s| 37700 | 10451 | 3243k| 86.0 | 29M| 92 | 56 | 200 | 200 | 200 | 201 | 1 | 0 |4609 | 8.003875e+00 | 1.000000e+01 | 24.94%
260.74/260.87 c 261s| 37800 | 10455 | 3247k| 85.9 | 29M| 92 | 63 | 200 | 200 | 200 | 201 | 1 | 0 |4625 | 8.007612e+00 | 1.000000e+01 | 24.88%
261.14/261.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
261.14/261.26 c 261s| 37900 | 10451 | 3252k| 85.8 | 29M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |4640 | 8.007612e+00 | 1.000000e+01 | 24.88%
261.54/261.61 c 262s| 38000 | 10449 | 3256k| 85.7 | 29M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |4660 | 8.008012e+00 | 1.000000e+01 | 24.87%
261.95/262.09 c 262s| 38100 | 10443 | 3262k| 85.6 | 29M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |4685 | 8.008012e+00 | 1.000000e+01 | 24.87%
262.44/262.51 c 263s| 38200 | 10439 | 3267k| 85.5 | 29M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |4699 | 8.010129e+00 | 1.000000e+01 | 24.84%
262.84/262.94 c 263s| 38300 | 10437 | 3272k| 85.4 | 29M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |4721 | 8.010129e+00 | 1.000000e+01 | 24.84%
263.24/263.30 c 263s| 38400 | 10435 | 3277k| 85.3 | 29M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |4730 | 8.010375e+00 | 1.000000e+01 | 24.84%
263.54/263.66 c 264s| 38500 | 10433 | 3281k| 85.2 | 29M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |4745 | 8.010418e+00 | 1.000000e+01 | 24.84%
263.94/264.07 c 264s| 38600 | 10431 | 3286k| 85.1 | 29M| 92 | 65 | 200 | 200 | 200 | 201 | 1 | 0 |4762 | 8.012751e+00 | 1.000000e+01 | 24.80%
264.34/264.45 c 264s| 38700 | 10429 | 3290k| 85.0 | 29M| 92 | 66 | 200 | 200 | 200 | 201 | 1 | 0 |4780 | 8.012751e+00 | 1.000000e+01 | 24.80%
264.94/265.05 c 265s| 38800 | 10425 | 3300k| 85.0 | 29M| 92 | 55 | 200 | 200 | 200 | 201 | 1 | 0 |4802 | 8.018575e+00 | 1.000000e+01 | 24.71%
265.35/265.41 c 265s| 38900 | 10423 | 3305k| 84.9 | 29M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |4818 | 8.018575e+00 | 1.000000e+01 | 24.71%
265.54/265.68 c 266s| 39000 | 10421 | 3308k| 84.8 | 29M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |4830 | 8.018658e+00 | 1.000000e+01 | 24.71%
266.14/266.24 c 266s| 39100 | 10423 | 3317k| 84.8 | 29M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |4851 | 8.018832e+00 | 1.000000e+01 | 24.71%
266.54/266.66 c 267s| 39200 | 10423 | 3322k| 84.7 | 29M| 92 | 57 | 200 | 200 | 200 | 201 | 1 | 0 |4870 | 8.018832e+00 | 1.000000e+01 | 24.71%
267.04/267.10 c 267s| 39300 | 10415 | 3327k| 84.6 | 29M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |4895 | 8.021065e+00 | 1.000000e+01 | 24.67%
267.44/267.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
267.44/267.51 c 268s| 39400 | 10413 | 3332k| 84.5 | 29M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |4912 | 8.021065e+00 | 1.000000e+01 | 24.67%
267.74/267.88 c 268s| 39500 | 10413 | 3336k| 84.4 | 29M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |4935 | 8.021065e+00 | 1.000000e+01 | 24.67%
268.24/268.36 c 268s| 39600 | 10405 | 3342k| 84.4 | 29M| 92 | 51 | 200 | 200 | 200 | 201 | 1 | 0 |4963 | 8.021335e+00 | 1.000000e+01 | 24.67%
268.64/268.75 c 269s| 39700 | 10405 | 3346k| 84.3 | 29M| 92 | 67 | 200 | 200 | 200 | 201 | 1 | 0 |4980 | 8.022123e+00 | 1.000000e+01 | 24.66%
269.04/269.13 c 269s| 39800 | 10401 | 3350k| 84.2 | 29M| 92 | 62 | 200 | 200 | 200 | 201 | 1 | 0 |5006 | 8.022123e+00 | 1.000000e+01 | 24.66%
269.54/269.64 c 270s| 39900 | 10393 | 3358k| 84.1 | 29M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |5025 | 8.022123e+00 | 1.000000e+01 | 24.66%
269.94/270.07 c 270s| 40000 | 10385 | 3363k| 84.1 | 29M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |5047 | 8.022123e+00 | 1.000000e+01 | 24.66%
270.34/270.44 c 270s| 40100 | 10379 | 3367k| 83.9 | 29M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |5069 | 8.022277e+00 | 1.000000e+01 | 24.65%
270.84/270.97 c 271s| 40200 | 10373 | 3376k| 84.0 | 29M| 92 | 71 | 200 | 200 | 200 | 201 | 1 | 0 |5092 | 8.022277e+00 | 1.000000e+01 | 24.65%
271.24/271.39 c 271s| 40300 | 10365 | 3381k| 83.9 | 29M| 92 | 71 | 200 | 200 | 200 | 201 | 1 | 0 |5113 | 8.028269e+00 | 1.000000e+01 | 24.56%
271.64/271.75 c 272s| 40400 | 10365 | 3385k| 83.8 | 29M| 92 | 70 | 200 | 200 | 200 | 201 | 1 | 0 |5129 | 8.031936e+00 | 1.000000e+01 | 24.50%
271.95/272.08 c 272s| 40500 | 10361 | 3389k| 83.7 | 29M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |5153 | 8.035335e+00 | 1.000000e+01 | 24.45%
272.24/272.39 c 272s| 40600 | 10363 | 3393k| 83.5 | 29M| 92 | 61 | 200 | 200 | 200 | 201 | 1 | 0 |5168 | 8.035335e+00 | 1.000000e+01 | 24.45%
272.84/272.90 c 273s| 40700 | 10351 | 3400k| 83.5 | 29M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |5195 | 8.037027e+00 | 1.000000e+01 | 24.42%
273.14/273.22 c 273s| 40800 | 10347 | 3404k| 83.4 | 29M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |5215 | 8.037027e+00 | 1.000000e+01 | 24.42%
273.54/273.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
273.54/273.65 c 274s| 40900 | 10349 | 3409k| 83.3 | 30M| 92 | 67 | 200 | 200 | 200 | 201 | 1 | 0 |5239 | 8.037027e+00 | 1.000000e+01 | 24.42%
273.94/274.00 c 274s| 41000 | 10345 | 3413k| 83.2 | 30M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |5260 | 8.037027e+00 | 1.000000e+01 | 24.42%
274.34/274.44 c 274s| 41100 | 10337 | 3418k| 83.1 | 30M| 92 | 72 | 200 | 200 | 200 | 201 | 1 | 0 |5275 | 8.037904e+00 | 1.000000e+01 | 24.41%
274.64/274.76 c 275s| 41200 | 10333 | 3422k| 83.0 | 30M| 92 | 63 | 200 | 200 | 200 | 201 | 1 | 0 |5291 | 8.040023e+00 | 1.000000e+01 | 24.38%
274.94/275.08 c 275s| 41300 | 10331 | 3425k| 82.9 | 30M| 92 | 61 | 200 | 200 | 200 | 201 | 1 | 0 |5307 | 8.040023e+00 | 1.000000e+01 | 24.38%
275.44/275.53 c 276s| 41400 | 10323 | 3430k| 82.8 | 30M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |5332 | 8.040023e+00 | 1.000000e+01 | 24.38%
275.74/275.80 c 276s| 41500 | 10321 | 3434k| 82.7 | 30M| 92 | 67 | 200 | 200 | 200 | 201 | 1 | 0 |5343 | 8.040023e+00 | 1.000000e+01 | 24.38%
276.24/276.30 c 276s| 41600 | 10315 | 3439k| 82.7 | 30M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |5373 | 8.040874e+00 | 1.000000e+01 | 24.36%
276.64/276.72 c 277s| 41700 | 10313 | 3444k| 82.6 | 30M| 92 | 63 | 200 | 200 | 200 | 201 | 1 | 0 |5393 | 8.041283e+00 | 1.000000e+01 | 24.36%
276.94/277.08 c 277s| 41800 | 10307 | 3449k| 82.5 | 30M| 92 | 54 | 200 | 200 | 200 | 201 | 1 | 0 |5406 | 8.043451e+00 | 1.000000e+01 | 24.32%
277.45/277.52 c 278s| 41900 | 10297 | 3454k| 82.4 | 30M| 92 | 64 | 200 | 200 | 200 | 201 | 1 | 0 |5430 | 8.046270e+00 | 1.000000e+01 | 24.28%
277.94/278.01 c 278s| 42000 | 10289 | 3460k| 82.3 | 30M| 92 | 69 | 200 | 200 | 200 | 201 | 1 | 0 |5454 | 8.048975e+00 | 1.000000e+01 | 24.24%
278.24/278.38 c 278s| 42100 | 10283 | 3464k| 82.3 | 30M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |5476 | 8.049673e+00 | 1.000000e+01 | 24.23%
278.74/278.80 c 279s| 42200 | 10277 | 3469k| 82.2 | 30M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |5497 | 8.051987e+00 | 1.000000e+01 | 24.19%
279.04/279.16 c 279s| 42300 | 10269 | 3473k| 82.1 | 30M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |5515 | 8.052609e+00 | 1.000000e+01 | 24.18%
279.65/279.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
279.65/279.70 c 280s| 42400 | 10267 | 3483k| 82.1 | 30M| 92 | 61 | 200 | 200 | 200 | 201 | 1 | 0 |5531 | 8.054725e+00 | 1.000000e+01 | 24.15%
280.04/280.12 c 280s| 42500 | 10263 | 3490k| 82.1 | 30M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |5552 | 8.055314e+00 | 1.000000e+01 | 24.14%
280.44/280.58 c 281s| 42600 | 10255 | 3496k| 82.0 | 30M| 92 | 76 | 200 | 200 | 200 | 201 | 1 | 0 |5576 | 8.059552e+00 | 1.000000e+01 | 24.08%
280.84/280.97 c 281s| 42700 | 10253 | 3500k| 81.9 | 30M| 92 | 55 | 200 | 200 | 200 | 201 | 1 | 0 |5606 | 8.061044e+00 | 1.000000e+01 | 24.05%
281.24/281.31 c 281s| 42800 | 10249 | 3503k| 81.8 | 30M| 92 | 64 | 200 | 200 | 200 | 201 | 1 | 0 |5629 | 8.061107e+00 | 1.000000e+01 | 24.05%
281.54/281.68 c 282s| 42900 | 10245 | 3508k| 81.7 | 30M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |5643 | 8.061844e+00 | 1.000000e+01 | 24.04%
281.94/282.07 c 282s| 43000 | 10239 | 3512k| 81.7 | 30M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |5664 | 8.061844e+00 | 1.000000e+01 | 24.04%
282.44/282.59 c 283s| 43100 | 10229 | 3520k| 81.7 | 30M| 92 | 60 | 200 | 200 | 200 | 201 | 1 | 0 |5686 | 8.062811e+00 | 1.000000e+01 | 24.03%
283.04/283.14 c 283s| 43200 | 10227 | 3529k| 81.7 | 30M| 92 | 59 | 200 | 200 | 200 | 201 | 1 | 0 |5712 | 8.066687e+00 | 1.000000e+01 | 23.97%
283.43/283.56 c 284s| 43300 | 10219 | 3534k| 81.6 | 30M| 92 | 58 | 200 | 200 | 200 | 201 | 1 | 0 |5735 | 8.066949e+00 | 1.000000e+01 | 23.96%
283.84/283.92 c 284s| 43400 | 10213 | 3538k| 81.5 | 30M| 92 | 59 | 200 | 200 | 200 | 201 | 1 | 0 |5757 | 8.070975e+00 | 1.000000e+01 | 23.90%
284.24/284.31 c 284s| 43500 | 10203 | 3542k| 81.4 | 30M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |5783 | 8.071501e+00 | 1.000000e+01 | 23.89%
284.73/284.89 c 285s| 43600 | 10195 | 3552k| 81.5 | 30M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |5799 | 8.073804e+00 | 1.000000e+01 | 23.86%
285.24/285.31 c 285s| 43700 | 10187 | 3557k| 81.4 | 30M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |5818 | 8.074006e+00 | 1.000000e+01 | 23.85%
285.54/285.66 c 286s| 43800 | 10181 | 3562k| 81.3 | 30M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |5836 | 8.074006e+00 | 1.000000e+01 | 23.85%
285.93/286.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
285.93/286.03 c 286s| 43900 | 10177 | 3567k| 81.2 | 30M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |5844 | 8.074722e+00 | 1.000000e+01 | 23.84%
286.34/286.46 c 286s| 44000 | 10171 | 3572k| 81.1 | 30M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |5867 | 8.075478e+00 | 1.000000e+01 | 23.83%
286.73/286.84 c 287s| 44100 | 10159 | 3577k| 81.1 | 30M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |5885 | 8.077095e+00 | 1.000000e+01 | 23.81%
287.14/287.26 c 287s| 44200 | 10151 | 3581k| 81.0 | 30M| 92 | 66 | 200 | 200 | 200 | 201 | 1 | 0 |5910 | 8.078449e+00 | 1.000000e+01 | 23.79%
287.44/287.58 c 288s| 44300 | 10139 | 3586k| 80.9 | 30M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |5920 | 8.084285e+00 | 1.000000e+01 | 23.70%
287.83/287.92 c 288s| 44400 | 10133 | 3590k| 80.8 | 30M| 92 | 62 | 200 | 200 | 200 | 201 | 1 | 0 |5937 | 8.084285e+00 | 1.000000e+01 | 23.70%
288.23/288.30 c 288s| 44500 | 10121 | 3594k| 80.7 | 30M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |5963 | 8.085598e+00 | 1.000000e+01 | 23.68%
288.54/288.68 c 289s| 44600 | 10113 | 3599k| 80.7 | 30M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |5979 | 8.085598e+00 | 1.000000e+01 | 23.68%
288.83/288.98 c 289s| 44700 | 10109 | 3602k| 80.6 | 30M| 92 | 56 | 200 | 200 | 200 | 201 | 1 | 0 |5990 | 8.085598e+00 | 1.000000e+01 | 23.68%
289.24/289.31 c 289s| 44800 | 10101 | 3607k| 80.5 | 30M| 92 | 61 | 200 | 200 | 200 | 201 | 1 | 0 |5998 | 8.085741e+00 | 1.000000e+01 | 23.67%
289.55/289.63 c 290s| 44900 | 10091 | 3611k| 80.4 | 30M| 92 | 66 | 200 | 200 | 200 | 201 | 1 | 0 |6010 | 8.087101e+00 | 1.000000e+01 | 23.65%
289.83/289.95 c 290s| 45000 | 10087 | 3615k| 80.3 | 30M| 92 | 65 | 200 | 200 | 200 | 201 | 1 | 0 |6019 | 8.087101e+00 | 1.000000e+01 | 23.65%
290.14/290.26 c 290s| 45100 | 10079 | 3619k| 80.2 | 30M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |6028 | 8.087465e+00 | 1.000000e+01 | 23.65%
290.54/290.62 c 291s| 45200 | 10073 | 3623k| 80.1 | 30M| 92 | 74 | 200 | 200 | 200 | 201 | 1 | 0 |6040 | 8.087560e+00 | 1.000000e+01 | 23.65%
291.03/291.14 c 291s| 45300 | 10061 | 3632k| 80.1 | 30M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |6058 | 8.088499e+00 | 1.000000e+01 | 23.63%
291.44/291.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
291.44/291.54 c 292s| 45400 | 10053 | 3637k| 80.1 | 30M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |6073 | 8.091818e+00 | 1.000000e+01 | 23.58%
291.74/291.88 c 292s| 45500 | 10043 | 3641k| 80.0 | 30M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |6082 | 8.092041e+00 | 1.000000e+01 | 23.58%
292.14/292.23 c 292s| 45600 | 10035 | 3646k| 79.9 | 30M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |6088 | 8.093953e+00 | 1.000000e+01 | 23.55%
292.43/292.58 c 293s| 45700 | 10021 | 3651k| 79.9 | 30M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |6096 | 8.095353e+00 | 1.000000e+01 | 23.53%
293.04/293.11 c 293s| 45800 | 10007 | 3661k| 79.9 | 30M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |6099 | 8.095353e+00 | 1.000000e+01 | 23.53%
293.23/293.34 c 293s| 45900 | 9999 | 3664k| 79.8 | 30M| 92 | 65 | 200 | 200 | 200 | 201 | 1 | 0 |6106 | 8.095353e+00 | 1.000000e+01 | 23.53%
293.54/293.68 c 294s| 46000 | 9985 | 3669k| 79.7 | 30M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |6110 | 8.098128e+00 | 1.000000e+01 | 23.49%
293.94/294.06 c 294s| 46100 | 9975 | 3674k| 79.7 | 30M| 92 | 64 | 200 | 200 | 200 | 201 | 1 | 0 |6121 | 8.101042e+00 | 1.000000e+01 | 23.44%
294.33/294.40 c 294s| 46200 | 9965 | 3678k| 79.6 | 30M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |6133 | 8.103118e+00 | 1.000000e+01 | 23.41%
294.64/294.73 c 295s| 46300 | 9955 | 3683k| 79.5 | 30M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |6143 | 8.103118e+00 | 1.000000e+01 | 23.41%
294.94/295.10 c 295s| 46400 | 9941 | 3688k| 79.5 | 30M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |6153 | 8.103253e+00 | 1.000000e+01 | 23.41%
295.34/295.41 c 295s| 46500 | 9931 | 3692k| 79.4 | 30M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |6160 | 8.103673e+00 | 1.000000e+01 | 23.40%
295.64/295.77 c 296s| 46600 | 9919 | 3697k| 79.3 | 30M| 92 | 68 | 200 | 200 | 200 | 201 | 1 | 0 |6166 | 8.104019e+00 | 1.000000e+01 | 23.40%
296.05/296.13 c 296s| 46700 | 9909 | 3702k| 79.3 | 30M| 92 | 65 | 200 | 200 | 200 | 201 | 1 | 0 |6170 | 8.106349e+00 | 1.000000e+01 | 23.36%
296.33/296.44 c 296s| 46800 | 9897 | 3706k| 79.2 | 30M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |6177 | 8.106349e+00 | 1.000000e+01 | 23.36%
296.84/296.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
296.84/296.94 c 297s| 46900 | 9885 | 3715k| 79.2 | 30M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |6189 | 8.106349e+00 | 1.000000e+01 | 23.36%
297.25/297.30 c 297s| 47000 | 9877 | 3720k| 79.1 | 30M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |6196 | 8.112661e+00 | 1.000000e+01 | 23.26%
297.44/297.58 c 298s| 47100 | 9871 | 3724k| 79.0 | 30M| 92 | 63 | 200 | 200 | 200 | 201 | 1 | 0 |6204 | 8.112661e+00 | 1.000000e+01 | 23.26%
297.84/297.92 c 298s| 47200 | 9863 | 3729k| 79.0 | 30M| 92 | 78 | 200 | 200 | 200 | 201 | 1 | 0 |6208 | 8.113098e+00 | 1.000000e+01 | 23.26%
298.13/298.27 c 298s| 47300 | 9849 | 3734k| 78.9 | 30M| 92 | 63 | 200 | 200 | 200 | 201 | 1 | 0 |6214 | 8.115983e+00 | 1.000000e+01 | 23.21%
298.53/298.66 c 299s| 47400 | 9835 | 3739k| 78.9 | 30M| 92 | 61 | 200 | 200 | 200 | 201 | 1 | 0 |6222 | 8.117748e+00 | 1.000000e+01 | 23.19%
298.84/298.93 c 299s| 47500 | 9825 | 3742k| 78.8 | 30M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |6228 | 8.123958e+00 | 1.000000e+01 | 23.09%
299.13/299.22 c 299s| 47600 | 9813 | 3746k| 78.7 | 30M| 92 | 66 | 200 | 200 | 200 | 201 | 1 | 0 |6241 | 8.123958e+00 | 1.000000e+01 | 23.09%
299.44/299.54 c 300s| 47700 | 9803 | 3750k| 78.6 | 30M| 92 | 60 | 200 | 200 | 200 | 201 | 1 | 0 |6251 | 8.125238e+00 | 1.000000e+01 | 23.07%
299.73/299.82 c 300s| 47800 | 9791 | 3754k| 78.5 | 30M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |6254 | 8.125949e+00 | 1.000000e+01 | 23.06%
300.04/300.15 c 300s| 47900 | 9783 | 3759k| 78.4 | 30M| 92 | 59 | 200 | 200 | 200 | 201 | 1 | 0 |6262 | 8.132416e+00 | 1.000000e+01 | 22.96%
300.34/300.48 c 300s| 48000 | 9767 | 3763k| 78.4 | 30M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |6272 | 8.132416e+00 | 1.000000e+01 | 22.96%
300.74/300.85 c 301s| 48100 | 9755 | 3768k| 78.3 | 30M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |6284 | 8.135146e+00 | 1.000000e+01 | 22.92%
301.13/301.27 c 301s| 48200 | 9739 | 3774k| 78.3 | 30M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |6298 | 8.135988e+00 | 1.000000e+01 | 22.91%
301.54/301.61 c 302s| 48300 | 9729 | 3778k| 78.2 | 30M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |6307 | 8.136864e+00 | 1.000000e+01 | 22.90%
301.83/301.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
301.83/301.92 c 302s| 48400 | 9717 | 3782k| 78.1 | 30M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |6314 | 8.139785e+00 | 1.000000e+01 | 22.85%
302.13/302.25 c 302s| 48500 | 9705 | 3787k| 78.1 | 30M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |6320 | 8.140460e+00 | 1.000000e+01 | 22.84%
302.44/302.56 c 303s| 48600 | 9695 | 3791k| 78.0 | 30M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |6328 | 8.142174e+00 | 1.000000e+01 | 22.82%
303.04/303.12 c 303s| 48700 | 9681 | 3802k| 78.1 | 30M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |6336 | 8.142174e+00 | 1.000000e+01 | 22.82%
303.34/303.44 c 303s| 48800 | 9667 | 3806k| 78.0 | 30M| 92 | 70 | 200 | 200 | 200 | 201 | 1 | 0 |6347 | 8.142920e+00 | 1.000000e+01 | 22.81%
303.63/303.70 c 304s| 48900 | 9661 | 3810k| 77.9 | 30M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |6355 | 8.142920e+00 | 1.000000e+01 | 22.81%
303.94/304.08 c 304s| 49000 | 9649 | 3815k| 77.8 | 30M| 92 | 58 | 200 | 200 | 200 | 201 | 1 | 0 |6363 | 8.144855e+00 | 1.000000e+01 | 22.78%
304.34/304.40 c 304s| 49100 | 9635 | 3819k| 77.8 | 30M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |6371 | 8.144855e+00 | 1.000000e+01 | 22.78%
304.73/304.87 c 305s| 49200 | 9621 | 3827k| 77.8 | 30M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |6386 | 8.145039e+00 | 1.000000e+01 | 22.77%
305.13/305.26 c 305s| 49300 | 9605 | 3832k| 77.7 | 30M| 92 | 59 | 200 | 200 | 200 | 201 | 1 | 0 |6400 | 8.148030e+00 | 1.000000e+01 | 22.73%
305.54/305.65 c 306s| 49400 | 9589 | 3837k| 77.7 | 30M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |6413 | 8.148465e+00 | 1.000000e+01 | 22.72%
305.94/306.01 c 306s| 49500 | 9579 | 3842k| 77.6 | 30M| 92 | 63 | 200 | 200 | 200 | 201 | 1 | 0 |6425 | 8.150097e+00 | 1.000000e+01 | 22.70%
306.24/306.36 c 306s| 49600 | 9559 | 3847k| 77.5 | 30M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |6433 | 8.150606e+00 | 1.000000e+01 | 22.69%
306.74/306.84 c 307s| 49700 | 9545 | 3855k| 77.5 | 30M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |6447 | 8.150606e+00 | 1.000000e+01 | 22.69%
307.23/307.39 c 307s| 49800 | 9533 | 3865k| 77.6 | 30M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |6463 | 8.154770e+00 | 1.000000e+01 | 22.63%
307.64/307.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
307.64/307.79 c 308s| 49900 | 9519 | 3870k| 77.5 | 30M| 92 | 67 | 200 | 200 | 200 | 201 | 1 | 0 |6482 | 8.155536e+00 | 1.000000e+01 | 22.62%
308.14/308.20 c 308s| 50000 | 9503 | 3874k| 77.5 | 30M| 92 | 62 | 200 | 200 | 200 | 201 | 1 | 0 |6507 | 8.158827e+00 | 1.000000e+01 | 22.57%
308.43/308.59 c 309s| 50100 | 9487 | 3879k| 77.4 | 30M| 92 | 61 | 200 | 200 | 200 | 201 | 1 | 0 |6521 | 8.161667e+00 | 1.000000e+01 | 22.52%
308.94/309.00 c 309s| 50200 | 9469 | 3883k| 77.3 | 30M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |6549 | 8.161847e+00 | 1.000000e+01 | 22.52%
309.34/309.48 c 309s| 50300 | 9449 | 3889k| 77.3 | 30M| 92 | 64 | 200 | 200 | 200 | 201 | 1 | 0 |6570 | 8.163619e+00 | 1.000000e+01 | 22.49%
309.83/309.90 c 310s| 50400 | 9429 | 3895k| 77.3 | 30M| 92 | 68 | 200 | 200 | 200 | 201 | 1 | 0 |6591 | 8.163619e+00 | 1.000000e+01 | 22.49%
310.23/310.31 c 310s| 50500 | 9411 | 3899k| 77.2 | 30M| 92 | 66 | 200 | 200 | 200 | 201 | 1 | 0 |6613 | 8.164151e+00 | 1.000000e+01 | 22.49%
310.73/310.88 c 311s| 50600 | 9393 | 3909k| 77.2 | 30M| 92 | 72 | 200 | 200 | 200 | 201 | 1 | 0 |6628 | 8.167503e+00 | 1.000000e+01 | 22.44%
311.13/311.29 c 311s| 50700 | 9369 | 3914k| 77.2 | 30M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |6645 | 8.167503e+00 | 1.000000e+01 | 22.44%
311.74/311.82 c 312s| 50800 | 9347 | 3920k| 77.2 | 29M| 92 | 56 | 200 | 200 | 200 | 201 | 1 | 0 |6676 | 8.174024e+00 | 1.000000e+01 | 22.34%
312.14/312.27 c 312s| 50900 | 9325 | 3926k| 77.1 | 29M| 92 | 53 | 200 | 200 | 200 | 201 | 1 | 0 |6701 | 8.174258e+00 | 1.000000e+01 | 22.34%
312.54/312.66 c 313s| 51000 | 9303 | 3931k| 77.1 | 29M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |6718 | 8.176175e+00 | 1.000000e+01 | 22.31%
313.14/313.26 c 313s| 51100 | 9285 | 3938k| 77.1 | 29M| 92 | 67 | 200 | 200 | 200 | 201 | 1 | 0 |6748 | 8.185942e+00 | 1.000000e+01 | 22.16%
313.64/313.78 c 314s| 51200 | 9267 | 3945k| 77.0 | 29M| 92 | 53 | 200 | 200 | 200 | 201 | 1 | 0 |6772 | 8.187339e+00 | 1.000000e+01 | 22.14%
313.94/314.06 c 314s| 51300 | 9245 | 3948k| 76.9 | 29M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |6783 | 8.187766e+00 | 1.000000e+01 | 22.13%
314.33/314.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
314.33/314.48 c 314s| 51400 | 9229 | 3953k| 76.9 | 29M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |6804 | 8.194789e+00 | 1.000000e+01 | 22.03%
314.74/314.89 c 315s| 51500 | 9211 | 3958k| 76.8 | 29M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |6821 | 8.194789e+00 | 1.000000e+01 | 22.03%
315.54/315.60 c 316s| 51600 | 9189 | 3969k| 76.9 | 29M| 92 | 67 | 200 | 200 | 200 | 201 | 1 | 0 |6851 | 8.203179e+00 | 1.000000e+01 | 21.90%
315.94/316.02 c 316s| 51700 | 9169 | 3974k| 76.8 | 29M| 92 | 67 | 200 | 200 | 200 | 201 | 1 | 0 |6868 | 8.203382e+00 | 1.000000e+01 | 21.90%
316.44/316.57 c 317s| 51800 | 9149 | 3981k| 76.8 | 29M| 92 | 56 | 200 | 200 | 200 | 201 | 1 | 0 |6896 | 8.205917e+00 | 1.000000e+01 | 21.86%
316.83/316.99 c 317s| 51900 | 9129 | 3986k| 76.8 | 29M| 92 | 65 | 200 | 200 | 200 | 201 | 1 | 0 |6915 | 8.206950e+00 | 1.000000e+01 | 21.85%
317.33/317.44 c 317s| 52000 | 9105 | 3991k| 76.7 | 29M| 92 | - | 200 | 200 | 200 | 201 | 1 | 0 |6936 | 8.207368e+00 | 1.000000e+01 | 21.84%
317.83/317.96 c 318s| 52100 | 9077 | 3997k| 76.7 | 29M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |6965 | 8.209848e+00 | 1.000000e+01 | 21.80%
318.44/318.52 c 319s| 52200 | 9049 | 4004k| 76.7 | 29M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |6993 | 8.211197e+00 | 1.000000e+01 | 21.78%
319.04/319.13 c 319s| 52300 | 9033 | 4014k| 76.7 | 29M| 93 | 52 | 200 | 200 | 200 | 201 | 1 | 0 |7017 | 8.214080e+00 | 1.000000e+01 | 21.74%
319.53/319.61 c 320s| 52400 | 9009 | 4020k| 76.7 | 29M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |7044 | 8.215088e+00 | 1.000000e+01 | 21.73%
320.13/320.20 c 320s| 52500 | 8977 | 4027k| 76.7 | 29M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |7072 | 8.216870e+00 | 1.000000e+01 | 21.70%
320.43/320.59 c 321s| 52600 | 8955 | 4032k| 76.6 | 29M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |7093 | 8.216870e+00 | 1.000000e+01 | 21.70%
321.03/321.11 c 321s| 52700 | 8927 | 4038k| 76.6 | 29M| 93 | 72 | 200 | 200 | 200 | 201 | 1 | 0 |7119 | 8.218005e+00 | 1.000000e+01 | 21.68%
321.33/321.46 c 321s| 52800 | 8907 | 4043k| 76.5 | 29M| 93 | 56 | 200 | 200 | 200 | 201 | 1 | 0 |7138 | 8.218140e+00 | 1.000000e+01 | 21.68%
322.03/322.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
322.03/322.10 c 322s| 52900 | 8875 | 4053k| 76.6 | 29M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |7165 | 8.218873e+00 | 1.000000e+01 | 21.67%
322.44/322.54 c 323s| 53000 | 8849 | 4058k| 76.6 | 29M| 93 | 67 | 200 | 200 | 200 | 201 | 1 | 0 |7182 | 8.220130e+00 | 1.000000e+01 | 21.65%
322.93/323.05 c 323s| 53100 | 8821 | 4065k| 76.5 | 29M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |7204 | 8.222642e+00 | 1.000000e+01 | 21.62%
323.43/323.56 c 324s| 53200 | 8793 | 4071k| 76.5 | 29M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |7228 | 8.226981e+00 | 1.000000e+01 | 21.55%
323.93/324.06 c 324s| 53300 | 8773 | 4077k| 76.5 | 29M| 93 | 67 | 200 | 200 | 200 | 201 | 1 | 0 |7249 | 8.231291e+00 | 1.000000e+01 | 21.49%
324.43/324.59 c 325s| 53400 | 8743 | 4083k| 76.4 | 29M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |7274 | 8.233697e+00 | 1.000000e+01 | 21.45%
324.93/325.03 c 325s| 53500 | 8721 | 4088k| 76.4 | 29M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |7300 | 8.238382e+00 | 1.000000e+01 | 21.38%
325.53/325.66 c 326s| 53600 | 8689 | 4096k| 76.4 | 29M| 93 | 60 | 200 | 200 | 200 | 201 | 1 | 0 |7333 | 8.240835e+00 | 1.000000e+01 | 21.35%
326.03/326.17 c 326s| 53700 | 8661 | 4104k| 76.4 | 29M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |7354 | 8.242545e+00 | 1.000000e+01 | 21.32%
326.53/326.68 c 327s| 53800 | 8635 | 4110k| 76.4 | 29M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |7374 | 8.243462e+00 | 1.000000e+01 | 21.31%
327.03/327.17 c 327s| 53900 | 8607 | 4116k| 76.3 | 29M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |7400 | 8.244916e+00 | 1.000000e+01 | 21.29%
328.04/328.19 c 328s| 54000 | 8559 | 4131k| 76.5 | 29M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |7444 | 8.248353e+00 | 1.000000e+01 | 21.24%
328.73/328.84 c 329s| 54100 | 8519 | 4139k| 76.5 | 29M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |7475 | 8.249691e+00 | 1.000000e+01 | 21.22%
329.53/329.60 c 330s| 54200 | 8475 | 4148k| 76.5 | 29M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |7514 | 8.252398e+00 | 1.000000e+01 | 21.18%
330.03/330.12 c 330s| 54300 | 8449 | 4155k| 76.5 | 29M| 93 | 64 | 200 | 200 | 200 | 201 | 1 | 0 |7535 | 8.257474e+00 | 1.000000e+01 | 21.10%
330.43/330.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
330.43/330.58 c 331s| 54400 | 8409 | 4160k| 76.5 | 29M| 93 | 56 | 200 | 200 | 200 | 201 | 1 | 0 |7555 | 8.258745e+00 | 1.000000e+01 | 21.08%
331.33/331.43 c 331s| 54500 | 8365 | 4173k| 76.5 | 29M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |7590 | 8.261909e+00 | 1.000000e+01 | 21.04%
331.93/332.07 c 332s| 54600 | 8325 | 4181k| 76.6 | 29M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |7619 | 8.262478e+00 | 1.000000e+01 | 21.03%
332.63/332.73 c 333s| 54700 | 8285 | 4188k| 76.6 | 29M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |7662 | 8.265385e+00 | 1.000000e+01 | 20.99%
333.23/333.37 c 333s| 54800 | 8249 | 4196k| 76.6 | 29M| 93 | 71 | 200 | 200 | 200 | 201 | 1 | 0 |7687 | 8.270335e+00 | 1.000000e+01 | 20.91%
334.03/334.12 c 334s| 54900 | 8199 | 4208k| 76.6 | 29M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |7712 | 8.274449e+00 | 1.000000e+01 | 20.85%
334.64/334.77 c 335s| 55000 | 8159 | 4216k| 76.6 | 29M| 93 | 69 | 200 | 200 | 200 | 201 | 1 | 0 |7744 | 8.276147e+00 | 1.000000e+01 | 20.83%
335.64/335.72 c 336s| 55100 | 8091 | 4229k| 76.7 | 29M| 93 | 64 | 200 | 200 | 200 | 201 | 1 | 0 |7789 | 8.279461e+00 | 1.000000e+01 | 20.78%
336.23/336.38 c 336s| 55200 | 8031 | 4237k| 76.7 | 29M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |7827 | 8.281817e+00 | 1.000000e+01 | 20.75%
337.03/337.17 c 337s| 55300 | 7977 | 4248k| 76.8 | 29M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |7865 | 8.289753e+00 | 1.000000e+01 | 20.63%
337.83/337.92 c 338s| 55400 | 7925 | 4258k| 76.8 | 29M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |7905 | 8.293368e+00 | 1.000000e+01 | 20.58%
338.63/338.72 c 339s| 55500 | 7881 | 4270k| 76.9 | 29M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |7940 | 8.298943e+00 | 1.000000e+01 | 20.50%
339.33/339.42 c 339s| 55600 | 7825 | 4278k| 76.9 | 29M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |7969 | 8.305349e+00 | 1.000000e+01 | 20.40%
340.22/340.35 c 340s| 55700 | 7757 | 4290k| 77.0 | 28M| 93 | 63 | 200 | 200 | 200 | 201 | 1 | 0 |8023 | 8.310894e+00 | 1.000000e+01 | 20.32%
341.14/341.27 c 341s| 55800 | 7691 | 4303k| 77.1 | 28M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8062 | 8.318103e+00 | 1.000000e+01 | 20.22%
341.93/342.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
341.93/342.06 c 342s| 55900 | 7631 | 4313k| 77.1 | 28M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8103 | 8.321843e+00 | 1.000000e+01 | 20.17%
342.83/342.91 c 343s| 56000 | 7553 | 4324k| 77.2 | 28M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8142 | 8.329897e+00 | 1.000000e+01 | 20.05%
344.03/344.13 c 344s| 56100 | 7467 | 4342k| 77.4 | 28M| 93 | 55 | 200 | 200 | 200 | 201 | 1 | 0 |8200 | 8.335188e+00 | 1.000000e+01 | 19.97%
345.13/345.29 c 345s| 56200 | 7367 | 4358k| 77.5 | 28M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8255 | 8.342745e+00 | 1.000000e+01 | 19.86%
346.53/346.62 c 347s| 56300 | 7267 | 4374k| 77.7 | 28M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8330 | 8.351935e+00 | 1.000000e+01 | 19.73%
347.62/347.76 c 348s| 56400 | 7167 | 4392k| 77.8 | 28M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8366 | 8.356298e+00 | 1.000000e+01 | 19.67%
348.53/348.65 c 349s| 56500 | 7067 | 4404k| 77.9 | 28M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8392 | 8.362464e+00 | 1.000000e+01 | 19.58%
349.52/349.61 c 350s| 56600 | 6967 | 4420k| 78.1 | 28M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8409 | 8.369080e+00 | 1.000000e+01 | 19.49%
350.52/350.62 c 351s| 56700 | 6867 | 4434k| 78.2 | 28M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8454 | 8.376126e+00 | 1.000000e+01 | 19.39%
351.42/351.53 c 352s| 56800 | 6767 | 4447k| 78.3 | 28M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8476 | 8.386994e+00 | 1.000000e+01 | 19.23%
352.33/352.43 c 352s| 56900 | 6667 | 4462k| 78.4 | 28M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8493 | 8.392699e+00 | 1.000000e+01 | 19.15%
353.03/353.15 c 353s| 57000 | 6567 | 4473k| 78.5 | 28M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8503 | 8.401686e+00 | 1.000000e+01 | 19.02%
353.93/354.08 c 354s| 57100 | 6467 | 4488k| 78.6 | 28M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8531 | 8.409104e+00 | 1.000000e+01 | 18.92%
354.73/354.83 c 355s| 57200 | 6367 | 4499k| 78.6 | 28M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8548 | 8.415139e+00 | 1.000000e+01 | 18.83%
355.43/355.59 c 356s| 57300 | 6267 | 4512k| 78.7 | 28M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8552 | 8.423969e+00 | 1.000000e+01 | 18.71%
356.12/356.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
356.12/356.24 c 356s| 57400 | 6167 | 4523k| 78.8 | 28M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8560 | 8.432765e+00 | 1.000000e+01 | 18.59%
356.72/356.87 c 357s| 57500 | 6067 | 4532k| 78.8 | 28M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8566 | 8.442078e+00 | 1.000000e+01 | 18.45%
357.33/357.43 c 357s| 57600 | 5967 | 4541k| 78.8 | 28M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8568 | 8.448440e+00 | 1.000000e+01 | 18.37%
357.82/357.96 c 358s| 57700 | 5867 | 4550k| 78.8 | 28M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8568 | 8.462243e+00 | 1.000000e+01 | 18.17%
358.52/358.65 c 359s| 57800 | 5767 | 4562k| 78.9 | 28M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8572 | 8.467842e+00 | 1.000000e+01 | 18.09%
359.03/359.15 c 359s| 57900 | 5667 | 4570k| 78.9 | 27M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8572 | 8.471241e+00 | 1.000000e+01 | 18.05%
359.53/359.62 c 360s| 58000 | 5567 | 4578k| 78.9 | 27M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8572 | 8.476343e+00 | 1.000000e+01 | 17.98%
360.13/360.27 c 360s| 58100 | 5467 | 4590k| 79.0 | 27M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8574 | 8.482256e+00 | 1.000000e+01 | 17.89%
360.63/360.78 c 361s| 58200 | 5367 | 4598k| 79.0 | 27M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8576 | 8.489445e+00 | 1.000000e+01 | 17.79%
361.13/361.29 c 361s| 58300 | 5267 | 4606k| 79.0 | 27M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8577 | 8.495286e+00 | 1.000000e+01 | 17.71%
361.62/361.71 c 362s| 58400 | 5167 | 4612k| 79.0 | 27M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8577 | 8.502636e+00 | 1.000000e+01 | 17.61%
362.03/362.13 c 362s| 58500 | 5067 | 4619k| 78.9 | 27M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8577 | 8.509778e+00 | 1.000000e+01 | 17.51%
362.52/362.64 c 363s| 58600 | 4967 | 4628k| 79.0 | 27M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8578 | 8.518623e+00 | 1.000000e+01 | 17.39%
362.92/363.03 c 363s| 58700 | 4867 | 4634k| 78.9 | 27M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8578 | 8.527133e+00 | 1.000000e+01 | 17.27%
363.33/363.40 c 363s| 58800 | 4767 | 4640k| 78.9 | 27M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8578 | 8.531481e+00 | 1.000000e+01 | 17.21%
363.82/363.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
363.82/363.92 c 364s| 58900 | 4667 | 4650k| 78.9 | 27M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8579 | 8.539496e+00 | 1.000000e+01 | 17.10%
364.23/364.34 c 364s| 59000 | 4567 | 4656k| 78.9 | 27M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8584 | 8.545713e+00 | 1.000000e+01 | 17.02%
364.52/364.67 c 365s| 59100 | 4467 | 4661k| 78.8 | 27M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8585 | 8.553452e+00 | 1.000000e+01 | 16.91%
364.93/365.00 c 365s| 59200 | 4367 | 4666k| 78.8 | 27M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8585 | 8.558963e+00 | 1.000000e+01 | 16.84%
365.22/365.33 c 365s| 59300 | 4267 | 4671k| 78.7 | 26M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8585 | 8.564214e+00 | 1.000000e+01 | 16.76%
365.53/365.63 c 366s| 59400 | 4167 | 4675k| 78.7 | 26M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8585 | 8.570403e+00 | 1.000000e+01 | 16.68%
365.82/365.95 c 366s| 59500 | 4067 | 4680k| 78.6 | 26M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8585 | 8.574788e+00 | 1.000000e+01 | 16.62%
366.13/366.26 c 366s| 59600 | 3967 | 4684k| 78.6 | 26M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8585 | 8.589556e+00 | 1.000000e+01 | 16.42%
366.43/366.54 c 367s| 59700 | 3867 | 4688k| 78.5 | 26M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8585 | 8.593377e+00 | 1.000000e+01 | 16.37%
366.73/366.84 c 367s| 59800 | 3767 | 4692k| 78.4 | 26M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8585 | 8.600042e+00 | 1.000000e+01 | 16.28%
367.03/367.15 c 367s| 59900 | 3667 | 4697k| 78.4 | 26M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8585 | 8.605768e+00 | 1.000000e+01 | 16.20%
367.32/367.41 c 367s| 60000 | 3567 | 4700k| 78.3 | 26M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8585 | 8.611395e+00 | 1.000000e+01 | 16.13%
367.63/367.71 c 368s| 60100 | 3467 | 4705k| 78.3 | 25M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8585 | 8.617817e+00 | 1.000000e+01 | 16.04%
367.82/367.99 c 368s| 60200 | 3367 | 4709k| 78.2 | 25M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8585 | 8.619709e+00 | 1.000000e+01 | 16.01%
368.13/368.24 c 368s| 60300 | 3267 | 4712k| 78.1 | 25M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8585 | 8.627527e+00 | 1.000000e+01 | 15.91%
368.33/368.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
368.33/368.48 c 368s| 60400 | 3167 | 4715k| 78.1 | 25M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8585 | 8.639095e+00 | 1.000000e+01 | 15.75%
368.63/368.75 c 369s| 60500 | 3067 | 4719k| 78.0 | 25M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8585 | 8.643467e+00 | 1.000000e+01 | 15.69%
368.93/369.01 c 369s| 60600 | 2967 | 4723k| 77.9 | 25M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8585 | 8.646951e+00 | 1.000000e+01 | 15.65%
369.12/369.25 c 369s| 60700 | 2867 | 4726k| 77.8 | 24M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8585 | 8.650596e+00 | 1.000000e+01 | 15.60%
369.32/369.48 c 369s| 60800 | 2767 | 4729k| 77.8 | 24M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8585 | 8.655053e+00 | 1.000000e+01 | 15.54%
369.62/369.71 c 370s| 60900 | 2667 | 4732k| 77.7 | 24M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8585 | 8.661871e+00 | 1.000000e+01 | 15.45%
369.83/369.91 c 370s| 61000 | 2567 | 4735k| 77.6 | 24M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8585 | 8.666239e+00 | 1.000000e+01 | 15.39%
370.03/370.13 c 370s| 61100 | 2467 | 4737k| 77.5 | 24M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8585 | 8.671750e+00 | 1.000000e+01 | 15.32%
370.22/370.34 c 370s| 61200 | 2367 | 4740k| 77.4 | 23M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8585 | 8.683341e+00 | 1.000000e+01 | 15.16%
370.42/370.56 c 371s| 61300 | 2267 | 4743k| 77.4 | 23M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8585 | 8.687140e+00 | 1.000000e+01 | 15.11%
370.63/370.76 c 371s| 61400 | 2167 | 4745k| 77.3 | 23M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8585 | 8.693419e+00 | 1.000000e+01 | 15.03%
370.83/370.96 c 371s| 61500 | 2067 | 4748k| 77.2 | 23M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8585 | 8.704602e+00 | 1.000000e+01 | 14.88%
371.03/371.16 c 371s| 61600 | 1967 | 4750k| 77.1 | 22M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8585 | 8.710190e+00 | 1.000000e+01 | 14.81%
371.23/371.33 c 371s| 61700 | 1867 | 4752k| 77.0 | 22M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8585 | 8.715250e+00 | 1.000000e+01 | 14.74%
371.42/371.52 c 372s| 61800 | 1767 | 4754k| 76.9 | 22M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8585 | 8.722301e+00 | 1.000000e+01 | 14.65%
371.62/371.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
371.62/371.70 c 372s| 61900 | 1667 | 4756k| 76.8 | 22M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8585 | 8.730478e+00 | 1.000000e+01 | 14.54%
371.73/371.88 c 372s| 62000 | 1567 | 4758k| 76.7 | 21M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8585 | 8.737628e+00 | 1.000000e+01 | 14.45%
371.93/372.05 c 372s| 62100 | 1467 | 4760k| 76.6 | 21M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8585 | 8.742609e+00 | 1.000000e+01 | 14.38%
372.12/372.22 c 372s| 62200 | 1367 | 4762k| 76.5 | 21M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8585 | 8.748282e+00 | 1.000000e+01 | 14.31%
372.23/372.38 c 372s| 62300 | 1267 | 4763k| 76.4 | 20M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8585 | 8.757511e+00 | 1.000000e+01 | 14.19%
372.42/372.56 c 373s| 62400 | 1167 | 4765k| 76.4 | 20M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8585 | 8.762754e+00 | 1.000000e+01 | 14.12%
372.62/372.71 c 373s| 62500 | 1067 | 4767k| 76.3 | 20M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8585 | 8.771806e+00 | 1.000000e+01 | 14.00%
372.73/372.87 c 373s| 62600 | 967 | 4768k| 76.2 | 19M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8585 | 8.777445e+00 | 1.000000e+01 | 13.93%
372.93/373.02 c 373s| 62700 | 867 | 4770k| 76.1 | 19M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8585 | 8.793137e+00 | 1.000000e+01 | 13.73%
373.03/373.16 c 373s| 62800 | 767 | 4771k| 76.0 | 19M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8585 | 8.799091e+00 | 1.000000e+01 | 13.65%
373.22/373.31 c 373s| 62900 | 667 | 4772k| 75.9 | 18M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8585 | 8.807036e+00 | 1.000000e+01 | 13.55%
373.32/373.45 c 373s| 63000 | 567 | 4774k| 75.8 | 18M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8585 | 8.815204e+00 | 1.000000e+01 | 13.44%
373.42/373.59 c 374s| 63100 | 467 | 4775k| 75.7 | 17M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8585 | 8.822826e+00 | 1.000000e+01 | 13.34%
373.63/373.72 c 374s| 63200 | 367 | 4776k| 75.5 | 17M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8585 | 8.829047e+00 | 1.000000e+01 | 13.26%
373.73/373.84 c 374s| 63300 | 267 | 4777k| 75.4 | 16M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8585 | 8.847753e+00 | 1.000000e+01 | 13.02%
373.83/373.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
373.83/373.95 c 374s| 63400 | 167 | 4777k| 75.3 | 16M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8585 | 8.864312e+00 | 1.000000e+01 | 12.81%
373.93/374.06 c 374s| 63500 | 67 | 4778k| 75.2 | 15M| 93 | - | 200 | 200 | 200 | 201 | 1 | 0 |8585 | 8.882026e+00 | 1.000000e+01 | 12.59%
374.03/374.13 c
374.03/374.13 c SCIP Status : problem is solved [optimal solution found]
374.03/374.13 c Solving Time (sec) : 374.13
374.03/374.13 c Solving Nodes : 63567
374.03/374.13 c Primal Bound : +1.00000000000000e+01 (739 solutions)
374.03/374.13 c Dual Bound : +1.00000000000000e+01
374.03/374.13 c Gap : 0.00 %
374.03/374.13 s OPTIMUM FOUND
374.03/374.13 v -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179
374.03/374.13 v -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159
374.03/374.13 v -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138
374.03/374.13 v -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117
374.03/374.13 v -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 x95
374.03/374.13 v -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70
374.03/374.13 v -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45
374.03/374.13 v -x44 -x43 -x42 -x41 -x40 -x39 x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 x19
374.03/374.13 v -x18 -x17 -x16 -x15 x14 -x13 -x12 -x11 -x10 -x9 x8 -x7 -x6 x5 x4 -x3 -x2 -x1
374.03/374.13 c SCIP Status : problem is solved [optimal solution found]
374.03/374.13 c Total Time : 374.13
374.03/374.13 c solving : 374.13
374.03/374.13 c presolving : 0.10 (included in solving)
374.03/374.13 c reading : 0.02 (included in solving)
374.03/374.13 c copying : 0.05 (9 #copies) (minimal 0.00, maximal 0.01, average 0.01)
374.03/374.13 c Original Problem :
374.03/374.13 c Problem name : HOME/instance-3692616-1338036021.opb
374.03/374.13 c Variables : 6460 (200 binary, 0 integer, 6260 implicit integer, 0 continuous)
374.03/374.13 c Constraints : 6660 initial, 6660 maximal
374.03/374.13 c Objective sense : minimize
374.03/374.13 c Presolved Problem :
374.03/374.13 c Problem name : t_HOME/instance-3692616-1338036021.opb
374.03/374.13 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
374.03/374.13 c Constraints : 200 initial, 200 maximal
374.03/374.13 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
374.03/374.13 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
374.03/374.13 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
374.03/374.13 c dualfix : 0.01 0.00 6260 0 0 0 0 0 0 0 0
374.03/374.13 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
374.03/374.13 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
374.03/374.13 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
374.03/374.13 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
374.03/374.13 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
374.03/374.13 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
374.03/374.13 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
374.03/374.13 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
374.03/374.13 c linear : 0.00 0.00 0 0 0 0 0 0 0 0 0
374.03/374.13 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
374.03/374.13 c pseudoboolean : 0.01 0.00 0 0 0 0 0 6660 200 0 0
374.03/374.13 c root node : - - 1 - - 1 - - - - -
374.03/374.13 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
374.03/374.13 c integral : 0 0 0 0 34948 0 743 0 527 6075 0 0 63568
374.03/374.13 c logicor : 200 200 2 61155 1 0 738 0 0 0 0 0 0
374.03/374.13 c countsols : 0 0 0 0 1 0 741 0 0 0 0 0 0
374.03/374.13 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
374.03/374.13 c integral : 50.32 0.00 0.00 0.00 50.31 0.00 0.00 0.00
374.03/374.13 c logicor : 1.07 0.00 0.00 1.07 0.00 0.00 0.00 0.00
374.03/374.13 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
374.03/374.13 c Propagators : #Propagate #ResProp Cutoffs DomReds
374.03/374.13 c rootredcost : 1 0 0 0
374.03/374.13 c pseudoobj : 125369 0 0 0
374.03/374.13 c vbounds : 0 0 0 0
374.03/374.13 c redcost : 64735 0 0 470193
374.03/374.13 c probing : 0 0 0 0
374.03/374.13 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
374.03/374.13 c rootredcost : 0.03 0.00 0.00 0.03 0.00
374.03/374.13 c pseudoobj : 0.12 0.00 0.00 0.12 0.00
374.03/374.13 c vbounds : 0.03 0.00 0.00 0.03 0.00
374.03/374.13 c redcost : 0.69 0.00 0.00 0.69 0.00
374.03/374.13 c probing : 0.00 0.00 0.00 0.00 0.00
374.03/374.13 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
374.03/374.13 c propagation : 0.00 0 0 0 0.0 0 0.0 -
374.03/374.13 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
374.03/374.13 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
374.03/374.13 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
374.03/374.13 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
374.03/374.13 c applied globally : - - - 0 0.0 - - -
374.03/374.13 c applied locally : - - - 0 0.0 - - -
374.03/374.13 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
374.03/374.13 c cut pool : 0.00 1 - - 0 - (maximal pool size: 1)
374.03/374.13 c closecuts : 0.00 0.00 0 0 0 0 0
374.03/374.13 c impliedbounds : 0.00 0.00 3 0 0 0 0
374.03/374.13 c intobj : 0.00 0.00 0 0 0 0 0
374.03/374.13 c gomory : 0.04 0.00 3 0 0 0 0
374.03/374.13 c cgmip : 0.00 0.00 0 0 0 0 0
374.03/374.13 c strongcg : 0.03 0.00 3 0 0 1 0
374.03/374.13 c cmir : 0.01 0.00 3 0 0 0 0
374.03/374.13 c flowcover : 0.01 0.00 3 0 0 0 0
374.03/374.13 c clique : 0.00 0.00 1 0 0 0 0
374.03/374.13 c zerohalf : 0.00 0.00 0 0 0 0 0
374.03/374.13 c mcf : 0.00 0.00 1 0 0 0 0
374.03/374.13 c oddcycle : 0.00 0.00 0 0 0 0 0
374.03/374.13 c rapidlearning : 0.00 0.00 0 0 0 0 0
374.03/374.13 c Pricers : ExecTime SetupTime Calls Vars
374.03/374.13 c problem variables: 0.00 - 0 0
374.03/374.13 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
374.03/374.13 c relpscost : 50.28 0.00 34947 527 6075 0 0 63568
374.03/374.13 c pscost : 0.00 0.00 0 0 0 0 0 0
374.03/374.13 c inference : 0.00 0.00 0 0 0 0 0 0
374.03/374.13 c mostinf : 0.00 0.00 0 0 0 0 0 0
374.03/374.13 c leastinf : 0.00 0.00 0 0 0 0 0 0
374.03/374.13 c fullstrong : 0.00 0.00 0 0 0 0 0 0
374.03/374.13 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
374.03/374.13 c random : 0.00 0.00 0 0 0 0 0 0
374.03/374.13 c Primal Heuristics : ExecTime SetupTime Calls Found
374.03/374.13 c LP solutions : 0.00 - - 1
374.03/374.13 c pseudo solutions : 0.00 - - 0
374.03/374.13 c feaspump : 0.00 0.00 0 0
374.03/374.13 c oneopt : 0.02 0.00 3 1
374.03/374.13 c crossover : 0.20 0.00 8 4
374.03/374.13 c rootsoldiving : 1.75 0.00 54 0
374.03/374.13 c objpscostdiving : 13.54 0.00 93 132
374.03/374.13 c guideddiving : 3.41 0.00 210 0
374.03/374.13 c veclendiving : 6.21 0.00 211 0
374.03/374.13 c linesearchdiving : 4.75 0.00 211 0
374.03/374.13 c fracdiving : 3.38 0.00 211 0
374.03/374.13 c coefdiving : 4.68 0.00 211 5
374.03/374.13 c pscostdiving : 5.15 0.00 211 0
374.03/374.13 c smallcard : 0.00 0.00 0 0
374.03/374.13 c trivial : 0.01 0.00 2 2
374.03/374.13 c shiftandpropagate: 0.00 0.00 0 0
374.03/374.13 c simplerounding : 0.38 0.00 34948 83
374.03/374.13 c zirounding : 3.12 0.00 25301 506
374.03/374.13 c rounding : 0.47 0.00 11563 2
374.03/374.13 c shifting : 0.17 0.00 2893 2
374.03/374.13 c intshifting : 0.00 0.00 0 0
374.03/374.13 c twoopt : 0.00 0.00 0 0
374.03/374.13 c indoneopt : 0.04 0.00 0 0
374.03/374.13 c indtwoopt : 0.00 0.00 0 0
374.03/374.13 c fixandinfer : 0.00 0.00 0 0
374.03/374.13 c clique : 0.00 0.00 0 0
374.03/374.13 c indcoefdiving : 0.00 0.00 0 0
374.03/374.13 c indrounding : 0.00 0.00 0 0
374.03/374.13 c nlpdiving : 0.00 0.00 0 0
374.03/374.13 c intdiving : 0.00 0.00 0 0
374.03/374.13 c actconsdiving : 0.00 0.00 0 0
374.03/374.13 c octane : 0.00 0.00 0 0
374.03/374.13 c rens : 4.92 0.00 1 1
374.03/374.13 c rins : 0.00 0.00 0 0
374.03/374.13 c localbranching : 0.00 0.00 0 0
374.03/374.13 c mutation : 0.00 0.00 0 0
374.03/374.13 c dins : 0.00 0.00 0 0
374.03/374.13 c vbounds : 0.00 0.00 0 0
374.03/374.13 c undercover : 0.00 0.00 0 0
374.03/374.13 c subnlp : 0.02 0.00 0 0
374.03/374.13 c trysol : 0.03 0.00 0 0
374.03/374.13 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
374.03/374.13 c primal LP : 0.00 0 0 0.00 - 0.00 0
374.03/374.13 c dual LP : 263.55 96136 4019996 60.72 15253.19 2.92 29932
374.03/374.13 c lex dual LP : 0.00 0 0 0.00 -
374.03/374.13 c barrier LP : 0.00 0 0 0.00 - 0.00 0
374.03/374.13 c diving/probing LP: 40.97 29963 758803 25.32 18522.46
374.03/374.13 c strong branching : 49.60 8585 646689 75.33 13037.51
374.03/374.13 c (at root node) : - 17 9153 538.41 -
374.03/374.13 c conflict analysis: 0.00 0 0 0.00 -
374.03/374.13 c B&B Tree :
374.03/374.13 c number of runs : 1
374.03/374.13 c nodes : 63567
374.03/374.13 c nodes (total) : 63567
374.03/374.13 c nodes left : 0
374.03/374.13 c max depth : 93
374.03/374.13 c max depth (total): 93
374.03/374.13 c backtracks : 14533 (22.9%)
374.03/374.13 c delayed cutoffs : 0
374.03/374.13 c repropagations : 0 (0 domain reductions, 0 cutoffs)
374.03/374.13 c avg switch length: 13.27
374.03/374.13 c switching time : 1.43
374.03/374.13 c Solution :
374.03/374.13 c Solutions found : 739 (9 improvements)
374.03/374.13 c First Solution : +2.00000000000000e+02 (in run 1, after 0 nodes, 0.04 seconds, depth 0, found by <trivial>)
374.03/374.13 c Primal Bound : +1.00000000000000e+01 (in run 1, after 8 nodes, 7.36 seconds, depth 7, found by <relaxation>)
374.03/374.13 c Dual Bound : +1.00000000000000e+01
374.03/374.13 c Gap : 0.00 %
374.03/374.13 c Root Dual Bound : +6.19818476358266e+00
374.03/374.13 c Root Iterations : 1571
374.03/374.15 c Time complete: 374.08.
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-3692616-1338036021/watcher-3692616-1338036021 -o /tmp/evaluation-result-3692616-1338036021/solver-3692616-1338036021 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692616-1338036021.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2897
/proc/meminfo: memFree=28479384/32873648 swapFree=6852/6852
[pid=2897] ppid=2895 vsize=13016 CPUtime=0 cores=0,2,4,6
/proc/2897/stat : 2897 (scip-2.1.1.4exp) R 2895 2897 1296 0 -1 4202496 2029 0 0 0 0 0 0 0 20 0 1 0 269728132 13328384 1983 33554432000 4194304 10219143 140734125317904 140734585146056 7589947 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2897/statm: 3254 1983 435 1471 0 1774 0
[startup+0.033692 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2897
/proc/meminfo: memFree=28479384/32873648 swapFree=6852/6852
[pid=2897] ppid=2895 vsize=29964 CPUtime=0.02 cores=0,2,4,6
/proc/2897/stat : 2897 (scip-2.1.1.4exp) R 2895 2897 1296 0 -1 4202496 6242 0 0 0 2 0 0 0 20 0 1 0 269728132 30683136 6197 33554432000 4194304 10219143 140734125317904 140734585146056 7589947 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2897/statm: 7491 6202 489 1471 0 6011 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 29964
[startup+0.100327 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2897
/proc/meminfo: memFree=28479384/32873648 swapFree=6852/6852
[pid=2897] ppid=2895 vsize=38136 CPUtime=0.09 cores=0,2,4,6
/proc/2897/stat : 2897 (scip-2.1.1.4exp) R 2895 2897 1296 0 -1 4202496 8283 0 0 0 6 3 0 0 20 0 1 0 269728132 39051264 7980 33554432000 4194304 10219143 140734125317904 140734585146056 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2897/statm: 9534 7980 556 1471 0 8054 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38136
[startup+0.30015 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2897
/proc/meminfo: memFree=28479384/32873648 swapFree=6852/6852
[pid=2897] ppid=2895 vsize=41148 CPUtime=0.29 cores=0,2,4,6
/proc/2897/stat : 2897 (scip-2.1.1.4exp) R 2895 2897 1296 0 -1 4202496 9344 0 0 0 25 4 0 0 20 0 1 0 269728132 42135552 9009 33554432000 4194304 10219143 140734125317904 140734585146056 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2897/statm: 10287 9009 792 1471 0 8807 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 41148
[startup+0.795399 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2897
/proc/meminfo: memFree=28479384/32873648 swapFree=6852/6852
[pid=2897] ppid=2895 vsize=55296 CPUtime=0.78 cores=0,2,4,6
/proc/2897/stat : 2897 (scip-2.1.1.4exp) R 2895 2897 1296 0 -1 4202496 12683 0 0 0 73 5 0 0 20 0 1 0 269728132 56623104 12326 33554432000 4194304 10219143 140734125317904 140734125311480 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2897/statm: 13824 12326 829 1471 0 12344 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 55296
[startup+1.5002 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 2898
/proc/meminfo: memFree=28427364/32873648 swapFree=6852/6852
[pid=2897] ppid=2895 vsize=55440 CPUtime=1.48 cores=0,2,4,6
/proc/2897/stat : 2897 (scip-2.1.1.4exp) R 2895 2897 1296 0 -1 4202496 12687 0 0 0 142 6 0 0 20 0 1 0 269728132 56770560 12330 33554432000 4194304 10219143 140734125317904 140734125308296 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2897/statm: 13860 12330 829 1471 0 12380 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 55440
[startup+3.10017 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 2898
/proc/meminfo: memFree=28421172/32873648 swapFree=6852/6852
[pid=2897] ppid=2895 vsize=55440 CPUtime=3.09 cores=0,2,4,6
/proc/2897/stat : 2897 (scip-2.1.1.4exp) R 2895 2897 1296 0 -1 4202496 12703 0 0 0 299 10 0 0 20 0 1 0 269728132 56770560 12346 33554432000 4194304 10219143 140734125317904 140734125308024 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2897/statm: 13860 12346 829 1471 0 12380 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 55440
[startup+6.30012 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 2898
/proc/meminfo: memFree=28426140/32873648 swapFree=6852/6852
[pid=2897] ppid=2895 vsize=52752 CPUtime=6.29 cores=0,2,4,6
/proc/2897/stat : 2897 (scip-2.1.1.4exp) R 2895 2897 1296 0 -1 4202496 12763 0 0 0 613 16 0 0 20 0 1 0 269728132 54018048 11700 33554432000 4194304 10219143 140734125317904 140734125311720 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2897/statm: 13188 11700 847 1471 0 11708 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 52752
[startup+12.7001 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 2898
/proc/meminfo: memFree=28426856/32873648 swapFree=6852/6852
[pid=2897] ppid=2895 vsize=52752 CPUtime=12.69 cores=0,2,4,6
/proc/2897/stat : 2897 (scip-2.1.1.4exp) R 2895 2897 1296 0 -1 4202496 12764 0 0 0 1243 26 0 0 20 0 1 0 269728132 54018048 11701 33554432000 4194304 10219143 140734125317904 140734125311448 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2897/statm: 13188 11701 848 1471 0 11708 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 52752
[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 2898
/proc/meminfo: memFree=28424264/32873648 swapFree=6852/6852
[pid=2897] ppid=2895 vsize=53492 CPUtime=25.49 cores=0,2,4,6
/proc/2897/stat : 2897 (scip-2.1.1.4exp) R 2895 2897 1296 0 -1 4202496 14012 0 0 0 2508 41 0 0 20 0 1 0 269728132 54775808 12200 33554432000 4194304 10219143 140734125317904 140734125310936 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2897/statm: 13373 12200 853 1471 0 11893 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 53492
[startup+51.1002 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2898
/proc/meminfo: memFree=28422860/32873648 swapFree=6852/6852
[pid=2897] ppid=2895 vsize=51700 CPUtime=51.07 cores=0,2,4,6
/proc/2897/stat : 2897 (scip-2.1.1.4exp) R 2895 2897 1296 0 -1 4202496 15568 0 0 0 5034 73 0 0 20 0 1 0 269728132 52940800 12093 33554432000 4194304 10219143 140734125317904 140734125310840 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2897/statm: 12925 12093 853 1471 0 11445 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 51700
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2898
/proc/meminfo: memFree=28421880/32873648 swapFree=6852/6852
[pid=2897] ppid=2895 vsize=51700 CPUtime=102.27 cores=0,2,4,6
/proc/2897/stat : 2897 (scip-2.1.1.4exp) R 2895 2897 1296 0 -1 4202496 18506 0 0 0 10073 154 0 0 20 0 1 0 269728132 52940800 12097 33554432000 4194304 10219143 140734125317904 140734125311256 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2897/statm: 12925 12097 853 1471 0 11445 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 51700
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2899
/proc/meminfo: memFree=28420640/32873648 swapFree=6852/6852
[pid=2897] ppid=2895 vsize=53664 CPUtime=162.26 cores=0,2,4,6
/proc/2897/stat : 2897 (scip-2.1.1.4exp) R 2895 2897 1296 0 -1 4202496 20967 0 0 0 15977 249 0 0 20 0 1 0 269728132 54951936 12556 33554432000 4194304 10219143 140734125317904 140734125311352 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2897/statm: 13416 12556 853 1471 0 11936 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 53664
[startup+222.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 2899
/proc/meminfo: memFree=28416828/32873648 swapFree=6852/6852
[pid=2897] ppid=2895 vsize=57844 CPUtime=222.25 cores=0,2,4,6
/proc/2897/stat : 2897 (scip-2.1.1.4exp) R 2895 2897 1296 0 -1 4202496 24700 0 0 0 21878 347 0 0 20 0 1 0 269728132 59232256 13611 33554432000 4194304 10219143 140734125317904 140734125311448 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2897/statm: 14461 13611 853 1471 0 12981 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 57844
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 2899
/proc/meminfo: memFree=28414668/32873648 swapFree=6852/6852
[pid=2897] ppid=2895 vsize=60288 CPUtime=282.24 cores=0,2,4,6
/proc/2897/stat : 2897 (scip-2.1.1.4exp) R 2895 2897 1296 0 -1 4202496 25324 0 0 0 27783 441 0 0 20 0 1 0 269728132 61734912 14233 33554432000 4194304 10219143 140734125317904 140734125310840 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2897/statm: 15072 14233 853 1471 0 13592 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 60288
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2899
/proc/meminfo: memFree=28413364/32873648 swapFree=6852/6852
[pid=2897] ppid=2895 vsize=60352 CPUtime=342.24 cores=0,2,4,6
/proc/2897/stat : 2897 (scip-2.1.1.4exp) R 2895 2897 1296 0 -1 4202496 28668 0 0 0 33681 543 0 0 20 0 1 0 269728132 61800448 14252 33554432000 4194304 10219143 140734125317904 140734125311208 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2897/statm: 15088 14252 853 1471 0 13608 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 60352
Solver just ended. Dumping a history of the last processes samples
[startup+358.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2899
/proc/meminfo: memFree=28413488/32873648 swapFree=6852/6852
[pid=2897] ppid=2895 vsize=60352 CPUtime=358.52 cores=0,2,4,6
/proc/2897/stat : 2897 (scip-2.1.1.4exp) R 2895 2897 1296 0 -1 4202496 28668 0 0 0 35281 571 0 0 20 0 1 0 269728132 61800448 14252 33554432000 4194304 10219143 140734125317904 140734125311160 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2897/statm: 15088 14252 853 1471 0 13608 0
Current children cumulated CPU time (s) 358.52
Current children cumulated vsize (KiB) 60352
[startup+365 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2899
/proc/meminfo: memFree=28413488/32873648 swapFree=6852/6852
[pid=2897] ppid=2895 vsize=60352 CPUtime=364.93 cores=0,2,4,6
/proc/2897/stat : 2897 (scip-2.1.1.4exp) R 2895 2897 1296 0 -1 4202496 28668 0 0 0 35912 581 0 0 20 0 1 0 269728132 61800448 14252 33554432000 4194304 10219143 140734125317904 140734125314376 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2897/statm: 15088 14252 853 1471 0 13608 0
Current children cumulated CPU time (s) 364.93
Current children cumulated vsize (KiB) 60352
[startup+368.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2899
/proc/meminfo: memFree=28413488/32873648 swapFree=6852/6852
[pid=2897] ppid=2895 vsize=60352 CPUtime=368.13 cores=0,2,4,6
/proc/2897/stat : 2897 (scip-2.1.1.4exp) R 2895 2897 1296 0 -1 4202496 28668 0 0 0 36227 586 0 0 20 0 1 0 269728132 61800448 14252 33554432000 4194304 10219143 140734125317904 140734125311160 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2897/statm: 15088 14252 853 1471 0 13608 0
Current children cumulated CPU time (s) 368.13
Current children cumulated vsize (KiB) 60352
[startup+371.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2899
/proc/meminfo: memFree=28413488/32873648 swapFree=6852/6852
[pid=2897] ppid=2895 vsize=60352 CPUtime=371.32 cores=0,2,4,6
/proc/2897/stat : 2897 (scip-2.1.1.4exp) R 2895 2897 1296 0 -1 4202496 28668 0 0 0 36541 591 0 0 20 0 1 0 269728132 61800448 14252 33554432000 4194304 10219143 140734125317904 140734125310840 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2897/statm: 15088 14252 853 1471 0 13608 0
Current children cumulated CPU time (s) 371.32
Current children cumulated vsize (KiB) 60352
[startup+373 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2899
/proc/meminfo: memFree=28413488/32873648 swapFree=6852/6852
[pid=2897] ppid=2895 vsize=60352 CPUtime=372.93 cores=0,2,4,6
/proc/2897/stat : 2897 (scip-2.1.1.4exp) R 2895 2897 1296 0 -1 4202496 28668 0 0 0 36699 594 0 0 20 0 1 0 269728132 61800448 14252 33554432000 4194304 10219143 140734125317904 140734125311576 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2897/statm: 15088 14252 853 1471 0 13608 0
Current children cumulated CPU time (s) 372.93
Current children cumulated vsize (KiB) 60352
[startup+373.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2899
/proc/meminfo: memFree=28413488/32873648 swapFree=6852/6852
[pid=2897] ppid=2895 vsize=60352 CPUtime=373.73 cores=0,2,4,6
/proc/2897/stat : 2897 (scip-2.1.1.4exp) R 2895 2897 1296 0 -1 4202496 28668 0 0 0 36778 595 0 0 20 0 1 0 269728132 61800448 14252 33554432000 4194304 10219143 140734125317904 140734125311208 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2897/statm: 15088 14252 853 1471 0 13608 0
Current children cumulated CPU time (s) 373.73
Current children cumulated vsize (KiB) 60352
[startup+374 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2899
/proc/meminfo: memFree=28413488/32873648 swapFree=6852/6852
[pid=2897] ppid=2895 vsize=60352 CPUtime=373.93 cores=0,2,4,6
/proc/2897/stat : 2897 (scip-2.1.1.4exp) R 2895 2897 1296 0 -1 4202496 28668 0 0 0 36798 595 0 0 20 0 1 0 269728132 61800448 14252 33554432000 4194304 10219143 140734125317904 140734125311208 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2897/statm: 15088 14252 853 1471 0 13608 0
Current children cumulated CPU time (s) 373.93
Current children cumulated vsize (KiB) 60352
[startup+374.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2899
/proc/meminfo: memFree=28413488/32873648 swapFree=6852/6852
[pid=2897] ppid=2895 vsize=60352 CPUtime=374.03 cores=0,2,4,6
/proc/2897/stat : 2897 (scip-2.1.1.4exp) R 2895 2897 1296 0 -1 4202496 28668 0 0 0 36808 595 0 0 20 0 1 0 269728132 61800448 14252 33554432000 4194304 10219143 140734125317904 140734125311208 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2897/statm: 15088 14252 853 1471 0 13608 0
Current children cumulated CPU time (s) 374.03
Current children cumulated vsize (KiB) 60352
Child status: 0
Real time (s): 374.158
CPU time (s): 374.091
CPU user time (s): 368.135
CPU system time (s): 5.95609
CPU usage (%): 99.9822
Max. virtual memory (cumulated for all children) (KiB): 66300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 368.135
system time used= 5.95609
maximum resident set size= 70164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28672
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= 14
involuntary context switches= 384
runsolver used 0.610907 second user time and 1.45878 second system time
The end