0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3693231-1338029706.opb>
0.00/0.01 c original problem has 1964 variables (1964 bin, 0 int, 0 impl, 0 cont) and 4000 constraints
0.00/0.01 c problem read in 0.01
0.00/0.02 o 1964
0.00/0.03 c feasible solution found by trivial heuristic, objective value 1.964000e+03
0.00/0.03 c presolving:
0.00/0.04 c (round 1) 162 del vars, 162 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.00/0.04 c (round 2) 334 del vars, 785 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.00/0.04 c (round 3) 386 del vars, 903 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.00/0.04 c (round 4) 420 del vars, 1011 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.00/0.04 c (round 5) 437 del vars, 1046 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.00/0.05 c (round 6) 445 del vars, 1065 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.00/0.05 c (round 7) 447 del vars, 1071 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.00/0.06 c (round 8) 447 del vars, 1072 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2928 upgd conss, 7996 impls, 0 clqs
0.00/0.07 c (0.1s) probing: 51/1517 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.07 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.00/0.07 c presolving (9 rounds):
0.00/0.07 c 447 deleted vars, 1072 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.07 c 7996 implications, 0 cliques
0.00/0.07 c presolved problem has 1517 variables (1517 bin, 0 int, 0 impl, 0 cont) and 2928 constraints
0.00/0.07 c 2928 constraints of type <setppc>
0.00/0.07 c transformed objective value is always integral (scale: 1)
0.00/0.07 c Presolving Time: 0.05
0.00/0.07 c - non default parameters ----------------------------------------------------------------------
0.00/0.07 c # SCIP version 2.1.1.4
0.00/0.07 c
0.00/0.07 c # maximal time in seconds to run
0.00/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.07 c limits/time = 1797
0.00/0.07 c
0.00/0.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.07 c limits/memory = 13950
0.00/0.07 c
0.00/0.07 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.07 c # [type: int, range: [1,2], default: 1]
0.00/0.07 c timing/clocktype = 2
0.00/0.07 c
0.00/0.07 c # belongs reading time to solving time?
0.00/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.07 c timing/reading = TRUE
0.00/0.07 c
0.00/0.07 c -----------------------------------------------------------------------------------------------
0.00/0.07 c start solving
0.00/0.07 c
0.00/0.07 o 1734
0.00/0.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.07 c t 0.1s| 1 | 0 | 0 | - |7127k| 0 | - |1517 |2928 | 0 | 0 | 0 | 0 | 0 | -- | 1.734000e+03 | Inf
0.00/0.08 o 1144
0.00/0.08 c b 0.1s| 1 | 0 | 0 | - |9059k| 0 | - |1517 |2928 |1517 |2928 | 0 | 0 | 0 | -- | 1.144000e+03 | Inf
0.09/0.13 c 0.1s| 1 | 0 | 1911 | - |9034k| 0 |1517 |1517 |2928 |1517 |2928 | 0 | 0 | 0 | 9.755000e+02 | 1.144000e+03 | 17.27%
0.29/0.34 c 0.3s| 1 | 0 | 2271 | - |9122k| 0 |1493 |1517 |2928 |1517 |2943 | 15 | 0 | 0 | 9.820000e+02 | 1.144000e+03 | 16.50%
0.49/0.54 c 0.5s| 1 | 0 | 2583 | - |9199k| 0 |1484 |1517 |2928 |1517 |2950 | 22 | 0 | 0 | 9.845000e+02 | 1.144000e+03 | 16.20%
0.69/0.70 c 0.7s| 1 | 0 | 2615 | - |9258k| 0 |1481 |1517 |2928 |1517 |2955 | 27 | 0 | 0 | 9.855000e+02 | 1.144000e+03 | 16.08%
0.79/0.87 c 0.9s| 1 | 0 | 2693 | - |9314k| 0 |1481 |1517 |2928 |1517 |2957 | 29 | 0 | 0 | 9.860000e+02 | 1.144000e+03 | 16.02%
0.99/1.09 c 1.1s| 1 | 0 | 2982 | - |9530k| 0 |1476 |1517 |2928 |1517 |2961 | 33 | 0 | 0 | 9.860000e+02 | 1.144000e+03 | 16.02%
1.28/1.31 c 1.3s| 1 | 0 | 3235 | - | 10M| 0 |1472 |1517 |2928 |1517 |2967 | 39 | 0 | 0 | 9.865000e+02 | 1.144000e+03 | 15.97%
1.59/1.60 c 1.6s| 1 | 0 | 3570 | - | 10M| 0 |1477 |1517 |2928 |1517 |2971 | 43 | 0 | 0 | 9.875000e+02 | 1.144000e+03 | 15.85%
1.89/1.91 c 1.9s| 1 | 0 | 4186 | - | 11M| 0 |1479 |1517 |2928 |1517 |2978 | 50 | 0 | 0 | 9.880000e+02 | 1.144000e+03 | 15.79%
2.19/2.22 c 2.2s| 1 | 0 | 4365 | - | 12M| 0 |1478 |1517 |2928 |1517 |2979 | 51 | 0 | 0 | 9.880000e+02 | 1.144000e+03 | 15.79%
2.38/2.49 c 2.5s| 1 | 0 | 4820 | - | 12M| 0 |1486 |1517 |2928 |1517 |2983 | 55 | 0 | 0 | 9.880625e+02 | 1.144000e+03 | 15.78%
2.68/2.80 c 2.8s| 1 | 0 | 5482 | - | 12M| 0 |1488 |1517 |2928 |1517 |2986 | 58 | 0 | 0 | 9.885000e+02 | 1.144000e+03 | 15.73%
2.99/3.01 c 3.0s| 1 | 0 | 5653 | - | 13M| 0 |1480 |1517 |2928 |1517 |2990 | 62 | 0 | 0 | 9.890000e+02 | 1.144000e+03 | 15.67%
3.19/3.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.19/3.29 c 3.3s| 1 | 0 | 6159 | - | 13M| 0 |1488 |1517 |2928 |1517 |2992 | 64 | 0 | 0 | 9.890000e+02 | 1.144000e+03 | 15.67%
3.59/3.60 c 3.6s| 1 | 0 | 6670 | - | 13M| 0 |1487 |1517 |2928 |1517 |2996 | 68 | 0 | 0 | 9.895000e+02 | 1.144000e+03 | 15.61%
3.79/3.85 c 3.8s| 1 | 0 | 6997 | - | 13M| 0 |1472 |1517 |2928 |1517 |2998 | 70 | 0 | 0 | 9.900000e+02 | 1.144000e+03 | 15.56%
3.98/4.09 c 4.1s| 1 | 0 | 7403 | - | 13M| 0 |1482 |1517 |2928 |1517 |3003 | 75 | 0 | 0 | 9.901250e+02 | 1.144000e+03 | 15.54%
4.29/4.33 c 4.3s| 1 | 0 | 7734 | - | 14M| 0 |1478 |1517 |2928 |1517 |2995 | 78 | 0 | 0 | 9.905000e+02 | 1.144000e+03 | 15.50%
4.98/5.02 c 5.0s| 1 | 0 | 11923 | - | 14M| 0 |1468 |1517 |2928 |1517 |2999 | 82 | 0 | 0 | 9.915000e+02 | 1.144000e+03 | 15.38%
5.18/5.28 c 5.3s| 1 | 0 | 12705 | - | 14M| 0 |1474 |1517 |2928 |1517 |3003 | 86 | 0 | 0 | 9.921250e+02 | 1.144000e+03 | 15.31%
5.59/5.63 c 5.6s| 1 | 0 | 13844 | - | 14M| 0 |1440 |1517 |2928 |1517 |3009 | 92 | 0 | 0 | 9.935000e+02 | 1.144000e+03 | 15.15%
5.68/5.77 c 5.8s| 1 | 0 | 13958 | - | 14M| 0 |1473 |1517 |2928 |1517 |3010 | 93 | 0 | 0 | 9.935000e+02 | 1.144000e+03 | 15.15%
10.08/10.10 c 10.1s| 1 | 2 | 13958 | - | 15M| 0 |1473 |1517 |2928 |1517 |3010 | 93 | 0 | 31 | 9.935000e+02 | 1.144000e+03 | 15.15%
30.68/30.75 o 1125
30.68/30.75 c c30.8s| 15 | 16 | 25752 | 842.4 | 17M| 14 | - |1517 |2928 |1517 |2983 | 93 | 0 | 261 | 9.935000e+02 | 1.125000e+03 | 13.24%
30.68/30.76 o 1064
30.68/30.76 c c30.8s| 15 | 16 | 25762 | 843.1 | 17M| 14 | - |1517 |2928 |1517 |2983 | 93 | 0 | 261 | 9.935000e+02 | 1.064000e+03 | 7.10%
43.66/43.78 c 43.8s| 100 | 101 | 72887 | 595.2 | 17M| 27 |1338 |1517 |2928 |1517 |2983 | 93 | 0 | 309 | 9.945000e+02 | 1.064000e+03 | 6.99%
49.37/49.44 c 49.4s| 200 | 161 | 93432 | 399.4 | 17M| 40 |1338 |1517 |2928 |1517 |2983 | 93 | 0 | 340 | 9.945000e+02 | 1.064000e+03 | 6.99%
53.16/53.22 c 53.2s| 300 | 181 |106962 | 311.1 | 17M| 44 | 810 |1517 |2928 |1517 |2983 | 93 | 0 | 355 | 9.950000e+02 | 1.064000e+03 | 6.93%
53.87/53.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
53.87/53.91 c 53.9s| 400 | 185 |109139 | 238.5 | 17M| 44 | 728 |1517 |2928 |1517 |2983 | 93 | 0 | 355 | 9.950000e+02 | 1.064000e+03 | 6.93%
54.77/54.82 c 54.8s| 500 | 183 |111710 | 195.9 | 17M| 44 | - |1517 |2928 |1517 |2983 | 93 | 0 | 355 | 9.950000e+02 | 1.064000e+03 | 6.93%
60.56/60.62 c 60.6s| 600 | 199 |136020 | 203.8 | 17M| 44 | - |1517 |2928 |1517 |2983 | 93 | 0 | 403 | 9.960000e+02 | 1.064000e+03 | 6.83%
61.16/61.28 c 61.3s| 700 | 199 |137949 | 177.4 | 17M| 44 | - |1517 |2928 |1517 |2983 | 93 | 0 | 403 | 9.960000e+02 | 1.064000e+03 | 6.83%
62.57/62.66 o 1051
62.57/62.66 c c62.7s| 725 | 191 |144800 | 180.7 | 18M| 44 | - |1517 |2928 |1517 |2983 | 93 | 0 | 403 | 9.965000e+02 | 1.051000e+03 | 5.47%
68.46/68.54 o 1050
68.46/68.54 c c68.5s| 755 | 219 |173271 | 211.3 | 18M| 44 | - |1517 |2928 |1517 |2983 | 93 | 0 | 448 | 9.970000e+02 | 1.050000e+03 | 5.32%
77.86/77.93 c 77.9s| 800 | 264 |217370 | 254.6 | 18M| 44 |1244 |1517 |2928 |1517 |2983 | 93 | 0 | 508 | 9.975000e+02 | 1.050000e+03 | 5.26%
97.26/97.33 c 97.3s| 900 | 364 |313536 | 333.2 | 18M| 44 |1352 |1517 |2928 |1517 |2983 | 93 | 0 | 597 | 9.980000e+02 | 1.050000e+03 | 5.21%
107.26/107.38 o 1039
107.26/107.38 c C 107s| 955 | 379 |362343 | 365.2 | 18M| 44 |1338 |1517 |2928 |1517 |2983 | 93 | 0 | 653 | 9.983333e+02 | 1.039000e+03 | 4.07%
115.75/115.89 c 116s| 1000 | 424 |402947 | 389.4 | 18M| 44 |1329 |1517 |2928 |1517 |2983 | 93 | 0 | 709 | 9.983333e+02 | 1.039000e+03 | 4.07%
130.05/130.16 c 130s| 1100 | 498 |468729 | 413.8 | 18M| 44 | - |1517 |2928 |1517 |2983 | 93 | 0 | 793 | 9.985000e+02 | 1.039000e+03 | 4.06%
141.45/141.53 c 142s| 1200 | 558 |518892 | 421.1 | 18M| 44 |1263 |1517 |2928 |1517 |2983 | 93 | 0 | 888 | 9.985000e+02 | 1.039000e+03 | 4.06%
147.05/147.13 c 147s| 1300 | 592 |542621 | 407.0 | 18M| 44 |1171 |1517 |2928 |1517 |2983 | 93 | 0 | 931 | 9.985000e+02 | 1.039000e+03 | 4.06%
151.66/151.74 c 152s| 1400 | 620 |561992 | 391.7 | 18M| 44 |1152 |1517 |2928 |1517 |2983 | 93 | 0 | 965 | 9.985000e+02 | 1.039000e+03 | 4.06%
159.25/159.39 c 159s| 1500 | 664 |598016 | 389.6 | 18M| 44 |1170 |1517 |2928 |1517 |2983 | 93 | 0 |1004 | 9.990000e+02 | 1.039000e+03 | 4.00%
164.25/164.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
164.25/164.34 c 164s| 1600 | 684 |617254 | 377.3 | 18M| 44 |1373 |1517 |2928 |1517 |2983 | 93 | 0 |1056 | 9.990000e+02 | 1.039000e+03 | 4.00%
171.05/171.14 c 171s| 1700 | 730 |650701 | 374.8 | 19M| 44 | - |1517 |2928 |1517 |2983 | 93 | 0 |1095 | 9.990000e+02 | 1.039000e+03 | 4.00%
175.95/176.01 c 176s| 1800 | 760 |669679 | 364.5 | 19M| 44 | - |1517 |2928 |1517 |2983 | 93 | 0 |1144 | 9.990000e+02 | 1.039000e+03 | 4.00%
181.75/181.86 c 182s| 1900 | 790 |693659 | 357.9 | 19M| 44 | - |1517 |2928 |1517 |2983 | 93 | 0 |1217 | 9.990000e+02 | 1.039000e+03 | 4.00%
186.34/186.47 c 186s| 2000 | 798 |712042 | 349.2 | 19M| 44 |1213 |1517 |2928 |1517 |2983 | 93 | 0 |1255 | 9.993333e+02 | 1.039000e+03 | 3.97%
189.35/189.49 c 189s| 2100 | 808 |724662 | 338.6 | 19M| 44 |1179 |1517 |2928 |1517 |2983 | 93 | 0 |1298 | 9.995000e+02 | 1.039000e+03 | 3.95%
191.94/192.02 c 192s| 2200 | 808 |735257 | 328.0 | 19M| 44 | - |1517 |2928 |1517 |2983 | 93 | 0 |1322 | 9.995000e+02 | 1.039000e+03 | 3.95%
195.24/195.35 c 195s| 2300 | 816 |748936 | 319.7 | 19M| 44 | - |1517 |2928 |1517 |2983 | 93 | 0 |1370 | 9.995000e+02 | 1.039000e+03 | 3.95%
198.35/198.41 c 198s| 2400 | 816 |760954 | 311.4 | 19M| 44 | - |1517 |2928 |1517 |2983 | 93 | 0 |1414 | 9.995000e+02 | 1.039000e+03 | 3.95%
200.04/200.15 c 200s| 2500 | 816 |766483 | 301.1 | 19M| 44 |1217 |1517 |2928 |1517 |2983 | 93 | 0 |1447 | 9.995000e+02 | 1.039000e+03 | 3.95%
203.14/203.24 c 203s| 2600 | 822 |779770 | 294.7 | 19M| 44 | - |1517 |2928 |1517 |2983 | 93 | 0 |1469 | 9.995000e+02 | 1.039000e+03 | 3.95%
204.95/205.09 c 205s| 2700 | 820 |786143 | 286.1 | 19M| 44 |1177 |1517 |2928 |1517 |2983 | 93 | 0 |1504 | 9.995000e+02 | 1.039000e+03 | 3.95%
207.64/207.72 c 208s| 2800 | 824 |796621 | 279.6 | 19M| 44 |1222 |1517 |2928 |1517 |2983 | 93 | 0 |1562 | 9.995000e+02 | 1.039000e+03 | 3.95%
209.54/209.65 c 210s| 2900 | 826 |802155 | 271.9 | 19M| 44 | - |1517 |2928 |1517 |2983 | 93 | 0 |1612 | 9.995000e+02 | 1.039000e+03 | 3.95%
213.84/213.94 c 214s| 3000 | 834 |819607 | 268.6 | 19M| 44 | - |1517 |2928 |1517 |2983 | 93 | 0 |1679 | 9.995000e+02 | 1.039000e+03 | 3.95%
215.54/215.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
215.54/215.69 c 216s| 3100 | 834 |826128 | 262.1 | 19M| 44 | - |1517 |2928 |1517 |2983 | 93 | 0 |1699 | 9.995000e+02 | 1.039000e+03 | 3.95%
221.14/221.27 c 221s| 3200 | 850 |848877 | 261.0 | 19M| 44 |1205 |1517 |2928 |1517 |2983 | 93 | 0 |1759 | 9.998333e+02 | 1.039000e+03 | 3.92%
222.94/223.01 c 223s| 3300 | 860 |855268 | 255.0 | 19M| 44 | - |1517 |2928 |1517 |2983 | 93 | 0 |1790 | 9.998333e+02 | 1.039000e+03 | 3.92%
224.25/224.33 c 224s| 3400 | 860 |859915 | 248.9 | 19M| 44 |1094 |1517 |2928 |1517 |2983 | 93 | 0 |1818 | 9.998333e+02 | 1.039000e+03 | 3.92%
226.54/226.66 c 227s| 3500 | 870 |869694 | 244.6 | 19M| 44 |1161 |1517 |2928 |1517 |2983 | 93 | 0 |1844 | 1.000000e+03 | 1.039000e+03 | 3.90%
230.44/230.59 c 231s| 3600 | 878 |885525 | 242.2 | 19M| 44 | - |1517 |2928 |1517 |2983 | 93 | 0 |1875 | 1.000000e+03 | 1.039000e+03 | 3.90%
233.63/233.77 c 234s| 3700 | 892 |899302 | 239.3 | 19M| 44 |1182 |1517 |2928 |1517 |2983 | 93 | 0 |1905 | 1.000000e+03 | 1.039000e+03 | 3.90%
236.24/236.30 c 236s| 3800 | 896 |909997 | 235.9 | 19M| 44 | - |1517 |2928 |1517 |2983 | 93 | 0 |1925 | 1.000000e+03 | 1.039000e+03 | 3.90%
239.54/239.69 c 240s| 3900 | 912 |925811 | 233.9 | 19M| 44 | - |1517 |2928 |1517 |2983 | 93 | 0 |1958 | 1.000000e+03 | 1.039000e+03 | 3.90%
240.93/241.06 c 241s| 4000 | 912 |930546 | 229.2 | 19M| 44 |1225 |1517 |2928 |1517 |2983 | 93 | 0 |1999 | 1.000000e+03 | 1.039000e+03 | 3.90%
246.73/246.80 c 247s| 4100 | 928 |957274 | 230.1 | 19M| 44 | - |1517 |2928 |1517 |2983 | 93 | 0 |2044 | 1.000000e+03 | 1.039000e+03 | 3.90%
249.44/249.52 c 250s| 4200 | 936 |968260 | 227.3 | 19M| 44 | - |1517 |2928 |1517 |2983 | 93 | 0 |2071 | 1.000000e+03 | 1.039000e+03 | 3.90%
252.84/252.95 c 253s| 4300 | 950 |983355 | 225.5 | 19M| 44 |1138 |1517 |2928 |1517 |2983 | 93 | 0 |2107 | 1.000000e+03 | 1.039000e+03 | 3.90%
256.24/256.37 c 256s| 4400 | 960 |997982 | 223.7 | 19M| 44 | - |1517 |2928 |1517 |2983 | 93 | 0 |2144 | 1.000250e+03 | 1.039000e+03 | 3.87%
258.63/258.75 c 259s| 4500 | 964 | 1008k| 221.0 | 19M| 44 |1200 |1517 |2928 |1517 |2983 | 93 | 0 |2162 | 1.000250e+03 | 1.039000e+03 | 3.87%
261.34/261.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
261.34/261.47 c 261s| 4600 | 978 | 1018k| 218.5 | 19M| 44 | - |1517 |2928 |1517 |2983 | 93 | 0 |2197 | 1.000250e+03 | 1.039000e+03 | 3.87%
266.33/266.41 c 266s| 4700 | 990 | 1041k| 218.7 | 19M| 44 |1134 |1517 |2928 |1517 |2983 | 93 | 0 |2236 | 1.000333e+03 | 1.039000e+03 | 3.87%
267.74/267.80 c 268s| 4800 | 982 | 1046k| 215.1 | 19M| 45 |1163 |1517 |2928 |1517 |2983 | 93 | 0 |2254 | 1.000333e+03 | 1.039000e+03 | 3.87%
270.24/270.32 c 270s| 4900 | 986 | 1056k| 212.9 | 19M| 45 |1188 |1517 |2928 |1517 |2983 | 93 | 0 |2291 | 1.000500e+03 | 1.039000e+03 | 3.85%
272.33/272.48 c 272s| 5000 | 992 | 1067k| 210.8 | 19M| 45 |1182 |1517 |2928 |1517 |2983 | 93 | 0 |2321 | 1.000500e+03 | 1.039000e+03 | 3.85%
273.63/273.80 c 274s| 5100 | 990 | 1071k| 207.4 | 19M| 45 |1226 |1517 |2928 |1517 |2983 | 93 | 0 |2357 | 1.000500e+03 | 1.039000e+03 | 3.85%
275.03/275.16 c 275s| 5200 | 992 | 1077k| 204.6 | 19M| 45 | - |1517 |2928 |1517 |2983 | 93 | 0 |2384 | 1.000500e+03 | 1.039000e+03 | 3.85%
278.03/278.13 c 278s| 5300 | 1004 | 1089k| 203.0 | 19M| 45 |1201 |1517 |2928 |1517 |2983 | 93 | 0 |2429 | 1.000500e+03 | 1.039000e+03 | 3.85%
282.33/282.47 c 282s| 5400 | 1016 | 1109k| 202.9 | 19M| 45 |1178 |1517 |2928 |1517 |2983 | 93 | 0 |2468 | 1.000500e+03 | 1.039000e+03 | 3.85%
285.72/285.81 c 286s| 5500 | 1024 | 1123k| 201.8 | 19M| 45 | - |1517 |2928 |1517 |2983 | 93 | 0 |2517 | 1.000500e+03 | 1.039000e+03 | 3.85%
288.83/288.97 c 289s| 5600 | 1032 | 1138k| 200.8 | 19M| 46 |1131 |1517 |2928 |1517 |2983 | 93 | 0 |2571 | 1.000500e+03 | 1.039000e+03 | 3.85%
291.13/291.24 c 291s| 5700 | 1034 | 1148k| 199.1 | 19M| 46 |1187 |1517 |2928 |1517 |2983 | 93 | 0 |2599 | 1.000500e+03 | 1.039000e+03 | 3.85%
296.13/296.25 c 296s| 5800 | 1050 | 1170k| 199.4 | 19M| 46 | - |1517 |2928 |1517 |2983 | 93 | 0 |2647 | 1.000500e+03 | 1.039000e+03 | 3.85%
299.53/299.66 c 300s| 5900 | 1080 | 1185k| 198.6 | 19M| 46 |1120 |1517 |2928 |1517 |2983 | 93 | 0 |2689 | 1.000500e+03 | 1.039000e+03 | 3.85%
303.13/303.27 c 303s| 6000 | 1090 | 1203k| 198.3 | 19M| 46 | - |1517 |2928 |1517 |2983 | 93 | 0 |2724 | 1.000500e+03 | 1.039000e+03 | 3.85%
305.33/305.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
305.33/305.40 c 305s| 6100 | 1098 | 1212k| 196.6 | 19M| 47 | - |1517 |2928 |1517 |2983 | 93 | 0 |2763 | 1.000500e+03 | 1.039000e+03 | 3.85%
307.53/307.62 c 308s| 6200 | 1102 | 1222k| 195.0 | 19M| 50 |1060 |1517 |2928 |1517 |2983 | 93 | 0 |2787 | 1.000500e+03 | 1.039000e+03 | 3.85%
309.82/309.90 c 310s| 6300 | 1108 | 1233k| 193.6 | 19M| 50 |1092 |1517 |2928 |1517 |2983 | 93 | 0 |2810 | 1.000500e+03 | 1.039000e+03 | 3.85%
312.03/312.10 c 312s| 6400 | 1112 | 1242k| 192.1 | 19M| 50 | - |1517 |2928 |1517 |2983 | 93 | 0 |2845 | 1.000500e+03 | 1.039000e+03 | 3.85%
314.22/314.39 c 314s| 6500 | 1118 | 1252k| 190.6 | 19M| 53 |1049 |1517 |2928 |1517 |2983 | 93 | 0 |2877 | 1.000500e+03 | 1.039000e+03 | 3.85%
315.64/315.78 c 316s| 6600 | 1120 | 1257k| 188.5 | 19M| 53 |1139 |1517 |2928 |1517 |2983 | 93 | 0 |2917 | 1.000500e+03 | 1.039000e+03 | 3.85%
317.63/317.79 c 318s| 6700 | 1140 | 1266k| 187.0 | 19M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |2948 | 1.000500e+03 | 1.039000e+03 | 3.85%
320.33/320.48 c 320s| 6800 | 1154 | 1278k| 186.0 | 20M| 53 |1171 |1517 |2928 |1517 |2983 | 93 | 0 |2996 | 1.000500e+03 | 1.039000e+03 | 3.85%
322.73/322.85 c 323s| 6900 | 1166 | 1288k| 184.8 | 20M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |3034 | 1.000750e+03 | 1.039000e+03 | 3.82%
324.13/324.26 c 324s| 7000 | 1174 | 1294k| 182.9 | 20M| 53 |1105 |1517 |2928 |1517 |2983 | 93 | 0 |3059 | 1.000750e+03 | 1.039000e+03 | 3.82%
328.83/328.93 c 329s| 7100 | 1206 | 1316k| 183.5 | 20M| 53 |1148 |1517 |2928 |1517 |2983 | 93 | 0 |3108 | 1.000750e+03 | 1.039000e+03 | 3.82%
331.92/332.02 c 332s| 7200 | 1238 | 1329k| 182.7 | 20M| 53 |1101 |1517 |2928 |1517 |2983 | 93 | 0 |3166 | 1.000833e+03 | 1.039000e+03 | 3.81%
336.43/336.56 c 337s| 7300 | 1290 | 1350k| 183.1 | 20M| 53 |1255 |1517 |2928 |1517 |2983 | 93 | 0 |3248 | 1.000833e+03 | 1.039000e+03 | 3.81%
341.52/341.62 c 342s| 7400 | 1332 | 1374k| 183.8 | 20M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |3298 | 1.001000e+03 | 1.039000e+03 | 3.80%
343.62/343.74 c 344s| 7500 | 1344 | 1384k| 182.8 | 20M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |3316 | 1.001000e+03 | 1.039000e+03 | 3.80%
346.33/346.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
346.33/346.47 c 346s| 7600 | 1356 | 1400k| 182.5 | 20M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |3317 | 1.001000e+03 | 1.039000e+03 | 3.80%
350.42/350.56 c 351s| 7700 | 1400 | 1424k| 183.2 | 20M| 53 |1170 |1517 |2928 |1517 |2983 | 93 | 0 |3317 | 1.001000e+03 | 1.039000e+03 | 3.80%
353.22/353.36 c 353s| 7800 | 1420 | 1441k| 183.1 | 20M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |3317 | 1.001000e+03 | 1.039000e+03 | 3.80%
356.12/356.29 c 356s| 7900 | 1454 | 1459k| 183.1 | 20M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |3317 | 1.001000e+03 | 1.039000e+03 | 3.80%
359.11/359.23 c 359s| 8000 | 1480 | 1478k| 183.1 | 20M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |3317 | 1.001000e+03 | 1.039000e+03 | 3.80%
364.12/364.29 c 364s| 8100 | 1526 | 1507k| 184.4 | 20M| 53 |1084 |1517 |2928 |1517 |2983 | 93 | 0 |3317 | 1.001000e+03 | 1.039000e+03 | 3.80%
366.91/367.08 c 367s| 8200 | 1546 | 1525k| 184.3 | 20M| 53 |1185 |1517 |2928 |1517 |2983 | 93 | 0 |3317 | 1.001000e+03 | 1.039000e+03 | 3.80%
370.21/370.30 c 370s| 8300 | 1574 | 1544k| 184.4 | 20M| 53 |1150 |1517 |2928 |1517 |2983 | 93 | 0 |3317 | 1.001000e+03 | 1.039000e+03 | 3.80%
372.52/372.66 c 373s| 8400 | 1596 | 1557k| 183.8 | 20M| 53 |1164 |1517 |2928 |1517 |2983 | 93 | 0 |3317 | 1.001000e+03 | 1.039000e+03 | 3.80%
375.31/375.47 c 375s| 8500 | 1616 | 1574k| 183.7 | 20M| 53 |1019 |1517 |2928 |1517 |2983 | 93 | 0 |3317 | 1.001000e+03 | 1.039000e+03 | 3.80%
377.51/377.69 c 378s| 8600 | 1632 | 1588k| 183.1 | 20M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |3317 | 1.001000e+03 | 1.039000e+03 | 3.80%
379.72/379.84 c 380s| 8700 | 1650 | 1599k| 182.3 | 21M| 53 |1070 |1517 |2928 |1517 |2983 | 93 | 0 |3317 | 1.001000e+03 | 1.039000e+03 | 3.80%
384.01/384.13 c 384s| 8800 | 1682 | 1625k| 183.2 | 21M| 53 |1093 |1517 |2928 |1517 |2983 | 93 | 0 |3317 | 1.001000e+03 | 1.039000e+03 | 3.80%
387.41/387.50 c 388s| 8900 | 1706 | 1640k| 182.8 | 21M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |3349 | 1.001000e+03 | 1.039000e+03 | 3.80%
391.91/392.03 c 392s| 9000 | 1736 | 1663k| 183.3 | 21M| 53 |1139 |1517 |2928 |1517 |2983 | 93 | 0 |3372 | 1.001000e+03 | 1.039000e+03 | 3.80%
395.32/395.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
395.32/395.43 c 395s| 9100 | 1756 | 1678k| 182.9 | 21M| 53 |1398 |1517 |2928 |1517 |2983 | 93 | 0 |3412 | 1.001000e+03 | 1.039000e+03 | 3.80%
400.32/400.43 c 400s| 9200 | 1788 | 1702k| 183.6 | 21M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |3437 | 1.001000e+03 | 1.039000e+03 | 3.80%
406.01/406.13 c 406s| 9300 | 1826 | 1731k| 184.7 | 21M| 53 |1114 |1517 |2928 |1517 |2983 | 93 | 0 |3472 | 1.001000e+03 | 1.039000e+03 | 3.80%
409.91/410.08 c 410s| 9400 | 1842 | 1748k| 184.6 | 21M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |3515 | 1.001000e+03 | 1.039000e+03 | 3.80%
414.91/415.04 c 415s| 9500 | 1880 | 1772k| 185.1 | 21M| 53 |1067 |1517 |2928 |1517 |2983 | 93 | 0 |3566 | 1.001000e+03 | 1.039000e+03 | 3.80%
418.01/418.15 c 418s| 9600 | 1888 | 1785k| 184.6 | 21M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |3608 | 1.001000e+03 | 1.039000e+03 | 3.80%
422.81/422.90 c 423s| 9700 | 1926 | 1808k| 185.0 | 21M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |3638 | 1.001000e+03 | 1.039000e+03 | 3.80%
425.62/425.74 c 426s| 9800 | 1930 | 1818k| 184.2 | 21M| 53 |1077 |1517 |2928 |1517 |2983 | 93 | 0 |3670 | 1.001000e+03 | 1.039000e+03 | 3.80%
427.90/428.04 c 428s| 9900 | 1940 | 1830k| 183.5 | 21M| 53 |1143 |1517 |2928 |1517 |2983 | 93 | 0 |3685 | 1.001000e+03 | 1.039000e+03 | 3.80%
434.01/434.14 c 434s| 10000 | 1980 | 1862k| 184.9 | 21M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |3724 | 1.001000e+03 | 1.039000e+03 | 3.80%
439.11/439.21 c 439s| 10100 | 2026 | 1887k| 185.5 | 21M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |3777 | 1.001000e+03 | 1.039000e+03 | 3.80%
442.40/442.59 c 443s| 10200 | 2046 | 1902k| 185.2 | 21M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |3819 | 1.001000e+03 | 1.039000e+03 | 3.80%
444.80/444.92 c 445s| 10300 | 2058 | 1911k| 184.3 | 21M| 53 |1123 |1517 |2928 |1517 |2983 | 93 | 0 |3856 | 1.001000e+03 | 1.039000e+03 | 3.80%
447.00/447.10 c 447s| 10400 | 2066 | 1922k| 183.5 | 21M| 53 |1158 |1517 |2928 |1517 |2983 | 93 | 0 |3866 | 1.001000e+03 | 1.039000e+03 | 3.80%
449.50/449.64 c 450s| 10500 | 2078 | 1934k| 182.9 | 21M| 53 |1350 |1517 |2928 |1517 |2983 | 93 | 0 |3910 | 1.001000e+03 | 1.039000e+03 | 3.80%
452.11/452.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
452.11/452.28 c 452s| 10600 | 2098 | 1946k| 182.3 | 21M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |3952 | 1.001000e+03 | 1.039000e+03 | 3.80%
456.10/456.22 c 456s| 10700 | 2116 | 1964k| 182.3 | 21M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |3997 | 1.001250e+03 | 1.039000e+03 | 3.77%
458.51/458.60 c 459s| 10800 | 2120 | 1974k| 181.6 | 21M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |4028 | 1.001250e+03 | 1.039000e+03 | 3.77%
463.40/463.52 c 464s| 10900 | 2146 | 1999k| 182.1 | 21M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |4071 | 1.001333e+03 | 1.039000e+03 | 3.76%
465.51/465.63 c 466s| 11000 | 2150 | 2008k| 181.3 | 21M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |4085 | 1.001375e+03 | 1.039000e+03 | 3.76%
468.30/468.42 c 468s| 11100 | 2158 | 2019k| 180.7 | 22M| 53 |1161 |1517 |2928 |1517 |2983 | 93 | 0 |4123 | 1.001375e+03 | 1.039000e+03 | 3.76%
471.00/471.13 c 471s| 11200 | 2172 | 2032k| 180.2 | 22M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |4136 | 1.001500e+03 | 1.039000e+03 | 3.74%
474.40/474.51 c 475s| 11300 | 2186 | 2048k| 180.0 | 22M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |4155 | 1.001500e+03 | 1.039000e+03 | 3.74%
477.40/477.52 c 478s| 11400 | 2198 | 2061k| 179.6 | 22M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |4186 | 1.001500e+03 | 1.039000e+03 | 3.74%
478.30/478.43 c 478s| 11500 | 2198 | 2065k| 178.5 | 22M| 53 |1030 |1517 |2928 |1517 |2983 | 93 | 0 |4223 | 1.001500e+03 | 1.039000e+03 | 3.74%
481.30/481.41 c 481s| 11600 | 2210 | 2078k| 178.0 | 22M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |4268 | 1.001500e+03 | 1.039000e+03 | 3.74%
484.70/484.85 c 485s| 11700 | 2228 | 2095k| 177.9 | 22M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |4294 | 1.001500e+03 | 1.039000e+03 | 3.74%
487.20/487.34 c 487s| 11800 | 2234 | 2104k| 177.2 | 22M| 53 |1164 |1517 |2928 |1517 |2983 | 93 | 0 |4316 | 1.001500e+03 | 1.039000e+03 | 3.74%
488.50/488.61 c 489s| 11900 | 2240 | 2111k| 176.3 | 22M| 53 |1106 |1517 |2928 |1517 |2983 | 93 | 0 |4316 | 1.001500e+03 | 1.039000e+03 | 3.74%
491.09/491.23 c 491s| 12000 | 2248 | 2123k| 175.8 | 22M| 53 |1056 |1517 |2928 |1517 |2983 | 93 | 0 |4347 | 1.001500e+03 | 1.039000e+03 | 3.74%
496.09/496.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
496.09/496.28 c 496s| 12100 | 2272 | 2146k| 176.2 | 22M| 53 |1081 |1517 |2928 |1517 |2983 | 93 | 0 |4416 | 1.001500e+03 | 1.039000e+03 | 3.74%
499.50/499.67 c 500s| 12200 | 2286 | 2162k| 176.1 | 22M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |4461 | 1.001500e+03 | 1.039000e+03 | 3.74%
502.10/502.28 c 502s| 12300 | 2292 | 2174k| 175.7 | 22M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |4506 | 1.001500e+03 | 1.039000e+03 | 3.74%
505.59/505.74 c 506s| 12400 | 2312 | 2193k| 175.8 | 22M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |4526 | 1.001500e+03 | 1.039000e+03 | 3.74%
510.30/510.48 c 510s| 12500 | 2336 | 2214k| 176.0 | 22M| 53 |1103 |1517 |2928 |1517 |2983 | 93 | 0 |4582 | 1.001500e+03 | 1.039000e+03 | 3.74%
513.50/513.62 c 514s| 12600 | 2348 | 2227k| 175.7 | 22M| 53 |1316 |1517 |2928 |1517 |2983 | 93 | 0 |4621 | 1.001500e+03 | 1.039000e+03 | 3.74%
517.69/517.82 c 518s| 12700 | 2374 | 2246k| 175.8 | 22M| 53 |1322 |1517 |2928 |1517 |2983 | 93 | 0 |4657 | 1.001500e+03 | 1.039000e+03 | 3.74%
523.50/523.64 c 524s| 12800 | 2424 | 2277k| 176.8 | 22M| 53 |1163 |1517 |2928 |1517 |2983 | 93 | 0 |4690 | 1.001500e+03 | 1.039000e+03 | 3.74%
527.80/527.99 c 528s| 12900 | 2444 | 2297k| 177.1 | 22M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |4727 | 1.001500e+03 | 1.039000e+03 | 3.74%
533.60/533.76 c 534s| 13000 | 2490 | 2328k| 178.0 | 22M| 53 |1364 |1517 |2928 |1517 |2983 | 93 | 0 |4788 | 1.001500e+03 | 1.039000e+03 | 3.74%
538.49/538.62 c 539s| 13100 | 2542 | 2357k| 178.9 | 22M| 53 |1118 |1517 |2928 |1517 |2983 | 93 | 0 |4789 | 1.001500e+03 | 1.039000e+03 | 3.74%
542.79/542.99 c 543s| 13200 | 2578 | 2382k| 179.4 | 22M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |4789 | 1.001500e+03 | 1.039000e+03 | 3.74%
546.39/546.56 c 547s| 13300 | 2606 | 2402k| 179.6 | 22M| 53 |1030 |1517 |2928 |1517 |2983 | 93 | 0 |4789 | 1.001500e+03 | 1.039000e+03 | 3.74%
547.29/547.44 c 547s| 13400 | 2608 | 2407k| 178.7 | 22M| 53 |1082 |1517 |2928 |1517 |2983 | 93 | 0 |4789 | 1.001500e+03 | 1.039000e+03 | 3.74%
552.39/552.53 c 553s| 13500 | 2644 | 2439k| 179.7 | 22M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |4790 | 1.001500e+03 | 1.039000e+03 | 3.74%
556.19/556.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
556.19/556.37 c 556s| 13600 | 2662 | 2461k| 180.0 | 22M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |4790 | 1.001500e+03 | 1.039000e+03 | 3.74%
561.78/561.90 c 562s| 13700 | 2726 | 2496k| 181.2 | 23M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |4790 | 1.001500e+03 | 1.039000e+03 | 3.74%
565.49/565.62 c 566s| 13800 | 2754 | 2518k| 181.5 | 23M| 53 |1055 |1517 |2928 |1517 |2983 | 93 | 0 |4790 | 1.001500e+03 | 1.039000e+03 | 3.74%
566.30/566.49 c 566s| 13900 | 2754 | 2523k| 180.6 | 23M| 53 |1124 |1517 |2928 |1517 |2983 | 93 | 0 |4790 | 1.001500e+03 | 1.039000e+03 | 3.74%
569.09/569.24 c 569s| 14000 | 2772 | 2538k| 180.4 | 23M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |4790 | 1.001500e+03 | 1.039000e+03 | 3.74%
571.38/571.58 c 572s| 14100 | 2790 | 2553k| 180.1 | 23M| 53 |1149 |1517 |2928 |1517 |2983 | 93 | 0 |4790 | 1.001750e+03 | 1.039000e+03 | 3.72%
572.99/573.20 c 573s| 14200 | 2792 | 2563k| 179.6 | 23M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |4790 | 1.001750e+03 | 1.039000e+03 | 3.72%
578.59/578.73 c 579s| 14300 | 2840 | 2597k| 180.6 | 23M| 53 |1130 |1517 |2928 |1517 |2983 | 93 | 0 |4790 | 1.001750e+03 | 1.039000e+03 | 3.72%
581.89/582.06 c 582s| 14400 | 2862 | 2616k| 180.7 | 23M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |4790 | 1.001750e+03 | 1.039000e+03 | 3.72%
587.48/587.69 c 588s| 14500 | 2904 | 2649k| 181.8 | 23M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |4790 | 1.001833e+03 | 1.039000e+03 | 3.71%
591.18/591.31 c 591s| 14600 | 2938 | 2670k| 182.0 | 23M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |4790 | 1.001833e+03 | 1.039000e+03 | 3.71%
593.29/593.42 c 593s| 14700 | 2950 | 2683k| 181.6 | 23M| 53 |1050 |1517 |2928 |1517 |2983 | 93 | 0 |4790 | 1.001833e+03 | 1.039000e+03 | 3.71%
597.09/597.27 c 597s| 14800 | 2966 | 2701k| 181.6 | 23M| 53 |1139 |1517 |2928 |1517 |2983 | 93 | 0 |4809 | 1.002000e+03 | 1.039000e+03 | 3.69%
599.49/599.69 c 600s| 14900 | 2970 | 2710k| 181.0 | 23M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |4837 | 1.002000e+03 | 1.039000e+03 | 3.69%
604.68/604.80 c 605s| 15000 | 3010 | 2737k| 181.6 | 23M| 53 |1158 |1517 |2928 |1517 |2983 | 93 | 0 |4865 | 1.002000e+03 | 1.039000e+03 | 3.69%
608.88/609.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
608.88/609.07 c 609s| 15100 | 3044 | 2759k| 181.9 | 23M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |4891 | 1.002000e+03 | 1.039000e+03 | 3.69%
615.89/616.05 c 616s| 15200 | 3104 | 2794k| 182.9 | 23M| 53 |1089 |1517 |2928 |1517 |2983 | 93 | 0 |4941 | 1.002000e+03 | 1.039000e+03 | 3.69%
620.08/620.21 c 620s| 15300 | 3118 | 2813k| 183.0 | 23M| 53 |1387 |1517 |2928 |1517 |2983 | 93 | 0 |4973 | 1.002000e+03 | 1.039000e+03 | 3.69%
628.07/628.27 c 628s| 15400 | 3178 | 2851k| 184.3 | 23M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |5027 | 1.002000e+03 | 1.039000e+03 | 3.69%
631.18/631.38 c 631s| 15500 | 3212 | 2867k| 184.1 | 24M| 53 |1118 |1517 |2928 |1517 |2983 | 93 | 0 |5051 | 1.002000e+03 | 1.039000e+03 | 3.69%
632.97/633.12 c 633s| 15600 | 3216 | 2875k| 183.4 | 24M| 53 |1108 |1517 |2928 |1517 |2983 | 93 | 0 |5078 | 1.002000e+03 | 1.039000e+03 | 3.69%
637.37/637.54 c 638s| 15700 | 3242 | 2897k| 183.7 | 24M| 53 |1384 |1517 |2928 |1517 |2983 | 93 | 0 |5119 | 1.002000e+03 | 1.039000e+03 | 3.69%
643.48/643.62 c 644s| 15800 | 3284 | 2926k| 184.4 | 24M| 53 |1353 |1517 |2928 |1517 |2983 | 93 | 0 |5165 | 1.002000e+03 | 1.039000e+03 | 3.69%
650.17/650.37 c 650s| 15900 | 3340 | 2959k| 185.2 | 24M| 53 |1129 |1517 |2928 |1517 |2983 | 93 | 0 |5204 | 1.002000e+03 | 1.039000e+03 | 3.69%
652.78/652.95 c 653s| 16000 | 3364 | 2972k| 184.9 | 24M| 53 |1055 |1517 |2928 |1517 |2983 | 93 | 0 |5219 | 1.002000e+03 | 1.039000e+03 | 3.69%
654.87/655.00 c 655s| 16100 | 3370 | 2981k| 184.4 | 24M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |5243 | 1.002000e+03 | 1.039000e+03 | 3.69%
657.68/657.80 c 658s| 16200 | 3382 | 2994k| 184.0 | 24M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |5257 | 1.002000e+03 | 1.039000e+03 | 3.69%
660.67/660.82 c 661s| 16300 | 3388 | 3007k| 183.7 | 24M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |5281 | 1.002000e+03 | 1.039000e+03 | 3.69%
664.88/665.03 c 665s| 16400 | 3410 | 3030k| 183.9 | 24M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |5307 | 1.002000e+03 | 1.039000e+03 | 3.69%
667.27/667.45 c 667s| 16500 | 3420 | 3041k| 183.5 | 24M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |5345 | 1.002000e+03 | 1.039000e+03 | 3.69%
669.97/670.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
669.97/670.13 c 670s| 16600 | 3434 | 3054k| 183.2 | 24M| 53 |1057 |1517 |2928 |1517 |2983 | 93 | 0 |5370 | 1.002000e+03 | 1.039000e+03 | 3.69%
673.37/673.58 c 674s| 16700 | 3444 | 3070k| 183.0 | 24M| 53 |1358 |1517 |2928 |1517 |2983 | 93 | 0 |5415 | 1.002000e+03 | 1.039000e+03 | 3.69%
678.87/679.03 c 679s| 16800 | 3472 | 3095k| 183.5 | 24M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |5467 | 1.002000e+03 | 1.039000e+03 | 3.69%
682.57/682.76 c 683s| 16900 | 3498 | 3117k| 183.6 | 24M| 53 |1107 |1517 |2928 |1517 |2983 | 93 | 0 |5479 | 1.002000e+03 | 1.039000e+03 | 3.69%
687.67/687.89 c 688s| 17000 | 3522 | 3141k| 184.0 | 24M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |5532 | 1.002000e+03 | 1.039000e+03 | 3.69%
691.86/692.00 c 692s| 17100 | 3540 | 3162k| 184.1 | 24M| 53 |1066 |1517 |2928 |1517 |2983 | 93 | 0 |5555 | 1.002000e+03 | 1.039000e+03 | 3.69%
694.87/695.01 c 695s| 17200 | 3556 | 3177k| 183.9 | 24M| 53 |1363 |1517 |2928 |1517 |2983 | 93 | 0 |5603 | 1.002000e+03 | 1.039000e+03 | 3.69%
699.47/699.62 c 700s| 17300 | 3588 | 3197k| 184.0 | 24M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |5660 | 1.002000e+03 | 1.039000e+03 | 3.69%
702.17/702.35 c 702s| 17400 | 3602 | 3211k| 183.8 | 24M| 53 |1055 |1517 |2928 |1517 |2983 | 93 | 0 |5684 | 1.002000e+03 | 1.039000e+03 | 3.69%
705.06/705.25 c 705s| 17500 | 3614 | 3225k| 183.5 | 24M| 53 |1133 |1517 |2928 |1517 |2983 | 93 | 0 |5705 | 1.002000e+03 | 1.039000e+03 | 3.69%
710.66/710.81 c 711s| 17600 | 3652 | 3252k| 184.0 | 24M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |5736 | 1.002000e+03 | 1.039000e+03 | 3.69%
713.36/713.57 c 714s| 17700 | 3658 | 3265k| 183.7 | 24M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |5777 | 1.002000e+03 | 1.039000e+03 | 3.69%
719.06/719.23 c 719s| 17800 | 3684 | 3293k| 184.2 | 24M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |5815 | 1.002000e+03 | 1.039000e+03 | 3.69%
721.37/721.56 c 722s| 17900 | 3694 | 3303k| 183.8 | 24M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |5842 | 1.002000e+03 | 1.039000e+03 | 3.69%
725.97/726.15 c 726s| 18000 | 3716 | 3326k| 184.1 | 24M| 53 |1143 |1517 |2928 |1517 |2983 | 93 | 0 |5885 | 1.002000e+03 | 1.039000e+03 | 3.69%
729.06/729.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
729.06/729.28 c 729s| 18100 | 3730 | 3341k| 183.9 | 25M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |5932 | 1.002000e+03 | 1.039000e+03 | 3.69%
734.47/734.67 c 735s| 18200 | 3764 | 3367k| 184.2 | 25M| 53 |1373 |1517 |2928 |1517 |2983 | 93 | 0 |6008 | 1.002000e+03 | 1.039000e+03 | 3.69%
739.27/739.41 c 739s| 18300 | 3804 | 3390k| 184.5 | 25M| 53 |1110 |1517 |2928 |1517 |2983 | 93 | 0 |6083 | 1.002000e+03 | 1.039000e+03 | 3.69%
742.66/742.88 c 743s| 18400 | 3820 | 3406k| 184.4 | 25M| 53 |1071 |1517 |2928 |1517 |2983 | 93 | 0 |6123 | 1.002000e+03 | 1.039000e+03 | 3.69%
749.06/749.21 c 749s| 18500 | 3862 | 3438k| 185.1 | 25M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |6169 | 1.002000e+03 | 1.039000e+03 | 3.69%
752.56/752.77 c 753s| 18600 | 3890 | 3456k| 185.1 | 25M| 53 |1081 |1517 |2928 |1517 |2983 | 93 | 0 |6203 | 1.002250e+03 | 1.039000e+03 | 3.67%
755.05/755.29 c 755s| 18700 | 3910 | 3469k| 184.8 | 25M| 53 |1063 |1517 |2928 |1517 |2983 | 93 | 0 |6249 | 1.002250e+03 | 1.039000e+03 | 3.67%
758.56/758.70 c 759s| 18800 | 3924 | 3487k| 184.8 | 25M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |6266 | 1.002250e+03 | 1.039000e+03 | 3.67%
762.76/762.93 c 763s| 18900 | 3972 | 3513k| 185.2 | 25M| 53 |1075 |1517 |2928 |1517 |2983 | 93 | 0 |6266 | 1.002250e+03 | 1.039000e+03 | 3.67%
766.36/766.53 c 767s| 19000 | 3998 | 3534k| 185.3 | 25M| 53 |1352 |1517 |2928 |1517 |2983 | 93 | 0 |6266 | 1.002250e+03 | 1.039000e+03 | 3.67%
768.26/768.47 c 768s| 19100 | 4018 | 3546k| 184.9 | 25M| 53 |1122 |1517 |2928 |1517 |2983 | 93 | 0 |6266 | 1.002333e+03 | 1.039000e+03 | 3.66%
770.56/770.71 c 771s| 19200 | 4028 | 3559k| 184.7 | 25M| 53 |1144 |1517 |2928 |1517 |2983 | 93 | 0 |6266 | 1.002333e+03 | 1.039000e+03 | 3.66%
773.06/773.21 c 773s| 19300 | 4052 | 3574k| 184.5 | 25M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |6266 | 1.002375e+03 | 1.039000e+03 | 3.65%
774.66/774.89 c 775s| 19400 | 4072 | 3584k| 184.0 | 25M| 53 |1128 |1517 |2928 |1517 |2983 | 93 | 0 |6266 | 1.002375e+03 | 1.039000e+03 | 3.65%
778.85/779.05 c 779s| 19500 | 4110 | 3608k| 184.4 | 25M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |6266 | 1.002375e+03 | 1.039000e+03 | 3.65%
781.75/781.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
781.75/781.95 c 782s| 19600 | 4126 | 3626k| 184.3 | 25M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |6266 | 1.002500e+03 | 1.039000e+03 | 3.64%
782.96/783.18 c 783s| 19700 | 4134 | 3633k| 183.8 | 25M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |6266 | 1.002500e+03 | 1.039000e+03 | 3.64%
786.65/786.88 c 787s| 19800 | 4164 | 3657k| 184.0 | 25M| 53 |1171 |1517 |2928 |1517 |2983 | 93 | 0 |6266 | 1.002500e+03 | 1.039000e+03 | 3.64%
789.05/789.26 c 789s| 19900 | 4192 | 3670k| 183.8 | 25M| 53 |1055 |1517 |2928 |1517 |2983 | 93 | 0 |6266 | 1.002500e+03 | 1.039000e+03 | 3.64%
794.36/794.52 c 795s| 20000 | 4238 | 3701k| 184.4 | 26M| 53 |1087 |1517 |2928 |1517 |2983 | 93 | 0 |6266 | 1.002500e+03 | 1.039000e+03 | 3.64%
795.85/796.00 c 796s| 20100 | 4274 | 3710k| 183.9 | 26M| 53 |1077 |1517 |2928 |1517 |2983 | 93 | 0 |6266 | 1.002500e+03 | 1.039000e+03 | 3.64%
798.46/798.65 c 799s| 20200 | 4294 | 3726k| 183.8 | 26M| 53 |1158 |1517 |2928 |1517 |2983 | 93 | 0 |6266 | 1.002500e+03 | 1.039000e+03 | 3.64%
800.85/801.07 c 801s| 20300 | 4314 | 3741k| 183.6 | 26M| 53 |1133 |1517 |2928 |1517 |2983 | 93 | 0 |6266 | 1.002500e+03 | 1.039000e+03 | 3.64%
804.35/804.51 c 805s| 20400 | 4336 | 3761k| 183.7 | 26M| 53 |1160 |1517 |2928 |1517 |2983 | 93 | 0 |6266 | 1.002500e+03 | 1.039000e+03 | 3.64%
805.96/806.17 c 806s| 20500 | 4358 | 3772k| 183.3 | 26M| 53 |1033 |1517 |2928 |1517 |2983 | 93 | 0 |6266 | 1.002500e+03 | 1.039000e+03 | 3.64%
807.35/807.53 c 808s| 20600 | 4356 | 3779k| 182.8 | 26M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |6266 | 1.002500e+03 | 1.039000e+03 | 3.64%
810.46/810.64 c 811s| 20700 | 4378 | 3798k| 182.8 | 26M| 53 |1065 |1517 |2928 |1517 |2983 | 93 | 0 |6266 | 1.002500e+03 | 1.039000e+03 | 3.64%
811.75/811.96 c 812s| 20800 | 4384 | 3805k| 182.3 | 26M| 53 |1072 |1517 |2928 |1517 |2983 | 93 | 0 |6266 | 1.002500e+03 | 1.039000e+03 | 3.64%
814.65/814.82 c 815s| 20900 | 4396 | 3821k| 182.2 | 26M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |6266 | 1.002500e+03 | 1.039000e+03 | 3.64%
816.35/816.54 c 817s| 21000 | 4408 | 3832k| 181.8 | 26M| 53 | - |1517 |2928 |1517 |2983 | 93 | 0 |6266 | 1.002500e+03 | 1.039000e+03 | 3.64%
818.05/818.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
818.05/818.28 c 818s| 21100 | 4416 | 3842k| 181.4 | 26M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |6266 | 1.002500e+03 | 1.039000e+03 | 3.64%
820.25/820.49 c 820s| 21200 | 4428 | 3855k| 181.2 | 26M| 54 |1070 |1517 |2928 |1517 |2983 | 93 | 0 |6266 | 1.002500e+03 | 1.039000e+03 | 3.64%
822.74/822.92 c 823s| 21300 | 4450 | 3869k| 181.0 | 26M| 54 |1136 |1517 |2928 |1517 |2983 | 93 | 0 |6266 | 1.002500e+03 | 1.039000e+03 | 3.64%
825.25/825.42 c 825s| 21400 | 4484 | 3882k| 180.8 | 26M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |6286 | 1.002500e+03 | 1.039000e+03 | 3.64%
829.25/829.44 c 829s| 21500 | 4512 | 3902k| 180.9 | 26M| 54 |1311 |1517 |2928 |1517 |2983 | 93 | 0 |6309 | 1.002500e+03 | 1.039000e+03 | 3.64%
833.55/833.78 c 834s| 21600 | 4546 | 3922k| 180.9 | 26M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |6349 | 1.002500e+03 | 1.039000e+03 | 3.64%
836.15/836.30 c 836s| 21700 | 4562 | 3935k| 180.7 | 26M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |6381 | 1.002500e+03 | 1.039000e+03 | 3.64%
839.25/839.43 c 839s| 21800 | 4594 | 3952k| 180.7 | 26M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |6408 | 1.002500e+03 | 1.039000e+03 | 3.64%
844.45/844.69 c 845s| 21900 | 4632 | 3977k| 181.0 | 26M| 54 |1100 |1517 |2928 |1517 |2983 | 93 | 0 |6451 | 1.002500e+03 | 1.039000e+03 | 3.64%
846.55/846.75 c 847s| 22000 | 4644 | 3986k| 180.6 | 26M| 54 | 936 |1517 |2928 |1517 |2983 | 93 | 0 |6465 | 1.002500e+03 | 1.039000e+03 | 3.64%
847.95/848.15 c 848s| 22100 | 4648 | 3994k| 180.1 | 26M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |6465 | 1.002500e+03 | 1.039000e+03 | 3.64%
848.95/849.15 c 849s| 22200 | 4648 | 3998k| 179.5 | 26M| 54 | 984 |1517 |2928 |1517 |2983 | 93 | 0 |6483 | 1.002500e+03 | 1.039000e+03 | 3.64%
849.94/850.17 c 850s| 22300 | 4650 | 4002k| 178.9 | 26M| 54 |1042 |1517 |2928 |1517 |2983 | 93 | 0 |6504 | 1.002500e+03 | 1.039000e+03 | 3.64%
851.64/851.81 c 852s| 22400 | 4650 | 4010k| 178.4 | 26M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |6516 | 1.002500e+03 | 1.039000e+03 | 3.64%
856.15/856.37 c 856s| 22500 | 4678 | 4033k| 178.7 | 26M| 54 |1158 |1517 |2928 |1517 |2983 | 93 | 0 |6551 | 1.002500e+03 | 1.039000e+03 | 3.64%
860.14/860.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
860.14/860.33 c 860s| 22600 | 4708 | 4055k| 178.8 | 26M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |6569 | 1.002500e+03 | 1.039000e+03 | 3.64%
862.44/862.69 c 863s| 22700 | 4720 | 4065k| 178.5 | 26M| 54 |1196 |1517 |2928 |1517 |2983 | 93 | 0 |6589 | 1.002500e+03 | 1.039000e+03 | 3.64%
863.84/864.00 c 864s| 22800 | 4732 | 4073k| 178.0 | 26M| 54 |1081 |1517 |2928 |1517 |2983 | 93 | 0 |6604 | 1.002500e+03 | 1.039000e+03 | 3.64%
866.74/866.97 c 867s| 22900 | 4750 | 4087k| 177.9 | 27M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |6628 | 1.002500e+03 | 1.039000e+03 | 3.64%
869.55/869.73 c 870s| 23000 | 4770 | 4101k| 177.7 | 27M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |6648 | 1.002500e+03 | 1.039000e+03 | 3.64%
871.64/871.83 o 1035
871.64/871.83 c C 872s| 23027 | 4332 | 4109k| 177.9 | 26M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |6663 | 1.002500e+03 | 1.035000e+03 | 3.24%
873.55/873.74 c 874s| 23100 | 4345 | 4121k| 177.8 | 26M| 54 |1142 |1517 |2928 |1517 |2983 | 93 | 0 |6663 | 1.002500e+03 | 1.035000e+03 | 3.24%
877.04/877.25 c 877s| 23200 | 4367 | 4138k| 177.8 | 26M| 54 |1166 |1517 |2928 |1517 |2983 | 93 | 0 |6693 | 1.002500e+03 | 1.035000e+03 | 3.24%
877.44/877.64 o 1031
877.44/877.64 c C 878s| 23227 | 4046 | 4140k| 177.7 | 25M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |6693 | 1.002500e+03 | 1.031000e+03 | 2.84%
877.44/877.69 o 1030
877.44/877.69 c b 878s| 23228 | 3965 | 4141k| 177.7 | 25M| 54 |1391 |1517 |2928 |1517 |2983 | 93 | 0 |6693 | 1.002500e+03 | 1.030000e+03 | 2.74%
882.44/882.63 c 883s| 23300 | 4001 | 4163k| 178.1 | 25M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |6734 | 1.002500e+03 | 1.030000e+03 | 2.74%
887.14/887.33 c 887s| 23400 | 4051 | 4188k| 178.4 | 25M| 54 |1248 |1517 |2928 |1517 |2983 | 93 | 0 |6766 | 1.002500e+03 | 1.030000e+03 | 2.74%
889.94/890.15 c 890s| 23500 | 4061 | 4200k| 178.1 | 25M| 54 |1240 |1517 |2928 |1517 |2983 | 93 | 0 |6800 | 1.002500e+03 | 1.030000e+03 | 2.74%
894.15/894.33 c 894s| 23600 | 4091 | 4219k| 178.2 | 25M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |6831 | 1.002500e+03 | 1.030000e+03 | 2.74%
896.93/897.10 c 897s| 23700 | 4113 | 4235k| 178.1 | 25M| 54 |1157 |1517 |2928 |1517 |2983 | 93 | 0 |6840 | 1.002500e+03 | 1.030000e+03 | 2.74%
900.54/900.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
900.54/900.74 c 901s| 23800 | 4135 | 4252k| 178.1 | 25M| 54 |1290 |1517 |2928 |1517 |2983 | 93 | 0 |6886 | 1.002500e+03 | 1.030000e+03 | 2.74%
902.73/902.91 c 903s| 23900 | 4147 | 4262k| 177.8 | 25M| 54 |1153 |1517 |2928 |1517 |2983 | 93 | 0 |6910 | 1.002500e+03 | 1.030000e+03 | 2.74%
905.23/905.40 c 905s| 24000 | 4157 | 4274k| 177.5 | 25M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |6944 | 1.002500e+03 | 1.030000e+03 | 2.74%
910.43/910.67 c 911s| 24100 | 4187 | 4301k| 177.9 | 25M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |6993 | 1.002500e+03 | 1.030000e+03 | 2.74%
912.43/912.60 c 913s| 24200 | 4193 | 4310k| 177.5 | 25M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |7005 | 1.002500e+03 | 1.030000e+03 | 2.74%
915.34/915.50 c 916s| 24300 | 4211 | 4324k| 177.4 | 25M| 54 |1128 |1517 |2928 |1517 |2983 | 93 | 0 |7042 | 1.002500e+03 | 1.030000e+03 | 2.74%
916.14/916.37 c 916s| 24400 | 4209 | 4328k| 176.8 | 25M| 54 |1166 |1517 |2928 |1517 |2983 | 93 | 0 |7052 | 1.002500e+03 | 1.030000e+03 | 2.74%
918.43/918.61 c 919s| 24500 | 4211 | 4339k| 176.6 | 25M| 54 |1279 |1517 |2928 |1517 |2983 | 93 | 0 |7115 | 1.002500e+03 | 1.030000e+03 | 2.74%
920.13/920.37 c 920s| 24600 | 4219 | 4347k| 176.2 | 25M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |7144 | 1.002500e+03 | 1.030000e+03 | 2.74%
921.83/922.06 c 922s| 24700 | 4223 | 4355k| 175.8 | 25M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |7173 | 1.002500e+03 | 1.030000e+03 | 2.74%
925.03/925.26 c 925s| 24800 | 4241 | 4371k| 175.7 | 25M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |7212 | 1.002625e+03 | 1.030000e+03 | 2.73%
927.73/927.93 c 928s| 24900 | 4257 | 4384k| 175.5 | 25M| 54 |1163 |1517 |2928 |1517 |2983 | 93 | 0 |7255 | 1.002750e+03 | 1.030000e+03 | 2.72%
930.63/930.81 c 931s| 25000 | 4269 | 4399k| 175.4 | 25M| 54 |1174 |1517 |2928 |1517 |2983 | 93 | 0 |7268 | 1.002750e+03 | 1.030000e+03 | 2.72%
933.33/933.58 c 934s| 25100 | 4279 | 4412k| 175.2 | 26M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |7318 | 1.002750e+03 | 1.030000e+03 | 2.72%
935.13/935.37 c 935s| 25200 | 4289 | 4420k| 174.9 | 26M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |7342 | 1.002750e+03 | 1.030000e+03 | 2.72%
938.03/938.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
938.03/938.30 c 938s| 25300 | 4303 | 4435k| 174.8 | 26M| 54 |1168 |1517 |2928 |1517 |2983 | 93 | 0 |7360 | 1.002750e+03 | 1.030000e+03 | 2.72%
939.03/939.21 c 939s| 25400 | 4303 | 4440k| 174.3 | 26M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |7360 | 1.002750e+03 | 1.030000e+03 | 2.72%
940.13/940.30 c 940s| 25500 | 4307 | 4446k| 173.8 | 26M| 54 |1167 |1517 |2928 |1517 |2983 | 93 | 0 |7383 | 1.002750e+03 | 1.030000e+03 | 2.72%
941.03/941.29 c 941s| 25600 | 4305 | 4450k| 173.3 | 26M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |7411 | 1.002750e+03 | 1.030000e+03 | 2.72%
943.64/943.83 c 944s| 25700 | 4317 | 4463k| 173.1 | 26M| 54 |1152 |1517 |2928 |1517 |2983 | 93 | 0 |7439 | 1.002833e+03 | 1.030000e+03 | 2.71%
946.03/946.23 c 946s| 25800 | 4327 | 4475k| 172.9 | 26M| 54 |1139 |1517 |2928 |1517 |2983 | 93 | 0 |7469 | 1.002833e+03 | 1.030000e+03 | 2.71%
948.63/948.80 c 949s| 25900 | 4343 | 4485k| 172.7 | 26M| 54 |1153 |1517 |2928 |1517 |2983 | 93 | 0 |7513 | 1.002875e+03 | 1.030000e+03 | 2.70%
949.33/949.57 c 950s| 26000 | 4343 | 4489k| 172.2 | 26M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |7513 | 1.002875e+03 | 1.030000e+03 | 2.70%
950.32/950.54 c 951s| 26100 | 4347 | 4494k| 171.7 | 26M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |7526 | 1.002875e+03 | 1.030000e+03 | 2.70%
952.13/952.36 c 952s| 26200 | 4351 | 4503k| 171.4 | 26M| 54 |1158 |1517 |2928 |1517 |2983 | 93 | 0 |7570 | 1.002875e+03 | 1.030000e+03 | 2.70%
953.33/953.53 c 954s| 26300 | 4345 | 4508k| 170.9 | 26M| 54 |1180 |1517 |2928 |1517 |2983 | 93 | 0 |7591 | 1.002875e+03 | 1.030000e+03 | 2.70%
954.93/955.11 c 955s| 26400 | 4351 | 4515k| 170.5 | 26M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |7622 | 1.002875e+03 | 1.030000e+03 | 2.70%
956.73/956.99 c 957s| 26500 | 4355 | 4524k| 170.2 | 26M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |7646 | 1.002875e+03 | 1.030000e+03 | 2.70%
960.14/960.36 c 960s| 26600 | 4369 | 4538k| 170.1 | 26M| 54 |1115 |1517 |2928 |1517 |2983 | 93 | 0 |7700 | 1.003000e+03 | 1.030000e+03 | 2.69%
963.63/963.81 c 964s| 26700 | 4393 | 4556k| 170.1 | 26M| 54 |1160 |1517 |2928 |1517 |2983 | 93 | 0 |7714 | 1.003000e+03 | 1.030000e+03 | 2.69%
967.22/967.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
967.22/967.49 c 967s| 26800 | 4409 | 4573k| 170.1 | 26M| 54 |1171 |1517 |2928 |1517 |2983 | 93 | 0 |7756 | 1.003000e+03 | 1.030000e+03 | 2.69%
968.22/968.47 c 968s| 26900 | 4403 | 4578k| 169.7 | 26M| 54 |1172 |1517 |2928 |1517 |2983 | 93 | 0 |7770 | 1.003000e+03 | 1.030000e+03 | 2.69%
969.92/970.17 c 970s| 27000 | 4409 | 4586k| 169.4 | 26M| 54 |1179 |1517 |2928 |1517 |2983 | 93 | 0 |7797 | 1.003000e+03 | 1.030000e+03 | 2.69%
972.22/972.41 c 972s| 27100 | 4431 | 4600k| 169.3 | 26M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |7798 | 1.003000e+03 | 1.030000e+03 | 2.69%
975.02/975.20 c 975s| 27200 | 4451 | 4617k| 169.3 | 26M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |7798 | 1.003000e+03 | 1.030000e+03 | 2.69%
977.12/977.37 c 977s| 27300 | 4467 | 4631k| 169.1 | 26M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |7798 | 1.003000e+03 | 1.030000e+03 | 2.69%
978.73/978.93 c 979s| 27400 | 4473 | 4640k| 168.9 | 26M| 54 |1133 |1517 |2928 |1517 |2983 | 93 | 0 |7798 | 1.003000e+03 | 1.030000e+03 | 2.69%
980.22/980.49 c 980s| 27500 | 4479 | 4649k| 168.6 | 26M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |7798 | 1.003000e+03 | 1.030000e+03 | 2.69%
984.62/984.88 c 985s| 27600 | 4511 | 4678k| 169.0 | 26M| 54 |1202 |1517 |2928 |1517 |2983 | 93 | 0 |7798 | 1.003000e+03 | 1.030000e+03 | 2.69%
988.22/988.44 c 988s| 27700 | 4537 | 4700k| 169.2 | 26M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |7798 | 1.003000e+03 | 1.030000e+03 | 2.69%
990.83/991.05 c 991s| 27800 | 4555 | 4715k| 169.1 | 26M| 54 |1181 |1517 |2928 |1517 |2983 | 93 | 0 |7798 | 1.003000e+03 | 1.030000e+03 | 2.69%
992.52/992.74 c 993s| 27900 | 4565 | 4726k| 168.9 | 26M| 54 |1141 |1517 |2928 |1517 |2983 | 93 | 0 |7798 | 1.003000e+03 | 1.030000e+03 | 2.69%
993.31/993.59 c 994s| 28000 | 4563 | 4731k| 168.5 | 26M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |7798 | 1.003000e+03 | 1.030000e+03 | 2.69%
994.61/994.85 c 995s| 28100 | 4569 | 4739k| 168.2 | 26M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |7798 | 1.003000e+03 | 1.030000e+03 | 2.69%
996.01/996.24 c 996s| 28200 | 4577 | 4748k| 167.9 | 26M| 54 |1153 |1517 |2928 |1517 |2983 | 93 | 0 |7798 | 1.003000e+03 | 1.030000e+03 | 2.69%
998.21/998.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
998.21/998.42 c 998s| 28300 | 4589 | 4761k| 167.8 | 26M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |7798 | 1.003000e+03 | 1.030000e+03 | 2.69%
999.62/999.86 c 1000s| 28400 | 4595 | 4770k| 167.5 | 26M| 54 |1139 |1517 |2928 |1517 |2983 | 93 | 0 |7798 | 1.003000e+03 | 1.030000e+03 | 2.69%
1002.72/1002.91 c 1003s| 28500 | 4617 | 4788k| 167.5 | 26M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |7798 | 1.003000e+03 | 1.030000e+03 | 2.69%
1005.22/1005.44 c 1005s| 28600 | 4635 | 4805k| 167.6 | 26M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |7798 | 1.003000e+03 | 1.030000e+03 | 2.69%
1009.22/1009.42 c 1009s| 28700 | 4659 | 4829k| 167.8 | 26M| 54 |1080 |1517 |2928 |1517 |2983 | 93 | 0 |7798 | 1.003000e+03 | 1.030000e+03 | 2.69%
1011.21/1011.44 c 1011s| 28800 | 4677 | 4842k| 167.7 | 26M| 54 |1127 |1517 |2928 |1517 |2983 | 93 | 0 |7798 | 1.003000e+03 | 1.030000e+03 | 2.69%
1012.01/1012.28 c 1012s| 28900 | 4677 | 4847k| 167.3 | 26M| 54 |1149 |1517 |2928 |1517 |2983 | 93 | 0 |7798 | 1.003000e+03 | 1.030000e+03 | 2.69%
1013.01/1013.25 c 1013s| 29000 | 4673 | 4853k| 166.9 | 26M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |7798 | 1.003000e+03 | 1.030000e+03 | 2.69%
1014.92/1015.15 c 1015s| 29100 | 4681 | 4864k| 166.7 | 26M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |7798 | 1.003000e+03 | 1.030000e+03 | 2.69%
1017.01/1017.27 c 1017s| 29200 | 4695 | 4878k| 166.6 | 26M| 54 |1132 |1517 |2928 |1517 |2983 | 93 | 0 |7798 | 1.003000e+03 | 1.030000e+03 | 2.69%
1018.62/1018.89 c 1019s| 29300 | 4709 | 4887k| 166.3 | 26M| 54 |1250 |1517 |2928 |1517 |2983 | 93 | 0 |7798 | 1.003000e+03 | 1.030000e+03 | 2.69%
1020.21/1020.48 c 1020s| 29400 | 4723 | 4897k| 166.1 | 26M| 54 |1171 |1517 |2928 |1517 |2983 | 93 | 0 |7798 | 1.003000e+03 | 1.030000e+03 | 2.69%
1021.11/1021.35 c 1021s| 29500 | 4717 | 4903k| 165.7 | 26M| 54 |1188 |1517 |2928 |1517 |2983 | 93 | 0 |7798 | 1.003000e+03 | 1.030000e+03 | 2.69%
1023.21/1023.45 c 1023s| 29600 | 4731 | 4916k| 165.6 | 26M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |7798 | 1.003000e+03 | 1.030000e+03 | 2.69%
1024.21/1024.42 c 1024s| 29700 | 4733 | 4921k| 165.3 | 26M| 54 |1168 |1517 |2928 |1517 |2983 | 93 | 0 |7798 | 1.003000e+03 | 1.030000e+03 | 2.69%
1025.71/1025.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1025.71/1025.95 c 1026s| 29800 | 4743 | 4931k| 165.0 | 26M| 54 |1175 |1517 |2928 |1517 |2983 | 93 | 0 |7798 | 1.003000e+03 | 1.030000e+03 | 2.69%
1027.12/1027.33 c 1027s| 29900 | 4745 | 4938k| 164.7 | 26M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |7798 | 1.003000e+03 | 1.030000e+03 | 2.69%
1028.41/1028.61 c 1029s| 30000 | 4755 | 4947k| 164.4 | 26M| 54 |1197 |1517 |2928 |1517 |2983 | 93 | 0 |7798 | 1.003000e+03 | 1.030000e+03 | 2.69%
1031.71/1031.93 c 1032s| 30100 | 4783 | 4968k| 164.6 | 26M| 54 |1181 |1517 |2928 |1517 |2983 | 93 | 0 |7799 | 1.003000e+03 | 1.030000e+03 | 2.69%
1034.11/1034.37 c 1034s| 30200 | 4797 | 4982k| 164.5 | 26M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |7799 | 1.003000e+03 | 1.030000e+03 | 2.69%
1038.41/1038.66 c 1039s| 30300 | 4829 | 5010k| 164.9 | 27M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |7799 | 1.003000e+03 | 1.030000e+03 | 2.69%
1042.11/1042.30 c 1042s| 30400 | 4841 | 5028k| 165.0 | 27M| 54 |1292 |1517 |2928 |1517 |2983 | 93 | 0 |7822 | 1.003000e+03 | 1.030000e+03 | 2.69%
1045.31/1045.52 c 1046s| 30500 | 4863 | 5044k| 164.9 | 27M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |7847 | 1.003000e+03 | 1.030000e+03 | 2.69%
1050.10/1050.37 c 1050s| 30600 | 4893 | 5068k| 165.2 | 27M| 54 |1172 |1517 |2928 |1517 |2983 | 93 | 0 |7890 | 1.003000e+03 | 1.030000e+03 | 2.69%
1052.42/1052.65 c 1053s| 30700 | 4897 | 5082k| 165.1 | 27M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |7904 | 1.003000e+03 | 1.030000e+03 | 2.69%
1054.20/1054.46 c 1054s| 30800 | 4903 | 5092k| 164.9 | 27M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |7915 | 1.003000e+03 | 1.030000e+03 | 2.69%
1058.51/1058.76 c 1059s| 30900 | 4927 | 5115k| 165.1 | 27M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |7949 | 1.003000e+03 | 1.030000e+03 | 2.69%
1060.91/1061.16 c 1061s| 31000 | 4939 | 5127k| 165.0 | 27M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |7958 | 1.003000e+03 | 1.030000e+03 | 2.69%
1063.71/1063.91 c 1064s| 31100 | 4949 | 5141k| 164.9 | 27M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |7986 | 1.003000e+03 | 1.030000e+03 | 2.69%
1067.20/1067.43 c 1067s| 31200 | 4975 | 5158k| 164.9 | 27M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |8013 | 1.003000e+03 | 1.030000e+03 | 2.69%
1069.30/1069.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1069.30/1069.52 c 1070s| 31300 | 4983 | 5169k| 164.7 | 27M| 54 |1191 |1517 |2928 |1517 |2983 | 93 | 0 |8028 | 1.003000e+03 | 1.030000e+03 | 2.69%
1074.01/1074.23 c 1074s| 31400 | 5021 | 5194k| 165.0 | 27M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |8060 | 1.003000e+03 | 1.030000e+03 | 2.69%
1076.80/1077.00 c 1077s| 31500 | 5037 | 5208k| 164.9 | 27M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |8086 | 1.003000e+03 | 1.030000e+03 | 2.69%
1079.20/1079.46 c 1079s| 31600 | 5049 | 5219k| 164.7 | 27M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |8113 | 1.003000e+03 | 1.030000e+03 | 2.69%
1081.50/1081.74 c 1082s| 31700 | 5065 | 5232k| 164.6 | 27M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |8125 | 1.003000e+03 | 1.030000e+03 | 2.69%
1083.21/1083.42 c 1083s| 31800 | 5073 | 5241k| 164.4 | 27M| 54 |1136 |1517 |2928 |1517 |2983 | 93 | 0 |8140 | 1.003000e+03 | 1.030000e+03 | 2.69%
1085.71/1085.98 c 1086s| 31900 | 5075 | 5251k| 164.2 | 27M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |8176 | 1.003125e+03 | 1.030000e+03 | 2.68%
1088.40/1088.69 c 1089s| 32000 | 5091 | 5268k| 164.2 | 27M| 54 |1181 |1517 |2928 |1517 |2983 | 93 | 0 |8176 | 1.003250e+03 | 1.030000e+03 | 2.67%
1092.31/1092.59 c 1093s| 32100 | 5111 | 5288k| 164.3 | 27M| 54 |1186 |1517 |2928 |1517 |2983 | 93 | 0 |8219 | 1.003250e+03 | 1.030000e+03 | 2.67%
1095.10/1095.35 c 1095s| 32200 | 5121 | 5301k| 164.2 | 27M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |8251 | 1.003250e+03 | 1.030000e+03 | 2.67%
1098.00/1098.29 c 1098s| 32300 | 5149 | 5317k| 164.2 | 27M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |8283 | 1.003250e+03 | 1.030000e+03 | 2.67%
1100.70/1100.90 c 1101s| 32400 | 5161 | 5330k| 164.1 | 27M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |8313 | 1.003250e+03 | 1.030000e+03 | 2.67%
1101.60/1101.85 c 1102s| 32500 | 5163 | 5335k| 163.8 | 27M| 54 |1181 |1517 |2928 |1517 |2983 | 93 | 0 |8313 | 1.003250e+03 | 1.030000e+03 | 2.67%
1103.60/1103.87 c 1104s| 32600 | 5167 | 5345k| 163.5 | 27M| 54 |1170 |1517 |2928 |1517 |2983 | 93 | 0 |8360 | 1.003250e+03 | 1.030000e+03 | 2.67%
1105.40/1105.65 c 1106s| 32700 | 5175 | 5353k| 163.3 | 27M| 54 |1160 |1517 |2928 |1517 |2983 | 93 | 0 |8383 | 1.003250e+03 | 1.030000e+03 | 2.67%
1107.51/1107.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1107.51/1107.77 c 1108s| 32800 | 5187 | 5364k| 163.1 | 27M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |8392 | 1.003250e+03 | 1.030000e+03 | 2.67%
1109.00/1109.28 c 1109s| 32900 | 5191 | 5372k| 162.9 | 27M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |8403 | 1.003250e+03 | 1.030000e+03 | 2.67%
1111.20/1111.46 c 1111s| 33000 | 5195 | 5381k| 162.7 | 27M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |8421 | 1.003250e+03 | 1.030000e+03 | 2.67%
1115.60/1115.86 c 1116s| 33100 | 5229 | 5405k| 162.9 | 27M| 54 |1223 |1517 |2928 |1517 |2983 | 93 | 0 |8445 | 1.003250e+03 | 1.030000e+03 | 2.67%
1121.00/1121.21 c 1121s| 33200 | 5263 | 5431k| 163.2 | 27M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |8480 | 1.003333e+03 | 1.030000e+03 | 2.66%
1123.00/1123.21 c 1123s| 33300 | 5279 | 5441k| 163.0 | 27M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |8492 | 1.003375e+03 | 1.030000e+03 | 2.65%
1127.69/1127.95 c 1128s| 33400 | 5303 | 5466k| 163.2 | 27M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |8530 | 1.003500e+03 | 1.030000e+03 | 2.64%
1131.29/1131.59 c 1132s| 33500 | 5323 | 5482k| 163.2 | 27M| 54 |1165 |1517 |2928 |1517 |2983 | 93 | 0 |8561 | 1.003500e+03 | 1.030000e+03 | 2.64%
1133.90/1134.19 c 1134s| 33600 | 5335 | 5497k| 163.2 | 28M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |8580 | 1.003500e+03 | 1.030000e+03 | 2.64%
1135.80/1136.02 c 1136s| 33700 | 5339 | 5505k| 163.0 | 28M| 54 |1138 |1517 |2928 |1517 |2983 | 93 | 0 |8589 | 1.003500e+03 | 1.030000e+03 | 2.64%
1138.20/1138.42 c 1138s| 33800 | 5353 | 5517k| 162.8 | 28M| 54 |1136 |1517 |2928 |1517 |2983 | 93 | 0 |8650 | 1.003500e+03 | 1.030000e+03 | 2.64%
1141.79/1142.00 c 1142s| 33900 | 5379 | 5535k| 162.9 | 28M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |8692 | 1.003500e+03 | 1.030000e+03 | 2.64%
1144.30/1144.56 c 1145s| 34000 | 5383 | 5548k| 162.8 | 28M| 54 |1182 |1517 |2928 |1517 |2983 | 93 | 0 |8715 | 1.003500e+03 | 1.030000e+03 | 2.64%
1146.70/1146.92 c 1147s| 34100 | 5395 | 5560k| 162.7 | 28M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |8738 | 1.003500e+03 | 1.030000e+03 | 2.64%
1150.40/1150.66 c 1151s| 34200 | 5413 | 5578k| 162.7 | 28M| 54 |1108 |1517 |2928 |1517 |2983 | 93 | 0 |8767 | 1.003500e+03 | 1.030000e+03 | 2.64%
1152.79/1153.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1152.79/1153.02 c 1153s| 34300 | 5421 | 5590k| 162.6 | 28M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |8798 | 1.003500e+03 | 1.030000e+03 | 2.64%
1153.60/1153.82 c 1154s| 34400 | 5417 | 5595k| 162.3 | 28M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |8798 | 1.003500e+03 | 1.030000e+03 | 2.64%
1154.89/1155.14 c 1155s| 34500 | 5419 | 5602k| 162.0 | 28M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |8828 | 1.003500e+03 | 1.030000e+03 | 2.64%
1156.29/1156.53 c 1157s| 34600 | 5419 | 5608k| 161.7 | 28M| 54 |1156 |1517 |2928 |1517 |2983 | 93 | 0 |8854 | 1.003500e+03 | 1.030000e+03 | 2.64%
1157.90/1158.18 c 1158s| 34700 | 5423 | 5616k| 161.5 | 28M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |8880 | 1.003500e+03 | 1.030000e+03 | 2.64%
1161.49/1161.79 c 1162s| 34800 | 5445 | 5632k| 161.5 | 28M| 54 |1176 |1517 |2928 |1517 |2983 | 93 | 0 |8917 | 1.003500e+03 | 1.030000e+03 | 2.64%
1162.79/1163.00 c 1163s| 34900 | 5447 | 5640k| 161.2 | 28M| 54 |1172 |1517 |2928 |1517 |2983 | 93 | 0 |8917 | 1.003500e+03 | 1.030000e+03 | 2.64%
1165.70/1165.99 c 1166s| 35000 | 5461 | 5653k| 161.1 | 28M| 54 |1173 |1517 |2928 |1517 |2983 | 93 | 0 |8942 | 1.003500e+03 | 1.030000e+03 | 2.64%
1167.49/1167.75 c 1168s| 35100 | 5467 | 5664k| 161.0 | 28M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |8957 | 1.003500e+03 | 1.030000e+03 | 2.64%
1171.49/1171.74 c 1172s| 35200 | 5491 | 5682k| 161.0 | 28M| 54 |1162 |1517 |2928 |1517 |2983 | 93 | 0 |9012 | 1.003500e+03 | 1.030000e+03 | 2.64%
1172.99/1173.22 c 1173s| 35300 | 5501 | 5690k| 160.8 | 28M| 54 |1147 |1517 |2928 |1517 |2983 | 93 | 0 |9012 | 1.003500e+03 | 1.030000e+03 | 2.64%
1175.19/1175.48 c 1175s| 35400 | 5507 | 5700k| 160.6 | 28M| 54 |1168 |1517 |2928 |1517 |2983 | 93 | 0 |9035 | 1.003500e+03 | 1.030000e+03 | 2.64%
1178.19/1178.41 c 1178s| 35500 | 5523 | 5717k| 160.7 | 28M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |9054 | 1.003500e+03 | 1.030000e+03 | 2.64%
1180.10/1180.36 c 1180s| 35600 | 5523 | 5727k| 160.5 | 28M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |9084 | 1.003500e+03 | 1.030000e+03 | 2.64%
1181.20/1181.49 c 1181s| 35700 | 5523 | 5732k| 160.2 | 28M| 54 |1137 |1517 |2928 |1517 |2983 | 93 | 0 |9110 | 1.003500e+03 | 1.030000e+03 | 2.64%
1183.59/1183.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1183.59/1183.84 c 1184s| 35800 | 5541 | 5745k| 160.1 | 28M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |9137 | 1.003500e+03 | 1.030000e+03 | 2.64%
1186.19/1186.49 c 1186s| 35900 | 5555 | 5758k| 160.0 | 28M| 54 |1175 |1517 |2928 |1517 |2983 | 93 | 0 |9188 | 1.003500e+03 | 1.030000e+03 | 2.64%
1189.49/1189.74 c 1190s| 36000 | 5579 | 5775k| 160.1 | 28M| 54 |1149 |1517 |2928 |1517 |2983 | 93 | 0 |9219 | 1.003500e+03 | 1.030000e+03 | 2.64%
1192.10/1192.33 c 1192s| 36100 | 5591 | 5788k| 160.0 | 28M| 54 |1148 |1517 |2928 |1517 |2983 | 93 | 0 |9273 | 1.003500e+03 | 1.030000e+03 | 2.64%
1195.40/1195.62 c 1196s| 36200 | 5611 | 5805k| 160.0 | 28M| 54 |1194 |1517 |2928 |1517 |2983 | 93 | 0 |9298 | 1.003500e+03 | 1.030000e+03 | 2.64%
1197.70/1197.92 c 1198s| 36300 | 5623 | 5817k| 159.9 | 28M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |9324 | 1.003500e+03 | 1.030000e+03 | 2.64%
1199.28/1199.59 c 1200s| 36400 | 5631 | 5826k| 159.7 | 28M| 54 | - |1517 |2928 |1517 |2983 | 93 | 0 |9336 | 1.003500e+03 | 1.030000e+03 | 2.64%
1202.58/1202.80 c 1203s| 36500 | 5651 | 5844k| 159.7 | 28M| 54 |1187 |1517 |2928 |1517 |2983 | 93 | 0 |9376 | 1.003500e+03 | 1.030000e+03 | 2.64%
1203.58/1203.83 c 1204s| 36600 | 5651 | 5850k| 159.5 | 28M| 55 |1173 |1517 |2928 |1517 |2983 | 93 | 0 |9376 | 1.003500e+03 | 1.030000e+03 | 2.64%
1207.28/1207.57 c 1208s| 36700 | 5677 | 5873k| 159.7 | 28M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 |9378 | 1.003500e+03 | 1.030000e+03 | 2.64%
1208.78/1209.01 c 1209s| 36800 | 5681 | 5882k| 159.5 | 28M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 |9379 | 1.003500e+03 | 1.030000e+03 | 2.64%
1211.28/1211.55 c 1212s| 36900 | 5695 | 5897k| 159.5 | 28M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 |9379 | 1.003500e+03 | 1.030000e+03 | 2.64%
1215.29/1215.53 c 1216s| 37000 | 5721 | 5922k| 159.7 | 28M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 |9379 | 1.003500e+03 | 1.030000e+03 | 2.64%
1215.98/1216.22 c 1216s| 37100 | 5715 | 5926k| 159.4 | 28M| 55 |1185 |1517 |2928 |1517 |2983 | 93 | 0 |9379 | 1.003500e+03 | 1.030000e+03 | 2.64%
1217.68/1217.90 c 1218s| 37200 | 5725 | 5936k| 159.2 | 28M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 |9379 | 1.003500e+03 | 1.030000e+03 | 2.64%
1220.18/1220.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1220.18/1220.45 c 1220s| 37300 | 5745 | 5953k| 159.2 | 28M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 |9379 | 1.003500e+03 | 1.030000e+03 | 2.64%
1220.79/1221.04 c 1221s| 37400 | 5739 | 5956k| 158.9 | 28M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 |9379 | 1.003500e+03 | 1.030000e+03 | 2.64%
1222.79/1223.02 c 1223s| 37500 | 5749 | 5969k| 158.8 | 28M| 55 |1165 |1517 |2928 |1517 |2983 | 93 | 0 |9379 | 1.003500e+03 | 1.030000e+03 | 2.64%
1224.98/1225.21 c 1225s| 37600 | 5761 | 5982k| 158.8 | 28M| 55 |1203 |1517 |2928 |1517 |2983 | 93 | 0 |9379 | 1.003500e+03 | 1.030000e+03 | 2.64%
1226.28/1226.52 c 1227s| 37700 | 5771 | 5991k| 158.6 | 28M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 |9379 | 1.003500e+03 | 1.030000e+03 | 2.64%
1227.59/1227.85 c 1228s| 37800 | 5773 | 5999k| 158.4 | 28M| 55 |1189 |1517 |2928 |1517 |2983 | 93 | 0 |9379 | 1.003500e+03 | 1.030000e+03 | 2.64%
1228.78/1229.08 c 1229s| 37900 | 5777 | 6008k| 158.2 | 28M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 |9379 | 1.003500e+03 | 1.030000e+03 | 2.64%
1230.08/1230.32 c 1230s| 38000 | 5779 | 6015k| 157.9 | 28M| 55 |1302 |1517 |2928 |1517 |2983 | 93 | 0 |9379 | 1.003500e+03 | 1.030000e+03 | 2.64%
1234.48/1234.79 c 1235s| 38100 | 5821 | 6041k| 158.2 | 28M| 55 |1272 |1517 |2928 |1517 |2983 | 93 | 0 |9379 | 1.003500e+03 | 1.030000e+03 | 2.64%
1238.18/1238.46 c 1238s| 38200 | 5845 | 6063k| 158.4 | 28M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 |9379 | 1.003500e+03 | 1.030000e+03 | 2.64%
1239.18/1239.47 c 1239s| 38300 | 5845 | 6069k| 158.1 | 28M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 |9379 | 1.003500e+03 | 1.030000e+03 | 2.64%
1240.59/1240.81 c 1241s| 38400 | 5851 | 6076k| 157.9 | 28M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 |9379 | 1.003500e+03 | 1.030000e+03 | 2.64%
1241.48/1241.77 c 1242s| 38500 | 5853 | 6082k| 157.6 | 28M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 |9379 | 1.003500e+03 | 1.030000e+03 | 2.64%
1242.58/1242.89 c 1243s| 38600 | 5853 | 6088k| 157.4 | 28M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 |9379 | 1.003500e+03 | 1.030000e+03 | 2.64%
1243.89/1244.11 c 1244s| 38700 | 5855 | 6095k| 157.2 | 28M| 55 |1178 |1517 |2928 |1517 |2983 | 93 | 0 |9379 | 1.003500e+03 | 1.030000e+03 | 2.64%
1245.68/1245.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1245.68/1245.99 c 1246s| 38800 | 5879 | 6107k| 157.1 | 29M| 55 |1288 |1517 |2928 |1517 |2983 | 93 | 0 |9379 | 1.003500e+03 | 1.030000e+03 | 2.64%
1247.48/1247.78 c 1248s| 38900 | 5897 | 6119k| 157.0 | 29M| 55 |1151 |1517 |2928 |1517 |2983 | 93 | 0 |9379 | 1.003500e+03 | 1.030000e+03 | 2.64%
1249.08/1249.38 c 1249s| 39000 | 5911 | 6129k| 156.8 | 29M| 55 |1188 |1517 |2928 |1517 |2983 | 93 | 0 |9379 | 1.003500e+03 | 1.030000e+03 | 2.64%
1250.58/1250.86 c 1251s| 39100 | 5923 | 6137k| 156.6 | 29M| 55 |1197 |1517 |2928 |1517 |2983 | 93 | 0 |9379 | 1.003500e+03 | 1.030000e+03 | 2.64%
1251.77/1252.03 c 1252s| 39200 | 5933 | 6144k| 156.4 | 29M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 |9379 | 1.003500e+03 | 1.030000e+03 | 2.64%
1253.79/1254.06 c 1254s| 39300 | 5949 | 6155k| 156.3 | 29M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 |9379 | 1.003500e+03 | 1.030000e+03 | 2.64%
1255.88/1256.10 c 1256s| 39400 | 5957 | 6169k| 156.2 | 29M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 |9379 | 1.003500e+03 | 1.030000e+03 | 2.64%
1258.18/1258.41 c 1258s| 39500 | 5979 | 6184k| 156.2 | 29M| 55 |1223 |1517 |2928 |1517 |2983 | 93 | 0 |9379 | 1.003500e+03 | 1.030000e+03 | 2.64%
1259.18/1259.46 c 1259s| 39600 | 5983 | 6190k| 156.0 | 29M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 |9379 | 1.003500e+03 | 1.030000e+03 | 2.64%
1260.28/1260.53 c 1261s| 39700 | 5989 | 6197k| 155.8 | 29M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 |9379 | 1.003500e+03 | 1.030000e+03 | 2.64%
1262.27/1262.57 c 1263s| 39800 | 6003 | 6210k| 155.7 | 29M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 |9379 | 1.003500e+03 | 1.030000e+03 | 2.64%
1264.78/1265.08 c 1265s| 39900 | 6035 | 6225k| 155.7 | 29M| 55 |1232 |1517 |2928 |1517 |2983 | 93 | 0 |9379 | 1.003500e+03 | 1.030000e+03 | 2.64%
1265.97/1266.27 c 1266s| 40000 | 6043 | 6233k| 155.5 | 29M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 |9379 | 1.003500e+03 | 1.030000e+03 | 2.64%
1268.78/1269.02 c 1269s| 40100 | 6065 | 6250k| 155.5 | 29M| 55 |1218 |1517 |2928 |1517 |2983 | 93 | 0 |9379 | 1.003500e+03 | 1.030000e+03 | 2.64%
1270.97/1271.21 c 1271s| 40200 | 6083 | 6263k| 155.5 | 29M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 |9379 | 1.003500e+03 | 1.030000e+03 | 2.64%
1272.78/1273.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1272.78/1273.04 c 1273s| 40300 | 6097 | 6274k| 155.4 | 29M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 |9379 | 1.003500e+03 | 1.030000e+03 | 2.64%
1275.38/1275.60 c 1276s| 40400 | 6109 | 6290k| 155.4 | 29M| 55 |1209 |1517 |2928 |1517 |2983 | 93 | 0 |9379 | 1.003500e+03 | 1.030000e+03 | 2.64%
1277.67/1277.99 c 1278s| 40500 | 6117 | 6305k| 155.3 | 29M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 |9379 | 1.003500e+03 | 1.030000e+03 | 2.64%
1279.77/1280.00 c 1280s| 40600 | 6127 | 6317k| 155.3 | 29M| 55 |1231 |1517 |2928 |1517 |2983 | 93 | 0 |9379 | 1.003500e+03 | 1.030000e+03 | 2.64%
1282.57/1282.87 c 1283s| 40700 | 6139 | 6331k| 155.2 | 29M| 55 |1200 |1517 |2928 |1517 |2983 | 93 | 0 |9397 | 1.003500e+03 | 1.030000e+03 | 2.64%
1285.68/1285.99 c 1286s| 40800 | 6155 | 6346k| 155.2 | 29M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 |9431 | 1.003500e+03 | 1.030000e+03 | 2.64%
1288.77/1289.09 c 1289s| 40900 | 6169 | 6363k| 155.2 | 29M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 |9454 | 1.003500e+03 | 1.030000e+03 | 2.64%
1290.68/1290.97 c 1291s| 41000 | 6179 | 6372k| 155.1 | 29M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 |9472 | 1.003500e+03 | 1.030000e+03 | 2.64%
1291.97/1292.24 c 1292s| 41100 | 6183 | 6378k| 154.9 | 29M| 55 |1166 |1517 |2928 |1517 |2983 | 93 | 0 |9495 | 1.003500e+03 | 1.030000e+03 | 2.64%
1294.57/1294.82 c 1295s| 41200 | 6193 | 6391k| 154.8 | 29M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 |9525 | 1.003500e+03 | 1.030000e+03 | 2.64%
1295.97/1296.27 c 1296s| 41300 | 6197 | 6400k| 154.6 | 29M| 55 |1199 |1517 |2928 |1517 |2983 | 93 | 0 |9537 | 1.003500e+03 | 1.030000e+03 | 2.64%
1298.88/1299.11 c 1299s| 41400 | 6215 | 6414k| 154.6 | 29M| 55 |1257 |1517 |2928 |1517 |2983 | 93 | 0 |9567 | 1.003500e+03 | 1.030000e+03 | 2.64%
1300.37/1300.63 c 1301s| 41500 | 6213 | 6422k| 154.4 | 29M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 |9580 | 1.003500e+03 | 1.030000e+03 | 2.64%
1303.57/1303.84 c 1304s| 41600 | 6239 | 6439k| 154.5 | 29M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 |9599 | 1.003625e+03 | 1.030000e+03 | 2.63%
1306.77/1307.00 c 1307s| 41700 | 6259 | 6456k| 154.5 | 29M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 |9622 | 1.003750e+03 | 1.030000e+03 | 2.62%
1308.97/1309.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1308.97/1309.20 c 1309s| 41800 | 6273 | 6466k| 154.4 | 29M| 55 |1196 |1517 |2928 |1517 |2983 | 93 | 0 |9657 | 1.003750e+03 | 1.030000e+03 | 2.62%
1311.97/1312.21 c 1312s| 41900 | 6293 | 6482k| 154.4 | 29M| 55 |1174 |1517 |2928 |1517 |2983 | 93 | 0 |9678 | 1.003750e+03 | 1.030000e+03 | 2.62%
1313.27/1313.56 c 1314s| 42000 | 6293 | 6488k| 154.2 | 29M| 55 |1224 |1517 |2928 |1517 |2983 | 93 | 0 |9702 | 1.003750e+03 | 1.030000e+03 | 2.62%
1314.47/1314.76 c 1315s| 42100 | 6299 | 6496k| 154.0 | 29M| 55 |1188 |1517 |2928 |1517 |2983 | 93 | 0 |9702 | 1.003750e+03 | 1.030000e+03 | 2.62%
1315.86/1316.12 c 1316s| 42200 | 6297 | 6502k| 153.8 | 29M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 |9729 | 1.003750e+03 | 1.030000e+03 | 2.62%
1318.87/1319.18 c 1319s| 42300 | 6319 | 6518k| 153.8 | 29M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 |9757 | 1.003750e+03 | 1.030000e+03 | 2.62%
1322.47/1322.72 c 1323s| 42400 | 6337 | 6537k| 153.8 | 29M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 |9779 | 1.003750e+03 | 1.030000e+03 | 2.62%
1324.37/1324.66 c 1325s| 42500 | 6343 | 6546k| 153.7 | 29M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 |9799 | 1.003750e+03 | 1.030000e+03 | 2.62%
1325.96/1326.24 c 1326s| 42600 | 6345 | 6555k| 153.6 | 29M| 55 |1301 |1517 |2928 |1517 |2983 | 93 | 0 |9815 | 1.003750e+03 | 1.030000e+03 | 2.62%
1330.56/1330.80 c 1331s| 42700 | 6377 | 6578k| 153.7 | 29M| 55 |1195 |1517 |2928 |1517 |2983 | 93 | 0 |9844 | 1.003750e+03 | 1.030000e+03 | 2.62%
1332.97/1333.22 c 1333s| 42800 | 6383 | 6588k| 153.6 | 30M| 55 |1204 |1517 |2928 |1517 |2983 | 93 | 0 |9875 | 1.003750e+03 | 1.030000e+03 | 2.62%
1334.87/1335.14 c 1335s| 42900 | 6391 | 6598k| 153.5 | 30M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 |9894 | 1.003750e+03 | 1.030000e+03 | 2.62%
1338.37/1338.67 c 1339s| 43000 | 6413 | 6616k| 153.5 | 30M| 55 |1269 |1517 |2928 |1517 |2983 | 93 | 0 |9926 | 1.003750e+03 | 1.030000e+03 | 2.62%
1340.77/1341.04 c 1341s| 43100 | 6419 | 6627k| 153.5 | 30M| 55 |1295 |1517 |2928 |1517 |2983 | 93 | 0 |9943 | 1.003750e+03 | 1.030000e+03 | 2.62%
1344.37/1344.69 c 1345s| 43200 | 6447 | 6646k| 153.5 | 30M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 |9977 | 1.003750e+03 | 1.030000e+03 | 2.62%
1346.86/1347.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1346.86/1347.12 c 1347s| 43300 | 6467 | 6659k| 153.5 | 30M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 |9990 | 1.003750e+03 | 1.030000e+03 | 2.62%
1348.56/1348.81 c 1349s| 43400 | 6469 | 6668k| 153.3 | 30M| 55 |1191 |1517 |2928 |1517 |2983 | 93 | 0 | 10k| 1.003750e+03 | 1.030000e+03 | 2.62%
1352.36/1352.68 c 1353s| 43500 | 6499 | 6686k| 153.4 | 30M| 55 |1205 |1517 |2928 |1517 |2983 | 93 | 0 | 10k| 1.003750e+03 | 1.030000e+03 | 2.62%
1354.66/1354.95 c 1355s| 43600 | 6509 | 6699k| 153.3 | 30M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 10k| 1.003750e+03 | 1.030000e+03 | 2.62%
1360.16/1360.44 c 1360s| 43700 | 6543 | 6726k| 153.6 | 30M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 10k| 1.003833e+03 | 1.030000e+03 | 2.61%
1363.86/1364.19 c 1364s| 43800 | 6567 | 6744k| 153.7 | 30M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 10k| 1.003833e+03 | 1.030000e+03 | 2.61%
1368.36/1368.64 c 1369s| 43900 | 6601 | 6767k| 153.8 | 30M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 10k| 1.004000e+03 | 1.030000e+03 | 2.59%
1370.66/1370.96 c 1371s| 44000 | 6615 | 6778k| 153.7 | 30M| 55 |1336 |1517 |2928 |1517 |2983 | 93 | 0 | 10k| 1.004000e+03 | 1.030000e+03 | 2.59%
1372.76/1373.03 c 1373s| 44100 | 6623 | 6790k| 153.7 | 30M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 10k| 1.004000e+03 | 1.030000e+03 | 2.59%
1375.06/1375.39 c 1375s| 44200 | 6635 | 6802k| 153.6 | 30M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 10k| 1.004000e+03 | 1.030000e+03 | 2.59%
1378.26/1378.59 c 1379s| 44300 | 6643 | 6816k| 153.6 | 30M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 10k| 1.004000e+03 | 1.030000e+03 | 2.59%
1381.66/1381.91 c 1382s| 44400 | 6659 | 6834k| 153.6 | 30M| 55 |1237 |1517 |2928 |1517 |2983 | 93 | 0 | 10k| 1.004000e+03 | 1.030000e+03 | 2.59%
1385.55/1385.82 c 1386s| 44500 | 6685 | 6852k| 153.7 | 30M| 55 |1214 |1517 |2928 |1517 |2983 | 93 | 0 | 10k| 1.004000e+03 | 1.030000e+03 | 2.59%
1390.26/1390.54 c 1391s| 44600 | 6731 | 6878k| 153.9 | 30M| 55 |1241 |1517 |2928 |1517 |2983 | 93 | 0 | 10k| 1.004000e+03 | 1.030000e+03 | 2.59%
1391.86/1392.15 c 1392s| 44700 | 6737 | 6886k| 153.7 | 30M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 10k| 1.004000e+03 | 1.030000e+03 | 2.59%
1394.56/1394.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1394.56/1394.84 c 1395s| 44800 | 6745 | 6900k| 153.7 | 30M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 10k| 1.004000e+03 | 1.030000e+03 | 2.59%
1397.06/1397.37 c 1397s| 44900 | 6757 | 6913k| 153.7 | 30M| 55 |1243 |1517 |2928 |1517 |2983 | 93 | 0 | 10k| 1.004000e+03 | 1.030000e+03 | 2.59%
1399.35/1399.62 c 1400s| 45000 | 6765 | 6922k| 153.5 | 30M| 55 |1276 |1517 |2928 |1517 |2983 | 93 | 0 | 10k| 1.004000e+03 | 1.030000e+03 | 2.59%
1402.65/1402.97 c 1403s| 45100 | 6779 | 6940k| 153.6 | 30M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 10k| 1.004000e+03 | 1.030000e+03 | 2.59%
1404.76/1405.08 c 1405s| 45200 | 6791 | 6951k| 153.5 | 30M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 10k| 1.004000e+03 | 1.030000e+03 | 2.59%
1406.96/1407.28 c 1407s| 45300 | 6801 | 6962k| 153.4 | 30M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 10k| 1.004000e+03 | 1.030000e+03 | 2.59%
1410.06/1410.31 c 1410s| 45400 | 6819 | 6977k| 153.4 | 30M| 55 |1214 |1517 |2928 |1517 |2983 | 93 | 0 | 10k| 1.004000e+03 | 1.030000e+03 | 2.59%
1412.55/1412.82 c 1413s| 45500 | 6825 | 6990k| 153.3 | 30M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 10k| 1.004000e+03 | 1.030000e+03 | 2.59%
1413.65/1413.98 c 1414s| 45600 | 6827 | 6995k| 153.1 | 30M| 55 |1256 |1517 |2928 |1517 |2983 | 93 | 0 | 10k| 1.004000e+03 | 1.030000e+03 | 2.59%
1415.55/1415.86 c 1416s| 45700 | 6835 | 7004k| 153.0 | 30M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 10k| 1.004000e+03 | 1.030000e+03 | 2.59%
1417.66/1417.93 c 1418s| 45800 | 6837 | 7012k| 152.8 | 30M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 10k| 1.004000e+03 | 1.030000e+03 | 2.59%
1419.86/1420.13 c 1420s| 45900 | 6839 | 7024k| 152.7 | 30M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 10k| 1.004000e+03 | 1.030000e+03 | 2.59%
1422.35/1422.66 c 1423s| 46000 | 6845 | 7037k| 152.7 | 30M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 10k| 1.004000e+03 | 1.030000e+03 | 2.59%
1424.75/1425.09 c 1425s| 46100 | 6861 | 7050k| 152.6 | 30M| 55 |1221 |1517 |2928 |1517 |2983 | 93 | 0 | 10k| 1.004000e+03 | 1.030000e+03 | 2.59%
1427.05/1427.37 c 1427s| 46200 | 6865 | 7060k| 152.5 | 30M| 55 |1175 |1517 |2928 |1517 |2983 | 93 | 0 | 10k| 1.004000e+03 | 1.030000e+03 | 2.59%
1430.05/1430.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1430.05/1430.36 c 1430s| 46300 | 6883 | 7076k| 152.5 | 30M| 55 |1188 |1517 |2928 |1517 |2983 | 93 | 0 | 10k| 1.004000e+03 | 1.030000e+03 | 2.59%
1432.65/1432.90 c 1433s| 46400 | 6895 | 7088k| 152.5 | 30M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 10k| 1.004000e+03 | 1.030000e+03 | 2.59%
1434.55/1434.84 c 1435s| 46500 | 6903 | 7099k| 152.4 | 31M| 55 |1210 |1517 |2928 |1517 |2983 | 93 | 0 | 10k| 1.004000e+03 | 1.030000e+03 | 2.59%
1436.95/1437.27 c 1437s| 46600 | 6907 | 7112k| 152.3 | 31M| 55 |1254 |1517 |2928 |1517 |2983 | 93 | 0 | 10k| 1.004000e+03 | 1.030000e+03 | 2.59%
1439.35/1439.66 c 1440s| 46700 | 6911 | 7122k| 152.2 | 31M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 10k| 1.004000e+03 | 1.030000e+03 | 2.59%
1442.05/1442.30 c 1442s| 46800 | 6921 | 7136k| 152.2 | 31M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 10k| 1.004000e+03 | 1.030000e+03 | 2.59%
1444.95/1445.29 c 1445s| 46900 | 6941 | 7151k| 152.2 | 31M| 55 |1226 |1517 |2928 |1517 |2983 | 93 | 0 | 10k| 1.004000e+03 | 1.030000e+03 | 2.59%
1447.26/1447.52 c 1448s| 47000 | 6963 | 7161k| 152.1 | 31M| 55 |1205 |1517 |2928 |1517 |2983 | 93 | 0 | 10k| 1.004000e+03 | 1.030000e+03 | 2.59%
1449.05/1449.36 c 1449s| 47100 | 6969 | 7172k| 152.0 | 31M| 55 |1193 |1517 |2928 |1517 |2983 | 93 | 0 | 10k| 1.004000e+03 | 1.030000e+03 | 2.59%
1450.75/1451.03 c 1451s| 47200 | 6975 | 7181k| 151.9 | 31M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 10k| 1.004000e+03 | 1.030000e+03 | 2.59%
1452.45/1452.74 c 1453s| 47300 | 6983 | 7191k| 151.8 | 31M| 55 |1156 |1517 |2928 |1517 |2983 | 93 | 0 | 10k| 1.004000e+03 | 1.030000e+03 | 2.59%
1454.45/1454.71 c 1455s| 47400 | 6991 | 7204k| 151.7 | 31M| 55 |1224 |1517 |2928 |1517 |2983 | 93 | 0 | 10k| 1.004000e+03 | 1.030000e+03 | 2.59%
1456.16/1456.44 c 1456s| 47500 | 6993 | 7214k| 151.6 | 31M| 55 |1164 |1517 |2928 |1517 |2983 | 93 | 0 | 10k| 1.004000e+03 | 1.030000e+03 | 2.59%
1457.75/1458.10 c 1458s| 47600 | 6999 | 7224k| 151.5 | 31M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 10k| 1.004000e+03 | 1.030000e+03 | 2.59%
1459.35/1459.62 c 1460s| 47700 | 7001 | 7233k| 151.4 | 31M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 10k| 1.004000e+03 | 1.030000e+03 | 2.59%
1460.84/1461.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1460.84/1461.12 c 1461s| 47800 | 7005 | 7243k| 151.2 | 31M| 55 |1191 |1517 |2928 |1517 |2983 | 93 | 0 | 10k| 1.004000e+03 | 1.030000e+03 | 2.59%
1462.45/1462.70 c 1463s| 47900 | 7007 | 7252k| 151.1 | 31M| 55 |1211 |1517 |2928 |1517 |2983 | 93 | 0 | 10k| 1.004000e+03 | 1.030000e+03 | 2.59%
1464.35/1464.66 c 1465s| 48000 | 7023 | 7263k| 151.0 | 31M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 10k| 1.004000e+03 | 1.030000e+03 | 2.59%
1466.45/1466.73 c 1467s| 48100 | 7039 | 7277k| 151.0 | 31M| 55 |1205 |1517 |2928 |1517 |2983 | 93 | 0 | 10k| 1.004000e+03 | 1.030000e+03 | 2.59%
1467.24/1467.56 c 1468s| 48200 | 7039 | 7282k| 150.8 | 31M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 10k| 1.004000e+03 | 1.030000e+03 | 2.59%
1469.85/1470.13 c 1470s| 48300 | 7057 | 7299k| 150.8 | 31M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 10k| 1.004000e+03 | 1.030000e+03 | 2.59%
1472.15/1472.40 c 1472s| 48400 | 7073 | 7314k| 150.8 | 31M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 10k| 1.004000e+03 | 1.030000e+03 | 2.59%
1473.75/1474.07 c 1474s| 48500 | 7081 | 7323k| 150.7 | 31M| 55 |1219 |1517 |2928 |1517 |2983 | 93 | 0 | 10k| 1.004000e+03 | 1.030000e+03 | 2.59%
1475.65/1475.96 c 1476s| 48600 | 7097 | 7335k| 150.6 | 31M| 55 |1247 |1517 |2928 |1517 |2983 | 93 | 0 | 10k| 1.004000e+03 | 1.030000e+03 | 2.59%
1476.65/1476.98 c 1477s| 48700 | 7095 | 7342k| 150.5 | 31M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 10k| 1.004000e+03 | 1.030000e+03 | 2.59%
1479.25/1479.57 c 1480s| 48800 | 7113 | 7358k| 150.5 | 31M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1481.05/1481.36 c 1481s| 48900 | 7125 | 7368k| 150.4 | 31M| 55 |1212 |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1483.44/1483.70 c 1484s| 49000 | 7137 | 7383k| 150.4 | 31M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1485.05/1485.38 c 1485s| 49100 | 7147 | 7394k| 150.3 | 31M| 55 |1268 |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1487.74/1488.08 c 1488s| 49200 | 7163 | 7408k| 150.3 | 31M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1489.34/1489.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1489.34/1489.69 c 1490s| 49300 | 7169 | 7419k| 150.2 | 31M| 55 |1217 |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1491.75/1492.04 c 1492s| 49400 | 7183 | 7433k| 150.2 | 31M| 55 |1198 |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1494.04/1494.35 c 1494s| 49500 | 7199 | 7447k| 150.2 | 31M| 55 |1243 |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1497.24/1497.56 c 1498s| 49600 | 7227 | 7466k| 150.3 | 31M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1499.14/1499.48 c 1499s| 49700 | 7237 | 7477k| 150.2 | 31M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1501.25/1501.57 c 1502s| 49800 | 7249 | 7490k| 150.1 | 31M| 55 |1225 |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1502.35/1502.60 c 1503s| 49900 | 7247 | 7496k| 150.0 | 31M| 55 |1236 |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1503.94/1504.25 c 1504s| 50000 | 7251 | 7507k| 149.9 | 31M| 55 |1229 |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1506.34/1506.62 c 1507s| 50100 | 7259 | 7521k| 149.9 | 31M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1508.24/1508.51 c 1509s| 50200 | 7271 | 7532k| 149.8 | 31M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1509.44/1509.74 c 1510s| 50300 | 7273 | 7539k| 149.6 | 31M| 55 |1290 |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1512.34/1512.69 c 1513s| 50400 | 7297 | 7557k| 149.7 | 31M| 55 |1270 |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1514.54/1514.89 c 1515s| 50500 | 7317 | 7571k| 149.6 | 31M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1515.84/1516.15 c 1516s| 50600 | 7319 | 7579k| 149.5 | 31M| 55 |1221 |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1517.04/1517.39 c 1517s| 50700 | 7319 | 7587k| 149.4 | 31M| 55 |1219 |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1518.93/1519.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1518.93/1519.28 c 1519s| 50800 | 7327 | 7599k| 149.3 | 31M| 55 |1212 |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1520.64/1520.96 c 1521s| 50900 | 7331 | 7610k| 149.2 | 31M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1522.63/1522.91 c 1523s| 51000 | 7349 | 7623k| 149.2 | 31M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1524.14/1524.43 c 1524s| 51100 | 7357 | 7632k| 149.1 | 31M| 55 |1121 |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1525.73/1526.09 c 1526s| 51200 | 7365 | 7642k| 149.0 | 31M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1527.84/1528.13 c 1528s| 51300 | 7373 | 7655k| 149.0 | 31M| 55 |1282 |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1530.24/1530.54 c 1531s| 51400 | 7385 | 7670k| 149.0 | 31M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1532.34/1532.64 c 1533s| 51500 | 7395 | 7681k| 148.9 | 31M| 55 |1255 |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1534.53/1534.88 c 1535s| 51600 | 7405 | 7691k| 148.8 | 32M| 55 |1246 |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1537.54/1537.84 c 1538s| 51700 | 7419 | 7705k| 148.8 | 32M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1539.04/1539.36 c 1539s| 51800 | 7423 | 7715k| 148.7 | 32M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1542.73/1543.03 c 1543s| 51900 | 7457 | 7734k| 148.8 | 32M| 55 |1244 |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1544.34/1544.64 c 1545s| 52000 | 7463 | 7742k| 148.6 | 32M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1546.13/1546.41 c 1546s| 52100 | 7471 | 7750k| 148.5 | 32M| 55 |1169 |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1547.63/1547.91 c 1548s| 52200 | 7471 | 7757k| 148.3 | 32M| 55 |1219 |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1549.93/1550.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1549.93/1550.26 c 1550s| 52300 | 7479 | 7769k| 148.3 | 32M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1551.13/1551.42 c 1551s| 52400 | 7481 | 7775k| 148.1 | 32M| 55 |1148 |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1553.03/1553.37 c 1553s| 52500 | 7485 | 7786k| 148.0 | 32M| 55 |1229 |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1555.14/1555.44 c 1555s| 52600 | 7493 | 7794k| 147.9 | 32M| 55 |1183 |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1558.53/1558.83 c 1559s| 52700 | 7511 | 7812k| 148.0 | 32M| 55 |1212 |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1561.43/1561.74 c 1562s| 52800 | 7523 | 7825k| 148.0 | 32M| 55 |1285 |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1563.34/1563.61 c 1564s| 52900 | 7531 | 7837k| 147.9 | 32M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1566.04/1566.35 c 1566s| 53000 | 7547 | 7850k| 147.9 | 32M| 55 |1250 |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1567.83/1568.16 c 1568s| 53100 | 7549 | 7858k| 147.7 | 32M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1568.73/1569.06 c 1569s| 53200 | 7543 | 7864k| 147.6 | 32M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1571.22/1571.54 c 1572s| 53300 | 7551 | 7876k| 147.5 | 32M| 55 |1204 |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1573.84/1574.14 c 1574s| 53400 | 7563 | 7889k| 147.5 | 32M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1576.43/1576.78 c 1577s| 53500 | 7575 | 7904k| 147.5 | 32M| 55 |1215 |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1579.43/1579.70 c 1580s| 53600 | 7587 | 7918k| 147.5 | 32M| 55 |1165 |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1581.54/1581.84 c 1582s| 53700 | 7597 | 7929k| 147.4 | 32M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1582.93/1583.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1582.93/1583.21 c 1583s| 53800 | 7595 | 7936k| 147.3 | 32M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1585.22/1585.58 c 1586s| 53900 | 7605 | 7947k| 147.2 | 32M| 55 |1230 |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1588.23/1588.51 c 1589s| 54000 | 7613 | 7963k| 147.2 | 32M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1589.73/1590.01 c 1590s| 54100 | 7613 | 7971k| 147.1 | 32M| 55 |1273 |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1591.83/1592.11 c 1592s| 54200 | 7619 | 7982k| 147.0 | 32M| 55 |1224 |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1593.53/1593.84 c 1594s| 54300 | 7621 | 7990k| 146.9 | 32M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1595.02/1595.32 c 1595s| 54400 | 7617 | 7997k| 146.8 | 32M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1596.63/1597.00 c 1597s| 54500 | 7617 | 8005k| 146.6 | 32M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1598.73/1599.05 c 1599s| 54600 | 7623 | 8015k| 146.6 | 32M| 55 |1211 |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1600.32/1600.68 c 1601s| 54700 | 7625 | 8023k| 146.4 | 32M| 55 |1298 |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1602.33/1602.68 c 1603s| 54800 | 7629 | 8034k| 146.4 | 32M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1604.02/1604.35 c 1604s| 54900 | 7633 | 8041k| 146.2 | 32M| 55 |1234 |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1606.22/1606.55 c 1607s| 55000 | 7635 | 8051k| 146.1 | 32M| 55 |1310 |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1608.32/1608.61 c 1609s| 55100 | 7643 | 8064k| 146.1 | 32M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1610.22/1610.52 c 1611s| 55200 | 7647 | 8073k| 146.0 | 32M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1612.83/1613.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1612.83/1613.15 c 1613s| 55300 | 7659 | 8088k| 146.0 | 32M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1616.02/1616.33 c 1616s| 55400 | 7681 | 8104k| 146.0 | 32M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1619.12/1619.40 c 1619s| 55500 | 7705 | 8119k| 146.1 | 32M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1621.52/1621.89 c 1622s| 55600 | 7719 | 8131k| 146.0 | 32M| 55 |1160 |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1624.33/1624.63 c 1625s| 55700 | 7729 | 8145k| 146.0 | 32M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1626.73/1627.04 c 1627s| 55800 | 7739 | 8157k| 145.9 | 32M| 55 |1249 |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1629.92/1630.28 c 1630s| 55900 | 7755 | 8175k| 146.0 | 32M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1631.52/1631.81 c 1632s| 56000 | 7753 | 8182k| 145.9 | 32M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1633.72/1634.03 c 1634s| 56100 | 7761 | 8194k| 145.8 | 32M| 55 |1222 |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1635.92/1636.26 c 1636s| 56200 | 7775 | 8205k| 145.8 | 32M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1638.32/1638.60 c 1639s| 56300 | 7781 | 8215k| 145.7 | 32M| 55 |1292 |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1639.42/1639.74 c 1640s| 56400 | 7779 | 8222k| 145.5 | 32M| 55 |1231 |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1641.82/1642.18 c 1642s| 56500 | 7783 | 8233k| 145.5 | 32M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1643.92/1644.25 c 1644s| 56600 | 7791 | 8244k| 145.4 | 32M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1645.02/1645.33 c 1645s| 56700 | 7791 | 8250k| 145.3 | 32M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 11k| 1.004000e+03 | 1.030000e+03 | 2.59%
1647.53/1647.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1647.53/1647.84 c 1648s| 56800 | 7803 | 8261k| 145.2 | 32M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004000e+03 | 1.030000e+03 | 2.59%
1650.11/1650.49 c 1650s| 56900 | 7817 | 8275k| 145.2 | 32M| 55 |1301 |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004000e+03 | 1.030000e+03 | 2.59%
1653.12/1653.45 c 1653s| 57000 | 7835 | 8289k| 145.2 | 32M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004000e+03 | 1.030000e+03 | 2.59%
1654.92/1655.29 c 1655s| 57100 | 7841 | 8299k| 145.1 | 32M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004000e+03 | 1.030000e+03 | 2.59%
1656.81/1657.13 c 1657s| 57200 | 7849 | 8309k| 145.0 | 32M| 55 |1224 |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004000e+03 | 1.030000e+03 | 2.59%
1658.91/1659.21 c 1659s| 57300 | 7857 | 8320k| 145.0 | 32M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004000e+03 | 1.030000e+03 | 2.59%
1660.51/1660.81 c 1661s| 57400 | 7855 | 8327k| 144.8 | 32M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004000e+03 | 1.030000e+03 | 2.59%
1662.82/1663.11 c 1663s| 57500 | 7869 | 8339k| 144.8 | 32M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004000e+03 | 1.030000e+03 | 2.59%
1664.81/1665.17 c 1665s| 57600 | 7879 | 8349k| 144.7 | 32M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004083e+03 | 1.030000e+03 | 2.58%
1667.42/1667.76 c 1668s| 57700 | 7889 | 8362k| 144.7 | 32M| 55 |1241 |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004125e+03 | 1.030000e+03 | 2.58%
1669.52/1669.86 c 1670s| 57800 | 7895 | 8372k| 144.6 | 32M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004125e+03 | 1.030000e+03 | 2.58%
1671.11/1671.47 c 1671s| 57900 | 7901 | 8380k| 144.5 | 32M| 55 |1236 |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004125e+03 | 1.030000e+03 | 2.58%
1672.72/1673.09 c 1673s| 58000 | 7911 | 8388k| 144.4 | 32M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004250e+03 | 1.030000e+03 | 2.56%
1674.51/1674.81 c 1675s| 58100 | 7917 | 8397k| 144.3 | 33M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004250e+03 | 1.030000e+03 | 2.56%
1677.31/1677.62 c 1678s| 58200 | 7933 | 8410k| 144.3 | 33M| 55 |1149 |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004250e+03 | 1.030000e+03 | 2.56%
1679.01/1679.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1679.01/1679.34 c 1679s| 58300 | 7939 | 8419k| 144.2 | 33M| 55 |1135 |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004250e+03 | 1.030000e+03 | 2.56%
1680.91/1681.20 c 1681s| 58400 | 7941 | 8428k| 144.1 | 33M| 55 |1170 |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004250e+03 | 1.030000e+03 | 2.56%
1682.41/1682.73 c 1683s| 58500 | 7947 | 8438k| 144.0 | 33M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004250e+03 | 1.030000e+03 | 2.56%
1684.12/1684.50 c 1684s| 58600 | 7949 | 8446k| 143.9 | 33M| 55 |1197 |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004250e+03 | 1.030000e+03 | 2.56%
1685.71/1686.05 c 1686s| 58700 | 7951 | 8453k| 143.8 | 33M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004250e+03 | 1.030000e+03 | 2.56%
1688.31/1688.61 c 1689s| 58800 | 7965 | 8466k| 143.8 | 33M| 55 |1244 |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004250e+03 | 1.030000e+03 | 2.56%
1690.32/1690.62 c 1691s| 58900 | 7969 | 8476k| 143.7 | 33M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004250e+03 | 1.030000e+03 | 2.56%
1694.01/1694.33 c 1694s| 59000 | 7993 | 8495k| 143.8 | 33M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004250e+03 | 1.030000e+03 | 2.56%
1696.61/1696.90 c 1697s| 59100 | 8009 | 8508k| 143.7 | 33M| 55 |1120 |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004250e+03 | 1.030000e+03 | 2.56%
1699.31/1699.60 c 1700s| 59200 | 8019 | 8521k| 143.7 | 33M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004250e+03 | 1.030000e+03 | 2.56%
1701.91/1702.28 c 1702s| 59300 | 8031 | 8534k| 143.7 | 33M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004250e+03 | 1.030000e+03 | 2.56%
1703.31/1703.67 c 1704s| 59400 | 8035 | 8542k| 143.6 | 33M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004250e+03 | 1.030000e+03 | 2.56%
1704.81/1705.16 c 1705s| 59500 | 8037 | 8549k| 143.5 | 33M| 55 |1217 |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004250e+03 | 1.030000e+03 | 2.56%
1706.81/1707.12 c 1707s| 59600 | 8045 | 8560k| 143.4 | 33M| 55 |1285 |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004250e+03 | 1.030000e+03 | 2.56%
1708.41/1708.70 c 1709s| 59700 | 8057 | 8569k| 143.3 | 33M| 55 |1263 |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004250e+03 | 1.030000e+03 | 2.56%
1709.31/1709.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1709.31/1709.69 c 1710s| 59800 | 8053 | 8575k| 143.2 | 33M| 55 |1210 |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004250e+03 | 1.030000e+03 | 2.56%
1710.91/1711.27 c 1711s| 59900 | 8055 | 8585k| 143.1 | 33M| 55 |1176 |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004250e+03 | 1.030000e+03 | 2.56%
1712.42/1712.76 c 1713s| 60000 | 8059 | 8595k| 143.0 | 33M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004250e+03 | 1.030000e+03 | 2.56%
1715.41/1715.79 c 1716s| 60100 | 8085 | 8613k| 143.1 | 33M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004250e+03 | 1.030000e+03 | 2.56%
1718.21/1718.55 c 1719s| 60200 | 8103 | 8631k| 143.1 | 33M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004250e+03 | 1.030000e+03 | 2.56%
1721.41/1721.71 c 1722s| 60300 | 8135 | 8650k| 143.2 | 33M| 55 |1234 |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004250e+03 | 1.030000e+03 | 2.56%
1723.51/1723.84 c 1724s| 60400 | 8155 | 8664k| 143.2 | 33M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004250e+03 | 1.030000e+03 | 2.56%
1727.11/1727.41 c 1727s| 60500 | 8191 | 8686k| 143.3 | 33M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004250e+03 | 1.030000e+03 | 2.56%
1728.82/1729.16 c 1729s| 60600 | 8209 | 8697k| 143.3 | 33M| 55 |1229 |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004250e+03 | 1.030000e+03 | 2.56%
1731.50/1731.89 c 1732s| 60700 | 8223 | 8715k| 143.3 | 33M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004250e+03 | 1.030000e+03 | 2.56%
1733.50/1733.80 c 1734s| 60800 | 8239 | 8726k| 143.3 | 33M| 55 |1205 |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004250e+03 | 1.030000e+03 | 2.56%
1734.61/1734.91 c 1735s| 60900 | 8235 | 8733k| 143.2 | 33M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004250e+03 | 1.030000e+03 | 2.56%
1736.31/1736.69 c 1737s| 61000 | 8245 | 8744k| 143.1 | 33M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004250e+03 | 1.030000e+03 | 2.56%
1738.60/1738.94 c 1739s| 61100 | 8267 | 8758k| 143.1 | 33M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004250e+03 | 1.030000e+03 | 2.56%
1740.30/1740.68 c 1741s| 61200 | 8277 | 8768k| 143.1 | 33M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004250e+03 | 1.030000e+03 | 2.56%
1741.90/1742.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1741.90/1742.25 c 1742s| 61300 | 8283 | 8777k| 143.0 | 33M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004250e+03 | 1.030000e+03 | 2.56%
1743.80/1744.12 c 1744s| 61400 | 8293 | 8789k| 142.9 | 33M| 55 |1229 |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004250e+03 | 1.030000e+03 | 2.56%
1747.90/1748.20 c 1748s| 61500 | 8329 | 8814k| 143.1 | 33M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004300e+03 | 1.030000e+03 | 2.56%
1750.81/1751.15 c 1751s| 61600 | 8355 | 8832k| 143.2 | 33M| 55 |1182 |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004333e+03 | 1.030000e+03 | 2.56%
1752.40/1752.70 c 1753s| 61700 | 8359 | 8842k| 143.1 | 33M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004333e+03 | 1.030000e+03 | 2.56%
1755.00/1755.37 c 1755s| 61800 | 8377 | 8857k| 143.1 | 33M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004333e+03 | 1.030000e+03 | 2.56%
1755.90/1756.29 c 1756s| 61900 | 8381 | 8863k| 143.0 | 33M| 55 |1172 |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004333e+03 | 1.030000e+03 | 2.56%
1757.41/1757.73 c 1758s| 62000 | 8389 | 8872k| 142.9 | 33M| 55 |1228 |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004333e+03 | 1.030000e+03 | 2.56%
1758.90/1759.28 c 1759s| 62100 | 8389 | 8881k| 142.8 | 33M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004375e+03 | 1.030000e+03 | 2.55%
1762.10/1762.50 c 1762s| 62200 | 8421 | 8901k| 142.9 | 33M| 55 |1215 |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004500e+03 | 1.030000e+03 | 2.54%
1764.20/1764.52 c 1765s| 62300 | 8437 | 8913k| 142.9 | 33M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004500e+03 | 1.030000e+03 | 2.54%
1766.70/1767.08 c 1767s| 62400 | 8459 | 8928k| 142.9 | 34M| 55 |1206 |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004500e+03 | 1.030000e+03 | 2.54%
1767.80/1768.12 c 1768s| 62500 | 8459 | 8934k| 142.7 | 34M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004500e+03 | 1.030000e+03 | 2.54%
1770.10/1770.41 c 1770s| 62600 | 8477 | 8948k| 142.7 | 34M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004500e+03 | 1.030000e+03 | 2.54%
1770.89/1771.28 c 1771s| 62700 | 8471 | 8954k| 142.6 | 34M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004500e+03 | 1.030000e+03 | 2.54%
1775.30/1775.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1775.30/1775.62 c 1776s| 62800 | 8523 | 8981k| 142.8 | 34M| 55 |1216 |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004500e+03 | 1.030000e+03 | 2.54%
1776.70/1777.09 c 1777s| 62900 | 8525 | 8990k| 142.7 | 34M| 55 |1308 |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004500e+03 | 1.030000e+03 | 2.54%
1778.41/1778.75 c 1779s| 63000 | 8537 | 9000k| 142.6 | 34M| 55 |1259 |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004500e+03 | 1.030000e+03 | 2.54%
1779.41/1779.71 c 1780s| 63100 | 8535 | 9005k| 142.5 | 34M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004500e+03 | 1.030000e+03 | 2.54%
1780.80/1781.19 c 1781s| 63200 | 8539 | 9014k| 142.4 | 34M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004500e+03 | 1.030000e+03 | 2.54%
1782.40/1782.71 c 1783s| 63300 | 8547 | 9023k| 142.3 | 34M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004500e+03 | 1.030000e+03 | 2.54%
1785.20/1785.59 c 1786s| 63400 | 8569 | 9041k| 142.4 | 34M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004500e+03 | 1.030000e+03 | 2.54%
1787.59/1787.95 c 1788s| 63500 | 8589 | 9057k| 142.4 | 34M| 55 |1304 |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004500e+03 | 1.030000e+03 | 2.54%
1790.59/1790.97 c 1791s| 63600 | 8609 | 9076k| 142.5 | 34M| 55 |1216 |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004500e+03 | 1.030000e+03 | 2.54%
1792.70/1793.05 c 1793s| 63700 | 8625 | 9089k| 142.5 | 34M| 55 | - |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004500e+03 | 1.030000e+03 | 2.54%
1794.40/1794.79 c 1795s| 63800 | 8633 | 9100k| 142.4 | 34M| 55 |1229 |1517 |2928 |1517 |2983 | 93 | 0 | 12k| 1.004500e+03 | 1.030000e+03 | 2.54%
1796.69/1797.07 c
1796.69/1797.07 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.07 c Solving Time (sec) : 1797.07
1796.69/1797.07 c Solving Nodes : 63882
1796.69/1797.07 c Primal Bound : +1.03000000000000e+03 (887 solutions)
1796.69/1797.07 c Dual Bound : +1.00450000000000e+03
1796.69/1797.07 c Gap : 2.54 %
1796.69/1797.07 s SATISFIABLE
1796.69/1797.07 v x1964 x1963 x1962 -x1961 x1960 x1959 x1958 -x1957 -x1956 x1955 -x1954 x1953 x1952 -x1951 -x1950 -x1949 x1948 x1947 x1946 x1945
1796.69/1797.07 v -x1944 x1943 x1942 -x1941 -x1940 x1939 -x1938 -x1937 -x1936 -x1935 x1934 -x1933 x1932 -x1931 x1930 -x1929 x1928 -x1927 -x1926
1796.69/1797.07 v x1925 x1924 x1923 x1922 -x1921 x1920 x1919 x1918 x1917 -x1916 -x1915 -x1914 -x1913 x1912 x1911 -x1910 x1909 x1908 x1907 x1906
1796.69/1797.07 v x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 x1898 x1897 -x1896 x1895 x1894 x1893 -x1892 x1891 -x1890 x1889 -x1888 x1887
1796.69/1797.07 v x1886 x1885 x1884 x1883 x1882 -x1881 -x1880 x1879 -x1878 -x1877 x1876 x1875 x1874 x1873 -x1872 x1871 -x1870 -x1869 x1868 x1867
1796.69/1797.07 v -x1866 x1865 x1864 x1863 -x1862 x1861 -x1860 -x1859 -x1858 x1857 -x1856 x1855 -x1854 -x1853 -x1852 -x1851 -x1850 x1849 -x1848
1796.69/1797.07 v -x1847 -x1846 -x1845 -x1844 -x1843 x1842 -x1841 x1840 x1839 x1838 x1837 x1836 -x1835 x1834 x1833 -x1832 x1831 -x1830 -x1829
1796.69/1797.07 v x1828 x1827 -x1826 x1825 x1824 -x1823 x1822 x1821 -x1820 x1819 x1818 -x1817 x1816 -x1815 -x1814 -x1813 -x1812 x1811 -x1810
1796.69/1797.07 v -x1809 -x1808 -x1807 x1806 x1805 x1804 -x1803 -x1802 -x1801 x1800 x1799 x1798 x1797 -x1796 x1795 x1794 -x1793 x1792 x1791 x1790
1796.69/1797.07 v x1789 -x1788 x1787 -x1786 -x1785 x1784 -x1783 -x1782 x1781 x1780 x1779 x1778 -x1777 -x1776 x1775 x1774 -x1773 -x1772 -x1771
1796.69/1797.07 v x1770 x1769 -x1768 x1767 -x1766 x1765 -x1764 -x1763 -x1762 x1761 x1760 -x1759 -x1758 -x1757 x1756 -x1755 x1754 x1753 -x1752
1796.69/1797.07 v x1751 x1750 -x1749 x1748 x1747 x1746 x1745 x1744 x1743 x1742 x1741 -x1740 x1739 x1738 x1737 -x1736 -x1735 -x1734 -x1733 x1732
1796.69/1797.07 v x1731 x1730 -x1729 x1728 x1727 x1726 -x1725 -x1724 x1723 -x1722 x1721 -x1720 x1719 x1718 -x1717 -x1716 x1715 x1714 -x1713
1796.69/1797.07 v -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 x1705 x1704 -x1703 -x1702 x1701 -x1700 x1699 -x1698 -x1697 x1696 -x1695 -x1694
1796.69/1797.07 v -x1693 x1692 x1691 x1690 -x1689 -x1688 -x1687 -x1686 x1685 -x1684 x1683 -x1682 x1681 -x1680 x1679 -x1678 -x1677 x1676 x1675
1796.69/1797.07 v x1674 x1673 -x1672 x1671 x1670 x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 x1662 -x1661 x1660 x1659 x1658 -x1657 x1656
1796.69/1797.07 v x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 x1647 x1646 x1645 x1644 -x1643 -x1642 -x1641 -x1640 -x1639 x1638 -x1637
1796.69/1797.07 v x1636 -x1635 x1634 -x1633 x1632 -x1631 x1630 -x1629 -x1628 -x1627 x1626 -x1625 -x1624 x1623 -x1622 x1621 x1620 x1619 -x1618
1796.69/1797.07 v x1617 x1616 -x1615 x1614 x1613 x1612 x1611 -x1610 x1609 x1608 -x1607 -x1606 x1605 x1604 x1603 x1602 x1601 -x1600 -x1599 -x1598
1796.69/1797.07 v -x1597 x1596 x1595 x1594 x1593 -x1592 x1591 x1590 -x1589 -x1588 x1587 x1586 -x1585 x1584 -x1583 x1582 x1581 x1580 x1579 -x1578
1796.69/1797.07 v x1577 -x1576 x1575 x1574 x1573 -x1572 x1571 x1570 x1569 -x1568 x1567 x1566 -x1565 x1564 -x1563 x1562 -x1561 -x1560 -x1559
1796.69/1797.07 v x1558 x1557 -x1556 x1555 x1554 x1553 -x1552 -x1551 x1550 -x1549 -x1548 x1547 x1546 -x1545 -x1544 x1543 x1542 -x1541 -x1540
1796.69/1797.07 v -x1539 -x1538 -x1537 x1536 -x1535 -x1534 x1533 -x1532 x1531 -x1530 -x1529 x1528 -x1527 x1526 x1525 x1524 x1523 -x1522 -x1521
1796.69/1797.07 v x1520 x1519 x1518 -x1517 -x1516 -x1515 x1514 x1513 -x1512 -x1511 -x1510 x1509 -x1508 -x1507 x1506 -x1505 -x1504 x1503 -x1502
1796.69/1797.07 v -x1501 x1500 -x1499 x1498 -x1497 x1496 -x1495 x1494 -x1493 x1492 x1491 x1490 x1489 x1488 x1487 -x1486 x1485 -x1484 x1483 x1482
1796.69/1797.07 v x1481 -x1480 -x1479 x1478 x1477 x1476 x1475 x1474 -x1473 -x1472 -x1471 x1470 -x1469 x1468 x1467 -x1466 -x1465 x1464 -x1463
1796.69/1797.07 v x1462 x1461 x1460 x1459 -x1458 -x1457 x1456 -x1455 -x1454 -x1453 x1452 x1451 x1450 -x1449 -x1448 -x1447 x1446 x1445 x1444 x1443
1796.69/1797.07 v -x1442 -x1441 x1440 x1439 x1438 x1437 x1436 -x1435 x1434 -x1433 -x1432 x1431 x1430 x1429 -x1428 x1427 x1426 -x1425 x1424 x1423
1796.69/1797.07 v -x1422 x1421 -x1420 x1419 -x1418 -x1417 x1416 x1415 -x1414 -x1413 -x1412 -x1411 x1410 -x1409 x1408 x1407 x1406 x1405 x1404
1796.69/1797.07 v x1403 x1402 -x1401 x1400 x1399 -x1398 x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385
1796.69/1797.07 v x1384 x1383 -x1382 x1381 x1380 -x1379 x1378 x1377 x1376 x1375 -x1374 x1373 -x1372 -x1371 -x1370 x1369 x1368 x1367 x1366
1796.69/1797.07 v x1365 x1364 x1363 -x1362 x1361 x1360 -x1359 -x1358 x1357 -x1356 -x1355 x1354 x1353 x1352 -x1351 -x1350 -x1349 -x1348 x1347 -x1346
1796.69/1797.07 v x1345 x1344 -x1343 x1342 x1341 x1340 -x1339 x1338 x1337 -x1336 x1335 -x1334 -x1333 x1332 -x1331 -x1330 -x1329 -x1328 x1327
1796.69/1797.07 v x1326 x1325 x1324 x1323 -x1322 x1321 x1320 -x1319 -x1318 -x1317 x1316 x1315 x1314 x1313 x1312 -x1311 x1310 x1309 x1308 -x1307
1796.69/1797.07 v x1306 -x1305 -x1304 x1303 -x1302 -x1301 x1300 x1299 x1298 -x1297 x1296 -x1295 -x1294 -x1293 -x1292 -x1291 x1290 -x1289 -x1288
1796.69/1797.07 v x1287 -x1286 -x1285 -x1284 x1283 x1282 x1281 x1280 -x1279 -x1278 x1277 x1276 -x1275 -x1274 -x1273 x1272 x1271 -x1270 x1269
1796.69/1797.07 v -x1268 x1267 x1266 x1265 x1264 x1263 x1262 x1261 x1260 x1259 -x1258 x1257 -x1256 -x1255 -x1254 x1253 x1252 x1251 -x1250 x1249
1796.69/1797.07 v -x1248 -x1247 x1246 x1245 x1244 x1243 -x1242 x1241 -x1240 x1239 -x1238 x1237 -x1236 x1235 -x1234 -x1233 x1232 x1231 -x1230
1796.69/1797.07 v -x1229 -x1228 x1227 x1226 -x1225 -x1224 x1223 -x1222 -x1221 -x1220 x1219 -x1218 -x1217 -x1216 x1215 x1214 x1213 -x1212 -x1211
1796.69/1797.07 v x1210 x1209 x1208 -x1207 -x1206 -x1205 -x1204 x1203 x1202 x1201 -x1200 x1199 x1198 x1197 x1196 -x1195 x1194 x1193 -x1192
1796.69/1797.07 v x1191 -x1190 -x1189 x1188 -x1187 -x1186 -x1185 x1184 x1183 x1182 x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 x1174 -x1173
1796.69/1797.07 v -x1172 -x1171 x1170 -x1169 x1168 x1167 x1166 x1165 -x1164 -x1163 x1162 -x1161 -x1160 -x1159 x1158 x1157 x1156 x1155 x1154 -x1153
1796.69/1797.07 v -x1152 -x1151 x1150 x1149 x1148 x1147 -x1146 -x1145 x1144 -x1143 -x1142 x1141 -x1140 x1139 x1138 -x1137 -x1136 x1135 -x1134
1796.69/1797.07 v -x1133 -x1132 -x1131 -x1130 x1129 -x1128 -x1127 -x1126 x1125 -x1124 -x1123 -x1122 x1121 -x1120 x1119 -x1118 x1117 -x1116
1796.69/1797.07 v x1115 x1114 x1113 -x1112 -x1111 x1110 -x1109 -x1108 -x1107 x1106 x1105 -x1104 x1103 x1102 -x1101 -x1100 -x1099 -x1098 -x1097
1796.69/1797.07 v -x1096 x1095 x1094 -x1093 x1092 x1091 -x1090 x1089 -x1088 -x1087 -x1086 x1085 -x1084 x1083 x1082 -x1081 -x1080 -x1079 x1078 -x1077
1796.69/1797.07 v x1076 x1075 x1074 -x1073 -x1072 -x1071 x1070 x1069 -x1068 x1067 -x1066 x1065 x1064 -x1063 x1062 x1061 -x1060 x1059 -x1058
1796.69/1797.07 v -x1057 x1056 x1055 -x1054 -x1053 x1052 -x1051 x1050 x1049 -x1048 -x1047 -x1046 x1045 x1044 -x1043 x1042 x1041 x1040 x1039
1796.69/1797.07 v -x1038 -x1037 -x1036 x1035 x1034 -x1033 x1032 x1031 -x1030 -x1029 x1028 x1027 x1026 x1025 x1024 -x1023 -x1022 x1021 -x1020 x1019
1796.69/1797.07 v x1018 x1017 x1016 -x1015 x1014 x1013 x1012 -x1011 x1010 x1009 x1008 -x1007 x1006 x1005 -x1004 -x1003 x1002 x1001 x1000 -x999
1796.69/1797.07 v -x998 x997 x996 -x995 x994 x993 -x992 -x991 x990 x989 -x988 -x987 -x986 x985 -x984 x983 -x982 x981 -x980 -x979 -x978 x977
1796.69/1797.07 v x976 -x975 x974 -x973 x972 x971 -x970 x969 x968 x967 -x966 x965 x964 -x963 x962 x961 -x960 x959 -x958 -x957 -x956 x955 x954
1796.69/1797.07 v -x953 -x952 x951 x950 x949 -x948 x947 x946 x945 x944 -x943 -x942 -x941 -x940 x939 -x938 x937 x936 -x935 x934 x933 x932 x931 -x930
1796.69/1797.07 v x929 x928 -x927 x926 -x925 -x924 -x923 x922 -x921 -x920 x919 x918 -x917 -x916 x915 x914 x913 x912 x911 x910 -x909 -x908
1796.69/1797.07 v x907 -x906 -x905 -x904 -x903 x902 -x901 -x900 x899 x898 -x897 -x896 x895 -x894 -x893 -x892 x891 x890 -x889 x888 x887 -x886 -x885
1796.69/1797.07 v -x884 -x883 x882 x881 -x880 x879 -x878 -x877 -x876 x875 -x874 -x873 x872 x871 -x870 x869 x868 -x867 -x866 -x865 -x864 x863
1796.69/1797.07 v -x862 -x861 -x860 x859 -x858 -x857 -x856 x855 -x854 x853 -x852 -x851 x850 x849 -x848 -x847 -x846 x845 x844 x843 -x842 -x841
1796.69/1797.07 v x840 x839 x838 x837 -x836 x835 -x834 x833 x832 -x831 -x830 x829 -x828 x827 x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 x818
1796.69/1797.07 v -x817 -x816 -x815 x814 x813 x812 x811 -x810 x809 -x808 -x807 x806 -x805 x804 x803 -x802 -x801 -x800 -x799 x798 x797 -x796
1796.69/1797.07 v -x795 x794 x793 x792 x791 x790 -x789 -x788 x787 x786 -x785 x784 -x783 x782 x781 x780 x779 x778 -x777 x776 -x775 -x774 -x773 -x772
1796.69/1797.07 v -x771 -x770 x769 x768 -x767 x766 x765 x764 -x763 x762 x761 x760 x759 -x758 -x757 x756 x755 x754 -x753 x752 x751 -x750 x749
1796.69/1797.07 v -x748 -x747 -x746 -x745 x744 -x743 x742 x741 x740 x739 -x738 -x737 x736 x735 -x734 x733 x732 -x731 -x730 x729 x728 -x727 -x726
1796.69/1797.07 v x725 x724 x723 x722 x721 x720 x719 -x718 -x717 x716 x715 x714 -x713 x712 x711 x710 x709 -x708 -x707 x706 x705 -x704 -x703
1796.69/1797.07 v x702 -x701 -x700 -x699 -x698 x697 -x696 -x695 -x694 -x693 x692 -x691 x690 x689 -x688 -x687 x686 -x685 x684 -x683 x682 -x681
1796.69/1797.07 v -x680 x679 x678 -x677 -x676 x675 -x674 -x673 x672 x671 x670 x669 -x668 x667 -x666 x665 -x664 -x663 x662 x661 -x660 x659 x658
1796.69/1797.07 v -x657 -x656 x655 -x654 -x653 x652 x651 x650 -x649 x648 -x647 x646 -x645 -x644 -x643 x642 x641 x640 x639 x638 -x637 x636 -x635
1796.69/1797.07 v x634 -x633 -x632 x631 -x630 x629 x628 x627 x626 x625 -x624 x623 x622 -x621 -x620 x619 x618 x617 x616 x615 -x614 -x613 x612
1796.69/1797.07 v -x611 x610 x609 x608 -x607 x606 x605 -x604 -x603 x602 x601 x600 x599 x598 x597 -x596 x595 x594 x593 -x592 -x591 -x590 -x589 -x588
1796.69/1797.07 v x587 x586 -x585 -x584 x583 -x582 -x581 x580 x579 -x578 x577 x576 x575 -x574 x573 -x572 x571 x570 -x569 x568 -x567 x566 x565
1796.69/1797.07 v x564 x563 x562 -x561 x560 x559 -x558 x557 x556 -x555 -x554 x553 x552 -x551 x550 x549 -x548 x547 x546 x545 -x544 -x543 -x542
1796.69/1797.07 v x541 x540 x539 -x538 x537 -x536 x535 -x534 x533 -x532 x531 x530 -x529 x528 -x527 x526 x525 x524 -x523 x522 x521 -x520 x519
1796.69/1797.07 v -x518 -x517 x516 -x515 x514 -x513 x512 x511 -x510 -x509 x508 -x507 -x506 x505 x504 x503 -x502 -x501 -x500 -x499 -x498 -x497
1796.69/1797.07 v -x496 -x495 -x494 -x493 x492 -x491 -x490 -x489 -x488 -x487 x486 x485 x484 x483 -x482 -x481 x480 x479 x478 x477 x476 -x475 -x474
1796.69/1797.07 v -x473 x472 x471 x470 -x469 x468 -x467 -x466 x465 x464 x463 x462 x461 x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452
1796.69/1797.07 v x451 x450 x449 x448 x447 -x446 -x445 x444 x443 x442 x441 -x440 -x439 x438 x437 x436 x435 x434 -x433 x432 -x431 x430 -x429 x428
1796.69/1797.07 v x427 x426 x425 x424 x423 -x422 x421 x420 x419 -x418 x417 x416 -x415 -x414 -x413 -x412 x411 -x410 -x409 x408 -x407 x406 -x405
1796.69/1797.07 v -x404 -x403 x402 x401 x400 x399 -x398 x397 x396 x395 -x394 -x393 x392 x391 -x390 x389 -x388 -x387 x386 -x385 -x384 -x383 x382
1796.69/1797.07 v -x381 -x380 x379 x378 -x377 x376 -x375 x374 -x373 x372 x371 x370 -x369 -x368 x367 -x366 x365 x364 x363 x362 -x361 x360 x359
1796.69/1797.07 v -x358 -x357 x356 x355 x354 -x353 -x352 x351 x350 -x349 x348 -x347 -x346 -x345 -x344 x343 -x342 -x341 -x340 x339 -x338 x337
1796.69/1797.07 v -x336 -x335 x334 x333 -x332 -x331 x330 -x329 x328 x327 x326 -x325 -x324 -x323 x322 x321 -x320 -x319 x318 x317 -x316 x315 -x314
1796.69/1797.07 v -x313 -x312 -x311 x310 x309 -x308 -x307 -x306 x305 -x304 -x303 x302 -x301 -x300 -x299 x298 x297 x296 x295 x294 x293 -x292 -x291
1796.69/1797.07 v -x290 -x289 x288 x287 x286 -x285 x284 x283 -x282 -x281 x280 x279 x278 -x277 -x276 -x275 -x274 x273 -x272 x271 -x270 x269
1796.69/1797.07 v -x268 x267 x266 x265 x264 -x263 -x262 x261 x260 x259 x258 -x257 x256 -x255 -x254 x253 -x252 x251 x250 -x249 x248 x247 -x246
1796.69/1797.07 v -x245 -x244 x243 x242 x241 x240 -x239 -x238 -x237 x236 x235 -x234 x233 x232 x231 -x230 x229 x228 x227 x226 x225 x224 -x223 -x222
1796.69/1797.07 v -x221 x220 x219 x218 -x217 -x216 x215 -x214 -x213 x212 x211 x210 -x209 x208 -x207 x206 x205 x204 x203 x202 -x201 x200 x199
1796.69/1797.07 v x198 x197 -x196 -x195 -x194 x193 x192 -x191 x190 -x189 x188 x187 x186 x185 -x184 x183 -x182 x181 x180 -x179 x178 -x177 x176
1796.69/1797.07 v -x175 x174 -x173 x172 -x171 x170 -x169 -x168 -x167 -x166 x165 -x164 x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 -x155 x154
1796.69/1797.07 v -x153 -x152 x151 x150 x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 x141 -x140 -x139 x138 -x137 x136 x135 x134 x133 x132 -x131
1796.69/1797.07 v x130 x129 -x128 x127 x126 x125 x124 -x123 -x122 -x121 -x120 x119 -x118 x117 x116 -x115 -x114 -x113 x112 x111 -x110 x109 -x108
1796.69/1797.07 v x107 -x106 -x105 x104 -x103 x102 x101 -x100 x99 -x98 x97 -x96 x95 x94 x93 -x92 x91 -x90 -x89 -x88 x87 -x86 x85 x84 -x83
1796.69/1797.07 v x82 -x81 -x80 -x79 x78 x77 -x76 x75 x74 x73 x72 -x71 -x70 -x69 -x68 -x67 -x66 x65 -x64 x63 x62 -x61 -x60 -x59 -x58 x57 x56 -x55
1796.69/1797.07 v x54 -x53 x52 x51 x50 -x49 x48 x47 x46 x45 -x44 x43 x42 x41 -x40 x39 -x38 x37 x36 -x35 -x34 -x33 x32 -x31 -x30 -x29 -x28 -x27
1796.69/1797.07 v x26 -x25 x24 x23 x22 -x21 x20 -x19 x18 x17 -x16 -x15 -x14 -x13 -x12 x11 -x10 x9 -x8 x7 x6 x5 x4 x3 x2 -x1
1796.69/1797.07 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.07 c Total Time : 1797.07
1796.69/1797.07 c solving : 1797.07
1796.69/1797.07 c presolving : 0.05 (included in solving)
1796.69/1797.07 c reading : 0.01 (included in solving)
1796.69/1797.07 c copying : 0.20 (21 #copies) (minimal 0.01, maximal 0.01, average 0.01)
1796.69/1797.07 c Original Problem :
1796.69/1797.07 c Problem name : HOME/instance-3693231-1338029706.opb
1796.69/1797.07 c Variables : 1964 (1964 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.07 c Constraints : 4000 initial, 4000 maximal
1796.69/1797.07 c Objective sense : minimize
1796.69/1797.07 c Presolved Problem :
1796.69/1797.07 c Problem name : t_HOME/instance-3693231-1338029706.opb
1796.69/1797.07 c Variables : 1517 (1517 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.07 c Constraints : 2928 initial, 2928 maximal
1796.69/1797.07 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.69/1797.07 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.07 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.07 c dualfix : 0.00 0.00 213 0 0 0 0 0 0 0 0
1796.69/1797.07 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.07 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.07 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.07 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.07 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.07 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.07 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.07 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.07 c setppc : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.07 c linear : 0.03 0.00 0 234 0 0 0 1072 0 0 0
1796.69/1797.07 c root node : - - 0 - - 0 - - - - -
1796.69/1797.07 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.69/1797.07 c integral : 0 0 0 0 37130 0 892 0 158 934 0 0 73426
1796.69/1797.07 c setppc : 2928 2928 22 197358 0 0 887 0 0 225599 0 0 0
1796.69/1797.07 c countsols : 0 0 0 0 0 0 890 0 0 0 0 0 0
1796.69/1797.07 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.69/1797.07 c integral : 282.16 0.00 0.00 0.00 282.15 0.00 0.02 0.00
1796.69/1797.07 c setppc : 9.03 0.00 0.00 9.00 0.00 0.00 0.03 0.00
1796.69/1797.07 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.69/1797.07 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.69/1797.07 c rootredcost : 8 0 0 0
1796.69/1797.07 c pseudoobj : 234437 0 0 0
1796.69/1797.07 c vbounds : 0 0 0 0
1796.69/1797.07 c redcost : 39516 0 0 2505
1796.69/1797.07 c probing : 0 0 0 0
1796.69/1797.07 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.69/1797.07 c rootredcost : 0.07 0.00 0.00 0.07 0.00
1796.69/1797.07 c pseudoobj : 0.31 0.00 0.00 0.31 0.00
1796.69/1797.07 c vbounds : 0.05 0.00 0.00 0.05 0.00
1796.69/1797.07 c redcost : 0.58 0.00 0.00 0.58 0.00
1796.69/1797.07 c probing : 0.00 0.00 0.00 0.00 0.00
1796.69/1797.07 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.69/1797.07 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.69/1797.07 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.07 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.07 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.07 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.69/1797.07 c applied globally : - - - 0 0.0 - - -
1796.69/1797.07 c applied locally : - - - 0 0.0 - - -
1796.69/1797.07 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.69/1797.07 c cut pool : 0.01 21 - - 14 - (maximal pool size: 439)
1796.69/1797.07 c closecuts : 0.00 0.00 0 0 0 0 0
1796.69/1797.07 c impliedbounds : 0.01 0.00 22 0 0 0 0
1796.69/1797.07 c intobj : 0.00 0.00 0 0 0 0 0
1796.69/1797.07 c gomory : 0.07 0.00 10 0 0 500 0
1796.69/1797.07 c cgmip : 0.00 0.00 0 0 0 0 0
1796.69/1797.07 c strongcg : 1.00 0.00 20 0 0 10000 0
1796.69/1797.07 c cmir : 0.08 0.00 10 0 0 0 0
1796.69/1797.07 c flowcover : 0.07 0.00 10 0 0 0 0
1796.69/1797.07 c clique : 0.00 0.00 22 0 0 5 0
1796.69/1797.07 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.69/1797.07 c mcf : 0.01 0.00 1 0 0 0 0
1796.69/1797.07 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.69/1797.07 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.69/1797.07 c Pricers : ExecTime SetupTime Calls Vars
1796.69/1797.07 c problem variables: 0.00 - 0 0
1796.69/1797.07 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.69/1797.07 c relpscost : 282.10 0.00 37130 158 934 0 0 73426
1796.69/1797.07 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.07 c inference : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.07 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.07 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.07 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.07 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.07 c random : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.07 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.69/1797.07 c LP solutions : 0.00 - - 0
1796.69/1797.07 c pseudo solutions : 0.00 - - 0
1796.69/1797.07 c intshifting : 0.00 0.00 0 0
1796.69/1797.07 c feaspump : 0.00 0.00 0 0
1796.69/1797.07 c oneopt : 0.03 0.00 9 2
1796.69/1797.07 c crossover : 0.57 0.00 12 4
1796.69/1797.07 c fracdiving : 52.08 0.00 213 1
1796.69/1797.07 c linesearchdiving : 52.03 0.00 213 0
1796.69/1797.07 c guideddiving : 50.81 0.00 213 0
1796.69/1797.07 c rootsoldiving : 31.10 0.00 107 123
1796.69/1797.07 c pscostdiving : 72.77 0.00 214 6
1796.69/1797.07 c veclendiving : 57.34 0.00 214 0
1796.69/1797.07 c coefdiving : 76.49 0.00 227 156
1796.69/1797.07 c objpscostdiving : 78.27 0.00 114 288
1796.69/1797.07 c smallcard : 0.00 0.00 0 0
1796.69/1797.07 c trivial : 0.00 0.00 2 2
1796.69/1797.07 c shiftandpropagate: 0.00 0.00 0 0
1796.69/1797.07 c simplerounding : 3.90 0.00 37151 33
1796.69/1797.07 c zirounding : 9.85 0.00 13601 272
1796.69/1797.07 c rounding : 84.03 0.00 2663 0
1796.69/1797.07 c shifting : 26.34 0.00 823 0
1796.69/1797.07 c twoopt : 0.00 0.00 0 0
1796.69/1797.07 c indtwoopt : 0.00 0.00 0 0
1796.69/1797.07 c indoneopt : 0.04 0.00 0 0
1796.69/1797.07 c fixandinfer : 0.00 0.00 0 0
1796.69/1797.07 c clique : 0.00 0.00 0 0
1796.69/1797.07 c indcoefdiving : 0.00 0.00 0 0
1796.69/1797.07 c indrounding : 0.00 0.00 0 0
1796.69/1797.07 c nlpdiving : 0.00 0.00 0 0
1796.69/1797.07 c intdiving : 0.00 0.00 0 0
1796.69/1797.07 c actconsdiving : 0.00 0.00 0 0
1796.69/1797.07 c octane : 0.00 0.00 0 0
1796.69/1797.07 c rens : 0.01 0.00 0 0
1796.69/1797.07 c rins : 0.00 0.00 0 0
1796.69/1797.07 c localbranching : 0.00 0.00 0 0
1796.69/1797.07 c mutation : 0.00 0.00 0 0
1796.69/1797.07 c dins : 0.00 0.00 0 0
1796.69/1797.07 c vbounds : 0.00 0.00 0 0
1796.69/1797.07 c undercover : 0.00 0.00 0 0
1796.69/1797.07 c subnlp : 0.02 0.00 0 0
1796.69/1797.07 c trysol : 0.03 0.00 0 0
1796.69/1797.07 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.69/1797.07 c primal LP : 0.00 2 0 0.00 - 0.00 2
1796.69/1797.07 c dual LP : 886.01 66748 6369908 99.28 7189.47 1.83 2586
1796.69/1797.07 c lex dual LP : 0.00 0 0 0.00 -
1796.69/1797.07 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.69/1797.07 c diving/probing LP: 428.82 76284 2744444 35.98 6400.06
1796.69/1797.07 c strong branching : 271.23 12658 1666251 131.64 6143.38
1796.69/1797.07 c (at root node) : - 31 24025 775.00 -
1796.69/1797.07 c conflict analysis: 0.00 0 0 0.00 -
1796.69/1797.07 c B&B Tree :
1796.69/1797.07 c number of runs : 1
1796.69/1797.07 c nodes : 63882
1796.69/1797.07 c nodes (total) : 63882
1796.69/1797.07 c nodes left : 8649
1796.69/1797.07 c max depth : 55
1796.69/1797.07 c max depth (total): 55
1796.69/1797.07 c backtracks : 9505 (14.9%)
1796.69/1797.07 c delayed cutoffs : 0
1796.69/1797.07 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.69/1797.07 c avg switch length: 4.03
1796.69/1797.07 c switching time : 3.64
1796.69/1797.07 c Solution :
1796.69/1797.07 c Solutions found : 887 (11 improvements)
1796.69/1797.07 c First Solution : +1.96400000000000e+03 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1796.69/1797.07 c Primal Bound : +1.03000000000000e+03 (in run 1, after 23228 nodes, 877.69 seconds, depth 14, found by <oneopt>)
1796.69/1797.07 c Dual Bound : +1.00450000000000e+03
1796.69/1797.07 c Gap : 2.54 %
1796.69/1797.07 c Root Dual Bound : +9.93500000000000e+02
1796.69/1797.07 c Root Iterations : 13958
1796.79/1797.11 c Time complete: 1796.81.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3693231-1338029706/watcher-3693231-1338029706 -o /tmp/evaluation-result-3693231-1338029706/solver-3693231-1338029706 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693231-1338029706.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.01 1.25 3/171 8138
/proc/meminfo: memFree=28865736/32873648 swapFree=6596/6596
[pid=8138] ppid=8136 vsize=11640 CPUtime=0 cores=1,3,5,7
/proc/8138/stat : 8138 (scip-2.1.1.4sfi) R 8136 8138 6744 0 -1 4202496 1660 0 0 0 0 0 0 0 20 0 1 0 269095113 11919360 1615 33554432000 4194304 10169799 140735193057088 140734445089912 7543003 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8138/statm: 2910 1617 405 1459 0 1442 0
[startup+0.0145111 s]
/proc/loadavg: 1.00 1.01 1.25 3/171 8138
/proc/meminfo: memFree=28865736/32873648 swapFree=6596/6596
[pid=8138] ppid=8136 vsize=13112 CPUtime=0 cores=1,3,5,7
/proc/8138/stat : 8138 (scip-2.1.1.4sfi) R 8136 8138 6744 0 -1 4202496 2019 0 0 0 0 0 0 0 20 0 1 0 269095113 13426688 1974 33554432000 4194304 10169799 140735193057088 140734445089912 8864952 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8138/statm: 3278 1974 412 1459 0 1810 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 13112
[startup+0.100254 s]
/proc/loadavg: 1.00 1.01 1.25 3/171 8138
/proc/meminfo: memFree=28865736/32873648 swapFree=6596/6596
[pid=8138] ppid=8136 vsize=33780 CPUtime=0.09 cores=1,3,5,7
/proc/8138/stat : 8138 (scip-2.1.1.4sfi) R 8136 8138 6744 0 -1 4202496 7433 0 0 0 7 2 0 0 20 0 1 0 269095113 34590720 7108 33554432000 4194304 10169799 140735193057088 140734445089912 8884104 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8138/statm: 8445 7108 741 1459 0 6977 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33780
[startup+0.300197 s]
/proc/loadavg: 1.00 1.01 1.25 3/171 8138
/proc/meminfo: memFree=28865736/32873648 swapFree=6596/6596
[pid=8138] ppid=8136 vsize=35484 CPUtime=0.29 cores=1,3,5,7
/proc/8138/stat : 8138 (scip-2.1.1.4sfi) R 8136 8138 6744 0 -1 4202496 7956 0 0 0 27 2 0 0 20 0 1 0 269095113 36335616 7565 33554432000 4194304 10169799 140735193057088 140734445089912 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8138/statm: 8871 7565 783 1459 0 7403 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35484
[startup+0.700185 s]
/proc/loadavg: 1.00 1.01 1.25 3/171 8138
/proc/meminfo: memFree=28865736/32873648 swapFree=6596/6596
[pid=8138] ppid=8136 vsize=36548 CPUtime=0.69 cores=1,3,5,7
/proc/8138/stat : 8138 (scip-2.1.1.4sfi) R 8136 8138 6744 0 -1 4202496 8245 0 0 0 67 2 0 0 20 0 1 0 269095113 37425152 7854 33554432000 4194304 10169799 140735193057088 140735193054280 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8138/statm: 9137 7854 786 1459 0 7669 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36548
[startup+1.50019 s]
/proc/loadavg: 1.00 1.01 1.25 3/177 8149
/proc/meminfo: memFree=28699480/32873648 swapFree=6596/6596
[pid=8138] ppid=8136 vsize=44820 CPUtime=1.49 cores=1,3,5,7
/proc/8138/stat : 8138 (scip-2.1.1.4sfi) R 8136 8138 6744 0 -1 4202496 10451 0 0 0 146 3 0 0 20 0 1 0 269095113 45895680 10020 33554432000 4194304 10169799 140735193057088 140735193054280 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8138/statm: 11205 10020 787 1459 0 9737 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44820
[startup+3.10022 s]
/proc/loadavg: 1.08 1.02 1.26 3/177 8149
/proc/meminfo: memFree=28381420/32873648 swapFree=6596/6596
[pid=8138] ppid=8136 vsize=59048 CPUtime=3.08 cores=1,3,5,7
/proc/8138/stat : 8138 (scip-2.1.1.4sfi) R 8136 8138 6744 0 -1 4202496 14040 0 0 0 304 4 0 0 20 0 1 0 269095113 60465152 13563 33554432000 4194304 10169799 140735193057088 140735193054168 5640220 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8138/statm: 14762 13563 787 1459 0 13294 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 59048
[startup+6.30022 s]
/proc/loadavg: 1.08 1.02 1.26 3/177 8149
/proc/meminfo: memFree=28066112/32873648 swapFree=6596/6596
[pid=8138] ppid=8136 vsize=69260 CPUtime=6.28 cores=1,3,5,7
/proc/8138/stat : 8138 (scip-2.1.1.4sfi) R 8136 8138 6744 0 -1 4202496 18213 0 0 0 622 6 0 0 20 0 1 0 269095113 70922240 16022 33554432000 4194304 10169799 140735193057088 140735193051496 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8138/statm: 17315 16022 818 1459 0 15847 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 69260
[startup+12.7002 s]
/proc/loadavg: 1.22 1.06 1.27 3/176 8149
/proc/meminfo: memFree=27944124/32873648 swapFree=6596/6596
[pid=8138] ppid=8136 vsize=69260 CPUtime=12.68 cores=1,3,5,7
/proc/8138/stat : 8138 (scip-2.1.1.4sfi) R 8136 8138 6744 0 -1 4202496 18254 0 0 0 1258 10 0 0 20 0 1 0 269095113 70922240 16063 33554432000 4194304 10169799 140735193057088 140735193051880 5758036 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8138/statm: 17315 16063 821 1459 0 15847 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 69260
[startup+25.5002 s]
/proc/loadavg: 1.34 1.09 1.27 3/177 8150
/proc/meminfo: memFree=27270528/32873648 swapFree=6596/6596
[pid=8138] ppid=8136 vsize=69260 CPUtime=25.47 cores=1,3,5,7
/proc/8138/stat : 8138 (scip-2.1.1.4sfi) R 8136 8138 6744 0 -1 4202496 18263 0 0 0 2530 17 0 0 20 0 1 0 269095113 70922240 16364 33554432000 4194304 10169799 140735193057088 140735193054280 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8138/statm: 17315 16364 821 1459 0 15847 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 69260
[startup+51.1002 s]
/proc/loadavg: 1.56 1.16 1.29 3/177 8150
/proc/meminfo: memFree=27267956/32873648 swapFree=6596/6596
[pid=8138] ppid=8136 vsize=70236 CPUtime=51.07 cores=1,3,5,7
/proc/8138/stat : 8138 (scip-2.1.1.4sfi) R 8136 8138 6744 0 -1 4202496 21710 0 0 0 5073 34 0 0 20 0 1 0 269095113 71921664 16630 33554432000 4194304 10169799 140735193057088 140735193051496 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8138/statm: 17559 16630 829 1459 0 16091 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 70236
[startup+102.307 s]
/proc/loadavg: 1.82 1.30 1.33 3/177 8150
/proc/meminfo: memFree=27264600/32873648 swapFree=6596/6596
[pid=8138] ppid=8136 vsize=71260 CPUtime=102.27 cores=1,3,5,7
/proc/8138/stat : 8138 (scip-2.1.1.4sfi) R 8136 8138 6744 0 -1 4202496 21920 0 0 0 10155 72 0 0 20 0 1 0 269095113 72970240 16840 33554432000 4194304 10169799 140735193057088 140735193051592 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8138/statm: 17815 16840 829 1459 0 16347 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 71260
[startup+162.3 s]
/proc/loadavg: 1.93 1.41 1.37 3/177 8150
/proc/meminfo: memFree=27262776/32873648 swapFree=6596/6596
[pid=8138] ppid=8136 vsize=71576 CPUtime=162.24 cores=1,3,5,7
/proc/8138/stat : 8138 (scip-2.1.1.4sfi) R 8136 8138 6744 0 -1 4202496 26471 0 0 0 16112 112 0 0 20 0 1 0 269095113 73293824 16922 33554432000 4194304 10169799 140735193057088 140735193051176 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8138/statm: 17894 16922 829 1459 0 16426 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 71576
[startup+222.3 s]
/proc/loadavg: 1.97 1.52 1.40 3/177 8150
/proc/meminfo: memFree=27262312/32873648 swapFree=6596/6596
[pid=8138] ppid=8136 vsize=71520 CPUtime=222.24 cores=1,3,5,7
/proc/8138/stat : 8138 (scip-2.1.1.4sfi) R 8136 8138 6744 0 -1 4202496 29136 0 0 0 22071 153 0 0 20 0 1 0 269095113 73236480 16934 33554432000 4194304 10169799 140735193057088 140735193051880 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8138/statm: 17880 16934 829 1459 0 16412 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 71520
[startup+282.3 s]
/proc/loadavg: 2.03 1.62 1.44 3/177 8150
/proc/meminfo: memFree=27281312/32873648 swapFree=6596/6596
[pid=8138] ppid=8136 vsize=73072 CPUtime=282.23 cores=1,3,5,7
/proc/8138/stat : 8138 (scip-2.1.1.4sfi) R 8136 8138 6744 0 -1 4202496 30832 0 0 0 28030 193 0 0 20 0 1 0 269095113 74825728 17364 33554432000 4194304 10169799 140735193057088 140735193052072 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8138/statm: 18268 17364 829 1459 0 16800 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 73072
[startup+342.3 s]
/proc/loadavg: 2.01 1.68 1.47 3/178 8154
/proc/meminfo: memFree=27279764/32873648 swapFree=6596/6596
[pid=8138] ppid=8136 vsize=73652 CPUtime=342.22 cores=1,3,5,7
/proc/8138/stat : 8138 (scip-2.1.1.4sfi) R 8136 8138 6744 0 -1 4202496 36688 0 0 0 33982 240 0 0 20 0 1 0 269095113 75419648 17462 33554432000 4194304 10169799 140735193057088 140735193054280 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8138/statm: 18413 17462 829 1459 0 16945 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 73652
[startup+402.3 s]
/proc/loadavg: 2.00 1.74 1.50 3/178 8177
/proc/meminfo: memFree=27194260/32873648 swapFree=6596/6596
[pid=8138] ppid=8136 vsize=74580 CPUtime=402.22 cores=1,3,5,7
/proc/8138/stat : 8138 (scip-2.1.1.4sfi) R 8136 8138 6744 0 -1 4202496 36852 0 0 0 39940 282 0 0 20 0 1 0 269095113 76369920 17626 33554432000 4194304 10169799 140735193057088 140735193051048 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8138/statm: 18645 17626 829 1459 0 17177 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 74580
[startup+462.3 s]
/proc/loadavg: 2.00 1.78 1.53 3/177 8177
/proc/meminfo: memFree=27147064/32873648 swapFree=6596/6596
[pid=8138] ppid=8136 vsize=74580 CPUtime=462.2 cores=1,3,5,7
/proc/8138/stat : 8138 (scip-2.1.1.4sfi) R 8136 8138 6744 0 -1 4202496 36970 0 0 0 45894 326 0 0 20 0 1 0 269095113 76369920 17744 33554432000 4194304 10169799 140735193057088 140735193051496 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8138/statm: 18645 17744 829 1459 0 17177 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 74580
[startup+522.3 s]
/proc/loadavg: 2.00 1.82 1.56 3/177 8177
/proc/meminfo: memFree=27171656/32873648 swapFree=6596/6596
[pid=8138] ppid=8136 vsize=77024 CPUtime=522.2 cores=1,3,5,7
/proc/8138/stat : 8138 (scip-2.1.1.4sfi) R 8136 8138 6744 0 -1 4202496 37491 0 0 0 51854 366 0 0 20 0 1 0 269095113 78872576 18265 33554432000 4194304 10169799 140735193057088 140735193051416 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8138/statm: 19256 18265 829 1459 0 17788 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 77024
[startup+582.3 s]
/proc/loadavg: 2.00 1.85 1.58 3/177 8177
/proc/meminfo: memFree=27127256/32873648 swapFree=6596/6596
[pid=8138] ppid=8136 vsize=76636 CPUtime=582.18 cores=1,3,5,7
/proc/8138/stat : 8138 (scip-2.1.1.4sfi) R 8136 8138 6744 0 -1 4202496 38792 0 0 0 57809 409 0 0 20 0 1 0 269095113 78475264 18230 33554432000 4194304 10169799 140735193057088 140735193055384 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8138/statm: 19159 18230 829 1459 0 17691 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 76636
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27170588/32873648 swapFree=6596/6596
[pid=8138] ppid=8136 vsize=80936 CPUtime=1062.11 cores=1,3,5,7
/proc/8138/stat : 8138 (scip-2.1.1.4sfi) R 8136 8138 6744 0 -1 4202496 63715 0 0 0 105450 761 0 0 20 0 1 0 269095113 82878464 19347 33554432000 4194304 10169799 140735193057088 140735193054280 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8138/statm: 20234 19347 831 1459 0 18766 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 80936
[startup+1122.3 s]
/proc/loadavg: 2.00 1.97 1.75 3/177 8182
/proc/meminfo: memFree=27170340/32873648 swapFree=6596/6596
[pid=8138] ppid=8136 vsize=80936 CPUtime=1122.09 cores=1,3,5,7
/proc/8138/stat : 8138 (scip-2.1.1.4sfi) R 8136 8138 6744 0 -1 4202496 63716 0 0 0 111403 806 0 0 20 0 1 0 269095113 82878464 19348 33554432000 4194304 10169799 140735193057088 140735193051544 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8138/statm: 20234 19348 831 1459 0 18766 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 80936
[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.76 3/177 8182
/proc/meminfo: memFree=27144400/32873648 swapFree=6596/6596
[pid=8138] ppid=8136 vsize=80936 CPUtime=1182.09 cores=1,3,5,7
/proc/8138/stat : 8138 (scip-2.1.1.4sfi) R 8136 8138 6744 0 -1 4202496 63723 0 0 0 117360 849 0 0 20 0 1 0 269095113 82878464 19355 33554432000 4194304 10169799 140735193057088 140735193051880 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8138/statm: 20234 19355 831 1459 0 18766 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 80936
[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.77 3/177 8182
/proc/meminfo: memFree=27143036/32873648 swapFree=6596/6596
[pid=8138] ppid=8136 vsize=82200 CPUtime=1242.08 cores=1,3,5,7
/proc/8138/stat : 8138 (scip-2.1.1.4sfi) R 8136 8138 6744 0 -1 4202496 67237 0 0 0 123315 893 0 0 20 0 1 0 269095113 84172800 19647 33554432000 4194304 10169799 140735193057088 140735193051592 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8138/statm: 20550 19647 831 1459 0 19082 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 82200
[startup+1302.3 s]
/proc/loadavg: 2.05 1.99 1.79 3/177 8183
/proc/meminfo: memFree=27140060/32873648 swapFree=6596/6596
[pid=8138] ppid=8136 vsize=84860 CPUtime=1302.08 cores=1,3,5,7
/proc/8138/stat : 8138 (scip-2.1.1.4sfi) R 8136 8138 6744 0 -1 4202496 67887 0 0 0 129271 937 0 0 20 0 1 0 269095113 86896640 20297 33554432000 4194304 10169799 140735193057088 140735193054984 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8138/statm: 21215 20297 831 1459 0 19747 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 84860
[startup+1362.3 s]
/proc/loadavg: 2.06 2.00 1.81 3/177 8183
/proc/meminfo: memFree=27138572/32873648 swapFree=6596/6596
[pid=8138] ppid=8136 vsize=85840 CPUtime=1362.06 cores=1,3,5,7
/proc/8138/stat : 8138 (scip-2.1.1.4sfi) R 8136 8138 6744 0 -1 4202496 68163 0 0 0 135222 984 0 0 20 0 1 0 269095113 87900160 20573 33554432000 4194304 10169799 140735193057088 140735193050952 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8138/statm: 21460 20573 831 1459 0 19992 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 85840
[startup+1422.31 s]
/proc/loadavg: 2.02 2.00 1.82 3/177 8183
/proc/meminfo: memFree=27138448/32873648 swapFree=6596/6596
[pid=8138] ppid=8136 vsize=85840 CPUtime=1422.06 cores=1,3,5,7
/proc/8138/stat : 8138 (scip-2.1.1.4sfi) R 8136 8138 6744 0 -1 4202496 68163 0 0 0 141179 1027 0 0 20 0 1 0 269095113 87900160 20573 33554432000 4194304 10169799 140735193057088 140735193051192 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8138/statm: 21460 20573 831 1459 0 19992 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 85840
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.82 3/177 8183
/proc/meminfo: memFree=27137704/32873648 swapFree=6596/6596
[pid=8138] ppid=8136 vsize=86356 CPUtime=1482.04 cores=1,3,5,7
/proc/8138/stat : 8138 (scip-2.1.1.4sfi) R 8136 8138 6744 0 -1 4202496 71337 0 0 0 147129 1075 0 0 20 0 1 0 269095113 88428544 20673 33554432000 4194304 10169799 140735193057088 140735193054280 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8138/statm: 21589 20673 831 1459 0 20121 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 86356
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/178 8186
/proc/meminfo: memFree=27136824/32873648 swapFree=6596/6596
[pid=8138] ppid=8136 vsize=87700 CPUtime=1542.04 cores=1,3,5,7
/proc/8138/stat : 8138 (scip-2.1.1.4sfi) R 8136 8138 6744 0 -1 4202496 71697 0 0 0 153084 1120 0 0 20 0 1 0 269095113 89804800 21033 33554432000 4194304 10169799 140735193057088 140735193051592 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8138/statm: 21925 21033 831 1459 0 20457 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 87700
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/177 8187
/proc/meminfo: memFree=27164940/32873648 swapFree=6596/6596
[pid=8138] ppid=8136 vsize=87700 CPUtime=1602.03 cores=1,3,5,7
/proc/8138/stat : 8138 (scip-2.1.1.4sfi) R 8136 8138 6744 0 -1 4202496 71697 0 0 0 159034 1169 0 0 20 0 1 0 269095113 89804800 21033 33554432000 4194304 10169799 140735193057088 140735193051736 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8138/statm: 21925 21033 831 1459 0 20457 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 87700
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/177 8187
/proc/meminfo: memFree=27164816/32873648 swapFree=6596/6596
[pid=8138] ppid=8136 vsize=87700 CPUtime=1662.02 cores=1,3,5,7
/proc/8138/stat : 8138 (scip-2.1.1.4sfi) R 8136 8138 6744 0 -1 4202496 71698 0 0 0 164986 1216 0 0 20 0 1 0 269095113 89804800 21034 33554432000 4194304 10169799 140735193057088 140735193051496 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8138/statm: 21925 21034 831 1459 0 20457 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 87700
[startup+1722.3 s]
/proc/loadavg: 2.06 2.02 1.85 3/177 8187
/proc/meminfo: memFree=27164816/32873648 swapFree=6596/6596
[pid=8138] ppid=8136 vsize=87700 CPUtime=1722.01 cores=1,3,5,7
/proc/8138/stat : 8138 (scip-2.1.1.4sfi) R 8136 8138 6744 0 -1 4202496 71698 0 0 0 170944 1257 0 0 20 0 1 0 269095113 89804800 21034 33554432000 4194304 10169799 140735193057088 140735193051224 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8138/statm: 21925 21034 831 1459 0 20457 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 87700
[startup+1782.3 s]
/proc/loadavg: 2.07 2.03 1.86 3/177 8187
/proc/meminfo: memFree=27164444/32873648 swapFree=6596/6596
[pid=8138] ppid=8136 vsize=87700 CPUtime=1782 cores=1,3,5,7
/proc/8138/stat : 8138 (scip-2.1.1.4sfi) R 8136 8138 6744 0 -1 4202496 71704 0 0 0 176898 1302 0 0 20 0 1 0 269095113 89804800 21040 33554432000 4194304 10169799 140735193057088 140735193051544 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8138/statm: 21925 21040 831 1459 0 20457 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 87700
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.06 2.03 1.86 3/177 8187
/proc/meminfo: memFree=27164568/32873648 swapFree=6596/6596
[pid=8138] ppid=8136 vsize=87700 CPUtime=1785.2 cores=1,3,5,7
/proc/8138/stat : 8138 (scip-2.1.1.4sfi) R 8136 8138 6744 0 -1 4202496 71704 0 0 0 177216 1304 0 0 20 0 1 0 269095113 89804800 21040 33554432000 4194304 10169799 140735193057088 140735193051096 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8138/statm: 21925 21040 831 1459 0 20457 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 87700
[startup+1791.91 s]
/proc/loadavg: 2.06 2.02 1.87 3/177 8187
/proc/meminfo: memFree=27164568/32873648 swapFree=6596/6596
[pid=8138] ppid=8136 vsize=87700 CPUtime=1791.6 cores=1,3,5,7
/proc/8138/stat : 8138 (scip-2.1.1.4sfi) R 8136 8138 6744 0 -1 4202496 71704 0 0 0 177852 1308 0 0 20 0 1 0 269095113 89804800 21040 33554432000 4194304 10169799 140735193057088 140735193051496 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8138/statm: 21925 21040 831 1459 0 20457 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 87700
[startup+1795.1 s]
/proc/loadavg: 2.05 2.02 1.87 3/177 8187
/proc/meminfo: memFree=27164568/32873648 swapFree=6596/6596
[pid=8138] ppid=8136 vsize=87700 CPUtime=1794.8 cores=1,3,5,7
/proc/8138/stat : 8138 (scip-2.1.1.4sfi) R 8136 8138 6744 0 -1 4202496 71704 0 0 0 178169 1311 0 0 20 0 1 0 269095113 89804800 21040 33554432000 4194304 10169799 140735193057088 140735193051496 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8138/statm: 21925 21040 831 1459 0 20457 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 87700
[startup+1795.9 s]
/proc/loadavg: 2.05 2.02 1.87 3/177 8187
/proc/meminfo: memFree=27164568/32873648 swapFree=6596/6596
[pid=8138] ppid=8136 vsize=87700 CPUtime=1795.59 cores=1,3,5,7
/proc/8138/stat : 8138 (scip-2.1.1.4sfi) R 8136 8138 6744 0 -1 4202496 71704 0 0 0 178247 1312 0 0 20 0 1 0 269095113 89804800 21040 33554432000 4194304 10169799 140735193057088 140735193051496 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8138/statm: 21925 21040 831 1459 0 20457 0
Current children cumulated CPU time (s) 1795.59
Current children cumulated vsize (KiB) 87700
[startup+1796.7 s]
/proc/loadavg: 2.05 2.02 1.87 3/177 8187
/proc/meminfo: memFree=27164568/32873648 swapFree=6596/6596
[pid=8138] ppid=8136 vsize=87700 CPUtime=1796.4 cores=1,3,5,7
/proc/8138/stat : 8138 (scip-2.1.1.4sfi) R 8136 8138 6744 0 -1 4202496 71704 0 0 0 178327 1313 0 0 20 0 1 0 269095113 89804800 21040 33554432000 4194304 10169799 140735193057088 140735193051160 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8138/statm: 21925 21040 831 1459 0 20457 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 87700
[startup+1797.1 s]
/proc/loadavg: 2.05 2.02 1.87 3/177 8187
/proc/meminfo: memFree=27164568/32873648 swapFree=6596/6596
[pid=8138] ppid=8136 vsize=86288 CPUtime=1796.79 cores=1,3,5,7
/proc/8138/stat : 8138 (scip-2.1.1.4sfi) R 8136 8138 6744 0 -1 4202496 71706 0 0 0 178366 1313 0 0 20 0 1 0 269095113 88358912 20689 33554432000 4194304 10169799 140735193057088 140735193051160 5281860 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8138/statm: 21572 20689 833 1459 0 20104 0
Current children cumulated CPU time (s) 1796.79
Current children cumulated vsize (KiB) 86288
Child status: 0
Real time (s): 1797.11
CPU time (s): 1796.82
CPU user time (s): 1783.68
CPU system time (s): 13.14
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 99640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1783.68
system time used= 13.14
maximum resident set size= 94700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71708
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= 24
involuntary context switches= 1849
runsolver used 2.81857 second user time and 8.64768 second system time
The end