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-2664724-1276484406.opb>
0.00/0.01 c original problem has 257 variables (257 bin, 0 int, 0 impl, 0 cont) and 97 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.01/0.02 c (round 1) 41 del vars, 41 del conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 80 impls, 44 clqs
0.01/0.02 c (round 2) 41 del vars, 48 del conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 44 upgd conss, 80 impls, 44 clqs
0.01/0.03 c (0.0s) probing: 101/216 (46.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.01/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.01/0.03 c presolving (3 rounds):
0.01/0.03 c 41 deleted vars, 48 deleted constraints, 1 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.01/0.03 c 80 implications, 44 cliques
0.01/0.03 c presolved problem has 216 variables (216 bin, 0 int, 0 impl, 0 cont) and 49 constraints
0.01/0.03 c 44 constraints of type <setppc>
0.01/0.03 c 5 constraints of type <linear>
0.01/0.03 c transformed objective value is always integral (scale: 1)
0.01/0.03 c Presolving Time: 0.02
0.01/0.03 c - non default parameters ----------------------------------------------------------------------
0.01/0.03 c # SCIP version 1.2.1.2
0.01/0.03 c
0.01/0.03 c # frequency for displaying node information lines
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.03 c display/freq = 10000
0.01/0.03 c
0.01/0.03 c # maximal time in seconds to run
0.01/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.03 c limits/time = 1800
0.01/0.03 c
0.01/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.03 c limits/memory = 1620
0.01/0.03 c
0.01/0.03 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.03 c lp/solvefreq = -1
0.01/0.03 c
0.01/0.03 c # should presolving try to simplify inequalities
0.01/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.03 c constraints/linear/simplifyinequalities = TRUE
0.01/0.03 c
0.01/0.03 c # should presolving try to simplify knapsacks
0.01/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.01/0.03 c
0.01/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.03 c separating/rapidlearning/freq = 0
0.01/0.03 c
0.01/0.03 c -----------------------------------------------------------------------------------------------
0.01/0.03 c start solving
0.01/0.04 c
0.01/0.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.01/0.04 c 0.0s| 1 | 2 | 0 | - | 646k| 0 | - | 216 | 49 | 0 | 0 | 0 | 0 | 0 | 8.700000e+01 | -- | Inf
1.19/1.20 c 1.0s| 10000 | 10001 | 0 | 0.0 |3929k| 105 | - | 216 | 49 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
2.29/2.39 c 2.1s| 20000 | 20001 | 0 | 0.0 |7314k| 105 | - | 216 | 49 | 0 | 0 | 0 | 0 | 0 | 9.000000e+01 | -- | Inf
3.58/3.67 c 3.2s| 30000 | 30001 | 0 | 0.0 | 11M| 105 | - | 216 | 49 | 0 | 0 | 0 | 0 | 0 | 9.000000e+01 | -- | Inf
4.89/4.93 c 4.2s| 40000 | 40001 | 0 | 0.0 | 15M| 105 | - | 216 | 49 | 0 | 0 | 0 | 0 | 0 | 9.000000e+01 | -- | Inf
5.29/5.39 o 408
5.29/5.39 c * 4.6s| 43633 | 40348 | 0 | 0.0 | 15M| 105 | - | 216 | 49 | 0 | 0 | 0 | 0 | 0 | 9.000000e+01 | 4.080000e+02 | 353.33%
6.09/6.19 c 5.3s| 50000 | 46713 | 0 | 0.0 | 17M| 105 | - | 216 | 49 | 0 | 0 | 0 | 0 | 0 | 9.000000e+01 | 4.080000e+02 | 353.33%
7.39/7.49 c 6.4s| 60000 | 56700 | 0 | 0.0 | 21M| 105 | - | 216 | 56 | 0 | 0 | 0 | 7 | 0 | 9.000000e+01 | 4.080000e+02 | 353.33%
8.98/9.07 c 7.8s| 70000 | 66212 | 0 | 0.0 | 25M| 105 | - | 216 | 510 | 0 | 0 | 0 | 479 | 0 | 9.000000e+01 | 4.080000e+02 | 353.33%
10.69/10.75 c 9.3s| 80000 | 75845 | 0 | 0.0 | 29M| 105 | - | 216 | 216 | 0 | 0 | 0 | 834 | 0 | 9.000000e+01 | 4.080000e+02 | 353.33%
12.19/12.23 c 10.6s| 90000 | 85845 | 0 | 0.0 | 33M| 105 | - | 216 | 86 | 0 | 0 | 0 | 834 | 0 | 9.000000e+01 | 4.080000e+02 | 353.33%
13.59/13.68 c 11.8s|100000 | 95842 | 0 | 0.0 | 37M| 105 | - | 216 | 62 | 0 | 0 | 0 | 838 | 0 | 9.100000e+01 | 4.080000e+02 | 348.35%
15.08/15.16 c 13.1s|110000 |105800 | 0 | 0.0 | 41M| 105 | - | 216 | 85 | 0 | 0 | 0 | 888 | 0 | 9.100000e+01 | 4.080000e+02 | 348.35%
16.59/16.61 c 14.4s|120000 |115800 | 0 | 0.0 | 45M| 105 | - | 216 | 60 | 0 | 0 | 0 | 888 | 0 | 9.100000e+01 | 4.080000e+02 | 348.35%
18.09/18.10 c 15.7s|130000 |125763 | 0 | 0.0 | 50M| 105 | - | 216 | 72 | 0 | 0 | 0 | 923 | 0 | 9.100000e+01 | 4.080000e+02 | 348.35%
19.49/19.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
19.49/19.60 c 17.0s|140000 |135719 | 0 | 0.0 | 54M| 105 | - | 216 | 89 | 0 | 0 | 0 | 961 | 0 | 9.100000e+01 | 4.080000e+02 | 348.35%
21.08/21.11 c 18.3s|150000 |145651 | 0 | 0.0 | 58M| 105 | - | 216 | 97 | 0 | 0 | 0 |1018 | 0 | 9.100000e+01 | 4.080000e+02 | 348.35%
22.58/22.66 c 19.6s|160000 |155518 | 0 | 0.0 | 63M| 105 | - | 216 | 175 | 0 | 0 | 0 |1138 | 0 | 9.100000e+01 | 4.080000e+02 | 348.35%
24.18/24.29 c 21.1s|170000 |165160 | 0 | 0.0 | 68M| 105 | - | 216 | 420 | 0 | 0 | 0 |1492 | 0 | 9.100000e+01 | 4.080000e+02 | 348.35%
25.78/25.89 c 22.5s|180000 |175000 | 0 | 0.0 | 72M| 105 | - | 216 | 144 | 0 | 0 | 0 |1670 | 0 | 9.100000e+01 | 4.080000e+02 | 348.35%
27.28/27.37 c 23.7s|190000 |185000 | 0 | 0.0 | 75M| 105 | - | 216 | 70 | 0 | 0 | 0 |1670 | 0 | 9.100000e+01 | 4.080000e+02 | 348.35%
28.78/28.82 c 25.0s|200000 |195000 | 0 | 0.0 | 79M| 105 | - | 216 | 62 | 0 | 0 | 0 |1670 | 0 | 9.100000e+01 | 4.080000e+02 | 348.35%
30.18/30.27 c 26.2s|210000 |204992 | 0 | 0.0 | 83M| 105 | - | 216 | 62 | 0 | 0 | 0 |1674 | 0 | 9.100000e+01 | 4.080000e+02 | 348.35%
31.68/31.77 c 27.5s|220000 |214937 | 0 | 0.0 | 88M| 105 | - | 216 | 95 | 0 | 0 | 0 |1727 | 0 | 9.100000e+01 | 4.080000e+02 | 348.35%
33.28/33.30 c 28.9s|230000 |224819 | 0 | 0.0 | 92M| 105 | - | 216 | 150 | 0 | 0 | 0 |1822 | 0 | 9.100000e+01 | 4.080000e+02 | 348.35%
34.78/34.86 c 30.2s|240000 |234662 | 0 | 0.0 | 96M| 105 | - | 216 | 185 | 0 | 0 | 0 |1962 | 0 | 9.100000e+01 | 4.080000e+02 | 348.35%
36.38/36.48 c 31.6s|250000 |244359 | 0 | 0.0 | 101M| 105 | - | 216 | 309 | 0 | 0 | 0 |2228 | 0 | 9.200000e+01 | 4.080000e+02 | 343.48%
38.17/38.22 c 33.2s|260000 |253807 | 0 | 0.0 | 106M| 105 | - | 216 | 542 | 0 | 0 | 0 |2745 | 0 | 9.200000e+01 | 4.080000e+02 | 343.48%
39.87/39.99 c 34.8s|270000 |263133 | 0 | 0.0 | 110M| 105 | - | 216 | 740 | 0 | 0 | 0 |3339 | 0 | 9.200000e+01 | 4.080000e+02 | 343.48%
41.78/41.86 c 36.4s|280000 |272296 | 0 | 0.0 | 115M| 105 | - | 216 | 993 | 0 | 0 | 0 |4213 | 0 | 9.200000e+01 | 4.080000e+02 | 343.48%
43.78/43.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
43.78/43.80 c 38.1s|290000 |281388 | 0 | 0.0 | 119M| 105 | - | 216 | 299 | 0 | 0 | 0 |5130 | 0 | 9.200000e+01 | 4.080000e+02 | 343.48%
45.27/45.31 c 39.5s|300000 |291304 | 0 | 0.0 | 123M| 105 | - | 216 | 160 | 0 | 0 | 0 |5207 | 0 | 9.200000e+01 | 4.080000e+02 | 343.48%
47.18/47.28 c 41.2s|310000 |299961 | 0 | 0.0 | 128M| 105 | - | 216 | 544 | 0 | 0 | 0 |6516 | 0 | 9.200000e+01 | 4.080000e+02 | 343.48%
48.67/48.77 c 42.5s|320000 |309958 | 0 | 0.0 | 131M| 105 | - | 216 | 94 | 0 | 0 | 0 |6517 | 0 | 9.200000e+01 | 4.080000e+02 | 343.48%
50.17/50.22 c 43.8s|330000 |319941 | 0 | 0.0 | 135M| 105 | - | 216 | 82 | 0 | 0 | 0 |6529 | 0 | 9.200000e+01 | 4.080000e+02 | 343.48%
51.58/51.68 c 45.0s|340000 |329936 | 0 | 0.0 | 139M| 105 | - | 216 | 73 | 0 | 0 | 0 |6533 | 0 | 9.200000e+01 | 4.080000e+02 | 343.48%
53.07/53.12 c 46.3s|350000 |339934 | 0 | 0.0 | 143M| 105 | - | 216 | 66 | 0 | 0 | 0 |6534 | 0 | 9.200000e+01 | 4.080000e+02 | 343.48%
54.46/54.56 c 47.6s|360000 |349928 | 0 | 0.0 | 147M| 105 | - | 216 | 70 | 0 | 0 | 0 |6540 | 0 | 9.200000e+01 | 4.080000e+02 | 343.48%
55.96/56.03 c 48.9s|370000 |359925 | 0 | 0.0 | 151M| 105 | - | 216 | 68 | 0 | 0 | 0 |6544 | 0 | 9.200000e+01 | 4.080000e+02 | 343.48%
57.46/57.51 c 50.1s|380000 |369903 | 0 | 0.0 | 155M| 105 | - | 216 | 79 | 0 | 0 | 0 |6562 | 0 | 9.200000e+01 | 4.080000e+02 | 343.48%
58.96/59.03 c 51.5s|390000 |379798 | 0 | 0.0 | 159M| 105 | - | 216 | 110 | 0 | 0 | 0 |6657 | 0 | 9.200000e+01 | 4.080000e+02 | 343.48%
60.46/60.55 c 52.8s|400000 |389628 | 0 | 0.0 | 164M| 105 | - | 216 | 183 | 0 | 0 | 0 |6804 | 0 | 9.200000e+01 | 4.080000e+02 | 343.48%
62.05/62.16 c 54.2s|410000 |399252 | 0 | 0.0 | 168M| 105 | - | 216 | 388 | 0 | 0 | 0 |7193 | 0 | 9.200000e+01 | 4.080000e+02 | 343.48%
63.76/63.87 c 55.8s|420000 |408540 | 0 | 0.0 | 173M| 105 | - | 216 | 382 | 0 | 0 | 0 |7714 | 0 | 9.200000e+01 | 4.080000e+02 | 343.48%
65.36/65.44 c 57.1s|430000 |418368 | 0 | 0.0 | 178M| 105 | - | 216 | 113 | 0 | 0 | 0 |7844 | 0 | 9.200000e+01 | 4.080000e+02 | 343.48%
66.86/66.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
66.86/66.96 c 58.5s|440000 |428339 | 0 | 0.0 | 183M| 105 | - | 216 | 103 | 0 | 0 | 0 |7846 | 0 | 9.200000e+01 | 4.080000e+02 | 343.48%
68.36/68.48 c 59.8s|450000 |438331 | 0 | 0.0 | 187M| 105 | - | 216 | 73 | 0 | 0 | 0 |7852 | 0 | 9.200000e+01 | 4.080000e+02 | 343.48%
69.96/70.01 c 61.1s|460000 |448325 | 0 | 0.0 | 192M| 105 | - | 216 | 58 | 0 | 0 | 0 |7852 | 0 | 9.200000e+01 | 4.080000e+02 | 343.48%
71.46/71.54 c 62.5s|470000 |458322 | 0 | 0.0 | 197M| 105 | - | 216 | 54 | 0 | 0 | 0 |7855 | 0 | 9.200000e+01 | 4.080000e+02 | 343.48%
72.95/73.07 c 63.8s|480000 |468322 | 0 | 0.0 | 202M| 105 | - | 216 | 49 | 0 | 0 | 0 |7855 | 0 | 9.200000e+01 | 4.080000e+02 | 343.48%
74.45/74.57 c 65.1s|490000 |478321 | 0 | 0.0 | 207M| 105 | - | 216 | 49 | 0 | 0 | 0 |7855 | 0 | 9.200000e+01 | 4.080000e+02 | 343.48%
75.95/76.09 c 66.4s|500000 |488313 | 0 | 0.0 | 211M| 105 | - | 216 | 50 | 0 | 0 | 0 |7856 | 0 | 9.200000e+01 | 4.080000e+02 | 343.48%
77.55/77.60 c 67.7s|510000 |498302 | 0 | 0.0 | 216M| 105 | - | 216 | 49 | 0 | 0 | 0 |7856 | 0 | 9.200000e+01 | 4.080000e+02 | 343.48%
79.06/79.12 c 69.0s|520000 |508288 | 0 | 0.0 | 221M| 105 | - | 216 | 52 | 0 | 0 | 0 |7860 | 0 | 9.200000e+01 | 4.080000e+02 | 343.48%
80.55/80.63 c 70.3s|530000 |518280 | 0 | 0.0 | 226M| 105 | - | 216 | 52 | 0 | 0 | 0 |7862 | 0 | 9.200000e+01 | 4.080000e+02 | 343.48%
82.05/82.15 c 71.6s|540000 |528271 | 0 | 0.0 | 231M| 105 | - | 216 | 52 | 0 | 0 | 0 |7865 | 0 | 9.200000e+01 | 4.080000e+02 | 343.48%
83.56/83.69 c 73.0s|550000 |538241 | 0 | 0.0 | 236M| 105 | - | 216 | 62 | 0 | 0 | 0 |7878 | 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
85.15/85.23 c 74.3s|560000 |548128 | 0 | 0.0 | 240M| 105 | - | 216 | 89 | 0 | 0 | 0 |7965 | 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
86.65/86.78 c 75.7s|570000 |558030 | 0 | 0.0 | 245M| 105 | - | 216 | 80 | 0 | 0 | 0 |8016 | 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
88.25/88.34 c 77.0s|580000 |567906 | 0 | 0.0 | 250M| 105 | - | 216 | 84 | 0 | 0 | 0 |8077 | 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
89.85/89.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
89.85/89.91 c 78.4s|590000 |577768 | 0 | 0.0 | 255M| 105 | - | 216 | 124 | 0 | 0 | 0 |8159 | 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
91.34/91.49 c 79.8s|600000 |587540 | 0 | 0.0 | 260M| 105 | - | 216 | 123 | 0 | 0 | 0 |8279 | 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
93.05/93.10 c 81.1s|610000 |597248 | 0 | 0.0 | 266M| 105 | - | 216 | 160 | 0 | 0 | 0 |8468 | 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
94.64/94.73 c 82.5s|620000 |606875 | 0 | 0.0 | 271M| 105 | - | 216 | 184 | 0 | 0 | 0 |8694 | 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
96.24/96.38 c 84.0s|630000 |616500 | 0 | 0.0 | 276M| 105 | - | 216 | 188 | 0 | 0 | 0 |8953 | 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
97.94/98.05 c 85.5s|640000 |625992 | 0 | 0.0 | 281M| 105 | - | 216 | 220 | 0 | 0 | 0 |9288 | 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
99.64/99.77 c 87.0s|650000 |635305 | 0 | 0.0 | 286M| 105 | - | 216 | 308 | 0 | 0 | 0 |9840 | 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
101.44/101.50 c 88.5s|660000 |644604 | 0 | 0.0 | 291M| 105 | - | 216 | 343 | 0 | 0 | 0 | 10k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
103.13/103.23 c 90.1s|670000 |653801 | 0 | 0.0 | 296M| 105 | - | 216 | 426 | 0 | 0 | 0 | 10k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
104.93/105.00 c 91.6s|680000 |662808 | 0 | 0.0 | 302M| 105 | - | 216 | 466 | 0 | 0 | 0 | 11k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
106.65/106.78 c 93.2s|690000 |671697 | 0 | 0.0 | 307M| 105 | - | 216 | 374 | 0 | 0 | 0 | 12k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
108.43/108.55 c 94.7s|700000 |680439 | 0 | 0.0 | 312M| 105 | - | 216 | 425 | 0 | 0 | 0 | 13k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
110.24/110.37 c 96.3s|710000 |688985 | 0 | 0.0 | 317M| 105 | - | 216 | 557 | 0 | 0 | 0 | 14k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
112.14/112.29 c 98.0s|720000 |697094 | 0 | 0.0 | 322M| 105 | - | 216 | 633 | 0 | 0 | 0 | 15k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
113.93/114.01 c 99.5s|730000 |706162 | 0 | 0.0 | 326M| 105 | - | 216 | 139 | 0 | 0 | 0 | 16k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
115.44/115.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
115.44/115.57 c 101s|740000 |716159 | 0 | 0.0 | 331M| 105 | - | 216 | 60 | 0 | 0 | 0 | 16k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
117.04/117.11 c 102s|750000 |726142 | 0 | 0.0 | 336M| 105 | - | 216 | 54 | 0 | 0 | 0 | 16k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
118.53/118.65 c 104s|760000 |736127 | 0 | 0.0 | 341M| 105 | - | 216 | 50 | 0 | 0 | 0 | 16k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
120.03/120.19 c 105s|770000 |746119 | 0 | 0.0 | 346M| 105 | - | 216 | 50 | 0 | 0 | 0 | 16k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
121.63/121.73 c 106s|780000 |756115 | 0 | 0.0 | 351M| 105 | - | 216 | 49 | 0 | 0 | 0 | 16k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
123.14/123.26 c 108s|790000 |766091 | 0 | 0.0 | 355M| 105 | - | 216 | 50 | 0 | 0 | 0 | 16k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
124.63/124.79 c 109s|800000 |776062 | 0 | 0.0 | 360M| 105 | - | 216 | 55 | 0 | 0 | 0 | 16k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
126.22/126.33 c 110s|810000 |786051 | 0 | 0.0 | 365M| 105 | - | 216 | 49 | 0 | 0 | 0 | 16k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
127.73/127.86 c 112s|820000 |796048 | 0 | 0.0 | 370M| 105 | - | 216 | 49 | 0 | 0 | 0 | 16k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
129.23/129.39 c 113s|830000 |806040 | 0 | 0.0 | 375M| 105 | - | 216 | 49 | 0 | 0 | 0 | 16k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
130.83/130.93 c 114s|840000 |816025 | 0 | 0.0 | 380M| 105 | - | 216 | 52 | 0 | 0 | 0 | 16k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
132.33/132.46 c 116s|850000 |825994 | 0 | 0.0 | 385M| 105 | - | 216 | 49 | 0 | 0 | 0 | 16k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
133.82/133.99 c 117s|860000 |835972 | 0 | 0.0 | 390M| 105 | - | 216 | 50 | 0 | 0 | 0 | 16k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
135.42/135.53 c 118s|870000 |845938 | 0 | 0.0 | 395M| 105 | - | 216 | 52 | 0 | 0 | 0 | 16k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
136.92/137.05 c 120s|880000 |855899 | 0 | 0.0 | 400M| 105 | - | 216 | 52 | 0 | 0 | 0 | 16k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
138.43/138.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
138.43/138.60 c 121s|890000 |865813 | 0 | 0.0 | 405M| 105 | - | 216 | 59 | 0 | 0 | 0 | 16k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
140.03/140.16 c 122s|900000 |875699 | 0 | 0.0 | 410M| 105 | - | 216 | 82 | 0 | 0 | 0 | 16k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
141.62/141.75 c 124s|910000 |885344 | 0 | 0.0 | 415M| 105 | - | 216 | 148 | 0 | 0 | 0 | 17k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
143.22/143.38 c 125s|920000 |894919 | 0 | 0.0 | 420M| 105 | - | 216 | 139 | 0 | 0 | 0 | 17k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
144.92/145.02 c 127s|930000 |904442 | 0 | 0.0 | 425M| 105 | - | 216 | 158 | 0 | 0 | 0 | 17k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
146.62/146.72 c 128s|940000 |913764 | 0 | 0.0 | 431M| 105 | - | 216 | 281 | 0 | 0 | 0 | 18k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
148.33/148.42 c 130s|950000 |923036 | 0 | 0.0 | 436M| 105 | - | 216 | 265 | 0 | 0 | 0 | 18k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
150.02/150.13 c 131s|960000 |932250 | 0 | 0.0 | 441M| 105 | - | 216 | 246 | 0 | 0 | 0 | 19k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
151.72/151.87 c 133s|970000 |941207 | 0 | 0.0 | 446M| 105 | - | 216 | 349 | 0 | 0 | 0 | 20k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
153.52/153.65 c 134s|980000 |950061 | 0 | 0.0 | 451M| 105 | - | 216 | 429 | 0 | 0 | 0 | 20k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
155.41/155.51 c 136s|990000 |958405 | 0 | 0.0 | 456M| 105 | - | 216 | 564 | 0 | 0 | 0 | 22k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
157.23/157.38 c 137s| 1000k|966680 | 0 | 0.0 | 461M| 105 | - | 216 | 561 | 0 | 0 | 0 | 23k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
159.12/159.22 c 139s| 1010k|975004 | 0 | 0.0 | 466M| 105 | - | 216 | 488 | 0 | 0 | 0 | 24k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
160.92/161.08 c 141s| 1020k|983031 | 0 | 0.0 | 470M| 105 | - | 216 | 467 | 0 | 0 | 0 | 25k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
162.62/162.70 c 142s| 1030k|992609 | 0 | 0.0 | 475M| 105 | - | 216 | 138 | 0 | 0 | 0 | 26k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
164.12/164.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
164.12/164.26 c 143s| 1040k| 1002k| 0 | 0.0 | 480M| 105 | - | 216 | 116 | 0 | 0 | 0 | 26k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
165.71/165.83 c 145s| 1050k| 1012k| 0 | 0.0 | 485M| 105 | - | 216 | 108 | 0 | 0 | 0 | 26k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
167.31/167.41 c 146s| 1060k| 1022k| 0 | 0.0 | 489M| 105 | - | 216 | 102 | 0 | 0 | 0 | 26k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
168.81/169.00 c 148s| 1070k| 1032k| 0 | 0.0 | 494M| 105 | - | 216 | 91 | 0 | 0 | 0 | 26k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
170.42/170.58 c 149s| 1080k| 1042k| 0 | 0.0 | 499M| 105 | - | 216 | 85 | 0 | 0 | 0 | 26k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
172.01/172.16 c 150s| 1090k| 1052k| 0 | 0.0 | 504M| 105 | - | 216 | 83 | 0 | 0 | 0 | 26k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
173.62/173.72 c 152s| 1100k| 1062k| 0 | 0.0 | 509M| 105 | - | 216 | 83 | 0 | 0 | 0 | 26k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
175.20/175.32 c 153s| 1110k| 1072k| 0 | 0.0 | 514M| 105 | - | 216 | 83 | 0 | 0 | 0 | 26k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
176.81/176.93 c 155s| 1120k| 1082k| 0 | 0.0 | 519M| 105 | - | 216 | 109 | 0 | 0 | 0 | 26k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
178.40/178.56 c 156s| 1130k| 1091k| 0 | 0.0 | 525M| 105 | - | 216 | 133 | 0 | 0 | 0 | 26k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
180.10/180.20 c 157s| 1140k| 1101k| 0 | 0.0 | 530M| 105 | - | 216 | 184 | 0 | 0 | 0 | 26k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
181.71/181.85 c 159s| 1150k| 1110k| 0 | 0.0 | 535M| 105 | - | 216 | 128 | 0 | 0 | 0 | 27k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
183.41/183.54 c 160s| 1160k| 1120k| 0 | 0.0 | 540M| 105 | - | 216 | 158 | 0 | 0 | 0 | 27k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
185.11/185.26 c 162s| 1170k| 1129k| 0 | 0.0 | 545M| 105 | - | 216 | 209 | 0 | 0 | 0 | 27k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
186.91/187.01 c 163s| 1180k| 1138k| 0 | 0.0 | 550M| 105 | - | 216 | 272 | 0 | 0 | 0 | 28k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
188.70/188.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
188.70/188.80 c 165s| 1190k| 1147k| 0 | 0.0 | 555M| 105 | - | 216 | 273 | 0 | 0 | 0 | 29k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
190.21/190.35 c 166s| 1200k| 1157k| 0 | 0.0 | 560M| 105 | - | 216 | 75 | 0 | 0 | 0 | 29k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
191.71/191.88 c 168s| 1210k| 1167k| 0 | 0.0 | 565M| 105 | - | 216 | 56 | 0 | 0 | 0 | 29k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
193.30/193.41 c 169s| 1220k| 1177k| 0 | 0.0 | 569M| 105 | - | 216 | 52 | 0 | 0 | 0 | 29k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
194.80/194.95 c 170s| 1230k| 1187k| 0 | 0.0 | 574M| 105 | - | 216 | 50 | 0 | 0 | 0 | 29k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
196.30/196.48 c 172s| 1240k| 1197k| 0 | 0.0 | 579M| 105 | - | 216 | 50 | 0 | 0 | 0 | 29k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
197.91/198.01 c 173s| 1250k| 1207k| 0 | 0.0 | 584M| 105 | - | 216 | 50 | 0 | 0 | 0 | 29k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
199.40/199.52 c 174s| 1260k| 1217k| 0 | 0.0 | 589M| 105 | - | 216 | 50 | 0 | 0 | 0 | 29k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
200.90/201.04 c 176s| 1270k| 1227k| 0 | 0.0 | 593M| 105 | - | 216 | 50 | 0 | 0 | 0 | 29k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
202.40/202.57 c 177s| 1280k| 1237k| 0 | 0.0 | 598M| 105 | - | 216 | 49 | 0 | 0 | 0 | 29k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
204.00/204.12 c 178s| 1290k| 1247k| 0 | 0.0 | 603M| 105 | - | 216 | 49 | 0 | 0 | 0 | 29k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
205.50/205.66 c 180s| 1300k| 1257k| 0 | 0.0 | 608M| 105 | - | 216 | 49 | 0 | 0 | 0 | 29k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
207.00/207.20 c 181s| 1310k| 1267k| 0 | 0.0 | 612M| 105 | - | 216 | 49 | 0 | 0 | 0 | 29k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
208.60/208.72 c 182s| 1320k| 1277k| 0 | 0.0 | 617M| 105 | - | 216 | 49 | 0 | 0 | 0 | 29k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
210.10/210.23 c 184s| 1330k| 1287k| 0 | 0.0 | 622M| 105 | - | 216 | 51 | 0 | 0 | 0 | 29k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
211.69/211.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
211.69/211.80 c 185s| 1340k| 1297k| 0 | 0.0 | 627M| 105 | - | 216 | 49 | 0 | 0 | 0 | 29k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
213.21/213.38 c 186s| 1350k| 1307k| 0 | 0.0 | 632M| 105 | - | 216 | 51 | 0 | 0 | 0 | 29k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
214.80/214.97 c 188s| 1360k| 1317k| 0 | 0.0 | 636M| 105 | - | 216 | 51 | 0 | 0 | 0 | 29k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
216.39/216.55 c 189s| 1370k| 1327k| 0 | 0.0 | 641M| 105 | - | 216 | 50 | 0 | 0 | 0 | 29k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
218.00/218.17 c 191s| 1380k| 1337k| 0 | 0.0 | 646M| 105 | - | 216 | 49 | 0 | 0 | 0 | 29k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
219.60/219.75 c 192s| 1390k| 1347k| 0 | 0.0 | 651M| 105 | - | 216 | 49 | 0 | 0 | 0 | 29k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
221.19/221.36 c 193s| 1400k| 1357k| 0 | 0.0 | 656M| 105 | - | 216 | 49 | 0 | 0 | 0 | 29k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
222.79/222.97 c 195s| 1410k| 1367k| 0 | 0.0 | 661M| 105 | - | 216 | 49 | 0 | 0 | 0 | 29k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
224.39/224.56 c 196s| 1420k| 1377k| 0 | 0.0 | 666M| 105 | - | 216 | 49 | 0 | 0 | 0 | 29k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
225.99/226.13 c 198s| 1430k| 1387k| 0 | 0.0 | 671M| 105 | - | 216 | 49 | 0 | 0 | 0 | 29k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
227.50/227.70 c 199s| 1440k| 1397k| 0 | 0.0 | 676M| 105 | - | 216 | 55 | 0 | 0 | 0 | 29k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
229.19/229.31 c 200s| 1450k| 1407k| 0 | 0.0 | 681M| 105 | - | 216 | 51 | 0 | 0 | 0 | 29k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
230.80/230.91 c 202s| 1460k| 1417k| 0 | 0.0 | 686M| 105 | - | 216 | 50 | 0 | 0 | 0 | 29k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
232.29/232.49 c 203s| 1470k| 1427k| 0 | 0.0 | 691M| 105 | - | 216 | 54 | 0 | 0 | 0 | 29k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
233.99/234.12 c 205s| 1480k| 1436k| 0 | 0.0 | 696M| 105 | - | 216 | 54 | 0 | 0 | 0 | 29k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
235.58/235.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
235.58/235.78 c 206s| 1490k| 1446k| 0 | 0.0 | 701M| 105 | - | 216 | 52 | 0 | 0 | 0 | 29k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
237.19/237.38 c 207s| 1500k| 1456k| 0 | 0.0 | 706M| 105 | - | 216 | 62 | 0 | 0 | 0 | 29k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
238.79/238.94 c 209s| 1510k| 1466k| 0 | 0.0 | 711M| 105 | - | 216 | 55 | 0 | 0 | 0 | 29k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
240.39/240.54 c 210s| 1520k| 1476k| 0 | 0.0 | 716M| 105 | - | 216 | 66 | 0 | 0 | 0 | 29k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
241.98/242.11 c 211s| 1530k| 1486k| 0 | 0.0 | 721M| 105 | - | 216 | 56 | 0 | 0 | 0 | 29k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
243.58/243.74 c 213s| 1540k| 1496k| 0 | 0.0 | 726M| 105 | - | 216 | 73 | 0 | 0 | 0 | 29k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
245.20/245.32 c 214s| 1550k| 1506k| 0 | 0.0 | 732M| 105 | - | 216 | 57 | 0 | 0 | 0 | 29k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
246.79/246.98 c 216s| 1560k| 1515k| 0 | 0.0 | 737M| 105 | - | 216 | 125 | 0 | 0 | 0 | 30k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
248.39/248.58 c 217s| 1570k| 1525k| 0 | 0.0 | 742M| 105 | - | 216 | 88 | 0 | 0 | 0 | 30k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
250.08/250.24 c 219s| 1580k| 1535k| 0 | 0.0 | 747M| 105 | - | 216 | 118 | 0 | 0 | 0 | 30k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
251.69/251.89 c 220s| 1590k| 1544k| 0 | 0.0 | 752M| 105 | - | 216 | 94 | 0 | 0 | 0 | 30k| 0 | 9.300000e+01 | 4.080000e+02 | 338.71%
253.39/253.54 c 221s| 1600k| 1554k| 0 | 0.0 | 758M| 105 | - | 216 | 208 | 0 | 0 | 0 | 31k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
255.08/255.25 c 223s| 1610k| 1563k| 0 | 0.0 | 763M| 105 | - | 216 | 119 | 0 | 0 | 0 | 31k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
256.68/256.88 c 224s| 1620k| 1573k| 0 | 0.0 | 768M| 105 | - | 216 | 110 | 0 | 0 | 0 | 31k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
258.39/258.58 c 226s| 1630k| 1582k| 0 | 0.0 | 773M| 105 | - | 216 | 192 | 0 | 0 | 0 | 32k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
260.08/260.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
260.08/260.25 c 227s| 1640k| 1592k| 0 | 0.0 | 779M| 105 | - | 216 | 136 | 0 | 0 | 0 | 32k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
261.77/261.96 c 229s| 1650k| 1601k| 0 | 0.0 | 784M| 105 | - | 216 | 226 | 0 | 0 | 0 | 32k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
263.58/263.73 c 230s| 1660k| 1610k| 0 | 0.0 | 789M| 105 | - | 216 | 255 | 0 | 0 | 0 | 33k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
265.28/265.43 c 232s| 1670k| 1620k| 0 | 0.0 | 794M| 105 | - | 216 | 226 | 0 | 0 | 0 | 33k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
266.97/267.18 c 233s| 1680k| 1629k| 0 | 0.0 | 799M| 105 | - | 216 | 324 | 0 | 0 | 0 | 34k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
268.78/268.99 c 235s| 1690k| 1638k| 0 | 0.0 | 805M| 105 | - | 216 | 297 | 0 | 0 | 0 | 35k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
270.57/270.71 c 237s| 1700k| 1647k| 0 | 0.0 | 810M| 105 | - | 216 | 228 | 0 | 0 | 0 | 35k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
272.38/272.52 c 238s| 1710k| 1656k| 0 | 0.0 | 815M| 105 | - | 216 | 532 | 0 | 0 | 0 | 36k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
274.17/274.30 c 240s| 1720k| 1665k| 0 | 0.0 | 820M| 105 | - | 216 | 294 | 0 | 0 | 0 | 37k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
275.88/276.08 c 241s| 1730k| 1674k| 0 | 0.0 | 825M| 105 | - | 216 | 501 | 0 | 0 | 0 | 37k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
277.77/277.92 c 243s| 1740k| 1683k| 0 | 0.0 | 830M| 105 | - | 216 | 353 | 0 | 0 | 0 | 38k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
279.57/279.70 c 244s| 1750k| 1692k| 0 | 0.0 | 835M| 105 | - | 216 | 509 | 0 | 0 | 0 | 39k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
281.38/281.58 c 246s| 1760k| 1701k| 0 | 0.0 | 840M| 105 | - | 216 | 372 | 0 | 0 | 0 | 40k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
283.27/283.42 c 248s| 1770k| 1709k| 0 | 0.0 | 845M| 105 | - | 216 | 643 | 0 | 0 | 0 | 41k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
285.07/285.24 c 249s| 1780k| 1718k| 0 | 0.0 | 850M| 105 | - | 216 | 440 | 0 | 0 | 0 | 42k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
286.97/287.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
286.97/287.14 c 251s| 1790k| 1726k| 0 | 0.0 | 855M| 105 | - | 216 | 413 | 0 | 0 | 0 | 43k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
288.77/288.96 c 253s| 1800k| 1735k| 0 | 0.0 | 860M| 105 | - | 216 | 404 | 0 | 0 | 0 | 44k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
290.66/290.87 c 254s| 1810k| 1744k| 0 | 0.0 | 865M| 105 | - | 216 | 488 | 0 | 0 | 0 | 45k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
292.67/292.82 c 256s| 1820k| 1752k| 0 | 0.0 | 870M| 105 | - | 216 | 505 | 0 | 0 | 0 | 46k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
294.58/294.78 c 258s| 1830k| 1760k| 0 | 0.0 | 875M| 105 | - | 216 | 641 | 0 | 0 | 0 | 48k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
296.57/296.79 c 260s| 1840k| 1768k| 0 | 0.0 | 879M| 105 | - | 216 | 631 | 0 | 0 | 0 | 49k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
298.66/298.83 c 261s| 1850k| 1776k| 0 | 0.0 | 884M| 105 | - | 216 | 653 | 0 | 0 | 0 | 51k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
300.66/300.84 c 263s| 1860k| 1784k| 0 | 0.0 | 889M| 105 | - | 216 | 531 | 0 | 0 | 0 | 52k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
302.66/302.85 c 265s| 1870k| 1792k| 0 | 0.0 | 894M| 105 | - | 216 | 499 | 0 | 0 | 0 | 54k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
304.47/304.66 c 267s| 1880k| 1801k| 0 | 0.0 | 898M| 105 | - | 216 | 93 | 0 | 0 | 0 | 55k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
306.06/306.22 c 268s| 1890k| 1811k| 0 | 0.0 | 902M| 105 | - | 216 | 49 | 0 | 0 | 0 | 55k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
307.56/307.77 c 269s| 1900k| 1821k| 0 | 0.0 | 907M| 105 | - | 216 | 50 | 0 | 0 | 0 | 55k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
309.16/309.33 c 271s| 1910k| 1831k| 0 | 0.0 | 911M| 105 | - | 216 | 50 | 0 | 0 | 0 | 55k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
310.66/310.88 c 272s| 1920k| 1841k| 0 | 0.0 | 916M| 105 | - | 216 | 53 | 0 | 0 | 0 | 55k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
312.26/312.44 c 273s| 1930k| 1851k| 0 | 0.0 | 920M| 105 | - | 216 | 49 | 0 | 0 | 0 | 55k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
313.76/313.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
313.76/313.99 c 275s| 1940k| 1861k| 0 | 0.0 | 925M| 105 | - | 216 | 51 | 0 | 0 | 0 | 55k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
315.36/315.55 c 276s| 1950k| 1871k| 0 | 0.0 | 930M| 105 | - | 216 | 51 | 0 | 0 | 0 | 55k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
316.86/317.09 c 278s| 1960k| 1881k| 0 | 0.0 | 935M| 105 | - | 216 | 56 | 0 | 0 | 0 | 55k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
318.46/318.64 c 279s| 1970k| 1890k| 0 | 0.0 | 939M| 105 | - | 216 | 63 | 0 | 0 | 0 | 55k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
320.06/320.20 c 280s| 1980k| 1900k| 0 | 0.0 | 944M| 105 | - | 216 | 53 | 0 | 0 | 0 | 55k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
321.55/321.76 c 282s| 1990k| 1910k| 0 | 0.0 | 949M| 105 | - | 216 | 81 | 0 | 0 | 0 | 55k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
323.16/323.38 c 283s| 2000k| 1920k| 0 | 0.0 | 954M| 105 | - | 216 | 91 | 0 | 0 | 0 | 56k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
324.76/324.98 c 284s| 2010k| 1930k| 0 | 0.0 | 959M| 105 | - | 216 | 83 | 0 | 0 | 0 | 56k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
326.65/326.85 c 286s| 2020k| 1938k| 0 | 0.0 | 963M| 105 | - | 216 | 522 | 0 | 0 | 0 | 57k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
328.45/328.61 c 288s| 2030k| 1948k| 0 | 0.0 | 968M| 105 | - | 216 | 200 | 0 | 0 | 0 | 58k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
330.06/330.24 c 289s| 2040k| 1957k| 0 | 0.0 | 973M| 105 | - | 216 | 128 | 0 | 0 | 0 | 59k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
331.96/332.12 c 291s| 2050k| 1966k| 0 | 0.0 | 978M| 105 | - | 216 | 761 | 0 | 0 | 0 | 61k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
333.65/333.88 c 292s| 2060k| 1975k| 0 | 0.0 | 982M| 105 | - | 216 | 136 | 0 | 0 | 0 | 61k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
335.35/335.52 c 294s| 2070k| 1985k| 0 | 0.0 | 987M| 105 | - | 216 | 129 | 0 | 0 | 0 | 62k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
337.05/337.25 c 295s| 2080k| 1994k| 0 | 0.0 | 992M| 105 | - | 216 | 639 | 0 | 0 | 0 | 63k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
339.05/339.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
339.05/339.28 c 297s| 2090k| 2003k| 0 | 0.0 | 996M| 105 | - | 216 | 465 | 0 | 0 | 0 | 65k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
340.76/340.95 c 298s| 2100k| 2012k| 0 | 0.0 |1001M| 105 | - | 216 | 160 | 0 | 0 | 0 | 65k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
342.35/342.57 c 300s| 2110k| 2022k| 0 | 0.0 |1006M| 105 | - | 216 | 150 | 0 | 0 | 0 | 65k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
344.35/344.53 c 302s| 2120k| 2031k| 0 | 0.0 |1011M| 105 | - | 216 | 907 | 0 | 0 | 0 | 67k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
346.35/346.52 c 303s| 2130k| 2039k| 0 | 0.0 |1015M| 105 | - | 216 | 176 | 0 | 0 | 0 | 69k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
348.04/348.23 c 305s| 2140k| 2049k| 0 | 0.0 |1020M| 105 | - | 216 | 201 | 0 | 0 | 0 | 70k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
349.74/349.93 c 306s| 2150k| 2058k| 0 | 0.0 |1024M| 105 | - | 216 | 148 | 0 | 0 | 0 | 71k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
351.75/351.95 c 308s| 2160k| 2067k| 0 | 0.0 |1029M| 105 | - | 216 | 947 | 0 | 0 | 0 | 73k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
353.84/354.00 c 310s| 2170k| 2075k| 0 | 0.0 |1034M| 105 | - | 216 | 208 | 0 | 0 | 0 | 75k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
355.54/355.71 c 312s| 2180k| 2085k| 0 | 0.0 |1038M| 105 | - | 216 | 322 | 0 | 0 | 0 | 75k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
357.25/357.40 c 313s| 2190k| 2094k| 0 | 0.0 |1043M| 105 | - | 216 | 276 | 0 | 0 | 0 | 76k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
359.14/359.35 c 315s| 2200k| 2103k| 0 | 0.0 |1048M| 105 | - | 216 | 866 | 0 | 0 | 0 | 78k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
361.24/361.45 c 317s| 2210k| 2111k| 0 | 0.0 |1052M| 105 | - | 216 | 435 | 0 | 0 | 0 | 80k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
362.94/363.16 c 318s| 2220k| 2121k| 0 | 0.0 |1057M| 105 | - | 216 | 320 | 0 | 0 | 0 | 81k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
364.74/364.93 c 320s| 2230k| 2130k| 0 | 0.0 |1061M| 105 | - | 216 | 303 | 0 | 0 | 0 | 82k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
366.54/366.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
366.54/366.79 c 321s| 2240k| 2139k| 0 | 0.0 |1066M| 105 | - | 216 | 799 | 0 | 0 | 0 | 84k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
368.73/368.93 c 323s| 2250k| 2147k| 0 | 0.0 |1070M| 105 | - | 216 | 790 | 0 | 0 | 0 | 87k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
370.45/370.68 c 325s| 2260k| 2156k| 0 | 0.0 |1075M| 105 | - | 216 | 249 | 0 | 0 | 0 | 87k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
372.14/372.36 c 326s| 2270k| 2165k| 0 | 0.0 |1080M| 105 | - | 216 | 240 | 0 | 0 | 0 | 88k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
374.13/374.30 c 328s| 2280k| 2174k| 0 | 0.0 |1084M| 105 | - | 216 | 996 | 0 | 0 | 0 | 90k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
376.13/376.36 c 330s| 2290k| 2182k| 0 | 0.0 |1089M| 105 | - | 216 | 293 | 0 | 0 | 0 | 92k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
377.84/378.07 c 332s| 2300k| 2192k| 0 | 0.0 |1093M| 105 | - | 216 | 320 | 0 | 0 | 0 | 93k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
379.73/379.90 c 333s| 2310k| 2201k| 0 | 0.0 |1098M| 105 | - | 216 | 528 | 0 | 0 | 0 | 94k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
381.83/382.10 c 335s| 2320k| 2209k| 0 | 0.0 |1102M| 105 | - | 216 | 875 | 0 | 0 | 0 | 97k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
383.73/383.95 c 337s| 2330k| 2218k| 0 | 0.0 |1107M| 105 | - | 216 | 409 | 0 | 0 | 0 | 98k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
385.43/385.66 c 338s| 2340k| 2228k| 0 | 0.0 |1111M| 105 | - | 216 | 310 | 0 | 0 | 0 | 99k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
387.23/387.43 c 340s| 2350k| 2237k| 0 | 0.0 |1116M| 105 | - | 216 | 673 | 0 | 0 | 0 | 100k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
389.33/389.55 c 342s| 2360k| 2245k| 0 | 0.0 |1121M| 105 | - | 216 | 758 | 0 | 0 | 0 | 102k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
391.13/391.33 c 343s| 2370k| 2255k| 0 | 0.0 |1125M| 105 | - | 216 | 254 | 0 | 0 | 0 | 103k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
392.83/393.06 c 345s| 2380k| 2264k| 0 | 0.0 |1130M| 105 | - | 216 | 289 | 0 | 0 | 0 | 104k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
394.74/394.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
394.74/394.98 c 347s| 2390k| 2273k| 0 | 0.0 |1134M| 105 | - | 216 | 895 | 0 | 0 | 0 | 105k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
397.02/397.22 c 349s| 2400k| 2281k| 0 | 0.0 |1139M| 105 | - | 216 | 833 | 0 | 0 | 0 | 108k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
398.92/399.18 c 350s| 2410k| 2290k| 0 | 0.0 |1143M| 105 | - | 216 | 495 | 0 | 0 | 0 | 109k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
400.82/401.03 c 352s| 2420k| 2300k| 0 | 0.0 |1148M| 105 | - | 216 | 282 | 0 | 0 | 0 | 110k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
402.73/402.97 c 354s| 2430k| 2309k| 0 | 0.0 |1153M| 105 | - | 216 | 806 | 0 | 0 | 0 | 111k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
405.03/405.25 c 356s| 2440k| 2317k| 0 | 0.0 |1157M| 105 | - | 216 | 750 | 0 | 0 | 0 | 113k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
407.03/407.21 c 358s| 2450k| 2326k| 0 | 0.0 |1161M| 105 | - | 216 | 284 | 0 | 0 | 0 | 115k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
408.72/408.93 c 359s| 2460k| 2335k| 0 | 0.0 |1166M| 105 | - | 216 | 326 | 0 | 0 | 0 | 115k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
410.73/410.92 c 361s| 2470k| 2344k| 0 | 0.0 |1171M| 105 | - | 216 | 848 | 0 | 0 | 0 | 118k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
413.02/413.28 c 363s| 2480k| 2351k| 0 | 0.0 |1175M| 105 | - | 216 |1166 | 0 | 0 | 0 | 121k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
415.31/415.57 c 365s| 2490k| 2359k| 0 | 0.0 |1179M| 105 | - | 216 | 990 | 0 | 0 | 0 | 124k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
417.31/417.51 c 367s| 2500k| 2368k| 0 | 0.0 |1184M| 105 | - | 216 | 383 | 0 | 0 | 0 | 126k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
419.22/419.48 c 369s| 2510k| 2377k| 0 | 0.0 |1188M| 105 | - | 216 | 868 | 0 | 0 | 0 | 128k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
421.41/421.64 c 371s| 2520k| 2385k| 0 | 0.0 |1192M| 105 | - | 216 | 802 | 0 | 0 | 0 | 130k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
423.72/423.92 c 373s| 2530k| 2393k| 0 | 0.0 |1197M| 105 | - | 216 |1111 | 0 | 0 | 0 | 133k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
425.71/425.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
425.71/425.99 c 375s| 2540k| 2401k| 0 | 0.0 |1201M| 105 | - | 216 | 824 | 0 | 0 | 0 | 135k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
427.81/428.01 c 376s| 2550k| 2410k| 0 | 0.0 |1206M| 105 | - | 216 | 648 | 0 | 0 | 0 | 137k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
429.92/430.12 c 378s| 2560k| 2419k| 0 | 0.0 |1210M| 105 | - | 216 |1022 | 0 | 0 | 0 | 140k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
432.12/432.35 c 380s| 2570k| 2427k| 0 | 0.0 |1214M| 105 | - | 216 | 815 | 0 | 0 | 0 | 143k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
434.40/434.64 c 382s| 2580k| 2435k| 0 | 0.0 |1219M| 105 | - | 216 |1048 | 0 | 0 | 0 | 145k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
436.41/436.61 c 384s| 2590k| 2443k| 0 | 0.0 |1223M| 105 | - | 216 | 518 | 0 | 0 | 0 | 147k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
438.40/438.67 c 386s| 2600k| 2452k| 0 | 0.0 |1227M| 105 | - | 216 |1031 | 0 | 0 | 0 | 149k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
440.60/440.83 c 388s| 2610k| 2460k| 0 | 0.0 |1232M| 105 | - | 216 |1071 | 0 | 0 | 0 | 152k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
442.90/443.11 c 390s| 2620k| 2468k| 0 | 0.0 |1236M| 105 | - | 216 |1221 | 0 | 0 | 0 | 155k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
445.21/445.40 c 392s| 2630k| 2476k| 0 | 0.0 |1240M| 105 | - | 216 |1153 | 0 | 0 | 0 | 157k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
447.20/447.40 c 394s| 2640k| 2485k| 0 | 0.0 |1245M| 105 | - | 216 | 783 | 0 | 0 | 0 | 159k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
449.00/449.23 c 395s| 2650k| 2494k| 0 | 0.0 |1249M| 105 | - | 216 | 614 | 0 | 0 | 0 | 160k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
451.00/451.22 c 397s| 2660k| 2503k| 0 | 0.0 |1254M| 105 | - | 216 |1097 | 0 | 0 | 0 | 161k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
453.40/453.60 c 399s| 2670k| 2511k| 0 | 0.0 |1258M| 105 | - | 216 |1284 | 0 | 0 | 0 | 165k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
455.30/455.59 c 401s| 2680k| 2519k| 0 | 0.0 |1263M| 105 | - | 216 | 877 | 0 | 0 | 0 | 166k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
457.50/457.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
457.50/457.74 c 403s| 2690k| 2528k| 0 | 0.0 |1267M| 105 | - | 216 |1152 | 0 | 0 | 0 | 169k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
459.69/459.93 c 405s| 2700k| 2536k| 0 | 0.0 |1271M| 105 | - | 216 |1231 | 0 | 0 | 0 | 171k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
462.10/462.39 c 407s| 2710k| 2543k| 0 | 0.0 |1276M| 105 | - | 216 |1327 | 0 | 0 | 0 | 174k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
464.40/464.67 c 409s| 2720k| 2552k| 0 | 0.0 |1280M| 105 | - | 216 |1018 | 0 | 0 | 0 | 176k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
466.39/466.69 c 411s| 2730k| 2560k| 0 | 0.0 |1284M| 105 | - | 216 | 834 | 0 | 0 | 0 | 178k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
468.20/468.49 c 413s| 2740k| 2570k| 0 | 0.0 |1289M| 105 | - | 216 | 858 | 0 | 0 | 0 | 179k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
470.69/470.99 c 415s| 2750k| 2577k| 0 | 0.0 |1293M| 105 | - | 216 |1512 | 0 | 0 | 0 | 182k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
473.09/473.35 c 417s| 2760k| 2585k| 0 | 0.0 |1298M| 105 | - | 216 |1346 | 0 | 0 | 0 | 185k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
475.29/475.53 c 419s| 2770k| 2593k| 0 | 0.0 |1302M| 105 | - | 216 |1063 | 0 | 0 | 0 | 187k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
477.29/477.50 c 421s| 2780k| 2602k| 0 | 0.0 |1306M| 105 | - | 216 | 726 | 0 | 0 | 0 | 188k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
479.19/479.44 c 423s| 2790k| 2611k| 0 | 0.0 |1311M| 105 | - | 216 |1050 | 0 | 0 | 0 | 189k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
481.69/481.98 c 425s| 2800k| 2619k| 0 | 0.0 |1315M| 105 | - | 216 |1467 | 0 | 0 | 0 | 193k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
484.19/484.42 c 427s| 2810k| 2627k| 0 | 0.0 |1320M| 105 | - | 216 |1495 | 0 | 0 | 0 | 195k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
486.28/486.56 c 429s| 2820k| 2636k| 0 | 0.0 |1324M| 105 | - | 216 |1160 | 0 | 0 | 0 | 197k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
488.39/488.65 c 431s| 2830k| 2644k| 0 | 0.0 |1328M| 105 | - | 216 | 978 | 0 | 0 | 0 | 199k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
490.30/490.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
490.30/490.56 c 433s| 2840k| 2653k| 0 | 0.0 |1333M| 105 | - | 216 | 615 | 0 | 0 | 0 | 200k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
492.79/493.08 c 435s| 2850k| 2661k| 0 | 0.0 |1337M| 105 | - | 216 |1436 | 0 | 0 | 0 | 203k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
495.28/495.50 c 437s| 2860k| 2669k| 0 | 0.0 |1342M| 105 | - | 216 |1342 | 0 | 0 | 0 | 205k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
497.28/497.55 c 439s| 2870k| 2678k| 0 | 0.0 |1346M| 105 | - | 216 | 936 | 0 | 0 | 0 | 207k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
499.28/499.51 c 441s| 2880k| 2687k| 0 | 0.0 |1350M| 105 | - | 216 | 732 | 0 | 0 | 0 | 208k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
501.08/501.34 c 443s| 2890k| 2696k| 0 | 0.0 |1355M| 105 | - | 216 | 728 | 0 | 0 | 0 | 209k| 0 | 9.400000e+01 | 4.080000e+02 | 334.04%
502.88/503.19 c (node 2897051) switching to memory saving mode (mem: 1296.0M/1620.0M)
504.38/504.62 o 406
504.38/504.62 c * 446s| 2898k| 2681k| 0 | 0.0 |1352M| 105 | - | 216 |2185 | 0 | 0 | 0 | 213k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
504.79/505.02 c 446s| 2900k| 2681k| 0 | 0.0 |1352M| 105 | - | 216 |2663 | 0 | 0 | 0 | 214k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
508.88/509.11 c 450s| 2910k| 2681k| 0 | 0.0 |1354M| 105 | - | 216 |5644 | 0 | 0 | 0 | 222k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
513.78/514.06 c 454s| 2920k| 2681k| 0 | 0.0 |1354M| 105 | - | 216 |6993 | 0 | 0 | 0 | 229k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
519.57/519.83 c 460s| 2930k| 2681k| 0 | 0.0 |1355M| 105 | - | 216 |7533 | 0 | 0 | 0 | 237k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
525.48/525.79 c 465s| 2940k| 2681k| 0 | 0.0 |1356M| 105 | - | 216 |9033 | 0 | 0 | 0 | 244k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
531.17/531.50 c 471s| 2950k| 2681k| 0 | 0.0 |1356M| 105 | - | 216 |9646 | 0 | 0 | 0 | 251k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
537.87/538.17 c 477s| 2960k| 2681k| 0 | 0.0 |1357M| 105 | - | 216 | 11k| 0 | 0 | 0 | 259k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
546.17/546.47 c 485s| 2970k| 2681k| 0 | 0.0 |1357M| 105 | - | 216 | 11k| 0 | 0 | 0 | 268k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
553.17/553.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
553.17/553.41 c 492s| 2980k| 2681k| 0 | 0.0 |1356M| 105 | - | 216 |9358 | 0 | 0 | 0 | 274k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
558.66/558.91 c 497s| 2990k| 2681k| 0 | 0.0 |1357M| 105 | - | 216 | 12k| 0 | 0 | 0 | 282k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
566.17/566.49 c 504s| 3000k| 2681k| 0 | 0.0 |1357M| 105 | - | 216 | 11k| 0 | 0 | 0 | 290k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
575.35/575.69 c 513s| 3010k| 2680k| 0 | 0.0 |1359M| 105 | - | 216 | 13k| 0 | 0 | 0 | 298k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
584.75/585.10 c 522s| 3020k| 2680k| 0 | 0.0 |1359M| 105 | - | 216 | 14k| 0 | 0 | 0 | 305k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
594.05/594.31 c 531s| 3030k| 2680k| 0 | 0.0 |1360M| 105 | - | 216 | 15k| 0 | 0 | 0 | 312k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
604.45/604.80 c 541s| 3040k| 2680k| 0 | 0.0 |1359M| 108 | - | 216 | 14k| 0 | 0 | 0 | 319k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
615.64/615.96 c 552s| 3050k| 2680k| 0 | 0.0 |1358M| 108 | - | 216 | 10k| 0 | 0 | 0 | 326k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
622.44/622.77 c 559s| 3060k| 2680k| 0 | 0.0 |1358M| 108 | - | 216 | 11k| 0 | 0 | 0 | 333k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
629.94/630.21 c 566s| 3070k| 2680k| 0 | 0.0 |1359M| 108 | - | 216 | 13k| 0 | 0 | 0 | 341k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
638.93/639.26 c 575s| 3080k| 2680k| 0 | 0.0 |1359M| 108 | - | 216 | 12k| 0 | 0 | 0 | 349k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
647.13/647.42 c 582s| 3090k| 2680k| 0 | 0.0 |1360M| 108 | - | 216 | 15k| 0 | 0 | 0 | 357k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
658.12/658.49 c 593s| 3100k| 2680k| 0 | 0.0 |1361M| 108 | - | 216 | 18k| 0 | 0 | 0 | 366k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
672.93/673.23 c 607s| 3110k| 2680k| 0 | 0.0 |1362M| 108 | - | 216 | 20k| 0 | 0 | 0 | 374k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
684.22/684.55 c 618s| 3120k| 2680k| 0 | 0.0 |1363M| 108 | - | 216 | 21k| 0 | 0 | 0 | 382k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
697.12/697.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
697.12/697.42 c 631s| 3130k| 2680k| 0 | 0.0 |1360M| 108 | - | 216 | 13k| 0 | 0 | 0 | 389k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
707.01/707.35 c 641s| 3140k| 2680k| 0 | 0.0 |1360M| 108 | - | 216 | 14k| 0 | 0 | 0 | 396k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
715.81/716.14 c 649s| 3150k| 2680k| 0 | 0.0 |1360M| 108 | - | 216 | 14k| 0 | 0 | 0 | 403k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
724.70/725.02 c 658s| 3160k| 2680k| 0 | 0.0 |1360M| 108 | - | 216 | 12k| 0 | 0 | 0 | 409k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
732.49/732.85 c 665s| 3170k| 2680k| 0 | 0.0 |1360M| 108 | - | 216 | 14k| 0 | 0 | 0 | 417k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
742.09/742.42 c 674s| 3180k| 2680k| 0 | 0.0 |1361M| 108 | - | 216 | 15k| 0 | 0 | 0 | 424k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
752.38/752.75 c 685s| 3190k| 2680k| 0 | 0.0 |1362M| 108 | - | 216 | 17k| 0 | 0 | 0 | 431k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
762.38/762.72 c 694s| 3200k| 2680k| 0 | 0.0 |1362M| 108 | - | 216 | 18k| 0 | 0 | 0 | 439k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
779.77/780.15 c 711s| 3210k| 2680k| 0 | 0.0 |1363M| 108 | - | 216 | 20k| 0 | 0 | 0 | 447k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
799.07/799.43 c 730s| 3220k| 2680k| 0 | 0.0 |1364M| 108 | - | 216 | 23k| 0 | 0 | 0 | 458k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
815.96/816.30 c 747s| 3230k| 2680k| 0 | 0.0 |1365M| 108 | - | 216 | 24k| 0 | 0 | 0 | 465k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
835.25/835.65 c 766s| 3240k| 2680k| 0 | 0.0 |1365M| 108 | - | 216 | 25k| 0 | 0 | 0 | 473k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
849.65/850.03 c 780s| 3250k| 2680k| 0 | 0.0 |1365M| 108 | - | 216 | 24k| 0 | 0 | 0 | 480k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
867.55/867.94 c 797s| 3260k| 2680k| 0 | 0.0 |1365M| 108 | - | 216 | 23k| 0 | 0 | 0 | 488k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
882.73/883.14 c 812s| 3270k| 2680k| 0 | 0.0 |1366M| 108 | - | 216 | 25k| 0 | 0 | 0 | 495k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
897.72/898.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
897.72/898.15 c 827s| 3280k| 2680k| 0 | 0.0 |1366M| 108 | - | 216 | 26k| 0 | 0 | 0 | 501k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
911.13/911.51 c 840s| 3290k| 2680k| 0 | 0.0 |1366M| 108 | - | 216 | 26k| 0 | 0 | 0 | 508k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
926.71/927.14 c 855s| 3300k| 2680k| 0 | 0.0 |1366M| 108 | - | 216 | 26k| 0 | 0 | 0 | 515k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
940.91/941.38 c 869s| 3310k| 2680k| 0 | 0.0 |1367M| 108 | - | 216 | 28k| 0 | 0 | 0 | 523k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
957.01/957.42 c 885s| 3320k| 2680k| 0 | 0.0 |1367M| 108 | - | 216 | 28k| 0 | 0 | 0 | 529k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
971.60/972.02 c 899s| 3330k| 2680k| 0 | 0.0 |1367M| 108 | - | 216 | 27k| 0 | 0 | 0 | 537k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
989.10/989.57 c 916s| 3340k| 2680k| 0 | 0.0 |1366M| 108 | - | 216 | 26k| 0 | 0 | 0 | 543k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
1004.89/1005.33 c 932s| 3350k| 2680k| 0 | 0.0 |1367M| 108 | - | 216 | 28k| 0 | 0 | 0 | 551k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
1025.27/1025.75 c 952s| 3360k| 2680k| 0 | 0.0 |1365M| 108 | - | 216 | 22k| 0 | 0 | 0 | 558k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
1045.87/1046.32 c 972s| 3370k| 2680k| 0 | 0.0 |1366M| 108 | - | 216 | 24k| 0 | 0 | 0 | 567k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
1064.96/1065.43 c 991s| 3380k| 2680k| 0 | 0.0 |1363M| 108 | - | 216 | 16k| 0 | 0 | 0 | 575k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
1077.75/1078.26 c 1003s| 3390k| 2680k| 0 | 0.0 |1363M| 108 | - | 216 | 16k| 0 | 0 | 0 | 582k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
1089.15/1089.61 c 1014s| 3400k| 2680k| 0 | 0.0 |1365M| 108 | - | 216 | 20k| 0 | 0 | 0 | 590k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
1101.04/1101.59 c 1026s| 3410k| 2680k| 0 | 0.0 |1365M| 108 | - | 216 | 22k| 0 | 0 | 0 | 598k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
1115.03/1115.55 c 1040s| 3420k| 2680k| 0 | 0.0 |1366M| 108 | - | 216 | 24k| 0 | 0 | 0 | 606k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
1128.23/1128.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1128.23/1128.70 c 1052s| 3430k| 2680k| 0 | 0.0 |1367M| 108 | - | 216 | 25k| 0 | 0 | 0 | 612k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
1144.12/1144.68 c 1068s| 3440k| 2680k| 0 | 0.0 |1366M| 108 | - | 216 | 23k| 0 | 0 | 0 | 620k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
1156.73/1157.29 c 1080s| 3450k| 2680k| 0 | 0.0 |1367M| 108 | - | 216 | 25k| 0 | 0 | 0 | 626k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
1176.92/1177.40 c 1100s| 3460k| 2680k| 0 | 0.0 |1367M| 108 | - | 216 | 26k| 0 | 0 | 0 | 636k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
1198.20/1198.75 c 1121s| 3470k| 2680k| 0 | 0.0 |1368M| 108 | - | 216 | 26k| 0 | 0 | 0 | 643k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
1221.30/1221.81 c 1144s| 3480k| 2680k| 0 | 0.0 |1368M| 108 | - | 216 | 28k| 0 | 0 | 0 | 651k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
1238.89/1239.48 c 1161s| 3490k| 2680k| 0 | 0.0 |1368M| 108 | - | 216 | 28k| 0 | 0 | 0 | 657k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
1253.50/1254.06 c 1176s| 3500k| 2680k| 0 | 0.0 |1369M| 108 | - | 216 | 29k| 0 | 0 | 0 | 665k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
1270.88/1271.43 c 1193s| 3510k| 2680k| 0 | 0.0 |1369M| 108 | - | 216 | 29k| 0 | 0 | 0 | 673k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
1291.57/1292.16 c 1213s| 3520k| 2680k| 0 | 0.0 |1370M| 108 | - | 216 | 32k| 0 | 0 | 0 | 681k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
1310.07/1310.69 c 1231s| 3530k| 2680k| 0 | 0.0 |1371M| 108 | - | 216 | 35k| 0 | 0 | 0 | 688k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
1330.66/1331.21 c 1251s| 3540k| 2680k| 0 | 0.0 |1372M| 108 | - | 216 | 37k| 0 | 0 | 0 | 696k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
1353.04/1353.63 c 1273s| 3550k| 2680k| 0 | 0.0 |1374M| 108 | - | 216 | 40k| 0 | 0 | 0 | 703k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
1392.93/1393.53 c 1313s| 3560k| 2680k| 0 | 0.0 |1374M| 108 | - | 216 | 40k| 0 | 0 | 0 | 711k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
1420.92/1421.55 c 1341s| 3570k| 2680k| 0 | 0.0 |1374M| 108 | - | 216 | 40k| 0 | 0 | 0 | 720k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
1449.11/1449.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1449.11/1449.76 c 1369s| 3580k| 2680k| 0 | 0.0 |1373M| 108 | - | 216 | 37k| 0 | 0 | 0 | 728k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
1472.10/1472.73 c 1391s| 3590k| 2680k| 0 | 0.0 |1373M| 108 | - | 216 | 37k| 0 | 0 | 0 | 736k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
1488.99/1489.64 c 1408s| 3600k| 2680k| 0 | 0.0 |1374M| 108 | - | 216 | 37k| 0 | 0 | 0 | 743k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
1512.38/1513.06 c 1431s| 3610k| 2680k| 0 | 0.0 |1373M| 108 | - | 216 | 37k| 0 | 0 | 0 | 750k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
1533.97/1534.69 c 1452s| 3620k| 2680k| 0 | 0.0 |1373M| 108 | - | 216 | 36k| 0 | 0 | 0 | 757k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
1554.67/1555.30 c 1472s| 3630k| 2680k| 0 | 0.0 |1374M| 108 | - | 216 | 37k| 0 | 0 | 0 | 764k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
1576.46/1577.14 c 1494s| 3640k| 2680k| 0 | 0.0 |1374M| 108 | - | 216 | 38k| 0 | 0 | 0 | 771k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
1593.96/1594.62 c 1511s| 3650k| 2680k| 0 | 0.0 |1375M| 108 | - | 216 | 40k| 0 | 0 | 0 | 778k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
1614.25/1614.95 c 1531s| 3660k| 2680k| 0 | 0.0 |1376M| 108 | - | 216 | 42k| 0 | 0 | 0 | 785k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
1632.64/1633.32 c 1549s| 3670k| 2680k| 0 | 0.0 |1377M| 108 | - | 216 | 45k| 0 | 0 | 0 | 793k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
1656.82/1657.50 c 1573s| 3680k| 2680k| 0 | 0.0 |1377M| 108 | - | 216 | 45k| 0 | 0 | 0 | 800k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
1681.61/1682.30 c 1597s| 3690k| 2680k| 0 | 0.0 |1378M| 108 | - | 216 | 46k| 0 | 0 | 0 | 807k| 0 | 9.400000e+01 | 4.060000e+02 | 331.91%
1690.42/1691.10 o 307
1690.42/1691.10 c *1606s| 3693k| 2517k| 0 | 0.0 |1315M| 126 | - | 216 | 46k| 0 | 0 | 0 | 809k| 0 | 9.400000e+01 | 3.070000e+02 | 226.60%
1692.31/1693.02 o 306
1692.31/1693.02 c *1608s| 3693k| 2483k| 0 | 0.0 |1303M| 126 | - | 216 | 46k| 0 | 0 | 0 | 809k| 0 | 9.400000e+01 | 3.060000e+02 | 225.53%
1712.20/1712.91 c 1628s| 3700k| 2483k| 0 | 0.0 |1303M| 126 | - | 216 | 44k| 0 | 0 | 0 | 814k| 0 | 9.400000e+01 | 3.060000e+02 | 225.53%
1737.09/1737.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1737.09/1737.85 c 1652s| 3710k| 2483k| 0 | 0.0 |1301M| 126 | - | 216 | 40k| 0 | 0 | 0 | 822k| 0 | 9.400000e+01 | 3.060000e+02 | 225.53%
1768.08/1768.86 c 1683s| 3720k| 2483k| 0 | 0.0 |1299M| 126 | - | 216 | 33k| 0 | 0 | 0 | 832k| 0 | 9.400000e+01 | 3.060000e+02 | 225.53%
1793.17/1793.97 c 1708s| 3730k| 2483k| 0 | 0.0 |1297M| 126 | - | 216 | 29k| 0 | 0 | 0 | 841k| 0 | 9.400000e+01 | 3.060000e+02 | 225.53%
1800.07/1800.80 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.80 c
1800.07/1800.80 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.80 c Solving Time (sec) : 1714.36
1800.07/1800.80 c Solving Nodes : 3733510
1800.07/1800.80 c Primal Bound : +3.06000000000000e+02 (4 solutions)
1800.07/1800.80 c Dual Bound : +9.40000000000000e+01
1800.07/1800.80 c Gap : 225.53 %
1800.07/1800.80 s SATISFIABLE
1800.07/1800.80 v -x252 x251 -x223 -x221 x219 x212 -x211 -x210 -x209 -x207 x205 x201 -x197 x196 x195 x194 x193 -x190 x189 x188 x184 x183 x182 x181
1800.07/1800.80 v x173 x167 x161 -x160 x158 -x142 -x140 -x139 -x138 -x137 -x136 -x135 -x129 -x123 -x117 -x116 -x115 -x114 -x106 -x102 -x101 -x98
1800.07/1800.80 v -x96 -x95 -x94 -x93 -x92 x89 -x85 x78 -x73 -x72 -x70 -x67 -x65 -x64 -x60 -x55 -x54 -x52 -x51 -x50 -x49 x47 -x45 -x41 x37
1800.07/1800.80 v -x36 -x32 -x29 x28 -x26 -x23 -x21 -x17 x10 x7 x6 x5 -x3 x1 -x217 -x177 -x176 -x88 -x44 -x175 -x87 -x43 -x174 -x86 -x42 -x128
1800.07/1800.80 v -x84 -x171 -x83 -x39 -x82 -x169 -x81 -x80 -x245 -x79 -x35 -x166 -x34 -x165 -x77 -x33 -x241 -x120 -x76 -x163 -x75 -x31 -x162 -x74
1800.07/1800.80 v -x30 -x236 -x235 -x234 -x233 -x159 x231 -x191 -x157 -x113 x69 -x25 -x156 -x68 -x24 -x66 -x152 -x151 -x107 x63 -x19 -x150
1800.07/1800.80 v -x18 -x148 -x16 -x147 -x103 -x146 -x58 -x229 -x145 -x57 -x228 -x144 -x56 -x12 -x141 -x53 -x224 -x222 -x220 -x48 -x179 -x91 -x90
1800.07/1800.80 v -x46 -x2 x257 -x133 -x256 x216 x132 -x255 x215 x131 -x254 x214 x130 -x253 x213 x250 -x172 x40 x249 x127 x248 -x208 x170 -x126
1800.07/1800.81 v -x38 x247 -x125 x246 -x206 x168 -x124 x244 -x204 -x122 x243 -x203 x242 -x202 x121 x164 -x240 x200 x119 x239 -x199 -x238 x198
1800.07/1800.81 v x118 x237 x71 -x27 -x232 x192 x112 -x155 x111 x154 -x110 -x22 x153 -x109 -x108 x20 x62 x230 x149 -x105 -x61 x104 x59 -x15
1800.07/1800.81 v x14 x13 x100 x227 -x187 x143 -x99 -x11 -x226 x186 x225 -x185 x97 -x9 x8 x180 x4 x218 -x178 x134
1800.07/1800.81 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.81 c Solving Time : 1714.36
1800.07/1800.81 c Original Problem :
1800.07/1800.81 c Problem name : HOME/instance-2664724-1276484406.opb
1800.07/1800.81 c Variables : 257 (257 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.81 c Constraints : 97 initial, 97 maximal
1800.07/1800.81 c Presolved Problem :
1800.07/1800.81 c Problem name : t_HOME/instance-2664724-1276484406.opb
1800.07/1800.81 c Variables : 216 (216 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.81 c Constraints : 49 initial, 46893 maximal
1800.07/1800.81 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.81 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.81 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.81 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.81 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.81 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.81 c probing : 0.01 0 0 0 0 0 0 0 0
1800.07/1800.81 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.81 c linear : 0.00 1 40 0 1 0 48 0 0
1800.07/1800.81 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.81 c root node : - 0 - - 0 - - - -
1800.07/1800.81 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.81 c integral : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.81 c setppc : 44 0 7995073 0 3399315 139622 7170389 0 0 0
1800.07/1800.81 c linear : 5 0 7855995 0 3399809 4087 6425579 0 0 0
1800.07/1800.81 c logicor : 0+ 0 1982112 0 0 3642 661044 0 0 0
1800.07/1800.81 c countsols : 0 0 0 0 3399813 0 0 0 0 0
1800.07/1800.81 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.81 c integral : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.81 c setppc : 104.51 0.00 84.20 0.00 20.31
1800.07/1800.81 c linear : 150.56 0.00 147.91 0.00 2.65
1800.07/1800.81 c logicor : 585.90 0.00 585.90 0.00 0.00
1800.07/1800.81 c countsols : 1.36 0.00 0.00 0.00 1.36
1800.07/1800.81 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.81 c vbounds : 4.31 2 0 0
1800.07/1800.81 c rootredcost : 4.58 0 0 0
1800.07/1800.81 c pseudoobj : 171.40 8483485 488064 3722668
1800.07/1800.81 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.81 c propagation : 74.17 635415 635415 4460521 36.2 1064 33.6 -
1800.07/1800.81 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.81 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.81 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.81 c pseudo solution : 0.03 128 128 974 36.6 5 31.4 -
1800.07/1800.81 c applied globally : - - - 692630 24.8 - - -
1800.07/1800.81 c applied locally : - - - 151094 34.8 - - -
1800.07/1800.81 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.81 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.07/1800.81 c redcost : 0.00 0 0 0 0 0
1800.07/1800.81 c impliedbounds : 0.00 0 0 0 0 0
1800.07/1800.81 c intobj : 0.00 0 0 0 0 0
1800.07/1800.81 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.81 c gomory : 0.00 0 0 0 0 0
1800.07/1800.81 c strongcg : 0.00 0 0 0 0 0
1800.07/1800.81 c cmir : 0.00 0 0 0 0 0
1800.07/1800.81 c flowcover : 0.00 0 0 0 0 0
1800.07/1800.81 c clique : 0.00 0 0 0 0 0
1800.07/1800.81 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.81 c mcf : 0.00 0 0 0 0 0
1800.07/1800.81 c rapidlearning : 0.00 0 0 0 0 0
1800.07/1800.81 c Pricers : Time Calls Vars
1800.07/1800.81 c problem variables: 0.00 0 0
1800.07/1800.81 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.81 c relpscost : 0.00 0 0 0 0 0 0
1800.07/1800.81 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.81 c inference : 91.60 3399809 0 0 0 0 6799618
1800.07/1800.81 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.81 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.81 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.81 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.81 c random : 0.00 0 0 0 0 0 0
1800.07/1800.81 c Primal Heuristics : Time Calls Found
1800.07/1800.81 c LP solutions : 0.00 - 0
1800.07/1800.81 c pseudo solutions : 1.57 - 4
1800.07/1800.81 c oneopt : 2.78 0 0
1800.07/1800.81 c trivial : 0.00 2 0
1800.07/1800.81 c simplerounding : 0.00 0 0
1800.07/1800.81 c zirounding : 0.00 0 0
1800.07/1800.81 c rounding : 0.00 0 0
1800.07/1800.81 c shifting : 0.00 0 0
1800.07/1800.81 c intshifting : 0.00 0 0
1800.07/1800.81 c twoopt : 0.00 0 0
1800.07/1800.81 c fixandinfer : 0.00 0 0
1800.07/1800.81 c feaspump : 0.00 0 0
1800.07/1800.81 c coefdiving : 0.00 0 0
1800.07/1800.81 c pscostdiving : 0.00 0 0
1800.07/1800.81 c fracdiving : 0.00 0 0
1800.07/1800.81 c veclendiving : 0.00 0 0
1800.07/1800.81 c intdiving : 0.00 0 0
1800.07/1800.81 c actconsdiving : 0.00 0 0
1800.07/1800.81 c objpscostdiving : 0.00 0 0
1800.07/1800.81 c rootsoldiving : 0.00 0 0
1800.07/1800.81 c linesearchdiving : 0.00 0 0
1800.07/1800.81 c guideddiving : 0.00 0 0
1800.07/1800.81 c octane : 0.00 0 0
1800.07/1800.81 c rens : 0.00 0 0
1800.07/1800.81 c rins : 0.00 0 0
1800.07/1800.81 c localbranching : 0.00 0 0
1800.07/1800.81 c mutation : 0.00 0 0
1800.07/1800.81 c crossover : 0.00 0 0
1800.07/1800.81 c dins : 0.00 0 0
1800.07/1800.81 c undercover : 0.00 0 0
1800.07/1800.81 c nlp : 1.86 0 0
1800.07/1800.81 c trysol : 1.73 0 0
1800.07/1800.81 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.81 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.81 c dual LP : 0.00 0 0 0.00 -
1800.07/1800.81 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.81 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.81 c diving/probing LP: 0.00 0 0 0.00 -
1800.07/1800.81 c strong branching : 0.00 0 0 0.00 -
1800.07/1800.81 c (at root node) : - 0 0 0.00 -
1800.07/1800.81 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.81 c B&B Tree :
1800.07/1800.81 c number of runs : 1
1800.07/1800.81 c nodes : 3733510
1800.07/1800.81 c nodes (total) : 3733510
1800.07/1800.81 c nodes left : 2483359
1800.07/1800.81 c max depth : 126
1800.07/1800.81 c max depth (total): 126
1800.07/1800.81 c backtracks : 478086 (12.8%)
1800.07/1800.81 c delayed cutoffs : 317905
1800.07/1800.81 c repropagations : 824159 (3221113 domain reductions, 301846 cutoffs)
1800.07/1800.81 c avg switch length: 5.88
1800.07/1800.81 c switching time : 340.71
1800.07/1800.81 c Solution :
1800.07/1800.81 c Solutions found : 4 (4 improvements)
1800.07/1800.81 c First Solution : +4.08000000000000e+02 (in run 1, after 43633 nodes, 4.62 seconds, depth 93, found by <relaxation>)
1800.07/1800.81 c Primal Bound : +3.06000000000000e+02 (in run 1, after 3693567 nodes, 1607.57 seconds, depth 110, found by <relaxation>)
1800.07/1800.81 c Dual Bound : +9.40000000000000e+01
1800.07/1800.81 c Gap : 225.53 %
1800.07/1800.81 c Root Dual Bound : +8.70000000000000e+01
1800.07/1800.81 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-2664724-1276484406/watcher-2664724-1276484406 -o /tmp/evaluation-result-2664724-1276484406/solver-2664724-1276484406 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664724-1276484406.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 27337
/proc/meminfo: memFree=1812600/2059040 swapFree=4140476/4192956
[pid=27337] ppid=27335 vsize=6584 CPUtime=0
/proc/27337/stat : 27337 (pbscip.linux.x8) R 27335 27337 26278 0 -1 4202496 960 0 0 0 0 0 0 0 23 0 1 0 24044051 6742016 883 1992294400 4194304 7136930 140734084674320 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27337/statm: 1646 891 254 719 0 925 0
[startup+0.0209971 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 27337
/proc/meminfo: memFree=1812600/2059040 swapFree=4140476/4192956
[pid=27337] ppid=27335 vsize=10476 CPUtime=0.01
/proc/27337/stat : 27337 (pbscip.linux.x8) R 27335 27337 26278 0 -1 4202496 2293 0 0 0 0 1 0 0 23 0 1 0 24044051 10727424 1862 1992294400 4194304 7136930 140734084674320 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27337/statm: 2619 1862 348 719 0 1898 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10476
[startup+0.101011 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 27337
/proc/meminfo: memFree=1812600/2059040 swapFree=4140476/4192956
[pid=27337] ppid=27335 vsize=11936 CPUtime=0.09
/proc/27337/stat : 27337 (pbscip.linux.x8) R 27335 27337 26278 0 -1 4202496 3702 0 0 0 7 2 0 0 23 0 1 0 24044051 12222464 2243 1992294400 4194304 7136930 140734084674320 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27337/statm: 2984 2243 386 719 0 2263 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11936
[startup+0.301048 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 27337
/proc/meminfo: memFree=1812600/2059040 swapFree=4140476/4192956
[pid=27337] ppid=27335 vsize=12768 CPUtime=0.29
/proc/27337/stat : 27337 (pbscip.linux.x8) R 27335 27337 26278 0 -1 4202496 3922 0 0 0 24 5 0 0 23 0 1 0 24044051 13074432 2463 1992294400 4194304 7136930 140734084674320 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27337/statm: 3192 2463 386 719 0 2471 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12768
[startup+0.701122 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 27337
/proc/meminfo: memFree=1812600/2059040 swapFree=4140476/4192956
[pid=27337] ppid=27335 vsize=14120 CPUtime=0.69
/proc/27337/stat : 27337 (pbscip.linux.x8) R 27335 27337 26278 0 -1 4202496 4276 0 0 0 59 10 0 0 25 0 1 0 24044051 14458880 2817 1992294400 4194304 7136930 140734084674320 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27337/statm: 3530 2817 386 719 0 2809 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14120
[startup+1.50127 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 27338
/proc/meminfo: memFree=1801432/2059040 swapFree=4140476/4192956
[pid=27337] ppid=27335 vsize=17076 CPUtime=1.49
/proc/27337/stat : 27337 (pbscip.linux.x8) R 27335 27337 26278 0 -1 4202496 5040 0 0 0 127 22 0 0 25 0 1 0 24044051 17485824 3581 1992294400 4194304 7136930 140734084674320 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27337/statm: 4269 3581 386 719 0 3548 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17076
[startup+3.10057 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 27338
/proc/meminfo: memFree=1797712/2059040 swapFree=4140476/4192956
[pid=27337] ppid=27335 vsize=21876 CPUtime=3.09
/proc/27337/stat : 27337 (pbscip.linux.x8) R 27335 27337 26278 0 -1 4202496 6313 0 0 0 268 41 0 0 25 0 1 0 24044051 22401024 4854 1992294400 4194304 7136930 140734084674320 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27337/statm: 5469 4854 386 719 0 4748 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21876
[startup+6.30116 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 27338
/proc/meminfo: memFree=1785932/2059040 swapFree=4140476/4192956
[pid=27337] ppid=27335 vsize=31840 CPUtime=6.29
/proc/27337/stat : 27337 (pbscip.linux.x8) R 27335 27337 26278 0 -1 4202496 8882 0 0 0 541 88 0 0 25 0 1 0 24044051 32604160 7423 1992294400 4194304 7136930 140734084674320 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27337/statm: 7960 7423 386 719 0 7239 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 31840
[startup+12.7003 s]
/proc/loadavg: 0.94 0.98 0.99 2/107 27338
/proc/meminfo: memFree=1767588/2059040 swapFree=4140476/4192956
[pid=27337] ppid=27335 vsize=51672 CPUtime=12.68
/proc/27337/stat : 27337 (pbscip.linux.x8) R 27335 27337 26278 0 -1 4202496 13469 0 0 0 1095 173 0 0 25 0 1 0 24044051 52912128 12010 1992294400 4194304 7136930 140734084674320 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27337/statm: 12918 12010 393 719 0 12197 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 51672
[startup+25.5007 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 27338
/proc/meminfo: memFree=1728280/2059040 swapFree=4140476/4192956
[pid=27337] ppid=27335 vsize=89712 CPUtime=25.48
/proc/27337/stat : 27337 (pbscip.linux.x8) R 27335 27337 26278 0 -1 4202496 23312 0 0 0 2212 336 0 0 25 0 1 0 24044051 91865088 21853 1992294400 4194304 7136930 140734084674320 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27337/statm: 22428 21853 393 719 0 21707 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 89712
[startup+51.1014 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 27338
/proc/meminfo: memFree=1657848/2059040 swapFree=4140476/4192956
[pid=27337] ppid=27335 vsize=160568 CPUtime=51.07
/proc/27337/stat : 27337 (pbscip.linux.x8) R 27335 27337 26278 0 -1 4202496 40612 0 0 0 4453 654 0 0 25 0 1 0 24044051 164421632 39153 1992294400 4194304 7136930 140734084674320 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27337/statm: 40142 39153 393 719 0 39421 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 160568
[startup+102.309 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 27349
/proc/meminfo: memFree=1494168/2059040 swapFree=4140476/4192956
[pid=27337] ppid=27335 vsize=325628 CPUtime=102.24
/proc/27337/stat : 27337 (pbscip.linux.x8) R 27335 27337 26278 0 -1 4202496 81079 0 0 0 8925 1299 0 0 25 0 1 0 24044051 333443072 79620 1992294400 4194304 7136930 140734084674320 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27337/statm: 81407 79620 393 719 0 80686 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 325628
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 27351
/proc/meminfo: memFree=1310152/2059040 swapFree=4140476/4192956
[pid=27337] ppid=27335 vsize=521112 CPUtime=162.22
/proc/27337/stat : 27337 (pbscip.linux.x8) R 27335 27337 26278 0 -1 4202496 127207 0 0 0 14174 2048 0 0 25 0 1 0 24044051 533618688 125748 1992294400 4194304 7136930 140734084674320 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27337/statm: 130278 125748 393 719 0 129557 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 521112
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 27353
/proc/meminfo: memFree=1121796/2059040 swapFree=4140476/4192956
[pid=27337] ppid=27335 vsize=703784 CPUtime=222.2
/proc/27337/stat : 27337 (pbscip.linux.x8) R 27335 27337 26278 0 -1 4202496 174334 0 0 0 19428 2792 0 0 25 0 1 0 24044051 720674816 172875 1992294400 4194304 7136930 140734084674320 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27337/statm: 175946 172875 393 719 0 175225 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 703784
[startup+282.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 27355
/proc/meminfo: memFree=935796/2059040 swapFree=4140476/4192956
[pid=27337] ppid=27335 vsize=884956 CPUtime=282.17
/proc/27337/stat : 27337 (pbscip.linux.x8) R 27335 27337 26278 0 -1 4202496 220955 0 0 0 24672 3545 0 0 25 0 1 0 24044051 906194944 219496 1992294400 4194304 7136930 140734084674320 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27337/statm: 221239 219496 393 719 0 220518 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 884956
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 27355
/proc/meminfo: memFree=768148/2059040 swapFree=4140476/4192956
[pid=27337] ppid=27335 vsize=1046044 CPUtime=342.14
/proc/27337/stat : 27337 (pbscip.linux.x8) R 27335 27337 26278 0 -1 4202496 262464 0 0 0 29963 4251 0 0 25 0 1 0 24044051 1071149056 261005 1992294400 4194304 7136930 140734084674320 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27337/statm: 261511 261005 393 719 0 260790 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 1046044
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 27357
/proc/meminfo: memFree=621828/2059040 swapFree=4140476/4192956
[pid=27337] ppid=27335 vsize=1221612 CPUtime=402.13
/proc/27337/stat : 27337 (pbscip.linux.x8) R 27335 27337 26278 0 -1 4202496 299275 0 0 0 35318 4895 0 0 25 0 1 0 24044051 1250930688 297816 1992294400 4194304 7136930 140734084674320 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27337/statm: 305403 297816 393 719 0 304682 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 1221612
[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 27359
/proc/meminfo: memFree=492744/2059040 swapFree=4140476/4192956
[pid=27337] ppid=27335 vsize=1344188 CPUtime=462.1
/proc/27337/stat : 27337 (pbscip.linux.x8) R 27335 27337 26278 0 -1 4202496 330824 0 0 0 40728 5482 0 0 25 0 1 0 24044051 1376448512 329365 1992294400 4194304 7136930 140734084674320 18446744073709551615 5924403 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27337/statm: 336047 329365 393 719 0 335326 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 1344188
[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 27361
/proc/meminfo: memFree=401232/2059040 swapFree=4140476/4192956
[pid=27337] ppid=27335 vsize=1433704 CPUtime=522.07
/proc/27337/stat : 27337 (pbscip.linux.x8) R 27335 27337 26278 0 -1 4202496 364241 0 0 0 46218 5989 0 0 25 0 1 0 24044051 1468112896 352227 1992294400 4194304 7136930 140734084674320 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27337/statm: 358426 352227 394 719 0 357705 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 1433704
[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 27363
/proc/meminfo: memFree=396644/2059040 swapFree=4140476/4192956
[pid=27337] ppid=27335 vsize=1438628 CPUtime=582.05
/proc/27337/stat : 27337 (pbscip.linux.x8) R 27335 27337 26278 0 -1 4202496 365307 0 0 0 51958 6247 0 0 25 0 1 0 24044051 1473155072 353293 1992294400 4194304 7136930 140734084674320 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27337/statm: 359657 353293 394 719 0 358936 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 1438628
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 27363
/proc/meminfo: memFree=395900/2059040 swapFree=4140476/4192956
[pid=27337] ppid=27335 vsize=1439240 CPUtime=642.04
/proc/27337/stat : 27337 (pbscip.linux.x8) R 27335 27337 26278 0 -1 4202496 365486 0 0 0 57747 6457 0 0 25 0 1 0 24044051 1473781760 353472 1992294400 4194304 7136930 140734084674320 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27337/statm: 359810 353472 394 719 0 359089 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 1439240
[startup+702.301 s]
################
# More data... #
################
/proc/27337/stat : 27337 (pbscip.linux.x8) R 27335 27337 26278 0 -1 4202496 368160 0 0 0 104627 7557 0 0 25 0 1 0 24044051 1486688256 356146 1992294400 4194304 7136930 140734084674320 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27337/statm: 362961 356146 394 719 0 362240 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 1451844
[startup+1182.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 27382
/proc/meminfo: memFree=383748/2059040 swapFree=4140476/4192956
[pid=27337] ppid=27335 vsize=1452396 CPUtime=1181.81
/proc/27337/stat : 27337 (pbscip.linux.x8) R 27335 27337 26278 0 -1 4202496 368208 0 0 0 110498 7683 0 0 25 0 1 0 24044051 1487253504 356194 1992294400 4194304 7136930 140734084674320 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27337/statm: 363099 356194 394 719 0 362378 0
Current children cumulated CPU time (s) 1181.81
Current children cumulated vsize (KiB) 1452396
[startup+1242.3 s]
/proc/loadavg: 1.07 1.03 1.00 2/107 27382
/proc/meminfo: memFree=382632/2059040 swapFree=4140476/4192956
[pid=27337] ppid=27335 vsize=1453972 CPUtime=1241.79
/proc/27337/stat : 27337 (pbscip.linux.x8) R 27335 27337 26278 0 -1 4202496 368478 0 0 0 116404 7775 0 0 25 0 1 0 24044051 1488867328 356464 1992294400 4194304 7136930 140734084674320 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27337/statm: 363493 356464 394 719 0 362772 0
Current children cumulated CPU time (s) 1241.79
Current children cumulated vsize (KiB) 1453972
[startup+1302.3 s]
/proc/loadavg: 1.07 1.03 1.00 2/107 27384
/proc/meminfo: memFree=379780/2059040 swapFree=4140476/4192956
[pid=27337] ppid=27335 vsize=1456928 CPUtime=1301.78
/proc/27337/stat : 27337 (pbscip.linux.x8) R 27335 27337 26278 0 -1 4202496 369184 0 0 0 122296 7882 0 0 25 0 1 0 24044051 1491894272 357170 1992294400 4194304 7136930 140734084674320 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27337/statm: 364232 357170 394 719 0 363511 0
Current children cumulated CPU time (s) 1301.78
Current children cumulated vsize (KiB) 1456928
[startup+1362.3 s]
/proc/loadavg: 1.07 1.04 1.00 2/107 27386
/proc/meminfo: memFree=376680/2059040 swapFree=4140476/4192956
[pid=27337] ppid=27335 vsize=1461340 CPUtime=1361.74
/proc/27337/stat : 27337 (pbscip.linux.x8) R 27335 27337 26278 0 -1 4202496 369969 0 0 0 128203 7971 0 0 25 0 1 0 24044051 1496412160 357955 1992294400 4194304 7136930 140734084674320 18446744073709551615 5955609 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27337/statm: 365335 357955 394 719 0 364614 0
Current children cumulated CPU time (s) 1361.74
Current children cumulated vsize (KiB) 1461340
[startup+1422.31 s]
/proc/loadavg: 1.06 1.04 1.00 2/107 27388
/proc/meminfo: memFree=373456/2059040 swapFree=4140476/4192956
[pid=27337] ppid=27335 vsize=1464912 CPUtime=1421.73
/proc/27337/stat : 27337 (pbscip.linux.x8) R 27335 27337 26278 0 -1 4202496 370749 0 0 0 134137 8036 0 0 25 0 1 0 24044051 1500069888 358735 1992294400 4194304 7136930 140734084674320 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27337/statm: 366228 358735 394 719 0 365507 0
Current children cumulated CPU time (s) 1421.73
Current children cumulated vsize (KiB) 1464912
[startup+1482.3 s]
/proc/loadavg: 1.06 1.05 1.00 2/107 27390
/proc/meminfo: memFree=372712/2059040 swapFree=4140476/4192956
[pid=27337] ppid=27335 vsize=1465884 CPUtime=1481.69
/proc/27337/stat : 27337 (pbscip.linux.x8) R 27335 27337 26278 0 -1 4202496 370912 0 0 0 140055 8114 0 0 25 0 1 0 24044051 1501065216 358898 1992294400 4194304 7136930 140734084674320 18446744073709551615 5004470 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27337/statm: 366471 358898 394 719 0 365750 0
Current children cumulated CPU time (s) 1481.69
Current children cumulated vsize (KiB) 1465884
[startup+1542.3 s]
/proc/loadavg: 1.06 1.05 1.00 2/107 27390
/proc/meminfo: memFree=372588/2059040 swapFree=4140476/4192956
[pid=27337] ppid=27335 vsize=1465884 CPUtime=1541.67
/proc/27337/stat : 27337 (pbscip.linux.x8) R 27335 27337 26278 0 -1 4202496 370954 0 0 0 145957 8210 0 0 25 0 1 0 24044051 1501065216 358940 1992294400 4194304 7136930 140734084674320 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27337/statm: 366471 358940 394 719 0 365750 0
Current children cumulated CPU time (s) 1541.67
Current children cumulated vsize (KiB) 1465884
[startup+1602.3 s]
/proc/loadavg: 1.06 1.05 1.00 2/107 27392
/proc/meminfo: memFree=372464/2059040 swapFree=4140476/4192956
[pid=27337] ppid=27335 vsize=1465884 CPUtime=1601.65
/proc/27337/stat : 27337 (pbscip.linux.x8) R 27335 27337 26278 0 -1 4202496 370954 0 0 0 151861 8304 0 0 25 0 1 0 24044051 1501065216 358940 1992294400 4194304 7136930 140734084674320 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27337/statm: 366471 358940 394 719 0 365750 0
Current children cumulated CPU time (s) 1601.65
Current children cumulated vsize (KiB) 1465884
[startup+1662.3 s]
/proc/loadavg: 1.12 1.07 1.00 2/107 27394
/proc/meminfo: memFree=370108/2059040 swapFree=4140476/4192956
[pid=27337] ppid=27335 vsize=1468076 CPUtime=1661.63
/proc/27337/stat : 27337 (pbscip.linux.x8) R 27335 27337 26278 0 -1 4202496 371532 0 0 0 157759 8404 0 0 25 0 1 0 24044051 1503309824 359518 1992294400 4194304 7136930 140734084674320 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27337/statm: 367019 359518 394 719 0 366298 0
Current children cumulated CPU time (s) 1661.63
Current children cumulated vsize (KiB) 1468076
[startup+1722.3 s]
/proc/loadavg: 1.12 1.07 1.00 2/107 27396
/proc/meminfo: memFree=369860/2059040 swapFree=4140476/4192956
[pid=27337] ppid=27335 vsize=1468208 CPUtime=1721.6
/proc/27337/stat : 27337 (pbscip.linux.x8) R 27335 27337 26278 0 -1 4202496 371591 0 0 0 163680 8480 0 0 25 0 1 0 24044051 1503444992 359577 1992294400 4194304 7136930 140734084674320 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27337/statm: 367052 359577 394 719 0 366331 0
Current children cumulated CPU time (s) 1721.6
Current children cumulated vsize (KiB) 1468208
[startup+1782.3 s]
/proc/loadavg: 1.04 1.05 1.00 2/107 27398
/proc/meminfo: memFree=369736/2059040 swapFree=4140476/4192956
[pid=27337] ppid=27335 vsize=1468208 CPUtime=1781.57
/proc/27337/stat : 27337 (pbscip.linux.x8) R 27335 27337 26278 0 -1 4202496 371613 0 0 0 169608 8549 0 0 25 0 1 0 24044051 1503444992 359599 1992294400 4194304 7136930 140734084674320 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27337/statm: 367052 359599 394 719 0 366331 0
Current children cumulated CPU time (s) 1781.57
Current children cumulated vsize (KiB) 1468208
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.8 s]
/proc/loadavg: 1.03 1.05 1.00 2/107 27398
/proc/meminfo: memFree=369736/2059040 swapFree=4140476/4192956
[pid=27337] ppid=27335 vsize=1468208 CPUtime=1800.07
/proc/27337/stat : 27337 (pbscip.linux.x8) R 27335 27337 26278 0 -1 4202496 371613 0 0 0 171435 8572 0 0 25 0 1 0 24044051 1503444992 359599 1992294400 4194304 7136930 140734084674320 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27337/statm: 367052 359599 394 719 0 366331 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1468208
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -27337
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.03 1.05 1.00 2/107 27398
/proc/meminfo: memFree=369736/2059040 swapFree=4140476/4192956
[pid=27337] ppid=27335 vsize=1468208 CPUtime=1800.67
/proc/27337/stat : 27337 (pbscip.linux.x8) R 27335 27337 26278 0 -1 4202496 371618 0 0 0 171495 8572 0 0 25 0 1 0 24044051 1503444992 359604 1992294400 4194304 7136930 140734084674320 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27337/statm: 367052 359604 399 719 0 366331 0
Current children cumulated CPU time (s) 1800.67
Current children cumulated vsize (KiB) 1468208
[startup+1802.2 s]
/proc/loadavg: 1.03 1.05 1.00 2/108 27399
/proc/meminfo: memFree=369728/2059040 swapFree=4140476/4192956
[pid=27337] ppid=27335 vsize=1468208 CPUtime=1801.47
/proc/27337/stat : 27337 (pbscip.linux.x8) R 27335 27337 26278 0 -1 4202496 371618 0 0 0 171575 8572 0 0 25 0 1 0 24044051 1503444992 359604 1992294400 4194304 7136930 140734084674320 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27337/statm: 367052 359604 399 719 0 366331 0
Current children cumulated CPU time (s) 1801.47
Current children cumulated vsize (KiB) 1468208
[startup+1802.6 s]
/proc/loadavg: 1.03 1.05 1.00 2/108 27399
/proc/meminfo: memFree=369728/2059040 swapFree=4140476/4192956
[pid=27337] ppid=27335 vsize=1468208 CPUtime=1801.87
/proc/27337/stat : 27337 (pbscip.linux.x8) R 27335 27337 26278 0 -1 4202496 371618 0 0 0 171615 8572 0 0 25 0 1 0 24044051 1503444992 359604 1992294400 4194304 7136930 140734084674320 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27337/statm: 367052 359604 399 719 0 366331 0
Current children cumulated CPU time (s) 1801.87
Current children cumulated vsize (KiB) 1468208
[startup+1802.8 s]
/proc/loadavg: 1.03 1.05 1.00 2/108 27399
/proc/meminfo: memFree=369728/2059040 swapFree=4140476/4192956
[pid=27337] ppid=27335 vsize=1468208 CPUtime=1802.07
/proc/27337/stat : 27337 (pbscip.linux.x8) R 27335 27337 26278 0 -1 4202496 371618 0 0 0 171635 8572 0 0 25 0 1 0 24044051 1503444992 359604 1992294400 4194304 7136930 140734084674320 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27337/statm: 367052 359604 399 719 0 366331 0
Current children cumulated CPU time (s) 1802.07
Current children cumulated vsize (KiB) 1468208
[startup+1802.91 s]
/proc/loadavg: 1.03 1.05 1.00 2/108 27399
/proc/meminfo: memFree=369728/2059040 swapFree=4140476/4192956
[pid=27337] ppid=27335 vsize=0 CPUtime=1802.18
/proc/27337/stat : 27337 (pbscip.linux.x8) R 27335 27337 26278 0 -1 4203524 371618 0 0 0 171636 8582 0 0 25 0 1 0 24044051 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/27337/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.18
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.94
CPU time (s): 1802.22
CPU user time (s): 1716.36
CPU system time (s): 85.8609
CPU usage (%): 99.9598
Max. virtual memory (cumulated for all children) (KiB): 1492636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1716.36
system time used= 85.8609
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 371618
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= 4633
runsolver used 2.91356 second user time and 8.60469 second system time
The end