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) | 177 | 1802.18 | 1802.65 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_2.opb |
| MD5SUM | 1d334f36842eecbe8db395477b7c6bcb |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 15 |
| Best CPU time to get the best result obtained on this benchmark | 1791.89 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 38 |
| Optimality of the best value was proved | NO |
| Number of variables | 198 |
| Total number of constraints | 16 |
| 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 | 16 |
| Minimum length of a constraint | 85 |
| Maximum length of a constraint | 86 |
| Number of terms in the objective function | 128 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 4080 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1943 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 6340 |
| Number of bits of the biggest sum of numbers | 13 |
| 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-2664228-1276599029.opb>
0.00/0.01 c original problem has 198 variables (198 bin, 0 int, 0 impl, 0 cont) and 16 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.01 c presolving:
0.00/0.02 c (round 1) 0 del vars, 8 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.03 c (0.0s) probing: 101/198 (51.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.03 c presolving (2 rounds):
0.00/0.03 c 0 deleted vars, 8 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03 c 0 implications, 0 cliques
0.00/0.03 c presolved problem has 198 variables (198 bin, 0 int, 0 impl, 0 cont) and 8 constraints
0.00/0.03 c 8 constraints of type <linear>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.02
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 1.2.1.2
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1800
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 1620
0.00/0.03 c
0.00/0.03 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c lp/solvefreq = -1
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.00/0.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.03 c 0.0s| 1 | 2 | 0 | - | 544k| 0 | - | 198 | 8 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.69/1.74 c 1.6s| 10000 | 9950 | 0 | 0.0 |4212k| 114 | - | 198 | 8 | 0 | 0 | 0 | 26 | 0 | 0.000000e+00 | -- | Inf
3.49/3.56 c 3.3s| 20000 | 19568 | 0 | 0.0 |8243k| 114 | - | 198 | 8 | 0 | 0 | 0 | 234 | 0 | 0.000000e+00 | -- | Inf
5.29/5.32 c 4.9s| 30000 | 29349 | 0 | 0.0 | 11M| 114 | - | 198 | 8 | 0 | 0 | 0 | 357 | 0 | 0.000000e+00 | -- | Inf
7.09/7.12 c 6.6s| 40000 | 39140 | 0 | 0.0 | 15M| 114 | - | 198 | 8 | 0 | 0 | 0 | 472 | 0 | 0.000000e+00 | -- | Inf
8.80/8.87 c 8.2s| 50000 | 49136 | 0 | 0.0 | 18M| 114 | - | 198 | 8 | 0 | 0 | 0 | 473 | 0 | 0.000000e+00 | -- | Inf
10.59/10.61 c 9.8s| 60000 | 59054 | 0 | 0.0 | 22M| 114 | - | 198 | 8 | 0 | 0 | 0 | 518 | 0 | 0.000000e+00 | -- | Inf
12.28/12.38 c 11.4s| 70000 | 68923 | 0 | 0.0 | 26M| 114 | - | 198 | 8 | 0 | 0 | 0 | 591 | 0 | 0.000000e+00 | -- | Inf
14.09/14.11 c 13.0s| 80000 | 78913 | 0 | 0.0 | 30M| 114 | - | 198 | 8 | 0 | 0 | 0 | 596 | 0 | 0.000000e+00 | -- | Inf
15.79/15.83 c 14.6s| 90000 | 88888 | 0 | 0.0 | 34M| 114 | - | 198 | 8 | 0 | 0 | 0 | 609 | 0 | 0.000000e+00 | -- | Inf
17.50/17.57 c 16.2s|100000 | 98799 | 0 | 0.0 | 38M| 114 | - | 198 | 8 | 0 | 0 | 0 | 658 | 0 | 0.000000e+00 | -- | Inf
19.19/19.29 c 17.7s|110000 |108663 | 0 | 0.0 | 42M| 114 | - | 198 | 8 | 0 | 0 | 0 | 734 | 0 | 0.000000e+00 | -- | Inf
20.98/21.04 c 19.3s|120000 |118473 | 0 | 0.0 | 46M| 114 | - | 198 | 8 | 0 | 0 | 0 | 838 | 0 | 0.000000e+00 | -- | Inf
22.78/22.82 c 20.9s|130000 |128261 | 0 | 0.0 | 50M| 114 | - | 198 | 8 | 0 | 0 | 0 | 953 | 0 | 0.000000e+00 | -- | Inf
24.48/24.56 c 22.6s|140000 |138183 | 0 | 0.0 | 54M| 114 | - | 198 | 8 | 0 | 0 | 0 | 994 | 0 | 0.000000e+00 | -- | Inf
26.18/26.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
26.18/26.25 c 24.1s|150000 |148145 | 0 | 0.0 | 58M| 114 | - | 198 | 8 | 0 | 0 | 0 |1013 | 0 | 0.000000e+00 | -- | Inf
27.89/27.93 c 25.6s|160000 |158107 | 0 | 0.0 | 63M| 114 | - | 198 | 8 | 0 | 0 | 0 |1033 | 0 | 0.000000e+00 | -- | Inf
29.59/29.61 c 27.2s|170000 |168037 | 0 | 0.0 | 67M| 114 | - | 198 | 8 | 0 | 0 | 0 |1071 | 0 | 0.000000e+00 | -- | Inf
31.29/31.31 c 28.7s|180000 |177828 | 0 | 0.0 | 72M| 114 | - | 198 | 8 | 0 | 0 | 0 |1183 | 0 | 0.000000e+00 | -- | Inf
33.19/33.27 c 30.5s|190000 |186695 | 0 | 0.0 | 76M| 114 | - | 198 | 8 | 0 | 0 | 0 |1801 | 0 | 0.000000e+00 | -- | Inf
35.28/35.30 c 32.4s|200000 |195867 | 0 | 0.0 | 79M| 114 | - | 198 | 8 | 0 | 0 | 0 |2265 | 0 | 0.000000e+00 | -- | Inf
37.08/37.19 c 34.1s|210000 |205369 | 0 | 0.0 | 83M| 114 | - | 198 | 8 | 0 | 0 | 0 |2540 | 0 | 0.000000e+00 | -- | Inf
39.48/39.53 c 36.3s|220000 |213515 | 0 | 0.0 | 87M| 114 | - | 198 | 8 | 0 | 0 | 0 |3568 | 0 | 0.000000e+00 | -- | Inf
41.19/41.24 c 37.9s|230000 |223511 | 0 | 0.0 | 90M| 114 | - | 198 | 8 | 0 | 0 | 0 |3570 | 0 | 0.000000e+00 | -- | Inf
42.89/42.96 c 39.5s|240000 |233507 | 0 | 0.0 | 94M| 114 | - | 198 | 8 | 0 | 0 | 0 |3572 | 0 | 0.000000e+00 | -- | Inf
44.58/44.67 c 41.0s|250000 |243502 | 0 | 0.0 | 97M| 114 | - | 198 | 8 | 0 | 0 | 0 |3575 | 0 | 0.000000e+00 | -- | Inf
46.28/46.37 c 42.6s|260000 |253500 | 0 | 0.0 | 100M| 114 | - | 198 | 8 | 0 | 0 | 0 |3576 | 0 | 0.000000e+00 | -- | Inf
47.98/48.07 c 44.2s|270000 |263476 | 0 | 0.0 | 104M| 114 | - | 198 | 8 | 0 | 0 | 0 |3588 | 0 | 0.000000e+00 | -- | Inf
49.77/49.80 c 45.7s|280000 |273476 | 0 | 0.0 | 107M| 114 | - | 198 | 8 | 0 | 0 | 0 |3588 | 0 | 0.000000e+00 | -- | Inf
51.48/51.51 c 47.3s|290000 |283456 | 0 | 0.0 | 111M| 114 | - | 198 | 8 | 0 | 0 | 0 |3598 | 0 | 0.000000e+00 | -- | Inf
53.18/53.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
53.18/53.22 c 48.9s|300000 |293454 | 0 | 0.0 | 114M| 114 | - | 198 | 8 | 0 | 0 | 0 |3599 | 0 | 0.000000e+00 | -- | Inf
54.88/54.95 c 50.5s|310000 |303415 | 0 | 0.0 | 118M| 114 | - | 198 | 8 | 0 | 0 | 0 |3619 | 0 | 0.000000e+00 | -- | Inf
56.58/56.69 c 52.0s|320000 |313405 | 0 | 0.0 | 122M| 114 | - | 198 | 8 | 0 | 0 | 0 |3624 | 0 | 0.000000e+00 | -- | Inf
58.28/58.39 c 53.6s|330000 |323405 | 0 | 0.0 | 125M| 114 | - | 198 | 8 | 0 | 0 | 0 |3624 | 0 | 0.000000e+00 | -- | Inf
60.08/60.14 c 55.2s|340000 |333381 | 0 | 0.0 | 129M| 114 | - | 198 | 8 | 0 | 0 | 0 |3636 | 0 | 0.000000e+00 | -- | Inf
61.77/61.87 c 56.8s|350000 |343371 | 0 | 0.0 | 132M| 114 | - | 198 | 8 | 0 | 0 | 0 |3641 | 0 | 0.000000e+00 | -- | Inf
63.57/63.60 c 58.4s|360000 |353369 | 0 | 0.0 | 136M| 114 | - | 198 | 8 | 0 | 0 | 0 |3642 | 0 | 0.000000e+00 | -- | Inf
65.27/65.33 c 60.0s|370000 |363367 | 0 | 0.0 | 140M| 114 | - | 198 | 8 | 0 | 0 | 0 |3643 | 0 | 0.000000e+00 | -- | Inf
66.98/67.07 c 61.6s|380000 |373355 | 0 | 0.0 | 143M| 114 | - | 198 | 8 | 0 | 0 | 0 |3649 | 0 | 0.000000e+00 | -- | Inf
68.67/68.78 c 63.2s|390000 |383349 | 0 | 0.0 | 147M| 114 | - | 198 | 8 | 0 | 0 | 0 |3652 | 0 | 0.000000e+00 | -- | Inf
70.39/70.49 c 64.8s|400000 |393347 | 0 | 0.0 | 151M| 114 | - | 198 | 8 | 0 | 0 | 0 |3653 | 0 | 0.000000e+00 | -- | Inf
72.17/72.21 c 66.4s|410000 |403347 | 0 | 0.0 | 154M| 114 | - | 198 | 8 | 0 | 0 | 0 |3653 | 0 | 0.000000e+00 | -- | Inf
73.87/73.90 c 67.9s|420000 |413345 | 0 | 0.0 | 158M| 114 | - | 198 | 8 | 0 | 0 | 0 |3654 | 0 | 0.000000e+00 | -- | Inf
75.57/75.61 c 69.5s|430000 |423345 | 0 | 0.0 | 162M| 114 | - | 198 | 8 | 0 | 0 | 0 |3654 | 0 | 0.000000e+00 | -- | Inf
77.28/77.35 c 71.1s|440000 |433338 | 0 | 0.0 | 165M| 114 | - | 198 | 8 | 0 | 0 | 0 |3658 | 0 | 0.000000e+00 | -- | Inf
78.97/79.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
78.97/79.05 c 72.7s|450000 |443334 | 0 | 0.0 | 169M| 114 | - | 198 | 8 | 0 | 0 | 0 |3660 | 0 | 0.000000e+00 | -- | Inf
80.67/80.75 c 74.2s|460000 |453334 | 0 | 0.0 | 173M| 114 | - | 198 | 8 | 0 | 0 | 0 |3660 | 0 | 0.000000e+00 | -- | Inf
82.38/82.47 c 75.8s|470000 |463330 | 0 | 0.0 | 177M| 114 | - | 198 | 8 | 0 | 0 | 0 |3662 | 0 | 0.000000e+00 | -- | Inf
84.07/84.18 c 77.4s|480000 |473326 | 0 | 0.0 | 180M| 114 | - | 198 | 8 | 0 | 0 | 0 |3664 | 0 | 0.000000e+00 | -- | Inf
85.87/85.91 c 79.0s|490000 |483326 | 0 | 0.0 | 184M| 114 | - | 198 | 8 | 0 | 0 | 0 |3664 | 0 | 0.000000e+00 | -- | Inf
87.57/87.65 c 80.5s|500000 |493326 | 0 | 0.0 | 188M| 114 | - | 198 | 8 | 0 | 0 | 0 |3664 | 0 | 0.000000e+00 | -- | Inf
89.27/89.39 c 82.2s|510000 |503326 | 0 | 0.0 | 192M| 114 | - | 198 | 8 | 0 | 0 | 0 |3664 | 0 | 0.000000e+00 | -- | Inf
91.07/91.12 c 83.7s|520000 |513326 | 0 | 0.0 | 195M| 114 | - | 198 | 8 | 0 | 0 | 0 |3664 | 0 | 0.000000e+00 | -- | Inf
92.77/92.85 c 85.3s|530000 |523322 | 0 | 0.0 | 199M| 114 | - | 198 | 8 | 0 | 0 | 0 |3666 | 0 | 0.000000e+00 | -- | Inf
94.48/94.56 c 86.9s|540000 |533322 | 0 | 0.0 | 203M| 114 | - | 198 | 8 | 0 | 0 | 0 |3666 | 0 | 0.000000e+00 | -- | Inf
96.17/96.26 c 88.4s|550000 |543322 | 0 | 0.0 | 207M| 114 | - | 198 | 8 | 0 | 0 | 0 |3666 | 0 | 0.000000e+00 | -- | Inf
97.87/97.98 c 90.0s|560000 |553320 | 0 | 0.0 | 211M| 114 | - | 198 | 8 | 0 | 0 | 0 |3667 | 0 | 0.000000e+00 | -- | Inf
99.56/99.69 c 91.6s|570000 |563320 | 0 | 0.0 | 214M| 114 | - | 198 | 8 | 0 | 0 | 0 |3667 | 0 | 0.000000e+00 | -- | Inf
101.26/101.40 c 93.2s|580000 |573320 | 0 | 0.0 | 218M| 114 | - | 198 | 8 | 0 | 0 | 0 |3667 | 0 | 0.000000e+00 | -- | Inf
103.06/103.11 c 94.7s|590000 |583320 | 0 | 0.0 | 222M| 114 | - | 198 | 8 | 0 | 0 | 0 |3667 | 0 | 0.000000e+00 | -- | Inf
104.77/104.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
104.77/104.80 c 96.3s|600000 |593320 | 0 | 0.0 | 226M| 114 | - | 198 | 8 | 0 | 0 | 0 |3667 | 0 | 0.000000e+00 | -- | Inf
106.36/106.49 c 97.8s|610000 |603320 | 0 | 0.0 | 229M| 114 | - | 198 | 8 | 0 | 0 | 0 |3667 | 0 | 0.000000e+00 | -- | Inf
108.16/108.21 c 99.4s|620000 |613320 | 0 | 0.0 | 233M| 114 | - | 198 | 8 | 0 | 0 | 0 |3667 | 0 | 0.000000e+00 | -- | Inf
109.87/109.93 c 101s|630000 |623320 | 0 | 0.0 | 237M| 114 | - | 198 | 8 | 0 | 0 | 0 |3667 | 0 | 0.000000e+00 | -- | Inf
111.56/111.63 c 103s|640000 |633320 | 0 | 0.0 | 241M| 114 | - | 198 | 8 | 0 | 0 | 0 |3667 | 0 | 0.000000e+00 | -- | Inf
113.27/113.37 c 104s|650000 |643320 | 0 | 0.0 | 245M| 114 | - | 198 | 8 | 0 | 0 | 0 |3667 | 0 | 0.000000e+00 | -- | Inf
114.96/115.07 c 106s|660000 |653320 | 0 | 0.0 | 249M| 114 | - | 198 | 8 | 0 | 0 | 0 |3667 | 0 | 0.000000e+00 | -- | Inf
116.66/116.79 c 107s|670000 |663320 | 0 | 0.0 | 253M| 114 | - | 198 | 8 | 0 | 0 | 0 |3667 | 0 | 0.000000e+00 | -- | Inf
118.36/118.49 c 109s|680000 |673318 | 0 | 0.0 | 257M| 114 | - | 198 | 8 | 0 | 0 | 0 |3668 | 0 | 0.000000e+00 | -- | Inf
120.06/120.19 c 110s|690000 |683316 | 0 | 0.0 | 260M| 114 | - | 198 | 8 | 0 | 0 | 0 |3669 | 0 | 0.000000e+00 | -- | Inf
121.86/121.91 c 112s|700000 |693310 | 0 | 0.0 | 264M| 114 | - | 198 | 8 | 0 | 0 | 0 |3672 | 0 | 0.000000e+00 | -- | Inf
123.56/123.60 c 114s|710000 |703306 | 0 | 0.0 | 268M| 114 | - | 198 | 8 | 0 | 0 | 0 |3674 | 0 | 0.000000e+00 | -- | Inf
125.26/125.32 c 115s|720000 |713292 | 0 | 0.0 | 272M| 114 | - | 198 | 8 | 0 | 0 | 0 |3682 | 0 | 0.000000e+00 | -- | Inf
126.96/127.04 c 117s|730000 |723292 | 0 | 0.0 | 276M| 114 | - | 198 | 8 | 0 | 0 | 0 |3682 | 0 | 0.000000e+00 | -- | Inf
128.66/128.75 c 118s|740000 |733288 | 0 | 0.0 | 280M| 114 | - | 198 | 8 | 0 | 0 | 0 |3684 | 0 | 0.000000e+00 | -- | Inf
130.35/130.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
130.35/130.46 c 120s|750000 |743280 | 0 | 0.0 | 284M| 114 | - | 198 | 8 | 0 | 0 | 0 |3688 | 0 | 0.000000e+00 | -- | Inf
132.06/132.17 c 121s|760000 |753270 | 0 | 0.0 | 288M| 114 | - | 198 | 8 | 0 | 0 | 0 |3693 | 0 | 0.000000e+00 | -- | Inf
133.76/133.86 c 123s|770000 |763270 | 0 | 0.0 | 292M| 114 | - | 198 | 8 | 0 | 0 | 0 |3693 | 0 | 0.000000e+00 | -- | Inf
135.46/135.56 c 124s|780000 |773270 | 0 | 0.0 | 296M| 114 | - | 198 | 8 | 0 | 0 | 0 |3693 | 0 | 0.000000e+00 | -- | Inf
137.16/137.25 c 126s|790000 |783268 | 0 | 0.0 | 300M| 114 | - | 198 | 8 | 0 | 0 | 0 |3694 | 0 | 0.000000e+00 | -- | Inf
138.86/138.96 c 128s|800000 |793268 | 0 | 0.0 | 304M| 114 | - | 198 | 8 | 0 | 0 | 0 |3694 | 0 | 0.000000e+00 | -- | Inf
140.56/140.67 c 129s|810000 |803266 | 0 | 0.0 | 308M| 114 | - | 198 | 8 | 0 | 0 | 0 |3695 | 0 | 0.000000e+00 | -- | Inf
142.25/142.38 c 131s|820000 |813262 | 0 | 0.0 | 312M| 114 | - | 198 | 8 | 0 | 0 | 0 |3697 | 0 | 0.000000e+00 | -- | Inf
143.96/144.08 c 132s|830000 |823260 | 0 | 0.0 | 316M| 114 | - | 198 | 8 | 0 | 0 | 0 |3698 | 0 | 0.000000e+00 | -- | Inf
145.66/145.79 c 134s|840000 |833260 | 0 | 0.0 | 320M| 114 | - | 198 | 8 | 0 | 0 | 0 |3698 | 0 | 0.000000e+00 | -- | Inf
147.45/147.50 c 135s|850000 |843256 | 0 | 0.0 | 324M| 114 | - | 198 | 8 | 0 | 0 | 0 |3700 | 0 | 0.000000e+00 | -- | Inf
149.05/149.18 c 137s|860000 |853254 | 0 | 0.0 | 328M| 114 | - | 198 | 8 | 0 | 0 | 0 |3701 | 0 | 0.000000e+00 | -- | Inf
150.75/150.90 c 139s|870000 |863250 | 0 | 0.0 | 332M| 114 | - | 198 | 8 | 0 | 0 | 0 |3703 | 0 | 0.000000e+00 | -- | Inf
152.55/152.63 c 140s|880000 |873250 | 0 | 0.0 | 336M| 114 | - | 198 | 8 | 0 | 0 | 0 |3703 | 0 | 0.000000e+00 | -- | Inf
154.25/154.35 c 142s|890000 |883248 | 0 | 0.0 | 340M| 114 | - | 198 | 8 | 0 | 0 | 0 |3704 | 0 | 0.000000e+00 | -- | Inf
155.95/156.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
155.95/156.05 c 143s|900000 |893248 | 0 | 0.0 | 344M| 114 | - | 198 | 8 | 0 | 0 | 0 |3704 | 0 | 0.000000e+00 | -- | Inf
157.65/157.74 c 145s|910000 |903248 | 0 | 0.0 | 348M| 114 | - | 198 | 8 | 0 | 0 | 0 |3704 | 0 | 0.000000e+00 | -- | Inf
159.36/159.45 c 146s|920000 |913246 | 0 | 0.0 | 352M| 114 | - | 198 | 8 | 0 | 0 | 0 |3705 | 0 | 0.000000e+00 | -- | Inf
161.05/161.16 c 148s|930000 |923246 | 0 | 0.0 | 356M| 114 | - | 198 | 8 | 0 | 0 | 0 |3705 | 0 | 0.000000e+00 | -- | Inf
162.76/162.86 c 149s|940000 |933242 | 0 | 0.0 | 360M| 114 | - | 198 | 8 | 0 | 0 | 0 |3707 | 0 | 0.000000e+00 | -- | Inf
164.45/164.56 c 151s|950000 |943242 | 0 | 0.0 | 364M| 114 | - | 198 | 8 | 0 | 0 | 0 |3707 | 0 | 0.000000e+00 | -- | Inf
166.15/166.27 c 153s|960000 |953238 | 0 | 0.0 | 368M| 114 | - | 198 | 8 | 0 | 0 | 0 |3709 | 0 | 0.000000e+00 | -- | Inf
167.85/167.99 c 154s|970000 |963238 | 0 | 0.0 | 373M| 114 | - | 198 | 8 | 0 | 0 | 0 |3709 | 0 | 0.000000e+00 | -- | Inf
169.64/169.71 c 156s|980000 |973236 | 0 | 0.0 | 377M| 114 | - | 198 | 8 | 0 | 0 | 0 |3710 | 0 | 0.000000e+00 | -- | Inf
171.35/171.43 c 157s|990000 |983232 | 0 | 0.0 | 381M| 114 | - | 198 | 8 | 0 | 0 | 0 |3712 | 0 | 0.000000e+00 | -- | Inf
173.04/173.12 c 159s| 1000k|993232 | 0 | 0.0 | 385M| 114 | - | 198 | 8 | 0 | 0 | 0 |3712 | 0 | 0.000000e+00 | -- | Inf
174.76/174.83 c 160s| 1010k| 1003k| 0 | 0.0 | 389M| 114 | - | 198 | 8 | 0 | 0 | 0 |3713 | 0 | 0.000000e+00 | -- | Inf
176.45/176.56 c 162s| 1020k| 1013k| 0 | 0.0 | 393M| 114 | - | 198 | 8 | 0 | 0 | 0 |3713 | 0 | 0.000000e+00 | -- | Inf
178.15/178.27 c 164s| 1030k| 1023k| 0 | 0.0 | 398M| 114 | - | 198 | 8 | 0 | 0 | 0 |3717 | 0 | 0.000000e+00 | -- | Inf
179.94/180.00 c 165s| 1040k| 1033k| 0 | 0.0 | 402M| 114 | - | 198 | 8 | 0 | 0 | 0 |3717 | 0 | 0.000000e+00 | -- | Inf
181.65/181.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
181.65/181.73 c 167s| 1050k| 1043k| 0 | 0.0 | 406M| 114 | - | 198 | 8 | 0 | 0 | 0 |3720 | 0 | 0.000000e+00 | -- | Inf
183.35/183.46 c 168s| 1060k| 1053k| 0 | 0.0 | 410M| 114 | - | 198 | 8 | 0 | 0 | 0 |3721 | 0 | 0.000000e+00 | -- | Inf
185.04/185.19 c 170s| 1070k| 1063k| 0 | 0.0 | 414M| 114 | - | 198 | 8 | 0 | 0 | 0 |3722 | 0 | 0.000000e+00 | -- | Inf
186.85/186.90 c 171s| 1080k| 1073k| 0 | 0.0 | 419M| 114 | - | 198 | 8 | 0 | 0 | 0 |3722 | 0 | 0.000000e+00 | -- | Inf
188.54/188.64 c 173s| 1090k| 1083k| 0 | 0.0 | 423M| 114 | - | 198 | 8 | 0 | 0 | 0 |3724 | 0 | 0.000000e+00 | -- | Inf
190.25/190.35 c 175s| 1100k| 1093k| 0 | 0.0 | 427M| 114 | - | 198 | 8 | 0 | 0 | 0 |3724 | 0 | 0.000000e+00 | -- | Inf
191.95/192.07 c 176s| 1110k| 1103k| 0 | 0.0 | 431M| 114 | - | 198 | 8 | 0 | 0 | 0 |3724 | 0 | 0.000000e+00 | -- | Inf
193.74/193.80 c 178s| 1120k| 1113k| 0 | 0.0 | 436M| 114 | - | 198 | 8 | 0 | 0 | 0 |3728 | 0 | 0.000000e+00 | -- | Inf
195.44/195.51 c 179s| 1130k| 1123k| 0 | 0.0 | 440M| 114 | - | 198 | 8 | 0 | 0 | 0 |3742 | 0 | 0.000000e+00 | -- | Inf
197.04/197.19 c 181s| 1140k| 1133k| 0 | 0.0 | 444M| 114 | - | 198 | 8 | 0 | 0 | 0 |3765 | 0 | 0.000000e+00 | -- | Inf
198.75/198.88 c 182s| 1150k| 1143k| 0 | 0.0 | 449M| 114 | - | 198 | 8 | 0 | 0 | 0 |3770 | 0 | 0.000000e+00 | -- | Inf
200.44/200.54 c 184s| 1160k| 1153k| 0 | 0.0 | 453M| 114 | - | 198 | 8 | 0 | 0 | 0 |3775 | 0 | 0.000000e+00 | -- | Inf
202.04/202.17 c 185s| 1170k| 1163k| 0 | 0.0 | 457M| 114 | - | 198 | 8 | 0 | 0 | 0 |3781 | 0 | 0.000000e+00 | -- | Inf
203.74/203.82 c 187s| 1180k| 1173k| 0 | 0.0 | 462M| 114 | - | 198 | 8 | 0 | 0 | 0 |3784 | 0 | 0.000000e+00 | -- | Inf
205.34/205.45 c 188s| 1190k| 1183k| 0 | 0.0 | 466M| 114 | - | 198 | 8 | 0 | 0 | 0 |3786 | 0 | 0.000000e+00 | -- | Inf
207.04/207.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
207.04/207.16 c 190s| 1200k| 1193k| 0 | 0.0 | 470M| 114 | - | 198 | 8 | 0 | 0 | 0 |3796 | 0 | 0.000000e+00 | -- | Inf
208.74/208.87 c 191s| 1210k| 1203k| 0 | 0.0 | 475M| 114 | - | 198 | 8 | 0 | 0 | 0 |3803 | 0 | 0.000000e+00 | -- | Inf
210.44/210.56 c 193s| 1220k| 1213k| 0 | 0.0 | 479M| 114 | - | 198 | 8 | 0 | 0 | 0 |3806 | 0 | 0.000000e+00 | -- | Inf
212.15/212.24 c 195s| 1230k| 1223k| 0 | 0.0 | 484M| 114 | - | 198 | 8 | 0 | 0 | 0 |3809 | 0 | 0.000000e+00 | -- | Inf
213.74/213.90 c 196s| 1240k| 1233k| 0 | 0.0 | 488M| 114 | - | 198 | 8 | 0 | 0 | 0 |3811 | 0 | 0.000000e+00 | -- | Inf
215.44/215.53 c 198s| 1250k| 1243k| 0 | 0.0 | 493M| 114 | - | 198 | 8 | 0 | 0 | 0 |3812 | 0 | 0.000000e+00 | -- | Inf
217.03/217.18 c 199s| 1260k| 1253k| 0 | 0.0 | 497M| 114 | - | 198 | 8 | 0 | 0 | 0 |3816 | 0 | 0.000000e+00 | -- | Inf
218.74/218.83 c 201s| 1270k| 1263k| 0 | 0.0 | 502M| 114 | - | 198 | 8 | 0 | 0 | 0 |3817 | 0 | 0.000000e+00 | -- | Inf
220.44/220.50 c 202s| 1280k| 1273k| 0 | 0.0 | 506M| 114 | - | 198 | 8 | 0 | 0 | 0 |3820 | 0 | 0.000000e+00 | -- | Inf
222.04/222.19 c 204s| 1290k| 1283k| 0 | 0.0 | 511M| 114 | - | 198 | 8 | 0 | 0 | 0 |3826 | 0 | 0.000000e+00 | -- | Inf
223.73/223.89 c 205s| 1300k| 1292k| 0 | 0.0 | 515M| 114 | - | 198 | 8 | 0 | 0 | 0 |3829 | 0 | 0.000000e+00 | -- | Inf
225.44/225.58 c 207s| 1310k| 1302k| 0 | 0.0 | 520M| 114 | - | 198 | 8 | 0 | 0 | 0 |3834 | 0 | 0.000000e+00 | -- | Inf
227.13/227.28 c 208s| 1320k| 1312k| 0 | 0.0 | 524M| 114 | - | 198 | 8 | 0 | 0 | 0 |3843 | 0 | 0.000000e+00 | -- | Inf
228.83/228.94 c 210s| 1330k| 1322k| 0 | 0.0 | 529M| 114 | - | 198 | 8 | 0 | 0 | 0 |3846 | 0 | 0.000000e+00 | -- | Inf
230.54/230.60 c 211s| 1340k| 1332k| 0 | 0.0 | 533M| 114 | - | 198 | 8 | 0 | 0 | 0 |3849 | 0 | 0.000000e+00 | -- | Inf
232.13/232.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
232.13/232.26 c 213s| 1350k| 1342k| 0 | 0.0 | 538M| 114 | - | 198 | 8 | 0 | 0 | 0 |3850 | 0 | 0.000000e+00 | -- | Inf
233.83/233.91 c 214s| 1360k| 1352k| 0 | 0.0 | 542M| 114 | - | 198 | 8 | 0 | 0 | 0 |3852 | 0 | 0.000000e+00 | -- | Inf
235.43/235.55 c 216s| 1370k| 1362k| 0 | 0.0 | 546M| 114 | - | 198 | 8 | 0 | 0 | 0 |3862 | 0 | 0.000000e+00 | -- | Inf
237.13/237.20 c 217s| 1380k| 1372k| 0 | 0.0 | 551M| 114 | - | 198 | 8 | 0 | 0 | 0 |3866 | 0 | 0.000000e+00 | -- | Inf
238.73/238.88 c 219s| 1390k| 1382k| 0 | 0.0 | 555M| 114 | - | 198 | 8 | 0 | 0 | 0 |3871 | 0 | 0.000000e+00 | -- | Inf
240.43/240.59 c 220s| 1400k| 1392k| 0 | 0.0 | 560M| 114 | - | 198 | 8 | 0 | 0 | 0 |3878 | 0 | 0.000000e+00 | -- | Inf
242.13/242.27 c 222s| 1410k| 1402k| 0 | 0.0 | 565M| 114 | - | 198 | 8 | 0 | 0 | 0 |3882 | 0 | 0.000000e+00 | -- | Inf
243.83/243.94 c 223s| 1420k| 1412k| 0 | 0.0 | 569M| 114 | - | 198 | 8 | 0 | 0 | 0 |3890 | 0 | 0.000000e+00 | -- | Inf
245.43/245.59 c 225s| 1430k| 1422k| 0 | 0.0 | 574M| 114 | - | 198 | 8 | 0 | 0 | 0 |3891 | 0 | 0.000000e+00 | -- | Inf
247.13/247.25 c 226s| 1440k| 1432k| 0 | 0.0 | 578M| 114 | - | 198 | 8 | 0 | 0 | 0 |3891 | 0 | 0.000000e+00 | -- | Inf
248.83/248.97 c 228s| 1450k| 1442k| 0 | 0.0 | 583M| 114 | - | 198 | 8 | 0 | 0 | 0 |3893 | 0 | 0.000000e+00 | -- | Inf
250.63/250.70 c 230s| 1460k| 1452k| 0 | 0.0 | 588M| 114 | - | 198 | 8 | 0 | 0 | 0 |3895 | 0 | 0.000000e+00 | -- | Inf
252.32/252.43 c 231s| 1470k| 1462k| 0 | 0.0 | 592M| 114 | - | 198 | 8 | 0 | 0 | 0 |3896 | 0 | 0.000000e+00 | -- | Inf
254.03/254.13 c 233s| 1480k| 1472k| 0 | 0.0 | 597M| 114 | - | 198 | 8 | 0 | 0 | 0 |3901 | 0 | 0.000000e+00 | -- | Inf
255.73/255.80 c 234s| 1490k| 1482k| 0 | 0.0 | 601M| 114 | - | 198 | 8 | 0 | 0 | 0 |3923 | 0 | 0.000000e+00 | -- | Inf
257.33/257.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
257.33/257.46 c 236s| 1500k| 1492k| 0 | 0.0 | 606M| 114 | - | 198 | 8 | 0 | 0 | 0 |3933 | 0 | 0.000000e+00 | -- | Inf
259.03/259.12 c 237s| 1510k| 1502k| 0 | 0.0 | 611M| 114 | - | 198 | 8 | 0 | 0 | 0 |3975 | 0 | 0.000000e+00 | -- | Inf
260.63/260.79 c 239s| 1520k| 1512k| 0 | 0.0 | 616M| 114 | - | 198 | 8 | 0 | 0 | 0 |4027 | 0 | 0.000000e+00 | -- | Inf
262.33/262.45 c 240s| 1530k| 1522k| 0 | 0.0 | 620M| 114 | - | 198 | 8 | 0 | 0 | 0 |4064 | 0 | 0.000000e+00 | -- | Inf
264.03/264.12 c 242s| 1540k| 1532k| 0 | 0.0 | 625M| 114 | - | 198 | 8 | 0 | 0 | 0 |4114 | 0 | 0.000000e+00 | -- | Inf
265.72/265.81 c 243s| 1550k| 1542k| 0 | 0.0 | 630M| 114 | - | 198 | 8 | 0 | 0 | 0 |4204 | 0 | 0.000000e+00 | -- | Inf
267.32/267.49 c 245s| 1560k| 1552k| 0 | 0.0 | 635M| 114 | - | 198 | 8 | 0 | 0 | 0 |4277 | 0 | 0.000000e+00 | -- | Inf
269.12/269.21 c 246s| 1570k| 1561k| 0 | 0.0 | 639M| 114 | - | 198 | 8 | 0 | 0 | 0 |4379 | 0 | 0.000000e+00 | -- | Inf
270.82/270.92 c 248s| 1580k| 1571k| 0 | 0.0 | 644M| 114 | - | 198 | 8 | 0 | 0 | 0 |4488 | 0 | 0.000000e+00 | -- | Inf
272.52/272.64 c 250s| 1590k| 1581k| 0 | 0.0 | 648M| 114 | - | 198 | 8 | 0 | 0 | 0 |4577 | 0 | 0.000000e+00 | -- | Inf
274.23/274.33 c 251s| 1600k| 1591k| 0 | 0.0 | 653M| 114 | - | 198 | 8 | 0 | 0 | 0 |4662 | 0 | 0.000000e+00 | -- | Inf
275.93/276.05 c 253s| 1610k| 1601k| 0 | 0.0 | 657M| 114 | - | 198 | 8 | 0 | 0 | 0 |4743 | 0 | 0.000000e+00 | -- | Inf
277.62/277.75 c 254s| 1620k| 1611k| 0 | 0.0 | 661M| 114 | - | 198 | 8 | 0 | 0 | 0 |4864 | 0 | 0.000000e+00 | -- | Inf
279.42/279.52 c 256s| 1630k| 1620k| 0 | 0.0 | 666M| 114 | - | 198 | 8 | 0 | 0 | 0 |5130 | 0 | 0.000000e+00 | -- | Inf
281.32/281.43 c 258s| 1640k| 1629k| 0 | 0.0 | 670M| 114 | - | 198 | 8 | 0 | 0 | 0 |5540 | 0 | 0.000000e+00 | -- | Inf
283.22/283.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
283.22/283.35 c 259s| 1650k| 1638k| 0 | 0.0 | 674M| 114 | - | 198 | 8 | 0 | 0 | 0 |6018 | 0 | 0.000000e+00 | -- | Inf
285.12/285.22 c 261s| 1660k| 1648k| 0 | 0.0 | 678M| 114 | - | 198 | 8 | 0 | 0 | 0 |6425 | 0 | 0.000000e+00 | -- | Inf
286.93/287.01 c 263s| 1670k| 1657k| 0 | 0.0 | 682M| 114 | - | 198 | 8 | 0 | 0 | 0 |6796 | 0 | 0.000000e+00 | -- | Inf
288.52/288.63 c 264s| 1680k| 1666k| 0 | 0.0 | 686M| 114 | - | 198 | 8 | 0 | 0 | 0 |7106 | 0 | 0.000000e+00 | -- | Inf
291.33/291.44 c 267s| 1690k| 1673k| 0 | 0.0 | 689M| 114 | - | 198 | 8 | 0 | 0 | 0 |8943 | 0 | 0.000000e+00 | -- | Inf
294.62/294.80 c 270s| 1700k| 1678k| 0 | 0.0 | 693M| 114 | - | 198 | 8 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
298.52/298.62 c 274s| 1710k| 1682k| 0 | 0.0 | 696M| 114 | - | 198 | 8 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
301.32/301.49 c 276s| 1720k| 1688k| 0 | 0.0 | 699M| 114 | - | 198 | 8 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
303.11/303.25 c 278s| 1730k| 1698k| 0 | 0.0 | 703M| 114 | - | 198 | 8 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
304.82/304.98 c 280s| 1740k| 1708k| 0 | 0.0 | 706M| 114 | - | 198 | 8 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
306.62/306.72 c 281s| 1750k| 1718k| 0 | 0.0 | 710M| 114 | - | 198 | 8 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
308.32/308.45 c 283s| 1760k| 1728k| 0 | 0.0 | 713M| 114 | - | 198 | 8 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
310.02/310.18 c 284s| 1770k| 1738k| 0 | 0.0 | 717M| 114 | - | 198 | 8 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
311.81/311.91 c 286s| 1780k| 1748k| 0 | 0.0 | 721M| 114 | - | 198 | 8 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
313.51/313.65 c 288s| 1790k| 1758k| 0 | 0.0 | 725M| 114 | - | 198 | 8 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
315.21/315.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
315.21/315.35 c 289s| 1800k| 1768k| 0 | 0.0 | 729M| 114 | - | 198 | 8 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
316.91/317.07 c 291s| 1810k| 1778k| 0 | 0.0 | 733M| 114 | - | 198 | 8 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
318.61/318.79 c 292s| 1820k| 1788k| 0 | 0.0 | 737M| 114 | - | 198 | 8 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
320.41/320.55 c 294s| 1830k| 1798k| 0 | 0.0 | 741M| 114 | - | 198 | 8 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
322.22/322.36 c 296s| 1840k| 1808k| 0 | 0.0 | 745M| 114 | - | 198 | 8 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
324.01/324.18 c 297s| 1850k| 1818k| 0 | 0.0 | 750M| 114 | - | 198 | 8 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
325.81/325.98 c 299s| 1860k| 1828k| 0 | 0.0 | 754M| 114 | - | 198 | 8 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
327.62/327.77 c 301s| 1870k| 1838k| 0 | 0.0 | 758M| 114 | - | 198 | 8 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
329.41/329.57 c 302s| 1880k| 1848k| 0 | 0.0 | 763M| 114 | - | 198 | 8 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
331.20/331.38 c 304s| 1890k| 1857k| 0 | 0.0 | 768M| 114 | - | 198 | 8 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
333.11/333.25 c 306s| 1900k| 1867k| 0 | 0.0 | 772M| 114 | - | 198 | 8 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
335.51/335.67 c 308s| 1910k| 1874k| 0 | 0.0 | 776M| 114 | - | 198 | 8 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
338.20/338.30 c 310s| 1920k| 1881k| 0 | 0.0 | 780M| 114 | - | 198 | 8 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
341.00/341.18 c 313s| 1930k| 1888k| 0 | 0.0 | 784M| 114 | - | 198 | 8 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
343.71/343.88 c 316s| 1940k| 1895k| 0 | 0.0 | 787M| 114 | - | 198 | 8 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
346.01/346.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
346.01/346.17 c 318s| 1950k| 1904k| 0 | 0.0 | 791M| 114 | - | 198 | 8 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
348.61/348.71 c 320s| 1960k| 1911k| 0 | 0.0 | 795M| 114 | - | 198 | 8 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
351.50/351.68 c 323s| 1970k| 1917k| 0 | 0.0 | 799M| 114 | - | 198 | 8 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
354.11/354.23 c 325s| 1980k| 1925k| 0 | 0.0 | 803M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
355.80/355.98 c 327s| 1990k| 1935k| 0 | 0.0 | 806M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
357.60/357.71 c 329s| 2000k| 1945k| 0 | 0.0 | 809M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
359.29/359.42 c 330s| 2010k| 1955k| 0 | 0.0 | 813M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
361.00/361.11 c 332s| 2020k| 1965k| 0 | 0.0 | 816M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
362.70/362.83 c 333s| 2030k| 1975k| 0 | 0.0 | 819M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
364.39/364.55 c 335s| 2040k| 1985k| 0 | 0.0 | 823M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
366.10/366.28 c 337s| 2050k| 1995k| 0 | 0.0 | 826M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
367.90/368.00 c 338s| 2060k| 2005k| 0 | 0.0 | 830M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
369.59/369.71 c 340s| 2070k| 2015k| 0 | 0.0 | 833M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
371.29/371.43 c 341s| 2080k| 2025k| 0 | 0.0 | 836M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
373.00/373.15 c 343s| 2090k| 2035k| 0 | 0.0 | 840M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
374.69/374.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
374.69/374.88 c 344s| 2100k| 2045k| 0 | 0.0 | 843M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
376.49/376.60 c 346s| 2110k| 2055k| 0 | 0.0 | 847M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
378.20/378.32 c 348s| 2120k| 2065k| 0 | 0.0 | 850M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
379.89/380.02 c 349s| 2130k| 2075k| 0 | 0.0 | 854M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
381.60/381.72 c 351s| 2140k| 2085k| 0 | 0.0 | 857M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
383.30/383.44 c 352s| 2150k| 2095k| 0 | 0.0 | 860M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
385.00/385.17 c 354s| 2160k| 2105k| 0 | 0.0 | 864M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
386.79/386.93 c 356s| 2170k| 2115k| 0 | 0.0 | 867M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
388.49/388.63 c 357s| 2180k| 2125k| 0 | 0.0 | 871M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
390.19/390.35 c 359s| 2190k| 2135k| 0 | 0.0 | 874M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
391.89/392.05 c 360s| 2200k| 2145k| 0 | 0.0 | 878M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
393.60/393.74 c 362s| 2210k| 2155k| 0 | 0.0 | 881M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
395.29/395.44 c 363s| 2220k| 2165k| 0 | 0.0 | 885M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
397.00/397.18 c 365s| 2230k| 2175k| 0 | 0.0 | 888M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
398.79/398.92 c 367s| 2240k| 2185k| 0 | 0.0 | 892M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
400.49/400.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
400.49/400.64 c 368s| 2250k| 2195k| 0 | 0.0 | 895M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
402.18/402.34 c 370s| 2260k| 2205k| 0 | 0.0 | 899M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
403.89/404.06 c 371s| 2270k| 2215k| 0 | 0.0 | 902M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
405.69/405.81 c 373s| 2280k| 2225k| 0 | 0.0 | 906M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
407.39/407.56 c 375s| 2290k| 2235k| 0 | 0.0 | 910M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
409.10/409.27 c 376s| 2300k| 2245k| 0 | 0.0 | 913M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
410.89/411.01 c 378s| 2310k| 2255k| 0 | 0.0 | 917M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
412.58/412.73 c 379s| 2320k| 2265k| 0 | 0.0 | 920M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
414.39/414.50 c 381s| 2330k| 2275k| 0 | 0.0 | 924M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
416.08/416.25 c 382s| 2340k| 2285k| 0 | 0.0 | 928M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
417.79/417.99 c 384s| 2350k| 2295k| 0 | 0.0 | 931M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
419.58/419.72 c 386s| 2360k| 2305k| 0 | 0.0 | 935M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
421.29/421.48 c 387s| 2370k| 2315k| 0 | 0.0 | 939M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
423.08/423.23 c 389s| 2380k| 2325k| 0 | 0.0 | 942M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
424.78/424.97 c 391s| 2390k| 2335k| 0 | 0.0 | 946M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
426.49/426.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
426.49/426.68 c 392s| 2400k| 2345k| 0 | 0.0 | 949M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
428.28/428.41 c 394s| 2410k| 2355k| 0 | 0.0 | 953M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
429.98/430.15 c 395s| 2420k| 2365k| 0 | 0.0 | 957M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
431.68/431.88 c 397s| 2430k| 2375k| 0 | 0.0 | 960M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
433.48/433.60 c 399s| 2440k| 2385k| 0 | 0.0 | 964M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
435.18/435.36 c 400s| 2450k| 2395k| 0 | 0.0 | 968M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
436.98/437.12 c 402s| 2460k| 2405k| 0 | 0.0 | 971M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
438.69/438.90 c 403s| 2470k| 2415k| 0 | 0.0 | 975M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
440.48/440.64 c 405s| 2480k| 2425k| 0 | 0.0 | 979M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
442.28/442.41 c 407s| 2490k| 2435k| 0 | 0.0 | 982M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
443.98/444.16 c 408s| 2500k| 2445k| 0 | 0.0 | 986M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
445.68/445.89 c 410s| 2510k| 2455k| 0 | 0.0 | 989M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
447.48/447.63 c 411s| 2520k| 2465k| 0 | 0.0 | 993M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
449.17/449.37 c 413s| 2530k| 2475k| 0 | 0.0 | 997M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
450.88/451.09 c 415s| 2540k| 2485k| 0 | 0.0 |1000M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
452.68/452.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
452.68/452.84 c 416s| 2550k| 2495k| 0 | 0.0 |1004M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
454.38/454.57 c 418s| 2560k| 2505k| 0 | 0.0 |1008M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
456.07/456.29 c 419s| 2570k| 2515k| 0 | 0.0 |1012M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
457.87/458.05 c 421s| 2580k| 2525k| 0 | 0.0 |1015M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
459.58/459.80 c 423s| 2590k| 2535k| 0 | 0.0 |1019M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
461.38/461.55 c 424s| 2600k| 2545k| 0 | 0.0 |1023M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
463.17/463.30 c 426s| 2610k| 2555k| 0 | 0.0 |1026M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
464.88/465.04 c 427s| 2620k| 2565k| 0 | 0.0 |1030M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
466.57/466.76 c 429s| 2630k| 2575k| 0 | 0.0 |1034M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
468.28/468.49 c 431s| 2640k| 2585k| 0 | 0.0 |1037M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
470.07/470.21 c 432s| 2650k| 2595k| 0 | 0.0 |1041M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
471.78/471.94 c 434s| 2660k| 2605k| 0 | 0.0 |1045M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
473.47/473.66 c 435s| 2670k| 2615k| 0 | 0.0 |1048M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
475.17/475.36 c 437s| 2680k| 2625k| 0 | 0.0 |1052M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
476.97/477.10 c 439s| 2690k| 2635k| 0 | 0.0 |1056M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
478.67/478.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
478.67/478.82 c 440s| 2700k| 2645k| 0 | 0.0 |1059M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
480.37/480.56 c 442s| 2710k| 2655k| 0 | 0.0 |1063M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
482.17/482.33 c 443s| 2720k| 2665k| 0 | 0.0 |1067M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
483.87/484.06 c 445s| 2730k| 2675k| 0 | 0.0 |1070M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
485.57/485.79 c 447s| 2740k| 2685k| 0 | 0.0 |1074M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
487.37/487.53 c 448s| 2750k| 2695k| 0 | 0.0 |1078M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
489.17/489.31 c 450s| 2760k| 2705k| 0 | 0.0 |1081M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
490.87/491.08 c 451s| 2770k| 2715k| 0 | 0.0 |1085M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
492.67/492.87 c 453s| 2780k| 2725k| 0 | 0.0 |1089M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
494.47/494.62 c 455s| 2790k| 2735k| 0 | 0.0 |1093M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
496.17/496.38 c 456s| 2800k| 2745k| 0 | 0.0 |1096M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
497.97/498.16 c 458s| 2810k| 2755k| 0 | 0.0 |1100M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
499.76/499.92 c 460s| 2820k| 2765k| 0 | 0.0 |1104M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
501.47/501.68 c 461s| 2830k| 2775k| 0 | 0.0 |1108M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
503.26/503.42 c 463s| 2840k| 2785k| 0 | 0.0 |1112M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
504.96/505.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
504.96/505.15 c 464s| 2850k| 2795k| 0 | 0.0 |1115M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
506.66/506.88 c 466s| 2860k| 2805k| 0 | 0.0 |1119M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
508.46/508.60 c 468s| 2870k| 2815k| 0 | 0.0 |1123M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
510.17/510.34 c 469s| 2880k| 2825k| 0 | 0.0 |1127M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
511.86/512.06 c 471s| 2890k| 2835k| 0 | 0.0 |1130M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
513.57/513.78 c 472s| 2900k| 2845k| 0 | 0.0 |1134M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
515.26/515.49 c 474s| 2910k| 2855k| 0 | 0.0 |1138M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
517.05/517.21 c 476s| 2920k| 2865k| 0 | 0.0 |1142M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
518.76/518.92 c 477s| 2930k| 2875k| 0 | 0.0 |1145M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
520.45/520.62 c 479s| 2940k| 2885k| 0 | 0.0 |1149M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
522.16/522.33 c 480s| 2950k| 2895k| 0 | 0.0 |1153M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
523.86/524.07 c 482s| 2960k| 2905k| 0 | 0.0 |1156M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
525.67/525.81 c 483s| 2970k| 2915k| 0 | 0.0 |1160M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
527.36/527.58 c 485s| 2980k| 2925k| 0 | 0.0 |1164M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
529.16/529.35 c 487s| 2990k| 2935k| 0 | 0.0 |1168M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
530.96/531.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
530.96/531.13 c 488s| 3000k| 2945k| 0 | 0.0 |1171M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
532.75/532.91 c 490s| 3010k| 2955k| 0 | 0.0 |1175M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
534.46/534.68 c 492s| 3020k| 2965k| 0 | 0.0 |1179M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
536.25/536.43 c 493s| 3030k| 2975k| 0 | 0.0 |1183M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
537.96/538.14 c 495s| 3040k| 2985k| 0 | 0.0 |1186M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
539.65/539.88 c 496s| 3050k| 2995k| 0 | 0.0 |1190M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
541.45/541.62 c 498s| 3060k| 3005k| 0 | 0.0 |1194M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
543.15/543.37 c 500s| 3070k| 3015k| 0 | 0.0 |1198M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
544.86/545.09 c 501s| 3080k| 3025k| 0 | 0.0 |1202M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
546.65/546.84 c 503s| 3090k| 3035k| 0 | 0.0 |1205M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
548.35/548.59 c 504s| 3100k| 3045k| 0 | 0.0 |1209M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
550.15/550.31 c 506s| 3110k| 3054k| 0 | 0.0 |1213M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
551.84/552.02 c 508s| 3120k| 3064k| 0 | 0.0 |1217M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
553.55/553.75 c 509s| 3130k| 3074k| 0 | 0.0 |1221M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
555.25/555.48 c 511s| 3140k| 3084k| 0 | 0.0 |1224M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
557.05/557.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
557.05/557.21 c 512s| 3150k| 3094k| 0 | 0.0 |1228M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
558.75/558.93 c 514s| 3160k| 3104k| 0 | 0.0 |1232M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
560.45/560.68 c 516s| 3170k| 3114k| 0 | 0.0 |1236M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
562.25/562.44 c 517s| 3180k| 3124k| 0 | 0.0 |1239M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
563.95/564.19 c 519s| 3190k| 3134k| 0 | 0.0 |1243M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
565.75/565.91 c 520s| 3200k| 3144k| 0 | 0.0 |1247M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
567.46/567.64 c 522s| 3210k| 3154k| 0 | 0.0 |1251M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
569.25/569.40 c 524s| 3220k| 3164k| 0 | 0.0 |1255M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
570.94/571.15 c 525s| 3230k| 3174k| 0 | 0.0 |1259M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
572.75/572.90 c 527s| 3240k| 3184k| 0 | 0.0 |1262M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
574.45/574.69 c 528s| 3250k| 3194k| 0 | 0.0 |1266M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
576.25/576.45 c 530s| 3260k| 3204k| 0 | 0.0 |1270M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
578.05/578.20 c 532s| 3270k| 3214k| 0 | 0.0 |1274M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
579.75/579.95 c 533s| 3280k| 3224k| 0 | 0.0 |1278M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
581.54/581.72 c 535s| 3290k| 3234k| 0 | 0.0 |1282M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
583.24/583.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
583.24/583.46 c 536s| 3300k| 3244k| 0 | 0.0 |1286M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
585.05/585.22 c 538s| 3310k| 3254k| 0 | 0.0 |1289M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
586.74/586.97 c 540s| 3320k| 3264k| 0 | 0.0 |1293M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
588.54/588.72 c 541s| 3330k| 3274k| 0 | 0.0 |1297M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
590.24/590.45 c 543s| 3340k| 3284k| 0 | 0.0 |1301M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
591.94/592.16 c 544s| 3350k| 3294k| 0 | 0.0 |1305M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
593.64/593.89 c 546s| 3360k| 3304k| 0 | 0.0 |1308M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
595.44/595.62 c 548s| 3370k| 3314k| 0 | 0.0 |1312M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
597.14/597.34 c 549s| 3380k| 3324k| 0 | 0.0 |1316M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
598.84/599.08 c 551s| 3390k| 3334k| 0 | 0.0 |1320M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
600.64/600.82 c 552s| 3400k| 3344k| 0 | 0.0 |1324M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
602.34/602.55 c 554s| 3410k| 3354k| 0 | 0.0 |1328M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
604.04/604.28 c 556s| 3420k| 3364k| 0 | 0.0 |1331M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
605.85/606.04 c 557s| 3430k| 3374k| 0 | 0.0 |1335M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
607.54/607.78 c 559s| 3440k| 3384k| 0 | 0.0 |1339M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
609.34/609.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
609.34/609.53 c 560s| 3450k| 3394k| 0 | 0.0 |1343M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
611.03/611.27 c 562s| 3460k| 3404k| 0 | 0.0 |1347M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
612.84/613.01 c 564s| 3470k| 3414k| 0 | 0.0 |1351M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
614.54/614.75 c 565s| 3480k| 3424k| 0 | 0.0 |1354M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
616.33/616.51 c 567s| 3490k| 3434k| 0 | 0.0 |1358M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
616.33/616.58 c (node 3490452) switching to memory saving mode (mem: 1296.0M/1620.0M)
617.53/617.74 o 1384
617.53/617.74 c * 568s| 3490k| 3378k| 0 | 0.0 |1341M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 1.384000e+03 | Inf
617.73/617.93 o 1376
617.73/617.93 c * 568s| 3490k| 3374k| 0 | 0.0 |1340M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 1.376000e+03 | Inf
627.53/627.77 o 260
627.53/627.77 c * 578s| 3490k| 1791k| 0 | 0.0 | 581M| 114 | - | 198 | 8 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
627.53/627.77 c (node 3490510) switching to standard mode (mem: 554.8M/1620.0M)
630.73/630.92 c 581s| 3500k| 1797k| 0 | 0.0 | 584M| 114 | - | 198 | 8 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
633.42/633.66 c 583s| 3510k| 1804k| 0 | 0.0 | 587M| 114 | - | 198 | 8 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
636.12/636.35 c 586s| 3520k| 1811k| 0 | 0.0 | 591M| 114 | - | 198 | 8 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
638.83/639.05 c 589s| 3530k| 1818k| 0 | 0.0 | 594M| 114 | - | 198 | 8 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
641.51/641.77 c 591s| 3540k| 1824k| 0 | 0.0 | 597M| 114 | - | 198 | 8 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
644.22/644.48 c 594s| 3550k| 1831k| 0 | 0.0 | 600M| 114 | - | 198 | 8 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
647.01/647.23 c 596s| 3560k| 1838k| 0 | 0.0 | 603M| 114 | - | 198 | 8 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
649.71/649.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
649.71/649.94 c 599s| 3570k| 1844k| 0 | 0.0 | 606M| 114 | - | 198 | 8 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
652.42/652.67 c 601s| 3580k| 1851k| 0 | 0.0 | 610M| 114 | - | 198 | 8 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
655.12/655.39 c 604s| 3590k| 1858k| 0 | 0.0 | 613M| 114 | - | 198 | 8 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
657.91/658.12 c 606s| 3600k| 1864k| 0 | 0.0 | 616M| 114 | - | 198 | 8 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
660.61/660.81 c 609s| 3610k| 1871k| 0 | 0.0 | 619M| 114 | - | 198 | 8 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
663.32/663.53 c 612s| 3620k| 1877k| 0 | 0.0 | 622M| 114 | - | 198 | 8 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
666.01/666.25 c 614s| 3630k| 1884k| 0 | 0.0 | 625M| 114 | - | 198 | 8 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
668.71/668.93 c 617s| 3640k| 1891k| 0 | 0.0 | 629M| 114 | - | 198 | 8 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
671.41/671.64 c 619s| 3650k| 1898k| 0 | 0.0 | 632M| 114 | - | 198 | 8 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
674.11/674.34 c 622s| 3660k| 1905k| 0 | 0.0 | 635M| 114 | - | 198 | 8 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
676.80/677.06 c 624s| 3670k| 1911k| 0 | 0.0 | 638M| 114 | - | 198 | 8 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
679.61/679.81 c 627s| 3680k| 1918k| 0 | 0.0 | 641M| 114 | - | 198 | 8 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
682.21/682.48 c 629s| 3690k| 1924k| 0 | 0.0 | 644M| 114 | - | 198 | 8 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
684.90/685.18 c 632s| 3700k| 1931k| 0 | 0.0 | 647M| 114 | - | 198 | 8 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
687.60/687.88 c 635s| 3710k| 1938k| 0 | 0.0 | 650M| 114 | - | 198 | 8 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
690.30/690.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
690.30/690.55 c 637s| 3720k| 1944k| 0 | 0.0 | 654M| 114 | - | 198 | 8 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
692.90/693.19 c 640s| 3730k| 1951k| 0 | 0.0 | 657M| 114 | - | 198 | 8 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
695.61/695.86 c 642s| 3740k| 1958k| 0 | 0.0 | 660M| 114 | - | 198 | 8 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
698.31/698.58 c 645s| 3750k| 1965k| 0 | 0.0 | 663M| 114 | - | 198 | 8 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
701.10/701.32 c 647s| 3760k| 1971k| 0 | 0.0 | 666M| 114 | - | 198 | 8 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
703.71/704.00 c 650s| 3770k| 1978k| 0 | 0.0 | 670M| 114 | - | 198 | 8 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
706.50/706.74 c 652s| 3780k| 1985k| 0 | 0.0 | 673M| 114 | - | 198 | 8 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
709.20/709.45 c 655s| 3790k| 1991k| 0 | 0.0 | 676M| 114 | - | 198 | 8 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
712.00/712.26 c 657s| 3800k| 1998k| 0 | 0.0 | 679M| 114 | - | 198 | 8 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
714.70/714.99 c 660s| 3810k| 2005k| 0 | 0.0 | 682M| 114 | - | 198 | 8 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
717.50/717.78 c 663s| 3820k| 2011k| 0 | 0.0 | 685M| 114 | - | 198 | 8 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
720.30/720.52 c 665s| 3830k| 2018k| 0 | 0.0 | 688M| 114 | - | 198 | 8 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
723.00/723.28 c 668s| 3840k| 2024k| 0 | 0.0 | 692M| 114 | - | 198 | 8 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
725.80/726.01 c 670s| 3850k| 2031k| 0 | 0.0 | 695M| 114 | - | 198 | 8 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
728.49/728.73 c 673s| 3860k| 2037k| 0 | 0.0 | 698M| 114 | - | 198 | 8 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
731.20/731.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
731.20/731.43 c 676s| 3870k| 2044k| 0 | 0.0 | 701M| 114 | - | 198 | 8 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
733.90/734.12 c 678s| 3880k| 2051k| 0 | 0.0 | 704M| 114 | - | 198 | 8 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
736.59/736.85 c 681s| 3890k| 2057k| 0 | 0.0 | 708M| 114 | - | 198 | 8 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
739.40/739.60 c 683s| 3900k| 2064k| 0 | 0.0 | 711M| 114 | - | 198 | 8 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
742.09/742.40 c 686s| 3910k| 2071k| 0 | 0.0 | 714M| 114 | - | 198 | 8 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
744.89/745.13 c 688s| 3920k| 2077k| 0 | 0.0 | 717M| 114 | - | 198 | 8 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
747.69/747.90 c 691s| 3930k| 2084k| 0 | 0.0 | 720M| 114 | - | 198 | 8 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
750.38/750.60 c 694s| 3940k| 2090k| 0 | 0.0 | 724M| 114 | - | 198 | 8 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
753.09/753.32 c 696s| 3950k| 2097k| 0 | 0.0 | 727M| 114 | - | 198 | 8 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
755.79/756.05 c 699s| 3960k| 2104k| 0 | 0.0 | 730M| 114 | - | 198 | 8 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
758.59/758.86 c 701s| 3970k| 2110k| 0 | 0.0 | 733M| 114 | - | 198 | 8 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
761.29/761.58 c 704s| 3980k| 2117k| 0 | 0.0 | 736M| 114 | - | 198 | 8 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
764.09/764.37 c 707s| 3990k| 2124k| 0 | 0.0 | 739M| 114 | - | 198 | 8 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
766.79/767.09 c 709s| 4000k| 2130k| 0 | 0.0 | 743M| 114 | - | 198 | 8 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
769.49/769.75 c 712s| 4010k| 2137k| 0 | 0.0 | 746M| 114 | - | 198 | 8 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
772.28/772.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
772.28/772.51 c 714s| 4020k| 2144k| 0 | 0.0 | 749M| 114 | - | 198 | 8 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
774.88/775.18 c 717s| 4030k| 2150k| 0 | 0.0 | 752M| 114 | - | 198 | 8 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
777.68/777.94 c 719s| 4040k| 2157k| 0 | 0.0 | 755M| 114 | - | 198 | 8 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
780.38/780.68 c 722s| 4050k| 2164k| 0 | 0.0 | 758M| 114 | - | 198 | 8 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
783.08/783.39 c 724s| 4060k| 2170k| 0 | 0.0 | 762M| 114 | - | 198 | 8 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
785.88/786.18 c 727s| 4070k| 2177k| 0 | 0.0 | 765M| 114 | - | 198 | 8 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
788.57/788.87 c 730s| 4080k| 2184k| 0 | 0.0 | 768M| 114 | - | 198 | 8 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
791.37/791.62 c 732s| 4090k| 2190k| 0 | 0.0 | 771M| 114 | - | 198 | 8 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
794.08/794.39 c 735s| 4100k| 2197k| 0 | 0.0 | 774M| 114 | - | 198 | 8 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
796.87/797.14 c 737s| 4110k| 2203k| 0 | 0.0 | 778M| 114 | - | 198 | 8 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
799.67/799.92 c 740s| 4120k| 2210k| 0 | 0.0 | 781M| 114 | - | 198 | 8 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
802.48/802.70 c 743s| 4130k| 2216k| 0 | 0.0 | 784M| 114 | - | 198 | 8 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
805.17/805.43 c 745s| 4140k| 2223k| 0 | 0.0 | 787M| 114 | - | 198 | 8 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
807.97/808.22 c 748s| 4150k| 2229k| 0 | 0.0 | 790M| 114 | - | 198 | 8 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
810.67/810.98 c 750s| 4160k| 2236k| 0 | 0.0 | 794M| 114 | - | 198 | 8 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
813.47/813.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
813.47/813.78 c 753s| 4170k| 2242k| 0 | 0.0 | 797M| 114 | - | 198 | 8 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
816.27/816.54 c 756s| 4180k| 2248k| 0 | 0.0 | 800M| 114 | - | 198 | 8 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
819.07/819.38 c 758s| 4190k| 2255k| 0 | 0.0 | 803M| 114 | - | 198 | 8 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
821.87/822.19 c 761s| 4200k| 2261k| 0 | 0.0 | 806M| 114 | - | 198 | 8 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
824.77/825.01 c 763s| 4210k| 2267k| 0 | 0.0 | 810M| 114 | - | 198 | 8 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
827.47/827.73 c 766s| 4220k| 2274k| 0 | 0.0 | 813M| 114 | - | 198 | 8 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
830.18/830.48 c 769s| 4230k| 2281k| 0 | 0.0 | 816M| 114 | - | 198 | 8 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
833.06/833.31 c 771s| 4240k| 2287k| 0 | 0.0 | 819M| 114 | - | 198 | 8 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
835.77/836.07 c 774s| 4250k| 2294k| 0 | 0.0 | 823M| 114 | - | 198 | 8 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
838.56/838.80 c 776s| 4260k| 2300k| 0 | 0.0 | 826M| 114 | - | 198 | 8 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
841.27/841.55 c 779s| 4270k| 2307k| 0 | 0.0 | 829M| 114 | - | 198 | 8 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
843.96/844.26 c 782s| 4280k| 2313k| 0 | 0.0 | 832M| 114 | - | 198 | 8 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
846.67/846.97 c 784s| 4290k| 2320k| 0 | 0.0 | 836M| 114 | - | 198 | 8 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
849.36/849.69 c 787s| 4300k| 2326k| 0 | 0.0 | 839M| 114 | - | 198 | 8 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
852.17/852.44 c 789s| 4310k| 2333k| 0 | 0.0 | 842M| 114 | - | 198 | 8 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
854.96/855.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
854.96/855.22 c 792s| 4320k| 2339k| 0 | 0.0 | 845M| 114 | - | 198 | 8 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
857.77/858.01 c 795s| 4330k| 2346k| 0 | 0.0 | 848M| 114 | - | 198 | 8 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
860.46/860.78 c 797s| 4340k| 2352k| 0 | 0.0 | 852M| 114 | - | 198 | 8 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
863.26/863.51 c 800s| 4350k| 2358k| 0 | 0.0 | 855M| 114 | - | 198 | 8 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
865.96/866.24 c 802s| 4360k| 2365k| 0 | 0.0 | 858M| 114 | - | 198 | 8 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
868.66/868.93 c 805s| 4370k| 2372k| 0 | 0.0 | 861M| 114 | - | 198 | 8 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
871.36/871.66 c 807s| 4380k| 2378k| 0 | 0.0 | 864M| 114 | - | 198 | 8 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
874.17/874.43 c 810s| 4390k| 2384k| 0 | 0.0 | 868M| 114 | - | 198 | 8 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
876.86/877.16 c 813s| 4400k| 2391k| 0 | 0.0 | 871M| 114 | - | 198 | 8 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
879.56/879.85 c 815s| 4410k| 2397k| 0 | 0.0 | 874M| 114 | - | 198 | 8 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
882.26/882.58 c 818s| 4420k| 2404k| 0 | 0.0 | 878M| 114 | - | 198 | 8 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
885.17/885.42 c 820s| 4430k| 2410k| 0 | 0.0 | 881M| 114 | - | 198 | 8 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
887.96/888.22 c 823s| 4440k| 2416k| 0 | 0.0 | 884M| 114 | - | 198 | 8 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
890.85/891.14 c 826s| 4450k| 2422k| 0 | 0.0 | 888M| 114 | - | 198 | 8 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
893.65/893.96 c 828s| 4460k| 2428k| 0 | 0.0 | 891M| 114 | - | 198 | 8 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
896.45/896.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
896.45/896.75 c 831s| 4470k| 2435k| 0 | 0.0 | 894M| 114 | - | 198 | 8 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
899.25/899.60 c 834s| 4480k| 2441k| 0 | 0.0 | 897M| 114 | - | 198 | 8 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
902.15/902.40 c 836s| 4490k| 2447k| 0 | 0.0 | 901M| 114 | - | 198 | 8 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
904.85/905.19 c 839s| 4500k| 2453k| 0 | 0.0 | 904M| 114 | - | 198 | 8 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
907.65/907.98 c 842s| 4510k| 2460k| 0 | 0.0 | 907M| 114 | - | 198 | 8 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
910.45/910.79 c 844s| 4520k| 2466k| 0 | 0.0 | 910M| 114 | - | 198 | 8 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
913.34/913.64 c 847s| 4530k| 2472k| 0 | 0.0 | 913M| 114 | - | 198 | 8 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
916.15/916.48 c 850s| 4540k| 2478k| 0 | 0.0 | 917M| 114 | - | 198 | 8 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
919.05/919.32 c 852s| 4550k| 2485k| 0 | 0.0 | 920M| 114 | - | 198 | 8 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
921.85/922.17 c 855s| 4560k| 2491k| 0 | 0.0 | 923M| 114 | - | 198 | 8 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
924.75/925.04 c 858s| 4570k| 2497k| 0 | 0.0 | 926M| 114 | - | 198 | 8 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
927.54/927.86 c 860s| 4580k| 2503k| 0 | 0.0 | 930M| 114 | - | 198 | 8 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
930.35/930.67 c 863s| 4590k| 2510k| 0 | 0.0 | 933M| 114 | - | 198 | 8 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
933.14/933.41 c 865s| 4600k| 2516k| 0 | 0.0 | 936M| 114 | - | 198 | 8 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
935.94/936.23 c 868s| 4610k| 2523k| 0 | 0.0 | 939M| 114 | - | 198 | 8 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
938.74/939.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
938.74/939.05 c 871s| 4620k| 2529k| 0 | 0.0 | 943M| 114 | - | 198 | 8 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
941.54/941.87 c 873s| 4630k| 2535k| 0 | 0.0 | 946M| 114 | - | 198 | 8 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
944.34/944.66 c 876s| 4640k| 2542k| 0 | 0.0 | 949M| 114 | - | 198 | 8 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
947.24/947.50 c 879s| 4650k| 2548k| 0 | 0.0 | 952M| 114 | - | 198 | 8 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
950.05/950.33 c 881s| 4660k| 2554k| 0 | 0.0 | 956M| 114 | - | 198 | 8 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
952.83/953.13 c 884s| 4670k| 2561k| 0 | 0.0 | 959M| 114 | - | 198 | 8 | 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
955.54/955.87 c 887s| 4680k| 2567k| 0 | 0.0 | 962M| 114 | - | 198 | 8 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
958.43/958.73 c 889s| 4690k| 2573k| 0 | 0.0 | 965M| 114 | - | 198 | 8 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
961.33/961.61 c 892s| 4700k| 2579k| 0 | 0.0 | 968M| 114 | - | 198 | 8 | 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
964.13/964.40 c 895s| 4710k| 2585k| 0 | 0.0 | 972M| 114 | - | 198 | 8 | 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
966.83/967.13 c 897s| 4720k| 2591k| 0 | 0.0 | 975M| 114 | - | 198 | 8 | 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
969.63/969.91 c 900s| 4730k| 2597k| 0 | 0.0 | 978M| 114 | - | 198 | 8 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
972.43/972.72 c 902s| 4740k| 2603k| 0 | 0.0 | 982M| 114 | - | 198 | 8 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
975.23/975.51 c 905s| 4750k| 2610k| 0 | 0.0 | 985M| 114 | - | 198 | 8 | 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
978.03/978.35 c 908s| 4760k| 2616k| 0 | 0.0 | 988M| 114 | - | 198 | 8 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
980.84/981.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
980.84/981.19 c 910s| 4770k| 2622k| 0 | 0.0 | 991M| 114 | - | 198 | 8 | 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
983.73/984.03 c 913s| 4780k| 2628k| 0 | 0.0 | 995M| 114 | - | 198 | 8 | 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
986.53/986.84 c 916s| 4790k| 2635k| 0 | 0.0 | 998M| 114 | - | 198 | 8 | 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
989.33/989.66 c 918s| 4800k| 2641k| 0 | 0.0 |1001M| 114 | - | 198 | 8 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
992.22/992.52 c 921s| 4810k| 2647k| 0 | 0.0 |1004M| 114 | - | 198 | 8 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
995.13/995.40 c 924s| 4820k| 2653k| 0 | 0.0 |1008M| 114 | - | 198 | 8 | 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
997.92/998.24 c 926s| 4830k| 2659k| 0 | 0.0 |1011M| 114 | - | 198 | 8 | 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1000.83/1001.11 c 929s| 4840k| 2665k| 0 | 0.0 |1014M| 114 | - | 198 | 8 | 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1003.62/1003.97 c 932s| 4850k| 2672k| 0 | 0.0 |1017M| 114 | - | 198 | 8 | 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1006.52/1006.83 c 934s| 4860k| 2678k| 0 | 0.0 |1021M| 114 | - | 198 | 8 | 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1009.42/1009.71 c 937s| 4870k| 2684k| 0 | 0.0 |1024M| 114 | - | 198 | 8 | 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1012.22/1012.59 c 940s| 4880k| 2690k| 0 | 0.0 |1027M| 114 | - | 198 | 8 | 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1015.12/1015.41 c 942s| 4890k| 2696k| 0 | 0.0 |1030M| 114 | - | 198 | 8 | 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1018.02/1018.30 c 945s| 4900k| 2702k| 0 | 0.0 |1034M| 114 | - | 198 | 8 | 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1020.82/1021.18 c 948s| 4910k| 2708k| 0 | 0.0 |1037M| 114 | - | 198 | 8 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1023.82/1024.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1023.82/1024.13 c 951s| 4920k| 2714k| 0 | 0.0 |1040M| 114 | - | 198 | 8 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1026.61/1026.98 c 953s| 4930k| 2720k| 0 | 0.0 |1043M| 114 | - | 198 | 8 | 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1029.51/1029.88 c 956s| 4940k| 2726k| 0 | 0.0 |1047M| 114 | - | 198 | 8 | 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1032.41/1032.73 c 959s| 4950k| 2732k| 0 | 0.0 |1050M| 114 | - | 198 | 8 | 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1035.22/1035.59 c 961s| 4960k| 2738k| 0 | 0.0 |1053M| 114 | - | 198 | 8 | 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1038.22/1038.52 c 964s| 4970k| 2745k| 0 | 0.0 |1056M| 114 | - | 198 | 8 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1041.11/1041.42 c 967s| 4980k| 2751k| 0 | 0.0 |1060M| 114 | - | 198 | 8 | 0 | 0 | 0 | 317k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1043.91/1044.28 c 970s| 4990k| 2757k| 0 | 0.0 |1063M| 114 | - | 198 | 8 | 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1046.82/1047.12 c 972s| 5000k| 2763k| 0 | 0.0 |1066M| 114 | - | 198 | 8 | 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1049.71/1050.04 c 975s| 5010k| 2769k| 0 | 0.0 |1070M| 114 | - | 198 | 8 | 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1052.61/1052.90 c 978s| 5020k| 2775k| 0 | 0.0 |1073M| 114 | - | 198 | 8 | 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1055.41/1055.71 c 980s| 5030k| 2781k| 0 | 0.0 |1076M| 114 | - | 198 | 8 | 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1058.21/1058.58 c 983s| 5040k| 2787k| 0 | 0.0 |1079M| 114 | - | 198 | 8 | 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1061.11/1061.42 c 986s| 5050k| 2793k| 0 | 0.0 |1083M| 114 | - | 198 | 8 | 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1064.01/1064.31 c 988s| 5060k| 2800k| 0 | 0.0 |1086M| 114 | - | 198 | 8 | 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1066.81/1067.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1066.81/1067.13 c 991s| 5070k| 2806k| 0 | 0.0 |1089M| 114 | - | 198 | 8 | 0 | 0 | 0 | 336k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1069.60/1069.93 c 994s| 5080k| 2812k| 0 | 0.0 |1092M| 114 | - | 198 | 8 | 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1072.41/1072.73 c 996s| 5090k| 2818k| 0 | 0.0 |1096M| 114 | - | 198 | 8 | 0 | 0 | 0 | 340k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1075.21/1075.56 c 999s| 5100k| 2824k| 0 | 0.0 |1099M| 114 | - | 198 | 8 | 0 | 0 | 0 | 342k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1078.10/1078.45 c 1002s| 5110k| 2830k| 0 | 0.0 |1102M| 114 | - | 198 | 8 | 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1081.02/1081.34 c 1004s| 5120k| 2836k| 0 | 0.0 |1106M| 114 | - | 198 | 8 | 0 | 0 | 0 | 346k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1083.80/1084.19 c 1007s| 5130k| 2842k| 0 | 0.0 |1109M| 114 | - | 198 | 8 | 0 | 0 | 0 | 349k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1086.61/1086.98 c 1010s| 5140k| 2848k| 0 | 0.0 |1112M| 114 | - | 198 | 8 | 0 | 0 | 0 | 351k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1089.50/1089.85 c 1013s| 5150k| 2854k| 0 | 0.0 |1116M| 114 | - | 198 | 8 | 0 | 0 | 0 | 353k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1092.30/1092.68 c 1015s| 5160k| 2860k| 0 | 0.0 |1119M| 114 | - | 198 | 8 | 0 | 0 | 0 | 355k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1095.21/1095.51 c 1018s| 5170k| 2865k| 0 | 0.0 |1122M| 114 | - | 198 | 8 | 0 | 0 | 0 | 357k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1098.00/1098.35 c 1020s| 5180k| 2871k| 0 | 0.0 |1125M| 114 | - | 198 | 8 | 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1100.90/1101.24 c 1023s| 5190k| 2877k| 0 | 0.0 |1128M| 114 | - | 198 | 8 | 0 | 0 | 0 | 361k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1103.70/1104.06 c 1026s| 5200k| 2883k| 0 | 0.0 |1132M| 114 | - | 198 | 8 | 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1106.59/1106.91 c 1028s| 5210k| 2889k| 0 | 0.0 |1135M| 114 | - | 198 | 8 | 0 | 0 | 0 | 366k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1109.40/1109.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1109.40/1109.74 c 1031s| 5220k| 2895k| 0 | 0.0 |1138M| 114 | - | 198 | 8 | 0 | 0 | 0 | 368k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1112.20/1112.57 c 1034s| 5230k| 2901k| 0 | 0.0 |1141M| 114 | - | 198 | 8 | 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1115.11/1115.43 c 1036s| 5240k| 2906k| 0 | 0.0 |1145M| 114 | - | 198 | 8 | 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1117.99/1118.35 c 1039s| 5250k| 2912k| 0 | 0.0 |1148M| 114 | - | 198 | 8 | 0 | 0 | 0 | 374k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1120.89/1121.27 c 1042s| 5260k| 2918k| 0 | 0.0 |1151M| 114 | - | 198 | 8 | 0 | 0 | 0 | 376k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1123.80/1124.19 c 1045s| 5270k| 2924k| 0 | 0.0 |1155M| 114 | - | 198 | 8 | 0 | 0 | 0 | 379k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1126.79/1127.13 c 1047s| 5280k| 2929k| 0 | 0.0 |1158M| 114 | - | 198 | 8 | 0 | 0 | 0 | 381k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1129.70/1130.02 c 1050s| 5290k| 2935k| 0 | 0.0 |1161M| 114 | - | 198 | 8 | 0 | 0 | 0 | 383k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1132.60/1132.92 c 1053s| 5300k| 2940k| 0 | 0.0 |1164M| 114 | - | 198 | 8 | 0 | 0 | 0 | 386k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1135.49/1135.85 c 1056s| 5310k| 2946k| 0 | 0.0 |1167M| 114 | - | 198 | 8 | 0 | 0 | 0 | 388k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1138.49/1138.80 c 1058s| 5320k| 2951k| 0 | 0.0 |1171M| 114 | - | 198 | 8 | 0 | 0 | 0 | 390k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1141.40/1141.73 c 1061s| 5330k| 2957k| 0 | 0.0 |1174M| 114 | - | 198 | 8 | 0 | 0 | 0 | 393k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1144.29/1144.67 c 1064s| 5340k| 2962k| 0 | 0.0 |1177M| 114 | - | 198 | 8 | 0 | 0 | 0 | 395k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1147.19/1147.57 c 1067s| 5350k| 2968k| 0 | 0.0 |1180M| 114 | - | 198 | 8 | 0 | 0 | 0 | 397k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1150.19/1150.55 c 1069s| 5360k| 2974k| 0 | 0.0 |1184M| 114 | - | 198 | 8 | 0 | 0 | 0 | 399k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1153.19/1153.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1153.19/1153.50 c 1072s| 5370k| 2980k| 0 | 0.0 |1187M| 114 | - | 198 | 8 | 0 | 0 | 0 | 402k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1155.99/1156.37 c 1075s| 5380k| 2985k| 0 | 0.0 |1190M| 114 | - | 198 | 8 | 0 | 0 | 0 | 404k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1158.89/1159.21 c 1078s| 5390k| 2991k| 0 | 0.0 |1194M| 114 | - | 198 | 8 | 0 | 0 | 0 | 406k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1161.88/1162.20 c 1080s| 5400k| 2997k| 0 | 0.0 |1197M| 114 | - | 198 | 8 | 0 | 0 | 0 | 408k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1164.78/1165.16 c 1083s| 5410k| 3002k| 0 | 0.0 |1200M| 114 | - | 198 | 8 | 0 | 0 | 0 | 411k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1167.68/1168.05 c 1086s| 5420k| 3008k| 0 | 0.0 |1203M| 114 | - | 198 | 8 | 0 | 0 | 0 | 413k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1170.58/1170.95 c 1089s| 5430k| 3014k| 0 | 0.0 |1207M| 114 | - | 198 | 8 | 0 | 0 | 0 | 415k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1173.48/1173.87 c 1091s| 5440k| 3020k| 0 | 0.0 |1210M| 114 | - | 198 | 8 | 0 | 0 | 0 | 417k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1176.48/1176.84 c 1094s| 5450k| 3025k| 0 | 0.0 |1213M| 114 | - | 198 | 8 | 0 | 0 | 0 | 420k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1179.38/1179.72 c 1097s| 5460k| 3031k| 0 | 0.0 |1216M| 114 | - | 198 | 8 | 0 | 0 | 0 | 422k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1182.27/1182.68 c 1100s| 5470k| 3037k| 0 | 0.0 |1220M| 114 | - | 198 | 8 | 0 | 0 | 0 | 424k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1185.17/1185.59 c 1102s| 5480k| 3043k| 0 | 0.0 |1223M| 114 | - | 198 | 8 | 0 | 0 | 0 | 427k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1188.08/1188.49 c 1105s| 5490k| 3048k| 0 | 0.0 |1226M| 114 | - | 198 | 8 | 0 | 0 | 0 | 429k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1190.98/1191.37 c 1108s| 5500k| 3054k| 0 | 0.0 |1230M| 114 | - | 198 | 8 | 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1193.87/1194.24 c 1111s| 5510k| 3060k| 0 | 0.0 |1233M| 114 | - | 198 | 8 | 0 | 0 | 0 | 433k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1196.78/1197.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1196.78/1197.15 c 1113s| 5520k| 3066k| 0 | 0.0 |1236M| 114 | - | 198 | 8 | 0 | 0 | 0 | 436k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1199.58/1200.00 c 1116s| 5530k| 3072k| 0 | 0.0 |1239M| 114 | - | 198 | 8 | 0 | 0 | 0 | 438k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1202.57/1202.90 c 1119s| 5540k| 3078k| 0 | 0.0 |1243M| 114 | - | 198 | 8 | 0 | 0 | 0 | 440k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1205.47/1205.89 c 1122s| 5550k| 3083k| 0 | 0.0 |1246M| 114 | - | 198 | 8 | 0 | 0 | 0 | 442k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1208.48/1208.86 c 1124s| 5560k| 3089k| 0 | 0.0 |1249M| 114 | - | 198 | 8 | 0 | 0 | 0 | 445k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1211.37/1211.75 c 1127s| 5570k| 3095k| 0 | 0.0 |1252M| 114 | - | 198 | 8 | 0 | 0 | 0 | 447k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1214.27/1214.68 c 1130s| 5580k| 3100k| 0 | 0.0 |1256M| 114 | - | 198 | 8 | 0 | 0 | 0 | 449k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1217.37/1217.71 c 1133s| 5590k| 3106k| 0 | 0.0 |1259M| 114 | - | 198 | 8 | 0 | 0 | 0 | 451k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1220.27/1220.62 c 1135s| 5600k| 3112k| 0 | 0.0 |1262M| 114 | - | 198 | 8 | 0 | 0 | 0 | 453k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1223.16/1223.54 c 1138s| 5610k| 3118k| 0 | 0.0 |1266M| 114 | - | 198 | 8 | 0 | 0 | 0 | 455k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1226.08/1226.50 c 1141s| 5620k| 3124k| 0 | 0.0 |1269M| 114 | - | 198 | 8 | 0 | 0 | 0 | 458k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1228.97/1229.39 c 1144s| 5630k| 3129k| 0 | 0.0 |1272M| 114 | - | 198 | 8 | 0 | 0 | 0 | 460k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1232.06/1232.42 c 1146s| 5640k| 3135k| 0 | 0.0 |1275M| 114 | - | 198 | 8 | 0 | 0 | 0 | 462k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1234.87/1235.29 c 1149s| 5650k| 3141k| 0 | 0.0 |1279M| 114 | - | 198 | 8 | 0 | 0 | 0 | 464k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1237.76/1238.17 c 1152s| 5660k| 3146k| 0 | 0.0 |1282M| 114 | - | 198 | 8 | 0 | 0 | 0 | 467k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1240.66/1241.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1240.66/1241.05 c 1155s| 5670k| 3152k| 0 | 0.0 |1285M| 114 | - | 198 | 8 | 0 | 0 | 0 | 469k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1243.67/1244.00 c 1157s| 5680k| 3158k| 0 | 0.0 |1289M| 114 | - | 198 | 8 | 0 | 0 | 0 | 471k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1246.46/1246.85 c 1160s| 5690k| 3164k| 0 | 0.0 |1292M| 114 | - | 198 | 8 | 0 | 0 | 0 | 473k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1249.36/1249.76 c 1163s| 5700k| 3169k| 0 | 0.0 |1295M| 114 | - | 198 | 8 | 0 | 0 | 0 | 476k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1252.36/1252.70 c 1165s| 5710k| 3175k| 0 | 0.0 |1298M| 114 | - | 198 | 8 | 0 | 0 | 0 | 478k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1255.26/1255.62 c 1168s| 5720k| 3181k| 0 | 0.0 |1302M| 114 | - | 198 | 8 | 0 | 0 | 0 | 480k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1258.16/1258.52 c 1171s| 5730k| 3187k| 0 | 0.0 |1305M| 114 | - | 198 | 8 | 0 | 0 | 0 | 482k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1261.06/1261.44 c 1174s| 5740k| 3192k| 0 | 0.0 |1308M| 114 | - | 198 | 8 | 0 | 0 | 0 | 484k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1263.95/1264.35 c 1176s| 5750k| 3198k| 0 | 0.0 |1312M| 114 | - | 198 | 8 | 0 | 0 | 0 | 487k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1266.87/1267.27 c 1179s| 5760k| 3204k| 0 | 0.0 |1315M| 114 | - | 198 | 8 | 0 | 0 | 0 | 489k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1269.85/1270.24 c 1182s| 5770k| 3209k| 0 | 0.0 |1318M| 114 | - | 198 | 8 | 0 | 0 | 0 | 491k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1272.76/1273.20 c 1185s| 5780k| 3214k| 0 | 0.0 |1322M| 114 | - | 198 | 8 | 0 | 0 | 0 | 494k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1275.75/1276.17 c 1188s| 5790k| 3220k| 0 | 0.0 |1325M| 114 | - | 198 | 8 | 0 | 0 | 0 | 496k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1278.76/1279.18 c 1190s| 5800k| 3226k| 0 | 0.0 |1328M| 114 | - | 198 | 8 | 0 | 0 | 0 | 498k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1281.75/1282.16 c 1193s| 5810k| 3231k| 0 | 0.0 |1332M| 114 | - | 198 | 8 | 0 | 0 | 0 | 501k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1284.75/1285.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1284.75/1285.15 c 1196s| 5820k| 3237k| 0 | 0.0 |1335M| 114 | - | 198 | 8 | 0 | 0 | 0 | 503k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1287.66/1288.09 c 1199s| 5830k| 3242k| 0 | 0.0 |1338M| 114 | - | 198 | 8 | 0 | 0 | 0 | 505k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1290.75/1291.10 c 1202s| 5840k| 3248k| 0 | 0.0 |1342M| 114 | - | 198 | 8 | 0 | 0 | 0 | 508k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1293.75/1294.11 c 1204s| 5850k| 3253k| 0 | 0.0 |1345M| 114 | - | 198 | 8 | 0 | 0 | 0 | 510k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1296.75/1297.10 c 1207s| 5860k| 3258k| 0 | 0.0 |1348M| 114 | - | 198 | 8 | 0 | 0 | 0 | 513k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1299.65/1300.08 c 1210s| 5870k| 3263k| 0 | 0.0 |1351M| 114 | - | 198 | 8 | 0 | 0 | 0 | 515k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1302.65/1303.06 c 1213s| 5880k| 3269k| 0 | 0.0 |1355M| 114 | - | 198 | 8 | 0 | 0 | 0 | 517k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1305.64/1306.06 c 1216s| 5890k| 3274k| 0 | 0.0 |1358M| 114 | - | 198 | 8 | 0 | 0 | 0 | 520k| 0 | 0.000000e+00 | 2.600000e+02 | Inf
1306.24/1306.63 c (node 5891924) switching to memory saving mode (mem: 1296.0M/1620.0M)
1307.55/1307.96 o 258
1307.55/1307.96 c *1217s| 5891k| 3275k| 0 | 0.0 |1358M| 114 | - | 198 | 8 | 0 | 0 | 0 | 520k| 0 | 0.000000e+00 | 2.580000e+02 | Inf
1307.74/1308.10 o 257
1307.74/1308.10 c *1218s| 5891k| 3273k| 0 | 0.0 |1357M| 114 | - | 198 | 8 | 0 | 0 | 0 | 520k| 0 | 0.000000e+00 | 2.570000e+02 | Inf
1309.24/1309.63 o 212
1309.24/1309.63 c *1219s| 5891k| 3126k| 0 | 0.0 |1229M| 114 | - | 198 | 8 | 0 | 0 | 0 | 520k| 0 | 0.000000e+00 | 2.120000e+02 | Inf
1310.34/1310.73 o 177
1310.34/1310.73 c *1220s| 5891k| 3052k| 0 | 0.0 |1148M| 114 | - | 198 | 8 | 0 | 0 | 0 | 520k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1314.64/1315.01 c 1224s| 5900k| 3052k| 0 | 0.0 |1147M| 116 | - | 198 | 8 | 0 | 0 | 0 | 525k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1319.75/1320.11 c 1229s| 5910k| 3051k| 0 | 0.0 |1147M| 116 | - | 198 | 8 | 0 | 0 | 0 | 531k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1324.74/1325.11 c 1234s| 5920k| 3051k| 0 | 0.0 |1146M| 119 | - | 198 | 8 | 0 | 0 | 0 | 536k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1329.84/1330.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1329.84/1330.25 c 1239s| 5930k| 3051k| 0 | 0.0 |1146M| 119 | - | 198 | 8 | 0 | 0 | 0 | 542k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1334.84/1335.22 c 1243s| 5940k| 3051k| 0 | 0.0 |1146M| 119 | - | 198 | 8 | 0 | 0 | 0 | 547k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1339.84/1340.22 c 1248s| 5950k| 3051k| 0 | 0.0 |1146M| 119 | - | 198 | 8 | 0 | 0 | 0 | 553k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1344.74/1345.13 c 1253s| 5960k| 3050k| 0 | 0.0 |1146M| 119 | - | 198 | 8 | 0 | 0 | 0 | 558k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1349.64/1350.07 c 1257s| 5970k| 3050k| 0 | 0.0 |1146M| 119 | - | 198 | 8 | 0 | 0 | 0 | 564k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1354.53/1354.98 c 1262s| 5980k| 3050k| 0 | 0.0 |1146M| 120 | - | 198 | 8 | 0 | 0 | 0 | 569k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1359.43/1359.84 c 1266s| 5990k| 3050k| 0 | 0.0 |1145M| 120 | - | 198 | 8 | 0 | 0 | 0 | 575k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1364.43/1364.81 c 1271s| 6000k| 3050k| 0 | 0.0 |1145M| 120 | - | 198 | 8 | 0 | 0 | 0 | 580k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1369.43/1369.81 c 1276s| 6010k| 3050k| 0 | 0.0 |1145M| 120 | - | 198 | 8 | 0 | 0 | 0 | 586k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1374.43/1374.85 c 1280s| 6020k| 3050k| 0 | 0.0 |1145M| 120 | - | 198 | 8 | 0 | 0 | 0 | 591k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1379.52/1379.95 c 1285s| 6030k| 3050k| 0 | 0.0 |1145M| 120 | - | 198 | 8 | 0 | 0 | 0 | 597k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1384.73/1385.10 c 1290s| 6040k| 3050k| 0 | 0.0 |1145M| 120 | - | 198 | 8 | 0 | 0 | 0 | 603k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1389.73/1390.18 c 1295s| 6050k| 3050k| 0 | 0.0 |1145M| 120 | - | 198 | 8 | 0 | 0 | 0 | 608k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1394.83/1395.29 c 1300s| 6060k| 3050k| 0 | 0.0 |1145M| 120 | - | 198 | 8 | 0 | 0 | 0 | 614k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1399.83/1400.28 c 1304s| 6070k| 3049k| 0 | 0.0 |1145M| 120 | - | 198 | 8 | 0 | 0 | 0 | 619k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1404.82/1405.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1404.82/1405.22 c 1309s| 6080k| 3049k| 0 | 0.0 |1144M| 120 | - | 198 | 8 | 0 | 0 | 0 | 625k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1409.62/1410.00 c 1314s| 6090k| 3049k| 0 | 0.0 |1144M| 120 | - | 198 | 8 | 0 | 0 | 0 | 630k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1414.42/1414.85 c 1318s| 6100k| 3049k| 0 | 0.0 |1144M| 120 | - | 198 | 8 | 0 | 0 | 0 | 635k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1419.22/1419.69 c 1323s| 6110k| 3049k| 0 | 0.0 |1144M| 120 | - | 198 | 8 | 0 | 0 | 0 | 641k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1424.22/1424.64 c 1327s| 6120k| 3049k| 0 | 0.0 |1144M| 120 | - | 198 | 8 | 0 | 0 | 0 | 646k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1429.01/1429.42 c 1332s| 6130k| 3049k| 0 | 0.0 |1144M| 120 | - | 198 | 8 | 0 | 0 | 0 | 651k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1433.92/1434.32 c 1337s| 6140k| 3049k| 0 | 0.0 |1144M| 120 | - | 198 | 8 | 0 | 0 | 0 | 657k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1438.81/1439.27 c 1341s| 6150k| 3049k| 0 | 0.0 |1144M| 120 | - | 198 | 8 | 0 | 0 | 0 | 662k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1443.71/1444.16 c 1346s| 6160k| 3049k| 0 | 0.0 |1144M| 120 | - | 198 | 8 | 0 | 0 | 0 | 668k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1448.51/1448.99 c 1350s| 6170k| 3049k| 0 | 0.0 |1144M| 120 | - | 198 | 8 | 0 | 0 | 0 | 673k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1453.41/1453.88 c 1355s| 6180k| 3049k| 0 | 0.0 |1144M| 120 | - | 198 | 8 | 0 | 0 | 0 | 679k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1458.41/1458.85 c 1360s| 6190k| 3049k| 0 | 0.0 |1144M| 120 | - | 198 | 8 | 0 | 0 | 0 | 684k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1463.31/1463.78 c 1364s| 6200k| 3049k| 0 | 0.0 |1144M| 120 | - | 198 | 8 | 0 | 0 | 0 | 690k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1468.30/1468.75 c 1369s| 6210k| 3049k| 0 | 0.0 |1144M| 120 | - | 198 | 8 | 0 | 0 | 0 | 695k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1473.30/1473.70 c 1373s| 6220k| 3049k| 0 | 0.0 |1144M| 120 | - | 198 | 8 | 0 | 0 | 0 | 700k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1478.20/1478.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1478.20/1478.61 c 1378s| 6230k| 3049k| 0 | 0.0 |1144M| 120 | - | 198 | 8 | 0 | 0 | 0 | 706k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1483.10/1483.51 c 1383s| 6240k| 3049k| 0 | 0.0 |1144M| 120 | - | 198 | 8 | 0 | 0 | 0 | 711k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1487.90/1488.32 c 1387s| 6250k| 3049k| 0 | 0.0 |1144M| 120 | - | 198 | 8 | 0 | 0 | 0 | 716k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1492.69/1493.17 c 1392s| 6260k| 3049k| 0 | 0.0 |1144M| 120 | - | 198 | 8 | 0 | 0 | 0 | 722k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1497.70/1498.19 c 1396s| 6270k| 3049k| 0 | 0.0 |1144M| 120 | - | 198 | 8 | 0 | 0 | 0 | 727k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1502.90/1503.31 c 1401s| 6280k| 3049k| 0 | 0.0 |1144M| 120 | - | 198 | 8 | 0 | 0 | 0 | 733k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1507.89/1508.32 c 1406s| 6290k| 3049k| 0 | 0.0 |1144M| 120 | - | 198 | 8 | 0 | 0 | 0 | 738k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1512.80/1513.23 c 1410s| 6300k| 3049k| 0 | 0.0 |1144M| 120 | - | 198 | 8 | 0 | 0 | 0 | 743k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1517.69/1518.15 c 1415s| 6310k| 3049k| 0 | 0.0 |1144M| 120 | - | 198 | 8 | 0 | 0 | 0 | 749k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1522.69/1523.19 c 1420s| 6320k| 3049k| 0 | 0.0 |1144M| 120 | - | 198 | 8 | 0 | 0 | 0 | 754k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1527.79/1528.22 c 1425s| 6330k| 3049k| 0 | 0.0 |1144M| 120 | - | 198 | 8 | 0 | 0 | 0 | 760k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1532.79/1533.28 c 1429s| 6340k| 3049k| 0 | 0.0 |1144M| 120 | - | 198 | 8 | 0 | 0 | 0 | 765k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1537.69/1538.19 c 1434s| 6350k| 3049k| 0 | 0.0 |1144M| 120 | - | 198 | 8 | 0 | 0 | 0 | 771k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1542.59/1543.08 c 1439s| 6360k| 3049k| 0 | 0.0 |1144M| 120 | - | 198 | 8 | 0 | 0 | 0 | 776k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1547.38/1547.87 c 1443s| 6370k| 3049k| 0 | 0.0 |1144M| 120 | - | 198 | 8 | 0 | 0 | 0 | 781k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1552.38/1552.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1552.38/1552.87 c 1448s| 6380k| 3049k| 0 | 0.0 |1144M| 120 | - | 198 | 8 | 0 | 0 | 0 | 787k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1557.48/1557.90 c 1452s| 6390k| 3049k| 0 | 0.0 |1144M| 120 | - | 198 | 8 | 0 | 0 | 0 | 792k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1562.38/1562.88 c 1457s| 6400k| 3049k| 0 | 0.0 |1143M| 120 | - | 198 | 8 | 0 | 0 | 0 | 798k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1567.48/1567.90 c 1462s| 6410k| 3049k| 0 | 0.0 |1143M| 120 | - | 198 | 8 | 0 | 0 | 0 | 803k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1572.28/1572.70 c 1466s| 6420k| 3049k| 0 | 0.0 |1143M| 120 | - | 198 | 8 | 0 | 0 | 0 | 809k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1577.28/1577.72 c 1471s| 6430k| 3049k| 0 | 0.0 |1143M| 120 | - | 198 | 8 | 0 | 0 | 0 | 814k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1582.38/1582.84 c 1476s| 6440k| 3049k| 0 | 0.0 |1143M| 120 | - | 198 | 8 | 0 | 0 | 0 | 820k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1587.37/1587.86 c 1481s| 6450k| 3048k| 0 | 0.0 |1143M| 120 | - | 198 | 8 | 0 | 0 | 0 | 825k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1592.47/1592.99 c 1486s| 6460k| 3048k| 0 | 0.0 |1143M| 120 | - | 198 | 8 | 0 | 0 | 0 | 831k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1597.47/1597.97 c 1490s| 6470k| 3048k| 0 | 0.0 |1143M| 120 | - | 198 | 8 | 0 | 0 | 0 | 836k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1602.48/1602.94 c 1495s| 6480k| 3048k| 0 | 0.0 |1143M| 120 | - | 198 | 8 | 0 | 0 | 0 | 841k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1607.57/1608.03 c 1500s| 6490k| 3048k| 0 | 0.0 |1143M| 120 | - | 198 | 8 | 0 | 0 | 0 | 847k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1612.57/1613.01 c 1504s| 6500k| 3048k| 0 | 0.0 |1143M| 120 | - | 198 | 8 | 0 | 0 | 0 | 852k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1617.57/1618.07 c 1509s| 6510k| 3048k| 0 | 0.0 |1143M| 120 | - | 198 | 8 | 0 | 0 | 0 | 858k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1622.57/1623.05 c 1514s| 6520k| 3048k| 0 | 0.0 |1143M| 120 | - | 198 | 8 | 0 | 0 | 0 | 863k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1627.37/1627.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1627.37/1627.82 c 1518s| 6530k| 3048k| 0 | 0.0 |1143M| 120 | - | 198 | 8 | 0 | 0 | 0 | 869k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1632.26/1632.79 c 1523s| 6540k| 3048k| 0 | 0.0 |1143M| 120 | - | 198 | 8 | 0 | 0 | 0 | 874k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1637.27/1637.79 c 1528s| 6550k| 3048k| 0 | 0.0 |1143M| 120 | - | 198 | 8 | 0 | 0 | 0 | 879k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1642.36/1642.88 c 1533s| 6560k| 3048k| 0 | 0.0 |1143M| 120 | - | 198 | 8 | 0 | 0 | 0 | 885k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1647.26/1647.78 c 1537s| 6570k| 3048k| 0 | 0.0 |1143M| 120 | - | 198 | 8 | 0 | 0 | 0 | 890k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1652.26/1652.72 c 1542s| 6580k| 3048k| 0 | 0.0 |1143M| 120 | - | 198 | 8 | 0 | 0 | 0 | 896k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1657.26/1657.72 c 1547s| 6590k| 3048k| 0 | 0.0 |1143M| 120 | - | 198 | 8 | 0 | 0 | 0 | 901k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1662.26/1662.70 c 1551s| 6600k| 3048k| 0 | 0.0 |1143M| 120 | - | 198 | 8 | 0 | 0 | 0 | 907k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1667.25/1667.77 c 1556s| 6610k| 3048k| 0 | 0.0 |1143M| 120 | - | 198 | 8 | 0 | 0 | 0 | 912k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1672.16/1672.69 c 1561s| 6620k| 3048k| 0 | 0.0 |1143M| 120 | - | 198 | 8 | 0 | 0 | 0 | 917k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1677.15/1677.64 c 1565s| 6630k| 3048k| 0 | 0.0 |1143M| 120 | - | 198 | 8 | 0 | 0 | 0 | 923k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1682.05/1682.56 c 1570s| 6640k| 3048k| 0 | 0.0 |1143M| 120 | - | 198 | 8 | 0 | 0 | 0 | 928k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1686.96/1687.47 c 1575s| 6650k| 3048k| 0 | 0.0 |1143M| 120 | - | 198 | 8 | 0 | 0 | 0 | 934k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1691.94/1692.42 c 1579s| 6660k| 3048k| 0 | 0.0 |1143M| 120 | - | 198 | 8 | 0 | 0 | 0 | 939k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1696.85/1697.36 c 1584s| 6670k| 3048k| 0 | 0.0 |1143M| 120 | - | 198 | 8 | 0 | 0 | 0 | 944k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1701.94/1702.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1701.94/1702.49 c 1589s| 6680k| 3048k| 0 | 0.0 |1143M| 120 | - | 198 | 8 | 0 | 0 | 0 | 950k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1707.14/1707.60 c 1594s| 6690k| 3048k| 0 | 0.0 |1143M| 120 | - | 198 | 8 | 0 | 0 | 0 | 955k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1711.95/1712.43 c 1598s| 6700k| 3048k| 0 | 0.0 |1143M| 120 | - | 198 | 8 | 0 | 0 | 0 | 961k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1716.95/1717.42 c 1603s| 6710k| 3048k| 0 | 0.0 |1143M| 120 | - | 198 | 8 | 0 | 0 | 0 | 966k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1721.95/1722.49 c 1608s| 6720k| 3048k| 0 | 0.0 |1143M| 120 | - | 198 | 8 | 0 | 0 | 0 | 972k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1726.94/1727.41 c 1612s| 6730k| 3048k| 0 | 0.0 |1143M| 120 | - | 198 | 8 | 0 | 0 | 0 | 977k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1731.54/1732.07 c 1617s| 6740k| 3048k| 0 | 0.0 |1143M| 120 | - | 198 | 8 | 0 | 0 | 0 | 983k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1736.45/1736.96 c 1621s| 6750k| 3048k| 0 | 0.0 |1143M| 120 | - | 198 | 8 | 0 | 0 | 0 | 988k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1741.43/1741.90 c 1626s| 6760k| 3048k| 0 | 0.0 |1143M| 120 | - | 198 | 8 | 0 | 0 | 0 | 993k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1746.24/1746.77 c 1630s| 6770k| 3048k| 0 | 0.0 |1143M| 120 | - | 198 | 8 | 0 | 0 | 0 | 999k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1751.14/1751.65 c 1635s| 6780k| 3048k| 0 | 0.0 |1143M| 120 | - | 198 | 8 | 0 | 0 | 0 |1004k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1756.14/1756.60 c 1640s| 6790k| 3048k| 0 | 0.0 |1143M| 120 | - | 198 | 8 | 0 | 0 | 0 |1009k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1760.73/1761.27 c 1644s| 6800k| 3048k| 0 | 0.0 |1143M| 120 | - | 198 | 8 | 0 | 0 | 0 |1015k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1765.53/1766.08 c 1648s| 6810k| 3048k| 0 | 0.0 |1143M| 120 | - | 198 | 8 | 0 | 0 | 0 |1020k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1770.44/1770.92 c 1653s| 6820k| 3048k| 0 | 0.0 |1143M| 120 | - | 198 | 8 | 0 | 0 | 0 |1026k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1774.94/1775.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1774.94/1775.42 c 1657s| 6830k| 3048k| 0 | 0.0 |1143M| 120 | - | 198 | 8 | 0 | 0 | 0 |1031k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1779.53/1780.09 c 1661s| 6840k| 3048k| 0 | 0.0 |1143M| 120 | - | 198 | 8 | 0 | 0 | 0 |1036k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1784.62/1785.10 c 1666s| 6850k| 3048k| 0 | 0.0 |1143M| 120 | - | 198 | 8 | 0 | 0 | 0 |1042k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1789.62/1790.13 c 1671s| 6860k| 3048k| 0 | 0.0 |1143M| 120 | - | 198 | 8 | 0 | 0 | 0 |1047k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1794.63/1795.12 c 1676s| 6870k| 3048k| 0 | 0.0 |1143M| 120 | - | 198 | 8 | 0 | 0 | 0 |1053k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1799.23/1799.76 c 1680s| 6880k| 3048k| 0 | 0.0 |1143M| 120 | - | 198 | 8 | 0 | 0 | 0 |1058k| 0 | 0.000000e+00 | 1.770000e+02 | Inf
1800.02/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.50 c
1800.02/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.50 c Solving Time (sec) : 1680.63
1800.02/1800.50 c Solving Nodes : 6881536
1800.02/1800.50 c Primal Bound : +1.77000000000000e+02 (7 solutions)
1800.02/1800.50 c Dual Bound : +0.00000000000000e+00
1800.02/1800.50 c Gap : infinite
1800.02/1800.50 s SATISFIABLE
1800.02/1800.50 v -x198 -x197 -x196 x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 x184 x183 -x182 -x181 -x180 x179 x178 -x177
1800.02/1800.50 v -x176 x175 x174 x173 -x172 -x171 x170 -x169 -x168 -x167 -x166 -x165 x164 -x163 x162 -x161 x160 x159 x158 x157 -x156 x155 x154
1800.02/1800.50 v x153 x152 x151 x150 x149 x148 x147 x146 x145 x144 -x143 x142 -x141 -x140 x139 x138 x137 -x136 -x135 x134 x133 -x132 x131 x130
1800.02/1800.50 v -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109
1800.02/1800.50 v x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 x85
1800.02/1800.50 v -x84 -x83 x82 -x81 -x80 -x79 -x78 -x77 x76 -x75 x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 x61 -x60 -x59
1800.02/1800.50 v x58 -x57 -x56 -x55 -x54 -x53 x52 -x51 -x50 -x49 -x48 -x47 x46 x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33
1800.02/1800.50 v -x32 -x31 x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 x19 x18 x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7
1800.02/1800.50 v -x6 x5 x4 -x3 -x2 -x1
1800.02/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.50 c Solving Time : 1680.63
1800.02/1800.50 c Original Problem :
1800.02/1800.50 c Problem name : HOME/instance-2664228-1276599029.opb
1800.02/1800.50 c Variables : 198 (198 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.50 c Constraints : 16 initial, 16 maximal
1800.02/1800.50 c Presolved Problem :
1800.02/1800.50 c Problem name : t_HOME/instance-2664228-1276599029.opb
1800.02/1800.50 c Variables : 198 (198 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.50 c Constraints : 8 initial, 9 maximal
1800.02/1800.50 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.50 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.50 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.50 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.50 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.50 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.50 c probing : 0.02 0 0 0 0 0 0 0 0
1800.02/1800.50 c linear : 0.00 0 0 0 0 0 8 0 0
1800.02/1800.50 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.50 c root node : - 0 - - 0 - - - -
1800.02/1800.50 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.50 c integral : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.50 c linear : 8 0 13524738 0 5994518 804821 27592825 0 0 0
1800.02/1800.50 c logicor : 0+ 0 963827 0 0 6 956776 0 0 0
1800.02/1800.50 c countsols : 0 0 0 0 5994522 0 0 0 0 0
1800.02/1800.50 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.50 c integral : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.50 c linear : 1025.23 0.00 1021.29 0.00 3.94
1800.02/1800.50 c logicor : 5.44 0.00 5.44 0.00 0.00
1800.02/1800.50 c countsols : 2.00 0.00 0.00 0.00 2.00
1800.02/1800.50 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.50 c vbounds : 6.59 2 0 0
1800.02/1800.50 c rootredcost : 6.09 0 0 0
1800.02/1800.50 c pseudoobj : 167.82 13797504 272960 9602575
1800.02/1800.50 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.50 c propagation : 285.67 1077783 1059297 3674122 72.1 497 70.0 -
1800.02/1800.50 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.50 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.50 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.50 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.02/1800.50 c applied globally : - - - 1 30.0 - - -
1800.02/1800.50 c applied locally : - - - 1059296 59.5 - - -
1800.02/1800.50 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.50 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.02/1800.50 c redcost : 0.00 0 0 0 0 0
1800.02/1800.50 c impliedbounds : 0.00 0 0 0 0 0
1800.02/1800.50 c intobj : 0.00 0 0 0 0 0
1800.02/1800.50 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.50 c gomory : 0.00 0 0 0 0 0
1800.02/1800.50 c strongcg : 0.00 0 0 0 0 0
1800.02/1800.50 c cmir : 0.00 0 0 0 0 0
1800.02/1800.50 c flowcover : 0.00 0 0 0 0 0
1800.02/1800.50 c clique : 0.00 0 0 0 0 0
1800.02/1800.50 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.50 c mcf : 0.00 0 0 0 0 0
1800.02/1800.50 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.50 c Pricers : Time Calls Vars
1800.02/1800.50 c problem variables: 0.00 0 0
1800.02/1800.50 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.50 c relpscost : 0.00 0 0 0 0 0 0
1800.02/1800.50 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.50 c inference : 154.72 5994515 0 0 0 0 11989030
1800.02/1800.50 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.50 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.50 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.50 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.50 c random : 0.00 0 0 0 0 0 0
1800.02/1800.50 c Primal Heuristics : Time Calls Found
1800.02/1800.50 c LP solutions : 0.00 - 0
1800.02/1800.50 c pseudo solutions : 13.24 - 7
1800.02/1800.50 c oneopt : 3.85 0 0
1800.02/1800.50 c trivial : 0.00 2 0
1800.02/1800.50 c simplerounding : 0.00 0 0
1800.02/1800.50 c zirounding : 0.00 0 0
1800.02/1800.50 c rounding : 0.00 0 0
1800.02/1800.50 c shifting : 0.00 0 0
1800.02/1800.50 c intshifting : 0.00 0 0
1800.02/1800.50 c twoopt : 0.00 0 0
1800.02/1800.50 c fixandinfer : 0.00 0 0
1800.02/1800.50 c feaspump : 0.00 0 0
1800.02/1800.50 c coefdiving : 0.00 0 0
1800.02/1800.50 c pscostdiving : 0.00 0 0
1800.02/1800.51 c fracdiving : 0.00 0 0
1800.02/1800.51 c veclendiving : 0.00 0 0
1800.02/1800.51 c intdiving : 0.00 0 0
1800.02/1800.51 c actconsdiving : 0.00 0 0
1800.02/1800.51 c objpscostdiving : 0.00 0 0
1800.02/1800.51 c rootsoldiving : 0.00 0 0
1800.02/1800.51 c linesearchdiving : 0.00 0 0
1800.02/1800.51 c guideddiving : 0.00 0 0
1800.02/1800.51 c octane : 0.00 0 0
1800.02/1800.51 c rens : 0.00 0 0
1800.02/1800.51 c rins : 0.00 0 0
1800.02/1800.51 c localbranching : 0.00 0 0
1800.02/1800.51 c mutation : 0.00 0 0
1800.02/1800.51 c crossover : 0.00 0 0
1800.02/1800.51 c dins : 0.00 0 0
1800.02/1800.51 c undercover : 0.00 0 0
1800.02/1800.51 c nlp : 3.16 0 0
1800.02/1800.51 c trysol : 3.00 0 0
1800.02/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.51 c dual LP : 0.00 0 0 0.00 -
1800.02/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.51 c strong branching : 0.00 0 0 0.00 -
1800.02/1800.51 c (at root node) : - 0 0 0.00 -
1800.02/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.51 c B&B Tree :
1800.02/1800.51 c number of runs : 1
1800.02/1800.51 c nodes : 6881536
1800.02/1800.51 c nodes (total) : 6881536
1800.02/1800.51 c nodes left : 3048590
1800.02/1800.51 c max depth : 120
1800.02/1800.51 c max depth (total): 120
1800.02/1800.51 c backtracks : 346810 (5.0%)
1800.02/1800.51 c delayed cutoffs : 191091
1800.02/1800.51 c repropagations : 3484194 (5239692 domain reductions, 190773 cutoffs)
1800.02/1800.51 c avg switch length: 4.61
1800.02/1800.51 c switching time : 107.88
1800.02/1800.51 c Solution :
1800.02/1800.51 c Solutions found : 7 (7 improvements)
1800.02/1800.51 c First Solution : +1.38400000000000e+03 (in run 1, after 3490506 nodes, 567.62 seconds, depth 84, found by <relaxation>)
1800.02/1800.51 c Primal Bound : +1.77000000000000e+02 (in run 1, after 5891954 nodes, 1219.16 seconds, depth 100, found by <relaxation>)
1800.02/1800.51 c Dual Bound : +0.00000000000000e+00
1800.02/1800.51 c Gap : infinite
1800.02/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.02/1800.51 c Root Iterations : 0
OK 177
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664228-1276599029/watcher-2664228-1276599029 -o /tmp/evaluation-result-2664228-1276599029/solver-2664228-1276599029 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664228-1276599029.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/106 11029 /proc/meminfo: memFree=1426588/2059040 swapFree=4192956/4192956 [pid=11029] ppid=11027 vsize=6584 CPUtime=0 /proc/11029/stat : 11029 (pbscip.linux.x8) R 11027 11029 2345 0 -1 4202496 1073 0 0 0 0 0 0 0 25 0 1 0 1196626 6742016 995 1992294400 4194304 7136930 140733622844352 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11029/statm: 1646 1005 254 719 0 925 0 [startup+0.0680281 s] /proc/loadavg: 0.92 0.98 0.99 3/106 11029 /proc/meminfo: memFree=1426588/2059040 swapFree=4192956/4192956 [pid=11029] ppid=11027 vsize=11416 CPUtime=0.06 /proc/11029/stat : 11029 (pbscip.linux.x8) R 11027 11029 2345 0 -1 4202496 2802 0 0 0 5 1 0 0 18 0 1 0 1196626 11689984 2114 1992294400 4194304 7136930 140733622844352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11029/statm: 2854 2114 383 719 0 2133 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 11416 [startup+0.101033 s] /proc/loadavg: 0.92 0.98 0.99 3/106 11029 /proc/meminfo: memFree=1426588/2059040 swapFree=4192956/4192956 [pid=11029] ppid=11027 vsize=11548 CPUtime=0.09 /proc/11029/stat : 11029 (pbscip.linux.x8) R 11027 11029 2345 0 -1 4202496 2834 0 0 0 8 1 0 0 18 0 1 0 1196626 11825152 2146 1992294400 4194304 7136930 140733622844352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11029/statm: 2887 2146 383 719 0 2166 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11548 [startup+0.301051 s] /proc/loadavg: 0.92 0.98 0.99 3/106 11029 /proc/meminfo: memFree=1426588/2059040 swapFree=4192956/4192956 [pid=11029] ppid=11027 vsize=12268 CPUtime=0.29 /proc/11029/stat : 11029 (pbscip.linux.x8) R 11027 11029 2345 0 -1 4202496 3015 0 0 0 26 3 0 0 18 0 1 0 1196626 12562432 2327 1992294400 4194304 7136930 140733622844352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11029/statm: 3067 2327 383 719 0 2346 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12268 [startup+0.701093 s] /proc/loadavg: 0.92 0.98 0.99 3/106 11029 /proc/meminfo: memFree=1426588/2059040 swapFree=4192956/4192956 [pid=11029] ppid=11027 vsize=13180 CPUtime=0.69 /proc/11029/stat : 11029 (pbscip.linux.x8) R 11027 11029 2345 0 -1 4202496 3264 0 0 0 64 5 0 0 18 0 1 0 1196626 13496320 2576 1992294400 4194304 7136930 140733622844352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11029/statm: 3295 2576 383 719 0 2574 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13180 [startup+1.50117 s] /proc/loadavg: 0.92 0.98 0.99 2/107 11030 /proc/meminfo: memFree=1416908/2059040 swapFree=4192956/4192956 [pid=11029] ppid=11027 vsize=15592 CPUtime=1.49 /proc/11029/stat : 11029 (pbscip.linux.x8) R 11027 11029 2345 0 -1 4202496 3878 0 0 0 138 11 0 0 20 0 1 0 1196626 15966208 3190 1992294400 4194304 7136930 140733622844352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11029/statm: 3898 3190 383 719 0 3177 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15592 [startup+3.10133 s] /proc/loadavg: 0.92 0.98 0.99 2/107 11030 /proc/meminfo: memFree=1413808/2059040 swapFree=4192956/4192956 [pid=11029] ppid=11027 vsize=19928 CPUtime=3.09 /proc/11029/stat : 11029 (pbscip.linux.x8) R 11027 11029 2345 0 -1 4202496 5007 0 0 0 287 22 0 0 25 0 1 0 1196626 20406272 4319 1992294400 4194304 7136930 140733622844352 18446744073709551615 4947556 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11029/statm: 4982 4319 383 719 0 4261 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19928 [startup+6.30066 s] /proc/loadavg: 1.01 1.00 1.00 2/107 11030 /proc/meminfo: memFree=1404880/2059040 swapFree=4192956/4192956 [pid=11029] ppid=11027 vsize=26456 CPUtime=6.29 /proc/11029/stat : 11029 (pbscip.linux.x8) R 11027 11029 2345 0 -1 4202496 6707 0 0 0 584 45 0 0 25 0 1 0 1196626 27090944 6019 1992294400 4194304 7136930 140733622844352 18446744073709551615 4947385 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11029/statm: 6614 6019 383 719 0 5893 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26456 [startup+12.7003 s] /proc/loadavg: 1.17 1.03 1.01 2/107 11030 /proc/meminfo: memFree=1389380/2059040 swapFree=4192956/4192956 [pid=11029] ppid=11027 vsize=44012 CPUtime=12.69 /proc/11029/stat : 11029 (pbscip.linux.x8) R 11027 11029 2345 0 -1 4202496 10691 0 0 0 1172 97 0 0 25 0 1 0 1196626 45068288 10003 1992294400 4194304 7136930 140733622844352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11029/statm: 11003 10003 383 719 0 10282 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 44012 [startup+25.5016 s] /proc/loadavg: 1.13 1.03 1.01 2/107 11030 /proc/meminfo: memFree=1351188/2059040 swapFree=4192956/4192956 [pid=11029] ppid=11027 vsize=79824 CPUtime=25.48 /proc/11029/stat : 11029 (pbscip.linux.x8) R 11027 11029 2345 0 -1 4202496 19943 0 0 0 2340 208 0 0 25 0 1 0 1196626 81739776 19255 1992294400 4194304 7136930 140733622844352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11029/statm: 19956 19255 383 719 0 19235 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 79824 [startup+51.1012 s] /proc/loadavg: 1.08 1.03 1.01 2/107 11030 /proc/meminfo: memFree=1287824/2059040 swapFree=4192956/4192956 [pid=11029] ppid=11027 vsize=145048 CPUtime=51.08 /proc/11029/stat : 11029 (pbscip.linux.x8) R 11027 11029 2345 0 -1 4202496 35759 0 0 0 4692 416 0 0 25 0 1 0 1196626 148529152 35071 1992294400 4194304 7136930 140733622844352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11029/statm: 36262 35071 383 719 0 35541 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 145048 [startup+102.308 s] /proc/loadavg: 1.03 1.02 1.00 2/107 11032 /proc/meminfo: memFree=1172008/2059040 swapFree=4192956/4192956 [pid=11029] ppid=11027 vsize=263308 CPUtime=102.27 /proc/11029/stat : 11029 (pbscip.linux.x8) R 11027 11029 2345 0 -1 4202496 64465 0 0 0 9400 827 0 0 25 0 1 0 1196626 269627392 63777 1992294400 4194304 7136930 140733622844352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11029/statm: 65827 63777 383 719 0 65106 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 263308 [startup+162.301 s] /proc/loadavg: 1.01 1.02 1.00 2/107 11034 /proc/meminfo: memFree=1034368/2059040 swapFree=4192956/4192956 [pid=11029] ppid=11027 vsize=398064 CPUtime=162.25 /proc/11029/stat : 11029 (pbscip.linux.x8) R 11027 11029 2345 0 -1 4202496 99527 0 0 0 14894 1331 0 0 25 0 1 0 1196626 407617536 98839 1992294400 4194304 7136930 140733622844352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11029/statm: 99516 98839 383 719 0 98795 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 398064 [startup+222.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 11034 /proc/meminfo: memFree=874408/2059040 swapFree=4192956/4192956 [pid=11029] ppid=11027 vsize=565644 CPUtime=222.23 /proc/11029/stat : 11029 (pbscip.linux.x8) R 11027 11029 2345 0 -1 4202496 138683 0 0 0 20371 1852 0 0 25 0 1 0 1196626 579219456 137995 1992294400 4194304 7136930 140733622844352 18446744073709551615 4924673 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11029/statm: 141411 137995 383 719 0 140690 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 565644 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11036 /proc/meminfo: memFree=706264/2059040 swapFree=4192956/4192956 [pid=11029] ppid=11027 vsize=730244 CPUtime=282.22 /proc/11029/stat : 11029 (pbscip.linux.x8) R 11027 11029 2345 0 -1 4202496 181191 0 0 0 25847 2375 0 0 25 0 1 0 1196626 747769856 180503 1992294400 4194304 7136930 140733622844352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11029/statm: 182561 180503 383 719 0 181840 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 730244 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11038 /proc/meminfo: memFree=586852/2059040 swapFree=4192956/4192956 [pid=11029] ppid=11027 vsize=843096 CPUtime=342.2 /proc/11029/stat : 11029 (pbscip.linux.x8) R 11027 11029 2345 0 -1 4202496 210429 0 0 0 31419 2801 0 0 25 0 1 0 1196626 863330304 209741 1992294400 4194304 7136930 140733622844352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11029/statm: 210774 209741 383 719 0 210053 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 843096 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11040 /proc/meminfo: memFree=474136/2059040 swapFree=4192956/4192956 [pid=11029] ppid=11027 vsize=985356 CPUtime=402.18 /proc/11029/stat : 11029 (pbscip.linux.x8) R 11027 11029 2345 0 -1 4202496 239022 0 0 0 36968 3250 0 0 25 0 1 0 1196626 1009004544 238334 1992294400 4194304 7136930 140733622844352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11029/statm: 246339 238334 383 719 0 245618 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 985356 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11042 /proc/meminfo: memFree=341580/2059040 swapFree=4192956/4192956 [pid=11029] ppid=11027 vsize=1110420 CPUtime=462.17 /proc/11029/stat : 11029 (pbscip.linux.x8) R 11027 11029 2345 0 -1 4202496 271633 0 0 0 42493 3724 0 0 25 0 1 0 1196626 1137070080 270945 1992294400 4194304 7136930 140733622844352 18446744073709551615 4978973 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11029/statm: 277605 270945 383 719 0 276884 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 1110420 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11042 /proc/meminfo: memFree=211628/2059040 swapFree=4192956/4192956 [pid=11029] ppid=11027 vsize=1235832 CPUtime=522.16 /proc/11029/stat : 11029 (pbscip.linux.x8) R 11027 11029 2345 0 -1 4202496 304335 0 0 0 48017 4199 0 0 25 0 1 0 1196626 1265491968 303647 1992294400 4194304 7136930 140733622844352 18446744073709551615 4947099 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11029/statm: 308958 303647 383 719 0 308237 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 1235832 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11044 /proc/meminfo: memFree=75228/2059040 swapFree=4192956/4192956 [pid=11029] ppid=11027 vsize=1365160 CPUtime=582.14 /proc/11029/stat : 11029 (pbscip.linux.x8) R 11027 11029 2345 0 -1 4202496 338010 0 0 0 53540 4674 0 0 25 0 1 0 1196626 1397923840 337322 1992294400 4194304 7136930 140733622844352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11029/statm: 341290 337322 383 719 0 340569 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 1365160 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11055 /proc/meminfo: memFree=87916/2059040 swapFree=4192956/4192956 [pid=11029] ppid=11027 vsize=1408264 CPUtime=642.12 /proc/11029/stat : 11029 (pbscip.linux.x8) R 11027 11029 2345 0 -1 4202496 378545 0 0 0 59160 5052 0 0 25 0 1 0 1196626 1442062336 350761 1992294400 4194304 7136930 140733622844352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11029/statm: 352066 350761 383 719 0 351345 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 1408264 [startup+702.301 s] ################ # More data... # ################ /proc/11029/stat : 11029 (pbscip.linux.x8) R 11027 11029 2345 0 -1 4202496 402912 0 0 0 93008 7194 0 0 25 0 1 0 1196626 1562382336 375128 1992294400 4194304 7136930 140733622844352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11029/statm: 381441 375128 383 719 0 380720 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 1525764 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11067 /proc/meminfo: memFree=9600/2059040 swapFree=4192956/4192956 [pid=11029] ppid=11027 vsize=1541868 CPUtime=1062.01 /proc/11029/stat : 11029 (pbscip.linux.x8) R 11027 11029 2345 0 -1 4202496 407392 0 0 0 98658 7543 0 0 25 0 1 0 1196626 1578872832 379608 1992294400 4194304 7136930 140733622844352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11029/statm: 385467 379608 383 719 0 384746 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 1541868 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11067 /proc/meminfo: memFree=9416/2059040 swapFree=4192956/4192956 [pid=11029] ppid=11027 vsize=1571968 CPUtime=1121.99 /proc/11029/stat : 11029 (pbscip.linux.x8) R 11027 11029 2345 0 -1 4202496 415369 0 0 0 104292 7907 0 0 25 0 1 0 1196626 1609695232 387585 1992294400 4194304 7136930 140733622844352 18446744073709551615 4948440 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11029/statm: 392992 387585 383 719 0 392271 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 1571968 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11069 /proc/meminfo: memFree=10464/2059040 swapFree=4192956/4192956 [pid=11029] ppid=11027 vsize=1606148 CPUtime=1181.98 /proc/11029/stat : 11029 (pbscip.linux.x8) R 11027 11029 2345 0 -1 4202496 424404 0 0 0 109932 8266 0 0 25 0 1 0 1196626 1644695552 396620 1992294400 4194304 7136930 140733622844352 18446744073709551615 4979703 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11029/statm: 401537 396620 383 719 0 400816 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 1606148 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11071 /proc/meminfo: memFree=10664/2059040 swapFree=4192956/4192956 [pid=11029] ppid=11027 vsize=1636712 CPUtime=1241.96 /proc/11029/stat : 11029 (pbscip.linux.x8) R 11027 11029 2345 0 -1 4202496 432478 0 0 0 115575 8621 0 0 25 0 1 0 1196626 1675993088 404694 1992294400 4194304 7136930 140733622844352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11029/statm: 409178 404694 383 719 0 408457 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 1636712 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11073 /proc/meminfo: memFree=9656/2059040 swapFree=4192956/4192956 [pid=11029] ppid=11027 vsize=1684964 CPUtime=1301.95 /proc/11029/stat : 11029 (pbscip.linux.x8) R 11027 11029 2345 0 -1 4202496 444874 0 0 0 121218 8977 0 0 25 0 1 0 1196626 1725403136 417090 1992294400 4194304 7136930 140733622844352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11029/statm: 421241 417090 383 719 0 420520 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 1684964 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11075 /proc/meminfo: memFree=62020/2059040 swapFree=4192956/4192956 [pid=11029] ppid=11027 vsize=1689076 CPUtime=1361.94 /proc/11029/stat : 11029 (pbscip.linux.x8) R 11027 11029 2345 0 -1 4202496 458783 0 0 0 126860 9334 0 0 25 0 1 0 1196626 1729613824 418142 1992294400 4194304 7136930 140733622844352 18446744073709551615 5918837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11029/statm: 422269 418142 383 719 0 421548 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 1689076 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11075 /proc/meminfo: memFree=62020/2059040 swapFree=4192956/4192956 [pid=11029] ppid=11027 vsize=1689076 CPUtime=1421.92 /proc/11029/stat : 11029 (pbscip.linux.x8) R 11027 11029 2345 0 -1 4202496 458785 0 0 0 132520 9672 0 0 25 0 1 0 1196626 1729613824 418144 1992294400 4194304 7136930 140733622844352 18446744073709551615 4947435 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11029/statm: 422269 418144 383 719 0 421548 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 1689076 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11077 /proc/meminfo: memFree=62020/2059040 swapFree=4192956/4192956 [pid=11029] ppid=11027 vsize=1689076 CPUtime=1481.9 /proc/11029/stat : 11029 (pbscip.linux.x8) R 11027 11029 2345 0 -1 4202496 458789 0 0 0 138149 10041 0 0 25 0 1 0 1196626 1729613824 418148 1992294400 4194304 7136930 140733622844352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11029/statm: 422269 418148 383 719 0 421548 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 1689076 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11079 /proc/meminfo: memFree=62020/2059040 swapFree=4192956/4192956 [pid=11029] ppid=11027 vsize=1689268 CPUtime=1541.88 /proc/11029/stat : 11029 (pbscip.linux.x8) R 11027 11029 2345 0 -1 4202496 458810 0 0 0 143778 10410 0 0 25 0 1 0 1196626 1729810432 418169 1992294400 4194304 7136930 140733622844352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11029/statm: 422317 418169 383 719 0 421596 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 1689268 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11081 /proc/meminfo: memFree=61772/2059040 swapFree=4192956/4192956 [pid=11029] ppid=11027 vsize=1689268 CPUtime=1601.87 /proc/11029/stat : 11029 (pbscip.linux.x8) R 11027 11029 2345 0 -1 4202496 458832 0 0 0 149436 10751 0 0 25 0 1 0 1196626 1729810432 418191 1992294400 4194304 7136930 140733622844352 18446744073709551615 5909091 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11029/statm: 422317 418191 383 719 0 421596 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 1689268 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11083 /proc/meminfo: memFree=61648/2059040 swapFree=4192956/4192956 [pid=11029] ppid=11027 vsize=1689268 CPUtime=1661.86 /proc/11029/stat : 11029 (pbscip.linux.x8) R 11027 11029 2345 0 -1 4202496 458833 0 0 0 155090 11096 0 0 25 0 1 0 1196626 1729810432 418192 1992294400 4194304 7136930 140733622844352 18446744073709551615 4976533 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11029/statm: 422317 418192 383 719 0 421596 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 1689268 [startup+1722.3 s] /proc/loadavg: 1.04 1.01 1.00 2/107 11083 /proc/meminfo: memFree=62764/2059040 swapFree=4192956/4192956 [pid=11029] ppid=11027 vsize=1687976 CPUtime=1721.84 /proc/11029/stat : 11029 (pbscip.linux.x8) R 11027 11029 2345 0 -1 4202496 458835 0 0 0 160742 11442 0 0 25 0 1 0 1196626 1728487424 417871 1992294400 4194304 7136930 140733622844352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11029/statm: 421994 417871 383 719 0 421273 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 1687976 [startup+1782.3 s] /proc/loadavg: 1.05 1.02 1.00 2/107 11085 /proc/meminfo: memFree=62516/2059040 swapFree=4192956/4192956 [pid=11029] ppid=11027 vsize=1687976 CPUtime=1781.83 /proc/11029/stat : 11029 (pbscip.linux.x8) R 11027 11029 2345 0 -1 4202496 458837 0 0 0 166357 11826 0 0 25 0 1 0 1196626 1728487424 417873 1992294400 4194304 7136930 140733622844352 18446744073709551615 4976485 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11029/statm: 421994 417873 383 719 0 421273 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 1687976 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.10 1.04 1.00 2/107 11087 /proc/meminfo: memFree=62516/2059040 swapFree=4192956/4192956 [pid=11029] ppid=11027 vsize=1687976 CPUtime=1800.02 /proc/11029/stat : 11029 (pbscip.linux.x8) R 11027 11029 2345 0 -1 4202496 458839 0 0 0 168062 11940 0 0 25 0 1 0 1196626 1728487424 417875 1992294400 4194304 7136930 140733622844352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11029/statm: 421994 417875 383 719 0 421273 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1687976 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -11029 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.10 1.04 1.00 2/108 11088 /proc/meminfo: memFree=62508/2059040 swapFree=4192956/4192956 [pid=11029] ppid=11027 vsize=1685708 CPUtime=1800.92 /proc/11029/stat : 11029 (pbscip.linux.x8) R 11027 11029 2345 0 -1 4202496 458846 0 0 0 168152 11940 0 0 25 0 1 0 1196626 1726164992 417315 1992294400 4194304 7136930 140733622844352 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11029/statm: 421427 417315 389 719 0 420706 0 Current children cumulated CPU time (s) 1800.92 Current children cumulated vsize (KiB) 1685708 [startup+1802.2 s] /proc/loadavg: 1.10 1.04 1.00 2/108 11088 /proc/meminfo: memFree=66724/2059040 swapFree=4192956/4192956 [pid=11029] ppid=11027 vsize=1682448 CPUtime=1801.72 /proc/11029/stat : 11029 (pbscip.linux.x8) R 11027 11029 2345 0 -1 4202496 458846 0 0 0 168232 11940 0 0 25 0 1 0 1196626 1722826752 416500 1992294400 4194304 7136930 140733622844352 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11029/statm: 420612 416500 389 719 0 419891 0 Current children cumulated CPU time (s) 1801.72 Current children cumulated vsize (KiB) 1682448 [startup+1802.6 s] /proc/loadavg: 1.10 1.04 1.00 2/108 11088 /proc/meminfo: memFree=66724/2059040 swapFree=4192956/4192956 [pid=11029] ppid=11027 vsize=0 CPUtime=1802.12 /proc/11029/stat : 11029 (pbscip.linux.x8) R 11027 11029 2345 0 -1 4203524 458846 0 0 0 168263 11949 0 0 25 0 1 0 1196626 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 /proc/11029/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1802.12 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.65 CPU time (s): 1802.18 CPU user time (s): 1682.63 CPU system time (s): 119.552 CPU usage (%): 99.9739 Max. virtual memory (cumulated for all children) (KiB): 1753660 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1682.63 system time used= 119.552 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 458846 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= 3 involuntary context switches= 19527 runsolver used 3.06353 second user time and 8.46071 second system time The end
Begin job on node083 at 2010-06-15 12:50:29 IDJOB=2664228 IDBENCH=2895 IDSOLVER=1167 FILE ID=node083/2664228-1276599029 PBS_JOBID= 11173551 Free space on /tmp= 62552 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_2.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-2664228-1276599029/watcher-2664228-1276599029 -o /tmp/evaluation-result-2664228-1276599029/solver-2664228-1276599029 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664228-1276599029.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1d334f36842eecbe8db395477b7c6bcb RANDOM SEED=321174482 node083.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.262 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.262 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 : 5999.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1427240 kB Buffers: 52760 kB Cached: 438572 kB SwapCached: 0 kB Active: 220360 kB Inactive: 330820 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1427240 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3232 kB Writeback: 0 kB AnonPages: 59852 kB Mapped: 15656 kB Slab: 58952 kB PageTables: 3920 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182264 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= 62552 MiB End job on node083 at 2010-06-15 13:20:32