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) | 307 | 1802.22 | 1802.75 |
| Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-mod008.opb |
| MD5SUM | 4dd9ac2644c29d272d2675c7fc366ed6 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 307 |
| Best CPU time to get the best result obtained on this benchmark | 0.334949 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 307 |
| Optimality of the best value was proved | YES |
| Number of variables | 319 |
| Total number of constraints | 6 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 6 |
| Minimum length of a constraint | 186 |
| Maximum length of a constraint | 231 |
| Number of terms in the objective function | 319 |
| Biggest coefficient in the objective function | 87 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 23554 |
| Number of bits of the sum of numbers in the objective function | 15 |
| Biggest number in a constraint | 22000 |
| Number of bits of the biggest number in a constraint | 15 |
| Biggest sum of numbers in a constraint | 1027256 |
| Number of bits of the biggest sum of numbers | 20 |
| 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-2664591-1276353461.opb>
0.00/0.01 c original problem has 319 variables (319 bin, 0 int, 0 impl, 0 cont) and 6 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 o 23554
0.00/0.01 c feasible solution found by trivial heuristic, objective value 2.355400e+04
0.00/0.01 c presolving:
0.00/0.02 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6 upgd conss, 0 impls, 0 clqs
0.00/0.04 c (0.0s) probing: 101/319 (31.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.04 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.04 c presolving (2 rounds):
0.00/0.04 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.04 c 0 implications, 0 cliques
0.00/0.04 c presolved problem has 319 variables (319 bin, 0 int, 0 impl, 0 cont) and 6 constraints
0.00/0.04 c 6 constraints of type <knapsack>
0.00/0.04 c transformed objective value is always integral (scale: 1)
0.00/0.04 c Presolving Time: 0.02
0.00/0.04 c - non default parameters ----------------------------------------------------------------------
0.00/0.04 c # SCIP version 1.2.1.2
0.00/0.04 c
0.00/0.04 c # frequency for displaying node information lines
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.04 c display/freq = 10000
0.00/0.04 c
0.00/0.04 c # maximal time in seconds to run
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/time = 1800
0.00/0.04 c
0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/memory = 1620
0.00/0.04 c
0.00/0.04 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.04 c lp/solvefreq = -1
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify inequalities
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/linear/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify knapsacks
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c separating/rapidlearning/freq = 0
0.00/0.04 c
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving
0.00/0.04 c
0.00/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.00/0.04 c t 0.0s| 1 | 2 | 0 | - |1041k| 0 | - | 319 | 6 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 2.355400e+04 | Inf
0.00/0.08 o 482
0.00/0.08 c * 0.1s| 314 | 312 | 0 | 0.0 |1178k| 313 | - | 319 | 6 | 0 | 0 | 0 | 0 | 0 | 5.600000e+01 | 4.820000e+02 | 760.71%
0.19/0.26 o 440
0.19/0.26 c * 0.2s| 1632 | 1399 | 0 | 0.0 |1496k| 314 | - | 319 | 6 | 0 | 0 | 0 | 2 | 0 | 6.300000e+01 | 4.400000e+02 | 598.41%
0.19/0.26 o 419
0.19/0.26 c * 0.2s| 1634 | 1398 | 0 | 0.0 |1498k| 315 | - | 319 | 6 | 0 | 0 | 0 | 2 | 0 | 6.300000e+01 | 4.190000e+02 | 565.08%
1.29/1.32 c 1.1s| 10000 | 9707 | 0 | 0.0 |3679k| 315 | - | 319 | 8 | 0 | 0 | 0 | 15 | 0 | 7.000000e+01 | 4.190000e+02 | 498.57%
2.69/2.74 c 2.5s| 20000 | 19707 | 0 | 0.0 |6258k| 315 | - | 319 | 8 | 0 | 0 | 0 | 15 | 0 | 7.700000e+01 | 4.190000e+02 | 444.16%
4.09/4.16 c 3.8s| 30000 | 29707 | 0 | 0.0 |8835k| 315 | - | 319 | 8 | 0 | 0 | 0 | 15 | 0 | 8.300000e+01 | 4.190000e+02 | 404.82%
5.49/5.60 c 5.1s| 40000 | 39558 | 0 | 0.0 | 11M| 315 | - | 319 | 17 | 0 | 0 | 0 | 73 | 0 | 1.180000e+02 | 4.190000e+02 | 255.08%
5.89/5.91 o 415
5.89/5.91 c * 5.3s| 42334 | 41771 | 0 | 0.0 | 11M| 317 | - | 319 | 21 | 0 | 0 | 0 | 122 | 0 | 1.190000e+02 | 4.150000e+02 | 248.74%
6.09/6.11 o 405
6.09/6.11 c * 5.5s| 43873 | 43285 | 0 | 0.0 | 12M| 317 | - | 319 | 22 | 0 | 0 | 0 | 129 | 0 | 1.200000e+02 | 4.050000e+02 | 237.50%
6.79/6.87 c 6.2s| 50000 | 49332 | 0 | 0.0 | 13M| 317 | - | 319 | 30 | 0 | 0 | 0 | 156 | 0 | 1.210000e+02 | 4.050000e+02 | 234.71%
6.89/6.91 o 395
6.89/6.91 c * 6.2s| 50254 | 48954 | 0 | 0.0 | 13M| 317 | - | 319 | 32 | 0 | 0 | 0 | 158 | 0 | 1.210000e+02 | 3.950000e+02 | 226.45%
7.09/7.17 o 382
7.09/7.17 c * 6.5s| 52098 | 49575 | 0 | 0.0 | 14M| 317 | - | 319 | 37 | 0 | 0 | 0 | 191 | 0 | 1.220000e+02 | 3.820000e+02 | 213.11%
7.19/7.27 o 375
7.19/7.27 c * 6.6s| 52766 | 49864 | 0 | 0.0 | 14M| 317 | - | 319 | 39 | 0 | 0 | 0 | 203 | 0 | 1.220000e+02 | 3.750000e+02 | 207.38%
7.19/7.27 o 373
7.19/7.27 c * 6.6s| 52768 | 49628 | 0 | 0.0 | 14M| 317 | - | 319 | 39 | 0 | 0 | 0 | 203 | 0 | 1.220000e+02 | 3.730000e+02 | 205.74%
7.19/7.27 o 372
7.19/7.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.19/7.27 c * 6.6s| 52769 | 49597 | 0 | 0.0 | 14M| 317 | - | 319 | 39 | 0 | 0 | 0 | 203 | 0 | 1.220000e+02 | 3.720000e+02 | 204.92%
7.29/7.30 o 371
7.29/7.30 c * 6.6s| 53026 | 49647 | 0 | 0.0 | 14M| 317 | - | 319 | 39 | 0 | 0 | 0 | 207 | 0 | 1.220000e+02 | 3.710000e+02 | 204.10%
7.29/7.31 o 370
7.29/7.31 c * 6.6s| 53028 | 49608 | 0 | 0.0 | 14M| 317 | - | 319 | 39 | 0 | 0 | 0 | 207 | 0 | 1.220000e+02 | 3.700000e+02 | 203.28%
8.19/8.23 c 7.4s| 60000 | 56227 | 0 | 0.0 | 16M| 317 | - | 319 | 67 | 0 | 0 | 0 | 312 | 0 | 1.240000e+02 | 3.700000e+02 | 198.39%
9.49/9.51 c 8.6s| 70000 | 65761 | 0 | 0.0 | 18M| 317 | - | 319 | 112 | 0 | 0 | 0 | 440 | 0 | 1.250000e+02 | 3.700000e+02 | 196.00%
10.79/10.86 c 9.8s| 80000 | 75491 | 0 | 0.0 | 21M| 317 | - | 319 | 128 | 0 | 0 | 0 | 529 | 0 | 1.260000e+02 | 3.700000e+02 | 193.65%
12.10/12.15 c 11.0s| 90000 | 85036 | 0 | 0.0 | 23M| 317 | - | 319 | 171 | 0 | 0 | 0 | 665 | 0 | 1.270000e+02 | 3.700000e+02 | 191.34%
12.69/12.73 o 357
12.69/12.73 c *11.5s| 94437 | 89095 | 0 | 0.0 | 24M| 317 | - | 319 | 180 | 0 | 0 | 0 | 718 | 0 | 1.270000e+02 | 3.570000e+02 | 181.10%
13.39/13.45 c 12.1s|100000 | 94497 | 0 | 0.0 | 26M| 317 | - | 319 | 193 | 0 | 0 | 0 | 758 | 0 | 1.270000e+02 | 3.570000e+02 | 181.10%
14.79/14.83 c 13.3s|110000 |104167 | 0 | 0.0 | 28M| 317 | - | 319 | 215 | 0 | 0 | 0 | 879 | 0 | 1.280000e+02 | 3.570000e+02 | 178.91%
16.08/16.13 c 14.5s|120000 |113844 | 0 | 0.0 | 31M| 317 | - | 319 | 230 | 0 | 0 | 0 | 974 | 0 | 1.280000e+02 | 3.570000e+02 | 178.91%
17.39/17.44 c 15.7s|130000 |123470 | 0 | 0.0 | 33M| 317 | - | 319 | 271 | 0 | 0 | 0 |1076 | 0 | 1.290000e+02 | 3.570000e+02 | 176.74%
18.79/18.85 c 17.0s|140000 |133148 | 0 | 0.0 | 36M| 317 | - | 319 | 287 | 0 | 0 | 0 |1194 | 0 | 1.290000e+02 | 3.570000e+02 | 176.74%
20.08/20.16 c 18.1s|150000 |142625 | 0 | 0.0 | 39M| 317 | - | 319 | 306 | 0 | 0 | 0 |1367 | 0 | 1.290000e+02 | 3.570000e+02 | 176.74%
21.49/21.51 c 19.4s|160000 |152068 | 0 | 0.0 | 41M| 317 | - | 319 | 334 | 0 | 0 | 0 |1541 | 0 | 1.300000e+02 | 3.570000e+02 | 174.62%
22.78/22.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
22.78/22.84 c 20.6s|170000 |161686 | 0 | 0.0 | 44M| 317 | - | 319 | 332 | 0 | 0 | 0 |1654 | 0 | 1.300000e+02 | 3.570000e+02 | 174.62%
24.19/24.23 c 21.8s|180000 |171427 | 0 | 0.0 | 46M| 317 | - | 319 | 322 | 0 | 0 | 0 |1742 | 0 | 1.310000e+02 | 3.570000e+02 | 172.52%
25.59/25.63 c 23.1s|190000 |180854 | 0 | 0.0 | 49M| 317 | - | 319 | 323 | 0 | 0 | 0 |1857 | 0 | 1.310000e+02 | 3.570000e+02 | 172.52%
26.48/26.59 o 355
26.48/26.59 c *24.0s|197034 |186947 | 0 | 0.0 | 50M| 317 | - | 319 | 329 | 0 | 0 | 0 |1946 | 0 | 1.310000e+02 | 3.550000e+02 | 170.99%
26.78/26.82 o 344
26.78/26.82 c *24.2s|198703 |186459 | 0 | 0.0 | 50M| 317 | - | 319 | 330 | 0 | 0 | 0 |1982 | 0 | 1.310000e+02 | 3.440000e+02 | 162.60%
26.99/27.00 c 24.4s|200000 |187687 | 0 | 0.0 | 51M| 317 | - | 319 | 327 | 0 | 0 | 0 |2011 | 0 | 1.310000e+02 | 3.440000e+02 | 162.60%
28.28/28.36 c 25.6s|210000 |196892 | 0 | 0.0 | 53M| 317 | - | 319 | 347 | 0 | 0 | 0 |2294 | 0 | 1.320000e+02 | 3.440000e+02 | 160.61%
29.79/29.80 c 26.9s|220000 |206543 | 0 | 0.0 | 56M| 317 | - | 319 | 340 | 0 | 0 | 0 |2419 | 0 | 1.320000e+02 | 3.440000e+02 | 160.61%
31.08/31.14 c 28.1s|230000 |216110 | 0 | 0.0 | 58M| 317 | - | 319 | 335 | 0 | 0 | 0 |2525 | 0 | 1.320000e+02 | 3.440000e+02 | 160.61%
32.48/32.55 c 29.3s|240000 |225826 | 0 | 0.0 | 61M| 317 | - | 319 | 320 | 0 | 0 | 0 |2633 | 0 | 1.330000e+02 | 3.440000e+02 | 158.65%
34.09/34.12 c 30.8s|250000 |235556 | 0 | 0.0 | 63M| 317 | - | 319 | 300 | 0 | 0 | 0 |2747 | 0 | 1.330000e+02 | 3.440000e+02 | 158.65%
35.48/35.57 c 32.1s|260000 |245232 | 0 | 0.0 | 66M| 317 | - | 319 | 284 | 0 | 0 | 0 |2856 | 0 | 1.330000e+02 | 3.440000e+02 | 158.65%
36.88/36.98 c 33.4s|270000 |254837 | 0 | 0.0 | 69M| 317 | - | 319 | 250 | 0 | 0 | 0 |3001 | 0 | 1.330000e+02 | 3.440000e+02 | 158.65%
38.28/38.34 c 34.6s|280000 |264372 | 0 | 0.0 | 71M| 317 | - | 319 | 246 | 0 | 0 | 0 |3163 | 0 | 1.330000e+02 | 3.440000e+02 | 158.65%
39.68/39.72 c 35.8s|290000 |273757 | 0 | 0.0 | 74M| 317 | - | 319 | 247 | 0 | 0 | 0 |3372 | 0 | 1.330000e+02 | 3.440000e+02 | 158.65%
41.18/41.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.18/41.25 c 37.2s|300000 |283491 | 0 | 0.0 | 76M| 317 | - | 319 | 225 | 0 | 0 | 0 |3479 | 0 | 1.340000e+02 | 3.440000e+02 | 156.72%
42.58/42.64 c 38.5s|310000 |293053 | 0 | 0.0 | 79M| 317 | - | 319 | 232 | 0 | 0 | 0 |3637 | 0 | 1.340000e+02 | 3.440000e+02 | 156.72%
43.99/44.03 c 39.7s|320000 |302535 | 0 | 0.0 | 81M| 317 | - | 319 | 239 | 0 | 0 | 0 |3849 | 0 | 1.340000e+02 | 3.440000e+02 | 156.72%
45.38/45.46 c 41.0s|330000 |311907 | 0 | 0.0 | 84M| 317 | - | 319 | 238 | 0 | 0 | 0 |4106 | 0 | 1.340000e+02 | 3.440000e+02 | 156.72%
46.88/46.92 c 42.3s|340000 |321547 | 0 | 0.0 | 86M| 317 | - | 319 | 211 | 0 | 0 | 0 |4242 | 0 | 1.350000e+02 | 3.440000e+02 | 154.81%
48.38/48.43 c 43.7s|350000 |331241 | 0 | 0.0 | 89M| 317 | - | 319 | 182 | 0 | 0 | 0 |4371 | 0 | 1.350000e+02 | 3.440000e+02 | 154.81%
49.78/49.87 c 45.0s|360000 |340881 | 0 | 0.0 | 91M| 317 | - | 319 | 171 | 0 | 0 | 0 |4511 | 0 | 1.350000e+02 | 3.440000e+02 | 154.81%
51.18/51.26 c 46.3s|370000 |350504 | 0 | 0.0 | 94M| 317 | - | 319 | 146 | 0 | 0 | 0 |4636 | 0 | 1.350000e+02 | 3.440000e+02 | 154.81%
52.58/52.64 c 47.5s|380000 |360054 | 0 | 0.0 | 96M| 317 | - | 319 | 145 | 0 | 0 | 0 |4791 | 0 | 1.360000e+02 | 3.440000e+02 | 152.94%
54.08/54.19 c 48.9s|390000 |369782 | 0 | 0.0 | 99M| 317 | - | 319 | 129 | 0 | 0 | 0 |4877 | 0 | 1.360000e+02 | 3.440000e+02 | 152.94%
55.67/55.72 c 50.3s|400000 |379501 | 0 | 0.0 | 102M| 317 | - | 319 | 124 | 0 | 0 | 0 |4969 | 0 | 1.360000e+02 | 3.440000e+02 | 152.94%
57.18/57.21 c 51.7s|410000 |389166 | 0 | 0.0 | 104M| 317 | - | 319 | 115 | 0 | 0 | 0 |5126 | 0 | 1.360000e+02 | 3.440000e+02 | 152.94%
58.57/58.61 c 52.9s|420000 |398584 | 0 | 0.0 | 107M| 317 | - | 319 | 106 | 0 | 0 | 0 |5378 | 0 | 1.360000e+02 | 3.440000e+02 | 152.94%
60.07/60.12 c 54.3s|430000 |408171 | 0 | 0.0 | 109M| 317 | - | 319 | 83 | 0 | 0 | 0 |5545 | 0 | 1.370000e+02 | 3.440000e+02 | 151.09%
61.58/61.66 c 55.7s|440000 |417843 | 0 | 0.0 | 112M| 317 | - | 319 | 95 | 0 | 0 | 0 |5661 | 0 | 1.370000e+02 | 3.440000e+02 | 151.09%
63.07/63.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
63.07/63.12 c 57.0s|450000 |427507 | 0 | 0.0 | 114M| 317 | - | 319 | 101 | 0 | 0 | 0 |5801 | 0 | 1.370000e+02 | 3.440000e+02 | 151.09%
64.37/64.49 c 58.3s|460000 |437051 | 0 | 0.0 | 117M| 317 | - | 319 | 113 | 0 | 0 | 0 |5969 | 0 | 1.370000e+02 | 3.440000e+02 | 151.09%
65.88/65.95 c 59.6s|470000 |446617 | 0 | 0.0 | 119M| 317 | - | 319 | 112 | 0 | 0 | 0 |6113 | 0 | 1.380000e+02 | 3.440000e+02 | 149.28%
67.57/67.61 c 61.1s|480000 |456378 | 0 | 0.0 | 122M| 317 | - | 319 | 104 | 0 | 0 | 0 |6225 | 0 | 1.380000e+02 | 3.440000e+02 | 149.28%
69.17/69.22 c 62.6s|490000 |466106 | 0 | 0.0 | 124M| 317 | - | 319 | 67 | 0 | 0 | 0 |6325 | 0 | 1.380000e+02 | 3.440000e+02 | 149.28%
70.67/70.79 c 64.0s|500000 |475822 | 0 | 0.0 | 127M| 317 | - | 319 | 53 | 0 | 0 | 0 |6446 | 0 | 1.380000e+02 | 3.440000e+02 | 149.28%
72.27/72.31 c 65.4s|510000 |485538 | 0 | 0.0 | 130M| 317 | - | 319 | 55 | 0 | 0 | 0 |6556 | 0 | 1.380000e+02 | 3.440000e+02 | 149.28%
73.68/73.76 c 66.7s|520000 |495090 | 0 | 0.0 | 132M| 317 | - | 319 | 57 | 0 | 0 | 0 |6729 | 0 | 1.380000e+02 | 3.440000e+02 | 149.28%
75.17/75.25 c 68.1s|530000 |504503 | 0 | 0.0 | 135M| 317 | - | 319 | 66 | 0 | 0 | 0 |6982 | 0 | 1.390000e+02 | 3.440000e+02 | 147.48%
76.77/76.86 c 69.5s|540000 |514261 | 0 | 0.0 | 137M| 317 | - | 319 | 57 | 0 | 0 | 0 |7081 | 0 | 1.390000e+02 | 3.440000e+02 | 147.48%
78.37/78.46 c 71.0s|550000 |523975 | 0 | 0.0 | 140M| 317 | - | 319 | 36 | 0 | 0 | 0 |7212 | 0 | 1.390000e+02 | 3.440000e+02 | 147.48%
79.87/79.92 c 72.3s|560000 |533650 | 0 | 0.0 | 142M| 317 | - | 319 | 54 | 0 | 0 | 0 |7339 | 0 | 1.390000e+02 | 3.440000e+02 | 147.48%
81.28/81.31 c 73.6s|570000 |543057 | 0 | 0.0 | 145M| 317 | - | 319 | 73 | 0 | 0 | 0 |7574 | 0 | 1.390000e+02 | 3.440000e+02 | 147.48%
82.57/82.64 c 74.8s|580000 |552415 | 0 | 0.0 | 147M| 317 | - | 319 | 97 | 0 | 0 | 0 |7831 | 0 | 1.390000e+02 | 3.440000e+02 | 147.48%
84.16/84.27 c 76.2s|590000 |562198 | 0 | 0.0 | 150M| 317 | - | 319 | 90 | 0 | 0 | 0 |7915 | 0 | 1.400000e+02 | 3.440000e+02 | 145.71%
85.77/85.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
85.77/85.89 c 77.7s|600000 |571942 | 0 | 0.0 | 153M| 317 | - | 319 | 66 | 0 | 0 | 0 |8017 | 0 | 1.400000e+02 | 3.440000e+02 | 145.71%
87.37/87.48 c 79.2s|610000 |581676 | 0 | 0.0 | 155M| 317 | - | 319 | 48 | 0 | 0 | 0 |8125 | 0 | 1.400000e+02 | 3.440000e+02 | 145.71%
88.97/89.04 c 80.6s|620000 |591399 | 0 | 0.0 | 158M| 317 | - | 319 | 46 | 0 | 0 | 0 |8239 | 0 | 1.400000e+02 | 3.440000e+02 | 145.71%
90.47/90.51 c 81.9s|630000 |601082 | 0 | 0.0 | 160M| 317 | - | 319 | 48 | 0 | 0 | 0 |8338 | 0 | 1.400000e+02 | 3.440000e+02 | 145.71%
91.87/91.96 c 83.2s|640000 |610739 | 0 | 0.0 | 163M| 317 | - | 319 | 59 | 0 | 0 | 0 |8466 | 0 | 1.400000e+02 | 3.440000e+02 | 145.71%
93.26/93.37 c 84.5s|650000 |620300 | 0 | 0.0 | 165M| 317 | - | 319 | 74 | 0 | 0 | 0 |8625 | 0 | 1.400000e+02 | 3.440000e+02 | 145.71%
94.76/94.83 c 85.9s|660000 |629852 | 0 | 0.0 | 168M| 317 | - | 319 | 83 | 0 | 0 | 0 |8788 | 0 | 1.410000e+02 | 3.440000e+02 | 143.97%
96.27/96.35 c 87.3s|670000 |639496 | 0 | 0.0 | 170M| 317 | - | 319 | 72 | 0 | 0 | 0 |8890 | 0 | 1.410000e+02 | 3.440000e+02 | 143.97%
97.66/97.73 c 88.5s|680000 |649125 | 0 | 0.0 | 173M| 317 | - | 319 | 70 | 0 | 0 | 0 |9024 | 0 | 1.410000e+02 | 3.440000e+02 | 143.97%
98.97/99.08 c 89.7s|690000 |658501 | 0 | 0.0 | 175M| 317 | - | 319 | 82 | 0 | 0 | 0 |9239 | 0 | 1.410000e+02 | 3.440000e+02 | 143.97%
100.36/100.41 c 90.9s|700000 |667871 | 0 | 0.0 | 178M| 317 | - | 319 | 104 | 0 | 0 | 0 |9481 | 0 | 1.410000e+02 | 3.440000e+02 | 143.97%
100.56/100.66 o 334
100.56/100.66 c *91.1s|701766 |663210 | 0 | 0.0 | 177M| 317 | - | 319 | 112 | 0 | 0 | 0 |9511 | 0 | 1.410000e+02 | 3.340000e+02 | 136.88%
100.56/100.68 o 329
100.56/100.68 c *91.2s|701767 |661250 | 0 | 0.0 | 177M| 317 | - | 319 | 112 | 0 | 0 | 0 |9511 | 0 | 1.410000e+02 | 3.290000e+02 | 133.33%
101.66/101.78 c 92.1s|710000 |668869 | 0 | 0.0 | 179M| 317 | - | 319 | 131 | 0 | 0 | 0 |9667 | 0 | 1.420000e+02 | 3.290000e+02 | 131.69%
103.27/103.38 c 93.6s|720000 |678640 | 0 | 0.0 | 181M| 317 | - | 319 | 121 | 0 | 0 | 0 |9754 | 0 | 1.420000e+02 | 3.290000e+02 | 131.69%
104.86/104.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
104.86/104.98 c 95.1s|730000 |688390 | 0 | 0.0 | 184M| 317 | - | 319 | 64 | 0 | 0 | 0 |9872 | 0 | 1.420000e+02 | 3.290000e+02 | 131.69%
106.37/106.44 c 96.4s|740000 |698064 | 0 | 0.0 | 186M| 317 | - | 319 | 67 | 0 | 0 | 0 |9999 | 0 | 1.420000e+02 | 3.290000e+02 | 131.69%
107.77/107.83 c 97.6s|750000 |707649 | 0 | 0.0 | 189M| 317 | - | 319 | 81 | 0 | 0 | 0 | 10k| 0 | 1.420000e+02 | 3.290000e+02 | 131.69%
109.16/109.21 c 98.9s|760000 |717064 | 0 | 0.0 | 191M| 317 | - | 319 | 91 | 0 | 0 | 0 | 10k| 0 | 1.430000e+02 | 3.290000e+02 | 130.07%
110.76/110.86 c 100s|770000 |726856 | 0 | 0.0 | 194M| 317 | - | 319 | 70 | 0 | 0 | 0 | 10k| 0 | 1.430000e+02 | 3.290000e+02 | 130.07%
112.36/112.47 c 102s|780000 |736606 | 0 | 0.0 | 197M| 317 | - | 319 | 34 | 0 | 0 | 0 | 10k| 0 | 1.430000e+02 | 3.290000e+02 | 130.07%
113.86/113.99 c 103s|790000 |746273 | 0 | 0.0 | 199M| 317 | - | 319 | 29 | 0 | 0 | 0 | 10k| 0 | 1.430000e+02 | 3.290000e+02 | 130.07%
115.37/115.44 c 105s|800000 |755944 | 0 | 0.0 | 202M| 317 | - | 319 | 45 | 0 | 0 | 0 | 10k| 0 | 1.430000e+02 | 3.290000e+02 | 130.07%
116.66/116.79 c 106s|810000 |765543 | 0 | 0.0 | 204M| 317 | - | 319 | 73 | 0 | 0 | 0 | 10k| 0 | 1.430000e+02 | 3.290000e+02 | 130.07%
118.05/118.17 c 107s|820000 |775025 | 0 | 0.0 | 207M| 317 | - | 319 | 88 | 0 | 0 | 0 | 11k| 0 | 1.430000e+02 | 3.290000e+02 | 130.07%
119.46/119.56 c 108s|830000 |784485 | 0 | 0.0 | 209M| 317 | - | 319 | 104 | 0 | 0 | 0 | 11k| 0 | 1.430000e+02 | 3.290000e+02 | 130.07%
120.87/120.92 c 110s|840000 |793787 | 0 | 0.0 | 212M| 317 | - | 319 | 120 | 0 | 0 | 0 | 11k| 0 | 1.430000e+02 | 3.290000e+02 | 130.07%
122.16/122.24 c 111s|850000 |803018 | 0 | 0.0 | 214M| 317 | - | 319 | 143 | 0 | 0 | 0 | 11k| 0 | 1.430000e+02 | 3.290000e+02 | 130.07%
123.55/123.65 c 112s|860000 |812445 | 0 | 0.0 | 217M| 317 | - | 319 | 165 | 0 | 0 | 0 | 12k| 0 | 1.440000e+02 | 3.290000e+02 | 128.47%
125.26/125.36 c 114s|870000 |822194 | 0 | 0.0 | 219M| 317 | - | 319 | 164 | 0 | 0 | 0 | 12k| 0 | 1.440000e+02 | 3.290000e+02 | 128.47%
126.86/126.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
126.86/126.99 c 115s|880000 |831924 | 0 | 0.0 | 222M| 317 | - | 319 | 118 | 0 | 0 | 0 | 12k| 0 | 1.440000e+02 | 3.290000e+02 | 128.47%
128.46/128.50 c 116s|890000 |841615 | 0 | 0.0 | 224M| 317 | - | 319 | 96 | 0 | 0 | 0 | 12k| 0 | 1.440000e+02 | 3.290000e+02 | 128.47%
129.85/129.92 c 118s|900000 |851194 | 0 | 0.0 | 227M| 317 | - | 319 | 84 | 0 | 0 | 0 | 12k| 0 | 1.440000e+02 | 3.290000e+02 | 128.47%
131.25/131.33 c 119s|910000 |860637 | 0 | 0.0 | 229M| 317 | - | 319 | 86 | 0 | 0 | 0 | 12k| 0 | 1.440000e+02 | 3.290000e+02 | 128.47%
132.65/132.71 c 120s|920000 |870155 | 0 | 0.0 | 232M| 317 | - | 319 | 92 | 0 | 0 | 0 | 13k| 0 | 1.440000e+02 | 3.290000e+02 | 128.47%
133.85/134.00 c 121s|930000 |879696 | 0 | 0.0 | 235M| 317 | - | 319 | 99 | 0 | 0 | 0 | 13k| 0 | 1.450000e+02 | 3.290000e+02 | 126.90%
135.46/135.58 c 123s|940000 |889469 | 0 | 0.0 | 237M| 317 | - | 319 | 82 | 0 | 0 | 0 | 13k| 0 | 1.450000e+02 | 3.290000e+02 | 126.90%
137.05/137.13 c 124s|950000 |899166 | 0 | 0.0 | 240M| 317 | - | 319 | 47 | 0 | 0 | 0 | 13k| 0 | 1.450000e+02 | 3.290000e+02 | 126.90%
138.56/138.63 c 125s|960000 |908856 | 0 | 0.0 | 242M| 317 | - | 319 | 33 | 0 | 0 | 0 | 13k| 0 | 1.450000e+02 | 3.290000e+02 | 126.90%
140.05/140.11 c 127s|970000 |918534 | 0 | 0.0 | 245M| 317 | - | 319 | 31 | 0 | 0 | 0 | 13k| 0 | 1.450000e+02 | 3.290000e+02 | 126.90%
141.55/141.63 c 128s|980000 |928198 | 0 | 0.0 | 247M| 317 | - | 319 | 37 | 0 | 0 | 0 | 13k| 0 | 1.450000e+02 | 3.290000e+02 | 126.90%
142.95/143.08 c 130s|990000 |937846 | 0 | 0.0 | 250M| 317 | - | 319 | 51 | 0 | 0 | 0 | 13k| 0 | 1.450000e+02 | 3.290000e+02 | 126.90%
144.35/144.49 c 131s| 1000k|947484 | 0 | 0.0 | 252M| 317 | - | 319 | 59 | 0 | 0 | 0 | 14k| 0 | 1.450000e+02 | 3.290000e+02 | 126.90%
145.75/145.85 c 132s| 1010k|957086 | 0 | 0.0 | 255M| 317 | - | 319 | 80 | 0 | 0 | 0 | 14k| 0 | 1.450000e+02 | 3.290000e+02 | 126.90%
147.05/147.13 c 133s| 1020k|966717 | 0 | 0.0 | 257M| 317 | - | 319 | 107 | 0 | 0 | 0 | 14k| 0 | 1.450000e+02 | 3.290000e+02 | 126.90%
148.36/148.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
148.36/148.42 c 134s| 1030k|975866 | 0 | 0.0 | 260M| 317 | - | 319 | 160 | 0 | 0 | 0 | 14k| 0 | 1.450000e+02 | 3.290000e+02 | 126.90%
149.85/149.97 c 136s| 1040k|985384 | 0 | 0.0 | 262M| 317 | - | 319 | 183 | 0 | 0 | 0 | 14k| 0 | 1.460000e+02 | 3.290000e+02 | 125.34%
151.45/151.57 c 137s| 1050k|995119 | 0 | 0.0 | 265M| 317 | - | 319 | 164 | 0 | 0 | 0 | 14k| 0 | 1.460000e+02 | 3.290000e+02 | 125.34%
153.05/153.11 c 139s| 1060k| 1004k| 0 | 0.0 | 268M| 317 | - | 319 | 92 | 0 | 0 | 0 | 14k| 0 | 1.460000e+02 | 3.290000e+02 | 125.34%
154.55/154.68 c 140s| 1070k| 1014k| 0 | 0.0 | 270M| 317 | - | 319 | 66 | 0 | 0 | 0 | 15k| 0 | 1.460000e+02 | 3.290000e+02 | 125.34%
156.15/156.22 c 141s| 1080k| 1024k| 0 | 0.0 | 273M| 317 | - | 319 | 67 | 0 | 0 | 0 | 15k| 0 | 1.460000e+02 | 3.290000e+02 | 125.34%
157.64/157.72 c 143s| 1090k| 1033k| 0 | 0.0 | 275M| 317 | - | 319 | 61 | 0 | 0 | 0 | 15k| 0 | 1.460000e+02 | 3.290000e+02 | 125.34%
159.04/159.13 c 144s| 1100k| 1043k| 0 | 0.0 | 278M| 317 | - | 319 | 61 | 0 | 0 | 0 | 15k| 0 | 1.460000e+02 | 3.290000e+02 | 125.34%
160.45/160.53 c 145s| 1110k| 1053k| 0 | 0.0 | 280M| 317 | - | 319 | 60 | 0 | 0 | 0 | 15k| 0 | 1.460000e+02 | 3.290000e+02 | 125.34%
161.75/161.87 c 147s| 1120k| 1062k| 0 | 0.0 | 283M| 317 | - | 319 | 80 | 0 | 0 | 0 | 15k| 0 | 1.460000e+02 | 3.290000e+02 | 125.34%
163.05/163.15 c 148s| 1130k| 1072k| 0 | 0.0 | 285M| 317 | - | 319 | 99 | 0 | 0 | 0 | 15k| 0 | 1.460000e+02 | 3.290000e+02 | 125.34%
164.34/164.43 c 149s| 1140k| 1081k| 0 | 0.0 | 288M| 317 | - | 319 | 123 | 0 | 0 | 0 | 16k| 0 | 1.460000e+02 | 3.290000e+02 | 125.34%
165.65/165.72 c 150s| 1150k| 1090k| 0 | 0.0 | 290M| 317 | - | 319 | 161 | 0 | 0 | 0 | 16k| 0 | 1.460000e+02 | 3.290000e+02 | 125.34%
167.05/167.16 c 151s| 1160k| 1100k| 0 | 0.0 | 293M| 317 | - | 319 | 172 | 0 | 0 | 0 | 16k| 0 | 1.470000e+02 | 3.290000e+02 | 123.81%
168.65/168.73 c 153s| 1170k| 1110k| 0 | 0.0 | 295M| 317 | - | 319 | 159 | 0 | 0 | 0 | 16k| 0 | 1.470000e+02 | 3.290000e+02 | 123.81%
170.14/170.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
170.14/170.25 c 154s| 1180k| 1120k| 0 | 0.0 | 298M| 317 | - | 319 | 79 | 0 | 0 | 0 | 16k| 0 | 1.470000e+02 | 3.290000e+02 | 123.81%
171.64/171.71 c 155s| 1190k| 1129k| 0 | 0.0 | 301M| 317 | - | 319 | 72 | 0 | 0 | 0 | 16k| 0 | 1.470000e+02 | 3.290000e+02 | 123.81%
173.04/173.13 c 157s| 1200k| 1139k| 0 | 0.0 | 303M| 317 | - | 319 | 89 | 0 | 0 | 0 | 16k| 0 | 1.470000e+02 | 3.290000e+02 | 123.81%
174.34/174.45 c 158s| 1210k| 1148k| 0 | 0.0 | 306M| 317 | - | 319 | 112 | 0 | 0 | 0 | 17k| 0 | 1.470000e+02 | 3.290000e+02 | 123.81%
175.74/175.80 c 159s| 1220k| 1158k| 0 | 0.0 | 308M| 317 | - | 319 | 134 | 0 | 0 | 0 | 17k| 0 | 1.470000e+02 | 3.290000e+02 | 123.81%
177.14/177.21 c 160s| 1230k| 1167k| 0 | 0.0 | 311M| 317 | - | 319 | 139 | 0 | 0 | 0 | 17k| 0 | 1.480000e+02 | 3.290000e+02 | 122.30%
178.74/178.84 c 162s| 1240k| 1177k| 0 | 0.0 | 313M| 317 | - | 319 | 124 | 0 | 0 | 0 | 17k| 0 | 1.480000e+02 | 3.290000e+02 | 122.30%
180.35/180.42 c 163s| 1250k| 1187k| 0 | 0.0 | 316M| 317 | - | 319 | 56 | 0 | 0 | 0 | 17k| 0 | 1.480000e+02 | 3.290000e+02 | 122.30%
181.93/182.02 c 165s| 1260k| 1196k| 0 | 0.0 | 318M| 317 | - | 319 | 47 | 0 | 0 | 0 | 17k| 0 | 1.480000e+02 | 3.290000e+02 | 122.30%
183.44/183.57 c 166s| 1270k| 1206k| 0 | 0.0 | 321M| 317 | - | 319 | 48 | 0 | 0 | 0 | 17k| 0 | 1.480000e+02 | 3.290000e+02 | 122.30%
185.03/185.11 c 168s| 1280k| 1216k| 0 | 0.0 | 323M| 317 | - | 319 | 46 | 0 | 0 | 0 | 18k| 0 | 1.480000e+02 | 3.290000e+02 | 122.30%
186.54/186.61 c 169s| 1290k| 1226k| 0 | 0.0 | 326M| 317 | - | 319 | 50 | 0 | 0 | 0 | 18k| 0 | 1.480000e+02 | 3.290000e+02 | 122.30%
187.94/188.05 c 170s| 1300k| 1235k| 0 | 0.0 | 328M| 317 | - | 319 | 53 | 0 | 0 | 0 | 18k| 0 | 1.480000e+02 | 3.290000e+02 | 122.30%
189.33/189.48 c 172s| 1310k| 1245k| 0 | 0.0 | 331M| 317 | - | 319 | 57 | 0 | 0 | 0 | 18k| 0 | 1.480000e+02 | 3.290000e+02 | 122.30%
190.74/190.88 c 173s| 1320k| 1254k| 0 | 0.0 | 333M| 317 | - | 319 | 71 | 0 | 0 | 0 | 18k| 0 | 1.480000e+02 | 3.290000e+02 | 122.30%
192.14/192.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
192.14/192.25 c 174s| 1330k| 1264k| 0 | 0.0 | 336M| 317 | - | 319 | 82 | 0 | 0 | 0 | 18k| 0 | 1.480000e+02 | 3.290000e+02 | 122.30%
193.44/193.59 c 175s| 1340k| 1273k| 0 | 0.0 | 339M| 317 | - | 319 | 100 | 0 | 0 | 0 | 19k| 0 | 1.480000e+02 | 3.290000e+02 | 122.30%
194.73/194.89 c 176s| 1350k| 1283k| 0 | 0.0 | 341M| 317 | - | 319 | 120 | 0 | 0 | 0 | 19k| 0 | 1.480000e+02 | 3.290000e+02 | 122.30%
196.03/196.18 c 178s| 1360k| 1292k| 0 | 0.0 | 344M| 317 | - | 319 | 149 | 0 | 0 | 0 | 19k| 0 | 1.480000e+02 | 3.290000e+02 | 122.30%
197.34/197.46 c 179s| 1370k| 1301k| 0 | 0.0 | 346M| 317 | - | 319 | 178 | 0 | 0 | 0 | 19k| 0 | 1.480000e+02 | 3.290000e+02 | 122.30%
198.64/198.76 c 180s| 1380k| 1311k| 0 | 0.0 | 349M| 317 | - | 319 | 217 | 0 | 0 | 0 | 20k| 0 | 1.480000e+02 | 3.290000e+02 | 122.30%
200.24/200.33 c 181s| 1390k| 1320k| 0 | 0.0 | 351M| 317 | - | 319 | 209 | 0 | 0 | 0 | 20k| 0 | 1.490000e+02 | 3.290000e+02 | 120.81%
201.84/201.95 c 183s| 1400k| 1330k| 0 | 0.0 | 354M| 317 | - | 319 | 166 | 0 | 0 | 0 | 20k| 0 | 1.490000e+02 | 3.290000e+02 | 120.81%
203.34/203.50 c 184s| 1410k| 1340k| 0 | 0.0 | 356M| 317 | - | 319 | 63 | 0 | 0 | 0 | 20k| 0 | 1.490000e+02 | 3.290000e+02 | 120.81%
204.93/205.04 c 186s| 1420k| 1349k| 0 | 0.0 | 359M| 317 | - | 319 | 62 | 0 | 0 | 0 | 20k| 0 | 1.490000e+02 | 3.290000e+02 | 120.81%
206.43/206.58 c 187s| 1430k| 1359k| 0 | 0.0 | 361M| 317 | - | 319 | 60 | 0 | 0 | 0 | 20k| 0 | 1.490000e+02 | 3.290000e+02 | 120.81%
207.84/207.98 c 188s| 1440k| 1369k| 0 | 0.0 | 364M| 317 | - | 319 | 72 | 0 | 0 | 0 | 20k| 0 | 1.490000e+02 | 3.290000e+02 | 120.81%
209.23/209.36 c 190s| 1450k| 1378k| 0 | 0.0 | 366M| 317 | - | 319 | 92 | 0 | 0 | 0 | 21k| 0 | 1.490000e+02 | 3.290000e+02 | 120.81%
210.63/210.75 c 191s| 1460k| 1387k| 0 | 0.0 | 369M| 317 | - | 319 | 100 | 0 | 0 | 0 | 21k| 0 | 1.500000e+02 | 3.290000e+02 | 119.33%
212.23/212.40 c 192s| 1470k| 1397k| 0 | 0.0 | 371M| 317 | - | 319 | 98 | 0 | 0 | 0 | 21k| 0 | 1.500000e+02 | 3.290000e+02 | 119.33%
213.93/214.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
213.93/214.05 c 194s| 1480k| 1407k| 0 | 0.0 | 374M| 317 | - | 319 | 52 | 0 | 0 | 0 | 21k| 0 | 1.500000e+02 | 3.290000e+02 | 119.33%
215.54/215.68 c 195s| 1490k| 1417k| 0 | 0.0 | 376M| 317 | - | 319 | 48 | 0 | 0 | 0 | 21k| 0 | 1.500000e+02 | 3.290000e+02 | 119.33%
217.13/217.29 c 197s| 1500k| 1427k| 0 | 0.0 | 379M| 317 | - | 319 | 45 | 0 | 0 | 0 | 21k| 0 | 1.500000e+02 | 3.290000e+02 | 119.33%
218.73/218.88 c 198s| 1510k| 1436k| 0 | 0.0 | 382M| 317 | - | 319 | 46 | 0 | 0 | 0 | 21k| 0 | 1.500000e+02 | 3.290000e+02 | 119.33%
220.33/220.45 c 200s| 1520k| 1446k| 0 | 0.0 | 384M| 317 | - | 319 | 45 | 0 | 0 | 0 | 21k| 0 | 1.500000e+02 | 3.290000e+02 | 119.33%
221.93/222.02 c 201s| 1530k| 1456k| 0 | 0.0 | 387M| 317 | - | 319 | 44 | 0 | 0 | 0 | 22k| 0 | 1.500000e+02 | 3.290000e+02 | 119.33%
223.43/223.56 c 203s| 1540k| 1465k| 0 | 0.0 | 389M| 317 | - | 319 | 47 | 0 | 0 | 0 | 22k| 0 | 1.500000e+02 | 3.290000e+02 | 119.33%
224.92/225.07 c 204s| 1550k| 1475k| 0 | 0.0 | 392M| 317 | - | 319 | 47 | 0 | 0 | 0 | 22k| 0 | 1.500000e+02 | 3.290000e+02 | 119.33%
226.43/226.51 c 205s| 1560k| 1485k| 0 | 0.0 | 394M| 317 | - | 319 | 53 | 0 | 0 | 0 | 22k| 0 | 1.500000e+02 | 3.290000e+02 | 119.33%
227.73/227.89 c 206s| 1570k| 1494k| 0 | 0.0 | 397M| 317 | - | 319 | 60 | 0 | 0 | 0 | 22k| 0 | 1.500000e+02 | 3.290000e+02 | 119.33%
229.12/229.24 c 208s| 1580k| 1504k| 0 | 0.0 | 399M| 317 | - | 319 | 77 | 0 | 0 | 0 | 22k| 0 | 1.500000e+02 | 3.290000e+02 | 119.33%
230.43/230.57 c 209s| 1590k| 1513k| 0 | 0.0 | 402M| 317 | - | 319 | 88 | 0 | 0 | 0 | 22k| 0 | 1.500000e+02 | 3.290000e+02 | 119.33%
231.83/231.92 c 210s| 1600k| 1523k| 0 | 0.0 | 404M| 317 | - | 319 | 105 | 0 | 0 | 0 | 23k| 0 | 1.500000e+02 | 3.290000e+02 | 119.33%
233.13/233.25 c 211s| 1610k| 1532k| 0 | 0.0 | 407M| 317 | - | 319 | 132 | 0 | 0 | 0 | 23k| 0 | 1.500000e+02 | 3.290000e+02 | 119.33%
234.62/234.78 c 213s| 1620k| 1542k| 0 | 0.0 | 410M| 317 | - | 319 | 151 | 0 | 0 | 0 | 23k| 0 | 1.510000e+02 | 3.290000e+02 | 117.88%
236.33/236.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
236.33/236.41 c 214s| 1630k| 1551k| 0 | 0.0 | 412M| 317 | - | 319 | 132 | 0 | 0 | 0 | 23k| 0 | 1.510000e+02 | 3.290000e+02 | 117.88%
237.82/237.98 c 216s| 1640k| 1561k| 0 | 0.0 | 415M| 317 | - | 319 | 37 | 0 | 0 | 0 | 23k| 0 | 1.510000e+02 | 3.290000e+02 | 117.88%
239.32/239.45 c 217s| 1650k| 1571k| 0 | 0.0 | 417M| 317 | - | 319 | 35 | 0 | 0 | 0 | 23k| 0 | 1.510000e+02 | 3.290000e+02 | 117.88%
240.72/240.88 c 218s| 1660k| 1580k| 0 | 0.0 | 420M| 317 | - | 319 | 39 | 0 | 0 | 0 | 24k| 0 | 1.510000e+02 | 3.290000e+02 | 117.88%
242.23/242.31 c 220s| 1670k| 1590k| 0 | 0.0 | 422M| 317 | - | 319 | 46 | 0 | 0 | 0 | 24k| 0 | 1.510000e+02 | 3.290000e+02 | 117.88%
243.62/243.70 c 221s| 1680k| 1599k| 0 | 0.0 | 425M| 317 | - | 319 | 54 | 0 | 0 | 0 | 24k| 0 | 1.510000e+02 | 3.290000e+02 | 117.88%
244.92/245.09 c 222s| 1690k| 1609k| 0 | 0.0 | 427M| 317 | - | 319 | 56 | 0 | 0 | 0 | 24k| 0 | 1.510000e+02 | 3.290000e+02 | 117.88%
246.33/246.47 c 223s| 1700k| 1618k| 0 | 0.0 | 430M| 317 | - | 319 | 65 | 0 | 0 | 0 | 25k| 0 | 1.510000e+02 | 3.290000e+02 | 117.88%
247.92/248.04 c 225s| 1710k| 1628k| 0 | 0.0 | 432M| 317 | - | 319 | 69 | 0 | 0 | 0 | 25k| 0 | 1.520000e+02 | 3.290000e+02 | 116.45%
249.62/249.75 c 226s| 1720k| 1638k| 0 | 0.0 | 435M| 317 | - | 319 | 68 | 0 | 0 | 0 | 25k| 0 | 1.520000e+02 | 3.290000e+02 | 116.45%
251.32/251.40 c 228s| 1730k| 1647k| 0 | 0.0 | 438M| 317 | - | 319 | 35 | 0 | 0 | 0 | 25k| 0 | 1.520000e+02 | 3.290000e+02 | 116.45%
252.82/252.90 c 229s| 1740k| 1657k| 0 | 0.0 | 440M| 317 | - | 319 | 43 | 0 | 0 | 0 | 25k| 0 | 1.520000e+02 | 3.290000e+02 | 116.45%
254.22/254.33 c 230s| 1750k| 1667k| 0 | 0.0 | 443M| 317 | - | 319 | 48 | 0 | 0 | 0 | 25k| 0 | 1.520000e+02 | 3.290000e+02 | 116.45%
255.62/255.76 c 232s| 1760k| 1676k| 0 | 0.0 | 445M| 317 | - | 319 | 55 | 0 | 0 | 0 | 25k| 0 | 1.520000e+02 | 3.290000e+02 | 116.45%
257.02/257.15 c 233s| 1770k| 1686k| 0 | 0.0 | 448M| 317 | - | 319 | 64 | 0 | 0 | 0 | 25k| 0 | 1.520000e+02 | 3.290000e+02 | 116.45%
258.42/258.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
258.42/258.52 c 234s| 1780k| 1695k| 0 | 0.0 | 450M| 317 | - | 319 | 71 | 0 | 0 | 0 | 26k| 0 | 1.520000e+02 | 3.290000e+02 | 116.45%
259.82/259.92 c 236s| 1790k| 1705k| 0 | 0.0 | 453M| 317 | - | 319 | 91 | 0 | 0 | 0 | 26k| 0 | 1.530000e+02 | 3.290000e+02 | 115.03%
261.41/261.55 c 237s| 1800k| 1714k| 0 | 0.0 | 455M| 317 | - | 319 | 90 | 0 | 0 | 0 | 26k| 0 | 1.530000e+02 | 3.290000e+02 | 115.03%
262.92/263.05 c 238s| 1810k| 1724k| 0 | 0.0 | 458M| 317 | - | 319 | 54 | 0 | 0 | 0 | 26k| 0 | 1.530000e+02 | 3.290000e+02 | 115.03%
264.41/264.54 c 240s| 1820k| 1734k| 0 | 0.0 | 460M| 317 | - | 319 | 47 | 0 | 0 | 0 | 26k| 0 | 1.530000e+02 | 3.290000e+02 | 115.03%
265.92/266.02 c 241s| 1830k| 1743k| 0 | 0.0 | 463M| 317 | - | 319 | 51 | 0 | 0 | 0 | 26k| 0 | 1.530000e+02 | 3.290000e+02 | 115.03%
267.41/267.52 c 242s| 1840k| 1753k| 0 | 0.0 | 465M| 317 | - | 319 | 46 | 0 | 0 | 0 | 27k| 0 | 1.530000e+02 | 3.290000e+02 | 115.03%
268.91/269.01 c 244s| 1850k| 1763k| 0 | 0.0 | 468M| 317 | - | 319 | 50 | 0 | 0 | 0 | 27k| 0 | 1.530000e+02 | 3.290000e+02 | 115.03%
270.31/270.47 c 245s| 1860k| 1772k| 0 | 0.0 | 471M| 317 | - | 319 | 55 | 0 | 0 | 0 | 27k| 0 | 1.530000e+02 | 3.290000e+02 | 115.03%
271.82/271.95 c 246s| 1870k| 1782k| 0 | 0.0 | 473M| 317 | - | 319 | 57 | 0 | 0 | 0 | 27k| 0 | 1.530000e+02 | 3.290000e+02 | 115.03%
273.32/273.40 c 248s| 1880k| 1791k| 0 | 0.0 | 476M| 317 | - | 319 | 61 | 0 | 0 | 0 | 27k| 0 | 1.530000e+02 | 3.290000e+02 | 115.03%
274.71/274.86 c 249s| 1890k| 1801k| 0 | 0.0 | 478M| 317 | - | 319 | 64 | 0 | 0 | 0 | 28k| 0 | 1.530000e+02 | 3.290000e+02 | 115.03%
276.11/276.29 c 250s| 1900k| 1810k| 0 | 0.0 | 481M| 317 | - | 319 | 68 | 0 | 0 | 0 | 28k| 0 | 1.530000e+02 | 3.290000e+02 | 115.03%
277.51/277.65 c 252s| 1910k| 1820k| 0 | 0.0 | 483M| 317 | - | 319 | 83 | 0 | 0 | 0 | 28k| 0 | 1.530000e+02 | 3.290000e+02 | 115.03%
278.91/279.02 c 253s| 1920k| 1829k| 0 | 0.0 | 486M| 317 | - | 319 | 95 | 0 | 0 | 0 | 28k| 0 | 1.530000e+02 | 3.290000e+02 | 115.03%
280.32/280.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
280.32/280.47 c 254s| 1930k| 1838k| 0 | 0.0 | 488M| 317 | - | 319 | 104 | 0 | 0 | 0 | 29k| 0 | 1.540000e+02 | 3.290000e+02 | 113.64%
282.02/282.15 c 256s| 1940k| 1848k| 0 | 0.0 | 491M| 317 | - | 319 | 97 | 0 | 0 | 0 | 29k| 0 | 1.540000e+02 | 3.290000e+02 | 113.64%
283.72/283.80 c 257s| 1950k| 1858k| 0 | 0.0 | 493M| 317 | - | 319 | 55 | 0 | 0 | 0 | 29k| 0 | 1.540000e+02 | 3.290000e+02 | 113.64%
285.20/285.37 c 259s| 1960k| 1868k| 0 | 0.0 | 496M| 317 | - | 319 | 59 | 0 | 0 | 0 | 29k| 0 | 1.540000e+02 | 3.290000e+02 | 113.64%
286.81/286.90 c 260s| 1970k| 1877k| 0 | 0.0 | 498M| 317 | - | 319 | 59 | 0 | 0 | 0 | 29k| 0 | 1.540000e+02 | 3.290000e+02 | 113.64%
288.21/288.39 c 262s| 1980k| 1887k| 0 | 0.0 | 501M| 317 | - | 319 | 58 | 0 | 0 | 0 | 29k| 0 | 1.540000e+02 | 3.290000e+02 | 113.64%
289.71/289.87 c 263s| 1990k| 1897k| 0 | 0.0 | 504M| 317 | - | 319 | 66 | 0 | 0 | 0 | 29k| 0 | 1.540000e+02 | 3.290000e+02 | 113.64%
291.20/291.38 c 264s| 2000k| 1906k| 0 | 0.0 | 506M| 317 | - | 319 | 72 | 0 | 0 | 0 | 29k| 0 | 1.540000e+02 | 3.290000e+02 | 113.64%
292.80/292.92 c 266s| 2010k| 1916k| 0 | 0.0 | 509M| 317 | - | 319 | 59 | 0 | 0 | 0 | 30k| 0 | 1.550000e+02 | 3.290000e+02 | 112.26%
294.41/294.57 c 267s| 2020k| 1926k| 0 | 0.0 | 511M| 317 | - | 319 | 57 | 0 | 0 | 0 | 30k| 0 | 1.550000e+02 | 3.290000e+02 | 112.26%
296.01/296.14 c 269s| 2030k| 1935k| 0 | 0.0 | 514M| 317 | - | 319 | 50 | 0 | 0 | 0 | 30k| 0 | 1.550000e+02 | 3.290000e+02 | 112.26%
297.51/297.69 c 270s| 2040k| 1945k| 0 | 0.0 | 516M| 317 | - | 319 | 34 | 0 | 0 | 0 | 30k| 0 | 1.550000e+02 | 3.290000e+02 | 112.26%
299.11/299.26 c 271s| 2050k| 1955k| 0 | 0.0 | 519M| 317 | - | 319 | 32 | 0 | 0 | 0 | 30k| 0 | 1.550000e+02 | 3.290000e+02 | 112.26%
300.60/300.78 c 273s| 2060k| 1964k| 0 | 0.0 | 521M| 317 | - | 319 | 34 | 0 | 0 | 0 | 30k| 0 | 1.550000e+02 | 3.290000e+02 | 112.26%
302.20/302.33 c 274s| 2070k| 1974k| 0 | 0.0 | 524M| 317 | - | 319 | 32 | 0 | 0 | 0 | 30k| 0 | 1.550000e+02 | 3.290000e+02 | 112.26%
303.70/303.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
303.70/303.87 c 276s| 2080k| 1984k| 0 | 0.0 | 527M| 317 | - | 319 | 34 | 0 | 0 | 0 | 31k| 0 | 1.550000e+02 | 3.290000e+02 | 112.26%
305.20/305.34 c 277s| 2090k| 1993k| 0 | 0.0 | 529M| 317 | - | 319 | 34 | 0 | 0 | 0 | 31k| 0 | 1.550000e+02 | 3.290000e+02 | 112.26%
306.71/306.80 c 278s| 2100k| 2003k| 0 | 0.0 | 532M| 317 | - | 319 | 40 | 0 | 0 | 0 | 31k| 0 | 1.550000e+02 | 3.290000e+02 | 112.26%
308.10/308.22 c 280s| 2110k| 2013k| 0 | 0.0 | 534M| 317 | - | 319 | 39 | 0 | 0 | 0 | 31k| 0 | 1.550000e+02 | 3.290000e+02 | 112.26%
309.50/309.60 c 281s| 2120k| 2022k| 0 | 0.0 | 537M| 317 | - | 319 | 44 | 0 | 0 | 0 | 31k| 0 | 1.550000e+02 | 3.290000e+02 | 112.26%
310.80/310.98 c 282s| 2130k| 2031k| 0 | 0.0 | 539M| 317 | - | 319 | 54 | 0 | 0 | 0 | 32k| 0 | 1.550000e+02 | 3.290000e+02 | 112.26%
312.31/312.45 c 283s| 2140k| 2041k| 0 | 0.0 | 542M| 317 | - | 319 | 50 | 0 | 0 | 0 | 32k| 0 | 1.560000e+02 | 3.290000e+02 | 110.90%
313.91/314.03 c 285s| 2150k| 2051k| 0 | 0.0 | 544M| 317 | - | 319 | 46 | 0 | 0 | 0 | 32k| 0 | 1.560000e+02 | 3.290000e+02 | 110.90%
315.51/315.63 c 286s| 2160k| 2060k| 0 | 0.0 | 547M| 317 | - | 319 | 29 | 0 | 0 | 0 | 32k| 0 | 1.560000e+02 | 3.290000e+02 | 110.90%
317.10/317.22 c 288s| 2170k| 2070k| 0 | 0.0 | 550M| 317 | - | 319 | 29 | 0 | 0 | 0 | 32k| 0 | 1.560000e+02 | 3.290000e+02 | 110.90%
318.70/318.81 c 289s| 2180k| 2080k| 0 | 0.0 | 552M| 317 | - | 319 | 30 | 0 | 0 | 0 | 32k| 0 | 1.560000e+02 | 3.290000e+02 | 110.90%
320.20/320.37 c 291s| 2190k| 2089k| 0 | 0.0 | 555M| 317 | - | 319 | 29 | 0 | 0 | 0 | 32k| 0 | 1.560000e+02 | 3.290000e+02 | 110.90%
321.80/321.91 c 292s| 2200k| 2099k| 0 | 0.0 | 557M| 317 | - | 319 | 34 | 0 | 0 | 0 | 33k| 0 | 1.560000e+02 | 3.290000e+02 | 110.90%
323.31/323.43 c 293s| 2210k| 2109k| 0 | 0.0 | 560M| 317 | - | 319 | 34 | 0 | 0 | 0 | 33k| 0 | 1.560000e+02 | 3.290000e+02 | 110.90%
324.70/324.88 c 295s| 2220k| 2118k| 0 | 0.0 | 562M| 317 | - | 319 | 46 | 0 | 0 | 0 | 33k| 0 | 1.560000e+02 | 3.290000e+02 | 110.90%
326.20/326.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
326.20/326.33 c 296s| 2230k| 2128k| 0 | 0.0 | 565M| 317 | - | 319 | 53 | 0 | 0 | 0 | 33k| 0 | 1.560000e+02 | 3.290000e+02 | 110.90%
327.60/327.70 c 297s| 2240k| 2137k| 0 | 0.0 | 567M| 317 | - | 319 | 61 | 0 | 0 | 0 | 33k| 0 | 1.560000e+02 | 3.290000e+02 | 110.90%
328.99/329.11 c 299s| 2250k| 2147k| 0 | 0.0 | 570M| 317 | - | 319 | 72 | 0 | 0 | 0 | 33k| 0 | 1.570000e+02 | 3.290000e+02 | 109.55%
330.49/330.63 c 300s| 2260k| 2157k| 0 | 0.0 | 572M| 317 | - | 319 | 70 | 0 | 0 | 0 | 34k| 0 | 1.570000e+02 | 3.290000e+02 | 109.55%
332.01/332.11 c 301s| 2270k| 2166k| 0 | 0.0 | 575M| 317 | - | 319 | 52 | 0 | 0 | 0 | 34k| 0 | 1.570000e+02 | 3.290000e+02 | 109.55%
333.49/333.65 c 303s| 2280k| 2176k| 0 | 0.0 | 577M| 317 | - | 319 | 54 | 0 | 0 | 0 | 34k| 0 | 1.570000e+02 | 3.290000e+02 | 109.55%
334.99/335.13 c 304s| 2290k| 2185k| 0 | 0.0 | 580M| 317 | - | 319 | 55 | 0 | 0 | 0 | 34k| 0 | 1.570000e+02 | 3.290000e+02 | 109.55%
336.40/336.56 c 305s| 2300k| 2195k| 0 | 0.0 | 583M| 317 | - | 319 | 66 | 0 | 0 | 0 | 34k| 0 | 1.570000e+02 | 3.290000e+02 | 109.55%
337.80/337.98 c 307s| 2310k| 2204k| 0 | 0.0 | 585M| 317 | - | 319 | 73 | 0 | 0 | 0 | 35k| 0 | 1.580000e+02 | 3.290000e+02 | 108.23%
339.39/339.55 c 308s| 2320k| 2214k| 0 | 0.0 | 588M| 317 | - | 319 | 70 | 0 | 0 | 0 | 35k| 0 | 1.580000e+02 | 3.290000e+02 | 108.23%
340.99/341.10 c 309s| 2330k| 2224k| 0 | 0.0 | 590M| 317 | - | 319 | 35 | 0 | 0 | 0 | 35k| 0 | 1.580000e+02 | 3.290000e+02 | 108.23%
342.39/342.57 c 311s| 2340k| 2233k| 0 | 0.0 | 593M| 317 | - | 319 | 40 | 0 | 0 | 0 | 35k| 0 | 1.580000e+02 | 3.290000e+02 | 108.23%
343.89/344.05 c 312s| 2350k| 2243k| 0 | 0.0 | 595M| 317 | - | 319 | 53 | 0 | 0 | 0 | 35k| 0 | 1.580000e+02 | 3.290000e+02 | 108.23%
345.40/345.54 c 314s| 2360k| 2253k| 0 | 0.0 | 598M| 317 | - | 319 | 57 | 0 | 0 | 0 | 35k| 0 | 1.580000e+02 | 3.290000e+02 | 108.23%
346.90/347.06 c 315s| 2370k| 2262k| 0 | 0.0 | 600M| 317 | - | 319 | 52 | 0 | 0 | 0 | 35k| 0 | 1.580000e+02 | 3.290000e+02 | 108.23%
348.40/348.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
348.40/348.56 c 316s| 2380k| 2272k| 0 | 0.0 | 603M| 317 | - | 319 | 55 | 0 | 0 | 0 | 36k| 0 | 1.580000e+02 | 3.290000e+02 | 108.23%
349.90/350.05 c 318s| 2390k| 2282k| 0 | 0.0 | 605M| 317 | - | 319 | 59 | 0 | 0 | 0 | 36k| 0 | 1.580000e+02 | 3.290000e+02 | 108.23%
351.39/351.50 c 319s| 2400k| 2291k| 0 | 0.0 | 608M| 317 | - | 319 | 63 | 0 | 0 | 0 | 36k| 0 | 1.580000e+02 | 3.290000e+02 | 108.23%
352.79/352.92 c 320s| 2410k| 2301k| 0 | 0.0 | 611M| 317 | - | 319 | 70 | 0 | 0 | 0 | 36k| 0 | 1.580000e+02 | 3.290000e+02 | 108.23%
354.10/354.27 c 321s| 2420k| 2310k| 0 | 0.0 | 613M| 317 | - | 319 | 89 | 0 | 0 | 0 | 36k| 0 | 1.580000e+02 | 3.290000e+02 | 108.23%
355.49/355.63 c 323s| 2430k| 2319k| 0 | 0.0 | 616M| 317 | - | 319 | 105 | 0 | 0 | 0 | 37k| 0 | 1.580000e+02 | 3.290000e+02 | 108.23%
356.79/356.99 c 324s| 2440k| 2329k| 0 | 0.0 | 618M| 317 | - | 319 | 127 | 0 | 0 | 0 | 37k| 0 | 1.580000e+02 | 3.290000e+02 | 108.23%
358.40/358.50 c 325s| 2450k| 2338k| 0 | 0.0 | 621M| 317 | - | 319 | 131 | 0 | 0 | 0 | 37k| 0 | 1.590000e+02 | 3.290000e+02 | 106.92%
359.99/360.13 c 327s| 2460k| 2348k| 0 | 0.0 | 623M| 317 | - | 319 | 122 | 0 | 0 | 0 | 37k| 0 | 1.590000e+02 | 3.290000e+02 | 106.92%
361.58/361.77 c 328s| 2470k| 2358k| 0 | 0.0 | 626M| 317 | - | 319 | 42 | 0 | 0 | 0 | 37k| 0 | 1.590000e+02 | 3.290000e+02 | 106.92%
363.19/363.33 c 330s| 2480k| 2368k| 0 | 0.0 | 628M| 317 | - | 319 | 42 | 0 | 0 | 0 | 37k| 0 | 1.590000e+02 | 3.290000e+02 | 106.92%
364.59/364.72 c 331s| 2490k| 2377k| 0 | 0.0 | 631M| 317 | - | 319 | 55 | 0 | 0 | 0 | 38k| 0 | 1.590000e+02 | 3.290000e+02 | 106.92%
366.09/366.21 c 332s| 2500k| 2387k| 0 | 0.0 | 633M| 317 | - | 319 | 61 | 0 | 0 | 0 | 38k| 0 | 1.600000e+02 | 3.290000e+02 | 105.62%
367.69/367.86 c 334s| 2510k| 2396k| 0 | 0.0 | 636M| 317 | - | 319 | 60 | 0 | 0 | 0 | 38k| 0 | 1.600000e+02 | 3.290000e+02 | 105.62%
369.29/369.47 c 335s| 2520k| 2406k| 0 | 0.0 | 638M| 317 | - | 319 | 34 | 0 | 0 | 0 | 38k| 0 | 1.600000e+02 | 3.290000e+02 | 105.62%
370.89/371.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
370.89/371.07 c 337s| 2530k| 2416k| 0 | 0.0 | 641M| 317 | - | 319 | 28 | 0 | 0 | 0 | 38k| 0 | 1.600000e+02 | 3.290000e+02 | 105.62%
372.49/372.69 c 338s| 2540k| 2426k| 0 | 0.0 | 644M| 317 | - | 319 | 27 | 0 | 0 | 0 | 38k| 0 | 1.600000e+02 | 3.290000e+02 | 105.62%
374.08/374.29 c 340s| 2550k| 2435k| 0 | 0.0 | 646M| 317 | - | 319 | 27 | 0 | 0 | 0 | 38k| 0 | 1.600000e+02 | 3.290000e+02 | 105.62%
375.68/375.88 c 341s| 2560k| 2445k| 0 | 0.0 | 649M| 317 | - | 319 | 23 | 0 | 0 | 0 | 38k| 0 | 1.600000e+02 | 3.290000e+02 | 105.62%
377.38/377.51 c 343s| 2570k| 2455k| 0 | 0.0 | 651M| 317 | - | 319 | 23 | 0 | 0 | 0 | 39k| 0 | 1.600000e+02 | 3.290000e+02 | 105.62%
378.98/379.13 c 344s| 2580k| 2464k| 0 | 0.0 | 654M| 317 | - | 319 | 23 | 0 | 0 | 0 | 39k| 0 | 1.600000e+02 | 3.290000e+02 | 105.62%
380.59/380.73 c 346s| 2590k| 2474k| 0 | 0.0 | 656M| 317 | - | 319 | 23 | 0 | 0 | 0 | 39k| 0 | 1.600000e+02 | 3.290000e+02 | 105.62%
381.98/382.19 c 347s| 2600k| 2484k| 0 | 0.0 | 659M| 317 | - | 319 | 27 | 0 | 0 | 0 | 39k| 0 | 1.600000e+02 | 3.290000e+02 | 105.62%
383.48/383.60 c 348s| 2610k| 2493k| 0 | 0.0 | 661M| 317 | - | 319 | 32 | 0 | 0 | 0 | 39k| 0 | 1.600000e+02 | 3.290000e+02 | 105.62%
384.89/385.01 c 349s| 2620k| 2503k| 0 | 0.0 | 664M| 317 | - | 319 | 44 | 0 | 0 | 0 | 39k| 0 | 1.600000e+02 | 3.290000e+02 | 105.62%
386.28/386.40 c 351s| 2630k| 2512k| 0 | 0.0 | 667M| 317 | - | 319 | 58 | 0 | 0 | 0 | 40k| 0 | 1.600000e+02 | 3.290000e+02 | 105.62%
387.58/387.75 c 352s| 2640k| 2522k| 0 | 0.0 | 669M| 317 | - | 319 | 86 | 0 | 0 | 0 | 40k| 0 | 1.600000e+02 | 3.290000e+02 | 105.62%
389.08/389.26 c 353s| 2650k| 2531k| 0 | 0.0 | 672M| 317 | - | 319 | 94 | 0 | 0 | 0 | 40k| 0 | 1.610000e+02 | 3.290000e+02 | 104.35%
390.68/390.85 c 355s| 2660k| 2541k| 0 | 0.0 | 674M| 317 | - | 319 | 92 | 0 | 0 | 0 | 40k| 0 | 1.610000e+02 | 3.290000e+02 | 104.35%
392.17/392.36 c 356s| 2670k| 2551k| 0 | 0.0 | 677M| 317 | - | 319 | 25 | 0 | 0 | 0 | 40k| 0 | 1.610000e+02 | 3.290000e+02 | 104.35%
393.59/393.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
393.59/393.79 c 357s| 2680k| 2560k| 0 | 0.0 | 679M| 317 | - | 319 | 38 | 0 | 0 | 0 | 40k| 0 | 1.610000e+02 | 3.290000e+02 | 104.35%
395.08/395.24 c 359s| 2690k| 2570k| 0 | 0.0 | 682M| 317 | - | 319 | 52 | 0 | 0 | 0 | 41k| 0 | 1.610000e+02 | 3.290000e+02 | 104.35%
396.48/396.66 c 360s| 2700k| 2579k| 0 | 0.0 | 684M| 317 | - | 319 | 65 | 0 | 0 | 0 | 41k| 0 | 1.610000e+02 | 3.290000e+02 | 104.35%
397.88/398.07 c 361s| 2710k| 2589k| 0 | 0.0 | 687M| 317 | - | 319 | 75 | 0 | 0 | 0 | 41k| 0 | 1.610000e+02 | 3.290000e+02 | 104.35%
399.28/399.48 c 363s| 2720k| 2598k| 0 | 0.0 | 689M| 317 | - | 319 | 82 | 0 | 0 | 0 | 41k| 0 | 1.610000e+02 | 3.290000e+02 | 104.35%
400.68/400.86 c 364s| 2730k| 2608k| 0 | 0.0 | 692M| 317 | - | 319 | 99 | 0 | 0 | 0 | 41k| 0 | 1.610000e+02 | 3.290000e+02 | 104.35%
402.17/402.34 c 365s| 2740k| 2617k| 0 | 0.0 | 694M| 317 | - | 319 | 112 | 0 | 0 | 0 | 41k| 0 | 1.620000e+02 | 3.290000e+02 | 103.09%
403.78/403.96 c 367s| 2750k| 2627k| 0 | 0.0 | 697M| 317 | - | 319 | 111 | 0 | 0 | 0 | 42k| 0 | 1.620000e+02 | 3.290000e+02 | 103.09%
405.28/405.46 c 368s| 2760k| 2637k| 0 | 0.0 | 700M| 317 | - | 319 | 83 | 0 | 0 | 0 | 42k| 0 | 1.620000e+02 | 3.290000e+02 | 103.09%
406.78/406.95 c 369s| 2770k| 2646k| 0 | 0.0 | 702M| 317 | - | 319 | 86 | 0 | 0 | 0 | 42k| 0 | 1.620000e+02 | 3.290000e+02 | 103.09%
408.28/408.41 c 371s| 2780k| 2656k| 0 | 0.0 | 705M| 317 | - | 319 | 89 | 0 | 0 | 0 | 42k| 0 | 1.620000e+02 | 3.290000e+02 | 103.09%
409.67/409.86 c 372s| 2790k| 2665k| 0 | 0.0 | 707M| 317 | - | 319 | 100 | 0 | 0 | 0 | 42k| 0 | 1.620000e+02 | 3.290000e+02 | 103.09%
411.18/411.36 c 373s| 2800k| 2675k| 0 | 0.0 | 710M| 317 | - | 319 | 101 | 0 | 0 | 0 | 43k| 0 | 1.630000e+02 | 3.290000e+02 | 101.84%
412.77/412.91 c 375s| 2810k| 2685k| 0 | 0.0 | 712M| 317 | - | 319 | 94 | 0 | 0 | 0 | 43k| 0 | 1.630000e+02 | 3.290000e+02 | 101.84%
414.18/414.39 c 376s| 2820k| 2694k| 0 | 0.0 | 715M| 317 | - | 319 | 89 | 0 | 0 | 0 | 43k| 0 | 1.630000e+02 | 3.290000e+02 | 101.84%
415.68/415.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
415.68/415.88 c 377s| 2830k| 2704k| 0 | 0.0 | 717M| 317 | - | 319 | 57 | 0 | 0 | 0 | 43k| 0 | 1.630000e+02 | 3.290000e+02 | 101.84%
417.18/417.37 c 379s| 2840k| 2714k| 0 | 0.0 | 720M| 317 | - | 319 | 51 | 0 | 0 | 0 | 43k| 0 | 1.630000e+02 | 3.290000e+02 | 101.84%
418.67/418.86 c 380s| 2850k| 2723k| 0 | 0.0 | 722M| 317 | - | 319 | 56 | 0 | 0 | 0 | 43k| 0 | 1.630000e+02 | 3.290000e+02 | 101.84%
420.18/420.34 c 382s| 2860k| 2733k| 0 | 0.0 | 725M| 317 | - | 319 | 67 | 0 | 0 | 0 | 43k| 0 | 1.630000e+02 | 3.290000e+02 | 101.84%
421.67/421.81 c 383s| 2870k| 2743k| 0 | 0.0 | 727M| 317 | - | 319 | 81 | 0 | 0 | 0 | 43k| 0 | 1.630000e+02 | 3.290000e+02 | 101.84%
423.07/423.29 c 384s| 2880k| 2752k| 0 | 0.0 | 730M| 317 | - | 319 | 87 | 0 | 0 | 0 | 44k| 0 | 1.630000e+02 | 3.290000e+02 | 101.84%
424.58/424.77 c 386s| 2890k| 2762k| 0 | 0.0 | 733M| 317 | - | 319 | 91 | 0 | 0 | 0 | 44k| 0 | 1.630000e+02 | 3.290000e+02 | 101.84%
426.07/426.22 c 387s| 2900k| 2771k| 0 | 0.0 | 735M| 317 | - | 319 | 100 | 0 | 0 | 0 | 44k| 0 | 1.630000e+02 | 3.290000e+02 | 101.84%
427.47/427.67 c 388s| 2910k| 2781k| 0 | 0.0 | 738M| 317 | - | 319 | 108 | 0 | 0 | 0 | 44k| 0 | 1.630000e+02 | 3.290000e+02 | 101.84%
428.88/429.06 c 389s| 2920k| 2790k| 0 | 0.0 | 740M| 317 | - | 319 | 128 | 0 | 0 | 0 | 44k| 0 | 1.630000e+02 | 3.290000e+02 | 101.84%
430.27/430.49 c 391s| 2930k| 2800k| 0 | 0.0 | 743M| 317 | - | 319 | 145 | 0 | 0 | 0 | 45k| 0 | 1.640000e+02 | 3.290000e+02 | 100.61%
431.97/432.10 c 392s| 2940k| 2809k| 0 | 0.0 | 745M| 317 | - | 319 | 137 | 0 | 0 | 0 | 45k| 0 | 1.640000e+02 | 3.290000e+02 | 100.61%
433.47/433.66 c 394s| 2950k| 2819k| 0 | 0.0 | 748M| 317 | - | 319 | 86 | 0 | 0 | 0 | 45k| 0 | 1.640000e+02 | 3.290000e+02 | 100.61%
434.97/435.20 c 395s| 2960k| 2829k| 0 | 0.0 | 750M| 317 | - | 319 | 81 | 0 | 0 | 0 | 45k| 0 | 1.640000e+02 | 3.290000e+02 | 100.61%
436.58/436.72 c 396s| 2970k| 2838k| 0 | 0.0 | 753M| 317 | - | 319 | 65 | 0 | 0 | 0 | 45k| 0 | 1.640000e+02 | 3.290000e+02 | 100.61%
438.06/438.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
438.06/438.24 c 398s| 2980k| 2848k| 0 | 0.0 | 755M| 317 | - | 319 | 65 | 0 | 0 | 0 | 45k| 0 | 1.640000e+02 | 3.290000e+02 | 100.61%
439.57/439.76 c 399s| 2990k| 2858k| 0 | 0.0 | 758M| 317 | - | 319 | 69 | 0 | 0 | 0 | 46k| 0 | 1.640000e+02 | 3.290000e+02 | 100.61%
441.06/441.25 c 401s| 3000k| 2867k| 0 | 0.0 | 761M| 317 | - | 319 | 73 | 0 | 0 | 0 | 46k| 0 | 1.640000e+02 | 3.290000e+02 | 100.61%
442.66/442.85 c 402s| 3010k| 2877k| 0 | 0.0 | 763M| 317 | - | 319 | 63 | 0 | 0 | 0 | 46k| 0 | 1.650000e+02 | 3.290000e+02 | 99.39%
444.28/444.47 c 404s| 3020k| 2887k| 0 | 0.0 | 766M| 317 | - | 319 | 62 | 0 | 0 | 0 | 46k| 0 | 1.650000e+02 | 3.290000e+02 | 99.39%
445.87/446.07 c 405s| 3030k| 2896k| 0 | 0.0 | 768M| 317 | - | 319 | 52 | 0 | 0 | 0 | 46k| 0 | 1.650000e+02 | 3.290000e+02 | 99.39%
447.48/447.68 c 407s| 3040k| 2906k| 0 | 0.0 | 771M| 317 | - | 319 | 42 | 0 | 0 | 0 | 46k| 0 | 1.650000e+02 | 3.290000e+02 | 99.39%
449.07/449.27 c 408s| 3050k| 2916k| 0 | 0.0 | 773M| 317 | - | 319 | 31 | 0 | 0 | 0 | 46k| 0 | 1.650000e+02 | 3.290000e+02 | 99.39%
450.67/450.84 c 409s| 3060k| 2926k| 0 | 0.0 | 776M| 317 | - | 319 | 35 | 0 | 0 | 0 | 46k| 0 | 1.650000e+02 | 3.290000e+02 | 99.39%
452.16/452.33 c 411s| 3070k| 2935k| 0 | 0.0 | 778M| 317 | - | 319 | 44 | 0 | 0 | 0 | 47k| 0 | 1.650000e+02 | 3.290000e+02 | 99.39%
453.66/453.81 c 412s| 3080k| 2945k| 0 | 0.0 | 781M| 317 | - | 319 | 50 | 0 | 0 | 0 | 47k| 0 | 1.650000e+02 | 3.290000e+02 | 99.39%
455.16/455.30 c 413s| 3090k| 2954k| 0 | 0.0 | 784M| 317 | - | 319 | 51 | 0 | 0 | 0 | 47k| 0 | 1.650000e+02 | 3.290000e+02 | 99.39%
456.56/456.76 c 415s| 3100k| 2964k| 0 | 0.0 | 786M| 317 | - | 319 | 59 | 0 | 0 | 0 | 47k| 0 | 1.650000e+02 | 3.290000e+02 | 99.39%
458.06/458.21 c 416s| 3110k| 2973k| 0 | 0.0 | 789M| 317 | - | 319 | 77 | 0 | 0 | 0 | 47k| 0 | 1.650000e+02 | 3.290000e+02 | 99.39%
459.46/459.61 c 417s| 3120k| 2983k| 0 | 0.0 | 791M| 317 | - | 319 | 95 | 0 | 0 | 0 | 47k| 0 | 1.650000e+02 | 3.290000e+02 | 99.39%
460.96/461.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
460.96/461.13 c 419s| 3130k| 2992k| 0 | 0.0 | 794M| 317 | - | 319 | 104 | 0 | 0 | 0 | 48k| 0 | 1.660000e+02 | 3.290000e+02 | 98.19%
462.56/462.75 c 420s| 3140k| 3002k| 0 | 0.0 | 796M| 317 | - | 319 | 107 | 0 | 0 | 0 | 48k| 0 | 1.660000e+02 | 3.290000e+02 | 98.19%
464.26/464.41 c 422s| 3150k| 3012k| 0 | 0.0 | 799M| 317 | - | 319 | 71 | 0 | 0 | 0 | 48k| 0 | 1.660000e+02 | 3.290000e+02 | 98.19%
465.85/466.04 c 423s| 3160k| 3022k| 0 | 0.0 | 801M| 317 | - | 319 | 70 | 0 | 0 | 0 | 48k| 0 | 1.660000e+02 | 3.290000e+02 | 98.19%
467.46/467.67 c 425s| 3170k| 3031k| 0 | 0.0 | 804M| 317 | - | 319 | 70 | 0 | 0 | 0 | 48k| 0 | 1.660000e+02 | 3.290000e+02 | 98.19%
469.06/469.25 c 426s| 3180k| 3041k| 0 | 0.0 | 806M| 317 | - | 319 | 71 | 0 | 0 | 0 | 48k| 0 | 1.660000e+02 | 3.290000e+02 | 98.19%
470.57/470.75 c 428s| 3190k| 3051k| 0 | 0.0 | 809M| 317 | - | 319 | 76 | 0 | 0 | 0 | 48k| 0 | 1.660000e+02 | 3.290000e+02 | 98.19%
471.95/472.18 c 429s| 3200k| 3060k| 0 | 0.0 | 812M| 317 | - | 319 | 83 | 0 | 0 | 0 | 49k| 0 | 1.660000e+02 | 3.290000e+02 | 98.19%
473.46/473.63 c 430s| 3210k| 3070k| 0 | 0.0 | 814M| 317 | - | 319 | 91 | 0 | 0 | 0 | 49k| 0 | 1.670000e+02 | 3.290000e+02 | 97.01%
474.97/475.18 c 432s| 3220k| 3079k| 0 | 0.0 | 817M| 317 | - | 319 | 86 | 0 | 0 | 0 | 49k| 0 | 1.670000e+02 | 3.290000e+02 | 97.01%
476.55/476.71 c 433s| 3230k| 3089k| 0 | 0.0 | 819M| 317 | - | 319 | 67 | 0 | 0 | 0 | 49k| 0 | 1.670000e+02 | 3.290000e+02 | 97.01%
478.06/478.21 c 434s| 3240k| 3099k| 0 | 0.0 | 822M| 317 | - | 319 | 60 | 0 | 0 | 0 | 49k| 0 | 1.670000e+02 | 3.290000e+02 | 97.01%
479.55/479.71 c 436s| 3250k| 3108k| 0 | 0.0 | 824M| 317 | - | 319 | 64 | 0 | 0 | 0 | 49k| 0 | 1.670000e+02 | 3.290000e+02 | 97.01%
480.96/481.19 c 437s| 3260k| 3118k| 0 | 0.0 | 827M| 317 | - | 319 | 73 | 0 | 0 | 0 | 50k| 0 | 1.670000e+02 | 3.290000e+02 | 97.01%
482.56/482.72 c 438s| 3270k| 3127k| 0 | 0.0 | 829M| 317 | - | 319 | 72 | 0 | 0 | 0 | 50k| 0 | 1.680000e+02 | 3.290000e+02 | 95.83%
484.15/484.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
484.15/484.35 c 440s| 3280k| 3137k| 0 | 0.0 | 832M| 317 | - | 319 | 66 | 0 | 0 | 0 | 50k| 0 | 1.680000e+02 | 3.290000e+02 | 95.83%
485.75/485.93 c 441s| 3290k| 3147k| 0 | 0.0 | 834M| 317 | - | 319 | 45 | 0 | 0 | 0 | 50k| 0 | 1.680000e+02 | 3.290000e+02 | 95.83%
487.25/487.46 c 443s| 3300k| 3157k| 0 | 0.0 | 837M| 317 | - | 319 | 51 | 0 | 0 | 0 | 50k| 0 | 1.680000e+02 | 3.290000e+02 | 95.83%
488.75/488.97 c 444s| 3310k| 3166k| 0 | 0.0 | 840M| 317 | - | 319 | 51 | 0 | 0 | 0 | 50k| 0 | 1.680000e+02 | 3.290000e+02 | 95.83%
490.25/490.50 c 446s| 3320k| 3176k| 0 | 0.0 | 842M| 317 | - | 319 | 49 | 0 | 0 | 0 | 50k| 0 | 1.680000e+02 | 3.290000e+02 | 95.83%
491.85/492.01 c 447s| 3330k| 3186k| 0 | 0.0 | 845M| 317 | - | 319 | 53 | 0 | 0 | 0 | 51k| 0 | 1.680000e+02 | 3.290000e+02 | 95.83%
493.36/493.52 c 448s| 3340k| 3195k| 0 | 0.0 | 847M| 317 | - | 319 | 56 | 0 | 0 | 0 | 51k| 0 | 1.680000e+02 | 3.290000e+02 | 95.83%
494.86/495.03 c 450s| 3350k| 3205k| 0 | 0.0 | 850M| 317 | - | 319 | 63 | 0 | 0 | 0 | 51k| 0 | 1.680000e+02 | 3.290000e+02 | 95.83%
496.35/496.51 c 451s| 3360k| 3214k| 0 | 0.0 | 852M| 317 | - | 319 | 66 | 0 | 0 | 0 | 51k| 0 | 1.680000e+02 | 3.290000e+02 | 95.83%
497.85/498.04 c 452s| 3370k| 3224k| 0 | 0.0 | 855M| 317 | - | 319 | 76 | 0 | 0 | 0 | 51k| 0 | 1.690000e+02 | 3.290000e+02 | 94.67%
499.55/499.72 c 454s| 3380k| 3234k| 0 | 0.0 | 857M| 317 | - | 319 | 66 | 0 | 0 | 0 | 51k| 0 | 1.690000e+02 | 3.290000e+02 | 94.67%
501.15/501.37 c 455s| 3390k| 3243k| 0 | 0.0 | 860M| 317 | - | 319 | 35 | 0 | 0 | 0 | 51k| 0 | 1.700000e+02 | 3.290000e+02 | 93.53%
502.85/503.04 c 457s| 3400k| 3253k| 0 | 0.0 | 863M| 317 | - | 319 | 34 | 0 | 0 | 0 | 52k| 0 | 1.700000e+02 | 3.290000e+02 | 93.53%
504.55/504.72 c 459s| 3410k| 3263k| 0 | 0.0 | 865M| 317 | - | 319 | 21 | 0 | 0 | 0 | 52k| 0 | 1.700000e+02 | 3.290000e+02 | 93.53%
506.15/506.39 c 460s| 3420k| 3273k| 0 | 0.0 | 868M| 317 | - | 319 | 25 | 0 | 0 | 0 | 52k| 0 | 1.700000e+02 | 3.290000e+02 | 93.53%
507.84/508.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
507.84/508.05 c 462s| 3430k| 3282k| 0 | 0.0 | 870M| 317 | - | 319 | 29 | 0 | 0 | 0 | 52k| 0 | 1.700000e+02 | 3.290000e+02 | 93.53%
509.54/509.71 c 463s| 3440k| 3292k| 0 | 0.0 | 873M| 317 | - | 319 | 30 | 0 | 0 | 0 | 52k| 0 | 1.700000e+02 | 3.290000e+02 | 93.53%
511.15/511.31 c 465s| 3450k| 3302k| 0 | 0.0 | 875M| 317 | - | 319 | 34 | 0 | 0 | 0 | 52k| 0 | 1.700000e+02 | 3.290000e+02 | 93.53%
512.55/512.80 c 466s| 3460k| 3311k| 0 | 0.0 | 878M| 317 | - | 319 | 42 | 0 | 0 | 0 | 52k| 0 | 1.700000e+02 | 3.290000e+02 | 93.53%
514.04/514.28 c 467s| 3470k| 3321k| 0 | 0.0 | 880M| 317 | - | 319 | 52 | 0 | 0 | 0 | 53k| 0 | 1.720000e+02 | 3.290000e+02 | 91.28%
515.75/515.96 c 469s| 3480k| 3331k| 0 | 0.0 | 883M| 317 | - | 319 | 56 | 0 | 0 | 0 | 53k| 0 | 1.720000e+02 | 3.290000e+02 | 91.28%
517.34/517.54 c 470s| 3490k| 3340k| 0 | 0.0 | 886M| 317 | - | 319 | 48 | 0 | 0 | 0 | 53k| 0 | 1.720000e+02 | 3.290000e+02 | 91.28%
518.85/519.05 c 472s| 3500k| 3350k| 0 | 0.0 | 888M| 317 | - | 319 | 54 | 0 | 0 | 0 | 53k| 0 | 1.720000e+02 | 3.290000e+02 | 91.28%
520.45/520.63 c 473s| 3510k| 3359k| 0 | 0.0 | 891M| 317 | - | 319 | 63 | 0 | 0 | 0 | 53k| 0 | 1.740000e+02 | 3.290000e+02 | 89.08%
522.04/522.26 c 475s| 3520k| 3369k| 0 | 0.0 | 893M| 317 | - | 319 | 69 | 0 | 0 | 0 | 53k| 0 | 1.770000e+02 | 3.290000e+02 | 85.88%
523.44/523.68 c 476s| 3530k| 3378k| 0 | 0.0 | 896M| 317 | - | 319 | 92 | 0 | 0 | 0 | 54k| 0 | 1.790000e+02 | 3.290000e+02 | 83.80%
524.94/525.15 c 477s| 3540k| 3387k| 0 | 0.0 | 898M| 317 | - | 319 | 125 | 0 | 0 | 0 | 54k| 0 | 1.800000e+02 | 3.290000e+02 | 82.78%
526.34/526.53 c 478s| 3550k| 3397k| 0 | 0.0 | 901M| 317 | - | 319 | 131 | 0 | 0 | 0 | 54k| 0 | 1.800000e+02 | 3.290000e+02 | 82.78%
527.75/528.00 c 480s| 3560k| 3405k| 0 | 0.0 | 903M| 317 | - | 319 | 155 | 0 | 0 | 0 | 55k| 0 | 1.800000e+02 | 3.290000e+02 | 82.78%
529.24/529.43 c 481s| 3570k| 3415k| 0 | 0.0 | 906M| 317 | - | 319 | 149 | 0 | 0 | 0 | 55k| 0 | 1.810000e+02 | 3.290000e+02 | 81.77%
530.64/530.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
530.64/530.84 c 482s| 3580k| 3424k| 0 | 0.0 | 908M| 317 | - | 319 | 146 | 0 | 0 | 0 | 55k| 0 | 1.810000e+02 | 3.290000e+02 | 81.77%
532.04/532.24 c 484s| 3590k| 3433k| 0 | 0.0 | 911M| 317 | - | 319 | 169 | 0 | 0 | 0 | 55k| 0 | 1.810000e+02 | 3.290000e+02 | 81.77%
533.54/533.72 c 485s| 3600k| 3442k| 0 | 0.0 | 913M| 317 | - | 319 | 189 | 0 | 0 | 0 | 56k| 0 | 1.820000e+02 | 3.290000e+02 | 80.77%
534.93/535.15 c 486s| 3610k| 3452k| 0 | 0.0 | 916M| 317 | - | 319 | 162 | 0 | 0 | 0 | 56k| 0 | 1.820000e+02 | 3.290000e+02 | 80.77%
536.24/536.47 c 487s| 3620k| 3461k| 0 | 0.0 | 918M| 317 | - | 319 | 133 | 0 | 0 | 0 | 56k| 0 | 1.820000e+02 | 3.290000e+02 | 80.77%
537.65/537.82 c 489s| 3630k| 3470k| 0 | 0.0 | 921M| 317 | - | 319 | 137 | 0 | 0 | 0 | 57k| 0 | 1.820000e+02 | 3.290000e+02 | 80.77%
538.94/539.11 c 490s| 3640k| 3479k| 0 | 0.0 | 923M| 317 | - | 319 | 165 | 0 | 0 | 0 | 57k| 0 | 1.820000e+02 | 3.290000e+02 | 80.77%
540.34/540.58 c 491s| 3650k| 3488k| 0 | 0.0 | 926M| 317 | - | 319 | 214 | 0 | 0 | 0 | 57k| 0 | 1.830000e+02 | 3.290000e+02 | 79.78%
541.83/542.05 c 492s| 3660k| 3498k| 0 | 0.0 | 928M| 317 | - | 319 | 213 | 0 | 0 | 0 | 57k| 0 | 1.830000e+02 | 3.290000e+02 | 79.78%
543.24/543.49 c 494s| 3670k| 3507k| 0 | 0.0 | 931M| 317 | - | 319 | 208 | 0 | 0 | 0 | 58k| 0 | 1.830000e+02 | 3.290000e+02 | 79.78%
544.64/544.87 c 495s| 3680k| 3517k| 0 | 0.0 | 933M| 317 | - | 319 | 220 | 0 | 0 | 0 | 58k| 0 | 1.830000e+02 | 3.290000e+02 | 79.78%
546.03/546.24 c 496s| 3690k| 3526k| 0 | 0.0 | 936M| 317 | - | 319 | 252 | 0 | 0 | 0 | 58k| 0 | 1.830000e+02 | 3.290000e+02 | 79.78%
547.44/547.66 c 497s| 3700k| 3535k| 0 | 0.0 | 938M| 317 | - | 319 | 303 | 0 | 0 | 0 | 58k| 0 | 1.830000e+02 | 3.290000e+02 | 79.78%
548.83/549.04 c 499s| 3710k| 3544k| 0 | 0.0 | 941M| 317 | - | 319 | 349 | 0 | 0 | 0 | 59k| 0 | 1.830000e+02 | 3.290000e+02 | 79.78%
550.44/550.60 c 500s| 3720k| 3552k| 0 | 0.0 | 943M| 317 | - | 319 | 361 | 0 | 0 | 0 | 59k| 0 | 1.840000e+02 | 3.290000e+02 | 78.80%
551.83/552.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
551.83/552.04 c 501s| 3730k| 3562k| 0 | 0.0 | 946M| 317 | - | 319 | 252 | 0 | 0 | 0 | 59k| 0 | 1.840000e+02 | 3.290000e+02 | 78.80%
553.23/553.43 c 503s| 3740k| 3571k| 0 | 0.0 | 948M| 317 | - | 319 | 204 | 0 | 0 | 0 | 59k| 0 | 1.840000e+02 | 3.290000e+02 | 78.80%
554.64/554.80 c 504s| 3750k| 3581k| 0 | 0.0 | 951M| 317 | - | 319 | 192 | 0 | 0 | 0 | 59k| 0 | 1.840000e+02 | 3.290000e+02 | 78.80%
556.03/556.22 c 505s| 3760k| 3590k| 0 | 0.0 | 953M| 317 | - | 319 | 190 | 0 | 0 | 0 | 60k| 0 | 1.840000e+02 | 3.290000e+02 | 78.80%
557.33/557.57 c 506s| 3770k| 3600k| 0 | 0.0 | 956M| 317 | - | 319 | 195 | 0 | 0 | 0 | 60k| 0 | 1.840000e+02 | 3.290000e+02 | 78.80%
558.73/558.91 c 508s| 3780k| 3609k| 0 | 0.0 | 958M| 317 | - | 319 | 226 | 0 | 0 | 0 | 60k| 0 | 1.840000e+02 | 3.290000e+02 | 78.80%
560.04/560.28 c 509s| 3790k| 3618k| 0 | 0.0 | 961M| 317 | - | 319 | 251 | 0 | 0 | 0 | 60k| 0 | 1.840000e+02 | 3.290000e+02 | 78.80%
561.54/561.78 o 307
561.54/561.78 c * 510s| 3799k| 3595k| 0 | 0.0 | 955M| 317 | - | 319 | 312 | 0 | 0 | 0 | 61k| 0 | 1.840000e+02 | 3.070000e+02 | 66.85%
561.63/561.80 c 510s| 3800k| 3595k| 0 | 0.0 | 955M| 317 | - | 319 | 314 | 0 | 0 | 0 | 61k| 0 | 1.840000e+02 | 3.070000e+02 | 66.85%
563.13/563.33 c 512s| 3810k| 3604k| 0 | 0.0 | 958M| 317 | - | 319 | 304 | 0 | 0 | 0 | 61k| 0 | 1.850000e+02 | 3.070000e+02 | 65.95%
564.53/564.73 c 513s| 3820k| 3614k| 0 | 0.0 | 960M| 317 | - | 319 | 232 | 0 | 0 | 0 | 61k| 0 | 1.850000e+02 | 3.070000e+02 | 65.95%
565.83/566.08 c 514s| 3830k| 3623k| 0 | 0.0 | 963M| 317 | - | 319 | 160 | 0 | 0 | 0 | 61k| 0 | 1.850000e+02 | 3.070000e+02 | 65.95%
567.23/567.42 c 515s| 3840k| 3633k| 0 | 0.0 | 965M| 317 | - | 319 | 158 | 0 | 0 | 0 | 61k| 0 | 1.850000e+02 | 3.070000e+02 | 65.95%
568.63/568.81 c 517s| 3850k| 3642k| 0 | 0.0 | 968M| 317 | - | 319 | 156 | 0 | 0 | 0 | 62k| 0 | 1.850000e+02 | 3.070000e+02 | 65.95%
570.13/570.30 c 518s| 3860k| 3651k| 0 | 0.0 | 970M| 317 | - | 319 | 203 | 0 | 0 | 0 | 62k| 0 | 1.850000e+02 | 3.070000e+02 | 65.95%
571.53/571.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
571.53/571.73 c 519s| 3870k| 3659k| 0 | 0.0 | 973M| 317 | - | 319 | 291 | 0 | 0 | 0 | 62k| 0 | 1.850000e+02 | 3.070000e+02 | 65.95%
573.03/573.20 c 521s| 3880k| 3667k| 0 | 0.0 | 976M| 317 | - | 319 | 384 | 0 | 0 | 0 | 63k| 0 | 1.860000e+02 | 3.070000e+02 | 65.05%
574.53/574.80 c 522s| 3890k| 3677k| 0 | 0.0 | 978M| 317 | - | 319 | 345 | 0 | 0 | 0 | 63k| 0 | 1.860000e+02 | 3.070000e+02 | 65.05%
576.02/576.25 c 523s| 3900k| 3687k| 0 | 0.0 | 981M| 317 | - | 319 | 273 | 0 | 0 | 0 | 63k| 0 | 1.860000e+02 | 3.070000e+02 | 65.05%
577.52/577.70 c 525s| 3910k| 3696k| 0 | 0.0 | 983M| 317 | - | 319 | 187 | 0 | 0 | 0 | 63k| 0 | 1.860000e+02 | 3.070000e+02 | 65.05%
578.93/579.15 c 526s| 3920k| 3705k| 0 | 0.0 | 986M| 317 | - | 319 | 172 | 0 | 0 | 0 | 64k| 0 | 1.860000e+02 | 3.070000e+02 | 65.05%
580.32/580.57 c 527s| 3930k| 3715k| 0 | 0.0 | 988M| 317 | - | 319 | 178 | 0 | 0 | 0 | 64k| 0 | 1.860000e+02 | 3.070000e+02 | 65.05%
581.73/581.96 c 529s| 3940k| 3724k| 0 | 0.0 | 991M| 317 | - | 319 | 176 | 0 | 0 | 0 | 64k| 0 | 1.860000e+02 | 3.070000e+02 | 65.05%
583.13/583.36 c 530s| 3950k| 3734k| 0 | 0.0 | 993M| 317 | - | 319 | 179 | 0 | 0 | 0 | 64k| 0 | 1.860000e+02 | 3.070000e+02 | 65.05%
584.53/584.72 c 531s| 3960k| 3743k| 0 | 0.0 | 996M| 317 | - | 319 | 193 | 0 | 0 | 0 | 64k| 0 | 1.860000e+02 | 3.070000e+02 | 65.05%
585.83/586.02 c 532s| 3970k| 3752k| 0 | 0.0 | 998M| 317 | - | 319 | 229 | 0 | 0 | 0 | 65k| 0 | 1.860000e+02 | 3.070000e+02 | 65.05%
587.23/587.49 c 534s| 3980k| 3760k| 0 | 0.0 |1001M| 317 | - | 319 | 353 | 0 | 0 | 0 | 65k| 0 | 1.860000e+02 | 3.070000e+02 | 65.05%
588.93/589.18 c 535s| 3990k| 3770k| 0 | 0.0 |1004M| 317 | - | 319 | 373 | 0 | 0 | 0 | 65k| 0 | 1.870000e+02 | 3.070000e+02 | 64.17%
590.43/590.67 c 536s| 4000k| 3779k| 0 | 0.0 |1006M| 317 | - | 319 | 326 | 0 | 0 | 0 | 65k| 0 | 1.870000e+02 | 3.070000e+02 | 64.17%
591.92/592.20 c 538s| 4010k| 3789k| 0 | 0.0 |1009M| 317 | - | 319 | 191 | 0 | 0 | 0 | 66k| 0 | 1.870000e+02 | 3.070000e+02 | 64.17%
593.42/593.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
593.42/593.61 c 539s| 4020k| 3799k| 0 | 0.0 |1011M| 317 | - | 319 | 131 | 0 | 0 | 0 | 66k| 0 | 1.870000e+02 | 3.070000e+02 | 64.17%
594.72/594.98 c 540s| 4030k| 3808k| 0 | 0.0 |1014M| 317 | - | 319 | 108 | 0 | 0 | 0 | 66k| 0 | 1.870000e+02 | 3.070000e+02 | 64.17%
596.12/596.30 c 541s| 4040k| 3818k| 0 | 0.0 |1016M| 317 | - | 319 | 135 | 0 | 0 | 0 | 66k| 0 | 1.870000e+02 | 3.070000e+02 | 64.17%
597.42/597.66 c 543s| 4050k| 3827k| 0 | 0.0 |1019M| 317 | - | 319 | 191 | 0 | 0 | 0 | 66k| 0 | 1.870000e+02 | 3.070000e+02 | 64.17%
598.82/599.01 c 544s| 4060k| 3836k| 0 | 0.0 |1021M| 317 | - | 319 | 231 | 0 | 0 | 0 | 66k| 0 | 1.870000e+02 | 3.070000e+02 | 64.17%
600.12/600.37 c 545s| 4070k| 3846k| 0 | 0.0 |1024M| 317 | - | 319 | 247 | 0 | 0 | 0 | 67k| 0 | 1.870000e+02 | 3.070000e+02 | 64.17%
601.52/601.79 c 546s| 4080k| 3855k| 0 | 0.0 |1026M| 317 | - | 319 | 252 | 0 | 0 | 0 | 67k| 0 | 1.870000e+02 | 3.070000e+02 | 64.17%
603.01/603.24 c 548s| 4090k| 3863k| 0 | 0.0 |1029M| 317 | - | 319 | 295 | 0 | 0 | 0 | 67k| 0 | 1.870000e+02 | 3.070000e+02 | 64.17%
604.42/604.61 c 549s| 4100k| 3872k| 0 | 0.0 |1031M| 317 | - | 319 | 419 | 0 | 0 | 0 | 68k| 0 | 1.870000e+02 | 3.070000e+02 | 64.17%
605.82/606.07 c 550s| 4110k| 3880k| 0 | 0.0 |1034M| 317 | - | 319 | 586 | 0 | 0 | 0 | 68k| 0 | 1.870000e+02 | 3.070000e+02 | 64.17%
607.52/607.73 c 552s| 4120k| 3888k| 0 | 0.0 |1036M| 317 | - | 319 | 636 | 0 | 0 | 0 | 69k| 0 | 1.880000e+02 | 3.070000e+02 | 63.30%
609.13/609.40 c 553s| 4130k| 3898k| 0 | 0.0 |1039M| 317 | - | 319 | 547 | 0 | 0 | 0 | 69k| 0 | 1.880000e+02 | 3.070000e+02 | 63.30%
610.71/610.95 c 555s| 4140k| 3907k| 0 | 0.0 |1041M| 317 | - | 319 | 316 | 0 | 0 | 0 | 69k| 0 | 1.880000e+02 | 3.070000e+02 | 63.30%
612.11/612.36 c 556s| 4150k| 3917k| 0 | 0.0 |1044M| 317 | - | 319 | 139 | 0 | 0 | 0 | 69k| 0 | 1.880000e+02 | 3.070000e+02 | 63.30%
613.53/613.75 c 557s| 4160k| 3927k| 0 | 0.0 |1046M| 317 | - | 319 | 123 | 0 | 0 | 0 | 69k| 0 | 1.880000e+02 | 3.070000e+02 | 63.30%
614.92/615.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
614.92/615.10 c 559s| 4170k| 3936k| 0 | 0.0 |1049M| 317 | - | 319 | 135 | 0 | 0 | 0 | 69k| 0 | 1.880000e+02 | 3.070000e+02 | 63.30%
616.22/616.47 c 560s| 4180k| 3946k| 0 | 0.0 |1052M| 317 | - | 319 | 156 | 0 | 0 | 0 | 69k| 0 | 1.880000e+02 | 3.070000e+02 | 63.30%
617.61/617.85 c 561s| 4190k| 3955k| 0 | 0.0 |1054M| 317 | - | 319 | 182 | 0 | 0 | 0 | 69k| 0 | 1.880000e+02 | 3.070000e+02 | 63.30%
619.02/619.22 c 562s| 4200k| 3965k| 0 | 0.0 |1057M| 317 | - | 319 | 212 | 0 | 0 | 0 | 70k| 0 | 1.880000e+02 | 3.070000e+02 | 63.30%
620.32/620.57 c 563s| 4210k| 3974k| 0 | 0.0 |1059M| 317 | - | 319 | 251 | 0 | 0 | 0 | 70k| 0 | 1.880000e+02 | 3.070000e+02 | 63.30%
621.71/621.94 c 565s| 4220k| 3984k| 0 | 0.0 |1062M| 317 | - | 319 | 245 | 0 | 0 | 0 | 70k| 0 | 1.880000e+02 | 3.070000e+02 | 63.30%
623.11/623.35 c 566s| 4230k| 3993k| 0 | 0.0 |1064M| 317 | - | 319 | 230 | 0 | 0 | 0 | 70k| 0 | 1.880000e+02 | 3.070000e+02 | 63.30%
624.52/624.73 c 567s| 4240k| 4003k| 0 | 0.0 |1067M| 317 | - | 319 | 231 | 0 | 0 | 0 | 70k| 0 | 1.880000e+02 | 3.070000e+02 | 63.30%
625.81/626.08 c 568s| 4250k| 4012k| 0 | 0.0 |1069M| 317 | - | 319 | 239 | 0 | 0 | 0 | 70k| 0 | 1.880000e+02 | 3.070000e+02 | 63.30%
627.21/627.44 c 570s| 4260k| 4021k| 0 | 0.0 |1072M| 317 | - | 319 | 247 | 0 | 0 | 0 | 71k| 0 | 1.880000e+02 | 3.070000e+02 | 63.30%
628.61/628.80 c 571s| 4270k| 4031k| 0 | 0.0 |1074M| 317 | - | 319 | 280 | 0 | 0 | 0 | 71k| 0 | 1.880000e+02 | 3.070000e+02 | 63.30%
629.91/630.15 c 572s| 4280k| 4039k| 0 | 0.0 |1077M| 317 | - | 319 | 332 | 0 | 0 | 0 | 71k| 0 | 1.880000e+02 | 3.070000e+02 | 63.30%
631.41/631.67 c 573s| 4290k| 4047k| 0 | 0.0 |1079M| 317 | - | 319 | 484 | 0 | 0 | 0 | 72k| 0 | 1.890000e+02 | 3.070000e+02 | 62.43%
633.11/633.31 c 575s| 4300k| 4057k| 0 | 0.0 |1082M| 317 | - | 319 | 431 | 0 | 0 | 0 | 72k| 0 | 1.890000e+02 | 3.070000e+02 | 62.43%
634.71/634.90 c 576s| 4310k| 4067k| 0 | 0.0 |1085M| 317 | - | 319 | 321 | 0 | 0 | 0 | 72k| 0 | 1.890000e+02 | 3.070000e+02 | 62.43%
636.21/636.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
636.21/636.43 c 578s| 4320k| 4076k| 0 | 0.0 |1087M| 317 | - | 319 | 200 | 0 | 0 | 0 | 72k| 0 | 1.890000e+02 | 3.070000e+02 | 62.43%
637.61/637.88 c 579s| 4330k| 4086k| 0 | 0.0 |1090M| 317 | - | 319 | 138 | 0 | 0 | 0 | 72k| 0 | 1.890000e+02 | 3.070000e+02 | 62.43%
639.01/639.29 c 580s| 4340k| 4096k| 0 | 0.0 |1092M| 317 | - | 319 | 110 | 0 | 0 | 0 | 72k| 0 | 1.890000e+02 | 3.070000e+02 | 62.43%
640.41/640.64 c 582s| 4350k| 4105k| 0 | 0.0 |1095M| 317 | - | 319 | 127 | 0 | 0 | 0 | 72k| 0 | 1.890000e+02 | 3.070000e+02 | 62.43%
641.71/641.97 c 583s| 4360k| 4115k| 0 | 0.0 |1097M| 317 | - | 319 | 157 | 0 | 0 | 0 | 72k| 0 | 1.890000e+02 | 3.070000e+02 | 62.43%
643.10/643.30 c 584s| 4370k| 4124k| 0 | 0.0 |1100M| 317 | - | 319 | 180 | 0 | 0 | 0 | 73k| 0 | 1.890000e+02 | 3.070000e+02 | 62.43%
644.42/644.65 c 585s| 4380k| 4134k| 0 | 0.0 |1102M| 317 | - | 319 | 207 | 0 | 0 | 0 | 73k| 0 | 1.890000e+02 | 3.070000e+02 | 62.43%
645.70/645.99 c 586s| 4390k| 4143k| 0 | 0.0 |1105M| 317 | - | 319 | 235 | 0 | 0 | 0 | 73k| 0 | 1.890000e+02 | 3.070000e+02 | 62.43%
647.11/647.34 c 588s| 4400k| 4153k| 0 | 0.0 |1107M| 317 | - | 319 | 259 | 0 | 0 | 0 | 73k| 0 | 1.890000e+02 | 3.070000e+02 | 62.43%
648.40/648.67 c 589s| 4410k| 4162k| 0 | 0.0 |1110M| 317 | - | 319 | 284 | 0 | 0 | 0 | 73k| 0 | 1.890000e+02 | 3.070000e+02 | 62.43%
649.70/649.99 c 590s| 4420k| 4171k| 0 | 0.0 |1112M| 317 | - | 319 | 311 | 0 | 0 | 0 | 73k| 0 | 1.890000e+02 | 3.070000e+02 | 62.43%
651.11/651.34 c 591s| 4430k| 4181k| 0 | 0.0 |1115M| 317 | - | 319 | 332 | 0 | 0 | 0 | 74k| 0 | 1.890000e+02 | 3.070000e+02 | 62.43%
652.40/652.69 c 593s| 4440k| 4190k| 0 | 0.0 |1117M| 317 | - | 319 | 394 | 0 | 0 | 0 | 74k| 0 | 1.890000e+02 | 3.070000e+02 | 62.43%
653.80/654.07 c 594s| 4450k| 4198k| 0 | 0.0 |1120M| 317 | - | 319 | 447 | 0 | 0 | 0 | 74k| 0 | 1.890000e+02 | 3.070000e+02 | 62.43%
655.21/655.47 c 595s| 4460k| 4207k| 0 | 0.0 |1122M| 317 | - | 319 | 544 | 0 | 0 | 0 | 75k| 0 | 1.890000e+02 | 3.070000e+02 | 62.43%
656.71/656.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
656.71/656.91 c 596s| 4470k| 4215k| 0 | 0.0 |1125M| 317 | - | 319 | 700 | 0 | 0 | 0 | 75k| 0 | 1.890000e+02 | 3.070000e+02 | 62.43%
658.20/658.44 c 598s| 4480k| 4223k| 0 | 0.0 |1127M| 317 | - | 319 | 896 | 0 | 0 | 0 | 76k| 0 | 1.890000e+02 | 3.070000e+02 | 62.43%
659.81/660.03 c 599s| 4490k| 4231k| 0 | 0.0 |1130M| 317 | - | 319 | 940 | 0 | 0 | 0 | 76k| 0 | 1.900000e+02 | 3.070000e+02 | 61.58%
661.41/661.65 c 601s| 4500k| 4241k| 0 | 0.0 |1132M| 317 | - | 319 | 813 | 0 | 0 | 0 | 76k| 0 | 1.900000e+02 | 3.070000e+02 | 61.58%
663.01/663.27 c 602s| 4510k| 4251k| 0 | 0.0 |1135M| 317 | - | 319 | 593 | 0 | 0 | 0 | 76k| 0 | 1.900000e+02 | 3.070000e+02 | 61.58%
664.60/664.87 c 604s| 4520k| 4260k| 0 | 0.0 |1137M| 317 | - | 319 | 425 | 0 | 0 | 0 | 76k| 0 | 1.900000e+02 | 3.070000e+02 | 61.58%
666.31/666.50 c 605s| 4530k| 4270k| 0 | 0.0 |1140M| 317 | - | 319 | 313 | 0 | 0 | 0 | 76k| 0 | 1.900000e+02 | 3.070000e+02 | 61.58%
667.90/668.11 c 607s| 4540k| 4280k| 0 | 0.0 |1143M| 317 | - | 319 | 230 | 0 | 0 | 0 | 76k| 0 | 1.900000e+02 | 3.070000e+02 | 61.58%
669.30/669.56 c 608s| 4550k| 4290k| 0 | 0.0 |1145M| 317 | - | 319 | 154 | 0 | 0 | 0 | 77k| 0 | 1.900000e+02 | 3.070000e+02 | 61.58%
670.70/670.92 c 609s| 4560k| 4299k| 0 | 0.0 |1148M| 317 | - | 319 | 110 | 0 | 0 | 0 | 77k| 0 | 1.900000e+02 | 3.070000e+02 | 61.58%
672.10/672.32 c 610s| 4570k| 4309k| 0 | 0.0 |1150M| 317 | - | 319 | 123 | 0 | 0 | 0 | 77k| 0 | 1.900000e+02 | 3.070000e+02 | 61.58%
673.40/673.68 c 612s| 4580k| 4319k| 0 | 0.0 |1153M| 317 | - | 319 | 144 | 0 | 0 | 0 | 77k| 0 | 1.900000e+02 | 3.070000e+02 | 61.58%
674.80/675.06 c 613s| 4590k| 4328k| 0 | 0.0 |1155M| 317 | - | 319 | 154 | 0 | 0 | 0 | 77k| 0 | 1.900000e+02 | 3.070000e+02 | 61.58%
676.21/676.44 c 614s| 4600k| 4338k| 0 | 0.0 |1158M| 317 | - | 319 | 161 | 0 | 0 | 0 | 77k| 0 | 1.900000e+02 | 3.070000e+02 | 61.58%
677.60/677.83 c 615s| 4610k| 4347k| 0 | 0.0 |1160M| 317 | - | 319 | 177 | 0 | 0 | 0 | 77k| 0 | 1.900000e+02 | 3.070000e+02 | 61.58%
679.00/679.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
679.00/679.20 c 617s| 4620k| 4357k| 0 | 0.0 |1163M| 317 | - | 319 | 201 | 0 | 0 | 0 | 77k| 0 | 1.900000e+02 | 3.070000e+02 | 61.58%
680.30/680.56 c 618s| 4630k| 4366k| 0 | 0.0 |1165M| 317 | - | 319 | 215 | 0 | 0 | 0 | 78k| 0 | 1.900000e+02 | 3.070000e+02 | 61.58%
681.70/681.93 c 619s| 4640k| 4376k| 0 | 0.0 |1168M| 317 | - | 319 | 235 | 0 | 0 | 0 | 78k| 0 | 1.900000e+02 | 3.070000e+02 | 61.58%
683.09/683.31 c 620s| 4650k| 4385k| 0 | 0.0 |1170M| 317 | - | 319 | 243 | 0 | 0 | 0 | 78k| 0 | 1.900000e+02 | 3.070000e+02 | 61.58%
684.40/684.68 c 621s| 4660k| 4394k| 0 | 0.0 |1173M| 317 | - | 319 | 240 | 0 | 0 | 0 | 78k| 0 | 1.900000e+02 | 3.070000e+02 | 61.58%
685.80/686.04 c 623s| 4670k| 4404k| 0 | 0.0 |1175M| 317 | - | 319 | 250 | 0 | 0 | 0 | 78k| 0 | 1.900000e+02 | 3.070000e+02 | 61.58%
687.09/687.37 c 624s| 4680k| 4413k| 0 | 0.0 |1178M| 317 | - | 319 | 281 | 0 | 0 | 0 | 79k| 0 | 1.900000e+02 | 3.070000e+02 | 61.58%
688.49/688.71 c 625s| 4690k| 4422k| 0 | 0.0 |1181M| 317 | - | 319 | 305 | 0 | 0 | 0 | 79k| 0 | 1.900000e+02 | 3.070000e+02 | 61.58%
689.79/690.09 c 626s| 4700k| 4431k| 0 | 0.0 |1183M| 317 | - | 319 | 341 | 0 | 0 | 0 | 79k| 0 | 1.900000e+02 | 3.070000e+02 | 61.58%
691.19/691.45 c 628s| 4710k| 4440k| 0 | 0.0 |1186M| 317 | - | 319 | 411 | 0 | 0 | 0 | 79k| 0 | 1.900000e+02 | 3.070000e+02 | 61.58%
692.59/692.87 c 629s| 4720k| 4448k| 0 | 0.0 |1188M| 317 | - | 319 | 552 | 0 | 0 | 0 | 80k| 0 | 1.900000e+02 | 3.070000e+02 | 61.58%
694.19/694.49 c 630s| 4730k| 4457k| 0 | 0.0 |1191M| 317 | - | 319 | 584 | 0 | 0 | 0 | 80k| 0 | 1.910000e+02 | 3.070000e+02 | 60.73%
695.90/696.17 c 632s| 4740k| 4466k| 0 | 0.0 |1193M| 317 | - | 319 | 503 | 0 | 0 | 0 | 80k| 0 | 1.910000e+02 | 3.070000e+02 | 60.73%
697.49/697.77 c 633s| 4750k| 4476k| 0 | 0.0 |1196M| 317 | - | 319 | 388 | 0 | 0 | 0 | 80k| 0 | 1.910000e+02 | 3.070000e+02 | 60.73%
699.09/699.34 c 635s| 4760k| 4486k| 0 | 0.0 |1198M| 317 | - | 319 | 219 | 0 | 0 | 0 | 81k| 0 | 1.910000e+02 | 3.070000e+02 | 60.73%
700.59/700.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
700.59/700.90 c 636s| 4770k| 4496k| 0 | 0.0 |1201M| 317 | - | 319 | 111 | 0 | 0 | 0 | 81k| 0 | 1.910000e+02 | 3.070000e+02 | 60.73%
702.09/702.32 c 637s| 4780k| 4505k| 0 | 0.0 |1204M| 317 | - | 319 | 85 | 0 | 0 | 0 | 81k| 0 | 1.910000e+02 | 3.070000e+02 | 60.73%
703.49/703.71 c 639s| 4790k| 4515k| 0 | 0.0 |1206M| 317 | - | 319 | 85 | 0 | 0 | 0 | 81k| 0 | 1.910000e+02 | 3.070000e+02 | 60.73%
704.80/705.10 c 640s| 4800k| 4524k| 0 | 0.0 |1209M| 317 | - | 319 | 108 | 0 | 0 | 0 | 81k| 0 | 1.910000e+02 | 3.070000e+02 | 60.73%
706.19/706.46 c 641s| 4810k| 4534k| 0 | 0.0 |1211M| 317 | - | 319 | 136 | 0 | 0 | 0 | 81k| 0 | 1.910000e+02 | 3.070000e+02 | 60.73%
707.59/707.84 c 642s| 4820k| 4544k| 0 | 0.0 |1214M| 317 | - | 319 | 158 | 0 | 0 | 0 | 81k| 0 | 1.910000e+02 | 3.070000e+02 | 60.73%
708.89/709.19 c 644s| 4830k| 4553k| 0 | 0.0 |1216M| 317 | - | 319 | 178 | 0 | 0 | 0 | 81k| 0 | 1.910000e+02 | 3.070000e+02 | 60.73%
710.30/710.56 c 645s| 4840k| 4563k| 0 | 0.0 |1219M| 317 | - | 319 | 197 | 0 | 0 | 0 | 82k| 0 | 1.910000e+02 | 3.070000e+02 | 60.73%
711.59/711.89 c 646s| 4850k| 4572k| 0 | 0.0 |1221M| 317 | - | 319 | 227 | 0 | 0 | 0 | 82k| 0 | 1.910000e+02 | 3.070000e+02 | 60.73%
712.98/713.24 c 647s| 4860k| 4582k| 0 | 0.0 |1224M| 317 | - | 319 | 227 | 0 | 0 | 0 | 82k| 0 | 1.910000e+02 | 3.070000e+02 | 60.73%
714.28/714.58 c 648s| 4870k| 4591k| 0 | 0.0 |1226M| 317 | - | 319 | 248 | 0 | 0 | 0 | 82k| 0 | 1.910000e+02 | 3.070000e+02 | 60.73%
715.68/715.93 c 650s| 4880k| 4601k| 0 | 0.0 |1229M| 317 | - | 319 | 255 | 0 | 0 | 0 | 82k| 0 | 1.910000e+02 | 3.070000e+02 | 60.73%
717.08/717.30 c 651s| 4890k| 4610k| 0 | 0.0 |1231M| 317 | - | 319 | 261 | 0 | 0 | 0 | 82k| 0 | 1.910000e+02 | 3.070000e+02 | 60.73%
718.38/718.68 c 652s| 4900k| 4619k| 0 | 0.0 |1234M| 317 | - | 319 | 264 | 0 | 0 | 0 | 82k| 0 | 1.910000e+02 | 3.070000e+02 | 60.73%
719.79/720.06 c 653s| 4910k| 4629k| 0 | 0.0 |1236M| 317 | - | 319 | 254 | 0 | 0 | 0 | 83k| 0 | 1.910000e+02 | 3.070000e+02 | 60.73%
721.19/721.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
721.19/721.41 c 655s| 4920k| 4638k| 0 | 0.0 |1239M| 317 | - | 319 | 274 | 0 | 0 | 0 | 83k| 0 | 1.910000e+02 | 3.070000e+02 | 60.73%
722.49/722.78 c 656s| 4930k| 4647k| 0 | 0.0 |1242M| 317 | - | 319 | 286 | 0 | 0 | 0 | 83k| 0 | 1.910000e+02 | 3.070000e+02 | 60.73%
723.89/724.14 c 657s| 4940k| 4657k| 0 | 0.0 |1244M| 317 | - | 319 | 304 | 0 | 0 | 0 | 83k| 0 | 1.910000e+02 | 3.070000e+02 | 60.73%
725.18/725.47 c 658s| 4950k| 4666k| 0 | 0.0 |1247M| 317 | - | 319 | 336 | 0 | 0 | 0 | 83k| 0 | 1.910000e+02 | 3.070000e+02 | 60.73%
726.48/726.79 c 659s| 4960k| 4675k| 0 | 0.0 |1249M| 317 | - | 319 | 361 | 0 | 0 | 0 | 84k| 0 | 1.910000e+02 | 3.070000e+02 | 60.73%
727.89/728.10 c 661s| 4970k| 4684k| 0 | 0.0 |1252M| 317 | - | 319 | 370 | 0 | 0 | 0 | 84k| 0 | 1.910000e+02 | 3.070000e+02 | 60.73%
729.18/729.48 c 662s| 4980k| 4693k| 0 | 0.0 |1254M| 317 | - | 319 | 403 | 0 | 0 | 0 | 84k| 0 | 1.910000e+02 | 3.070000e+02 | 60.73%
730.59/730.85 c 663s| 4990k| 4702k| 0 | 0.0 |1257M| 317 | - | 319 | 456 | 0 | 0 | 0 | 85k| 0 | 1.910000e+02 | 3.070000e+02 | 60.73%
732.08/732.31 c 664s| 5000k| 4710k| 0 | 0.0 |1260M| 317 | - | 319 | 532 | 0 | 0 | 0 | 85k| 0 | 1.910000e+02 | 3.070000e+02 | 60.73%
733.49/733.77 c 666s| 5010k| 4718k| 0 | 0.0 |1262M| 317 | - | 319 | 650 | 0 | 0 | 0 | 85k| 0 | 1.910000e+02 | 3.070000e+02 | 60.73%
734.98/735.28 c 667s| 5020k| 4726k| 0 | 0.0 |1265M| 317 | - | 319 | 796 | 0 | 0 | 0 | 86k| 0 | 1.910000e+02 | 3.070000e+02 | 60.73%
736.69/736.96 c 669s| 5030k| 4734k| 0 | 0.0 |1267M| 317 | - | 319 | 862 | 0 | 0 | 0 | 87k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
738.38/738.61 c 670s| 5040k| 4744k| 0 | 0.0 |1270M| 317 | - | 319 | 683 | 0 | 0 | 0 | 87k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
739.99/740.27 c 672s| 5050k| 4753k| 0 | 0.0 |1272M| 317 | - | 319 | 436 | 0 | 0 | 0 | 87k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
741.68/741.92 c 673s| 5060k| 4763k| 0 | 0.0 |1275M| 317 | - | 319 | 278 | 0 | 0 | 0 | 87k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
743.28/743.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
743.28/743.55 c 675s| 5070k| 4773k| 0 | 0.0 |1277M| 317 | - | 319 | 189 | 0 | 0 | 0 | 87k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
744.98/745.23 c 676s| 5080k| 4783k| 0 | 0.0 |1280M| 317 | - | 319 | 170 | 0 | 0 | 0 | 87k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
746.58/746.85 c 678s| 5090k| 4792k| 0 | 0.0 |1282M| 317 | - | 319 | 155 | 0 | 0 | 0 | 87k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
748.18/748.45 c 679s| 5100k| 4802k| 0 | 0.0 |1285M| 317 | - | 319 | 139 | 0 | 0 | 0 | 87k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
749.78/750.04 c 681s| 5110k| 4812k| 0 | 0.0 |1287M| 317 | - | 319 | 121 | 0 | 0 | 0 | 87k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
751.28/751.54 c 682s| 5120k| 4822k| 0 | 0.0 |1290M| 317 | - | 319 | 105 | 0 | 0 | 0 | 88k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
752.78/753.04 c 683s| 5130k| 4831k| 0 | 0.0 |1292M| 317 | - | 319 | 99 | 0 | 0 | 0 | 88k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
754.17/754.47 c 685s| 5140k| 4841k| 0 | 0.0 |1295M| 317 | - | 319 | 88 | 0 | 0 | 0 | 88k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
755.57/755.86 c 686s| 5150k| 4851k| 0 | 0.0 |1298M| 317 | - | 319 | 86 | 0 | 0 | 0 | 88k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
756.98/757.26 c 687s| 5160k| 4860k| 0 | 0.0 |1300M| 317 | - | 319 | 97 | 0 | 0 | 0 | 88k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
758.37/758.65 c 688s| 5170k| 4870k| 0 | 0.0 |1303M| 317 | - | 319 | 109 | 0 | 0 | 0 | 88k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
759.79/760.03 c 690s| 5180k| 4879k| 0 | 0.0 |1305M| 317 | - | 319 | 123 | 0 | 0 | 0 | 88k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
761.08/761.37 c 691s| 5190k| 4889k| 0 | 0.0 |1308M| 317 | - | 319 | 141 | 0 | 0 | 0 | 88k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
762.47/762.71 c 692s| 5200k| 4899k| 0 | 0.0 |1310M| 317 | - | 319 | 174 | 0 | 0 | 0 | 88k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
763.78/764.07 c 693s| 5210k| 4908k| 0 | 0.0 |1313M| 317 | - | 319 | 206 | 0 | 0 | 0 | 89k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
765.17/765.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
765.17/765.43 c 695s| 5220k| 4918k| 0 | 0.0 |1315M| 317 | - | 319 | 226 | 0 | 0 | 0 | 89k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
766.48/766.78 c 696s| 5230k| 4927k| 0 | 0.0 |1318M| 317 | - | 319 | 233 | 0 | 0 | 0 | 89k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
767.87/768.17 c 697s| 5240k| 4937k| 0 | 0.0 |1320M| 317 | - | 319 | 237 | 0 | 0 | 0 | 89k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
769.27/769.54 c 698s| 5250k| 4946k| 0 | 0.0 |1323M| 317 | - | 319 | 234 | 0 | 0 | 0 | 89k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
770.57/770.89 c 699s| 5260k| 4956k| 0 | 0.0 |1326M| 317 | - | 319 | 216 | 0 | 0 | 0 | 89k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
771.98/772.26 c 701s| 5270k| 4965k| 0 | 0.0 |1328M| 317 | - | 319 | 214 | 0 | 0 | 0 | 89k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
773.27/773.58 c 702s| 5280k| 4975k| 0 | 0.0 |1331M| 317 | - | 319 | 229 | 0 | 0 | 0 | 90k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
774.68/774.94 c 703s| 5290k| 4984k| 0 | 0.0 |1333M| 317 | - | 319 | 239 | 0 | 0 | 0 | 90k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
775.97/776.29 c 704s| 5300k| 4993k| 0 | 0.0 |1336M| 317 | - | 319 | 245 | 0 | 0 | 0 | 90k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
777.38/777.68 c 706s| 5310k| 5003k| 0 | 0.0 |1338M| 317 | - | 319 | 245 | 0 | 0 | 0 | 90k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
778.77/779.04 c 707s| 5320k| 5012k| 0 | 0.0 |1341M| 317 | - | 319 | 260 | 0 | 0 | 0 | 90k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
780.06/780.39 c 708s| 5330k| 5021k| 0 | 0.0 |1344M| 317 | - | 319 | 270 | 0 | 0 | 0 | 90k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
781.47/781.76 c 709s| 5340k| 5030k| 0 | 0.0 |1346M| 317 | - | 319 | 292 | 0 | 0 | 0 | 91k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
782.88/783.13 c 710s| 5350k| 5039k| 0 | 0.0 |1349M| 317 | - | 319 | 315 | 0 | 0 | 0 | 91k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
784.27/784.51 c 712s| 5360k| 5048k| 0 | 0.0 |1351M| 317 | - | 319 | 346 | 0 | 0 | 0 | 91k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
785.66/785.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
785.66/785.90 c 713s| 5370k| 5057k| 0 | 0.0 |1354M| 317 | - | 319 | 405 | 0 | 0 | 0 | 92k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
786.96/787.27 c 714s| 5380k| 5066k| 0 | 0.0 |1356M| 317 | - | 319 | 462 | 0 | 0 | 0 | 92k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
788.07/788.39 c (node 5387654) switching to memory saving mode (mem: 1296.0M/1620.0M)
789.76/790.00 c 717s| 5390k| 5071k| 0 | 0.0 |1358M| 317 | - | 319 |1012 | 0 | 0 | 0 | 93k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
792.96/793.26 c 720s| 5400k| 5067k| 0 | 0.0 |1357M| 317 | - | 319 |3107 | 0 | 0 | 0 | 97k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
797.56/797.81 c 724s| 5410k| 5063k| 0 | 0.0 |1356M| 317 | - | 319 |5222 | 0 | 0 | 0 | 100k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
803.26/803.52 c 730s| 5420k| 5059k| 0 | 0.0 |1355M| 317 | - | 319 |6985 | 0 | 0 | 0 | 103k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
809.96/810.22 c 736s| 5430k| 5056k| 0 | 0.0 |1354M| 317 | - | 319 |8690 | 0 | 0 | 0 | 106k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
819.05/819.32 c 745s| 5440k| 5052k| 0 | 0.0 |1353M| 317 | - | 319 |9865 | 0 | 0 | 0 | 110k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
826.35/826.60 c 752s| 5450k| 5049k| 0 | 0.0 |1353M| 317 | - | 319 | 11k| 0 | 0 | 0 | 113k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
838.35/838.61 c 764s| 5460k| 5045k| 0 | 0.0 |1351M| 317 | - | 319 | 11k| 0 | 0 | 0 | 116k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
848.54/848.87 c 774s| 5470k| 5042k| 0 | 0.0 |1351M| 317 | - | 319 | 12k| 0 | 0 | 0 | 119k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
858.54/858.81 c 784s| 5480k| 5040k| 0 | 0.0 |1350M| 317 | - | 319 | 12k| 0 | 0 | 0 | 123k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
874.04/874.32 c 799s| 5490k| 5035k| 0 | 0.0 |1349M| 317 | - | 319 | 12k| 0 | 0 | 0 | 126k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
881.74/882.04 c 807s| 5500k| 5034k| 0 | 0.0 |1348M| 317 | - | 319 | 13k| 0 | 0 | 0 | 129k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
892.84/893.11 c 818s| 5510k| 5031k| 0 | 0.0 |1347M| 317 | - | 319 | 13k| 0 | 0 | 0 | 132k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
909.03/909.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
909.03/909.32 c 834s| 5520k| 5026k| 0 | 0.0 |1346M| 317 | - | 319 | 12k| 0 | 0 | 0 | 135k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
919.03/919.31 c 844s| 5530k| 5024k| 0 | 0.0 |1345M| 317 | - | 319 | 12k| 0 | 0 | 0 | 138k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
924.83/925.12 c 850s| 5540k| 5023k| 0 | 0.0 |1345M| 317 | - | 319 | 13k| 0 | 0 | 0 | 141k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
940.62/940.93 c 865s| 5550k| 5019k| 0 | 0.0 |1343M| 317 | - | 319 | 12k| 0 | 0 | 0 | 145k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
957.02/957.36 c 881s| 5560k| 5014k| 0 | 0.0 |1342M| 317 | - | 319 | 11k| 0 | 0 | 0 | 148k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
964.81/965.11 c 889s| 5570k| 5013k| 0 | 0.0 |1341M| 317 | - | 319 | 12k| 0 | 0 | 0 | 151k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
970.32/970.62 c 894s| 5580k| 5012k| 0 | 0.0 |1341M| 317 | - | 319 | 13k| 0 | 0 | 0 | 154k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
982.41/982.71 c 906s| 5590k| 5009k| 0 | 0.0 |1340M| 317 | - | 319 | 12k| 0 | 0 | 0 | 157k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
999.11/999.47 c 923s| 5600k| 5004k| 0 | 0.0 |1339M| 317 | - | 319 | 12k| 0 | 0 | 0 | 160k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1012.71/1013.01 c 936s| 5610k| 5000k| 0 | 0.0 |1337M| 317 | - | 319 | 11k| 0 | 0 | 0 | 164k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1017.91/1018.27 c 941s| 5620k| 5000k| 0 | 0.0 |1337M| 317 | - | 319 | 12k| 0 | 0 | 0 | 166k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1023.60/1023.93 c 947s| 5630k| 4999k| 0 | 0.0 |1337M| 317 | - | 319 | 12k| 0 | 0 | 0 | 169k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1034.39/1034.72 c 957s| 5640k| 4996k| 0 | 0.0 |1337M| 317 | - | 319 | 12k| 0 | 0 | 0 | 172k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1051.39/1051.73 c 974s| 5650k| 4991k| 0 | 0.0 |1335M| 317 | - | 319 | 11k| 0 | 0 | 0 | 176k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1067.09/1067.49 c 990s| 5660k| 4987k| 0 | 0.0 |1333M| 317 | - | 319 | 10k| 0 | 0 | 0 | 179k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1073.19/1073.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1073.19/1073.55 c 996s| 5670k| 4986k| 0 | 0.0 |1333M| 317 | - | 319 | 11k| 0 | 0 | 0 | 182k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1078.48/1078.89 c 1001s| 5680k| 4986k| 0 | 0.0 |1333M| 317 | - | 319 | 12k| 0 | 0 | 0 | 184k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1084.29/1084.63 c 1007s| 5690k| 4985k| 0 | 0.0 |1333M| 317 | - | 319 | 13k| 0 | 0 | 0 | 187k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1093.18/1093.52 c 1015s| 5700k| 4983k| 0 | 0.0 |1333M| 317 | - | 319 | 13k| 0 | 0 | 0 | 190k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1111.08/1111.45 c 1033s| 5710k| 4978k| 0 | 0.0 |1331M| 317 | - | 319 | 12k| 0 | 0 | 0 | 194k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1126.97/1127.30 c 1049s| 5720k| 4974k| 0 | 0.0 |1329M| 317 | - | 319 | 10k| 0 | 0 | 0 | 197k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1136.98/1137.36 c 1059s| 5730k| 4971k| 0 | 0.0 |1329M| 317 | - | 319 | 10k| 0 | 0 | 0 | 200k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1142.16/1142.57 c 1064s| 5740k| 4971k| 0 | 0.0 |1329M| 317 | - | 319 | 11k| 0 | 0 | 0 | 202k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1147.56/1147.94 c 1069s| 5750k| 4970k| 0 | 0.0 |1329M| 317 | - | 319 | 12k| 0 | 0 | 0 | 205k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1153.26/1153.66 c 1074s| 5760k| 4970k| 0 | 0.0 |1329M| 317 | - | 319 | 13k| 0 | 0 | 0 | 208k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1159.96/1160.31 c 1081s| 5770k| 4969k| 0 | 0.0 |1329M| 317 | - | 319 | 13k| 0 | 0 | 0 | 210k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1177.76/1178.13 c 1099s| 5780k| 4964k| 0 | 0.0 |1327M| 317 | - | 319 | 12k| 0 | 0 | 0 | 214k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1194.34/1194.74 c 1115s| 5790k| 4959k| 0 | 0.0 |1325M| 317 | - | 319 | 11k| 0 | 0 | 0 | 217k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1208.75/1209.19 c 1129s| 5800k| 4955k| 0 | 0.0 |1324M| 317 | - | 319 | 10k| 0 | 0 | 0 | 221k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1213.75/1214.17 c 1134s| 5810k| 4954k| 0 | 0.0 |1324M| 317 | - | 319 | 11k| 0 | 0 | 0 | 223k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1219.15/1219.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1219.15/1219.54 c 1139s| 5820k| 4954k| 0 | 0.0 |1324M| 317 | - | 319 | 12k| 0 | 0 | 0 | 226k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1224.84/1225.21 c 1145s| 5830k| 4953k| 0 | 0.0 |1324M| 317 | - | 319 | 13k| 0 | 0 | 0 | 228k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1230.74/1231.12 c 1151s| 5840k| 4953k| 0 | 0.0 |1324M| 317 | - | 319 | 13k| 0 | 0 | 0 | 231k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1236.84/1237.27 c 1157s| 5850k| 4952k| 0 | 0.0 |1324M| 317 | - | 319 | 14k| 0 | 0 | 0 | 233k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1250.83/1251.25 c 1170s| 5860k| 4949k| 0 | 0.0 |1323M| 317 | - | 319 | 13k| 0 | 0 | 0 | 237k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1269.12/1269.59 c 1189s| 5870k| 4944k| 0 | 0.0 |1321M| 317 | - | 319 | 11k| 0 | 0 | 0 | 240k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1284.13/1284.56 c 1203s| 5880k| 4940k| 0 | 0.0 |1320M| 317 | - | 319 | 10k| 0 | 0 | 0 | 243k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1294.13/1294.55 c 1213s| 5890k| 4937k| 0 | 0.0 |1319M| 317 | - | 319 | 10k| 0 | 0 | 0 | 246k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1299.22/1299.61 c 1218s| 5900k| 4937k| 0 | 0.0 |1319M| 317 | - | 319 | 11k| 0 | 0 | 0 | 249k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1304.81/1305.23 c 1224s| 5910k| 4936k| 0 | 0.0 |1319M| 317 | - | 319 | 12k| 0 | 0 | 0 | 251k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1310.61/1311.03 c 1229s| 5920k| 4936k| 0 | 0.0 |1319M| 317 | - | 319 | 13k| 0 | 0 | 0 | 254k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1316.71/1317.18 c 1235s| 5930k| 4935k| 0 | 0.0 |1319M| 317 | - | 319 | 13k| 0 | 0 | 0 | 256k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1323.01/1323.42 c 1241s| 5940k| 4935k| 0 | 0.0 |1319M| 317 | - | 319 | 14k| 0 | 0 | 0 | 259k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1329.81/1330.21 c 1248s| 5950k| 4934k| 0 | 0.0 |1319M| 317 | - | 319 | 14k| 0 | 0 | 0 | 262k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1346.41/1346.81 c 1264s| 5960k| 4930k| 0 | 0.0 |1318M| 317 | - | 319 | 13k| 0 | 0 | 0 | 265k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1364.80/1365.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1364.80/1365.21 c 1283s| 5970k| 4925k| 0 | 0.0 |1316M| 317 | - | 319 | 11k| 0 | 0 | 0 | 268k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1379.30/1379.71 c 1297s| 5980k| 4921k| 0 | 0.0 |1314M| 317 | - | 319 | 10k| 0 | 0 | 0 | 272k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1389.30/1389.73 c 1307s| 5990k| 4918k| 0 | 0.0 |1313M| 317 | - | 319 | 10k| 0 | 0 | 0 | 275k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1394.30/1394.72 c 1312s| 6000k| 4918k| 0 | 0.0 |1314M| 317 | - | 319 | 11k| 0 | 0 | 0 | 277k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1399.58/1400.06 c 1317s| 6010k| 4917k| 0 | 0.0 |1314M| 317 | - | 319 | 12k| 0 | 0 | 0 | 280k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1405.29/1405.79 c 1322s| 6020k| 4917k| 0 | 0.0 |1314M| 317 | - | 319 | 13k| 0 | 0 | 0 | 282k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1411.27/1411.74 c 1328s| 6030k| 4916k| 0 | 0.0 |1314M| 317 | - | 319 | 14k| 0 | 0 | 0 | 285k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1417.67/1418.13 c 1334s| 6040k| 4916k| 0 | 0.0 |1314M| 317 | - | 319 | 14k| 0 | 0 | 0 | 287k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1424.27/1424.70 c 1341s| 6050k| 4915k| 0 | 0.0 |1314M| 317 | - | 319 | 15k| 0 | 0 | 0 | 290k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1430.97/1431.41 c 1347s| 6060k| 4915k| 0 | 0.0 |1314M| 317 | - | 319 | 15k| 0 | 0 | 0 | 292k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1440.57/1441.09 c 1357s| 6070k| 4913k| 0 | 0.0 |1313M| 317 | - | 319 | 15k| 0 | 0 | 0 | 295k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1461.16/1461.69 c 1377s| 6080k| 4909k| 0 | 0.0 |1311M| 317 | - | 319 | 13k| 0 | 0 | 0 | 299k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1478.15/1478.60 c 1394s| 6090k| 4904k| 0 | 0.0 |1309M| 317 | - | 319 | 10k| 0 | 0 | 0 | 302k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1492.65/1493.13 c 1408s| 6100k| 4899k| 0 | 0.0 |1308M| 317 | - | 319 |9753 | 0 | 0 | 0 | 305k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1499.85/1500.37 c 1415s| 6110k| 4898k| 0 | 0.0 |1308M| 317 | - | 319 | 10k| 0 | 0 | 0 | 308k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1504.95/1505.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1504.95/1505.42 c 1420s| 6120k| 4897k| 0 | 0.0 |1308M| 317 | - | 319 | 11k| 0 | 0 | 0 | 311k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1510.35/1510.81 c 1426s| 6130k| 4897k| 0 | 0.0 |1308M| 317 | - | 319 | 12k| 0 | 0 | 0 | 313k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1516.25/1516.78 c 1431s| 6140k| 4897k| 0 | 0.0 |1308M| 317 | - | 319 | 13k| 0 | 0 | 0 | 316k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1522.45/1522.96 c 1437s| 6150k| 4896k| 0 | 0.0 |1308M| 317 | - | 319 | 14k| 0 | 0 | 0 | 318k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1528.95/1529.49 c 1444s| 6160k| 4896k| 0 | 0.0 |1308M| 317 | - | 319 | 14k| 0 | 0 | 0 | 320k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1535.74/1536.24 c 1450s| 6170k| 4895k| 0 | 0.0 |1308M| 317 | - | 319 | 15k| 0 | 0 | 0 | 323k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1542.24/1542.78 c 1457s| 6180k| 4895k| 0 | 0.0 |1308M| 317 | - | 319 | 15k| 0 | 0 | 0 | 325k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1549.34/1549.83 c 1464s| 6190k| 4894k| 0 | 0.0 |1308M| 317 | - | 319 | 15k| 0 | 0 | 0 | 328k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1557.04/1557.50 c 1471s| 6200k| 4894k| 0 | 0.0 |1308M| 317 | - | 319 | 16k| 0 | 0 | 0 | 331k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1577.23/1577.71 c 1491s| 6210k| 4889k| 0 | 0.0 |1306M| 317 | - | 319 | 13k| 0 | 0 | 0 | 334k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1595.83/1596.35 c 1510s| 6220k| 4884k| 0 | 0.0 |1304M| 317 | - | 319 | 10k| 0 | 0 | 0 | 337k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1609.72/1610.30 c 1523s| 6230k| 4880k| 0 | 0.0 |1303M| 317 | - | 319 |9552 | 0 | 0 | 0 | 341k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1620.82/1621.39 c 1534s| 6240k| 4876k| 0 | 0.0 |1302M| 317 | - | 319 |9794 | 0 | 0 | 0 | 344k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1625.62/1626.14 c 1539s| 6250k| 4876k| 0 | 0.0 |1302M| 317 | - | 319 | 10k| 0 | 0 | 0 | 346k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1630.91/1631.44 c 1544s| 6260k| 4876k| 0 | 0.0 |1302M| 317 | - | 319 | 11k| 0 | 0 | 0 | 349k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1636.61/1637.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1636.61/1637.19 c 1550s| 6270k| 4875k| 0 | 0.0 |1302M| 317 | - | 319 | 12k| 0 | 0 | 0 | 351k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1642.61/1643.15 c 1556s| 6280k| 4875k| 0 | 0.0 |1302M| 317 | - | 319 | 13k| 0 | 0 | 0 | 354k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1648.91/1649.46 c 1562s| 6290k| 4875k| 0 | 0.0 |1302M| 317 | - | 319 | 14k| 0 | 0 | 0 | 356k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1655.71/1656.23 c 1568s| 6300k| 4874k| 0 | 0.0 |1302M| 317 | - | 319 | 14k| 0 | 0 | 0 | 359k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1662.61/1663.17 c 1575s| 6310k| 4874k| 0 | 0.0 |1302M| 317 | - | 319 | 15k| 0 | 0 | 0 | 361k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1669.80/1670.32 c 1582s| 6320k| 4874k| 0 | 0.0 |1302M| 317 | - | 319 | 15k| 0 | 0 | 0 | 364k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1676.60/1677.18 c 1589s| 6330k| 4873k| 0 | 0.0 |1302M| 317 | - | 319 | 16k| 0 | 0 | 0 | 366k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1684.10/1684.60 c 1596s| 6340k| 4873k| 0 | 0.0 |1302M| 317 | - | 319 | 16k| 0 | 0 | 0 | 369k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1691.40/1691.99 c 1603s| 6350k| 4872k| 0 | 0.0 |1302M| 317 | - | 319 | 16k| 0 | 0 | 0 | 371k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1708.09/1708.62 c 1620s| 6360k| 4869k| 0 | 0.0 |1301M| 317 | - | 319 | 15k| 0 | 0 | 0 | 374k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1728.39/1728.95 c 1640s| 6370k| 4864k| 0 | 0.0 |1298M| 317 | - | 319 | 10k| 0 | 0 | 0 | 378k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1742.98/1743.59 c 1654s| 6380k| 4859k| 0 | 0.0 |1297M| 317 | - | 319 |9405 | 0 | 0 | 0 | 381k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1757.18/1757.73 c 1668s| 6390k| 4855k| 0 | 0.0 |1296M| 317 | - | 319 |9222 | 0 | 0 | 0 | 384k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1762.68/1763.28 c 1674s| 6400k| 4854k| 0 | 0.0 |1295M| 317 | - | 319 | 10k| 0 | 0 | 0 | 387k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1767.58/1768.16 c 1678s| 6410k| 4854k| 0 | 0.0 |1296M| 317 | - | 319 | 11k| 0 | 0 | 0 | 389k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1773.17/1773.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1773.17/1773.72 c 1684s| 6420k| 4853k| 0 | 0.0 |1296M| 317 | - | 319 | 12k| 0 | 0 | 0 | 392k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1779.07/1779.64 c 1690s| 6430k| 4853k| 0 | 0.0 |1296M| 317 | - | 319 | 13k| 0 | 0 | 0 | 394k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1785.36/1785.96 c 1696s| 6440k| 4853k| 0 | 0.0 |1296M| 317 | - | 319 | 13k| 0 | 0 | 0 | 397k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1792.06/1792.60 c 1702s| 6450k| 4852k| 0 | 0.0 |1296M| 317 | - | 319 | 14k| 0 | 0 | 0 | 399k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1798.77/1799.35 c 1709s| 6460k| 4852k| 0 | 0.0 |1296M| 317 | - | 319 | 15k| 0 | 0 | 0 | 402k| 0 | 1.920000e+02 | 3.070000e+02 | 59.90%
1800.07/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.61 c
1800.07/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.61 c Solving Time (sec) : 1710.13
1800.07/1800.61 c Solving Nodes : 6461788
1800.07/1800.61 c Primal Bound : +3.07000000000000e+02 (21 solutions)
1800.07/1800.61 c Dual Bound : +1.92000000000000e+02
1800.07/1800.61 c Gap : 59.90 %
1800.07/1800.61 s SATISFIABLE
1800.07/1800.61 v -x246 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x221
1800.07/1800.61 v -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x199
1800.07/1800.61 v -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x177 -x176
1800.07/1800.61 v -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x155 -x154 -x153
1800.07/1800.61 v -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x133 -x132 -x131 -x130
1800.07/1800.61 v -x129 -x128 -x127 -x126 -x125 -x124 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x110 -x109 -x108 -x107 -x106
1800.07/1800.61 v -x105 -x104 -x103 -x102 -x101 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80
1800.07/1800.61 v -x79 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x55 -x54 -x53 -x52
1800.07/1800.61 v -x51 -x50 -x49 -x48 -x47 -x46 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x33 -x32 -x31 -x30 x29 -x28 -x27 -x26 -x25
1800.07/1800.61 v -x24 -x22 x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x319 -x318 -x317 -x316 -x315
1800.07/1800.61 v -x314 -x313 -x312 -x311 -x310 -x308 -x307 -x306 -x305 x304 -x303 -x302 -x301 -x300 -x299 -x297 -x296 -x295 -x294 -x293 -x292
1800.07/1800.61 v -x291 -x290 -x289 -x288 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 x278 -x277 -x275 -x274 -x273 -x272 -x271 -x270 -x269
1800.07/1800.61 v -x268 -x267 -x266 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x245
1800.07/1800.61 v -x234 -x223 -x211 -x200 -x189 -x178 -x167 -x156 -x145 -x134 -x123 -x112 -x100 -x89 -x78 -x67 -x56 -x45 -x34 -x23 -x12 -x1
1800.07/1800.61 v -x309 -x298 -x287 -x276 -x265 -x254 x222 -x111
1800.07/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.61 c Solving Time : 1710.13
1800.07/1800.61 c Original Problem :
1800.07/1800.61 c Problem name : HOME/instance-2664591-1276353461.opb
1800.07/1800.61 c Variables : 319 (319 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.61 c Constraints : 6 initial, 6 maximal
1800.07/1800.61 c Presolved Problem :
1800.07/1800.61 c Problem name : t_HOME/instance-2664591-1276353461.opb
1800.07/1800.61 c Variables : 319 (319 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.61 c Constraints : 6 initial, 16787 maximal
1800.07/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0
1800.07/1800.61 c knapsack : 0.01 0 0 0 0 0 0 0 0
1800.07/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c root node : - 0 - - 0 - - - -
1800.07/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.61 c knapsack : 6 0 6986625 0 5761511 393434 581607 0 0 0
1800.07/1800.61 c logicor : 0+ 0 672735 0 0 5793 142072 0 0 0
1800.07/1800.61 c countsols : 0 0 0 0 5761512 0 0 0 0 0
1800.07/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.61 c knapsack : 405.96 0.00 309.40 0.00 96.56
1800.07/1800.61 c logicor : 417.84 0.00 417.84 0.00 0.00
1800.07/1800.61 c countsols : 2.30 0.00 0.00 0.00 2.30
1800.07/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.61 c vbounds : 3.60 2 0 0
1800.07/1800.61 c rootredcost : 3.65 0 0 0
1800.07/1800.61 c pseudoobj : 198.22 7198809 212383 6432559
1800.07/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.61 c propagation : 70.15 214457 213770 269664 231.0 13 231.7 -
1800.07/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.61 c pseudo solution : 13.58 188754 188754 191361 8.0 221 223.7 -
1800.07/1800.61 c applied globally : - - - 188754 4.9 - - -
1800.07/1800.61 c applied locally : - - - 213770 228.0 - - -
1800.07/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.07/1800.61 c redcost : 0.00 0 0 0 0 0
1800.07/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.07/1800.61 c intobj : 0.00 0 0 0 0 0
1800.07/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.61 c gomory : 0.00 0 0 0 0 0
1800.07/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.07/1800.61 c cmir : 0.00 0 0 0 0 0
1800.07/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.07/1800.61 c clique : 0.00 0 0 0 0 0
1800.07/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.61 c mcf : 0.00 0 0 0 0 0
1800.07/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.07/1800.61 c Pricers : Time Calls Vars
1800.07/1800.61 c problem variables: 0.00 0 0
1800.07/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.07/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.61 c inference : 112.51 5761494 0 0 0 0 11522988
1800.07/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.61 c random : 0.00 0 0 0 0 0 0
1800.07/1800.61 c Primal Heuristics : Time Calls Found
1800.07/1800.61 c LP solutions : 0.00 - 0
1800.07/1800.61 c pseudo solutions : 0.26 - 18
1800.07/1800.61 c oneopt : 4.74 0 0
1800.07/1800.61 c trivial : 0.00 2 3
1800.07/1800.61 c simplerounding : 0.00 0 0
1800.07/1800.61 c zirounding : 0.00 0 0
1800.07/1800.61 c rounding : 0.00 0 0
1800.07/1800.61 c shifting : 0.00 0 0
1800.07/1800.61 c intshifting : 0.00 0 0
1800.07/1800.61 c twoopt : 0.00 0 0
1800.07/1800.61 c fixandinfer : 0.00 0 0
1800.07/1800.61 c feaspump : 0.00 0 0
1800.07/1800.61 c coefdiving : 0.00 0 0
1800.07/1800.61 c pscostdiving : 0.00 0 0
1800.07/1800.61 c fracdiving : 0.00 0 0
1800.07/1800.61 c veclendiving : 0.00 0 0
1800.07/1800.61 c intdiving : 0.00 0 0
1800.07/1800.61 c actconsdiving : 0.00 0 0
1800.07/1800.61 c objpscostdiving : 0.00 0 0
1800.07/1800.61 c rootsoldiving : 0.00 0 0
1800.07/1800.61 c linesearchdiving : 0.00 0 0
1800.07/1800.61 c guideddiving : 0.00 0 0
1800.07/1800.61 c octane : 0.00 0 0
1800.07/1800.61 c rens : 0.00 0 0
1800.07/1800.61 c rins : 0.00 0 0
1800.07/1800.61 c localbranching : 0.00 0 0
1800.07/1800.61 c mutation : 0.00 0 0
1800.07/1800.61 c crossover : 0.00 0 0
1800.07/1800.61 c dins : 0.00 0 0
1800.07/1800.61 c undercover : 0.00 0 0
1800.07/1800.61 c nlp : 2.75 0 0
1800.07/1800.61 c trysol : 2.77 0 0
1800.07/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.61 c dual LP : 0.00 0 0 0.00 -
1800.07/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.07/1800.61 c strong branching : 0.00 0 0 0.00 -
1800.07/1800.61 c (at root node) : - 0 0 0.00 -
1800.07/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.61 c B&B Tree :
1800.07/1800.61 c number of runs : 1
1800.07/1800.61 c nodes : 6461788
1800.07/1800.61 c nodes (total) : 6461788
1800.07/1800.61 c nodes left : 4852406
1800.07/1800.61 c max depth : 317
1800.07/1800.61 c max depth (total): 317
1800.07/1800.61 c backtracks : 475936 (7.4%)
1800.07/1800.61 c delayed cutoffs : 120107
1800.07/1800.61 c repropagations : 242513 (1285057 domain reductions, 100088 cutoffs)
1800.07/1800.61 c avg switch length: 13.24
1800.07/1800.61 c switching time : 307.05
1800.07/1800.61 c Solution :
1800.07/1800.61 c Solutions found : 21 (19 improvements)
1800.07/1800.61 c First Solution : +2.35540000000000e+04 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
1800.07/1800.61 c Primal Bound : +3.07000000000000e+02 (in run 1, after 3799872 nodes, 510.05 seconds, depth 310, found by <relaxation>)
1800.07/1800.61 c Dual Bound : +1.92000000000000e+02
1800.07/1800.61 c Gap : 59.90 %
1800.07/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.07/1800.61 c Root Iterations : 0
OK 307
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664591-1276353461/watcher-2664591-1276353461 -o /tmp/evaluation-result-2664591-1276353461/solver-2664591-1276353461 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664591-1276353461.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11915 /proc/meminfo: memFree=1769452/2059040 swapFree=4192956/4192956 [pid=11915] ppid=11913 vsize=6584 CPUtime=0 /proc/11915/stat : 11915 (pbscip.linux.x8) R 11913 11915 11714 0 -1 4202496 1022 0 0 0 0 0 0 0 18 0 1 0 10947620 6742016 944 1992294400 4194304 7136930 140735489912304 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11915/statm: 1646 953 254 719 0 925 0 [startup+0.013691 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11915 /proc/meminfo: memFree=1769452/2059040 swapFree=4192956/4192956 [pid=11915] ppid=11913 vsize=8180 CPUtime=0 /proc/11915/stat : 11915 (pbscip.linux.x8) R 11913 11915 11714 0 -1 4202496 1529 0 0 0 0 0 0 0 20 0 1 0 10947620 8376320 1451 1992294400 4194304 7136930 140735489912304 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11915/statm: 2044 1452 272 719 0 1323 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8180 [startup+0.101701 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11915 /proc/meminfo: memFree=1769452/2059040 swapFree=4192956/4192956 [pid=11915] ppid=11913 vsize=12288 CPUtime=0.09 /proc/11915/stat : 11915 (pbscip.linux.x8) R 11913 11915 11714 0 -1 4202496 3299 0 0 0 7 2 0 0 20 0 1 0 10947620 12582912 2354 1992294400 4194304 7136930 140735489912304 18446744073709551615 5909091 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11915/statm: 3072 2354 390 719 0 2351 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12288 [startup+0.301726 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11915 /proc/meminfo: memFree=1769452/2059040 swapFree=4192956/4192956 [pid=11915] ppid=11913 vsize=13092 CPUtime=0.29 /proc/11915/stat : 11915 (pbscip.linux.x8) R 11913 11915 11714 0 -1 4202496 3488 0 0 0 25 4 0 0 20 0 1 0 10947620 13406208 2543 1992294400 4194304 7136930 140735489912304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11915/statm: 3273 2543 390 719 0 2552 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13092 [startup+0.701779 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11915 /proc/meminfo: memFree=1769452/2059040 swapFree=4192956/4192956 [pid=11915] ppid=11913 vsize=13996 CPUtime=0.7 /proc/11915/stat : 11915 (pbscip.linux.x8) R 11913 11915 11714 0 -1 4202496 3745 0 0 0 60 10 0 0 20 0 1 0 10947620 14331904 2800 1992294400 4194304 7136930 140735489912304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11915/statm: 3499 2800 391 719 0 2778 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 13996 [startup+1.50088 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11916 /proc/meminfo: memFree=1758780/2059040 swapFree=4192956/4192956 [pid=11915] ppid=11913 vsize=15552 CPUtime=1.49 /proc/11915/stat : 11915 (pbscip.linux.x8) R 11913 11915 11714 0 -1 4202496 4158 0 0 0 132 17 0 0 23 0 1 0 10947620 15925248 3213 1992294400 4194304 7136930 140735489912304 18446744073709551615 4854175 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11915/statm: 3888 3213 391 719 0 3167 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15552 [startup+3.10109 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11916 /proc/meminfo: memFree=1756548/2059040 swapFree=4192956/4192956 [pid=11915] ppid=11913 vsize=18660 CPUtime=3.09 /proc/11915/stat : 11915 (pbscip.linux.x8) R 11913 11915 11714 0 -1 4202496 4981 0 0 0 279 30 0 0 25 0 1 0 10947620 19107840 4036 1992294400 4194304 7136930 140735489912304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11915/statm: 4665 4036 391 719 0 3944 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18660 [startup+6.30151 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11916 /proc/meminfo: memFree=1750224/2059040 swapFree=4192956/4192956 [pid=11915] ppid=11913 vsize=24752 CPUtime=6.29 /proc/11915/stat : 11915 (pbscip.linux.x8) R 11913 11915 11714 0 -1 4202496 6581 0 0 0 570 59 0 0 25 0 1 0 10947620 25346048 5636 1992294400 4194304 7136930 140735489912304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11915/statm: 6188 5636 391 719 0 5467 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24752 [startup+12.7013 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11916 /proc/meminfo: memFree=1736088/2059040 swapFree=4192956/4192956 [pid=11915] ppid=11913 vsize=39176 CPUtime=12.69 /proc/11915/stat : 11915 (pbscip.linux.x8) R 11913 11915 11714 0 -1 4202496 9846 0 0 0 1146 123 0 0 25 0 1 0 10947620 40116224 8901 1992294400 4194304 7136930 140735489912304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11915/statm: 9794 8901 391 719 0 9073 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 39176 [startup+25.501 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11916 /proc/meminfo: memFree=1709676/2059040 swapFree=4192956/4192956 [pid=11915] ppid=11913 vsize=63404 CPUtime=25.48 /proc/11915/stat : 11915 (pbscip.linux.x8) R 11913 11915 11714 0 -1 4202496 16247 0 0 0 2299 249 0 0 25 0 1 0 10947620 64925696 15302 1992294400 4194304 7136930 140735489912304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11915/statm: 15851 15302 391 719 0 15130 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 63404 [startup+51.1014 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11918 /proc/meminfo: memFree=1662060/2059040 swapFree=4192956/4192956 [pid=11915] ppid=11913 vsize=112876 CPUtime=51.08 /proc/11915/stat : 11915 (pbscip.linux.x8) R 11913 11915 11714 0 -1 4202496 28260 0 0 0 4614 494 0 0 25 0 1 0 10947620 115585024 27315 1992294400 4194304 7136930 140735489912304 18446744073709551615 4854249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11915/statm: 28219 27315 391 719 0 27498 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 112876 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11918 /proc/meminfo: memFree=1569432/2059040 swapFree=4192956/4192956 [pid=11915] ppid=11913 vsize=207084 CPUtime=102.27 /proc/11915/stat : 11915 (pbscip.linux.x8) R 11913 11915 11714 0 -1 4202496 51039 0 0 0 9261 966 0 0 25 0 1 0 10947620 212054016 50094 1992294400 4194304 7136930 140735489912304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11915/statm: 51771 50094 391 719 0 51050 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 207084 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11920 /proc/meminfo: memFree=1460932/2059040 swapFree=4192956/4192956 [pid=11915] ppid=11913 vsize=326632 CPUtime=162.25 /proc/11915/stat : 11915 (pbscip.linux.x8) R 11913 11915 11714 0 -1 4202496 78369 0 0 0 14693 1532 0 0 25 0 1 0 10947620 334471168 77424 1992294400 4194304 7136930 140735489912304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11915/statm: 81658 77424 391 719 0 80937 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 326632 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11922 /proc/meminfo: memFree=1350448/2059040 swapFree=4192956/4192956 [pid=11915] ppid=11913 vsize=430052 CPUtime=222.23 /proc/11915/stat : 11915 (pbscip.linux.x8) R 11913 11915 11714 0 -1 4202496 105744 0 0 0 20143 2080 0 0 25 0 1 0 10947620 440373248 104799 1992294400 4194304 7136930 140735489912304 18446744073709551615 5924475 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11915/statm: 107513 104799 391 719 0 106792 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 430052 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11924 /proc/meminfo: memFree=1241700/2059040 swapFree=4192956/4192956 [pid=11915] ppid=11913 vsize=533156 CPUtime=282.21 /proc/11915/stat : 11915 (pbscip.linux.x8) R 11913 11915 11714 0 -1 4202496 133035 0 0 0 25590 2631 0 0 25 0 1 0 10947620 545951744 132090 1992294400 4194304 7136930 140735489912304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11915/statm: 133289 132090 391 719 0 132568 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 533156 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11924 /proc/meminfo: memFree=1136300/2059040 swapFree=4192956/4192956 [pid=11915] ppid=11913 vsize=664464 CPUtime=342.19 /proc/11915/stat : 11915 (pbscip.linux.x8) R 11913 11915 11714 0 -1 4202496 159161 0 0 0 31055 3164 0 0 25 0 1 0 10947620 680411136 158216 1992294400 4194304 7136930 140735489912304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11915/statm: 166116 158216 391 719 0 165395 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 664464 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11926 /proc/meminfo: memFree=1027924/2059040 swapFree=4192956/4192956 [pid=11915] ppid=11913 vsize=766920 CPUtime=402.17 /proc/11915/stat : 11915 (pbscip.linux.x8) R 11913 11915 11714 0 -1 4202496 186317 0 0 0 36515 3702 0 0 25 0 1 0 10947620 785326080 185372 1992294400 4194304 7136930 140735489912304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11915/statm: 191730 185372 391 719 0 191009 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 766920 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11928 /proc/meminfo: memFree=921656/2059040 swapFree=4192956/4192956 [pid=11915] ppid=11913 vsize=866568 CPUtime=462.16 /proc/11915/stat : 11915 (pbscip.linux.x8) R 11913 11915 11714 0 -1 4202496 212722 0 0 0 41982 4234 0 0 25 0 1 0 10947620 887365632 211777 1992294400 4194304 7136930 140735489912304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11915/statm: 216642 211777 391 719 0 215921 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 866568 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11930 /proc/meminfo: memFree=819232/2059040 swapFree=4192956/4192956 [pid=11915] ppid=11913 vsize=964084 CPUtime=522.14 /proc/11915/stat : 11915 (pbscip.linux.x8) R 11913 11915 11714 0 -1 4202496 238537 0 0 0 47458 4756 0 0 25 0 1 0 10947620 987222016 237592 1992294400 4194304 7136930 140735489912304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11915/statm: 241021 237592 391 719 0 240300 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 964084 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11932 /proc/meminfo: memFree=713212/2059040 swapFree=4192956/4192956 [pid=11915] ppid=11913 vsize=1062796 CPUtime=582.12 /proc/11915/stat : 11915 (pbscip.linux.x8) R 11913 11915 11714 0 -1 4202496 264616 0 0 0 52885 5327 0 0 25 0 1 0 10947620 1088303104 263671 1992294400 4194304 7136930 140735489912304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11915/statm: 265699 263671 391 719 0 264978 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 1062796 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11932 /proc/meminfo: memFree=601116/2059040 swapFree=4192956/4192956 [pid=11915] ppid=11913 vsize=1167844 CPUtime=642.11 /proc/11915/stat : 11915 (pbscip.linux.x8) R 11913 11915 11714 0 -1 4202496 292392 0 0 0 58314 5897 0 0 25 0 1 0 10947620 1195872256 291447 1992294400 4194304 7136930 140735489912304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11915/statm: 291961 291447 391 719 0 291240 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 1167844 [startup+702.301 s] ################ # More data... # ################ /proc/11915/stat : 11915 (pbscip.linux.x8) R 11913 11915 11714 0 -1 4202496 382347 0 0 0 98475 7724 0 0 25 0 1 0 10947620 1535127552 361586 1992294400 4194304 7136930 140735489912304 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11915/statm: 374787 361586 391 719 0 374066 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 1499148 [startup+1122.3 s] /proc/loadavg: 1.08 1.02 1.01 2/107 11946 /proc/meminfo: memFree=319140/2059040 swapFree=4192956/4192956 [pid=11915] ppid=11913 vsize=1499324 CPUtime=1121.98 /proc/11915/stat : 11915 (pbscip.linux.x8) R 11913 11915 11714 0 -1 4202496 382389 0 0 0 104379 7819 0 0 25 0 1 0 10947620 1535307776 361628 1992294400 4194304 7136930 140735489912304 18446744073709551615 5921487 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11915/statm: 374831 361628 391 719 0 374110 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 1499324 [startup+1182.3 s] /proc/loadavg: 1.03 1.01 1.00 2/107 11948 /proc/meminfo: memFree=319016/2059040 swapFree=4192956/4192956 [pid=11915] ppid=11913 vsize=1499324 CPUtime=1181.96 /proc/11915/stat : 11915 (pbscip.linux.x8) R 11913 11915 11714 0 -1 4202496 382390 0 0 0 110273 7923 0 0 25 0 1 0 10947620 1535307776 361629 1992294400 4194304 7136930 140735489912304 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11915/statm: 374831 361629 391 719 0 374110 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 1499324 [startup+1242.3 s] /proc/loadavg: 1.01 1.00 1.00 2/107 11948 /proc/meminfo: memFree=318396/2059040 swapFree=4192956/4192956 [pid=11915] ppid=11913 vsize=1499648 CPUtime=1241.93 /proc/11915/stat : 11915 (pbscip.linux.x8) R 11913 11915 11714 0 -1 4202496 382477 0 0 0 116156 8037 0 0 25 0 1 0 10947620 1535639552 361716 1992294400 4194304 7136930 140735489912304 18446744073709551615 4999842 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11915/statm: 374912 361716 391 719 0 374191 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 1499648 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11950 /proc/meminfo: memFree=318148/2059040 swapFree=4192956/4192956 [pid=11915] ppid=11913 vsize=1499808 CPUtime=1301.92 /proc/11915/stat : 11915 (pbscip.linux.x8) R 11913 11915 11714 0 -1 4202496 382530 0 0 0 122076 8116 0 0 25 0 1 0 10947620 1535803392 361769 1992294400 4194304 7136930 140735489912304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11915/statm: 374952 361769 391 719 0 374231 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 1499808 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11952 /proc/meminfo: memFree=317652/2059040 swapFree=4192956/4192956 [pid=11915] ppid=11913 vsize=1500364 CPUtime=1361.91 /proc/11915/stat : 11915 (pbscip.linux.x8) R 11913 11915 11714 0 -1 4202496 382671 0 0 0 127968 8223 0 0 25 0 1 0 10947620 1536372736 361910 1992294400 4194304 7136930 140735489912304 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11915/statm: 375091 361910 391 719 0 374370 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 1500364 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11963 /proc/meminfo: memFree=316784/2059040 swapFree=4192956/4192956 [pid=11915] ppid=11913 vsize=1500500 CPUtime=1421.88 /proc/11915/stat : 11915 (pbscip.linux.x8) R 11913 11915 11714 0 -1 4202496 382706 0 0 0 133845 8343 0 0 25 0 1 0 10947620 1536512000 361945 1992294400 4194304 7136930 140735489912304 18446744073709551615 4999897 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11915/statm: 375125 361945 391 719 0 374404 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 1500500 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11965 /proc/meminfo: memFree=316660/2059040 swapFree=4192956/4192956 [pid=11915] ppid=11913 vsize=1500644 CPUtime=1481.86 /proc/11915/stat : 11915 (pbscip.linux.x8) R 11913 11915 11714 0 -1 4202496 382742 0 0 0 139759 8427 0 0 25 0 1 0 10947620 1536659456 361981 1992294400 4194304 7136930 140735489912304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11915/statm: 375161 361981 391 719 0 374440 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 1500644 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11965 /proc/meminfo: memFree=316412/2059040 swapFree=4192956/4192956 [pid=11915] ppid=11913 vsize=1501404 CPUtime=1541.84 /proc/11915/stat : 11915 (pbscip.linux.x8) R 11913 11915 11714 0 -1 4202496 382905 0 0 0 145628 8556 0 0 25 0 1 0 10947620 1537437696 362144 1992294400 4194304 7136930 140735489912304 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11915/statm: 375351 362144 391 719 0 374630 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 1501404 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11967 /proc/meminfo: memFree=315544/2059040 swapFree=4192956/4192956 [pid=11915] ppid=11913 vsize=1502264 CPUtime=1601.82 /proc/11915/stat : 11915 (pbscip.linux.x8) R 11913 11915 11714 0 -1 4202496 383117 0 0 0 151551 8631 0 0 25 0 1 0 10947620 1538318336 362356 1992294400 4194304 7136930 140735489912304 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11915/statm: 375566 362356 391 719 0 374845 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 1502264 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11969 /proc/meminfo: memFree=315420/2059040 swapFree=4192956/4192956 [pid=11915] ppid=11913 vsize=1502264 CPUtime=1661.8 /proc/11915/stat : 11915 (pbscip.linux.x8) R 11913 11915 11714 0 -1 4202496 383117 0 0 0 157424 8756 0 0 25 0 1 0 10947620 1538318336 362356 1992294400 4194304 7136930 140735489912304 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11915/statm: 375566 362356 391 719 0 374845 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 1502264 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11971 /proc/meminfo: memFree=315172/2059040 swapFree=4192956/4192956 [pid=11915] ppid=11913 vsize=1502264 CPUtime=1721.79 /proc/11915/stat : 11915 (pbscip.linux.x8) R 11913 11915 11714 0 -1 4202496 383142 0 0 0 163325 8854 0 0 25 0 1 0 10947620 1538318336 362381 1992294400 4194304 7136930 140735489912304 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11915/statm: 375566 362381 391 719 0 374845 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 1502264 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11973 /proc/meminfo: memFree=314924/2059040 swapFree=4192956/4192956 [pid=11915] ppid=11913 vsize=1502264 CPUtime=1781.76 /proc/11915/stat : 11915 (pbscip.linux.x8) R 11913 11915 11714 0 -1 4202496 383142 0 0 0 169222 8954 0 0 25 0 1 0 10947620 1538318336 362381 1992294400 4194304 7136930 140735489912304 18446744073709551615 4703672 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11915/statm: 375566 362381 391 719 0 374845 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 1502264 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11973 /proc/meminfo: memFree=314924/2059040 swapFree=4192956/4192956 [pid=11915] ppid=11913 vsize=1502264 CPUtime=1800.07 /proc/11915/stat : 11915 (pbscip.linux.x8) R 11913 11915 11714 0 -1 4202496 383142 0 0 0 171013 8994 0 0 25 0 1 0 10947620 1538318336 362381 1992294400 4194304 7136930 140735489912304 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11915/statm: 375566 362381 391 719 0 374845 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1502264 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -11915 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11973 /proc/meminfo: memFree=314924/2059040 swapFree=4192956/4192956 [pid=11915] ppid=11913 vsize=1502476 CPUtime=1800.86 /proc/11915/stat : 11915 (pbscip.linux.x8) R 11913 11915 11714 0 -1 4202496 383211 0 0 0 171092 8994 0 0 25 0 1 0 10947620 1538535424 362450 1992294400 4194304 7136930 140735489912304 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11915/statm: 375619 362450 397 719 0 374898 0 Current children cumulated CPU time (s) 1800.86 Current children cumulated vsize (KiB) 1502476 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.00 2/108 11974 /proc/meminfo: memFree=314668/2059040 swapFree=4192956/4192956 [pid=11915] ppid=11913 vsize=1502476 CPUtime=1801.66 /proc/11915/stat : 11915 (pbscip.linux.x8) R 11913 11915 11714 0 -1 4202496 383211 0 0 0 171172 8994 0 0 25 0 1 0 10947620 1538535424 362450 1992294400 4194304 7136930 140735489912304 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11915/statm: 375619 362450 397 719 0 374898 0 Current children cumulated CPU time (s) 1801.66 Current children cumulated vsize (KiB) 1502476 [startup+1802.6 s] /proc/loadavg: 1.00 1.00 1.00 2/108 11974 /proc/meminfo: memFree=314668/2059040 swapFree=4192956/4192956 [pid=11915] ppid=11913 vsize=1502476 CPUtime=1802.06 /proc/11915/stat : 11915 (pbscip.linux.x8) R 11913 11915 11714 0 -1 4202496 383211 0 0 0 171212 8994 0 0 25 0 1 0 10947620 1538535424 362450 1992294400 4194304 7136930 140735489912304 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11915/statm: 375619 362450 397 719 0 374898 0 Current children cumulated CPU time (s) 1802.06 Current children cumulated vsize (KiB) 1502476 [startup+1802.7 s] /proc/loadavg: 1.00 1.00 1.00 2/108 11974 /proc/meminfo: memFree=314668/2059040 swapFree=4192956/4192956 [pid=11915] ppid=11913 vsize=0 CPUtime=1802.16 /proc/11915/stat : 11915 (pbscip.linux.x8) R 11913 11915 11714 0 -1 4203524 383211 0 0 0 171213 9003 0 0 25 0 1 0 10947620 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 /proc/11915/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1802.16 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.75 CPU time (s): 1802.22 CPU user time (s): 1712.14 CPU system time (s): 90.0833 CPU usage (%): 99.9707 Max. virtual memory (cumulated for all children) (KiB): 1623876 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1712.14 system time used= 90.0833 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 383211 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= 5 involuntary context switches= 6461 runsolver used 3.03354 second user time and 8.50771 second system time The end
Begin job on node013 at 2010-06-12 16:37:41 IDJOB=2664591 IDBENCH=1854 IDSOLVER=1167 FILE ID=node013/2664591-1276353461 PBS_JOBID= 11173201 Free space on /tmp= 62464 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod008.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-2664591-1276353461/watcher-2664591-1276353461 -o /tmp/evaluation-result-2664591-1276353461/solver-2664591-1276353461 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664591-1276353461.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 4dd9ac2644c29d272d2675c7fc366ed6 RANDOM SEED=1862722453 node013.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.253 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.50 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.253 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1769980 kB Buffers: 31956 kB Cached: 132852 kB SwapCached: 0 kB Active: 125676 kB Inactive: 98368 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1769980 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3272 kB Writeback: 12 kB AnonPages: 59172 kB Mapped: 15424 kB Slab: 43344 kB PageTables: 4000 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181304 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= 62460 MiB End job on node013 at 2010-06-12 17:07:44