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-2664227-1276602134.opb>
0.00/0.01 c original problem has 146 variables (146 bin, 0 int, 0 impl, 0 cont) and 12 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) 0 del vars, 6 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.02/0.03 c (0.0s) probing: 101/146 (69.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.02/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.02/0.03 c presolving (2 rounds):
0.02/0.03 c 0 deleted vars, 6 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.02/0.03 c 0 implications, 0 cliques
0.02/0.03 c presolved problem has 146 variables (146 bin, 0 int, 0 impl, 0 cont) and 6 constraints
0.02/0.03 c 6 constraints of type <linear>
0.02/0.03 c transformed objective value is always integral (scale: 1)
0.02/0.03 c Presolving Time: 0.01
0.02/0.03 c - non default parameters ----------------------------------------------------------------------
0.02/0.03 c # SCIP version 1.2.1.2
0.02/0.03 c
0.02/0.03 c # frequency for displaying node information lines
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.02/0.03 c display/freq = 10000
0.02/0.03 c
0.02/0.03 c # maximal time in seconds to run
0.02/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.03 c limits/time = 1800
0.02/0.03 c
0.02/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.02/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.03 c limits/memory = 1620
0.02/0.03 c
0.02/0.03 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.02/0.03 c lp/solvefreq = -1
0.02/0.03 c
0.02/0.03 c # should presolving try to simplify inequalities
0.02/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.03 c constraints/linear/simplifyinequalities = TRUE
0.02/0.03 c
0.02/0.03 c # should presolving try to simplify knapsacks
0.02/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.02/0.03 c
0.02/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.03 c separating/rapidlearning/freq = 0
0.02/0.03 c
0.02/0.03 c -----------------------------------------------------------------------------------------------
0.02/0.03 c start solving
0.02/0.03 c
0.02/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.02/0.03 c 0.0s| 1 | 2 | 0 | - | 424k| 0 | - | 146 | 6 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.39/1.44 c 1.3s| 10000 | 9594 | 0 | 0.0 |4210k| 126 | - | 146 | 6 | 0 | 0 | 0 | 226 | 0 | 0.000000e+00 | -- | Inf
2.69/2.78 c 2.5s| 20000 | 19584 | 0 | 0.0 |7644k| 126 | - | 146 | 7 | 0 | 0 | 0 | 231 | 0 | 0.000000e+00 | -- | Inf
4.09/4.12 c 3.7s| 30000 | 29584 | 0 | 0.0 | 11M| 126 | - | 146 | 7 | 0 | 0 | 0 | 231 | 0 | 0.000000e+00 | -- | Inf
5.40/5.45 c 4.9s| 40000 | 39584 | 0 | 0.0 | 15M| 126 | - | 146 | 6 | 0 | 0 | 0 | 231 | 0 | 0.000000e+00 | -- | Inf
6.69/6.79 c 6.1s| 50000 | 49584 | 0 | 0.0 | 19M| 126 | - | 146 | 6 | 0 | 0 | 0 | 231 | 0 | 0.000000e+00 | -- | Inf
8.39/8.46 c 7.6s| 60000 | 57817 | 0 | 0.0 | 22M| 126 | - | 146 | 6 | 0 | 0 | 0 |1184 | 0 | 0.000000e+00 | -- | Inf
9.99/10.02 c 9.0s| 70000 | 66662 | 0 | 0.0 | 26M| 127 | - | 146 | 6 | 0 | 0 | 0 |1660 | 0 | 0.000000e+00 | -- | Inf
11.79/11.88 c 10.7s| 80000 | 74018 | 0 | 0.0 | 29M| 127 | - | 146 | 6 | 0 | 0 | 0 |3107 | 0 | 0.000000e+00 | -- | Inf
13.19/13.21 c 11.9s| 90000 | 84016 | 0 | 0.0 | 32M| 127 | - | 146 | 6 | 0 | 0 | 0 |3108 | 0 | 0.000000e+00 | -- | Inf
14.49/14.56 c 13.1s|100000 | 94016 | 0 | 0.0 | 36M| 127 | - | 146 | 6 | 0 | 0 | 0 |3108 | 0 | 0.000000e+00 | -- | Inf
15.88/15.91 c 14.3s|110000 |104016 | 0 | 0.0 | 39M| 127 | - | 146 | 6 | 0 | 0 | 0 |3108 | 0 | 0.000000e+00 | -- | Inf
17.19/17.26 c 15.5s|120000 |114016 | 0 | 0.0 | 43M| 127 | - | 146 | 6 | 0 | 0 | 0 |3108 | 0 | 0.000000e+00 | -- | Inf
18.59/18.61 c 16.7s|130000 |124016 | 0 | 0.0 | 47M| 127 | - | 146 | 6 | 0 | 0 | 0 |3108 | 0 | 0.000000e+00 | -- | Inf
19.89/19.95 c 17.9s|140000 |134016 | 0 | 0.0 | 50M| 127 | - | 146 | 6 | 0 | 0 | 0 |3108 | 0 | 0.000000e+00 | -- | Inf
21.28/21.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
21.28/21.31 c 19.1s|150000 |144016 | 0 | 0.0 | 54M| 127 | - | 146 | 6 | 0 | 0 | 0 |3108 | 0 | 0.000000e+00 | -- | Inf
22.58/22.65 c 20.3s|160000 |154014 | 0 | 0.0 | 58M| 127 | - | 146 | 6 | 0 | 0 | 0 |3109 | 0 | 0.000000e+00 | -- | Inf
23.88/23.99 c 21.5s|170000 |164014 | 0 | 0.0 | 62M| 127 | - | 146 | 6 | 0 | 0 | 0 |3109 | 0 | 0.000000e+00 | -- | Inf
25.29/25.34 c 22.7s|180000 |174012 | 0 | 0.0 | 66M| 127 | - | 146 | 7 | 0 | 0 | 0 |3110 | 0 | 0.000000e+00 | -- | Inf
26.58/26.68 c 23.9s|190000 |184010 | 0 | 0.0 | 70M| 127 | - | 146 | 6 | 0 | 0 | 0 |3110 | 0 | 0.000000e+00 | -- | Inf
27.99/28.02 c 25.1s|200000 |194010 | 0 | 0.0 | 73M| 127 | - | 146 | 6 | 0 | 0 | 0 |3110 | 0 | 0.000000e+00 | -- | Inf
29.29/29.37 c 26.2s|210000 |204008 | 0 | 0.0 | 77M| 127 | - | 146 | 6 | 0 | 0 | 0 |3111 | 0 | 0.000000e+00 | -- | Inf
30.69/30.72 c 27.4s|220000 |214008 | 0 | 0.0 | 81M| 127 | - | 146 | 6 | 0 | 0 | 0 |3111 | 0 | 0.000000e+00 | -- | Inf
31.98/32.07 c 28.6s|230000 |224008 | 0 | 0.0 | 86M| 127 | - | 146 | 6 | 0 | 0 | 0 |3111 | 0 | 0.000000e+00 | -- | Inf
33.38/33.42 c 29.9s|240000 |234008 | 0 | 0.0 | 90M| 127 | - | 146 | 6 | 0 | 0 | 0 |3111 | 0 | 0.000000e+00 | -- | Inf
34.68/34.78 c 31.1s|250000 |244008 | 0 | 0.0 | 94M| 127 | - | 146 | 6 | 0 | 0 | 0 |3111 | 0 | 0.000000e+00 | -- | Inf
36.08/36.14 c 32.3s|260000 |254006 | 0 | 0.0 | 98M| 127 | - | 146 | 6 | 0 | 0 | 0 |3111 | 0 | 0.000000e+00 | -- | Inf
37.39/37.48 c 33.5s|270000 |264004 | 0 | 0.0 | 102M| 127 | - | 146 | 6 | 0 | 0 | 0 |3111 | 0 | 0.000000e+00 | -- | Inf
38.78/38.80 c 34.6s|280000 |274004 | 0 | 0.0 | 106M| 127 | - | 146 | 6 | 0 | 0 | 0 |3111 | 0 | 0.000000e+00 | -- | Inf
40.08/40.13 c 35.8s|290000 |284004 | 0 | 0.0 | 110M| 127 | - | 146 | 6 | 0 | 0 | 0 |3111 | 0 | 0.000000e+00 | -- | Inf
41.38/41.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.38/41.45 c 37.0s|300000 |294004 | 0 | 0.0 | 115M| 127 | - | 146 | 6 | 0 | 0 | 0 |3111 | 0 | 0.000000e+00 | -- | Inf
42.67/42.77 c 38.1s|310000 |304004 | 0 | 0.0 | 119M| 127 | - | 146 | 6 | 0 | 0 | 0 |3111 | 0 | 0.000000e+00 | -- | Inf
43.98/44.08 c 39.3s|320000 |314004 | 0 | 0.0 | 123M| 127 | - | 146 | 6 | 0 | 0 | 0 |3111 | 0 | 0.000000e+00 | -- | Inf
45.38/45.40 c 40.5s|330000 |324004 | 0 | 0.0 | 128M| 127 | - | 146 | 6 | 0 | 0 | 0 |3111 | 0 | 0.000000e+00 | -- | Inf
46.67/46.71 c 41.6s|340000 |334004 | 0 | 0.0 | 132M| 127 | - | 146 | 6 | 0 | 0 | 0 |3111 | 0 | 0.000000e+00 | -- | Inf
47.98/48.02 c 42.8s|350000 |344004 | 0 | 0.0 | 137M| 127 | - | 146 | 6 | 0 | 0 | 0 |3111 | 0 | 0.000000e+00 | -- | Inf
49.28/49.32 c 43.9s|360000 |354004 | 0 | 0.0 | 141M| 127 | - | 146 | 6 | 0 | 0 | 0 |3111 | 0 | 0.000000e+00 | -- | Inf
50.58/50.62 c 45.1s|370000 |364004 | 0 | 0.0 | 145M| 127 | - | 146 | 6 | 0 | 0 | 0 |3111 | 0 | 0.000000e+00 | -- | Inf
52.07/52.19 c 46.5s|380000 |372504 | 0 | 0.0 | 149M| 127 | - | 146 | 6 | 0 | 0 | 0 |3908 | 0 | 0.000000e+00 | -- | Inf
54.47/54.57 c 48.7s|390000 |376964 | 0 | 0.0 | 151M| 127 | - | 146 | 6 | 0 | 0 | 0 |6856 | 0 | 0.000000e+00 | -- | Inf
57.27/57.33 c 51.2s|400000 |379783 | 0 | 0.0 | 153M| 127 | - | 146 | 6 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
59.58/59.62 c 53.4s|410000 |384898 | 0 | 0.0 | 156M| 128 | - | 146 | 6 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
60.97/61.01 c 54.6s|420000 |394539 | 0 | 0.0 | 159M| 128 | - | 146 | 7 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
62.38/62.40 c 55.9s|430000 |404110 | 0 | 0.0 | 163M| 128 | - | 146 | 9 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
63.68/63.80 c 57.1s|440000 |413634 | 0 | 0.0 | 167M| 128 | - | 146 | 13 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
65.17/65.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
65.17/65.27 c 58.5s|450000 |422722 | 0 | 0.0 | 170M| 128 | - | 146 | 11 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
66.67/66.76 c 59.8s|460000 |431706 | 0 | 0.0 | 174M| 128 | - | 146 | 10 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
68.17/68.25 c 61.2s|470000 |440577 | 0 | 0.0 | 178M| 128 | - | 146 | 9 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
69.97/70.07 c 62.8s|480000 |448375 | 0 | 0.0 | 182M| 128 | - | 146 | 6 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
72.47/72.50 c 65.1s|490000 |453299 | 0 | 0.0 | 184M| 128 | - | 146 | 7 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
74.47/74.55 c 67.0s|500000 |459928 | 0 | 0.0 | 187M| 128 | - | 146 | 6 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
76.27/76.32 c 68.5s|510000 |468047 | 0 | 0.0 | 191M| 128 | - | 146 | 6 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
77.16/77.26 o 145
77.16/77.26 c *69.5s|511834 |159758 | 0 | 0.0 | 54M| 128 | - | 146 | 6 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
79.26/79.40 c 71.4s|520000 |162931 | 0 | 0.0 | 57M| 133 | - | 146 | 173 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
81.97/82.07 c 73.9s|530000 |166741 | 0 | 0.0 | 59M| 133 | - | 146 | 221 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
83.96/84.09 c 75.8s|540000 |173906 | 0 | 0.0 | 62M| 133 | - | 146 | 442 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
86.16/86.21 c 77.8s|550000 |180919 | 0 | 0.0 | 65M| 133 | - | 146 | 609 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
88.26/88.38 c 79.8s|560000 |187822 | 0 | 0.0 | 68M| 133 | - | 146 | 653 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
90.47/90.51 c 81.7s|570000 |194845 | 0 | 0.0 | 71M| 133 | - | 146 | 665 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
92.66/92.71 c 83.8s|580000 |201769 | 0 | 0.0 | 74M| 133 | - | 146 | 776 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
94.96/95.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
94.96/95.06 c 85.9s|590000 |208212 | 0 | 0.0 | 77M| 133 | - | 146 |1024 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
97.36/97.41 c 88.1s|600000 |214701 | 0 | 0.0 | 80M| 133 | - | 146 |1162 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
99.66/99.73 c 90.3s|610000 |221345 | 0 | 0.0 | 83M| 133 | - | 146 |1061 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
101.96/102.09 c 92.4s|620000 |227789 | 0 | 0.0 | 85M| 133 | - | 146 |1186 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
104.37/104.50 c 94.7s|630000 |234197 | 0 | 0.0 | 88M| 133 | - | 146 |1090 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
106.86/106.95 c 97.0s|640000 |240545 | 0 | 0.0 | 91M| 133 | - | 146 |1188 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
109.26/109.38 c 99.2s|650000 |246854 | 0 | 0.0 | 94M| 133 | - | 146 |1434 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
111.66/111.78 c 101s|660000 |253489 | 0 | 0.0 | 97M| 133 | - | 146 |1465 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
114.05/114.13 c 104s|670000 |260468 | 0 | 0.0 | 101M| 133 | - | 146 |1357 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
116.47/116.52 c 106s|680000 |267338 | 0 | 0.0 | 104M| 133 | - | 146 |1304 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
118.86/118.90 c 108s|690000 |274175 | 0 | 0.0 | 107M| 133 | - | 146 |1403 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
121.15/121.27 c 110s|700000 |281054 | 0 | 0.0 | 110M| 133 | - | 146 |1430 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
123.55/123.60 c 112s|710000 |288293 | 0 | 0.0 | 113M| 133 | - | 146 |1399 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
125.95/126.06 c 115s|720000 |295176 | 0 | 0.0 | 116M| 133 | - | 146 |1476 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
128.45/128.57 c 117s|730000 |301972 | 0 | 0.0 | 119M| 133 | - | 146 |1652 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
131.15/131.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
131.15/131.26 c 120s|740000 |308573 | 0 | 0.0 | 122M| 133 | - | 146 |1729 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
133.85/133.93 c 122s|750000 |315148 | 0 | 0.0 | 126M| 133 | - | 146 |1780 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
136.36/136.46 c 124s|760000 |321914 | 0 | 0.0 | 129M| 133 | - | 146 |1690 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
138.94/139.00 c 127s|770000 |328777 | 0 | 0.0 | 132M| 133 | - | 146 |1743 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
141.34/141.41 c 129s|780000 |336161 | 0 | 0.0 | 135M| 133 | - | 146 |1775 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
143.96/144.06 c 132s|790000 |342935 | 0 | 0.0 | 138M| 133 | - | 146 |1926 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
146.75/146.86 c 134s|800000 |349484 | 0 | 0.0 | 142M| 133 | - | 146 |2001 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
149.65/149.77 c 137s|810000 |355741 | 0 | 0.0 | 145M| 133 | - | 146 |2010 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
152.75/152.82 c 140s|820000 |361955 | 0 | 0.0 | 148M| 133 | - | 146 |2131 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
155.64/155.78 c 143s|830000 |368183 | 0 | 0.0 | 151M| 133 | - | 146 |2290 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
158.55/158.68 c 145s|840000 |374451 | 0 | 0.0 | 155M| 133 | - | 146 |2320 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
161.44/161.56 c 148s|850000 |381010 | 0 | 0.0 | 158M| 133 | - | 146 |2168 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
164.24/164.38 c 151s|860000 |387788 | 0 | 0.0 | 161M| 133 | - | 146 |2218 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
167.34/167.41 c 154s|870000 |394073 | 0 | 0.0 | 164M| 133 | - | 146 |2285 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
170.34/170.45 c 156s|880000 |400371 | 0 | 0.0 | 167M| 133 | - | 146 |2359 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
173.44/173.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
173.44/173.53 c 159s|890000 |406933 | 0 | 0.0 | 170M| 133 | - | 146 |2399 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
176.74/176.82 c 162s|900000 |412705 | 0 | 0.0 | 173M| 133 | - | 146 |2535 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
180.03/180.17 c 166s|910000 |418539 | 0 | 0.0 | 177M| 133 | - | 146 |2670 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
183.33/183.47 c 169s|920000 |424483 | 0 | 0.0 | 180M| 133 | - | 146 |2692 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
186.53/186.66 c 172s|930000 |430664 | 0 | 0.0 | 183M| 133 | - | 146 |2624 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
189.73/189.88 c 175s|940000 |436571 | 0 | 0.0 | 186M| 133 | - | 146 |2714 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
193.14/193.27 c 178s|950000 |442083 | 0 | 0.0 | 189M| 133 | - | 146 |2672 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
196.53/196.69 c 181s|960000 |447791 | 0 | 0.0 | 192M| 133 | - | 146 |2313 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
199.83/199.99 c 184s|970000 |453295 | 0 | 0.0 | 195M| 133 | - | 146 |2451 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
203.33/203.42 c 188s|980000 |458621 | 0 | 0.0 | 198M| 133 | - | 146 |2274 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
206.64/206.73 c 191s|990000 |464282 | 0 | 0.0 | 201M| 133 | - | 146 |2451 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
210.13/210.20 c 194s| 1000k|469756 | 0 | 0.0 | 204M| 133 | - | 146 |2496 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
213.52/213.66 c 197s| 1010k|475214 | 0 | 0.0 | 207M| 133 | - | 146 |2488 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
216.92/217.09 c 200s| 1020k|480745 | 0 | 0.0 | 211M| 133 | - | 146 |2572 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
220.32/220.49 c 204s| 1030k|486408 | 0 | 0.0 | 214M| 133 | - | 146 |2818 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
224.02/224.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
224.02/224.10 c 207s| 1040k|491922 | 0 | 0.0 | 217M| 133 | - | 146 |2868 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
227.82/227.92 c 211s| 1050k|497261 | 0 | 0.0 | 220M| 133 | - | 146 |3002 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
231.62/231.73 c 214s| 1060k|502366 | 0 | 0.0 | 223M| 133 | - | 146 |2772 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
235.42/235.54 c 218s| 1070k|507607 | 0 | 0.0 | 226M| 133 | - | 146 |2992 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
239.22/239.34 c 222s| 1080k|513067 | 0 | 0.0 | 229M| 133 | - | 146 |2877 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
243.12/243.28 c 225s| 1090k|517979 | 0 | 0.0 | 232M| 133 | - | 146 |3141 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
247.11/247.20 c 229s| 1100k|523182 | 0 | 0.0 | 235M| 133 | - | 146 |3142 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
250.91/251.08 c 233s| 1110k|528542 | 0 | 0.0 | 238M| 133 | - | 146 |3126 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
255.21/255.32 c 237s| 1120k|533229 | 0 | 0.0 | 241M| 133 | - | 146 |3193 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
259.31/259.46 c 241s| 1130k|538109 | 0 | 0.0 | 245M| 133 | - | 146 |3343 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
263.41/263.56 c 245s| 1140k|542975 | 0 | 0.0 | 248M| 133 | - | 146 |3375 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
267.61/267.75 c 249s| 1150k|548079 | 0 | 0.0 | 251M| 133 | - | 146 |3589 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
272.11/272.29 c 253s| 1160k|552549 | 0 | 0.0 | 254M| 133 | - | 146 |3793 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
276.51/276.69 c 257s| 1170k|556813 | 0 | 0.0 | 257M| 133 | - | 146 |3655 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
281.21/281.38 c 262s| 1180k|561172 | 0 | 0.0 | 260M| 133 | - | 146 |3849 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
286.00/286.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
286.00/286.13 c 266s| 1190k|565477 | 0 | 0.0 | 263M| 133 | - | 146 |4044 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
290.90/291.00 c 271s| 1200k|569774 | 0 | 0.0 | 266M| 133 | - | 146 |3829 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
295.41/295.54 c 275s| 1210k|574326 | 0 | 0.0 | 269M| 133 | - | 146 |3768 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
300.11/300.21 c 280s| 1220k|578731 | 0 | 0.0 | 272M| 133 | - | 146 |3890 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
304.90/305.01 c 284s| 1230k|583215 | 0 | 0.0 | 275M| 133 | - | 146 |3903 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
309.70/309.81 c 289s| 1240k|587644 | 0 | 0.0 | 278M| 133 | - | 146 |4042 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
314.69/314.82 c 294s| 1250k|591833 | 0 | 0.0 | 281M| 133 | - | 146 |4010 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
319.69/319.83 c 299s| 1260k|596061 | 0 | 0.0 | 284M| 133 | - | 146 |4046 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
324.79/324.95 c 303s| 1270k|600270 | 0 | 0.0 | 287M| 133 | - | 146 |4118 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
330.30/330.47 c 309s| 1280k|603745 | 0 | 0.0 | 290M| 133 | - | 146 |4169 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
335.99/336.12 c 314s| 1290k|607243 | 0 | 0.0 | 293M| 133 | - | 146 |4199 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
341.29/341.41 c 319s| 1300k|611054 | 0 | 0.0 | 296M| 133 | - | 146 |4273 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
346.39/346.52 c 324s| 1310k|614647 | 0 | 0.0 | 299M| 133 | - | 146 |4503 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
351.69/351.81 c 329s| 1320k|618329 | 0 | 0.0 | 302M| 133 | - | 146 |4416 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
357.09/357.20 c 334s| 1330k|622038 | 0 | 0.0 | 305M| 133 | - | 146 |4560 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
362.59/362.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
362.59/362.75 c 340s| 1340k|625932 | 0 | 0.0 | 308M| 133 | - | 146 |4809 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
368.18/368.34 c 345s| 1350k|629652 | 0 | 0.0 | 311M| 133 | - | 146 |4828 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
373.88/374.01 c 351s| 1360k|633461 | 0 | 0.0 | 314M| 133 | - | 146 |4901 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
379.58/379.75 c 356s| 1370k|637346 | 0 | 0.0 | 317M| 133 | - | 146 |4916 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
385.17/385.36 c 362s| 1380k|641238 | 0 | 0.0 | 320M| 133 | - | 146 |4925 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
391.27/391.44 c 368s| 1390k|644741 | 0 | 0.0 | 323M| 133 | - | 146 |5151 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
398.17/398.30 c 374s| 1400k|647529 | 0 | 0.0 | 326M| 133 | - | 146 |5034 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
403.76/403.93 o 114
403.76/403.93 c * 380s| 1408k|533306 | 0 | 0.0 | 279M| 133 | - | 146 |4873 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
405.06/405.26 c 381s| 1410k|533488 | 0 | 0.0 | 280M| 133 | - | 146 |4951 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
413.37/413.56 c 389s| 1420k|534451 | 0 | 0.0 | 283M| 133 | - | 146 |5807 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
422.86/423.01 c 398s| 1430k|535181 | 0 | 0.0 | 285M| 133 | - | 146 |6121 | 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
432.85/433.07 c 408s| 1440k|536152 | 0 | 0.0 | 288M| 133 | - | 146 |6376 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
443.55/443.73 c 418s| 1450k|537245 | 0 | 0.0 | 291M| 133 | - | 146 |6743 | 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
454.15/454.38 c 429s| 1460k|538332 | 0 | 0.0 | 294M| 133 | - | 146 |6887 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
465.35/465.60 c 440s| 1470k|539122 | 0 | 0.0 | 297M| 133 | - | 146 |7074 | 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
476.24/476.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
476.24/476.41 c 450s| 1480k|539956 | 0 | 0.0 | 300M| 133 | - | 146 |7140 | 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
488.84/489.01 c 463s| 1490k|540428 | 0 | 0.0 | 302M| 133 | - | 146 |7138 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
506.14/506.39 c 480s| 1500k|540123 | 0 | 0.0 | 305M| 133 | - | 146 |7177 | 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
521.03/521.26 c 495s| 1510k|539833 | 0 | 0.0 | 306M| 133 | - | 146 |6505 | 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
538.12/538.33 c 511s| 1520k|539618 | 0 | 0.0 | 309M| 133 | - | 146 |7278 | 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
557.31/557.60 c 530s| 1530k|538841 | 0 | 0.0 | 311M| 133 | - | 146 |7465 | 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
576.91/577.14 c 550s| 1540k|537585 | 0 | 0.0 | 312M| 133 | - | 146 |6297 | 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
580.70/580.99 c 553s| 1550k|542571 | 0 | 0.0 | 314M| 133 | - | 146 |5305 | 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
584.61/584.89 c 557s| 1560k|547167 | 0 | 0.0 | 316M| 133 | - | 146 |4058 | 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
588.31/588.56 c 561s| 1570k|551516 | 0 | 0.0 | 317M| 133 | - | 146 |2765 | 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
591.80/592.01 c 564s| 1580k|555495 | 0 | 0.0 | 319M| 133 | - | 146 |2088 | 0 | 0 | 0 | 317k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
595.11/595.36 c 567s| 1590k|558962 | 0 | 0.0 | 321M| 133 | - | 146 |1807 | 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
598.41/598.66 c 570s| 1600k|562216 | 0 | 0.0 | 323M| 133 | - | 146 |1604 | 0 | 0 | 0 | 324k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
601.80/602.04 c 573s| 1610k|565056 | 0 | 0.0 | 325M| 133 | - | 146 |1305 | 0 | 0 | 0 | 328k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
605.20/605.47 c 577s| 1620k|567526 | 0 | 0.0 | 327M| 133 | - | 146 |1238 | 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
608.69/608.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
608.69/608.93 c 580s| 1630k|569647 | 0 | 0.0 | 329M| 133 | - | 146 |1179 | 0 | 0 | 0 | 336k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
612.20/612.49 c 583s| 1640k|571467 | 0 | 0.0 | 331M| 133 | - | 146 |1175 | 0 | 0 | 0 | 340k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
615.89/616.15 c 587s| 1650k|572880 | 0 | 0.0 | 333M| 133 | - | 146 |1151 | 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
619.69/619.94 c 590s| 1660k|573800 | 0 | 0.0 | 335M| 133 | - | 146 |1135 | 0 | 0 | 0 | 350k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
623.50/623.78 c 594s| 1670k|574296 | 0 | 0.0 | 336M| 133 | - | 146 |1174 | 0 | 0 | 0 | 355k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
627.10/627.32 c 597s| 1680k|576694 | 0 | 0.0 | 338M| 133 | - | 146 |1125 | 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
630.59/630.89 c 600s| 1690k|579091 | 0 | 0.0 | 340M| 133 | - | 146 |1096 | 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
634.00/634.29 c 604s| 1700k|582180 | 0 | 0.0 | 343M| 133 | - | 146 |1097 | 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
637.59/637.81 c 607s| 1710k|584203 | 0 | 0.0 | 345M| 133 | - | 146 |1091 | 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
640.38/640.69 c 610s| 1720k|589321 | 0 | 0.0 | 347M| 133 | - | 146 |1216 | 0 | 0 | 0 | 374k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
643.08/643.33 c 612s| 1730k|595826 | 0 | 0.0 | 350M| 133 | - | 146 |1319 | 0 | 0 | 0 | 376k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
645.78/646.06 c 615s| 1740k|602109 | 0 | 0.0 | 353M| 133 | - | 146 |1248 | 0 | 0 | 0 | 377k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
648.58/648.90 c 617s| 1750k|608228 | 0 | 0.0 | 356M| 133 | - | 146 |1325 | 0 | 0 | 0 | 379k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
651.48/651.77 c 620s| 1760k|614359 | 0 | 0.0 | 360M| 133 | - | 146 |1456 | 0 | 0 | 0 | 381k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
654.58/654.84 c 623s| 1770k|619965 | 0 | 0.0 | 363M| 133 | - | 146 |1606 | 0 | 0 | 0 | 383k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
657.78/658.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
657.78/658.01 c 626s| 1780k|625645 | 0 | 0.0 | 366M| 133 | - | 146 |1645 | 0 | 0 | 0 | 385k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
660.98/661.21 c 629s| 1790k|631103 | 0 | 0.0 | 369M| 133 | - | 146 |1648 | 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
664.19/664.48 c 632s| 1800k|636501 | 0 | 0.0 | 372M| 133 | - | 146 |1581 | 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
667.68/667.90 c 635s| 1810k|641286 | 0 | 0.0 | 375M| 133 | - | 146 |1824 | 0 | 0 | 0 | 392k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
671.08/671.36 c 638s| 1820k|646094 | 0 | 0.0 | 378M| 133 | - | 146 |1688 | 0 | 0 | 0 | 394k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
674.57/674.86 c 642s| 1830k|650823 | 0 | 0.0 | 381M| 133 | - | 146 |1933 | 0 | 0 | 0 | 396k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
678.27/678.50 c 645s| 1840k|655321 | 0 | 0.0 | 384M| 133 | - | 146 |1962 | 0 | 0 | 0 | 399k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
681.98/682.21 c 649s| 1850k|659611 | 0 | 0.0 | 387M| 133 | - | 146 |1883 | 0 | 0 | 0 | 402k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
685.67/685.98 c 652s| 1860k|663726 | 0 | 0.0 | 390M| 133 | - | 146 |2002 | 0 | 0 | 0 | 404k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
686.38/686.66 o 107
686.38/686.66 c * 653s| 1861k|656664 | 0 | 0.0 | 381M| 133 | - | 146 |1942 | 0 | 0 | 0 | 405k| 0 | 0.000000e+00 | 1.070000e+02 | Inf
689.58/689.84 c 656s| 1870k|660171 | 0 | 0.0 | 384M| 133 | - | 146 |1901 | 0 | 0 | 0 | 407k| 0 | 0.000000e+00 | 1.070000e+02 | Inf
693.67/693.95 c 660s| 1880k|663829 | 0 | 0.0 | 387M| 133 | - | 146 |2162 | 0 | 0 | 0 | 410k| 0 | 0.000000e+00 | 1.070000e+02 | Inf
697.87/698.13 c 664s| 1890k|667444 | 0 | 0.0 | 389M| 133 | - | 146 |2141 | 0 | 0 | 0 | 413k| 0 | 0.000000e+00 | 1.070000e+02 | Inf
702.17/702.46 c 668s| 1900k|670579 | 0 | 0.0 | 392M| 133 | - | 146 |2204 | 0 | 0 | 0 | 415k| 0 | 0.000000e+00 | 1.070000e+02 | Inf
706.57/706.85 c 672s| 1910k|673629 | 0 | 0.0 | 395M| 133 | - | 146 |2296 | 0 | 0 | 0 | 419k| 0 | 0.000000e+00 | 1.070000e+02 | Inf
710.76/711.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
710.76/711.04 c 676s| 1920k|676849 | 0 | 0.0 | 398M| 133 | - | 146 |2322 | 0 | 0 | 0 | 422k| 0 | 0.000000e+00 | 1.070000e+02 | Inf
715.27/715.52 c 680s| 1930k|679456 | 0 | 0.0 | 401M| 133 | - | 146 |2389 | 0 | 0 | 0 | 425k| 0 | 0.000000e+00 | 1.070000e+02 | Inf
719.76/720.09 c 685s| 1940k|682080 | 0 | 0.0 | 404M| 133 | - | 146 |2467 | 0 | 0 | 0 | 428k| 0 | 0.000000e+00 | 1.070000e+02 | Inf
724.26/724.56 c 689s| 1950k|684808 | 0 | 0.0 | 407M| 133 | - | 146 |2359 | 0 | 0 | 0 | 432k| 0 | 0.000000e+00 | 1.070000e+02 | Inf
729.07/729.35 c 694s| 1960k|687067 | 0 | 0.0 | 409M| 133 | - | 146 |2388 | 0 | 0 | 0 | 435k| 0 | 0.000000e+00 | 1.070000e+02 | Inf
733.96/734.25 c 698s| 1970k|689290 | 0 | 0.0 | 412M| 133 | - | 146 |2467 | 0 | 0 | 0 | 438k| 0 | 0.000000e+00 | 1.070000e+02 | Inf
738.96/739.23 c 703s| 1980k|691257 | 0 | 0.0 | 415M| 133 | - | 146 |2512 | 0 | 0 | 0 | 442k| 0 | 0.000000e+00 | 1.070000e+02 | Inf
744.86/745.13 c 709s| 1990k|692881 | 0 | 0.0 | 418M| 133 | - | 146 |2515 | 0 | 0 | 0 | 446k| 0 | 0.000000e+00 | 1.070000e+02 | Inf
750.85/751.15 c 715s| 2000k|694559 | 0 | 0.0 | 421M| 133 | - | 146 |2610 | 0 | 0 | 0 | 450k| 0 | 0.000000e+00 | 1.070000e+02 | Inf
756.56/756.89 c 720s| 2010k|696838 | 0 | 0.0 | 423M| 133 | - | 146 |2653 | 0 | 0 | 0 | 453k| 0 | 0.000000e+00 | 1.070000e+02 | Inf
760.65/760.99 c 724s| 2020k|700474 | 0 | 0.0 | 426M| 133 | - | 146 |2702 | 0 | 0 | 0 | 457k| 0 | 0.000000e+00 | 1.070000e+02 | Inf
764.85/765.14 c 728s| 2030k|703909 | 0 | 0.0 | 429M| 133 | - | 146 |2718 | 0 | 0 | 0 | 460k| 0 | 0.000000e+00 | 1.070000e+02 | Inf
765.45/765.71 o 99
765.45/765.71 c * 728s| 2031k|702307 | 0 | 0.0 | 428M| 133 | - | 146 |2712 | 0 | 0 | 0 | 461k| 0 | 0.000000e+00 | 9.900000e+01 | Inf
765.45/765.76 o 97
765.45/765.76 c * 728s| 2031k|696849 | 0 | 0.0 | 421M| 133 | - | 146 |2712 | 0 | 0 | 0 | 461k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
769.14/769.46 c 732s| 2040k|699564 | 0 | 0.0 | 424M| 133 | - | 146 |2634 | 0 | 0 | 0 | 464k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
773.14/773.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
773.14/773.42 c 736s| 2050k|703140 | 0 | 0.0 | 426M| 133 | - | 146 |2667 | 0 | 0 | 0 | 468k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
777.14/777.46 c 740s| 2060k|706343 | 0 | 0.0 | 429M| 133 | - | 146 |2607 | 0 | 0 | 0 | 471k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
781.24/781.58 c 743s| 2070k|709022 | 0 | 0.0 | 431M| 133 | - | 146 |2605 | 0 | 0 | 0 | 475k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
785.15/785.44 c 747s| 2080k|712093 | 0 | 0.0 | 434M| 133 | - | 146 |2597 | 0 | 0 | 0 | 479k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
789.04/789.32 c 751s| 2090k|715039 | 0 | 0.0 | 436M| 133 | - | 146 |2553 | 0 | 0 | 0 | 483k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
793.04/793.38 c 755s| 2100k|717371 | 0 | 0.0 | 438M| 133 | - | 146 |2559 | 0 | 0 | 0 | 487k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
796.84/797.11 c 758s| 2110k|720893 | 0 | 0.0 | 441M| 133 | - | 146 |2547 | 0 | 0 | 0 | 490k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
801.04/801.30 c 762s| 2120k|723119 | 0 | 0.0 | 443M| 133 | - | 146 |2563 | 0 | 0 | 0 | 495k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
804.94/805.29 c 766s| 2130k|727042 | 0 | 0.0 | 446M| 133 | - | 146 |2600 | 0 | 0 | 0 | 498k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
809.14/809.45 c 770s| 2140k|730310 | 0 | 0.0 | 449M| 133 | - | 146 |2664 | 0 | 0 | 0 | 502k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
813.23/813.54 c 774s| 2150k|733249 | 0 | 0.0 | 451M| 133 | - | 146 |2675 | 0 | 0 | 0 | 506k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
817.54/817.84 c 778s| 2160k|735816 | 0 | 0.0 | 454M| 133 | - | 146 |2779 | 0 | 0 | 0 | 510k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
821.43/821.75 c 782s| 2170k|739769 | 0 | 0.0 | 456M| 133 | - | 146 |2904 | 0 | 0 | 0 | 513k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
825.23/825.51 c 785s| 2180k|744522 | 0 | 0.0 | 459M| 133 | - | 146 |2986 | 0 | 0 | 0 | 516k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
829.14/829.42 c 789s| 2190k|748894 | 0 | 0.0 | 461M| 133 | - | 146 |2965 | 0 | 0 | 0 | 519k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
832.92/833.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
832.92/833.27 c 793s| 2200k|752996 | 0 | 0.0 | 465M| 133 | - | 146 |2932 | 0 | 0 | 0 | 522k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
836.73/837.10 c 796s| 2210k|757033 | 0 | 0.0 | 468M| 133 | - | 146 |2833 | 0 | 0 | 0 | 526k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
840.53/840.89 c 800s| 2220k|761423 | 0 | 0.0 | 471M| 133 | - | 146 |2836 | 0 | 0 | 0 | 529k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
844.43/844.76 c 803s| 2230k|765149 | 0 | 0.0 | 474M| 133 | - | 146 |2828 | 0 | 0 | 0 | 532k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
848.52/848.83 c 807s| 2240k|768477 | 0 | 0.0 | 478M| 133 | - | 146 |2852 | 0 | 0 | 0 | 536k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
852.42/852.71 c 811s| 2250k|772218 | 0 | 0.0 | 480M| 133 | - | 146 |2764 | 0 | 0 | 0 | 539k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
856.42/856.77 c 815s| 2260k|775115 | 0 | 0.0 | 483M| 133 | - | 146 |2742 | 0 | 0 | 0 | 543k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
859.42/859.76 o 96
859.42/859.76 c * 818s| 2267k|765513 | 0 | 0.0 | 469M| 133 | - | 146 |2726 | 0 | 0 | 0 | 546k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
860.62/860.91 c 819s| 2270k|766319 | 0 | 0.0 | 470M| 133 | - | 146 |2717 | 0 | 0 | 0 | 547k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
864.23/864.59 c 822s| 2280k|769951 | 0 | 0.0 | 473M| 133 | - | 146 |2707 | 0 | 0 | 0 | 550k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
868.22/868.55 c 826s| 2290k|772588 | 0 | 0.0 | 475M| 133 | - | 146 |2606 | 0 | 0 | 0 | 554k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
872.02/872.31 c 829s| 2300k|775522 | 0 | 0.0 | 477M| 133 | - | 146 |2650 | 0 | 0 | 0 | 558k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
875.81/876.12 c 833s| 2310k|778524 | 0 | 0.0 | 480M| 133 | - | 146 |2650 | 0 | 0 | 0 | 562k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
879.61/879.98 c 837s| 2320k|781022 | 0 | 0.0 | 482M| 133 | - | 146 |2639 | 0 | 0 | 0 | 566k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
883.40/883.73 c 840s| 2330k|784135 | 0 | 0.0 | 484M| 133 | - | 146 |2673 | 0 | 0 | 0 | 570k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
887.42/887.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
887.42/887.70 c 844s| 2340k|786820 | 0 | 0.0 | 487M| 133 | - | 146 |2736 | 0 | 0 | 0 | 574k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
891.51/891.89 c 848s| 2350k|789330 | 0 | 0.0 | 489M| 133 | - | 146 |2772 | 0 | 0 | 0 | 578k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
896.00/896.31 c 852s| 2360k|791912 | 0 | 0.0 | 491M| 133 | - | 146 |2845 | 0 | 0 | 0 | 582k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
899.81/900.11 c 856s| 2370k|795996 | 0 | 0.0 | 494M| 133 | - | 146 |2626 | 0 | 0 | 0 | 585k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
902.50/902.84 c 858s| 2380k|802621 | 0 | 0.0 | 497M| 133 | - | 146 |2709 | 0 | 0 | 0 | 587k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
905.60/905.94 c 861s| 2390k|808634 | 0 | 0.0 | 499M| 133 | - | 146 |3250 | 0 | 0 | 0 | 589k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
908.80/909.14 c 864s| 2400k|814544 | 0 | 0.0 | 502M| 133 | - | 146 |3464 | 0 | 0 | 0 | 591k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
912.10/912.42 c 867s| 2410k|820465 | 0 | 0.0 | 505M| 133 | - | 146 |3746 | 0 | 0 | 0 | 593k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
915.50/915.80 c 871s| 2420k|826253 | 0 | 0.0 | 507M| 133 | - | 146 |3745 | 0 | 0 | 0 | 596k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
919.00/919.30 c 874s| 2430k|831901 | 0 | 0.0 | 510M| 133 | - | 146 |4011 | 0 | 0 | 0 | 598k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
922.61/922.92 c 877s| 2440k|837687 | 0 | 0.0 | 513M| 133 | - | 146 |3744 | 0 | 0 | 0 | 600k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
926.20/926.55 c 881s| 2450k|843346 | 0 | 0.0 | 515M| 133 | - | 146 |4066 | 0 | 0 | 0 | 602k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
929.79/930.14 c 884s| 2460k|848859 | 0 | 0.0 | 518M| 133 | - | 146 |4199 | 0 | 0 | 0 | 604k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
933.40/933.70 c 888s| 2470k|854514 | 0 | 0.0 | 521M| 133 | - | 146 |4199 | 0 | 0 | 0 | 607k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
937.09/937.45 c 891s| 2480k|860175 | 0 | 0.0 | 523M| 133 | - | 146 |4099 | 0 | 0 | 0 | 609k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
940.79/941.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
940.79/941.15 c 895s| 2490k|865670 | 0 | 0.0 | 526M| 133 | - | 146 |4339 | 0 | 0 | 0 | 611k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
944.39/944.79 c 898s| 2500k|871237 | 0 | 0.0 | 529M| 133 | - | 146 |4536 | 0 | 0 | 0 | 614k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
948.19/948.55 c 902s| 2510k|876671 | 0 | 0.0 | 532M| 133 | - | 146 |4728 | 0 | 0 | 0 | 616k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
951.99/952.39 c 905s| 2520k|882117 | 0 | 0.0 | 534M| 133 | - | 146 |4991 | 0 | 0 | 0 | 619k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
955.99/956.31 c 909s| 2530k|887479 | 0 | 0.0 | 537M| 133 | - | 146 |4664 | 0 | 0 | 0 | 621k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
959.89/960.21 c 913s| 2540k|892993 | 0 | 0.0 | 540M| 133 | - | 146 |4693 | 0 | 0 | 0 | 624k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
963.89/964.23 c 917s| 2550k|898393 | 0 | 0.0 | 543M| 133 | - | 146 |4889 | 0 | 0 | 0 | 626k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
967.88/968.21 c 920s| 2560k|903857 | 0 | 0.0 | 546M| 133 | - | 146 |5168 | 0 | 0 | 0 | 629k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
971.89/972.25 c 924s| 2570k|909265 | 0 | 0.0 | 549M| 133 | - | 146 |5298 | 0 | 0 | 0 | 631k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
975.88/976.24 c 928s| 2580k|914744 | 0 | 0.0 | 551M| 133 | - | 146 |5354 | 0 | 0 | 0 | 634k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
980.09/980.47 c 932s| 2590k|919913 | 0 | 0.0 | 554M| 133 | - | 146 |5440 | 0 | 0 | 0 | 636k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
984.28/984.66 c 936s| 2600k|925200 | 0 | 0.0 | 557M| 133 | - | 146 |5162 | 0 | 0 | 0 | 639k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
988.59/988.96 c 940s| 2610k|930296 | 0 | 0.0 | 560M| 133 | - | 146 |5268 | 0 | 0 | 0 | 641k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
992.78/993.18 c 944s| 2620k|935578 | 0 | 0.0 | 563M| 133 | - | 146 |5395 | 0 | 0 | 0 | 644k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
997.08/997.49 c 948s| 2630k|940811 | 0 | 0.0 | 565M| 133 | - | 146 |5536 | 0 | 0 | 0 | 647k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
1001.37/1001.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1001.37/1001.72 c 952s| 2640k|946218 | 0 | 0.0 | 568M| 133 | - | 146 |5746 | 0 | 0 | 0 | 649k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
1005.57/1005.91 c 956s| 2650k|951692 | 0 | 0.0 | 571M| 133 | - | 146 |5757 | 0 | 0 | 0 | 652k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
1009.97/1010.33 c 961s| 2660k|957138 | 0 | 0.0 | 574M| 133 | - | 146 |5750 | 0 | 0 | 0 | 654k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
1014.17/1014.59 c 965s| 2670k|962354 | 0 | 0.0 | 577M| 133 | - | 146 |5836 | 0 | 0 | 0 | 657k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
1018.57/1018.96 c 969s| 2680k|967951 | 0 | 0.0 | 580M| 133 | - | 146 |5762 | 0 | 0 | 0 | 659k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
1023.17/1023.52 c 973s| 2690k|972838 | 0 | 0.0 | 583M| 133 | - | 146 |6166 | 0 | 0 | 0 | 662k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
1027.76/1028.12 c 978s| 2700k|977914 | 0 | 0.0 | 586M| 133 | - | 146 |6224 | 0 | 0 | 0 | 664k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
1032.67/1033.07 c 982s| 2710k|982911 | 0 | 0.0 | 589M| 133 | - | 146 |6038 | 0 | 0 | 0 | 667k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
1037.36/1037.73 c 987s| 2720k|987951 | 0 | 0.0 | 592M| 133 | - | 146 |5991 | 0 | 0 | 0 | 670k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
1041.96/1042.35 c 991s| 2730k|993094 | 0 | 0.0 | 595M| 133 | - | 146 |6107 | 0 | 0 | 0 | 672k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
1046.56/1046.94 c 996s| 2740k|998281 | 0 | 0.0 | 598M| 133 | - | 146 |6062 | 0 | 0 | 0 | 675k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
1051.16/1051.54 c 1000s| 2750k| 1003k| 0 | 0.0 | 600M| 133 | - | 146 |5749 | 0 | 0 | 0 | 677k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
1055.85/1056.20 c 1005s| 2760k| 1008k| 0 | 0.0 | 603M| 133 | - | 146 |5905 | 0 | 0 | 0 | 680k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
1060.26/1060.70 c 1009s| 2770k| 1014k| 0 | 0.0 | 606M| 133 | - | 146 |5473 | 0 | 0 | 0 | 682k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
1064.75/1065.18 c 1013s| 2780k| 1019k| 0 | 0.0 | 609M| 133 | - | 146 |5540 | 0 | 0 | 0 | 685k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
1069.15/1069.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1069.15/1069.59 c 1017s| 2790k| 1024k| 0 | 0.0 | 612M| 133 | - | 146 |5580 | 0 | 0 | 0 | 688k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
1073.65/1074.00 c 1022s| 2800k| 1029k| 0 | 0.0 | 615M| 133 | - | 146 |5377 | 0 | 0 | 0 | 690k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
1078.05/1078.42 c 1026s| 2810k| 1034k| 0 | 0.0 | 618M| 133 | - | 146 |5599 | 0 | 0 | 0 | 693k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
1082.55/1082.91 c 1030s| 2820k| 1039k| 0 | 0.0 | 621M| 133 | - | 146 |5620 | 0 | 0 | 0 | 695k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
1087.05/1087.48 c 1035s| 2830k| 1044k| 0 | 0.0 | 624M| 133 | - | 146 |5589 | 0 | 0 | 0 | 698k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
1092.04/1092.42 c 1039s| 2840k| 1049k| 0 | 0.0 | 627M| 133 | - | 146 |5694 | 0 | 0 | 0 | 701k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
1096.75/1097.13 c 1044s| 2850k| 1054k| 0 | 0.0 | 630M| 133 | - | 146 |6093 | 0 | 0 | 0 | 703k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
1101.94/1102.35 c 1049s| 2860k| 1059k| 0 | 0.0 | 632M| 133 | - | 146 |5782 | 0 | 0 | 0 | 706k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
1106.84/1107.23 c 1053s| 2870k| 1063k| 0 | 0.0 | 635M| 133 | - | 146 |5908 | 0 | 0 | 0 | 709k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
1111.55/1111.93 c 1058s| 2880k| 1068k| 0 | 0.0 | 638M| 133 | - | 146 |5965 | 0 | 0 | 0 | 712k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
1116.15/1116.59 c 1062s| 2890k| 1073k| 0 | 0.0 | 641M| 133 | - | 146 |5961 | 0 | 0 | 0 | 714k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
1120.84/1121.27 c 1067s| 2900k| 1079k| 0 | 0.0 | 644M| 133 | - | 146 |6081 | 0 | 0 | 0 | 717k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
1125.64/1126.05 c 1072s| 2910k| 1084k| 0 | 0.0 | 647M| 133 | - | 146 |6478 | 0 | 0 | 0 | 720k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
1129.62/1130.02 o 94
1129.62/1130.02 c *1075s| 2918k| 1086k| 0 | 0.0 | 648M| 133 | - | 146 |6325 | 0 | 0 | 0 | 722k| 0 | 0.000000e+00 | 9.400000e+01 | Inf
1130.52/1130.95 c 1076s| 2920k| 1087k| 0 | 0.0 | 649M| 133 | - | 146 |6392 | 0 | 0 | 0 | 722k| 0 | 0.000000e+00 | 9.400000e+01 | Inf
1135.62/1136.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1135.62/1136.05 c 1081s| 2930k| 1092k| 0 | 0.0 | 652M| 133 | - | 146 |6254 | 0 | 0 | 0 | 725k| 0 | 0.000000e+00 | 9.400000e+01 | Inf
1140.42/1140.88 c 1086s| 2940k| 1097k| 0 | 0.0 | 655M| 133 | - | 146 |6388 | 0 | 0 | 0 | 728k| 0 | 0.000000e+00 | 9.400000e+01 | Inf
1145.51/1145.96 c 1091s| 2950k| 1102k| 0 | 0.0 | 658M| 133 | - | 146 |6430 | 0 | 0 | 0 | 730k| 0 | 0.000000e+00 | 9.400000e+01 | Inf
1150.41/1150.84 c 1095s| 2960k| 1107k| 0 | 0.0 | 661M| 133 | - | 146 |6768 | 0 | 0 | 0 | 733k| 0 | 0.000000e+00 | 9.400000e+01 | Inf
1155.42/1155.87 c 1100s| 2970k| 1112k| 0 | 0.0 | 664M| 133 | - | 146 |6738 | 0 | 0 | 0 | 735k| 0 | 0.000000e+00 | 9.400000e+01 | Inf
1160.71/1161.14 c 1105s| 2980k| 1117k| 0 | 0.0 | 667M| 133 | - | 146 |6719 | 0 | 0 | 0 | 738k| 0 | 0.000000e+00 | 9.400000e+01 | Inf
1166.31/1166.71 c 1111s| 2990k| 1122k| 0 | 0.0 | 670M| 133 | - | 146 |6824 | 0 | 0 | 0 | 741k| 0 | 0.000000e+00 | 9.400000e+01 | Inf
1171.41/1171.84 c 1116s| 3000k| 1127k| 0 | 0.0 | 673M| 133 | - | 146 |6976 | 0 | 0 | 0 | 744k| 0 | 0.000000e+00 | 9.400000e+01 | Inf
1176.91/1177.32 c 1121s| 3010k| 1132k| 0 | 0.0 | 676M| 133 | - | 146 |6862 | 0 | 0 | 0 | 747k| 0 | 0.000000e+00 | 9.400000e+01 | Inf
1182.51/1182.90 c 1126s| 3020k| 1137k| 0 | 0.0 | 679M| 133 | - | 146 |6624 | 0 | 0 | 0 | 750k| 0 | 0.000000e+00 | 9.400000e+01 | Inf
1188.30/1188.80 c 1132s| 3030k| 1141k| 0 | 0.0 | 682M| 133 | - | 146 |6812 | 0 | 0 | 0 | 753k| 0 | 0.000000e+00 | 9.400000e+01 | Inf
1194.40/1194.86 c 1138s| 3040k| 1145k| 0 | 0.0 | 685M| 133 | - | 146 |7047 | 0 | 0 | 0 | 756k| 0 | 0.000000e+00 | 9.400000e+01 | Inf
1200.30/1200.79 c 1143s| 3050k| 1150k| 0 | 0.0 | 687M| 133 | - | 146 |7172 | 0 | 0 | 0 | 759k| 0 | 0.000000e+00 | 9.400000e+01 | Inf
1206.00/1206.48 c 1149s| 3060k| 1154k| 0 | 0.0 | 690M| 133 | - | 146 |7047 | 0 | 0 | 0 | 761k| 0 | 0.000000e+00 | 9.400000e+01 | Inf
1212.09/1212.56 c 1155s| 3070k| 1159k| 0 | 0.0 | 693M| 133 | - | 146 |7099 | 0 | 0 | 0 | 764k| 0 | 0.000000e+00 | 9.400000e+01 | Inf
1217.70/1218.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1217.70/1218.19 c 1160s| 3080k| 1163k| 0 | 0.0 | 696M| 133 | - | 146 |7332 | 0 | 0 | 0 | 767k| 0 | 0.000000e+00 | 9.400000e+01 | Inf
1223.20/1223.62 c 1166s| 3090k| 1168k| 0 | 0.0 | 699M| 133 | - | 146 |7393 | 0 | 0 | 0 | 770k| 0 | 0.000000e+00 | 9.400000e+01 | Inf
1228.69/1229.14 c 1171s| 3100k| 1173k| 0 | 0.0 | 702M| 133 | - | 146 |7414 | 0 | 0 | 0 | 773k| 0 | 0.000000e+00 | 9.400000e+01 | Inf
1233.80/1234.23 c 1176s| 3110k| 1178k| 0 | 0.0 | 705M| 133 | - | 146 |7666 | 0 | 0 | 0 | 775k| 0 | 0.000000e+00 | 9.400000e+01 | Inf
1239.59/1240.03 c 1181s| 3120k| 1183k| 0 | 0.0 | 708M| 133 | - | 146 |7373 | 0 | 0 | 0 | 778k| 0 | 0.000000e+00 | 9.400000e+01 | Inf
1244.80/1245.24 c 1186s| 3130k| 1187k| 0 | 0.0 | 711M| 133 | - | 146 |7505 | 0 | 0 | 0 | 781k| 0 | 0.000000e+00 | 9.400000e+01 | Inf
1250.29/1250.78 c 1192s| 3140k| 1192k| 0 | 0.0 | 714M| 133 | - | 146 |7470 | 0 | 0 | 0 | 784k| 0 | 0.000000e+00 | 9.400000e+01 | Inf
1255.79/1256.28 c 1197s| 3150k| 1197k| 0 | 0.0 | 717M| 133 | - | 146 |7904 | 0 | 0 | 0 | 786k| 0 | 0.000000e+00 | 9.400000e+01 | Inf
1261.58/1262.04 c 1203s| 3160k| 1202k| 0 | 0.0 | 720M| 133 | - | 146 |7794 | 0 | 0 | 0 | 789k| 0 | 0.000000e+00 | 9.400000e+01 | Inf
1267.58/1268.01 c 1208s| 3170k| 1207k| 0 | 0.0 | 723M| 133 | - | 146 |7687 | 0 | 0 | 0 | 792k| 0 | 0.000000e+00 | 9.400000e+01 | Inf
1273.88/1274.38 c 1214s| 3180k| 1212k| 0 | 0.0 | 726M| 133 | - | 146 |7778 | 0 | 0 | 0 | 795k| 0 | 0.000000e+00 | 9.400000e+01 | Inf
1275.08/1275.59 o 93
1275.08/1275.59 c *1216s| 3182k| 1213k| 0 | 0.0 | 727M| 133 | - | 146 |7920 | 0 | 0 | 0 | 795k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
1279.67/1280.13 c 1220s| 3190k| 1216k| 0 | 0.0 | 729M| 133 | - | 146 |8089 | 0 | 0 | 0 | 797k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
1285.87/1286.40 c 1226s| 3200k| 1221k| 0 | 0.0 | 732M| 133 | - | 146 |7717 | 0 | 0 | 0 | 800k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
1292.17/1292.63 c 1232s| 3210k| 1225k| 0 | 0.0 | 735M| 133 | - | 146 |7554 | 0 | 0 | 0 | 803k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
1298.77/1299.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1298.77/1299.20 c 1238s| 3220k| 1229k| 0 | 0.0 | 738M| 133 | - | 146 |7689 | 0 | 0 | 0 | 807k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
1305.57/1306.06 c 1245s| 3230k| 1233k| 0 | 0.0 | 741M| 133 | - | 146 |7821 | 0 | 0 | 0 | 810k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
1312.36/1312.83 c 1252s| 3240k| 1237k| 0 | 0.0 | 744M| 133 | - | 146 |8000 | 0 | 0 | 0 | 813k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
1318.26/1318.79 c 1257s| 3250k| 1242k| 0 | 0.0 | 747M| 133 | - | 146 |8116 | 0 | 0 | 0 | 816k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
1324.97/1325.47 c 1264s| 3260k| 1246k| 0 | 0.0 | 750M| 133 | - | 146 |7963 | 0 | 0 | 0 | 819k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
1331.46/1331.95 c 1270s| 3270k| 1250k| 0 | 0.0 | 753M| 133 | - | 146 |7936 | 0 | 0 | 0 | 822k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
1338.06/1338.55 c 1277s| 3280k| 1254k| 0 | 0.0 | 756M| 133 | - | 146 |8154 | 0 | 0 | 0 | 825k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
1344.86/1345.38 c 1283s| 3290k| 1259k| 0 | 0.0 | 759M| 133 | - | 146 |7965 | 0 | 0 | 0 | 828k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
1351.55/1352.05 c 1290s| 3300k| 1263k| 0 | 0.0 | 762M| 133 | - | 146 |8069 | 0 | 0 | 0 | 831k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
1358.55/1359.09 c 1296s| 3310k| 1267k| 0 | 0.0 | 765M| 133 | - | 146 |8194 | 0 | 0 | 0 | 834k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
1365.45/1365.96 c 1303s| 3320k| 1271k| 0 | 0.0 | 768M| 133 | - | 146 |8321 | 0 | 0 | 0 | 837k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
1372.65/1373.16 c 1310s| 3330k| 1276k| 0 | 0.0 | 771M| 133 | - | 146 |8332 | 0 | 0 | 0 | 840k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
1378.85/1379.37 c 1316s| 3340k| 1280k| 0 | 0.0 | 773M| 133 | - | 146 |8419 | 0 | 0 | 0 | 843k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
1385.25/1385.75 c 1322s| 3350k| 1285k| 0 | 0.0 | 776M| 133 | - | 146 |8426 | 0 | 0 | 0 | 846k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
1391.34/1391.86 c 1328s| 3360k| 1289k| 0 | 0.0 | 779M| 133 | - | 146 |8476 | 0 | 0 | 0 | 849k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
1397.34/1397.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1397.34/1397.85 c 1334s| 3370k| 1294k| 0 | 0.0 | 782M| 133 | - | 146 |8619 | 0 | 0 | 0 | 852k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
1403.84/1404.37 c 1340s| 3380k| 1298k| 0 | 0.0 | 786M| 133 | - | 146 |8747 | 0 | 0 | 0 | 855k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
1410.23/1410.77 c 1347s| 3390k| 1303k| 0 | 0.0 | 789M| 133 | - | 146 |8711 | 0 | 0 | 0 | 858k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
1416.93/1417.45 c 1353s| 3400k| 1307k| 0 | 0.0 | 792M| 133 | - | 146 |8849 | 0 | 0 | 0 | 861k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
1418.14/1418.61 o 92
1418.14/1418.61 c *1354s| 3401k| 1307k| 0 | 0.0 | 791M| 133 | - | 146 |8742 | 0 | 0 | 0 | 861k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
1423.93/1424.46 c 1360s| 3410k| 1310k| 0 | 0.0 | 794M| 133 | - | 146 |8715 | 0 | 0 | 0 | 864k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
1430.33/1430.87 c 1366s| 3420k| 1315k| 0 | 0.0 | 797M| 133 | - | 146 |8909 | 0 | 0 | 0 | 867k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
1437.14/1437.61 c 1373s| 3430k| 1320k| 0 | 0.0 | 800M| 133 | - | 146 |8678 | 0 | 0 | 0 | 870k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
1444.02/1444.57 c 1379s| 3440k| 1324k| 0 | 0.0 | 803M| 133 | - | 146 |8069 | 0 | 0 | 0 | 873k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
1451.22/1451.76 c 1386s| 3450k| 1328k| 0 | 0.0 | 806M| 133 | - | 146 |8146 | 0 | 0 | 0 | 876k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
1458.42/1458.97 c 1393s| 3460k| 1332k| 0 | 0.0 | 809M| 133 | - | 146 |8184 | 0 | 0 | 0 | 879k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
1465.83/1466.33 c 1400s| 3470k| 1336k| 0 | 0.0 | 812M| 133 | - | 146 |8286 | 0 | 0 | 0 | 882k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
1472.22/1472.73 c 1407s| 3480k| 1340k| 0 | 0.0 | 814M| 133 | - | 146 |8106 | 0 | 0 | 0 | 886k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
1479.31/1479.84 c 1414s| 3490k| 1344k| 0 | 0.0 | 817M| 133 | - | 146 |8044 | 0 | 0 | 0 | 889k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
1486.21/1486.71 c 1420s| 3500k| 1348k| 0 | 0.0 | 820M| 133 | - | 146 |7932 | 0 | 0 | 0 | 892k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
1492.82/1493.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1492.82/1493.30 c 1427s| 3510k| 1352k| 0 | 0.0 | 823M| 133 | - | 146 |8143 | 0 | 0 | 0 | 895k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
1499.61/1500.15 c 1433s| 3520k| 1356k| 0 | 0.0 | 826M| 133 | - | 146 |8024 | 0 | 0 | 0 | 899k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
1506.91/1507.45 c 1440s| 3530k| 1360k| 0 | 0.0 | 829M| 133 | - | 146 |8034 | 0 | 0 | 0 | 902k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
1514.11/1514.65 c 1447s| 3540k| 1363k| 0 | 0.0 | 832M| 133 | - | 146 |8313 | 0 | 0 | 0 | 905k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
1521.70/1522.23 c 1455s| 3550k| 1367k| 0 | 0.0 | 835M| 133 | - | 146 |8404 | 0 | 0 | 0 | 908k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
1528.70/1529.29 c 1462s| 3560k| 1371k| 0 | 0.0 | 838M| 133 | - | 146 |8409 | 0 | 0 | 0 | 911k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
1536.40/1536.99 c 1469s| 3570k| 1375k| 0 | 0.0 | 841M| 133 | - | 146 |8388 | 0 | 0 | 0 | 915k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
1543.70/1544.20 c 1476s| 3580k| 1379k| 0 | 0.0 | 844M| 133 | - | 146 |8610 | 0 | 0 | 0 | 918k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
1550.41/1550.93 c 1483s| 3590k| 1383k| 0 | 0.0 | 847M| 133 | - | 146 |8559 | 0 | 0 | 0 | 921k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
1557.79/1558.35 c 1490s| 3600k| 1387k| 0 | 0.0 | 850M| 133 | - | 146 |8683 | 0 | 0 | 0 | 925k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
1565.29/1565.87 c 1497s| 3610k| 1391k| 0 | 0.0 | 853M| 133 | - | 146 |8736 | 0 | 0 | 0 | 928k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
1572.89/1573.46 c 1505s| 3620k| 1394k| 0 | 0.0 | 856M| 133 | - | 146 |8820 | 0 | 0 | 0 | 931k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
1580.39/1580.97 c 1512s| 3630k| 1398k| 0 | 0.0 | 859M| 133 | - | 146 |9033 | 0 | 0 | 0 | 934k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
1587.59/1588.14 c 1519s| 3640k| 1402k| 0 | 0.0 | 862M| 133 | - | 146 |9088 | 0 | 0 | 0 | 938k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
1594.39/1594.92 c 1525s| 3650k| 1407k| 0 | 0.0 | 865M| 133 | - | 146 |9216 | 0 | 0 | 0 | 941k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
1601.48/1602.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1601.48/1602.09 c 1532s| 3660k| 1411k| 0 | 0.0 | 868M| 133 | - | 146 |9383 | 0 | 0 | 0 | 944k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
1609.79/1610.38 c 1540s| 3670k| 1414k| 0 | 0.0 | 871M| 133 | - | 146 |9483 | 0 | 0 | 0 | 947k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
1616.98/1617.54 c 1547s| 3680k| 1418k| 0 | 0.0 | 874M| 133 | - | 146 |9521 | 0 | 0 | 0 | 950k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
1624.27/1624.80 c 1554s| 3690k| 1423k| 0 | 0.0 | 877M| 133 | - | 146 |9686 | 0 | 0 | 0 | 953k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
1631.88/1632.46 c 1562s| 3700k| 1427k| 0 | 0.0 | 880M| 133 | - | 146 |9623 | 0 | 0 | 0 | 956k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
1639.37/1639.95 c 1569s| 3710k| 1431k| 0 | 0.0 | 883M| 133 | - | 146 |9843 | 0 | 0 | 0 | 960k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
1646.77/1647.30 c 1576s| 3720k| 1435k| 0 | 0.0 | 886M| 133 | - | 146 |9885 | 0 | 0 | 0 | 963k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
1654.67/1655.22 c 1584s| 3730k| 1439k| 0 | 0.0 | 889M| 133 | - | 146 |9558 | 0 | 0 | 0 | 966k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
1662.57/1663.15 c 1592s| 3740k| 1443k| 0 | 0.0 | 892M| 133 | - | 146 |9444 | 0 | 0 | 0 | 969k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
1670.96/1671.51 c 1600s| 3750k| 1447k| 0 | 0.0 | 896M| 133 | - | 146 |9584 | 0 | 0 | 0 | 973k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
1679.66/1680.29 c 1608s| 3760k| 1450k| 0 | 0.0 | 899M| 133 | - | 146 |9589 | 0 | 0 | 0 | 976k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
1686.77/1687.39 c 1615s| 3770k| 1454k| 0 | 0.0 | 902M| 133 | - | 146 |9780 | 0 | 0 | 0 | 979k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
1694.95/1695.55 c 1623s| 3780k| 1458k| 0 | 0.0 | 905M| 133 | - | 146 |9723 | 0 | 0 | 0 | 983k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
1703.16/1703.78 c 1631s| 3790k| 1462k| 0 | 0.0 | 908M| 133 | - | 146 |9554 | 0 | 0 | 0 | 986k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
1710.86/1711.45 c 1639s| 3800k| 1466k| 0 | 0.0 | 911M| 133 | - | 146 |9795 | 0 | 0 | 0 | 989k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
1719.15/1719.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1719.15/1719.75 c 1647s| 3810k| 1469k| 0 | 0.0 | 914M| 133 | - | 146 |9726 | 0 | 0 | 0 | 993k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
1728.05/1728.61 c 1656s| 3820k| 1473k| 0 | 0.0 | 917M| 133 | - | 146 |9747 | 0 | 0 | 0 | 996k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
1736.64/1737.20 c 1664s| 3830k| 1476k| 0 | 0.0 | 920M| 133 | - | 146 |9811 | 0 | 0 | 0 |1000k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
1745.15/1745.79 c 1672s| 3840k| 1480k| 0 | 0.0 | 923M| 133 | - | 146 | 10k| 0 | 0 | 0 |1003k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
1753.54/1754.19 c 1681s| 3850k| 1484k| 0 | 0.0 | 926M| 133 | - | 146 |9948 | 0 | 0 | 0 |1006k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
1762.04/1762.67 c 1689s| 3860k| 1487k| 0 | 0.0 | 929M| 133 | - | 146 | 10k| 0 | 0 | 0 |1010k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
1770.63/1771.25 c 1697s| 3870k| 1491k| 0 | 0.0 | 932M| 133 | - | 146 |9958 | 0 | 0 | 0 |1013k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
1778.23/1778.84 c 1705s| 3880k| 1495k| 0 | 0.0 | 935M| 133 | - | 146 |9958 | 0 | 0 | 0 |1016k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
1786.73/1787.38 c 1713s| 3890k| 1499k| 0 | 0.0 | 938M| 133 | - | 146 | 10k| 0 | 0 | 0 |1020k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
1795.53/1796.10 c 1721s| 3900k| 1502k| 0 | 0.0 | 941M| 133 | - | 146 | 10k| 0 | 0 | 0 |1023k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
1800.04/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.61 c
1800.04/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.61 c Solving Time (sec) : 1725.75
1800.04/1800.61 c Solving Nodes : 3905197
1800.04/1800.61 c Primal Bound : +9.20000000000000e+01 (9 solutions)
1800.04/1800.61 c Dual Bound : +0.00000000000000e+00
1800.04/1800.61 c Gap : infinite
1800.04/1800.61 s SATISFIABLE
1800.04/1800.61 v x117 -x146 x145 -x144 -x143 x142 x141 -x140 x139 -x138 x137 x136 x135 x134 x133 x132 x131 x130 -x129 x128 -x127 x126 x125 -x124
1800.04/1800.61 v -x123 x122 x121 x120 x119 -x118 x116 -x115 x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105 -x104 -x103 -x102 x101 -x100
1800.04/1800.61 v x99 -x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 x86 -x85 -x84 -x83 x82 x81 -x80 -x79 -x78 -x77 -x76 -x75
1800.04/1800.61 v -x74 -x73 -x72 -x71 -x70 x69 x68 x67 x66 x65 -x64 -x63 -x62 -x61 -x60 x59 x58 x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48
1800.04/1800.61 v -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 x28 x27 -x26 -x25 -x24 -x23
1800.04/1800.61 v -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 x11 x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.04/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.61 c Solving Time : 1725.75
1800.04/1800.61 c Original Problem :
1800.04/1800.61 c Problem name : HOME/instance-2664227-1276602134.opb
1800.04/1800.61 c Variables : 146 (146 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.61 c Constraints : 12 initial, 12 maximal
1800.04/1800.61 c Presolved Problem :
1800.04/1800.61 c Problem name : t_HOME/instance-2664227-1276602134.opb
1800.04/1800.61 c Variables : 146 (146 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.61 c Constraints : 6 initial, 10240 maximal
1800.04/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.61 c linear : 0.00 0 0 0 0 0 6 0 0
1800.04/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c root node : - 0 - - 0 - - - -
1800.04/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.61 c linear : 6 0 7892007 0 3046289 754664 19543541 0 0 0
1800.04/1800.61 c logicor : 0+ 0 2176086 0 0 45312 1289324 0 0 0
1800.04/1800.61 c countsols : 0 0 0 0 3046292 0 0 0 0 0
1800.04/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.61 c linear : 515.51 0.00 513.32 0.00 2.19
1800.04/1800.61 c logicor : 459.94 0.00 459.94 0.00 0.00
1800.04/1800.61 c countsols : 1.24 0.00 0.00 0.00 1.24
1800.04/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.61 c vbounds : 4.40 2 0 0
1800.04/1800.61 c rootredcost : 3.97 0 0 0
1800.04/1800.61 c pseudoobj : 119.63 8172957 281147 11810416
1800.04/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.61 c propagation : 164.72 1081121 1010296 3249156 42.0 2078 48.6 -
1800.04/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.61 c pseudo solution : 0.00 16 16 21 8.5 0 0.0 -
1800.04/1800.61 c applied globally : - - - 448167 27.1 - - -
1800.04/1800.61 c applied locally : - - - 577174 39.9 - - -
1800.04/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.61 c redcost : 0.00 0 0 0 0 0
1800.04/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.61 c intobj : 0.00 0 0 0 0 0
1800.04/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.61 c gomory : 0.00 0 0 0 0 0
1800.04/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.61 c cmir : 0.00 0 0 0 0 0
1800.04/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.61 c clique : 0.00 0 0 0 0 0
1800.04/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.61 c mcf : 0.00 0 0 0 0 0
1800.04/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.61 c Pricers : Time Calls Vars
1800.04/1800.61 c problem variables: 0.00 0 0
1800.04/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.61 c inference : 67.43 3046283 0 0 0 0 6092566
1800.04/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.61 c random : 0.00 0 0 0 0 0 0
1800.04/1800.61 c Primal Heuristics : Time Calls Found
1800.04/1800.61 c LP solutions : 0.00 - 0
1800.04/1800.61 c pseudo solutions : 1.27 - 9
1800.04/1800.61 c oneopt : 2.63 0 0
1800.04/1800.61 c trivial : 0.00 2 0
1800.04/1800.61 c simplerounding : 0.00 0 0
1800.04/1800.61 c zirounding : 0.00 0 0
1800.04/1800.61 c rounding : 0.00 0 0
1800.04/1800.61 c shifting : 0.00 0 0
1800.04/1800.61 c intshifting : 0.00 0 0
1800.04/1800.61 c twoopt : 0.00 0 0
1800.04/1800.61 c fixandinfer : 0.00 0 0
1800.04/1800.61 c feaspump : 0.00 0 0
1800.04/1800.61 c coefdiving : 0.00 0 0
1800.04/1800.61 c pscostdiving : 0.00 0 0
1800.04/1800.61 c fracdiving : 0.00 0 0
1800.04/1800.61 c veclendiving : 0.00 0 0
1800.04/1800.61 c intdiving : 0.00 0 0
1800.04/1800.61 c actconsdiving : 0.00 0 0
1800.04/1800.61 c objpscostdiving : 0.00 0 0
1800.04/1800.61 c rootsoldiving : 0.00 0 0
1800.04/1800.61 c linesearchdiving : 0.00 0 0
1800.04/1800.61 c guideddiving : 0.00 0 0
1800.04/1800.61 c octane : 0.00 0 0
1800.04/1800.61 c rens : 0.00 0 0
1800.04/1800.61 c rins : 0.00 0 0
1800.04/1800.61 c localbranching : 0.00 0 0
1800.04/1800.61 c mutation : 0.00 0 0
1800.04/1800.61 c crossover : 0.00 0 0
1800.04/1800.61 c dins : 0.00 0 0
1800.04/1800.61 c undercover : 0.00 0 0
1800.04/1800.61 c nlp : 1.61 0 0
1800.04/1800.61 c trysol : 1.82 0 0
1800.04/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.61 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.61 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.61 c (at root node) : - 0 0 0.00 -
1800.04/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.61 c B&B Tree :
1800.04/1800.61 c number of runs : 1
1800.04/1800.61 c nodes : 3905197
1800.04/1800.61 c nodes (total) : 3905197
1800.04/1800.61 c nodes left : 1504647
1800.04/1800.61 c max depth : 133
1800.04/1800.61 c max depth (total): 133
1800.04/1800.61 c backtracks : 273931 (7.0%)
1800.04/1800.61 c delayed cutoffs : 222833
1800.04/1800.61 c repropagations : 1518334 (6058989 domain reductions, 222234 cutoffs)
1800.04/1800.61 c avg switch length: 5.13
1800.04/1800.61 c switching time : 336.25
1800.04/1800.61 c Solution :
1800.04/1800.61 c Solutions found : 9 (9 improvements)
1800.04/1800.61 c First Solution : +1.45000000000000e+02 (in run 1, after 511834 nodes, 68.92 seconds, depth 78, found by <relaxation>)
1800.04/1800.61 c Primal Bound : +9.20000000000000e+01 (in run 1, after 3401514 nodes, 1354.08 seconds, depth 45, found by <relaxation>)
1800.04/1800.61 c Dual Bound : +0.00000000000000e+00
1800.04/1800.61 c Gap : infinite
1800.04/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.61 c Root Iterations : 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664227-1276602134/watcher-2664227-1276602134 -o /tmp/evaluation-result-2664227-1276602134/solver-2664227-1276602134 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664227-1276602134.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.10 1.04 1.00 3/106 9448
/proc/meminfo: memFree=1858208/2059040 swapFree=4187148/4192956
[pid=9448] ppid=9446 vsize=6584 CPUtime=0
/proc/9448/stat : 9448 (pbscip.linux.x8) R 9446 9448 2334 0 -1 4202496 996 0 0 0 0 0 0 0 20 0 1 0 1505323 6742016 918 1992294400 4194304 7136930 140737045210400 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9448/statm: 1646 928 254 719 0 925 0
[startup+0.0238989 s]
/proc/loadavg: 1.10 1.04 1.00 3/106 9448
/proc/meminfo: memFree=1858208/2059040 swapFree=4187148/4192956
[pid=9448] ppid=9446 vsize=10100 CPUtime=0.02
/proc/9448/stat : 9448 (pbscip.linux.x8) R 9446 9448 2334 0 -1 4202496 2449 0 0 0 1 1 0 0 20 0 1 0 1505323 10342400 1761 1992294400 4194304 7136930 140737045210400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9448/statm: 2525 1761 353 719 0 1804 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10100
[startup+0.100907 s]
/proc/loadavg: 1.10 1.04 1.00 3/106 9448
/proc/meminfo: memFree=1858208/2059040 swapFree=4187148/4192956
[pid=9448] ppid=9446 vsize=11532 CPUtime=0.09
/proc/9448/stat : 9448 (pbscip.linux.x8) R 9446 9448 2334 0 -1 4202496 2827 0 0 0 8 1 0 0 20 0 1 0 1505323 11808768 2139 1992294400 4194304 7136930 140737045210400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9448/statm: 2883 2139 383 719 0 2162 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11532
[startup+0.300927 s]
/proc/loadavg: 1.10 1.04 1.00 3/106 9448
/proc/meminfo: memFree=1858208/2059040 swapFree=4187148/4192956
[pid=9448] ppid=9446 vsize=12428 CPUtime=0.29
/proc/9448/stat : 9448 (pbscip.linux.x8) R 9446 9448 2334 0 -1 4202496 3063 0 0 0 26 3 0 0 20 0 1 0 1505323 12726272 2375 1992294400 4194304 7136930 140737045210400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9448/statm: 3107 2375 383 719 0 2386 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12428
[startup+0.700966 s]
/proc/loadavg: 1.10 1.04 1.00 3/106 9448
/proc/meminfo: memFree=1858208/2059040 swapFree=4187148/4192956
[pid=9448] ppid=9446 vsize=14040 CPUtime=0.69
/proc/9448/stat : 9448 (pbscip.linux.x8) R 9446 9448 2334 0 -1 4202496 3473 0 0 0 62 7 0 0 21 0 1 0 1505323 14376960 2785 1992294400 4194304 7136930 140737045210400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9448/statm: 3510 2785 383 719 0 2789 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14040
[startup+1.50105 s]
/proc/loadavg: 1.10 1.04 1.00 2/107 9449
/proc/meminfo: memFree=1847412/2059040 swapFree=4187148/4192956
[pid=9448] ppid=9446 vsize=16020 CPUtime=1.49
/proc/9448/stat : 9448 (pbscip.linux.x8) R 9446 9448 2334 0 -1 4202496 3996 0 0 0 134 15 0 0 23 0 1 0 1505323 16404480 3308 1992294400 4194304 7136930 140737045210400 18446744073709551615 4981165 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9448/statm: 4005 3308 383 719 0 3284 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16020
[startup+3.1012 s]
/proc/loadavg: 1.09 1.04 1.00 2/107 9449
/proc/meminfo: memFree=1844436/2059040 swapFree=4187148/4192956
[pid=9448] ppid=9446 vsize=21000 CPUtime=3.09
/proc/9448/stat : 9448 (pbscip.linux.x8) R 9446 9448 2334 0 -1 4202496 5306 0 0 0 275 34 0 0 25 0 1 0 1505323 21504000 4618 1992294400 4194304 7136930 140737045210400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9448/statm: 5250 4618 383 719 0 4529 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21000
[startup+6.30052 s]
/proc/loadavg: 1.09 1.04 1.00 2/107 9449
/proc/meminfo: memFree=1833400/2059040 swapFree=4187148/4192956
[pid=9448] ppid=9446 vsize=31400 CPUtime=6.29
/proc/9448/stat : 9448 (pbscip.linux.x8) R 9446 9448 2334 0 -1 4202496 7979 0 0 0 564 65 0 0 25 0 1 0 1505323 32153600 7291 1992294400 4194304 7136930 140737045210400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9448/statm: 7850 7291 383 719 0 7129 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 31400
[startup+12.7012 s]
/proc/loadavg: 1.08 1.03 1.00 2/107 9449
/proc/meminfo: memFree=1815172/2059040 swapFree=4187148/4192956
[pid=9448] ppid=9446 vsize=49484 CPUtime=12.69
/proc/9448/stat : 9448 (pbscip.linux.x8) R 9446 9448 2334 0 -1 4202496 12091 0 0 0 1145 124 0 0 25 0 1 0 1505323 50671616 11403 1992294400 4194304 7136930 140737045210400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9448/statm: 12371 11403 383 719 0 11650 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49484
[startup+25.5014 s]
/proc/loadavg: 1.07 1.03 1.00 2/107 9451
/proc/meminfo: memFree=1774004/2059040 swapFree=4187148/4192956
[pid=9448] ppid=9446 vsize=87676 CPUtime=25.48
/proc/9448/stat : 9448 (pbscip.linux.x8) R 9446 9448 2334 0 -1 4202496 22013 0 0 0 2283 265 0 0 25 0 1 0 1505323 89780224 21325 1992294400 4194304 7136930 140737045210400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9448/statm: 21919 21325 383 719 0 21198 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 87676
[startup+51.1006 s]
/proc/loadavg: 1.04 1.03 1.00 2/107 9451
/proc/meminfo: memFree=1688444/2059040 swapFree=4187148/4192956
[pid=9448] ppid=9446 vsize=174928 CPUtime=51.08
/proc/9448/stat : 9448 (pbscip.linux.x8) R 9446 9448 2334 0 -1 4202496 43588 0 0 0 4551 557 0 0 25 0 1 0 1505323 179126272 42900 1992294400 4194304 7136930 140737045210400 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9448/statm: 43732 42900 383 719 0 43011 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 174928
[startup+102.308 s]
/proc/loadavg: 1.05 1.04 1.00 2/107 9453
/proc/meminfo: memFree=1631404/2059040 swapFree=4187148/4192956
[pid=9448] ppid=9446 vsize=237232 CPUtime=102.27
/proc/9448/stat : 9448 (pbscip.linux.x8) R 9446 9448 2334 0 -1 4202496 57531 0 0 0 9265 962 0 0 25 0 1 0 1505323 242925568 56809 1992294400 4194304 7136930 140737045210400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9448/statm: 59308 56809 383 719 0 58587 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 237232
[startup+162.301 s]
/proc/loadavg: 1.07 1.04 1.00 2/107 9453
/proc/meminfo: memFree=1611564/2059040 swapFree=4187148/4192956
[pid=9448] ppid=9446 vsize=257320 CPUtime=162.24
/proc/9448/stat : 9448 (pbscip.linux.x8) R 9446 9448 2334 0 -1 4202496 62480 0 0 0 14873 1351 0 0 25 0 1 0 1505323 263495680 61758 1992294400 4194304 7136930 140737045210400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9448/statm: 64330 61758 383 719 0 63609 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 257320
[startup+222.301 s]
/proc/loadavg: 1.02 1.03 1.00 2/107 9455
/proc/meminfo: memFree=1576224/2059040 swapFree=4187148/4192956
[pid=9448] ppid=9446 vsize=292540 CPUtime=222.23
/proc/9448/stat : 9448 (pbscip.linux.x8) R 9446 9448 2334 0 -1 4202496 71316 0 0 0 20540 1683 0 0 25 0 1 0 1505323 299560960 70594 1992294400 4194304 7136930 140737045210400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9448/statm: 73135 70594 383 719 0 72414 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 292540
[startup+282.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 9457
/proc/meminfo: memFree=1537288/2059040 swapFree=4187148/4192956
[pid=9448] ppid=9446 vsize=331088 CPUtime=282.2
/proc/9448/stat : 9448 (pbscip.linux.x8) R 9446 9448 2334 0 -1 4202496 81182 0 0 0 26257 1963 0 0 25 0 1 0 1505323 339034112 80460 1992294400 4194304 7136930 140737045210400 18446744073709551615 4999867 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9448/statm: 82772 80460 383 719 0 82051 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 331088
[startup+342.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 9459
/proc/meminfo: memFree=1503188/2059040 swapFree=4187148/4192956
[pid=9448] ppid=9446 vsize=363424 CPUtime=342.19
/proc/9448/stat : 9448 (pbscip.linux.x8) R 9446 9448 2334 0 -1 4202496 89438 0 0 0 32012 2207 0 0 25 0 1 0 1505323 372146176 88716 1992294400 4194304 7136930 140737045210400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9448/statm: 90856 88716 383 719 0 90135 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 363424
[startup+402.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 9461
/proc/meminfo: memFree=1476900/2059040 swapFree=4187148/4192956
[pid=9448] ppid=9446 vsize=389256 CPUtime=402.16
/proc/9448/stat : 9448 (pbscip.linux.x8) R 9446 9448 2334 0 -1 4202496 96008 0 0 0 37803 2413 0 0 25 0 1 0 1505323 398598144 95286 1992294400 4194304 7136930 140737045210400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9448/statm: 97314 95286 383 719 0 96593 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 389256
[startup+462.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 9461
/proc/meminfo: memFree=1473552/2059040 swapFree=4187148/4192956
[pid=9448] ppid=9446 vsize=392316 CPUtime=462.14
/proc/9448/stat : 9448 (pbscip.linux.x8) R 9446 9448 2334 0 -1 4202496 96774 0 0 0 43663 2551 0 0 25 0 1 0 1505323 401731584 96052 1992294400 4194304 7136930 140737045210400 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9448/statm: 98079 96052 383 719 0 97358 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 392316
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9463
/proc/meminfo: memFree=1472684/2059040 swapFree=4187148/4192956
[pid=9448] ppid=9446 vsize=393560 CPUtime=522.12
/proc/9448/stat : 9448 (pbscip.linux.x8) R 9446 9448 2334 0 -1 4202496 96982 0 0 0 49562 2650 0 0 25 0 1 0 1505323 403005440 96260 1992294400 4194304 7136930 140737045210400 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9448/statm: 98390 96260 383 719 0 97669 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 393560
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9465
/proc/meminfo: memFree=1465244/2059040 swapFree=4187148/4192956
[pid=9448] ppid=9446 vsize=401392 CPUtime=582.1
/proc/9448/stat : 9448 (pbscip.linux.x8) R 9446 9448 2334 0 -1 4202496 98810 0 0 0 55466 2744 0 0 25 0 1 0 1505323 411025408 98088 1992294400 4194304 7136930 140737045210400 18446744073709551615 4677954 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9448/statm: 100348 98088 383 719 0 99627 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 401392
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9467
/proc/meminfo: memFree=1445032/2059040 swapFree=4187148/4192956
[pid=9448] ppid=9446 vsize=421532 CPUtime=642.09
/proc/9448/stat : 9448 (pbscip.linux.x8) R 9446 9448 2334 0 -1 4202496 103833 0 0 0 61115 3094 0 0 25 0 1 0 1505323 431648768 103111 1992294400 4194304 7136930 140737045210400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9448/statm: 105383 103111 383 719 0 104662 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 421532
[startup+702.302 s]
################
# More data... #
################
/proc/9448/stat : 9448 (pbscip.linux.x8) R 9446 9448 2334 0 -1 4202496 169461 0 0 0 101044 5152 0 0 25 0 1 0 1505323 711704576 168739 1992294400 4194304 7136930 140737045210400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9448/statm: 173756 168739 384 719 0 173035 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 695024
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9479
/proc/meminfo: memFree=1141480/2059040 swapFree=4187148/4192956
[pid=9448] ppid=9446 vsize=733732 CPUtime=1121.93
/proc/9448/stat : 9448 (pbscip.linux.x8) R 9446 9448 2334 0 -1 4202496 179427 0 0 0 106792 5401 0 0 25 0 1 0 1505323 751341568 178705 1992294400 4194304 7136930 140737045210400 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9448/statm: 183433 178705 384 719 0 182712 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 733732
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9490
/proc/meminfo: memFree=1109116/2059040 swapFree=4187148/4192956
[pid=9448] ppid=9446 vsize=765276 CPUtime=1181.9
/proc/9448/stat : 9448 (pbscip.linux.x8) R 9446 9448 2334 0 -1 4202496 187568 0 0 0 112562 5628 0 0 25 0 1 0 1505323 783642624 186846 1992294400 4194304 7136930 140737045210400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9448/statm: 191319 186846 384 719 0 190598 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 765276
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9492
/proc/meminfo: memFree=1077620/2059040 swapFree=4187148/4192956
[pid=9448] ppid=9446 vsize=795620 CPUtime=1241.88
/proc/9448/stat : 9448 (pbscip.linux.x8) R 9446 9448 2334 0 -1 4202496 195248 0 0 0 118352 5836 0 0 25 0 1 0 1505323 814714880 194526 1992294400 4194304 7136930 140737045210400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9448/statm: 198905 194526 384 719 0 198184 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 795620
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9494
/proc/meminfo: memFree=1044264/2059040 swapFree=4187148/4192956
[pid=9448] ppid=9446 vsize=827812 CPUtime=1301.87
/proc/9448/stat : 9448 (pbscip.linux.x8) R 9446 9448 2334 0 -1 4202496 203512 0 0 0 124143 6044 0 0 25 0 1 0 1505323 847679488 202790 1992294400 4194304 7136930 140737045210400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9448/statm: 206953 202790 384 719 0 206232 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 827812
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9494
/proc/meminfo: memFree=1018968/2059040 swapFree=4187148/4192956
[pid=9448] ppid=9446 vsize=852408 CPUtime=1361.85
/proc/9448/stat : 9448 (pbscip.linux.x8) R 9446 9448 2334 0 -1 4202496 209844 0 0 0 129957 6228 0 0 25 0 1 0 1505323 872865792 209122 1992294400 4194304 7136930 140737045210400 18446744073709551615 4948367 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9448/statm: 213102 209122 384 719 0 212381 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 852408
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9496
/proc/meminfo: memFree=986604/2059040 swapFree=4187148/4192956
[pid=9448] ppid=9446 vsize=884000 CPUtime=1421.84
/proc/9448/stat : 9448 (pbscip.linux.x8) R 9446 9448 2334 0 -1 4202496 217898 0 0 0 135770 6414 0 0 25 0 1 0 1505323 905216000 217176 1992294400 4194304 7136930 140737045210400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9448/statm: 221000 217176 384 719 0 220279 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 884000
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9498
/proc/meminfo: memFree=965276/2059040 swapFree=4187148/4192956
[pid=9448] ppid=9446 vsize=905840 CPUtime=1481.81
/proc/9448/stat : 9448 (pbscip.linux.x8) R 9446 9448 2334 0 -1 4202496 223372 0 0 0 141600 6581 0 0 25 0 1 0 1505323 927580160 222650 1992294400 4194304 7136930 140737045210400 18446744073709551615 4659942 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9448/statm: 226460 222650 384 719 0 225739 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 905840
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9500
/proc/meminfo: memFree=935144/2059040 swapFree=4187148/4192956
[pid=9448] ppid=9446 vsize=934540 CPUtime=1541.8
/proc/9448/stat : 9448 (pbscip.linux.x8) R 9446 9448 2334 0 -1 4202496 230712 0 0 0 147423 6757 0 0 25 0 1 0 1505323 956968960 229990 1992294400 4194304 7136930 140737045210400 18446744073709551615 5004474 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9448/statm: 233635 229990 384 719 0 232914 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 934540
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9502
/proc/meminfo: memFree=914188/2059040 swapFree=4187148/4192956
[pid=9448] ppid=9446 vsize=955484 CPUtime=1601.78
/proc/9448/stat : 9448 (pbscip.linux.x8) R 9446 9448 2334 0 -1 4202496 236045 0 0 0 153257 6921 0 0 25 0 1 0 1505323 978415616 235323 1992294400 4194304 7136930 140737045210400 18446744073709551615 4210120 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9448/statm: 238871 235323 384 719 0 238150 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 955484
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9502
/proc/meminfo: memFree=889636/2059040 swapFree=4187148/4192956
[pid=9448] ppid=9446 vsize=978956 CPUtime=1661.76
/proc/9448/stat : 9448 (pbscip.linux.x8) R 9446 9448 2334 0 -1 4202496 242040 0 0 0 159094 7082 0 0 25 0 1 0 1505323 1002450944 241318 1992294400 4194304 7136930 140737045210400 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9448/statm: 244739 241318 384 719 0 244018 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 978956
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9504
/proc/meminfo: memFree=868556/2059040 swapFree=4187148/4192956
[pid=9448] ppid=9446 vsize=1000432 CPUtime=1721.75
/proc/9448/stat : 9448 (pbscip.linux.x8) R 9446 9448 2334 0 -1 4202496 247531 0 0 0 164942 7233 0 0 25 0 1 0 1505323 1024442368 246809 1992294400 4194304 7136930 140737045210400 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9448/statm: 250108 246809 384 719 0 249387 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 1000432
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9506
/proc/meminfo: memFree=845244/2059040 swapFree=4187148/4192956
[pid=9448] ppid=9446 vsize=1022740 CPUtime=1781.73
/proc/9448/stat : 9448 (pbscip.linux.x8) R 9446 9448 2334 0 -1 4202496 253025 0 0 0 170789 7384 0 0 25 0 1 0 1505323 1047285760 252303 1992294400 4194304 7136930 140737045210400 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9448/statm: 255685 252303 384 719 0 254964 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 1022740
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9506
/proc/meminfo: memFree=835448/2059040 swapFree=4187148/4192956
[pid=9448] ppid=9446 vsize=1032460 CPUtime=1800.04
/proc/9448/stat : 9448 (pbscip.linux.x8) R 9446 9448 2334 0 -1 4202496 255495 0 0 0 172575 7429 0 0 25 0 1 0 1505323 1057239040 254773 1992294400 4194304 7136930 140737045210400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9448/statm: 258115 254773 384 719 0 257394 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1032460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -9448
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9506
/proc/meminfo: memFree=835448/2059040 swapFree=4187148/4192956
[pid=9448] ppid=9446 vsize=1032460 CPUtime=1800.83
/proc/9448/stat : 9448 (pbscip.linux.x8) R 9446 9448 2334 0 -1 4202496 255505 0 0 0 172653 7430 0 0 25 0 1 0 1505323 1057239040 254783 1992294400 4194304 7136930 140737045210400 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9448/statm: 258115 254783 390 719 0 257394 0
Current children cumulated CPU time (s) 1800.83
Current children cumulated vsize (KiB) 1032460
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9507
/proc/meminfo: memFree=835192/2059040 swapFree=4187148/4192956
[pid=9448] ppid=9446 vsize=1032460 CPUtime=1801.63
/proc/9448/stat : 9448 (pbscip.linux.x8) R 9446 9448 2334 0 -1 4202496 255505 0 0 0 172733 7430 0 0 25 0 1 0 1505323 1057239040 254783 1992294400 4194304 7136930 140737045210400 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9448/statm: 258115 254783 390 719 0 257394 0
Current children cumulated CPU time (s) 1801.63
Current children cumulated vsize (KiB) 1032460
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9507
/proc/meminfo: memFree=835192/2059040 swapFree=4187148/4192956
[pid=9448] ppid=9446 vsize=1032460 CPUtime=1802.03
/proc/9448/stat : 9448 (pbscip.linux.x8) R 9446 9448 2334 0 -1 4202496 255505 0 0 0 172773 7430 0 0 25 0 1 0 1505323 1057239040 254783 1992294400 4194304 7136930 140737045210400 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9448/statm: 258115 254783 390 719 0 257394 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 1032460
[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9507
/proc/meminfo: memFree=835192/2059040 swapFree=4187148/4192956
[pid=9448] ppid=9446 vsize=0 CPUtime=1802.13
/proc/9448/stat : 9448 (pbscip.linux.x8) R 9446 9448 2334 0 -1 4203524 255505 0 0 0 172775 7438 0 0 25 0 1 0 1505323 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/9448/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.13
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.71
CPU time (s): 1802.15
CPU user time (s): 1727.75
CPU system time (s): 74.3947
CPU usage (%): 99.9687
Max. virtual memory (cumulated for all children) (KiB): 1032460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1727.75
system time used= 74.3947
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 255505
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= 4
involuntary context switches= 6242
runsolver used 3.11253 second user time and 8.40872 second system time
The end