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) | 286 | 1802.16 | 1802.76 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_4.opb |
| MD5SUM | 87341d3e4752b9f90faef0f8d9385430 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 26 |
| Best CPU time to get the best result obtained on this benchmark | 1793.29 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 44 |
| 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 | 84 |
| 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 | 1881 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 6154 |
| 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-2664237-1276601238.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.01/0.01 c presolving:
0.01/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.01/0.04 c (0.0s) probing: 101/198 (51.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.01/0.04 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.01/0.04 c presolving (2 rounds):
0.01/0.04 c 0 deleted vars, 8 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.01/0.04 c 0 implications, 0 cliques
0.01/0.04 c presolved problem has 198 variables (198 bin, 0 int, 0 impl, 0 cont) and 8 constraints
0.01/0.04 c 8 constraints of type <linear>
0.01/0.04 c transformed objective value is always integral (scale: 1)
0.01/0.04 c Presolving Time: 0.02
0.01/0.04 c - non default parameters ----------------------------------------------------------------------
0.01/0.04 c # SCIP version 1.2.1.2
0.01/0.04 c
0.01/0.04 c # frequency for displaying node information lines
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.04 c display/freq = 10000
0.01/0.04 c
0.01/0.04 c # maximal time in seconds to run
0.01/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.04 c limits/time = 1800
0.01/0.04 c
0.01/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.04 c limits/memory = 1620
0.01/0.04 c
0.01/0.04 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.04 c lp/solvefreq = -1
0.01/0.04 c
0.01/0.04 c # should presolving try to simplify inequalities
0.01/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.04 c constraints/linear/simplifyinequalities = TRUE
0.01/0.04 c
0.01/0.04 c # should presolving try to simplify knapsacks
0.01/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.04 c constraints/knapsack/simplifyinequalities = TRUE
0.01/0.04 c
0.01/0.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.04 c separating/rapidlearning/freq = 0
0.01/0.04 c
0.01/0.04 c -----------------------------------------------------------------------------------------------
0.01/0.04 c start solving
0.01/0.04 c
0.01/0.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.01/0.04 c 0.0s| 1 | 2 | 0 | - | 543k| 0 | - | 198 | 8 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.69/1.75 c 1.6s| 10000 | 9982 | 0 | 0.0 |4239k| 163 | - | 198 | 8 | 0 | 0 | 0 | 9 | 0 | 0.000000e+00 | -- | Inf
3.48/3.58 c 3.3s| 20000 | 19320 | 0 | 0.0 |8258k| 173 | - | 198 | 8 | 0 | 0 | 0 | 355 | 0 | 0.000000e+00 | -- | Inf
5.40/5.45 c 5.0s| 30000 | 28910 | 0 | 0.0 | 11M| 173 | - | 198 | 8 | 0 | 0 | 0 | 575 | 0 | 0.000000e+00 | -- | Inf
7.09/7.19 c 6.6s| 40000 | 38858 | 0 | 0.0 | 15M| 173 | - | 198 | 8 | 0 | 0 | 0 | 601 | 0 | 0.000000e+00 | -- | Inf
8.88/8.95 c 8.2s| 50000 | 48826 | 0 | 0.0 | 18M| 173 | - | 198 | 8 | 0 | 0 | 0 | 617 | 0 | 0.000000e+00 | -- | Inf
10.59/10.69 c 9.8s| 60000 | 58805 | 0 | 0.0 | 22M| 173 | - | 198 | 8 | 0 | 0 | 0 | 628 | 0 | 0.000000e+00 | -- | Inf
12.39/12.44 c 11.4s| 70000 | 68769 | 0 | 0.0 | 26M| 173 | - | 198 | 8 | 0 | 0 | 0 | 646 | 0 | 0.000000e+00 | -- | Inf
14.09/14.14 c 12.9s| 80000 | 78745 | 0 | 0.0 | 30M| 173 | - | 198 | 8 | 0 | 0 | 0 | 658 | 0 | 0.000000e+00 | -- | Inf
15.79/15.83 c 14.4s| 90000 | 88731 | 0 | 0.0 | 33M| 173 | - | 198 | 8 | 0 | 0 | 0 | 665 | 0 | 0.000000e+00 | -- | Inf
17.39/17.50 c 16.0s|100000 | 98723 | 0 | 0.0 | 37M| 173 | - | 198 | 8 | 0 | 0 | 0 | 668 | 0 | 0.000000e+00 | -- | Inf
19.08/19.14 c 17.5s|110000 |108721 | 0 | 0.0 | 41M| 173 | - | 198 | 8 | 0 | 0 | 0 | 669 | 0 | 0.000000e+00 | -- | Inf
20.68/20.79 c 18.9s|120000 |118719 | 0 | 0.0 | 45M| 173 | - | 198 | 8 | 0 | 0 | 0 | 669 | 0 | 0.000000e+00 | -- | Inf
22.38/22.46 c 20.5s|130000 |128707 | 0 | 0.0 | 49M| 173 | - | 198 | 8 | 0 | 0 | 0 | 675 | 0 | 0.000000e+00 | -- | Inf
24.09/24.12 c 22.0s|140000 |138707 | 0 | 0.0 | 53M| 173 | - | 198 | 8 | 0 | 0 | 0 | 675 | 0 | 0.000000e+00 | -- | Inf
25.68/25.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.68/25.74 c 23.5s|150000 |148696 | 0 | 0.0 | 57M| 173 | - | 198 | 8 | 0 | 0 | 0 | 681 | 0 | 0.000000e+00 | -- | Inf
27.28/27.35 c 24.9s|160000 |158677 | 0 | 0.0 | 61M| 173 | - | 198 | 8 | 0 | 0 | 0 | 691 | 0 | 0.000000e+00 | -- | Inf
28.88/28.95 c 26.4s|170000 |168675 | 0 | 0.0 | 65M| 173 | - | 198 | 8 | 0 | 0 | 0 | 692 | 0 | 0.000000e+00 | -- | Inf
30.48/30.55 c 27.8s|180000 |178651 | 0 | 0.0 | 69M| 173 | - | 198 | 8 | 0 | 0 | 0 | 704 | 0 | 0.000000e+00 | -- | Inf
32.08/32.14 c 29.2s|190000 |188600 | 0 | 0.0 | 74M| 173 | - | 198 | 8 | 0 | 0 | 0 | 728 | 0 | 0.000000e+00 | -- | Inf
33.58/33.68 c 30.6s|200000 |198564 | 0 | 0.0 | 78M| 173 | - | 198 | 8 | 0 | 0 | 0 | 744 | 0 | 0.000000e+00 | -- | Inf
35.88/35.92 c 32.7s|210000 |206458 | 0 | 0.0 | 82M| 173 | - | 198 | 8 | 0 | 0 | 0 |1892 | 0 | 0.000000e+00 | -- | Inf
38.57/38.63 c 35.2s|220000 |213431 | 0 | 0.0 | 85M| 173 | - | 198 | 8 | 0 | 0 | 0 |3468 | 0 | 0.000000e+00 | -- | Inf
40.58/40.60 c 37.1s|230000 |222683 | 0 | 0.0 | 89M| 173 | - | 198 | 8 | 0 | 0 | 0 |3712 | 0 | 0.000000e+00 | -- | Inf
43.37/43.47 c 39.8s|240000 |229357 | 0 | 0.0 | 92M| 173 | - | 198 | 8 | 0 | 0 | 0 |5517 | 0 | 0.000000e+00 | -- | Inf
46.37/46.43 c 42.5s|250000 |235936 | 0 | 0.0 | 95M| 173 | - | 198 | 8 | 0 | 0 | 0 |7404 | 0 | 0.000000e+00 | -- | Inf
48.07/48.19 c 44.2s|260000 |245926 | 0 | 0.0 | 98M| 173 | - | 198 | 8 | 0 | 0 | 0 |7409 | 0 | 0.000000e+00 | -- | Inf
49.87/49.93 c 45.7s|270000 |255922 | 0 | 0.0 | 102M| 173 | - | 198 | 8 | 0 | 0 | 0 |7411 | 0 | 0.000000e+00 | -- | Inf
51.58/51.69 c 47.4s|280000 |265920 | 0 | 0.0 | 105M| 173 | - | 198 | 8 | 0 | 0 | 0 |7412 | 0 | 0.000000e+00 | -- | Inf
53.37/53.46 c 49.0s|290000 |275914 | 0 | 0.0 | 109M| 173 | - | 198 | 8 | 0 | 0 | 0 |7415 | 0 | 0.000000e+00 | -- | Inf
55.17/55.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
55.17/55.21 c 50.6s|300000 |285912 | 0 | 0.0 | 112M| 173 | - | 198 | 8 | 0 | 0 | 0 |7416 | 0 | 0.000000e+00 | -- | Inf
56.87/56.98 c 52.2s|310000 |295902 | 0 | 0.0 | 116M| 173 | - | 198 | 8 | 0 | 0 | 0 |7421 | 0 | 0.000000e+00 | -- | Inf
58.67/58.74 c 53.8s|320000 |305898 | 0 | 0.0 | 120M| 173 | - | 198 | 8 | 0 | 0 | 0 |7423 | 0 | 0.000000e+00 | -- | Inf
60.48/60.53 c 55.5s|330000 |315888 | 0 | 0.0 | 123M| 173 | - | 198 | 8 | 0 | 0 | 0 |7428 | 0 | 0.000000e+00 | -- | Inf
62.27/62.30 c 57.1s|340000 |325866 | 0 | 0.0 | 127M| 173 | - | 198 | 8 | 0 | 0 | 0 |7439 | 0 | 0.000000e+00 | -- | Inf
63.97/64.09 c 58.7s|350000 |335864 | 0 | 0.0 | 130M| 173 | - | 198 | 8 | 0 | 0 | 0 |7440 | 0 | 0.000000e+00 | -- | Inf
65.77/65.85 c 60.4s|360000 |345862 | 0 | 0.0 | 134M| 173 | - | 198 | 8 | 0 | 0 | 0 |7441 | 0 | 0.000000e+00 | -- | Inf
67.57/67.61 c 62.0s|370000 |355850 | 0 | 0.0 | 138M| 173 | - | 198 | 8 | 0 | 0 | 0 |7447 | 0 | 0.000000e+00 | -- | Inf
69.27/69.38 c 63.6s|380000 |365844 | 0 | 0.0 | 141M| 173 | - | 198 | 8 | 0 | 0 | 0 |7450 | 0 | 0.000000e+00 | -- | Inf
71.06/71.11 c 65.2s|390000 |375836 | 0 | 0.0 | 145M| 173 | - | 198 | 8 | 0 | 0 | 0 |7454 | 0 | 0.000000e+00 | -- | Inf
72.76/72.86 c 66.8s|400000 |385826 | 0 | 0.0 | 149M| 173 | - | 198 | 8 | 0 | 0 | 0 |7459 | 0 | 0.000000e+00 | -- | Inf
74.56/74.61 c 68.4s|410000 |395826 | 0 | 0.0 | 152M| 173 | - | 198 | 8 | 0 | 0 | 0 |7459 | 0 | 0.000000e+00 | -- | Inf
76.26/76.36 c 70.0s|420000 |405814 | 0 | 0.0 | 156M| 173 | - | 198 | 8 | 0 | 0 | 0 |7465 | 0 | 0.000000e+00 | -- | Inf
78.07/78.11 c 71.6s|430000 |415802 | 0 | 0.0 | 160M| 173 | - | 198 | 8 | 0 | 0 | 0 |7471 | 0 | 0.000000e+00 | -- | Inf
79.76/79.84 c 73.2s|440000 |425798 | 0 | 0.0 | 164M| 173 | - | 198 | 8 | 0 | 0 | 0 |7473 | 0 | 0.000000e+00 | -- | Inf
81.46/81.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
81.46/81.58 c 74.8s|450000 |435794 | 0 | 0.0 | 167M| 173 | - | 198 | 8 | 0 | 0 | 0 |7475 | 0 | 0.000000e+00 | -- | Inf
83.26/83.34 c 76.4s|460000 |445790 | 0 | 0.0 | 171M| 173 | - | 198 | 8 | 0 | 0 | 0 |7477 | 0 | 0.000000e+00 | -- | Inf
84.96/85.09 c 78.0s|470000 |455763 | 0 | 0.0 | 175M| 173 | - | 198 | 8 | 0 | 0 | 0 |7491 | 0 | 0.000000e+00 | -- | Inf
86.76/86.82 c 79.6s|480000 |465751 | 0 | 0.0 | 179M| 173 | - | 198 | 8 | 0 | 0 | 0 |7497 | 0 | 0.000000e+00 | -- | Inf
88.45/88.58 c 81.2s|490000 |475745 | 0 | 0.0 | 182M| 173 | - | 198 | 8 | 0 | 0 | 0 |7499 | 0 | 0.000000e+00 | -- | Inf
90.17/90.29 c 82.7s|500000 |485745 | 0 | 0.0 | 186M| 173 | - | 198 | 8 | 0 | 0 | 0 |7499 | 0 | 0.000000e+00 | -- | Inf
91.96/92.00 c 84.3s|510000 |495745 | 0 | 0.0 | 190M| 173 | - | 198 | 8 | 0 | 0 | 0 |7499 | 0 | 0.000000e+00 | -- | Inf
93.65/93.75 c 85.9s|520000 |505737 | 0 | 0.0 | 194M| 173 | - | 198 | 8 | 0 | 0 | 0 |7503 | 0 | 0.000000e+00 | -- | Inf
95.46/95.50 c 87.5s|530000 |515733 | 0 | 0.0 | 197M| 173 | - | 198 | 8 | 0 | 0 | 0 |7505 | 0 | 0.000000e+00 | -- | Inf
97.16/97.21 c 89.0s|540000 |525725 | 0 | 0.0 | 201M| 173 | - | 198 | 8 | 0 | 0 | 0 |7507 | 0 | 0.000000e+00 | -- | Inf
98.86/98.90 c 90.6s|550000 |535721 | 0 | 0.0 | 205M| 173 | - | 198 | 8 | 0 | 0 | 0 |7509 | 0 | 0.000000e+00 | -- | Inf
100.45/100.58 c 92.1s|560000 |545721 | 0 | 0.0 | 209M| 173 | - | 198 | 8 | 0 | 0 | 0 |7509 | 0 | 0.000000e+00 | -- | Inf
102.16/102.27 c 93.7s|570000 |555721 | 0 | 0.0 | 213M| 173 | - | 198 | 8 | 0 | 0 | 0 |7509 | 0 | 0.000000e+00 | -- | Inf
103.85/103.96 c 95.2s|580000 |565717 | 0 | 0.0 | 216M| 173 | - | 198 | 8 | 0 | 0 | 0 |7511 | 0 | 0.000000e+00 | -- | Inf
105.56/105.64 c 96.8s|590000 |575717 | 0 | 0.0 | 220M| 173 | - | 198 | 8 | 0 | 0 | 0 |7511 | 0 | 0.000000e+00 | -- | Inf
107.15/107.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
107.15/107.30 c 98.3s|600000 |585717 | 0 | 0.0 | 224M| 173 | - | 198 | 8 | 0 | 0 | 0 |7511 | 0 | 0.000000e+00 | -- | Inf
108.86/108.95 c 99.8s|610000 |595717 | 0 | 0.0 | 228M| 173 | - | 198 | 8 | 0 | 0 | 0 |7511 | 0 | 0.000000e+00 | -- | Inf
110.56/110.63 c 101s|620000 |605717 | 0 | 0.0 | 232M| 173 | - | 198 | 8 | 0 | 0 | 0 |7511 | 0 | 0.000000e+00 | -- | Inf
112.16/112.29 c 103s|630000 |615715 | 0 | 0.0 | 236M| 173 | - | 198 | 8 | 0 | 0 | 0 |7512 | 0 | 0.000000e+00 | -- | Inf
113.85/113.95 c 104s|640000 |625715 | 0 | 0.0 | 239M| 173 | - | 198 | 8 | 0 | 0 | 0 |7512 | 0 | 0.000000e+00 | -- | Inf
115.55/115.62 c 106s|650000 |635715 | 0 | 0.0 | 243M| 173 | - | 198 | 8 | 0 | 0 | 0 |7512 | 0 | 0.000000e+00 | -- | Inf
117.14/117.27 c 107s|660000 |645709 | 0 | 0.0 | 247M| 173 | - | 198 | 8 | 0 | 0 | 0 |7515 | 0 | 0.000000e+00 | -- | Inf
118.85/118.92 c 109s|670000 |655705 | 0 | 0.0 | 251M| 173 | - | 198 | 8 | 0 | 0 | 0 |7515 | 0 | 0.000000e+00 | -- | Inf
120.45/120.57 c 110s|680000 |665705 | 0 | 0.0 | 255M| 173 | - | 198 | 8 | 0 | 0 | 0 |7515 | 0 | 0.000000e+00 | -- | Inf
122.14/122.22 c 112s|690000 |675705 | 0 | 0.0 | 259M| 173 | - | 198 | 8 | 0 | 0 | 0 |7515 | 0 | 0.000000e+00 | -- | Inf
123.75/123.86 c 113s|700000 |685705 | 0 | 0.0 | 262M| 173 | - | 198 | 8 | 0 | 0 | 0 |7515 | 0 | 0.000000e+00 | -- | Inf
125.45/125.52 c 115s|710000 |695703 | 0 | 0.0 | 266M| 173 | - | 198 | 8 | 0 | 0 | 0 |7516 | 0 | 0.000000e+00 | -- | Inf
127.04/127.17 c 116s|720000 |705703 | 0 | 0.0 | 270M| 173 | - | 198 | 8 | 0 | 0 | 0 |7516 | 0 | 0.000000e+00 | -- | Inf
128.75/128.81 c 118s|730000 |715699 | 0 | 0.0 | 274M| 173 | - | 198 | 8 | 0 | 0 | 0 |7518 | 0 | 0.000000e+00 | -- | Inf
130.34/130.45 c 119s|740000 |725695 | 0 | 0.0 | 278M| 173 | - | 198 | 8 | 0 | 0 | 0 |7518 | 0 | 0.000000e+00 | -- | Inf
132.04/132.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
132.04/132.10 c 121s|750000 |735693 | 0 | 0.0 | 282M| 173 | - | 198 | 8 | 0 | 0 | 0 |7519 | 0 | 0.000000e+00 | -- | Inf
133.65/133.76 c 122s|760000 |745693 | 0 | 0.0 | 285M| 173 | - | 198 | 8 | 0 | 0 | 0 |7519 | 0 | 0.000000e+00 | -- | Inf
135.35/135.41 c 124s|770000 |755693 | 0 | 0.0 | 289M| 173 | - | 198 | 8 | 0 | 0 | 0 |7519 | 0 | 0.000000e+00 | -- | Inf
136.94/137.07 c 125s|780000 |765693 | 0 | 0.0 | 293M| 173 | - | 198 | 8 | 0 | 0 | 0 |7519 | 0 | 0.000000e+00 | -- | Inf
138.65/138.72 c 127s|790000 |775693 | 0 | 0.0 | 297M| 173 | - | 198 | 8 | 0 | 0 | 0 |7519 | 0 | 0.000000e+00 | -- | Inf
140.25/140.37 c 128s|800000 |785683 | 0 | 0.0 | 301M| 173 | - | 198 | 8 | 0 | 0 | 0 |7524 | 0 | 0.000000e+00 | -- | Inf
141.94/142.02 c 130s|810000 |795669 | 0 | 0.0 | 305M| 173 | - | 198 | 8 | 0 | 0 | 0 |7527 | 0 | 0.000000e+00 | -- | Inf
143.54/143.68 c 131s|820000 |805669 | 0 | 0.0 | 309M| 173 | - | 198 | 8 | 0 | 0 | 0 |7527 | 0 | 0.000000e+00 | -- | Inf
145.24/145.33 c 133s|830000 |815667 | 0 | 0.0 | 313M| 173 | - | 198 | 8 | 0 | 0 | 0 |7528 | 0 | 0.000000e+00 | -- | Inf
146.84/146.98 c 134s|840000 |825665 | 0 | 0.0 | 317M| 173 | - | 198 | 8 | 0 | 0 | 0 |7529 | 0 | 0.000000e+00 | -- | Inf
148.54/148.62 c 136s|850000 |835663 | 0 | 0.0 | 321M| 173 | - | 198 | 8 | 0 | 0 | 0 |7529 | 0 | 0.000000e+00 | -- | Inf
150.14/150.28 c 137s|860000 |845663 | 0 | 0.0 | 325M| 173 | - | 198 | 8 | 0 | 0 | 0 |7529 | 0 | 0.000000e+00 | -- | Inf
151.83/151.93 c 139s|870000 |855653 | 0 | 0.0 | 329M| 173 | - | 198 | 8 | 0 | 0 | 0 |7531 | 0 | 0.000000e+00 | -- | Inf
153.44/153.56 c 140s|880000 |865649 | 0 | 0.0 | 333M| 173 | - | 198 | 8 | 0 | 0 | 0 |7532 | 0 | 0.000000e+00 | -- | Inf
155.13/155.22 c 142s|890000 |875647 | 0 | 0.0 | 337M| 173 | - | 198 | 8 | 0 | 0 | 0 |7533 | 0 | 0.000000e+00 | -- | Inf
156.74/156.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
156.74/156.87 c 143s|900000 |885641 | 0 | 0.0 | 341M| 173 | - | 198 | 8 | 0 | 0 | 0 |7535 | 0 | 0.000000e+00 | -- | Inf
158.44/158.52 c 145s|910000 |895641 | 0 | 0.0 | 345M| 173 | - | 198 | 8 | 0 | 0 | 0 |7535 | 0 | 0.000000e+00 | -- | Inf
160.03/160.15 c 146s|920000 |905635 | 0 | 0.0 | 349M| 173 | - | 198 | 8 | 0 | 0 | 0 |7538 | 0 | 0.000000e+00 | -- | Inf
161.64/161.79 c 148s|930000 |915635 | 0 | 0.0 | 353M| 173 | - | 198 | 8 | 0 | 0 | 0 |7538 | 0 | 0.000000e+00 | -- | Inf
163.34/163.43 c 149s|940000 |925635 | 0 | 0.0 | 357M| 173 | - | 198 | 8 | 0 | 0 | 0 |7538 | 0 | 0.000000e+00 | -- | Inf
164.94/165.08 c 151s|950000 |935633 | 0 | 0.0 | 361M| 173 | - | 198 | 8 | 0 | 0 | 0 |7539 | 0 | 0.000000e+00 | -- | Inf
166.63/166.72 c 152s|960000 |945633 | 0 | 0.0 | 365M| 173 | - | 198 | 8 | 0 | 0 | 0 |7539 | 0 | 0.000000e+00 | -- | Inf
168.24/168.36 c 154s|970000 |955633 | 0 | 0.0 | 369M| 173 | - | 198 | 8 | 0 | 0 | 0 |7539 | 0 | 0.000000e+00 | -- | Inf
169.83/169.99 c 155s|980000 |965633 | 0 | 0.0 | 373M| 173 | - | 198 | 8 | 0 | 0 | 0 |7539 | 0 | 0.000000e+00 | -- | Inf
171.54/171.65 c 157s|990000 |975631 | 0 | 0.0 | 377M| 173 | - | 198 | 8 | 0 | 0 | 0 |7539 | 0 | 0.000000e+00 | -- | Inf
173.23/173.31 c 158s| 1000k|985629 | 0 | 0.0 | 381M| 173 | - | 198 | 8 | 0 | 0 | 0 |7540 | 0 | 0.000000e+00 | -- | Inf
174.84/174.97 c 160s| 1010k|995629 | 0 | 0.0 | 385M| 173 | - | 198 | 8 | 0 | 0 | 0 |7540 | 0 | 0.000000e+00 | -- | Inf
176.53/176.63 c 161s| 1020k| 1005k| 0 | 0.0 | 390M| 173 | - | 198 | 8 | 0 | 0 | 0 |7542 | 0 | 0.000000e+00 | -- | Inf
178.14/178.28 c 163s| 1030k| 1015k| 0 | 0.0 | 394M| 173 | - | 198 | 8 | 0 | 0 | 0 |7544 | 0 | 0.000000e+00 | -- | Inf
179.83/179.93 c 164s| 1040k| 1025k| 0 | 0.0 | 398M| 173 | - | 198 | 8 | 0 | 0 | 0 |7548 | 0 | 0.000000e+00 | -- | Inf
181.44/181.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
181.44/181.57 c 166s| 1050k| 1035k| 0 | 0.0 | 402M| 173 | - | 198 | 8 | 0 | 0 | 0 |7551 | 0 | 0.000000e+00 | -- | Inf
183.13/183.24 c 167s| 1060k| 1045k| 0 | 0.0 | 406M| 173 | - | 198 | 8 | 0 | 0 | 0 |7552 | 0 | 0.000000e+00 | -- | Inf
184.73/184.87 c 169s| 1070k| 1055k| 0 | 0.0 | 410M| 173 | - | 198 | 8 | 0 | 0 | 0 |7554 | 0 | 0.000000e+00 | -- | Inf
186.33/186.49 c 170s| 1080k| 1065k| 0 | 0.0 | 415M| 173 | - | 198 | 8 | 0 | 0 | 0 |7554 | 0 | 0.000000e+00 | -- | Inf
188.03/188.13 c 172s| 1090k| 1075k| 0 | 0.0 | 419M| 173 | - | 198 | 8 | 0 | 0 | 0 |7555 | 0 | 0.000000e+00 | -- | Inf
189.62/189.76 c 173s| 1100k| 1085k| 0 | 0.0 | 423M| 173 | - | 198 | 8 | 0 | 0 | 0 |7562 | 0 | 0.000000e+00 | -- | Inf
191.23/191.39 c 175s| 1110k| 1095k| 0 | 0.0 | 427M| 173 | - | 198 | 8 | 0 | 0 | 0 |7571 | 0 | 0.000000e+00 | -- | Inf
192.92/193.01 c 176s| 1120k| 1105k| 0 | 0.0 | 431M| 173 | - | 198 | 8 | 0 | 0 | 0 |7584 | 0 | 0.000000e+00 | -- | Inf
194.53/194.62 c 178s| 1130k| 1115k| 0 | 0.0 | 435M| 173 | - | 198 | 8 | 0 | 0 | 0 |7584 | 0 | 0.000000e+00 | -- | Inf
196.13/196.27 c 179s| 1140k| 1125k| 0 | 0.0 | 439M| 173 | - | 198 | 8 | 0 | 0 | 0 |7590 | 0 | 0.000000e+00 | -- | Inf
197.72/197.87 c 181s| 1150k| 1135k| 0 | 0.0 | 444M| 173 | - | 198 | 8 | 0 | 0 | 0 |7592 | 0 | 0.000000e+00 | -- | Inf
199.32/199.46 c 182s| 1160k| 1145k| 0 | 0.0 | 448M| 173 | - | 198 | 8 | 0 | 0 | 0 |7595 | 0 | 0.000000e+00 | -- | Inf
200.93/201.07 c 184s| 1170k| 1155k| 0 | 0.0 | 452M| 173 | - | 198 | 8 | 0 | 0 | 0 |7598 | 0 | 0.000000e+00 | -- | Inf
202.52/202.66 c 185s| 1180k| 1165k| 0 | 0.0 | 456M| 173 | - | 198 | 8 | 0 | 0 | 0 |7599 | 0 | 0.000000e+00 | -- | Inf
204.12/204.25 c 186s| 1190k| 1175k| 0 | 0.0 | 460M| 173 | - | 198 | 8 | 0 | 0 | 0 |7599 | 0 | 0.000000e+00 | -- | Inf
205.72/205.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
205.72/205.84 c 188s| 1200k| 1185k| 0 | 0.0 | 464M| 173 | - | 198 | 8 | 0 | 0 | 0 |7602 | 0 | 0.000000e+00 | -- | Inf
207.32/207.43 c 189s| 1210k| 1195k| 0 | 0.0 | 468M| 173 | - | 198 | 8 | 0 | 0 | 0 |7605 | 0 | 0.000000e+00 | -- | Inf
208.93/209.03 c 191s| 1220k| 1205k| 0 | 0.0 | 473M| 173 | - | 198 | 8 | 0 | 0 | 0 |7607 | 0 | 0.000000e+00 | -- | Inf
210.52/210.63 c 192s| 1230k| 1215k| 0 | 0.0 | 477M| 173 | - | 198 | 8 | 0 | 0 | 0 |7611 | 0 | 0.000000e+00 | -- | Inf
212.12/212.23 c 194s| 1240k| 1225k| 0 | 0.0 | 481M| 173 | - | 198 | 8 | 0 | 0 | 0 |7612 | 0 | 0.000000e+00 | -- | Inf
213.72/213.81 c 195s| 1250k| 1235k| 0 | 0.0 | 485M| 173 | - | 198 | 8 | 0 | 0 | 0 |7612 | 0 | 0.000000e+00 | -- | Inf
215.32/215.40 c 196s| 1260k| 1245k| 0 | 0.0 | 489M| 173 | - | 198 | 8 | 0 | 0 | 0 |7617 | 0 | 0.000000e+00 | -- | Inf
216.82/216.97 c 198s| 1270k| 1255k| 0 | 0.0 | 493M| 173 | - | 198 | 8 | 0 | 0 | 0 |7619 | 0 | 0.000000e+00 | -- | Inf
218.41/218.56 c 199s| 1280k| 1265k| 0 | 0.0 | 498M| 173 | - | 198 | 8 | 0 | 0 | 0 |7634 | 0 | 0.000000e+00 | -- | Inf
220.01/220.14 c 201s| 1290k| 1275k| 0 | 0.0 | 502M| 173 | - | 198 | 8 | 0 | 0 | 0 |7644 | 0 | 0.000000e+00 | -- | Inf
221.62/221.71 c 202s| 1300k| 1285k| 0 | 0.0 | 506M| 173 | - | 198 | 8 | 0 | 0 | 0 |7645 | 0 | 0.000000e+00 | -- | Inf
223.12/223.27 c 204s| 1310k| 1295k| 0 | 0.0 | 510M| 173 | - | 198 | 8 | 0 | 0 | 0 |7645 | 0 | 0.000000e+00 | -- | Inf
224.71/224.84 c 205s| 1320k| 1305k| 0 | 0.0 | 514M| 173 | - | 198 | 8 | 0 | 0 | 0 |7647 | 0 | 0.000000e+00 | -- | Inf
226.31/226.42 c 206s| 1330k| 1315k| 0 | 0.0 | 519M| 173 | - | 198 | 8 | 0 | 0 | 0 |7651 | 0 | 0.000000e+00 | -- | Inf
227.91/228.00 c 208s| 1340k| 1325k| 0 | 0.0 | 523M| 173 | - | 198 | 8 | 0 | 0 | 0 |7652 | 0 | 0.000000e+00 | -- | Inf
229.41/229.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
229.41/229.59 c 209s| 1350k| 1335k| 0 | 0.0 | 527M| 173 | - | 198 | 8 | 0 | 0 | 0 |7653 | 0 | 0.000000e+00 | -- | Inf
231.01/231.15 c 211s| 1360k| 1345k| 0 | 0.0 | 531M| 173 | - | 198 | 8 | 0 | 0 | 0 |7654 | 0 | 0.000000e+00 | -- | Inf
232.61/232.74 c 212s| 1370k| 1355k| 0 | 0.0 | 536M| 173 | - | 198 | 8 | 0 | 0 | 0 |7668 | 0 | 0.000000e+00 | -- | Inf
233.21/233.31 o 1312
233.21/233.31 c * 213s| 1372k| 1284k| 0 | 0.0 | 514M| 173 | - | 198 | 8 | 0 | 0 | 0 |7670 | 0 | 0.000000e+00 | 1.312000e+03 | Inf
234.61/234.75 c 214s| 1380k| 1292k| 0 | 0.0 | 517M| 173 | - | 198 | 8 | 0 | 0 | 0 |7891 | 0 | 0.000000e+00 | 1.312000e+03 | Inf
236.42/236.57 c 216s| 1390k| 1301k| 0 | 0.0 | 521M| 173 | - | 198 | 8 | 0 | 0 | 0 |8130 | 0 | 0.000000e+00 | 1.312000e+03 | Inf
238.21/238.39 c 217s| 1400k| 1311k| 0 | 0.0 | 526M| 173 | - | 198 | 8 | 0 | 0 | 0 |8382 | 0 | 0.000000e+00 | 1.312000e+03 | Inf
240.11/240.24 c 219s| 1410k| 1320k| 0 | 0.0 | 530M| 173 | - | 198 | 8 | 0 | 0 | 0 |8682 | 0 | 0.000000e+00 | 1.312000e+03 | Inf
241.92/242.07 c 221s| 1420k| 1330k| 0 | 0.0 | 535M| 173 | - | 198 | 8 | 0 | 0 | 0 |8993 | 0 | 0.000000e+00 | 1.312000e+03 | Inf
243.71/243.85 c 222s| 1430k| 1339k| 0 | 0.0 | 539M| 173 | - | 198 | 8 | 0 | 0 | 0 |9200 | 0 | 0.000000e+00 | 1.312000e+03 | Inf
245.51/245.61 c 224s| 1440k| 1349k| 0 | 0.0 | 543M| 173 | - | 198 | 8 | 0 | 0 | 0 |9361 | 0 | 0.000000e+00 | 1.312000e+03 | Inf
247.21/247.39 c 225s| 1450k| 1359k| 0 | 0.0 | 548M| 173 | - | 198 | 8 | 0 | 0 | 0 |9534 | 0 | 0.000000e+00 | 1.312000e+03 | Inf
249.10/249.23 c 227s| 1460k| 1368k| 0 | 0.0 | 552M| 173 | - | 198 | 8 | 0 | 0 | 0 |9801 | 0 | 0.000000e+00 | 1.312000e+03 | Inf
250.91/251.01 c 229s| 1470k| 1378k| 0 | 0.0 | 556M| 173 | - | 198 | 8 | 0 | 0 | 0 |9975 | 0 | 0.000000e+00 | 1.312000e+03 | Inf
252.61/252.78 c 230s| 1480k| 1387k| 0 | 0.0 | 561M| 173 | - | 198 | 8 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 1.312000e+03 | Inf
254.51/254.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
254.51/254.62 c 232s| 1490k| 1397k| 0 | 0.0 | 565M| 173 | - | 198 | 8 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 1.312000e+03 | Inf
256.30/256.43 c 234s| 1500k| 1406k| 0 | 0.0 | 570M| 173 | - | 198 | 8 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 1.312000e+03 | Inf
258.10/258.23 c 235s| 1510k| 1416k| 0 | 0.0 | 574M| 173 | - | 198 | 8 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.312000e+03 | Inf
259.90/260.09 c 237s| 1520k| 1425k| 0 | 0.0 | 579M| 173 | - | 198 | 8 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.312000e+03 | Inf
261.90/262.04 c 239s| 1530k| 1434k| 0 | 0.0 | 584M| 173 | - | 198 | 8 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.312000e+03 | Inf
263.81/263.96 c 241s| 1540k| 1444k| 0 | 0.0 | 588M| 173 | - | 198 | 8 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 1.312000e+03 | Inf
265.60/265.73 c 242s| 1550k| 1453k| 0 | 0.0 | 592M| 173 | - | 198 | 8 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 1.312000e+03 | Inf
267.40/267.51 c 244s| 1560k| 1463k| 0 | 0.0 | 597M| 173 | - | 198 | 8 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 1.312000e+03 | Inf
269.20/269.33 c 245s| 1570k| 1472k| 0 | 0.0 | 601M| 173 | - | 198 | 8 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 1.312000e+03 | Inf
271.00/271.18 c 247s| 1580k| 1482k| 0 | 0.0 | 606M| 173 | - | 198 | 8 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 1.312000e+03 | Inf
272.80/272.96 c 249s| 1590k| 1491k| 0 | 0.0 | 610M| 173 | - | 198 | 8 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 1.312000e+03 | Inf
274.60/274.79 c 250s| 1600k| 1501k| 0 | 0.0 | 615M| 173 | - | 198 | 8 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 1.312000e+03 | Inf
276.40/276.59 c 252s| 1610k| 1510k| 0 | 0.0 | 619M| 173 | - | 198 | 8 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 1.312000e+03 | Inf
278.21/278.39 c 254s| 1620k| 1520k| 0 | 0.0 | 624M| 173 | - | 198 | 8 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 1.312000e+03 | Inf
280.10/280.29 c 255s| 1630k| 1529k| 0 | 0.0 | 628M| 173 | - | 198 | 8 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 1.312000e+03 | Inf
282.10/282.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
282.10/282.22 c 257s| 1640k| 1538k| 0 | 0.0 | 633M| 173 | - | 198 | 8 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 1.312000e+03 | Inf
283.99/284.14 c 259s| 1650k| 1548k| 0 | 0.0 | 638M| 173 | - | 198 | 8 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 1.312000e+03 | Inf
285.90/286.03 c 261s| 1660k| 1557k| 0 | 0.0 | 642M| 173 | - | 198 | 8 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 1.312000e+03 | Inf
287.69/287.83 c 262s| 1670k| 1567k| 0 | 0.0 | 647M| 173 | - | 198 | 8 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 1.312000e+03 | Inf
289.50/289.69 c 264s| 1680k| 1576k| 0 | 0.0 | 651M| 173 | - | 198 | 8 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.312000e+03 | Inf
291.30/291.46 c 266s| 1690k| 1586k| 0 | 0.0 | 656M| 173 | - | 198 | 8 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.312000e+03 | Inf
293.30/293.41 c 267s| 1700k| 1595k| 0 | 0.0 | 661M| 173 | - | 198 | 8 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.312000e+03 | Inf
295.09/295.22 c 269s| 1710k| 1604k| 0 | 0.0 | 665M| 173 | - | 198 | 8 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 1.312000e+03 | Inf
296.90/297.07 c 271s| 1720k| 1613k| 0 | 0.0 | 670M| 173 | - | 198 | 8 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 1.312000e+03 | Inf
299.00/299.13 c 273s| 1730k| 1622k| 0 | 0.0 | 675M| 173 | - | 198 | 8 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.312000e+03 | Inf
300.99/301.16 c 274s| 1740k| 1631k| 0 | 0.0 | 679M| 173 | - | 198 | 8 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.312000e+03 | Inf
302.88/303.04 c 276s| 1750k| 1640k| 0 | 0.0 | 684M| 173 | - | 198 | 8 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 1.312000e+03 | Inf
304.78/304.90 c 278s| 1760k| 1650k| 0 | 0.0 | 689M| 173 | - | 198 | 8 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 1.312000e+03 | Inf
306.48/306.69 c 279s| 1770k| 1659k| 0 | 0.0 | 693M| 173 | - | 198 | 8 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 1.312000e+03 | Inf
307.48/307.65 o 1310
307.48/307.65 c * 280s| 1774k| 1662k| 0 | 0.0 | 695M| 173 | - | 198 | 8 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
308.48/308.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
308.48/308.65 c 281s| 1780k| 1667k| 0 | 0.0 | 697M| 173 | - | 198 | 8 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
310.48/310.62 c 283s| 1790k| 1676k| 0 | 0.0 | 702M| 173 | - | 198 | 8 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
312.48/312.67 c 285s| 1800k| 1685k| 0 | 0.0 | 707M| 173 | - | 198 | 8 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
314.27/314.43 c 286s| 1810k| 1694k| 0 | 0.0 | 711M| 173 | - | 198 | 8 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
316.17/316.39 c 288s| 1820k| 1703k| 0 | 0.0 | 716M| 173 | - | 198 | 8 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
318.97/319.18 c 291s| 1830k| 1710k| 0 | 0.0 | 720M| 173 | - | 198 | 8 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
322.58/322.78 c 294s| 1840k| 1714k| 0 | 0.0 | 723M| 173 | - | 198 | 8 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
325.77/325.99 c 297s| 1850k| 1720k| 0 | 0.0 | 725M| 173 | - | 198 | 8 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
329.37/329.54 c 301s| 1860k| 1724k| 0 | 0.0 | 728M| 173 | - | 198 | 8 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
333.18/333.34 c 304s| 1870k| 1728k| 0 | 0.0 | 732M| 177 | - | 198 | 8 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
337.27/337.45 c 308s| 1880k| 1731k| 0 | 0.0 | 735M| 177 | - | 198 | 8 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
340.47/340.61 c 311s| 1890k| 1737k| 0 | 0.0 | 738M| 177 | - | 198 | 8 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
342.27/342.41 c 313s| 1900k| 1746k| 0 | 0.0 | 741M| 177 | - | 198 | 8 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
343.96/344.17 c 314s| 1910k| 1756k| 0 | 0.0 | 745M| 177 | - | 198 | 8 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
345.76/345.91 c 316s| 1920k| 1766k| 0 | 0.0 | 748M| 177 | - | 198 | 8 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
347.47/347.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
347.47/347.65 c 318s| 1930k| 1776k| 0 | 0.0 | 752M| 177 | - | 198 | 8 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
349.16/349.37 c 319s| 1940k| 1786k| 0 | 0.0 | 755M| 177 | - | 198 | 8 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
351.07/351.28 c 321s| 1950k| 1796k| 0 | 0.0 | 759M| 177 | - | 198 | 8 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
352.97/353.19 c 323s| 1960k| 1805k| 0 | 0.0 | 762M| 177 | - | 198 | 8 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
354.97/355.14 c 324s| 1970k| 1814k| 0 | 0.0 | 766M| 177 | - | 198 | 8 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
356.86/357.09 c 326s| 1980k| 1824k| 0 | 0.0 | 770M| 177 | - | 198 | 8 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
358.86/359.07 c 328s| 1990k| 1833k| 0 | 0.0 | 774M| 177 | - | 198 | 8 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
360.76/360.98 c 330s| 2000k| 1842k| 0 | 0.0 | 777M| 177 | - | 198 | 8 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
362.76/362.94 c 332s| 2010k| 1851k| 0 | 0.0 | 781M| 177 | - | 198 | 9 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
364.76/364.95 c 334s| 2020k| 1860k| 0 | 0.0 | 785M| 177 | - | 198 | 8 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
366.76/366.97 c 335s| 2030k| 1869k| 0 | 0.0 | 789M| 177 | - | 198 | 8 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
368.76/368.94 c 337s| 2040k| 1878k| 0 | 0.0 | 793M| 177 | - | 198 | 8 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
370.76/370.90 c 339s| 2050k| 1887k| 0 | 0.0 | 798M| 177 | - | 198 | 8 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
372.77/372.97 c 341s| 2060k| 1896k| 0 | 0.0 | 802M| 177 | - | 198 | 8 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
374.87/375.07 c 343s| 2070k| 1904k| 0 | 0.0 | 806M| 177 | - | 198 | 8 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
377.16/377.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
377.16/377.39 c 345s| 2080k| 1913k| 0 | 0.0 | 810M| 177 | - | 198 | 8 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
379.76/379.99 c 347s| 2090k| 1920k| 0 | 0.0 | 814M| 177 | - | 198 | 8 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
382.75/382.95 c 350s| 2100k| 1927k| 0 | 0.0 | 817M| 177 | - | 198 | 8 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
386.15/386.33 c 353s| 2110k| 1933k| 0 | 0.0 | 820M| 177 | - | 198 | 8 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
389.65/389.88 c 357s| 2120k| 1937k| 0 | 0.0 | 823M| 177 | - | 198 | 8 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
393.05/393.28 c 360s| 2130k| 1942k| 0 | 0.0 | 825M| 177 | - | 198 | 8 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
396.55/396.79 c 363s| 2140k| 1947k| 0 | 0.0 | 827M| 177 | - | 198 | 8 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
400.05/400.25 c 367s| 2150k| 1952k| 0 | 0.0 | 830M| 177 | - | 198 | 8 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
403.55/403.71 c 370s| 2160k| 1956k| 0 | 0.0 | 832M| 177 | - | 198 | 8 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
405.95/406.19 c 372s| 2170k| 1964k| 0 | 0.0 | 836M| 177 | - | 198 | 8 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
408.34/408.56 c 374s| 2180k| 1973k| 0 | 0.0 | 839M| 177 | - | 198 | 8 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
410.94/411.15 c 377s| 2190k| 1981k| 0 | 0.0 | 843M| 177 | - | 198 | 8 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
413.94/414.10 c 380s| 2200k| 1988k| 0 | 0.0 | 846M| 177 | - | 198 | 8 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
417.15/417.34 c 383s| 2210k| 1994k| 0 | 0.0 | 850M| 177 | - | 198 | 8 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
420.44/420.62 c 386s| 2220k| 2000k| 0 | 0.0 | 853M| 177 | - | 198 | 8 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
423.94/424.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
423.94/424.12 c 389s| 2230k| 2005k| 0 | 0.0 | 856M| 177 | - | 198 | 8 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
427.24/427.47 c 392s| 2240k| 2010k| 0 | 0.0 | 858M| 177 | - | 198 | 8 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
430.74/430.97 c 396s| 2250k| 2015k| 0 | 0.0 | 861M| 177 | - | 198 | 8 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
434.25/434.40 c 399s| 2260k| 2020k| 0 | 0.0 | 863M| 177 | - | 198 | 8 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
437.64/437.85 c 402s| 2270k| 2025k| 0 | 0.0 | 866M| 177 | - | 198 | 8 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
440.03/440.23 c 404s| 2280k| 2033k| 0 | 0.0 | 869M| 177 | - | 198 | 8 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
441.84/442.03 c 406s| 2290k| 2043k| 0 | 0.0 | 873M| 177 | - | 198 | 8 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
443.64/443.82 c 408s| 2300k| 2053k| 0 | 0.0 | 876M| 177 | - | 198 | 8 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
445.43/445.60 c 409s| 2310k| 2063k| 0 | 0.0 | 879M| 177 | - | 198 | 8 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
447.14/447.36 c 411s| 2320k| 2073k| 0 | 0.0 | 883M| 177 | - | 198 | 8 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
448.93/449.13 c 412s| 2330k| 2083k| 0 | 0.0 | 886M| 177 | - | 198 | 8 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
450.63/450.90 c 414s| 2340k| 2092k| 0 | 0.0 | 890M| 177 | - | 198 | 8 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
452.53/452.70 c 416s| 2350k| 2102k| 0 | 0.0 | 893M| 177 | - | 198 | 8 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
454.33/454.57 c 417s| 2360k| 2112k| 0 | 0.0 | 897M| 177 | - | 198 | 8 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
456.24/456.48 c 419s| 2370k| 2122k| 0 | 0.0 | 900M| 177 | - | 198 | 8 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
458.13/458.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
458.13/458.34 c 421s| 2380k| 2132k| 0 | 0.0 | 904M| 177 | - | 198 | 8 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
459.93/460.18 c 423s| 2390k| 2141k| 0 | 0.0 | 907M| 177 | - | 198 | 8 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
461.83/462.04 c 424s| 2400k| 2151k| 0 | 0.0 | 911M| 177 | - | 198 | 8 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
463.62/463.88 c 426s| 2410k| 2161k| 0 | 0.0 | 914M| 177 | - | 198 | 8 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
465.43/465.69 c 428s| 2420k| 2171k| 0 | 0.0 | 918M| 177 | - | 198 | 8 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
467.33/467.51 c 429s| 2430k| 2181k| 0 | 0.0 | 921M| 177 | - | 198 | 8 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
469.13/469.35 c 431s| 2440k| 2191k| 0 | 0.0 | 925M| 177 | - | 198 | 8 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
471.02/471.22 c 433s| 2450k| 2200k| 0 | 0.0 | 928M| 177 | - | 198 | 8 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
472.83/473.04 c 434s| 2460k| 2210k| 0 | 0.0 | 932M| 177 | - | 198 | 8 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
474.62/474.83 c 436s| 2470k| 2220k| 0 | 0.0 | 935M| 177 | - | 198 | 8 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
476.42/476.66 c 438s| 2480k| 2230k| 0 | 0.0 | 939M| 177 | - | 198 | 8 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
478.23/478.44 c 439s| 2490k| 2240k| 0 | 0.0 | 942M| 177 | - | 198 | 8 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
480.02/480.24 c 441s| 2500k| 2250k| 0 | 0.0 | 946M| 177 | - | 198 | 8 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
481.82/482.04 c 443s| 2510k| 2260k| 0 | 0.0 | 949M| 177 | - | 198 | 8 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
483.62/483.83 c 444s| 2520k| 2269k| 0 | 0.0 | 953M| 177 | - | 198 | 8 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
485.42/485.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
485.42/485.63 c 446s| 2530k| 2279k| 0 | 0.0 | 956M| 177 | - | 198 | 8 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
487.21/487.40 c 448s| 2540k| 2289k| 0 | 0.0 | 960M| 177 | - | 198 | 8 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 1.310000e+03 | Inf
488.42/488.61 o 1137
488.42/488.61 c * 449s| 2540k| 2001k| 0 | 0.0 | 854M| 177 | - | 198 | 8 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 1.137000e+03 | Inf
490.22/490.49 c 451s| 2550k| 2011k| 0 | 0.0 | 858M| 177 | - | 198 | 8 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | 1.137000e+03 | Inf
492.22/492.43 c 452s| 2560k| 2020k| 0 | 0.0 | 861M| 177 | - | 198 | 8 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | 1.137000e+03 | Inf
494.12/494.36 c 454s| 2570k| 2030k| 0 | 0.0 | 865M| 177 | - | 198 | 8 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | 1.137000e+03 | Inf
495.92/496.13 c 456s| 2580k| 2040k| 0 | 0.0 | 868M| 177 | - | 198 | 8 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | 1.137000e+03 | Inf
497.61/497.89 c 457s| 2590k| 2050k| 0 | 0.0 | 872M| 177 | - | 198 | 8 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | 1.137000e+03 | Inf
499.52/499.71 c 459s| 2600k| 2059k| 0 | 0.0 | 875M| 177 | - | 198 | 8 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | 1.137000e+03 | Inf
501.32/501.53 c 461s| 2610k| 2069k| 0 | 0.0 | 879M| 177 | - | 198 | 8 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | 1.137000e+03 | Inf
503.11/503.37 c 462s| 2620k| 2079k| 0 | 0.0 | 882M| 177 | - | 198 | 8 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | 1.137000e+03 | Inf
505.01/505.27 c 464s| 2630k| 2089k| 0 | 0.0 | 886M| 177 | - | 198 | 8 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | 1.137000e+03 | Inf
506.92/507.19 c 466s| 2640k| 2098k| 0 | 0.0 | 890M| 177 | - | 198 | 8 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | 1.137000e+03 | Inf
508.91/509.14 c 468s| 2650k| 2108k| 0 | 0.0 | 893M| 177 | - | 198 | 8 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | 1.137000e+03 | Inf
510.81/511.09 c 470s| 2660k| 2117k| 0 | 0.0 | 897M| 177 | - | 198 | 8 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | 1.137000e+03 | Inf
512.81/513.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
512.81/513.03 c 471s| 2670k| 2127k| 0 | 0.0 | 900M| 177 | - | 198 | 8 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | 1.137000e+03 | Inf
514.52/514.80 c 473s| 2680k| 2137k| 0 | 0.0 | 904M| 177 | - | 198 | 8 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | 1.137000e+03 | Inf
516.51/516.75 c 475s| 2690k| 2146k| 0 | 0.0 | 907M| 177 | - | 198 | 8 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | 1.137000e+03 | Inf
518.51/518.70 c 477s| 2700k| 2156k| 0 | 0.0 | 911M| 177 | - | 198 | 8 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | 1.137000e+03 | Inf
520.41/520.61 c 478s| 2710k| 2165k| 0 | 0.0 | 914M| 177 | - | 198 | 8 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | 1.137000e+03 | Inf
522.31/522.51 c 480s| 2720k| 2175k| 0 | 0.0 | 918M| 177 | - | 198 | 8 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | 1.137000e+03 | Inf
524.11/524.38 c 482s| 2730k| 2185k| 0 | 0.0 | 922M| 177 | - | 198 | 8 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | 1.137000e+03 | Inf
526.00/526.24 c 484s| 2740k| 2195k| 0 | 0.0 | 925M| 177 | - | 198 | 8 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | 1.137000e+03 | Inf
527.82/528.06 c 485s| 2750k| 2204k| 0 | 0.0 | 929M| 177 | - | 198 | 8 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | 1.137000e+03 | Inf
529.61/529.86 c 487s| 2760k| 2214k| 0 | 0.0 | 932M| 177 | - | 198 | 8 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | 1.137000e+03 | Inf
531.40/531.69 c 489s| 2770k| 2224k| 0 | 0.0 | 936M| 177 | - | 198 | 8 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | 1.137000e+03 | Inf
533.31/533.53 c 490s| 2780k| 2234k| 0 | 0.0 | 939M| 177 | - | 198 | 8 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | 1.137000e+03 | Inf
535.21/535.45 c 492s| 2790k| 2244k| 0 | 0.0 | 943M| 177 | - | 198 | 8 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | 1.137000e+03 | Inf
537.11/537.37 c 494s| 2800k| 2253k| 0 | 0.0 | 946M| 177 | - | 198 | 8 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | 1.137000e+03 | Inf
539.00/539.29 c 496s| 2810k| 2263k| 0 | 0.0 | 950M| 177 | - | 198 | 8 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | 1.137000e+03 | Inf
541.01/541.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
541.01/541.28 c 497s| 2820k| 2272k| 0 | 0.0 | 954M| 177 | - | 198 | 8 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | 1.137000e+03 | Inf
543.00/543.24 c 499s| 2830k| 2282k| 0 | 0.0 | 957M| 177 | - | 198 | 8 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | 1.137000e+03 | Inf
545.00/545.20 c 501s| 2840k| 2291k| 0 | 0.0 | 961M| 177 | - | 198 | 8 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | 1.137000e+03 | Inf
546.90/547.18 c 503s| 2850k| 2301k| 0 | 0.0 | 964M| 177 | - | 198 | 8 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | 1.137000e+03 | Inf
548.80/549.03 c 505s| 2860k| 2311k| 0 | 0.0 | 968M| 177 | - | 198 | 8 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | 1.137000e+03 | Inf
550.70/550.91 c 506s| 2870k| 2320k| 0 | 0.0 | 972M| 177 | - | 198 | 8 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | 1.137000e+03 | Inf
552.60/552.81 c 508s| 2880k| 2330k| 0 | 0.0 | 975M| 177 | - | 198 | 8 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | 1.137000e+03 | Inf
554.50/554.73 c 510s| 2890k| 2340k| 0 | 0.0 | 979M| 177 | - | 198 | 8 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | 1.137000e+03 | Inf
556.41/556.65 c 512s| 2900k| 2349k| 0 | 0.0 | 982M| 177 | - | 198 | 8 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | 1.137000e+03 | Inf
558.30/558.57 c 513s| 2910k| 2359k| 0 | 0.0 | 986M| 177 | - | 198 | 8 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | 1.137000e+03 | Inf
558.99/559.30 o 1136
558.99/559.30 c * 514s| 2913k| 2356k| 0 | 0.0 | 984M| 177 | - | 198 | 8 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | 1.136000e+03 | Inf
560.50/560.71 c 515s| 2920k| 2362k| 0 | 0.0 | 987M| 177 | - | 198 | 8 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | 1.136000e+03 | Inf
562.39/562.61 c 517s| 2930k| 2372k| 0 | 0.0 | 991M| 177 | - | 198 | 8 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | 1.136000e+03 | Inf
564.30/564.58 c 519s| 2940k| 2382k| 0 | 0.0 | 994M| 177 | - | 198 | 8 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | 1.136000e+03 | Inf
566.30/566.53 c 521s| 2950k| 2391k| 0 | 0.0 | 998M| 177 | - | 198 | 8 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | 1.136000e+03 | Inf
568.29/568.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
568.29/568.50 c 523s| 2960k| 2401k| 0 | 0.0 |1001M| 177 | - | 198 | 8 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | 1.136000e+03 | Inf
570.20/570.46 c 524s| 2970k| 2410k| 0 | 0.0 |1005M| 177 | - | 198 | 8 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | 1.136000e+03 | Inf
572.19/572.49 c 526s| 2980k| 2419k| 0 | 0.0 |1009M| 177 | - | 198 | 8 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | 1.136000e+03 | Inf
574.19/574.49 c 528s| 2990k| 2429k| 0 | 0.0 |1012M| 177 | - | 198 | 8 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | 1.136000e+03 | Inf
576.20/576.44 c 530s| 3000k| 2438k| 0 | 0.0 |1016M| 177 | - | 198 | 8 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | 1.136000e+03 | Inf
578.09/578.39 c 532s| 3010k| 2448k| 0 | 0.0 |1019M| 177 | - | 198 | 8 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | 1.136000e+03 | Inf
580.19/580.42 c 534s| 3020k| 2458k| 0 | 0.0 |1023M| 177 | - | 198 | 8 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | 1.136000e+03 | Inf
582.09/582.33 c 535s| 3030k| 2467k| 0 | 0.0 |1027M| 177 | - | 198 | 8 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | 1.136000e+03 | Inf
583.99/584.26 c 537s| 3040k| 2477k| 0 | 0.0 |1030M| 177 | - | 198 | 8 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | 1.136000e+03 | Inf
585.99/586.26 c 539s| 3050k| 2486k| 0 | 0.0 |1034M| 177 | - | 198 | 8 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | 1.136000e+03 | Inf
587.89/588.15 c 541s| 3060k| 2496k| 0 | 0.0 |1038M| 177 | - | 198 | 8 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | 1.136000e+03 | Inf
589.89/590.14 c 542s| 3070k| 2505k| 0 | 0.0 |1041M| 177 | - | 198 | 8 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | 1.136000e+03 | Inf
591.89/592.11 c 544s| 3080k| 2515k| 0 | 0.0 |1045M| 177 | - | 198 | 8 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | 1.136000e+03 | Inf
593.79/594.02 c 546s| 3090k| 2525k| 0 | 0.0 |1048M| 177 | - | 198 | 8 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | 1.136000e+03 | Inf
595.59/595.84 c 548s| 3100k| 2534k| 0 | 0.0 |1052M| 177 | - | 198 | 8 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | 1.136000e+03 | Inf
597.38/597.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
597.38/597.65 c 549s| 3110k| 2544k| 0 | 0.0 |1056M| 177 | - | 198 | 8 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | 1.136000e+03 | Inf
599.19/599.48 c 551s| 3120k| 2554k| 0 | 0.0 |1059M| 177 | - | 198 | 8 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | 1.136000e+03 | Inf
600.99/601.28 c 553s| 3130k| 2564k| 0 | 0.0 |1063M| 177 | - | 198 | 8 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | 1.136000e+03 | Inf
602.88/603.11 c 554s| 3140k| 2574k| 0 | 0.0 |1067M| 177 | - | 198 | 8 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | 1.136000e+03 | Inf
604.79/605.01 c 556s| 3150k| 2583k| 0 | 0.0 |1070M| 177 | - | 198 | 8 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | 1.136000e+03 | Inf
606.58/606.85 c 558s| 3160k| 2593k| 0 | 0.0 |1074M| 177 | - | 198 | 8 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | 1.136000e+03 | Inf
608.38/608.60 c 559s| 3170k| 2603k| 0 | 0.0 |1078M| 177 | - | 198 | 8 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | 1.136000e+03 | Inf
610.08/610.35 c 561s| 3180k| 2613k| 0 | 0.0 |1081M| 177 | - | 198 | 8 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | 1.136000e+03 | Inf
611.88/612.11 c 563s| 3190k| 2623k| 0 | 0.0 |1085M| 177 | - | 198 | 8 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | 1.136000e+03 | Inf
613.58/613.89 c 564s| 3200k| 2633k| 0 | 0.0 |1088M| 177 | - | 198 | 8 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | 1.136000e+03 | Inf
615.38/615.66 c 566s| 3210k| 2642k| 0 | 0.0 |1092M| 177 | - | 198 | 8 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | 1.136000e+03 | Inf
617.18/617.49 o 1135
617.18/617.49 c * 568s| 3219k| 2650k| 0 | 0.0 |1095M| 177 | - | 198 | 8 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | 1.135000e+03 | Inf
617.27/617.52 c 568s| 3220k| 2650k| 0 | 0.0 |1095M| 177 | - | 198 | 8 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | 1.135000e+03 | Inf
618.99/619.27 c 569s| 3230k| 2660k| 0 | 0.0 |1098M| 177 | - | 198 | 8 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | 1.135000e+03 | Inf
620.88/621.12 c 571s| 3240k| 2670k| 0 | 0.0 |1102M| 177 | - | 198 | 8 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | 1.135000e+03 | Inf
622.67/622.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
622.67/622.92 c 573s| 3250k| 2679k| 0 | 0.0 |1105M| 177 | - | 198 | 8 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | 1.135000e+03 | Inf
624.58/624.82 c 574s| 3260k| 2689k| 0 | 0.0 |1109M| 177 | - | 198 | 8 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | 1.135000e+03 | Inf
626.48/626.70 c 576s| 3270k| 2699k| 0 | 0.0 |1112M| 177 | - | 198 | 8 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | 1.135000e+03 | Inf
628.27/628.59 c 578s| 3280k| 2709k| 0 | 0.0 |1116M| 177 | - | 198 | 8 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | 1.135000e+03 | Inf
630.27/630.50 c 580s| 3290k| 2718k| 0 | 0.0 |1120M| 177 | - | 198 | 8 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | 1.135000e+03 | Inf
632.08/632.39 c 581s| 3300k| 2728k| 0 | 0.0 |1123M| 177 | - | 198 | 8 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | 1.135000e+03 | Inf
634.07/634.37 c 583s| 3310k| 2737k| 0 | 0.0 |1127M| 177 | - | 198 | 8 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | 1.135000e+03 | Inf
635.77/636.09 c 585s| 3320k| 2747k| 0 | 0.0 |1131M| 177 | - | 198 | 8 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | 1.135000e+03 | Inf
637.68/637.92 c 586s| 3330k| 2757k| 0 | 0.0 |1134M| 177 | - | 198 | 8 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | 1.135000e+03 | Inf
639.37/639.69 c 588s| 3340k| 2767k| 0 | 0.0 |1138M| 177 | - | 198 | 8 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | 1.135000e+03 | Inf
641.27/641.56 c 590s| 3350k| 2777k| 0 | 0.0 |1142M| 177 | - | 198 | 8 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | 1.135000e+03 | Inf
643.07/643.39 c 591s| 3360k| 2786k| 0 | 0.0 |1145M| 177 | - | 198 | 8 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | 1.135000e+03 | Inf
644.87/645.19 c 593s| 3370k| 2796k| 0 | 0.0 |1149M| 177 | - | 198 | 8 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | 1.135000e+03 | Inf
646.87/647.16 c 595s| 3380k| 2806k| 0 | 0.0 |1153M| 177 | - | 198 | 8 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | 1.135000e+03 | Inf
648.87/649.14 c 597s| 3390k| 2815k| 0 | 0.0 |1157M| 177 | - | 198 | 8 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | 1.135000e+03 | Inf
650.57/650.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
650.57/650.89 c 598s| 3400k| 2825k| 0 | 0.0 |1160M| 177 | - | 198 | 8 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | 1.135000e+03 | Inf
652.47/652.72 c 600s| 3410k| 2835k| 0 | 0.0 |1164M| 177 | - | 198 | 8 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | 1.135000e+03 | Inf
654.17/654.50 c 602s| 3420k| 2845k| 0 | 0.0 |1167M| 177 | - | 198 | 8 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | 1.135000e+03 | Inf
655.97/656.27 c 603s| 3430k| 2854k| 0 | 0.0 |1171M| 177 | - | 198 | 8 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | 1.135000e+03 | Inf
657.87/658.12 c 605s| 3440k| 2864k| 0 | 0.0 |1175M| 177 | - | 198 | 8 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | 1.135000e+03 | Inf
659.87/660.11 c 607s| 3450k| 2874k| 0 | 0.0 |1179M| 177 | - | 198 | 8 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | 1.135000e+03 | Inf
661.87/662.10 c 609s| 3460k| 2883k| 0 | 0.0 |1182M| 177 | - | 198 | 8 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | 1.135000e+03 | Inf
663.76/664.09 c 610s| 3470k| 2892k| 0 | 0.0 |1186M| 177 | - | 198 | 8 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | 1.135000e+03 | Inf
665.87/666.13 c 612s| 3480k| 2902k| 0 | 0.0 |1190M| 177 | - | 198 | 8 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | 1.135000e+03 | Inf
667.86/668.17 c 614s| 3490k| 2911k| 0 | 0.0 |1193M| 177 | - | 198 | 8 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | 1.135000e+03 | Inf
669.87/670.16 c 616s| 3500k| 2921k| 0 | 0.0 |1197M| 177 | - | 198 | 8 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | 1.135000e+03 | Inf
671.87/672.17 c 618s| 3510k| 2930k| 0 | 0.0 |1201M| 177 | - | 198 | 8 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | 1.135000e+03 | Inf
673.87/674.15 c 620s| 3520k| 2939k| 0 | 0.0 |1204M| 177 | - | 198 | 8 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | 1.135000e+03 | Inf
675.86/676.14 c 622s| 3530k| 2949k| 0 | 0.0 |1208M| 177 | - | 198 | 8 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | 1.135000e+03 | Inf
677.86/678.12 c 623s| 3540k| 2958k| 0 | 0.0 |1212M| 177 | - | 198 | 8 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | 1.135000e+03 | Inf
679.85/680.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
679.85/680.13 c 625s| 3550k| 2968k| 0 | 0.0 |1215M| 177 | - | 198 | 8 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | 1.135000e+03 | Inf
681.86/682.15 c 627s| 3560k| 2977k| 0 | 0.0 |1219M| 177 | - | 198 | 8 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | 1.135000e+03 | Inf
683.87/684.15 c 629s| 3570k| 2987k| 0 | 0.0 |1223M| 177 | - | 198 | 8 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | 1.135000e+03 | Inf
685.96/686.23 c 631s| 3580k| 2996k| 0 | 0.0 |1227M| 177 | - | 198 | 8 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | 1.135000e+03 | Inf
687.96/688.27 c 633s| 3590k| 3005k| 0 | 0.0 |1230M| 177 | - | 198 | 8 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | 1.135000e+03 | Inf
689.96/690.20 c 635s| 3600k| 3015k| 0 | 0.0 |1234M| 177 | - | 198 | 8 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | 1.135000e+03 | Inf
691.67/691.96 c 636s| 3610k| 3025k| 0 | 0.0 |1238M| 177 | - | 198 | 8 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | 1.135000e+03 | Inf
693.56/693.81 c 638s| 3620k| 3034k| 0 | 0.0 |1241M| 177 | - | 198 | 8 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | 1.135000e+03 | Inf
695.35/695.61 c 640s| 3630k| 3044k| 0 | 0.0 |1245M| 177 | - | 198 | 8 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | 1.135000e+03 | Inf
697.17/697.45 c 641s| 3640k| 3054k| 0 | 0.0 |1249M| 177 | - | 198 | 8 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | 1.135000e+03 | Inf
698.96/699.23 c 643s| 3650k| 3064k| 0 | 0.0 |1252M| 177 | - | 198 | 8 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | 1.135000e+03 | Inf
700.66/700.99 c 644s| 3660k| 3074k| 0 | 0.0 |1256M| 177 | - | 198 | 8 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | 1.135000e+03 | Inf
702.45/702.79 c 646s| 3670k| 3084k| 0 | 0.0 |1260M| 177 | - | 198 | 8 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | 1.135000e+03 | Inf
704.25/704.59 c 648s| 3680k| 3093k| 0 | 0.0 |1263M| 177 | - | 198 | 8 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | 1.135000e+03 | Inf
706.16/706.40 c 649s| 3690k| 3103k| 0 | 0.0 |1267M| 177 | - | 198 | 8 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | 1.135000e+03 | Inf
714.25/714.57 o 286
714.25/714.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
714.25/714.57 c * 658s| 3690k| 1581k| 0 | 0.0 | 524M| 177 | - | 198 | 8 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
716.95/717.25 c 660s| 3700k| 1586k| 0 | 0.0 | 527M| 177 | - | 198 | 8 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
719.85/720.19 c 663s| 3710k| 1593k| 0 | 0.0 | 530M| 177 | - | 198 | 8 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
722.85/723.13 c 666s| 3720k| 1600k| 0 | 0.0 | 533M| 177 | - | 198 | 8 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
725.85/726.14 c 668s| 3730k| 1606k| 0 | 0.0 | 536M| 177 | - | 198 | 8 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
729.24/729.50 c 672s| 3740k| 1611k| 0 | 0.0 | 539M| 177 | - | 198 | 8 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
732.44/732.73 c 675s| 3750k| 1617k| 0 | 0.0 | 541M| 177 | - | 198 | 8 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
735.55/735.83 c 678s| 3760k| 1623k| 0 | 0.0 | 544M| 177 | - | 198 | 8 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
738.64/738.93 c 681s| 3770k| 1629k| 0 | 0.0 | 547M| 177 | - | 198 | 8 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
741.64/741.99 c 683s| 3780k| 1635k| 0 | 0.0 | 550M| 177 | - | 198 | 8 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
744.74/745.07 c 686s| 3790k| 1641k| 0 | 0.0 | 553M| 177 | - | 198 | 8 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
747.84/748.10 c 689s| 3800k| 1647k| 0 | 0.0 | 556M| 177 | - | 198 | 8 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
750.74/751.07 c 692s| 3810k| 1654k| 0 | 0.0 | 559M| 177 | - | 198 | 8 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
753.73/754.08 c 695s| 3820k| 1660k| 0 | 0.0 | 562M| 177 | - | 198 | 8 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
756.64/756.98 c 698s| 3830k| 1666k| 0 | 0.0 | 565M| 177 | - | 198 | 10 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
759.75/760.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
759.75/760.04 c 700s| 3840k| 1672k| 0 | 0.0 | 567M| 177 | - | 198 | 8 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
762.74/763.00 c 703s| 3850k| 1679k| 0 | 0.0 | 570M| 177 | - | 198 | 8 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
765.63/765.94 c 706s| 3860k| 1685k| 0 | 0.0 | 573M| 177 | - | 198 | 8 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
768.64/768.98 c 709s| 3870k| 1691k| 0 | 0.0 | 576M| 177 | - | 198 | 8 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
771.73/772.00 c 712s| 3880k| 1697k| 0 | 0.0 | 579M| 177 | - | 198 | 8 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
774.83/775.12 c 715s| 3890k| 1703k| 0 | 0.0 | 582M| 177 | - | 198 | 8 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
777.83/778.18 c 718s| 3900k| 1709k| 0 | 0.0 | 585M| 177 | - | 198 | 8 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
780.93/781.21 c 720s| 3910k| 1716k| 0 | 0.0 | 588M| 177 | - | 198 | 8 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
783.93/784.23 c 723s| 3920k| 1722k| 0 | 0.0 | 591M| 177 | - | 198 | 8 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
786.93/787.21 c 726s| 3930k| 1728k| 0 | 0.0 | 594M| 177 | - | 198 | 8 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
789.93/790.22 c 729s| 3940k| 1735k| 0 | 0.0 | 597M| 177 | - | 198 | 8 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
792.92/793.24 c 732s| 3950k| 1741k| 0 | 0.0 | 601M| 177 | - | 198 | 8 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
795.92/796.23 c 735s| 3960k| 1747k| 0 | 0.0 | 604M| 177 | - | 198 | 8 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
798.92/799.29 c 738s| 3970k| 1753k| 0 | 0.0 | 607M| 177 | - | 198 | 8 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
801.92/802.29 c 740s| 3980k| 1760k| 0 | 0.0 | 610M| 177 | - | 198 | 8 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
805.03/805.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
805.03/805.36 c 743s| 3990k| 1766k| 0 | 0.0 | 613M| 177 | - | 198 | 8 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
808.02/808.37 c 746s| 4000k| 1772k| 0 | 0.0 | 616M| 177 | - | 198 | 8 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
811.12/811.44 c 749s| 4010k| 1778k| 0 | 0.0 | 619M| 177 | - | 198 | 8 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
814.12/814.49 c 752s| 4020k| 1784k| 0 | 0.0 | 622M| 177 | - | 198 | 9 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
817.21/817.54 c 755s| 4030k| 1790k| 0 | 0.0 | 625M| 177 | - | 198 | 8 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
820.23/820.53 c 758s| 4040k| 1796k| 0 | 0.0 | 628M| 177 | - | 198 | 8 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
823.22/823.55 c 760s| 4050k| 1802k| 0 | 0.0 | 631M| 177 | - | 198 | 8 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
826.41/826.71 c 763s| 4060k| 1808k| 0 | 0.0 | 634M| 177 | - | 198 | 8 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
829.42/829.73 c 766s| 4070k| 1814k| 0 | 0.0 | 636M| 177 | - | 198 | 8 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
832.51/832.81 c 769s| 4080k| 1820k| 0 | 0.0 | 639M| 177 | - | 198 | 8 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
835.62/835.92 c 772s| 4090k| 1826k| 0 | 0.0 | 642M| 177 | - | 198 | 8 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
838.51/838.85 c 775s| 4100k| 1832k| 0 | 0.0 | 646M| 177 | - | 198 | 8 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
841.61/841.94 c 778s| 4110k| 1838k| 0 | 0.0 | 649M| 177 | - | 198 | 8 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
844.61/844.95 c 781s| 4120k| 1844k| 0 | 0.0 | 651M| 177 | - | 198 | 8 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
847.60/847.95 c 783s| 4130k| 1850k| 0 | 0.0 | 655M| 177 | - | 198 | 8 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
850.61/850.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
850.61/850.98 c 786s| 4140k| 1857k| 0 | 0.0 | 658M| 177 | - | 198 | 9 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
853.71/854.06 c 789s| 4150k| 1862k| 0 | 0.0 | 660M| 177 | - | 198 | 8 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
856.71/857.07 c 792s| 4160k| 1869k| 0 | 0.0 | 663M| 177 | - | 198 | 8 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
859.71/860.02 c 795s| 4170k| 1875k| 0 | 0.0 | 666M| 177 | - | 198 | 8 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
862.81/863.13 c 798s| 4180k| 1881k| 0 | 0.0 | 669M| 177 | - | 198 | 9 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
865.91/866.21 c 801s| 4190k| 1887k| 0 | 0.0 | 672M| 177 | - | 198 | 9 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
869.00/869.32 c 803s| 4200k| 1893k| 0 | 0.0 | 675M| 177 | - | 198 | 9 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
872.01/872.37 c 806s| 4210k| 1899k| 0 | 0.0 | 678M| 177 | - | 198 | 9 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
875.21/875.56 c 809s| 4220k| 1905k| 0 | 0.0 | 681M| 177 | - | 198 | 9 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
878.20/878.60 c 812s| 4230k| 1911k| 0 | 0.0 | 684M| 177 | - | 198 | 9 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
881.30/881.67 c 815s| 4240k| 1917k| 0 | 0.0 | 687M| 177 | - | 198 | 8 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
884.40/884.70 c 818s| 4250k| 1923k| 0 | 0.0 | 690M| 177 | - | 198 | 9 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
887.40/887.79 c 821s| 4260k| 1929k| 0 | 0.0 | 693M| 177 | - | 198 | 9 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
890.50/890.88 c 824s| 4270k| 1936k| 0 | 0.0 | 696M| 177 | - | 198 | 9 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
893.59/893.94 c 827s| 4280k| 1942k| 0 | 0.0 | 699M| 177 | - | 198 | 9 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
896.60/896.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
896.60/896.98 c 830s| 4290k| 1948k| 0 | 0.0 | 702M| 177 | - | 198 | 9 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
899.69/900.08 c 832s| 4300k| 1954k| 0 | 0.0 | 705M| 177 | - | 198 | 8 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
902.80/903.15 c 835s| 4310k| 1961k| 0 | 0.0 | 708M| 177 | - | 198 | 8 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
905.89/906.28 c 838s| 4320k| 1967k| 0 | 0.0 | 711M| 177 | - | 198 | 9 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
909.09/909.42 c 841s| 4330k| 1973k| 0 | 0.0 | 714M| 177 | - | 198 | 9 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
912.19/912.51 c 844s| 4340k| 1979k| 0 | 0.0 | 717M| 177 | - | 198 | 8 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
915.29/915.65 c 847s| 4350k| 1985k| 0 | 0.0 | 720M| 177 | - | 198 | 8 | 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
918.38/918.79 c 850s| 4360k| 1991k| 0 | 0.0 | 723M| 177 | - | 198 | 8 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
921.49/921.88 c 853s| 4370k| 1996k| 0 | 0.0 | 726M| 177 | - | 198 | 8 | 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
924.58/924.98 c 856s| 4380k| 2002k| 0 | 0.0 | 729M| 177 | - | 198 | 8 | 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
927.69/928.07 c 859s| 4390k| 2008k| 0 | 0.0 | 732M| 177 | - | 198 | 8 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
930.79/931.18 c 862s| 4400k| 2014k| 0 | 0.0 | 735M| 177 | - | 198 | 8 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
933.88/934.29 c 865s| 4410k| 2020k| 0 | 0.0 | 738M| 177 | - | 198 | 8 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
936.98/937.35 c 868s| 4420k| 2025k| 0 | 0.0 | 741M| 177 | - | 198 | 8 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
939.98/940.34 c 870s| 4430k| 2031k| 0 | 0.0 | 744M| 177 | - | 198 | 8 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
942.98/943.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
942.98/943.32 c 873s| 4440k| 2037k| 0 | 0.0 | 747M| 177 | - | 198 | 9 | 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
946.08/946.46 c 876s| 4450k| 2043k| 0 | 0.0 | 750M| 177 | - | 198 | 8 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
949.28/949.61 c 879s| 4460k| 2049k| 0 | 0.0 | 753M| 177 | - | 198 | 10 | 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
952.28/952.64 c 882s| 4470k| 2055k| 0 | 0.0 | 756M| 177 | - | 198 | 10 | 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
955.37/955.73 c 885s| 4480k| 2061k| 0 | 0.0 | 759M| 177 | - | 198 | 10 | 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
958.37/958.76 c 888s| 4490k| 2067k| 0 | 0.0 | 762M| 177 | - | 198 | 10 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
961.37/961.76 c 891s| 4500k| 2073k| 0 | 0.0 | 765M| 177 | - | 198 | 11 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
964.57/964.90 c 894s| 4510k| 2079k| 0 | 0.0 | 768M| 177 | - | 198 | 11 | 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
967.68/968.08 c 897s| 4520k| 2084k| 0 | 0.0 | 770M| 177 | - | 198 | 13 | 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
970.88/971.28 c 900s| 4530k| 2090k| 0 | 0.0 | 773M| 177 | - | 198 | 12 | 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
973.97/974.39 c 903s| 4540k| 2095k| 0 | 0.0 | 776M| 177 | - | 198 | 11 | 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
977.16/977.54 c 906s| 4550k| 2101k| 0 | 0.0 | 779M| 177 | - | 198 | 9 | 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
980.37/980.71 c 908s| 4560k| 2107k| 0 | 0.0 | 782M| 177 | - | 198 | 11 | 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
983.57/983.95 c 912s| 4570k| 2112k| 0 | 0.0 | 785M| 177 | - | 198 | 11 | 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
986.76/987.17 c 915s| 4580k| 2118k| 0 | 0.0 | 788M| 177 | - | 198 | 11 | 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
989.96/990.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
989.96/990.39 c 918s| 4590k| 2123k| 0 | 0.0 | 791M| 177 | - | 198 | 11 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
993.16/993.56 c 921s| 4600k| 2129k| 0 | 0.0 | 794M| 177 | - | 198 | 11 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
996.26/996.69 c 924s| 4610k| 2135k| 0 | 0.0 | 797M| 177 | - | 198 | 11 | 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
999.46/999.84 c 927s| 4620k| 2141k| 0 | 0.0 | 800M| 177 | - | 198 | 12 | 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1002.56/1002.91 c 929s| 4630k| 2147k| 0 | 0.0 | 803M| 177 | - | 198 | 11 | 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1005.75/1006.11 c 932s| 4640k| 2153k| 0 | 0.0 | 806M| 177 | - | 198 | 11 | 0 | 0 | 0 | 312k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1008.95/1009.32 c 935s| 4650k| 2159k| 0 | 0.0 | 809M| 177 | - | 198 | 10 | 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1012.15/1012.52 c 939s| 4660k| 2165k| 0 | 0.0 | 812M| 177 | - | 198 | 10 | 0 | 0 | 0 | 317k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1015.25/1015.64 c 941s| 4670k| 2171k| 0 | 0.0 | 815M| 177 | - | 198 | 10 | 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1018.45/1018.82 c 944s| 4680k| 2177k| 0 | 0.0 | 818M| 177 | - | 198 | 9 | 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1021.56/1021.95 c 947s| 4690k| 2183k| 0 | 0.0 | 821M| 177 | - | 198 | 9 | 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1024.55/1024.99 c 950s| 4700k| 2189k| 0 | 0.0 | 824M| 177 | - | 198 | 9 | 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1027.65/1028.08 c 953s| 4710k| 2195k| 0 | 0.0 | 827M| 177 | - | 198 | 9 | 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1030.75/1031.18 c 956s| 4720k| 2201k| 0 | 0.0 | 830M| 177 | - | 198 | 9 | 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1033.85/1034.25 c 959s| 4730k| 2207k| 0 | 0.0 | 833M| 177 | - | 198 | 9 | 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1036.85/1037.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1036.85/1037.25 c 962s| 4740k| 2213k| 0 | 0.0 | 837M| 177 | - | 198 | 9 | 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1039.94/1040.37 c 965s| 4750k| 2219k| 0 | 0.0 | 840M| 177 | - | 198 | 10 | 0 | 0 | 0 | 336k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1043.04/1043.43 c 968s| 4760k| 2224k| 0 | 0.0 | 843M| 177 | - | 198 | 10 | 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1046.15/1046.56 c 971s| 4770k| 2230k| 0 | 0.0 | 846M| 177 | - | 198 | 10 | 0 | 0 | 0 | 341k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1049.34/1049.71 c 974s| 4780k| 2236k| 0 | 0.0 | 849M| 177 | - | 198 | 10 | 0 | 0 | 0 | 343k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1052.55/1052.92 c 977s| 4790k| 2241k| 0 | 0.0 | 852M| 177 | - | 198 | 10 | 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1055.74/1056.10 c 980s| 4800k| 2247k| 0 | 0.0 | 855M| 177 | - | 198 | 10 | 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1058.85/1059.24 c 983s| 4810k| 2253k| 0 | 0.0 | 858M| 177 | - | 198 | 10 | 0 | 0 | 0 | 350k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1062.04/1062.47 c 986s| 4820k| 2258k| 0 | 0.0 | 861M| 177 | - | 198 | 10 | 0 | 0 | 0 | 352k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1065.14/1065.58 c 988s| 4830k| 2263k| 0 | 0.0 | 864M| 177 | - | 198 | 10 | 0 | 0 | 0 | 355k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1068.54/1068.92 c 992s| 4840k| 2268k| 0 | 0.0 | 867M| 177 | - | 198 | 9 | 0 | 0 | 0 | 357k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1071.83/1072.22 c 995s| 4850k| 2273k| 0 | 0.0 | 869M| 177 | - | 198 | 9 | 0 | 0 | 0 | 360k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1075.23/1075.62 c 998s| 4860k| 2278k| 0 | 0.0 | 872M| 177 | - | 198 | 9 | 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1078.53/1078.96 c 1001s| 4870k| 2283k| 0 | 0.0 | 875M| 177 | - | 198 | 9 | 0 | 0 | 0 | 365k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1081.74/1082.16 c 1004s| 4880k| 2289k| 0 | 0.0 | 878M| 177 | - | 198 | 9 | 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1084.83/1085.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1084.83/1085.26 c 1007s| 4890k| 2294k| 0 | 0.0 | 881M| 177 | - | 198 | 9 | 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1088.03/1088.48 c 1010s| 4900k| 2300k| 0 | 0.0 | 884M| 177 | - | 198 | 9 | 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1091.22/1091.63 c 1013s| 4910k| 2305k| 0 | 0.0 | 887M| 177 | - | 198 | 9 | 0 | 0 | 0 | 375k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1094.33/1094.79 c 1016s| 4920k| 2311k| 0 | 0.0 | 890M| 177 | - | 198 | 9 | 0 | 0 | 0 | 377k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1097.62/1098.06 c 1019s| 4930k| 2316k| 0 | 0.0 | 893M| 177 | - | 198 | 9 | 0 | 0 | 0 | 379k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1100.82/1101.20 c 1022s| 4940k| 2321k| 0 | 0.0 | 896M| 177 | - | 198 | 9 | 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1103.94/1104.30 c 1025s| 4950k| 2327k| 0 | 0.0 | 899M| 177 | - | 198 | 10 | 0 | 0 | 0 | 384k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1107.02/1107.48 c 1028s| 4960k| 2332k| 0 | 0.0 | 902M| 177 | - | 198 | 10 | 0 | 0 | 0 | 386k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1110.22/1110.66 c 1031s| 4970k| 2337k| 0 | 0.0 | 905M| 177 | - | 198 | 10 | 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1113.52/1113.91 c 1034s| 4980k| 2342k| 0 | 0.0 | 908M| 177 | - | 198 | 10 | 0 | 0 | 0 | 392k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1116.71/1117.19 c 1037s| 4990k| 2348k| 0 | 0.0 | 910M| 177 | - | 198 | 10 | 0 | 0 | 0 | 394k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1120.12/1120.50 c 1040s| 5000k| 2353k| 0 | 0.0 | 913M| 177 | - | 198 | 10 | 0 | 0 | 0 | 397k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1123.32/1123.77 c 1043s| 5010k| 2358k| 0 | 0.0 | 916M| 177 | - | 198 | 11 | 0 | 0 | 0 | 399k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1126.51/1126.91 c 1046s| 5020k| 2363k| 0 | 0.0 | 919M| 177 | - | 198 | 11 | 0 | 0 | 0 | 402k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1129.71/1130.15 c 1049s| 5030k| 2368k| 0 | 0.0 | 922M| 177 | - | 198 | 10 | 0 | 0 | 0 | 404k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1132.91/1133.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1132.91/1133.30 c 1052s| 5040k| 2374k| 0 | 0.0 | 925M| 177 | - | 198 | 10 | 0 | 0 | 0 | 406k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1136.21/1136.61 c 1056s| 5050k| 2380k| 0 | 0.0 | 928M| 177 | - | 198 | 11 | 0 | 0 | 0 | 408k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1139.41/1139.89 c 1059s| 5060k| 2385k| 0 | 0.0 | 932M| 177 | - | 198 | 11 | 0 | 0 | 0 | 411k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1142.61/1143.04 c 1062s| 5070k| 2391k| 0 | 0.0 | 935M| 177 | - | 198 | 10 | 0 | 0 | 0 | 413k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1145.72/1146.18 c 1065s| 5080k| 2397k| 0 | 0.0 | 938M| 177 | - | 198 | 10 | 0 | 0 | 0 | 415k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1148.91/1149.33 c 1068s| 5090k| 2403k| 0 | 0.0 | 941M| 177 | - | 198 | 10 | 0 | 0 | 0 | 417k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1152.01/1152.44 c 1070s| 5100k| 2408k| 0 | 0.0 | 944M| 177 | - | 198 | 10 | 0 | 0 | 0 | 420k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1155.21/1155.65 c 1073s| 5110k| 2414k| 0 | 0.0 | 947M| 177 | - | 198 | 10 | 0 | 0 | 0 | 422k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1158.51/1158.94 c 1077s| 5120k| 2420k| 0 | 0.0 | 950M| 177 | - | 198 | 12 | 0 | 0 | 0 | 424k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1161.80/1162.25 c 1080s| 5130k| 2425k| 0 | 0.0 | 953M| 177 | - | 198 | 11 | 0 | 0 | 0 | 427k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1165.10/1165.51 c 1083s| 5140k| 2430k| 0 | 0.0 | 957M| 177 | - | 198 | 11 | 0 | 0 | 0 | 429k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1168.20/1168.69 c 1086s| 5150k| 2436k| 0 | 0.0 | 960M| 177 | - | 198 | 10 | 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1171.40/1171.83 c 1089s| 5160k| 2442k| 0 | 0.0 | 963M| 177 | - | 198 | 10 | 0 | 0 | 0 | 434k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1174.60/1175.09 c 1092s| 5170k| 2447k| 0 | 0.0 | 966M| 177 | - | 198 | 10 | 0 | 0 | 0 | 436k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1177.90/1178.31 c 1095s| 5180k| 2452k| 0 | 0.0 | 969M| 177 | - | 198 | 10 | 0 | 0 | 0 | 439k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1181.00/1181.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1181.00/1181.43 c 1098s| 5190k| 2458k| 0 | 0.0 | 972M| 177 | - | 198 | 10 | 0 | 0 | 0 | 441k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1184.21/1184.68 c 1101s| 5200k| 2464k| 0 | 0.0 | 975M| 177 | - | 198 | 10 | 0 | 0 | 0 | 443k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1187.50/1187.97 c 1104s| 5210k| 2469k| 0 | 0.0 | 978M| 177 | - | 198 | 10 | 0 | 0 | 0 | 445k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1190.80/1191.26 c 1107s| 5220k| 2474k| 0 | 0.0 | 981M| 177 | - | 198 | 10 | 0 | 0 | 0 | 448k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1193.99/1194.46 c 1110s| 5230k| 2480k| 0 | 0.0 | 984M| 177 | - | 198 | 10 | 0 | 0 | 0 | 451k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1197.30/1197.73 c 1113s| 5240k| 2485k| 0 | 0.0 | 987M| 177 | - | 198 | 11 | 0 | 0 | 0 | 453k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1200.49/1200.98 c 1116s| 5250k| 2490k| 0 | 0.0 | 990M| 177 | - | 198 | 10 | 0 | 0 | 0 | 455k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1203.79/1204.22 c 1119s| 5260k| 2496k| 0 | 0.0 | 993M| 177 | - | 198 | 10 | 0 | 0 | 0 | 458k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1206.98/1207.45 c 1122s| 5270k| 2501k| 0 | 0.0 | 996M| 177 | - | 198 | 10 | 0 | 0 | 0 | 460k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1210.19/1210.67 c 1125s| 5280k| 2506k| 0 | 0.0 | 999M| 177 | - | 198 | 10 | 0 | 0 | 0 | 463k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1213.59/1214.00 c 1128s| 5290k| 2512k| 0 | 0.0 |1002M| 177 | - | 198 | 10 | 0 | 0 | 0 | 465k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1216.98/1217.40 c 1132s| 5300k| 2517k| 0 | 0.0 |1005M| 177 | - | 198 | 10 | 0 | 0 | 0 | 468k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1220.19/1220.63 c 1135s| 5310k| 2522k| 0 | 0.0 |1008M| 177 | - | 198 | 10 | 0 | 0 | 0 | 470k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1223.38/1223.81 c 1138s| 5320k| 2527k| 0 | 0.0 |1011M| 177 | - | 198 | 11 | 0 | 0 | 0 | 472k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1226.58/1227.03 c 1141s| 5330k| 2533k| 0 | 0.0 |1014M| 177 | - | 198 | 11 | 0 | 0 | 0 | 475k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1229.78/1230.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1229.78/1230.22 c 1144s| 5340k| 2538k| 0 | 0.0 |1017M| 177 | - | 198 | 11 | 0 | 0 | 0 | 477k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1233.08/1233.50 c 1147s| 5350k| 2543k| 0 | 0.0 |1021M| 177 | - | 198 | 11 | 0 | 0 | 0 | 480k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1236.38/1236.87 c 1150s| 5360k| 2549k| 0 | 0.0 |1023M| 177 | - | 198 | 10 | 0 | 0 | 0 | 482k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1239.68/1240.14 c 1153s| 5370k| 2554k| 0 | 0.0 |1027M| 177 | - | 198 | 10 | 0 | 0 | 0 | 485k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1242.98/1243.46 c 1156s| 5380k| 2560k| 0 | 0.0 |1030M| 177 | - | 198 | 10 | 0 | 0 | 0 | 487k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1246.27/1246.78 c 1159s| 5390k| 2565k| 0 | 0.0 |1033M| 177 | - | 198 | 9 | 0 | 0 | 0 | 489k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1249.57/1250.03 c 1163s| 5400k| 2571k| 0 | 0.0 |1036M| 177 | - | 198 | 9 | 0 | 0 | 0 | 492k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1252.67/1253.19 c 1166s| 5410k| 2576k| 0 | 0.0 |1039M| 177 | - | 198 | 10 | 0 | 0 | 0 | 494k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1255.87/1256.36 c 1168s| 5420k| 2581k| 0 | 0.0 |1042M| 177 | - | 198 | 10 | 0 | 0 | 0 | 497k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1259.27/1259.71 c 1172s| 5430k| 2586k| 0 | 0.0 |1045M| 177 | - | 198 | 10 | 0 | 0 | 0 | 499k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1262.47/1262.95 c 1175s| 5440k| 2591k| 0 | 0.0 |1048M| 177 | - | 198 | 10 | 0 | 0 | 0 | 502k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1265.68/1266.12 c 1178s| 5450k| 2596k| 0 | 0.0 |1051M| 177 | - | 198 | 10 | 0 | 0 | 0 | 504k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1268.77/1269.30 c 1181s| 5460k| 2602k| 0 | 0.0 |1054M| 177 | - | 198 | 10 | 0 | 0 | 0 | 507k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1272.06/1272.50 c 1184s| 5470k| 2607k| 0 | 0.0 |1057M| 177 | - | 198 | 11 | 0 | 0 | 0 | 510k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1275.26/1275.71 c 1187s| 5480k| 2612k| 0 | 0.0 |1060M| 177 | - | 198 | 10 | 0 | 0 | 0 | 512k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1278.47/1278.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1278.47/1278.94 c 1190s| 5490k| 2617k| 0 | 0.0 |1063M| 177 | - | 198 | 11 | 0 | 0 | 0 | 515k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1281.67/1282.18 c 1193s| 5500k| 2622k| 0 | 0.0 |1066M| 177 | - | 198 | 9 | 0 | 0 | 0 | 517k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1284.96/1285.44 c 1196s| 5510k| 2627k| 0 | 0.0 |1069M| 177 | - | 198 | 9 | 0 | 0 | 0 | 520k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1288.16/1288.67 c 1199s| 5520k| 2633k| 0 | 0.0 |1072M| 177 | - | 198 | 9 | 0 | 0 | 0 | 522k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1291.26/1291.78 c 1202s| 5530k| 2638k| 0 | 0.0 |1075M| 177 | - | 198 | 9 | 0 | 0 | 0 | 524k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1294.36/1294.85 c 1205s| 5540k| 2644k| 0 | 0.0 |1079M| 177 | - | 198 | 9 | 0 | 0 | 0 | 527k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1297.46/1297.96 c 1208s| 5550k| 2650k| 0 | 0.0 |1082M| 177 | - | 198 | 9 | 0 | 0 | 0 | 529k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1300.55/1301.09 c 1211s| 5560k| 2655k| 0 | 0.0 |1085M| 177 | - | 198 | 9 | 0 | 0 | 0 | 531k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1303.75/1304.28 c 1214s| 5570k| 2661k| 0 | 0.0 |1088M| 177 | - | 198 | 9 | 0 | 0 | 0 | 534k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1306.96/1307.44 c 1217s| 5580k| 2666k| 0 | 0.0 |1091M| 177 | - | 198 | 10 | 0 | 0 | 0 | 536k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1310.16/1310.67 c 1220s| 5590k| 2672k| 0 | 0.0 |1094M| 177 | - | 198 | 10 | 0 | 0 | 0 | 539k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1313.45/1313.99 c 1223s| 5600k| 2677k| 0 | 0.0 |1098M| 177 | - | 198 | 9 | 0 | 0 | 0 | 541k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1316.85/1317.30 c 1226s| 5610k| 2682k| 0 | 0.0 |1101M| 177 | - | 198 | 9 | 0 | 0 | 0 | 544k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1320.05/1320.59 c 1229s| 5620k| 2688k| 0 | 0.0 |1104M| 177 | - | 198 | 9 | 0 | 0 | 0 | 546k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1323.25/1323.78 c 1232s| 5630k| 2694k| 0 | 0.0 |1107M| 177 | - | 198 | 9 | 0 | 0 | 0 | 548k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1326.65/1327.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1326.65/1327.11 c 1235s| 5640k| 2699k| 0 | 0.0 |1110M| 177 | - | 198 | 10 | 0 | 0 | 0 | 551k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1330.04/1330.53 c 1238s| 5650k| 2704k| 0 | 0.0 |1113M| 177 | - | 198 | 9 | 0 | 0 | 0 | 553k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1333.25/1333.77 c 1242s| 5660k| 2709k| 0 | 0.0 |1116M| 177 | - | 198 | 9 | 0 | 0 | 0 | 556k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1336.54/1337.03 c 1245s| 5670k| 2714k| 0 | 0.0 |1119M| 177 | - | 198 | 9 | 0 | 0 | 0 | 558k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1339.65/1340.19 c 1248s| 5680k| 2720k| 0 | 0.0 |1122M| 177 | - | 198 | 9 | 0 | 0 | 0 | 560k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1342.94/1343.45 c 1251s| 5690k| 2725k| 0 | 0.0 |1126M| 177 | - | 198 | 9 | 0 | 0 | 0 | 563k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1346.24/1346.77 c 1254s| 5700k| 2730k| 0 | 0.0 |1129M| 177 | - | 198 | 9 | 0 | 0 | 0 | 565k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1349.54/1350.08 c 1257s| 5710k| 2735k| 0 | 0.0 |1132M| 177 | - | 198 | 9 | 0 | 0 | 0 | 568k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1352.84/1353.38 c 1260s| 5720k| 2740k| 0 | 0.0 |1135M| 177 | - | 198 | 9 | 0 | 0 | 0 | 571k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1356.24/1356.70 c 1263s| 5730k| 2745k| 0 | 0.0 |1138M| 177 | - | 198 | 9 | 0 | 0 | 0 | 573k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1359.54/1360.02 c 1266s| 5740k| 2750k| 0 | 0.0 |1141M| 177 | - | 198 | 9 | 0 | 0 | 0 | 576k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1362.73/1363.28 c 1269s| 5750k| 2755k| 0 | 0.0 |1144M| 177 | - | 198 | 9 | 0 | 0 | 0 | 578k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1365.93/1366.49 c 1272s| 5760k| 2761k| 0 | 0.0 |1147M| 177 | - | 198 | 9 | 0 | 0 | 0 | 581k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1369.23/1369.74 c 1275s| 5770k| 2766k| 0 | 0.0 |1150M| 177 | - | 198 | 10 | 0 | 0 | 0 | 583k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1372.53/1373.08 c 1279s| 5780k| 2771k| 0 | 0.0 |1153M| 177 | - | 198 | 10 | 0 | 0 | 0 | 586k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1375.83/1376.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1375.83/1376.38 c 1282s| 5790k| 2776k| 0 | 0.0 |1156M| 177 | - | 198 | 10 | 0 | 0 | 0 | 588k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1379.23/1379.71 c 1285s| 5800k| 2781k| 0 | 0.0 |1159M| 177 | - | 198 | 10 | 0 | 0 | 0 | 591k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1382.53/1383.02 c 1288s| 5810k| 2786k| 0 | 0.0 |1162M| 177 | - | 198 | 10 | 0 | 0 | 0 | 593k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1385.83/1386.33 c 1291s| 5820k| 2791k| 0 | 0.0 |1165M| 177 | - | 198 | 9 | 0 | 0 | 0 | 596k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1389.03/1389.59 c 1294s| 5830k| 2796k| 0 | 0.0 |1168M| 177 | - | 198 | 9 | 0 | 0 | 0 | 598k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1392.43/1392.90 c 1297s| 5840k| 2801k| 0 | 0.0 |1171M| 177 | - | 198 | 9 | 0 | 0 | 0 | 601k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1395.73/1396.21 c 1300s| 5850k| 2807k| 0 | 0.0 |1174M| 177 | - | 198 | 9 | 0 | 0 | 0 | 603k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1399.03/1399.50 c 1303s| 5860k| 2812k| 0 | 0.0 |1177M| 177 | - | 198 | 9 | 0 | 0 | 0 | 606k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1402.23/1402.74 c 1307s| 5870k| 2817k| 0 | 0.0 |1180M| 177 | - | 198 | 9 | 0 | 0 | 0 | 609k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1405.52/1406.06 c 1310s| 5880k| 2822k| 0 | 0.0 |1183M| 177 | - | 198 | 9 | 0 | 0 | 0 | 611k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1408.82/1409.38 c 1313s| 5890k| 2827k| 0 | 0.0 |1186M| 177 | - | 198 | 9 | 0 | 0 | 0 | 614k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1412.22/1412.71 c 1316s| 5900k| 2831k| 0 | 0.0 |1189M| 177 | - | 198 | 9 | 0 | 0 | 0 | 617k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1415.52/1416.09 c 1319s| 5910k| 2836k| 0 | 0.0 |1192M| 177 | - | 198 | 9 | 0 | 0 | 0 | 619k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1418.92/1419.43 c 1322s| 5920k| 2840k| 0 | 0.0 |1194M| 177 | - | 198 | 9 | 0 | 0 | 0 | 622k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1422.12/1422.70 c 1325s| 5930k| 2845k| 0 | 0.0 |1198M| 177 | - | 198 | 9 | 0 | 0 | 0 | 625k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1425.42/1425.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1425.42/1425.93 c 1328s| 5940k| 2850k| 0 | 0.0 |1201M| 177 | - | 198 | 9 | 0 | 0 | 0 | 628k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1428.71/1429.20 c 1331s| 5950k| 2855k| 0 | 0.0 |1204M| 177 | - | 198 | 10 | 0 | 0 | 0 | 630k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1432.01/1432.53 c 1335s| 5960k| 2860k| 0 | 0.0 |1206M| 177 | - | 198 | 10 | 0 | 0 | 0 | 633k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1435.31/1435.81 c 1338s| 5970k| 2865k| 0 | 0.0 |1209M| 177 | - | 198 | 10 | 0 | 0 | 0 | 636k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1438.61/1439.18 c 1341s| 5980k| 2869k| 0 | 0.0 |1212M| 177 | - | 198 | 10 | 0 | 0 | 0 | 639k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1442.01/1442.57 c 1344s| 5990k| 2873k| 0 | 0.0 |1215M| 177 | - | 198 | 9 | 0 | 0 | 0 | 642k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1445.41/1445.91 c 1347s| 6000k| 2879k| 0 | 0.0 |1218M| 177 | - | 198 | 9 | 0 | 0 | 0 | 644k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1448.80/1449.30 c 1350s| 6010k| 2883k| 0 | 0.0 |1221M| 177 | - | 198 | 9 | 0 | 0 | 0 | 647k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1452.00/1452.56 c 1353s| 6020k| 2888k| 0 | 0.0 |1224M| 177 | - | 198 | 9 | 0 | 0 | 0 | 650k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1455.41/1455.90 c 1357s| 6030k| 2893k| 0 | 0.0 |1227M| 177 | - | 198 | 11 | 0 | 0 | 0 | 653k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1458.81/1459.31 c 1360s| 6040k| 2897k| 0 | 0.0 |1230M| 177 | - | 198 | 11 | 0 | 0 | 0 | 655k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1462.00/1462.57 c 1363s| 6050k| 2902k| 0 | 0.0 |1234M| 177 | - | 198 | 10 | 0 | 0 | 0 | 658k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1465.40/1465.91 c 1366s| 6060k| 2907k| 0 | 0.0 |1237M| 177 | - | 198 | 10 | 0 | 0 | 0 | 661k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1468.70/1469.28 c 1369s| 6070k| 2912k| 0 | 0.0 |1240M| 177 | - | 198 | 12 | 0 | 0 | 0 | 663k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1472.10/1472.64 c 1372s| 6080k| 2917k| 0 | 0.0 |1243M| 177 | - | 198 | 11 | 0 | 0 | 0 | 666k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1475.49/1476.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1475.49/1476.00 c 1376s| 6090k| 2922k| 0 | 0.0 |1246M| 177 | - | 198 | 12 | 0 | 0 | 0 | 669k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1478.90/1479.41 c 1379s| 6100k| 2926k| 0 | 0.0 |1249M| 177 | - | 198 | 11 | 0 | 0 | 0 | 672k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1482.30/1482.83 c 1382s| 6110k| 2931k| 0 | 0.0 |1252M| 177 | - | 198 | 12 | 0 | 0 | 0 | 675k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1485.60/1486.11 c 1385s| 6120k| 2936k| 0 | 0.0 |1255M| 177 | - | 198 | 12 | 0 | 0 | 0 | 677k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1488.90/1489.48 c 1388s| 6130k| 2941k| 0 | 0.0 |1258M| 177 | - | 198 | 9 | 0 | 0 | 0 | 680k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1492.19/1492.78 c 1391s| 6140k| 2946k| 0 | 0.0 |1261M| 177 | - | 198 | 9 | 0 | 0 | 0 | 682k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1495.60/1496.13 c 1395s| 6150k| 2951k| 0 | 0.0 |1264M| 177 | - | 198 | 9 | 0 | 0 | 0 | 685k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1498.99/1499.54 c 1398s| 6160k| 2956k| 0 | 0.0 |1268M| 177 | - | 198 | 9 | 0 | 0 | 0 | 688k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1502.38/1502.99 c 1401s| 6170k| 2960k| 0 | 0.0 |1271M| 177 | - | 198 | 9 | 0 | 0 | 0 | 691k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1505.59/1506.17 c 1404s| 6180k| 2966k| 0 | 0.0 |1274M| 177 | - | 198 | 9 | 0 | 0 | 0 | 693k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1508.89/1509.47 c 1407s| 6190k| 2971k| 0 | 0.0 |1277M| 177 | - | 198 | 9 | 0 | 0 | 0 | 696k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1512.29/1512.86 c 1410s| 6200k| 2976k| 0 | 0.0 |1280M| 177 | - | 198 | 10 | 0 | 0 | 0 | 698k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1515.58/1516.18 c 1413s| 6210k| 2981k| 0 | 0.0 |1283M| 177 | - | 198 | 10 | 0 | 0 | 0 | 701k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1518.89/1519.43 c 1417s| 6220k| 2986k| 0 | 0.0 |1286M| 177 | - | 198 | 10 | 0 | 0 | 0 | 703k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1522.08/1522.67 c 1420s| 6230k| 2991k| 0 | 0.0 |1290M| 177 | - | 198 | 10 | 0 | 0 | 0 | 706k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1525.38/1525.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1525.38/1525.98 c 1423s| 6240k| 2996k| 0 | 0.0 |1293M| 177 | - | 198 | 10 | 0 | 0 | 0 | 708k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1528.78/1529.37 c 1426s| 6250k| 3001k| 0 | 0.0 |1296M| 177 | - | 198 | 9 | 0 | 0 | 0 | 711k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1532.18/1532.73 c 1429s| 6260k| 3006k| 0 | 0.0 |1299M| 177 | - | 198 | 9 | 0 | 0 | 0 | 714k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1535.48/1536.07 c 1432s| 6270k| 3010k| 0 | 0.0 |1302M| 177 | - | 198 | 9 | 0 | 0 | 0 | 717k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1538.88/1539.48 c 1435s| 6280k| 3015k| 0 | 0.0 |1305M| 177 | - | 198 | 9 | 0 | 0 | 0 | 719k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1542.28/1542.85 c 1439s| 6290k| 3020k| 0 | 0.0 |1308M| 177 | - | 198 | 10 | 0 | 0 | 0 | 722k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1545.57/1546.13 c 1442s| 6300k| 3025k| 0 | 0.0 |1311M| 177 | - | 198 | 10 | 0 | 0 | 0 | 724k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1548.88/1549.45 c 1445s| 6310k| 3030k| 0 | 0.0 |1314M| 177 | - | 198 | 9 | 0 | 0 | 0 | 727k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1552.17/1552.76 c 1448s| 6320k| 3035k| 0 | 0.0 |1317M| 177 | - | 198 | 9 | 0 | 0 | 0 | 729k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1555.58/1556.18 c 1451s| 6330k| 3039k| 0 | 0.0 |1320M| 177 | - | 198 | 9 | 0 | 0 | 0 | 732k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1558.87/1559.48 c 1454s| 6340k| 3044k| 0 | 0.0 |1323M| 177 | - | 198 | 9 | 0 | 0 | 0 | 735k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1562.27/1562.85 c 1458s| 6350k| 3048k| 0 | 0.0 |1326M| 177 | - | 198 | 9 | 0 | 0 | 0 | 738k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1565.67/1566.24 c 1461s| 6360k| 3053k| 0 | 0.0 |1329M| 177 | - | 198 | 9 | 0 | 0 | 0 | 741k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1568.97/1569.60 c 1464s| 6370k| 3058k| 0 | 0.0 |1332M| 177 | - | 198 | 10 | 0 | 0 | 0 | 743k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1572.38/1572.95 c 1467s| 6380k| 3062k| 0 | 0.0 |1335M| 177 | - | 198 | 10 | 0 | 0 | 0 | 746k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1575.77/1576.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1575.77/1576.34 c 1470s| 6390k| 3067k| 0 | 0.0 |1338M| 177 | - | 198 | 9 | 0 | 0 | 0 | 749k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1579.16/1579.71 c 1474s| 6400k| 3072k| 0 | 0.0 |1341M| 177 | - | 198 | 9 | 0 | 0 | 0 | 751k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1582.46/1583.08 c 1477s| 6410k| 3077k| 0 | 0.0 |1345M| 177 | - | 198 | 9 | 0 | 0 | 0 | 754k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1585.87/1586.44 c 1480s| 6420k| 3081k| 0 | 0.0 |1348M| 177 | - | 198 | 9 | 0 | 0 | 0 | 757k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1589.36/1589.92 c 1483s| 6430k| 3086k| 0 | 0.0 |1351M| 177 | - | 198 | 9 | 0 | 0 | 0 | 760k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1592.66/1593.22 c 1486s| 6440k| 3091k| 0 | 0.0 |1354M| 177 | - | 198 | 10 | 0 | 0 | 0 | 763k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1596.06/1596.62 c 1489s| 6450k| 3095k| 0 | 0.0 |1357M| 177 | - | 198 | 9 | 0 | 0 | 0 | 765k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1597.96/1598.56 c (node 6455860) switching to memory saving mode (mem: 1296.0M/1620.0M)
1601.46/1602.04 c 1495s| 6460k| 3098k| 0 | 0.0 |1357M| 187 | - | 198 | 9 | 0 | 0 | 0 | 770k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1607.56/1608.17 c 1500s| 6470k| 3098k| 0 | 0.0 |1357M| 187 | - | 198 | 9 | 0 | 0 | 0 | 775k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1613.76/1614.33 c 1506s| 6480k| 3097k| 0 | 0.0 |1356M| 187 | - | 198 | 9 | 0 | 0 | 0 | 781k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1620.06/1620.61 c 1512s| 6490k| 3097k| 0 | 0.0 |1356M| 187 | - | 198 | 9 | 0 | 0 | 0 | 787k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1626.14/1626.71 c 1518s| 6500k| 3097k| 0 | 0.0 |1356M| 187 | - | 198 | 9 | 0 | 0 | 0 | 792k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1632.25/1632.81 c 1524s| 6510k| 3097k| 0 | 0.0 |1356M| 187 | - | 198 | 9 | 0 | 0 | 0 | 798k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1638.35/1639.00 c 1530s| 6520k| 3097k| 0 | 0.0 |1356M| 187 | - | 198 | 9 | 0 | 0 | 0 | 803k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1644.54/1645.17 c 1536s| 6530k| 3097k| 0 | 0.0 |1355M| 187 | - | 198 | 9 | 0 | 0 | 0 | 809k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1650.74/1651.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1650.74/1651.30 c 1541s| 6540k| 3097k| 0 | 0.0 |1355M| 187 | - | 198 | 9 | 0 | 0 | 0 | 815k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1656.84/1657.42 c 1547s| 6550k| 3097k| 0 | 0.0 |1355M| 187 | - | 198 | 9 | 0 | 0 | 0 | 820k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1662.74/1663.39 c 1553s| 6560k| 3097k| 0 | 0.0 |1355M| 187 | - | 198 | 9 | 0 | 0 | 0 | 826k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1669.03/1669.65 c 1559s| 6570k| 3097k| 0 | 0.0 |1355M| 187 | - | 198 | 9 | 0 | 0 | 0 | 831k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1675.03/1675.67 c 1565s| 6580k| 3097k| 0 | 0.0 |1355M| 187 | - | 198 | 9 | 0 | 0 | 0 | 837k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1681.13/1681.71 c 1570s| 6590k| 3097k| 0 | 0.0 |1355M| 187 | - | 198 | 9 | 0 | 0 | 0 | 842k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1687.03/1687.67 c 1576s| 6600k| 3096k| 0 | 0.0 |1355M| 187 | - | 198 | 9 | 0 | 0 | 0 | 848k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1693.33/1693.96 c 1582s| 6610k| 3096k| 0 | 0.0 |1354M| 187 | - | 198 | 9 | 0 | 0 | 0 | 853k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1699.43/1700.06 c 1588s| 6620k| 3096k| 0 | 0.0 |1354M| 187 | - | 198 | 9 | 0 | 0 | 0 | 859k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1705.43/1706.08 c 1594s| 6630k| 3096k| 0 | 0.0 |1354M| 187 | - | 198 | 9 | 0 | 0 | 0 | 864k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1711.52/1712.17 c 1599s| 6640k| 3096k| 0 | 0.0 |1354M| 187 | - | 198 | 9 | 0 | 0 | 0 | 870k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1717.62/1718.27 c 1605s| 6650k| 3096k| 0 | 0.0 |1354M| 187 | - | 198 | 9 | 0 | 0 | 0 | 875k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1723.71/1724.39 c 1611s| 6660k| 3096k| 0 | 0.0 |1354M| 187 | - | 198 | 9 | 0 | 0 | 0 | 881k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1729.81/1730.41 c 1617s| 6670k| 3096k| 0 | 0.0 |1354M| 187 | - | 198 | 9 | 0 | 0 | 0 | 886k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1735.41/1736.09 c 1622s| 6680k| 3096k| 0 | 0.0 |1354M| 187 | - | 198 | 9 | 0 | 0 | 0 | 892k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1741.31/1741.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1741.31/1741.90 c 1628s| 6690k| 3096k| 0 | 0.0 |1354M| 187 | - | 198 | 9 | 0 | 0 | 0 | 897k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1747.22/1747.81 c 1633s| 6700k| 3096k| 0 | 0.0 |1354M| 188 | - | 198 | 9 | 0 | 0 | 0 | 902k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1752.71/1753.36 c 1639s| 6710k| 3096k| 0 | 0.0 |1354M| 188 | - | 198 | 9 | 0 | 0 | 0 | 908k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1758.81/1759.47 c 1644s| 6720k| 3096k| 0 | 0.0 |1354M| 188 | - | 198 | 9 | 0 | 0 | 0 | 913k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1765.10/1765.71 c 1650s| 6730k| 3096k| 0 | 0.0 |1354M| 188 | - | 198 | 9 | 0 | 0 | 0 | 919k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1771.10/1771.76 c 1656s| 6740k| 3096k| 0 | 0.0 |1354M| 188 | - | 198 | 9 | 0 | 0 | 0 | 925k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1777.50/1778.14 c 1662s| 6750k| 3096k| 0 | 0.0 |1354M| 188 | - | 198 | 9 | 0 | 0 | 0 | 930k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1783.39/1784.10 c 1668s| 6760k| 3096k| 0 | 0.0 |1354M| 188 | - | 198 | 9 | 0 | 0 | 0 | 935k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1789.39/1790.09 c 1673s| 6770k| 3096k| 0 | 0.0 |1354M| 188 | - | 198 | 9 | 0 | 0 | 0 | 941k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1795.49/1796.10 c 1679s| 6780k| 3096k| 0 | 0.0 |1354M| 188 | - | 198 | 9 | 0 | 0 | 0 | 946k| 0 | 0.000000e+00 | 2.860000e+02 | Inf
1800.01/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.61 c
1800.01/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.61 c Solving Time (sec) : 1683.39
1800.01/1800.61 c Solving Nodes : 6788209
1800.01/1800.61 c Primal Bound : +2.86000000000000e+02 (6 solutions)
1800.01/1800.61 c Dual Bound : +0.00000000000000e+00
1800.01/1800.61 c Gap : infinite
1800.01/1800.61 s SATISFIABLE
1800.01/1800.61 v -x198 -x197 -x196 -x195 x194 -x193 -x192 x191 -x190 -x189 x188 -x187 -x186 -x185 x184 -x183 x182 -x181 -x180 x179 -x178 -x177 x176
1800.01/1800.61 v -x175 -x174 -x173 x172 -x171 x170 -x169 x168 x167 x166 -x165 x164 x163 x162 x161 x160 -x159 x158 x157 x156 -x155 x154 -x153
1800.01/1800.61 v x152 x151 -x150 -x149 -x148 -x147 -x146 x145 -x144 x143 -x142 x141 x140 x139 -x138 -x137 x136 -x135 x134 x133 -x132 x131 x130
1800.01/1800.61 v x129 -x128 -x127 x126 x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 x109
1800.01/1800.61 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.01/1800.61 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
1800.01/1800.61 v x59 -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.01/1800.61 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 -x6
1800.01/1800.61 v -x5 -x4 -x3 -x2 -x1
1800.01/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.61 c Solving Time : 1683.39
1800.01/1800.61 c Original Problem :
1800.01/1800.61 c Problem name : HOME/instance-2664237-1276601238.opb
1800.01/1800.61 c Variables : 198 (198 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.61 c Constraints : 16 initial, 16 maximal
1800.01/1800.61 c Presolved Problem :
1800.01/1800.61 c Problem name : t_HOME/instance-2664237-1276601238.opb
1800.01/1800.61 c Variables : 198 (198 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.61 c Constraints : 8 initial, 13 maximal
1800.01/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.61 c probing : 0.02 0 0 0 0 0 0 0 0
1800.01/1800.61 c linear : 0.00 0 0 0 0 0 8 0 0
1800.01/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.61 c root node : - 0 - - 0 - - - -
1800.01/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.61 c linear : 8 0 12354431 0 5997760 600850 28086142 0 0 0
1800.01/1800.61 c logicor : 0+ 0 1111433 0 0 11264 897096 0 0 0
1800.01/1800.61 c countsols : 0 0 0 0 5997762 0 0 0 0 0
1800.01/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.61 c linear : 987.95 0.00 984.03 0.00 3.92
1800.01/1800.61 c logicor : 6.20 0.00 6.20 0.00 0.00
1800.01/1800.61 c countsols : 2.45 0.00 0.00 0.00 2.45
1800.01/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.61 c vbounds : 5.93 2 0 0
1800.01/1800.61 c rootredcost : 5.82 0 0 0
1800.01/1800.61 c pseudoobj : 184.55 12727208 372975 7371713
1800.01/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.61 c propagation : 274.87 985064 951067 3046231 67.8 959 67.4 -
1800.01/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.61 c pseudo solution : 0.00 50 50 112 23.7 0 0.0 -
1800.01/1800.61 c applied globally : - - - 53 5.4 - - -
1800.01/1800.61 c applied locally : - - - 951064 50.6 - - -
1800.01/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.01/1800.61 c redcost : 0.00 0 0 0 0 0
1800.01/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.01/1800.61 c intobj : 0.00 0 0 0 0 0
1800.01/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.61 c gomory : 0.00 0 0 0 0 0
1800.01/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.01/1800.61 c cmir : 0.00 0 0 0 0 0
1800.01/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.01/1800.61 c clique : 0.00 0 0 0 0 0
1800.01/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.61 c mcf : 0.00 0 0 0 0 0
1800.01/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.01/1800.61 c Pricers : Time Calls Vars
1800.01/1800.61 c problem variables: 0.00 0 0
1800.01/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.01/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.61 c inference : 160.95 5997756 0 0 0 0 11995512
1800.01/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.61 c random : 0.00 0 0 0 0 0 0
1800.01/1800.61 c Primal Heuristics : Time Calls Found
1800.01/1800.61 c LP solutions : 0.00 - 0
1800.01/1800.61 c pseudo solutions : 9.62 - 6
1800.01/1800.61 c oneopt : 4.09 0 0
1800.01/1800.61 c trivial : 0.00 2 0
1800.01/1800.61 c simplerounding : 0.00 0 0
1800.01/1800.61 c zirounding : 0.00 0 0
1800.01/1800.61 c rounding : 0.00 0 0
1800.01/1800.61 c shifting : 0.00 0 0
1800.01/1800.61 c intshifting : 0.00 0 0
1800.01/1800.61 c twoopt : 0.00 0 0
1800.01/1800.61 c fixandinfer : 0.00 0 0
1800.01/1800.61 c feaspump : 0.00 0 0
1800.01/1800.61 c coefdiving : 0.00 0 0
1800.01/1800.61 c pscostdiving : 0.00 0 0
1800.01/1800.61 c fracdiving : 0.00 0 0
1800.01/1800.61 c veclendiving : 0.00 0 0
1800.01/1800.61 c intdiving : 0.00 0 0
1800.01/1800.61 c actconsdiving : 0.00 0 0
1800.01/1800.61 c objpscostdiving : 0.00 0 0
1800.01/1800.61 c rootsoldiving : 0.00 0 0
1800.01/1800.61 c linesearchdiving : 0.00 0 0
1800.01/1800.61 c guideddiving : 0.00 0 0
1800.01/1800.61 c octane : 0.00 0 0
1800.01/1800.61 c rens : 0.00 0 0
1800.01/1800.61 c rins : 0.00 0 0
1800.01/1800.61 c localbranching : 0.00 0 0
1800.01/1800.61 c mutation : 0.00 0 0
1800.01/1800.61 c crossover : 0.00 0 0
1800.01/1800.61 c dins : 0.00 0 0
1800.01/1800.61 c undercover : 0.00 0 0
1800.01/1800.61 c nlp : 3.04 0 0
1800.01/1800.61 c trysol : 2.98 0 0
1800.01/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.61 c dual LP : 0.00 0 0 0.00 -
1800.01/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.01/1800.61 c strong branching : 0.00 0 0 0.00 -
1800.01/1800.61 c (at root node) : - 0 0 0.00 -
1800.01/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.61 c B&B Tree :
1800.01/1800.61 c number of runs : 1
1800.01/1800.61 c nodes : 6788209
1800.01/1800.61 c nodes (total) : 6788209
1800.01/1800.61 c nodes left : 3096414
1800.01/1800.61 c max depth : 188
1800.01/1800.61 c max depth (total): 188
1800.01/1800.61 c backtracks : 311101 (4.6%)
1800.01/1800.61 c delayed cutoffs : 194695
1800.01/1800.61 c repropagations : 2067634 (4446854 domain reductions, 194692 cutoffs)
1800.01/1800.61 c avg switch length: 4.34
1800.01/1800.61 c switching time : 127.90
1800.01/1800.61 c Solution :
1800.01/1800.61 c Solutions found : 6 (6 improvements)
1800.01/1800.61 c First Solution : +1.31200000000000e+03 (in run 1, after 1372317 nodes, 212.44 seconds, depth 56, found by <relaxation>)
1800.01/1800.61 c Primal Bound : +2.86000000000000e+02 (in run 1, after 3690954 nodes, 649.54 seconds, depth 89, found by <relaxation>)
1800.01/1800.61 c Dual Bound : +0.00000000000000e+00
1800.01/1800.61 c Gap : infinite
1800.01/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.01/1800.61 c Root Iterations : 0
OK 286
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664237-1276601238/watcher-2664237-1276601238 -o /tmp/evaluation-result-2664237-1276601238/solver-2664237-1276601238 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664237-1276601238.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.04 1.04 1.00 3/105 12276 /proc/meminfo: memFree=1831300/2059040 swapFree=4140304/4192956 [pid=12276] ppid=12274 vsize=6584 CPUtime=0 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 2408 0 -1 4202496 968 0 0 0 0 0 0 0 17 0 1 0 1415184 6742016 890 1992294400 4194304 7136930 140735949594832 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12276/statm: 1646 899 254 719 0 925 0 [startup+0.0183051 s] /proc/loadavg: 1.04 1.04 1.00 3/105 12276 /proc/meminfo: memFree=1831300/2059040 swapFree=4140304/4192956 [pid=12276] ppid=12274 vsize=9160 CPUtime=0.01 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 2408 0 -1 4202496 2151 0 0 0 0 1 0 0 17 0 1 0 1415184 9379840 1720 1992294400 4194304 7136930 140735949594832 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12276/statm: 2549 1729 309 719 0 1828 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9160 [startup+0.100303 s] /proc/loadavg: 1.04 1.04 1.00 3/105 12276 /proc/meminfo: memFree=1831300/2059040 swapFree=4140304/4192956 [pid=12276] ppid=12274 vsize=11644 CPUtime=0.09 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 2408 0 -1 4202496 2855 0 0 0 7 2 0 0 17 0 1 0 1415184 11923456 2167 1992294400 4194304 7136930 140735949594832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12276/statm: 2911 2167 383 719 0 2190 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11644 [startup+0.300325 s] /proc/loadavg: 1.04 1.04 1.00 3/105 12276 /proc/meminfo: memFree=1831300/2059040 swapFree=4140304/4192956 [pid=12276] ppid=12274 vsize=12292 CPUtime=0.29 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 2408 0 -1 4202496 3024 0 0 0 25 4 0 0 17 0 1 0 1415184 12587008 2336 1992294400 4194304 7136930 140735949594832 18446744073709551615 4978431 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12276/statm: 3073 2336 383 719 0 2352 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12292 [startup+0.700372 s] /proc/loadavg: 1.04 1.04 1.00 3/105 12276 /proc/meminfo: memFree=1831300/2059040 swapFree=4140304/4192956 [pid=12276] ppid=12274 vsize=13204 CPUtime=0.69 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 2408 0 -1 4202496 3260 0 0 0 61 8 0 0 17 0 1 0 1415184 13520896 2572 1992294400 4194304 7136930 140735949594832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12276/statm: 3301 2572 383 719 0 2580 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13204 [startup+1.50047 s] /proc/loadavg: 1.04 1.04 1.00 2/106 12277 /proc/meminfo: memFree=1821496/2059040 swapFree=4140304/4192956 [pid=12276] ppid=12274 vsize=15692 CPUtime=1.49 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 2408 0 -1 4202496 3922 0 0 0 134 15 0 0 18 0 1 0 1415184 16068608 3234 1992294400 4194304 7136930 140735949594832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12276/statm: 3923 3234 383 719 0 3202 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15692 [startup+3.10066 s] /proc/loadavg: 1.04 1.04 1.00 2/106 12277 /proc/meminfo: memFree=1818272/2059040 swapFree=4140304/4192956 [pid=12276] ppid=12274 vsize=19792 CPUtime=3.09 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 2408 0 -1 4202496 4983 0 0 0 280 29 0 0 21 0 1 0 1415184 20267008 4295 1992294400 4194304 7136930 140735949594832 18446744073709551615 5917632 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12276/statm: 4948 4295 383 719 0 4227 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19792 [startup+6.30103 s] /proc/loadavg: 1.12 1.06 1.01 2/106 12277 /proc/meminfo: memFree=1809840/2059040 swapFree=4140304/4192956 [pid=12276] ppid=12274 vsize=26864 CPUtime=6.29 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 2408 0 -1 4202496 6786 0 0 0 576 53 0 0 25 0 1 0 1415184 27508736 6098 1992294400 4194304 7136930 140735949594832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12276/statm: 6716 6098 383 719 0 5995 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26864 [startup+12.7008 s] /proc/loadavg: 1.11 1.06 1.01 2/106 12277 /proc/meminfo: memFree=1793472/2059040 swapFree=4140304/4192956 [pid=12276] ppid=12274 vsize=44308 CPUtime=12.68 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 2408 0 -1 4202496 10762 0 0 0 1158 110 0 0 25 0 1 0 1415184 45371392 10074 1992294400 4194304 7136930 140735949594832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12276/statm: 11077 10074 383 719 0 10356 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 44308 [startup+25.5013 s] /proc/loadavg: 1.08 1.05 1.01 2/106 12279 /proc/meminfo: memFree=1758380/2059040 swapFree=4140304/4192956 [pid=12276] ppid=12274 vsize=77760 CPUtime=25.48 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 2408 0 -1 4202496 19446 0 0 0 2324 224 0 0 25 0 1 0 1415184 79626240 18758 1992294400 4194304 7136930 140735949594832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12276/statm: 19440 18758 383 719 0 18719 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 77760 [startup+51.1013 s] /proc/loadavg: 1.05 1.05 1.00 2/106 12279 /proc/meminfo: memFree=1703944/2059040 swapFree=4140304/4192956 [pid=12276] ppid=12274 vsize=135236 CPUtime=51.07 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 2408 0 -1 4202496 33238 0 0 0 4681 426 0 0 25 0 1 0 1415184 138481664 32550 1992294400 4194304 7136930 140735949594832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12276/statm: 33809 32550 383 719 0 33088 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 135236 [startup+102.308 s] /proc/loadavg: 1.06 1.05 1.00 2/106 12281 /proc/meminfo: memFree=1585400/2059040 swapFree=4140304/4192956 [pid=12276] ppid=12274 vsize=254776 CPUtime=102.26 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 2408 0 -1 4202496 62238 0 0 0 9369 857 0 0 25 0 1 0 1415184 260890624 61550 1992294400 4194304 7136930 140735949594832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12276/statm: 63694 61550 383 719 0 62973 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 254776 [startup+162.301 s] /proc/loadavg: 1.06 1.06 1.00 2/106 12281 /proc/meminfo: memFree=1440692/2059040 swapFree=4140304/4192956 [pid=12276] ppid=12274 vsize=396224 CPUtime=162.23 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 2408 0 -1 4202496 99022 0 0 0 14838 1385 0 0 25 0 1 0 1415184 405733376 98334 1992294400 4194304 7136930 140735949594832 18446744073709551615 4979040 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12276/statm: 99056 98334 383 719 0 98335 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 396224 [startup+222.301 s] /proc/loadavg: 1.05 1.06 1.00 2/106 12283 /proc/meminfo: memFree=1281724/2059040 swapFree=4140304/4192956 [pid=12276] ppid=12274 vsize=564232 CPUtime=222.22 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 2408 0 -1 4202496 138373 0 0 0 20269 1953 0 0 25 0 1 0 1415184 577773568 137685 1992294400 4194304 7136930 140735949594832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12276/statm: 141058 137685 383 719 0 140337 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 564232 [startup+282.302 s] /proc/loadavg: 1.13 1.07 1.01 2/106 12285 /proc/meminfo: memFree=1154996/2059040 swapFree=4140304/4192956 [pid=12276] ppid=12274 vsize=688024 CPUtime=282.2 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 2408 0 -1 4202496 170291 0 0 0 25720 2500 0 0 25 0 1 0 1415184 704536576 169603 1992294400 4194304 7136930 140735949594832 18446744073709551615 4677415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12276/statm: 172006 169603 383 719 0 171285 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 688024 [startup+342.302 s] /proc/loadavg: 1.12 1.07 1.01 2/106 12290 /proc/meminfo: memFree=1036700/2059040 swapFree=4140304/4192956 [pid=12276] ppid=12274 vsize=800680 CPUtime=342.17 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 2408 0 -1 4202496 199253 0 0 0 31267 2950 0 0 25 0 1 0 1415184 819896320 198565 1992294400 4194304 7136930 140735949594832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12276/statm: 200170 198565 383 719 0 199449 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 800680 [startup+402.3 s] /proc/loadavg: 1.04 1.06 1.00 2/106 12292 /proc/meminfo: memFree=941716/2059040 swapFree=4140304/4192956 [pid=12276] ppid=12274 vsize=891416 CPUtime=402.14 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 2408 0 -1 4202496 222746 0 0 0 36853 3361 0 0 25 0 1 0 1415184 912809984 222058 1992294400 4194304 7136930 140735949594832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12276/statm: 222854 222058 383 719 0 222133 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 891416 [startup+462.3 s] /proc/loadavg: 1.01 1.04 1.00 2/106 12292 /proc/meminfo: memFree=859008/2059040 swapFree=4140304/4192956 [pid=12276] ppid=12274 vsize=1003648 CPUtime=462.13 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 2408 0 -1 4202496 243374 0 0 0 42458 3755 0 0 25 0 1 0 1415184 1027735552 242686 1992294400 4194304 7136930 140735949594832 18446744073709551615 5918640 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12276/statm: 250912 242686 383 719 0 250191 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 1003648 [startup+522.301 s] /proc/loadavg: 1.00 1.03 1.00 2/106 12294 /proc/meminfo: memFree=808540/2059040 swapFree=4140304/4192956 [pid=12276] ppid=12274 vsize=1051408 CPUtime=522.11 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 2408 0 -1 4202496 255836 0 0 0 47991 4220 0 0 25 0 1 0 1415184 1076641792 255148 1992294400 4194304 7136930 140735949594832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12276/statm: 262852 255148 383 719 0 262131 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 1051408 [startup+582.3 s] /proc/loadavg: 1.00 1.02 1.00 2/106 12296 /proc/meminfo: memFree=734636/2059040 swapFree=4140304/4192956 [pid=12276] ppid=12274 vsize=1122464 CPUtime=582.09 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 2408 0 -1 4202496 274276 0 0 0 53524 4685 0 0 25 0 1 0 1415184 1149403136 273588 1992294400 4194304 7136930 140735949594832 18446744073709551615 4948376 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12276/statm: 280616 273588 383 719 0 279895 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 1122464 [startup+642.301 s] /proc/loadavg: 1.00 1.02 1.00 2/106 12298 /proc/meminfo: memFree=616464/2059040 swapFree=4140304/4192956 [pid=12276] ppid=12274 vsize=1235364 CPUtime=642.08 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 2408 0 -1 4202496 303743 0 0 0 59040 5168 0 0 25 0 1 0 1415184 1265012736 303055 1992294400 4194304 7136930 140735949594832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12276/statm: 308841 303055 383 719 0 308120 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 1235364 [startup+702.3 s] ################ # More data... # ################ /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 2408 0 -1 4202496 346965 0 0 0 98540 7653 0 0 25 0 1 0 1415184 1437110272 346277 1992294400 4194304 7136930 140735949594832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12276/statm: 350857 346277 384 719 0 350136 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 1403428 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12310 /proc/meminfo: memFree=429968/2059040 swapFree=4140304/4192956 [pid=12276] ppid=12274 vsize=1415904 CPUtime=1121.92 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 2408 0 -1 4202496 350081 0 0 0 104206 7986 0 0 25 0 1 0 1415184 1449885696 349393 1992294400 4194304 7136930 140735949594832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12276/statm: 353976 349393 384 719 0 353255 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 1415904 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12312 /proc/meminfo: memFree=419056/2059040 swapFree=4140304/4192956 [pid=12276] ppid=12274 vsize=1426520 CPUtime=1181.9 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 2408 0 -1 4202496 352762 0 0 0 109862 8328 0 0 25 0 1 0 1415184 1460756480 352074 1992294400 4194304 7136930 140735949594832 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12276/statm: 356630 352074 384 719 0 355909 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 1426520 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12314 /proc/meminfo: memFree=396984/2059040 swapFree=4140304/4192956 [pid=12276] ppid=12274 vsize=1448364 CPUtime=1241.87 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 2408 0 -1 4202496 358181 0 0 0 115522 8665 0 0 25 0 1 0 1415184 1483124736 357493 1992294400 4194304 7136930 140735949594832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12276/statm: 362091 357493 384 719 0 361370 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 1448364 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12316 /proc/meminfo: memFree=369952/2059040 swapFree=4140304/4192956 [pid=12276] ppid=12274 vsize=1475392 CPUtime=1301.87 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 2408 0 -1 4202496 364904 0 0 0 121173 9014 0 0 25 0 1 0 1415184 1510801408 364216 1992294400 4194304 7136930 140735949594832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12276/statm: 368848 364216 384 719 0 368127 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 1475392 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12316 /proc/meminfo: memFree=348004/2059040 swapFree=4140304/4192956 [pid=12276] ppid=12274 vsize=1497104 CPUtime=1361.83 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 2408 0 -1 4202496 370361 0 0 0 126835 9348 0 0 25 0 1 0 1415184 1533034496 369673 1992294400 4194304 7136930 140735949594832 18446744073709551615 5918646 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12276/statm: 374276 369673 384 719 0 373555 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 1497104 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12318 /proc/meminfo: memFree=322460/2059040 swapFree=4140304/4192956 [pid=12276] ppid=12274 vsize=1522244 CPUtime=1421.82 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 2408 0 -1 4202496 376729 0 0 0 132498 9684 0 0 25 0 1 0 1415184 1558777856 376041 1992294400 4194304 7136930 140735949594832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12276/statm: 380561 376041 384 719 0 379840 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 1522244 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12320 /proc/meminfo: memFree=288856/2059040 swapFree=4140304/4192956 [pid=12276] ppid=12274 vsize=1555940 CPUtime=1481.79 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 2408 0 -1 4202496 385078 0 0 0 138149 10030 0 0 25 0 1 0 1415184 1593282560 384390 1992294400 4194304 7136930 140735949594832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12276/statm: 388985 384390 384 719 0 388264 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 1555940 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12322 /proc/meminfo: memFree=249052/2059040 swapFree=4140304/4192956 [pid=12276] ppid=12274 vsize=1595552 CPUtime=1541.78 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 2408 0 -1 4202496 395033 0 0 0 143814 10364 0 0 25 0 1 0 1415184 1633845248 394345 1992294400 4194304 7136930 140735949594832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12276/statm: 398888 394345 384 719 0 398167 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 1595552 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12324 /proc/meminfo: memFree=207760/2059040 swapFree=4140304/4192956 [pid=12276] ppid=12274 vsize=1636660 CPUtime=1601.75 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 2408 0 -1 4202496 417281 0 0 0 149482 10693 0 0 25 0 1 0 1415184 1675939840 404465 1992294400 4194304 7136930 140735949594832 18446744073709551615 4947435 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12276/statm: 409165 404465 384 719 0 408444 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 1636660 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12324 /proc/meminfo: memFree=207636/2059040 swapFree=4140304/4192956 [pid=12276] ppid=12274 vsize=1637216 CPUtime=1661.73 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 2408 0 -1 4202496 417420 0 0 0 155194 10979 0 0 25 0 1 0 1415184 1676509184 404604 1992294400 4194304 7136930 140735949594832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12276/statm: 409304 404604 384 719 0 408583 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 1637216 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 3/106 12326 /proc/meminfo: memFree=207388/2059040 swapFree=4140304/4192956 [pid=12276] ppid=12274 vsize=1637352 CPUtime=1721.71 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 2408 0 -1 4202496 417456 0 0 0 160906 11265 0 0 25 0 1 0 1415184 1676648448 404640 1992294400 4194304 7136930 140735949594832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12276/statm: 409338 404640 384 719 0 408617 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 1637352 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12328 /proc/meminfo: memFree=206892/2059040 swapFree=4140304/4192956 [pid=12276] ppid=12274 vsize=1637352 CPUtime=1781.7 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 2408 0 -1 4202496 417465 0 0 0 166609 11561 0 0 25 0 1 0 1415184 1676648448 404649 1992294400 4194304 7136930 140735949594832 18446744073709551615 4981165 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12276/statm: 409338 404649 384 719 0 408617 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 1637352 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12328 /proc/meminfo: memFree=206892/2059040 swapFree=4140304/4192956 [pid=12276] ppid=12274 vsize=1637352 CPUtime=1800.01 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 2408 0 -1 4202496 417469 0 0 0 168339 11662 0 0 25 0 1 0 1415184 1676648448 404653 1992294400 4194304 7136930 140735949594832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12276/statm: 409338 404653 384 719 0 408617 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1637352 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -12276 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/106 12328 /proc/meminfo: memFree=206892/2059040 swapFree=4140304/4192956 [pid=12276] ppid=12274 vsize=1637352 CPUtime=1800.79 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 2408 0 -1 4202496 417475 0 0 0 168417 11662 0 0 25 0 1 0 1415184 1676648448 404659 1992294400 4194304 7136930 140735949594832 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12276/statm: 409338 404659 390 719 0 408617 0 Current children cumulated CPU time (s) 1800.79 Current children cumulated vsize (KiB) 1637352 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12329 /proc/meminfo: memFree=206884/2059040 swapFree=4140304/4192956 [pid=12276] ppid=12274 vsize=1637352 CPUtime=1801.59 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 2408 0 -1 4202496 417475 0 0 0 168497 11662 0 0 25 0 1 0 1415184 1676648448 404659 1992294400 4194304 7136930 140735949594832 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12276/statm: 409338 404659 390 719 0 408617 0 Current children cumulated CPU time (s) 1801.59 Current children cumulated vsize (KiB) 1637352 [startup+1802.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12329 /proc/meminfo: memFree=206884/2059040 swapFree=4140304/4192956 [pid=12276] ppid=12274 vsize=1637352 CPUtime=1801.99 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 2408 0 -1 4202496 417475 0 0 0 168537 11662 0 0 25 0 1 0 1415184 1676648448 404659 1992294400 4194304 7136930 140735949594832 18446744073709551615 6166159 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12276/statm: 409338 404659 390 719 0 408617 0 Current children cumulated CPU time (s) 1801.99 Current children cumulated vsize (KiB) 1637352 [startup+1802.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12329 /proc/meminfo: memFree=206884/2059040 swapFree=4140304/4192956 [pid=12276] ppid=12274 vsize=0 CPUtime=1802.1 /proc/12276/stat : 12276 (pbscip.linux.x8) R 12274 12276 2408 0 -1 4203524 417475 0 0 0 168539 11671 0 0 25 0 1 0 1415184 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 /proc/12276/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1802.1 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.76 CPU time (s): 1802.16 CPU user time (s): 1685.39 CPU system time (s): 116.773 CPU usage (%): 99.9667 Max. virtual memory (cumulated for all children) (KiB): 1700908 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1685.39 system time used= 116.773 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 417475 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= 1 involuntary context switches= 20469 runsolver used 3.22951 second user time and 8.30474 second system time The end
Begin job on node054 at 2010-06-15 13:27:18 IDJOB=2664237 IDBENCH=2904 IDSOLVER=1167 FILE ID=node054/2664237-1276601238 PBS_JOBID= 11173559 Free space on /tmp= 62480 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_4.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-2664237-1276601238/watcher-2664237-1276601238 -o /tmp/evaluation-result-2664237-1276601238/solver-2664237-1276601238 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664237-1276601238.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 87341d3e4752b9f90faef0f8d9385430 RANDOM SEED=222028286 node054.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.217 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.43 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.217 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1831828 kB Buffers: 16368 kB Cached: 132132 kB SwapCached: 6680 kB Active: 67848 kB Inactive: 94072 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1831828 kB SwapTotal: 4192956 kB SwapFree: 4140304 kB Dirty: 3276 kB Writeback: 0 kB AnonPages: 11016 kB Mapped: 12972 kB Slab: 43640 kB PageTables: 3976 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181008 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62476 MiB End job on node054 at 2010-06-15 13:57:21