0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 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-2664601-1276356496.opb>
0.00/0.01 c original problem has 89 variables (89 bin, 0 int, 0 impl, 0 cont) and 28 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.01/0.01 c presolving:
0.01/0.01 c (round 1) 1 del vars, 0 del conss, 0 chg bounds, 2 chg sides, 25 chg coeffs, 0 upgd conss, 4 impls, 15 clqs
0.01/0.02 c (round 2) 2 del vars, 1 del conss, 0 chg bounds, 2 chg sides, 25 chg coeffs, 22 upgd conss, 4 impls, 15 clqs
0.01/0.02 c (round 3) 2 del vars, 1 del conss, 0 chg bounds, 6 chg sides, 47 chg coeffs, 26 upgd conss, 4 impls, 15 clqs
0.01/0.03 c presolving (4 rounds):
0.01/0.03 c 2 deleted vars, 1 deleted constraints, 0 tightened bounds, 0 added holes, 6 changed sides, 47 changed coefficients
0.01/0.03 c 4 implications, 15 cliques
0.01/0.03 c presolved problem has 87 variables (87 bin, 0 int, 0 impl, 0 cont) and 27 constraints
0.01/0.03 c 6 constraints of type <knapsack>
0.01/0.03 c 15 constraints of type <setppc>
0.01/0.03 c 1 constraints of type <linear>
0.01/0.03 c 5 constraints of type <logicor>
0.01/0.03 c transformed objective value is always integral (scale: 1)
0.01/0.03 c Presolving Time: 0.01
0.01/0.03 c - non default parameters ----------------------------------------------------------------------
0.01/0.03 c # SCIP version 1.2.1.2
0.01/0.03 c
0.01/0.03 c # frequency for displaying node information lines
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.03 c display/freq = 10000
0.01/0.03 c
0.01/0.03 c # maximal time in seconds to run
0.01/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.03 c limits/time = 1800
0.01/0.03 c
0.01/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.03 c limits/memory = 1620
0.01/0.03 c
0.01/0.03 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.03 c lp/solvefreq = -1
0.01/0.03 c
0.01/0.03 c # should presolving try to simplify inequalities
0.01/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.03 c constraints/linear/simplifyinequalities = TRUE
0.01/0.03 c
0.01/0.03 c # should presolving try to simplify knapsacks
0.01/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.01/0.03 c
0.01/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.03 c separating/rapidlearning/freq = 0
0.01/0.03 c
0.01/0.03 c -----------------------------------------------------------------------------------------------
0.01/0.03 c start solving
0.01/0.03 c
0.01/0.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.01/0.03 c 0.0s| 1 | 2 | 0 | - | 385k| 0 | - | 87 | 27 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.59/0.64 o 3646
0.59/0.64 c * 0.5s| 7151 | 7057 | 0 | 0.0 |2480k| 66 | - | 87 | 32 | 0 | 0 | 0 | 48 | 0 | 2.420000e+02 | 3.646000e+03 |1406.61%
0.89/0.91 c 0.7s| 10000 | 9787 | 0 | 0.0 |3332k| 67 | - | 87 | 32 | 0 | 0 | 0 | 108 | 0 | 2.490000e+02 | 3.646000e+03 |1364.26%
0.89/0.94 o 3554
0.89/0.94 c * 0.7s| 10274 | 10040 | 0 | 0.0 |3420k| 67 | - | 87 | 33 | 0 | 0 | 0 | 116 | 0 | 2.490000e+02 | 3.554000e+03 |1327.31%
1.19/1.29 o 3413
1.19/1.29 c * 1.0s| 14134 | 13768 | 0 | 0.0 |4567k| 68 | - | 87 | 29 | 0 | 0 | 0 | 180 | 0 | 2.560000e+02 | 3.413000e+03 |1233.20%
1.19/1.29 o 3242
1.19/1.29 c * 1.0s| 14135 | 13762 | 0 | 0.0 |4567k| 68 | - | 87 | 29 | 0 | 0 | 0 | 180 | 0 | 2.560000e+02 | 3.242000e+03 |1166.41%
1.49/1.51 o 3069
1.49/1.51 c * 1.2s| 16550 | 16067 | 0 | 0.0 |5271k| 68 | - | 87 | 29 | 0 | 0 | 0 | 225 | 0 | 2.600000e+02 | 3.069000e+03 |1080.38%
1.69/1.77 o 2888
1.69/1.77 c * 1.4s| 19302 | 18710 | 0 | 0.0 |6069k| 72 | - | 87 | 31 | 0 | 0 | 0 | 263 | 0 | 2.670000e+02 | 2.888000e+03 | 981.65%
1.79/1.83 c 1.4s| 20000 | 19372 | 0 | 0.0 |6271k| 72 | - | 87 | 33 | 0 | 0 | 0 | 283 | 0 | 2.730000e+02 | 2.888000e+03 | 957.88%
1.89/1.93 o 2817
1.89/1.93 c * 1.5s| 21104 | 20409 | 0 | 0.0 |6588k| 72 | - | 87 | 41 | 0 | 0 | 0 | 315 | 0 | 2.840000e+02 | 2.817000e+03 | 891.90%
2.39/2.41 o 2685
2.39/2.41 c * 1.9s| 26042 | 25053 | 0 | 0.0 |8049k| 72 | - | 87 | 43 | 0 | 0 | 0 | 432 | 0 | 3.180000e+02 | 2.685000e+03 | 744.34%
2.69/2.72 o 2684
2.69/2.72 c * 2.1s| 29186 | 27948 | 0 | 0.0 |8993k| 72 | - | 87 | 43 | 0 | 0 | 0 | 568 | 0 | 3.200000e+02 | 2.684000e+03 | 738.75%
2.69/2.79 c 2.2s| 30000 | 28733 | 0 | 0.0 |9228k| 72 | - | 87 | 40 | 0 | 0 | 0 | 584 | 0 | 3.210000e+02 | 2.684000e+03 | 736.14%
3.69/3.71 o 2652
3.69/3.71 c * 2.9s| 39704 | 37974 | 0 | 0.0 | 12M| 72 | - | 87 | 40 | 0 | 0 | 0 | 808 | 0 | 3.270000e+02 | 2.652000e+03 | 711.01%
3.69/3.74 c 3.0s| 40000 | 38239 | 0 | 0.0 | 12M| 72 | - | 87 | 50 | 0 | 0 | 0 | 828 | 0 | 3.270000e+02 | 2.652000e+03 | 711.01%
3.89/3.90 o 2602
3.89/3.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.89/3.90 c * 3.1s| 41560 | 39611 | 0 | 0.0 | 12M| 72 | - | 87 | 56 | 0 | 0 | 0 | 904 | 0 | 3.270000e+02 | 2.602000e+03 | 695.72%
3.89/3.90 o 2533
3.89/3.90 c * 3.1s| 41563 | 39523 | 0 | 0.0 | 12M| 72 | - | 87 | 56 | 0 | 0 | 0 | 904 | 0 | 3.270000e+02 | 2.533000e+03 | 674.62%
4.69/4.71 c 3.8s| 50000 | 47530 | 0 | 0.0 | 15M| 72 | - | 87 | 42 | 0 | 0 | 0 |1129 | 0 | 3.330000e+02 | 2.533000e+03 | 660.66%
5.08/5.14 o 2427
5.08/5.14 c * 4.1s| 54570 | 51728 | 0 | 0.0 | 16M| 72 | - | 87 | 40 | 0 | 0 | 0 |1240 | 0 | 3.340000e+02 | 2.427000e+03 | 626.65%
5.59/5.67 c 4.5s| 60000 | 56676 | 0 | 0.0 | 17M| 72 | - | 87 | 60 | 0 | 0 | 0 |1510 | 0 | 3.360000e+02 | 2.427000e+03 | 622.32%
5.79/5.81 o 2421
5.79/5.81 c * 4.6s| 61377 | 57908 | 0 | 0.0 | 18M| 72 | - | 87 | 63 | 0 | 0 | 0 |1582 | 0 | 3.370000e+02 | 2.421000e+03 | 618.40%
5.79/5.82 o 2417
5.79/5.82 c * 4.6s| 61454 | 57971 | 0 | 0.0 | 18M| 72 | - | 87 | 62 | 0 | 0 | 0 |1583 | 0 | 3.370000e+02 | 2.417000e+03 | 617.21%
6.49/6.55 o 2381
6.49/6.55 c * 5.2s| 69273 | 65402 | 0 | 0.0 | 20M| 72 | - | 87 | 44 | 0 | 0 | 0 |1729 | 0 | 3.420000e+02 | 2.381000e+03 | 596.20%
6.60/6.62 c 5.3s| 70000 | 66074 | 0 | 0.0 | 20M| 72 | - | 87 | 46 | 0 | 0 | 0 |1760 | 0 | 3.420000e+02 | 2.381000e+03 | 596.20%
6.79/6.85 o 2376
6.79/6.85 c * 5.5s| 72291 | 68176 | 0 | 0.0 | 21M| 72 | - | 87 | 49 | 0 | 0 | 0 |1856 | 0 | 3.440000e+02 | 2.376000e+03 | 590.70%
6.89/7.00 o 2339
6.89/7.00 c * 5.6s| 73896 | 69634 | 0 | 0.0 | 21M| 72 | - | 87 | 39 | 0 | 0 | 0 |1890 | 0 | 3.440000e+02 | 2.339000e+03 | 579.94%
6.99/7.00 o 2322
6.99/7.00 c * 5.6s| 73898 | 69593 | 0 | 0.0 | 21M| 72 | - | 87 | 39 | 0 | 0 | 0 |1890 | 0 | 3.440000e+02 | 2.322000e+03 | 575.00%
6.99/7.00 o 2167
6.99/7.00 c * 5.6s| 73899 | 69078 | 0 | 0.0 | 21M| 72 | - | 87 | 39 | 0 | 0 | 0 |1890 | 0 | 3.440000e+02 | 2.167000e+03 | 529.94%
7.49/7.59 c 6.0s| 80000 | 74718 | 0 | 0.0 | 23M| 72 | - | 87 | 65 | 0 | 0 | 0 |2150 | 0 | 3.510000e+02 | 2.167000e+03 | 517.38%
7.99/8.01 o 2120
7.99/8.01 c * 6.4s| 84206 | 78332 | 0 | 0.0 | 24M| 72 | - | 87 | 61 | 0 | 0 | 0 |2364 | 0 | 3.540000e+02 | 2.120000e+03 | 498.87%
8.19/8.26 o 2089
8.19/8.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.19/8.26 c * 6.6s| 86721 | 80449 | 0 | 0.0 | 25M| 72 | - | 87 | 62 | 0 | 0 | 0 |2492 | 0 | 3.590000e+02 | 2.089000e+03 | 481.89%
8.49/8.59 c 6.8s| 90000 | 83395 | 0 | 0.0 | 26M| 72 | - | 87 | 66 | 0 | 0 | 0 |2675 | 0 | 3.640000e+02 | 2.089000e+03 | 473.90%
9.49/9.59 c 7.7s|100000 | 92387 | 0 | 0.0 | 29M| 72 | - | 87 | 98 | 0 | 0 | 0 |3235 | 0 | 3.920000e+02 | 2.089000e+03 | 432.91%
9.59/9.68 o 1967
9.59/9.68 c * 7.7s|100698 | 92229 | 0 | 0.0 | 29M| 72 | - | 87 | 109 | 0 | 0 | 0 |3297 | 0 | 3.920000e+02 | 1.967000e+03 | 401.79%
9.59/9.68 o 1965
9.59/9.68 c * 7.7s|100707 | 92212 | 0 | 0.0 | 29M| 72 | - | 87 | 109 | 0 | 0 | 0 |3297 | 0 | 3.920000e+02 | 1.965000e+03 | 401.28%
10.59/10.69 c 8.5s|110000 |100151 | 0 | 0.0 | 31M| 72 | - | 87 | 218 | 0 | 0 | 0 |4047 | 0 | 3.960000e+02 | 1.965000e+03 | 396.21%
11.69/11.76 c 9.4s|120000 |108672 | 0 | 0.0 | 34M| 72 | - | 87 | 148 | 0 | 0 | 0 |4846 | 0 | 4.010000e+02 | 1.965000e+03 | 390.02%
12.19/12.22 o 1898
12.19/12.22 c * 9.8s|123976 |111336 | 0 | 0.0 | 35M| 72 | - | 87 | 154 | 0 | 0 | 0 |5243 | 0 | 4.020000e+02 | 1.898000e+03 | 372.14%
12.79/12.88 c 10.3s|130000 |116385 | 0 | 0.0 | 37M| 72 | - | 87 | 224 | 0 | 0 | 0 |5746 | 0 | 4.030000e+02 | 1.898000e+03 | 370.97%
13.98/14.05 c 11.3s|140000 |124266 | 0 | 0.0 | 39M| 72 | - | 87 | 316 | 0 | 0 | 0 |6985 | 0 | 4.060000e+02 | 1.898000e+03 | 367.49%
15.19/15.21 c 12.3s|150000 |132302 | 0 | 0.0 | 42M| 72 | - | 87 | 342 | 0 | 0 | 0 |8140 | 0 | 4.080000e+02 | 1.898000e+03 | 365.20%
16.29/16.33 c 13.2s|160000 |140614 | 0 | 0.0 | 45M| 72 | - | 87 | 274 | 0 | 0 | 0 |9048 | 0 | 4.100000e+02 | 1.898000e+03 | 362.93%
16.58/16.66 o 1821
16.58/16.66 c *13.5s|162935 |142156 | 0 | 0.0 | 46M| 72 | - | 87 | 292 | 0 | 0 | 0 |9230 | 0 | 4.100000e+02 | 1.821000e+03 | 344.15%
17.39/17.45 c 14.1s|170000 |147994 | 0 | 0.0 | 48M| 72 | - | 87 | 348 | 0 | 0 | 0 |9884 | 0 | 4.110000e+02 | 1.821000e+03 | 343.07%
18.49/18.58 c 15.0s|180000 |156297 | 0 | 0.0 | 50M| 72 | - | 87 | 368 | 0 | 0 | 0 | 10k| 0 | 4.130000e+02 | 1.821000e+03 | 340.92%
19.69/19.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
19.69/19.75 c 16.0s|190000 |164285 | 0 | 0.0 | 53M| 72 | - | 87 | 492 | 0 | 0 | 0 | 12k| 0 | 4.140000e+02 | 1.821000e+03 | 339.86%
20.79/20.89 c 17.0s|200000 |172550 | 0 | 0.0 | 56M| 72 | - | 87 | 449 | 0 | 0 | 0 | 13k| 0 | 4.160000e+02 | 1.821000e+03 | 337.74%
21.89/21.96 c 17.9s|210000 |181328 | 0 | 0.0 | 59M| 72 | - | 87 | 352 | 0 | 0 | 0 | 13k| 0 | 4.180000e+02 | 1.821000e+03 | 335.65%
22.89/22.90 o 1769
22.89/22.90 c *18.6s|218453 |187677 | 0 | 0.0 | 61M| 72 | - | 87 | 354 | 0 | 0 | 0 | 14k| 0 | 4.190000e+02 | 1.769000e+03 | 322.20%
22.99/23.07 c 18.8s|220000 |188984 | 0 | 0.0 | 61M| 72 | - | 87 | 376 | 0 | 0 | 0 | 14k| 0 | 4.190000e+02 | 1.769000e+03 | 322.20%
24.09/24.17 c 19.7s|230000 |197527 | 0 | 0.0 | 64M| 72 | - | 87 | 411 | 0 | 0 | 0 | 15k| 0 | 4.200000e+02 | 1.769000e+03 | 321.19%
24.69/24.72 o 1760
24.69/24.72 c *20.1s|234777 |201264 | 0 | 0.0 | 65M| 72 | - | 87 | 483 | 0 | 0 | 0 | 15k| 0 | 4.200000e+02 | 1.760000e+03 | 319.05%
25.29/25.34 c 20.6s|240000 |205497 | 0 | 0.0 | 67M| 72 | - | 87 | 493 | 0 | 0 | 0 | 16k| 0 | 4.210000e+02 | 1.760000e+03 | 318.05%
26.29/26.32 o 1711
26.29/26.32 c *21.5s|248239 |210995 | 0 | 0.0 | 69M| 72 | - | 87 | 494 | 0 | 0 | 0 | 17k| 0 | 4.220000e+02 | 1.711000e+03 | 305.45%
26.48/26.51 c 21.6s|250000 |212549 | 0 | 0.0 | 69M| 72 | - | 87 | 493 | 0 | 0 | 0 | 17k| 0 | 4.230000e+02 | 1.711000e+03 | 304.49%
27.58/27.62 c 22.5s|260000 |221064 | 0 | 0.0 | 72M| 72 | - | 87 | 403 | 0 | 0 | 0 | 18k| 0 | 4.250000e+02 | 1.711000e+03 | 302.59%
28.19/28.27 o 1709
28.19/28.27 c *23.1s|265832 |225983 | 0 | 0.0 | 73M| 72 | - | 87 | 283 | 0 | 0 | 0 | 18k| 0 | 4.260000e+02 | 1.709000e+03 | 301.17%
28.68/28.71 c 23.4s|270000 |229654 | 0 | 0.0 | 75M| 72 | - | 87 | 274 | 0 | 0 | 0 | 19k| 0 | 4.270000e+02 | 1.709000e+03 | 300.23%
29.70/29.76 c 24.3s|280000 |238463 | 0 | 0.0 | 77M| 72 | - | 87 | 299 | 0 | 0 | 0 | 19k| 0 | 4.280000e+02 | 1.709000e+03 | 299.30%
30.88/30.94 c 25.3s|290000 |246465 | 0 | 0.0 | 80M| 72 | - | 87 | 421 | 0 | 0 | 0 | 20k| 0 | 4.300000e+02 | 1.709000e+03 | 297.44%
31.98/32.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.98/32.09 c 26.2s|300000 |254754 | 0 | 0.0 | 83M| 72 | - | 87 | 580 | 0 | 0 | 0 | 21k| 0 | 4.310000e+02 | 1.709000e+03 | 296.52%
33.18/33.29 c 27.2s|310000 |262602 | 0 | 0.0 | 86M| 72 | - | 87 | 412 | 0 | 0 | 0 | 23k| 0 | 4.330000e+02 | 1.709000e+03 | 294.69%
34.38/34.43 c 28.1s|320000 |270856 | 0 | 0.0 | 88M| 72 | - | 87 | 374 | 0 | 0 | 0 | 24k| 0 | 4.350000e+02 | 1.709000e+03 | 292.87%
35.48/35.57 c 29.1s|330000 |279160 | 0 | 0.0 | 91M| 72 | - | 87 | 388 | 0 | 0 | 0 | 25k| 0 | 4.370000e+02 | 1.709000e+03 | 291.08%
36.68/36.74 c 30.1s|340000 |287377 | 0 | 0.0 | 94M| 72 | - | 87 | 411 | 0 | 0 | 0 | 26k| 0 | 4.380000e+02 | 1.709000e+03 | 290.18%
37.88/37.93 c 31.0s|350000 |295283 | 0 | 0.0 | 97M| 72 | - | 87 | 395 | 0 | 0 | 0 | 27k| 0 | 4.410000e+02 | 1.709000e+03 | 287.53%
39.08/39.13 c 32.0s|360000 |303037 | 0 | 0.0 | 99M| 72 | - | 87 | 370 | 0 | 0 | 0 | 28k| 0 | 4.430000e+02 | 1.709000e+03 | 285.78%
40.18/40.29 c 33.0s|370000 |311187 | 0 | 0.0 | 102M| 72 | - | 87 | 381 | 0 | 0 | 0 | 29k| 0 | 4.450000e+02 | 1.709000e+03 | 284.04%
41.38/41.48 c 34.0s|380000 |319056 | 0 | 0.0 | 105M| 72 | - | 87 | 390 | 0 | 0 | 0 | 30k| 0 | 4.470000e+02 | 1.709000e+03 | 282.33%
42.58/42.64 c 35.0s|390000 |327126 | 0 | 0.0 | 108M| 72 | - | 87 | 363 | 0 | 0 | 0 | 32k| 0 | 4.490000e+02 | 1.709000e+03 | 280.62%
43.78/43.85 c 36.0s|400000 |334836 | 0 | 0.0 | 110M| 72 | - | 87 | 339 | 0 | 0 | 0 | 33k| 0 | 4.510000e+02 | 1.709000e+03 | 278.94%
44.99/45.08 c 37.0s|410000 |342405 | 0 | 0.0 | 113M| 72 | - | 87 | 482 | 0 | 0 | 0 | 34k| 0 | 4.520000e+02 | 1.709000e+03 | 278.10%
46.18/46.25 c 38.0s|420000 |350426 | 0 | 0.0 | 116M| 72 | - | 87 | 473 | 0 | 0 | 0 | 35k| 0 | 4.550000e+02 | 1.709000e+03 | 275.60%
47.38/47.46 c 39.0s|430000 |358258 | 0 | 0.0 | 119M| 72 | - | 87 | 552 | 0 | 0 | 0 | 37k| 0 | 4.570000e+02 | 1.709000e+03 | 273.96%
48.28/48.31 o 1702
48.28/48.31 c *39.8s|436410 |362558 | 0 | 0.0 | 120M| 72 | - | 87 | 572 | 0 | 0 | 0 | 38k| 0 | 4.580000e+02 | 1.702000e+03 | 271.62%
48.68/48.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
48.68/48.74 c 40.1s|440000 |365406 | 0 | 0.0 | 121M| 72 | - | 87 | 565 | 0 | 0 | 0 | 38k| 0 | 4.590000e+02 | 1.702000e+03 | 270.81%
49.98/50.01 c 41.2s|450000 |372741 | 0 | 0.0 | 124M| 72 | - | 87 | 708 | 0 | 0 | 0 | 40k| 0 | 4.610000e+02 | 1.702000e+03 | 269.20%
51.28/51.32 c 42.3s|460000 |379998 | 0 | 0.0 | 127M| 72 | - | 87 | 797 | 0 | 0 | 0 | 41k| 0 | 4.650000e+02 | 1.702000e+03 | 266.02%
52.57/52.60 c 43.4s|470000 |387562 | 0 | 0.0 | 129M| 72 | - | 87 | 636 | 0 | 0 | 0 | 42k| 0 | 4.670000e+02 | 1.702000e+03 | 264.45%
52.78/52.82 o 1662
52.78/52.82 c *43.6s|471645 |387340 | 0 | 0.0 | 129M| 72 | - | 87 | 667 | 0 | 0 | 0 | 43k| 0 | 4.670000e+02 | 1.662000e+03 | 255.89%
52.78/52.87 o 1656
52.78/52.87 c *43.6s|471882 |387259 | 0 | 0.0 | 129M| 72 | - | 87 | 675 | 0 | 0 | 0 | 43k| 0 | 4.670000e+02 | 1.656000e+03 | 254.60%
53.28/53.38 o 1646
53.28/53.38 c *44.0s|475655 |389598 | 0 | 0.0 | 130M| 72 | - | 87 | 686 | 0 | 0 | 0 | 43k| 0 | 4.680000e+02 | 1.646000e+03 | 251.71%
53.88/53.95 c 44.5s|480000 |392742 | 0 | 0.0 | 131M| 72 | - | 87 | 769 | 0 | 0 | 0 | 44k| 0 | 4.690000e+02 | 1.646000e+03 | 250.96%
55.27/55.30 c 45.7s|490000 |399794 | 0 | 0.0 | 134M| 72 | - | 87 | 753 | 0 | 0 | 0 | 46k| 0 | 4.700000e+02 | 1.646000e+03 | 250.21%
56.58/56.62 c 46.8s|500000 |406969 | 0 | 0.0 | 136M| 72 | - | 87 | 581 | 0 | 0 | 0 | 47k| 0 | 4.720000e+02 | 1.646000e+03 | 248.73%
57.88/57.90 c 47.9s|510000 |414473 | 0 | 0.0 | 139M| 72 | - | 87 | 602 | 0 | 0 | 0 | 49k| 0 | 4.740000e+02 | 1.646000e+03 | 247.26%
59.08/59.14 c 48.9s|520000 |422173 | 0 | 0.0 | 142M| 73 | - | 87 | 538 | 0 | 0 | 0 | 50k| 0 | 4.760000e+02 | 1.646000e+03 | 245.80%
60.38/60.40 c 50.0s|530000 |429718 | 0 | 0.0 | 144M| 73 | - | 87 | 594 | 0 | 0 | 0 | 51k| 0 | 4.770000e+02 | 1.646000e+03 | 245.07%
61.58/61.69 c 51.0s|540000 |437053 | 0 | 0.0 | 147M| 73 | - | 87 | 473 | 0 | 0 | 0 | 53k| 0 | 4.780000e+02 | 1.646000e+03 | 244.35%
62.08/62.16 o 1639
62.08/62.16 c *51.4s|543148 |438708 | 0 | 0.0 | 148M| 73 | - | 87 | 547 | 0 | 0 | 0 | 53k| 0 | 4.780000e+02 | 1.639000e+03 | 242.89%
62.78/62.82 o 1592
62.78/62.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
62.78/62.82 c *52.0s|548191 |440011 | 0 | 0.0 | 148M| 73 | - | 87 | 518 | 0 | 0 | 0 | 54k| 0 | 4.790000e+02 | 1.592000e+03 | 232.36%
62.98/63.04 c 52.2s|550000 |441386 | 0 | 0.0 | 149M| 73 | - | 87 | 580 | 0 | 0 | 0 | 54k| 0 | 4.790000e+02 | 1.592000e+03 | 232.36%
63.48/63.55 o 1581
63.48/63.55 c *52.6s|553642 |443395 | 0 | 0.0 | 149M| 73 | - | 87 | 694 | 0 | 0 | 0 | 55k| 0 | 4.790000e+02 | 1.581000e+03 | 230.06%
63.87/63.97 o 1536
63.87/63.97 c *53.0s|556330 |442145 | 0 | 0.0 | 149M| 73 | - | 87 | 805 | 0 | 0 | 0 | 55k| 0 | 4.790000e+02 | 1.536000e+03 | 220.67%
64.37/64.44 c 53.4s|560000 |445073 | 0 | 0.0 | 150M| 73 | - | 87 | 642 | 0 | 0 | 0 | 56k| 0 | 4.800000e+02 | 1.536000e+03 | 220.00%
65.67/65.72 c 54.4s|570000 |452602 | 0 | 0.0 | 152M| 73 | - | 87 | 624 | 0 | 0 | 0 | 57k| 0 | 4.810000e+02 | 1.536000e+03 | 219.33%
66.98/67.03 c 55.5s|580000 |459858 | 0 | 0.0 | 155M| 73 | - | 87 | 606 | 0 | 0 | 0 | 59k| 0 | 4.820000e+02 | 1.536000e+03 | 218.67%
68.18/68.23 c 56.5s|590000 |467742 | 0 | 0.0 | 158M| 73 | - | 87 | 586 | 0 | 0 | 0 | 60k| 0 | 4.820000e+02 | 1.536000e+03 | 218.67%
69.48/69.54 c 57.6s|600000 |475053 | 0 | 0.0 | 160M| 73 | - | 87 | 610 | 0 | 0 | 0 | 61k| 0 | 4.830000e+02 | 1.536000e+03 | 218.01%
70.77/70.81 c 58.7s|610000 |482392 | 0 | 0.0 | 163M| 73 | - | 87 | 651 | 0 | 0 | 0 | 63k| 0 | 4.840000e+02 | 1.536000e+03 | 217.36%
71.97/72.02 c 59.7s|620000 |490355 | 0 | 0.0 | 165M| 73 | - | 87 | 585 | 0 | 0 | 0 | 64k| 0 | 4.850000e+02 | 1.536000e+03 | 216.70%
73.27/73.32 c 60.8s|630000 |497813 | 0 | 0.0 | 168M| 73 | - | 87 | 633 | 0 | 0 | 0 | 65k| 0 | 4.860000e+02 | 1.536000e+03 | 216.05%
74.68/74.76 c 62.1s|640000 |504276 | 0 | 0.0 | 171M| 73 | - | 87 | 869 | 0 | 0 | 0 | 67k| 0 | 4.870000e+02 | 1.536000e+03 | 215.40%
75.97/76.03 c 63.2s|650000 |511977 | 0 | 0.0 | 173M| 73 | - | 87 | 738 | 0 | 0 | 0 | 69k| 0 | 4.870000e+02 | 1.536000e+03 | 215.40%
77.07/77.11 o 1535
77.07/77.11 c *64.1s|657107 |516484 | 0 | 0.0 | 175M| 73 | - | 87 | 889 | 0 | 0 | 0 | 70k| 0 | 4.870000e+02 | 1.535000e+03 | 215.20%
77.37/77.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
77.37/77.47 c 64.4s|660000 |518785 | 0 | 0.0 | 176M| 73 | - | 87 | 730 | 0 | 0 | 0 | 70k| 0 | 4.880000e+02 | 1.535000e+03 | 214.55%
77.88/77.94 o 1525
77.88/77.94 c *64.8s|663753 |521026 | 0 | 0.0 | 176M| 73 | - | 87 | 656 | 0 | 0 | 0 | 71k| 0 | 4.880000e+02 | 1.525000e+03 | 212.50%
78.67/78.75 c 65.5s|670000 |525859 | 0 | 0.0 | 178M| 73 | - | 87 | 775 | 0 | 0 | 0 | 71k| 0 | 4.880000e+02 | 1.525000e+03 | 212.50%
80.07/80.16 c 66.7s|680000 |532985 | 0 | 0.0 | 181M| 73 | - | 87 | 957 | 0 | 0 | 0 | 73k| 0 | 4.890000e+02 | 1.525000e+03 | 211.86%
81.27/81.40 c 67.7s|690000 |541016 | 0 | 0.0 | 183M| 73 | - | 87 |1051 | 0 | 0 | 0 | 74k| 0 | 4.890000e+02 | 1.525000e+03 | 211.86%
82.77/82.84 c 69.0s|700000 |548224 | 0 | 0.0 | 186M| 73 | - | 87 |1111 | 0 | 0 | 0 | 76k| 0 | 4.900000e+02 | 1.525000e+03 | 211.22%
84.07/84.18 c 70.1s|710000 |555865 | 0 | 0.0 | 189M| 73 | - | 87 | 986 | 0 | 0 | 0 | 77k| 0 | 4.900000e+02 | 1.525000e+03 | 211.22%
85.47/85.53 c 71.3s|720000 |563309 | 0 | 0.0 | 191M| 73 | - | 87 | 984 | 0 | 0 | 0 | 79k| 0 | 4.910000e+02 | 1.525000e+03 | 210.59%
86.87/86.91 c 72.5s|730000 |570608 | 0 | 0.0 | 194M| 73 | - | 87 |1153 | 0 | 0 | 0 | 80k| 0 | 4.920000e+02 | 1.525000e+03 | 209.96%
88.26/88.33 c 73.7s|740000 |577903 | 0 | 0.0 | 197M| 73 | - | 87 |1318 | 0 | 0 | 0 | 82k| 0 | 4.920000e+02 | 1.525000e+03 | 209.96%
89.66/89.79 c 74.9s|750000 |585049 | 0 | 0.0 | 199M| 73 | - | 87 |1438 | 0 | 0 | 0 | 84k| 0 | 4.930000e+02 | 1.525000e+03 | 209.33%
91.17/91.22 c 76.1s|760000 |592301 | 0 | 0.0 | 202M| 73 | - | 87 |1173 | 0 | 0 | 0 | 85k| 0 | 4.940000e+02 | 1.525000e+03 | 208.70%
92.46/92.59 c 77.3s|770000 |599762 | 0 | 0.0 | 205M| 73 | - | 87 |1182 | 0 | 0 | 0 | 87k| 0 | 4.940000e+02 | 1.525000e+03 | 208.70%
92.77/92.86 o 1520
92.77/92.86 c *77.5s|771574 |600281 | 0 | 0.0 | 205M| 73 | - | 87 |1213 | 0 | 0 | 0 | 87k| 0 | 4.940000e+02 | 1.520000e+03 | 207.69%
94.07/94.14 c 78.7s|780000 |605949 | 0 | 0.0 | 207M| 73 | - | 87 |1165 | 0 | 0 | 0 | 88k| 0 | 4.950000e+02 | 1.520000e+03 | 207.07%
95.17/95.28 o 1502
95.17/95.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
95.17/95.28 c *79.6s|788719 |611511 | 0 | 0.0 | 209M| 73 | - | 87 |1079 | 0 | 0 | 0 | 89k| 0 | 4.950000e+02 | 1.502000e+03 | 203.43%
95.27/95.32 o 1434
95.27/95.32 c *79.7s|788720 |603981 | 0 | 0.0 | 206M| 73 | - | 87 |1079 | 0 | 0 | 0 | 89k| 0 | 4.950000e+02 | 1.434000e+03 | 189.70%
95.46/95.51 c 79.8s|790000 |604966 | 0 | 0.0 | 206M| 73 | - | 87 |1124 | 0 | 0 | 0 | 89k| 0 | 4.950000e+02 | 1.434000e+03 | 189.70%
96.07/96.12 o 1428
96.07/96.12 c *80.4s|794133 |607419 | 0 | 0.0 | 207M| 73 | - | 87 |1184 | 0 | 0 | 0 | 90k| 0 | 4.950000e+02 | 1.428000e+03 | 188.48%
97.06/97.10 c 81.2s|800000 |611220 | 0 | 0.0 | 208M| 73 | - | 87 |1392 | 0 | 0 | 0 | 91k| 0 | 4.950000e+02 | 1.428000e+03 | 188.48%
97.16/97.23 o 1416
97.16/97.23 c *81.3s|800503 |609935 | 0 | 0.0 | 208M| 73 | - | 87 |1421 | 0 | 0 | 0 | 91k| 0 | 4.950000e+02 | 1.416000e+03 | 186.06%
98.57/98.60 c 82.5s|810000 |617233 | 0 | 0.0 | 210M| 73 | - | 87 |1409 | 0 | 0 | 0 | 92k| 0 | 4.960000e+02 | 1.416000e+03 | 185.48%
99.97/100.06 c 83.8s|820000 |624777 | 0 | 0.0 | 213M| 73 | - | 87 |1620 | 0 | 0 | 0 | 94k| 0 | 4.960000e+02 | 1.416000e+03 | 185.48%
101.47/101.57 c 85.1s|830000 |632194 | 0 | 0.0 | 215M| 73 | - | 87 |1589 | 0 | 0 | 0 | 95k| 0 | 4.970000e+02 | 1.416000e+03 | 184.91%
102.87/102.99 c 86.3s|840000 |640143 | 0 | 0.0 | 218M| 73 | - | 87 |1588 | 0 | 0 | 0 | 96k| 0 | 4.970000e+02 | 1.416000e+03 | 184.91%
104.47/104.53 c 87.6s|850000 |647435 | 0 | 0.0 | 221M| 73 | - | 87 |1650 | 0 | 0 | 0 | 98k| 0 | 4.970000e+02 | 1.416000e+03 | 184.91%
105.96/106.05 c 89.0s|860000 |654633 | 0 | 0.0 | 223M| 73 | - | 87 |1413 | 0 | 0 | 0 | 100k| 0 | 4.980000e+02 | 1.416000e+03 | 184.34%
107.26/107.38 c 90.1s|870000 |662781 | 0 | 0.0 | 226M| 73 | - | 87 |1470 | 0 | 0 | 0 | 101k| 0 | 4.980000e+02 | 1.416000e+03 | 184.34%
109.06/109.18 c 91.7s|880000 |669440 | 0 | 0.0 | 229M| 73 | - | 87 |2229 | 0 | 0 | 0 | 103k| 0 | 4.980000e+02 | 1.416000e+03 | 184.34%
110.66/110.71 c 93.0s|890000 |677229 | 0 | 0.0 | 231M| 73 | - | 87 |1966 | 0 | 0 | 0 | 104k| 0 | 4.990000e+02 | 1.416000e+03 | 183.77%
112.56/112.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
112.56/112.64 c 94.7s|900000 |684083 | 0 | 0.0 | 234M| 73 | - | 87 |2829 | 0 | 0 | 0 | 106k| 0 | 4.990000e+02 | 1.416000e+03 | 183.77%
114.27/114.35 c 96.2s|910000 |691668 | 0 | 0.0 | 237M| 73 | - | 87 |2362 | 0 | 0 | 0 | 108k| 0 | 5.000000e+02 | 1.416000e+03 | 183.20%
116.06/116.14 c 97.8s|920000 |698627 | 0 | 0.0 | 240M| 73 | - | 87 |2405 | 0 | 0 | 0 | 110k| 0 | 5.010000e+02 | 1.416000e+03 | 182.63%
117.56/117.60 c 99.1s|930000 |706785 | 0 | 0.0 | 242M| 73 | - | 87 |2076 | 0 | 0 | 0 | 111k| 0 | 5.010000e+02 | 1.416000e+03 | 182.63%
119.26/119.35 c 101s|940000 |713506 | 0 | 0.0 | 245M| 73 | - | 87 |1951 | 0 | 0 | 0 | 113k| 0 | 5.020000e+02 | 1.416000e+03 | 182.07%
120.76/120.88 c 102s|950000 |720985 | 0 | 0.0 | 247M| 73 | - | 87 |1810 | 0 | 0 | 0 | 114k| 0 | 5.020000e+02 | 1.416000e+03 | 182.07%
122.26/122.38 c 103s|960000 |728471 | 0 | 0.0 | 250M| 73 | - | 87 |1709 | 0 | 0 | 0 | 115k| 0 | 5.030000e+02 | 1.416000e+03 | 181.51%
123.96/124.07 c 105s|970000 |735040 | 0 | 0.0 | 252M| 73 | - | 87 |2123 | 0 | 0 | 0 | 117k| 0 | 5.030000e+02 | 1.416000e+03 | 181.51%
125.45/125.58 c 106s|980000 |742910 | 0 | 0.0 | 255M| 73 | - | 87 |1928 | 0 | 0 | 0 | 118k| 0 | 5.040000e+02 | 1.416000e+03 | 180.95%
127.15/127.29 c 108s|990000 |749959 | 0 | 0.0 | 258M| 73 | - | 87 |2143 | 0 | 0 | 0 | 120k| 0 | 5.040000e+02 | 1.416000e+03 | 180.95%
128.96/129.06 c 109s| 1000k|756873 | 0 | 0.0 | 260M| 73 | - | 87 |1879 | 0 | 0 | 0 | 122k| 0 | 5.050000e+02 | 1.416000e+03 | 180.40%
130.46/130.52 c 110s| 1010k|764840 | 0 | 0.0 | 263M| 73 | - | 87 |1960 | 0 | 0 | 0 | 123k| 0 | 5.050000e+02 | 1.416000e+03 | 180.40%
132.16/132.23 c 112s| 1020k|771918 | 0 | 0.0 | 265M| 73 | - | 87 |2071 | 0 | 0 | 0 | 125k| 0 | 5.050000e+02 | 1.416000e+03 | 180.40%
133.76/133.85 c 113s| 1030k|779294 | 0 | 0.0 | 268M| 73 | - | 87 |1942 | 0 | 0 | 0 | 126k| 0 | 5.060000e+02 | 1.416000e+03 | 179.84%
135.26/135.39 c 115s| 1040k|786850 | 0 | 0.0 | 271M| 73 | - | 87 |2017 | 0 | 0 | 0 | 128k| 0 | 5.060000e+02 | 1.416000e+03 | 179.84%
137.05/137.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
137.05/137.17 c 116s| 1050k|793492 | 0 | 0.0 | 273M| 73 | - | 87 |1927 | 0 | 0 | 0 | 130k| 0 | 5.070000e+02 | 1.416000e+03 | 179.29%
138.66/138.73 c 118s| 1060k|801050 | 0 | 0.0 | 276M| 73 | - | 87 |2021 | 0 | 0 | 0 | 131k| 0 | 5.070000e+02 | 1.416000e+03 | 179.29%
140.36/140.41 c 119s| 1070k|808106 | 0 | 0.0 | 278M| 73 | - | 87 |2023 | 0 | 0 | 0 | 133k| 0 | 5.080000e+02 | 1.416000e+03 | 178.74%
141.76/141.88 c 120s| 1080k|815830 | 0 | 0.0 | 281M| 73 | - | 87 |2136 | 0 | 0 | 0 | 134k| 0 | 5.080000e+02 | 1.416000e+03 | 178.74%
143.35/143.46 c 122s| 1090k|823365 | 0 | 0.0 | 284M| 73 | - | 87 |1898 | 0 | 0 | 0 | 136k| 0 | 5.090000e+02 | 1.416000e+03 | 178.19%
144.95/145.01 c 123s| 1100k|830743 | 0 | 0.0 | 286M| 73 | - | 87 |1593 | 0 | 0 | 0 | 137k| 0 | 5.100000e+02 | 1.416000e+03 | 177.65%
146.45/146.55 c 125s| 1110k|837645 | 0 | 0.0 | 289M| 73 | - | 87 |1574 | 0 | 0 | 0 | 139k| 0 | 5.100000e+02 | 1.416000e+03 | 177.65%
147.96/148.04 c 126s| 1120k|845143 | 0 | 0.0 | 291M| 73 | - | 87 |1447 | 0 | 0 | 0 | 140k| 0 | 5.110000e+02 | 1.416000e+03 | 177.10%
149.56/149.67 c 127s| 1130k|851812 | 0 | 0.0 | 294M| 73 | - | 87 |1452 | 0 | 0 | 0 | 142k| 0 | 5.120000e+02 | 1.416000e+03 | 176.56%
151.05/151.13 c 129s| 1140k|859334 | 0 | 0.0 | 296M| 73 | - | 87 |1424 | 0 | 0 | 0 | 144k| 0 | 5.120000e+02 | 1.416000e+03 | 176.56%
152.55/152.65 c 130s| 1150k|866668 | 0 | 0.0 | 299M| 73 | - | 87 |1465 | 0 | 0 | 0 | 145k| 0 | 5.130000e+02 | 1.416000e+03 | 176.02%
154.15/154.28 c 131s| 1160k|873410 | 0 | 0.0 | 302M| 73 | - | 87 |1606 | 0 | 0 | 0 | 147k| 0 | 5.140000e+02 | 1.416000e+03 | 175.49%
155.75/155.80 c 133s| 1170k|880814 | 0 | 0.0 | 304M| 73 | - | 87 |1575 | 0 | 0 | 0 | 149k| 0 | 5.140000e+02 | 1.416000e+03 | 175.49%
157.35/157.40 c 134s| 1180k|887926 | 0 | 0.0 | 307M| 73 | - | 87 |1879 | 0 | 0 | 0 | 150k| 0 | 5.150000e+02 | 1.416000e+03 | 174.95%
159.25/159.34 c 136s| 1190k|894576 | 0 | 0.0 | 310M| 73 | - | 87 |2417 | 0 | 0 | 0 | 153k| 0 | 5.160000e+02 | 1.416000e+03 | 174.42%
160.65/160.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
160.65/160.77 c 137s| 1200k|902792 | 0 | 0.0 | 312M| 73 | - | 87 |1947 | 0 | 0 | 0 | 154k| 0 | 5.160000e+02 | 1.416000e+03 | 174.42%
162.44/162.52 c 138s| 1210k|909546 | 0 | 0.0 | 315M| 73 | - | 87 |2032 | 0 | 0 | 0 | 156k| 0 | 5.170000e+02 | 1.416000e+03 | 173.89%
163.94/164.01 c 140s| 1220k|917387 | 0 | 0.0 | 318M| 73 | - | 87 |1828 | 0 | 0 | 0 | 157k| 0 | 5.170000e+02 | 1.416000e+03 | 173.89%
165.54/165.69 c 141s| 1230k|924240 | 0 | 0.0 | 320M| 73 | - | 87 |1874 | 0 | 0 | 0 | 159k| 0 | 5.180000e+02 | 1.416000e+03 | 173.36%
167.24/167.38 c 143s| 1240k|930860 | 0 | 0.0 | 323M| 73 | - | 87 |1741 | 0 | 0 | 0 | 161k| 0 | 5.180000e+02 | 1.416000e+03 | 173.36%
168.84/168.97 c 144s| 1250k|938148 | 0 | 0.0 | 325M| 73 | - | 87 |1706 | 0 | 0 | 0 | 162k| 0 | 5.190000e+02 | 1.416000e+03 | 172.83%
170.24/170.38 c 145s| 1260k|945876 | 0 | 0.0 | 328M| 73 | - | 87 |1317 | 0 | 0 | 0 | 163k| 0 | 5.200000e+02 | 1.416000e+03 | 172.31%
171.94/172.01 c 147s| 1270k|952216 | 0 | 0.0 | 330M| 73 | - | 87 |1494 | 0 | 0 | 0 | 165k| 0 | 5.210000e+02 | 1.416000e+03 | 171.79%
173.34/173.46 c 148s| 1280k|959751 | 0 | 0.0 | 333M| 73 | - | 87 |1490 | 0 | 0 | 0 | 167k| 0 | 5.210000e+02 | 1.416000e+03 | 171.79%
175.04/175.18 c 150s| 1290k|966311 | 0 | 0.0 | 336M| 73 | - | 87 |1582 | 0 | 0 | 0 | 169k| 0 | 5.220000e+02 | 1.416000e+03 | 171.26%
176.54/176.61 c 151s| 1300k|974032 | 0 | 0.0 | 338M| 73 | - | 87 |1610 | 0 | 0 | 0 | 170k| 0 | 5.220000e+02 | 1.416000e+03 | 171.26%
176.74/176.84 o 1364
176.74/176.84 c * 151s| 1300k|966205 | 0 | 0.0 | 335M| 73 | - | 87 |1636 | 0 | 0 | 0 | 170k| 0 | 5.220000e+02 | 1.364000e+03 | 161.30%
178.15/178.29 c 152s| 1310k|972666 | 0 | 0.0 | 337M| 73 | - | 87 |1543 | 0 | 0 | 0 | 172k| 0 | 5.230000e+02 | 1.364000e+03 | 160.80%
179.84/179.92 c 154s| 1320k|979762 | 0 | 0.0 | 340M| 73 | - | 87 |1820 | 0 | 0 | 0 | 174k| 0 | 5.230000e+02 | 1.364000e+03 | 160.80%
181.54/181.65 c 155s| 1330k|986631 | 0 | 0.0 | 342M| 73 | - | 87 |1713 | 0 | 0 | 0 | 175k| 0 | 5.240000e+02 | 1.364000e+03 | 160.31%
183.34/183.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
183.34/183.42 c 157s| 1340k|993322 | 0 | 0.0 | 345M| 73 | - | 87 |1817 | 0 | 0 | 0 | 177k| 0 | 5.250000e+02 | 1.364000e+03 | 159.81%
184.84/184.95 c 158s| 1350k| 1000k| 0 | 0.0 | 347M| 73 | - | 87 |1849 | 0 | 0 | 0 | 179k| 0 | 5.250000e+02 | 1.364000e+03 | 159.81%
186.54/186.60 c 160s| 1360k| 1007k| 0 | 0.0 | 350M| 73 | - | 87 |1739 | 0 | 0 | 0 | 180k| 0 | 5.260000e+02 | 1.364000e+03 | 159.32%
188.24/188.37 c 161s| 1370k| 1014k| 0 | 0.0 | 352M| 73 | - | 87 |1741 | 0 | 0 | 0 | 183k| 0 | 5.270000e+02 | 1.364000e+03 | 158.82%
189.74/189.84 c 162s| 1380k| 1021k| 0 | 0.0 | 355M| 73 | - | 87 |1646 | 0 | 0 | 0 | 184k| 0 | 5.270000e+02 | 1.364000e+03 | 158.82%
191.64/191.75 c 164s| 1390k| 1027k| 0 | 0.0 | 357M| 73 | - | 87 |1853 | 0 | 0 | 0 | 186k| 0 | 5.280000e+02 | 1.364000e+03 | 158.33%
193.14/193.21 c 165s| 1400k| 1035k| 0 | 0.0 | 360M| 73 | - | 87 |1827 | 0 | 0 | 0 | 187k| 0 | 5.280000e+02 | 1.364000e+03 | 158.33%
194.83/194.92 c 167s| 1410k| 1042k| 0 | 0.0 | 363M| 73 | - | 87 |1901 | 0 | 0 | 0 | 189k| 0 | 5.290000e+02 | 1.364000e+03 | 157.84%
196.54/196.62 c 168s| 1420k| 1049k| 0 | 0.0 | 365M| 73 | - | 87 |1935 | 0 | 0 | 0 | 191k| 0 | 5.290000e+02 | 1.364000e+03 | 157.84%
197.95/198.08 c 170s| 1430k| 1057k| 0 | 0.0 | 368M| 73 | - | 87 |1695 | 0 | 0 | 0 | 192k| 0 | 5.300000e+02 | 1.364000e+03 | 157.36%
199.74/199.83 c 171s| 1440k| 1063k| 0 | 0.0 | 370M| 73 | - | 87 |1946 | 0 | 0 | 0 | 194k| 0 | 5.310000e+02 | 1.364000e+03 | 156.87%
201.25/201.35 c 172s| 1450k| 1071k| 0 | 0.0 | 373M| 73 | - | 87 |1855 | 0 | 0 | 0 | 196k| 0 | 5.310000e+02 | 1.364000e+03 | 156.87%
203.04/203.16 c 174s| 1460k| 1077k| 0 | 0.0 | 376M| 73 | - | 87 |2074 | 0 | 0 | 0 | 198k| 0 | 5.320000e+02 | 1.364000e+03 | 156.39%
204.74/204.80 c 176s| 1470k| 1085k| 0 | 0.0 | 378M| 73 | - | 87 |2152 | 0 | 0 | 0 | 199k| 0 | 5.320000e+02 | 1.364000e+03 | 156.39%
206.34/206.48 c 177s| 1480k| 1092k| 0 | 0.0 | 381M| 73 | - | 87 |2057 | 0 | 0 | 0 | 201k| 0 | 5.330000e+02 | 1.364000e+03 | 155.91%
208.14/208.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
208.14/208.28 c 179s| 1490k| 1098k| 0 | 0.0 | 384M| 73 | - | 87 |2183 | 0 | 0 | 0 | 203k| 0 | 5.340000e+02 | 1.364000e+03 | 155.43%
209.73/209.83 c 180s| 1500k| 1106k| 0 | 0.0 | 386M| 73 | - | 87 |2193 | 0 | 0 | 0 | 204k| 0 | 5.340000e+02 | 1.364000e+03 | 155.43%
211.63/211.71 c 182s| 1510k| 1113k| 0 | 0.0 | 389M| 73 | - | 87 |2297 | 0 | 0 | 0 | 206k| 0 | 5.350000e+02 | 1.364000e+03 | 154.95%
213.43/213.56 c 183s| 1520k| 1119k| 0 | 0.0 | 391M| 73 | - | 87 |2434 | 0 | 0 | 0 | 208k| 0 | 5.350000e+02 | 1.364000e+03 | 154.95%
215.23/215.38 c 185s| 1530k| 1126k| 0 | 0.0 | 394M| 73 | - | 87 |2367 | 0 | 0 | 0 | 210k| 0 | 5.360000e+02 | 1.364000e+03 | 154.48%
217.33/217.43 c 187s| 1540k| 1133k| 0 | 0.0 | 396M| 73 | - | 87 |2640 | 0 | 0 | 0 | 212k| 0 | 5.370000e+02 | 1.364000e+03 | 154.00%
219.03/219.11 c 188s| 1550k| 1140k| 0 | 0.0 | 399M| 73 | - | 87 |2586 | 0 | 0 | 0 | 213k| 0 | 5.370000e+02 | 1.364000e+03 | 154.00%
221.23/221.31 c 190s| 1560k| 1146k| 0 | 0.0 | 402M| 73 | - | 87 |2851 | 0 | 0 | 0 | 216k| 0 | 5.380000e+02 | 1.364000e+03 | 153.53%
223.24/223.33 c 192s| 1570k| 1153k| 0 | 0.0 | 404M| 73 | - | 87 |3116 | 0 | 0 | 0 | 217k| 0 | 5.380000e+02 | 1.364000e+03 | 153.53%
225.33/225.48 c 194s| 1580k| 1160k| 0 | 0.0 | 407M| 73 | - | 87 |3063 | 0 | 0 | 0 | 219k| 0 | 5.390000e+02 | 1.364000e+03 | 153.06%
227.43/227.55 c 196s| 1590k| 1167k| 0 | 0.0 | 409M| 73 | - | 87 |3113 | 0 | 0 | 0 | 221k| 0 | 5.390000e+02 | 1.364000e+03 | 153.06%
229.23/229.34 c 197s| 1600k| 1175k| 0 | 0.0 | 412M| 73 | - | 87 |3013 | 0 | 0 | 0 | 223k| 0 | 5.400000e+02 | 1.364000e+03 | 152.59%
231.23/231.35 c 199s| 1610k| 1182k| 0 | 0.0 | 415M| 73 | - | 87 |3045 | 0 | 0 | 0 | 224k| 0 | 5.410000e+02 | 1.364000e+03 | 152.13%
233.43/233.53 c 201s| 1620k| 1188k| 0 | 0.0 | 417M| 73 | - | 87 |3290 | 0 | 0 | 0 | 227k| 0 | 5.420000e+02 | 1.364000e+03 | 151.66%
235.53/235.64 c 203s| 1630k| 1195k| 0 | 0.0 | 420M| 73 | - | 87 |3289 | 0 | 0 | 0 | 228k| 0 | 5.420000e+02 | 1.364000e+03 | 151.66%
237.63/237.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
237.63/237.74 c 205s| 1640k| 1202k| 0 | 0.0 | 422M| 73 | - | 87 |3128 | 0 | 0 | 0 | 230k| 0 | 5.430000e+02 | 1.364000e+03 | 151.20%
239.92/240.09 c 207s| 1650k| 1208k| 0 | 0.0 | 425M| 73 | - | 87 |3170 | 0 | 0 | 0 | 233k| 0 | 5.440000e+02 | 1.364000e+03 | 150.74%
242.13/242.24 c 209s| 1660k| 1215k| 0 | 0.0 | 427M| 73 | - | 87 |3297 | 0 | 0 | 0 | 234k| 0 | 5.440000e+02 | 1.364000e+03 | 150.74%
244.53/244.62 c 211s| 1670k| 1222k| 0 | 0.0 | 430M| 73 | - | 87 |3493 | 0 | 0 | 0 | 236k| 0 | 5.450000e+02 | 1.364000e+03 | 150.28%
246.62/246.73 c 213s| 1680k| 1229k| 0 | 0.0 | 432M| 73 | - | 87 |3716 | 0 | 0 | 0 | 238k| 0 | 5.450000e+02 | 1.364000e+03 | 150.28%
248.92/249.05 c 215s| 1690k| 1235k| 0 | 0.0 | 435M| 73 | - | 87 |3628 | 0 | 0 | 0 | 240k| 0 | 5.460000e+02 | 1.364000e+03 | 149.82%
251.02/251.18 c 217s| 1700k| 1243k| 0 | 0.0 | 438M| 73 | - | 87 |3633 | 0 | 0 | 0 | 241k| 0 | 5.460000e+02 | 1.364000e+03 | 149.82%
253.63/253.78 c 219s| 1710k| 1249k| 0 | 0.0 | 440M| 73 | - | 87 |3852 | 0 | 0 | 0 | 244k| 0 | 5.470000e+02 | 1.364000e+03 | 149.36%
255.62/255.76 c 221s| 1720k| 1257k| 0 | 0.0 | 443M| 73 | - | 87 |3612 | 0 | 0 | 0 | 245k| 0 | 5.470000e+02 | 1.364000e+03 | 149.36%
258.02/258.15 c 223s| 1730k| 1263k| 0 | 0.0 | 445M| 73 | - | 87 |3863 | 0 | 0 | 0 | 247k| 0 | 5.480000e+02 | 1.364000e+03 | 148.91%
260.12/260.21 c 225s| 1740k| 1271k| 0 | 0.0 | 448M| 73 | - | 87 |3841 | 0 | 0 | 0 | 248k| 0 | 5.480000e+02 | 1.364000e+03 | 148.91%
262.42/262.59 c 227s| 1750k| 1278k| 0 | 0.0 | 451M| 73 | - | 87 |3599 | 0 | 0 | 0 | 250k| 0 | 5.490000e+02 | 1.364000e+03 | 148.45%
264.82/264.91 c 230s| 1760k| 1285k| 0 | 0.0 | 453M| 73 | - | 87 |3642 | 0 | 0 | 0 | 252k| 0 | 5.490000e+02 | 1.364000e+03 | 148.45%
266.82/267.00 c 231s| 1770k| 1292k| 0 | 0.0 | 456M| 73 | - | 87 |3378 | 0 | 0 | 0 | 254k| 0 | 5.500000e+02 | 1.364000e+03 | 148.00%
269.02/269.15 c 233s| 1780k| 1299k| 0 | 0.0 | 458M| 73 | - | 87 |3200 | 0 | 0 | 0 | 256k| 0 | 5.510000e+02 | 1.364000e+03 | 147.55%
270.72/270.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
270.72/270.85 c 235s| 1790k| 1306k| 0 | 0.0 | 460M| 73 | - | 87 |2657 | 0 | 0 | 0 | 257k| 0 | 5.510000e+02 | 1.364000e+03 | 147.55%
272.92/273.02 c 237s| 1800k| 1312k| 0 | 0.0 | 463M| 73 | - | 87 |2861 | 0 | 0 | 0 | 259k| 0 | 5.520000e+02 | 1.364000e+03 | 147.10%
274.51/274.65 c 238s| 1810k| 1320k| 0 | 0.0 | 465M| 73 | - | 87 |2331 | 0 | 0 | 0 | 261k| 0 | 5.520000e+02 | 1.364000e+03 | 147.10%
276.71/276.83 c 240s| 1820k| 1326k| 0 | 0.0 | 468M| 73 | - | 87 |2747 | 0 | 0 | 0 | 263k| 0 | 5.520000e+02 | 1.364000e+03 | 147.10%
278.51/278.64 c 242s| 1830k| 1333k| 0 | 0.0 | 470M| 73 | - | 87 |2667 | 0 | 0 | 0 | 264k| 0 | 5.530000e+02 | 1.364000e+03 | 146.65%
280.62/280.74 c 244s| 1840k| 1339k| 0 | 0.0 | 473M| 73 | - | 87 |3030 | 0 | 0 | 0 | 266k| 0 | 5.530000e+02 | 1.364000e+03 | 146.65%
282.42/282.57 c 245s| 1850k| 1347k| 0 | 0.0 | 475M| 73 | - | 87 |2685 | 0 | 0 | 0 | 268k| 0 | 5.540000e+02 | 1.364000e+03 | 146.21%
283.32/283.41 o 1331
283.32/283.41 c * 246s| 1854k| 1342k| 0 | 0.0 | 473M| 73 | - | 87 |2698 | 0 | 0 | 0 | 269k| 0 | 5.540000e+02 | 1.331000e+03 | 140.25%
284.52/284.69 c 247s| 1860k| 1346k| 0 | 0.0 | 474M| 73 | - | 87 |2872 | 0 | 0 | 0 | 270k| 0 | 5.540000e+02 | 1.331000e+03 | 140.25%
286.62/286.79 c 249s| 1870k| 1353k| 0 | 0.0 | 477M| 73 | - | 87 |2730 | 0 | 0 | 0 | 272k| 0 | 5.550000e+02 | 1.331000e+03 | 139.82%
288.61/288.73 c 251s| 1880k| 1360k| 0 | 0.0 | 480M| 73 | - | 87 |2868 | 0 | 0 | 0 | 273k| 0 | 5.550000e+02 | 1.331000e+03 | 139.82%
291.01/291.16 c 253s| 1890k| 1366k| 0 | 0.0 | 482M| 73 | - | 87 |3231 | 0 | 0 | 0 | 276k| 0 | 5.550000e+02 | 1.331000e+03 | 139.82%
292.71/292.83 c 255s| 1900k| 1373k| 0 | 0.0 | 484M| 73 | - | 87 |1834 | 0 | 0 | 0 | 277k| 0 | 5.560000e+02 | 1.331000e+03 | 139.39%
294.31/294.40 c 256s| 1910k| 1381k| 0 | 0.0 | 487M| 73 | - | 87 |1835 | 0 | 0 | 0 | 279k| 0 | 5.560000e+02 | 1.331000e+03 | 139.39%
296.21/296.36 c 258s| 1920k| 1386k| 0 | 0.0 | 489M| 73 | - | 87 |2212 | 0 | 0 | 0 | 282k| 0 | 5.570000e+02 | 1.331000e+03 | 138.96%
297.61/297.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
297.61/297.77 c 259s| 1930k| 1394k| 0 | 0.0 | 492M| 73 | - | 87 |1554 | 0 | 0 | 0 | 283k| 0 | 5.570000e+02 | 1.331000e+03 | 138.96%
299.22/299.30 c 260s| 1940k| 1401k| 0 | 0.0 | 494M| 73 | - | 87 |1808 | 0 | 0 | 0 | 284k| 0 | 5.570000e+02 | 1.331000e+03 | 138.96%
300.81/300.91 c 262s| 1950k| 1409k| 0 | 0.0 | 497M| 73 | - | 87 |1708 | 0 | 0 | 0 | 285k| 0 | 5.580000e+02 | 1.331000e+03 | 138.53%
302.32/302.40 c 263s| 1960k| 1416k| 0 | 0.0 | 499M| 73 | - | 87 |1743 | 0 | 0 | 0 | 287k| 0 | 5.580000e+02 | 1.331000e+03 | 138.53%
304.01/304.11 c 264s| 1970k| 1423k| 0 | 0.0 | 502M| 73 | - | 87 |1675 | 0 | 0 | 0 | 289k| 0 | 5.590000e+02 | 1.331000e+03 | 138.10%
305.41/305.58 c 266s| 1980k| 1431k| 0 | 0.0 | 504M| 73 | - | 87 |1619 | 0 | 0 | 0 | 290k| 0 | 5.590000e+02 | 1.331000e+03 | 138.10%
307.41/307.50 c 267s| 1990k| 1437k| 0 | 0.0 | 507M| 73 | - | 87 |2044 | 0 | 0 | 0 | 292k| 0 | 5.590000e+02 | 1.331000e+03 | 138.10%
308.91/309.10 c 269s| 2000k| 1444k| 0 | 0.0 | 509M| 73 | - | 87 |1690 | 0 | 0 | 0 | 294k| 0 | 5.600000e+02 | 1.331000e+03 | 137.68%
310.61/310.70 c 270s| 2010k| 1451k| 0 | 0.0 | 512M| 73 | - | 87 |1647 | 0 | 0 | 0 | 295k| 0 | 5.600000e+02 | 1.331000e+03 | 137.68%
312.41/312.57 c 272s| 2020k| 1457k| 0 | 0.0 | 514M| 73 | - | 87 |1473 | 0 | 0 | 0 | 298k| 0 | 5.610000e+02 | 1.331000e+03 | 137.25%
313.81/313.98 c 273s| 2030k| 1464k| 0 | 0.0 | 517M| 73 | - | 87 |1410 | 0 | 0 | 0 | 299k| 0 | 5.610000e+02 | 1.331000e+03 | 137.25%
315.71/315.84 c 275s| 2040k| 1470k| 0 | 0.0 | 519M| 73 | - | 87 |1682 | 0 | 0 | 0 | 302k| 0 | 5.610000e+02 | 1.331000e+03 | 137.25%
317.21/317.33 c 276s| 2050k| 1478k| 0 | 0.0 | 521M| 73 | - | 87 |1592 | 0 | 0 | 0 | 303k| 0 | 5.620000e+02 | 1.331000e+03 | 136.83%
318.81/318.96 c 277s| 2060k| 1485k| 0 | 0.0 | 524M| 73 | - | 87 |1787 | 0 | 0 | 0 | 305k| 0 | 5.620000e+02 | 1.331000e+03 | 136.83%
320.90/321.05 c 279s| 2070k| 1490k| 0 | 0.0 | 527M| 73 | - | 87 |2337 | 0 | 0 | 0 | 307k| 0 | 5.620000e+02 | 1.331000e+03 | 136.83%
322.51/322.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
322.51/322.65 c 281s| 2080k| 1498k| 0 | 0.0 | 529M| 73 | - | 87 |1676 | 0 | 0 | 0 | 309k| 0 | 5.630000e+02 | 1.331000e+03 | 136.41%
324.01/324.17 c 282s| 2090k| 1505k| 0 | 0.0 | 532M| 73 | - | 87 |1727 | 0 | 0 | 0 | 310k| 0 | 5.630000e+02 | 1.331000e+03 | 136.41%
325.91/326.00 c 284s| 2100k| 1512k| 0 | 0.0 | 534M| 73 | - | 87 |2047 | 0 | 0 | 0 | 312k| 0 | 5.630000e+02 | 1.331000e+03 | 136.41%
328.11/328.27 c 286s| 2110k| 1517k| 0 | 0.0 | 537M| 73 | - | 87 |2562 | 0 | 0 | 0 | 315k| 0 | 5.640000e+02 | 1.331000e+03 | 135.99%
329.60/329.78 c 287s| 2120k| 1525k| 0 | 0.0 | 539M| 73 | - | 87 |1918 | 0 | 0 | 0 | 316k| 0 | 5.640000e+02 | 1.331000e+03 | 135.99%
331.20/331.35 c 288s| 2130k| 1533k| 0 | 0.0 | 542M| 73 | - | 87 |1980 | 0 | 0 | 0 | 317k| 0 | 5.640000e+02 | 1.331000e+03 | 135.99%
333.10/333.27 c 290s| 2140k| 1539k| 0 | 0.0 | 544M| 73 | - | 87 |2353 | 0 | 0 | 0 | 319k| 0 | 5.640000e+02 | 1.331000e+03 | 135.99%
335.10/335.28 c 292s| 2150k| 1545k| 0 | 0.0 | 547M| 73 | - | 87 |2306 | 0 | 0 | 0 | 321k| 0 | 5.650000e+02 | 1.331000e+03 | 135.58%
336.70/336.84 c 293s| 2160k| 1553k| 0 | 0.0 | 549M| 73 | - | 87 |2126 | 0 | 0 | 0 | 322k| 0 | 5.650000e+02 | 1.331000e+03 | 135.58%
338.40/338.55 c 295s| 2170k| 1561k| 0 | 0.0 | 552M| 73 | - | 87 |2385 | 0 | 0 | 0 | 324k| 0 | 5.650000e+02 | 1.331000e+03 | 135.58%
340.50/340.67 c 297s| 2180k| 1567k| 0 | 0.0 | 554M| 73 | - | 87 |2777 | 0 | 0 | 0 | 326k| 0 | 5.650000e+02 | 1.331000e+03 | 135.58%
342.40/342.56 c 298s| 2190k| 1574k| 0 | 0.0 | 557M| 73 | - | 87 |2367 | 0 | 0 | 0 | 328k| 0 | 5.660000e+02 | 1.331000e+03 | 135.16%
344.00/344.16 c 300s| 2200k| 1582k| 0 | 0.0 | 560M| 73 | - | 87 |2348 | 0 | 0 | 0 | 329k| 0 | 5.660000e+02 | 1.331000e+03 | 135.16%
345.80/345.99 c 301s| 2210k| 1589k| 0 | 0.0 | 562M| 73 | - | 87 |2540 | 0 | 0 | 0 | 331k| 0 | 5.660000e+02 | 1.331000e+03 | 135.16%
348.00/348.19 c 303s| 2220k| 1595k| 0 | 0.0 | 565M| 73 | - | 87 |2989 | 0 | 0 | 0 | 333k| 0 | 5.660000e+02 | 1.331000e+03 | 135.16%
350.30/350.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
350.30/350.44 c 305s| 2230k| 1602k| 0 | 0.0 | 567M| 73 | - | 87 |2881 | 0 | 0 | 0 | 335k| 0 | 5.670000e+02 | 1.331000e+03 | 134.74%
351.99/352.10 c 307s| 2240k| 1610k| 0 | 0.0 | 570M| 73 | - | 87 |2572 | 0 | 0 | 0 | 336k| 0 | 5.670000e+02 | 1.331000e+03 | 134.74%
353.69/353.81 c 308s| 2250k| 1617k| 0 | 0.0 | 572M| 73 | - | 87 |2546 | 0 | 0 | 0 | 338k| 0 | 5.670000e+02 | 1.331000e+03 | 134.74%
355.50/355.66 c 310s| 2260k| 1624k| 0 | 0.0 | 575M| 73 | - | 87 |2678 | 0 | 0 | 0 | 339k| 0 | 5.670000e+02 | 1.331000e+03 | 134.74%
357.69/357.82 c 312s| 2270k| 1631k| 0 | 0.0 | 578M| 73 | - | 87 |2899 | 0 | 0 | 0 | 342k| 0 | 5.670000e+02 | 1.331000e+03 | 134.74%
359.89/360.03 c 314s| 2280k| 1637k| 0 | 0.0 | 580M| 73 | - | 87 |2594 | 0 | 0 | 0 | 344k| 0 | 5.680000e+02 | 1.331000e+03 | 134.33%
361.49/361.61 c 315s| 2290k| 1645k| 0 | 0.0 | 582M| 73 | - | 87 |2292 | 0 | 0 | 0 | 345k| 0 | 5.680000e+02 | 1.331000e+03 | 134.33%
363.09/363.27 c 317s| 2300k| 1652k| 0 | 0.0 | 585M| 73 | - | 87 |2290 | 0 | 0 | 0 | 347k| 0 | 5.680000e+02 | 1.331000e+03 | 134.33%
365.10/365.21 c 318s| 2310k| 1659k| 0 | 0.0 | 587M| 73 | - | 87 |2420 | 0 | 0 | 0 | 349k| 0 | 5.680000e+02 | 1.331000e+03 | 134.33%
366.99/367.13 c 320s| 2320k| 1665k| 0 | 0.0 | 590M| 73 | - | 87 |2304 | 0 | 0 | 0 | 351k| 0 | 5.690000e+02 | 1.331000e+03 | 133.92%
368.49/368.69 c 321s| 2330k| 1673k| 0 | 0.0 | 592M| 73 | - | 87 |2268 | 0 | 0 | 0 | 352k| 0 | 5.690000e+02 | 1.331000e+03 | 133.92%
370.20/370.39 c 323s| 2340k| 1681k| 0 | 0.0 | 595M| 73 | - | 87 |2411 | 0 | 0 | 0 | 353k| 0 | 5.690000e+02 | 1.331000e+03 | 133.92%
372.39/372.50 c 325s| 2350k| 1687k| 0 | 0.0 | 597M| 73 | - | 87 |2791 | 0 | 0 | 0 | 355k| 0 | 5.690000e+02 | 1.331000e+03 | 133.92%
374.09/374.27 c 326s| 2360k| 1694k| 0 | 0.0 | 600M| 73 | - | 87 |2553 | 0 | 0 | 0 | 357k| 0 | 5.700000e+02 | 1.331000e+03 | 133.51%
375.89/376.00 c 328s| 2370k| 1702k| 0 | 0.0 | 603M| 73 | - | 87 |2595 | 0 | 0 | 0 | 358k| 0 | 5.700000e+02 | 1.331000e+03 | 133.51%
377.89/378.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
377.89/378.02 c 330s| 2380k| 1709k| 0 | 0.0 | 605M| 73 | - | 87 |2784 | 0 | 0 | 0 | 360k| 0 | 5.700000e+02 | 1.331000e+03 | 133.51%
380.40/380.54 c 332s| 2390k| 1714k| 0 | 0.0 | 608M| 73 | - | 87 |3189 | 0 | 0 | 0 | 363k| 0 | 5.710000e+02 | 1.331000e+03 | 133.10%
381.99/382.15 c 333s| 2400k| 1722k| 0 | 0.0 | 610M| 73 | - | 87 |2360 | 0 | 0 | 0 | 364k| 0 | 5.710000e+02 | 1.331000e+03 | 133.10%
383.70/383.83 c 335s| 2410k| 1730k| 0 | 0.0 | 613M| 73 | - | 87 |2322 | 0 | 0 | 0 | 365k| 0 | 5.710000e+02 | 1.331000e+03 | 133.10%
385.69/385.82 c 337s| 2420k| 1736k| 0 | 0.0 | 615M| 73 | - | 87 |2554 | 0 | 0 | 0 | 367k| 0 | 5.710000e+02 | 1.331000e+03 | 133.10%
388.20/388.32 c 339s| 2430k| 1741k| 0 | 0.0 | 618M| 73 | - | 87 |2831 | 0 | 0 | 0 | 370k| 0 | 5.720000e+02 | 1.331000e+03 | 132.69%
389.78/389.97 c 340s| 2440k| 1749k| 0 | 0.0 | 620M| 73 | - | 87 |2340 | 0 | 0 | 0 | 371k| 0 | 5.720000e+02 | 1.331000e+03 | 132.69%
391.59/391.73 c 342s| 2450k| 1757k| 0 | 0.0 | 623M| 73 | - | 87 |2406 | 0 | 0 | 0 | 372k| 0 | 5.720000e+02 | 1.331000e+03 | 132.69%
393.59/393.73 c 344s| 2460k| 1763k| 0 | 0.0 | 625M| 73 | - | 87 |2661 | 0 | 0 | 0 | 374k| 0 | 5.720000e+02 | 1.331000e+03 | 132.69%
395.99/396.18 c 346s| 2470k| 1769k| 0 | 0.0 | 628M| 73 | - | 87 |3125 | 0 | 0 | 0 | 377k| 0 | 5.720000e+02 | 1.331000e+03 | 132.69%
398.79/398.96 c 349s| 2480k| 1774k| 0 | 0.0 | 630M| 73 | - | 87 |3294 | 0 | 0 | 0 | 380k| 0 | 5.730000e+02 | 1.331000e+03 | 132.29%
400.98/401.17 c 351s| 2490k| 1782k| 0 | 0.0 | 633M| 73 | - | 87 |3553 | 0 | 0 | 0 | 381k| 0 | 5.730000e+02 | 1.331000e+03 | 132.29%
403.49/403.65 c 353s| 2500k| 1789k| 0 | 0.0 | 636M| 73 | - | 87 |4358 | 0 | 0 | 0 | 383k| 0 | 5.730000e+02 | 1.331000e+03 | 132.29%
406.18/406.35 c 355s| 2510k| 1797k| 0 | 0.0 | 639M| 73 | - | 87 |4967 | 0 | 0 | 0 | 385k| 0 | 5.730000e+02 | 1.331000e+03 | 132.29%
409.38/409.51 c 358s| 2520k| 1803k| 0 | 0.0 | 642M| 73 | - | 87 |5086 | 0 | 0 | 0 | 387k| 0 | 5.730000e+02 | 1.331000e+03 | 132.29%
412.98/413.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
412.98/413.15 c 362s| 2530k| 1809k| 0 | 0.0 | 644M| 73 | - | 87 |5285 | 0 | 0 | 0 | 390k| 0 | 5.730000e+02 | 1.331000e+03 | 132.29%
415.68/415.81 c 364s| 2540k| 1816k| 0 | 0.0 | 647M| 73 | - | 87 |4891 | 0 | 0 | 0 | 391k| 0 | 5.740000e+02 | 1.331000e+03 | 131.88%
418.07/418.26 c 366s| 2550k| 1824k| 0 | 0.0 | 649M| 73 | - | 87 |4833 | 0 | 0 | 0 | 392k| 0 | 5.740000e+02 | 1.331000e+03 | 131.88%
420.68/420.85 c 369s| 2560k| 1831k| 0 | 0.0 | 652M| 73 | - | 87 |4884 | 0 | 0 | 0 | 394k| 0 | 5.740000e+02 | 1.331000e+03 | 131.88%
423.48/423.68 c 371s| 2570k| 1838k| 0 | 0.0 | 655M| 73 | - | 87 |5026 | 0 | 0 | 0 | 395k| 0 | 5.740000e+02 | 1.331000e+03 | 131.88%
426.78/426.97 c 375s| 2580k| 1845k| 0 | 0.0 | 657M| 73 | - | 87 |5108 | 0 | 0 | 0 | 398k| 0 | 5.740000e+02 | 1.331000e+03 | 131.88%
429.57/429.79 c 377s| 2590k| 1851k| 0 | 0.0 | 660M| 73 | - | 87 |4560 | 0 | 0 | 0 | 400k| 0 | 5.750000e+02 | 1.331000e+03 | 131.48%
431.67/431.82 c 379s| 2600k| 1859k| 0 | 0.0 | 662M| 73 | - | 87 |4157 | 0 | 0 | 0 | 401k| 0 | 5.750000e+02 | 1.331000e+03 | 131.48%
433.77/433.94 c 381s| 2610k| 1867k| 0 | 0.0 | 665M| 73 | - | 87 |4061 | 0 | 0 | 0 | 402k| 0 | 5.750000e+02 | 1.331000e+03 | 131.48%
435.97/436.17 c 383s| 2620k| 1874k| 0 | 0.0 | 667M| 73 | - | 87 |4085 | 0 | 0 | 0 | 404k| 0 | 5.750000e+02 | 1.331000e+03 | 131.48%
438.68/438.84 c 385s| 2630k| 1881k| 0 | 0.0 | 670M| 73 | - | 87 |4183 | 0 | 0 | 0 | 406k| 0 | 5.750000e+02 | 1.331000e+03 | 131.48%
441.58/441.73 c 388s| 2640k| 1887k| 0 | 0.0 | 672M| 73 | - | 87 |3928 | 0 | 0 | 0 | 408k| 0 | 5.760000e+02 | 1.331000e+03 | 131.08%
443.37/443.58 c 390s| 2650k| 1895k| 0 | 0.0 | 675M| 73 | - | 87 |3487 | 0 | 0 | 0 | 409k| 0 | 5.760000e+02 | 1.331000e+03 | 131.08%
445.38/445.54 c 391s| 2660k| 1902k| 0 | 0.0 | 677M| 73 | - | 87 |3451 | 0 | 0 | 0 | 411k| 0 | 5.760000e+02 | 1.331000e+03 | 131.08%
447.48/447.68 c 393s| 2670k| 1910k| 0 | 0.0 | 680M| 73 | - | 87 |3710 | 0 | 0 | 0 | 412k| 0 | 5.760000e+02 | 1.331000e+03 | 131.08%
450.07/450.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
450.07/450.24 c 396s| 2680k| 1916k| 0 | 0.0 | 682M| 73 | - | 87 |3958 | 0 | 0 | 0 | 414k| 0 | 5.760000e+02 | 1.331000e+03 | 131.08%
453.08/453.22 c 398s| 2690k| 1921k| 0 | 0.0 | 685M| 73 | - | 87 |4211 | 0 | 0 | 0 | 417k| 0 | 5.770000e+02 | 1.331000e+03 | 130.68%
455.07/455.25 c 400s| 2700k| 1929k| 0 | 0.0 | 688M| 73 | - | 87 |3810 | 0 | 0 | 0 | 418k| 0 | 5.770000e+02 | 1.331000e+03 | 130.68%
457.26/457.42 c 402s| 2710k| 1937k| 0 | 0.0 | 690M| 73 | - | 87 |3891 | 0 | 0 | 0 | 420k| 0 | 5.770000e+02 | 1.331000e+03 | 130.68%
459.46/459.63 c 404s| 2720k| 1944k| 0 | 0.0 | 693M| 73 | - | 87 |4070 | 0 | 0 | 0 | 421k| 0 | 5.770000e+02 | 1.331000e+03 | 130.68%
462.16/462.30 c 407s| 2730k| 1951k| 0 | 0.0 | 696M| 73 | - | 87 |4458 | 0 | 0 | 0 | 424k| 0 | 5.770000e+02 | 1.331000e+03 | 130.68%
464.97/465.16 c 409s| 2740k| 1957k| 0 | 0.0 | 698M| 73 | - | 87 |4459 | 0 | 0 | 0 | 426k| 0 | 5.780000e+02 | 1.331000e+03 | 130.28%
467.06/467.22 c 411s| 2750k| 1965k| 0 | 0.0 | 701M| 73 | - | 87 |3887 | 0 | 0 | 0 | 427k| 0 | 5.780000e+02 | 1.331000e+03 | 130.28%
469.27/469.44 c 413s| 2760k| 1972k| 0 | 0.0 | 703M| 73 | - | 87 |3996 | 0 | 0 | 0 | 429k| 0 | 5.780000e+02 | 1.331000e+03 | 130.28%
471.87/472.08 c 416s| 2770k| 1979k| 0 | 0.0 | 706M| 73 | - | 87 |4085 | 0 | 0 | 0 | 431k| 0 | 5.780000e+02 | 1.331000e+03 | 130.28%
475.27/475.43 c 419s| 2780k| 1984k| 0 | 0.0 | 708M| 73 | - | 87 |4445 | 0 | 0 | 0 | 434k| 0 | 5.790000e+02 | 1.331000e+03 | 129.88%
477.27/477.46 c 421s| 2790k| 1992k| 0 | 0.0 | 711M| 73 | - | 87 |3700 | 0 | 0 | 0 | 435k| 0 | 5.790000e+02 | 1.331000e+03 | 129.88%
479.26/479.47 c 422s| 2800k| 2000k| 0 | 0.0 | 713M| 73 | - | 87 |3626 | 0 | 0 | 0 | 436k| 0 | 5.790000e+02 | 1.331000e+03 | 129.88%
481.46/481.61 c 424s| 2810k| 2008k| 0 | 0.0 | 716M| 73 | - | 87 |3664 | 0 | 0 | 0 | 437k| 0 | 5.790000e+02 | 1.331000e+03 | 129.88%
483.66/483.83 c 426s| 2820k| 2015k| 0 | 0.0 | 718M| 73 | - | 87 |3720 | 0 | 0 | 0 | 439k| 0 | 5.790000e+02 | 1.331000e+03 | 129.88%
486.16/486.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
486.16/486.30 c 429s| 2830k| 2022k| 0 | 0.0 | 721M| 73 | - | 87 |3809 | 0 | 0 | 0 | 440k| 0 | 5.790000e+02 | 1.331000e+03 | 129.88%
488.86/489.09 c 431s| 2840k| 2028k| 0 | 0.0 | 723M| 73 | - | 87 |4022 | 0 | 0 | 0 | 443k| 0 | 5.790000e+02 | 1.331000e+03 | 129.88%
491.96/492.19 c 434s| 2850k| 2033k| 0 | 0.0 | 726M| 73 | - | 87 |4283 | 0 | 0 | 0 | 446k| 0 | 5.790000e+02 | 1.331000e+03 | 129.88%
494.46/494.63 c 436s| 2860k| 2040k| 0 | 0.0 | 728M| 73 | - | 87 |3764 | 0 | 0 | 0 | 447k| 0 | 5.800000e+02 | 1.331000e+03 | 129.48%
496.56/496.72 c 438s| 2870k| 2048k| 0 | 0.0 | 731M| 73 | - | 87 |3593 | 0 | 0 | 0 | 449k| 0 | 5.800000e+02 | 1.331000e+03 | 129.48%
498.76/498.92 c 440s| 2880k| 2056k| 0 | 0.0 | 734M| 73 | - | 87 |3673 | 0 | 0 | 0 | 450k| 0 | 5.800000e+02 | 1.331000e+03 | 129.48%
501.15/501.37 c 443s| 2890k| 2062k| 0 | 0.0 | 736M| 73 | - | 87 |3825 | 0 | 0 | 0 | 452k| 0 | 5.800000e+02 | 1.331000e+03 | 129.48%
504.25/504.40 c 445s| 2900k| 2068k| 0 | 0.0 | 739M| 73 | - | 87 |4184 | 0 | 0 | 0 | 454k| 0 | 5.800000e+02 | 1.331000e+03 | 129.48%
507.35/507.58 c 448s| 2910k| 2073k| 0 | 0.0 | 741M| 73 | - | 87 |4413 | 0 | 0 | 0 | 457k| 0 | 5.810000e+02 | 1.331000e+03 | 129.09%
509.56/509.76 c 450s| 2920k| 2081k| 0 | 0.0 | 744M| 73 | - | 87 |4141 | 0 | 0 | 0 | 458k| 0 | 5.810000e+02 | 1.331000e+03 | 129.09%
511.86/512.05 c 452s| 2930k| 2089k| 0 | 0.0 | 746M| 73 | - | 87 |4075 | 0 | 0 | 0 | 459k| 0 | 5.810000e+02 | 1.331000e+03 | 129.09%
514.36/514.53 c 455s| 2940k| 2096k| 0 | 0.0 | 749M| 73 | - | 87 |4096 | 0 | 0 | 0 | 461k| 0 | 5.810000e+02 | 1.331000e+03 | 129.09%
517.05/517.29 c 457s| 2950k| 2103k| 0 | 0.0 | 751M| 73 | - | 87 |4365 | 0 | 0 | 0 | 463k| 0 | 5.810000e+02 | 1.331000e+03 | 129.09%
520.35/520.59 c 460s| 2960k| 2108k| 0 | 0.0 | 754M| 73 | - | 87 |4814 | 0 | 0 | 0 | 465k| 0 | 5.820000e+02 | 1.331000e+03 | 128.69%
522.65/522.80 c 462s| 2970k| 2116k| 0 | 0.0 | 756M| 73 | - | 87 |4285 | 0 | 0 | 0 | 466k| 0 | 5.820000e+02 | 1.331000e+03 | 128.69%
524.95/525.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
524.95/525.12 c 464s| 2980k| 2124k| 0 | 0.0 | 759M| 73 | - | 87 |4510 | 0 | 0 | 0 | 468k| 0 | 5.820000e+02 | 1.331000e+03 | 128.69%
527.45/527.64 c 467s| 2990k| 2131k| 0 | 0.0 | 762M| 73 | - | 87 |4767 | 0 | 0 | 0 | 469k| 0 | 5.820000e+02 | 1.331000e+03 | 128.69%
530.24/530.43 c 469s| 3000k| 2138k| 0 | 0.0 | 764M| 73 | - | 87 |4911 | 0 | 0 | 0 | 471k| 0 | 5.820000e+02 | 1.331000e+03 | 128.69%
533.64/533.85 c 472s| 3010k| 2144k| 0 | 0.0 | 767M| 73 | - | 87 |5130 | 0 | 0 | 0 | 473k| 0 | 5.820000e+02 | 1.331000e+03 | 128.69%
537.05/537.24 c 476s| 3020k| 2150k| 0 | 0.0 | 769M| 73 | - | 87 |4754 | 0 | 0 | 0 | 476k| 0 | 5.830000e+02 | 1.331000e+03 | 128.30%
539.24/539.41 c 478s| 3030k| 2158k| 0 | 0.0 | 772M| 73 | - | 87 |4368 | 0 | 0 | 0 | 477k| 0 | 5.830000e+02 | 1.331000e+03 | 128.30%
541.45/541.65 c 480s| 3040k| 2166k| 0 | 0.0 | 774M| 73 | - | 87 |4472 | 0 | 0 | 0 | 478k| 0 | 5.830000e+02 | 1.331000e+03 | 128.30%
543.94/544.15 c 482s| 3050k| 2173k| 0 | 0.0 | 777M| 73 | - | 87 |4573 | 0 | 0 | 0 | 480k| 0 | 5.830000e+02 | 1.331000e+03 | 128.30%
546.75/546.93 c 485s| 3060k| 2181k| 0 | 0.0 | 780M| 73 | - | 87 |4825 | 0 | 0 | 0 | 482k| 0 | 5.830000e+02 | 1.331000e+03 | 128.30%
550.04/550.20 c 488s| 3070k| 2187k| 0 | 0.0 | 782M| 73 | - | 87 |5121 | 0 | 0 | 0 | 484k| 0 | 5.830000e+02 | 1.331000e+03 | 128.30%
553.84/554.06 c 491s| 3080k| 2192k| 0 | 0.0 | 785M| 73 | - | 87 |5513 | 0 | 0 | 0 | 487k| 0 | 5.840000e+02 | 1.331000e+03 | 127.91%
556.24/556.42 c 493s| 3090k| 2200k| 0 | 0.0 | 787M| 73 | - | 87 |4823 | 0 | 0 | 0 | 488k| 0 | 5.840000e+02 | 1.331000e+03 | 127.91%
559.04/559.26 c 496s| 3100k| 2207k| 0 | 0.0 | 790M| 73 | - | 87 |5657 | 0 | 0 | 0 | 490k| 0 | 5.840000e+02 | 1.331000e+03 | 127.91%
562.54/562.73 c 499s| 3110k| 2214k| 0 | 0.0 | 793M| 73 | - | 87 |6478 | 0 | 0 | 0 | 492k| 0 | 5.840000e+02 | 1.331000e+03 | 127.91%
566.64/566.89 c 503s| 3120k| 2220k| 0 | 0.0 | 796M| 73 | - | 87 |6765 | 0 | 0 | 0 | 495k| 0 | 5.840000e+02 | 1.331000e+03 | 127.91%
571.14/571.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
571.14/571.39 c 507s| 3130k| 2226k| 0 | 0.0 | 799M| 73 | - | 87 |6950 | 0 | 0 | 0 | 498k| 0 | 5.840000e+02 | 1.331000e+03 | 127.91%
574.04/574.26 c 510s| 3140k| 2233k| 0 | 0.0 | 801M| 73 | - | 87 |5503 | 0 | 0 | 0 | 499k| 0 | 5.850000e+02 | 1.331000e+03 | 127.52%
577.35/577.59 c 513s| 3150k| 2241k| 0 | 0.0 | 804M| 73 | - | 87 |5782 | 0 | 0 | 0 | 500k| 0 | 5.850000e+02 | 1.331000e+03 | 127.52%
581.43/581.68 c 517s| 3160k| 2248k| 0 | 0.0 | 807M| 73 | - | 87 |6323 | 0 | 0 | 0 | 503k| 0 | 5.850000e+02 | 1.331000e+03 | 127.52%
585.93/586.14 c 521s| 3170k| 2253k| 0 | 0.0 | 810M| 73 | - | 87 |6596 | 0 | 0 | 0 | 505k| 0 | 5.850000e+02 | 1.331000e+03 | 127.52%
589.23/589.40 c 524s| 3180k| 2260k| 0 | 0.0 | 812M| 73 | - | 87 |5981 | 0 | 0 | 0 | 507k| 0 | 5.860000e+02 | 1.331000e+03 | 127.13%
591.73/591.99 c 527s| 3190k| 2268k| 0 | 0.0 | 815M| 73 | - | 87 |5795 | 0 | 0 | 0 | 508k| 0 | 5.860000e+02 | 1.331000e+03 | 127.13%
594.73/594.91 c 529s| 3200k| 2276k| 0 | 0.0 | 817M| 73 | - | 87 |5944 | 0 | 0 | 0 | 510k| 0 | 5.860000e+02 | 1.331000e+03 | 127.13%
598.13/598.34 c 533s| 3210k| 2283k| 0 | 0.0 | 820M| 73 | - | 87 |6107 | 0 | 0 | 0 | 512k| 0 | 5.860000e+02 | 1.331000e+03 | 127.13%
602.23/602.46 c 537s| 3220k| 2289k| 0 | 0.0 | 823M| 73 | - | 87 |6357 | 0 | 0 | 0 | 514k| 0 | 5.860000e+02 | 1.331000e+03 | 127.13%
605.53/605.76 c 540s| 3230k| 2295k| 0 | 0.0 | 825M| 73 | - | 87 |5965 | 0 | 0 | 0 | 516k| 0 | 5.870000e+02 | 1.331000e+03 | 126.75%
608.22/608.48 c 542s| 3240k| 2303k| 0 | 0.0 | 827M| 73 | - | 87 |5729 | 0 | 0 | 0 | 517k| 0 | 5.870000e+02 | 1.331000e+03 | 126.75%
611.33/611.50 c 545s| 3250k| 2310k| 0 | 0.0 | 830M| 73 | - | 87 |5767 | 0 | 0 | 0 | 519k| 0 | 5.870000e+02 | 1.331000e+03 | 126.75%
614.92/615.16 c 548s| 3260k| 2316k| 0 | 0.0 | 833M| 73 | - | 87 |5879 | 0 | 0 | 0 | 521k| 0 | 5.870000e+02 | 1.331000e+03 | 126.75%
618.53/618.79 c 552s| 3270k| 2322k| 0 | 0.0 | 835M| 73 | - | 87 |5580 | 0 | 0 | 0 | 524k| 0 | 5.880000e+02 | 1.331000e+03 | 126.36%
621.12/621.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
621.12/621.31 c 554s| 3280k| 2330k| 0 | 0.0 | 837M| 73 | - | 87 |4769 | 0 | 0 | 0 | 525k| 0 | 5.880000e+02 | 1.331000e+03 | 126.36%
623.83/624.05 c 557s| 3290k| 2337k| 0 | 0.0 | 840M| 73 | - | 87 |4745 | 0 | 0 | 0 | 527k| 0 | 5.880000e+02 | 1.331000e+03 | 126.36%
626.92/627.20 c 560s| 3300k| 2343k| 0 | 0.0 | 842M| 73 | - | 87 |5032 | 0 | 0 | 0 | 529k| 0 | 5.880000e+02 | 1.331000e+03 | 126.36%
630.42/630.65 c 563s| 3310k| 2349k| 0 | 0.0 | 845M| 73 | - | 87 |5228 | 0 | 0 | 0 | 531k| 0 | 5.890000e+02 | 1.331000e+03 | 125.98%
634.43/634.63 c 567s| 3320k| 2356k| 0 | 0.0 | 848M| 73 | - | 87 |5664 | 0 | 0 | 0 | 534k| 0 | 5.890000e+02 | 1.331000e+03 | 125.98%
638.12/638.32 c 570s| 3330k| 2363k| 0 | 0.0 | 851M| 73 | - | 87 |6287 | 0 | 0 | 0 | 535k| 0 | 5.890000e+02 | 1.331000e+03 | 125.98%
642.02/642.27 c 574s| 3340k| 2370k| 0 | 0.0 | 854M| 73 | - | 87 |6932 | 0 | 0 | 0 | 537k| 0 | 5.890000e+02 | 1.331000e+03 | 125.98%
646.42/646.67 c 578s| 3350k| 2376k| 0 | 0.0 | 857M| 73 | - | 87 |7605 | 0 | 0 | 0 | 540k| 0 | 5.890000e+02 | 1.331000e+03 | 125.98%
650.82/651.08 c 582s| 3360k| 2383k| 0 | 0.0 | 860M| 73 | - | 87 |6804 | 0 | 0 | 0 | 542k| 0 | 5.900000e+02 | 1.331000e+03 | 125.59%
656.52/656.75 c 588s| 3370k| 2389k| 0 | 0.0 | 862M| 73 | - | 87 |7279 | 0 | 0 | 0 | 544k| 0 | 5.900000e+02 | 1.331000e+03 | 125.59%
662.21/662.47 c 593s| 3380k| 2396k| 0 | 0.0 | 866M| 73 | - | 87 |8151 | 0 | 0 | 0 | 546k| 0 | 5.900000e+02 | 1.331000e+03 | 125.59%
667.61/667.84 o 1313
667.61/667.84 c * 598s| 3388k| 2394k| 0 | 0.0 | 865M| 73 | - | 87 |9068 | 0 | 0 | 0 | 549k| 0 | 5.900000e+02 | 1.313000e+03 | 122.54%
668.91/669.12 c 599s| 3390k| 2395k| 0 | 0.0 | 866M| 73 | - | 87 |9146 | 0 | 0 | 0 | 549k| 0 | 5.900000e+02 | 1.313000e+03 | 122.54%
675.51/675.77 c 606s| 3400k| 2402k| 0 | 0.0 | 869M| 73 | - | 87 |9529 | 0 | 0 | 0 | 551k| 0 | 5.900000e+02 | 1.313000e+03 | 122.54%
682.20/682.42 c 612s| 3410k| 2408k| 0 | 0.0 | 872M| 73 | - | 87 | 10k| 0 | 0 | 0 | 554k| 0 | 5.900000e+02 | 1.313000e+03 | 122.54%
685.31/685.53 o 1281
685.31/685.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
685.31/685.53 c * 615s| 3415k| 2401k| 0 | 0.0 | 868M| 73 | - | 87 |9292 | 0 | 0 | 0 | 555k| 0 | 5.910000e+02 | 1.281000e+03 | 116.75%
687.11/687.33 c 617s| 3420k| 2405k| 0 | 0.0 | 869M| 73 | - | 87 |8651 | 0 | 0 | 0 | 555k| 0 | 5.910000e+02 | 1.281000e+03 | 116.75%
691.11/691.30 c 621s| 3430k| 2413k| 0 | 0.0 | 872M| 73 | - | 87 |8010 | 0 | 0 | 0 | 557k| 0 | 5.910000e+02 | 1.281000e+03 | 116.75%
695.10/695.30 c 625s| 3440k| 2420k| 0 | 0.0 | 874M| 73 | - | 87 |7940 | 0 | 0 | 0 | 558k| 0 | 5.910000e+02 | 1.281000e+03 | 116.75%
699.80/700.02 c 629s| 3450k| 2427k| 0 | 0.0 | 877M| 73 | - | 87 |7973 | 0 | 0 | 0 | 560k| 0 | 5.910000e+02 | 1.281000e+03 | 116.75%
705.00/705.22 c 634s| 3460k| 2433k| 0 | 0.0 | 879M| 73 | - | 87 |8059 | 0 | 0 | 0 | 563k| 0 | 5.910000e+02 | 1.281000e+03 | 116.75%
709.70/709.97 c 639s| 3470k| 2438k| 0 | 0.0 | 882M| 73 | - | 87 |7445 | 0 | 0 | 0 | 565k| 0 | 5.920000e+02 | 1.281000e+03 | 116.39%
713.00/713.24 c 642s| 3480k| 2446k| 0 | 0.0 | 884M| 73 | - | 87 |6889 | 0 | 0 | 0 | 567k| 0 | 5.920000e+02 | 1.281000e+03 | 116.39%
716.60/716.81 c 645s| 3490k| 2453k| 0 | 0.0 | 887M| 73 | - | 87 |6824 | 0 | 0 | 0 | 568k| 0 | 5.920000e+02 | 1.281000e+03 | 116.39%
720.70/720.91 c 649s| 3500k| 2460k| 0 | 0.0 | 889M| 73 | - | 87 |6976 | 0 | 0 | 0 | 571k| 0 | 5.920000e+02 | 1.281000e+03 | 116.39%
725.71/726.00 c 654s| 3510k| 2464k| 0 | 0.0 | 892M| 73 | - | 87 |7216 | 0 | 0 | 0 | 574k| 0 | 5.920000e+02 | 1.281000e+03 | 116.39%
729.20/729.47 c 657s| 3520k| 2472k| 0 | 0.0 | 894M| 73 | - | 87 |6667 | 0 | 0 | 0 | 575k| 0 | 5.930000e+02 | 1.281000e+03 | 116.02%
732.59/732.87 c 660s| 3530k| 2479k| 0 | 0.0 | 897M| 73 | - | 87 |6795 | 0 | 0 | 0 | 577k| 0 | 5.930000e+02 | 1.281000e+03 | 116.02%
736.59/736.82 c 664s| 3540k| 2486k| 0 | 0.0 | 899M| 73 | - | 87 |7118 | 0 | 0 | 0 | 579k| 0 | 5.930000e+02 | 1.281000e+03 | 116.02%
741.29/741.50 c 668s| 3550k| 2492k| 0 | 0.0 | 902M| 73 | - | 87 |7603 | 0 | 0 | 0 | 581k| 0 | 5.930000e+02 | 1.281000e+03 | 116.02%
745.89/746.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
745.89/746.14 c 673s| 3560k| 2498k| 0 | 0.0 | 905M| 73 | - | 87 |7355 | 0 | 0 | 0 | 583k| 0 | 5.940000e+02 | 1.281000e+03 | 115.66%
748.99/749.29 c 676s| 3570k| 2505k| 0 | 0.0 | 907M| 73 | - | 87 |7245 | 0 | 0 | 0 | 585k| 0 | 5.940000e+02 | 1.281000e+03 | 115.66%
752.59/752.81 c 679s| 3580k| 2513k| 0 | 0.0 | 910M| 73 | - | 87 |7305 | 0 | 0 | 0 | 586k| 0 | 5.940000e+02 | 1.281000e+03 | 115.66%
756.79/757.04 c 683s| 3590k| 2519k| 0 | 0.0 | 913M| 73 | - | 87 |7376 | 0 | 0 | 0 | 589k| 0 | 5.940000e+02 | 1.281000e+03 | 115.66%
761.69/761.95 c 688s| 3600k| 2524k| 0 | 0.0 | 915M| 73 | - | 87 |7655 | 0 | 0 | 0 | 592k| 0 | 5.940000e+02 | 1.281000e+03 | 115.66%
764.88/765.14 c 691s| 3610k| 2532k| 0 | 0.0 | 917M| 73 | - | 87 |6376 | 0 | 0 | 0 | 593k| 0 | 5.950000e+02 | 1.281000e+03 | 115.29%
767.98/768.20 c 694s| 3620k| 2540k| 0 | 0.0 | 920M| 73 | - | 87 |6149 | 0 | 0 | 0 | 594k| 0 | 5.950000e+02 | 1.281000e+03 | 115.29%
771.49/771.80 c 697s| 3630k| 2547k| 0 | 0.0 | 922M| 73 | - | 87 |6240 | 0 | 0 | 0 | 596k| 0 | 5.950000e+02 | 1.281000e+03 | 115.29%
776.08/776.31 c 701s| 3640k| 2552k| 0 | 0.0 | 925M| 73 | - | 87 |6430 | 0 | 0 | 0 | 599k| 0 | 5.950000e+02 | 1.281000e+03 | 115.29%
779.59/779.87 c 705s| 3650k| 2559k| 0 | 0.0 | 927M| 73 | - | 87 |5955 | 0 | 0 | 0 | 601k| 0 | 5.960000e+02 | 1.281000e+03 | 114.93%
782.58/782.83 c 707s| 3660k| 2566k| 0 | 0.0 | 930M| 73 | - | 87 |5848 | 0 | 0 | 0 | 602k| 0 | 5.960000e+02 | 1.281000e+03 | 114.93%
785.68/785.96 c 710s| 3670k| 2573k| 0 | 0.0 | 932M| 73 | - | 87 |5974 | 0 | 0 | 0 | 604k| 0 | 5.960000e+02 | 1.281000e+03 | 114.93%
789.38/789.63 c 714s| 3680k| 2580k| 0 | 0.0 | 935M| 73 | - | 87 |6257 | 0 | 0 | 0 | 606k| 0 | 5.960000e+02 | 1.281000e+03 | 114.93%
793.77/794.08 c 718s| 3690k| 2585k| 0 | 0.0 | 938M| 73 | - | 87 |6662 | 0 | 0 | 0 | 609k| 0 | 5.960000e+02 | 1.281000e+03 | 114.93%
797.07/797.36 c 721s| 3700k| 2592k| 0 | 0.0 | 940M| 73 | - | 87 |6102 | 0 | 0 | 0 | 611k| 0 | 5.970000e+02 | 1.281000e+03 | 114.57%
800.37/800.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
800.37/800.64 c 724s| 3710k| 2600k| 0 | 0.0 | 943M| 73 | - | 87 |6082 | 0 | 0 | 0 | 612k| 0 | 5.970000e+02 | 1.281000e+03 | 114.57%
804.07/804.31 c 728s| 3720k| 2607k| 0 | 0.0 | 945M| 73 | - | 87 |6371 | 0 | 0 | 0 | 614k| 0 | 5.970000e+02 | 1.281000e+03 | 114.57%
808.47/808.71 c 732s| 3730k| 2613k| 0 | 0.0 | 948M| 73 | - | 87 |6835 | 0 | 0 | 0 | 616k| 0 | 5.970000e+02 | 1.281000e+03 | 114.57%
813.17/813.46 c 736s| 3740k| 2618k| 0 | 0.0 | 951M| 73 | - | 87 |7025 | 0 | 0 | 0 | 619k| 0 | 5.980000e+02 | 1.281000e+03 | 114.21%
816.47/816.75 c 739s| 3750k| 2626k| 0 | 0.0 | 953M| 73 | - | 87 |6299 | 0 | 0 | 0 | 621k| 0 | 5.980000e+02 | 1.281000e+03 | 114.21%
819.97/820.21 c 743s| 3760k| 2633k| 0 | 0.0 | 956M| 73 | - | 87 |6374 | 0 | 0 | 0 | 622k| 0 | 5.980000e+02 | 1.281000e+03 | 114.21%
823.97/824.21 c 746s| 3770k| 2640k| 0 | 0.0 | 958M| 73 | - | 87 |6618 | 0 | 0 | 0 | 624k| 0 | 5.980000e+02 | 1.281000e+03 | 114.21%
828.57/828.89 c 751s| 3780k| 2646k| 0 | 0.0 | 961M| 73 | - | 87 |6927 | 0 | 0 | 0 | 626k| 0 | 5.980000e+02 | 1.281000e+03 | 114.21%
832.48/832.75 c 755s| 3790k| 2652k| 0 | 0.0 | 963M| 73 | - | 87 |6421 | 0 | 0 | 0 | 628k| 0 | 5.990000e+02 | 1.281000e+03 | 113.86%
835.68/835.92 c 757s| 3800k| 2660k| 0 | 0.0 | 966M| 73 | - | 87 |6495 | 0 | 0 | 0 | 630k| 0 | 5.990000e+02 | 1.281000e+03 | 113.86%
839.07/839.35 c 761s| 3810k| 2667k| 0 | 0.0 | 968M| 73 | - | 87 |6634 | 0 | 0 | 0 | 631k| 0 | 5.990000e+02 | 1.281000e+03 | 113.86%
843.27/843.59 c 765s| 3820k| 2674k| 0 | 0.0 | 971M| 73 | - | 87 |6893 | 0 | 0 | 0 | 633k| 0 | 5.990000e+02 | 1.281000e+03 | 113.86%
848.56/848.87 c 770s| 3830k| 2679k| 0 | 0.0 | 974M| 73 | - | 87 |7387 | 0 | 0 | 0 | 637k| 0 | 5.990000e+02 | 1.281000e+03 | 113.86%
852.17/852.47 c 773s| 3840k| 2686k| 0 | 0.0 | 976M| 73 | - | 87 |6248 | 0 | 0 | 0 | 638k| 0 | 6.000000e+02 | 1.281000e+03 | 113.50%
855.47/855.72 c 776s| 3850k| 2693k| 0 | 0.0 | 978M| 73 | - | 87 |6269 | 0 | 0 | 0 | 640k| 0 | 6.000000e+02 | 1.281000e+03 | 113.50%
859.06/859.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
859.06/859.30 c 780s| 3860k| 2700k| 0 | 0.0 | 981M| 73 | - | 87 |6435 | 0 | 0 | 0 | 641k| 0 | 6.000000e+02 | 1.281000e+03 | 113.50%
863.56/863.81 c 784s| 3870k| 2706k| 0 | 0.0 | 984M| 73 | - | 87 |6723 | 0 | 0 | 0 | 644k| 0 | 6.000000e+02 | 1.281000e+03 | 113.50%
868.67/868.92 c 789s| 3880k| 2711k| 0 | 0.0 | 986M| 73 | - | 87 |7270 | 0 | 0 | 0 | 647k| 0 | 6.000000e+02 | 1.281000e+03 | 113.50%
872.26/872.52 c 792s| 3890k| 2718k| 0 | 0.0 | 989M| 73 | - | 87 |6525 | 0 | 0 | 0 | 649k| 0 | 6.010000e+02 | 1.281000e+03 | 113.14%
875.85/876.11 c 796s| 3900k| 2726k| 0 | 0.0 | 992M| 73 | - | 87 |7144 | 0 | 0 | 0 | 650k| 0 | 6.010000e+02 | 1.281000e+03 | 113.14%
880.15/880.49 c 800s| 3910k| 2732k| 0 | 0.0 | 994M| 73 | - | 87 |7823 | 0 | 0 | 0 | 652k| 0 | 6.010000e+02 | 1.281000e+03 | 113.14%
885.05/885.39 c 804s| 3920k| 2738k| 0 | 0.0 | 997M| 73 | - | 87 |7928 | 0 | 0 | 0 | 655k| 0 | 6.010000e+02 | 1.281000e+03 | 113.14%
890.76/891.00 c 810s| 3930k| 2743k| 0 | 0.0 |1000M| 73 | - | 87 |8141 | 0 | 0 | 0 | 658k| 0 | 6.010000e+02 | 1.281000e+03 | 113.14%
894.95/895.20 c 814s| 3940k| 2750k| 0 | 0.0 |1002M| 73 | - | 87 |7318 | 0 | 0 | 0 | 660k| 0 | 6.020000e+02 | 1.281000e+03 | 112.79%
898.55/898.81 c 817s| 3950k| 2758k| 0 | 0.0 |1004M| 73 | - | 87 |7143 | 0 | 0 | 0 | 661k| 0 | 6.020000e+02 | 1.281000e+03 | 112.79%
902.55/902.81 c 821s| 3960k| 2765k| 0 | 0.0 |1007M| 73 | - | 87 |7239 | 0 | 0 | 0 | 663k| 0 | 6.020000e+02 | 1.281000e+03 | 112.79%
907.25/907.56 c 825s| 3970k| 2771k| 0 | 0.0 |1010M| 73 | - | 87 |7456 | 0 | 0 | 0 | 665k| 0 | 6.020000e+02 | 1.281000e+03 | 112.79%
912.84/913.11 c 831s| 3980k| 2776k| 0 | 0.0 |1012M| 73 | - | 87 |7809 | 0 | 0 | 0 | 668k| 0 | 6.020000e+02 | 1.281000e+03 | 112.79%
916.35/916.60 c 834s| 3990k| 2784k| 0 | 0.0 |1015M| 73 | - | 87 |6969 | 0 | 0 | 0 | 669k| 0 | 6.030000e+02 | 1.281000e+03 | 112.44%
919.55/919.86 c 837s| 4000k| 2792k| 0 | 0.0 |1017M| 73 | - | 87 |6874 | 0 | 0 | 0 | 671k| 0 | 6.030000e+02 | 1.281000e+03 | 112.44%
923.25/923.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
923.25/923.54 c 841s| 4010k| 2799k| 0 | 0.0 |1020M| 73 | - | 87 |6912 | 0 | 0 | 0 | 672k| 0 | 6.030000e+02 | 1.281000e+03 | 112.44%
927.64/927.91 c 845s| 4020k| 2805k| 0 | 0.0 |1022M| 73 | - | 87 |7271 | 0 | 0 | 0 | 675k| 0 | 6.030000e+02 | 1.281000e+03 | 112.44%
932.14/932.44 c 849s| 4030k| 2811k| 0 | 0.0 |1025M| 73 | - | 87 |7363 | 0 | 0 | 0 | 677k| 0 | 6.040000e+02 | 1.281000e+03 | 112.09%
935.23/935.58 c 852s| 4040k| 2819k| 0 | 0.0 |1027M| 73 | - | 87 |6816 | 0 | 0 | 0 | 679k| 0 | 6.040000e+02 | 1.281000e+03 | 112.09%
938.83/939.18 c 855s| 4050k| 2826k| 0 | 0.0 |1030M| 73 | - | 87 |6868 | 0 | 0 | 0 | 680k| 0 | 6.040000e+02 | 1.281000e+03 | 112.09%
942.84/943.20 c 859s| 4060k| 2832k| 0 | 0.0 |1032M| 73 | - | 87 |6964 | 0 | 0 | 0 | 682k| 0 | 6.040000e+02 | 1.281000e+03 | 112.09%
947.34/947.64 c 863s| 4070k| 2838k| 0 | 0.0 |1035M| 73 | - | 87 |7171 | 0 | 0 | 0 | 685k| 0 | 6.040000e+02 | 1.281000e+03 | 112.09%
951.33/951.60 c 867s| 4080k| 2845k| 0 | 0.0 |1037M| 73 | - | 87 |6426 | 0 | 0 | 0 | 687k| 0 | 6.050000e+02 | 1.281000e+03 | 111.74%
954.23/954.56 c 870s| 4090k| 2853k| 0 | 0.0 |1040M| 73 | - | 87 |6139 | 0 | 0 | 0 | 688k| 0 | 6.050000e+02 | 1.281000e+03 | 111.74%
957.43/957.78 c 873s| 4100k| 2860k| 0 | 0.0 |1042M| 73 | - | 87 |6268 | 0 | 0 | 0 | 690k| 0 | 6.050000e+02 | 1.281000e+03 | 111.74%
961.23/961.54 c 876s| 4110k| 2867k| 0 | 0.0 |1045M| 73 | - | 87 |6528 | 0 | 0 | 0 | 692k| 0 | 6.050000e+02 | 1.281000e+03 | 111.74%
965.44/965.79 c 880s| 4120k| 2873k| 0 | 0.0 |1048M| 73 | - | 87 |6814 | 0 | 0 | 0 | 694k| 0 | 6.050000e+02 | 1.281000e+03 | 111.74%
970.03/970.30 c 885s| 4130k| 2878k| 0 | 0.0 |1050M| 73 | - | 87 |6904 | 0 | 0 | 0 | 697k| 0 | 6.060000e+02 | 1.281000e+03 | 111.39%
972.83/973.13 c 887s| 4140k| 2886k| 0 | 0.0 |1053M| 73 | - | 87 |6303 | 0 | 0 | 0 | 698k| 0 | 6.060000e+02 | 1.281000e+03 | 111.39%
975.62/975.99 c 890s| 4150k| 2894k| 0 | 0.0 |1055M| 73 | - | 87 |6268 | 0 | 0 | 0 | 699k| 0 | 6.060000e+02 | 1.281000e+03 | 111.39%
978.82/979.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
978.82/979.11 c 893s| 4160k| 2902k| 0 | 0.0 |1058M| 73 | - | 87 |6376 | 0 | 0 | 0 | 700k| 0 | 6.060000e+02 | 1.281000e+03 | 111.39%
982.52/982.86 c 896s| 4170k| 2908k| 0 | 0.0 |1060M| 73 | - | 87 |6586 | 0 | 0 | 0 | 702k| 0 | 6.060000e+02 | 1.281000e+03 | 111.39%
986.82/987.18 c 901s| 4180k| 2914k| 0 | 0.0 |1063M| 73 | - | 87 |6959 | 0 | 0 | 0 | 705k| 0 | 6.060000e+02 | 1.281000e+03 | 111.39%
990.83/991.11 c 904s| 4190k| 2920k| 0 | 0.0 |1065M| 73 | - | 87 |6674 | 0 | 0 | 0 | 707k| 0 | 6.070000e+02 | 1.281000e+03 | 111.04%
993.83/994.16 c 907s| 4200k| 2928k| 0 | 0.0 |1068M| 73 | - | 87 |6580 | 0 | 0 | 0 | 709k| 0 | 6.070000e+02 | 1.281000e+03 | 111.04%
997.33/997.62 c 910s| 4210k| 2935k| 0 | 0.0 |1071M| 73 | - | 87 |6578 | 0 | 0 | 0 | 710k| 0 | 6.070000e+02 | 1.281000e+03 | 111.04%
1001.12/1001.50 c 914s| 4220k| 2942k| 0 | 0.0 |1073M| 73 | - | 87 |6823 | 0 | 0 | 0 | 712k| 0 | 6.070000e+02 | 1.281000e+03 | 111.04%
1005.52/1005.85 c 918s| 4230k| 2949k| 0 | 0.0 |1076M| 73 | - | 87 |7007 | 0 | 0 | 0 | 714k| 0 | 6.070000e+02 | 1.281000e+03 | 111.04%
1010.62/1010.92 c 923s| 4240k| 2954k| 0 | 0.0 |1078M| 73 | - | 87 |7291 | 0 | 0 | 0 | 717k| 0 | 6.080000e+02 | 1.281000e+03 | 110.69%
1013.62/1013.91 c 926s| 4250k| 2962k| 0 | 0.0 |1081M| 73 | - | 87 |6788 | 0 | 0 | 0 | 718k| 0 | 6.080000e+02 | 1.281000e+03 | 110.69%
1016.82/1017.17 c 929s| 4260k| 2970k| 0 | 0.0 |1084M| 73 | - | 87 |6890 | 0 | 0 | 0 | 720k| 0 | 6.080000e+02 | 1.281000e+03 | 110.69%
1020.62/1020.91 c 932s| 4270k| 2977k| 0 | 0.0 |1086M| 73 | - | 87 |7160 | 0 | 0 | 0 | 721k| 0 | 6.080000e+02 | 1.281000e+03 | 110.69%
1025.02/1025.34 c 937s| 4280k| 2983k| 0 | 0.0 |1089M| 73 | - | 87 |7420 | 0 | 0 | 0 | 723k| 0 | 6.080000e+02 | 1.281000e+03 | 110.69%
1030.11/1030.44 c 942s| 4290k| 2989k| 0 | 0.0 |1091M| 73 | - | 87 |7815 | 0 | 0 | 0 | 726k| 0 | 6.080000e+02 | 1.281000e+03 | 110.69%
1034.82/1035.13 c 946s| 4300k| 2995k| 0 | 0.0 |1094M| 73 | - | 87 |7414 | 0 | 0 | 0 | 729k| 0 | 6.090000e+02 | 1.281000e+03 | 110.34%
1038.31/1038.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1038.31/1038.64 c 949s| 4310k| 3003k| 0 | 0.0 |1096M| 73 | - | 87 |7122 | 0 | 0 | 0 | 730k| 0 | 6.090000e+02 | 1.281000e+03 | 110.34%
1042.21/1042.52 c 953s| 4320k| 3010k| 0 | 0.0 |1099M| 73 | - | 87 |7222 | 0 | 0 | 0 | 731k| 0 | 6.090000e+02 | 1.281000e+03 | 110.34%
1046.41/1046.79 c 957s| 4330k| 3017k| 0 | 0.0 |1102M| 73 | - | 87 |7582 | 0 | 0 | 0 | 733k| 0 | 6.090000e+02 | 1.281000e+03 | 110.34%
1051.81/1052.12 c 962s| 4340k| 3023k| 0 | 0.0 |1104M| 73 | - | 87 |8008 | 0 | 0 | 0 | 736k| 0 | 6.090000e+02 | 1.281000e+03 | 110.34%
1056.61/1056.97 c 967s| 4350k| 3029k| 0 | 0.0 |1107M| 73 | - | 87 |7632 | 0 | 0 | 0 | 738k| 0 | 6.100000e+02 | 1.281000e+03 | 110.00%
1060.11/1060.44 c 970s| 4360k| 3037k| 0 | 0.0 |1109M| 73 | - | 87 |7203 | 0 | 0 | 0 | 739k| 0 | 6.100000e+02 | 1.281000e+03 | 110.00%
1063.61/1063.96 c 973s| 4370k| 3044k| 0 | 0.0 |1112M| 73 | - | 87 |7300 | 0 | 0 | 0 | 741k| 0 | 6.100000e+02 | 1.281000e+03 | 110.00%
1067.71/1068.02 c 977s| 4380k| 3051k| 0 | 0.0 |1114M| 73 | - | 87 |7536 | 0 | 0 | 0 | 742k| 0 | 6.100000e+02 | 1.281000e+03 | 110.00%
1072.61/1072.92 c 982s| 4390k| 3057k| 0 | 0.0 |1117M| 73 | - | 87 |7873 | 0 | 0 | 0 | 745k| 0 | 6.100000e+02 | 1.281000e+03 | 110.00%
1077.50/1077.81 c 987s| 4400k| 3063k| 0 | 0.0 |1119M| 73 | - | 87 |7580 | 0 | 0 | 0 | 747k| 0 | 6.110000e+02 | 1.281000e+03 | 109.66%
1080.80/1081.12 c 990s| 4410k| 3071k| 0 | 0.0 |1122M| 73 | - | 87 |7298 | 0 | 0 | 0 | 749k| 0 | 6.110000e+02 | 1.281000e+03 | 109.66%
1084.31/1084.61 c 993s| 4420k| 3079k| 0 | 0.0 |1125M| 73 | - | 87 |7411 | 0 | 0 | 0 | 750k| 0 | 6.110000e+02 | 1.281000e+03 | 109.66%
1088.40/1088.71 c 997s| 4430k| 3086k| 0 | 0.0 |1127M| 73 | - | 87 |7619 | 0 | 0 | 0 | 752k| 0 | 6.110000e+02 | 1.281000e+03 | 109.66%
1093.20/1093.59 c 1002s| 4440k| 3092k| 0 | 0.0 |1130M| 73 | - | 87 |7969 | 0 | 0 | 0 | 754k| 0 | 6.110000e+02 | 1.281000e+03 | 109.66%
1098.60/1098.92 c 1007s| 4450k| 3098k| 0 | 0.0 |1132M| 73 | - | 87 |8278 | 0 | 0 | 0 | 757k| 0 | 6.110000e+02 | 1.281000e+03 | 109.66%
1103.00/1103.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1103.00/1103.38 c 1011s| 4460k| 3104k| 0 | 0.0 |1135M| 73 | - | 87 |7313 | 0 | 0 | 0 | 759k| 0 | 6.120000e+02 | 1.281000e+03 | 109.31%
1106.59/1106.96 c 1014s| 4470k| 3111k| 0 | 0.0 |1137M| 73 | - | 87 |7190 | 0 | 0 | 0 | 761k| 0 | 6.120000e+02 | 1.281000e+03 | 109.31%
1110.70/1111.05 c 1018s| 4480k| 3119k| 0 | 0.0 |1140M| 73 | - | 87 |7480 | 0 | 0 | 0 | 762k| 0 | 6.120000e+02 | 1.281000e+03 | 109.31%
1115.19/1115.54 c 1022s| 4490k| 3125k| 0 | 0.0 |1142M| 73 | - | 87 |7749 | 0 | 0 | 0 | 764k| 0 | 6.120000e+02 | 1.281000e+03 | 109.31%
1120.69/1121.06 c 1028s| 4500k| 3131k| 0 | 0.0 |1145M| 73 | - | 87 |8098 | 0 | 0 | 0 | 767k| 0 | 6.120000e+02 | 1.281000e+03 | 109.31%
1125.59/1125.96 c 1032s| 4510k| 3137k| 0 | 0.0 |1148M| 73 | - | 87 |7822 | 0 | 0 | 0 | 770k| 0 | 6.130000e+02 | 1.281000e+03 | 108.97%
1129.30/1129.60 c 1036s| 4520k| 3144k| 0 | 0.0 |1150M| 73 | - | 87 |7550 | 0 | 0 | 0 | 771k| 0 | 6.130000e+02 | 1.281000e+03 | 108.97%
1132.89/1133.26 c 1039s| 4530k| 3152k| 0 | 0.0 |1153M| 73 | - | 87 |7705 | 0 | 0 | 0 | 772k| 0 | 6.130000e+02 | 1.281000e+03 | 108.97%
1136.99/1137.37 c 1043s| 4540k| 3159k| 0 | 0.0 |1155M| 73 | - | 87 |8010 | 0 | 0 | 0 | 774k| 0 | 6.130000e+02 | 1.281000e+03 | 108.97%
1141.88/1142.21 c 1048s| 4550k| 3165k| 0 | 0.0 |1158M| 73 | - | 87 |8383 | 0 | 0 | 0 | 776k| 0 | 6.130000e+02 | 1.281000e+03 | 108.97%
1147.28/1147.62 c 1053s| 4560k| 3170k| 0 | 0.0 |1160M| 73 | - | 87 |8776 | 0 | 0 | 0 | 779k| 0 | 6.140000e+02 | 1.281000e+03 | 108.63%
1150.98/1151.36 c 1057s| 4570k| 3178k| 0 | 0.0 |1163M| 73 | - | 87 |8093 | 0 | 0 | 0 | 780k| 0 | 6.140000e+02 | 1.281000e+03 | 108.63%
1154.68/1155.01 c 1060s| 4580k| 3186k| 0 | 0.0 |1165M| 73 | - | 87 |8006 | 0 | 0 | 0 | 782k| 0 | 6.140000e+02 | 1.281000e+03 | 108.63%
1158.77/1159.10 c 1064s| 4590k| 3194k| 0 | 0.0 |1168M| 73 | - | 87 |8134 | 0 | 0 | 0 | 783k| 0 | 6.140000e+02 | 1.281000e+03 | 108.63%
1163.18/1163.53 c 1068s| 4600k| 3200k| 0 | 0.0 |1171M| 73 | - | 87 |8450 | 0 | 0 | 0 | 785k| 0 | 6.140000e+02 | 1.281000e+03 | 108.63%
1168.27/1168.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1168.27/1168.69 c 1073s| 4610k| 3206k| 0 | 0.0 |1174M| 73 | - | 87 |8786 | 0 | 0 | 0 | 788k| 0 | 6.140000e+02 | 1.281000e+03 | 108.63%
1172.97/1173.31 c 1077s| 4620k| 3213k| 0 | 0.0 |1176M| 73 | - | 87 |8260 | 0 | 0 | 0 | 790k| 0 | 6.150000e+02 | 1.281000e+03 | 108.29%
1176.87/1177.27 c 1081s| 4630k| 3221k| 0 | 0.0 |1179M| 73 | - | 87 |8221 | 0 | 0 | 0 | 791k| 0 | 6.150000e+02 | 1.281000e+03 | 108.29%
1181.27/1181.61 c 1085s| 4640k| 3228k| 0 | 0.0 |1181M| 73 | - | 87 |8506 | 0 | 0 | 0 | 793k| 0 | 6.150000e+02 | 1.281000e+03 | 108.29%
1186.17/1186.51 c 1090s| 4650k| 3235k| 0 | 0.0 |1184M| 73 | - | 87 |8875 | 0 | 0 | 0 | 795k| 0 | 6.150000e+02 | 1.281000e+03 | 108.29%
1191.77/1192.10 c 1095s| 4660k| 3241k| 0 | 0.0 |1187M| 73 | - | 87 |9139 | 0 | 0 | 0 | 797k| 0 | 6.150000e+02 | 1.281000e+03 | 108.29%
1197.07/1197.45 c 1100s| 4670k| 3247k| 0 | 0.0 |1189M| 73 | - | 87 |9101 | 0 | 0 | 0 | 800k| 0 | 6.160000e+02 | 1.281000e+03 | 107.95%
1201.77/1202.10 c 1105s| 4680k| 3254k| 0 | 0.0 |1192M| 73 | - | 87 |8900 | 0 | 0 | 0 | 801k| 0 | 6.160000e+02 | 1.281000e+03 | 107.95%
1209.97/1210.34 c 1113s| 4690k| 3260k| 0 | 0.0 |1195M| 73 | - | 87 | 10k| 0 | 0 | 0 | 804k| 0 | 6.160000e+02 | 1.281000e+03 | 107.95%
1218.86/1219.22 c 1122s| 4700k| 3265k| 0 | 0.0 |1198M| 73 | - | 87 | 11k| 0 | 0 | 0 | 807k| 0 | 6.160000e+02 | 1.281000e+03 | 107.95%
1228.06/1228.48 c 1131s| 4710k| 3270k| 0 | 0.0 |1200M| 73 | - | 87 | 12k| 0 | 0 | 0 | 811k| 0 | 6.160000e+02 | 1.281000e+03 | 107.95%
1233.16/1233.57 c 1135s| 4720k| 3277k| 0 | 0.0 |1203M| 73 | - | 87 | 10k| 0 | 0 | 0 | 812k| 0 | 6.170000e+02 | 1.281000e+03 | 107.62%
1237.95/1238.39 c 1140s| 4730k| 3284k| 0 | 0.0 |1205M| 73 | - | 87 | 10k| 0 | 0 | 0 | 814k| 0 | 6.170000e+02 | 1.281000e+03 | 107.62%
1243.15/1243.51 c 1145s| 4740k| 3291k| 0 | 0.0 |1208M| 73 | - | 87 | 10k| 0 | 0 | 0 | 815k| 0 | 6.170000e+02 | 1.281000e+03 | 107.62%
1249.05/1249.45 c 1151s| 4750k| 3298k| 0 | 0.0 |1210M| 73 | - | 87 | 10k| 0 | 0 | 0 | 818k| 0 | 6.170000e+02 | 1.281000e+03 | 107.62%
1256.05/1256.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1256.05/1256.40 c 1157s| 4760k| 3303k| 0 | 0.0 |1213M| 73 | - | 87 | 10k| 0 | 0 | 0 | 821k| 0 | 6.170000e+02 | 1.281000e+03 | 107.62%
1260.65/1261.03 c 1162s| 4770k| 3310k| 0 | 0.0 |1215M| 73 | - | 87 | 10k| 0 | 0 | 0 | 822k| 0 | 6.180000e+02 | 1.281000e+03 | 107.28%
1265.15/1265.58 c 1166s| 4780k| 3318k| 0 | 0.0 |1218M| 73 | - | 87 | 10k| 0 | 0 | 0 | 823k| 0 | 6.180000e+02 | 1.281000e+03 | 107.28%
1270.16/1270.56 c 1171s| 4790k| 3325k| 0 | 0.0 |1221M| 73 | - | 87 | 10k| 0 | 0 | 0 | 825k| 0 | 6.180000e+02 | 1.281000e+03 | 107.28%
1276.05/1276.49 c 1177s| 4800k| 3332k| 0 | 0.0 |1223M| 73 | - | 87 | 10k| 0 | 0 | 0 | 827k| 0 | 6.180000e+02 | 1.281000e+03 | 107.28%
1282.85/1283.29 c 1183s| 4810k| 3337k| 0 | 0.0 |1226M| 73 | - | 87 | 11k| 0 | 0 | 0 | 830k| 0 | 6.180000e+02 | 1.281000e+03 | 107.28%
1288.54/1288.96 c 1189s| 4820k| 3344k| 0 | 0.0 |1228M| 73 | - | 87 | 10k| 0 | 0 | 0 | 832k| 0 | 6.190000e+02 | 1.281000e+03 | 106.95%
1293.25/1293.67 c 1193s| 4830k| 3351k| 0 | 0.0 |1231M| 73 | - | 87 | 10k| 0 | 0 | 0 | 833k| 0 | 6.190000e+02 | 1.281000e+03 | 106.95%
1298.44/1298.85 c 1198s| 4840k| 3359k| 0 | 0.0 |1234M| 73 | - | 87 | 10k| 0 | 0 | 0 | 835k| 0 | 6.190000e+02 | 1.281000e+03 | 106.95%
1304.64/1305.08 c 1204s| 4850k| 3365k| 0 | 0.0 |1236M| 73 | - | 87 | 10k| 0 | 0 | 0 | 837k| 0 | 6.190000e+02 | 1.281000e+03 | 106.95%
1311.84/1312.24 c 1211s| 4860k| 3371k| 0 | 0.0 |1239M| 73 | - | 87 | 11k| 0 | 0 | 0 | 839k| 0 | 6.190000e+02 | 1.281000e+03 | 106.95%
1318.33/1318.73 c 1217s| 4870k| 3377k| 0 | 0.0 |1241M| 73 | - | 87 | 10k| 0 | 0 | 0 | 842k| 0 | 6.200000e+02 | 1.281000e+03 | 106.61%
1322.44/1322.86 c 1221s| 4880k| 3385k| 0 | 0.0 |1244M| 73 | - | 87 |9926 | 0 | 0 | 0 | 843k| 0 | 6.200000e+02 | 1.281000e+03 | 106.61%
1327.34/1327.79 c 1226s| 4890k| 3392k| 0 | 0.0 |1246M| 73 | - | 87 |9962 | 0 | 0 | 0 | 845k| 0 | 6.200000e+02 | 1.281000e+03 | 106.61%
1332.93/1333.38 c 1231s| 4900k| 3399k| 0 | 0.0 |1249M| 73 | - | 87 | 10k| 0 | 0 | 0 | 847k| 0 | 6.200000e+02 | 1.281000e+03 | 106.61%
1339.92/1340.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1339.92/1340.35 c 1238s| 4910k| 3404k| 0 | 0.0 |1251M| 73 | - | 87 | 10k| 0 | 0 | 0 | 849k| 0 | 6.200000e+02 | 1.281000e+03 | 106.61%
1346.13/1346.53 c 1244s| 4920k| 3410k| 0 | 0.0 |1254M| 73 | - | 87 | 10k| 0 | 0 | 0 | 852k| 0 | 6.210000e+02 | 1.281000e+03 | 106.28%
1350.52/1350.93 c 1248s| 4930k| 3418k| 0 | 0.0 |1256M| 73 | - | 87 |9996 | 0 | 0 | 0 | 853k| 0 | 6.210000e+02 | 1.281000e+03 | 106.28%
1355.53/1355.96 c 1253s| 4940k| 3425k| 0 | 0.0 |1259M| 73 | - | 87 | 10k| 0 | 0 | 0 | 855k| 0 | 6.210000e+02 | 1.281000e+03 | 106.28%
1361.33/1361.72 c 1259s| 4950k| 3431k| 0 | 0.0 |1261M| 73 | - | 87 | 10k| 0 | 0 | 0 | 857k| 0 | 6.210000e+02 | 1.281000e+03 | 106.28%
1367.52/1367.98 c 1265s| 4960k| 3437k| 0 | 0.0 |1264M| 73 | - | 87 | 10k| 0 | 0 | 0 | 860k| 0 | 6.210000e+02 | 1.281000e+03 | 106.28%
1374.92/1375.32 c 1272s| 4970k| 3442k| 0 | 0.0 |1267M| 73 | - | 87 | 11k| 0 | 0 | 0 | 863k| 0 | 6.210000e+02 | 1.281000e+03 | 106.28%
1379.92/1380.34 c 1277s| 4980k| 3449k| 0 | 0.0 |1269M| 73 | - | 87 | 10k| 0 | 0 | 0 | 864k| 0 | 6.220000e+02 | 1.281000e+03 | 105.95%
1384.42/1384.87 c 1281s| 4990k| 3457k| 0 | 0.0 |1271M| 73 | - | 87 |9962 | 0 | 0 | 0 | 866k| 0 | 6.220000e+02 | 1.281000e+03 | 105.95%
1390.02/1390.43 c 1286s| 5000k| 3464k| 0 | 0.0 |1274M| 73 | - | 87 | 10k| 0 | 0 | 0 | 867k| 0 | 6.220000e+02 | 1.281000e+03 | 105.95%
1395.52/1395.92 c 1292s| 5010k| 3471k| 0 | 0.0 |1277M| 73 | - | 87 | 10k| 0 | 0 | 0 | 869k| 0 | 6.220000e+02 | 1.281000e+03 | 105.95%
1401.92/1402.38 c 1298s| 5020k| 3477k| 0 | 0.0 |1279M| 73 | - | 87 | 10k| 0 | 0 | 0 | 872k| 0 | 6.220000e+02 | 1.281000e+03 | 105.95%
1408.62/1409.07 c 1304s| 5030k| 3483k| 0 | 0.0 |1282M| 73 | - | 87 | 10k| 0 | 0 | 0 | 874k| 0 | 6.230000e+02 | 1.281000e+03 | 105.62%
1413.31/1413.73 c 1309s| 5040k| 3490k| 0 | 0.0 |1284M| 73 | - | 87 | 10k| 0 | 0 | 0 | 875k| 0 | 6.230000e+02 | 1.281000e+03 | 105.62%
1418.62/1419.01 c 1314s| 5050k| 3498k| 0 | 0.0 |1287M| 73 | - | 87 | 10k| 0 | 0 | 0 | 877k| 0 | 6.230000e+02 | 1.281000e+03 | 105.62%
1424.40/1424.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1424.40/1424.89 c 1319s| 5060k| 3505k| 0 | 0.0 |1289M| 73 | - | 87 | 11k| 0 | 0 | 0 | 879k| 0 | 6.230000e+02 | 1.281000e+03 | 105.62%
1431.40/1431.82 c 1326s| 5070k| 3511k| 0 | 0.0 |1292M| 73 | - | 87 | 11k| 0 | 0 | 0 | 881k| 0 | 6.230000e+02 | 1.281000e+03 | 105.62%
1439.41/1439.80 c 1334s| 5080k| 3516k| 0 | 0.0 |1295M| 73 | - | 87 | 11k| 0 | 0 | 0 | 884k| 0 | 6.230000e+02 | 1.281000e+03 | 105.62%
1444.50/1444.91 c 1339s| 5090k| 3524k| 0 | 0.0 |1297M| 73 | - | 87 | 10k| 0 | 0 | 0 | 885k| 0 | 6.240000e+02 | 1.281000e+03 | 105.29%
1449.60/1450.02 c 1344s| 5100k| 3532k| 0 | 0.0 |1300M| 73 | - | 87 | 10k| 0 | 0 | 0 | 887k| 0 | 6.240000e+02 | 1.281000e+03 | 105.29%
1455.00/1455.43 c 1349s| 5110k| 3539k| 0 | 0.0 |1302M| 73 | - | 87 | 11k| 0 | 0 | 0 | 888k| 0 | 6.240000e+02 | 1.281000e+03 | 105.29%
1461.41/1461.88 c 1355s| 5120k| 3545k| 0 | 0.0 |1305M| 73 | - | 87 | 11k| 0 | 0 | 0 | 890k| 0 | 6.240000e+02 | 1.281000e+03 | 105.29%
1469.10/1469.57 c 1363s| 5130k| 3550k| 0 | 0.0 |1308M| 73 | - | 87 | 11k| 0 | 0 | 0 | 894k| 0 | 6.240000e+02 | 1.281000e+03 | 105.29%
1474.60/1475.00 c 1368s| 5140k| 3557k| 0 | 0.0 |1310M| 73 | - | 87 | 10k| 0 | 0 | 0 | 895k| 0 | 6.250000e+02 | 1.281000e+03 | 104.96%
1479.00/1479.46 c 1372s| 5150k| 3565k| 0 | 0.0 |1312M| 73 | - | 87 | 10k| 0 | 0 | 0 | 897k| 0 | 6.250000e+02 | 1.281000e+03 | 104.96%
1483.89/1484.36 c 1377s| 5160k| 3572k| 0 | 0.0 |1315M| 73 | - | 87 | 10k| 0 | 0 | 0 | 898k| 0 | 6.250000e+02 | 1.281000e+03 | 104.96%
1489.29/1489.77 c 1382s| 5170k| 3579k| 0 | 0.0 |1318M| 73 | - | 87 | 10k| 0 | 0 | 0 | 900k| 0 | 6.250000e+02 | 1.281000e+03 | 104.96%
1495.99/1496.42 c 1388s| 5180k| 3585k| 0 | 0.0 |1320M| 73 | - | 87 | 10k| 0 | 0 | 0 | 903k| 0 | 6.250000e+02 | 1.281000e+03 | 104.96%
1502.19/1502.66 c 1394s| 5190k| 3591k| 0 | 0.0 |1323M| 73 | - | 87 | 10k| 0 | 0 | 0 | 905k| 0 | 6.260000e+02 | 1.281000e+03 | 104.63%
1506.79/1507.26 c 1399s| 5200k| 3598k| 0 | 0.0 |1325M| 73 | - | 87 | 10k| 0 | 0 | 0 | 906k| 0 | 6.260000e+02 | 1.281000e+03 | 104.63%
1511.88/1512.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1511.88/1512.38 c 1404s| 5210k| 3605k| 0 | 0.0 |1328M| 73 | - | 87 | 10k| 0 | 0 | 0 | 908k| 0 | 6.260000e+02 | 1.281000e+03 | 104.63%
1517.88/1518.34 c 1409s| 5220k| 3612k| 0 | 0.0 |1331M| 73 | - | 87 | 10k| 0 | 0 | 0 | 910k| 0 | 6.260000e+02 | 1.281000e+03 | 104.63%
1525.08/1525.51 c 1416s| 5230k| 3617k| 0 | 0.0 |1333M| 73 | - | 87 | 11k| 0 | 0 | 0 | 913k| 0 | 6.260000e+02 | 1.281000e+03 | 104.63%
1529.58/1530.05 c 1421s| 5240k| 3625k| 0 | 0.0 |1336M| 73 | - | 87 | 10k| 0 | 0 | 0 | 914k| 0 | 6.270000e+02 | 1.281000e+03 | 104.31%
1534.47/1534.91 c 1425s| 5250k| 3633k| 0 | 0.0 |1338M| 73 | - | 87 | 10k| 0 | 0 | 0 | 916k| 0 | 6.270000e+02 | 1.281000e+03 | 104.31%
1540.28/1540.73 c 1431s| 5260k| 3640k| 0 | 0.0 |1341M| 73 | - | 87 | 10k| 0 | 0 | 0 | 918k| 0 | 6.270000e+02 | 1.281000e+03 | 104.31%
1548.07/1548.59 c 1439s| 5270k| 3645k| 0 | 0.0 |1344M| 73 | - | 87 | 11k| 0 | 0 | 0 | 920k| 0 | 6.270000e+02 | 1.281000e+03 | 104.31%
1556.08/1556.56 c 1446s| 5280k| 3650k| 0 | 0.0 |1346M| 73 | - | 87 | 11k| 0 | 0 | 0 | 923k| 0 | 6.280000e+02 | 1.281000e+03 | 103.98%
1560.38/1560.84 c 1450s| 5290k| 3658k| 0 | 0.0 |1349M| 73 | - | 87 | 10k| 0 | 0 | 0 | 925k| 0 | 6.280000e+02 | 1.281000e+03 | 103.98%
1565.07/1565.57 c 1455s| 5300k| 3666k| 0 | 0.0 |1351M| 73 | - | 87 | 10k| 0 | 0 | 0 | 926k| 0 | 6.280000e+02 | 1.281000e+03 | 103.98%
1570.47/1570.93 c 1460s| 5310k| 3673k| 0 | 0.0 |1354M| 73 | - | 87 | 10k| 0 | 0 | 0 | 927k| 0 | 6.280000e+02 | 1.281000e+03 | 103.98%
1577.06/1577.54 c 1466s| 5320k| 3679k| 0 | 0.0 |1356M| 73 | - | 87 | 10k| 0 | 0 | 0 | 930k| 0 | 6.280000e+02 | 1.281000e+03 | 103.98%
1583.07/1583.59 c (node 5328772) switching to memory saving mode (mem: 1296.0M/1620.0M)
1587.46/1587.93 c 1477s| 5330k| 3683k| 0 | 0.0 |1358M| 73 | - | 87 | 11k| 0 | 0 | 0 | 934k| 0 | 6.280000e+02 | 1.281000e+03 | 103.98%
1606.67/1607.19 o 1265
1606.67/1607.19 c *1495s| 5337k| 3667k| 0 | 0.0 |1352M| 73 | - | 87 | 12k| 0 | 0 | 0 | 942k| 0 | 6.280000e+02 | 1.265000e+03 | 101.43%
1612.75/1613.21 o 1255
1612.75/1613.21 c *1501s| 5339k| 3657k| 0 | 0.0 |1349M| 73 | - | 87 | 12k| 0 | 0 | 0 | 944k| 0 | 6.280000e+02 | 1.255000e+03 | 99.84%
1612.85/1613.38 o 1251
1612.85/1613.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1612.85/1613.38 c *1501s| 5339k| 3654k| 0 | 0.0 |1347M| 73 | - | 87 | 12k| 0 | 0 | 0 | 944k| 0 | 6.280000e+02 | 1.251000e+03 | 99.20%
1613.65/1614.14 o 1176
1613.65/1614.14 c *1502s| 5339k| 3590k| 0 | 0.0 |1322M| 73 | - | 87 | 12k| 0 | 0 | 0 | 944k| 0 | 6.280000e+02 | 1.176000e+03 | 87.26%
1615.15/1615.69 c 1504s| 5340k| 3590k| 0 | 0.0 |1322M| 73 | - | 87 | 12k| 0 | 0 | 0 | 945k| 0 | 6.280000e+02 | 1.176000e+03 | 87.26%
1635.46/1635.93 o 1169
1635.46/1635.93 c *1524s| 5344k| 3574k| 0 | 0.0 |1316M| 73 | - | 87 | 12k| 0 | 0 | 0 | 951k| 0 | 6.280000e+02 | 1.169000e+03 | 86.15%
1656.05/1656.57 c 1544s| 5350k| 3569k| 0 | 0.0 |1314M| 73 | - | 87 | 12k| 0 | 0 | 0 | 958k| 0 | 6.280000e+02 | 1.169000e+03 | 86.15%
1700.23/1700.70 c 1588s| 5360k| 3557k| 0 | 0.0 |1311M| 73 | - | 87 | 12k| 0 | 0 | 0 | 971k| 0 | 6.280000e+02 | 1.169000e+03 | 86.15%
1730.22/1730.76 c 1617s| 5370k| 3550k| 0 | 0.0 |1308M| 73 | - | 87 | 13k| 0 | 0 | 0 | 981k| 0 | 6.280000e+02 | 1.169000e+03 | 86.15%
1778.41/1778.94 c 1665s| 5380k| 3538k| 0 | 0.0 |1304M| 73 | - | 87 | 14k| 0 | 0 | 0 | 995k| 0 | 6.280000e+02 | 1.169000e+03 | 86.15%
1799.40/1799.99 c 1686s| 5390k| 3535k| 0 | 0.0 |1302M| 73 | - | 87 | 14k| 0 | 0 | 0 |1003k| 0 | 6.280000e+02 | 1.169000e+03 | 86.15%
1800.01/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.51 c
1800.01/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.51 c Solving Time (sec) : 1686.14
1800.01/1800.51 c Solving Nodes : 5390215
1800.01/1800.51 c Primal Bound : +1.16900000000000e+03 (54 solutions)
1800.01/1800.51 c Dual Bound : +6.28000000000000e+02
1800.01/1800.51 c Gap : 86.15 %
1800.01/1800.51 s SATISFIABLE
1800.01/1800.51 v -x10 x9 -x7 -x6 -x89 -x88 -x87 x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 x70 -x69 -x68 -x67
1800.01/1800.51 v x66 -x65 x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 x56 -x55 -x54 -x53 -x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 x44 -x43 -x42 -x41
1800.01/1800.51 v -x40 x39 x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15
1800.01/1800.51 v -x14 -x13 x12 -x11 -x8 -x5 -x4 -x3 x2 x1
1800.01/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.51 c Solving Time : 1686.14
1800.01/1800.51 c Original Problem :
1800.01/1800.51 c Problem name : HOME/instance-2664601-1276356496.opb
1800.01/1800.51 c Variables : 89 (89 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.51 c Constraints : 28 initial, 28 maximal
1800.01/1800.51 c Presolved Problem :
1800.01/1800.51 c Problem name : t_HOME/instance-2664601-1276356496.opb
1800.01/1800.51 c Variables : 87 (87 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.51 c Constraints : 27 initial, 14361 maximal
1800.01/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c dualfix : 0.00 2 0 0 0 0 0 0 0
1800.01/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c probing : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c knapsack : 0.00 0 0 0 0 0 0 4 22
1800.01/1800.51 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c linear : 0.00 0 0 0 0 0 1 2 25
1800.01/1800.51 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c root node : - 0 - - 0 - - - -
1800.01/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.51 c integral : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.51 c knapsack : 6 0 8114462 0 4736621 417887 1192546 0 0 0
1800.01/1800.51 c setppc : 15 0 7679776 0 4730462 28478 1609680 0 0 0
1800.01/1800.51 c linear : 1 0 6511646 0 4281579 343415 2364997 0 0 0
1800.01/1800.51 c logicor : 5+ 0 2261515 0 4736485 19135 976305 0 0 0
1800.01/1800.51 c countsols : 0 0 0 0 4736623 0 0 0 0 0
1800.01/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.51 c integral : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.51 c knapsack : 92.59 0.00 80.47 0.00 12.12
1800.01/1800.51 c setppc : 25.24 0.00 15.18 0.00 10.06
1800.01/1800.51 c linear : 83.47 0.00 80.96 0.00 2.51
1800.01/1800.51 c logicor : 607.07 0.00 600.78 0.00 6.29
1800.01/1800.51 c countsols : 1.95 0.00 0.00 0.00 1.95
1800.01/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.51 c vbounds : 3.62 2 0 0
1800.01/1800.51 c rootredcost : 4.05 0 0 0
1800.01/1800.51 c pseudoobj : 96.33 8326371 212081 8300324
1800.01/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.51 c propagation : 66.51 1020994 966543 4220051 38.2 2485 32.1 -
1800.01/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.51 c pseudo solution : 0.00 67 67 75 9.2 1 37.0 -
1800.01/1800.51 c applied globally : - - - 346277 17.7 - - -
1800.01/1800.51 c applied locally : - - - 657344 40.6 - - -
1800.01/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.51 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.01/1800.51 c redcost : 0.00 0 0 0 0 0
1800.01/1800.51 c impliedbounds : 0.00 0 0 0 0 0
1800.01/1800.51 c intobj : 0.00 0 0 0 0 0
1800.01/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.51 c gomory : 0.00 0 0 0 0 0
1800.01/1800.51 c strongcg : 0.00 0 0 0 0 0
1800.01/1800.51 c cmir : 0.00 0 0 0 0 0
1800.01/1800.51 c flowcover : 0.00 0 0 0 0 0
1800.01/1800.51 c clique : 0.00 0 0 0 0 0
1800.01/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.51 c mcf : 0.00 0 0 0 0 0
1800.01/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.01/1800.51 c Pricers : Time Calls Vars
1800.01/1800.51 c problem variables: 0.00 0 0
1800.01/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.51 c relpscost : 0.00 0 0 0 0 0 0
1800.01/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.51 c inference : 49.54 4736569 0 0 0 0 9473138
1800.01/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.51 c random : 0.00 0 0 0 0 0 0
1800.01/1800.51 c Primal Heuristics : Time Calls Found
1800.01/1800.51 c LP solutions : 0.00 - 0
1800.01/1800.51 c pseudo solutions : 2.43 - 54
1800.01/1800.51 c oneopt : 4.26 0 0
1800.01/1800.51 c trivial : 0.00 2 0
1800.01/1800.51 c simplerounding : 0.00 0 0
1800.01/1800.51 c zirounding : 0.00 0 0
1800.01/1800.51 c rounding : 0.00 0 0
1800.01/1800.51 c shifting : 0.00 0 0
1800.01/1800.51 c intshifting : 0.00 0 0
1800.01/1800.51 c twoopt : 0.00 0 0
1800.01/1800.51 c fixandinfer : 0.00 0 0
1800.01/1800.51 c feaspump : 0.00 0 0
1800.01/1800.51 c coefdiving : 0.00 0 0
1800.01/1800.51 c pscostdiving : 0.00 0 0
1800.01/1800.51 c fracdiving : 0.00 0 0
1800.01/1800.51 c veclendiving : 0.00 0 0
1800.01/1800.51 c intdiving : 0.00 0 0
1800.01/1800.51 c actconsdiving : 0.00 0 0
1800.01/1800.51 c objpscostdiving : 0.00 0 0
1800.01/1800.51 c rootsoldiving : 0.00 0 0
1800.01/1800.51 c linesearchdiving : 0.00 0 0
1800.01/1800.51 c guideddiving : 0.00 0 0
1800.01/1800.51 c octane : 0.00 0 0
1800.01/1800.51 c rens : 0.00 0 0
1800.01/1800.51 c rins : 0.00 0 0
1800.01/1800.51 c localbranching : 0.00 0 0
1800.01/1800.51 c mutation : 0.00 0 0
1800.01/1800.51 c crossover : 0.00 0 0
1800.01/1800.51 c dins : 0.00 0 0
1800.01/1800.51 c undercover : 0.00 0 0
1800.01/1800.51 c nlp : 2.40 0 0
1800.01/1800.51 c trysol : 2.65 0 0
1800.01/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.51 c dual LP : 0.00 0 0 0.00 -
1800.01/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.01/1800.51 c strong branching : 0.00 0 0 0.00 -
1800.01/1800.51 c (at root node) : - 0 0 0.00 -
1800.01/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.51 c B&B Tree :
1800.01/1800.51 c number of runs : 1
1800.01/1800.51 c nodes : 5390215
1800.01/1800.51 c nodes (total) : 5390215
1800.01/1800.51 c nodes left : 3535267
1800.01/1800.51 c max depth : 73
1800.01/1800.51 c max depth (total): 73
1800.01/1800.51 c backtracks : 481523 (8.9%)
1800.01/1800.51 c delayed cutoffs : 385048
1800.01/1800.51 c repropagations : 877678 (5859166 domain reductions, 367471 cutoffs)
1800.01/1800.51 c avg switch length: 6.85
1800.01/1800.51 c switching time : 427.19
1800.01/1800.51 c Solution :
1800.01/1800.51 c Solutions found : 54 (54 improvements)
1800.01/1800.51 c First Solution : +3.64600000000000e+03 (in run 1, after 7151 nodes, 0.48 seconds, depth 58, found by <relaxation>)
1800.01/1800.51 c Primal Bound : +1.16900000000000e+03 (in run 1, after 5344602 nodes, 1523.45 seconds, depth 60, found by <relaxation>)
1800.01/1800.51 c Dual Bound : +6.28000000000000e+02
1800.01/1800.51 c Gap : 86.15 %
1800.01/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.01/1800.51 c Root Iterations : 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664601-1276356496/watcher-2664601-1276356496 -o /tmp/evaluation-result-2664601-1276356496/solver-2664601-1276356496 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664601-1276356496.opb -t 1800 -m 1800
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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.17 1.14 1.08 3/106 11768
/proc/meminfo: memFree=1822080/2059040 swapFree=4136460/4192956
[pid=11768] ppid=11766 vsize=6584 CPUtime=0
/proc/11768/stat : 11768 (pbscip.linux.x8) R 11766 11768 11471 0 -1 4202496 1009 0 0 0 0 0 0 0 20 0 1 0 11253624 6742016 933 1992294400 4194304 7136930 140735037603360 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11768/statm: 1646 942 254 719 0 925 0
[startup+0.015851 s]
/proc/loadavg: 1.17 1.14 1.08 3/106 11768
/proc/meminfo: memFree=1822080/2059040 swapFree=4136460/4192956
[pid=11768] ppid=11766 vsize=8620 CPUtime=0.01
/proc/11768/stat : 11768 (pbscip.linux.x8) R 11766 11768 11471 0 -1 4202496 2033 0 0 0 0 1 0 0 20 0 1 0 11253624 8826880 1603 1992294400 4194304 7136930 140735037603360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11768/statm: 2204 1611 301 719 0 1483 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8620
[startup+0.101861 s]
/proc/loadavg: 1.17 1.14 1.08 3/106 11768
/proc/meminfo: memFree=1822080/2059040 swapFree=4136460/4192956
[pid=11768] ppid=11766 vsize=11416 CPUtime=0.09
/proc/11768/stat : 11768 (pbscip.linux.x8) R 11766 11768 11471 0 -1 4202496 4863 0 0 0 6 3 0 0 20 0 1 0 11253624 11689984 2120 1992294400 4194304 7136930 140735037603360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11768/statm: 2854 2120 394 719 0 2133 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11416
[startup+0.300895 s]
/proc/loadavg: 1.17 1.14 1.08 3/106 11768
/proc/meminfo: memFree=1822080/2059040 swapFree=4136460/4192956
[pid=11768] ppid=11766 vsize=12344 CPUtime=0.29
/proc/11768/stat : 11768 (pbscip.linux.x8) R 11766 11768 11471 0 -1 4202496 5109 0 0 0 22 7 0 0 20 0 1 0 11253624 12640256 2366 1992294400 4194304 7136930 140735037603360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11768/statm: 3086 2366 394 719 0 2365 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12344
[startup+0.70093 s]
/proc/loadavg: 1.17 1.14 1.08 3/106 11768
/proc/meminfo: memFree=1822080/2059040 swapFree=4136460/4192956
[pid=11768] ppid=11766 vsize=13780 CPUtime=0.69
/proc/11768/stat : 11768 (pbscip.linux.x8) R 11766 11768 11471 0 -1 4202496 5501 0 0 0 53 16 0 0 20 0 1 0 11253624 14110720 2758 1992294400 4194304 7136930 140735037603360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11768/statm: 3445 2758 399 719 0 2724 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13780
[startup+1.50102 s]
/proc/loadavg: 1.17 1.14 1.08 3/107 11769
/proc/meminfo: memFree=1811284/2059040 swapFree=4136460/4192956
[pid=11768] ppid=11766 vsize=16520 CPUtime=1.49
/proc/11768/stat : 11768 (pbscip.linux.x8) R 11766 11768 11471 0 -1 4202496 6224 0 0 0 117 32 0 0 22 0 1 0 11253624 16916480 3481 1992294400 4194304 7136930 140735037603360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11768/statm: 4130 3481 399 719 0 3409 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16520
[startup+3.10021 s]
/proc/loadavg: 1.17 1.14 1.08 2/107 11769
/proc/meminfo: memFree=1807316/2059040 swapFree=4136460/4192956
[pid=11768] ppid=11766 vsize=21888 CPUtime=3.09
/proc/11768/stat : 11768 (pbscip.linux.x8) R 11766 11768 11471 0 -1 4202496 7615 0 0 0 245 64 0 0 25 0 1 0 11253624 22413312 4872 1992294400 4194304 7136930 140735037603360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11768/statm: 5472 4872 399 719 0 4751 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21888
[startup+6.30059 s]
/proc/loadavg: 1.15 1.14 1.08 2/107 11769
/proc/meminfo: memFree=1796156/2059040 swapFree=4136460/4192956
[pid=11768] ppid=11766 vsize=32364 CPUtime=6.29
/proc/11768/stat : 11768 (pbscip.linux.x8) R 11766 11768 11471 0 -1 4202496 10347 0 0 0 500 129 0 0 25 0 1 0 11253624 33140736 7604 1992294400 4194304 7136930 140735037603360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11768/statm: 8091 7604 399 719 0 7370 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32364
[startup+12.7003 s]
/proc/loadavg: 1.14 1.14 1.07 2/107 11769
/proc/meminfo: memFree=1776572/2059040 swapFree=4136460/4192956
[pid=11768] ppid=11766 vsize=51360 CPUtime=12.69
/proc/11768/stat : 11768 (pbscip.linux.x8) R 11766 11768 11471 0 -1 4202496 14787 0 0 0 1015 254 0 0 25 0 1 0 11253624 52592640 12044 1992294400 4194304 7136930 140735037603360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11768/statm: 12840 12044 399 719 0 12119 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 51360
[startup+25.5008 s]
/proc/loadavg: 1.11 1.13 1.07 2/107 11771
/proc/meminfo: memFree=1741108/2059040 swapFree=4136460/4192956
[pid=11768] ppid=11766 vsize=88796 CPUtime=25.49
/proc/11768/stat : 11768 (pbscip.linux.x8) R 11766 11768 11471 0 -1 4202496 23499 0 0 0 2078 471 0 0 25 0 1 0 11253624 90927104 20756 1992294400 4194304 7136930 140735037603360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11768/statm: 22199 20756 399 719 0 21478 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 88796
[startup+51.1009 s]
/proc/loadavg: 1.07 1.12 1.07 2/107 11771
/proc/meminfo: memFree=1677372/2059040 swapFree=4136460/4192956
[pid=11768] ppid=11766 vsize=149332 CPUtime=51.08
/proc/11768/stat : 11768 (pbscip.linux.x8) R 11766 11768 11471 0 -1 4202496 39282 0 0 0 4210 898 0 0 25 0 1 0 11253624 152915968 36539 1992294400 4194304 7136930 140735037603360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11768/statm: 37333 36539 399 719 0 36612 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 149332
[startup+102.309 s]
/proc/loadavg: 1.03 1.10 1.07 2/107 11773
/proc/meminfo: memFree=1576560/2059040 swapFree=4136460/4192956
[pid=11768] ppid=11766 vsize=253608 CPUtime=102.27
/proc/11768/stat : 11768 (pbscip.linux.x8) R 11766 11768 11471 0 -1 4202496 64313 0 0 0 8570 1657 0 0 25 0 1 0 11253624 259694592 61570 1992294400 4194304 7136930 140735037603360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11768/statm: 63402 61570 399 719 0 62681 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 253608
[startup+162.301 s]
/proc/loadavg: 1.01 1.08 1.06 2/107 11773
/proc/meminfo: memFree=1473888/2059040 swapFree=4136460/4192956
[pid=11768] ppid=11766 vsize=352264 CPUtime=162.25
/proc/11768/stat : 11768 (pbscip.linux.x8) R 11766 11768 11471 0 -1 4202496 90013 0 0 0 13827 2398 0 0 25 0 1 0 11253624 360718336 87270 1992294400 4194304 7136930 140735037603360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11768/statm: 88066 87270 400 719 0 87345 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 352264
[startup+222.301 s]
/proc/loadavg: 1.00 1.06 1.05 2/107 11775
/proc/meminfo: memFree=1381756/2059040 swapFree=4136460/4192956
[pid=11768] ppid=11766 vsize=456176 CPUtime=222.23
/proc/11768/stat : 11768 (pbscip.linux.x8) R 11766 11768 11471 0 -1 4202496 112831 0 0 0 19098 3125 0 0 25 0 1 0 11253624 467124224 110088 1992294400 4194304 7136930 140735037603360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11768/statm: 114044 110088 400 719 0 113323 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 456176
[startup+282.301 s]
/proc/loadavg: 1.00 1.05 1.05 2/107 11777
/proc/meminfo: memFree=1305372/2059040 swapFree=4136460/4192956
[pid=11768] ppid=11766 vsize=530548 CPUtime=282.21
/proc/11768/stat : 11768 (pbscip.linux.x8) R 11766 11768 11471 0 -1 4202496 132143 0 0 0 24513 3708 0 0 25 0 1 0 11253624 543281152 129400 1992294400 4194304 7136930 140735037603360 18446744073709551615 6121974 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11768/statm: 132637 129400 400 719 0 131916 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 530548
[startup+342.301 s]
/proc/loadavg: 1.00 1.04 1.04 2/107 11779
/proc/meminfo: memFree=1218944/2059040 swapFree=4136460/4192956
[pid=11768] ppid=11766 vsize=612004 CPUtime=342.2
/proc/11768/stat : 11768 (pbscip.linux.x8) R 11766 11768 11471 0 -1 4202496 153382 0 0 0 29802 4418 0 0 25 0 1 0 11253624 626692096 150639 1992294400 4194304 7136930 140735037603360 18446744073709551615 4851884 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11768/statm: 153001 150639 400 719 0 152280 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 612004
[startup+402.301 s]
/proc/loadavg: 1.00 1.03 1.04 2/107 11781
/proc/meminfo: memFree=1135616/2059040 swapFree=4136460/4192956
[pid=11768] ppid=11766 vsize=692500 CPUtime=402.18
/proc/11768/stat : 11768 (pbscip.linux.x8) R 11766 11768 11471 0 -1 4202496 174381 0 0 0 35163 5055 0 0 25 0 1 0 11253624 709120000 171638 1992294400 4194304 7136930 140735037603360 18446744073709551615 5000491 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11768/statm: 173125 171638 400 719 0 172404 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 692500
[startup+462.301 s]
/proc/loadavg: 1.00 1.02 1.03 2/107 11781
/proc/meminfo: memFree=1071880/2059040 swapFree=4136460/4192956
[pid=11768] ppid=11766 vsize=752940 CPUtime=462.16
/proc/11768/stat : 11768 (pbscip.linux.x8) R 11766 11768 11471 0 -1 4202496 190095 0 0 0 40674 5542 0 0 25 0 1 0 11253624 771010560 187352 1992294400 4194304 7136930 140735037603360 18446744073709551615 5955578 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11768/statm: 188235 187352 400 719 0 187514 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 752940
[startup+522.301 s]
/proc/loadavg: 1.00 1.02 1.02 2/107 11783
/proc/meminfo: memFree=1008516/2059040 swapFree=4136460/4192956
[pid=11768] ppid=11766 vsize=846956 CPUtime=522.15
/proc/11768/stat : 11768 (pbscip.linux.x8) R 11766 11768 11471 0 -1 4202496 206045 0 0 0 46178 6037 0 0 25 0 1 0 11253624 867282944 203302 1992294400 4194304 7136930 140735037603360 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11768/statm: 211739 203302 400 719 0 211018 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 846956
[startup+582.301 s]
/proc/loadavg: 1.00 1.01 1.02 2/107 11785
/proc/meminfo: memFree=952592/2059040 swapFree=4136460/4192956
[pid=11768] ppid=11766 vsize=899688 CPUtime=582.14
/proc/11768/stat : 11768 (pbscip.linux.x8) R 11766 11768 11471 0 -1 4202496 219726 0 0 0 51768 6446 0 0 25 0 1 0 11253624 921280512 216983 1992294400 4194304 7136930 140735037603360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11768/statm: 224922 216983 400 719 0 224201 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 899688
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.01 2/107 11787
/proc/meminfo: memFree=902248/2059040 swapFree=4136460/4192956
[pid=11768] ppid=11766 vsize=947960 CPUtime=642.12
/proc/11768/stat : 11768 (pbscip.linux.x8) R 11766 11768 11471 0 -1 4202496 232235 0 0 0 57385 6827 0 0 25 0 1 0 11253624 970711040 229492 1992294400 4194304 7136930 140735037603360 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11768/statm: 236990 229492 400 719 0 236269 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 947960
[startup+702.302 s]
################
# More data... #
################
/proc/11768/stat : 11768 (pbscip.linux.x8) R 11766 11768 11471 0 -1 4202496 289222 0 0 0 91485 8717 0 0 25 0 1 0 11253624 1195278336 286479 1992294400 4194304 7136930 140735037603360 18446744073709551615 4999797 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11768/statm: 291816 286479 400 719 0 291095 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 1167264
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11797
/proc/meminfo: memFree=635276/2059040 swapFree=4136460/4192956
[pid=11768] ppid=11766 vsize=1204392 CPUtime=1062.01
/proc/11768/stat : 11768 (pbscip.linux.x8) R 11766 11768 11471 0 -1 4202496 298903 0 0 0 97183 9018 0 0 25 0 1 0 11253624 1233297408 296160 1992294400 4194304 7136930 140735037603360 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11768/statm: 301098 296160 400 719 0 300377 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 1204392
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11799
/proc/meminfo: memFree=597084/2059040 swapFree=4136460/4192956
[pid=11768] ppid=11766 vsize=1240680 CPUtime=1121.99
/proc/11768/stat : 11768 (pbscip.linux.x8) R 11766 11768 11471 0 -1 4202496 308321 0 0 0 102890 9309 0 0 25 0 1 0 11253624 1270456320 305578 1992294400 4194304 7136930 140735037603360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11768/statm: 310170 305578 400 719 0 309449 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 1240680
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11801
/proc/meminfo: memFree=561248/2059040 swapFree=4136460/4192956
[pid=11768] ppid=11766 vsize=1274868 CPUtime=1181.97
/proc/11768/stat : 11768 (pbscip.linux.x8) R 11766 11768 11471 0 -1 4202496 317280 0 0 0 108594 9603 0 0 25 0 1 0 11253624 1305464832 314537 1992294400 4194304 7136930 140735037603360 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11768/statm: 318717 314537 400 719 0 317996 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 1274868
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11803
/proc/meminfo: memFree=531984/2059040 swapFree=4136460/4192956
[pid=11768] ppid=11766 vsize=1302488 CPUtime=1241.96
/proc/11768/stat : 11768 (pbscip.linux.x8) R 11766 11768 11471 0 -1 4202496 324369 0 0 0 114374 9822 0 0 25 0 1 0 11253624 1333747712 321626 1992294400 4194304 7136930 140735037603360 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11768/statm: 325622 321626 400 719 0 324901 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 1302488
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11805
/proc/meminfo: memFree=504084/2059040 swapFree=4136460/4192956
[pid=11768] ppid=11766 vsize=1329484 CPUtime=1301.95
/proc/11768/stat : 11768 (pbscip.linux.x8) R 11766 11768 11471 0 -1 4202496 331294 0 0 0 120147 10048 0 0 25 0 1 0 11253624 1361391616 328551 1992294400 4194304 7136930 140735037603360 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11768/statm: 332371 328551 400 719 0 331650 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 1329484
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11805
/proc/meminfo: memFree=478540/2059040 swapFree=4136460/4192956
[pid=11768] ppid=11766 vsize=1353740 CPUtime=1361.93
/proc/11768/stat : 11768 (pbscip.linux.x8) R 11766 11768 11471 0 -1 4202496 337658 0 0 0 125918 10275 0 0 25 0 1 0 11253624 1386229760 334915 1992294400 4194304 7136930 140735037603360 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11768/statm: 338435 334915 400 719 0 337714 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 1353740
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11807
/proc/meminfo: memFree=448160/2059040 swapFree=4136460/4192956
[pid=11768] ppid=11766 vsize=1382848 CPUtime=1421.92
/proc/11768/stat : 11768 (pbscip.linux.x8) R 11766 11768 11471 0 -1 4202496 345195 0 0 0 131686 10506 0 0 25 0 1 0 11253624 1416036352 342452 1992294400 4194304 7136930 140735037603360 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11768/statm: 345712 342452 400 719 0 344991 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1382848
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11809
/proc/meminfo: memFree=423856/2059040 swapFree=4136460/4192956
[pid=11768] ppid=11766 vsize=1406568 CPUtime=1481.89
/proc/11768/stat : 11768 (pbscip.linux.x8) R 11766 11768 11471 0 -1 4202496 351385 0 0 0 137470 10719 0 0 25 0 1 0 11253624 1440325632 348642 1992294400 4194304 7136930 140735037603360 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11768/statm: 351642 348642 400 719 0 350921 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1406568
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11811
/proc/meminfo: memFree=395088/2059040 swapFree=4136460/4192956
[pid=11768] ppid=11766 vsize=1433488 CPUtime=1541.87
/proc/11768/stat : 11768 (pbscip.linux.x8) R 11766 11768 11471 0 -1 4202496 358411 0 0 0 143245 10942 0 0 25 0 1 0 11253624 1467891712 355668 1992294400 4194304 7136930 140735037603360 18446744073709551615 4999777 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11768/statm: 358372 355668 400 719 0 357651 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1433488
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11813
/proc/meminfo: memFree=376364/2059040 swapFree=4136460/4192956
[pid=11768] ppid=11766 vsize=1450980 CPUtime=1601.86
/proc/11768/stat : 11768 (pbscip.linux.x8) R 11766 11768 11471 0 -1 4202496 377329 0 0 0 149062 11124 0 0 25 0 1 0 11253624 1485803520 360191 1992294400 4194304 7136930 140735037603360 18446744073709551615 6166784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11768/statm: 362745 360191 400 719 0 362024 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1450980
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11813
/proc/meminfo: memFree=375744/2059040 swapFree=4136460/4192956
[pid=11768] ppid=11766 vsize=1452232 CPUtime=1661.84
/proc/11768/stat : 11768 (pbscip.linux.x8) R 11766 11768 11471 0 -1 4202496 377630 0 0 0 154976 11208 0 0 25 0 1 0 11253624 1487085568 360492 1992294400 4194304 7136930 140735037603360 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11768/statm: 363058 360492 400 719 0 362337 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1452232
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11815
/proc/meminfo: memFree=375620/2059040 swapFree=4136460/4192956
[pid=11768] ppid=11766 vsize=1452232 CPUtime=1721.83
/proc/11768/stat : 11768 (pbscip.linux.x8) R 11766 11768 11471 0 -1 4202496 377641 0 0 0 160898 11285 0 0 25 0 1 0 11253624 1487085568 360503 1992294400 4194304 7136930 140735037603360 18446744073709551615 4624432 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11768/statm: 363058 360503 400 719 0 362337 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1452232
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11817
/proc/meminfo: memFree=375000/2059040 swapFree=4136460/4192956
[pid=11768] ppid=11766 vsize=1452468 CPUtime=1781.81
/proc/11768/stat : 11768 (pbscip.linux.x8) R 11766 11768 11471 0 -1 4202496 377700 0 0 0 166824 11357 0 0 25 0 1 0 11253624 1487327232 360562 1992294400 4194304 7136930 140735037603360 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11768/statm: 363117 360562 400 719 0 362396 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1452468
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11817
/proc/meminfo: memFree=375000/2059040 swapFree=4136460/4192956
[pid=11768] ppid=11766 vsize=1452468 CPUtime=1800.01
/proc/11768/stat : 11768 (pbscip.linux.x8) R 11766 11768 11471 0 -1 4202496 377700 0 0 0 168614 11387 0 0 25 0 1 0 11253624 1487327232 360562 1992294400 4194304 7136930 140735037603360 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11768/statm: 363117 360562 400 719 0 362396 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1452468
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -11768
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11818
/proc/meminfo: memFree=374992/2059040 swapFree=4136460/4192956
[pid=11768] ppid=11766 vsize=1452468 CPUtime=1800.9
/proc/11768/stat : 11768 (pbscip.linux.x8) R 11766 11768 11471 0 -1 4202496 377709 0 0 0 168703 11387 0 0 25 0 1 0 11253624 1487327232 360571 1992294400 4194304 7136930 140735037603360 18446744073709551615 4615739 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11768/statm: 363117 360571 405 719 0 362396 0
Current children cumulated CPU time (s) 1800.9
Current children cumulated vsize (KiB) 1452468
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11818
/proc/meminfo: memFree=374992/2059040 swapFree=4136460/4192956
[pid=11768] ppid=11766 vsize=1452468 CPUtime=1801.7
/proc/11768/stat : 11768 (pbscip.linux.x8) R 11766 11768 11471 0 -1 4202496 377709 0 0 0 168783 11387 0 0 25 0 1 0 11253624 1487327232 360571 1992294400 4194304 7136930 140735037603360 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11768/statm: 363117 360571 405 719 0 362396 0
Current children cumulated CPU time (s) 1801.7
Current children cumulated vsize (KiB) 1452468
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11818
/proc/meminfo: memFree=374992/2059040 swapFree=4136460/4192956
[pid=11768] ppid=11766 vsize=0 CPUtime=1802.1
/proc/11768/stat : 11768 (pbscip.linux.x8) R 11766 11768 11471 0 -1 4203524 377709 0 0 0 168814 11396 0 0 25 0 1 0 11253624 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/11768/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.1
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.64
CPU time (s): 1802.16
CPU user time (s): 1688.15
CPU system time (s): 114.01
CPU usage (%): 99.9731
Max. virtual memory (cumulated for all children) (KiB): 1515320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1688.15
system time used= 114.01
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 377709
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= 1
involuntary context switches= 3053
runsolver used 2.92256 second user time and 8.60669 second system time
The end