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-2664011-1276600247.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.02
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 1620
0.00/0.02 c
0.00/0.02 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c lp/solvefreq = -1
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.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 | - | 282k| 0 | - | 60 | 7 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.70/1.72 c 1.6s| 10000 | 6529 | 0 | 0.0 |2761k| 35 | - | 60 | 292 | 0 | 0 | 0 | 379 | 0 | 0.000000e+00 | -- | Inf
3.39/3.49 c 3.2s| 20000 | 13139 | 0 | 0.0 |5169k| 35 | - | 60 | 463 | 0 | 0 | 0 | 736 | 0 | 0.000000e+00 | -- | Inf
5.39/5.47 c 5.0s| 30000 | 18702 | 0 | 0.0 |7455k| 35 | - | 60 | 569 | 0 | 0 | 0 |1147 | 0 | 0.000000e+00 | -- | Inf
7.70/7.71 c 7.1s| 40000 | 22711 | 0 | 0.0 |9604k| 35 | - | 60 | 650 | 0 | 0 | 0 |1688 | 0 | 0.000000e+00 | -- | Inf
9.68/9.72 c 9.0s| 50000 | 28274 | 0 | 0.0 | 11M| 35 | - | 60 | 768 | 0 | 0 | 0 |2299 | 0 | 0.000000e+00 | -- | Inf
11.39/11.47 c 10.6s| 60000 | 35492 | 0 | 0.0 | 14M| 35 | - | 60 | 636 | 0 | 0 | 0 |2661 | 0 | 0.000000e+00 | -- | Inf
13.20/13.23 c 12.2s| 70000 | 42390 | 0 | 0.0 | 16M| 36 | - | 60 | 583 | 0 | 0 | 0 |3072 | 0 | 0.000000e+00 | -- | Inf
14.99/15.04 c 13.9s| 80000 | 49137 | 0 | 0.0 | 19M| 36 | - | 60 | 620 | 0 | 0 | 0 |3544 | 0 | 0.000000e+00 | -- | Inf
16.89/16.90 c 15.6s| 90000 | 55637 | 0 | 0.0 | 21M| 36 | - | 60 | 630 | 0 | 0 | 0 |4039 | 0 | 0.000000e+00 | -- | Inf
18.78/18.80 c 17.4s|100000 | 61916 | 0 | 0.0 | 23M| 36 | - | 60 | 617 | 0 | 0 | 0 |4586 | 0 | 0.000000e+00 | -- | Inf
20.59/20.69 c 19.1s|110000 | 68059 | 0 | 0.0 | 26M| 36 | - | 60 | 570 | 0 | 0 | 0 |5056 | 0 | 0.000000e+00 | -- | Inf
22.59/22.60 c 20.8s|120000 | 74044 | 0 | 0.0 | 28M| 36 | - | 60 | 558 | 0 | 0 | 0 |5585 | 0 | 0.000000e+00 | -- | Inf
24.49/24.54 c 22.6s|130000 | 79900 | 0 | 0.0 | 30M| 36 | - | 60 | 500 | 0 | 0 | 0 |6127 | 0 | 0.000000e+00 | -- | Inf
26.39/26.48 c 24.4s|140000 | 85489 | 0 | 0.0 | 33M| 36 | - | 60 | 514 | 0 | 0 | 0 |6655 | 0 | 0.000000e+00 | -- | Inf
28.39/28.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.39/28.43 c 26.2s|150000 | 90990 | 0 | 0.0 | 35M| 36 | - | 60 | 475 | 0 | 0 | 0 |7215 | 0 | 0.000000e+00 | -- | Inf
30.39/30.46 c 28.1s|160000 | 96106 | 0 | 0.0 | 37M| 36 | - | 60 | 524 | 0 | 0 | 0 |7835 | 0 | 0.000000e+00 | -- | Inf
32.38/32.49 c 29.9s|170000 |101168 | 0 | 0.0 | 39M| 36 | - | 60 | 553 | 0 | 0 | 0 |8417 | 0 | 0.000000e+00 | -- | Inf
34.48/34.57 c 31.9s|180000 |105969 | 0 | 0.0 | 42M| 36 | - | 60 | 574 | 0 | 0 | 0 |9031 | 0 | 0.000000e+00 | -- | Inf
36.57/36.69 c 33.9s|190000 |110534 | 0 | 0.0 | 44M| 36 | - | 60 | 609 | 0 | 0 | 0 |9670 | 0 | 0.000000e+00 | -- | Inf
38.77/38.86 c 35.9s|200000 |114905 | 0 | 0.0 | 46M| 36 | - | 60 | 638 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
41.07/41.10 c 38.0s|210000 |118932 | 0 | 0.0 | 48M| 36 | - | 60 | 638 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
43.27/43.34 c 40.1s|220000 |122834 | 0 | 0.0 | 50M| 36 | - | 60 | 681 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
45.58/45.68 c 42.3s|230000 |126416 | 0 | 0.0 | 53M| 36 | - | 60 | 748 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
47.98/48.05 c 44.5s|240000 |129778 | 0 | 0.0 | 55M| 36 | - | 60 | 758 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
50.48/50.50 c 46.8s|250000 |132711 | 0 | 0.0 | 57M| 36 | - | 60 | 810 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
52.87/52.96 c 49.1s|260000 |135539 | 0 | 0.0 | 59M| 36 | - | 60 | 812 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
55.48/55.50 c 51.5s|270000 |137821 | 0 | 0.0 | 61M| 36 | - | 60 | 764 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
57.87/57.97 c 53.8s|280000 |140211 | 0 | 0.0 | 62M| 37 | - | 60 | 700 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
59.47/59.58 c 55.3s|290000 |147811 | 0 | 0.0 | 65M| 38 | - | 60 | 548 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
61.17/61.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
61.17/61.22 c 56.8s|300000 |155325 | 0 | 0.0 | 67M| 38 | - | 60 | 565 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
62.78/62.86 c 58.3s|310000 |162762 | 0 | 0.0 | 70M| 38 | - | 60 | 591 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
64.47/64.53 c 59.8s|320000 |170033 | 0 | 0.0 | 72M| 38 | - | 60 | 580 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
66.17/66.21 c 61.4s|330000 |177247 | 0 | 0.0 | 74M| 38 | - | 60 | 586 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
67.77/67.89 c 62.9s|340000 |184394 | 0 | 0.0 | 77M| 38 | - | 60 | 584 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
69.47/69.57 c 64.4s|350000 |191524 | 0 | 0.0 | 79M| 38 | - | 60 | 591 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
71.17/71.28 c 66.0s|360000 |198466 | 0 | 0.0 | 82M| 38 | - | 60 | 580 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
72.97/73.02 c 67.6s|370000 |205333 | 0 | 0.0 | 84M| 38 | - | 60 | 652 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
74.67/74.79 c 69.2s|380000 |212067 | 0 | 0.0 | 86M| 38 | - | 60 | 664 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
76.46/76.58 c 70.9s|390000 |218746 | 0 | 0.0 | 89M| 38 | - | 60 | 676 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
78.27/78.36 c 72.5s|400000 |225452 | 0 | 0.0 | 91M| 38 | - | 60 | 716 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
80.06/80.17 c 74.2s|410000 |232159 | 0 | 0.0 | 93M| 38 | - | 60 | 777 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
81.96/82.02 c 75.9s|420000 |238695 | 0 | 0.0 | 96M| 38 | - | 60 | 780 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
83.77/83.88 c 77.6s|430000 |245168 | 0 | 0.0 | 98M| 38 | - | 60 | 766 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
85.67/85.74 c 79.3s|440000 |251640 | 0 | 0.0 | 101M| 38 | - | 60 | 752 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
87.46/87.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
87.46/87.56 c 81.0s|450000 |258120 | 0 | 0.0 | 103M| 38 | - | 60 | 749 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
89.37/89.46 c 82.7s|460000 |264503 | 0 | 0.0 | 105M| 38 | - | 60 | 810 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
91.27/91.37 c 84.5s|470000 |270726 | 0 | 0.0 | 108M| 38 | - | 60 | 811 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
93.16/93.29 c 86.3s|480000 |276989 | 0 | 0.0 | 110M| 38 | - | 60 | 853 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
95.17/95.22 c 88.1s|490000 |283285 | 0 | 0.0 | 112M| 38 | - | 60 | 796 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
97.06/97.14 c 89.8s|500000 |289564 | 0 | 0.0 | 115M| 38 | - | 60 | 821 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
98.97/99.04 c 91.6s|510000 |295793 | 0 | 0.0 | 117M| 38 | - | 60 | 851 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
100.86/100.97 c 93.4s|520000 |301938 | 0 | 0.0 | 119M| 38 | - | 60 | 835 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
102.86/102.90 c 95.2s|530000 |308056 | 0 | 0.0 | 122M| 38 | - | 60 | 857 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
104.76/104.85 c 97.0s|540000 |314169 | 0 | 0.0 | 124M| 38 | - | 60 | 871 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
106.76/106.83 c 98.8s|550000 |320219 | 0 | 0.0 | 126M| 38 | - | 60 | 900 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
108.77/108.85 c 101s|560000 |326222 | 0 | 0.0 | 129M| 38 | - | 60 | 929 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
110.76/110.84 c 103s|570000 |332274 | 0 | 0.0 | 131M| 38 | - | 60 | 908 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
112.76/112.87 c 104s|580000 |338118 | 0 | 0.0 | 133M| 38 | - | 60 | 924 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
114.85/114.93 c 106s|590000 |343903 | 0 | 0.0 | 136M| 38 | - | 60 | 984 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
116.85/116.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
116.85/116.97 c 108s|600000 |349774 | 0 | 0.0 | 138M| 38 | - | 60 | 927 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
118.86/118.95 c 110s|610000 |355589 | 0 | 0.0 | 140M| 38 | - | 60 | 986 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
120.96/121.03 c 112s|620000 |361337 | 0 | 0.0 | 143M| 38 | - | 60 |1037 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
123.06/123.13 c 114s|630000 |367036 | 0 | 0.0 | 145M| 38 | - | 60 |1069 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
125.16/125.21 c 116s|640000 |372846 | 0 | 0.0 | 147M| 38 | - | 60 |1028 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
127.25/127.31 c 118s|650000 |378500 | 0 | 0.0 | 150M| 38 | - | 60 |1052 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
129.35/129.42 c 120s|660000 |384038 | 0 | 0.0 | 152M| 38 | - | 60 |1097 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
131.46/131.53 c 122s|670000 |389572 | 0 | 0.0 | 154M| 38 | - | 60 |1074 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
133.56/133.65 c 124s|680000 |395136 | 0 | 0.0 | 157M| 38 | - | 60 |1064 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
135.66/135.76 c 126s|690000 |400658 | 0 | 0.0 | 159M| 38 | - | 60 |1039 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
137.75/137.87 c 128s|700000 |406209 | 0 | 0.0 | 161M| 38 | - | 60 |1091 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
139.95/140.02 c 130s|710000 |411729 | 0 | 0.0 | 163M| 38 | - | 60 |1145 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
142.15/142.20 c 132s|720000 |417188 | 0 | 0.0 | 166M| 38 | - | 60 |1168 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
144.36/144.40 c 134s|730000 |422607 | 0 | 0.0 | 168M| 38 | - | 60 |1167 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
146.55/146.67 c 136s|740000 |427798 | 0 | 0.0 | 170M| 38 | - | 60 |1168 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
148.85/148.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
148.85/148.92 c 138s|750000 |432952 | 0 | 0.0 | 173M| 38 | - | 60 |1143 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
151.05/151.13 c 140s|760000 |438165 | 0 | 0.0 | 175M| 38 | - | 60 |1160 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
153.24/153.37 c 142s|770000 |443297 | 0 | 0.0 | 177M| 38 | - | 60 |1177 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
155.45/155.60 c 144s|780000 |448526 | 0 | 0.0 | 180M| 38 | - | 60 |1191 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
157.75/157.83 c 146s|790000 |453712 | 0 | 0.0 | 182M| 38 | - | 60 |1182 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
159.95/160.04 c 148s|800000 |458938 | 0 | 0.0 | 184M| 38 | - | 60 |1142 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
162.24/162.30 c 151s|810000 |464067 | 0 | 0.0 | 186M| 38 | - | 60 |1233 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
164.45/164.59 c 153s|820000 |469253 | 0 | 0.0 | 189M| 38 | - | 60 |1267 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
166.84/166.90 c 155s|830000 |474210 | 0 | 0.0 | 191M| 38 | - | 60 |1284 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
169.25/169.31 c 157s|840000 |478898 | 0 | 0.0 | 193M| 38 | - | 60 |1332 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
171.64/171.73 c 159s|850000 |483704 | 0 | 0.0 | 195M| 38 | - | 60 |1294 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
173.94/174.08 c 162s|860000 |488459 | 0 | 0.0 | 198M| 38 | - | 60 |1322 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
176.34/176.43 c 164s|870000 |493335 | 0 | 0.0 | 200M| 38 | - | 60 |1305 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
178.74/178.82 c 166s|880000 |498104 | 0 | 0.0 | 202M| 38 | - | 60 |1328 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
181.04/181.17 c 168s|890000 |502909 | 0 | 0.0 | 204M| 38 | - | 60 |1309 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
183.44/183.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
183.44/183.51 c 170s|900000 |507752 | 0 | 0.0 | 207M| 38 | - | 60 |1308 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
185.75/185.86 c 173s|910000 |512586 | 0 | 0.0 | 209M| 38 | - | 60 |1291 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
188.05/188.18 c 175s|920000 |517377 | 0 | 0.0 | 211M| 38 | - | 60 |1336 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
190.44/190.59 c 177s|930000 |522104 | 0 | 0.0 | 213M| 38 | - | 60 |1412 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
193.04/193.11 c 179s|940000 |526554 | 0 | 0.0 | 216M| 38 | - | 60 |1465 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
195.65/195.71 c 182s|950000 |530815 | 0 | 0.0 | 218M| 38 | - | 60 |1497 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
198.04/198.19 c 184s|960000 |535252 | 0 | 0.0 | 220M| 38 | - | 60 |1423 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
200.64/200.70 c 187s|970000 |539546 | 0 | 0.0 | 222M| 38 | - | 60 |1460 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
203.14/203.21 c 189s|980000 |543977 | 0 | 0.0 | 225M| 38 | - | 60 |1465 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
205.64/205.75 c 191s|990000 |548440 | 0 | 0.0 | 227M| 38 | - | 60 |1465 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
208.14/208.27 c 194s| 1000k|552825 | 0 | 0.0 | 229M| 38 | - | 60 |1517 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
210.73/210.87 c 196s| 1010k|557123 | 0 | 0.0 | 231M| 38 | - | 60 |1527 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
213.24/213.40 c 199s| 1020k|561471 | 0 | 0.0 | 234M| 38 | - | 60 |1499 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
215.73/215.88 c 201s| 1030k|565859 | 0 | 0.0 | 236M| 38 | - | 60 |1478 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
218.34/218.42 c 203s| 1040k|570237 | 0 | 0.0 | 238M| 38 | - | 60 |1544 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
220.83/220.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
220.83/220.99 c 206s| 1050k|574602 | 0 | 0.0 | 240M| 38 | - | 60 |1589 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
223.53/223.69 c 208s| 1060k|578529 | 0 | 0.0 | 242M| 38 | - | 60 |1635 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
226.34/226.45 c 211s| 1070k|582344 | 0 | 0.0 | 245M| 38 | - | 60 |1663 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
229.03/229.18 c 213s| 1080k|586159 | 0 | 0.0 | 247M| 38 | - | 60 |1691 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
231.83/231.92 c 216s| 1090k|590050 | 0 | 0.0 | 249M| 38 | - | 60 |1724 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
234.53/234.66 c 219s| 1100k|593935 | 0 | 0.0 | 251M| 38 | - | 60 |1696 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
237.33/237.43 c 221s| 1110k|597784 | 0 | 0.0 | 254M| 38 | - | 60 |1698 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
240.02/240.14 c 224s| 1120k|601628 | 0 | 0.0 | 256M| 38 | - | 60 |1698 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
242.72/242.86 c 226s| 1130k|605492 | 0 | 0.0 | 258M| 38 | - | 60 |1689 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
245.42/245.58 c 229s| 1140k|609385 | 0 | 0.0 | 260M| 38 | - | 60 |1685 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
248.12/248.29 c 231s| 1150k|613228 | 0 | 0.0 | 262M| 38 | - | 60 |1711 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
250.93/251.01 c 234s| 1160k|617147 | 0 | 0.0 | 265M| 38 | - | 60 |1702 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
253.52/253.69 c 237s| 1170k|621049 | 0 | 0.0 | 267M| 38 | - | 60 |1701 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
256.32/256.48 c 239s| 1180k|624770 | 0 | 0.0 | 269M| 38 | - | 60 |1764 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
259.33/259.44 c 242s| 1190k|627975 | 0 | 0.0 | 271M| 38 | - | 60 |1889 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
262.33/262.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
262.33/262.42 c 245s| 1200k|631235 | 0 | 0.0 | 273M| 38 | - | 60 |1828 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
265.22/265.39 c 248s| 1210k|634533 | 0 | 0.0 | 275M| 38 | - | 60 |1837 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
268.12/268.30 c 250s| 1220k|637845 | 0 | 0.0 | 278M| 38 | - | 60 |1835 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
271.12/271.24 c 253s| 1230k|641137 | 0 | 0.0 | 280M| 38 | - | 60 |1858 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
274.12/274.22 c 256s| 1240k|644420 | 0 | 0.0 | 282M| 38 | - | 60 |1928 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
277.02/277.14 c 259s| 1250k|647767 | 0 | 0.0 | 284M| 38 | - | 60 |1847 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
280.02/280.11 c 262s| 1260k|650990 | 0 | 0.0 | 286M| 38 | - | 60 |1899 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
282.92/283.07 c 264s| 1270k|654316 | 0 | 0.0 | 288M| 38 | - | 60 |1900 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
285.92/286.03 c 267s| 1280k|657641 | 0 | 0.0 | 290M| 38 | - | 60 |1884 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
288.71/288.89 c 270s| 1290k|661054 | 0 | 0.0 | 292M| 38 | - | 60 |1821 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
291.61/291.76 c 273s| 1300k|664476 | 0 | 0.0 | 295M| 38 | - | 60 |1840 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
294.52/294.69 c 275s| 1310k|667440 | 0 | 0.0 | 297M| 38 | - | 60 |1837 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
297.51/297.63 c 278s| 1320k|670313 | 0 | 0.0 | 299M| 38 | - | 60 |1829 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
300.52/300.69 c 281s| 1330k|673016 | 0 | 0.0 | 301M| 38 | - | 60 |1958 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
303.72/303.85 c 284s| 1340k|675723 | 0 | 0.0 | 303M| 38 | - | 60 |1964 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
306.82/306.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
306.82/306.92 c 287s| 1350k|678496 | 0 | 0.0 | 305M| 38 | - | 60 |1964 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
309.91/310.03 c 290s| 1360k|681264 | 0 | 0.0 | 307M| 38 | - | 60 |2005 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
313.01/313.17 c 293s| 1370k|684052 | 0 | 0.0 | 309M| 38 | - | 60 |1975 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
316.11/316.26 c 296s| 1380k|686830 | 0 | 0.0 | 311M| 38 | - | 60 |1965 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
319.21/319.34 c 299s| 1390k|689605 | 0 | 0.0 | 313M| 38 | - | 60 |1917 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
322.30/322.40 c 302s| 1400k|692393 | 0 | 0.0 | 315M| 38 | - | 60 |1935 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
325.31/325.43 c 305s| 1410k|695220 | 0 | 0.0 | 317M| 38 | - | 60 |1943 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
328.41/328.52 c 308s| 1420k|697596 | 0 | 0.0 | 319M| 38 | - | 60 |1894 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
331.41/331.59 c 310s| 1430k|699946 | 0 | 0.0 | 321M| 38 | - | 60 |1850 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
334.60/334.72 c 313s| 1440k|702125 | 0 | 0.0 | 323M| 38 | - | 60 |1917 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
337.71/337.84 c 316s| 1450k|704297 | 0 | 0.0 | 325M| 38 | - | 60 |1928 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
340.91/341.01 c 319s| 1460k|706537 | 0 | 0.0 | 327M| 38 | - | 60 |1962 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
344.11/344.21 c 322s| 1470k|708725 | 0 | 0.0 | 329M| 38 | - | 60 |1961 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
347.20/347.38 c 325s| 1480k|710949 | 0 | 0.0 | 331M| 38 | - | 60 |1947 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
350.40/350.58 c 329s| 1490k|712951 | 0 | 0.0 | 332M| 39 | - | 60 |1928 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
353.60/353.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
353.60/353.76 c 332s| 1500k|714739 | 0 | 0.0 | 334M| 39 | - | 60 |1909 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
356.80/356.92 c 335s| 1510k|716352 | 0 | 0.0 | 336M| 39 | - | 60 |1908 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
360.00/360.17 c 338s| 1520k|718024 | 0 | 0.0 | 338M| 39 | - | 60 |1869 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
363.10/363.23 c 341s| 1530k|720902 | 0 | 0.0 | 340M| 39 | - | 60 |1781 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
364.90/365.08 c 342s| 1540k|728641 | 0 | 0.0 | 342M| 39 | - | 60 |1682 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
366.80/366.98 c 344s| 1550k|736285 | 0 | 0.0 | 345M| 39 | - | 60 |1677 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
368.70/368.88 c 346s| 1560k|743825 | 0 | 0.0 | 347M| 39 | - | 60 |1678 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
370.61/370.76 c 348s| 1570k|751284 | 0 | 0.0 | 349M| 39 | - | 60 |1669 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
372.60/372.71 c 349s| 1580k|758723 | 0 | 0.0 | 352M| 39 | - | 60 |1669 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
374.49/374.65 c 351s| 1590k|766155 | 0 | 0.0 | 354M| 39 | - | 60 |1687 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
376.40/376.56 c 353s| 1600k|773493 | 0 | 0.0 | 357M| 39 | - | 60 |1678 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
378.39/378.51 c 355s| 1610k|780706 | 0 | 0.0 | 359M| 39 | - | 60 |1701 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
380.30/380.48 c 357s| 1620k|787828 | 0 | 0.0 | 361M| 39 | - | 60 |1719 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
382.39/382.50 c 359s| 1630k|794972 | 0 | 0.0 | 364M| 39 | - | 60 |1703 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
384.39/384.50 c 360s| 1640k|802048 | 0 | 0.0 | 366M| 39 | - | 60 |1706 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
386.30/386.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
386.30/386.49 c 362s| 1650k|809162 | 0 | 0.0 | 368M| 39 | - | 60 |1711 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
388.40/388.52 c 364s| 1660k|816173 | 0 | 0.0 | 371M| 39 | - | 60 |1706 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
390.40/390.51 c 366s| 1670k|823114 | 0 | 0.0 | 373M| 39 | - | 60 |1708 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
392.39/392.50 c 368s| 1680k|830102 | 0 | 0.0 | 376M| 39 | - | 60 |1738 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
394.39/394.54 c 370s| 1690k|837047 | 0 | 0.0 | 378M| 39 | - | 60 |1754 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
396.39/396.55 c 372s| 1700k|844028 | 0 | 0.0 | 380M| 39 | - | 60 |1748 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
398.50/398.62 c 374s| 1710k|850930 | 0 | 0.0 | 383M| 39 | - | 60 |1794 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
400.59/400.72 c 376s| 1720k|857876 | 0 | 0.0 | 385M| 39 | - | 60 |1763 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
402.59/402.77 c 377s| 1730k|864763 | 0 | 0.0 | 387M| 39 | - | 60 |1760 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
404.70/404.85 c 379s| 1740k|871587 | 0 | 0.0 | 390M| 39 | - | 60 |1774 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
406.80/406.96 c 381s| 1750k|878458 | 0 | 0.0 | 392M| 39 | - | 60 |1800 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
408.89/409.02 c 383s| 1760k|885276 | 0 | 0.0 | 395M| 39 | - | 60 |1784 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
410.99/411.15 c 385s| 1770k|892092 | 0 | 0.0 | 397M| 39 | - | 60 |1813 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
413.09/413.24 c 387s| 1780k|898859 | 0 | 0.0 | 399M| 39 | - | 60 |1785 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
415.19/415.32 c 389s| 1790k|905688 | 0 | 0.0 | 402M| 39 | - | 60 |1805 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
417.29/417.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
417.29/417.45 c 391s| 1800k|912446 | 0 | 0.0 | 404M| 39 | - | 60 |1822 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
419.49/419.61 c 393s| 1810k|919246 | 0 | 0.0 | 406M| 39 | - | 60 |1809 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
421.59/421.78 c 395s| 1820k|925974 | 0 | 0.0 | 409M| 39 | - | 60 |1828 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
423.79/423.92 c 397s| 1830k|932686 | 0 | 0.0 | 411M| 39 | - | 60 |1834 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
425.89/426.05 c 399s| 1840k|939364 | 0 | 0.0 | 414M| 39 | - | 60 |1871 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
428.09/428.24 c 401s| 1850k|946014 | 0 | 0.0 | 416M| 39 | - | 60 |1865 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
430.29/430.42 c 403s| 1860k|952665 | 0 | 0.0 | 418M| 39 | - | 60 |1885 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
432.38/432.58 c 405s| 1870k|959295 | 0 | 0.0 | 421M| 39 | - | 60 |1864 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
434.58/434.76 c 407s| 1880k|965876 | 0 | 0.0 | 423M| 39 | - | 60 |1878 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
436.78/436.98 c 409s| 1890k|972506 | 0 | 0.0 | 425M| 39 | - | 60 |1875 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
438.99/439.17 c 411s| 1900k|979147 | 0 | 0.0 | 428M| 39 | - | 60 |1861 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
441.18/441.38 c 414s| 1910k|985769 | 0 | 0.0 | 430M| 39 | - | 60 |1896 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
443.48/443.60 c 416s| 1920k|992420 | 0 | 0.0 | 432M| 39 | - | 60 |1906 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
445.68/445.84 c 418s| 1930k|999090 | 0 | 0.0 | 435M| 39 | - | 60 |1908 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
447.88/448.03 c 420s| 1940k| 1005k| 0 | 0.0 | 437M| 39 | - | 60 |1886 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
450.08/450.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
450.08/450.23 c 422s| 1950k| 1012k| 0 | 0.0 | 439M| 39 | - | 60 |1866 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
452.28/452.42 c 424s| 1960k| 1018k| 0 | 0.0 | 442M| 39 | - | 60 |1876 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
454.58/454.71 c 426s| 1970k| 1025k| 0 | 0.0 | 444M| 39 | - | 60 |1921 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
456.78/456.96 c 428s| 1980k| 1032k| 0 | 0.0 | 447M| 39 | - | 60 |1921 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
459.07/459.25 c 430s| 1990k| 1038k| 0 | 0.0 | 449M| 39 | - | 60 |1915 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
461.37/461.56 c 432s| 2000k| 1045k| 0 | 0.0 | 451M| 39 | - | 60 |1974 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
463.77/463.91 c 435s| 2010k| 1051k| 0 | 0.0 | 454M| 39 | - | 60 |1948 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
466.08/466.20 c 437s| 2020k| 1057k| 0 | 0.0 | 456M| 39 | - | 60 |1979 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
468.38/468.55 c 439s| 2030k| 1064k| 0 | 0.0 | 458M| 39 | - | 60 |2031 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
470.77/470.90 c 441s| 2040k| 1070k| 0 | 0.0 | 461M| 39 | - | 60 |1973 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
472.97/473.16 c 443s| 2050k| 1077k| 0 | 0.0 | 463M| 39 | - | 60 |1995 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
475.37/475.50 c 446s| 2060k| 1083k| 0 | 0.0 | 465M| 39 | - | 60 |1972 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
477.58/477.79 c 448s| 2070k| 1090k| 0 | 0.0 | 468M| 39 | - | 60 |1972 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
480.07/480.20 c 450s| 2080k| 1096k| 0 | 0.0 | 470M| 39 | - | 60 |2012 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
482.37/482.55 c 452s| 2090k| 1102k| 0 | 0.0 | 472M| 39 | - | 60 |1993 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
484.77/484.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
484.77/484.94 c 454s| 2100k| 1108k| 0 | 0.0 | 475M| 39 | - | 60 |2016 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
487.17/487.33 c 457s| 2110k| 1115k| 0 | 0.0 | 477M| 39 | - | 60 |1992 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
489.57/489.72 c 459s| 2120k| 1121k| 0 | 0.0 | 479M| 39 | - | 60 |1994 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
491.97/492.10 c 461s| 2130k| 1127k| 0 | 0.0 | 482M| 39 | - | 60 |1979 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
494.27/494.41 c 463s| 2140k| 1134k| 0 | 0.0 | 484M| 39 | - | 60 |2015 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
496.56/496.75 c 465s| 2150k| 1140k| 0 | 0.0 | 486M| 39 | - | 60 |1992 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
498.87/499.09 c 468s| 2160k| 1147k| 0 | 0.0 | 489M| 39 | - | 60 |2010 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
501.26/501.43 c 470s| 2170k| 1153k| 0 | 0.0 | 491M| 39 | - | 60 |2017 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
503.57/503.80 c 472s| 2180k| 1160k| 0 | 0.0 | 494M| 39 | - | 60 |2023 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
505.96/506.13 c 474s| 2190k| 1166k| 0 | 0.0 | 496M| 39 | - | 60 |2035 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
508.36/508.56 c 477s| 2200k| 1172k| 0 | 0.0 | 498M| 39 | - | 60 |2109 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
510.86/511.01 c 479s| 2210k| 1178k| 0 | 0.0 | 501M| 39 | - | 60 |2097 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
513.17/513.39 c 481s| 2220k| 1185k| 0 | 0.0 | 503M| 39 | - | 60 |2102 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
515.67/515.84 c 483s| 2230k| 1191k| 0 | 0.0 | 505M| 39 | - | 60 |2092 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
518.17/518.32 c 486s| 2240k| 1197k| 0 | 0.0 | 507M| 39 | - | 60 |2093 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
520.66/520.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
520.66/520.80 c 488s| 2250k| 1203k| 0 | 0.0 | 510M| 39 | - | 60 |2124 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
523.06/523.29 c 490s| 2260k| 1209k| 0 | 0.0 | 512M| 39 | - | 60 |2086 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
525.57/525.72 c 493s| 2270k| 1216k| 0 | 0.0 | 514M| 39 | - | 60 |2108 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
528.06/528.28 c 495s| 2280k| 1222k| 0 | 0.0 | 517M| 39 | - | 60 |2124 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
530.56/530.78 c 498s| 2290k| 1228k| 0 | 0.0 | 519M| 39 | - | 60 |2135 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
533.16/533.30 c 500s| 2300k| 1234k| 0 | 0.0 | 521M| 39 | - | 60 |2137 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
535.66/535.84 c 502s| 2310k| 1240k| 0 | 0.0 | 524M| 39 | - | 60 |2122 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
538.16/538.32 c 505s| 2320k| 1246k| 0 | 0.0 | 526M| 39 | - | 60 |2104 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
540.66/540.81 c 507s| 2330k| 1252k| 0 | 0.0 | 528M| 39 | - | 60 |2137 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
543.06/543.28 c 509s| 2340k| 1258k| 0 | 0.0 | 531M| 39 | - | 60 |2111 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
545.56/545.74 c 512s| 2350k| 1264k| 0 | 0.0 | 533M| 39 | - | 60 |2097 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
548.06/548.22 c 514s| 2360k| 1270k| 0 | 0.0 | 535M| 39 | - | 60 |2113 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
550.55/550.73 c 516s| 2370k| 1277k| 0 | 0.0 | 538M| 39 | - | 60 |2105 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
553.07/553.26 c 519s| 2380k| 1283k| 0 | 0.0 | 540M| 39 | - | 60 |2144 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
555.55/555.80 c 521s| 2390k| 1289k| 0 | 0.0 | 542M| 39 | - | 60 |2152 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
558.05/558.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
558.05/558.26 c 523s| 2400k| 1295k| 0 | 0.0 | 545M| 39 | - | 60 |2141 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
560.55/560.79 c 526s| 2410k| 1301k| 0 | 0.0 | 547M| 39 | - | 60 |2145 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
563.06/563.25 c 528s| 2420k| 1307k| 0 | 0.0 | 549M| 39 | - | 60 |2146 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
565.45/565.68 c 530s| 2430k| 1313k| 0 | 0.0 | 552M| 39 | - | 60 |2154 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
567.95/568.16 c 533s| 2440k| 1319k| 0 | 0.0 | 554M| 39 | - | 60 |2172 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
570.55/570.76 c 535s| 2450k| 1325k| 0 | 0.0 | 556M| 39 | - | 60 |2246 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
573.15/573.34 c 538s| 2460k| 1331k| 0 | 0.0 | 559M| 39 | - | 60 |2225 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
575.75/575.91 c 540s| 2470k| 1337k| 0 | 0.0 | 561M| 39 | - | 60 |2209 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
578.35/578.54 c 543s| 2480k| 1343k| 0 | 0.0 | 563M| 39 | - | 60 |2289 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
580.95/581.11 c 545s| 2490k| 1349k| 0 | 0.0 | 566M| 39 | - | 60 |2258 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
583.55/583.71 c 548s| 2500k| 1355k| 0 | 0.0 | 568M| 39 | - | 60 |2252 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
586.15/586.33 c 550s| 2510k| 1361k| 0 | 0.0 | 570M| 39 | - | 60 |2257 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
588.75/588.91 c 552s| 2520k| 1367k| 0 | 0.0 | 572M| 39 | - | 60 |2283 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
591.34/591.59 c 555s| 2530k| 1373k| 0 | 0.0 | 575M| 39 | - | 60 |2340 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
594.15/594.32 c 558s| 2540k| 1379k| 0 | 0.0 | 577M| 39 | - | 60 |2339 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
596.94/597.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
596.94/597.11 c 560s| 2550k| 1385k| 0 | 0.0 | 579M| 39 | - | 60 |2290 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
599.54/599.74 c 563s| 2560k| 1391k| 0 | 0.0 | 582M| 39 | - | 60 |2266 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
602.14/602.39 c 565s| 2570k| 1396k| 0 | 0.0 | 584M| 39 | - | 60 |2257 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
604.84/605.08 c 568s| 2580k| 1402k| 0 | 0.0 | 586M| 39 | - | 60 |2256 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
607.44/607.66 c 570s| 2590k| 1408k| 0 | 0.0 | 589M| 39 | - | 60 |2261 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | -- | Inf
610.14/610.32 c 573s| 2600k| 1414k| 0 | 0.0 | 591M| 39 | - | 60 |2286 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | -- | Inf
612.74/612.96 c 575s| 2610k| 1420k| 0 | 0.0 | 593M| 39 | - | 60 |2306 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
615.44/615.64 c 578s| 2620k| 1426k| 0 | 0.0 | 595M| 39 | - | 60 |2323 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
618.14/618.31 c 580s| 2630k| 1432k| 0 | 0.0 | 598M| 39 | - | 60 |2294 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
620.74/620.93 c 583s| 2640k| 1437k| 0 | 0.0 | 600M| 39 | - | 60 |2296 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
623.33/623.60 c 585s| 2650k| 1443k| 0 | 0.0 | 602M| 39 | - | 60 |2306 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
626.04/626.27 c 588s| 2660k| 1449k| 0 | 0.0 | 605M| 39 | - | 60 |2282 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
628.74/628.96 c 590s| 2670k| 1455k| 0 | 0.0 | 607M| 39 | - | 60 |2277 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
631.33/631.59 c 593s| 2680k| 1461k| 0 | 0.0 | 609M| 39 | - | 60 |2271 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
633.93/634.17 c 595s| 2690k| 1467k| 0 | 0.0 | 612M| 39 | - | 60 |2314 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
636.64/636.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
636.64/636.88 c 598s| 2700k| 1472k| 0 | 0.0 | 614M| 39 | - | 60 |2349 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
639.34/639.56 c 600s| 2710k| 1478k| 0 | 0.0 | 616M| 39 | - | 60 |2333 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
642.03/642.27 c 603s| 2720k| 1484k| 0 | 0.0 | 619M| 39 | - | 60 |2345 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
644.73/644.93 c 605s| 2730k| 1490k| 0 | 0.0 | 621M| 39 | - | 60 |2341 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
647.34/647.56 c 608s| 2740k| 1496k| 0 | 0.0 | 623M| 39 | - | 60 |2332 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
650.03/650.20 c 610s| 2750k| 1502k| 0 | 0.0 | 625M| 39 | - | 60 |2371 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
652.73/652.97 c 613s| 2760k| 1507k| 0 | 0.0 | 628M| 39 | - | 60 |2457 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
655.53/655.74 c 616s| 2770k| 1513k| 0 | 0.0 | 630M| 39 | - | 60 |2442 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
658.33/658.56 c 618s| 2780k| 1519k| 0 | 0.0 | 632M| 39 | - | 60 |2465 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
661.13/661.34 c 621s| 2790k| 1524k| 0 | 0.0 | 635M| 39 | - | 60 |2493 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
663.93/664.13 c 624s| 2800k| 1530k| 0 | 0.0 | 637M| 39 | - | 60 |2440 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
666.72/666.93 c 626s| 2810k| 1536k| 0 | 0.0 | 639M| 39 | - | 60 |2454 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
669.52/669.71 c 629s| 2820k| 1542k| 0 | 0.0 | 642M| 39 | - | 60 |2484 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
672.42/672.61 c 632s| 2830k| 1547k| 0 | 0.0 | 644M| 39 | - | 60 |2494 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
675.33/675.57 c 634s| 2840k| 1553k| 0 | 0.0 | 646M| 39 | - | 60 |2521 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
678.32/678.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
678.32/678.51 c 637s| 2850k| 1558k| 0 | 0.0 | 648M| 39 | - | 60 |2480 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
681.13/681.39 c 640s| 2860k| 1564k| 0 | 0.0 | 651M| 39 | - | 60 |2494 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
683.93/684.20 c 643s| 2870k| 1569k| 0 | 0.0 | 653M| 39 | - | 60 |2485 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
686.82/687.09 c 645s| 2880k| 1575k| 0 | 0.0 | 655M| 39 | - | 60 |2463 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
689.72/689.97 c 648s| 2890k| 1580k| 0 | 0.0 | 658M| 39 | - | 60 |2489 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
692.62/692.86 c 651s| 2900k| 1586k| 0 | 0.0 | 660M| 39 | - | 60 |2496 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
695.52/695.76 c 654s| 2910k| 1592k| 0 | 0.0 | 662M| 39 | - | 60 |2515 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
698.42/698.67 c 656s| 2920k| 1597k| 0 | 0.0 | 664M| 39 | - | 60 |2525 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
701.32/701.52 c 659s| 2930k| 1603k| 0 | 0.0 | 667M| 39 | - | 60 |2502 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf
704.22/704.42 c 662s| 2940k| 1608k| 0 | 0.0 | 669M| 39 | - | 60 |2522 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf
707.13/707.32 c 665s| 2950k| 1614k| 0 | 0.0 | 671M| 39 | - | 60 |2526 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
710.01/710.27 c 667s| 2960k| 1619k| 0 | 0.0 | 674M| 39 | - | 60 |2557 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
712.91/713.14 c 670s| 2970k| 1625k| 0 | 0.0 | 676M| 39 | - | 60 |2520 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
715.71/715.99 c 673s| 2980k| 1631k| 0 | 0.0 | 678M| 39 | - | 60 |2552 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
718.71/718.98 c 676s| 2990k| 1636k| 0 | 0.0 | 681M| 39 | - | 60 |2565 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
721.71/721.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
721.71/721.97 c 679s| 3000k| 1642k| 0 | 0.0 | 683M| 39 | - | 60 |2554 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
724.62/724.90 c 681s| 3010k| 1647k| 0 | 0.0 | 685M| 39 | - | 60 |2553 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
727.61/727.86 c 684s| 3020k| 1653k| 0 | 0.0 | 687M| 39 | - | 60 |2565 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
730.51/730.71 c 687s| 3030k| 1658k| 0 | 0.0 | 690M| 39 | - | 60 |2582 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
733.42/733.64 c 690s| 3040k| 1664k| 0 | 0.0 | 692M| 39 | - | 60 |2569 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
736.41/736.62 c 693s| 3050k| 1669k| 0 | 0.0 | 694M| 39 | - | 60 |2576 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
739.21/739.49 c 695s| 3060k| 1675k| 0 | 0.0 | 697M| 39 | - | 60 |2567 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
742.22/742.50 c 698s| 3070k| 1680k| 0 | 0.0 | 699M| 39 | - | 60 |2578 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | -- | Inf
745.21/745.42 c 701s| 3080k| 1686k| 0 | 0.0 | 701M| 39 | - | 60 |2541 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | -- | Inf
748.01/748.25 c 704s| 3090k| 1691k| 0 | 0.0 | 703M| 39 | - | 60 |2565 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | -- | Inf
751.01/751.25 c 706s| 3100k| 1697k| 0 | 0.0 | 706M| 39 | - | 60 |2601 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | -- | Inf
754.11/754.30 c 709s| 3110k| 1702k| 0 | 0.0 | 708M| 39 | - | 60 |2640 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | -- | Inf
757.01/757.27 c 712s| 3120k| 1708k| 0 | 0.0 | 710M| 39 | - | 60 |2639 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | -- | Inf
760.00/760.25 c 715s| 3130k| 1713k| 0 | 0.0 | 713M| 39 | - | 60 |2621 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | -- | Inf
763.00/763.27 c 718s| 3140k| 1719k| 0 | 0.0 | 715M| 39 | - | 60 |2672 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
766.10/766.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
766.10/766.32 c 721s| 3150k| 1724k| 0 | 0.0 | 717M| 39 | - | 60 |2733 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf
769.21/769.46 c 724s| 3160k| 1729k| 0 | 0.0 | 719M| 39 | - | 60 |2752 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf
772.40/772.64 c 727s| 3170k| 1735k| 0 | 0.0 | 722M| 39 | - | 60 |2767 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | -- | Inf
775.50/775.72 c 730s| 3180k| 1740k| 0 | 0.0 | 724M| 39 | - | 60 |2743 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | -- | Inf
778.60/778.84 c 733s| 3190k| 1746k| 0 | 0.0 | 726M| 39 | - | 60 |2754 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | -- | Inf
781.80/782.07 c 736s| 3200k| 1751k| 0 | 0.0 | 728M| 39 | - | 60 |2775 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | -- | Inf
785.00/785.27 c 739s| 3210k| 1756k| 0 | 0.0 | 731M| 39 | - | 60 |2764 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | -- | Inf
788.30/788.50 c 742s| 3220k| 1761k| 0 | 0.0 | 733M| 39 | - | 60 |2757 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | -- | Inf
791.39/791.66 c 745s| 3230k| 1766k| 0 | 0.0 | 735M| 39 | - | 60 |2774 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | -- | Inf
794.60/794.84 c 748s| 3240k| 1771k| 0 | 0.0 | 738M| 39 | - | 60 |2761 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | -- | Inf
797.80/798.01 c 751s| 3250k| 1777k| 0 | 0.0 | 740M| 39 | - | 60 |2736 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | -- | Inf
800.89/801.20 c 754s| 3260k| 1782k| 0 | 0.0 | 742M| 39 | - | 60 |2778 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | -- | Inf
804.19/804.40 c 757s| 3270k| 1787k| 0 | 0.0 | 744M| 39 | - | 60 |2806 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | -- | Inf
807.39/807.62 c 760s| 3280k| 1792k| 0 | 0.0 | 747M| 39 | - | 60 |2825 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | -- | Inf
810.60/810.85 c 763s| 3290k| 1798k| 0 | 0.0 | 749M| 39 | - | 60 |2801 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | -- | Inf
813.80/814.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
813.80/814.05 c 766s| 3300k| 1803k| 0 | 0.0 | 751M| 39 | - | 60 |2787 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | -- | Inf
817.00/817.24 c 769s| 3310k| 1808k| 0 | 0.0 | 754M| 39 | - | 60 |2806 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | -- | Inf
820.19/820.46 c 772s| 3320k| 1813k| 0 | 0.0 | 756M| 39 | - | 60 |2819 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | -- | Inf
823.29/823.56 c 775s| 3330k| 1819k| 0 | 0.0 | 758M| 39 | - | 60 |2788 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | -- | Inf
826.49/826.74 c 778s| 3340k| 1824k| 0 | 0.0 | 760M| 39 | - | 60 |2813 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | -- | Inf
829.69/829.95 c 781s| 3350k| 1829k| 0 | 0.0 | 763M| 39 | - | 60 |2838 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | -- | Inf
832.89/833.20 c 785s| 3360k| 1834k| 0 | 0.0 | 765M| 39 | - | 60 |2843 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | -- | Inf
836.18/836.43 c 788s| 3370k| 1839k| 0 | 0.0 | 767M| 39 | - | 60 |2827 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | -- | Inf
839.39/839.67 c 791s| 3380k| 1845k| 0 | 0.0 | 769M| 39 | - | 60 |2802 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | -- | Inf
842.58/842.81 c 794s| 3390k| 1850k| 0 | 0.0 | 772M| 39 | - | 60 |2829 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | -- | Inf
845.88/846.12 c 797s| 3400k| 1855k| 0 | 0.0 | 774M| 39 | - | 60 |2802 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | -- | Inf
848.89/849.19 c 800s| 3410k| 1860k| 0 | 0.0 | 776M| 39 | - | 60 |2844 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | -- | Inf
852.19/852.42 c 803s| 3420k| 1865k| 0 | 0.0 | 778M| 39 | - | 60 |2869 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | -- | Inf
855.38/855.69 c 806s| 3430k| 1870k| 0 | 0.0 | 781M| 39 | - | 60 |2868 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | -- | Inf
858.68/858.93 c 809s| 3440k| 1876k| 0 | 0.0 | 783M| 39 | - | 60 |2876 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | -- | Inf
862.09/862.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
862.09/862.34 c 812s| 3450k| 1881k| 0 | 0.0 | 785M| 39 | - | 60 |2941 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | -- | Inf
865.48/865.73 c 816s| 3460k| 1886k| 0 | 0.0 | 788M| 39 | - | 60 |2971 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | -- | Inf
868.79/869.06 c 819s| 3470k| 1891k| 0 | 0.0 | 790M| 39 | - | 60 |2932 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | -- | Inf
872.18/872.40 c 822s| 3480k| 1896k| 0 | 0.0 | 792M| 39 | - | 60 |2937 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | -- | Inf
875.48/875.75 c 825s| 3490k| 1901k| 0 | 0.0 | 794M| 39 | - | 60 |2954 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | -- | Inf
878.87/879.10 c 828s| 3500k| 1906k| 0 | 0.0 | 796M| 39 | - | 60 |2900 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | -- | Inf
882.08/882.34 c 831s| 3510k| 1911k| 0 | 0.0 | 799M| 39 | - | 60 |2938 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | -- | Inf
885.38/885.67 c 835s| 3520k| 1916k| 0 | 0.0 | 801M| 39 | - | 60 |2942 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | -- | Inf
888.68/888.94 c 838s| 3530k| 1922k| 0 | 0.0 | 803M| 39 | - | 60 |2938 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | -- | Inf
891.88/892.13 c 841s| 3540k| 1927k| 0 | 0.0 | 805M| 39 | - | 60 |2946 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
895.18/895.50 c 844s| 3550k| 1932k| 0 | 0.0 | 808M| 39 | - | 60 |2930 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
898.57/898.83 c 847s| 3560k| 1937k| 0 | 0.0 | 810M| 39 | - | 60 |2963 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | -- | Inf
901.97/902.22 c 850s| 3570k| 1942k| 0 | 0.0 | 812M| 39 | - | 60 |2994 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | -- | Inf
905.37/905.63 c 854s| 3580k| 1947k| 0 | 0.0 | 814M| 39 | - | 60 |3013 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | -- | Inf
908.77/909.01 c 857s| 3590k| 1952k| 0 | 0.0 | 817M| 39 | - | 60 |3011 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | -- | Inf
912.07/912.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
912.07/912.40 c 860s| 3600k| 1957k| 0 | 0.0 | 819M| 39 | - | 60 |3042 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | -- | Inf
915.46/915.79 c 863s| 3610k| 1962k| 0 | 0.0 | 821M| 39 | - | 60 |3111 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | -- | Inf
919.06/919.31 c 867s| 3620k| 1967k| 0 | 0.0 | 823M| 39 | - | 60 |3094 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | -- | Inf
922.67/922.92 c 870s| 3630k| 1972k| 0 | 0.0 | 826M| 39 | - | 60 |3085 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | -- | Inf
926.27/926.59 c 874s| 3640k| 1976k| 0 | 0.0 | 828M| 39 | - | 60 |3091 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | -- | Inf
929.97/930.29 c 877s| 3650k| 1981k| 0 | 0.0 | 830M| 39 | - | 60 |3061 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | -- | Inf
933.47/933.71 c 881s| 3660k| 1986k| 0 | 0.0 | 832M| 39 | - | 60 |3039 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | -- | Inf
936.97/937.24 c 884s| 3670k| 1991k| 0 | 0.0 | 835M| 39 | - | 60 |3013 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | -- | Inf
940.47/940.71 c 887s| 3680k| 1996k| 0 | 0.0 | 837M| 39 | - | 60 |3040 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | -- | Inf
943.96/944.27 c 891s| 3690k| 2001k| 0 | 0.0 | 839M| 39 | - | 60 |3059 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | -- | Inf
947.46/947.77 c 894s| 3700k| 2006k| 0 | 0.0 | 841M| 39 | - | 60 |3085 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | -- | Inf
951.06/951.32 c 897s| 3710k| 2010k| 0 | 0.0 | 844M| 39 | - | 60 |3084 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | -- | Inf
954.57/954.87 c 901s| 3720k| 2015k| 0 | 0.0 | 846M| 39 | - | 60 |3107 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | -- | Inf
958.06/958.38 c 904s| 3730k| 2020k| 0 | 0.0 | 848M| 39 | - | 60 |3090 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | -- | Inf
961.66/961.93 c 908s| 3740k| 2025k| 0 | 0.0 | 850M| 39 | - | 60 |3095 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | -- | Inf
965.05/965.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
965.05/965.32 c 911s| 3750k| 2030k| 0 | 0.0 | 853M| 39 | - | 60 |3080 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | -- | Inf
968.56/968.82 c 914s| 3760k| 2035k| 0 | 0.0 | 855M| 39 | - | 60 |3105 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | -- | Inf
972.16/972.41 c 918s| 3770k| 2039k| 0 | 0.0 | 857M| 39 | - | 60 |3150 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | -- | Inf
975.65/975.94 c 921s| 3780k| 2044k| 0 | 0.0 | 859M| 39 | - | 60 |3182 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | -- | Inf
979.15/979.45 c 924s| 3790k| 2049k| 0 | 0.0 | 862M| 39 | - | 60 |3157 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | -- | Inf
982.75/983.07 c 928s| 3800k| 2054k| 0 | 0.0 | 864M| 39 | - | 60 |3134 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | -- | Inf
986.35/986.66 c 931s| 3810k| 2059k| 0 | 0.0 | 866M| 39 | - | 60 |3145 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | -- | Inf
989.95/990.26 c 935s| 3820k| 2064k| 0 | 0.0 | 868M| 39 | - | 60 |3167 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | -- | Inf
993.55/993.88 c 938s| 3830k| 2068k| 0 | 0.0 | 871M| 39 | - | 60 |3166 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | -- | Inf
997.15/997.46 c 942s| 3840k| 2073k| 0 | 0.0 | 873M| 39 | - | 60 |3181 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | -- | Inf
1000.85/1001.10 c 945s| 3850k| 2078k| 0 | 0.0 | 875M| 39 | - | 60 |3190 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | -- | Inf
1004.65/1004.92 c 949s| 3860k| 2082k| 0 | 0.0 | 877M| 39 | - | 60 |3225 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | -- | Inf
1008.36/1008.65 c 952s| 3870k| 2087k| 0 | 0.0 | 880M| 39 | - | 60 |3238 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | -- | Inf
1012.04/1012.36 c 956s| 3880k| 2092k| 0 | 0.0 | 882M| 39 | - | 60 |3241 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | -- | Inf
1015.84/1016.11 c 960s| 3890k| 2096k| 0 | 0.0 | 884M| 39 | - | 60 |3265 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | -- | Inf
1019.46/1019.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1019.46/1019.75 c 963s| 3900k| 2101k| 0 | 0.0 | 886M| 39 | - | 60 |3243 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | -- | Inf
1023.04/1023.34 c 966s| 3910k| 2106k| 0 | 0.0 | 888M| 39 | - | 60 |3210 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | -- | Inf
1026.64/1027.00 c 970s| 3920k| 2111k| 0 | 0.0 | 891M| 39 | - | 60 |3221 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | -- | Inf
1030.35/1030.62 c 973s| 3930k| 2115k| 0 | 0.0 | 893M| 39 | - | 60 |3232 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | -- | Inf
1033.94/1034.21 c 977s| 3940k| 2120k| 0 | 0.0 | 895M| 39 | - | 60 |3232 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | -- | Inf
1037.54/1037.89 c 980s| 3950k| 2125k| 0 | 0.0 | 897M| 39 | - | 60 |3249 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | -- | Inf
1041.24/1041.57 c 984s| 3960k| 2130k| 0 | 0.0 | 900M| 39 | - | 60 |3240 | 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | -- | Inf
1045.04/1045.39 c 988s| 3970k| 2134k| 0 | 0.0 | 902M| 39 | - | 60 |3322 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | -- | Inf
1048.84/1049.19 c 991s| 3980k| 2139k| 0 | 0.0 | 904M| 39 | - | 60 |3347 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | -- | Inf
1052.64/1052.93 c 995s| 3990k| 2144k| 0 | 0.0 | 906M| 39 | - | 60 |3320 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | -- | Inf
1056.34/1056.65 c 998s| 4000k| 2148k| 0 | 0.0 | 909M| 39 | - | 60 |3308 | 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | -- | Inf
1060.24/1060.51 c 1002s| 4010k| 2153k| 0 | 0.0 | 911M| 39 | - | 60 |3307 | 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | -- | Inf
1063.93/1064.22 c 1006s| 4020k| 2158k| 0 | 0.0 | 913M| 39 | - | 60 |3277 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | -- | Inf
1067.63/1067.96 c 1009s| 4030k| 2162k| 0 | 0.0 | 915M| 39 | - | 60 |3327 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | -- | Inf
1071.23/1071.57 c 1013s| 4040k| 2167k| 0 | 0.0 | 918M| 39 | - | 60 |3315 | 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | -- | Inf
1074.93/1075.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1074.93/1075.27 c 1016s| 4050k| 2172k| 0 | 0.0 | 920M| 39 | - | 60 |3313 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | -- | Inf
1078.63/1078.93 c 1020s| 4060k| 2177k| 0 | 0.0 | 922M| 39 | - | 60 |3333 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | -- | Inf
1082.42/1082.72 c 1023s| 4070k| 2181k| 0 | 0.0 | 924M| 39 | - | 60 |3264 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | -- | Inf
1086.13/1086.40 c 1027s| 4080k| 2186k| 0 | 0.0 | 926M| 39 | - | 60 |3325 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | -- | Inf
1089.84/1090.20 c 1031s| 4090k| 2191k| 0 | 0.0 | 929M| 39 | - | 60 |3310 | 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | -- | Inf
1093.53/1093.82 c 1034s| 4100k| 2195k| 0 | 0.0 | 931M| 39 | - | 60 |3295 | 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | -- | Inf
1097.33/1097.63 c 1038s| 4110k| 2200k| 0 | 0.0 | 933M| 39 | - | 60 |3344 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | -- | Inf
1101.12/1101.41 c 1041s| 4120k| 2205k| 0 | 0.0 | 935M| 39 | - | 60 |3372 | 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | -- | Inf
1105.13/1105.49 c 1045s| 4130k| 2209k| 0 | 0.0 | 938M| 39 | - | 60 |3432 | 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | -- | Inf
1109.12/1109.50 c 1049s| 4140k| 2213k| 0 | 0.0 | 940M| 39 | - | 60 |3412 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | -- | Inf
1113.02/1113.40 c 1053s| 4150k| 2218k| 0 | 0.0 | 942M| 39 | - | 60 |3385 | 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | -- | Inf
1117.02/1117.37 c 1057s| 4160k| 2222k| 0 | 0.0 | 944M| 39 | - | 60 |3395 | 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | -- | Inf
1120.92/1121.25 c 1060s| 4170k| 2226k| 0 | 0.0 | 946M| 39 | - | 60 |3404 | 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | -- | Inf
1124.81/1125.13 c 1064s| 4180k| 2230k| 0 | 0.0 | 949M| 39 | - | 60 |3403 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | -- | Inf
1128.81/1129.14 c 1068s| 4190k| 2235k| 0 | 0.0 | 951M| 39 | - | 60 |3373 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | -- | Inf
1132.81/1133.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1132.81/1133.14 c 1072s| 4200k| 2239k| 0 | 0.0 | 953M| 39 | - | 60 |3399 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | -- | Inf
1136.81/1137.10 c 1076s| 4210k| 2243k| 0 | 0.0 | 955M| 39 | - | 60 |3426 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | -- | Inf
1140.71/1141.04 c 1079s| 4220k| 2248k| 0 | 0.0 | 958M| 39 | - | 60 |3398 | 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | -- | Inf
1144.62/1144.95 c 1083s| 4230k| 2252k| 0 | 0.0 | 960M| 39 | - | 60 |3404 | 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | -- | Inf
1148.61/1148.90 c 1087s| 4240k| 2256k| 0 | 0.0 | 962M| 39 | - | 60 |3372 | 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | -- | Inf
1152.52/1152.86 c 1091s| 4250k| 2260k| 0 | 0.0 | 964M| 39 | - | 60 |3389 | 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | -- | Inf
1156.52/1156.90 c 1095s| 4260k| 2265k| 0 | 0.0 | 966M| 39 | - | 60 |3431 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | -- | Inf
1160.51/1160.81 c 1098s| 4270k| 2269k| 0 | 0.0 | 969M| 39 | - | 60 |3418 | 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | -- | Inf
1164.51/1164.80 c 1102s| 4280k| 2274k| 0 | 0.0 | 971M| 39 | - | 60 |3401 | 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | -- | Inf
1168.30/1168.66 c 1106s| 4290k| 2278k| 0 | 0.0 | 973M| 39 | - | 60 |3389 | 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | -- | Inf
1172.32/1172.70 c 1110s| 4300k| 2282k| 0 | 0.0 | 975M| 39 | - | 60 |3401 | 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | -- | Inf
1176.40/1176.71 c 1114s| 4310k| 2287k| 0 | 0.0 | 978M| 39 | - | 60 |3457 | 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | -- | Inf
1180.31/1180.69 c 1118s| 4320k| 2291k| 0 | 0.0 | 980M| 39 | - | 60 |3456 | 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | -- | Inf
1184.31/1184.63 c 1121s| 4330k| 2296k| 0 | 0.0 | 982M| 39 | - | 60 |3450 | 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | -- | Inf
1188.30/1188.65 c 1125s| 4340k| 2300k| 0 | 0.0 | 984M| 39 | - | 60 |3481 | 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | -- | Inf
1192.30/1192.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1192.30/1192.64 c 1129s| 4350k| 2304k| 0 | 0.0 | 986M| 39 | - | 60 |3440 | 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | -- | Inf
1196.20/1196.56 c 1133s| 4360k| 2309k| 0 | 0.0 | 989M| 39 | - | 60 |3500 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | -- | Inf
1200.20/1200.56 c 1137s| 4370k| 2313k| 0 | 0.0 | 991M| 39 | - | 60 |3537 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | -- | Inf
1204.40/1204.71 c 1141s| 4380k| 2317k| 0 | 0.0 | 993M| 39 | - | 60 |3552 | 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | -- | Inf
1208.40/1208.76 c 1144s| 4390k| 2322k| 0 | 0.0 | 995M| 39 | - | 60 |3509 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | -- | Inf
1212.40/1212.78 c 1148s| 4400k| 2326k| 0 | 0.0 | 998M| 39 | - | 60 |3474 | 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | -- | Inf
1216.49/1216.84 c 1152s| 4410k| 2331k| 0 | 0.0 |1000M| 39 | - | 60 |3555 | 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | -- | Inf
1220.50/1220.89 c 1156s| 4420k| 2335k| 0 | 0.0 |1002M| 39 | - | 60 |3514 | 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | -- | Inf
1224.69/1225.09 c 1160s| 4430k| 2339k| 0 | 0.0 |1004M| 39 | - | 60 |3557 | 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | -- | Inf
1228.80/1229.20 c 1164s| 4440k| 2343k| 0 | 0.0 |1006M| 39 | - | 60 |3512 | 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | -- | Inf
1233.09/1233.45 c 1168s| 4450k| 2348k| 0 | 0.0 |1009M| 39 | - | 60 |3579 | 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | -- | Inf
1237.39/1237.73 c 1172s| 4460k| 2352k| 0 | 0.0 |1011M| 39 | - | 60 |3641 | 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | -- | Inf
1241.69/1242.00 c 1177s| 4470k| 2356k| 0 | 0.0 |1013M| 39 | - | 60 |3696 | 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | -- | Inf
1246.00/1246.34 c 1181s| 4480k| 2360k| 0 | 0.0 |1015M| 39 | - | 60 |3703 | 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | -- | Inf
1250.30/1250.66 c 1185s| 4490k| 2364k| 0 | 0.0 |1018M| 39 | - | 60 |3687 | 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | -- | Inf
1254.59/1254.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1254.59/1254.93 c 1189s| 4500k| 2369k| 0 | 0.0 |1020M| 39 | - | 60 |3610 | 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | -- | Inf
1258.68/1259.09 c 1193s| 4510k| 2373k| 0 | 0.0 |1022M| 39 | - | 60 |3641 | 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | -- | Inf
1262.78/1263.15 c 1197s| 4520k| 2377k| 0 | 0.0 |1024M| 39 | - | 60 |3591 | 0 | 0 | 0 | 291k| 0 | 0.000000e+00 | -- | Inf
1266.79/1267.19 c 1201s| 4530k| 2381k| 0 | 0.0 |1026M| 39 | - | 60 |3605 | 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | -- | Inf
1271.08/1271.45 c 1205s| 4540k| 2386k| 0 | 0.0 |1029M| 39 | - | 60 |3611 | 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | -- | Inf
1275.28/1275.67 c 1209s| 4550k| 2390k| 0 | 0.0 |1031M| 39 | - | 60 |3652 | 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | -- | Inf
1279.58/1279.97 c 1213s| 4560k| 2394k| 0 | 0.0 |1033M| 39 | - | 60 |3713 | 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | -- | Inf
1283.98/1284.31 c 1217s| 4570k| 2398k| 0 | 0.0 |1035M| 39 | - | 60 |3782 | 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | -- | Inf
1288.28/1288.68 c 1222s| 4580k| 2402k| 0 | 0.0 |1037M| 39 | - | 60 |3762 | 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | -- | Inf
1292.68/1293.05 c 1226s| 4590k| 2407k| 0 | 0.0 |1040M| 39 | - | 60 |3768 | 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | -- | Inf
1296.88/1297.24 c 1230s| 4600k| 2411k| 0 | 0.0 |1042M| 39 | - | 60 |3675 | 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | -- | Inf
1301.07/1301.44 c 1234s| 4610k| 2415k| 0 | 0.0 |1044M| 39 | - | 60 |3677 | 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | -- | Inf
1305.17/1305.54 c 1238s| 4620k| 2419k| 0 | 0.0 |1046M| 39 | - | 60 |3685 | 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | -- | Inf
1309.37/1309.72 c 1242s| 4630k| 2424k| 0 | 0.0 |1049M| 39 | - | 60 |3704 | 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | -- | Inf
1313.57/1313.95 c 1246s| 4640k| 2428k| 0 | 0.0 |1051M| 39 | - | 60 |3657 | 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | -- | Inf
1317.67/1318.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1317.67/1318.03 c 1250s| 4650k| 2432k| 0 | 0.0 |1053M| 39 | - | 60 |3657 | 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | -- | Inf
1321.78/1322.16 c 1254s| 4660k| 2437k| 0 | 0.0 |1055M| 39 | - | 60 |3632 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | -- | Inf
1325.97/1326.39 c 1258s| 4670k| 2441k| 0 | 0.0 |1057M| 39 | - | 60 |3648 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | -- | Inf
1330.37/1330.71 c 1262s| 4680k| 2445k| 0 | 0.0 |1060M| 39 | - | 60 |3729 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | -- | Inf
1334.66/1335.06 c 1266s| 4690k| 2449k| 0 | 0.0 |1062M| 39 | - | 60 |3727 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | -- | Inf
1339.16/1339.55 c 1271s| 4700k| 2453k| 0 | 0.0 |1064M| 39 | - | 60 |3786 | 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | -- | Inf
1343.77/1344.17 c 1275s| 4710k| 2457k| 0 | 0.0 |1066M| 39 | - | 60 |3824 | 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | -- | Inf
1348.27/1348.68 c 1279s| 4720k| 2460k| 0 | 0.0 |1068M| 39 | - | 60 |3807 | 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | -- | Inf
1352.86/1353.21 c 1284s| 4730k| 2464k| 0 | 0.0 |1070M| 39 | - | 60 |3788 | 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | -- | Inf
1357.26/1357.67 c 1288s| 4740k| 2468k| 0 | 0.0 |1073M| 39 | - | 60 |3802 | 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | -- | Inf
1361.86/1362.25 c 1293s| 4750k| 2471k| 0 | 0.0 |1075M| 39 | - | 60 |3800 | 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | -- | Inf
1366.56/1366.90 c 1297s| 4760k| 2475k| 0 | 0.0 |1077M| 39 | - | 60 |3798 | 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | -- | Inf
1371.06/1371.45 c 1301s| 4770k| 2479k| 0 | 0.0 |1079M| 39 | - | 60 |3830 | 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | -- | Inf
1375.46/1375.89 c 1306s| 4780k| 2483k| 0 | 0.0 |1081M| 39 | - | 60 |3788 | 0 | 0 | 0 | 312k| 0 | 0.000000e+00 | -- | Inf
1379.86/1380.25 c 1310s| 4790k| 2486k| 0 | 0.0 |1083M| 39 | - | 60 |3767 | 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | -- | Inf
1384.36/1384.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1384.36/1384.71 c 1314s| 4800k| 2490k| 0 | 0.0 |1086M| 39 | - | 60 |3814 | 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | -- | Inf
1388.96/1389.31 c 1319s| 4810k| 2494k| 0 | 0.0 |1088M| 39 | - | 60 |3841 | 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | -- | Inf
1393.46/1393.89 c 1323s| 4820k| 2498k| 0 | 0.0 |1090M| 39 | - | 60 |3869 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | -- | Inf
1398.05/1398.48 c 1328s| 4830k| 2502k| 0 | 0.0 |1092M| 39 | - | 60 |3836 | 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | -- | Inf
1402.75/1403.10 c 1332s| 4840k| 2505k| 0 | 0.0 |1094M| 39 | - | 60 |3855 | 0 | 0 | 0 | 317k| 0 | 0.000000e+00 | -- | Inf
1407.25/1407.64 c 1336s| 4850k| 2509k| 0 | 0.0 |1097M| 39 | - | 60 |3870 | 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | -- | Inf
1411.85/1412.26 c 1341s| 4860k| 2513k| 0 | 0.0 |1099M| 39 | - | 60 |3865 | 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | -- | Inf
1416.35/1416.78 c 1345s| 4870k| 2517k| 0 | 0.0 |1101M| 39 | - | 60 |3888 | 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | -- | Inf
1420.95/1421.36 c 1350s| 4880k| 2520k| 0 | 0.0 |1103M| 39 | - | 60 |3846 | 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | -- | Inf
1425.44/1425.85 c 1354s| 4890k| 2524k| 0 | 0.0 |1105M| 39 | - | 60 |3868 | 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | -- | Inf
1429.94/1430.37 c 1358s| 4900k| 2528k| 0 | 0.0 |1108M| 39 | - | 60 |3834 | 0 | 0 | 0 | 322k| 0 | 0.000000e+00 | -- | Inf
1434.45/1434.84 c 1363s| 4910k| 2532k| 0 | 0.0 |1110M| 39 | - | 60 |3854 | 0 | 0 | 0 | 322k| 0 | 0.000000e+00 | -- | Inf
1438.84/1439.26 c 1367s| 4920k| 2536k| 0 | 0.0 |1112M| 39 | - | 60 |3833 | 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | -- | Inf
1443.34/1443.77 c 1371s| 4930k| 2539k| 0 | 0.0 |1114M| 39 | - | 60 |3851 | 0 | 0 | 0 | 324k| 0 | 0.000000e+00 | -- | Inf
1447.83/1448.23 c 1376s| 4940k| 2543k| 0 | 0.0 |1116M| 39 | - | 60 |3833 | 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | -- | Inf
1452.24/1452.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1452.24/1452.66 c 1380s| 4950k| 2547k| 0 | 0.0 |1118M| 39 | - | 60 |3842 | 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | -- | Inf
1456.73/1457.14 c 1384s| 4960k| 2551k| 0 | 0.0 |1120M| 39 | - | 60 |3839 | 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | -- | Inf
1461.33/1461.70 c 1389s| 4970k| 2555k| 0 | 0.0 |1123M| 39 | - | 60 |3871 | 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | -- | Inf
1465.84/1466.28 c 1393s| 4980k| 2559k| 0 | 0.0 |1125M| 39 | - | 60 |3887 | 0 | 0 | 0 | 328k| 0 | 0.000000e+00 | -- | Inf
1470.44/1470.84 c 1397s| 4990k| 2563k| 0 | 0.0 |1127M| 39 | - | 60 |3882 | 0 | 0 | 0 | 329k| 0 | 0.000000e+00 | -- | Inf
1475.03/1475.48 c 1402s| 5000k| 2566k| 0 | 0.0 |1129M| 39 | - | 60 |3910 | 0 | 0 | 0 | 329k| 0 | 0.000000e+00 | -- | Inf
1479.73/1480.14 c 1406s| 5010k| 2570k| 0 | 0.0 |1131M| 39 | - | 60 |3943 | 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | -- | Inf
1484.23/1484.62 c 1411s| 5020k| 2574k| 0 | 0.0 |1133M| 39 | - | 60 |3903 | 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | -- | Inf
1488.82/1489.25 c 1415s| 5030k| 2578k| 0 | 0.0 |1136M| 39 | - | 60 |3911 | 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | -- | Inf
1493.63/1494.01 c 1420s| 5040k| 2582k| 0 | 0.0 |1138M| 39 | - | 60 |3964 | 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | -- | Inf
1498.33/1498.76 c 1424s| 5050k| 2586k| 0 | 0.0 |1140M| 39 | - | 60 |3991 | 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | -- | Inf
1503.12/1503.50 c 1429s| 5060k| 2590k| 0 | 0.0 |1142M| 39 | - | 60 |4021 | 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | -- | Inf
1507.93/1508.33 c 1434s| 5070k| 2593k| 0 | 0.0 |1144M| 39 | - | 60 |4012 | 0 | 0 | 0 | 335k| 0 | 0.000000e+00 | -- | Inf
1512.72/1513.15 c 1438s| 5080k| 2597k| 0 | 0.0 |1147M| 39 | - | 60 |4007 | 0 | 0 | 0 | 336k| 0 | 0.000000e+00 | -- | Inf
1517.53/1517.92 c 1443s| 5090k| 2601k| 0 | 0.0 |1149M| 39 | - | 60 |4048 | 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | -- | Inf
1522.22/1522.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1522.22/1522.65 c 1448s| 5100k| 2605k| 0 | 0.0 |1151M| 39 | - | 60 |4016 | 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | -- | Inf
1527.12/1527.55 c 1452s| 5110k| 2608k| 0 | 0.0 |1153M| 39 | - | 60 |4072 | 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | -- | Inf
1532.12/1532.59 c 1457s| 5120k| 2612k| 0 | 0.0 |1155M| 39 | - | 60 |4127 | 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | -- | Inf
1537.12/1537.56 c 1462s| 5130k| 2615k| 0 | 0.0 |1157M| 39 | - | 60 |4124 | 0 | 0 | 0 | 340k| 0 | 0.000000e+00 | -- | Inf
1542.12/1542.51 c 1467s| 5140k| 2619k| 0 | 0.0 |1160M| 39 | - | 60 |4121 | 0 | 0 | 0 | 341k| 0 | 0.000000e+00 | -- | Inf
1547.01/1547.41 c 1471s| 5150k| 2623k| 0 | 0.0 |1162M| 39 | - | 60 |4118 | 0 | 0 | 0 | 342k| 0 | 0.000000e+00 | -- | Inf
1551.81/1552.21 c 1476s| 5160k| 2626k| 0 | 0.0 |1164M| 39 | - | 60 |4090 | 0 | 0 | 0 | 343k| 0 | 0.000000e+00 | -- | Inf
1556.51/1556.93 c 1481s| 5170k| 2630k| 0 | 0.0 |1166M| 39 | - | 60 |4101 | 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | -- | Inf
1561.21/1561.65 c 1485s| 5180k| 2634k| 0 | 0.0 |1168M| 39 | - | 60 |4086 | 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | -- | Inf
1566.02/1566.49 c 1490s| 5190k| 2638k| 0 | 0.0 |1171M| 39 | - | 60 |4087 | 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | -- | Inf
1570.91/1571.37 c 1495s| 5200k| 2641k| 0 | 0.0 |1173M| 39 | - | 60 |4135 | 0 | 0 | 0 | 346k| 0 | 0.000000e+00 | -- | Inf
1575.71/1576.10 c 1499s| 5210k| 2645k| 0 | 0.0 |1175M| 39 | - | 60 |4131 | 0 | 0 | 0 | 347k| 0 | 0.000000e+00 | -- | Inf
1580.41/1580.83 c 1504s| 5220k| 2649k| 0 | 0.0 |1177M| 39 | - | 60 |4133 | 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | -- | Inf
1585.10/1585.58 c 1508s| 5230k| 2653k| 0 | 0.0 |1179M| 39 | - | 60 |4155 | 0 | 0 | 0 | 349k| 0 | 0.000000e+00 | -- | Inf
1589.90/1590.33 c 1513s| 5240k| 2656k| 0 | 0.0 |1181M| 39 | - | 60 |4157 | 0 | 0 | 0 | 350k| 0 | 0.000000e+00 | -- | Inf
1594.61/1595.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1594.61/1595.01 c 1517s| 5250k| 2660k| 0 | 0.0 |1184M| 39 | - | 60 |4142 | 0 | 0 | 0 | 351k| 0 | 0.000000e+00 | -- | Inf
1599.21/1599.61 c 1522s| 5260k| 2664k| 0 | 0.0 |1186M| 39 | - | 60 |4136 | 0 | 0 | 0 | 352k| 0 | 0.000000e+00 | -- | Inf
1603.70/1604.18 c 1526s| 5270k| 2668k| 0 | 0.0 |1188M| 39 | - | 60 |4136 | 0 | 0 | 0 | 353k| 0 | 0.000000e+00 | -- | Inf
1608.40/1608.88 c 1531s| 5280k| 2672k| 0 | 0.0 |1190M| 39 | - | 60 |4148 | 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | -- | Inf
1613.10/1613.52 c 1535s| 5290k| 2676k| 0 | 0.0 |1193M| 39 | - | 60 |4112 | 0 | 0 | 0 | 355k| 0 | 0.000000e+00 | -- | Inf
1617.70/1618.15 c 1540s| 5300k| 2680k| 0 | 0.0 |1195M| 39 | - | 60 |4114 | 0 | 0 | 0 | 356k| 0 | 0.000000e+00 | -- | Inf
1622.30/1622.79 c 1544s| 5310k| 2684k| 0 | 0.0 |1197M| 39 | - | 60 |4092 | 0 | 0 | 0 | 357k| 0 | 0.000000e+00 | -- | Inf
1626.90/1627.38 c 1549s| 5320k| 2687k| 0 | 0.0 |1199M| 39 | - | 60 |4128 | 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | -- | Inf
1631.70/1632.14 c 1553s| 5330k| 2691k| 0 | 0.0 |1201M| 39 | - | 60 |4183 | 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | -- | Inf
1636.59/1637.01 c 1558s| 5340k| 2695k| 0 | 0.0 |1203M| 39 | - | 60 |4225 | 0 | 0 | 0 | 360k| 0 | 0.000000e+00 | -- | Inf
1641.59/1642.05 c 1563s| 5350k| 2698k| 0 | 0.0 |1206M| 39 | - | 60 |4237 | 0 | 0 | 0 | 361k| 0 | 0.000000e+00 | -- | Inf
1646.50/1646.99 c 1568s| 5360k| 2701k| 0 | 0.0 |1208M| 39 | - | 60 |4239 | 0 | 0 | 0 | 362k| 0 | 0.000000e+00 | -- | Inf
1651.39/1651.89 c 1572s| 5370k| 2705k| 0 | 0.0 |1210M| 39 | - | 60 |4241 | 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | -- | Inf
1656.39/1656.81 c 1577s| 5380k| 2708k| 0 | 0.0 |1212M| 39 | - | 60 |4211 | 0 | 0 | 0 | 364k| 0 | 0.000000e+00 | -- | Inf
1661.39/1661.85 c 1582s| 5390k| 2711k| 0 | 0.0 |1214M| 39 | - | 60 |4242 | 0 | 0 | 0 | 365k| 0 | 0.000000e+00 | -- | Inf
1666.29/1666.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1666.29/1666.77 c 1587s| 5400k| 2715k| 0 | 0.0 |1216M| 39 | - | 60 |4199 | 0 | 0 | 0 | 366k| 0 | 0.000000e+00 | -- | Inf
1671.29/1671.70 c 1592s| 5410k| 2718k| 0 | 0.0 |1219M| 39 | - | 60 |4190 | 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | -- | Inf
1676.08/1676.59 c 1596s| 5420k| 2721k| 0 | 0.0 |1221M| 39 | - | 60 |4149 | 0 | 0 | 0 | 368k| 0 | 0.000000e+00 | -- | Inf
1681.08/1681.54 c 1601s| 5430k| 2725k| 0 | 0.0 |1223M| 39 | - | 60 |4161 | 0 | 0 | 0 | 369k| 0 | 0.000000e+00 | -- | Inf
1686.08/1686.53 c 1606s| 5440k| 2728k| 0 | 0.0 |1225M| 39 | - | 60 |4175 | 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | -- | Inf
1691.08/1691.54 c 1611s| 5450k| 2732k| 0 | 0.0 |1227M| 39 | - | 60 |4193 | 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | -- | Inf
1696.08/1696.58 c 1616s| 5460k| 2735k| 0 | 0.0 |1229M| 39 | - | 60 |4218 | 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | -- | Inf
1701.08/1701.50 c 1621s| 5470k| 2738k| 0 | 0.0 |1232M| 39 | - | 60 |4199 | 0 | 0 | 0 | 373k| 0 | 0.000000e+00 | -- | Inf
1705.97/1706.47 c 1625s| 5480k| 2742k| 0 | 0.0 |1234M| 39 | - | 60 |4220 | 0 | 0 | 0 | 374k| 0 | 0.000000e+00 | -- | Inf
1710.88/1711.33 c 1630s| 5490k| 2745k| 0 | 0.0 |1236M| 39 | - | 60 |4227 | 0 | 0 | 0 | 375k| 0 | 0.000000e+00 | -- | Inf
1715.88/1716.31 c 1635s| 5500k| 2749k| 0 | 0.0 |1238M| 39 | - | 60 |4200 | 0 | 0 | 0 | 376k| 0 | 0.000000e+00 | -- | Inf
1720.77/1721.27 c 1640s| 5510k| 2752k| 0 | 0.0 |1240M| 39 | - | 60 |4172 | 0 | 0 | 0 | 377k| 0 | 0.000000e+00 | -- | Inf
1725.68/1726.15 c 1644s| 5520k| 2756k| 0 | 0.0 |1242M| 39 | - | 60 |4206 | 0 | 0 | 0 | 378k| 0 | 0.000000e+00 | -- | Inf
1730.57/1731.03 c 1649s| 5530k| 2759k| 0 | 0.0 |1245M| 39 | - | 60 |4187 | 0 | 0 | 0 | 379k| 0 | 0.000000e+00 | -- | Inf
1735.47/1735.91 c 1654s| 5540k| 2763k| 0 | 0.0 |1247M| 39 | - | 60 |4181 | 0 | 0 | 0 | 380k| 0 | 0.000000e+00 | -- | Inf
1740.17/1740.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1740.17/1740.61 c 1658s| 5550k| 2766k| 0 | 0.0 |1249M| 39 | - | 60 |4127 | 0 | 0 | 0 | 381k| 0 | 0.000000e+00 | -- | Inf
1744.87/1745.35 c 1663s| 5560k| 2770k| 0 | 0.0 |1251M| 39 | - | 60 |4111 | 0 | 0 | 0 | 381k| 0 | 0.000000e+00 | -- | Inf
1749.67/1750.13 c 1668s| 5570k| 2773k| 0 | 0.0 |1253M| 39 | - | 60 |4103 | 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | -- | Inf
1754.46/1754.94 c 1672s| 5580k| 2777k| 0 | 0.0 |1255M| 39 | - | 60 |4125 | 0 | 0 | 0 | 383k| 0 | 0.000000e+00 | -- | Inf
1759.47/1759.99 c 1677s| 5590k| 2780k| 0 | 0.0 |1258M| 39 | - | 60 |4171 | 0 | 0 | 0 | 384k| 0 | 0.000000e+00 | -- | Inf
1764.37/1764.88 c 1682s| 5600k| 2784k| 0 | 0.0 |1260M| 39 | - | 60 |4163 | 0 | 0 | 0 | 385k| 0 | 0.000000e+00 | -- | Inf
1769.26/1769.74 c 1687s| 5610k| 2787k| 0 | 0.0 |1262M| 39 | - | 60 |4187 | 0 | 0 | 0 | 386k| 0 | 0.000000e+00 | -- | Inf
1774.16/1774.65 c 1691s| 5620k| 2791k| 0 | 0.0 |1264M| 39 | - | 60 |4218 | 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | -- | Inf
1779.27/1779.74 c 1696s| 5630k| 2794k| 0 | 0.0 |1266M| 39 | - | 60 |4197 | 0 | 0 | 0 | 388k| 0 | 0.000000e+00 | -- | Inf
1784.26/1784.75 c 1701s| 5640k| 2797k| 0 | 0.0 |1269M| 39 | - | 60 |4177 | 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | -- | Inf
1789.06/1789.51 c 1706s| 5650k| 2801k| 0 | 0.0 |1271M| 39 | - | 60 |4151 | 0 | 0 | 0 | 390k| 0 | 0.000000e+00 | -- | Inf
1793.75/1794.26 c 1710s| 5660k| 2804k| 0 | 0.0 |1273M| 39 | - | 60 |4170 | 0 | 0 | 0 | 391k| 0 | 0.000000e+00 | -- | Inf
1798.55/1799.02 c 1715s| 5670k| 2808k| 0 | 0.0 |1275M| 39 | - | 60 |4171 | 0 | 0 | 0 | 392k| 0 | 0.000000e+00 | -- | Inf
1800.06/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.50 c
1800.06/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.50 c Solving Time (sec) : 1716.37
1800.06/1800.50 c Solving Nodes : 5673178
1800.06/1800.50 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.06/1800.50 c Dual Bound : +0.00000000000000e+00
1800.06/1800.50 c Gap : infinite
1800.06/1800.50 s UNKNOWN
1800.06/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.50 c Solving Time : 1716.37
1800.06/1800.50 c Original Problem :
1800.06/1800.50 c Problem name : HOME/instance-2664011-1276600247.opb
1800.06/1800.50 c Variables : 61 (61 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.50 c Constraints : 15 initial, 15 maximal
1800.06/1800.50 c Presolved Problem :
1800.06/1800.50 c Problem name : t_HOME/instance-2664011-1276600247.opb
1800.06/1800.50 c Variables : 60 (60 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.50 c Constraints : 7 initial, 4252 maximal
1800.06/1800.50 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.50 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.50 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.06/1800.50 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.50 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.50 c implics : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.50 c probing : 0.01 0 0 0 0 0 0 0 0
1800.06/1800.50 c linear : 0.00 0 0 0 0 0 8 0 0
1800.06/1800.50 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.50 c root node : - 0 - - 0 - - - -
1800.06/1800.50 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.50 c integral : 0 0 0 0 0 0 0 0 0 0
1800.06/1800.50 c linear : 7 0 7799114 0 4259879 1450696 23657102 0 0 0
1800.06/1800.50 c logicor : 0+ 0 2195667 0 0 0 245853 0 0 0
1800.06/1800.50 c countsols : 0 0 0 0 4259879 0 0 0 0 0
1800.06/1800.50 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.50 c integral : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.50 c linear : 724.89 0.00 721.57 0.00 3.32
1800.06/1800.50 c logicor : 387.07 0.00 387.07 0.00 0.00
1800.06/1800.50 c countsols : 1.67 0.00 0.00 0.00 1.67
1800.06/1800.50 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.50 c vbounds : 3.77 2 0 0
1800.06/1800.50 c rootredcost : 3.66 0 0 0
1800.06/1800.50 c pseudoobj : 3.53 0 0 0
1800.06/1800.50 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.50 c propagation : 233.58 1450696 392949 1146957 38.8 2 49.0 -
1800.06/1800.50 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.06/1800.51 c applied globally : - - - 108295 29.2 - - -
1800.06/1800.51 c applied locally : - - - 284735 35.0 - - -
1800.06/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.51 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.06/1800.51 c redcost : 0.00 0 0 0 0 0
1800.06/1800.51 c impliedbounds : 0.00 0 0 0 0 0
1800.06/1800.51 c intobj : 0.00 0 0 0 0 0
1800.06/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.51 c gomory : 0.00 0 0 0 0 0
1800.06/1800.51 c strongcg : 0.00 0 0 0 0 0
1800.06/1800.51 c cmir : 0.00 0 0 0 0 0
1800.06/1800.51 c flowcover : 0.00 0 0 0 0 0
1800.06/1800.51 c clique : 0.00 0 0 0 0 0
1800.06/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.51 c mcf : 0.00 0 0 0 0 0
1800.06/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.06/1800.51 c Pricers : Time Calls Vars
1800.06/1800.51 c problem variables: 0.00 0 0
1800.06/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.51 c relpscost : 0.00 0 0 0 0 0 0
1800.06/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.51 c inference : 37.33 4259879 0 0 0 0 8519758
1800.06/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.51 c random : 0.00 0 0 0 0 0 0
1800.06/1800.51 c Primal Heuristics : Time Calls Found
1800.06/1800.51 c LP solutions : 0.00 - 0
1800.06/1800.51 c pseudo solutions : 0.00 - 0
1800.06/1800.51 c oneopt : 2.82 0 0
1800.06/1800.51 c trivial : 0.00 2 0
1800.06/1800.51 c simplerounding : 0.00 0 0
1800.06/1800.51 c zirounding : 0.00 0 0
1800.06/1800.51 c rounding : 0.00 0 0
1800.06/1800.51 c shifting : 0.00 0 0
1800.06/1800.51 c intshifting : 0.00 0 0
1800.06/1800.51 c twoopt : 0.00 0 0
1800.06/1800.51 c fixandinfer : 0.00 0 0
1800.06/1800.51 c feaspump : 0.00 0 0
1800.06/1800.51 c coefdiving : 0.00 0 0
1800.06/1800.51 c pscostdiving : 0.00 0 0
1800.06/1800.51 c fracdiving : 0.00 0 0
1800.06/1800.51 c veclendiving : 0.00 0 0
1800.06/1800.51 c intdiving : 0.00 0 0
1800.06/1800.51 c actconsdiving : 0.00 0 0
1800.06/1800.51 c objpscostdiving : 0.00 0 0
1800.06/1800.51 c rootsoldiving : 0.00 0 0
1800.06/1800.51 c linesearchdiving : 0.00 0 0
1800.06/1800.51 c guideddiving : 0.00 0 0
1800.06/1800.51 c octane : 0.00 0 0
1800.06/1800.51 c rens : 0.00 0 0
1800.06/1800.51 c rins : 0.00 0 0
1800.06/1800.51 c localbranching : 0.00 0 0
1800.06/1800.51 c mutation : 0.00 0 0
1800.06/1800.51 c crossover : 0.00 0 0
1800.06/1800.51 c dins : 0.00 0 0
1800.06/1800.51 c undercover : 0.00 0 0
1800.06/1800.51 c nlp : 3.29 0 0
1800.06/1800.51 c trysol : 2.38 0 0
1800.06/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.06/1800.51 c dual LP : 0.00 0 0 0.00 -
1800.06/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.06/1800.51 c strong branching : 0.00 0 0 0.00 -
1800.06/1800.51 c (at root node) : - 0 0 0.00 -
1800.06/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.51 c B&B Tree :
1800.06/1800.51 c number of runs : 1
1800.06/1800.51 c nodes : 5673178
1800.06/1800.51 c nodes (total) : 5673178
1800.06/1800.51 c nodes left : 2809182
1800.06/1800.51 c max depth : 39
1800.06/1800.51 c max depth (total): 39
1800.06/1800.51 c backtracks : 472285 (8.3%)
1800.06/1800.51 c delayed cutoffs : 37399
1800.06/1800.51 c repropagations : 359601 (490298 domain reductions, 37397 cutoffs)
1800.06/1800.51 c avg switch length: 5.64
1800.06/1800.51 c switching time : 340.44
1800.06/1800.51 c Solution :
1800.06/1800.51 c Solutions found : 0 (0 improvements)
1800.06/1800.51 c Primal Bound : -
1800.06/1800.51 c Dual Bound : +0.00000000000000e+00
1800.06/1800.51 c Gap : infinite
1800.06/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.06/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-2664011-1276600247/watcher-2664011-1276600247 -o /tmp/evaluation-result-2664011-1276600247/solver-2664011-1276600247 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664011-1276600247.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9271
/proc/meminfo: memFree=1762176/2059040 swapFree=4165012/4192956
[pid=9271] ppid=9269 vsize=6584 CPUtime=0
/proc/9271/stat : 9271 (pbscip.linux.x8) R 9269 9271 2335 0 -1 4202496 1001 0 0 0 0 0 0 0 17 0 1 0 1316316 6742016 923 1992294400 4194304 7136930 140734799413888 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9271/statm: 1646 933 254 719 0 925 0
[startup+0.064357 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9271
/proc/meminfo: memFree=1762176/2059040 swapFree=4165012/4192956
[pid=9271] ppid=9269 vsize=11028 CPUtime=0.06
/proc/9271/stat : 9271 (pbscip.linux.x8) R 9269 9271 2335 0 -1 4202496 2974 0 0 0 5 1 0 0 17 0 1 0 1316316 11292672 2029 1992294400 4194304 7136930 140734799413888 18446744073709551615 4983335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9271/statm: 2757 2029 387 719 0 2036 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11028
[startup+0.101359 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9271
/proc/meminfo: memFree=1762176/2059040 swapFree=4165012/4192956
[pid=9271] ppid=9269 vsize=11028 CPUtime=0.09
/proc/9271/stat : 9271 (pbscip.linux.x8) R 9269 9271 2335 0 -1 4202496 2990 0 0 0 8 1 0 0 17 0 1 0 1316316 11292672 2045 1992294400 4194304 7136930 140734799413888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9271/statm: 2757 2045 387 719 0 2036 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11028
[startup+0.301376 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9271
/proc/meminfo: memFree=1762176/2059040 swapFree=4165012/4192956
[pid=9271] ppid=9269 vsize=11468 CPUtime=0.29
/proc/9271/stat : 9271 (pbscip.linux.x8) R 9269 9271 2335 0 -1 4202496 3092 0 0 0 26 3 0 0 17 0 1 0 1316316 11743232 2147 1992294400 4194304 7136930 140734799413888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9271/statm: 2867 2147 387 719 0 2146 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11468
[startup+0.701412 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9271
/proc/meminfo: memFree=1762176/2059040 swapFree=4165012/4192956
[pid=9271] ppid=9269 vsize=12452 CPUtime=0.69
/proc/9271/stat : 9271 (pbscip.linux.x8) R 9269 9271 2335 0 -1 4202496 3324 0 0 0 63 6 0 0 17 0 1 0 1316316 12750848 2379 1992294400 4194304 7136930 140734799413888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9271/statm: 3113 2379 387 719 0 2392 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12452
[startup+1.50148 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9272
/proc/meminfo: memFree=1753612/2059040 swapFree=4165012/4192956
[pid=9271] ppid=9269 vsize=13928 CPUtime=1.49
/proc/9271/stat : 9271 (pbscip.linux.x8) R 9269 9271 2335 0 -1 4202496 3724 0 0 0 137 12 0 0 18 0 1 0 1316316 14262272 2779 1992294400 4194304 7136930 140734799413888 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9271/statm: 3482 2779 387 719 0 2761 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13928
[startup+3.10162 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9272
/proc/meminfo: memFree=1751256/2059040 swapFree=4165012/4192956
[pid=9271] ppid=9269 vsize=16636 CPUtime=3.09
/proc/9271/stat : 9271 (pbscip.linux.x8) R 9269 9271 2335 0 -1 4202496 4406 0 0 0 283 26 0 0 21 0 1 0 1316316 17035264 3461 1992294400 4194304 7136930 140734799413888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9271/statm: 4159 3461 387 719 0 3438 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16636
[startup+6.3009 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9272
/proc/meminfo: memFree=1746172/2059040 swapFree=4165012/4192956
[pid=9271] ppid=9269 vsize=20052 CPUtime=6.29
/proc/9271/stat : 9271 (pbscip.linux.x8) R 9269 9271 2335 0 -1 4202496 5310 0 0 0 581 48 0 0 25 0 1 0 1316316 20533248 4365 1992294400 4194304 7136930 140734799413888 18446744073709551615 5923585 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9271/statm: 5013 4365 387 719 0 4292 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20052
[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9272
/proc/meminfo: memFree=1737492/2059040 swapFree=4165012/4192956
[pid=9271] ppid=9269 vsize=29296 CPUtime=12.69
/proc/9271/stat : 9271 (pbscip.linux.x8) R 9269 9271 2335 0 -1 4202496 7696 0 0 0 1174 95 0 0 25 0 1 0 1316316 29999104 6751 1992294400 4194304 7136930 140734799413888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9271/statm: 7324 6751 387 719 0 6603 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 29296
[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9274
/proc/meminfo: memFree=1718272/2059040 swapFree=4165012/4192956
[pid=9271] ppid=9269 vsize=49368 CPUtime=25.48
/proc/9271/stat : 9271 (pbscip.linux.x8) R 9269 9271 2335 0 -1 4202496 12369 0 0 0 2347 201 0 0 25 0 1 0 1316316 50552832 11424 1992294400 4194304 7136930 140734799413888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9271/statm: 12342 11424 387 719 0 11621 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49368
[startup+51.1008 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9274
/proc/meminfo: memFree=1687892/2059040 swapFree=4165012/4192956
[pid=9271] ppid=9269 vsize=78140 CPUtime=51.07
/proc/9271/stat : 9271 (pbscip.linux.x8) R 9269 9271 2335 0 -1 4202496 19756 0 0 0 4735 372 0 0 25 0 1 0 1316316 80015360 18811 1992294400 4194304 7136930 140734799413888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9271/statm: 19535 18811 387 719 0 18814 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 78140
[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9276
/proc/meminfo: memFree=1618080/2059040 swapFree=4165012/4192956
[pid=9271] ppid=9269 vsize=148964 CPUtime=102.27
/proc/9271/stat : 9271 (pbscip.linux.x8) R 9269 9271 2335 0 -1 4202496 37077 0 0 0 9465 762 0 0 25 0 1 0 1316316 152539136 36132 1992294400 4194304 7136930 140734799413888 18446744073709551615 4225291 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9271/statm: 37241 36132 387 719 0 36520 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 148964
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9276
/proc/meminfo: memFree=1550500/2059040 swapFree=4165012/4192956
[pid=9271] ppid=9269 vsize=223396 CPUtime=162.24
/proc/9271/stat : 9271 (pbscip.linux.x8) R 9269 9271 2335 0 -1 4202496 54264 0 0 0 15051 1173 0 0 25 0 1 0 1316316 228757504 53319 1992294400 4194304 7136930 140734799413888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9271/statm: 55849 53319 387 719 0 55128 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 223396
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9278
/proc/meminfo: memFree=1493088/2059040 swapFree=4165012/4192956
[pid=9271] ppid=9269 vsize=277628 CPUtime=222.23
/proc/9271/stat : 9271 (pbscip.linux.x8) R 9269 9271 2335 0 -1 4202496 68235 0 0 0 20695 1528 0 0 25 0 1 0 1316316 284291072 67290 1992294400 4194304 7136930 140734799413888 18446744073709551615 6123172 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9271/statm: 69407 67290 387 719 0 68686 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 277628
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9280
/proc/meminfo: memFree=1444356/2059040 swapFree=4165012/4192956
[pid=9271] ppid=9269 vsize=325020 CPUtime=282.22
/proc/9271/stat : 9271 (pbscip.linux.x8) R 9269 9271 2335 0 -1 4202496 80399 0 0 0 26367 1855 0 0 25 0 1 0 1316316 332820480 79454 1992294400 4194304 7136930 140734799413888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9271/statm: 81255 79454 387 719 0 80534 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 325020
[startup+342.301 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 9282
/proc/meminfo: memFree=1403312/2059040 swapFree=4165012/4192956
[pid=9271] ppid=9269 vsize=364736 CPUtime=342.2
/proc/9271/stat : 9271 (pbscip.linux.x8) R 9269 9271 2335 0 -1 4202496 90561 0 0 0 32064 2156 0 0 25 0 1 0 1316316 373489664 89616 1992294400 4194304 7136930 140734799413888 18446744073709551615 4976433 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9271/statm: 91184 89616 387 719 0 90463 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 364736
[startup+402.301 s]
/proc/loadavg: 1.05 1.02 1.00 2/107 9284
/proc/meminfo: memFree=1341436/2059040 swapFree=4165012/4192956
[pid=9271] ppid=9269 vsize=424760 CPUtime=402.19
/proc/9271/stat : 9271 (pbscip.linux.x8) R 9269 9271 2335 0 -1 4202496 106121 0 0 0 37696 2523 0 0 25 0 1 0 1316316 434954240 105176 1992294400 4194304 7136930 140734799413888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9271/statm: 106190 105176 387 719 0 105469 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 424760
[startup+462.301 s]
/proc/loadavg: 1.12 1.04 1.00 2/107 9284
/proc/meminfo: memFree=1277452/2059040 swapFree=4165012/4192956
[pid=9271] ppid=9269 vsize=501492 CPUtime=462.18
/proc/9271/stat : 9271 (pbscip.linux.x8) R 9269 9271 2335 0 -1 4202496 121936 0 0 0 43317 2901 0 0 25 0 1 0 1316316 513527808 120991 1992294400 4194304 7136930 140734799413888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9271/statm: 125373 120991 387 719 0 124652 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 501492
[startup+522.301 s]
/proc/loadavg: 1.12 1.05 1.00 2/107 9286
/proc/meminfo: memFree=1213468/2059040 swapFree=4165012/4192956
[pid=9271] ppid=9269 vsize=563796 CPUtime=522.16
/proc/9271/stat : 9271 (pbscip.linux.x8) R 9269 9271 2335 0 -1 4202496 138135 0 0 0 48953 3263 0 0 25 0 1 0 1316316 577327104 137190 1992294400 4194304 7136930 140734799413888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9271/statm: 140949 137190 387 719 0 140228 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 563796
[startup+582.301 s]
/proc/loadavg: 1.04 1.04 1.00 2/107 9288
/proc/meminfo: memFree=1158536/2059040 swapFree=4165012/4192956
[pid=9271] ppid=9269 vsize=615264 CPUtime=582.14
/proc/9271/stat : 9271 (pbscip.linux.x8) R 9269 9271 2335 0 -1 4202496 151538 0 0 0 54617 3597 0 0 25 0 1 0 1316316 630030336 150593 1992294400 4194304 7136930 140734799413888 18446744073709551615 4947413 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9271/statm: 153816 150593 387 719 0 153095 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 615264
[startup+642.301 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 9290
/proc/meminfo: memFree=1104720/2059040 swapFree=4165012/4192956
[pid=9271] ppid=9269 vsize=666792 CPUtime=642.14
/proc/9271/stat : 9271 (pbscip.linux.x8) R 9269 9271 2335 0 -1 4202496 164937 0 0 0 60293 3921 0 0 25 0 1 0 1316316 682795008 163992 1992294400 4194304 7136930 140734799413888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9271/statm: 166698 163992 387 719 0 165977 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 666792
[startup+702.301 s]
################
# More data... #
################
/proc/9271/stat : 9271 (pbscip.linux.x8) R 9269 9271 2335 0 -1 4202496 231389 0 0 0 94626 5578 0 0 25 0 1 0 1316316 979247104 230444 1992294400 4194304 7136930 140734799413888 18446744073709551615 5004434 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9271/statm: 239074 230444 387 719 0 238353 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 956296
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9300
/proc/meminfo: memFree=800920/2059040 swapFree=4165012/4192956
[pid=9271] ppid=9269 vsize=992516 CPUtime=1062.03
/proc/9271/stat : 9271 (pbscip.linux.x8) R 9269 9271 2335 0 -1 4202496 240778 0 0 0 100381 5822 0 0 25 0 1 0 1316316 1016336384 239833 1992294400 4194304 7136930 140734799413888 18446744073709551615 4999897 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9271/statm: 248129 239833 387 719 0 247408 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 992516
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9302
/proc/meminfo: memFree=763348/2059040 swapFree=4165012/4192956
[pid=9271] ppid=9269 vsize=1027680 CPUtime=1122.02
/proc/9271/stat : 9271 (pbscip.linux.x8) R 9269 9271 2335 0 -1 4202496 249876 0 0 0 106132 6070 0 0 25 0 1 0 1316316 1052344320 248931 1992294400 4194304 7136930 140734799413888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9271/statm: 256920 248931 387 719 0 256199 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 1027680
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9304
/proc/meminfo: memFree=730736/2059040 swapFree=4165012/4192956
[pid=9271] ppid=9269 vsize=1059616 CPUtime=1182
/proc/9271/stat : 9271 (pbscip.linux.x8) R 9269 9271 2335 0 -1 4202496 258033 0 0 0 111906 6294 0 0 25 0 1 0 1316316 1085046784 257088 1992294400 4194304 7136930 140734799413888 18446744073709551615 5000491 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9271/statm: 264904 257088 387 719 0 264183 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 1059616
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9306
/proc/meminfo: memFree=698124/2059040 swapFree=4165012/4192956
[pid=9271] ppid=9269 vsize=1090656 CPUtime=1241.99
/proc/9271/stat : 9271 (pbscip.linux.x8) R 9269 9271 2335 0 -1 4202496 266069 0 0 0 117685 6514 0 0 25 0 1 0 1316316 1116831744 265124 1992294400 4194304 7136930 140734799413888 18446744073709551615 4999792 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9271/statm: 272664 265124 387 719 0 271943 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 1090656
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9311
/proc/meminfo: memFree=666380/2059040 swapFree=4165012/4192956
[pid=9271] ppid=9269 vsize=1120740 CPUtime=1301.99
/proc/9271/stat : 9271 (pbscip.linux.x8) R 9269 9271 2335 0 -1 4202496 273809 0 0 0 123475 6724 0 0 25 0 1 0 1316316 1147637760 272864 1992294400 4194304 7136930 140734799413888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9271/statm: 280185 272864 387 719 0 279464 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 1120740
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9311
/proc/meminfo: memFree=631040/2059040 swapFree=4165012/4192956
[pid=9271] ppid=9269 vsize=1155596 CPUtime=1361.96
/proc/9271/stat : 9271 (pbscip.linux.x8) R 9269 9271 2335 0 -1 4202496 282754 0 0 0 129261 6935 0 0 25 0 1 0 1316316 1183330304 281809 1992294400 4194304 7136930 140734799413888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9271/statm: 288899 281809 387 719 0 288178 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 1155596
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9313
/proc/meminfo: memFree=606116/2059040 swapFree=4165012/4192956
[pid=9271] ppid=9269 vsize=1179388 CPUtime=1421.95
/proc/9271/stat : 9271 (pbscip.linux.x8) R 9269 9271 2335 0 -1 4202496 288879 0 0 0 135056 7139 0 0 25 0 1 0 1316316 1207693312 287934 1992294400 4194304 7136930 140734799413888 18446744073709551615 4209104 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9271/statm: 294847 287934 387 719 0 294126 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 1179388
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9315
/proc/meminfo: memFree=576480/2059040 swapFree=4165012/4192956
[pid=9271] ppid=9269 vsize=1209032 CPUtime=1481.93
/proc/9271/stat : 9271 (pbscip.linux.x8) R 9269 9271 2335 0 -1 4202496 296411 0 0 0 140847 7346 0 0 25 0 1 0 1316316 1238048768 295466 1992294400 4194304 7136930 140734799413888 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9271/statm: 302258 295466 387 719 0 301537 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 1209032
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9317
/proc/meminfo: memFree=546844/2059040 swapFree=4165012/4192956
[pid=9271] ppid=9269 vsize=1237280 CPUtime=1541.92
/proc/9271/stat : 9271 (pbscip.linux.x8) R 9269 9271 2335 0 -1 4202496 303684 0 0 0 146652 7540 0 0 25 0 1 0 1316316 1266974720 302739 1992294400 4194304 7136930 140734799413888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9271/statm: 309320 302739 387 719 0 308599 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 1237280
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9319
/proc/meminfo: memFree=519068/2059040 swapFree=4165012/4192956
[pid=9271] ppid=9269 vsize=1265600 CPUtime=1601.9
/proc/9271/stat : 9271 (pbscip.linux.x8) R 9269 9271 2335 0 -1 4202496 310990 0 0 0 152455 7735 0 0 25 0 1 0 1316316 1295974400 310045 1992294400 4194304 7136930 140734799413888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9271/statm: 316400 310045 387 719 0 315679 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 1265600
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9319
/proc/meminfo: memFree=489804/2059040 swapFree=4165012/4192956
[pid=9271] ppid=9269 vsize=1293956 CPUtime=1661.89
/proc/9271/stat : 9271 (pbscip.linux.x8) R 9269 9271 2335 0 -1 4202496 318274 0 0 0 158259 7930 0 0 25 0 1 0 1316316 1325010944 317329 1992294400 4194304 7136930 140734799413888 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9271/statm: 323489 317329 387 719 0 322768 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 1293956
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9321
/proc/meminfo: memFree=462524/2059040 swapFree=4165012/4192956
[pid=9271] ppid=9269 vsize=1319420 CPUtime=1721.87
/proc/9271/stat : 9271 (pbscip.linux.x8) R 9269 9271 2335 0 -1 4202496 324818 0 0 0 164064 8123 0 0 25 0 1 0 1316316 1351086080 323873 1992294400 4194304 7136930 140734799413888 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9271/statm: 329855 323873 387 719 0 329134 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 1319420
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9323
/proc/meminfo: memFree=437228/2059040 swapFree=4165012/4192956
[pid=9271] ppid=9269 vsize=1343096 CPUtime=1781.86
/proc/9271/stat : 9271 (pbscip.linux.x8) R 9269 9271 2335 0 -1 4202496 330922 0 0 0 169875 8311 0 0 25 0 1 0 1316316 1375330304 329977 1992294400 4194304 7136930 140734799413888 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9271/statm: 335774 329977 387 719 0 335053 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 1343096
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9323
/proc/meminfo: memFree=428548/2059040 swapFree=4165012/4192956
[pid=9271] ppid=9269 vsize=1351980 CPUtime=1800.06
/proc/9271/stat : 9271 (pbscip.linux.x8) R 9269 9271 2335 0 -1 4202496 333091 0 0 0 171637 8369 0 0 25 0 1 0 1316316 1384427520 332146 1992294400 4194304 7136930 140734799413888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9271/statm: 337995 332146 387 719 0 337274 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1351980
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -9271
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9324
/proc/meminfo: memFree=428540/2059040 swapFree=4165012/4192956
[pid=9271] ppid=9269 vsize=1351980 CPUtime=1800.95
/proc/9271/stat : 9271 (pbscip.linux.x8) R 9269 9271 2335 0 -1 4202496 333097 0 0 0 171726 8369 0 0 25 0 1 0 1316316 1384427520 332152 1992294400 4194304 7136930 140734799413888 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9271/statm: 337995 332152 393 719 0 337274 0
Current children cumulated CPU time (s) 1800.95
Current children cumulated vsize (KiB) 1351980
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9324
/proc/meminfo: memFree=428540/2059040 swapFree=4165012/4192956
[pid=9271] ppid=9269 vsize=1351980 CPUtime=1801.75
/proc/9271/stat : 9271 (pbscip.linux.x8) R 9269 9271 2335 0 -1 4202496 333097 0 0 0 171806 8369 0 0 25 0 1 0 1316316 1384427520 332152 1992294400 4194304 7136930 140734799413888 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9271/statm: 337995 332152 393 719 0 337274 0
Current children cumulated CPU time (s) 1801.75
Current children cumulated vsize (KiB) 1351980
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9324
/proc/meminfo: memFree=428540/2059040 swapFree=4165012/4192956
[pid=9271] ppid=9269 vsize=0 CPUtime=1802.15
/proc/9271/stat : 9271 (pbscip.linux.x8) R 9269 9271 2335 0 -1 4203524 333097 0 0 0 171837 8378 0 0 25 0 1 0 1316316 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/9271/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.15
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.63
CPU time (s): 1802.19
CPU user time (s): 1718.38
CPU system time (s): 83.8153
CPU usage (%): 99.9757
Max. virtual memory (cumulated for all children) (KiB): 1351980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1718.38
system time used= 83.8153
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 333097
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= 1396
runsolver used 3.21351 second user time and 8.31374 second system time
The end