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-2664015-1276612653.opb>
0.00/0.01 c original problem has 51 variables (51 bin, 0 int, 0 impl, 0 cont) and 13 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.00/0.01 c presolving:
0.00/0.01 c (round 1) 1 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c (round 2) 1 del vars, 7 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c presolving (3 rounds):
0.00/0.02 c 1 deleted vars, 7 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 0 implications, 0 cliques
0.00/0.02 c presolved problem has 50 variables (50 bin, 0 int, 0 impl, 0 cont) and 6 constraints
0.00/0.02 c 6 constraints of type <linear>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 1620
0.00/0.02 c
0.00/0.02 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c lp/solvefreq = -1
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 2 | 0 | - | 242k| 0 | - | 50 | 6 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.29/1.30 c 1.1s| 10000 | 6921 | 0 | 0.0 |2815k| 28 | - | 50 | 351 | 0 | 0 | 0 | 439 | 0 | 0.000000e+00 | -- | Inf
2.89/2.94 c 2.6s| 20000 | 12239 | 0 | 0.0 |5258k| 29 | - | 50 | 779 | 0 | 0 | 0 |1085 | 0 | 0.000000e+00 | -- | Inf
4.49/4.53 c 4.1s| 30000 | 18374 | 0 | 0.0 |7632k| 31 | - | 50 |1023 | 0 | 0 | 0 |1663 | 0 | 0.000000e+00 | -- | Inf
5.99/6.06 c 5.5s| 40000 | 25032 | 0 | 0.0 |9882k| 31 | - | 50 | 814 | 0 | 0 | 0 |2172 | 0 | 0.000000e+00 | -- | Inf
7.60/7.61 c 6.9s| 50000 | 31224 | 0 | 0.0 | 12M| 31 | - | 50 | 806 | 0 | 0 | 0 |2740 | 0 | 0.000000e+00 | -- | Inf
9.18/9.22 c 8.3s| 60000 | 37030 | 0 | 0.0 | 14M| 32 | - | 50 | 785 | 0 | 0 | 0 |3424 | 0 | 0.000000e+00 | -- | Inf
10.79/10.85 c 9.8s| 70000 | 42471 | 0 | 0.0 | 16M| 32 | - | 50 | 736 | 0 | 0 | 0 |4117 | 0 | 0.000000e+00 | -- | Inf
12.49/12.51 c 11.3s| 80000 | 47562 | 0 | 0.0 | 18M| 32 | - | 50 | 746 | 0 | 0 | 0 |4826 | 0 | 0.000000e+00 | -- | Inf
14.20/14.23 c 12.9s| 90000 | 52253 | 0 | 0.0 | 20M| 32 | - | 50 | 691 | 0 | 0 | 0 |5616 | 0 | 0.000000e+00 | -- | Inf
15.98/16.00 c 14.5s|100000 | 56453 | 0 | 0.0 | 22M| 32 | - | 50 | 729 | 0 | 0 | 0 |6472 | 0 | 0.000000e+00 | -- | Inf
17.78/17.87 c 16.3s|110000 | 60126 | 0 | 0.0 | 24M| 32 | - | 50 | 765 | 0 | 0 | 0 |7569 | 0 | 0.000000e+00 | -- | Inf
19.79/19.83 c 18.1s|120000 | 63252 | 0 | 0.0 | 26M| 32 | - | 50 | 938 | 0 | 0 | 0 |8711 | 0 | 0.000000e+00 | -- | Inf
21.89/21.93 c 20.0s|130000 | 65731 | 0 | 0.0 | 28M| 32 | - | 50 |1216 | 0 | 0 | 0 |9933 | 0 | 0.000000e+00 | -- | Inf
24.19/24.22 c 22.2s|140000 | 67555 | 0 | 0.0 | 29M| 33 | - | 50 |1357 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
25.58/25.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.58/25.62 c 23.4s|150000 | 74783 | 0 | 0.0 | 31M| 33 | - | 50 | 662 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
26.98/27.02 c 24.7s|160000 | 81636 | 0 | 0.0 | 33M| 33 | - | 50 | 481 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
28.39/28.44 c 26.0s|170000 | 88330 | 0 | 0.0 | 36M| 33 | - | 50 | 495 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
29.78/29.86 c 27.3s|180000 | 94915 | 0 | 0.0 | 38M| 33 | - | 50 | 547 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
31.28/31.31 c 28.6s|190000 |101289 | 0 | 0.0 | 40M| 33 | - | 50 | 503 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
32.78/32.81 c 29.9s|200000 |107590 | 0 | 0.0 | 43M| 33 | - | 50 | 576 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
34.18/34.27 c 31.2s|210000 |113750 | 0 | 0.0 | 45M| 33 | - | 50 | 438 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
35.67/35.74 c 32.6s|220000 |119848 | 0 | 0.0 | 47M| 33 | - | 50 | 532 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
37.17/37.23 c 33.9s|230000 |125816 | 0 | 0.0 | 49M| 33 | - | 50 | 468 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
38.58/38.68 c 35.2s|240000 |131799 | 0 | 0.0 | 51M| 33 | - | 50 | 444 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
40.07/40.15 c 36.5s|250000 |137615 | 0 | 0.0 | 53M| 33 | - | 50 | 429 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
41.57/41.64 c 37.9s|260000 |143261 | 0 | 0.0 | 56M| 33 | - | 50 | 457 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
43.07/43.17 c 39.3s|270000 |149010 | 0 | 0.0 | 58M| 33 | - | 50 | 526 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
44.57/44.69 c 40.7s|280000 |154646 | 0 | 0.0 | 60M| 33 | - | 50 | 490 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
46.17/46.24 c 42.1s|290000 |159997 | 0 | 0.0 | 62M| 33 | - | 50 | 483 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
47.77/47.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
47.77/47.81 c 43.5s|300000 |165315 | 0 | 0.0 | 64M| 33 | - | 50 | 521 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
49.27/49.39 c 45.0s|310000 |170642 | 0 | 0.0 | 66M| 33 | - | 50 | 516 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
50.87/50.98 c 46.5s|320000 |175988 | 0 | 0.0 | 68M| 33 | - | 50 | 622 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
52.57/52.62 c 47.9s|330000 |181005 | 0 | 0.0 | 70M| 33 | - | 50 | 537 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
54.17/54.22 c 49.4s|340000 |186007 | 0 | 0.0 | 72M| 33 | - | 50 | 546 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
55.77/55.82 c 50.9s|350000 |191006 | 0 | 0.0 | 74M| 33 | - | 50 | 539 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
57.37/57.46 c 52.4s|360000 |195975 | 0 | 0.0 | 77M| 33 | - | 50 | 608 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
59.06/59.12 c 53.9s|370000 |200963 | 0 | 0.0 | 79M| 33 | - | 50 | 568 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
60.76/60.81 c 55.5s|380000 |205596 | 0 | 0.0 | 81M| 33 | - | 50 | 589 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
62.47/62.50 c 57.0s|390000 |210162 | 0 | 0.0 | 83M| 33 | - | 50 | 577 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
64.07/64.19 c 58.6s|400000 |214716 | 0 | 0.0 | 85M| 33 | - | 50 | 596 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
65.77/65.88 c 60.1s|410000 |219298 | 0 | 0.0 | 87M| 33 | - | 50 | 630 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
67.57/67.62 c 61.7s|420000 |223859 | 0 | 0.0 | 89M| 33 | - | 50 | 737 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
69.37/69.44 c 63.4s|430000 |228223 | 0 | 0.0 | 91M| 33 | - | 50 | 805 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
71.16/71.27 c 65.1s|440000 |232269 | 0 | 0.0 | 93M| 33 | - | 50 | 822 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
73.06/73.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
73.06/73.11 c 66.8s|450000 |236357 | 0 | 0.0 | 95M| 33 | - | 50 | 799 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
74.86/74.95 c 68.5s|460000 |240451 | 0 | 0.0 | 97M| 33 | - | 50 | 807 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
76.77/76.82 c 70.2s|470000 |244466 | 0 | 0.0 | 99M| 33 | - | 50 | 858 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
78.57/78.66 c 71.9s|480000 |248556 | 0 | 0.0 | 101M| 33 | - | 50 | 822 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
80.46/80.54 c 73.7s|490000 |252553 | 0 | 0.0 | 102M| 33 | - | 50 | 868 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
82.47/82.52 c 75.5s|500000 |256007 | 0 | 0.0 | 104M| 33 | - | 50 | 927 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
84.46/84.50 c 77.3s|510000 |259408 | 0 | 0.0 | 106M| 33 | - | 50 | 970 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
86.36/86.49 c 79.2s|520000 |262885 | 0 | 0.0 | 108M| 33 | - | 50 | 910 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
88.36/88.46 c 81.0s|530000 |266402 | 0 | 0.0 | 110M| 33 | - | 50 | 932 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
90.35/90.45 c 82.8s|540000 |269881 | 0 | 0.0 | 112M| 33 | - | 50 |1028 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
92.37/92.46 c 84.7s|550000 |273352 | 0 | 0.0 | 114M| 33 | - | 50 |1126 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
94.46/94.57 c 86.7s|560000 |276550 | 0 | 0.0 | 116M| 33 | - | 50 |1226 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
96.76/96.86 c 88.8s|570000 |279200 | 0 | 0.0 | 117M| 33 | - | 50 |1341 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
99.06/99.17 c 91.0s|580000 |281930 | 0 | 0.0 | 119M| 33 | - | 50 |1402 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
101.36/101.46 c 93.2s|590000 |284675 | 0 | 0.0 | 121M| 33 | - | 50 |1363 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
103.66/103.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
103.66/103.72 c 95.3s|600000 |287451 | 0 | 0.0 | 123M| 33 | - | 50 |1419 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
105.96/106.03 c 97.5s|610000 |290266 | 0 | 0.0 | 125M| 33 | - | 50 |1429 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
108.25/108.32 c 99.6s|620000 |293108 | 0 | 0.0 | 126M| 33 | - | 50 |1459 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
110.56/110.69 c 102s|630000 |295509 | 0 | 0.0 | 128M| 33 | - | 50 |1544 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
113.26/113.30 c 104s|640000 |297384 | 0 | 0.0 | 130M| 33 | - | 50 |1782 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
115.96/116.00 c 107s|650000 |299370 | 0 | 0.0 | 131M| 33 | - | 50 |1930 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
118.66/118.76 c 110s|660000 |301370 | 0 | 0.0 | 133M| 33 | - | 50 |2074 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
121.45/121.59 c 112s|670000 |303501 | 0 | 0.0 | 135M| 33 | - | 50 |2122 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
124.34/124.49 c 115s|680000 |305038 | 0 | 0.0 | 136M| 33 | - | 50 |2334 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
127.75/127.81 c 118s|690000 |306063 | 0 | 0.0 | 137M| 33 | - | 50 |2703 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
131.24/131.36 c 122s|700000 |306872 | 0 | 0.0 | 139M| 34 | - | 50 |2953 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
133.45/133.54 c 124s|710000 |312842 | 0 | 0.0 | 140M| 34 | - | 50 |1757 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
134.95/135.07 c 125s|720000 |319897 | 0 | 0.0 | 143M| 34 | - | 50 |1649 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
136.54/136.65 c 126s|730000 |326916 | 0 | 0.0 | 145M| 34 | - | 50 |1636 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
138.25/138.30 c 128s|740000 |333740 | 0 | 0.0 | 147M| 34 | - | 50 |1305 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
139.85/139.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
139.85/139.92 c 129s|750000 |340438 | 0 | 0.0 | 149M| 34 | - | 50 |1259 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
141.45/141.50 c 131s|760000 |347213 | 0 | 0.0 | 151M| 34 | - | 50 | 831 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
142.95/143.03 c 132s|770000 |353773 | 0 | 0.0 | 153M| 34 | - | 50 |1113 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
144.54/144.62 c 134s|780000 |360377 | 0 | 0.0 | 156M| 34 | - | 50 | 849 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
146.04/146.15 c 135s|790000 |366991 | 0 | 0.0 | 158M| 34 | - | 50 | 750 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
147.54/147.64 c 136s|800000 |373553 | 0 | 0.0 | 160M| 34 | - | 50 | 750 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
149.04/149.19 c 138s|810000 |379937 | 0 | 0.0 | 162M| 34 | - | 50 | 867 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
150.64/150.77 c 139s|820000 |386378 | 0 | 0.0 | 165M| 34 | - | 50 | 818 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
152.24/152.30 c 141s|830000 |392805 | 0 | 0.0 | 167M| 34 | - | 50 | 673 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
153.74/153.85 c 142s|840000 |399214 | 0 | 0.0 | 169M| 34 | - | 50 | 625 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
155.24/155.35 c 143s|850000 |405621 | 0 | 0.0 | 171M| 34 | - | 50 | 719 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
156.84/156.95 c 145s|860000 |411786 | 0 | 0.0 | 173M| 34 | - | 50 | 906 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
158.44/158.59 c 146s|870000 |417963 | 0 | 0.0 | 176M| 34 | - | 50 | 870 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
160.04/160.19 c 148s|880000 |424105 | 0 | 0.0 | 178M| 34 | - | 50 | 804 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
161.64/161.72 c 149s|890000 |430310 | 0 | 0.0 | 180M| 34 | - | 50 | 656 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
163.13/163.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
163.13/163.22 c 151s|900000 |436572 | 0 | 0.0 | 182M| 34 | - | 50 | 662 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
164.64/164.72 c 152s|910000 |442867 | 0 | 0.0 | 184M| 34 | - | 50 | 559 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
166.04/166.19 c 153s|920000 |449077 | 0 | 0.0 | 186M| 34 | - | 50 | 575 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
167.63/167.72 c 155s|930000 |454999 | 0 | 0.0 | 189M| 34 | - | 50 | 651 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
169.24/169.37 c 156s|940000 |460861 | 0 | 0.0 | 191M| 34 | - | 50 | 871 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
170.93/171.02 c 158s|950000 |466781 | 0 | 0.0 | 193M| 34 | - | 50 | 817 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
172.54/172.67 c 159s|960000 |472656 | 0 | 0.0 | 195M| 34 | - | 50 | 840 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
174.24/174.33 c 161s|970000 |478640 | 0 | 0.0 | 197M| 34 | - | 50 | 863 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
175.84/176.00 c 162s|980000 |484583 | 0 | 0.0 | 199M| 34 | - | 50 | 793 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
177.53/177.62 c 164s|990000 |490498 | 0 | 0.0 | 202M| 34 | - | 50 | 685 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
179.03/179.16 c 165s| 1000k|496474 | 0 | 0.0 | 204M| 34 | - | 50 | 534 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
180.53/180.69 c 167s| 1010k|502507 | 0 | 0.0 | 206M| 34 | - | 50 | 498 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
182.13/182.28 c 168s| 1020k|508245 | 0 | 0.0 | 208M| 34 | - | 50 | 578 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
183.73/183.89 c 170s| 1030k|513850 | 0 | 0.0 | 210M| 34 | - | 50 | 615 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
185.43/185.50 c 171s| 1040k|519479 | 0 | 0.0 | 212M| 34 | - | 50 | 637 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
187.03/187.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
187.03/187.10 c 173s| 1050k|525150 | 0 | 0.0 | 214M| 34 | - | 50 | 681 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
188.63/188.74 c 174s| 1060k|530798 | 0 | 0.0 | 216M| 34 | - | 50 | 623 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
190.24/190.38 c 176s| 1070k|536414 | 0 | 0.0 | 219M| 34 | - | 50 | 768 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
191.93/192.06 c 177s| 1080k|542007 | 0 | 0.0 | 221M| 34 | - | 50 | 896 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
193.73/193.80 c 179s| 1090k|547626 | 0 | 0.0 | 223M| 34 | - | 50 | 878 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
195.43/195.56 c 180s| 1100k|553208 | 0 | 0.0 | 225M| 34 | - | 50 | 973 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
197.22/197.34 c 182s| 1110k|558797 | 0 | 0.0 | 227M| 34 | - | 50 | 823 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
198.93/199.03 c 184s| 1120k|564441 | 0 | 0.0 | 229M| 34 | - | 50 | 794 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
200.62/200.71 c 185s| 1130k|570125 | 0 | 0.0 | 231M| 34 | - | 50 | 727 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
202.24/202.38 c 187s| 1140k|575664 | 0 | 0.0 | 233M| 34 | - | 50 | 726 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
203.92/204.06 c 188s| 1150k|580961 | 0 | 0.0 | 235M| 34 | - | 50 | 628 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
205.64/205.77 c 190s| 1160k|586209 | 0 | 0.0 | 238M| 34 | - | 50 | 737 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
207.32/207.46 c 191s| 1170k|591518 | 0 | 0.0 | 240M| 34 | - | 50 | 679 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
209.03/209.14 c 193s| 1180k|596862 | 0 | 0.0 | 242M| 34 | - | 50 | 787 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
210.73/210.85 c 194s| 1190k|602175 | 0 | 0.0 | 244M| 34 | - | 50 | 700 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
212.32/212.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
212.32/212.47 c 196s| 1200k|607510 | 0 | 0.0 | 246M| 34 | - | 50 | 517 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
214.03/214.13 c 197s| 1210k|612793 | 0 | 0.0 | 248M| 34 | - | 50 | 602 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
215.72/215.83 c 199s| 1220k|618111 | 0 | 0.0 | 250M| 34 | - | 50 | 665 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
217.42/217.54 c 201s| 1230k|623420 | 0 | 0.0 | 252M| 34 | - | 50 | 712 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
219.12/219.22 c 202s| 1240k|628755 | 0 | 0.0 | 254M| 34 | - | 50 | 888 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
220.93/221.01 c 204s| 1250k|634092 | 0 | 0.0 | 256M| 34 | - | 50 | 923 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
222.72/222.84 c 205s| 1260k|639413 | 0 | 0.0 | 258M| 34 | - | 50 | 949 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
224.52/224.61 c 207s| 1270k|644764 | 0 | 0.0 | 260M| 34 | - | 50 | 897 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
226.22/226.38 c 209s| 1280k|650126 | 0 | 0.0 | 263M| 34 | - | 50 | 825 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
228.01/228.13 c 210s| 1290k|655500 | 0 | 0.0 | 265M| 34 | - | 50 | 773 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
229.72/229.90 c 212s| 1300k|660456 | 0 | 0.0 | 267M| 34 | - | 50 | 783 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
231.51/231.68 c 214s| 1310k|665377 | 0 | 0.0 | 269M| 34 | - | 50 | 844 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
233.41/233.51 c 215s| 1320k|670357 | 0 | 0.0 | 271M| 34 | - | 50 | 847 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
235.23/235.30 c 217s| 1330k|675343 | 0 | 0.0 | 273M| 34 | - | 50 | 918 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
237.01/237.17 c 219s| 1340k|680235 | 0 | 0.0 | 275M| 34 | - | 50 | 824 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
238.81/238.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
238.81/238.94 c 220s| 1350k|685190 | 0 | 0.0 | 277M| 34 | - | 50 | 673 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
240.51/240.65 c 222s| 1360k|690142 | 0 | 0.0 | 279M| 34 | - | 50 | 715 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
242.31/242.43 c 224s| 1370k|695078 | 0 | 0.0 | 281M| 34 | - | 50 | 781 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
244.12/244.21 c 225s| 1380k|700049 | 0 | 0.0 | 283M| 34 | - | 50 | 851 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
245.91/246.00 c 227s| 1390k|704974 | 0 | 0.0 | 285M| 34 | - | 50 | 698 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
247.61/247.71 c 228s| 1400k|710018 | 0 | 0.0 | 287M| 34 | - | 50 | 717 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
249.31/249.48 c 230s| 1410k|714956 | 0 | 0.0 | 289M| 34 | - | 50 | 725 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
251.01/251.19 c 232s| 1420k|719938 | 0 | 0.0 | 291M| 34 | - | 50 | 667 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
252.82/252.93 c 233s| 1430k|724904 | 0 | 0.0 | 293M| 34 | - | 50 | 734 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
254.61/254.71 c 235s| 1440k|729874 | 0 | 0.0 | 295M| 34 | - | 50 | 754 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
256.41/256.57 c 237s| 1450k|734805 | 0 | 0.0 | 297M| 34 | - | 50 | 952 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
258.31/258.44 c 238s| 1460k|739813 | 0 | 0.0 | 299M| 34 | - | 50 | 875 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
260.11/260.27 c 240s| 1470k|744776 | 0 | 0.0 | 301M| 34 | - | 50 | 932 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
262.01/262.10 c 242s| 1480k|749764 | 0 | 0.0 | 303M| 34 | - | 50 | 896 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
263.91/264.03 c 244s| 1490k|754254 | 0 | 0.0 | 305M| 34 | - | 50 | 919 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
265.81/265.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
265.81/265.93 c 245s| 1500k|758756 | 0 | 0.0 | 307M| 34 | - | 50 | 937 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
267.70/267.87 c 247s| 1510k|763268 | 0 | 0.0 | 309M| 34 | - | 50 |1008 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
269.71/269.85 c 249s| 1520k|767774 | 0 | 0.0 | 311M| 34 | - | 50 |1016 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
271.70/271.81 c 251s| 1530k|772243 | 0 | 0.0 | 313M| 34 | - | 50 | 890 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
273.50/273.69 c 252s| 1540k|776708 | 0 | 0.0 | 315M| 34 | - | 50 | 777 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
275.50/275.61 c 254s| 1550k|781179 | 0 | 0.0 | 317M| 34 | - | 50 | 886 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
277.31/277.49 c 256s| 1560k|785709 | 0 | 0.0 | 319M| 34 | - | 50 | 982 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
279.31/279.43 c 258s| 1570k|790204 | 0 | 0.0 | 321M| 34 | - | 50 | 880 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
281.20/281.30 c 260s| 1580k|794748 | 0 | 0.0 | 323M| 34 | - | 50 | 825 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
283.10/283.20 c 261s| 1590k|799217 | 0 | 0.0 | 325M| 34 | - | 50 | 835 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
284.90/285.05 c 263s| 1600k|803792 | 0 | 0.0 | 327M| 34 | - | 50 | 759 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
286.70/286.88 c 265s| 1610k|808302 | 0 | 0.0 | 329M| 34 | - | 50 | 815 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
288.60/288.75 c 266s| 1620k|812848 | 0 | 0.0 | 331M| 34 | - | 50 | 809 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
290.50/290.62 c 268s| 1630k|817420 | 0 | 0.0 | 333M| 34 | - | 50 | 739 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
292.30/292.49 c 270s| 1640k|821952 | 0 | 0.0 | 335M| 34 | - | 50 | 807 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
294.20/294.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
294.20/294.33 c 272s| 1650k|826536 | 0 | 0.0 | 337M| 34 | - | 50 | 830 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
296.10/296.23 c 273s| 1660k|831095 | 0 | 0.0 | 339M| 34 | - | 50 | 807 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
297.90/298.08 c 275s| 1670k|835601 | 0 | 0.0 | 341M| 34 | - | 50 | 807 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
299.80/299.93 c 277s| 1680k|840112 | 0 | 0.0 | 343M| 34 | - | 50 | 905 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
301.69/301.84 c 279s| 1690k|844697 | 0 | 0.0 | 345M| 34 | - | 50 | 921 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
303.70/303.81 c 280s| 1700k|849222 | 0 | 0.0 | 347M| 34 | - | 50 | 985 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
305.60/305.74 c 282s| 1710k|853769 | 0 | 0.0 | 349M| 34 | - | 50 | 988 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
307.69/307.83 c 284s| 1720k|857796 | 0 | 0.0 | 351M| 34 | - | 50 |1056 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
309.69/309.87 c 286s| 1730k|861812 | 0 | 0.0 | 353M| 34 | - | 50 |1023 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
311.80/311.94 c 288s| 1740k|865790 | 0 | 0.0 | 355M| 34 | - | 50 |1091 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
313.90/314.07 c 290s| 1750k|869779 | 0 | 0.0 | 357M| 34 | - | 50 |1178 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
316.00/316.18 c 292s| 1760k|873770 | 0 | 0.0 | 359M| 34 | - | 50 | 986 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
318.09/318.22 c 294s| 1770k|877788 | 0 | 0.0 | 361M| 34 | - | 50 |1014 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
320.19/320.31 c 296s| 1780k|881775 | 0 | 0.0 | 363M| 34 | - | 50 |1129 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
322.20/322.39 c 298s| 1790k|885744 | 0 | 0.0 | 365M| 34 | - | 50 |1076 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
324.30/324.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
324.30/324.45 c 300s| 1800k|889757 | 0 | 0.0 | 366M| 34 | - | 50 | 995 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
326.39/326.52 c 302s| 1810k|893719 | 0 | 0.0 | 368M| 34 | - | 50 | 995 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
328.38/328.51 c 303s| 1820k|897716 | 0 | 0.0 | 370M| 34 | - | 50 | 927 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
330.39/330.54 c 305s| 1830k|901692 | 0 | 0.0 | 372M| 34 | - | 50 |1087 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
332.49/332.61 c 307s| 1840k|905677 | 0 | 0.0 | 374M| 34 | - | 50 |1004 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
334.48/334.67 c 309s| 1850k|909682 | 0 | 0.0 | 376M| 34 | - | 50 | 928 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
336.59/336.70 c 311s| 1860k|913685 | 0 | 0.0 | 378M| 34 | - | 50 | 946 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
338.60/338.71 c 313s| 1870k|917655 | 0 | 0.0 | 380M| 34 | - | 50 | 929 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
340.49/340.69 c 315s| 1880k|921638 | 0 | 0.0 | 382M| 34 | - | 50 | 909 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
342.58/342.72 c 317s| 1890k|925657 | 0 | 0.0 | 384M| 34 | - | 50 | 999 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
344.58/344.74 c 319s| 1900k|929692 | 0 | 0.0 | 386M| 34 | - | 50 |1052 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
346.68/346.81 c 320s| 1910k|933793 | 0 | 0.0 | 388M| 34 | - | 50 | 892 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
348.58/348.77 c 322s| 1920k|937824 | 0 | 0.0 | 389M| 34 | - | 50 | 854 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | -- | Inf
350.57/350.76 c 324s| 1930k|941866 | 0 | 0.0 | 391M| 34 | - | 50 | 949 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
352.58/352.77 c 326s| 1940k|945813 | 0 | 0.0 | 393M| 34 | - | 50 | 952 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
354.58/354.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
354.58/354.77 c 328s| 1950k|949791 | 0 | 0.0 | 395M| 34 | - | 50 |1011 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
356.68/356.80 c 330s| 1960k|953756 | 0 | 0.0 | 397M| 34 | - | 50 | 965 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
358.68/358.83 c 332s| 1970k|957789 | 0 | 0.0 | 399M| 34 | - | 50 |1013 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
360.77/360.94 c 334s| 1980k|961734 | 0 | 0.0 | 401M| 34 | - | 50 |1076 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
362.97/363.14 c 336s| 1990k|965103 | 0 | 0.0 | 403M| 34 | - | 50 |1147 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
365.17/365.38 c 338s| 2000k|968506 | 0 | 0.0 | 405M| 34 | - | 50 |1179 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
367.48/367.63 c 340s| 2010k|971887 | 0 | 0.0 | 407M| 34 | - | 50 |1206 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
369.78/369.90 c 342s| 2020k|975241 | 0 | 0.0 | 408M| 34 | - | 50 |1243 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
372.07/372.22 c 344s| 2030k|978610 | 0 | 0.0 | 410M| 34 | - | 50 |1240 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
374.37/374.57 c 346s| 2040k|981963 | 0 | 0.0 | 412M| 34 | - | 50 |1321 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
376.77/376.97 c 349s| 2050k|985371 | 0 | 0.0 | 414M| 34 | - | 50 |1392 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
379.18/379.33 c 351s| 2060k|988759 | 0 | 0.0 | 416M| 34 | - | 50 |1287 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
381.48/381.70 c 353s| 2070k|992141 | 0 | 0.0 | 418M| 34 | - | 50 |1360 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
383.86/384.09 c 355s| 2080k|995570 | 0 | 0.0 | 420M| 34 | - | 50 |1483 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
386.37/386.55 c 358s| 2090k|998955 | 0 | 0.0 | 422M| 34 | - | 50 |1492 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
388.77/388.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
388.77/388.98 c 360s| 2100k| 1002k| 0 | 0.0 | 423M| 34 | - | 50 |1497 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
391.06/391.29 c 362s| 2110k| 1005k| 0 | 0.0 | 425M| 34 | - | 50 |1455 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
393.47/393.62 c 364s| 2120k| 1009k| 0 | 0.0 | 427M| 34 | - | 50 |1436 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
395.88/396.05 c 367s| 2130k| 1012k| 0 | 0.0 | 429M| 34 | - | 50 |1461 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
398.16/398.39 c 369s| 2140k| 1016k| 0 | 0.0 | 431M| 34 | - | 50 |1411 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
400.67/400.81 c 371s| 2150k| 1019k| 0 | 0.0 | 433M| 34 | - | 50 |1453 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
403.07/403.21 c 373s| 2160k| 1023k| 0 | 0.0 | 435M| 34 | - | 50 |1437 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
405.37/405.57 c 376s| 2170k| 1026k| 0 | 0.0 | 437M| 34 | - | 50 |1375 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | -- | Inf
407.76/407.92 c 378s| 2180k| 1029k| 0 | 0.0 | 439M| 34 | - | 50 |1374 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | -- | Inf
410.17/410.35 c 380s| 2190k| 1033k| 0 | 0.0 | 441M| 34 | - | 50 |1406 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | -- | Inf
412.56/412.71 c 382s| 2200k| 1036k| 0 | 0.0 | 443M| 34 | - | 50 |1361 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
414.87/415.03 c 384s| 2210k| 1040k| 0 | 0.0 | 444M| 34 | - | 50 |1311 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf
417.16/417.37 c 387s| 2220k| 1043k| 0 | 0.0 | 446M| 34 | - | 50 |1325 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | -- | Inf
419.46/419.66 c 389s| 2230k| 1047k| 0 | 0.0 | 448M| 34 | - | 50 |1394 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | -- | Inf
421.76/421.99 c 391s| 2240k| 1050k| 0 | 0.0 | 450M| 34 | - | 50 |1396 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | -- | Inf
424.06/424.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
424.06/424.27 c 393s| 2250k| 1053k| 0 | 0.0 | 452M| 34 | - | 50 |1395 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | -- | Inf
426.46/426.64 c 395s| 2260k| 1057k| 0 | 0.0 | 454M| 34 | - | 50 |1500 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | -- | Inf
428.87/429.06 c 398s| 2270k| 1060k| 0 | 0.0 | 456M| 34 | - | 50 |1461 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | -- | Inf
431.16/431.38 c 400s| 2280k| 1064k| 0 | 0.0 | 458M| 34 | - | 50 |1345 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | -- | Inf
433.55/433.71 c 402s| 2290k| 1067k| 0 | 0.0 | 460M| 34 | - | 50 |1395 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | -- | Inf
436.06/436.26 c 404s| 2300k| 1070k| 0 | 0.0 | 461M| 34 | - | 50 |1675 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | -- | Inf
438.76/438.92 c 407s| 2310k| 1073k| 0 | 0.0 | 463M| 34 | - | 50 |1799 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | -- | Inf
441.45/441.63 c 410s| 2320k| 1075k| 0 | 0.0 | 465M| 34 | - | 50 |1840 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | -- | Inf
444.15/444.36 c 412s| 2330k| 1078k| 0 | 0.0 | 467M| 34 | - | 50 |1845 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | -- | Inf
446.85/447.02 c 415s| 2340k| 1081k| 0 | 0.0 | 469M| 34 | - | 50 |1738 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | -- | Inf
449.45/449.69 c 417s| 2350k| 1084k| 0 | 0.0 | 470M| 34 | - | 50 |1755 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | -- | Inf
452.15/452.36 c 420s| 2360k| 1086k| 0 | 0.0 | 472M| 34 | - | 50 |1718 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | -- | Inf
454.85/455.07 c 422s| 2370k| 1089k| 0 | 0.0 | 474M| 34 | - | 50 |1855 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | -- | Inf
457.65/457.81 c 425s| 2380k| 1092k| 0 | 0.0 | 476M| 34 | - | 50 |1909 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | -- | Inf
460.34/460.53 c 427s| 2390k| 1094k| 0 | 0.0 | 478M| 34 | - | 50 |1826 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | -- | Inf
463.05/463.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
463.05/463.20 c 430s| 2400k| 1097k| 0 | 0.0 | 479M| 34 | - | 50 |1808 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | -- | Inf
465.75/465.99 c 433s| 2410k| 1100k| 0 | 0.0 | 481M| 34 | - | 50 |1970 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
468.75/468.91 c 435s| 2420k| 1103k| 0 | 0.0 | 483M| 34 | - | 50 |1920 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | -- | Inf
471.55/471.75 c 438s| 2430k| 1105k| 0 | 0.0 | 485M| 34 | - | 50 |1901 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | -- | Inf
474.44/474.64 c 441s| 2440k| 1108k| 0 | 0.0 | 487M| 34 | - | 50 |2004 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | -- | Inf
477.34/477.50 c 443s| 2450k| 1111k| 0 | 0.0 | 488M| 34 | - | 50 |1835 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | -- | Inf
480.14/480.32 c 446s| 2460k| 1113k| 0 | 0.0 | 490M| 34 | - | 50 |1919 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | -- | Inf
482.94/483.13 c 449s| 2470k| 1116k| 0 | 0.0 | 492M| 34 | - | 50 |1809 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | -- | Inf
485.73/485.98 c 452s| 2480k| 1119k| 0 | 0.0 | 494M| 34 | - | 50 |1883 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | -- | Inf
488.64/488.80 c 454s| 2490k| 1122k| 0 | 0.0 | 496M| 34 | - | 50 |1936 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | -- | Inf
491.45/491.65 c 457s| 2500k| 1124k| 0 | 0.0 | 498M| 34 | - | 50 |1886 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | -- | Inf
494.23/494.42 c 459s| 2510k| 1127k| 0 | 0.0 | 499M| 34 | - | 50 |1720 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | -- | Inf
496.95/497.10 c 462s| 2520k| 1130k| 0 | 0.0 | 501M| 34 | - | 50 |1681 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | -- | Inf
499.64/499.86 c 465s| 2530k| 1133k| 0 | 0.0 | 503M| 34 | - | 50 |1768 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | -- | Inf
502.44/502.60 c 467s| 2540k| 1135k| 0 | 0.0 | 505M| 34 | - | 50 |1657 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | -- | Inf
505.03/505.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
505.03/505.28 c 470s| 2550k| 1138k| 0 | 0.0 | 506M| 34 | - | 50 |1654 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | -- | Inf
507.73/507.97 c 472s| 2560k| 1141k| 0 | 0.0 | 508M| 34 | - | 50 |1603 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | -- | Inf
510.34/510.56 c 475s| 2570k| 1144k| 0 | 0.0 | 510M| 34 | - | 50 |1706 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | -- | Inf
513.03/513.25 c 477s| 2580k| 1146k| 0 | 0.0 | 512M| 34 | - | 50 |1737 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | -- | Inf
515.74/515.90 c 480s| 2590k| 1149k| 0 | 0.0 | 514M| 34 | - | 50 |1798 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | -- | Inf
518.53/518.71 c 482s| 2600k| 1152k| 0 | 0.0 | 515M| 34 | - | 50 |1891 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | -- | Inf
521.24/521.43 c 485s| 2610k| 1154k| 0 | 0.0 | 517M| 34 | - | 50 |1848 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | -- | Inf
524.03/524.27 c 488s| 2620k| 1157k| 0 | 0.0 | 519M| 34 | - | 50 |2012 | 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | -- | Inf
527.13/527.32 c 491s| 2630k| 1159k| 0 | 0.0 | 521M| 34 | - | 50 |2184 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | -- | Inf
530.23/530.48 c 494s| 2640k| 1161k| 0 | 0.0 | 522M| 34 | - | 50 |2258 | 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | -- | Inf
533.42/533.60 c 497s| 2650k| 1163k| 0 | 0.0 | 524M| 34 | - | 50 |2308 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | -- | Inf
536.63/536.88 c 500s| 2660k| 1165k| 0 | 0.0 | 526M| 34 | - | 50 |2424 | 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | -- | Inf
539.92/540.18 c 503s| 2670k| 1167k| 0 | 0.0 | 527M| 34 | - | 50 |2468 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | -- | Inf
543.32/543.55 c 506s| 2680k| 1169k| 0 | 0.0 | 529M| 34 | - | 50 |2449 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | -- | Inf
546.62/546.85 c 509s| 2690k| 1171k| 0 | 0.0 | 531M| 34 | - | 50 |2410 | 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | -- | Inf
549.82/550.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
549.82/550.04 c 512s| 2700k| 1173k| 0 | 0.0 | 532M| 34 | - | 50 |2521 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | -- | Inf
553.22/553.44 c 516s| 2710k| 1175k| 0 | 0.0 | 534M| 34 | - | 50 |2703 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | -- | Inf
556.61/556.90 c 519s| 2720k| 1177k| 0 | 0.0 | 536M| 34 | - | 50 |2713 | 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | -- | Inf
560.12/560.33 c 522s| 2730k| 1179k| 0 | 0.0 | 537M| 34 | - | 50 |2681 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | -- | Inf
563.61/563.83 c 526s| 2740k| 1181k| 0 | 0.0 | 539M| 34 | - | 50 |2757 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | -- | Inf
567.21/567.43 c 529s| 2750k| 1183k| 0 | 0.0 | 541M| 34 | - | 50 |2738 | 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | -- | Inf
570.91/571.17 c 533s| 2760k| 1185k| 0 | 0.0 | 542M| 34 | - | 50 |2782 | 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | -- | Inf
574.61/574.84 c 536s| 2770k| 1187k| 0 | 0.0 | 544M| 34 | - | 50 |2709 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | -- | Inf
578.20/578.43 c 540s| 2780k| 1189k| 0 | 0.0 | 546M| 34 | - | 50 |2585 | 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | -- | Inf
581.80/582.01 c 543s| 2790k| 1191k| 0 | 0.0 | 547M| 34 | - | 50 |2622 | 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | -- | Inf
585.30/585.55 c 546s| 2800k| 1193k| 0 | 0.0 | 549M| 34 | - | 50 |2670 | 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | -- | Inf
588.90/589.17 c 550s| 2810k| 1195k| 0 | 0.0 | 550M| 34 | - | 50 |2635 | 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | -- | Inf
592.50/592.71 c 553s| 2820k| 1197k| 0 | 0.0 | 552M| 34 | - | 50 |2589 | 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | -- | Inf
596.01/596.29 c 557s| 2830k| 1199k| 0 | 0.0 | 554M| 34 | - | 50 |2658 | 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | -- | Inf
599.60/599.82 c 560s| 2840k| 1201k| 0 | 0.0 | 555M| 34 | - | 50 |2427 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | -- | Inf
602.89/603.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
602.89/603.16 c 563s| 2850k| 1203k| 0 | 0.0 | 557M| 34 | - | 50 |2434 | 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | -- | Inf
606.19/606.45 c 566s| 2860k| 1204k| 0 | 0.0 | 559M| 34 | - | 50 |2586 | 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | -- | Inf
609.70/609.93 c 570s| 2870k| 1206k| 0 | 0.0 | 560M| 34 | - | 50 |2697 | 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | -- | Inf
613.29/613.52 c 573s| 2880k| 1208k| 0 | 0.0 | 562M| 34 | - | 50 |2692 | 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | -- | Inf
616.90/617.13 c 577s| 2890k| 1210k| 0 | 0.0 | 563M| 34 | - | 50 |2704 | 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | -- | Inf
620.69/620.95 c 580s| 2900k| 1211k| 0 | 0.0 | 565M| 34 | - | 50 |3003 | 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | -- | Inf
624.60/624.86 c 584s| 2910k| 1213k| 0 | 0.0 | 566M| 34 | - | 50 |3227 | 0 | 0 | 0 | 291k| 0 | 0.000000e+00 | -- | Inf
628.79/629.00 c 588s| 2920k| 1214k| 0 | 0.0 | 568M| 34 | - | 50 |3387 | 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | -- | Inf
633.09/633.31 c 592s| 2930k| 1215k| 0 | 0.0 | 569M| 35 | - | 50 |3631 | 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | -- | Inf
637.39/637.63 c 596s| 2940k| 1217k| 0 | 0.0 | 571M| 35 | - | 50 |3619 | 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | -- | Inf
641.88/642.10 c 601s| 2950k| 1218k| 0 | 0.0 | 573M| 35 | - | 50 |3760 | 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | -- | Inf
646.79/647.00 c 606s| 2960k| 1219k| 0 | 0.0 | 574M| 35 | - | 50 |4040 | 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | -- | Inf
651.99/652.20 c 611s| 2970k| 1220k| 0 | 0.0 | 575M| 35 | - | 50 |4144 | 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | -- | Inf
657.28/657.54 c 616s| 2980k| 1221k| 0 | 0.0 | 577M| 35 | - | 50 |4362 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | -- | Inf
662.87/663.18 c 621s| 2990k| 1222k| 0 | 0.0 | 578M| 36 | - | 50 |4546 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | -- | Inf
668.48/668.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
668.48/668.76 c 627s| 3000k| 1223k| 0 | 0.0 | 580M| 36 | - | 50 |4488 | 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | -- | Inf
674.17/674.43 c 632s| 3010k| 1224k| 0 | 0.0 | 581M| 36 | - | 50 |4496 | 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | -- | Inf
679.67/679.96 c 638s| 3020k| 1225k| 0 | 0.0 | 582M| 36 | - | 50 |4640 | 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | -- | Inf
685.57/685.86 c 643s| 3030k| 1227k| 0 | 0.0 | 584M| 36 | - | 50 |4643 | 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | -- | Inf
691.77/692.08 c 649s| 3040k| 1227k| 0 | 0.0 | 585M| 36 | - | 50 |5380 | 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | -- | Inf
699.56/699.80 c 657s| 3050k| 1227k| 0 | 0.0 | 586M| 36 | - | 50 |6092 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | -- | Inf
704.36/704.62 c 662s| 3060k| 1232k| 0 | 0.0 | 588M| 36 | - | 50 |3444 | 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | -- | Inf
706.26/706.56 c 663s| 3070k| 1239k| 0 | 0.0 | 590M| 36 | - | 50 |3241 | 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | -- | Inf
708.35/708.63 c 665s| 3080k| 1247k| 0 | 0.0 | 592M| 36 | - | 50 |3279 | 0 | 0 | 0 | 317k| 0 | 0.000000e+00 | -- | Inf
710.56/710.84 c 667s| 3090k| 1254k| 0 | 0.0 | 594M| 36 | - | 50 |3214 | 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | -- | Inf
712.66/712.96 c 669s| 3100k| 1260k| 0 | 0.0 | 597M| 36 | - | 50 |3257 | 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | -- | Inf
714.95/715.24 c 672s| 3110k| 1267k| 0 | 0.0 | 599M| 36 | - | 50 |3255 | 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | -- | Inf
717.25/717.58 c 674s| 3120k| 1274k| 0 | 0.0 | 601M| 36 | - | 50 |2869 | 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | -- | Inf
719.45/719.74 c 676s| 3130k| 1281k| 0 | 0.0 | 603M| 36 | - | 50 |2881 | 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | -- | Inf
721.75/722.01 c 678s| 3140k| 1288k| 0 | 0.0 | 606M| 36 | - | 50 |3191 | 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | -- | Inf
724.15/724.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
724.15/724.41 c 680s| 3150k| 1294k| 0 | 0.0 | 608M| 36 | - | 50 |3157 | 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | -- | Inf
726.45/726.78 c 682s| 3160k| 1301k| 0 | 0.0 | 610M| 36 | - | 50 |2887 | 0 | 0 | 0 | 322k| 0 | 0.000000e+00 | -- | Inf
728.75/729.03 c 685s| 3170k| 1308k| 0 | 0.0 | 612M| 36 | - | 50 |2591 | 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | -- | Inf
730.84/731.14 c 687s| 3180k| 1315k| 0 | 0.0 | 614M| 36 | - | 50 |1756 | 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | -- | Inf
732.74/733.06 c 688s| 3190k| 1321k| 0 | 0.0 | 616M| 36 | - | 50 |2012 | 0 | 0 | 0 | 324k| 0 | 0.000000e+00 | -- | Inf
734.74/735.09 c 690s| 3200k| 1328k| 0 | 0.0 | 619M| 36 | - | 50 |2124 | 0 | 0 | 0 | 324k| 0 | 0.000000e+00 | -- | Inf
736.85/737.12 c 692s| 3210k| 1334k| 0 | 0.0 | 621M| 36 | - | 50 |1951 | 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | -- | Inf
738.85/739.12 c 694s| 3220k| 1341k| 0 | 0.0 | 623M| 36 | - | 50 |1969 | 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | -- | Inf
740.85/741.17 c 696s| 3230k| 1348k| 0 | 0.0 | 625M| 36 | - | 50 |1405 | 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | -- | Inf
742.75/743.00 c 698s| 3240k| 1354k| 0 | 0.0 | 627M| 36 | - | 50 |1595 | 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | -- | Inf
744.64/744.90 c 699s| 3250k| 1361k| 0 | 0.0 | 629M| 36 | - | 50 |1319 | 0 | 0 | 0 | 328k| 0 | 0.000000e+00 | -- | Inf
746.34/746.68 c 701s| 3260k| 1367k| 0 | 0.0 | 631M| 36 | - | 50 |1095 | 0 | 0 | 0 | 329k| 0 | 0.000000e+00 | -- | Inf
748.05/748.35 c 703s| 3270k| 1374k| 0 | 0.0 | 634M| 36 | - | 50 |1049 | 0 | 0 | 0 | 329k| 0 | 0.000000e+00 | -- | Inf
749.75/750.08 c 704s| 3280k| 1381k| 0 | 0.0 | 636M| 36 | - | 50 |1301 | 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | -- | Inf
751.64/751.94 c 706s| 3290k| 1387k| 0 | 0.0 | 638M| 36 | - | 50 |1446 | 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | -- | Inf
753.54/753.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
753.54/753.84 c 708s| 3300k| 1393k| 0 | 0.0 | 640M| 36 | - | 50 |1379 | 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | -- | Inf
755.45/755.72 c 709s| 3310k| 1400k| 0 | 0.0 | 643M| 36 | - | 50 |1424 | 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | -- | Inf
757.34/757.64 c 711s| 3320k| 1406k| 0 | 0.0 | 645M| 36 | - | 50 |1340 | 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | -- | Inf
759.24/759.53 c 713s| 3330k| 1412k| 0 | 0.0 | 647M| 36 | - | 50 |1361 | 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | -- | Inf
761.14/761.44 c 715s| 3340k| 1419k| 0 | 0.0 | 649M| 36 | - | 50 |1242 | 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | -- | Inf
762.94/763.27 c 716s| 3350k| 1425k| 0 | 0.0 | 651M| 36 | - | 50 |1096 | 0 | 0 | 0 | 335k| 0 | 0.000000e+00 | -- | Inf
764.73/765.08 c 718s| 3360k| 1432k| 0 | 0.0 | 654M| 36 | - | 50 |1415 | 0 | 0 | 0 | 336k| 0 | 0.000000e+00 | -- | Inf
766.64/766.93 c 720s| 3370k| 1438k| 0 | 0.0 | 656M| 36 | - | 50 |1130 | 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | -- | Inf
768.44/768.74 c 721s| 3380k| 1444k| 0 | 0.0 | 658M| 36 | - | 50 |1026 | 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | -- | Inf
770.14/770.43 c 723s| 3390k| 1451k| 0 | 0.0 | 660M| 36 | - | 50 | 949 | 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | -- | Inf
771.73/772.06 c 724s| 3400k| 1457k| 0 | 0.0 | 662M| 36 | - | 50 | 765 | 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | -- | Inf
773.44/773.71 c 726s| 3410k| 1464k| 0 | 0.0 | 664M| 36 | - | 50 |1039 | 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | -- | Inf
775.15/775.48 c 728s| 3420k| 1470k| 0 | 0.0 | 667M| 36 | - | 50 |1316 | 0 | 0 | 0 | 340k| 0 | 0.000000e+00 | -- | Inf
777.14/777.41 c 729s| 3430k| 1476k| 0 | 0.0 | 669M| 36 | - | 50 |1297 | 0 | 0 | 0 | 341k| 0 | 0.000000e+00 | -- | Inf
779.03/779.30 c 731s| 3440k| 1482k| 0 | 0.0 | 671M| 36 | - | 50 |1322 | 0 | 0 | 0 | 341k| 0 | 0.000000e+00 | -- | Inf
780.94/781.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
780.94/781.23 c 733s| 3450k| 1488k| 0 | 0.0 | 673M| 36 | - | 50 |1226 | 0 | 0 | 0 | 342k| 0 | 0.000000e+00 | -- | Inf
782.84/783.16 c 735s| 3460k| 1494k| 0 | 0.0 | 675M| 36 | - | 50 |1390 | 0 | 0 | 0 | 343k| 0 | 0.000000e+00 | -- | Inf
784.73/785.09 c 737s| 3470k| 1501k| 0 | 0.0 | 678M| 36 | - | 50 |1335 | 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | -- | Inf
786.73/787.00 c 738s| 3480k| 1507k| 0 | 0.0 | 680M| 36 | - | 50 |1222 | 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | -- | Inf
788.63/788.91 c 740s| 3490k| 1513k| 0 | 0.0 | 682M| 36 | - | 50 |1417 | 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | -- | Inf
790.54/790.86 c 742s| 3500k| 1519k| 0 | 0.0 | 684M| 36 | - | 50 |1227 | 0 | 0 | 0 | 346k| 0 | 0.000000e+00 | -- | Inf
792.43/792.80 c 744s| 3510k| 1525k| 0 | 0.0 | 686M| 36 | - | 50 |1107 | 0 | 0 | 0 | 347k| 0 | 0.000000e+00 | -- | Inf
794.32/794.69 c 745s| 3520k| 1531k| 0 | 0.0 | 689M| 36 | - | 50 |1193 | 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | -- | Inf
796.14/796.48 c 747s| 3530k| 1537k| 0 | 0.0 | 691M| 36 | - | 50 |1148 | 0 | 0 | 0 | 349k| 0 | 0.000000e+00 | -- | Inf
798.03/798.39 c 749s| 3540k| 1544k| 0 | 0.0 | 693M| 36 | - | 50 |1246 | 0 | 0 | 0 | 350k| 0 | 0.000000e+00 | -- | Inf
799.93/800.29 c 751s| 3550k| 1550k| 0 | 0.0 | 695M| 36 | - | 50 |1276 | 0 | 0 | 0 | 350k| 0 | 0.000000e+00 | -- | Inf
801.83/802.19 c 752s| 3560k| 1556k| 0 | 0.0 | 697M| 36 | - | 50 |1201 | 0 | 0 | 0 | 351k| 0 | 0.000000e+00 | -- | Inf
803.74/804.04 c 754s| 3570k| 1562k| 0 | 0.0 | 699M| 36 | - | 50 |1025 | 0 | 0 | 0 | 352k| 0 | 0.000000e+00 | -- | Inf
805.63/805.90 c 756s| 3580k| 1568k| 0 | 0.0 | 702M| 36 | - | 50 |1053 | 0 | 0 | 0 | 353k| 0 | 0.000000e+00 | -- | Inf
807.32/807.69 c 758s| 3590k| 1574k| 0 | 0.0 | 704M| 36 | - | 50 | 866 | 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | -- | Inf
809.12/809.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
809.12/809.46 c 759s| 3600k| 1581k| 0 | 0.0 | 706M| 36 | - | 50 | 990 | 0 | 0 | 0 | 355k| 0 | 0.000000e+00 | -- | Inf
811.03/811.31 c 761s| 3610k| 1586k| 0 | 0.0 | 708M| 36 | - | 50 |1364 | 0 | 0 | 0 | 355k| 0 | 0.000000e+00 | -- | Inf
812.93/813.29 c 763s| 3620k| 1592k| 0 | 0.0 | 710M| 36 | - | 50 |1562 | 0 | 0 | 0 | 356k| 0 | 0.000000e+00 | -- | Inf
815.02/815.37 c 765s| 3630k| 1598k| 0 | 0.0 | 712M| 36 | - | 50 |1495 | 0 | 0 | 0 | 357k| 0 | 0.000000e+00 | -- | Inf
817.23/817.51 c 767s| 3640k| 1604k| 0 | 0.0 | 715M| 36 | - | 50 |1400 | 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | -- | Inf
819.13/819.45 c 768s| 3650k| 1610k| 0 | 0.0 | 717M| 36 | - | 50 |1496 | 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | -- | Inf
821.23/821.50 c 770s| 3660k| 1616k| 0 | 0.0 | 719M| 36 | - | 50 |1454 | 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | -- | Inf
823.22/823.59 c 772s| 3670k| 1622k| 0 | 0.0 | 721M| 36 | - | 50 |1387 | 0 | 0 | 0 | 360k| 0 | 0.000000e+00 | -- | Inf
825.32/825.61 c 774s| 3680k| 1628k| 0 | 0.0 | 723M| 36 | - | 50 |1606 | 0 | 0 | 0 | 361k| 0 | 0.000000e+00 | -- | Inf
827.42/827.74 c 776s| 3690k| 1634k| 0 | 0.0 | 725M| 36 | - | 50 |1442 | 0 | 0 | 0 | 362k| 0 | 0.000000e+00 | -- | Inf
829.52/829.83 c 778s| 3700k| 1640k| 0 | 0.0 | 728M| 36 | - | 50 |1386 | 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | -- | Inf
831.52/831.89 c 780s| 3710k| 1645k| 0 | 0.0 | 730M| 36 | - | 50 |1362 | 0 | 0 | 0 | 364k| 0 | 0.000000e+00 | -- | Inf
833.52/833.85 c 782s| 3720k| 1651k| 0 | 0.0 | 732M| 36 | - | 50 |1318 | 0 | 0 | 0 | 365k| 0 | 0.000000e+00 | -- | Inf
835.41/835.79 c 784s| 3730k| 1657k| 0 | 0.0 | 734M| 36 | - | 50 |1415 | 0 | 0 | 0 | 365k| 0 | 0.000000e+00 | -- | Inf
837.52/837.87 c 786s| 3740k| 1663k| 0 | 0.0 | 736M| 36 | - | 50 |1349 | 0 | 0 | 0 | 366k| 0 | 0.000000e+00 | -- | Inf
839.52/839.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
839.52/839.82 c 787s| 3750k| 1669k| 0 | 0.0 | 738M| 36 | - | 50 |1386 | 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | -- | Inf
841.51/841.84 c 789s| 3760k| 1675k| 0 | 0.0 | 741M| 36 | - | 50 |1153 | 0 | 0 | 0 | 368k| 0 | 0.000000e+00 | -- | Inf
843.52/843.83 c 791s| 3770k| 1681k| 0 | 0.0 | 743M| 36 | - | 50 |1151 | 0 | 0 | 0 | 369k| 0 | 0.000000e+00 | -- | Inf
845.42/845.73 c 793s| 3780k| 1687k| 0 | 0.0 | 745M| 36 | - | 50 |1002 | 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | -- | Inf
847.22/847.53 c 795s| 3790k| 1693k| 0 | 0.0 | 747M| 36 | - | 50 | 964 | 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | -- | Inf
849.11/849.45 c 796s| 3800k| 1699k| 0 | 0.0 | 749M| 36 | - | 50 |1159 | 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | -- | Inf
851.02/851.38 c 798s| 3810k| 1705k| 0 | 0.0 | 751M| 36 | - | 50 |1186 | 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | -- | Inf
853.01/853.33 c 800s| 3820k| 1711k| 0 | 0.0 | 753M| 36 | - | 50 |1198 | 0 | 0 | 0 | 373k| 0 | 0.000000e+00 | -- | Inf
855.01/855.31 c 802s| 3830k| 1716k| 0 | 0.0 | 756M| 36 | - | 50 |1067 | 0 | 0 | 0 | 374k| 0 | 0.000000e+00 | -- | Inf
856.91/857.21 c 804s| 3840k| 1722k| 0 | 0.0 | 758M| 36 | - | 50 |1137 | 0 | 0 | 0 | 375k| 0 | 0.000000e+00 | -- | Inf
858.72/859.07 c 805s| 3850k| 1728k| 0 | 0.0 | 760M| 36 | - | 50 |1089 | 0 | 0 | 0 | 376k| 0 | 0.000000e+00 | -- | Inf
860.71/861.01 c 807s| 3860k| 1734k| 0 | 0.0 | 762M| 36 | - | 50 |1058 | 0 | 0 | 0 | 376k| 0 | 0.000000e+00 | -- | Inf
862.50/862.82 c 809s| 3870k| 1740k| 0 | 0.0 | 764M| 36 | - | 50 | 901 | 0 | 0 | 0 | 377k| 0 | 0.000000e+00 | -- | Inf
864.31/864.62 c 810s| 3880k| 1746k| 0 | 0.0 | 766M| 36 | - | 50 | 908 | 0 | 0 | 0 | 378k| 0 | 0.000000e+00 | -- | Inf
866.21/866.54 c 812s| 3890k| 1752k| 0 | 0.0 | 768M| 36 | - | 50 | 948 | 0 | 0 | 0 | 379k| 0 | 0.000000e+00 | -- | Inf
868.11/868.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
868.11/868.46 c 814s| 3900k| 1757k| 0 | 0.0 | 771M| 36 | - | 50 |1086 | 0 | 0 | 0 | 380k| 0 | 0.000000e+00 | -- | Inf
870.10/870.46 c 816s| 3910k| 1763k| 0 | 0.0 | 773M| 36 | - | 50 |1187 | 0 | 0 | 0 | 381k| 0 | 0.000000e+00 | -- | Inf
872.11/872.49 c 818s| 3920k| 1769k| 0 | 0.0 | 775M| 36 | - | 50 |1158 | 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | -- | Inf
874.22/874.54 c 820s| 3930k| 1774k| 0 | 0.0 | 777M| 36 | - | 50 |1195 | 0 | 0 | 0 | 383k| 0 | 0.000000e+00 | -- | Inf
876.20/876.54 c 822s| 3940k| 1780k| 0 | 0.0 | 779M| 36 | - | 50 |1106 | 0 | 0 | 0 | 383k| 0 | 0.000000e+00 | -- | Inf
878.10/878.49 c 823s| 3950k| 1786k| 0 | 0.0 | 781M| 36 | - | 50 |1054 | 0 | 0 | 0 | 384k| 0 | 0.000000e+00 | -- | Inf
880.01/880.38 c 825s| 3960k| 1791k| 0 | 0.0 | 783M| 36 | - | 50 | 953 | 0 | 0 | 0 | 385k| 0 | 0.000000e+00 | -- | Inf
881.91/882.24 c 827s| 3970k| 1797k| 0 | 0.0 | 786M| 36 | - | 50 |1315 | 0 | 0 | 0 | 386k| 0 | 0.000000e+00 | -- | Inf
883.90/884.27 c 829s| 3980k| 1803k| 0 | 0.0 | 788M| 36 | - | 50 |1598 | 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | -- | Inf
886.10/886.42 c 831s| 3990k| 1808k| 0 | 0.0 | 790M| 36 | - | 50 |1589 | 0 | 0 | 0 | 388k| 0 | 0.000000e+00 | -- | Inf
888.30/888.65 c 833s| 4000k| 1814k| 0 | 0.0 | 792M| 36 | - | 50 |1527 | 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | -- | Inf
890.50/890.86 c 835s| 4010k| 1819k| 0 | 0.0 | 794M| 36 | - | 50 |1651 | 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | -- | Inf
892.70/893.09 c 837s| 4020k| 1825k| 0 | 0.0 | 796M| 36 | - | 50 |1656 | 0 | 0 | 0 | 390k| 0 | 0.000000e+00 | -- | Inf
895.00/895.36 c 839s| 4030k| 1831k| 0 | 0.0 | 799M| 36 | - | 50 |1561 | 0 | 0 | 0 | 391k| 0 | 0.000000e+00 | -- | Inf
897.21/897.59 c 841s| 4040k| 1836k| 0 | 0.0 | 801M| 36 | - | 50 |1632 | 0 | 0 | 0 | 392k| 0 | 0.000000e+00 | -- | Inf
899.40/899.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
899.40/899.80 c 843s| 4050k| 1842k| 0 | 0.0 | 803M| 36 | - | 50 |1740 | 0 | 0 | 0 | 393k| 0 | 0.000000e+00 | -- | Inf
901.71/902.02 c 845s| 4060k| 1848k| 0 | 0.0 | 805M| 36 | - | 50 |1685 | 0 | 0 | 0 | 394k| 0 | 0.000000e+00 | -- | Inf
903.90/904.21 c 847s| 4070k| 1853k| 0 | 0.0 | 807M| 36 | - | 50 |1392 | 0 | 0 | 0 | 395k| 0 | 0.000000e+00 | -- | Inf
906.00/906.32 c 849s| 4080k| 1859k| 0 | 0.0 | 809M| 36 | - | 50 |1606 | 0 | 0 | 0 | 396k| 0 | 0.000000e+00 | -- | Inf
908.20/908.51 c 851s| 4090k| 1864k| 0 | 0.0 | 811M| 36 | - | 50 |1560 | 0 | 0 | 0 | 397k| 0 | 0.000000e+00 | -- | Inf
910.40/910.75 c 853s| 4100k| 1870k| 0 | 0.0 | 813M| 36 | - | 50 |1596 | 0 | 0 | 0 | 398k| 0 | 0.000000e+00 | -- | Inf
912.60/912.96 c 856s| 4110k| 1876k| 0 | 0.0 | 816M| 36 | - | 50 |1439 | 0 | 0 | 0 | 398k| 0 | 0.000000e+00 | -- | Inf
914.69/915.09 c 858s| 4120k| 1881k| 0 | 0.0 | 818M| 36 | - | 50 |1295 | 0 | 0 | 0 | 399k| 0 | 0.000000e+00 | -- | Inf
916.69/917.08 c 859s| 4130k| 1887k| 0 | 0.0 | 820M| 36 | - | 50 |1091 | 0 | 0 | 0 | 400k| 0 | 0.000000e+00 | -- | Inf
918.69/919.01 c 861s| 4140k| 1893k| 0 | 0.0 | 822M| 36 | - | 50 |1074 | 0 | 0 | 0 | 401k| 0 | 0.000000e+00 | -- | Inf
920.69/921.05 c 863s| 4150k| 1898k| 0 | 0.0 | 824M| 36 | - | 50 |1330 | 0 | 0 | 0 | 402k| 0 | 0.000000e+00 | -- | Inf
922.79/923.11 c 865s| 4160k| 1904k| 0 | 0.0 | 826M| 36 | - | 50 |1275 | 0 | 0 | 0 | 403k| 0 | 0.000000e+00 | -- | Inf
924.79/925.16 c 867s| 4170k| 1910k| 0 | 0.0 | 828M| 36 | - | 50 |1333 | 0 | 0 | 0 | 404k| 0 | 0.000000e+00 | -- | Inf
926.90/927.22 c 869s| 4180k| 1915k| 0 | 0.0 | 830M| 36 | - | 50 |1247 | 0 | 0 | 0 | 405k| 0 | 0.000000e+00 | -- | Inf
928.89/929.25 c 871s| 4190k| 1921k| 0 | 0.0 | 833M| 36 | - | 50 |1158 | 0 | 0 | 0 | 405k| 0 | 0.000000e+00 | -- | Inf
930.89/931.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
930.89/931.24 c 873s| 4200k| 1927k| 0 | 0.0 | 835M| 36 | - | 50 |1042 | 0 | 0 | 0 | 406k| 0 | 0.000000e+00 | -- | Inf
932.89/933.20 c 874s| 4210k| 1932k| 0 | 0.0 | 837M| 36 | - | 50 |1030 | 0 | 0 | 0 | 407k| 0 | 0.000000e+00 | -- | Inf
934.69/935.08 c 876s| 4220k| 1938k| 0 | 0.0 | 839M| 36 | - | 50 |1027 | 0 | 0 | 0 | 408k| 0 | 0.000000e+00 | -- | Inf
936.59/936.96 c 878s| 4230k| 1944k| 0 | 0.0 | 841M| 36 | - | 50 |1009 | 0 | 0 | 0 | 409k| 0 | 0.000000e+00 | -- | Inf
938.49/938.88 c 880s| 4240k| 1949k| 0 | 0.0 | 843M| 36 | - | 50 |1005 | 0 | 0 | 0 | 409k| 0 | 0.000000e+00 | -- | Inf
940.48/940.84 c 882s| 4250k| 1955k| 0 | 0.0 | 845M| 36 | - | 50 |1012 | 0 | 0 | 0 | 410k| 0 | 0.000000e+00 | -- | Inf
942.49/942.85 c 883s| 4260k| 1960k| 0 | 0.0 | 847M| 36 | - | 50 |1145 | 0 | 0 | 0 | 411k| 0 | 0.000000e+00 | -- | Inf
944.59/944.98 c 885s| 4270k| 1966k| 0 | 0.0 | 850M| 36 | - | 50 |1152 | 0 | 0 | 0 | 412k| 0 | 0.000000e+00 | -- | Inf
946.79/947.13 c 887s| 4280k| 1971k| 0 | 0.0 | 852M| 36 | - | 50 |1212 | 0 | 0 | 0 | 413k| 0 | 0.000000e+00 | -- | Inf
948.99/949.31 c 889s| 4290k| 1976k| 0 | 0.0 | 854M| 36 | - | 50 |1296 | 0 | 0 | 0 | 414k| 0 | 0.000000e+00 | -- | Inf
951.09/951.42 c 891s| 4300k| 1981k| 0 | 0.0 | 856M| 36 | - | 50 |1328 | 0 | 0 | 0 | 415k| 0 | 0.000000e+00 | -- | Inf
953.18/953.58 c 893s| 4310k| 1987k| 0 | 0.0 | 858M| 36 | - | 50 |1140 | 0 | 0 | 0 | 416k| 0 | 0.000000e+00 | -- | Inf
955.28/955.64 c 895s| 4320k| 1992k| 0 | 0.0 | 860M| 36 | - | 50 |1207 | 0 | 0 | 0 | 417k| 0 | 0.000000e+00 | -- | Inf
957.37/957.79 c 897s| 4330k| 1997k| 0 | 0.0 | 862M| 36 | - | 50 |1152 | 0 | 0 | 0 | 418k| 0 | 0.000000e+00 | -- | Inf
959.48/959.86 c 899s| 4340k| 2003k| 0 | 0.0 | 864M| 36 | - | 50 |1158 | 0 | 0 | 0 | 419k| 0 | 0.000000e+00 | -- | Inf
961.58/961.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
961.58/961.94 c 901s| 4350k| 2008k| 0 | 0.0 | 866M| 36 | - | 50 |1116 | 0 | 0 | 0 | 420k| 0 | 0.000000e+00 | -- | Inf
963.67/964.07 c 903s| 4360k| 2013k| 0 | 0.0 | 868M| 36 | - | 50 |1107 | 0 | 0 | 0 | 421k| 0 | 0.000000e+00 | -- | Inf
965.68/966.03 c 905s| 4370k| 2019k| 0 | 0.0 | 870M| 36 | - | 50 |1093 | 0 | 0 | 0 | 422k| 0 | 0.000000e+00 | -- | Inf
967.78/968.11 c 907s| 4380k| 2024k| 0 | 0.0 | 873M| 36 | - | 50 |1180 | 0 | 0 | 0 | 423k| 0 | 0.000000e+00 | -- | Inf
969.78/970.15 c 909s| 4390k| 2029k| 0 | 0.0 | 875M| 36 | - | 50 |1126 | 0 | 0 | 0 | 423k| 0 | 0.000000e+00 | -- | Inf
971.78/972.19 c 911s| 4400k| 2035k| 0 | 0.0 | 877M| 36 | - | 50 | 962 | 0 | 0 | 0 | 424k| 0 | 0.000000e+00 | -- | Inf
973.77/974.10 c 913s| 4410k| 2040k| 0 | 0.0 | 879M| 36 | - | 50 | 919 | 0 | 0 | 0 | 425k| 0 | 0.000000e+00 | -- | Inf
975.67/976.03 c 914s| 4420k| 2045k| 0 | 0.0 | 881M| 36 | - | 50 | 934 | 0 | 0 | 0 | 426k| 0 | 0.000000e+00 | -- | Inf
977.58/977.96 c 916s| 4430k| 2051k| 0 | 0.0 | 883M| 36 | - | 50 |1081 | 0 | 0 | 0 | 427k| 0 | 0.000000e+00 | -- | Inf
979.48/979.89 c 918s| 4440k| 2056k| 0 | 0.0 | 885M| 36 | - | 50 | 999 | 0 | 0 | 0 | 428k| 0 | 0.000000e+00 | -- | Inf
981.47/981.89 c 920s| 4450k| 2061k| 0 | 0.0 | 887M| 36 | - | 50 |1169 | 0 | 0 | 0 | 429k| 0 | 0.000000e+00 | -- | Inf
983.47/983.89 c 922s| 4460k| 2066k| 0 | 0.0 | 889M| 36 | - | 50 |1110 | 0 | 0 | 0 | 430k| 0 | 0.000000e+00 | -- | Inf
985.57/985.97 c 924s| 4470k| 2072k| 0 | 0.0 | 891M| 36 | - | 50 |1176 | 0 | 0 | 0 | 430k| 0 | 0.000000e+00 | -- | Inf
987.57/987.93 c 925s| 4480k| 2077k| 0 | 0.0 | 893M| 36 | - | 50 |1121 | 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | -- | Inf
989.57/989.91 c 927s| 4490k| 2082k| 0 | 0.0 | 896M| 36 | - | 50 |1102 | 0 | 0 | 0 | 432k| 0 | 0.000000e+00 | -- | Inf
991.47/991.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
991.47/991.88 c 929s| 4500k| 2088k| 0 | 0.0 | 898M| 36 | - | 50 |1050 | 0 | 0 | 0 | 433k| 0 | 0.000000e+00 | -- | Inf
993.46/993.88 c 931s| 4510k| 2093k| 0 | 0.0 | 900M| 36 | - | 50 |1040 | 0 | 0 | 0 | 434k| 0 | 0.000000e+00 | -- | Inf
995.57/995.92 c 933s| 4520k| 2098k| 0 | 0.0 | 902M| 36 | - | 50 |1261 | 0 | 0 | 0 | 435k| 0 | 0.000000e+00 | -- | Inf
997.67/998.05 c 935s| 4530k| 2104k| 0 | 0.0 | 904M| 36 | - | 50 |1225 | 0 | 0 | 0 | 436k| 0 | 0.000000e+00 | -- | Inf
999.77/1000.14 c 937s| 4540k| 2109k| 0 | 0.0 | 906M| 36 | - | 50 |1437 | 0 | 0 | 0 | 436k| 0 | 0.000000e+00 | -- | Inf
1001.86/1002.28 c 939s| 4550k| 2114k| 0 | 0.0 | 908M| 36 | - | 50 |1514 | 0 | 0 | 0 | 437k| 0 | 0.000000e+00 | -- | Inf
1004.06/1004.44 c 941s| 4560k| 2120k| 0 | 0.0 | 910M| 36 | - | 50 |1490 | 0 | 0 | 0 | 438k| 0 | 0.000000e+00 | -- | Inf
1006.26/1006.62 c 943s| 4570k| 2125k| 0 | 0.0 | 912M| 36 | - | 50 |1574 | 0 | 0 | 0 | 439k| 0 | 0.000000e+00 | -- | Inf
1008.46/1008.88 c 945s| 4580k| 2130k| 0 | 0.0 | 915M| 36 | - | 50 |1567 | 0 | 0 | 0 | 440k| 0 | 0.000000e+00 | -- | Inf
1010.77/1011.16 c 947s| 4590k| 2136k| 0 | 0.0 | 917M| 36 | - | 50 |1423 | 0 | 0 | 0 | 441k| 0 | 0.000000e+00 | -- | Inf
1012.97/1013.33 c 949s| 4600k| 2141k| 0 | 0.0 | 919M| 36 | - | 50 |1352 | 0 | 0 | 0 | 442k| 0 | 0.000000e+00 | -- | Inf
1015.17/1015.50 c 951s| 4610k| 2146k| 0 | 0.0 | 921M| 36 | - | 50 |1444 | 0 | 0 | 0 | 443k| 0 | 0.000000e+00 | -- | Inf
1017.36/1017.72 c 953s| 4620k| 2151k| 0 | 0.0 | 923M| 36 | - | 50 |1437 | 0 | 0 | 0 | 444k| 0 | 0.000000e+00 | -- | Inf
1019.55/1019.90 c 955s| 4630k| 2157k| 0 | 0.0 | 925M| 36 | - | 50 |1383 | 0 | 0 | 0 | 445k| 0 | 0.000000e+00 | -- | Inf
1021.56/1021.97 c 957s| 4640k| 2162k| 0 | 0.0 | 927M| 36 | - | 50 |1278 | 0 | 0 | 0 | 445k| 0 | 0.000000e+00 | -- | Inf
1023.66/1024.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1023.66/1024.04 c 959s| 4650k| 2167k| 0 | 0.0 | 929M| 36 | - | 50 |1047 | 0 | 0 | 0 | 446k| 0 | 0.000000e+00 | -- | Inf
1025.65/1026.03 c 961s| 4660k| 2173k| 0 | 0.0 | 931M| 36 | - | 50 |1153 | 0 | 0 | 0 | 447k| 0 | 0.000000e+00 | -- | Inf
1027.76/1028.11 c 963s| 4670k| 2178k| 0 | 0.0 | 933M| 36 | - | 50 |1247 | 0 | 0 | 0 | 448k| 0 | 0.000000e+00 | -- | Inf
1029.86/1030.25 c 965s| 4680k| 2183k| 0 | 0.0 | 935M| 36 | - | 50 |1280 | 0 | 0 | 0 | 449k| 0 | 0.000000e+00 | -- | Inf
1031.95/1032.31 c 967s| 4690k| 2189k| 0 | 0.0 | 937M| 36 | - | 50 |1306 | 0 | 0 | 0 | 450k| 0 | 0.000000e+00 | -- | Inf
1034.05/1034.40 c 969s| 4700k| 2194k| 0 | 0.0 | 939M| 36 | - | 50 |1238 | 0 | 0 | 0 | 450k| 0 | 0.000000e+00 | -- | Inf
1036.05/1036.49 c 971s| 4710k| 2199k| 0 | 0.0 | 942M| 36 | - | 50 |1203 | 0 | 0 | 0 | 451k| 0 | 0.000000e+00 | -- | Inf
1038.06/1038.47 c 973s| 4720k| 2205k| 0 | 0.0 | 944M| 36 | - | 50 |1204 | 0 | 0 | 0 | 452k| 0 | 0.000000e+00 | -- | Inf
1040.15/1040.57 c 975s| 4730k| 2210k| 0 | 0.0 | 946M| 36 | - | 50 |1125 | 0 | 0 | 0 | 453k| 0 | 0.000000e+00 | -- | Inf
1042.15/1042.58 c 977s| 4740k| 2215k| 0 | 0.0 | 948M| 36 | - | 50 |1062 | 0 | 0 | 0 | 454k| 0 | 0.000000e+00 | -- | Inf
1044.25/1044.62 c 979s| 4750k| 2221k| 0 | 0.0 | 950M| 36 | - | 50 |1095 | 0 | 0 | 0 | 455k| 0 | 0.000000e+00 | -- | Inf
1046.25/1046.61 c 980s| 4760k| 2226k| 0 | 0.0 | 952M| 36 | - | 50 |1018 | 0 | 0 | 0 | 456k| 0 | 0.000000e+00 | -- | Inf
1048.25/1048.65 c 982s| 4770k| 2231k| 0 | 0.0 | 954M| 36 | - | 50 |1057 | 0 | 0 | 0 | 456k| 0 | 0.000000e+00 | -- | Inf
1050.45/1050.80 c 984s| 4780k| 2236k| 0 | 0.0 | 956M| 36 | - | 50 |1186 | 0 | 0 | 0 | 457k| 0 | 0.000000e+00 | -- | Inf
1052.45/1052.88 c 986s| 4790k| 2241k| 0 | 0.0 | 958M| 36 | - | 50 |1214 | 0 | 0 | 0 | 458k| 0 | 0.000000e+00 | -- | Inf
1054.64/1055.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1054.64/1055.08 c 988s| 4800k| 2246k| 0 | 0.0 | 960M| 36 | - | 50 |1320 | 0 | 0 | 0 | 459k| 0 | 0.000000e+00 | -- | Inf
1056.85/1057.27 c 990s| 4810k| 2251k| 0 | 0.0 | 962M| 36 | - | 50 |1256 | 0 | 0 | 0 | 460k| 0 | 0.000000e+00 | -- | Inf
1059.15/1059.53 c 992s| 4820k| 2256k| 0 | 0.0 | 964M| 36 | - | 50 |1312 | 0 | 0 | 0 | 461k| 0 | 0.000000e+00 | -- | Inf
1061.34/1061.75 c 995s| 4830k| 2261k| 0 | 0.0 | 966M| 36 | - | 50 |1278 | 0 | 0 | 0 | 462k| 0 | 0.000000e+00 | -- | Inf
1063.55/1063.91 c 997s| 4840k| 2266k| 0 | 0.0 | 968M| 36 | - | 50 |1196 | 0 | 0 | 0 | 463k| 0 | 0.000000e+00 | -- | Inf
1065.65/1066.05 c 999s| 4850k| 2271k| 0 | 0.0 | 971M| 36 | - | 50 |1158 | 0 | 0 | 0 | 464k| 0 | 0.000000e+00 | -- | Inf
1067.65/1068.09 c 1000s| 4860k| 2276k| 0 | 0.0 | 973M| 36 | - | 50 |1096 | 0 | 0 | 0 | 465k| 0 | 0.000000e+00 | -- | Inf
1069.74/1070.20 c 1002s| 4870k| 2281k| 0 | 0.0 | 975M| 36 | - | 50 |1108 | 0 | 0 | 0 | 466k| 0 | 0.000000e+00 | -- | Inf
1071.94/1072.37 c 1004s| 4880k| 2286k| 0 | 0.0 | 977M| 36 | - | 50 |1133 | 0 | 0 | 0 | 466k| 0 | 0.000000e+00 | -- | Inf
1074.14/1074.50 c 1006s| 4890k| 2291k| 0 | 0.0 | 979M| 36 | - | 50 |1094 | 0 | 0 | 0 | 467k| 0 | 0.000000e+00 | -- | Inf
1076.14/1076.56 c 1008s| 4900k| 2296k| 0 | 0.0 | 981M| 36 | - | 50 |1056 | 0 | 0 | 0 | 468k| 0 | 0.000000e+00 | -- | Inf
1078.14/1078.53 c 1010s| 4910k| 2301k| 0 | 0.0 | 983M| 36 | - | 50 | 984 | 0 | 0 | 0 | 469k| 0 | 0.000000e+00 | -- | Inf
1080.14/1080.56 c 1012s| 4920k| 2306k| 0 | 0.0 | 985M| 36 | - | 50 |1009 | 0 | 0 | 0 | 470k| 0 | 0.000000e+00 | -- | Inf
1082.24/1082.68 c 1014s| 4930k| 2311k| 0 | 0.0 | 987M| 36 | - | 50 |1071 | 0 | 0 | 0 | 471k| 0 | 0.000000e+00 | -- | Inf
1084.33/1084.76 c 1016s| 4940k| 2316k| 0 | 0.0 | 989M| 36 | - | 50 |1114 | 0 | 0 | 0 | 472k| 0 | 0.000000e+00 | -- | Inf
1086.44/1086.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1086.44/1086.82 c 1018s| 4950k| 2321k| 0 | 0.0 | 991M| 36 | - | 50 |1272 | 0 | 0 | 0 | 473k| 0 | 0.000000e+00 | -- | Inf
1088.54/1088.96 c 1020s| 4960k| 2326k| 0 | 0.0 | 993M| 36 | - | 50 |1172 | 0 | 0 | 0 | 474k| 0 | 0.000000e+00 | -- | Inf
1090.74/1091.17 c 1022s| 4970k| 2331k| 0 | 0.0 | 995M| 36 | - | 50 |1264 | 0 | 0 | 0 | 475k| 0 | 0.000000e+00 | -- | Inf
1092.94/1093.39 c 1024s| 4980k| 2336k| 0 | 0.0 | 997M| 36 | - | 50 |1230 | 0 | 0 | 0 | 476k| 0 | 0.000000e+00 | -- | Inf
1095.15/1095.54 c 1026s| 4990k| 2341k| 0 | 0.0 | 999M| 36 | - | 50 |1195 | 0 | 0 | 0 | 476k| 0 | 0.000000e+00 | -- | Inf
1097.23/1097.67 c 1028s| 5000k| 2346k| 0 | 0.0 |1001M| 36 | - | 50 |1116 | 0 | 0 | 0 | 477k| 0 | 0.000000e+00 | -- | Inf
1099.33/1099.76 c 1030s| 5010k| 2351k| 0 | 0.0 |1003M| 36 | - | 50 |1148 | 0 | 0 | 0 | 478k| 0 | 0.000000e+00 | -- | Inf
1101.43/1101.87 c 1032s| 5020k| 2356k| 0 | 0.0 |1005M| 36 | - | 50 |1134 | 0 | 0 | 0 | 479k| 0 | 0.000000e+00 | -- | Inf
1103.53/1103.95 c 1034s| 5030k| 2361k| 0 | 0.0 |1007M| 36 | - | 50 |1099 | 0 | 0 | 0 | 480k| 0 | 0.000000e+00 | -- | Inf
1105.63/1106.09 c 1036s| 5040k| 2366k| 0 | 0.0 |1009M| 36 | - | 50 |1084 | 0 | 0 | 0 | 481k| 0 | 0.000000e+00 | -- | Inf
1107.83/1108.21 c 1038s| 5050k| 2371k| 0 | 0.0 |1011M| 36 | - | 50 |1093 | 0 | 0 | 0 | 482k| 0 | 0.000000e+00 | -- | Inf
1109.83/1110.27 c 1040s| 5060k| 2376k| 0 | 0.0 |1013M| 36 | - | 50 |1102 | 0 | 0 | 0 | 482k| 0 | 0.000000e+00 | -- | Inf
1112.02/1112.41 c 1042s| 5070k| 2380k| 0 | 0.0 |1016M| 36 | - | 50 |1065 | 0 | 0 | 0 | 483k| 0 | 0.000000e+00 | -- | Inf
1114.02/1114.44 c 1044s| 5080k| 2385k| 0 | 0.0 |1018M| 36 | - | 50 | 922 | 0 | 0 | 0 | 484k| 0 | 0.000000e+00 | -- | Inf
1116.14/1116.54 c 1046s| 5090k| 2390k| 0 | 0.0 |1020M| 36 | - | 50 | 936 | 0 | 0 | 0 | 485k| 0 | 0.000000e+00 | -- | Inf
1118.12/1118.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1118.12/1118.56 c 1048s| 5100k| 2395k| 0 | 0.0 |1022M| 36 | - | 50 | 967 | 0 | 0 | 0 | 486k| 0 | 0.000000e+00 | -- | Inf
1120.13/1120.57 c 1050s| 5110k| 2400k| 0 | 0.0 |1024M| 36 | - | 50 |1014 | 0 | 0 | 0 | 487k| 0 | 0.000000e+00 | -- | Inf
1122.23/1122.66 c 1051s| 5120k| 2405k| 0 | 0.0 |1026M| 36 | - | 50 |1086 | 0 | 0 | 0 | 488k| 0 | 0.000000e+00 | -- | Inf
1124.33/1124.73 c 1053s| 5130k| 2410k| 0 | 0.0 |1028M| 36 | - | 50 |1018 | 0 | 0 | 0 | 489k| 0 | 0.000000e+00 | -- | Inf
1126.32/1126.77 c 1055s| 5140k| 2415k| 0 | 0.0 |1030M| 36 | - | 50 |1045 | 0 | 0 | 0 | 490k| 0 | 0.000000e+00 | -- | Inf
1128.42/1128.83 c 1057s| 5150k| 2420k| 0 | 0.0 |1032M| 36 | - | 50 |1078 | 0 | 0 | 0 | 491k| 0 | 0.000000e+00 | -- | Inf
1130.52/1130.90 c 1059s| 5160k| 2425k| 0 | 0.0 |1034M| 36 | - | 50 |1019 | 0 | 0 | 0 | 491k| 0 | 0.000000e+00 | -- | Inf
1132.53/1132.91 c 1061s| 5170k| 2430k| 0 | 0.0 |1036M| 36 | - | 50 | 947 | 0 | 0 | 0 | 492k| 0 | 0.000000e+00 | -- | Inf
1134.62/1135.00 c 1063s| 5180k| 2435k| 0 | 0.0 |1038M| 36 | - | 50 | 938 | 0 | 0 | 0 | 493k| 0 | 0.000000e+00 | -- | Inf
1136.62/1137.06 c 1065s| 5190k| 2440k| 0 | 0.0 |1040M| 36 | - | 50 |1055 | 0 | 0 | 0 | 494k| 0 | 0.000000e+00 | -- | Inf
1138.72/1139.18 c 1067s| 5200k| 2445k| 0 | 0.0 |1042M| 36 | - | 50 |1044 | 0 | 0 | 0 | 495k| 0 | 0.000000e+00 | -- | Inf
1140.82/1141.27 c 1069s| 5210k| 2450k| 0 | 0.0 |1044M| 36 | - | 50 |1108 | 0 | 0 | 0 | 496k| 0 | 0.000000e+00 | -- | Inf
1142.92/1143.38 c 1071s| 5220k| 2455k| 0 | 0.0 |1046M| 36 | - | 50 | 995 | 0 | 0 | 0 | 497k| 0 | 0.000000e+00 | -- | Inf
1145.12/1145.50 c 1073s| 5230k| 2460k| 0 | 0.0 |1048M| 36 | - | 50 |1094 | 0 | 0 | 0 | 498k| 0 | 0.000000e+00 | -- | Inf
1147.21/1147.62 c 1075s| 5240k| 2465k| 0 | 0.0 |1050M| 36 | - | 50 |1034 | 0 | 0 | 0 | 498k| 0 | 0.000000e+00 | -- | Inf
1149.22/1149.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1149.22/1149.68 c 1077s| 5250k| 2470k| 0 | 0.0 |1052M| 36 | - | 50 |1219 | 0 | 0 | 0 | 499k| 0 | 0.000000e+00 | -- | Inf
1151.52/1151.95 c 1079s| 5260k| 2475k| 0 | 0.0 |1055M| 36 | - | 50 |1355 | 0 | 0 | 0 | 500k| 0 | 0.000000e+00 | -- | Inf
1153.82/1154.24 c 1081s| 5270k| 2480k| 0 | 0.0 |1057M| 36 | - | 50 |1467 | 0 | 0 | 0 | 501k| 0 | 0.000000e+00 | -- | Inf
1156.01/1156.45 c 1083s| 5280k| 2485k| 0 | 0.0 |1059M| 36 | - | 50 |1333 | 0 | 0 | 0 | 502k| 0 | 0.000000e+00 | -- | Inf
1158.32/1158.72 c 1085s| 5290k| 2490k| 0 | 0.0 |1061M| 36 | - | 50 |1501 | 0 | 0 | 0 | 503k| 0 | 0.000000e+00 | -- | Inf
1160.62/1161.05 c 1087s| 5300k| 2495k| 0 | 0.0 |1063M| 36 | - | 50 |1434 | 0 | 0 | 0 | 504k| 0 | 0.000000e+00 | -- | Inf
1162.91/1163.37 c 1090s| 5310k| 2499k| 0 | 0.0 |1065M| 36 | - | 50 |1397 | 0 | 0 | 0 | 505k| 0 | 0.000000e+00 | -- | Inf
1165.21/1165.64 c 1092s| 5320k| 2504k| 0 | 0.0 |1067M| 36 | - | 50 |1329 | 0 | 0 | 0 | 506k| 0 | 0.000000e+00 | -- | Inf
1167.41/1167.80 c 1094s| 5330k| 2509k| 0 | 0.0 |1069M| 36 | - | 50 |1237 | 0 | 0 | 0 | 507k| 0 | 0.000000e+00 | -- | Inf
1169.51/1169.95 c 1096s| 5340k| 2514k| 0 | 0.0 |1071M| 36 | - | 50 |1221 | 0 | 0 | 0 | 508k| 0 | 0.000000e+00 | -- | Inf
1171.81/1172.23 c 1098s| 5350k| 2519k| 0 | 0.0 |1073M| 36 | - | 50 |1588 | 0 | 0 | 0 | 509k| 0 | 0.000000e+00 | -- | Inf
1174.21/1174.61 c 1100s| 5360k| 2524k| 0 | 0.0 |1075M| 36 | - | 50 |1568 | 0 | 0 | 0 | 510k| 0 | 0.000000e+00 | -- | Inf
1176.71/1177.14 c 1103s| 5370k| 2529k| 0 | 0.0 |1077M| 36 | - | 50 |1563 | 0 | 0 | 0 | 511k| 0 | 0.000000e+00 | -- | Inf
1179.11/1179.50 c 1105s| 5380k| 2534k| 0 | 0.0 |1079M| 36 | - | 50 |1547 | 0 | 0 | 0 | 512k| 0 | 0.000000e+00 | -- | Inf
1181.40/1181.86 c 1107s| 5390k| 2539k| 0 | 0.0 |1081M| 36 | - | 50 |1448 | 0 | 0 | 0 | 513k| 0 | 0.000000e+00 | -- | Inf
1183.81/1184.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1183.81/1184.23 c 1109s| 5400k| 2544k| 0 | 0.0 |1083M| 36 | - | 50 |1340 | 0 | 0 | 0 | 514k| 0 | 0.000000e+00 | -- | Inf
1186.01/1186.44 c 1111s| 5410k| 2549k| 0 | 0.0 |1085M| 36 | - | 50 |1246 | 0 | 0 | 0 | 515k| 0 | 0.000000e+00 | -- | Inf
1188.10/1188.59 c 1113s| 5420k| 2554k| 0 | 0.0 |1087M| 36 | - | 50 |1225 | 0 | 0 | 0 | 516k| 0 | 0.000000e+00 | -- | Inf
1190.41/1190.87 c 1115s| 5430k| 2559k| 0 | 0.0 |1089M| 36 | - | 50 |1316 | 0 | 0 | 0 | 517k| 0 | 0.000000e+00 | -- | Inf
1192.71/1193.14 c 1118s| 5440k| 2564k| 0 | 0.0 |1091M| 36 | - | 50 |1238 | 0 | 0 | 0 | 518k| 0 | 0.000000e+00 | -- | Inf
1195.21/1195.64 c 1120s| 5450k| 2568k| 0 | 0.0 |1094M| 36 | - | 50 |1440 | 0 | 0 | 0 | 519k| 0 | 0.000000e+00 | -- | Inf
1197.70/1198.14 c 1122s| 5460k| 2573k| 0 | 0.0 |1096M| 36 | - | 50 |1538 | 0 | 0 | 0 | 520k| 0 | 0.000000e+00 | -- | Inf
1200.20/1200.66 c 1125s| 5470k| 2577k| 0 | 0.0 |1098M| 36 | - | 50 |1591 | 0 | 0 | 0 | 521k| 0 | 0.000000e+00 | -- | Inf
1202.80/1203.24 c 1127s| 5480k| 2582k| 0 | 0.0 |1100M| 36 | - | 50 |1677 | 0 | 0 | 0 | 522k| 0 | 0.000000e+00 | -- | Inf
1205.30/1205.77 c 1129s| 5490k| 2586k| 0 | 0.0 |1102M| 36 | - | 50 |1511 | 0 | 0 | 0 | 523k| 0 | 0.000000e+00 | -- | Inf
1207.80/1208.25 c 1132s| 5500k| 2591k| 0 | 0.0 |1104M| 36 | - | 50 |1392 | 0 | 0 | 0 | 524k| 0 | 0.000000e+00 | -- | Inf
1210.20/1210.62 c 1134s| 5510k| 2595k| 0 | 0.0 |1106M| 36 | - | 50 |1298 | 0 | 0 | 0 | 525k| 0 | 0.000000e+00 | -- | Inf
1212.50/1212.96 c 1136s| 5520k| 2600k| 0 | 0.0 |1108M| 36 | - | 50 |1236 | 0 | 0 | 0 | 526k| 0 | 0.000000e+00 | -- | Inf
1214.80/1215.25 c 1138s| 5530k| 2604k| 0 | 0.0 |1110M| 36 | - | 50 |1318 | 0 | 0 | 0 | 527k| 0 | 0.000000e+00 | -- | Inf
1217.20/1217.66 c 1141s| 5540k| 2609k| 0 | 0.0 |1112M| 36 | - | 50 |1314 | 0 | 0 | 0 | 528k| 0 | 0.000000e+00 | -- | Inf
1219.50/1219.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1219.50/1219.91 c 1143s| 5550k| 2613k| 0 | 0.0 |1114M| 36 | - | 50 |1288 | 0 | 0 | 0 | 529k| 0 | 0.000000e+00 | -- | Inf
1221.80/1222.26 c 1145s| 5560k| 2618k| 0 | 0.0 |1116M| 36 | - | 50 |1159 | 0 | 0 | 0 | 530k| 0 | 0.000000e+00 | -- | Inf
1223.90/1224.39 c 1147s| 5570k| 2622k| 0 | 0.0 |1118M| 36 | - | 50 |1130 | 0 | 0 | 0 | 531k| 0 | 0.000000e+00 | -- | Inf
1226.19/1226.64 c 1149s| 5580k| 2627k| 0 | 0.0 |1120M| 36 | - | 50 |1168 | 0 | 0 | 0 | 532k| 0 | 0.000000e+00 | -- | Inf
1228.49/1228.92 c 1151s| 5590k| 2631k| 0 | 0.0 |1122M| 36 | - | 50 |1281 | 0 | 0 | 0 | 533k| 0 | 0.000000e+00 | -- | Inf
1230.70/1231.12 c 1153s| 5600k| 2636k| 0 | 0.0 |1124M| 36 | - | 50 |1287 | 0 | 0 | 0 | 534k| 0 | 0.000000e+00 | -- | Inf
1232.99/1233.45 c 1156s| 5610k| 2640k| 0 | 0.0 |1126M| 36 | - | 50 |1396 | 0 | 0 | 0 | 535k| 0 | 0.000000e+00 | -- | Inf
1235.29/1235.80 c 1158s| 5620k| 2645k| 0 | 0.0 |1128M| 36 | - | 50 |1453 | 0 | 0 | 0 | 536k| 0 | 0.000000e+00 | -- | Inf
1237.79/1238.21 c 1160s| 5630k| 2649k| 0 | 0.0 |1130M| 36 | - | 50 |1476 | 0 | 0 | 0 | 537k| 0 | 0.000000e+00 | -- | Inf
1240.19/1240.63 c 1162s| 5640k| 2654k| 0 | 0.0 |1132M| 36 | - | 50 |1454 | 0 | 0 | 0 | 538k| 0 | 0.000000e+00 | -- | Inf
1242.50/1242.95 c 1164s| 5650k| 2658k| 0 | 0.0 |1134M| 36 | - | 50 |1360 | 0 | 0 | 0 | 539k| 0 | 0.000000e+00 | -- | Inf
1244.89/1245.33 c 1167s| 5660k| 2663k| 0 | 0.0 |1136M| 36 | - | 50 |1265 | 0 | 0 | 0 | 539k| 0 | 0.000000e+00 | -- | Inf
1247.19/1247.63 c 1169s| 5670k| 2667k| 0 | 0.0 |1138M| 36 | - | 50 |1265 | 0 | 0 | 0 | 540k| 0 | 0.000000e+00 | -- | Inf
1249.59/1250.08 c 1171s| 5680k| 2672k| 0 | 0.0 |1140M| 36 | - | 50 |1274 | 0 | 0 | 0 | 541k| 0 | 0.000000e+00 | -- | Inf
1251.89/1252.39 c 1173s| 5690k| 2677k| 0 | 0.0 |1142M| 36 | - | 50 |1241 | 0 | 0 | 0 | 542k| 0 | 0.000000e+00 | -- | Inf
1254.19/1254.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1254.19/1254.67 c 1175s| 5700k| 2681k| 0 | 0.0 |1144M| 36 | - | 50 |1300 | 0 | 0 | 0 | 543k| 0 | 0.000000e+00 | -- | Inf
1256.58/1257.08 c 1178s| 5710k| 2686k| 0 | 0.0 |1146M| 36 | - | 50 |1322 | 0 | 0 | 0 | 544k| 0 | 0.000000e+00 | -- | Inf
1258.88/1259.39 c 1180s| 5720k| 2690k| 0 | 0.0 |1148M| 36 | - | 50 |1089 | 0 | 0 | 0 | 545k| 0 | 0.000000e+00 | -- | Inf
1261.08/1261.56 c 1182s| 5730k| 2695k| 0 | 0.0 |1150M| 36 | - | 50 |1098 | 0 | 0 | 0 | 546k| 0 | 0.000000e+00 | -- | Inf
1263.39/1263.82 c 1184s| 5740k| 2699k| 0 | 0.0 |1152M| 36 | - | 50 |1127 | 0 | 0 | 0 | 547k| 0 | 0.000000e+00 | -- | Inf
1265.59/1266.08 c 1186s| 5750k| 2704k| 0 | 0.0 |1154M| 36 | - | 50 |1218 | 0 | 0 | 0 | 548k| 0 | 0.000000e+00 | -- | Inf
1267.89/1268.37 c 1188s| 5760k| 2708k| 0 | 0.0 |1156M| 36 | - | 50 |1284 | 0 | 0 | 0 | 549k| 0 | 0.000000e+00 | -- | Inf
1270.28/1270.73 c 1191s| 5770k| 2713k| 0 | 0.0 |1158M| 36 | - | 50 |1164 | 0 | 0 | 0 | 550k| 0 | 0.000000e+00 | -- | Inf
1272.48/1272.96 c 1193s| 5780k| 2717k| 0 | 0.0 |1160M| 36 | - | 50 |1153 | 0 | 0 | 0 | 551k| 0 | 0.000000e+00 | -- | Inf
1274.78/1275.22 c 1195s| 5790k| 2722k| 0 | 0.0 |1162M| 36 | - | 50 |1181 | 0 | 0 | 0 | 552k| 0 | 0.000000e+00 | -- | Inf
1276.98/1277.41 c 1197s| 5800k| 2726k| 0 | 0.0 |1164M| 36 | - | 50 |1188 | 0 | 0 | 0 | 553k| 0 | 0.000000e+00 | -- | Inf
1279.18/1279.65 c 1199s| 5810k| 2731k| 0 | 0.0 |1166M| 36 | - | 50 |1081 | 0 | 0 | 0 | 554k| 0 | 0.000000e+00 | -- | Inf
1281.38/1281.84 c 1201s| 5820k| 2736k| 0 | 0.0 |1168M| 36 | - | 50 |1189 | 0 | 0 | 0 | 555k| 0 | 0.000000e+00 | -- | Inf
1283.67/1284.15 c 1203s| 5830k| 2740k| 0 | 0.0 |1170M| 36 | - | 50 |1153 | 0 | 0 | 0 | 556k| 0 | 0.000000e+00 | -- | Inf
1285.98/1286.42 c 1205s| 5840k| 2745k| 0 | 0.0 |1172M| 36 | - | 50 |1279 | 0 | 0 | 0 | 557k| 0 | 0.000000e+00 | -- | Inf
1288.28/1288.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1288.28/1288.70 c 1207s| 5850k| 2749k| 0 | 0.0 |1174M| 36 | - | 50 |1197 | 0 | 0 | 0 | 558k| 0 | 0.000000e+00 | -- | Inf
1290.58/1291.02 c 1210s| 5860k| 2754k| 0 | 0.0 |1176M| 36 | - | 50 |1320 | 0 | 0 | 0 | 559k| 0 | 0.000000e+00 | -- | Inf
1292.88/1293.38 c 1212s| 5870k| 2758k| 0 | 0.0 |1178M| 36 | - | 50 |1206 | 0 | 0 | 0 | 560k| 0 | 0.000000e+00 | -- | Inf
1295.18/1295.61 c 1214s| 5880k| 2763k| 0 | 0.0 |1180M| 36 | - | 50 |1250 | 0 | 0 | 0 | 561k| 0 | 0.000000e+00 | -- | Inf
1297.48/1297.94 c 1216s| 5890k| 2767k| 0 | 0.0 |1182M| 36 | - | 50 |1228 | 0 | 0 | 0 | 561k| 0 | 0.000000e+00 | -- | Inf
1299.78/1300.21 c 1218s| 5900k| 2772k| 0 | 0.0 |1184M| 36 | - | 50 |1197 | 0 | 0 | 0 | 562k| 0 | 0.000000e+00 | -- | Inf
1301.98/1302.49 c 1220s| 5910k| 2776k| 0 | 0.0 |1186M| 36 | - | 50 |1315 | 0 | 0 | 0 | 563k| 0 | 0.000000e+00 | -- | Inf
1304.27/1304.77 c 1222s| 5920k| 2781k| 0 | 0.0 |1188M| 36 | - | 50 |1282 | 0 | 0 | 0 | 564k| 0 | 0.000000e+00 | -- | Inf
1306.67/1307.17 c 1225s| 5930k| 2785k| 0 | 0.0 |1190M| 36 | - | 50 |1231 | 0 | 0 | 0 | 565k| 0 | 0.000000e+00 | -- | Inf
1308.97/1309.41 c 1227s| 5940k| 2790k| 0 | 0.0 |1192M| 36 | - | 50 |1109 | 0 | 0 | 0 | 566k| 0 | 0.000000e+00 | -- | Inf
1311.17/1311.62 c 1229s| 5950k| 2794k| 0 | 0.0 |1194M| 36 | - | 50 |1038 | 0 | 0 | 0 | 567k| 0 | 0.000000e+00 | -- | Inf
1313.36/1313.85 c 1231s| 5960k| 2799k| 0 | 0.0 |1196M| 36 | - | 50 |1121 | 0 | 0 | 0 | 568k| 0 | 0.000000e+00 | -- | Inf
1315.57/1316.06 c 1233s| 5970k| 2803k| 0 | 0.0 |1198M| 36 | - | 50 |1164 | 0 | 0 | 0 | 569k| 0 | 0.000000e+00 | -- | Inf
1317.87/1318.39 c 1235s| 5980k| 2808k| 0 | 0.0 |1200M| 36 | - | 50 |1217 | 0 | 0 | 0 | 570k| 0 | 0.000000e+00 | -- | Inf
1320.17/1320.69 c 1237s| 5990k| 2812k| 0 | 0.0 |1202M| 36 | - | 50 |1062 | 0 | 0 | 0 | 571k| 0 | 0.000000e+00 | -- | Inf
1322.37/1322.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1322.37/1322.89 c 1239s| 6000k| 2817k| 0 | 0.0 |1204M| 36 | - | 50 |1012 | 0 | 0 | 0 | 572k| 0 | 0.000000e+00 | -- | Inf
1324.57/1325.09 c 1242s| 6010k| 2821k| 0 | 0.0 |1206M| 36 | - | 50 |1028 | 0 | 0 | 0 | 573k| 0 | 0.000000e+00 | -- | Inf
1326.66/1327.15 c 1244s| 6020k| 2826k| 0 | 0.0 |1208M| 36 | - | 50 | 979 | 0 | 0 | 0 | 574k| 0 | 0.000000e+00 | -- | Inf
1328.77/1329.29 c 1246s| 6030k| 2831k| 0 | 0.0 |1210M| 36 | - | 50 | 950 | 0 | 0 | 0 | 575k| 0 | 0.000000e+00 | -- | Inf
1330.86/1331.38 c 1247s| 6040k| 2835k| 0 | 0.0 |1212M| 36 | - | 50 |1086 | 0 | 0 | 0 | 576k| 0 | 0.000000e+00 | -- | Inf
1333.16/1333.64 c 1250s| 6050k| 2840k| 0 | 0.0 |1214M| 36 | - | 50 |1154 | 0 | 0 | 0 | 577k| 0 | 0.000000e+00 | -- | Inf
1335.36/1335.87 c 1252s| 6060k| 2844k| 0 | 0.0 |1216M| 36 | - | 50 |1152 | 0 | 0 | 0 | 578k| 0 | 0.000000e+00 | -- | Inf
1337.66/1338.14 c 1254s| 6070k| 2849k| 0 | 0.0 |1218M| 36 | - | 50 |1186 | 0 | 0 | 0 | 579k| 0 | 0.000000e+00 | -- | Inf
1339.96/1340.48 c 1256s| 6080k| 2853k| 0 | 0.0 |1220M| 36 | - | 50 |1171 | 0 | 0 | 0 | 580k| 0 | 0.000000e+00 | -- | Inf
1342.26/1342.77 c 1258s| 6090k| 2858k| 0 | 0.0 |1222M| 36 | - | 50 |1133 | 0 | 0 | 0 | 581k| 0 | 0.000000e+00 | -- | Inf
1344.46/1344.98 c 1260s| 6100k| 2862k| 0 | 0.0 |1224M| 36 | - | 50 |1148 | 0 | 0 | 0 | 582k| 0 | 0.000000e+00 | -- | Inf
1346.75/1347.24 c 1262s| 6110k| 2867k| 0 | 0.0 |1226M| 36 | - | 50 |1045 | 0 | 0 | 0 | 583k| 0 | 0.000000e+00 | -- | Inf
1349.06/1349.52 c 1265s| 6120k| 2871k| 0 | 0.0 |1228M| 36 | - | 50 |1068 | 0 | 0 | 0 | 584k| 0 | 0.000000e+00 | -- | Inf
1351.26/1351.73 c 1267s| 6130k| 2876k| 0 | 0.0 |1230M| 36 | - | 50 |1135 | 0 | 0 | 0 | 584k| 0 | 0.000000e+00 | -- | Inf
1353.45/1353.97 c 1269s| 6140k| 2880k| 0 | 0.0 |1232M| 36 | - | 50 |1121 | 0 | 0 | 0 | 585k| 0 | 0.000000e+00 | -- | Inf
1355.76/1356.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1355.76/1356.26 c 1271s| 6150k| 2885k| 0 | 0.0 |1234M| 36 | - | 50 |1256 | 0 | 0 | 0 | 587k| 0 | 0.000000e+00 | -- | Inf
1358.06/1358.58 c 1273s| 6160k| 2890k| 0 | 0.0 |1236M| 36 | - | 50 |1132 | 0 | 0 | 0 | 587k| 0 | 0.000000e+00 | -- | Inf
1360.36/1360.80 c 1275s| 6170k| 2894k| 0 | 0.0 |1238M| 36 | - | 50 |1068 | 0 | 0 | 0 | 588k| 0 | 0.000000e+00 | -- | Inf
1362.65/1363.11 c 1277s| 6180k| 2899k| 0 | 0.0 |1240M| 36 | - | 50 |1236 | 0 | 0 | 0 | 589k| 0 | 0.000000e+00 | -- | Inf
1364.95/1365.41 c 1279s| 6190k| 2903k| 0 | 0.0 |1242M| 36 | - | 50 |1309 | 0 | 0 | 0 | 590k| 0 | 0.000000e+00 | -- | Inf
1367.25/1367.79 c 1282s| 6200k| 2908k| 0 | 0.0 |1244M| 36 | - | 50 |1484 | 0 | 0 | 0 | 591k| 0 | 0.000000e+00 | -- | Inf
1369.86/1370.36 c 1284s| 6210k| 2912k| 0 | 0.0 |1246M| 36 | - | 50 |1606 | 0 | 0 | 0 | 592k| 0 | 0.000000e+00 | -- | Inf
1372.45/1372.92 c 1287s| 6220k| 2916k| 0 | 0.0 |1248M| 36 | - | 50 |1686 | 0 | 0 | 0 | 594k| 0 | 0.000000e+00 | -- | Inf
1375.15/1375.64 c 1289s| 6230k| 2921k| 0 | 0.0 |1250M| 36 | - | 50 |1729 | 0 | 0 | 0 | 595k| 0 | 0.000000e+00 | -- | Inf
1377.76/1378.22 c 1292s| 6240k| 2926k| 0 | 0.0 |1252M| 36 | - | 50 |1634 | 0 | 0 | 0 | 596k| 0 | 0.000000e+00 | -- | Inf
1380.25/1380.77 c 1294s| 6250k| 2930k| 0 | 0.0 |1254M| 36 | - | 50 |1600 | 0 | 0 | 0 | 597k| 0 | 0.000000e+00 | -- | Inf
1382.75/1383.23 c 1296s| 6260k| 2935k| 0 | 0.0 |1256M| 36 | - | 50 |1469 | 0 | 0 | 0 | 598k| 0 | 0.000000e+00 | -- | Inf
1385.15/1385.70 c 1299s| 6270k| 2939k| 0 | 0.0 |1258M| 36 | - | 50 |1474 | 0 | 0 | 0 | 599k| 0 | 0.000000e+00 | -- | Inf
1387.65/1388.19 c 1301s| 6280k| 2944k| 0 | 0.0 |1260M| 36 | - | 50 |1448 | 0 | 0 | 0 | 600k| 0 | 0.000000e+00 | -- | Inf
1390.35/1390.86 c 1304s| 6290k| 2948k| 0 | 0.0 |1262M| 36 | - | 50 |1630 | 0 | 0 | 0 | 601k| 0 | 0.000000e+00 | -- | Inf
1393.15/1393.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1393.15/1393.70 c 1306s| 6300k| 2952k| 0 | 0.0 |1264M| 36 | - | 50 |1698 | 0 | 0 | 0 | 602k| 0 | 0.000000e+00 | -- | Inf
1396.05/1396.50 c 1309s| 6310k| 2956k| 0 | 0.0 |1266M| 36 | - | 50 |1737 | 0 | 0 | 0 | 603k| 0 | 0.000000e+00 | -- | Inf
1398.84/1399.36 c 1312s| 6320k| 2960k| 0 | 0.0 |1268M| 36 | - | 50 |1795 | 0 | 0 | 0 | 605k| 0 | 0.000000e+00 | -- | Inf
1401.65/1402.18 c 1314s| 6330k| 2964k| 0 | 0.0 |1270M| 36 | - | 50 |1603 | 0 | 0 | 0 | 606k| 0 | 0.000000e+00 | -- | Inf
1404.24/1404.77 c 1317s| 6340k| 2968k| 0 | 0.0 |1272M| 36 | - | 50 |1544 | 0 | 0 | 0 | 607k| 0 | 0.000000e+00 | -- | Inf
1406.94/1407.45 c 1319s| 6350k| 2972k| 0 | 0.0 |1274M| 36 | - | 50 |1475 | 0 | 0 | 0 | 608k| 0 | 0.000000e+00 | -- | Inf
1409.53/1410.06 c 1322s| 6360k| 2976k| 0 | 0.0 |1276M| 36 | - | 50 |1427 | 0 | 0 | 0 | 609k| 0 | 0.000000e+00 | -- | Inf
1412.03/1412.57 c 1324s| 6370k| 2980k| 0 | 0.0 |1278M| 36 | - | 50 |1404 | 0 | 0 | 0 | 610k| 0 | 0.000000e+00 | -- | Inf
1414.63/1415.14 c 1326s| 6380k| 2984k| 0 | 0.0 |1280M| 36 | - | 50 |1460 | 0 | 0 | 0 | 611k| 0 | 0.000000e+00 | -- | Inf
1417.12/1417.64 c 1329s| 6390k| 2988k| 0 | 0.0 |1282M| 36 | - | 50 |1391 | 0 | 0 | 0 | 612k| 0 | 0.000000e+00 | -- | Inf
1419.63/1420.14 c 1331s| 6400k| 2992k| 0 | 0.0 |1283M| 36 | - | 50 |1213 | 0 | 0 | 0 | 613k| 0 | 0.000000e+00 | -- | Inf
1422.03/1422.56 c 1333s| 6410k| 2996k| 0 | 0.0 |1285M| 36 | - | 50 |1267 | 0 | 0 | 0 | 614k| 0 | 0.000000e+00 | -- | Inf
1424.53/1425.01 c 1336s| 6420k| 3000k| 0 | 0.0 |1287M| 36 | - | 50 |1428 | 0 | 0 | 0 | 615k| 0 | 0.000000e+00 | -- | Inf
1427.02/1427.59 c 1338s| 6430k| 3004k| 0 | 0.0 |1289M| 36 | - | 50 |1503 | 0 | 0 | 0 | 616k| 0 | 0.000000e+00 | -- | Inf
1429.82/1430.33 c 1341s| 6440k| 3008k| 0 | 0.0 |1291M| 36 | - | 50 |1593 | 0 | 0 | 0 | 617k| 0 | 0.000000e+00 | -- | Inf
1432.62/1433.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1432.62/1433.14 c 1343s| 6450k| 3012k| 0 | 0.0 |1293M| 36 | - | 50 |1640 | 0 | 0 | 0 | 618k| 0 | 0.000000e+00 | -- | Inf
1435.32/1435.82 c 1346s| 6460k| 3016k| 0 | 0.0 |1295M| 36 | - | 50 |1603 | 0 | 0 | 0 | 619k| 0 | 0.000000e+00 | -- | Inf
1437.82/1438.37 c 1348s| 6470k| 3020k| 0 | 0.0 |1297M| 36 | - | 50 |1531 | 0 | 0 | 0 | 620k| 0 | 0.000000e+00 | -- | Inf
1440.42/1440.96 c 1351s| 6480k| 3024k| 0 | 0.0 |1299M| 36 | - | 50 |1485 | 0 | 0 | 0 | 621k| 0 | 0.000000e+00 | -- | Inf
1443.12/1443.67 c 1353s| 6490k| 3028k| 0 | 0.0 |1301M| 36 | - | 50 |1396 | 0 | 0 | 0 | 622k| 0 | 0.000000e+00 | -- | Inf
1445.72/1446.20 c 1356s| 6500k| 3032k| 0 | 0.0 |1303M| 36 | - | 50 |1403 | 0 | 0 | 0 | 624k| 0 | 0.000000e+00 | -- | Inf
1448.31/1448.85 c 1358s| 6510k| 3036k| 0 | 0.0 |1305M| 36 | - | 50 |1391 | 0 | 0 | 0 | 625k| 0 | 0.000000e+00 | -- | Inf
1450.91/1451.44 c 1361s| 6520k| 3040k| 0 | 0.0 |1307M| 36 | - | 50 |1452 | 0 | 0 | 0 | 626k| 0 | 0.000000e+00 | -- | Inf
1453.41/1453.99 c 1363s| 6530k| 3044k| 0 | 0.0 |1309M| 36 | - | 50 |1459 | 0 | 0 | 0 | 627k| 0 | 0.000000e+00 | -- | Inf
1456.11/1456.60 c 1366s| 6540k| 3048k| 0 | 0.0 |1311M| 36 | - | 50 |1282 | 0 | 0 | 0 | 628k| 0 | 0.000000e+00 | -- | Inf
1458.61/1459.12 c 1368s| 6550k| 3052k| 0 | 0.0 |1313M| 36 | - | 50 |1251 | 0 | 0 | 0 | 629k| 0 | 0.000000e+00 | -- | Inf
1461.01/1461.54 c 1370s| 6560k| 3056k| 0 | 0.0 |1315M| 36 | - | 50 |1204 | 0 | 0 | 0 | 630k| 0 | 0.000000e+00 | -- | Inf
1463.52/1464.02 c 1373s| 6570k| 3060k| 0 | 0.0 |1317M| 36 | - | 50 |1356 | 0 | 0 | 0 | 631k| 0 | 0.000000e+00 | -- | Inf
1466.12/1466.62 c 1375s| 6580k| 3064k| 0 | 0.0 |1319M| 36 | - | 50 |1346 | 0 | 0 | 0 | 632k| 0 | 0.000000e+00 | -- | Inf
1468.71/1469.20 c 1378s| 6590k| 3068k| 0 | 0.0 |1321M| 36 | - | 50 |1346 | 0 | 0 | 0 | 633k| 0 | 0.000000e+00 | -- | Inf
1471.11/1471.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1471.11/1471.63 c 1380s| 6600k| 3072k| 0 | 0.0 |1322M| 36 | - | 50 |1325 | 0 | 0 | 0 | 634k| 0 | 0.000000e+00 | -- | Inf
1473.52/1474.05 c 1382s| 6610k| 3076k| 0 | 0.0 |1324M| 36 | - | 50 |1186 | 0 | 0 | 0 | 635k| 0 | 0.000000e+00 | -- | Inf
1476.01/1476.52 c 1384s| 6620k| 3080k| 0 | 0.0 |1326M| 36 | - | 50 |1189 | 0 | 0 | 0 | 636k| 0 | 0.000000e+00 | -- | Inf
1478.41/1478.93 c 1387s| 6630k| 3084k| 0 | 0.0 |1328M| 36 | - | 50 |1300 | 0 | 0 | 0 | 637k| 0 | 0.000000e+00 | -- | Inf
1480.90/1481.46 c 1389s| 6640k| 3088k| 0 | 0.0 |1330M| 36 | - | 50 |1302 | 0 | 0 | 0 | 638k| 0 | 0.000000e+00 | -- | Inf
1483.51/1484.01 c 1392s| 6650k| 3092k| 0 | 0.0 |1332M| 36 | - | 50 |1420 | 0 | 0 | 0 | 639k| 0 | 0.000000e+00 | -- | Inf
1486.00/1486.53 c 1394s| 6660k| 3096k| 0 | 0.0 |1334M| 36 | - | 50 |1366 | 0 | 0 | 0 | 640k| 0 | 0.000000e+00 | -- | Inf
1488.51/1489.03 c 1396s| 6670k| 3100k| 0 | 0.0 |1336M| 36 | - | 50 |1402 | 0 | 0 | 0 | 641k| 0 | 0.000000e+00 | -- | Inf
1491.01/1491.56 c 1399s| 6680k| 3104k| 0 | 0.0 |1338M| 36 | - | 50 |1366 | 0 | 0 | 0 | 642k| 0 | 0.000000e+00 | -- | Inf
1493.60/1494.12 c 1401s| 6690k| 3108k| 0 | 0.0 |1340M| 36 | - | 50 |1375 | 0 | 0 | 0 | 643k| 0 | 0.000000e+00 | -- | Inf
1496.00/1496.58 c 1403s| 6700k| 3112k| 0 | 0.0 |1342M| 36 | - | 50 |1278 | 0 | 0 | 0 | 644k| 0 | 0.000000e+00 | -- | Inf
1498.59/1499.10 c 1406s| 6710k| 3116k| 0 | 0.0 |1344M| 36 | - | 50 |1349 | 0 | 0 | 0 | 645k| 0 | 0.000000e+00 | -- | Inf
1501.09/1501.67 c 1408s| 6720k| 3120k| 0 | 0.0 |1346M| 36 | - | 50 |1382 | 0 | 0 | 0 | 647k| 0 | 0.000000e+00 | -- | Inf
1503.69/1504.23 c 1411s| 6730k| 3124k| 0 | 0.0 |1348M| 36 | - | 50 |1359 | 0 | 0 | 0 | 648k| 0 | 0.000000e+00 | -- | Inf
1506.09/1506.68 c 1413s| 6740k| 3128k| 0 | 0.0 |1350M| 36 | - | 50 |1196 | 0 | 0 | 0 | 649k| 0 | 0.000000e+00 | -- | Inf
1508.49/1509.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1508.49/1509.05 c 1415s| 6750k| 3132k| 0 | 0.0 |1352M| 36 | - | 50 |1186 | 0 | 0 | 0 | 650k| 0 | 0.000000e+00 | -- | Inf
1511.00/1511.52 c 1417s| 6760k| 3136k| 0 | 0.0 |1354M| 36 | - | 50 |1230 | 0 | 0 | 0 | 651k| 0 | 0.000000e+00 | -- | Inf
1513.49/1514.00 c 1420s| 6770k| 3140k| 0 | 0.0 |1356M| 36 | - | 50 |1275 | 0 | 0 | 0 | 652k| 0 | 0.000000e+00 | -- | Inf
1515.89/1516.46 c 1422s| 6780k| 3144k| 0 | 0.0 |1358M| 36 | - | 50 |1248 | 0 | 0 | 0 | 653k| 0 | 0.000000e+00 | -- | Inf
1517.09/1517.66 c (node 6784875) switching to memory saving mode (mem: 1296.0M/1620.0M)
1519.89/1520.40 c 1426s| 6790k| 3144k| 0 | 0.0 |1357M| 46 | - | 50 |1369 | 0 | 0 | 0 | 656k| 0 | 0.000000e+00 | -- | Inf
1523.88/1524.47 c 1430s| 6800k| 3142k| 0 | 0.0 |1356M| 46 | - | 50 |1661 | 0 | 0 | 0 | 660k| 0 | 0.000000e+00 | -- | Inf
1529.09/1529.66 c 1435s| 6810k| 3138k| 0 | 0.0 |1354M| 46 | - | 50 |2011 | 0 | 0 | 0 | 665k| 0 | 0.000000e+00 | -- | Inf
1535.19/1535.71 c 1441s| 6820k| 3135k| 0 | 0.0 |1351M| 46 | - | 50 |2417 | 0 | 0 | 0 | 670k| 0 | 0.000000e+00 | -- | Inf
1541.69/1542.23 c 1447s| 6830k| 3132k| 0 | 0.0 |1347M| 46 | - | 50 |2786 | 0 | 0 | 0 | 674k| 0 | 0.000000e+00 | -- | Inf
1547.68/1548.28 c 1453s| 6840k| 3130k| 0 | 0.0 |1346M| 46 | - | 50 |2818 | 0 | 0 | 0 | 679k| 0 | 0.000000e+00 | -- | Inf
1553.48/1554.08 c 1458s| 6850k| 3128k| 0 | 0.0 |1344M| 46 | - | 50 |3057 | 0 | 0 | 0 | 684k| 0 | 0.000000e+00 | -- | Inf
1559.88/1560.43 c 1464s| 6860k| 3125k| 0 | 0.0 |1343M| 46 | - | 50 |3418 | 0 | 0 | 0 | 688k| 0 | 0.000000e+00 | -- | Inf
1566.89/1567.41 c 1471s| 6870k| 3123k| 0 | 0.0 |1341M| 46 | - | 50 |3760 | 0 | 0 | 0 | 693k| 0 | 0.000000e+00 | -- | Inf
1574.17/1574.78 c 1478s| 6880k| 3121k| 0 | 0.0 |1340M| 46 | - | 50 |4085 | 0 | 0 | 0 | 697k| 0 | 0.000000e+00 | -- | Inf
1582.58/1583.11 c 1486s| 6890k| 3119k| 0 | 0.0 |1338M| 46 | - | 50 |4366 | 0 | 0 | 0 | 701k| 0 | 0.000000e+00 | -- | Inf
1590.77/1591.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1590.77/1591.31 c 1494s| 6900k| 3117k| 0 | 0.0 |1337M| 46 | - | 50 |4705 | 0 | 0 | 0 | 706k| 0 | 0.000000e+00 | -- | Inf
1599.07/1599.67 c 1502s| 6910k| 3115k| 0 | 0.0 |1335M| 46 | - | 50 |5042 | 0 | 0 | 0 | 710k| 0 | 0.000000e+00 | -- | Inf
1608.17/1608.71 c 1511s| 6920k| 3113k| 0 | 0.0 |1333M| 46 | - | 50 |5348 | 0 | 0 | 0 | 715k| 0 | 0.000000e+00 | -- | Inf
1617.66/1618.29 c 1521s| 6930k| 3111k| 0 | 0.0 |1331M| 46 | - | 50 |5653 | 0 | 0 | 0 | 719k| 0 | 0.000000e+00 | -- | Inf
1627.37/1627.97 c 1530s| 6940k| 3109k| 0 | 0.0 |1330M| 46 | - | 50 |5979 | 0 | 0 | 0 | 724k| 0 | 0.000000e+00 | -- | Inf
1638.15/1638.71 c 1541s| 6950k| 3107k| 0 | 0.0 |1328M| 46 | - | 50 |6350 | 0 | 0 | 0 | 728k| 0 | 0.000000e+00 | -- | Inf
1649.06/1649.66 c 1551s| 6960k| 3105k| 0 | 0.0 |1326M| 46 | - | 50 |6712 | 0 | 0 | 0 | 733k| 0 | 0.000000e+00 | -- | Inf
1661.05/1661.66 c 1563s| 6970k| 3103k| 0 | 0.0 |1324M| 46 | - | 50 |7069 | 0 | 0 | 0 | 737k| 0 | 0.000000e+00 | -- | Inf
1673.95/1674.53 c 1576s| 6980k| 3101k| 0 | 0.0 |1323M| 46 | - | 50 |7436 | 0 | 0 | 0 | 742k| 0 | 0.000000e+00 | -- | Inf
1686.25/1686.83 c 1588s| 6990k| 3099k| 0 | 0.0 |1321M| 47 | - | 50 |7625 | 0 | 0 | 0 | 746k| 0 | 0.000000e+00 | -- | Inf
1699.54/1700.13 c 1601s| 7000k| 3097k| 0 | 0.0 |1319M| 47 | - | 50 |7901 | 0 | 0 | 0 | 750k| 0 | 0.000000e+00 | -- | Inf
1713.24/1713.83 c 1614s| 7010k| 3095k| 0 | 0.0 |1318M| 47 | - | 50 |8109 | 0 | 0 | 0 | 755k| 0 | 0.000000e+00 | -- | Inf
1727.44/1728.09 c 1628s| 7020k| 3093k| 0 | 0.0 |1315M| 47 | - | 50 |8353 | 0 | 0 | 0 | 759k| 0 | 0.000000e+00 | -- | Inf
1742.33/1742.99 c 1643s| 7030k| 3091k| 0 | 0.0 |1313M| 47 | - | 50 |8679 | 0 | 0 | 0 | 764k| 0 | 0.000000e+00 | -- | Inf
1757.52/1758.12 c 1658s| 7040k| 3089k| 0 | 0.0 |1312M| 47 | - | 50 |9106 | 0 | 0 | 0 | 768k| 0 | 0.000000e+00 | -- | Inf
1773.82/1774.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1773.82/1774.49 c 1674s| 7050k| 3087k| 0 | 0.0 |1310M| 47 | - | 50 |9421 | 0 | 0 | 0 | 773k| 0 | 0.000000e+00 | -- | Inf
1790.01/1790.65 c 1690s| 7060k| 3085k| 0 | 0.0 |1308M| 47 | - | 50 |9652 | 0 | 0 | 0 | 777k| 0 | 0.000000e+00 | -- | Inf
1800.02/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.61 c
1800.02/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.61 c Solving Time (sec) : 1699.86
1800.02/1800.61 c Solving Nodes : 7065598
1800.02/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.02/1800.61 c Dual Bound : +0.00000000000000e+00
1800.02/1800.61 c Gap : infinite
1800.02/1800.61 s UNKNOWN
1800.02/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.61 c Solving Time : 1699.86
1800.02/1800.61 c Original Problem :
1800.02/1800.61 c Problem name : HOME/instance-2664015-1276612653.opb
1800.02/1800.61 c Variables : 51 (51 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.61 c Constraints : 13 initial, 13 maximal
1800.02/1800.61 c Presolved Problem :
1800.02/1800.61 c Problem name : t_HOME/instance-2664015-1276612653.opb
1800.02/1800.61 c Variables : 50 (50 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.61 c Constraints : 6 initial, 9949 maximal
1800.02/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.61 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.02/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0
1800.02/1800.61 c linear : 0.00 0 0 0 0 0 7 0 0
1800.02/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.61 c root node : - 0 - - 0 - - - -
1800.02/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.61 c linear : 6 0 10118552 0 5137856 2053040 24673053 0 0 0
1800.02/1800.61 c logicor : 0+ 0 3640208 0 0 2 560474 0 0 0
1800.02/1800.61 c countsols : 0 0 0 0 5137856 0 0 0 0 0
1800.02/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.61 c linear : 620.92 0.00 617.15 0.00 3.77
1800.02/1800.61 c logicor : 365.65 0.00 365.65 0.00 0.00
1800.02/1800.61 c countsols : 1.90 0.00 0.00 0.00 1.90
1800.02/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.61 c vbounds : 4.97 2 0 0
1800.02/1800.61 c rootredcost : 4.61 0 0 0
1800.02/1800.61 c pseudoobj : 4.02 0 0 0
1800.02/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.61 c propagation : 200.06 2053042 777788 2085341 34.2 3 41.0 -
1800.02/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.02/1800.61 c applied globally : - - - 535023 28.1 - - -
1800.02/1800.61 c applied locally : - - - 245070 34.9 - - -
1800.02/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.02/1800.61 c redcost : 0.00 0 0 0 0 0
1800.02/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.02/1800.61 c intobj : 0.00 0 0 0 0 0
1800.02/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.61 c gomory : 0.00 0 0 0 0 0
1800.02/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.02/1800.61 c cmir : 0.00 0 0 0 0 0
1800.02/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.02/1800.61 c clique : 0.00 0 0 0 0 0
1800.02/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.61 c mcf : 0.00 0 0 0 0 0
1800.02/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.61 c Pricers : Time Calls Vars
1800.02/1800.61 c problem variables: 0.00 0 0
1800.02/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.02/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.61 c inference : 35.76 5137856 0 0 0 0 10275712
1800.02/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.61 c random : 0.00 0 0 0 0 0 0
1800.02/1800.61 c Primal Heuristics : Time Calls Found
1800.02/1800.61 c LP solutions : 0.00 - 0
1800.02/1800.61 c pseudo solutions : 0.00 - 0
1800.02/1800.61 c oneopt : 2.97 0 0
1800.02/1800.61 c trivial : 0.00 2 0
1800.02/1800.61 c simplerounding : 0.00 0 0
1800.02/1800.61 c zirounding : 0.00 0 0
1800.02/1800.61 c rounding : 0.00 0 0
1800.02/1800.61 c shifting : 0.00 0 0
1800.02/1800.61 c intshifting : 0.00 0 0
1800.02/1800.61 c twoopt : 0.00 0 0
1800.02/1800.61 c fixandinfer : 0.00 0 0
1800.02/1800.61 c feaspump : 0.00 0 0
1800.02/1800.61 c coefdiving : 0.00 0 0
1800.02/1800.61 c pscostdiving : 0.00 0 0
1800.02/1800.61 c fracdiving : 0.00 0 0
1800.02/1800.61 c veclendiving : 0.00 0 0
1800.02/1800.61 c intdiving : 0.00 0 0
1800.02/1800.61 c actconsdiving : 0.00 0 0
1800.02/1800.61 c objpscostdiving : 0.00 0 0
1800.02/1800.61 c rootsoldiving : 0.00 0 0
1800.02/1800.61 c linesearchdiving : 0.00 0 0
1800.02/1800.61 c guideddiving : 0.00 0 0
1800.02/1800.61 c octane : 0.00 0 0
1800.02/1800.61 c rens : 0.00 0 0
1800.02/1800.61 c rins : 0.00 0 0
1800.02/1800.61 c localbranching : 0.00 0 0
1800.02/1800.61 c mutation : 0.00 0 0
1800.02/1800.61 c crossover : 0.00 0 0
1800.02/1800.61 c dins : 0.00 0 0
1800.02/1800.61 c undercover : 0.00 0 0
1800.02/1800.61 c nlp : 3.35 0 0
1800.02/1800.61 c trysol : 2.60 0 0
1800.02/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.61 c dual LP : 0.00 0 0 0.00 -
1800.02/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.61 c strong branching : 0.00 0 0 0.00 -
1800.02/1800.61 c (at root node) : - 0 0 0.00 -
1800.02/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.61 c B&B Tree :
1800.02/1800.61 c number of runs : 1
1800.02/1800.61 c nodes : 7065598
1800.02/1800.61 c nodes (total) : 7065598
1800.02/1800.61 c nodes left : 3084676
1800.02/1800.61 c max depth : 47
1800.02/1800.61 c max depth (total): 47
1800.02/1800.61 c backtracks : 672971 (9.5%)
1800.02/1800.61 c delayed cutoffs : 125439
1800.02/1800.61 c repropagations : 1045456 (1215918 domain reductions, 125300 cutoffs)
1800.02/1800.61 c avg switch length: 6.06
1800.02/1800.61 c switching time : 420.13
1800.02/1800.61 c Solution :
1800.02/1800.61 c Solutions found : 0 (0 improvements)
1800.02/1800.61 c Primal Bound : -
1800.02/1800.61 c Dual Bound : +0.00000000000000e+00
1800.02/1800.61 c Gap : infinite
1800.02/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.02/1800.61 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-2664015-1276612653/watcher-2664015-1276612653 -o /tmp/evaluation-result-2664015-1276612653/solver-2664015-1276612653 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664015-1276612653.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.00 1.00 1.00 3/105 9988
/proc/meminfo: memFree=1512028/2059040 swapFree=4192956/4192956
[pid=9988] ppid=9986 vsize=6584 CPUtime=0
/proc/9988/stat : 9988 (pbscip.linux.x8) R 9986 9988 9392 0 -1 4202496 1094 0 0 0 0 0 0 0 25 0 1 0 2559358 6742016 1016 1992294400 4194304 7136930 140734745182768 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9988/statm: 1646 1027 254 719 0 925 0
[startup+0.0156139 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 9988
/proc/meminfo: memFree=1512028/2059040 swapFree=4192956/4192956
[pid=9988] ppid=9986 vsize=9796 CPUtime=0
/proc/9988/stat : 9988 (pbscip.linux.x8) R 9986 9988 9392 0 -1 4202496 2091 0 0 0 0 0 0 0 25 0 1 0 2559358 10031104 1660 1992294400 4194304 7136930 140734745182768 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9988/statm: 2706 1664 341 719 0 1985 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9796
[startup+0.100622 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 9988
/proc/meminfo: memFree=1512028/2059040 swapFree=4192956/4192956
[pid=9988] ppid=9986 vsize=11088 CPUtime=0.09
/proc/9988/stat : 9988 (pbscip.linux.x8) R 9986 9988 9392 0 -1 4202496 2993 0 0 0 8 1 0 0 25 0 1 0 2559358 11354112 2048 1992294400 4194304 7136930 140734745182768 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9988/statm: 2772 2048 387 719 0 2051 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11088
[startup+0.300642 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 9988
/proc/meminfo: memFree=1512028/2059040 swapFree=4192956/4192956
[pid=9988] ppid=9986 vsize=11676 CPUtime=0.29
/proc/9988/stat : 9988 (pbscip.linux.x8) R 9986 9988 9392 0 -1 4202496 3143 0 0 0 25 4 0 0 25 0 1 0 2559358 11956224 2198 1992294400 4194304 7136930 140734745182768 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9988/statm: 2919 2198 387 719 0 2198 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11676
[startup+0.700685 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 9988
/proc/meminfo: memFree=1512028/2059040 swapFree=4192956/4192956
[pid=9988] ppid=9986 vsize=13104 CPUtime=0.69
/proc/9988/stat : 9988 (pbscip.linux.x8) R 9986 9988 9392 0 -1 4202496 3523 0 0 0 60 9 0 0 25 0 1 0 2559358 13418496 2578 1992294400 4194304 7136930 140734745182768 18446744073709551615 4661061 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9988/statm: 3276 2578 387 719 0 2555 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13104
[startup+1.50077 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9989
/proc/meminfo: memFree=1502596/2059040 swapFree=4192956/4192956
[pid=9988] ppid=9986 vsize=14844 CPUtime=1.49
/proc/9988/stat : 9988 (pbscip.linux.x8) R 9986 9988 9392 0 -1 4202496 3942 0 0 0 132 17 0 0 25 0 1 0 2559358 15200256 2997 1992294400 4194304 7136930 140734745182768 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9988/statm: 3711 2997 387 719 0 2990 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14844
[startup+3.10094 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9989
/proc/meminfo: memFree=1500364/2059040 swapFree=4192956/4192956
[pid=9988] ppid=9986 vsize=17252 CPUtime=3.09
/proc/9988/stat : 9988 (pbscip.linux.x8) R 9986 9988 9392 0 -1 4202496 4563 0 0 0 278 31 0 0 25 0 1 0 2559358 17666048 3618 1992294400 4194304 7136930 140734745182768 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9988/statm: 4313 3618 387 719 0 3592 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17252
[startup+6.30027 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9989
/proc/meminfo: memFree=1493792/2059040 swapFree=4192956/4192956
[pid=9988] ppid=9986 vsize=23160 CPUtime=6.29
/proc/9988/stat : 9988 (pbscip.linux.x8) R 9986 9988 9392 0 -1 4202496 6089 0 0 0 568 61 0 0 25 0 1 0 2559358 23715840 5144 1992294400 4194304 7136930 140734745182768 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9988/statm: 5790 5144 387 719 0 5069 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23160
[startup+12.7009 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9989
/proc/meminfo: memFree=1483996/2059040 swapFree=4192956/4192956
[pid=9988] ppid=9986 vsize=32064 CPUtime=12.69
/proc/9988/stat : 9988 (pbscip.linux.x8) R 9986 9988 9392 0 -1 4202496 8402 0 0 0 1152 117 0 0 25 0 1 0 2559358 32833536 7457 1992294400 4194304 7136930 140734745182768 18446744073709551615 5918772 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9988/statm: 8016 7457 387 719 0 7295 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32064
[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9989
/proc/meminfo: memFree=1467380/2059040 swapFree=4192956/4192956
[pid=9988] ppid=9986 vsize=49512 CPUtime=25.48
/proc/9988/stat : 9988 (pbscip.linux.x8) R 9986 9988 9392 0 -1 4202496 12330 0 0 0 2332 216 0 0 25 0 1 0 2559358 50700288 11385 1992294400 4194304 7136930 140734745182768 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9988/statm: 12378 11385 387 719 0 11657 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49512
[startup+51.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9991
/proc/meminfo: memFree=1425344/2059040 swapFree=4192956/4192956
[pid=9988] ppid=9986 vsize=90624 CPUtime=51.07
/proc/9988/stat : 9988 (pbscip.linux.x8) R 9986 9988 9392 0 -1 4202496 23034 0 0 0 4656 451 0 0 25 0 1 0 2559358 92798976 22089 1992294400 4194304 7136930 140734745182768 18446744073709551615 4632905 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9988/statm: 22656 22089 387 719 0 21935 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 90624
[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9991
/proc/meminfo: memFree=1368924/2059040 swapFree=4192956/4192956
[pid=9988] ppid=9986 vsize=148216 CPUtime=102.26
/proc/9988/stat : 9988 (pbscip.linux.x8) R 9986 9988 9392 0 -1 4202496 36841 0 0 0 9395 831 0 0 25 0 1 0 2559358 151773184 35896 1992294400 4194304 7136930 140734745182768 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9988/statm: 37054 35896 387 719 0 36333 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 148216
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9993
/proc/meminfo: memFree=1307668/2059040 swapFree=4192956/4192956
[pid=9988] ppid=9986 vsize=207872 CPUtime=162.24
/proc/9988/stat : 9988 (pbscip.linux.x8) R 9986 9988 9392 0 -1 4202496 52282 0 0 0 14984 1240 0 0 25 0 1 0 2559358 212860928 51337 1992294400 4194304 7136930 140734745182768 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9988/statm: 51968 51337 387 719 0 51247 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 207872
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9995
/proc/meminfo: memFree=1226572/2059040 swapFree=4192956/4192956
[pid=9988] ppid=9986 vsize=293432 CPUtime=222.22
/proc/9988/stat : 9988 (pbscip.linux.x8) R 9986 9988 9392 0 -1 4202496 72418 0 0 0 20495 1727 0 0 25 0 1 0 2559358 300474368 71473 1992294400 4194304 7136930 140734745182768 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9988/statm: 73358 71473 387 719 0 72637 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 293432
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9997
/proc/meminfo: memFree=1157752/2059040 swapFree=4192956/4192956
[pid=9988] ppid=9986 vsize=359512 CPUtime=282.2
/proc/9988/stat : 9988 (pbscip.linux.x8) R 9986 9988 9392 0 -1 4202496 89567 0 0 0 26046 2174 0 0 25 0 1 0 2559358 368140288 88622 1992294400 4194304 7136930 140734745182768 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9988/statm: 89878 88622 387 719 0 89157 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 359512
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9997
/proc/meminfo: memFree=1097612/2059040 swapFree=4192956/4192956
[pid=9988] ppid=9986 vsize=417168 CPUtime=342.18
/proc/9988/stat : 9988 (pbscip.linux.x8) R 9986 9988 9392 0 -1 4202496 104451 0 0 0 31627 2591 0 0 25 0 1 0 2559358 427180032 103506 1992294400 4194304 7136930 140734745182768 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9988/statm: 104292 103506 387 719 0 103571 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 417168
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 9999
/proc/meminfo: memFree=1045656/2059040 swapFree=4192956/4192956
[pid=9988] ppid=9986 vsize=483704 CPUtime=402.17
/proc/9988/stat : 9988 (pbscip.linux.x8) R 9986 9988 9392 0 -1 4202496 117395 0 0 0 37244 2973 0 0 25 0 1 0 2559358 495312896 116450 1992294400 4194304 7136930 140734745182768 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9988/statm: 120926 116450 387 719 0 120205 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 483704
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10001
/proc/meminfo: memFree=998784/2059040 swapFree=4192956/4192956
[pid=9988] ppid=9986 vsize=529380 CPUtime=462.15
/proc/9988/stat : 9988 (pbscip.linux.x8) R 9986 9988 9392 0 -1 4202496 129103 0 0 0 42905 3310 0 0 25 0 1 0 2559358 542085120 128158 1992294400 4194304 7136930 140734745182768 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9988/statm: 132345 128158 387 719 0 131624 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 529380
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10003
/proc/meminfo: memFree=960468/2059040 swapFree=4192956/4192956
[pid=9988] ppid=9986 vsize=566688 CPUtime=522.13
/proc/9988/stat : 9988 (pbscip.linux.x8) R 9986 9988 9392 0 -1 4202496 138643 0 0 0 48587 3626 0 0 25 0 1 0 2559358 580288512 137698 1992294400 4194304 7136930 140734745182768 18446744073709551615 6123172 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9988/statm: 141672 137698 387 719 0 140951 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 566688
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10005
/proc/meminfo: memFree=931700/2059040 swapFree=4192956/4192956
[pid=9988] ppid=9986 vsize=594800 CPUtime=582.1
/proc/9988/stat : 9988 (pbscip.linux.x8) R 9986 9988 9392 0 -1 4202496 145779 0 0 0 54329 3881 0 0 25 0 1 0 2559358 609075200 144834 1992294400 4194304 7136930 140734745182768 18446744073709551615 4221536 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9988/statm: 148700 144834 387 719 0 147979 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 594800
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10005
/proc/meminfo: memFree=904668/2059040 swapFree=4192956/4192956
[pid=9988] ppid=9986 vsize=621004 CPUtime=642.09
/proc/9988/stat : 9988 (pbscip.linux.x8) R 9986 9988 9392 0 -1 4202496 152454 0 0 0 60100 4109 0 0 25 0 1 0 2559358 635908096 151509 1992294400 4194304 7136930 140734745182768 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9988/statm: 155251 151509 387 719 0 154530 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 621004
[startup+702.3 s]
################
# More data... #
################
/proc/9988/stat : 9988 (pbscip.linux.x8) R 9986 9988 9392 0 -1 4202496 254312 0 0 0 99508 6686 0 0 25 0 1 0 2559358 1070477312 253367 1992294400 4194304 7136930 140734745182768 18446744073709551615 4999897 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9988/statm: 261347 253367 387 719 0 260626 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 1045388
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10019
/proc/meminfo: memFree=434584/2059040 swapFree=4192956/4192956
[pid=9988] ppid=9986 vsize=1103900 CPUtime=1121.93
/proc/9988/stat : 9988 (pbscip.linux.x8) R 9986 9988 9392 0 -1 4202496 269524 0 0 0 105114 7079 0 0 25 0 1 0 2559358 1130393600 268579 1992294400 4194304 7136930 140734745182768 18446744073709551615 4998262 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9988/statm: 275975 268579 387 719 0 275254 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 1103900
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10021
/proc/meminfo: memFree=374568/2059040 swapFree=4192956/4192956
[pid=9988] ppid=9986 vsize=1161896 CPUtime=1181.91
/proc/9988/stat : 9988 (pbscip.linux.x8) R 9986 9988 9392 0 -1 4202496 284578 0 0 0 110740 7451 0 0 25 0 1 0 2559358 1189781504 283633 1992294400 4194304 7136930 140734745182768 18446744073709551615 5484165 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9988/statm: 290474 283633 387 719 0 289753 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 1161896
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10021
/proc/meminfo: memFree=321248/2059040 swapFree=4192956/4192956
[pid=9988] ppid=9986 vsize=1213740 CPUtime=1241.89
/proc/9988/stat : 9988 (pbscip.linux.x8) R 9986 9988 9392 0 -1 4202496 297919 0 0 0 116383 7806 0 0 25 0 1 0 2559358 1242869760 296974 1992294400 4194304 7136930 140734745182768 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9988/statm: 303435 296974 387 719 0 302714 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 1213740
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10023
/proc/meminfo: memFree=269416/2059040 swapFree=4192956/4192956
[pid=9988] ppid=9986 vsize=1262408 CPUtime=1301.88
/proc/9988/stat : 9988 (pbscip.linux.x8) R 9986 9988 9392 0 -1 4202496 310576 0 0 0 122019 8169 0 0 25 0 1 0 2559358 1292705792 309631 1992294400 4194304 7136930 140734745182768 18446744073709551615 6123172 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9988/statm: 315602 309631 387 719 0 314881 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1262408
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10025
/proc/meminfo: memFree=217956/2059040 swapFree=4192956/4192956
[pid=9988] ppid=9986 vsize=1313824 CPUtime=1361.85
/proc/9988/stat : 9988 (pbscip.linux.x8) R 9986 9988 9392 0 -1 4202496 323933 0 0 0 127651 8534 0 0 25 0 1 0 2559358 1345355776 322988 1992294400 4194304 7136930 140734745182768 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9988/statm: 328456 322988 387 719 0 327735 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1313824
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10036
/proc/meminfo: memFree=164388/2059040 swapFree=4192956/4192956
[pid=9988] ppid=9986 vsize=1363364 CPUtime=1421.83
/proc/9988/stat : 9988 (pbscip.linux.x8) R 9986 9988 9392 0 -1 4202496 336728 0 0 0 133322 8861 0 0 25 0 1 0 2559358 1396084736 335783 1992294400 4194304 7136930 140734745182768 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9988/statm: 340841 335783 387 719 0 340120 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1363364
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10038
/proc/meminfo: memFree=120864/2059040 swapFree=4192956/4192956
[pid=9988] ppid=9986 vsize=1407024 CPUtime=1481.81
/proc/9988/stat : 9988 (pbscip.linux.x8) R 9986 9988 9392 0 -1 4202496 347905 0 0 0 138989 9192 0 0 25 0 1 0 2559358 1440792576 346960 1992294400 4194304 7136930 140734745182768 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9988/statm: 351756 346960 387 719 0 351035 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1407024
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10038
/proc/meminfo: memFree=89988/2059040 swapFree=4192956/4192956
[pid=9988] ppid=9986 vsize=1434836 CPUtime=1541.79
/proc/9988/stat : 9988 (pbscip.linux.x8) R 9986 9988 9392 0 -1 4202496 367387 0 0 0 144692 9487 0 0 25 0 1 0 2559358 1469272064 354150 1992294400 4194304 7136930 140734745182768 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9988/statm: 358709 354150 387 719 0 357988 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 1434836
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10040
/proc/meminfo: memFree=89988/2059040 swapFree=4192956/4192956
[pid=9988] ppid=9986 vsize=1434836 CPUtime=1601.77
/proc/9988/stat : 9988 (pbscip.linux.x8) R 9986 9988 9392 0 -1 4202496 367397 0 0 0 150504 9673 0 0 25 0 1 0 2559358 1469272064 354160 1992294400 4194304 7136930 140734745182768 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9988/statm: 358709 354160 387 719 0 357988 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 1434836
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10042
/proc/meminfo: memFree=89864/2059040 swapFree=4192956/4192956
[pid=9988] ppid=9986 vsize=1435240 CPUtime=1661.75
/proc/9988/stat : 9988 (pbscip.linux.x8) R 9986 9988 9392 0 -1 4202496 367472 0 0 0 156376 9799 0 0 25 0 1 0 2559358 1469685760 354235 1992294400 4194304 7136930 140734745182768 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9988/statm: 358810 354235 387 719 0 358089 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 1435240
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10044
/proc/meminfo: memFree=89244/2059040 swapFree=4192956/4192956
[pid=9988] ppid=9986 vsize=1436016 CPUtime=1721.73
/proc/9988/stat : 9988 (pbscip.linux.x8) R 9986 9988 9392 0 -1 4202496 367644 0 0 0 162269 9904 0 0 25 0 1 0 2559358 1470480384 354407 1992294400 4194304 7136930 140734745182768 18446744073709551615 4222994 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9988/statm: 359004 354407 387 719 0 358283 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 1436016
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10046
/proc/meminfo: memFree=88376/2059040 swapFree=4192956/4192956
[pid=9988] ppid=9986 vsize=1436912 CPUtime=1781.71
/proc/9988/stat : 9988 (pbscip.linux.x8) R 9986 9988 9392 0 -1 4202496 367795 0 0 0 168179 9992 0 0 25 0 1 0 2559358 1471397888 354558 1992294400 4194304 7136930 140734745182768 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9988/statm: 359228 354558 387 719 0 358507 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 1436912
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10046
/proc/meminfo: memFree=88252/2059040 swapFree=4192956/4192956
[pid=9988] ppid=9986 vsize=1437072 CPUtime=1800.02
/proc/9988/stat : 9988 (pbscip.linux.x8) R 9986 9988 9392 0 -1 4202496 367829 0 0 0 169985 10017 0 0 25 0 1 0 2559358 1471561728 354592 1992294400 4194304 7136930 140734745182768 18446744073709551615 5004474 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9988/statm: 359268 354592 387 719 0 358547 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1437072
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -9988
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10046
/proc/meminfo: memFree=88252/2059040 swapFree=4192956/4192956
[pid=9988] ppid=9986 vsize=1437072 CPUtime=1800.81
/proc/9988/stat : 9988 (pbscip.linux.x8) R 9986 9988 9392 0 -1 4202496 367836 0 0 0 170064 10017 0 0 25 0 1 0 2559358 1471561728 354599 1992294400 4194304 7136930 140734745182768 18446744073709551615 6165646 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9988/statm: 359268 354599 393 719 0 358547 0
Current children cumulated CPU time (s) 1800.81
Current children cumulated vsize (KiB) 1437072
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10047
/proc/meminfo: memFree=88244/2059040 swapFree=4192956/4192956
[pid=9988] ppid=9986 vsize=1437072 CPUtime=1801.61
/proc/9988/stat : 9988 (pbscip.linux.x8) R 9986 9988 9392 0 -1 4202496 367836 0 0 0 170144 10017 0 0 25 0 1 0 2559358 1471561728 354599 1992294400 4194304 7136930 140734745182768 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9988/statm: 359268 354599 393 719 0 358547 0
Current children cumulated CPU time (s) 1801.61
Current children cumulated vsize (KiB) 1437072
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10047
/proc/meminfo: memFree=88244/2059040 swapFree=4192956/4192956
[pid=9988] ppid=9986 vsize=1437072 CPUtime=1802.01
/proc/9988/stat : 9988 (pbscip.linux.x8) R 9986 9988 9392 0 -1 4202496 367836 0 0 0 170184 10017 0 0 25 0 1 0 2559358 1471561728 354599 1992294400 4194304 7136930 140734745182768 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9988/statm: 359268 354599 393 719 0 358547 0
Current children cumulated CPU time (s) 1802.01
Current children cumulated vsize (KiB) 1437072
[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10047
/proc/meminfo: memFree=88244/2059040 swapFree=4192956/4192956
[pid=9988] ppid=9986 vsize=0 CPUtime=1802.11
/proc/9988/stat : 9988 (pbscip.linux.x8) R 9986 9988 9392 0 -1 4203524 367836 0 0 0 170186 10025 0 0 25 0 1 0 2559358 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/9988/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.11
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.74
CPU time (s): 1802.16
CPU user time (s): 1701.86
CPU system time (s): 100.296
CPU usage (%): 99.9677
Max. virtual memory (cumulated for all children) (KiB): 1499360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1701.86
system time used= 100.296
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 367836
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= 2
involuntary context switches= 4347
runsolver used 3.08353 second user time and 8.44472 second system time
The end