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-2664009-1276598720.opb>
0.00/0.01 c original problem has 61 variables (61 bin, 0 int, 0 impl, 0 cont) and 15 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.02 c (round 2) 1 del vars, 8 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, 8 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 60 variables (60 bin, 0 int, 0 impl, 0 cont) and 7 constraints
0.00/0.02 c 7 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.03 c
0.00/0.03 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c lp/solvefreq = -1
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.00/0.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.03 c 0.0s| 1 | 2 | 0 | - | 284k| 0 | - | 60 | 7 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.79/1.80 c 1.6s| 10000 | 6815 | 0 | 0.0 |2867k| 35 | - | 60 | 346 | 0 | 0 | 0 | 373 | 0 | 0.000000e+00 | -- | Inf
3.79/3.82 c 3.5s| 20000 | 13267 | 0 | 0.0 |5375k| 35 | - | 60 | 692 | 0 | 0 | 0 | 859 | 0 | 0.000000e+00 | -- | Inf
6.09/6.19 c 5.7s| 30000 | 18565 | 0 | 0.0 |7831k| 35 | - | 60 | 968 | 0 | 0 | 0 |1521 | 0 | 0.000000e+00 | -- | Inf
8.59/8.62 c 8.0s| 40000 | 22919 | 0 | 0.0 |9987k| 36 | - | 60 | 850 | 0 | 0 | 0 |1936 | 0 | 0.000000e+00 | -- | Inf
10.39/10.45 c 9.7s| 50000 | 30408 | 0 | 0.0 | 12M| 36 | - | 60 | 720 | 0 | 0 | 0 |2274 | 0 | 0.000000e+00 | -- | Inf
12.29/12.36 c 11.5s| 60000 | 37507 | 0 | 0.0 | 14M| 36 | - | 60 | 625 | 0 | 0 | 0 |2706 | 0 | 0.000000e+00 | -- | Inf
14.29/14.32 c 13.3s| 70000 | 44325 | 0 | 0.0 | 17M| 36 | - | 60 | 641 | 0 | 0 | 0 |3232 | 0 | 0.000000e+00 | -- | Inf
16.29/16.31 c 15.1s| 80000 | 50870 | 0 | 0.0 | 19M| 36 | - | 60 | 609 | 0 | 0 | 0 |3740 | 0 | 0.000000e+00 | -- | Inf
18.28/18.40 c 17.1s| 90000 | 57136 | 0 | 0.0 | 21M| 36 | - | 60 | 594 | 0 | 0 | 0 |4357 | 0 | 0.000000e+00 | -- | Inf
20.39/20.46 c 19.0s|100000 | 63199 | 0 | 0.0 | 24M| 36 | - | 60 | 551 | 0 | 0 | 0 |4906 | 0 | 0.000000e+00 | -- | Inf
22.48/22.59 c 21.0s|110000 | 69086 | 0 | 0.0 | 26M| 36 | - | 60 | 525 | 0 | 0 | 0 |5571 | 0 | 0.000000e+00 | -- | Inf
24.68/24.73 c 23.0s|120000 | 74728 | 0 | 0.0 | 28M| 36 | - | 60 | 536 | 0 | 0 | 0 |6297 | 0 | 0.000000e+00 | -- | Inf
26.89/26.97 c 25.1s|130000 | 80138 | 0 | 0.0 | 31M| 36 | - | 60 | 523 | 0 | 0 | 0 |7142 | 0 | 0.000000e+00 | -- | Inf
29.18/29.27 c 27.2s|140000 | 85183 | 0 | 0.0 | 33M| 36 | - | 60 | 649 | 0 | 0 | 0 |8006 | 0 | 0.000000e+00 | -- | Inf
31.48/31.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.48/31.57 c 29.3s|150000 | 90248 | 0 | 0.0 | 35M| 36 | - | 60 | 596 | 0 | 0 | 0 |8749 | 0 | 0.000000e+00 | -- | Inf
33.88/33.98 c 31.6s|160000 | 94952 | 0 | 0.0 | 38M| 36 | - | 60 | 698 | 0 | 0 | 0 |9567 | 0 | 0.000000e+00 | -- | Inf
36.29/36.36 c 33.8s|170000 | 99496 | 0 | 0.0 | 40M| 36 | - | 60 | 676 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
38.78/38.89 c 36.2s|180000 |103568 | 0 | 0.0 | 42M| 36 | - | 60 | 794 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
41.38/41.45 c 38.6s|190000 |107543 | 0 | 0.0 | 44M| 36 | - | 60 | 739 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
43.98/44.09 c 41.0s|200000 |111154 | 0 | 0.0 | 47M| 36 | - | 60 | 822 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
46.68/46.78 c 43.5s|210000 |114570 | 0 | 0.0 | 49M| 37 | - | 60 | 865 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
49.28/49.37 c 46.0s|220000 |117706 | 0 | 0.0 | 51M| 37 | - | 60 | 798 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
51.88/51.94 c 48.4s|230000 |119836 | 0 | 0.0 | 52M| 39 | - | 60 | 732 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
53.58/53.63 c 49.9s|240000 |127550 | 0 | 0.0 | 55M| 39 | - | 60 | 432 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
55.28/55.32 c 51.5s|250000 |135122 | 0 | 0.0 | 57M| 39 | - | 60 | 389 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
56.98/57.03 c 53.1s|260000 |142478 | 0 | 0.0 | 59M| 39 | - | 60 | 364 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
58.68/58.77 c 54.7s|270000 |149721 | 0 | 0.0 | 62M| 39 | - | 60 | 395 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
60.48/60.50 c 56.3s|280000 |156871 | 0 | 0.0 | 64M| 39 | - | 60 | 339 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
62.18/62.26 c 57.9s|290000 |164020 | 0 | 0.0 | 66M| 39 | - | 60 | 367 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
63.98/64.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
63.98/64.05 c 59.5s|300000 |171121 | 0 | 0.0 | 69M| 39 | - | 60 | 390 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
65.77/65.84 c 61.2s|310000 |178072 | 0 | 0.0 | 71M| 39 | - | 60 | 371 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
67.57/67.64 c 62.8s|320000 |185113 | 0 | 0.0 | 74M| 39 | - | 60 | 393 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
69.48/69.50 c 64.5s|330000 |191924 | 0 | 0.0 | 76M| 39 | - | 60 | 408 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
71.28/71.36 c 66.3s|340000 |198758 | 0 | 0.0 | 78M| 39 | - | 60 | 382 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
73.07/73.18 c 67.9s|350000 |205564 | 0 | 0.0 | 81M| 39 | - | 60 | 397 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
74.97/75.02 c 69.6s|360000 |212268 | 0 | 0.0 | 83M| 39 | - | 60 | 404 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
76.88/76.91 c 71.4s|370000 |218836 | 0 | 0.0 | 85M| 39 | - | 60 | 386 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
78.67/78.78 c 73.1s|380000 |225428 | 0 | 0.0 | 88M| 39 | - | 60 | 398 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
80.57/80.68 c 74.9s|390000 |232065 | 0 | 0.0 | 90M| 39 | - | 60 | 430 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
82.48/82.56 c 76.6s|400000 |238690 | 0 | 0.0 | 92M| 39 | - | 60 | 434 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
84.37/84.49 c 78.4s|410000 |245112 | 0 | 0.0 | 95M| 39 | - | 60 | 455 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
86.37/86.43 c 80.2s|420000 |251493 | 0 | 0.0 | 97M| 39 | - | 60 | 504 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
88.27/88.39 c 82.0s|430000 |257878 | 0 | 0.0 | 99M| 39 | - | 60 | 431 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
90.18/90.29 c 83.8s|440000 |264351 | 0 | 0.0 | 102M| 39 | - | 60 | 402 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
92.17/92.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
92.17/92.27 c 85.6s|450000 |270643 | 0 | 0.0 | 104M| 39 | - | 60 | 472 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
94.16/94.29 c 87.5s|460000 |276804 | 0 | 0.0 | 106M| 39 | - | 60 | 481 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
96.26/96.32 c 89.4s|470000 |282958 | 0 | 0.0 | 109M| 39 | - | 60 | 510 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
98.27/98.35 c 91.3s|480000 |289164 | 0 | 0.0 | 111M| 39 | - | 60 | 477 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
100.26/100.32 c 93.1s|490000 |295356 | 0 | 0.0 | 113M| 39 | - | 60 | 431 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
102.27/102.35 c 95.0s|500000 |301542 | 0 | 0.0 | 116M| 39 | - | 60 | 483 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
104.27/104.33 c 96.8s|510000 |307671 | 0 | 0.0 | 118M| 39 | - | 60 | 476 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
106.36/106.41 c 98.8s|520000 |313555 | 0 | 0.0 | 120M| 39 | - | 60 | 508 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
108.36/108.48 c 101s|530000 |319515 | 0 | 0.0 | 122M| 39 | - | 60 | 524 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
110.46/110.56 c 103s|540000 |325450 | 0 | 0.0 | 125M| 39 | - | 60 | 542 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
112.56/112.65 c 105s|550000 |331334 | 0 | 0.0 | 127M| 39 | - | 60 | 555 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
114.66/114.76 c 107s|560000 |337370 | 0 | 0.0 | 129M| 39 | - | 60 | 546 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
116.76/116.87 c 108s|570000 |343295 | 0 | 0.0 | 132M| 39 | - | 60 | 517 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
118.86/118.95 c 110s|580000 |349175 | 0 | 0.0 | 134M| 39 | - | 60 | 562 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
120.97/121.09 c 112s|590000 |354785 | 0 | 0.0 | 136M| 39 | - | 60 | 548 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
123.17/123.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
123.17/123.29 c 114s|600000 |360409 | 0 | 0.0 | 138M| 39 | - | 60 | 597 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
125.37/125.43 c 116s|610000 |366058 | 0 | 0.0 | 141M| 39 | - | 60 | 577 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
127.46/127.60 c 118s|620000 |371731 | 0 | 0.0 | 143M| 39 | - | 60 | 619 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
129.77/129.82 c 121s|630000 |377313 | 0 | 0.0 | 145M| 39 | - | 60 | 616 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
131.87/131.97 c 123s|640000 |382984 | 0 | 0.0 | 148M| 39 | - | 60 | 614 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
134.06/134.18 c 125s|650000 |388553 | 0 | 0.0 | 150M| 39 | - | 60 | 635 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
136.36/136.45 c 127s|660000 |393892 | 0 | 0.0 | 152M| 39 | - | 60 | 703 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
138.66/138.74 c 129s|670000 |399190 | 0 | 0.0 | 154M| 39 | - | 60 | 731 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
140.96/141.08 c 131s|680000 |404402 | 0 | 0.0 | 157M| 39 | - | 60 | 728 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
143.25/143.35 c 133s|690000 |409673 | 0 | 0.0 | 159M| 39 | - | 60 | 693 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
145.55/145.60 c 135s|700000 |414965 | 0 | 0.0 | 161M| 39 | - | 60 | 665 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
147.65/147.80 c 137s|710000 |420427 | 0 | 0.0 | 163M| 39 | - | 60 | 646 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
150.05/150.13 c 139s|720000 |425581 | 0 | 0.0 | 166M| 39 | - | 60 | 757 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
152.45/152.50 c 142s|730000 |430834 | 0 | 0.0 | 168M| 39 | - | 60 | 800 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
154.75/154.82 c 144s|740000 |436083 | 0 | 0.0 | 170M| 39 | - | 60 | 716 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
157.16/157.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
157.16/157.29 c 146s|750000 |440847 | 0 | 0.0 | 173M| 39 | - | 60 | 831 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
159.65/159.75 c 148s|760000 |445578 | 0 | 0.0 | 175M| 39 | - | 60 | 902 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
162.15/162.26 c 151s|770000 |450317 | 0 | 0.0 | 177M| 39 | - | 60 | 869 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
164.65/164.77 c 153s|780000 |455069 | 0 | 0.0 | 179M| 39 | - | 60 | 906 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
167.05/167.20 c 155s|790000 |460003 | 0 | 0.0 | 182M| 39 | - | 60 | 834 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
169.55/169.61 c 158s|800000 |464881 | 0 | 0.0 | 184M| 39 | - | 60 | 812 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
171.85/171.99 c 160s|810000 |469804 | 0 | 0.0 | 186M| 39 | - | 60 | 812 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
174.35/174.45 c 162s|820000 |474636 | 0 | 0.0 | 188M| 39 | - | 60 | 855 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
176.85/176.92 c 165s|830000 |479466 | 0 | 0.0 | 190M| 39 | - | 60 | 864 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
179.35/179.42 c 167s|840000 |484171 | 0 | 0.0 | 193M| 39 | - | 60 | 881 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
181.94/182.08 c 169s|850000 |488339 | 0 | 0.0 | 195M| 39 | - | 60 |1035 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
184.75/184.84 c 172s|860000 |492528 | 0 | 0.0 | 197M| 39 | - | 60 |1108 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
187.44/187.52 c 175s|870000 |496773 | 0 | 0.0 | 199M| 39 | - | 60 |1060 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
190.05/190.17 c 177s|880000 |501047 | 0 | 0.0 | 202M| 39 | - | 60 | 977 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
192.64/192.74 c 179s|890000 |505440 | 0 | 0.0 | 204M| 39 | - | 60 | 995 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
195.24/195.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
195.24/195.36 c 182s|900000 |509824 | 0 | 0.0 | 206M| 39 | - | 60 | 976 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
197.85/197.94 c 184s|910000 |514215 | 0 | 0.0 | 208M| 39 | - | 60 | 967 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
200.44/200.59 c 187s|920000 |518535 | 0 | 0.0 | 211M| 39 | - | 60 | 980 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
203.24/203.30 c 189s|930000 |522872 | 0 | 0.0 | 213M| 39 | - | 60 |1094 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
205.94/206.04 c 192s|940000 |527103 | 0 | 0.0 | 215M| 39 | - | 60 |1196 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
208.74/208.87 c 195s|950000 |531009 | 0 | 0.0 | 217M| 39 | - | 60 |1205 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
211.64/211.77 c 197s|960000 |534743 | 0 | 0.0 | 219M| 39 | - | 60 |1243 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
214.53/214.67 c 200s|970000 |538556 | 0 | 0.0 | 222M| 39 | - | 60 |1239 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
217.44/217.55 c 203s|980000 |542264 | 0 | 0.0 | 224M| 39 | - | 60 |1202 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
220.33/220.40 c 205s|990000 |546085 | 0 | 0.0 | 226M| 39 | - | 60 |1151 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
223.04/223.18 c 208s| 1000k|550062 | 0 | 0.0 | 228M| 39 | - | 60 |1079 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
225.83/225.97 c 211s| 1010k|553891 | 0 | 0.0 | 230M| 39 | - | 60 |1118 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
228.63/228.76 c 213s| 1020k|557858 | 0 | 0.0 | 232M| 39 | - | 60 |1084 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
231.43/231.55 c 216s| 1030k|561719 | 0 | 0.0 | 235M| 39 | - | 60 |1119 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
234.33/234.46 c 219s| 1040k|565489 | 0 | 0.0 | 237M| 39 | - | 60 |1216 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
237.33/237.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
237.33/237.45 c 222s| 1050k|568758 | 0 | 0.0 | 239M| 39 | - | 60 |1292 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
240.42/240.57 c 224s| 1060k|571841 | 0 | 0.0 | 241M| 39 | - | 60 |1317 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
243.53/243.64 c 227s| 1070k|575080 | 0 | 0.0 | 243M| 39 | - | 60 |1310 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
246.53/246.67 c 230s| 1080k|578564 | 0 | 0.0 | 245M| 39 | - | 60 |1279 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
249.42/249.60 c 233s| 1090k|582038 | 0 | 0.0 | 247M| 39 | - | 60 |1238 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
252.43/252.56 c 236s| 1100k|585626 | 0 | 0.0 | 249M| 39 | - | 60 |1197 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
255.32/255.49 c 239s| 1110k|589098 | 0 | 0.0 | 251M| 39 | - | 60 |1173 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
258.22/258.32 c 241s| 1120k|592767 | 0 | 0.0 | 253M| 39 | - | 60 |1211 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
261.32/261.47 c 244s| 1130k|595653 | 0 | 0.0 | 255M| 39 | - | 60 |1343 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
264.52/264.66 c 247s| 1140k|598386 | 0 | 0.0 | 257M| 39 | - | 60 |1340 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
267.52/267.68 c 250s| 1150k|601523 | 0 | 0.0 | 259M| 39 | - | 60 |1318 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
270.52/270.69 c 253s| 1160k|604766 | 0 | 0.0 | 261M| 39 | - | 60 |1261 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
273.52/273.60 c 256s| 1170k|608037 | 0 | 0.0 | 263M| 39 | - | 60 |1226 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
276.42/276.55 c 259s| 1180k|610975 | 0 | 0.0 | 265M| 39 | - | 60 |1319 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
279.52/279.69 c 262s| 1190k|613385 | 0 | 0.0 | 267M| 39 | - | 60 |1297 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
282.53/282.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
282.53/282.67 c 264s| 1200k|616055 | 0 | 0.0 | 269M| 39 | - | 60 |1213 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
285.32/285.43 c 267s| 1210k|619060 | 0 | 0.0 | 271M| 39 | - | 60 |1165 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
288.52/288.61 c 270s| 1220k|620546 | 0 | 0.0 | 272M| 39 | - | 60 |1291 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
291.42/291.57 c 273s| 1230k|622625 | 0 | 0.0 | 274M| 39 | - | 60 |1207 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
294.73/294.82 c 276s| 1240k|623268 | 0 | 0.0 | 275M| 39 | - | 60 |1270 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
296.92/297.03 c 278s| 1250k|629001 | 0 | 0.0 | 277M| 39 | - | 60 | 932 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
298.61/298.77 c 280s| 1260k|636729 | 0 | 0.0 | 279M| 39 | - | 60 | 821 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
300.41/300.55 c 281s| 1270k|644364 | 0 | 0.0 | 281M| 39 | - | 60 | 700 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
302.21/302.34 c 283s| 1280k|651957 | 0 | 0.0 | 284M| 39 | - | 60 | 699 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
304.01/304.12 c 285s| 1290k|659489 | 0 | 0.0 | 286M| 39 | - | 60 | 689 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
305.81/305.93 c 286s| 1300k|666920 | 0 | 0.0 | 289M| 39 | - | 60 | 668 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
307.61/307.72 c 288s| 1310k|674324 | 0 | 0.0 | 291M| 39 | - | 60 | 718 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
309.41/309.56 c 290s| 1320k|681685 | 0 | 0.0 | 293M| 39 | - | 60 | 695 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
311.22/311.36 c 291s| 1330k|688978 | 0 | 0.0 | 296M| 39 | - | 60 | 683 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
313.01/313.17 c 293s| 1340k|696319 | 0 | 0.0 | 298M| 39 | - | 60 | 653 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
314.81/314.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
314.81/314.98 c 295s| 1350k|703654 | 0 | 0.0 | 301M| 39 | - | 60 | 689 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
316.72/316.82 c 296s| 1360k|710907 | 0 | 0.0 | 303M| 39 | - | 60 | 708 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
318.50/318.65 c 298s| 1370k|718095 | 0 | 0.0 | 306M| 39 | - | 60 | 677 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
320.31/320.48 c 300s| 1380k|725201 | 0 | 0.0 | 308M| 39 | - | 60 | 654 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
322.21/322.31 c 301s| 1390k|732359 | 0 | 0.0 | 310M| 39 | - | 60 | 666 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
324.01/324.16 c 303s| 1400k|739580 | 0 | 0.0 | 313M| 39 | - | 60 | 683 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
325.80/325.99 c 305s| 1410k|746801 | 0 | 0.0 | 315M| 39 | - | 60 | 664 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
327.72/327.86 c 307s| 1420k|753922 | 0 | 0.0 | 318M| 39 | - | 60 | 722 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
329.61/329.77 c 308s| 1430k|760963 | 0 | 0.0 | 320M| 39 | - | 60 | 700 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
331.50/331.67 c 310s| 1440k|767961 | 0 | 0.0 | 322M| 39 | - | 60 | 698 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
333.40/333.59 c 312s| 1450k|774950 | 0 | 0.0 | 325M| 39 | - | 60 | 655 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
335.31/335.46 c 314s| 1460k|781970 | 0 | 0.0 | 327M| 39 | - | 60 | 674 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
337.20/337.36 c 315s| 1470k|788971 | 0 | 0.0 | 329M| 39 | - | 60 | 672 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
339.11/339.25 c 317s| 1480k|795973 | 0 | 0.0 | 332M| 39 | - | 60 | 658 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
341.00/341.18 c 319s| 1490k|803010 | 0 | 0.0 | 334M| 39 | - | 60 | 667 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
342.91/343.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
342.91/343.07 c 321s| 1500k|810012 | 0 | 0.0 | 337M| 39 | - | 60 | 734 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
344.80/344.99 c 322s| 1510k|816971 | 0 | 0.0 | 339M| 39 | - | 60 | 745 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
346.80/346.96 c 324s| 1520k|823834 | 0 | 0.0 | 341M| 39 | - | 60 | 712 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
348.80/348.92 c 326s| 1530k|830630 | 0 | 0.0 | 344M| 39 | - | 60 | 730 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
350.80/350.91 c 328s| 1540k|837471 | 0 | 0.0 | 346M| 39 | - | 60 | 762 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
352.70/352.86 c 330s| 1550k|844367 | 0 | 0.0 | 348M| 39 | - | 60 | 712 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
354.60/354.75 c 331s| 1560k|851257 | 0 | 0.0 | 351M| 39 | - | 60 | 666 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
356.60/356.72 c 333s| 1570k|858134 | 0 | 0.0 | 353M| 39 | - | 60 | 703 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
358.51/358.69 c 335s| 1580k|865001 | 0 | 0.0 | 356M| 39 | - | 60 | 700 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
360.50/360.63 c 337s| 1590k|871863 | 0 | 0.0 | 358M| 39 | - | 60 | 672 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
362.40/362.56 c 339s| 1600k|878735 | 0 | 0.0 | 360M| 39 | - | 60 | 693 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
364.40/364.52 c 341s| 1610k|885588 | 0 | 0.0 | 363M| 39 | - | 60 | 707 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
366.30/366.48 c 342s| 1620k|892431 | 0 | 0.0 | 365M| 39 | - | 60 | 763 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
368.30/368.49 c 344s| 1630k|899142 | 0 | 0.0 | 367M| 39 | - | 60 | 735 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
370.30/370.47 c 346s| 1640k|905844 | 0 | 0.0 | 370M| 39 | - | 60 | 743 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
372.29/372.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
372.29/372.47 c 348s| 1650k|912511 | 0 | 0.0 | 372M| 39 | - | 60 | 703 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
374.29/374.48 c 350s| 1660k|919270 | 0 | 0.0 | 374M| 39 | - | 60 | 743 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
376.29/376.48 c 352s| 1670k|925955 | 0 | 0.0 | 377M| 39 | - | 60 | 740 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
378.39/378.50 c 354s| 1680k|932657 | 0 | 0.0 | 379M| 39 | - | 60 | 754 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
380.29/380.44 c 355s| 1690k|939352 | 0 | 0.0 | 382M| 39 | - | 60 | 698 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
382.29/382.43 c 357s| 1700k|945961 | 0 | 0.0 | 384M| 39 | - | 60 | 712 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
384.29/384.44 c 359s| 1710k|952634 | 0 | 0.0 | 386M| 39 | - | 60 | 762 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
386.29/386.48 c 361s| 1720k|959292 | 0 | 0.0 | 389M| 39 | - | 60 | 746 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
388.29/388.46 c 363s| 1730k|966034 | 0 | 0.0 | 391M| 39 | - | 60 | 730 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
390.30/390.46 c 365s| 1740k|972695 | 0 | 0.0 | 393M| 39 | - | 60 | 713 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
392.29/392.48 c 366s| 1750k|979348 | 0 | 0.0 | 396M| 39 | - | 60 | 721 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
394.39/394.52 c 368s| 1760k|985975 | 0 | 0.0 | 398M| 39 | - | 60 | 754 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
396.39/396.51 c 370s| 1770k|992685 | 0 | 0.0 | 400M| 39 | - | 60 | 792 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
398.39/398.57 c 372s| 1780k|999250 | 0 | 0.0 | 403M| 39 | - | 60 | 752 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
400.49/400.67 c 374s| 1790k| 1005k| 0 | 0.0 | 405M| 39 | - | 60 | 803 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
402.58/402.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
402.58/402.74 c 376s| 1800k| 1012k| 0 | 0.0 | 407M| 39 | - | 60 | 802 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
404.69/404.82 c 378s| 1810k| 1018k| 0 | 0.0 | 410M| 39 | - | 60 | 739 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
406.68/406.89 c 380s| 1820k| 1025k| 0 | 0.0 | 412M| 39 | - | 60 | 732 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
408.88/409.01 c 382s| 1830k| 1031k| 0 | 0.0 | 414M| 39 | - | 60 | 741 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
410.89/411.08 c 384s| 1840k| 1038k| 0 | 0.0 | 417M| 39 | - | 60 | 780 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
412.99/413.12 c 386s| 1850k| 1044k| 0 | 0.0 | 419M| 39 | - | 60 | 785 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
415.08/415.26 c 388s| 1860k| 1051k| 0 | 0.0 | 422M| 39 | - | 60 | 820 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
417.29/417.40 c 390s| 1870k| 1057k| 0 | 0.0 | 424M| 39 | - | 60 | 855 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
419.38/419.56 c 392s| 1880k| 1064k| 0 | 0.0 | 426M| 39 | - | 60 | 796 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
421.48/421.65 c 394s| 1890k| 1070k| 0 | 0.0 | 429M| 39 | - | 60 | 795 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
423.68/423.80 c 396s| 1900k| 1076k| 0 | 0.0 | 431M| 39 | - | 60 | 784 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
425.68/425.90 c 398s| 1910k| 1083k| 0 | 0.0 | 433M| 39 | - | 60 | 764 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
427.79/427.94 c 399s| 1920k| 1089k| 0 | 0.0 | 435M| 39 | - | 60 | 747 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
429.88/430.05 c 401s| 1930k| 1096k| 0 | 0.0 | 438M| 39 | - | 60 | 809 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
431.98/432.17 c 403s| 1940k| 1102k| 0 | 0.0 | 440M| 39 | - | 60 | 769 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
434.07/434.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
434.07/434.29 c 405s| 1950k| 1109k| 0 | 0.0 | 443M| 39 | - | 60 | 786 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
436.17/436.36 c 407s| 1960k| 1115k| 0 | 0.0 | 445M| 39 | - | 60 | 754 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
438.28/438.41 c 409s| 1970k| 1122k| 0 | 0.0 | 447M| 39 | - | 60 | 744 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
440.37/440.58 c 411s| 1980k| 1128k| 0 | 0.0 | 450M| 39 | - | 60 | 803 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
442.58/442.75 c 413s| 1990k| 1134k| 0 | 0.0 | 452M| 39 | - | 60 | 771 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
444.67/444.89 c 415s| 2000k| 1140k| 0 | 0.0 | 454M| 39 | - | 60 | 785 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
446.88/447.05 c 417s| 2010k| 1147k| 0 | 0.0 | 457M| 39 | - | 60 | 759 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
449.07/449.21 c 419s| 2020k| 1153k| 0 | 0.0 | 459M| 39 | - | 60 | 766 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
451.17/451.35 c 421s| 2030k| 1159k| 0 | 0.0 | 461M| 39 | - | 60 | 772 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
453.28/453.45 c 423s| 2040k| 1166k| 0 | 0.0 | 463M| 39 | - | 60 | 780 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
455.47/455.60 c 425s| 2050k| 1172k| 0 | 0.0 | 466M| 39 | - | 60 | 757 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
457.57/457.75 c 427s| 2060k| 1178k| 0 | 0.0 | 468M| 39 | - | 60 | 804 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
459.68/459.88 c 429s| 2070k| 1184k| 0 | 0.0 | 470M| 39 | - | 60 | 805 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
461.88/462.01 c 431s| 2080k| 1191k| 0 | 0.0 | 473M| 39 | - | 60 | 815 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
463.98/464.13 c 433s| 2090k| 1197k| 0 | 0.0 | 475M| 39 | - | 60 | 785 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
466.07/466.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
466.07/466.23 c 435s| 2100k| 1203k| 0 | 0.0 | 477M| 39 | - | 60 | 798 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
468.27/468.41 c 437s| 2110k| 1210k| 0 | 0.0 | 480M| 39 | - | 60 | 860 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
470.47/470.61 c 439s| 2120k| 1216k| 0 | 0.0 | 482M| 39 | - | 60 | 825 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
472.56/472.76 c 441s| 2130k| 1222k| 0 | 0.0 | 484M| 39 | - | 60 | 800 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
474.77/474.91 c 443s| 2140k| 1228k| 0 | 0.0 | 487M| 39 | - | 60 | 791 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
476.96/477.12 c 445s| 2150k| 1234k| 0 | 0.0 | 489M| 39 | - | 60 | 851 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
479.17/479.32 c 447s| 2160k| 1241k| 0 | 0.0 | 491M| 39 | - | 60 | 822 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
481.27/481.49 c 449s| 2170k| 1247k| 0 | 0.0 | 494M| 39 | - | 60 | 815 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
483.47/483.67 c 451s| 2180k| 1253k| 0 | 0.0 | 496M| 39 | - | 60 | 838 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
485.76/485.90 c 453s| 2190k| 1259k| 0 | 0.0 | 498M| 39 | - | 60 | 829 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
487.87/488.04 c 455s| 2200k| 1266k| 0 | 0.0 | 501M| 39 | - | 60 | 807 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
490.07/490.24 c 457s| 2210k| 1272k| 0 | 0.0 | 503M| 39 | - | 60 | 851 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
492.37/492.56 c 460s| 2220k| 1278k| 0 | 0.0 | 505M| 39 | - | 60 | 866 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
494.66/494.89 c 462s| 2230k| 1284k| 0 | 0.0 | 508M| 39 | - | 60 | 830 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
496.97/497.13 c 464s| 2240k| 1290k| 0 | 0.0 | 510M| 39 | - | 60 | 816 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
499.17/499.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
499.17/499.33 c 466s| 2250k| 1296k| 0 | 0.0 | 512M| 39 | - | 60 | 812 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
501.36/501.56 c 468s| 2260k| 1302k| 0 | 0.0 | 515M| 39 | - | 60 | 809 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
503.57/503.77 c 470s| 2270k| 1308k| 0 | 0.0 | 517M| 39 | - | 60 | 813 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
505.87/506.02 c 472s| 2280k| 1314k| 0 | 0.0 | 519M| 39 | - | 60 | 850 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
508.06/508.26 c 474s| 2290k| 1320k| 0 | 0.0 | 522M| 39 | - | 60 | 800 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
510.26/510.45 c 476s| 2300k| 1326k| 0 | 0.0 | 524M| 39 | - | 60 | 833 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
512.56/512.74 c 478s| 2310k| 1332k| 0 | 0.0 | 526M| 39 | - | 60 | 855 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
514.76/514.94 c 480s| 2320k| 1338k| 0 | 0.0 | 528M| 39 | - | 60 | 830 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
517.06/517.21 c 483s| 2330k| 1344k| 0 | 0.0 | 531M| 39 | - | 60 | 836 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
519.25/519.47 c 485s| 2340k| 1350k| 0 | 0.0 | 533M| 39 | - | 60 | 834 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
521.46/521.64 c 487s| 2350k| 1356k| 0 | 0.0 | 535M| 39 | - | 60 | 817 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
523.65/523.85 c 489s| 2360k| 1362k| 0 | 0.0 | 538M| 39 | - | 60 | 829 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
525.96/526.11 c 491s| 2370k| 1368k| 0 | 0.0 | 540M| 39 | - | 60 | 871 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
528.16/528.36 c 493s| 2380k| 1374k| 0 | 0.0 | 542M| 39 | - | 60 | 858 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
530.45/530.60 c 495s| 2390k| 1380k| 0 | 0.0 | 545M| 39 | - | 60 | 854 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
532.65/532.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
532.65/532.83 c 497s| 2400k| 1386k| 0 | 0.0 | 547M| 39 | - | 60 | 831 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
534.85/535.07 c 499s| 2410k| 1392k| 0 | 0.0 | 549M| 39 | - | 60 | 890 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
537.15/537.35 c 501s| 2420k| 1398k| 0 | 0.0 | 552M| 39 | - | 60 | 906 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
539.35/539.56 c 504s| 2430k| 1404k| 0 | 0.0 | 554M| 39 | - | 60 | 865 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
541.65/541.85 c 506s| 2440k| 1410k| 0 | 0.0 | 556M| 39 | - | 60 | 907 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
543.95/544.11 c 508s| 2450k| 1416k| 0 | 0.0 | 558M| 39 | - | 60 | 918 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
546.25/546.43 c 510s| 2460k| 1422k| 0 | 0.0 | 561M| 39 | - | 60 | 883 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
548.45/548.66 c 512s| 2470k| 1428k| 0 | 0.0 | 563M| 39 | - | 60 | 848 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
550.75/550.92 c 514s| 2480k| 1434k| 0 | 0.0 | 565M| 39 | - | 60 | 895 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
552.95/553.19 c 516s| 2490k| 1440k| 0 | 0.0 | 568M| 39 | - | 60 | 899 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
555.36/555.53 c 518s| 2500k| 1446k| 0 | 0.0 | 570M| 39 | - | 60 | 868 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
557.64/557.80 c 521s| 2510k| 1452k| 0 | 0.0 | 572M| 39 | - | 60 | 869 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
559.95/560.18 c 523s| 2520k| 1458k| 0 | 0.0 | 575M| 39 | - | 60 | 920 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
562.35/562.56 c 525s| 2530k| 1463k| 0 | 0.0 | 577M| 39 | - | 60 | 894 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
564.75/564.95 c 527s| 2540k| 1469k| 0 | 0.0 | 579M| 39 | - | 60 | 885 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
567.15/567.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
567.15/567.36 c 529s| 2550k| 1475k| 0 | 0.0 | 581M| 39 | - | 60 | 890 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
569.55/569.75 c 532s| 2560k| 1481k| 0 | 0.0 | 584M| 39 | - | 60 | 876 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
571.94/572.11 c 534s| 2570k| 1486k| 0 | 0.0 | 586M| 39 | - | 60 | 896 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
574.34/574.51 c 536s| 2580k| 1492k| 0 | 0.0 | 588M| 39 | - | 60 | 874 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
576.64/576.81 c 538s| 2590k| 1498k| 0 | 0.0 | 591M| 39 | - | 60 | 883 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
579.04/579.25 c 541s| 2600k| 1503k| 0 | 0.0 | 593M| 39 | - | 60 | 927 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
581.34/581.54 c 543s| 2610k| 1509k| 0 | 0.0 | 595M| 39 | - | 60 | 864 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | -- | Inf
583.74/583.95 c 545s| 2620k| 1515k| 0 | 0.0 | 598M| 39 | - | 60 | 913 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
586.15/586.33 c 547s| 2630k| 1521k| 0 | 0.0 | 600M| 39 | - | 60 | 888 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
588.54/588.70 c 549s| 2640k| 1526k| 0 | 0.0 | 602M| 39 | - | 60 | 887 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
590.83/591.03 c 552s| 2650k| 1532k| 0 | 0.0 | 604M| 39 | - | 60 | 890 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
593.24/593.40 c 554s| 2660k| 1538k| 0 | 0.0 | 607M| 39 | - | 60 | 907 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
595.53/595.76 c 556s| 2670k| 1543k| 0 | 0.0 | 609M| 39 | - | 60 | 909 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
597.94/598.11 c 558s| 2680k| 1549k| 0 | 0.0 | 611M| 39 | - | 60 | 952 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
600.24/600.49 c 561s| 2690k| 1555k| 0 | 0.0 | 614M| 39 | - | 60 | 921 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
602.65/602.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
602.65/602.81 c 563s| 2700k| 1560k| 0 | 0.0 | 616M| 39 | - | 60 | 926 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
604.93/605.11 c 565s| 2710k| 1566k| 0 | 0.0 | 618M| 39 | - | 60 | 860 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
607.23/607.40 c 567s| 2720k| 1572k| 0 | 0.0 | 620M| 39 | - | 60 | 843 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
609.53/609.78 c 569s| 2730k| 1577k| 0 | 0.0 | 623M| 39 | - | 60 | 863 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
611.83/612.09 c 571s| 2740k| 1583k| 0 | 0.0 | 625M| 39 | - | 60 | 875 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
614.23/614.43 c 574s| 2750k| 1589k| 0 | 0.0 | 627M| 39 | - | 60 | 909 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
616.63/616.80 c 576s| 2760k| 1594k| 0 | 0.0 | 630M| 39 | - | 60 | 915 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
618.93/619.17 c 578s| 2770k| 1600k| 0 | 0.0 | 632M| 39 | - | 60 | 934 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
621.34/621.50 c 580s| 2780k| 1606k| 0 | 0.0 | 634M| 39 | - | 60 | 885 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
623.63/623.85 c 582s| 2790k| 1611k| 0 | 0.0 | 637M| 39 | - | 60 | 919 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
626.03/626.22 c 585s| 2800k| 1617k| 0 | 0.0 | 639M| 39 | - | 60 | 932 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
628.43/628.60 c 587s| 2810k| 1623k| 0 | 0.0 | 641M| 39 | - | 60 | 941 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
630.83/631.00 c 589s| 2820k| 1629k| 0 | 0.0 | 643M| 39 | - | 60 | 957 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
633.22/633.43 c 591s| 2830k| 1634k| 0 | 0.0 | 646M| 39 | - | 60 | 913 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
635.64/635.83 c 594s| 2840k| 1640k| 0 | 0.0 | 648M| 39 | - | 60 | 965 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
637.93/638.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
637.93/638.19 c 596s| 2850k| 1646k| 0 | 0.0 | 650M| 39 | - | 60 | 950 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
640.33/640.57 c 598s| 2860k| 1652k| 0 | 0.0 | 653M| 39 | - | 60 | 931 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
642.72/642.95 c 600s| 2870k| 1657k| 0 | 0.0 | 655M| 39 | - | 60 | 915 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
645.12/645.38 c 603s| 2880k| 1663k| 0 | 0.0 | 657M| 39 | - | 60 | 960 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
647.63/647.87 c 605s| 2890k| 1668k| 0 | 0.0 | 659M| 39 | - | 60 | 964 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf
650.13/650.35 c 607s| 2900k| 1674k| 0 | 0.0 | 662M| 39 | - | 60 | 961 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
652.62/652.83 c 610s| 2910k| 1679k| 0 | 0.0 | 664M| 39 | - | 60 | 930 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
655.12/655.35 c 612s| 2920k| 1684k| 0 | 0.0 | 666M| 39 | - | 60 | 932 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
657.53/657.74 c 614s| 2930k| 1690k| 0 | 0.0 | 669M| 39 | - | 60 | 959 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
659.92/660.18 c 617s| 2940k| 1695k| 0 | 0.0 | 671M| 39 | - | 60 | 911 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
662.42/662.60 c 619s| 2950k| 1700k| 0 | 0.0 | 673M| 39 | - | 60 | 919 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
664.82/665.07 c 621s| 2960k| 1706k| 0 | 0.0 | 675M| 39 | - | 60 | 913 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
667.32/667.52 c 623s| 2970k| 1711k| 0 | 0.0 | 677M| 39 | - | 60 | 925 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
669.73/669.98 c 626s| 2980k| 1717k| 0 | 0.0 | 680M| 39 | - | 60 | 954 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
672.22/672.43 c 628s| 2990k| 1722k| 0 | 0.0 | 682M| 39 | - | 60 | 945 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
674.71/674.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
674.71/674.94 c 630s| 3000k| 1727k| 0 | 0.0 | 684M| 39 | - | 60 | 951 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | -- | Inf
677.21/677.42 c 633s| 3010k| 1733k| 0 | 0.0 | 687M| 39 | - | 60 | 999 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | -- | Inf
679.72/679.90 c 635s| 3020k| 1738k| 0 | 0.0 | 689M| 39 | - | 60 | 955 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | -- | Inf
682.11/682.38 c 637s| 3030k| 1743k| 0 | 0.0 | 691M| 39 | - | 60 |1006 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | -- | Inf
684.61/684.85 c 640s| 3040k| 1749k| 0 | 0.0 | 693M| 39 | - | 60 | 988 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | -- | Inf
687.11/687.37 c 642s| 3050k| 1754k| 0 | 0.0 | 696M| 39 | - | 60 | 965 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
689.61/689.81 c 644s| 3060k| 1759k| 0 | 0.0 | 698M| 39 | - | 60 | 948 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
692.11/692.31 c 647s| 3070k| 1765k| 0 | 0.0 | 700M| 39 | - | 60 | 984 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf
694.51/694.76 c 649s| 3080k| 1770k| 0 | 0.0 | 702M| 39 | - | 60 | 963 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | -- | Inf
697.01/697.29 c 651s| 3090k| 1776k| 0 | 0.0 | 705M| 39 | - | 60 | 987 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | -- | Inf
699.61/699.87 c 654s| 3100k| 1781k| 0 | 0.0 | 707M| 39 | - | 60 |1022 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | -- | Inf
702.11/702.36 c 656s| 3110k| 1786k| 0 | 0.0 | 709M| 39 | - | 60 |1020 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | -- | Inf
704.70/704.94 c 659s| 3120k| 1792k| 0 | 0.0 | 712M| 39 | - | 60 |1048 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | -- | Inf
707.30/707.57 c 661s| 3130k| 1797k| 0 | 0.0 | 714M| 39 | - | 60 |1013 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | -- | Inf
709.81/710.03 c 663s| 3140k| 1802k| 0 | 0.0 | 716M| 39 | - | 60 | 986 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | -- | Inf
712.40/712.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
712.40/712.62 c 666s| 3150k| 1807k| 0 | 0.0 | 718M| 39 | - | 60 |1019 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | -- | Inf
714.81/715.09 c 668s| 3160k| 1813k| 0 | 0.0 | 721M| 39 | - | 60 | 998 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | -- | Inf
717.30/717.56 c 671s| 3170k| 1818k| 0 | 0.0 | 723M| 39 | - | 60 |1055 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | -- | Inf
719.80/720.05 c 673s| 3180k| 1823k| 0 | 0.0 | 725M| 39 | - | 60 | 997 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | -- | Inf
722.30/722.54 c 675s| 3190k| 1829k| 0 | 0.0 | 727M| 39 | - | 60 |1005 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | -- | Inf
724.80/725.02 c 678s| 3200k| 1834k| 0 | 0.0 | 730M| 39 | - | 60 | 977 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | -- | Inf
727.30/727.52 c 680s| 3210k| 1840k| 0 | 0.0 | 732M| 39 | - | 60 |1035 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | -- | Inf
729.80/730.05 c 682s| 3220k| 1845k| 0 | 0.0 | 734M| 39 | - | 60 |1040 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | -- | Inf
732.40/732.66 c 685s| 3230k| 1850k| 0 | 0.0 | 737M| 39 | - | 60 |1072 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | -- | Inf
734.90/735.19 c 687s| 3240k| 1856k| 0 | 0.0 | 739M| 39 | - | 60 |1059 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | -- | Inf
737.50/737.78 c 690s| 3250k| 1861k| 0 | 0.0 | 741M| 39 | - | 60 |1062 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | -- | Inf
740.00/740.26 c 692s| 3260k| 1866k| 0 | 0.0 | 743M| 39 | - | 60 | 968 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | -- | Inf
742.60/742.86 c 694s| 3270k| 1872k| 0 | 0.0 | 746M| 39 | - | 60 |1060 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | -- | Inf
745.20/745.41 c 697s| 3280k| 1877k| 0 | 0.0 | 748M| 39 | - | 60 |1022 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | -- | Inf
747.80/748.04 c 699s| 3290k| 1882k| 0 | 0.0 | 750M| 39 | - | 60 |1015 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | -- | Inf
750.29/750.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
750.29/750.52 c 702s| 3300k| 1888k| 0 | 0.0 | 752M| 39 | - | 60 |1038 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | -- | Inf
752.90/753.18 c 704s| 3310k| 1893k| 0 | 0.0 | 755M| 39 | - | 60 |1052 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | -- | Inf
755.51/755.79 c 706s| 3320k| 1898k| 0 | 0.0 | 757M| 39 | - | 60 |1034 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | -- | Inf
758.19/758.42 c 709s| 3330k| 1903k| 0 | 0.0 | 759M| 39 | - | 60 |1111 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | -- | Inf
760.79/761.03 c 711s| 3340k| 1908k| 0 | 0.0 | 761M| 39 | - | 60 |1072 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | -- | Inf
763.29/763.56 c 714s| 3350k| 1913k| 0 | 0.0 | 764M| 39 | - | 60 |1058 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | -- | Inf
765.99/766.21 c 716s| 3360k| 1918k| 0 | 0.0 | 766M| 39 | - | 60 |1025 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | -- | Inf
768.70/768.93 c 719s| 3370k| 1923k| 0 | 0.0 | 768M| 39 | - | 60 |1056 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | -- | Inf
771.18/771.48 c 721s| 3380k| 1928k| 0 | 0.0 | 770M| 39 | - | 60 |1013 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | -- | Inf
773.89/774.16 c 724s| 3390k| 1933k| 0 | 0.0 | 773M| 39 | - | 60 |1042 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
776.49/776.74 c 726s| 3400k| 1938k| 0 | 0.0 | 775M| 39 | - | 60 |1018 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
779.08/779.35 c 729s| 3410k| 1943k| 0 | 0.0 | 777M| 39 | - | 60 |1029 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | -- | Inf
781.79/782.00 c 731s| 3420k| 1948k| 0 | 0.0 | 779M| 39 | - | 60 |1031 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | -- | Inf
784.38/784.68 c 734s| 3430k| 1953k| 0 | 0.0 | 782M| 39 | - | 60 |1049 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | -- | Inf
786.98/787.28 c 736s| 3440k| 1957k| 0 | 0.0 | 784M| 39 | - | 60 |1081 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | -- | Inf
789.68/789.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
789.68/789.95 c 739s| 3450k| 1962k| 0 | 0.0 | 786M| 39 | - | 60 |1084 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | -- | Inf
792.38/792.63 c 741s| 3460k| 1967k| 0 | 0.0 | 788M| 39 | - | 60 |1110 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | -- | Inf
794.99/795.21 c 744s| 3470k| 1972k| 0 | 0.0 | 791M| 39 | - | 60 |1043 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | -- | Inf
797.48/797.79 c 746s| 3480k| 1977k| 0 | 0.0 | 793M| 39 | - | 60 |1066 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | -- | Inf
800.29/800.55 c 749s| 3490k| 1982k| 0 | 0.0 | 795M| 39 | - | 60 |1086 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | -- | Inf
802.98/803.22 c 751s| 3500k| 1987k| 0 | 0.0 | 797M| 39 | - | 60 |1093 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | -- | Inf
805.58/805.89 c 754s| 3510k| 1992k| 0 | 0.0 | 800M| 39 | - | 60 |1069 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | -- | Inf
808.38/808.61 c 756s| 3520k| 1997k| 0 | 0.0 | 802M| 39 | - | 60 |1082 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | -- | Inf
810.98/811.22 c 759s| 3530k| 2002k| 0 | 0.0 | 804M| 39 | - | 60 |1072 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | -- | Inf
813.58/813.83 c 761s| 3540k| 2007k| 0 | 0.0 | 806M| 39 | - | 60 |1073 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | -- | Inf
816.28/816.55 c 764s| 3550k| 2012k| 0 | 0.0 | 808M| 39 | - | 60 |1119 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | -- | Inf
818.98/819.23 c 766s| 3560k| 2017k| 0 | 0.0 | 811M| 39 | - | 60 |1120 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | -- | Inf
821.57/821.88 c 769s| 3570k| 2022k| 0 | 0.0 | 813M| 39 | - | 60 |1156 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | -- | Inf
824.27/824.53 c 771s| 3580k| 2027k| 0 | 0.0 | 815M| 39 | - | 60 |1073 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | -- | Inf
826.88/827.16 c 774s| 3590k| 2032k| 0 | 0.0 | 817M| 39 | - | 60 |1034 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | -- | Inf
829.58/829.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
829.58/829.83 c 776s| 3600k| 2037k| 0 | 0.0 | 820M| 39 | - | 60 |1062 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | -- | Inf
832.28/832.53 c 779s| 3610k| 2042k| 0 | 0.0 | 822M| 39 | - | 60 |1122 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | -- | Inf
834.97/835.20 c 781s| 3620k| 2047k| 0 | 0.0 | 824M| 39 | - | 60 |1133 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | -- | Inf
837.67/837.95 c 784s| 3630k| 2051k| 0 | 0.0 | 826M| 39 | - | 60 |1139 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | -- | Inf
840.48/840.70 c 787s| 3640k| 2056k| 0 | 0.0 | 829M| 39 | - | 60 |1179 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | -- | Inf
843.07/843.39 c 789s| 3650k| 2061k| 0 | 0.0 | 831M| 39 | - | 60 |1175 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | -- | Inf
845.97/846.20 c 792s| 3660k| 2066k| 0 | 0.0 | 833M| 39 | - | 60 |1220 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | -- | Inf
848.67/848.90 c 794s| 3670k| 2071k| 0 | 0.0 | 835M| 39 | - | 60 |1183 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | -- | Inf
851.37/851.66 c 797s| 3680k| 2076k| 0 | 0.0 | 838M| 39 | - | 60 |1218 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | -- | Inf
854.06/854.32 c 799s| 3690k| 2081k| 0 | 0.0 | 840M| 39 | - | 60 |1165 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | -- | Inf
856.68/856.99 c 802s| 3700k| 2086k| 0 | 0.0 | 842M| 39 | - | 60 |1172 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | -- | Inf
859.37/859.65 c 804s| 3710k| 2090k| 0 | 0.0 | 844M| 39 | - | 60 |1098 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | -- | Inf
862.07/862.40 c 807s| 3720k| 2095k| 0 | 0.0 | 847M| 39 | - | 60 |1143 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | -- | Inf
864.76/865.06 c 810s| 3730k| 2100k| 0 | 0.0 | 849M| 39 | - | 60 |1108 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | -- | Inf
867.57/867.82 c 812s| 3740k| 2105k| 0 | 0.0 | 851M| 39 | - | 60 |1163 | 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | -- | Inf
870.26/870.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
870.26/870.54 c 815s| 3750k| 2110k| 0 | 0.0 | 853M| 39 | - | 60 |1168 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | -- | Inf
872.96/873.20 c 817s| 3760k| 2115k| 0 | 0.0 | 855M| 39 | - | 60 |1104 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | -- | Inf
875.66/875.93 c 820s| 3770k| 2120k| 0 | 0.0 | 858M| 39 | - | 60 |1183 | 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | -- | Inf
878.46/878.71 c 822s| 3780k| 2125k| 0 | 0.0 | 860M| 39 | - | 60 |1184 | 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | -- | Inf
881.16/881.47 c 825s| 3790k| 2130k| 0 | 0.0 | 862M| 39 | - | 60 |1185 | 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | -- | Inf
883.96/884.27 c 828s| 3800k| 2134k| 0 | 0.0 | 864M| 39 | - | 60 |1203 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | -- | Inf
886.86/887.19 c 830s| 3810k| 2139k| 0 | 0.0 | 867M| 39 | - | 60 |1222 | 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | -- | Inf
889.85/890.12 c 833s| 3820k| 2143k| 0 | 0.0 | 869M| 39 | - | 60 |1225 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | -- | Inf
892.76/893.00 c 836s| 3830k| 2148k| 0 | 0.0 | 871M| 39 | - | 60 |1189 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | -- | Inf
895.56/895.86 c 839s| 3840k| 2152k| 0 | 0.0 | 873M| 39 | - | 60 |1189 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | -- | Inf
898.26/898.58 c 841s| 3850k| 2157k| 0 | 0.0 | 876M| 39 | - | 60 |1148 | 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | -- | Inf
901.16/901.41 c 844s| 3860k| 2161k| 0 | 0.0 | 878M| 39 | - | 60 |1132 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | -- | Inf
903.86/904.17 c 846s| 3870k| 2166k| 0 | 0.0 | 880M| 39 | - | 60 |1161 | 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | -- | Inf
906.76/907.00 c 849s| 3880k| 2171k| 0 | 0.0 | 882M| 39 | - | 60 |1162 | 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | -- | Inf
909.55/909.89 c 852s| 3890k| 2175k| 0 | 0.0 | 885M| 39 | - | 60 |1196 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | -- | Inf
912.45/912.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
912.45/912.70 c 854s| 3900k| 2180k| 0 | 0.0 | 887M| 39 | - | 60 |1192 | 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | -- | Inf
915.35/915.61 c 857s| 3910k| 2184k| 0 | 0.0 | 889M| 39 | - | 60 |1226 | 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | -- | Inf
918.35/918.60 c 860s| 3920k| 2189k| 0 | 0.0 | 891M| 39 | - | 60 |1264 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | -- | Inf
921.15/921.48 c 863s| 3930k| 2193k| 0 | 0.0 | 893M| 39 | - | 60 |1223 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | -- | Inf
924.15/924.45 c 866s| 3940k| 2197k| 0 | 0.0 | 896M| 39 | - | 60 |1248 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | -- | Inf
927.05/927.38 c 868s| 3950k| 2202k| 0 | 0.0 | 898M| 39 | - | 60 |1243 | 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | -- | Inf
929.95/930.25 c 871s| 3960k| 2206k| 0 | 0.0 | 900M| 39 | - | 60 |1177 | 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | -- | Inf
932.74/933.09 c 874s| 3970k| 2211k| 0 | 0.0 | 902M| 39 | - | 60 |1231 | 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | -- | Inf
935.75/936.00 c 876s| 3980k| 2215k| 0 | 0.0 | 905M| 39 | - | 60 |1200 | 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | -- | Inf
938.65/938.97 c 879s| 3990k| 2220k| 0 | 0.0 | 907M| 39 | - | 60 |1250 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | -- | Inf
941.63/941.95 c 882s| 4000k| 2224k| 0 | 0.0 | 909M| 39 | - | 60 |1267 | 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | -- | Inf
944.43/944.77 c 885s| 4010k| 2229k| 0 | 0.0 | 911M| 39 | - | 60 |1199 | 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | -- | Inf
947.33/947.69 c 888s| 4020k| 2233k| 0 | 0.0 | 913M| 39 | - | 60 |1186 | 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | -- | Inf
950.23/950.51 c 890s| 4030k| 2238k| 0 | 0.0 | 916M| 39 | - | 60 |1203 | 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | -- | Inf
953.13/953.46 c 893s| 4040k| 2242k| 0 | 0.0 | 918M| 39 | - | 60 |1259 | 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | -- | Inf
956.13/956.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
956.13/956.40 c 896s| 4050k| 2247k| 0 | 0.0 | 920M| 39 | - | 60 |1232 | 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | -- | Inf
958.94/959.26 c 898s| 4060k| 2251k| 0 | 0.0 | 922M| 39 | - | 60 |1241 | 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | -- | Inf
961.83/962.10 c 901s| 4070k| 2256k| 0 | 0.0 | 924M| 39 | - | 60 |1176 | 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | -- | Inf
964.73/965.03 c 904s| 4080k| 2260k| 0 | 0.0 | 927M| 39 | - | 60 |1196 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | -- | Inf
967.52/967.89 c 907s| 4090k| 2265k| 0 | 0.0 | 929M| 39 | - | 60 |1201 | 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | -- | Inf
970.43/970.76 c 909s| 4100k| 2269k| 0 | 0.0 | 931M| 39 | - | 60 |1259 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | -- | Inf
973.43/973.70 c 912s| 4110k| 2274k| 0 | 0.0 | 933M| 39 | - | 60 |1229 | 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | -- | Inf
976.32/976.61 c 915s| 4120k| 2278k| 0 | 0.0 | 936M| 39 | - | 60 |1296 | 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | -- | Inf
979.32/979.68 c 918s| 4130k| 2282k| 0 | 0.0 | 938M| 39 | - | 60 |1338 | 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | -- | Inf
982.32/982.65 c 921s| 4140k| 2287k| 0 | 0.0 | 940M| 39 | - | 60 |1299 | 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | -- | Inf
985.33/985.66 c 923s| 4150k| 2291k| 0 | 0.0 | 942M| 39 | - | 60 |1391 | 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | -- | Inf
988.22/988.55 c 926s| 4160k| 2296k| 0 | 0.0 | 944M| 39 | - | 60 |1314 | 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | -- | Inf
991.02/991.38 c 929s| 4170k| 2300k| 0 | 0.0 | 947M| 39 | - | 60 |1241 | 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | -- | Inf
994.03/994.34 c 932s| 4180k| 2305k| 0 | 0.0 | 949M| 39 | - | 60 |1266 | 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | -- | Inf
996.82/997.14 c 934s| 4190k| 2309k| 0 | 0.0 | 951M| 39 | - | 60 |1241 | 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | -- | Inf
999.72/1000.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
999.72/1000.06 c 937s| 4200k| 2313k| 0 | 0.0 | 953M| 39 | - | 60 |1298 | 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | -- | Inf
1002.61/1002.99 c 940s| 4210k| 2318k| 0 | 0.0 | 955M| 39 | - | 60 |1277 | 0 | 0 | 0 | 291k| 0 | 0.000000e+00 | -- | Inf
1005.62/1005.92 c 943s| 4220k| 2322k| 0 | 0.0 | 958M| 39 | - | 60 |1293 | 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | -- | Inf
1008.52/1008.86 c 945s| 4230k| 2327k| 0 | 0.0 | 960M| 39 | - | 60 |1297 | 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | -- | Inf
1011.51/1011.80 c 948s| 4240k| 2331k| 0 | 0.0 | 962M| 39 | - | 60 |1265 | 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | -- | Inf
1014.41/1014.77 c 951s| 4250k| 2335k| 0 | 0.0 | 964M| 39 | - | 60 |1302 | 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | -- | Inf
1017.31/1017.69 c 954s| 4260k| 2340k| 0 | 0.0 | 966M| 39 | - | 60 |1334 | 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | -- | Inf
1020.31/1020.69 c 957s| 4270k| 2344k| 0 | 0.0 | 969M| 39 | - | 60 |1358 | 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | -- | Inf
1023.41/1023.76 c 959s| 4280k| 2349k| 0 | 0.0 | 971M| 39 | - | 60 |1319 | 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | -- | Inf
1026.41/1026.73 c 962s| 4290k| 2353k| 0 | 0.0 | 973M| 39 | - | 60 |1322 | 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | -- | Inf
1029.41/1029.74 c 965s| 4300k| 2357k| 0 | 0.0 | 975M| 39 | - | 60 |1337 | 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | -- | Inf
1032.30/1032.68 c 968s| 4310k| 2362k| 0 | 0.0 | 977M| 39 | - | 60 |1288 | 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | -- | Inf
1035.20/1035.54 c 971s| 4320k| 2367k| 0 | 0.0 | 980M| 39 | - | 60 |1297 | 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | -- | Inf
1038.21/1038.52 c 973s| 4330k| 2371k| 0 | 0.0 | 982M| 39 | - | 60 |1370 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | -- | Inf
1041.21/1041.52 c 976s| 4340k| 2375k| 0 | 0.0 | 984M| 39 | - | 60 |1332 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | -- | Inf
1044.20/1044.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1044.20/1044.50 c 979s| 4350k| 2380k| 0 | 0.0 | 986M| 39 | - | 60 |1358 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | -- | Inf
1047.31/1047.65 c 982s| 4360k| 2384k| 0 | 0.0 | 989M| 39 | - | 60 |1339 | 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | -- | Inf
1050.60/1050.90 c 985s| 4370k| 2387k| 0 | 0.0 | 991M| 39 | - | 60 |1371 | 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | -- | Inf
1053.71/1054.01 c 988s| 4380k| 2391k| 0 | 0.0 | 993M| 39 | - | 60 |1387 | 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | -- | Inf
1056.90/1057.27 c 991s| 4390k| 2395k| 0 | 0.0 | 995M| 39 | - | 60 |1465 | 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | -- | Inf
1060.29/1060.62 c 994s| 4400k| 2399k| 0 | 0.0 | 997M| 39 | - | 60 |1413 | 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | -- | Inf
1063.31/1063.68 c 997s| 4410k| 2403k| 0 | 0.0 | 999M| 39 | - | 60 |1385 | 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | -- | Inf
1066.50/1066.89 c 1000s| 4420k| 2407k| 0 | 0.0 |1002M| 39 | - | 60 |1388 | 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | -- | Inf
1069.70/1070.04 c 1003s| 4430k| 2411k| 0 | 0.0 |1004M| 39 | - | 60 |1338 | 0 | 0 | 0 | 312k| 0 | 0.000000e+00 | -- | Inf
1072.90/1073.22 c 1006s| 4440k| 2415k| 0 | 0.0 |1006M| 39 | - | 60 |1350 | 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | -- | Inf
1075.89/1076.25 c 1009s| 4450k| 2419k| 0 | 0.0 |1008M| 39 | - | 60 |1318 | 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | -- | Inf
1078.90/1079.26 c 1012s| 4460k| 2423k| 0 | 0.0 |1010M| 39 | - | 60 |1301 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | -- | Inf
1082.00/1082.36 c 1015s| 4470k| 2427k| 0 | 0.0 |1012M| 39 | - | 60 |1331 | 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | -- | Inf
1085.19/1085.59 c 1018s| 4480k| 2431k| 0 | 0.0 |1015M| 39 | - | 60 |1416 | 0 | 0 | 0 | 317k| 0 | 0.000000e+00 | -- | Inf
1088.50/1088.87 c 1021s| 4490k| 2434k| 0 | 0.0 |1017M| 39 | - | 60 |1366 | 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | -- | Inf
1091.59/1091.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1091.59/1091.97 c 1024s| 4500k| 2439k| 0 | 0.0 |1019M| 39 | - | 60 |1314 | 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | -- | Inf
1094.79/1095.18 c 1027s| 4510k| 2442k| 0 | 0.0 |1021M| 39 | - | 60 |1347 | 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | -- | Inf
1097.89/1098.29 c 1030s| 4520k| 2446k| 0 | 0.0 |1023M| 39 | - | 60 |1368 | 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | -- | Inf
1100.89/1101.28 c 1033s| 4530k| 2450k| 0 | 0.0 |1025M| 39 | - | 60 |1292 | 0 | 0 | 0 | 322k| 0 | 0.000000e+00 | -- | Inf
1104.19/1104.54 c 1036s| 4540k| 2454k| 0 | 0.0 |1028M| 39 | - | 60 |1357 | 0 | 0 | 0 | 322k| 0 | 0.000000e+00 | -- | Inf
1107.39/1107.72 c 1039s| 4550k| 2458k| 0 | 0.0 |1030M| 39 | - | 60 |1344 | 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | -- | Inf
1110.60/1110.96 c 1042s| 4560k| 2462k| 0 | 0.0 |1032M| 39 | - | 60 |1373 | 0 | 0 | 0 | 324k| 0 | 0.000000e+00 | -- | Inf
1113.78/1114.17 c 1045s| 4570k| 2466k| 0 | 0.0 |1034M| 39 | - | 60 |1355 | 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | -- | Inf
1116.98/1117.34 c 1048s| 4580k| 2470k| 0 | 0.0 |1036M| 39 | - | 60 |1377 | 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | -- | Inf
1120.08/1120.42 c 1051s| 4590k| 2474k| 0 | 0.0 |1038M| 39 | - | 60 |1325 | 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | -- | Inf
1123.28/1123.63 c 1054s| 4600k| 2478k| 0 | 0.0 |1041M| 39 | - | 60 |1365 | 0 | 0 | 0 | 328k| 0 | 0.000000e+00 | -- | Inf
1126.58/1126.90 c 1057s| 4610k| 2482k| 0 | 0.0 |1043M| 39 | - | 60 |1354 | 0 | 0 | 0 | 329k| 0 | 0.000000e+00 | -- | Inf
1129.78/1130.16 c 1060s| 4620k| 2485k| 0 | 0.0 |1045M| 39 | - | 60 |1334 | 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | -- | Inf
1132.98/1133.30 c 1063s| 4630k| 2489k| 0 | 0.0 |1047M| 39 | - | 60 |1356 | 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | -- | Inf
1136.18/1136.57 c 1066s| 4640k| 2493k| 0 | 0.0 |1049M| 39 | - | 60 |1417 | 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | -- | Inf
1139.38/1139.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1139.38/1139.75 c 1070s| 4650k| 2497k| 0 | 0.0 |1051M| 39 | - | 60 |1413 | 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | -- | Inf
1142.49/1142.88 c 1072s| 4660k| 2501k| 0 | 0.0 |1054M| 39 | - | 60 |1340 | 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | -- | Inf
1145.68/1146.07 c 1076s| 4670k| 2505k| 0 | 0.0 |1056M| 39 | - | 60 |1372 | 0 | 0 | 0 | 335k| 0 | 0.000000e+00 | -- | Inf
1148.97/1149.32 c 1079s| 4680k| 2509k| 0 | 0.0 |1058M| 39 | - | 60 |1394 | 0 | 0 | 0 | 336k| 0 | 0.000000e+00 | -- | Inf
1152.17/1152.52 c 1082s| 4690k| 2513k| 0 | 0.0 |1060M| 39 | - | 60 |1385 | 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | -- | Inf
1155.28/1155.63 c 1085s| 4700k| 2517k| 0 | 0.0 |1062M| 39 | - | 60 |1351 | 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | -- | Inf
1158.48/1158.81 c 1088s| 4710k| 2521k| 0 | 0.0 |1064M| 39 | - | 60 |1337 | 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | -- | Inf
1161.78/1162.10 c 1091s| 4720k| 2524k| 0 | 0.0 |1067M| 39 | - | 60 |1407 | 0 | 0 | 0 | 340k| 0 | 0.000000e+00 | -- | Inf
1164.88/1165.23 c 1094s| 4730k| 2528k| 0 | 0.0 |1069M| 39 | - | 60 |1385 | 0 | 0 | 0 | 341k| 0 | 0.000000e+00 | -- | Inf
1168.17/1168.50 c 1097s| 4740k| 2532k| 0 | 0.0 |1071M| 39 | - | 60 |1437 | 0 | 0 | 0 | 342k| 0 | 0.000000e+00 | -- | Inf
1171.37/1171.73 c 1100s| 4750k| 2536k| 0 | 0.0 |1073M| 39 | - | 60 |1441 | 0 | 0 | 0 | 343k| 0 | 0.000000e+00 | -- | Inf
1174.47/1174.86 c 1103s| 4760k| 2540k| 0 | 0.0 |1075M| 39 | - | 60 |1390 | 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | -- | Inf
1177.78/1178.12 c 1106s| 4770k| 2544k| 0 | 0.0 |1077M| 39 | - | 60 |1480 | 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | -- | Inf
1180.87/1181.21 c 1109s| 4780k| 2548k| 0 | 0.0 |1079M| 39 | - | 60 |1429 | 0 | 0 | 0 | 346k| 0 | 0.000000e+00 | -- | Inf
1183.96/1184.34 c 1112s| 4790k| 2552k| 0 | 0.0 |1082M| 39 | - | 60 |1402 | 0 | 0 | 0 | 347k| 0 | 0.000000e+00 | -- | Inf
1187.07/1187.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1187.07/1187.48 c 1115s| 4800k| 2556k| 0 | 0.0 |1084M| 39 | - | 60 |1318 | 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | -- | Inf
1190.16/1190.53 c 1118s| 4810k| 2560k| 0 | 0.0 |1086M| 39 | - | 60 |1306 | 0 | 0 | 0 | 349k| 0 | 0.000000e+00 | -- | Inf
1193.26/1193.67 c 1121s| 4820k| 2564k| 0 | 0.0 |1088M| 39 | - | 60 |1340 | 0 | 0 | 0 | 350k| 0 | 0.000000e+00 | -- | Inf
1196.56/1196.92 c 1124s| 4830k| 2567k| 0 | 0.0 |1090M| 39 | - | 60 |1386 | 0 | 0 | 0 | 351k| 0 | 0.000000e+00 | -- | Inf
1199.86/1200.25 c 1127s| 4840k| 2571k| 0 | 0.0 |1092M| 39 | - | 60 |1479 | 0 | 0 | 0 | 352k| 0 | 0.000000e+00 | -- | Inf
1203.26/1203.63 c 1130s| 4850k| 2575k| 0 | 0.0 |1095M| 39 | - | 60 |1508 | 0 | 0 | 0 | 353k| 0 | 0.000000e+00 | -- | Inf
1206.46/1206.84 c 1133s| 4860k| 2579k| 0 | 0.0 |1097M| 39 | - | 60 |1500 | 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | -- | Inf
1209.87/1210.26 c 1137s| 4870k| 2583k| 0 | 0.0 |1099M| 39 | - | 60 |1500 | 0 | 0 | 0 | 355k| 0 | 0.000000e+00 | -- | Inf
1213.06/1213.43 c 1140s| 4880k| 2587k| 0 | 0.0 |1101M| 39 | - | 60 |1461 | 0 | 0 | 0 | 356k| 0 | 0.000000e+00 | -- | Inf
1216.17/1216.57 c 1143s| 4890k| 2591k| 0 | 0.0 |1103M| 39 | - | 60 |1464 | 0 | 0 | 0 | 357k| 0 | 0.000000e+00 | -- | Inf
1219.36/1219.77 c 1146s| 4900k| 2595k| 0 | 0.0 |1106M| 39 | - | 60 |1410 | 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | -- | Inf
1222.56/1222.91 c 1149s| 4910k| 2598k| 0 | 0.0 |1108M| 39 | - | 60 |1413 | 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | -- | Inf
1225.66/1226.08 c 1152s| 4920k| 2602k| 0 | 0.0 |1110M| 39 | - | 60 |1448 | 0 | 0 | 0 | 360k| 0 | 0.000000e+00 | -- | Inf
1228.86/1229.23 c 1155s| 4930k| 2606k| 0 | 0.0 |1112M| 39 | - | 60 |1408 | 0 | 0 | 0 | 361k| 0 | 0.000000e+00 | -- | Inf
1232.26/1232.60 c 1158s| 4940k| 2610k| 0 | 0.0 |1114M| 39 | - | 60 |1446 | 0 | 0 | 0 | 362k| 0 | 0.000000e+00 | -- | Inf
1235.66/1236.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1235.66/1236.03 c 1161s| 4950k| 2613k| 0 | 0.0 |1116M| 39 | - | 60 |1442 | 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | -- | Inf
1239.05/1239.48 c 1164s| 4960k| 2617k| 0 | 0.0 |1118M| 39 | - | 60 |1470 | 0 | 0 | 0 | 364k| 0 | 0.000000e+00 | -- | Inf
1242.56/1242.95 c 1168s| 4970k| 2620k| 0 | 0.0 |1120M| 39 | - | 60 |1461 | 0 | 0 | 0 | 365k| 0 | 0.000000e+00 | -- | Inf
1245.85/1246.28 c 1171s| 4980k| 2624k| 0 | 0.0 |1123M| 39 | - | 60 |1405 | 0 | 0 | 0 | 366k| 0 | 0.000000e+00 | -- | Inf
1249.25/1249.65 c 1174s| 4990k| 2627k| 0 | 0.0 |1125M| 39 | - | 60 |1366 | 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | -- | Inf
1252.65/1253.01 c 1177s| 5000k| 2630k| 0 | 0.0 |1127M| 39 | - | 60 |1339 | 0 | 0 | 0 | 368k| 0 | 0.000000e+00 | -- | Inf
1255.86/1256.27 c 1180s| 5010k| 2634k| 0 | 0.0 |1129M| 39 | - | 60 |1315 | 0 | 0 | 0 | 369k| 0 | 0.000000e+00 | -- | Inf
1259.06/1259.42 c 1183s| 5020k| 2637k| 0 | 0.0 |1131M| 39 | - | 60 |1317 | 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | -- | Inf
1262.25/1262.62 c 1186s| 5030k| 2641k| 0 | 0.0 |1133M| 39 | - | 60 |1363 | 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | -- | Inf
1265.65/1266.00 c 1190s| 5040k| 2644k| 0 | 0.0 |1135M| 39 | - | 60 |1378 | 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | -- | Inf
1268.95/1269.32 c 1193s| 5050k| 2648k| 0 | 0.0 |1137M| 39 | - | 60 |1413 | 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | -- | Inf
1272.35/1272.74 c 1196s| 5060k| 2651k| 0 | 0.0 |1139M| 39 | - | 60 |1369 | 0 | 0 | 0 | 373k| 0 | 0.000000e+00 | -- | Inf
1275.65/1276.03 c 1199s| 5070k| 2655k| 0 | 0.0 |1141M| 39 | - | 60 |1333 | 0 | 0 | 0 | 374k| 0 | 0.000000e+00 | -- | Inf
1278.75/1279.15 c 1202s| 5080k| 2658k| 0 | 0.0 |1143M| 39 | - | 60 |1346 | 0 | 0 | 0 | 375k| 0 | 0.000000e+00 | -- | Inf
1281.84/1282.28 c 1205s| 5090k| 2662k| 0 | 0.0 |1145M| 39 | - | 60 |1320 | 0 | 0 | 0 | 376k| 0 | 0.000000e+00 | -- | Inf
1285.14/1285.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1285.14/1285.50 c 1208s| 5100k| 2665k| 0 | 0.0 |1147M| 39 | - | 60 |1335 | 0 | 0 | 0 | 377k| 0 | 0.000000e+00 | -- | Inf
1288.34/1288.77 c 1211s| 5110k| 2669k| 0 | 0.0 |1149M| 39 | - | 60 |1356 | 0 | 0 | 0 | 378k| 0 | 0.000000e+00 | -- | Inf
1291.34/1291.75 c 1214s| 5120k| 2673k| 0 | 0.0 |1151M| 39 | - | 60 |1300 | 0 | 0 | 0 | 379k| 0 | 0.000000e+00 | -- | Inf
1294.74/1295.13 c 1217s| 5130k| 2676k| 0 | 0.0 |1153M| 39 | - | 60 |1351 | 0 | 0 | 0 | 380k| 0 | 0.000000e+00 | -- | Inf
1298.04/1298.46 c 1221s| 5140k| 2680k| 0 | 0.0 |1156M| 39 | - | 60 |1363 | 0 | 0 | 0 | 380k| 0 | 0.000000e+00 | -- | Inf
1301.53/1301.96 c 1224s| 5150k| 2683k| 0 | 0.0 |1158M| 39 | - | 60 |1454 | 0 | 0 | 0 | 381k| 0 | 0.000000e+00 | -- | Inf
1304.93/1305.39 c 1227s| 5160k| 2686k| 0 | 0.0 |1160M| 39 | - | 60 |1435 | 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | -- | Inf
1308.43/1308.89 c 1231s| 5170k| 2689k| 0 | 0.0 |1162M| 39 | - | 60 |1468 | 0 | 0 | 0 | 383k| 0 | 0.000000e+00 | -- | Inf
1312.04/1312.49 c 1234s| 5180k| 2693k| 0 | 0.0 |1164M| 39 | - | 60 |1466 | 0 | 0 | 0 | 384k| 0 | 0.000000e+00 | -- | Inf
1315.53/1315.98 c 1237s| 5190k| 2696k| 0 | 0.0 |1166M| 39 | - | 60 |1482 | 0 | 0 | 0 | 386k| 0 | 0.000000e+00 | -- | Inf
1319.13/1319.58 c 1241s| 5200k| 2699k| 0 | 0.0 |1168M| 39 | - | 60 |1490 | 0 | 0 | 0 | 386k| 0 | 0.000000e+00 | -- | Inf
1322.63/1323.04 c 1244s| 5210k| 2703k| 0 | 0.0 |1170M| 39 | - | 60 |1474 | 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | -- | Inf
1326.14/1326.51 c 1247s| 5220k| 2706k| 0 | 0.0 |1172M| 39 | - | 60 |1457 | 0 | 0 | 0 | 388k| 0 | 0.000000e+00 | -- | Inf
1329.73/1330.11 c 1251s| 5230k| 2709k| 0 | 0.0 |1174M| 39 | - | 60 |1495 | 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | -- | Inf
1333.23/1333.62 c 1254s| 5240k| 2712k| 0 | 0.0 |1176M| 39 | - | 60 |1495 | 0 | 0 | 0 | 390k| 0 | 0.000000e+00 | -- | Inf
1336.93/1337.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1336.93/1337.36 c 1258s| 5250k| 2716k| 0 | 0.0 |1178M| 39 | - | 60 |1508 | 0 | 0 | 0 | 391k| 0 | 0.000000e+00 | -- | Inf
1340.53/1340.94 c 1261s| 5260k| 2719k| 0 | 0.0 |1180M| 39 | - | 60 |1473 | 0 | 0 | 0 | 392k| 0 | 0.000000e+00 | -- | Inf
1344.12/1344.58 c 1265s| 5270k| 2722k| 0 | 0.0 |1182M| 39 | - | 60 |1507 | 0 | 0 | 0 | 394k| 0 | 0.000000e+00 | -- | Inf
1347.62/1348.00 c 1268s| 5280k| 2726k| 0 | 0.0 |1184M| 39 | - | 60 |1477 | 0 | 0 | 0 | 394k| 0 | 0.000000e+00 | -- | Inf
1351.12/1351.51 c 1271s| 5290k| 2729k| 0 | 0.0 |1186M| 39 | - | 60 |1478 | 0 | 0 | 0 | 396k| 0 | 0.000000e+00 | -- | Inf
1354.62/1355.03 c 1275s| 5300k| 2732k| 0 | 0.0 |1188M| 39 | - | 60 |1462 | 0 | 0 | 0 | 397k| 0 | 0.000000e+00 | -- | Inf
1358.13/1358.59 c 1278s| 5310k| 2736k| 0 | 0.0 |1190M| 39 | - | 60 |1520 | 0 | 0 | 0 | 398k| 0 | 0.000000e+00 | -- | Inf
1361.72/1362.11 c 1281s| 5320k| 2739k| 0 | 0.0 |1193M| 39 | - | 60 |1486 | 0 | 0 | 0 | 399k| 0 | 0.000000e+00 | -- | Inf
1365.12/1365.60 c 1285s| 5330k| 2742k| 0 | 0.0 |1195M| 39 | - | 60 |1486 | 0 | 0 | 0 | 400k| 0 | 0.000000e+00 | -- | Inf
1368.72/1369.19 c 1288s| 5340k| 2745k| 0 | 0.0 |1197M| 39 | - | 60 |1460 | 0 | 0 | 0 | 401k| 0 | 0.000000e+00 | -- | Inf
1372.12/1372.55 c 1291s| 5350k| 2749k| 0 | 0.0 |1199M| 39 | - | 60 |1469 | 0 | 0 | 0 | 401k| 0 | 0.000000e+00 | -- | Inf
1375.51/1375.96 c 1295s| 5360k| 2752k| 0 | 0.0 |1201M| 39 | - | 60 |1435 | 0 | 0 | 0 | 402k| 0 | 0.000000e+00 | -- | Inf
1378.81/1379.27 c 1298s| 5370k| 2756k| 0 | 0.0 |1203M| 39 | - | 60 |1426 | 0 | 0 | 0 | 403k| 0 | 0.000000e+00 | -- | Inf
1382.22/1382.66 c 1301s| 5380k| 2759k| 0 | 0.0 |1205M| 39 | - | 60 |1399 | 0 | 0 | 0 | 404k| 0 | 0.000000e+00 | -- | Inf
1385.81/1386.21 c 1304s| 5390k| 2763k| 0 | 0.0 |1207M| 39 | - | 60 |1414 | 0 | 0 | 0 | 405k| 0 | 0.000000e+00 | -- | Inf
1389.41/1389.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1389.41/1389.80 c 1308s| 5400k| 2766k| 0 | 0.0 |1209M| 39 | - | 60 |1437 | 0 | 0 | 0 | 406k| 0 | 0.000000e+00 | -- | Inf
1392.91/1393.34 c 1311s| 5410k| 2769k| 0 | 0.0 |1211M| 39 | - | 60 |1422 | 0 | 0 | 0 | 407k| 0 | 0.000000e+00 | -- | Inf
1396.41/1396.89 c 1315s| 5420k| 2772k| 0 | 0.0 |1213M| 39 | - | 60 |1438 | 0 | 0 | 0 | 408k| 0 | 0.000000e+00 | -- | Inf
1399.91/1400.39 c 1318s| 5430k| 2776k| 0 | 0.0 |1215M| 39 | - | 60 |1400 | 0 | 0 | 0 | 409k| 0 | 0.000000e+00 | -- | Inf
1403.31/1403.75 c 1321s| 5440k| 2779k| 0 | 0.0 |1217M| 39 | - | 60 |1396 | 0 | 0 | 0 | 410k| 0 | 0.000000e+00 | -- | Inf
1406.71/1407.17 c 1324s| 5450k| 2783k| 0 | 0.0 |1219M| 39 | - | 60 |1393 | 0 | 0 | 0 | 411k| 0 | 0.000000e+00 | -- | Inf
1410.11/1410.58 c 1328s| 5460k| 2786k| 0 | 0.0 |1221M| 39 | - | 60 |1353 | 0 | 0 | 0 | 412k| 0 | 0.000000e+00 | -- | Inf
1413.61/1414.07 c 1331s| 5470k| 2790k| 0 | 0.0 |1223M| 39 | - | 60 |1345 | 0 | 0 | 0 | 413k| 0 | 0.000000e+00 | -- | Inf
1417.11/1417.51 c 1334s| 5480k| 2793k| 0 | 0.0 |1225M| 39 | - | 60 |1390 | 0 | 0 | 0 | 414k| 0 | 0.000000e+00 | -- | Inf
1420.72/1421.11 c 1338s| 5490k| 2796k| 0 | 0.0 |1227M| 39 | - | 60 |1390 | 0 | 0 | 0 | 415k| 0 | 0.000000e+00 | -- | Inf
1424.31/1424.71 c 1341s| 5500k| 2799k| 0 | 0.0 |1229M| 39 | - | 60 |1414 | 0 | 0 | 0 | 416k| 0 | 0.000000e+00 | -- | Inf
1427.81/1428.28 c 1345s| 5510k| 2802k| 0 | 0.0 |1231M| 39 | - | 60 |1391 | 0 | 0 | 0 | 417k| 0 | 0.000000e+00 | -- | Inf
1431.20/1431.64 c 1348s| 5520k| 2805k| 0 | 0.0 |1233M| 39 | - | 60 |1379 | 0 | 0 | 0 | 418k| 0 | 0.000000e+00 | -- | Inf
1434.70/1435.13 c 1351s| 5530k| 2808k| 0 | 0.0 |1235M| 39 | - | 60 |1366 | 0 | 0 | 0 | 419k| 0 | 0.000000e+00 | -- | Inf
1437.90/1438.39 c 1354s| 5540k| 2811k| 0 | 0.0 |1237M| 39 | - | 60 |1348 | 0 | 0 | 0 | 420k| 0 | 0.000000e+00 | -- | Inf
1441.49/1441.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1441.49/1441.98 c 1358s| 5550k| 2813k| 0 | 0.0 |1239M| 39 | - | 60 |1369 | 0 | 0 | 0 | 421k| 0 | 0.000000e+00 | -- | Inf
1445.20/1445.64 c 1361s| 5560k| 2816k| 0 | 0.0 |1241M| 39 | - | 60 |1402 | 0 | 0 | 0 | 422k| 0 | 0.000000e+00 | -- | Inf
1448.80/1449.21 c 1364s| 5570k| 2819k| 0 | 0.0 |1243M| 39 | - | 60 |1368 | 0 | 0 | 0 | 423k| 0 | 0.000000e+00 | -- | Inf
1452.20/1452.66 c 1368s| 5580k| 2822k| 0 | 0.0 |1245M| 39 | - | 60 |1342 | 0 | 0 | 0 | 423k| 0 | 0.000000e+00 | -- | Inf
1455.59/1456.01 c 1371s| 5590k| 2825k| 0 | 0.0 |1247M| 39 | - | 60 |1334 | 0 | 0 | 0 | 424k| 0 | 0.000000e+00 | -- | Inf
1458.69/1459.18 c 1374s| 5600k| 2828k| 0 | 0.0 |1249M| 39 | - | 60 |1324 | 0 | 0 | 0 | 425k| 0 | 0.000000e+00 | -- | Inf
1462.19/1462.61 c 1377s| 5610k| 2831k| 0 | 0.0 |1251M| 39 | - | 60 |1332 | 0 | 0 | 0 | 426k| 0 | 0.000000e+00 | -- | Inf
1465.39/1465.90 c 1380s| 5620k| 2834k| 0 | 0.0 |1253M| 39 | - | 60 |1335 | 0 | 0 | 0 | 427k| 0 | 0.000000e+00 | -- | Inf
1468.79/1469.27 c 1384s| 5630k| 2837k| 0 | 0.0 |1255M| 39 | - | 60 |1341 | 0 | 0 | 0 | 428k| 0 | 0.000000e+00 | -- | Inf
1471.99/1472.48 c 1387s| 5640k| 2841k| 0 | 0.0 |1257M| 41 | - | 60 |1323 | 0 | 0 | 0 | 429k| 0 | 0.000000e+00 | -- | Inf
1475.19/1475.68 c 1390s| 5650k| 2843k| 0 | 0.0 |1258M| 41 | - | 60 |1303 | 0 | 0 | 0 | 430k| 0 | 0.000000e+00 | -- | Inf
1478.38/1478.87 c 1393s| 5660k| 2846k| 0 | 0.0 |1260M| 41 | - | 60 |1292 | 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | -- | Inf
1482.09/1482.55 c 1396s| 5670k| 2849k| 0 | 0.0 |1262M| 41 | - | 60 |1358 | 0 | 0 | 0 | 432k| 0 | 0.000000e+00 | -- | Inf
1485.89/1486.32 c 1400s| 5680k| 2851k| 0 | 0.0 |1264M| 41 | - | 60 |1430 | 0 | 0 | 0 | 433k| 0 | 0.000000e+00 | -- | Inf
1489.68/1490.14 c 1404s| 5690k| 2853k| 0 | 0.0 |1265M| 41 | - | 60 |1497 | 0 | 0 | 0 | 434k| 0 | 0.000000e+00 | -- | Inf
1493.59/1494.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1493.59/1494.08 c 1407s| 5700k| 2855k| 0 | 0.0 |1267M| 41 | - | 60 |1539 | 0 | 0 | 0 | 436k| 0 | 0.000000e+00 | -- | Inf
1497.39/1497.89 c 1411s| 5710k| 2857k| 0 | 0.0 |1269M| 41 | - | 60 |1535 | 0 | 0 | 0 | 437k| 0 | 0.000000e+00 | -- | Inf
1501.18/1501.69 c 1415s| 5720k| 2860k| 0 | 0.0 |1270M| 41 | - | 60 |1578 | 0 | 0 | 0 | 438k| 0 | 0.000000e+00 | -- | Inf
1504.98/1505.43 c 1418s| 5730k| 2862k| 0 | 0.0 |1272M| 41 | - | 60 |1565 | 0 | 0 | 0 | 439k| 0 | 0.000000e+00 | -- | Inf
1508.89/1509.35 c 1422s| 5740k| 2864k| 0 | 0.0 |1274M| 41 | - | 60 |1570 | 0 | 0 | 0 | 441k| 0 | 0.000000e+00 | -- | Inf
1512.78/1513.20 c 1426s| 5750k| 2866k| 0 | 0.0 |1275M| 41 | - | 60 |1567 | 0 | 0 | 0 | 442k| 0 | 0.000000e+00 | -- | Inf
1516.58/1517.05 c 1429s| 5760k| 2869k| 0 | 0.0 |1277M| 41 | - | 60 |1567 | 0 | 0 | 0 | 443k| 0 | 0.000000e+00 | -- | Inf
1520.38/1520.82 c 1433s| 5770k| 2871k| 0 | 0.0 |1279M| 41 | - | 60 |1565 | 0 | 0 | 0 | 444k| 0 | 0.000000e+00 | -- | Inf
1524.18/1524.64 c 1437s| 5780k| 2873k| 0 | 0.0 |1280M| 41 | - | 60 |1528 | 0 | 0 | 0 | 446k| 0 | 0.000000e+00 | -- | Inf
1527.87/1528.30 c 1440s| 5790k| 2876k| 0 | 0.0 |1282M| 41 | - | 60 |1508 | 0 | 0 | 0 | 447k| 0 | 0.000000e+00 | -- | Inf
1531.48/1531.98 c 1444s| 5800k| 2878k| 0 | 0.0 |1284M| 41 | - | 60 |1565 | 0 | 0 | 0 | 448k| 0 | 0.000000e+00 | -- | Inf
1535.28/1535.76 c 1447s| 5810k| 2880k| 0 | 0.0 |1285M| 41 | - | 60 |1570 | 0 | 0 | 0 | 449k| 0 | 0.000000e+00 | -- | Inf
1539.08/1539.58 c 1451s| 5820k| 2882k| 0 | 0.0 |1287M| 41 | - | 60 |1559 | 0 | 0 | 0 | 450k| 0 | 0.000000e+00 | -- | Inf
1542.88/1543.35 c 1454s| 5830k| 2885k| 0 | 0.0 |1289M| 41 | - | 60 |1553 | 0 | 0 | 0 | 452k| 0 | 0.000000e+00 | -- | Inf
1546.57/1547.04 c 1458s| 5840k| 2887k| 0 | 0.0 |1291M| 41 | - | 60 |1560 | 0 | 0 | 0 | 453k| 0 | 0.000000e+00 | -- | Inf
1550.17/1550.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1550.17/1550.63 c 1461s| 5850k| 2890k| 0 | 0.0 |1292M| 41 | - | 60 |1548 | 0 | 0 | 0 | 454k| 0 | 0.000000e+00 | -- | Inf
1553.78/1554.22 c 1465s| 5860k| 2892k| 0 | 0.0 |1294M| 41 | - | 60 |1477 | 0 | 0 | 0 | 455k| 0 | 0.000000e+00 | -- | Inf
1557.47/1557.98 c 1468s| 5870k| 2895k| 0 | 0.0 |1296M| 41 | - | 60 |1445 | 0 | 0 | 0 | 456k| 0 | 0.000000e+00 | -- | Inf
1561.17/1561.65 c 1472s| 5880k| 2897k| 0 | 0.0 |1298M| 41 | - | 60 |1436 | 0 | 0 | 0 | 457k| 0 | 0.000000e+00 | -- | Inf
1564.77/1565.27 c 1475s| 5890k| 2900k| 0 | 0.0 |1299M| 41 | - | 60 |1416 | 0 | 0 | 0 | 459k| 0 | 0.000000e+00 | -- | Inf
1568.37/1568.82 c 1479s| 5900k| 2902k| 0 | 0.0 |1301M| 41 | - | 60 |1347 | 0 | 0 | 0 | 460k| 0 | 0.000000e+00 | -- | Inf
1571.77/1572.26 c 1482s| 5910k| 2905k| 0 | 0.0 |1303M| 41 | - | 60 |1347 | 0 | 0 | 0 | 461k| 0 | 0.000000e+00 | -- | Inf
1575.26/1575.70 c 1485s| 5920k| 2907k| 0 | 0.0 |1305M| 41 | - | 60 |1327 | 0 | 0 | 0 | 462k| 0 | 0.000000e+00 | -- | Inf
1578.77/1579.21 c 1489s| 5930k| 2910k| 0 | 0.0 |1306M| 41 | - | 60 |1346 | 0 | 0 | 0 | 463k| 0 | 0.000000e+00 | -- | Inf
1582.16/1582.67 c 1492s| 5940k| 2912k| 0 | 0.0 |1308M| 41 | - | 60 |1338 | 0 | 0 | 0 | 464k| 0 | 0.000000e+00 | -- | Inf
1585.77/1586.22 c 1495s| 5950k| 2914k| 0 | 0.0 |1310M| 41 | - | 60 |1344 | 0 | 0 | 0 | 465k| 0 | 0.000000e+00 | -- | Inf
1589.16/1589.69 c 1499s| 5960k| 2916k| 0 | 0.0 |1311M| 41 | - | 60 |1342 | 0 | 0 | 0 | 466k| 0 | 0.000000e+00 | -- | Inf
1592.46/1592.98 c 1502s| 5970k| 2918k| 0 | 0.0 |1313M| 41 | - | 60 |1321 | 0 | 0 | 0 | 467k| 0 | 0.000000e+00 | -- | Inf
1596.06/1596.51 c 1505s| 5980k| 2920k| 0 | 0.0 |1314M| 41 | - | 60 |1333 | 0 | 0 | 0 | 468k| 0 | 0.000000e+00 | -- | Inf
1599.46/1599.98 c 1509s| 5990k| 2922k| 0 | 0.0 |1316M| 41 | - | 60 |1334 | 0 | 0 | 0 | 469k| 0 | 0.000000e+00 | -- | Inf
1602.86/1603.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1602.86/1603.39 c 1512s| 6000k| 2924k| 0 | 0.0 |1317M| 41 | - | 60 |1320 | 0 | 0 | 0 | 470k| 0 | 0.000000e+00 | -- | Inf
1606.26/1606.75 c 1515s| 6010k| 2926k| 0 | 0.0 |1319M| 41 | - | 60 |1304 | 0 | 0 | 0 | 471k| 0 | 0.000000e+00 | -- | Inf
1609.86/1610.31 c 1519s| 6020k| 2928k| 0 | 0.0 |1321M| 41 | - | 60 |1324 | 0 | 0 | 0 | 472k| 0 | 0.000000e+00 | -- | Inf
1613.35/1613.83 c 1522s| 6030k| 2930k| 0 | 0.0 |1322M| 41 | - | 60 |1317 | 0 | 0 | 0 | 473k| 0 | 0.000000e+00 | -- | Inf
1616.56/1617.09 c 1525s| 6040k| 2932k| 0 | 0.0 |1324M| 41 | - | 60 |1320 | 0 | 0 | 0 | 474k| 0 | 0.000000e+00 | -- | Inf
1619.96/1620.48 c 1528s| 6050k| 2934k| 0 | 0.0 |1325M| 41 | - | 60 |1312 | 0 | 0 | 0 | 475k| 0 | 0.000000e+00 | -- | Inf
1623.35/1623.83 c 1531s| 6060k| 2936k| 0 | 0.0 |1327M| 41 | - | 60 |1294 | 0 | 0 | 0 | 476k| 0 | 0.000000e+00 | -- | Inf
1626.55/1627.05 c 1534s| 6070k| 2938k| 0 | 0.0 |1329M| 41 | - | 60 |1284 | 0 | 0 | 0 | 477k| 0 | 0.000000e+00 | -- | Inf
1629.76/1630.24 c 1537s| 6080k| 2941k| 0 | 0.0 |1330M| 41 | - | 60 |1297 | 0 | 0 | 0 | 478k| 0 | 0.000000e+00 | -- | Inf
1633.54/1634.02 c 1541s| 6090k| 2942k| 0 | 0.0 |1332M| 41 | - | 60 |1380 | 0 | 0 | 0 | 479k| 0 | 0.000000e+00 | -- | Inf
1637.54/1638.05 c 1545s| 6100k| 2944k| 0 | 0.0 |1333M| 41 | - | 60 |1456 | 0 | 0 | 0 | 481k| 0 | 0.000000e+00 | -- | Inf
1641.35/1641.84 c 1549s| 6110k| 2945k| 0 | 0.0 |1335M| 41 | - | 60 |1473 | 0 | 0 | 0 | 482k| 0 | 0.000000e+00 | -- | Inf
1645.15/1645.60 c 1552s| 6120k| 2947k| 0 | 0.0 |1336M| 41 | - | 60 |1529 | 0 | 0 | 0 | 483k| 0 | 0.000000e+00 | -- | Inf
1649.04/1649.51 c 1556s| 6130k| 2949k| 0 | 0.0 |1338M| 41 | - | 60 |1595 | 0 | 0 | 0 | 485k| 0 | 0.000000e+00 | -- | Inf
1652.94/1653.43 c 1560s| 6140k| 2951k| 0 | 0.0 |1339M| 41 | - | 60 |1599 | 0 | 0 | 0 | 486k| 0 | 0.000000e+00 | -- | Inf
1656.65/1657.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1656.65/1657.19 c 1563s| 6150k| 2952k| 0 | 0.0 |1340M| 41 | - | 60 |1628 | 0 | 0 | 0 | 487k| 0 | 0.000000e+00 | -- | Inf
1660.45/1660.94 c 1567s| 6160k| 2954k| 0 | 0.0 |1342M| 41 | - | 60 |1605 | 0 | 0 | 0 | 488k| 0 | 0.000000e+00 | -- | Inf
1664.44/1664.99 c 1571s| 6170k| 2956k| 0 | 0.0 |1343M| 41 | - | 60 |1667 | 0 | 0 | 0 | 489k| 0 | 0.000000e+00 | -- | Inf
1668.15/1668.68 c 1574s| 6180k| 2957k| 0 | 0.0 |1345M| 41 | - | 60 |1674 | 0 | 0 | 0 | 491k| 0 | 0.000000e+00 | -- | Inf
1672.14/1672.66 c 1578s| 6190k| 2959k| 0 | 0.0 |1346M| 41 | - | 60 |1708 | 0 | 0 | 0 | 492k| 0 | 0.000000e+00 | -- | Inf
1676.04/1676.51 c 1582s| 6200k| 2961k| 0 | 0.0 |1348M| 41 | - | 60 |1665 | 0 | 0 | 0 | 493k| 0 | 0.000000e+00 | -- | Inf
1679.94/1680.43 c 1586s| 6210k| 2963k| 0 | 0.0 |1349M| 41 | - | 60 |1665 | 0 | 0 | 0 | 494k| 0 | 0.000000e+00 | -- | Inf
1683.84/1684.39 c 1590s| 6220k| 2965k| 0 | 0.0 |1351M| 41 | - | 60 |1621 | 0 | 0 | 0 | 496k| 0 | 0.000000e+00 | -- | Inf
1687.64/1688.13 c 1593s| 6230k| 2967k| 0 | 0.0 |1353M| 41 | - | 60 |1563 | 0 | 0 | 0 | 497k| 0 | 0.000000e+00 | -- | Inf
1691.34/1691.88 c 1597s| 6240k| 2969k| 0 | 0.0 |1354M| 41 | - | 60 |1501 | 0 | 0 | 0 | 498k| 0 | 0.000000e+00 | -- | Inf
1695.14/1695.64 c 1600s| 6250k| 2970k| 0 | 0.0 |1356M| 41 | - | 60 |1494 | 0 | 0 | 0 | 499k| 0 | 0.000000e+00 | -- | Inf
1698.84/1699.31 c 1604s| 6260k| 2972k| 0 | 0.0 |1357M| 41 | - | 60 |1473 | 0 | 0 | 0 | 500k| 0 | 0.000000e+00 | -- | Inf
1702.24/1702.77 c 1607s| 6270k| 2973k| 0 | 0.0 |1358M| 41 | - | 60 |1460 | 0 | 0 | 0 | 502k| 0 | 0.000000e+00 | -- | Inf
1702.53/1703.09 c (node 6270884) switching to memory saving mode (mem: 1296.0M/1620.0M)
1706.83/1707.33 c 1611s| 6280k| 2971k| 0 | 0.0 |1356M| 54 | - | 60 |1461 | 0 | 0 | 0 | 505k| 0 | 0.000000e+00 | -- | Inf
1710.43/1710.90 c 1615s| 6290k| 2969k| 0 | 0.0 |1355M| 55 | - | 60 |1461 | 0 | 0 | 0 | 508k| 0 | 0.000000e+00 | -- | Inf
1713.93/1714.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1713.93/1714.45 c 1618s| 6300k| 2967k| 0 | 0.0 |1353M| 55 | - | 60 |1459 | 0 | 0 | 0 | 511k| 0 | 0.000000e+00 | -- | Inf
1717.93/1718.45 c 1622s| 6310k| 2964k| 0 | 0.0 |1351M| 55 | - | 60 |1459 | 0 | 0 | 0 | 514k| 0 | 0.000000e+00 | -- | Inf
1721.73/1722.23 c 1626s| 6320k| 2962k| 0 | 0.0 |1348M| 55 | - | 60 |1459 | 0 | 0 | 0 | 518k| 0 | 0.000000e+00 | -- | Inf
1725.43/1725.94 c 1629s| 6330k| 2960k| 0 | 0.0 |1346M| 55 | - | 60 |1459 | 0 | 0 | 0 | 521k| 0 | 0.000000e+00 | -- | Inf
1729.22/1729.73 c 1633s| 6340k| 2958k| 0 | 0.0 |1344M| 55 | - | 60 |1458 | 0 | 0 | 0 | 524k| 0 | 0.000000e+00 | -- | Inf
1732.72/1733.25 c 1636s| 6350k| 2957k| 0 | 0.0 |1342M| 55 | - | 60 |1458 | 0 | 0 | 0 | 528k| 0 | 0.000000e+00 | -- | Inf
1736.33/1736.84 c 1639s| 6360k| 2955k| 0 | 0.0 |1341M| 55 | - | 60 |1458 | 0 | 0 | 0 | 531k| 0 | 0.000000e+00 | -- | Inf
1739.83/1740.32 c 1643s| 6370k| 2953k| 0 | 0.0 |1339M| 55 | - | 60 |1458 | 0 | 0 | 0 | 534k| 0 | 0.000000e+00 | -- | Inf
1743.52/1744.06 c 1646s| 6380k| 2952k| 0 | 0.0 |1337M| 55 | - | 60 |1457 | 0 | 0 | 0 | 537k| 0 | 0.000000e+00 | -- | Inf
1747.12/1747.69 c 1650s| 6390k| 2950k| 0 | 0.0 |1336M| 55 | - | 60 |1455 | 0 | 0 | 0 | 540k| 0 | 0.000000e+00 | -- | Inf
1750.92/1751.41 c 1653s| 6400k| 2948k| 0 | 0.0 |1334M| 55 | - | 60 |1456 | 0 | 0 | 0 | 544k| 0 | 0.000000e+00 | -- | Inf
1754.62/1755.10 c 1657s| 6410k| 2946k| 0 | 0.0 |1333M| 55 | - | 60 |1456 | 0 | 0 | 0 | 547k| 0 | 0.000000e+00 | -- | Inf
1758.01/1758.58 c 1660s| 6420k| 2945k| 0 | 0.0 |1331M| 55 | - | 60 |1457 | 0 | 0 | 0 | 550k| 0 | 0.000000e+00 | -- | Inf
1761.32/1761.88 c 1663s| 6430k| 2944k| 0 | 0.0 |1330M| 55 | - | 60 |1456 | 0 | 0 | 0 | 553k| 0 | 0.000000e+00 | -- | Inf
1765.02/1765.56 c 1666s| 6440k| 2942k| 0 | 0.0 |1329M| 55 | - | 60 |1457 | 0 | 0 | 0 | 557k| 0 | 0.000000e+00 | -- | Inf
1768.71/1769.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1768.71/1769.27 c 1670s| 6450k| 2940k| 0 | 0.0 |1327M| 55 | - | 60 |1458 | 0 | 0 | 0 | 560k| 0 | 0.000000e+00 | -- | Inf
1772.51/1773.08 c 1674s| 6460k| 2938k| 0 | 0.0 |1325M| 55 | - | 60 |1457 | 0 | 0 | 0 | 563k| 0 | 0.000000e+00 | -- | Inf
1776.41/1776.95 c 1677s| 6470k| 2937k| 0 | 0.0 |1322M| 55 | - | 60 |1457 | 0 | 0 | 0 | 567k| 0 | 0.000000e+00 | -- | Inf
1780.42/1780.91 c 1681s| 6480k| 2935k| 0 | 0.0 |1320M| 55 | - | 60 |1458 | 0 | 0 | 0 | 570k| 0 | 0.000000e+00 | -- | Inf
1784.11/1784.66 c 1684s| 6490k| 2933k| 0 | 0.0 |1318M| 55 | - | 60 |1457 | 0 | 0 | 0 | 573k| 0 | 0.000000e+00 | -- | Inf
1787.90/1788.47 c 1688s| 6500k| 2931k| 0 | 0.0 |1316M| 55 | - | 60 |1456 | 0 | 0 | 0 | 577k| 0 | 0.000000e+00 | -- | Inf
1791.91/1792.44 c 1692s| 6510k| 2929k| 0 | 0.0 |1313M| 55 | - | 60 |1456 | 0 | 0 | 0 | 580k| 0 | 0.000000e+00 | -- | Inf
1795.60/1796.18 c 1695s| 6520k| 2927k| 0 | 0.0 |1311M| 55 | - | 60 |1456 | 0 | 0 | 0 | 584k| 0 | 0.000000e+00 | -- | Inf
1799.40/1799.94 c 1699s| 6530k| 2926k| 0 | 0.0 |1310M| 55 | - | 60 |1456 | 0 | 0 | 0 | 587k| 0 | 0.000000e+00 | -- | Inf
1800.01/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.50 c
1800.01/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.50 c Solving Time (sec) : 1699.48
1800.01/1800.50 c Solving Nodes : 6531362
1800.01/1800.50 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.01/1800.50 c Dual Bound : +0.00000000000000e+00
1800.01/1800.50 c Gap : infinite
1800.01/1800.50 s UNKNOWN
1800.01/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.50 c Solving Time : 1699.48
1800.01/1800.50 c Original Problem :
1800.01/1800.50 c Problem name : HOME/instance-2664009-1276598720.opb
1800.01/1800.50 c Variables : 61 (61 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.50 c Constraints : 15 initial, 15 maximal
1800.01/1800.50 c Presolved Problem :
1800.01/1800.50 c Problem name : t_HOME/instance-2664009-1276598720.opb
1800.01/1800.50 c Variables : 60 (60 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.50 c Constraints : 7 initial, 1726 maximal
1800.01/1800.50 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.50 c trivial : 0.01 0 0 0 0 0 0 0 0
1800.01/1800.50 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.01/1800.50 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c probing : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c linear : 0.00 0 0 0 0 0 8 0 0
1800.01/1800.50 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c root node : - 0 - - 0 - - - -
1800.01/1800.50 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.50 c integral : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.50 c linear : 7 0 9965091 0 4789391 1863471 27904762 0 0 0
1800.01/1800.51 c logicor : 0+ 0 2697304 0 0 1 448487 0 0 0
1800.01/1800.51 c countsols : 0 0 0 0 4789391 0 0 0 0 0
1800.01/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.51 c integral : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.51 c linear : 916.55 0.00 913.20 0.00 3.35
1800.01/1800.51 c logicor : 174.76 0.00 174.76 0.00 0.00
1800.01/1800.51 c countsols : 1.98 0.00 0.00 0.00 1.98
1800.01/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.51 c vbounds : 4.92 2 0 0
1800.01/1800.51 c rootredcost : 4.65 0 0 0
1800.01/1800.51 c pseudoobj : 4.32 0 0 0
1800.01/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.51 c propagation : 318.65 1863472 587854 1884442 39.4 0 0.0 -
1800.01/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.01/1800.51 c applied globally : - - - 175462 28.8 - - -
1800.01/1800.51 c applied locally : - - - 412531 36.3 - - -
1800.01/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.51 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.01/1800.51 c redcost : 0.00 0 0 0 0 0
1800.01/1800.51 c impliedbounds : 0.00 0 0 0 0 0
1800.01/1800.51 c intobj : 0.00 0 0 0 0 0
1800.01/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.51 c gomory : 0.00 0 0 0 0 0
1800.01/1800.51 c strongcg : 0.00 0 0 0 0 0
1800.01/1800.51 c cmir : 0.00 0 0 0 0 0
1800.01/1800.51 c flowcover : 0.00 0 0 0 0 0
1800.01/1800.51 c clique : 0.00 0 0 0 0 0
1800.01/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.51 c mcf : 0.00 0 0 0 0 0
1800.01/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.01/1800.51 c Pricers : Time Calls Vars
1800.01/1800.51 c problem variables: 0.00 0 0
1800.01/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.51 c relpscost : 0.00 0 0 0 0 0 0
1800.01/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.51 c inference : 40.22 4789391 0 0 0 0 9578782
1800.01/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.51 c random : 0.00 0 0 0 0 0 0
1800.01/1800.51 c Primal Heuristics : Time Calls Found
1800.01/1800.51 c LP solutions : 0.00 - 0
1800.01/1800.51 c pseudo solutions : 0.00 - 0
1800.01/1800.51 c oneopt : 3.13 0 0
1800.01/1800.51 c trivial : 0.00 2 0
1800.01/1800.51 c simplerounding : 0.00 0 0
1800.01/1800.51 c zirounding : 0.00 0 0
1800.01/1800.51 c rounding : 0.00 0 0
1800.01/1800.51 c shifting : 0.00 0 0
1800.01/1800.51 c intshifting : 0.00 0 0
1800.01/1800.51 c twoopt : 0.00 0 0
1800.01/1800.51 c fixandinfer : 0.00 0 0
1800.01/1800.51 c feaspump : 0.00 0 0
1800.01/1800.51 c coefdiving : 0.00 0 0
1800.01/1800.51 c pscostdiving : 0.00 0 0
1800.01/1800.51 c fracdiving : 0.00 0 0
1800.01/1800.51 c veclendiving : 0.00 0 0
1800.01/1800.51 c intdiving : 0.00 0 0
1800.01/1800.51 c actconsdiving : 0.00 0 0
1800.01/1800.51 c objpscostdiving : 0.00 0 0
1800.01/1800.51 c rootsoldiving : 0.00 0 0
1800.01/1800.51 c linesearchdiving : 0.00 0 0
1800.01/1800.51 c guideddiving : 0.00 0 0
1800.01/1800.51 c octane : 0.00 0 0
1800.01/1800.51 c rens : 0.00 0 0
1800.01/1800.51 c rins : 0.00 0 0
1800.01/1800.51 c localbranching : 0.00 0 0
1800.01/1800.51 c mutation : 0.00 0 0
1800.01/1800.51 c crossover : 0.00 0 0
1800.01/1800.51 c dins : 0.00 0 0
1800.01/1800.51 c undercover : 0.00 0 0
1800.01/1800.51 c nlp : 3.37 0 0
1800.01/1800.51 c trysol : 2.56 0 0
1800.01/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.51 c dual LP : 0.00 0 0 0.00 -
1800.01/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.01/1800.51 c strong branching : 0.00 0 0 0.00 -
1800.01/1800.51 c (at root node) : - 0 0 0.00 -
1800.01/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.51 c B&B Tree :
1800.01/1800.51 c number of runs : 1
1800.01/1800.51 c nodes : 6531362
1800.01/1800.51 c nodes (total) : 6531362
1800.01/1800.51 c nodes left : 2925912
1800.01/1800.51 c max depth : 55
1800.01/1800.51 c max depth (total): 55
1800.01/1800.51 c backtracks : 637824 (9.8%)
1800.01/1800.51 c delayed cutoffs : 121509
1800.01/1800.51 c repropagations : 806639 (1240703 domain reductions, 121501 cutoffs)
1800.01/1800.51 c avg switch length: 6.57
1800.01/1800.51 c switching time : 346.60
1800.01/1800.51 c Solution :
1800.01/1800.51 c Solutions found : 0 (0 improvements)
1800.01/1800.51 c Primal Bound : -
1800.01/1800.51 c Dual Bound : +0.00000000000000e+00
1800.01/1800.51 c Gap : infinite
1800.01/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.01/1800.51 c Root Iterations : 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664009-1276598720/watcher-2664009-1276598720 -o /tmp/evaluation-result-2664009-1276598720/solver-2664009-1276598720 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664009-1276598720.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: 0.92 0.98 0.99 3/106 9585
/proc/meminfo: memFree=1799924/2059040 swapFree=4192956/4192956
[pid=9585] ppid=9583 vsize=6584 CPUtime=0
/proc/9585/stat : 9585 (pbscip.linux.x8) R 9583 9585 2333 0 -1 4202496 1128 0 0 0 0 0 0 0 20 0 1 0 1164048 6742016 1051 1992294400 4194304 7136930 140735422483664 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9585/statm: 1646 1059 254 719 0 925 0
[startup+0.086995 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 9585
/proc/meminfo: memFree=1799924/2059040 swapFree=4192956/4192956
[pid=9585] ppid=9583 vsize=11036 CPUtime=0.07
/proc/9585/stat : 9585 (pbscip.linux.x8) R 9583 9585 2333 0 -1 4202496 2982 0 0 0 6 1 0 0 20 0 1 0 1164048 11300864 2038 1992294400 4194304 7136930 140735422483664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9585/statm: 2759 2038 387 719 0 2038 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11036
[startup+0.100996 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 9585
/proc/meminfo: memFree=1799924/2059040 swapFree=4192956/4192956
[pid=9585] ppid=9583 vsize=11036 CPUtime=0.09
/proc/9585/stat : 9585 (pbscip.linux.x8) R 9583 9585 2333 0 -1 4202496 2991 0 0 0 7 2 0 0 20 0 1 0 1164048 11300864 2047 1992294400 4194304 7136930 140735422483664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9585/statm: 2759 2047 387 719 0 2038 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11036
[startup+0.301017 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 9585
/proc/meminfo: memFree=1799924/2059040 swapFree=4192956/4192956
[pid=9585] ppid=9583 vsize=11452 CPUtime=0.29
/proc/9585/stat : 9585 (pbscip.linux.x8) R 9583 9585 2333 0 -1 4202496 3097 0 0 0 26 3 0 0 20 0 1 0 1164048 11726848 2153 1992294400 4194304 7136930 140735422483664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9585/statm: 2863 2153 387 719 0 2142 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11452
[startup+0.70106 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 9585
/proc/meminfo: memFree=1799924/2059040 swapFree=4192956/4192956
[pid=9585] ppid=9583 vsize=12500 CPUtime=0.69
/proc/9585/stat : 9585 (pbscip.linux.x8) R 9583 9585 2333 0 -1 4202496 3345 0 0 0 63 6 0 0 21 0 1 0 1164048 12800000 2401 1992294400 4194304 7136930 140735422483664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9585/statm: 3125 2401 387 719 0 2404 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12500
[startup+1.50114 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 9586
/proc/meminfo: memFree=1791484/2059040 swapFree=4192956/4192956
[pid=9585] ppid=9583 vsize=14064 CPUtime=1.49
/proc/9585/stat : 9585 (pbscip.linux.x8) R 9583 9585 2333 0 -1 4202496 3736 0 0 0 138 11 0 0 23 0 1 0 1164048 14401536 2792 1992294400 4194304 7136930 140735422483664 18446744073709551615 4976533 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9585/statm: 3516 2792 387 719 0 2795 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14064
[startup+3.10131 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 9586
/proc/meminfo: memFree=1789004/2059040 swapFree=4192956/4192956
[pid=9585] ppid=9583 vsize=16588 CPUtime=3.09
/proc/9585/stat : 9585 (pbscip.linux.x8) R 9583 9585 2333 0 -1 4202496 4420 0 0 0 286 23 0 0 25 0 1 0 1164048 16986112 3476 1992294400 4194304 7136930 140735422483664 18446744073709551615 4210298 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9585/statm: 4147 3476 387 719 0 3426 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16588
[startup+6.30065 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 9586
/proc/meminfo: memFree=1784168/2059040 swapFree=4192956/4192956
[pid=9585] ppid=9583 vsize=20612 CPUtime=6.28
/proc/9585/stat : 9585 (pbscip.linux.x8) R 9583 9585 2333 0 -1 4202496 5424 0 0 0 584 44 0 0 25 0 1 0 1164048 21106688 4480 1992294400 4194304 7136930 140735422483664 18446744073709551615 5917643 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9585/statm: 5153 4480 387 719 0 4432 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 20612
[startup+12.7013 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 9586
/proc/meminfo: memFree=1775612/2059040 swapFree=4192956/4192956
[pid=9585] ppid=9583 vsize=28720 CPUtime=12.69
/proc/9585/stat : 9585 (pbscip.linux.x8) R 9583 9585 2333 0 -1 4202496 7517 0 0 0 1179 90 0 0 25 0 1 0 1164048 29409280 6573 1992294400 4194304 7136930 140735422483664 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9585/statm: 7180 6573 387 719 0 6459 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28720
[startup+25.5007 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 9586
/proc/meminfo: memFree=1758128/2059040 swapFree=4192956/4192956
[pid=9585] ppid=9583 vsize=46556 CPUtime=25.49
/proc/9585/stat : 9585 (pbscip.linux.x8) R 9583 9585 2333 0 -1 4202496 11639 0 0 0 2370 179 0 0 25 0 1 0 1164048 47673344 10695 1992294400 4194304 7136930 140735422483664 18446744073709551615 4976099 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9585/statm: 11639 10695 387 719 0 10918 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 46556
[startup+51.1014 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 9588
/proc/meminfo: memFree=1731592/2059040 swapFree=4192956/4192956
[pid=9585] ppid=9583 vsize=72940 CPUtime=51.07
/proc/9585/stat : 9585 (pbscip.linux.x8) R 9583 9585 2333 0 -1 4202496 18380 0 0 0 4762 345 0 0 25 0 1 0 1164048 74690560 17436 1992294400 4194304 7136930 140735422483664 18446744073709551615 5918822 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9585/statm: 18235 17436 387 719 0 17514 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 72940
[startup+102.309 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 9588
/proc/meminfo: memFree=1661532/2059040 swapFree=4192956/4192956
[pid=9585] ppid=9583 vsize=143540 CPUtime=102.27
/proc/9585/stat : 9585 (pbscip.linux.x8) R 9583 9585 2333 0 -1 4202496 35731 0 0 0 9497 730 0 0 25 0 1 0 1164048 146984960 34787 1992294400 4194304 7136930 140735422483664 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9585/statm: 35885 34787 387 719 0 35164 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 143540
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9590
/proc/meminfo: memFree=1595440/2059040 swapFree=4192956/4192956
[pid=9585] ppid=9583 vsize=207592 CPUtime=162.25
/proc/9585/stat : 9585 (pbscip.linux.x8) R 9583 9585 2333 0 -1 4202496 52323 0 0 0 15085 1140 0 0 25 0 1 0 1164048 212574208 51379 1992294400 4194304 7136930 140735422483664 18446744073709551615 4978358 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9585/statm: 51898 51379 387 719 0 51177 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 207592
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9592
/proc/meminfo: memFree=1543112/2059040 swapFree=4192956/4192956
[pid=9585] ppid=9583 vsize=266196 CPUtime=222.24
/proc/9585/stat : 9585 (pbscip.linux.x8) R 9583 9585 2333 0 -1 4202496 65319 0 0 0 20726 1498 0 0 25 0 1 0 1164048 272584704 64375 1992294400 4194304 7136930 140735422483664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9585/statm: 66549 64375 387 719 0 65828 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 266196
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9594
/proc/meminfo: memFree=1505664/2059040 swapFree=4192956/4192956
[pid=9585] ppid=9583 vsize=302820 CPUtime=282.22
/proc/9585/stat : 9585 (pbscip.linux.x8) R 9583 9585 2333 0 -1 4202496 74695 0 0 0 26412 1810 0 0 25 0 1 0 1164048 310087680 73751 1992294400 4194304 7136930 140735422483664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9585/statm: 75705 73751 387 719 0 74984 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 302820
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9594
/proc/meminfo: memFree=1435852/2059040 swapFree=4192956/4192956
[pid=9585] ppid=9583 vsize=368676 CPUtime=342.2
/proc/9585/stat : 9585 (pbscip.linux.x8) R 9583 9585 2333 0 -1 4202496 91930 0 0 0 31993 2227 0 0 25 0 1 0 1164048 377524224 90986 1992294400 4194304 7136930 140735422483664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9585/statm: 92169 90986 387 719 0 91448 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 368676
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9596
/proc/meminfo: memFree=1361204/2059040 swapFree=4192956/4192956
[pid=9585] ppid=9583 vsize=457048 CPUtime=402.19
/proc/9585/stat : 9585 (pbscip.linux.x8) R 9583 9585 2333 0 -1 4202496 110718 0 0 0 37562 2657 0 0 25 0 1 0 1164048 468017152 109774 1992294400 4194304 7136930 140735422483664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9585/statm: 114262 109774 387 719 0 113541 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 457048
[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9598
/proc/meminfo: memFree=1290028/2059040 swapFree=4192956/4192956
[pid=9585] ppid=9583 vsize=524248 CPUtime=462.17
/proc/9585/stat : 9585 (pbscip.linux.x8) R 9583 9585 2333 0 -1 4202496 128245 0 0 0 43143 3074 0 0 25 0 1 0 1164048 536829952 127301 1992294400 4194304 7136930 140735422483664 18446744073709551615 4979353 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9585/statm: 131062 127301 387 719 0 130341 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 524248
[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9600
/proc/meminfo: memFree=1222448/2059040 swapFree=4192956/4192956
[pid=9585] ppid=9583 vsize=590192 CPUtime=522.15
/proc/9585/stat : 9585 (pbscip.linux.x8) R 9583 9585 2333 0 -1 4202496 145367 0 0 0 48738 3477 0 0 25 0 1 0 1164048 604356608 144423 1992294400 4194304 7136930 140735422483664 18446744073709551615 4947079 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9585/statm: 147548 144423 387 719 0 146827 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 590192
[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9602
/proc/meminfo: memFree=1161688/2059040 swapFree=4192956/4192956
[pid=9585] ppid=9583 vsize=649272 CPUtime=582.15
/proc/9585/stat : 9585 (pbscip.linux.x8) R 9583 9585 2333 0 -1 4202496 160720 0 0 0 54347 3868 0 0 25 0 1 0 1164048 664854528 159776 1992294400 4194304 7136930 140735422483664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9585/statm: 162318 159776 387 719 0 161597 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 649272
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9602
/proc/meminfo: memFree=1101424/2059040 swapFree=4192956/4192956
[pid=9585] ppid=9583 vsize=705024 CPUtime=642.13
/proc/9585/stat : 9585 (pbscip.linux.x8) R 9583 9585 2333 0 -1 4202496 175242 0 0 0 59979 4234 0 0 25 0 1 0 1164048 721944576 174298 1992294400 4194304 7136930 140735422483664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9585/statm: 176256 174298 387 719 0 175535 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 705024
[startup+702.301 s]
################
# More data... #
################
/proc/9585/stat : 9585 (pbscip.linux.x8) R 9583 9585 2333 0 -1 4202496 252196 0 0 0 93916 6285 0 0 25 0 1 0 1164048 1060376576 251252 1992294400 4194304 7136930 140735422483664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9585/statm: 258881 251252 387 719 0 258160 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 1035524
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9623
/proc/meminfo: memFree=747528/2059040 swapFree=4192956/4192956
[pid=9585] ppid=9583 vsize=1079008 CPUtime=1062
/proc/9585/stat : 9585 (pbscip.linux.x8) R 9583 9585 2333 0 -1 4202496 263416 0 0 0 99600 6600 0 0 25 0 1 0 1164048 1104904192 262472 1992294400 4194304 7136930 140735422483664 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9585/statm: 269752 262472 387 719 0 269031 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 1079008
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9625
/proc/meminfo: memFree=705616/2059040 swapFree=4192956/4192956
[pid=9585] ppid=9583 vsize=1119600 CPUtime=1121.98
/proc/9585/stat : 9585 (pbscip.linux.x8) R 9583 9585 2333 0 -1 4202496 273794 0 0 0 105296 6902 0 0 25 0 1 0 1164048 1146470400 272850 1992294400 4194304 7136930 140735422483664 18446744073709551615 5917881 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9585/statm: 279900 272850 387 719 0 279179 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 1119600
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9627
/proc/meminfo: memFree=663828/2059040 swapFree=4192956/4192956
[pid=9585] ppid=9583 vsize=1160832 CPUtime=1181.97
/proc/9585/stat : 9585 (pbscip.linux.x8) R 9583 9585 2333 0 -1 4202496 284418 0 0 0 111000 7197 0 0 25 0 1 0 1164048 1188691968 283474 1992294400 4194304 7136930 140735422483664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9585/statm: 290208 283474 387 719 0 289487 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 1160832
[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9627
/proc/meminfo: memFree=622908/2059040 swapFree=4192956/4192956
[pid=9585] ppid=9583 vsize=1199888 CPUtime=1241.95
/proc/9585/stat : 9585 (pbscip.linux.x8) R 9583 9585 2333 0 -1 4202496 294480 0 0 0 116708 7487 0 0 25 0 1 0 1164048 1228685312 293536 1992294400 4194304 7136930 140735422483664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9585/statm: 299972 293536 387 719 0 299251 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 1199888
[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9629
/proc/meminfo: memFree=586204/2059040 swapFree=4192956/4192956
[pid=9585] ppid=9583 vsize=1234852 CPUtime=1301.94
/proc/9585/stat : 9585 (pbscip.linux.x8) R 9583 9585 2333 0 -1 4202496 303490 0 0 0 122427 7767 0 0 25 0 1 0 1164048 1264488448 302546 1992294400 4194304 7136930 140735422483664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9585/statm: 308713 302546 387 719 0 307992 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 1234852
[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9631
/proc/meminfo: memFree=549872/2059040 swapFree=4192956/4192956
[pid=9585] ppid=9583 vsize=1272452 CPUtime=1361.92
/proc/9585/stat : 9585 (pbscip.linux.x8) R 9583 9585 2333 0 -1 4202496 313037 0 0 0 128159 8033 0 0 25 0 1 0 1164048 1302990848 312093 1992294400 4194304 7136930 140735422483664 18446744073709551615 4409086 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9585/statm: 318113 312093 387 719 0 317392 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1272452
[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9633
/proc/meminfo: memFree=515896/2059040 swapFree=4192956/4192956
[pid=9585] ppid=9583 vsize=1303228 CPUtime=1421.92
/proc/9585/stat : 9585 (pbscip.linux.x8) R 9583 9585 2333 0 -1 4202496 321000 0 0 0 133887 8305 0 0 25 0 1 0 1164048 1334505472 320056 1992294400 4194304 7136930 140735422483664 18446744073709551615 5918666 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9585/statm: 325807 320056 387 719 0 325086 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1303228
[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9635
/proc/meminfo: memFree=482168/2059040 swapFree=4192956/4192956
[pid=9585] ppid=9583 vsize=1336428 CPUtime=1481.89
/proc/9585/stat : 9585 (pbscip.linux.x8) R 9583 9585 2333 0 -1 4202496 329524 0 0 0 139600 8589 0 0 25 0 1 0 1164048 1368502272 328580 1992294400 4194304 7136930 140735422483664 18446744073709551615 5917627 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9585/statm: 334107 328580 387 719 0 333386 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1336428
[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9635
/proc/meminfo: memFree=452904/2059040 swapFree=4192956/4192956
[pid=9585] ppid=9583 vsize=1364772 CPUtime=1541.87
/proc/9585/stat : 9585 (pbscip.linux.x8) R 9583 9585 2333 0 -1 4202496 336767 0 0 0 145345 8842 0 0 25 0 1 0 1164048 1397526528 335823 1992294400 4194304 7136930 140735422483664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9585/statm: 341193 335823 387 719 0 340472 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1364772
[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9637
/proc/meminfo: memFree=425128/2059040 swapFree=4192956/4192956
[pid=9585] ppid=9583 vsize=1391760 CPUtime=1601.85
/proc/9585/stat : 9585 (pbscip.linux.x8) R 9583 9585 2333 0 -1 4202496 343577 0 0 0 151085 9100 0 0 25 0 1 0 1164048 1425162240 342633 1992294400 4194304 7136930 140735422483664 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9585/statm: 347940 342633 387 719 0 347219 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1391760
[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9639
/proc/meminfo: memFree=397228/2059040 swapFree=4192956/4192956
[pid=9585] ppid=9583 vsize=1419532 CPUtime=1661.84
/proc/9585/stat : 9585 (pbscip.linux.x8) R 9583 9585 2333 0 -1 4202496 350666 0 0 0 156831 9353 0 0 25 0 1 0 1164048 1453600768 349722 1992294400 4194304 7136930 140735422483664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9585/statm: 354883 349722 387 719 0 354162 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1419532
[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9641
/proc/meminfo: memFree=382348/2059040 swapFree=4192956/4192956
[pid=9585] ppid=9583 vsize=1432948 CPUtime=1721.82
/proc/9585/stat : 9585 (pbscip.linux.x8) R 9583 9585 2333 0 -1 4202496 365690 0 0 0 162559 9623 0 0 25 0 1 0 1164048 1467338752 353130 1992294400 4194304 7136930 140735422483664 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9585/statm: 358237 353130 387 719 0 357516 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1432948
[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9643
/proc/meminfo: memFree=381976/2059040 swapFree=4192956/4192956
[pid=9585] ppid=9583 vsize=1432948 CPUtime=1781.81
/proc/9585/stat : 9585 (pbscip.linux.x8) R 9583 9585 2333 0 -1 4202496 365690 0 0 0 168227 9954 0 0 25 0 1 0 1164048 1467338752 353130 1992294400 4194304 7136930 140735422483664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9585/statm: 358237 353130 387 719 0 357516 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1432948
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9643
/proc/meminfo: memFree=381976/2059040 swapFree=4192956/4192956
[pid=9585] ppid=9583 vsize=1432948 CPUtime=1800.01
/proc/9585/stat : 9585 (pbscip.linux.x8) R 9583 9585 2333 0 -1 4202496 365690 0 0 0 169949 10052 0 0 25 0 1 0 1164048 1467338752 353130 1992294400 4194304 7136930 140735422483664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9585/statm: 358237 353130 387 719 0 357516 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1432948
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -9585
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 9644
/proc/meminfo: memFree=381968/2059040 swapFree=4192956/4192956
[pid=9585] ppid=9583 vsize=1432948 CPUtime=1800.9
/proc/9585/stat : 9585 (pbscip.linux.x8) R 9583 9585 2333 0 -1 4202496 365696 0 0 0 170038 10052 0 0 25 0 1 0 1164048 1467338752 353136 1992294400 4194304 7136930 140735422483664 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9585/statm: 358237 353136 393 719 0 357516 0
Current children cumulated CPU time (s) 1800.9
Current children cumulated vsize (KiB) 1432948
[startup+1802.2 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 9644
/proc/meminfo: memFree=381968/2059040 swapFree=4192956/4192956
[pid=9585] ppid=9583 vsize=1432948 CPUtime=1801.7
/proc/9585/stat : 9585 (pbscip.linux.x8) R 9583 9585 2333 0 -1 4202496 365696 0 0 0 170118 10052 0 0 25 0 1 0 1164048 1467338752 353136 1992294400 4194304 7136930 140735422483664 18446744073709551615 6165646 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9585/statm: 358237 353136 393 719 0 357516 0
Current children cumulated CPU time (s) 1801.7
Current children cumulated vsize (KiB) 1432948
[startup+1802.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 9644
/proc/meminfo: memFree=381968/2059040 swapFree=4192956/4192956
[pid=9585] ppid=9583 vsize=0 CPUtime=1802.1
/proc/9585/stat : 9585 (pbscip.linux.x8) R 9583 9585 2333 0 -1 4203524 365696 0 0 0 170149 10061 0 0 25 0 1 0 1164048 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/9585/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.1
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.64
CPU time (s): 1802.15
CPU user time (s): 1701.5
CPU system time (s): 100.654
CPU usage (%): 99.973
Max. virtual memory (cumulated for all children) (KiB): 1497472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1701.5
system time used= 100.654
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 365696
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= 1290
runsolver used 3.18952 second user time and 8.34373 second system time
The end