Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | SAT (TO) | 306 | 1802.22 | 1802.94 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-6.opb |
| MD5SUM | dcfce19ac0444148b26b7675e35c76bc |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 304 |
| Best CPU time to get the best result obtained on this benchmark | 0.030994 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 304 |
| Optimality of the best value was proved | YES |
| Number of variables | 257 |
| Total number of constraints | 97 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 97 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 44 |
| Number of terms in the objective function | 173 |
| Biggest coefficient in the objective function | 100 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 8448 |
| Number of bits of the sum of numbers in the objective function | 14 |
| Biggest number in a constraint | 100 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 8448 |
| Number of bits of the biggest sum of numbers | 14 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
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
OK 306
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
Begin job on node007 at 2010-06-14 05:00:06 IDJOB=2664724 IDBENCH=2232 IDSOLVER=1167 FILE ID=node007/2664724-1276484406 PBS_JOBID= 11173376 Free space on /tmp= 62484 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-6.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER 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 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= dcfce19ac0444148b26b7675e35c76bc RANDOM SEED=619101384 node007.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1813004 kB Buffers: 60608 kB Cached: 104780 kB SwapCached: 6948 kB Active: 97724 kB Inactive: 81704 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1813004 kB SwapTotal: 4192956 kB SwapFree: 4140476 kB Dirty: 3504 kB Writeback: 0 kB AnonPages: 11508 kB Mapped: 12936 kB Slab: 44864 kB PageTables: 4008 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181644 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62480 MiB End job on node007 at 2010-06-14 05:30:09