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) | 1336 | 1802.19 | 1802.75 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_1.opb |
| MD5SUM | 0263d0a7c5e3320bd7cce9534c14bf27 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 17 |
| Best CPU time to get the best result obtained on this benchmark | 1792.56 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 32 |
| Optimality of the best value was proved | NO |
| Number of variables | 198 |
| Total number of constraints | 16 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 16 |
| Minimum length of a constraint | 85 |
| Maximum length of a constraint | 86 |
| Number of terms in the objective function | 128 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 4080 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1884 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 6162 |
| 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-2664223-1276615184.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.70/1.71 c 1.6s| 10000 | 9980 | 0 | 0.0 |4067k| 167 | - | 198 | 8 | 0 | 0 | 0 | 11 | 0 | 0.000000e+00 | -- | Inf
3.29/3.32 c 3.0s| 20000 | 19963 | 0 | 0.0 |8024k| 167 | - | 198 | 8 | 0 | 0 | 0 | 20 | 0 | 0.000000e+00 | -- | Inf
5.19/5.24 c 4.8s| 30000 | 29258 | 0 | 0.0 | 11M| 173 | - | 198 | 8 | 0 | 0 | 0 | 395 | 0 | 0.000000e+00 | -- | Inf
6.89/6.93 c 6.3s| 40000 | 39254 | 0 | 0.0 | 14M| 173 | - | 198 | 8 | 0 | 0 | 0 | 397 | 0 | 0.000000e+00 | -- | Inf
8.59/8.62 c 7.9s| 50000 | 49254 | 0 | 0.0 | 18M| 173 | - | 198 | 8 | 0 | 0 | 0 | 397 | 0 | 0.000000e+00 | -- | Inf
10.19/10.29 c 9.4s| 60000 | 59252 | 0 | 0.0 | 21M| 173 | - | 198 | 8 | 0 | 0 | 0 | 398 | 0 | 0.000000e+00 | -- | Inf
11.89/11.97 c 10.9s| 70000 | 69248 | 0 | 0.0 | 25M| 173 | - | 198 | 8 | 0 | 0 | 0 | 400 | 0 | 0.000000e+00 | -- | Inf
13.59/13.62 c 12.5s| 80000 | 79242 | 0 | 0.0 | 29M| 173 | - | 198 | 8 | 0 | 0 | 0 | 403 | 0 | 0.000000e+00 | -- | Inf
15.19/15.26 c 14.0s| 90000 | 89231 | 0 | 0.0 | 32M| 173 | - | 198 | 8 | 0 | 0 | 0 | 409 | 0 | 0.000000e+00 | -- | Inf
16.79/16.89 c 15.5s|100000 | 99227 | 0 | 0.0 | 36M| 173 | - | 198 | 8 | 0 | 0 | 0 | 411 | 0 | 0.000000e+00 | -- | Inf
18.49/18.50 c 16.9s|110000 |109227 | 0 | 0.0 | 40M| 173 | - | 198 | 8 | 0 | 0 | 0 | 411 | 0 | 0.000000e+00 | -- | Inf
20.09/20.10 c 18.4s|120000 |119219 | 0 | 0.0 | 44M| 173 | - | 198 | 8 | 0 | 0 | 0 | 415 | 0 | 0.000000e+00 | -- | Inf
21.68/21.73 c 19.9s|130000 |129205 | 0 | 0.0 | 47M| 173 | - | 198 | 8 | 0 | 0 | 0 | 422 | 0 | 0.000000e+00 | -- | Inf
23.29/23.35 c 21.4s|140000 |139137 | 0 | 0.0 | 51M| 173 | - | 198 | 8 | 0 | 0 | 0 | 457 | 0 | 0.000000e+00 | -- | Inf
24.88/24.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.88/24.95 c 22.8s|150000 |149097 | 0 | 0.0 | 55M| 173 | - | 198 | 8 | 0 | 0 | 0 | 478 | 0 | 0.000000e+00 | -- | Inf
26.49/26.54 c 24.3s|160000 |159038 | 0 | 0.0 | 59M| 173 | - | 198 | 8 | 0 | 0 | 0 | 509 | 0 | 0.000000e+00 | -- | Inf
28.09/28.11 c 25.7s|170000 |169027 | 0 | 0.0 | 63M| 173 | - | 198 | 8 | 0 | 0 | 0 | 515 | 0 | 0.000000e+00 | -- | Inf
29.59/29.66 c 27.1s|180000 |179023 | 0 | 0.0 | 68M| 173 | - | 198 | 8 | 0 | 0 | 0 | 517 | 0 | 0.000000e+00 | -- | Inf
31.18/31.22 c 28.5s|190000 |188998 | 0 | 0.0 | 72M| 173 | - | 198 | 8 | 0 | 0 | 0 | 530 | 0 | 0.000000e+00 | -- | Inf
32.68/32.74 c 29.9s|200000 |198998 | 0 | 0.0 | 76M| 173 | - | 198 | 8 | 0 | 0 | 0 | 530 | 0 | 0.000000e+00 | -- | Inf
34.28/34.31 c 31.3s|210000 |208984 | 0 | 0.0 | 80M| 173 | - | 198 | 8 | 0 | 0 | 0 | 537 | 0 | 0.000000e+00 | -- | Inf
35.78/35.84 c 32.6s|220000 |218970 | 0 | 0.0 | 85M| 173 | - | 198 | 8 | 0 | 0 | 0 | 544 | 0 | 0.000000e+00 | -- | Inf
37.29/37.34 c 34.0s|230000 |228968 | 0 | 0.0 | 89M| 173 | - | 198 | 8 | 0 | 0 | 0 | 545 | 0 | 0.000000e+00 | -- | Inf
39.59/39.64 c 36.2s|240000 |236707 | 0 | 0.0 | 93M| 173 | - | 198 | 8 | 0 | 0 | 0 |1767 | 0 | 0.000000e+00 | -- | Inf
42.27/42.38 c 38.7s|250000 |243530 | 0 | 0.0 | 96M| 178 | - | 198 | 8 | 0 | 0 | 0 |3384 | 0 | 0.000000e+00 | -- | Inf
44.17/44.23 c 40.4s|260000 |252984 | 0 | 0.0 | 99M| 178 | - | 198 | 8 | 0 | 0 | 0 |3576 | 0 | 0.000000e+00 | -- | Inf
46.68/46.79 c 42.8s|270000 |260361 | 0 | 0.0 | 103M| 178 | - | 198 | 8 | 0 | 0 | 0 |5001 | 0 | 0.000000e+00 | -- | Inf
49.68/49.73 c 45.6s|280000 |266778 | 0 | 0.0 | 105M| 178 | - | 198 | 8 | 0 | 0 | 0 |6952 | 0 | 0.000000e+00 | -- | Inf
52.58/52.62 c 48.3s|290000 |273362 | 0 | 0.0 | 108M| 178 | - | 198 | 8 | 0 | 0 | 0 |8802 | 0 | 0.000000e+00 | -- | Inf
54.28/54.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
54.28/54.38 c 49.9s|300000 |283268 | 0 | 0.0 | 112M| 178 | - | 198 | 8 | 0 | 0 | 0 |8853 | 0 | 0.000000e+00 | -- | Inf
56.08/56.11 c 51.5s|310000 |293252 | 0 | 0.0 | 115M| 178 | - | 198 | 8 | 0 | 0 | 0 |8861 | 0 | 0.000000e+00 | -- | Inf
57.77/57.84 c 53.1s|320000 |303235 | 0 | 0.0 | 119M| 178 | - | 198 | 8 | 0 | 0 | 0 |8870 | 0 | 0.000000e+00 | -- | Inf
59.47/59.56 c 54.6s|330000 |313223 | 0 | 0.0 | 123M| 178 | - | 198 | 8 | 0 | 0 | 0 |8876 | 0 | 0.000000e+00 | -- | Inf
61.17/61.28 c 56.2s|340000 |323213 | 0 | 0.0 | 126M| 178 | - | 198 | 8 | 0 | 0 | 0 |8881 | 0 | 0.000000e+00 | -- | Inf
62.97/63.00 c 57.8s|350000 |333209 | 0 | 0.0 | 130M| 178 | - | 198 | 8 | 0 | 0 | 0 |8883 | 0 | 0.000000e+00 | -- | Inf
64.67/64.72 c 59.4s|360000 |343187 | 0 | 0.0 | 133M| 178 | - | 198 | 8 | 0 | 0 | 0 |8894 | 0 | 0.000000e+00 | -- | Inf
66.37/66.43 c 60.9s|370000 |353187 | 0 | 0.0 | 137M| 178 | - | 198 | 8 | 0 | 0 | 0 |8894 | 0 | 0.000000e+00 | -- | Inf
68.08/68.13 c 62.5s|380000 |363183 | 0 | 0.0 | 141M| 178 | - | 198 | 8 | 0 | 0 | 0 |8896 | 0 | 0.000000e+00 | -- | Inf
69.77/69.85 c 64.0s|390000 |373183 | 0 | 0.0 | 144M| 178 | - | 198 | 8 | 0 | 0 | 0 |8896 | 0 | 0.000000e+00 | -- | Inf
71.57/71.62 c 65.7s|400000 |383183 | 0 | 0.0 | 148M| 178 | - | 198 | 8 | 0 | 0 | 0 |8896 | 0 | 0.000000e+00 | -- | Inf
73.27/73.34 c 67.2s|410000 |393183 | 0 | 0.0 | 151M| 178 | - | 198 | 8 | 0 | 0 | 0 |8896 | 0 | 0.000000e+00 | -- | Inf
74.96/75.05 c 68.8s|420000 |403183 | 0 | 0.0 | 155M| 178 | - | 198 | 8 | 0 | 0 | 0 |8896 | 0 | 0.000000e+00 | -- | Inf
76.67/76.76 c 70.4s|430000 |413183 | 0 | 0.0 | 159M| 178 | - | 198 | 8 | 0 | 0 | 0 |8896 | 0 | 0.000000e+00 | -- | Inf
78.36/78.47 c 71.9s|440000 |423183 | 0 | 0.0 | 163M| 178 | - | 198 | 8 | 0 | 0 | 0 |8896 | 0 | 0.000000e+00 | -- | Inf
80.07/80.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
80.07/80.18 c 73.4s|450000 |433183 | 0 | 0.0 | 166M| 178 | - | 198 | 8 | 0 | 0 | 0 |8896 | 0 | 0.000000e+00 | -- | Inf
81.77/81.88 c 75.0s|460000 |443177 | 0 | 0.0 | 170M| 178 | - | 198 | 8 | 0 | 0 | 0 |8899 | 0 | 0.000000e+00 | -- | Inf
83.47/83.57 c 76.5s|470000 |453171 | 0 | 0.0 | 174M| 178 | - | 198 | 8 | 0 | 0 | 0 |8902 | 0 | 0.000000e+00 | -- | Inf
85.16/85.27 c 78.1s|480000 |463171 | 0 | 0.0 | 178M| 178 | - | 198 | 8 | 0 | 0 | 0 |8902 | 0 | 0.000000e+00 | -- | Inf
86.87/86.95 c 79.6s|490000 |473171 | 0 | 0.0 | 181M| 178 | - | 198 | 8 | 0 | 0 | 0 |8902 | 0 | 0.000000e+00 | -- | Inf
88.56/88.62 c 81.1s|500000 |483171 | 0 | 0.0 | 185M| 178 | - | 198 | 8 | 0 | 0 | 0 |8902 | 0 | 0.000000e+00 | -- | Inf
90.27/90.30 c 82.6s|510000 |493171 | 0 | 0.0 | 189M| 178 | - | 198 | 8 | 0 | 0 | 0 |8902 | 0 | 0.000000e+00 | -- | Inf
91.96/92.00 c 84.2s|520000 |503161 | 0 | 0.0 | 193M| 178 | - | 198 | 8 | 0 | 0 | 0 |8907 | 0 | 0.000000e+00 | -- | Inf
93.56/93.69 c 85.7s|530000 |513157 | 0 | 0.0 | 196M| 178 | - | 198 | 8 | 0 | 0 | 0 |8909 | 0 | 0.000000e+00 | -- | Inf
95.26/95.38 c 87.3s|540000 |523155 | 0 | 0.0 | 200M| 178 | - | 198 | 8 | 0 | 0 | 0 |8910 | 0 | 0.000000e+00 | -- | Inf
97.06/97.11 c 88.8s|550000 |533155 | 0 | 0.0 | 204M| 178 | - | 198 | 8 | 0 | 0 | 0 |8910 | 0 | 0.000000e+00 | -- | Inf
98.76/98.88 c 90.5s|560000 |543140 | 0 | 0.0 | 208M| 178 | - | 198 | 8 | 0 | 0 | 0 |8918 | 0 | 0.000000e+00 | -- | Inf
100.56/100.61 c 92.0s|570000 |553130 | 0 | 0.0 | 212M| 178 | - | 198 | 8 | 0 | 0 | 0 |8923 | 0 | 0.000000e+00 | -- | Inf
102.26/102.34 c 93.6s|580000 |563122 | 0 | 0.0 | 216M| 178 | - | 198 | 8 | 0 | 0 | 0 |8927 | 0 | 0.000000e+00 | -- | Inf
103.96/104.05 c 95.2s|590000 |573106 | 0 | 0.0 | 219M| 178 | - | 198 | 8 | 0 | 0 | 0 |8935 | 0 | 0.000000e+00 | -- | Inf
105.66/105.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
105.66/105.75 c 96.7s|600000 |583095 | 0 | 0.0 | 223M| 178 | - | 198 | 8 | 0 | 0 | 0 |8941 | 0 | 0.000000e+00 | -- | Inf
107.36/107.46 c 98.3s|610000 |593095 | 0 | 0.0 | 227M| 178 | - | 198 | 8 | 0 | 0 | 0 |8941 | 0 | 0.000000e+00 | -- | Inf
109.06/109.18 c 99.8s|620000 |603093 | 0 | 0.0 | 231M| 178 | - | 198 | 8 | 0 | 0 | 0 |8941 | 0 | 0.000000e+00 | -- | Inf
110.86/110.93 c 101s|630000 |613091 | 0 | 0.0 | 235M| 178 | - | 198 | 8 | 0 | 0 | 0 |8942 | 0 | 0.000000e+00 | -- | Inf
112.55/112.65 c 103s|640000 |623091 | 0 | 0.0 | 239M| 178 | - | 198 | 8 | 0 | 0 | 0 |8942 | 0 | 0.000000e+00 | -- | Inf
114.26/114.37 c 105s|650000 |633091 | 0 | 0.0 | 243M| 178 | - | 198 | 8 | 0 | 0 | 0 |8942 | 0 | 0.000000e+00 | -- | Inf
115.96/116.08 c 106s|660000 |643091 | 0 | 0.0 | 246M| 178 | - | 198 | 8 | 0 | 0 | 0 |8942 | 0 | 0.000000e+00 | -- | Inf
117.67/117.79 c 108s|670000 |653091 | 0 | 0.0 | 250M| 178 | - | 198 | 8 | 0 | 0 | 0 |8942 | 0 | 0.000000e+00 | -- | Inf
119.45/119.52 c 109s|680000 |663091 | 0 | 0.0 | 254M| 178 | - | 198 | 8 | 0 | 0 | 0 |8942 | 0 | 0.000000e+00 | -- | Inf
121.16/121.25 c 111s|690000 |673091 | 0 | 0.0 | 258M| 178 | - | 198 | 8 | 0 | 0 | 0 |8942 | 0 | 0.000000e+00 | -- | Inf
122.85/122.97 c 112s|700000 |683091 | 0 | 0.0 | 262M| 178 | - | 198 | 8 | 0 | 0 | 0 |8942 | 0 | 0.000000e+00 | -- | Inf
124.65/124.70 c 114s|710000 |693091 | 0 | 0.0 | 266M| 178 | - | 198 | 8 | 0 | 0 | 0 |8942 | 0 | 0.000000e+00 | -- | Inf
126.36/126.42 c 116s|720000 |703091 | 0 | 0.0 | 270M| 178 | - | 198 | 8 | 0 | 0 | 0 |8942 | 0 | 0.000000e+00 | -- | Inf
128.05/128.13 c 117s|730000 |713085 | 0 | 0.0 | 274M| 178 | - | 198 | 8 | 0 | 0 | 0 |8945 | 0 | 0.000000e+00 | -- | Inf
129.76/129.86 c 119s|740000 |723081 | 0 | 0.0 | 278M| 178 | - | 198 | 8 | 0 | 0 | 0 |8947 | 0 | 0.000000e+00 | -- | Inf
131.45/131.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
131.45/131.58 c 120s|750000 |733077 | 0 | 0.0 | 282M| 178 | - | 198 | 8 | 0 | 0 | 0 |8949 | 0 | 0.000000e+00 | -- | Inf
133.15/133.28 c 122s|760000 |743071 | 0 | 0.0 | 286M| 178 | - | 198 | 8 | 0 | 0 | 0 |8952 | 0 | 0.000000e+00 | -- | Inf
134.85/134.98 c 123s|770000 |753053 | 0 | 0.0 | 290M| 178 | - | 198 | 8 | 0 | 0 | 0 |8961 | 0 | 0.000000e+00 | -- | Inf
136.55/136.66 c 125s|780000 |763053 | 0 | 0.0 | 294M| 178 | - | 198 | 8 | 0 | 0 | 0 |8961 | 0 | 0.000000e+00 | -- | Inf
138.25/138.34 c 126s|790000 |773034 | 0 | 0.0 | 298M| 178 | - | 198 | 8 | 0 | 0 | 0 |8970 | 0 | 0.000000e+00 | -- | Inf
139.95/140.03 c 128s|800000 |783026 | 0 | 0.0 | 302M| 178 | - | 198 | 8 | 0 | 0 | 0 |8974 | 0 | 0.000000e+00 | -- | Inf
141.55/141.69 c 129s|810000 |793026 | 0 | 0.0 | 305M| 178 | - | 198 | 8 | 0 | 0 | 0 |8974 | 0 | 0.000000e+00 | -- | Inf
143.24/143.38 c 131s|820000 |803026 | 0 | 0.0 | 309M| 178 | - | 198 | 8 | 0 | 0 | 0 |8974 | 0 | 0.000000e+00 | -- | Inf
144.94/145.08 c 133s|830000 |813022 | 0 | 0.0 | 313M| 178 | - | 198 | 8 | 0 | 0 | 0 |8976 | 0 | 0.000000e+00 | -- | Inf
146.64/146.79 c 134s|840000 |823022 | 0 | 0.0 | 317M| 178 | - | 198 | 8 | 0 | 0 | 0 |8976 | 0 | 0.000000e+00 | -- | Inf
148.35/148.49 c 136s|850000 |833022 | 0 | 0.0 | 321M| 178 | - | 198 | 8 | 0 | 0 | 0 |8976 | 0 | 0.000000e+00 | -- | Inf
150.05/150.18 c 137s|860000 |843022 | 0 | 0.0 | 325M| 178 | - | 198 | 8 | 0 | 0 | 0 |8976 | 0 | 0.000000e+00 | -- | Inf
151.75/151.86 c 139s|870000 |853022 | 0 | 0.0 | 329M| 178 | - | 198 | 8 | 0 | 0 | 0 |8976 | 0 | 0.000000e+00 | -- | Inf
153.44/153.55 c 140s|880000 |863022 | 0 | 0.0 | 333M| 178 | - | 198 | 8 | 0 | 0 | 0 |8976 | 0 | 0.000000e+00 | -- | Inf
155.14/155.25 c 142s|890000 |873022 | 0 | 0.0 | 337M| 178 | - | 198 | 8 | 0 | 0 | 0 |8976 | 0 | 0.000000e+00 | -- | Inf
156.84/156.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
156.84/156.92 c 143s|900000 |883022 | 0 | 0.0 | 341M| 178 | - | 198 | 8 | 0 | 0 | 0 |8976 | 0 | 0.000000e+00 | -- | Inf
158.53/158.62 c 145s|910000 |893022 | 0 | 0.0 | 345M| 178 | - | 198 | 8 | 0 | 0 | 0 |8976 | 0 | 0.000000e+00 | -- | Inf
160.24/160.34 c 146s|920000 |903022 | 0 | 0.0 | 349M| 178 | - | 198 | 8 | 0 | 0 | 0 |8976 | 0 | 0.000000e+00 | -- | Inf
161.93/162.03 c 148s|930000 |913020 | 0 | 0.0 | 354M| 178 | - | 198 | 8 | 0 | 0 | 0 |8977 | 0 | 0.000000e+00 | -- | Inf
163.63/163.70 c 150s|940000 |923020 | 0 | 0.0 | 358M| 178 | - | 198 | 8 | 0 | 0 | 0 |8977 | 0 | 0.000000e+00 | -- | Inf
165.24/165.37 c 151s|950000 |933020 | 0 | 0.0 | 362M| 178 | - | 198 | 8 | 0 | 0 | 0 |8977 | 0 | 0.000000e+00 | -- | Inf
166.93/167.04 c 153s|960000 |943020 | 0 | 0.0 | 366M| 178 | - | 198 | 8 | 0 | 0 | 0 |8977 | 0 | 0.000000e+00 | -- | Inf
168.63/168.71 c 154s|970000 |953020 | 0 | 0.0 | 370M| 178 | - | 198 | 8 | 0 | 0 | 0 |8977 | 0 | 0.000000e+00 | -- | Inf
170.34/170.40 c 156s|980000 |963018 | 0 | 0.0 | 374M| 178 | - | 198 | 8 | 0 | 0 | 0 |8978 | 0 | 0.000000e+00 | -- | Inf
172.03/172.10 c 157s|990000 |973014 | 0 | 0.0 | 378M| 178 | - | 198 | 8 | 0 | 0 | 0 |8980 | 0 | 0.000000e+00 | -- | Inf
173.64/173.79 c 159s| 1000k|983008 | 0 | 0.0 | 382M| 178 | - | 198 | 8 | 0 | 0 | 0 |8983 | 0 | 0.000000e+00 | -- | Inf
175.33/175.48 c 160s| 1010k|992979 | 0 | 0.0 | 386M| 178 | - | 198 | 8 | 0 | 0 | 0 |8999 | 0 | 0.000000e+00 | -- | Inf
177.04/177.14 c 162s| 1020k| 1002k| 0 | 0.0 | 390M| 178 | - | 198 | 8 | 0 | 0 | 0 |9001 | 0 | 0.000000e+00 | -- | Inf
178.73/178.81 c 163s| 1030k| 1012k| 0 | 0.0 | 394M| 178 | - | 198 | 8 | 0 | 0 | 0 |9002 | 0 | 0.000000e+00 | -- | Inf
180.33/180.47 c 165s| 1040k| 1022k| 0 | 0.0 | 398M| 178 | - | 198 | 8 | 0 | 0 | 0 |9002 | 0 | 0.000000e+00 | -- | Inf
182.03/182.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
182.03/182.16 c 166s| 1050k| 1032k| 0 | 0.0 | 402M| 178 | - | 198 | 8 | 0 | 0 | 0 |9006 | 0 | 0.000000e+00 | -- | Inf
183.73/183.85 c 168s| 1060k| 1042k| 0 | 0.0 | 406M| 178 | - | 198 | 8 | 0 | 0 | 0 |9013 | 0 | 0.000000e+00 | -- | Inf
185.43/185.51 c 169s| 1070k| 1052k| 0 | 0.0 | 411M| 178 | - | 198 | 8 | 0 | 0 | 0 |9018 | 0 | 0.000000e+00 | -- | Inf
187.03/187.17 c 171s| 1080k| 1062k| 0 | 0.0 | 415M| 178 | - | 198 | 8 | 0 | 0 | 0 |9020 | 0 | 0.000000e+00 | -- | Inf
188.73/188.83 c 172s| 1090k| 1072k| 0 | 0.0 | 419M| 178 | - | 198 | 8 | 0 | 0 | 0 |9025 | 0 | 0.000000e+00 | -- | Inf
190.33/190.44 c 174s| 1100k| 1082k| 0 | 0.0 | 423M| 178 | - | 198 | 8 | 0 | 0 | 0 |9030 | 0 | 0.000000e+00 | -- | Inf
191.93/192.09 c 175s| 1110k| 1092k| 0 | 0.0 | 427M| 178 | - | 198 | 8 | 0 | 0 | 0 |9033 | 0 | 0.000000e+00 | -- | Inf
193.62/193.75 c 177s| 1120k| 1102k| 0 | 0.0 | 431M| 178 | - | 198 | 8 | 0 | 0 | 0 |9033 | 0 | 0.000000e+00 | -- | Inf
195.32/195.40 c 178s| 1130k| 1112k| 0 | 0.0 | 435M| 178 | - | 198 | 8 | 0 | 0 | 0 |9034 | 0 | 0.000000e+00 | -- | Inf
196.93/197.03 c 180s| 1140k| 1122k| 0 | 0.0 | 440M| 178 | - | 198 | 8 | 0 | 0 | 0 |9034 | 0 | 0.000000e+00 | -- | Inf
198.53/198.64 c 181s| 1150k| 1132k| 0 | 0.0 | 444M| 178 | - | 198 | 8 | 0 | 0 | 0 |9035 | 0 | 0.000000e+00 | -- | Inf
200.14/200.26 c 183s| 1160k| 1142k| 0 | 0.0 | 448M| 178 | - | 198 | 8 | 0 | 0 | 0 |9037 | 0 | 0.000000e+00 | -- | Inf
201.83/201.90 c 184s| 1170k| 1152k| 0 | 0.0 | 452M| 178 | - | 198 | 8 | 0 | 0 | 0 |9037 | 0 | 0.000000e+00 | -- | Inf
203.43/203.56 c 186s| 1180k| 1162k| 0 | 0.0 | 456M| 178 | - | 198 | 8 | 0 | 0 | 0 |9049 | 0 | 0.000000e+00 | -- | Inf
205.02/205.17 c 187s| 1190k| 1172k| 0 | 0.0 | 460M| 178 | - | 198 | 8 | 0 | 0 | 0 |9049 | 0 | 0.000000e+00 | -- | Inf
206.73/206.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
206.73/206.81 c 189s| 1200k| 1182k| 0 | 0.0 | 465M| 178 | - | 198 | 8 | 0 | 0 | 0 |9049 | 0 | 0.000000e+00 | -- | Inf
208.32/208.42 c 190s| 1210k| 1192k| 0 | 0.0 | 469M| 178 | - | 198 | 8 | 0 | 0 | 0 |9052 | 0 | 0.000000e+00 | -- | Inf
209.93/210.04 c 192s| 1220k| 1202k| 0 | 0.0 | 473M| 178 | - | 198 | 8 | 0 | 0 | 0 |9054 | 0 | 0.000000e+00 | -- | Inf
211.52/211.65 c 193s| 1230k| 1212k| 0 | 0.0 | 477M| 178 | - | 198 | 8 | 0 | 0 | 0 |9058 | 0 | 0.000000e+00 | -- | Inf
213.23/213.30 c 194s| 1240k| 1222k| 0 | 0.0 | 482M| 178 | - | 198 | 8 | 0 | 0 | 0 |9064 | 0 | 0.000000e+00 | -- | Inf
214.82/214.92 c 196s| 1250k| 1232k| 0 | 0.0 | 486M| 178 | - | 198 | 8 | 0 | 0 | 0 |9067 | 0 | 0.000000e+00 | -- | Inf
216.42/216.57 c 197s| 1260k| 1242k| 0 | 0.0 | 490M| 178 | - | 198 | 8 | 0 | 0 | 0 |9074 | 0 | 0.000000e+00 | -- | Inf
218.02/218.18 c 199s| 1270k| 1252k| 0 | 0.0 | 494M| 178 | - | 198 | 8 | 0 | 0 | 0 |9089 | 0 | 0.000000e+00 | -- | Inf
219.72/219.82 c 200s| 1280k| 1262k| 0 | 0.0 | 499M| 178 | - | 198 | 8 | 0 | 0 | 0 |9098 | 0 | 0.000000e+00 | -- | Inf
221.32/221.45 c 202s| 1290k| 1272k| 0 | 0.0 | 503M| 178 | - | 198 | 8 | 0 | 0 | 0 |9113 | 0 | 0.000000e+00 | -- | Inf
222.92/223.06 c 203s| 1300k| 1282k| 0 | 0.0 | 507M| 178 | - | 198 | 8 | 0 | 0 | 0 |9115 | 0 | 0.000000e+00 | -- | Inf
224.52/224.67 c 205s| 1310k| 1292k| 0 | 0.0 | 511M| 178 | - | 198 | 8 | 0 | 0 | 0 |9119 | 0 | 0.000000e+00 | -- | Inf
226.11/226.29 c 206s| 1320k| 1302k| 0 | 0.0 | 516M| 178 | - | 198 | 8 | 0 | 0 | 0 |9119 | 0 | 0.000000e+00 | -- | Inf
227.82/227.91 c 208s| 1330k| 1312k| 0 | 0.0 | 520M| 178 | - | 198 | 8 | 0 | 0 | 0 |9129 | 0 | 0.000000e+00 | -- | Inf
229.42/229.52 c 209s| 1340k| 1322k| 0 | 0.0 | 524M| 178 | - | 198 | 8 | 0 | 0 | 0 |9132 | 0 | 0.000000e+00 | -- | Inf
231.02/231.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
231.02/231.13 c 211s| 1350k| 1332k| 0 | 0.0 | 528M| 178 | - | 198 | 8 | 0 | 0 | 0 |9135 | 0 | 0.000000e+00 | -- | Inf
232.62/232.76 c 212s| 1360k| 1342k| 0 | 0.0 | 533M| 178 | - | 198 | 8 | 0 | 0 | 0 |9144 | 0 | 0.000000e+00 | -- | Inf
234.23/234.37 c 214s| 1370k| 1352k| 0 | 0.0 | 537M| 178 | - | 198 | 8 | 0 | 0 | 0 |9158 | 0 | 0.000000e+00 | -- | Inf
235.81/235.99 c 215s| 1380k| 1362k| 0 | 0.0 | 541M| 178 | - | 198 | 8 | 0 | 0 | 0 |9172 | 0 | 0.000000e+00 | -- | Inf
237.52/237.61 c 216s| 1390k| 1372k| 0 | 0.0 | 546M| 178 | - | 198 | 8 | 0 | 0 | 0 |9180 | 0 | 0.000000e+00 | -- | Inf
239.12/239.26 c 218s| 1400k| 1382k| 0 | 0.0 | 550M| 178 | - | 198 | 8 | 0 | 0 | 0 |9181 | 0 | 0.000000e+00 | -- | Inf
240.72/240.87 c 219s| 1410k| 1392k| 0 | 0.0 | 554M| 178 | - | 198 | 8 | 0 | 0 | 0 |9182 | 0 | 0.000000e+00 | -- | Inf
242.31/242.48 c 221s| 1420k| 1402k| 0 | 0.0 | 559M| 178 | - | 198 | 8 | 0 | 0 | 0 |9191 | 0 | 0.000000e+00 | -- | Inf
244.02/244.10 c 222s| 1430k| 1412k| 0 | 0.0 | 563M| 178 | - | 198 | 8 | 0 | 0 | 0 |9206 | 0 | 0.000000e+00 | -- | Inf
245.61/245.72 c 224s| 1440k| 1422k| 0 | 0.0 | 567M| 178 | - | 198 | 8 | 0 | 0 | 0 |9208 | 0 | 0.000000e+00 | -- | Inf
247.21/247.36 c 225s| 1450k| 1432k| 0 | 0.0 | 571M| 178 | - | 198 | 8 | 0 | 0 | 0 |9220 | 0 | 0.000000e+00 | -- | Inf
248.81/248.98 c 227s| 1460k| 1442k| 0 | 0.0 | 576M| 178 | - | 198 | 8 | 0 | 0 | 0 |9247 | 0 | 0.000000e+00 | -- | Inf
250.51/250.61 c 228s| 1470k| 1452k| 0 | 0.0 | 580M| 178 | - | 198 | 8 | 0 | 0 | 0 |9265 | 0 | 0.000000e+00 | -- | Inf
252.11/252.20 c 230s| 1480k| 1462k| 0 | 0.0 | 584M| 178 | - | 198 | 8 | 0 | 0 | 0 |9265 | 0 | 0.000000e+00 | -- | Inf
253.61/253.78 c 231s| 1490k| 1472k| 0 | 0.0 | 588M| 178 | - | 198 | 8 | 0 | 0 | 0 |9265 | 0 | 0.000000e+00 | -- | Inf
255.21/255.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
255.21/255.36 c 232s| 1500k| 1482k| 0 | 0.0 | 593M| 178 | - | 198 | 8 | 0 | 0 | 0 |9266 | 0 | 0.000000e+00 | -- | Inf
256.80/256.94 c 234s| 1510k| 1492k| 0 | 0.0 | 597M| 178 | - | 198 | 8 | 0 | 0 | 0 |9269 | 0 | 0.000000e+00 | -- | Inf
258.42/258.54 c 235s| 1520k| 1502k| 0 | 0.0 | 601M| 178 | - | 198 | 8 | 0 | 0 | 0 |9269 | 0 | 0.000000e+00 | -- | Inf
260.01/260.12 c 237s| 1530k| 1512k| 0 | 0.0 | 606M| 178 | - | 198 | 8 | 0 | 0 | 0 |9269 | 0 | 0.000000e+00 | -- | Inf
261.61/261.70 c 238s| 1540k| 1522k| 0 | 0.0 | 610M| 178 | - | 198 | 8 | 0 | 0 | 0 |9269 | 0 | 0.000000e+00 | -- | Inf
263.20/263.30 c 240s| 1550k| 1532k| 0 | 0.0 | 615M| 178 | - | 198 | 8 | 0 | 0 | 0 |9271 | 0 | 0.000000e+00 | -- | Inf
264.81/264.90 c 241s| 1560k| 1542k| 0 | 0.0 | 619M| 178 | - | 198 | 8 | 0 | 0 | 0 |9271 | 0 | 0.000000e+00 | -- | Inf
266.30/266.48 c 243s| 1570k| 1552k| 0 | 0.0 | 623M| 178 | - | 198 | 8 | 0 | 0 | 0 |9276 | 0 | 0.000000e+00 | -- | Inf
267.91/268.06 c 244s| 1580k| 1562k| 0 | 0.0 | 627M| 178 | - | 198 | 8 | 0 | 0 | 0 |9276 | 0 | 0.000000e+00 | -- | Inf
269.51/269.63 c 245s| 1590k| 1572k| 0 | 0.0 | 632M| 178 | - | 198 | 8 | 0 | 0 | 0 |9284 | 0 | 0.000000e+00 | -- | Inf
271.11/271.20 c 247s| 1600k| 1582k| 0 | 0.0 | 636M| 178 | - | 198 | 8 | 0 | 0 | 0 |9288 | 0 | 0.000000e+00 | -- | Inf
272.61/272.76 c 248s| 1610k| 1592k| 0 | 0.0 | 640M| 178 | - | 198 | 8 | 0 | 0 | 0 |9292 | 0 | 0.000000e+00 | -- | Inf
274.20/274.33 c 250s| 1620k| 1602k| 0 | 0.0 | 645M| 178 | - | 198 | 8 | 0 | 0 | 0 |9292 | 0 | 0.000000e+00 | -- | Inf
275.79/275.90 c 251s| 1630k| 1612k| 0 | 0.0 | 649M| 178 | - | 198 | 8 | 0 | 0 | 0 |9292 | 0 | 0.000000e+00 | -- | Inf
277.29/277.49 c 252s| 1640k| 1622k| 0 | 0.0 | 653M| 178 | - | 198 | 8 | 0 | 0 | 0 |9294 | 0 | 0.000000e+00 | -- | Inf
278.90/279.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
278.90/279.09 c 254s| 1650k| 1632k| 0 | 0.0 | 658M| 178 | - | 198 | 8 | 0 | 0 | 0 |9297 | 0 | 0.000000e+00 | -- | Inf
280.50/280.65 c 255s| 1660k| 1642k| 0 | 0.0 | 662M| 178 | - | 198 | 8 | 0 | 0 | 0 |9297 | 0 | 0.000000e+00 | -- | Inf
282.09/282.23 c 257s| 1670k| 1652k| 0 | 0.0 | 667M| 178 | - | 198 | 8 | 0 | 0 | 0 |9297 | 0 | 0.000000e+00 | -- | Inf
283.60/283.80 c 258s| 1680k| 1662k| 0 | 0.0 | 671M| 178 | - | 198 | 8 | 0 | 0 | 0 |9297 | 0 | 0.000000e+00 | -- | Inf
285.20/285.38 c 259s| 1690k| 1672k| 0 | 0.0 | 675M| 178 | - | 198 | 8 | 0 | 0 | 0 |9297 | 0 | 0.000000e+00 | -- | Inf
286.79/286.96 c 261s| 1700k| 1682k| 0 | 0.0 | 680M| 178 | - | 198 | 8 | 0 | 0 | 0 |9298 | 0 | 0.000000e+00 | -- | Inf
288.39/288.54 c 262s| 1710k| 1692k| 0 | 0.0 | 684M| 178 | - | 198 | 8 | 0 | 0 | 0 |9304 | 0 | 0.000000e+00 | -- | Inf
289.99/290.14 c 264s| 1720k| 1702k| 0 | 0.0 | 688M| 178 | - | 198 | 8 | 0 | 0 | 0 |9306 | 0 | 0.000000e+00 | -- | Inf
291.59/291.71 c 265s| 1730k| 1712k| 0 | 0.0 | 693M| 178 | - | 198 | 8 | 0 | 0 | 0 |9306 | 0 | 0.000000e+00 | -- | Inf
293.10/293.30 c 267s| 1740k| 1722k| 0 | 0.0 | 697M| 178 | - | 198 | 8 | 0 | 0 | 0 |9311 | 0 | 0.000000e+00 | -- | Inf
294.70/294.87 c 268s| 1750k| 1732k| 0 | 0.0 | 701M| 178 | - | 198 | 8 | 0 | 0 | 0 |9322 | 0 | 0.000000e+00 | -- | Inf
296.29/296.45 c 269s| 1760k| 1742k| 0 | 0.0 | 706M| 178 | - | 198 | 8 | 0 | 0 | 0 |9322 | 0 | 0.000000e+00 | -- | Inf
297.90/298.05 c 271s| 1770k| 1752k| 0 | 0.0 | 710M| 178 | - | 198 | 8 | 0 | 0 | 0 |9323 | 0 | 0.000000e+00 | -- | Inf
299.49/299.64 c 272s| 1780k| 1762k| 0 | 0.0 | 714M| 178 | - | 198 | 8 | 0 | 0 | 0 |9324 | 0 | 0.000000e+00 | -- | Inf
300.99/301.17 c 274s| 1790k| 1772k| 0 | 0.0 | 719M| 178 | - | 198 | 8 | 0 | 0 | 0 |9324 | 0 | 0.000000e+00 | -- | Inf
302.59/302.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
302.59/302.71 c 275s| 1800k| 1782k| 0 | 0.0 | 723M| 178 | - | 198 | 8 | 0 | 0 | 0 |9324 | 0 | 0.000000e+00 | -- | Inf
304.09/304.27 c 276s| 1810k| 1792k| 0 | 0.0 | 728M| 178 | - | 198 | 8 | 0 | 0 | 0 |9324 | 0 | 0.000000e+00 | -- | Inf
305.69/305.84 c 278s| 1820k| 1802k| 0 | 0.0 | 732M| 178 | - | 198 | 8 | 0 | 0 | 0 |9325 | 0 | 0.000000e+00 | -- | Inf
307.28/307.40 c 279s| 1830k| 1812k| 0 | 0.0 | 737M| 178 | - | 198 | 8 | 0 | 0 | 0 |9329 | 0 | 0.000000e+00 | -- | Inf
308.79/308.91 c 281s| 1840k| 1822k| 0 | 0.0 | 741M| 178 | - | 198 | 8 | 0 | 0 | 0 |9332 | 0 | 0.000000e+00 | -- | Inf
310.28/310.42 c 282s| 1850k| 1832k| 0 | 0.0 | 746M| 178 | - | 198 | 8 | 0 | 0 | 0 |9334 | 0 | 0.000000e+00 | -- | Inf
311.78/311.99 c 283s| 1860k| 1842k| 0 | 0.0 | 750M| 178 | - | 198 | 8 | 0 | 0 | 0 |9335 | 0 | 0.000000e+00 | -- | Inf
313.39/313.56 c 285s| 1870k| 1852k| 0 | 0.0 | 754M| 178 | - | 198 | 8 | 0 | 0 | 0 |9335 | 0 | 0.000000e+00 | -- | Inf
315.09/315.21 o 1394
315.09/315.21 c * 286s| 1879k| 1825k| 0 | 0.0 | 747M| 178 | - | 198 | 8 | 0 | 0 | 0 |9335 | 0 | 0.000000e+00 | 1.394000e+03 | Inf
315.09/315.28 c 286s| 1880k| 1825k| 0 | 0.0 | 747M| 178 | - | 198 | 8 | 0 | 0 | 0 |9349 | 0 | 0.000000e+00 | 1.394000e+03 | Inf
316.78/316.93 c 288s| 1890k| 1835k| 0 | 0.0 | 752M| 178 | - | 198 | 8 | 0 | 0 | 0 |9452 | 0 | 0.000000e+00 | 1.394000e+03 | Inf
318.38/318.59 c 289s| 1900k| 1845k| 0 | 0.0 | 756M| 178 | - | 198 | 8 | 0 | 0 | 0 |9568 | 0 | 0.000000e+00 | 1.394000e+03 | Inf
320.09/320.28 c 291s| 1910k| 1855k| 0 | 0.0 | 761M| 178 | - | 198 | 8 | 0 | 0 | 0 |9755 | 0 | 0.000000e+00 | 1.394000e+03 | Inf
320.99/321.19 o 1392
320.99/321.19 c * 292s| 1914k| 1859k| 0 | 0.0 | 763M| 178 | - | 198 | 8 | 0 | 0 | 0 |9831 | 0 | 0.000000e+00 | 1.392000e+03 | Inf
321.88/322.04 c 293s| 1920k| 1863k| 0 | 0.0 | 765M| 178 | - | 198 | 8 | 0 | 0 | 0 |9940 | 0 | 0.000000e+00 | 1.392000e+03 | Inf
323.49/323.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
323.49/323.67 c 294s| 1930k| 1873k| 0 | 0.0 | 769M| 178 | - | 198 | 8 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 1.392000e+03 | Inf
325.18/325.35 c 296s| 1940k| 1883k| 0 | 0.0 | 774M| 178 | - | 198 | 8 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 1.392000e+03 | Inf
325.39/325.58 o 1351
325.39/325.58 c * 296s| 1940k| 1864k| 0 | 0.0 | 768M| 178 | - | 198 | 8 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 1.351000e+03 | Inf
327.09/327.27 c 297s| 1950k| 1873k| 0 | 0.0 | 772M| 178 | - | 198 | 8 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 1.351000e+03 | Inf
328.88/329.06 c 299s| 1960k| 1882k| 0 | 0.0 | 777M| 178 | - | 198 | 8 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 1.351000e+03 | Inf
329.18/329.34 o 1350
329.18/329.34 c * 299s| 1961k| 1883k| 0 | 0.0 | 777M| 178 | - | 198 | 8 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 1.350000e+03 | Inf
330.68/330.89 c 301s| 1970k| 1891k| 0 | 0.0 | 781M| 178 | - | 198 | 8 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 1.350000e+03 | Inf
332.48/332.65 c 302s| 1980k| 1901k| 0 | 0.0 | 786M| 178 | - | 198 | 8 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.350000e+03 | Inf
334.19/334.39 c 304s| 1990k| 1911k| 0 | 0.0 | 790M| 178 | - | 198 | 8 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.350000e+03 | Inf
334.68/334.80 o 1345
334.68/334.80 c * 304s| 1991k| 1910k| 0 | 0.0 | 790M| 178 | - | 198 | 8 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
335.98/336.19 c 305s| 2000k| 1918k| 0 | 0.0 | 794M| 178 | - | 198 | 8 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
337.78/337.97 c 307s| 2010k| 1927k| 0 | 0.0 | 799M| 178 | - | 198 | 8 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
339.48/339.69 c 309s| 2020k| 1937k| 0 | 0.0 | 803M| 178 | - | 198 | 8 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
341.38/341.50 c 310s| 2030k| 1946k| 0 | 0.0 | 808M| 178 | - | 198 | 8 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
343.18/343.38 c 312s| 2040k| 1956k| 0 | 0.0 | 813M| 178 | - | 198 | 8 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
346.68/346.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
346.68/346.87 c 315s| 2050k| 1960k| 0 | 0.0 | 815M| 178 | - | 198 | 8 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
349.68/349.88 c 318s| 2060k| 1966k| 0 | 0.0 | 818M| 178 | - | 198 | 8 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
353.08/353.21 c 321s| 2070k| 1971k| 0 | 0.0 | 821M| 178 | - | 198 | 8 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
356.67/356.84 c 325s| 2080k| 1975k| 0 | 0.0 | 823M| 178 | - | 198 | 8 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
360.58/360.80 c 328s| 2090k| 1978k| 0 | 0.0 | 826M| 178 | - | 198 | 8 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
364.88/365.04 c 332s| 2100k| 1980k| 0 | 0.0 | 828M| 183 | - | 198 | 8 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
368.07/368.27 c 336s| 2110k| 1985k| 0 | 0.0 | 831M| 183 | - | 198 | 8 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
369.87/370.08 c 337s| 2120k| 1995k| 0 | 0.0 | 835M| 183 | - | 198 | 8 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
371.68/371.85 c 339s| 2130k| 2005k| 0 | 0.0 | 838M| 183 | - | 198 | 8 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
373.47/373.60 c 340s| 2140k| 2015k| 0 | 0.0 | 842M| 183 | - | 198 | 8 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
375.26/375.42 c 342s| 2150k| 2025k| 0 | 0.0 | 846M| 183 | - | 198 | 8 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
377.07/377.29 c 344s| 2160k| 2035k| 0 | 0.0 | 849M| 183 | - | 198 | 8 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
378.96/379.18 c 346s| 2170k| 2044k| 0 | 0.0 | 853M| 183 | - | 198 | 8 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
380.76/380.98 c 347s| 2180k| 2054k| 0 | 0.0 | 857M| 183 | - | 198 | 8 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
382.67/382.82 c 349s| 2190k| 2063k| 0 | 0.0 | 861M| 183 | - | 198 | 8 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
384.67/384.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
384.67/384.85 c 351s| 2200k| 2072k| 0 | 0.0 | 865M| 183 | - | 198 | 8 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
386.77/386.95 c 353s| 2210k| 2081k| 0 | 0.0 | 868M| 183 | - | 198 | 8 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
388.87/389.02 c 355s| 2220k| 2090k| 0 | 0.0 | 872M| 183 | - | 198 | 8 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
390.86/391.03 c 356s| 2230k| 2099k| 0 | 0.0 | 876M| 183 | - | 198 | 8 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
392.75/392.95 c 358s| 2240k| 2108k| 0 | 0.0 | 880M| 183 | - | 198 | 8 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
394.76/394.96 c 360s| 2250k| 2117k| 0 | 0.0 | 884M| 183 | - | 198 | 8 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
396.75/396.90 c 362s| 2260k| 2126k| 0 | 0.0 | 888M| 183 | - | 198 | 8 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
398.65/398.83 c 364s| 2270k| 2135k| 0 | 0.0 | 892M| 183 | - | 198 | 8 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
400.55/400.77 c 365s| 2280k| 2145k| 0 | 0.0 | 896M| 183 | - | 198 | 8 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
402.56/402.74 c 367s| 2290k| 2154k| 0 | 0.0 | 900M| 183 | - | 198 | 8 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
404.56/404.73 c 369s| 2300k| 2163k| 0 | 0.0 | 904M| 183 | - | 198 | 8 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
406.46/406.65 c 371s| 2310k| 2172k| 0 | 0.0 | 909M| 183 | - | 198 | 8 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
408.46/408.69 c 373s| 2320k| 2180k| 0 | 0.0 | 913M| 183 | - | 198 | 8 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
411.05/411.20 c 375s| 2330k| 2188k| 0 | 0.0 | 917M| 183 | - | 198 | 8 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
413.95/414.15 c 378s| 2340k| 2195k| 0 | 0.0 | 920M| 183 | - | 198 | 8 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
417.15/417.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
417.15/417.31 c 381s| 2350k| 2201k| 0 | 0.0 | 923M| 183 | - | 198 | 8 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
420.45/420.69 c 384s| 2360k| 2206k| 0 | 0.0 | 926M| 183 | - | 198 | 8 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
423.85/424.05 c 387s| 2370k| 2211k| 0 | 0.0 | 929M| 183 | - | 198 | 8 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
427.25/427.49 c 390s| 2380k| 2216k| 0 | 0.0 | 932M| 183 | - | 198 | 8 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
430.75/430.94 c 394s| 2390k| 2221k| 0 | 0.0 | 934M| 183 | - | 198 | 8 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
434.25/434.41 c 397s| 2400k| 2226k| 0 | 0.0 | 937M| 183 | - | 198 | 8 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
437.65/437.80 c 400s| 2410k| 2231k| 0 | 0.0 | 939M| 183 | - | 198 | 8 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
441.24/441.41 c 404s| 2420k| 2235k| 0 | 0.0 | 942M| 183 | - | 198 | 8 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
444.65/444.82 c 407s| 2430k| 2240k| 0 | 0.0 | 944M| 183 | - | 198 | 8 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
448.14/448.31 c 410s| 2440k| 2244k| 0 | 0.0 | 946M| 183 | - | 198 | 8 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
451.74/451.93 c 414s| 2450k| 2248k| 0 | 0.0 | 949M| 183 | - | 198 | 8 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
454.74/454.94 c 416s| 2460k| 2255k| 0 | 0.0 | 952M| 183 | - | 198 | 8 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
456.84/457.08 c 418s| 2470k| 2264k| 0 | 0.0 | 955M| 183 | - | 198 | 8 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
459.24/459.49 c 421s| 2480k| 2272k| 0 | 0.0 | 958M| 183 | - | 198 | 8 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
461.93/462.14 c 423s| 2490k| 2279k| 0 | 0.0 | 962M| 183 | - | 198 | 8 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
464.84/465.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
464.84/465.01 c 426s| 2500k| 2286k| 0 | 0.0 | 965M| 183 | - | 198 | 8 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
467.94/468.12 c 429s| 2510k| 2292k| 0 | 0.0 | 968M| 183 | - | 198 | 8 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
471.23/471.41 c 432s| 2520k| 2298k| 0 | 0.0 | 971M| 183 | - | 198 | 8 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
474.44/474.68 c 435s| 2530k| 2304k| 0 | 0.0 | 975M| 183 | - | 198 | 8 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
477.73/477.98 c 438s| 2540k| 2309k| 0 | 0.0 | 977M| 183 | - | 198 | 8 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
481.13/481.39 c 441s| 2550k| 2314k| 0 | 0.0 | 980M| 183 | - | 198 | 8 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
484.63/484.80 c 445s| 2560k| 2319k| 0 | 0.0 | 983M| 183 | - | 198 | 8 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
488.04/488.24 c 448s| 2570k| 2324k| 0 | 0.0 | 985M| 183 | - | 198 | 8 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
491.54/491.77 c 451s| 2580k| 2329k| 0 | 0.0 | 987M| 183 | - | 198 | 8 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
495.03/495.25 c 454s| 2590k| 2333k| 0 | 0.0 | 990M| 183 | - | 198 | 8 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
498.43/498.65 c 458s| 2600k| 2338k| 0 | 0.0 | 992M| 183 | - | 198 | 8 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
501.93/502.15 c 461s| 2610k| 2342k| 0 | 0.0 | 995M| 183 | - | 198 | 8 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
505.73/505.92 c 465s| 2620k| 2346k| 0 | 0.0 | 997M| 183 | - | 198 | 8 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
507.52/507.75 c 466s| 2630k| 2356k| 0 | 0.0 |1000M| 183 | - | 198 | 8 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
509.32/509.50 c 468s| 2640k| 2366k| 0 | 0.0 |1004M| 183 | - | 198 | 8 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
511.03/511.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
511.03/511.23 c 469s| 2650k| 2376k| 0 | 0.0 |1007M| 183 | - | 198 | 8 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
512.72/512.93 c 471s| 2660k| 2386k| 0 | 0.0 |1011M| 183 | - | 198 | 8 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
514.42/514.66 c 473s| 2670k| 2396k| 0 | 0.0 |1014M| 183 | - | 198 | 8 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
516.21/516.40 c 474s| 2680k| 2405k| 0 | 0.0 |1018M| 183 | - | 198 | 8 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
517.92/518.16 c 476s| 2690k| 2415k| 0 | 0.0 |1021M| 183 | - | 198 | 8 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
519.71/519.92 c 477s| 2700k| 2425k| 0 | 0.0 |1025M| 183 | - | 198 | 8 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
521.51/521.70 c 479s| 2710k| 2435k| 0 | 0.0 |1028M| 183 | - | 198 | 8 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
523.22/523.47 c 481s| 2720k| 2445k| 0 | 0.0 |1032M| 183 | - | 198 | 8 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
525.02/525.21 c 482s| 2730k| 2455k| 0 | 0.0 |1035M| 183 | - | 198 | 8 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
526.72/526.98 c 484s| 2740k| 2465k| 0 | 0.0 |1039M| 183 | - | 198 | 8 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
528.52/528.74 c 485s| 2750k| 2475k| 0 | 0.0 |1042M| 183 | - | 198 | 8 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
530.31/530.52 c 487s| 2760k| 2485k| 0 | 0.0 |1046M| 183 | - | 198 | 8 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
532.02/532.30 c 489s| 2770k| 2494k| 0 | 0.0 |1049M| 183 | - | 198 | 8 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
533.81/534.06 c 490s| 2780k| 2504k| 0 | 0.0 |1053M| 183 | - | 198 | 8 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
535.52/535.80 c 492s| 2790k| 2514k| 0 | 0.0 |1056M| 183 | - | 198 | 8 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
537.31/537.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
537.31/537.58 c 494s| 2800k| 2524k| 0 | 0.0 |1060M| 183 | - | 198 | 8 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
539.12/539.34 c 495s| 2810k| 2534k| 0 | 0.0 |1063M| 183 | - | 198 | 8 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
540.92/541.11 c 497s| 2820k| 2544k| 0 | 0.0 |1067M| 183 | - | 198 | 8 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
542.71/542.92 c 499s| 2830k| 2554k| 0 | 0.0 |1070M| 183 | - | 198 | 8 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
544.51/544.71 c 500s| 2840k| 2563k| 0 | 0.0 |1074M| 183 | - | 198 | 8 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
546.21/546.46 c 502s| 2850k| 2573k| 0 | 0.0 |1077M| 183 | - | 198 | 8 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
548.01/548.22 c 503s| 2860k| 2583k| 0 | 0.0 |1081M| 183 | - | 198 | 8 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
549.71/550.00 c 505s| 2870k| 2593k| 0 | 0.0 |1084M| 183 | - | 198 | 8 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
551.50/551.74 c 507s| 2880k| 2603k| 0 | 0.0 |1088M| 183 | - | 198 | 8 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
553.30/553.52 c 508s| 2890k| 2613k| 0 | 0.0 |1091M| 183 | - | 198 | 8 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
555.11/555.30 c 510s| 2900k| 2623k| 0 | 0.0 |1095M| 183 | - | 198 | 8 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
556.80/557.05 c 511s| 2910k| 2633k| 0 | 0.0 |1098M| 183 | - | 198 | 8 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
558.61/558.84 c 513s| 2920k| 2642k| 0 | 0.0 |1102M| 183 | - | 198 | 8 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
560.41/560.60 c 515s| 2930k| 2652k| 0 | 0.0 |1105M| 183 | - | 198 | 8 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
562.11/562.36 c 516s| 2940k| 2662k| 0 | 0.0 |1109M| 183 | - | 198 | 8 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
563.90/564.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
563.90/564.11 c 518s| 2950k| 2672k| 0 | 0.0 |1112M| 183 | - | 198 | 8 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
565.61/565.87 c 519s| 2960k| 2682k| 0 | 0.0 |1116M| 183 | - | 198 | 8 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
567.41/567.63 c 521s| 2970k| 2692k| 0 | 0.0 |1119M| 183 | - | 198 | 8 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
569.20/569.42 c 523s| 2980k| 2702k| 0 | 0.0 |1123M| 183 | - | 198 | 8 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
570.90/571.18 c 524s| 2990k| 2712k| 0 | 0.0 |1127M| 183 | - | 198 | 8 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
572.70/572.97 c 526s| 3000k| 2721k| 0 | 0.0 |1130M| 183 | - | 198 | 8 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
574.50/574.74 c 528s| 3010k| 2731k| 0 | 0.0 |1134M| 183 | - | 198 | 8 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
576.30/576.50 c 529s| 3020k| 2741k| 0 | 0.0 |1137M| 183 | - | 198 | 8 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
578.00/578.29 c 531s| 3030k| 2751k| 0 | 0.0 |1141M| 183 | - | 198 | 8 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
579.89/580.10 c 533s| 3040k| 2761k| 0 | 0.0 |1144M| 183 | - | 198 | 8 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
581.60/581.88 c 534s| 3050k| 2771k| 0 | 0.0 |1148M| 183 | - | 198 | 8 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
583.40/583.65 c 536s| 3060k| 2780k| 0 | 0.0 |1152M| 183 | - | 198 | 8 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
585.19/585.42 c 537s| 3070k| 2790k| 0 | 0.0 |1155M| 183 | - | 198 | 8 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
586.90/587.17 c 539s| 3080k| 2800k| 0 | 0.0 |1159M| 183 | - | 198 | 8 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
588.70/588.95 c 541s| 3090k| 2810k| 0 | 0.0 |1162M| 183 | - | 198 | 8 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
590.51/590.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
590.51/590.72 c 542s| 3100k| 2820k| 0 | 0.0 |1166M| 183 | - | 198 | 8 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
592.30/592.50 c 544s| 3110k| 2830k| 0 | 0.0 |1169M| 183 | - | 198 | 8 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
593.99/594.28 c 546s| 3120k| 2839k| 0 | 0.0 |1173M| 183 | - | 198 | 8 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
595.79/596.00 c 547s| 3130k| 2849k| 0 | 0.0 |1177M| 183 | - | 198 | 8 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
597.50/597.76 c 549s| 3140k| 2859k| 0 | 0.0 |1180M| 183 | - | 198 | 8 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
599.30/599.54 c 550s| 3150k| 2869k| 0 | 0.0 |1184M| 183 | - | 198 | 8 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
601.09/601.36 c 552s| 3160k| 2879k| 0 | 0.0 |1188M| 183 | - | 198 | 8 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
602.89/603.11 c 554s| 3170k| 2889k| 0 | 0.0 |1191M| 183 | - | 198 | 8 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
604.59/604.88 c 555s| 3180k| 2899k| 0 | 0.0 |1195M| 183 | - | 198 | 8 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
606.39/606.68 c 557s| 3190k| 2908k| 0 | 0.0 |1198M| 183 | - | 198 | 8 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
608.19/608.45 c 559s| 3200k| 2918k| 0 | 0.0 |1202M| 183 | - | 198 | 8 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
609.99/610.25 c 560s| 3210k| 2928k| 0 | 0.0 |1206M| 183 | - | 198 | 8 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
611.79/612.04 c 562s| 3220k| 2938k| 0 | 0.0 |1209M| 183 | - | 198 | 8 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
613.60/613.87 c 564s| 3230k| 2948k| 0 | 0.0 |1213M| 183 | - | 198 | 8 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
615.49/615.73 c 565s| 3240k| 2957k| 0 | 0.0 |1217M| 183 | - | 198 | 8 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
617.28/617.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
617.28/617.51 c 567s| 3250k| 2967k| 0 | 0.0 |1220M| 183 | - | 198 | 8 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
619.00/619.29 c 569s| 3260k| 2977k| 0 | 0.0 |1224M| 183 | - | 198 | 8 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
620.79/621.09 c 570s| 3270k| 2987k| 0 | 0.0 |1228M| 183 | - | 198 | 8 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
622.59/622.86 c 572s| 3280k| 2996k| 0 | 0.0 |1231M| 183 | - | 198 | 8 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
624.39/624.66 c 573s| 3290k| 3006k| 0 | 0.0 |1235M| 183 | - | 198 | 8 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
626.19/626.40 c 575s| 3300k| 3016k| 0 | 0.0 |1239M| 183 | - | 198 | 8 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
627.89/628.16 c 577s| 3310k| 3026k| 0 | 0.0 |1242M| 183 | - | 198 | 8 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
629.69/629.92 c 578s| 3320k| 3036k| 0 | 0.0 |1246M| 183 | - | 198 | 8 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
631.38/631.66 c 580s| 3330k| 3046k| 0 | 0.0 |1250M| 183 | - | 198 | 8 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
633.18/633.42 c 582s| 3340k| 3056k| 0 | 0.0 |1253M| 183 | - | 198 | 8 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
634.88/635.18 c 583s| 3350k| 3065k| 0 | 0.0 |1257M| 183 | - | 198 | 8 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
636.69/636.96 c 585s| 3360k| 3075k| 0 | 0.0 |1261M| 183 | - | 198 | 8 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
638.48/638.77 c 586s| 3370k| 3085k| 0 | 0.0 |1264M| 183 | - | 198 | 8 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
640.28/640.51 c 588s| 3380k| 3095k| 0 | 0.0 |1268M| 183 | - | 198 | 8 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
641.98/642.29 c 590s| 3390k| 3105k| 0 | 0.0 |1271M| 183 | - | 198 | 8 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
643.78/644.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
643.78/644.08 c 591s| 3400k| 3115k| 0 | 0.0 |1275M| 183 | - | 198 | 8 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
645.58/645.86 c 593s| 3410k| 3124k| 0 | 0.0 |1279M| 183 | - | 198 | 8 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
647.38/647.68 c 595s| 3420k| 3134k| 0 | 0.0 |1282M| 183 | - | 198 | 8 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
649.28/649.56 c 596s| 3430k| 3144k| 0 | 0.0 |1286M| 183 | - | 198 | 8 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
651.07/651.38 c 598s| 3440k| 3153k| 0 | 0.0 |1290M| 183 | - | 198 | 8 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
652.98/653.22 c 600s| 3450k| 3163k| 0 | 0.0 |1294M| 183 | - | 198 | 8 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
654.78/655.05 c 601s| 3460k| 3173k| 0 | 0.0 |1297M| 183 | - | 198 | 8 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
656.58/656.82 c 603s| 3470k| 3183k| 0 | 0.0 |1301M| 183 | - | 198 | 8 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
658.37/658.62 c 605s| 3480k| 3192k| 0 | 0.0 |1305M| 183 | - | 198 | 8 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
660.08/660.40 c 606s| 3490k| 3202k| 0 | 0.0 |1308M| 183 | - | 198 | 8 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
661.88/662.14 c 608s| 3500k| 3212k| 0 | 0.0 |1312M| 183 | - | 198 | 8 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
663.67/663.92 c 610s| 3510k| 3222k| 0 | 0.0 |1316M| 183 | - | 198 | 8 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
665.47/665.73 c 611s| 3520k| 3232k| 0 | 0.0 |1319M| 183 | - | 198 | 8 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
667.27/667.58 c 613s| 3530k| 3241k| 0 | 0.0 |1323M| 183 | - | 198 | 8 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
669.17/669.40 c 615s| 3540k| 3251k| 0 | 0.0 |1327M| 183 | - | 198 | 8 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
670.87/671.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
670.87/671.12 c 616s| 3550k| 3261k| 0 | 0.0 |1330M| 183 | - | 198 | 8 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
672.57/672.89 c 618s| 3560k| 3271k| 0 | 0.0 |1334M| 183 | - | 198 | 8 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
674.47/674.71 c 619s| 3570k| 3281k| 0 | 0.0 |1338M| 183 | - | 198 | 8 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
676.28/676.52 c 621s| 3580k| 3290k| 0 | 0.0 |1342M| 183 | - | 198 | 8 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
677.97/678.30 c 623s| 3590k| 3300k| 0 | 0.0 |1345M| 183 | - | 198 | 8 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
679.77/680.06 c 624s| 3600k| 3310k| 0 | 0.0 |1349M| 183 | - | 198 | 8 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
681.57/681.84 c 626s| 3610k| 3320k| 0 | 0.0 |1353M| 183 | - | 198 | 8 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
683.27/683.60 c 628s| 3620k| 3330k| 0 | 0.0 |1356M| 183 | - | 198 | 8 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | 1.345000e+03 | Inf
684.37/684.64 c (node 3625884) switching to memory saving mode (mem: 1296.0M/1620.0M)
685.37/685.66 o 1336
685.37/685.66 c * 629s| 3625k| 3325k| 0 | 0.0 |1355M| 183 | - | 198 | 8 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
687.87/688.14 c 632s| 3630k| 3325k| 0 | 0.0 |1354M| 188 | - | 198 | 8 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
693.88/694.16 c 638s| 3640k| 3325k| 0 | 0.0 |1353M| 188 | - | 198 | 8 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
699.97/700.21 c 643s| 3650k| 3325k| 0 | 0.0 |1353M| 191 | - | 198 | 8 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
706.06/706.33 c 649s| 3660k| 3325k| 0 | 0.0 |1352M| 191 | - | 198 | 8 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
712.06/712.38 c 655s| 3670k| 3324k| 0 | 0.0 |1352M| 191 | - | 198 | 8 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
718.26/718.51 c 661s| 3680k| 3324k| 0 | 0.0 |1352M| 191 | - | 198 | 8 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
724.16/724.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
724.16/724.45 c 666s| 3690k| 3324k| 0 | 0.0 |1352M| 191 | - | 198 | 8 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
730.26/730.54 c 672s| 3700k| 3324k| 0 | 0.0 |1352M| 191 | - | 198 | 8 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
736.46/736.74 c 678s| 3710k| 3324k| 0 | 0.0 |1351M| 191 | - | 198 | 8 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
742.26/742.59 c 684s| 3720k| 3324k| 0 | 0.0 |1351M| 191 | - | 198 | 8 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
748.56/748.84 c 690s| 3730k| 3324k| 0 | 0.0 |1351M| 191 | - | 198 | 8 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
754.65/755.00 c 695s| 3740k| 3324k| 0 | 0.0 |1351M| 191 | - | 198 | 8 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
760.64/760.92 c 701s| 3750k| 3324k| 0 | 0.0 |1351M| 191 | - | 198 | 8 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
766.35/766.64 c 706s| 3760k| 3324k| 0 | 0.0 |1351M| 192 | - | 198 | 8 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
772.35/772.63 c 712s| 3770k| 3324k| 0 | 0.0 |1351M| 192 | - | 198 | 8 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
778.55/778.87 c 718s| 3780k| 3324k| 0 | 0.0 |1351M| 192 | - | 198 | 8 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
784.54/784.89 c 724s| 3790k| 3324k| 0 | 0.0 |1351M| 192 | - | 198 | 8 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
790.04/790.39 c 729s| 3800k| 3324k| 0 | 0.0 |1351M| 192 | - | 198 | 8 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
795.74/796.06 c 734s| 3810k| 3324k| 0 | 0.0 |1351M| 192 | - | 198 | 8 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
801.73/802.03 c 740s| 3820k| 3324k| 0 | 0.0 |1350M| 192 | - | 198 | 8 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
807.74/808.01 c 746s| 3830k| 3324k| 0 | 0.0 |1350M| 192 | - | 198 | 8 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
813.64/813.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
813.64/813.93 c 751s| 3840k| 3324k| 0 | 0.0 |1350M| 192 | - | 198 | 8 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
819.93/820.28 c 757s| 3850k| 3324k| 0 | 0.0 |1350M| 192 | - | 198 | 8 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
826.03/826.34 c 763s| 3860k| 3324k| 0 | 0.0 |1350M| 192 | - | 198 | 8 | 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
831.93/832.25 c 769s| 3870k| 3324k| 0 | 0.0 |1350M| 192 | - | 198 | 8 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
838.03/838.39 c 775s| 3880k| 3324k| 0 | 0.0 |1350M| 192 | - | 198 | 8 | 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
844.02/844.33 c 780s| 3890k| 3324k| 0 | 0.0 |1350M| 192 | - | 198 | 8 | 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
849.93/850.29 c 786s| 3900k| 3324k| 0 | 0.0 |1350M| 192 | - | 198 | 8 | 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
856.32/856.60 c 792s| 3910k| 3324k| 0 | 0.0 |1350M| 192 | - | 198 | 8 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
862.03/862.40 c 797s| 3920k| 3324k| 0 | 0.0 |1350M| 192 | - | 198 | 8 | 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
868.12/868.47 c 803s| 3930k| 3324k| 0 | 0.0 |1350M| 192 | - | 198 | 8 | 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
874.22/874.57 c 809s| 3940k| 3324k| 0 | 0.0 |1350M| 192 | - | 198 | 8 | 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
880.31/880.61 c 815s| 3950k| 3324k| 0 | 0.0 |1350M| 192 | - | 198 | 8 | 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
886.22/886.55 c 820s| 3960k| 3324k| 0 | 0.0 |1350M| 192 | - | 198 | 8 | 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
891.72/892.02 c 825s| 3970k| 3324k| 0 | 0.0 |1350M| 192 | - | 198 | 8 | 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
897.90/898.20 c 831s| 3980k| 3324k| 0 | 0.0 |1350M| 192 | - | 198 | 8 | 0 | 0 | 0 | 317k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
903.81/904.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
903.81/904.16 c 837s| 3990k| 3323k| 0 | 0.0 |1350M| 192 | - | 198 | 8 | 0 | 0 | 0 | 322k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
910.20/910.51 c 843s| 4000k| 3323k| 0 | 0.0 |1350M| 192 | - | 198 | 8 | 0 | 0 | 0 | 328k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
916.41/916.77 c 849s| 4010k| 3323k| 0 | 0.0 |1350M| 192 | - | 198 | 8 | 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
922.51/922.89 c 855s| 4020k| 3323k| 0 | 0.0 |1350M| 192 | - | 198 | 8 | 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
928.50/928.85 c 861s| 4030k| 3323k| 0 | 0.0 |1350M| 192 | - | 198 | 8 | 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
934.50/934.88 c 866s| 4040k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 350k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
940.79/941.11 c 872s| 4050k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 356k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
946.90/947.21 c 878s| 4060k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 361k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
952.79/953.15 c 884s| 4070k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
958.59/958.90 c 889s| 4080k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
964.09/964.46 c 895s| 4090k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 378k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
969.68/970.01 c 900s| 4100k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 383k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
975.09/975.46 c 905s| 4110k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
980.79/981.12 c 910s| 4120k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 394k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
986.29/986.63 c 916s| 4130k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 400k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
991.79/992.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
991.79/992.12 c 921s| 4140k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 405k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
997.48/997.84 c 926s| 4150k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 411k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1002.98/1003.32 c 931s| 4160k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 416k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1008.58/1008.97 c 937s| 4170k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 421k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1014.17/1014.51 c 942s| 4180k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 427k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1019.57/1019.97 c 947s| 4190k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 432k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1025.07/1025.45 c 952s| 4200k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 438k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1030.38/1030.79 c 957s| 4210k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 443k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1035.78/1036.12 c 962s| 4220k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 448k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1040.87/1041.23 c 967s| 4230k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 454k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1046.46/1046.84 c 973s| 4240k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 459k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1052.27/1052.62 c 978s| 4250k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 465k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1057.77/1058.15 c 983s| 4260k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 470k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1063.26/1063.64 c 988s| 4270k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 476k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1068.96/1069.32 c 994s| 4280k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 481k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1074.46/1074.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1074.46/1074.85 c 999s| 4290k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 486k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1080.15/1080.55 c 1005s| 4300k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 492k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1085.65/1086.02 c 1010s| 4310k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 497k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1091.65/1092.04 c 1015s| 4320k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 503k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1097.25/1097.65 c 1021s| 4330k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 508k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1102.95/1103.39 c 1026s| 4340k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 514k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1108.64/1109.03 c 1032s| 4350k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 519k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1114.95/1115.31 c 1038s| 4360k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 524k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1120.34/1120.78 c 1043s| 4370k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 530k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1125.84/1126.22 c 1048s| 4380k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 535k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1131.34/1131.72 c 1053s| 4390k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 541k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1136.63/1137.07 c 1058s| 4400k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 546k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1142.23/1142.63 c 1063s| 4410k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 552k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1147.83/1148.24 c 1069s| 4420k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 557k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1153.33/1153.73 c 1074s| 4430k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 563k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1158.73/1159.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1158.73/1159.16 c 1079s| 4440k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 568k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1164.73/1165.19 c 1085s| 4450k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 573k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1170.33/1170.79 c 1090s| 4460k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 579k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1175.82/1176.22 c 1095s| 4470k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 584k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1181.22/1181.60 c 1100s| 4480k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 589k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1186.53/1186.98 c 1105s| 4490k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 595k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1192.12/1192.58 c 1111s| 4500k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 600k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1197.91/1198.30 c 1116s| 4510k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 606k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1203.91/1204.39 c 1122s| 4520k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 611k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1209.81/1210.25 c 1128s| 4530k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 617k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1215.41/1215.87 c 1133s| 4540k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 622k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1221.01/1221.40 c 1138s| 4550k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 627k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1226.32/1226.77 c 1143s| 4560k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 633k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1231.62/1232.03 c 1148s| 4570k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 638k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1237.21/1237.64 c 1153s| 4580k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 644k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1242.70/1243.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1242.70/1243.16 c 1159s| 4590k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 649k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1248.20/1248.65 c 1164s| 4600k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 655k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1253.71/1254.10 c 1169s| 4610k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 660k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1259.21/1259.63 c 1174s| 4620k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 665k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1264.80/1265.21 c 1180s| 4630k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 671k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1270.50/1270.91 c 1185s| 4640k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 676k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1276.29/1276.71 c 1191s| 4650k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 682k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1281.80/1282.27 c 1196s| 4660k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 687k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1287.39/1287.80 c 1201s| 4670k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 692k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1292.69/1293.16 c 1206s| 4680k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 698k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1298.29/1298.76 c 1211s| 4690k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 703k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1303.79/1304.28 c 1217s| 4700k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 709k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1309.18/1309.60 c 1222s| 4710k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 714k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1315.19/1315.64 c 1227s| 4720k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 720k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1320.78/1321.27 c 1233s| 4730k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 725k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1326.48/1326.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1326.48/1326.98 c 1238s| 4740k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 730k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1332.28/1332.70 c 1244s| 4750k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 736k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1337.68/1338.18 c 1249s| 4760k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 741k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1343.17/1343.65 c 1254s| 4770k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 747k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1348.67/1349.14 c 1259s| 4780k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 752k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1354.47/1354.96 c 1265s| 4790k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 757k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1360.57/1361.09 c 1271s| 4800k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 763k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1366.27/1366.73 c 1276s| 4810k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 768k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1371.67/1372.14 c 1281s| 4820k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 774k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1377.27/1377.71 c 1286s| 4830k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 779k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1382.86/1383.31 c 1292s| 4840k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 784k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1388.56/1389.00 c 1297s| 4850k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 790k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1394.06/1394.55 c 1302s| 4860k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 795k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1399.46/1399.91 c 1307s| 4870k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 801k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1404.86/1405.38 c 1312s| 4880k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 806k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1410.36/1410.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1410.36/1410.82 c 1318s| 4890k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 811k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1415.96/1416.41 c 1323s| 4900k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 817k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1421.55/1422.04 c 1328s| 4910k| 3323k| 0 | 0.0 |1349M| 192 | - | 198 | 8 | 0 | 0 | 0 | 822k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1426.95/1427.42 c 1333s| 4920k| 3323k| 0 | 0.0 |1349M| 193 | - | 198 | 8 | 0 | 0 | 0 | 828k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1432.35/1432.85 c 1338s| 4930k| 3323k| 0 | 0.0 |1349M| 193 | - | 198 | 8 | 0 | 0 | 0 | 833k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1437.75/1438.21 c 1343s| 4940k| 3323k| 0 | 0.0 |1349M| 193 | - | 198 | 8 | 0 | 0 | 0 | 838k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1443.05/1443.57 c 1349s| 4950k| 3323k| 0 | 0.0 |1349M| 193 | - | 198 | 8 | 0 | 0 | 0 | 844k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1448.34/1448.80 c 1354s| 4960k| 3323k| 0 | 0.0 |1349M| 193 | - | 198 | 8 | 0 | 0 | 0 | 849k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1454.04/1454.57 c 1359s| 4970k| 3323k| 0 | 0.0 |1349M| 193 | - | 198 | 8 | 0 | 0 | 0 | 855k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1460.85/1461.30 c 1365s| 4980k| 3323k| 0 | 0.0 |1349M| 193 | - | 198 | 8 | 0 | 0 | 0 | 860k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1467.64/1468.10 c 1372s| 4990k| 3323k| 0 | 0.0 |1349M| 193 | - | 198 | 8 | 0 | 0 | 0 | 866k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1473.55/1474.04 c 1378s| 5000k| 3323k| 0 | 0.0 |1349M| 193 | - | 198 | 8 | 0 | 0 | 0 | 871k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1479.04/1479.53 c 1383s| 5010k| 3323k| 0 | 0.0 |1349M| 193 | - | 198 | 8 | 0 | 0 | 0 | 876k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1484.55/1485.01 c 1388s| 5020k| 3323k| 0 | 0.0 |1349M| 193 | - | 198 | 8 | 0 | 0 | 0 | 882k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1490.04/1490.53 c 1393s| 5030k| 3323k| 0 | 0.0 |1349M| 193 | - | 198 | 8 | 0 | 0 | 0 | 887k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1495.63/1496.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1495.63/1496.17 c 1399s| 5040k| 3323k| 0 | 0.0 |1349M| 193 | - | 198 | 8 | 0 | 0 | 0 | 893k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1501.63/1502.15 c 1404s| 5050k| 3323k| 0 | 0.0 |1349M| 193 | - | 198 | 8 | 0 | 0 | 0 | 898k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1507.13/1507.69 c 1409s| 5060k| 3323k| 0 | 0.0 |1349M| 193 | - | 198 | 8 | 0 | 0 | 0 | 904k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1513.62/1514.12 c 1416s| 5070k| 3323k| 0 | 0.0 |1349M| 193 | - | 198 | 8 | 0 | 0 | 0 | 909k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1519.33/1519.82 c 1421s| 5080k| 3323k| 0 | 0.0 |1349M| 193 | - | 198 | 8 | 0 | 0 | 0 | 914k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1524.92/1525.44 c 1426s| 5090k| 3323k| 0 | 0.0 |1349M| 193 | - | 198 | 8 | 0 | 0 | 0 | 920k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1530.52/1531.03 c 1432s| 5100k| 3323k| 0 | 0.0 |1349M| 193 | - | 198 | 8 | 0 | 0 | 0 | 925k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1536.02/1536.54 c 1437s| 5110k| 3323k| 0 | 0.0 |1349M| 193 | - | 198 | 8 | 0 | 0 | 0 | 931k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1541.82/1542.34 c 1442s| 5120k| 3323k| 0 | 0.0 |1349M| 193 | - | 198 | 8 | 0 | 0 | 0 | 936k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1547.62/1548.11 c 1448s| 5130k| 3323k| 0 | 0.0 |1349M| 193 | - | 198 | 8 | 0 | 0 | 0 | 941k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1553.11/1553.65 c 1453s| 5140k| 3323k| 0 | 0.0 |1349M| 193 | - | 198 | 8 | 0 | 0 | 0 | 947k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1558.61/1559.11 c 1458s| 5150k| 3323k| 0 | 0.0 |1349M| 193 | - | 198 | 8 | 0 | 0 | 0 | 952k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1563.91/1564.45 c 1463s| 5160k| 3323k| 0 | 0.0 |1349M| 193 | - | 198 | 8 | 0 | 0 | 0 | 958k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1569.51/1570.06 c 1469s| 5170k| 3323k| 0 | 0.0 |1349M| 193 | - | 198 | 8 | 0 | 0 | 0 | 963k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1575.91/1576.40 c 1475s| 5180k| 3323k| 0 | 0.0 |1349M| 193 | - | 198 | 8 | 0 | 0 | 0 | 968k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1581.51/1582.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1581.51/1582.06 c 1480s| 5190k| 3323k| 0 | 0.0 |1349M| 193 | - | 198 | 8 | 0 | 0 | 0 | 974k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1587.11/1587.66 c 1485s| 5200k| 3323k| 0 | 0.0 |1349M| 193 | - | 198 | 8 | 0 | 0 | 0 | 979k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1592.40/1592.96 c 1490s| 5210k| 3323k| 0 | 0.0 |1349M| 193 | - | 198 | 8 | 0 | 0 | 0 | 985k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1598.00/1598.53 c 1496s| 5220k| 3323k| 0 | 0.0 |1349M| 193 | - | 198 | 8 | 0 | 0 | 0 | 990k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1603.40/1603.95 c 1501s| 5230k| 3323k| 0 | 0.0 |1349M| 193 | - | 198 | 8 | 0 | 0 | 0 | 995k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1609.00/1609.50 c 1506s| 5240k| 3323k| 0 | 0.0 |1349M| 193 | - | 198 | 8 | 0 | 0 | 0 |1001k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1614.40/1614.97 c 1511s| 5250k| 3323k| 0 | 0.0 |1349M| 193 | - | 198 | 8 | 0 | 0 | 0 |1006k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1619.89/1620.41 c 1516s| 5260k| 3323k| 0 | 0.0 |1349M| 193 | - | 198 | 8 | 0 | 0 | 0 |1012k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1625.30/1625.83 c 1521s| 5270k| 3323k| 0 | 0.0 |1349M| 193 | - | 198 | 8 | 0 | 0 | 0 |1017k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1630.89/1631.41 c 1527s| 5280k| 3323k| 0 | 0.0 |1349M| 193 | - | 198 | 8 | 0 | 0 | 0 |1022k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1636.29/1636.87 c 1532s| 5290k| 3323k| 0 | 0.0 |1349M| 193 | - | 198 | 8 | 0 | 0 | 0 |1028k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1642.19/1642.75 c 1537s| 5300k| 3323k| 0 | 0.0 |1349M| 193 | - | 198 | 8 | 0 | 0 | 0 |1033k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1647.98/1648.51 c 1543s| 5310k| 3323k| 0 | 0.0 |1349M| 193 | - | 198 | 8 | 0 | 0 | 0 |1038k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1653.38/1653.99 c 1548s| 5320k| 3323k| 0 | 0.0 |1349M| 193 | - | 198 | 8 | 0 | 0 | 0 |1044k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1658.98/1659.54 c 1553s| 5330k| 3323k| 0 | 0.0 |1349M| 193 | - | 198 | 8 | 0 | 0 | 0 |1049k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1664.89/1665.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1664.89/1665.43 c 1559s| 5340k| 3323k| 0 | 0.0 |1349M| 193 | - | 198 | 8 | 0 | 0 | 0 |1055k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1670.39/1670.95 c 1564s| 5350k| 3323k| 0 | 0.0 |1349M| 193 | - | 198 | 8 | 0 | 0 | 0 |1060k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1676.07/1676.60 c 1569s| 5360k| 3323k| 0 | 0.0 |1349M| 193 | - | 198 | 8 | 0 | 0 | 0 |1065k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1681.57/1682.16 c 1575s| 5370k| 3323k| 0 | 0.0 |1349M| 193 | - | 198 | 8 | 0 | 0 | 0 |1071k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1687.08/1687.70 c 1580s| 5380k| 3323k| 0 | 0.0 |1349M| 193 | - | 198 | 8 | 0 | 0 | 0 |1076k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1692.38/1692.94 c 1585s| 5390k| 3323k| 0 | 0.0 |1349M| 193 | - | 198 | 8 | 0 | 0 | 0 |1082k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1697.67/1698.30 c 1590s| 5400k| 3323k| 0 | 0.0 |1349M| 193 | - | 198 | 8 | 0 | 0 | 0 |1087k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1703.87/1704.45 c 1596s| 5410k| 3323k| 0 | 0.0 |1349M| 193 | - | 198 | 8 | 0 | 0 | 0 |1093k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1709.46/1710.02 c 1601s| 5420k| 3323k| 0 | 0.0 |1349M| 193 | - | 198 | 8 | 0 | 0 | 0 |1098k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1714.96/1715.51 c 1606s| 5430k| 3323k| 0 | 0.0 |1349M| 193 | - | 198 | 8 | 0 | 0 | 0 |1104k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1720.87/1721.48 c 1612s| 5440k| 3323k| 0 | 0.0 |1349M| 193 | - | 198 | 8 | 0 | 0 | 0 |1109k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1726.97/1727.54 c 1618s| 5450k| 3323k| 0 | 0.0 |1349M| 193 | - | 198 | 8 | 0 | 0 | 0 |1115k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1732.76/1733.38 c 1623s| 5460k| 3323k| 0 | 0.0 |1348M| 193 | - | 198 | 8 | 0 | 0 | 0 |1120k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1738.36/1738.95 c 1629s| 5470k| 3323k| 0 | 0.0 |1348M| 193 | - | 198 | 8 | 0 | 0 | 0 |1126k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1743.76/1744.32 c 1634s| 5480k| 3323k| 0 | 0.0 |1348M| 193 | - | 198 | 8 | 0 | 0 | 0 |1131k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1749.95/1750.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1749.95/1750.55 c 1640s| 5490k| 3323k| 0 | 0.0 |1348M| 193 | - | 198 | 8 | 0 | 0 | 0 |1137k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1756.06/1756.65 c 1646s| 5500k| 3323k| 0 | 0.0 |1348M| 193 | - | 198 | 8 | 0 | 0 | 0 |1142k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1762.24/1762.88 c 1652s| 5510k| 3323k| 0 | 0.0 |1348M| 193 | - | 198 | 8 | 0 | 0 | 0 |1148k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1768.54/1769.17 c 1658s| 5520k| 3323k| 0 | 0.0 |1348M| 193 | - | 198 | 8 | 0 | 0 | 0 |1153k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1775.04/1775.66 c 1664s| 5530k| 3323k| 0 | 0.0 |1348M| 193 | - | 198 | 8 | 0 | 0 | 0 |1159k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1781.45/1782.05 c 1670s| 5540k| 3323k| 0 | 0.0 |1348M| 193 | - | 198 | 8 | 0 | 0 | 0 |1164k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1787.74/1788.33 c 1676s| 5550k| 3322k| 0 | 0.0 |1348M| 193 | - | 198 | 8 | 0 | 0 | 0 |1170k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1793.63/1794.25 c 1681s| 5560k| 3322k| 0 | 0.0 |1348M| 193 | - | 198 | 8 | 0 | 0 | 0 |1175k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1799.53/1800.12 c 1687s| 5570k| 3322k| 0 | 0.0 |1348M| 193 | - | 198 | 8 | 0 | 0 | 0 |1181k| 0 | 0.000000e+00 | 1.336000e+03 | Inf
1800.05/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.61 c
1800.05/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.61 c Solving Time (sec) : 1687.53
1800.05/1800.61 c Solving Nodes : 5570816
1800.05/1800.61 c Primal Bound : +1.33600000000000e+03 (6 solutions)
1800.05/1800.61 c Dual Bound : +0.00000000000000e+00
1800.05/1800.61 c Gap : infinite
1800.05/1800.61 s SATISFIABLE
1800.05/1800.61 v x143 -x198 -x197 x196 -x195 -x194 x193 -x192 -x191 -x190 -x189 -x188 -x187 x186 -x185 x184 x183 x182 x181 x180 x179 x178 x177 x176
1800.05/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
1800.05/1800.61 v -x153 x152 -x151 -x150 -x149 x148 -x147 -x146 x145 x144 x142 -x141 x140 x139 x138 x137 -x136 x135 x134 -x133 -x132 -x131
1800.05/1800.61 v -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 x120 x119 -x118 -x117 x116 -x115 x114 x113 -x112 -x111 -x110 -x109
1800.05/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 -x84
1800.05/1800.61 v -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 x71 -x70 x69 -x68 -x67 -x66 x65 -x64 -x63 -x62 -x61 -x60 -x59
1800.05/1800.61 v -x58 -x57 -x56 -x55 x54 x53 -x52 -x51 -x50 x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 x40 -x39 x38 -x37 x36 -x35 x34 x33 -x32
1800.05/1800.61 v -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 x5
1800.05/1800.61 v x4 -x3 x2 -x1
1800.05/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.61 c Solving Time : 1687.53
1800.05/1800.61 c Original Problem :
1800.05/1800.61 c Problem name : HOME/instance-2664223-1276615184.opb
1800.05/1800.61 c Variables : 198 (198 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.61 c Constraints : 16 initial, 16 maximal
1800.05/1800.61 c Presolved Problem :
1800.05/1800.61 c Problem name : t_HOME/instance-2664223-1276615184.opb
1800.05/1800.61 c Variables : 198 (198 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.61 c Constraints : 8 initial, 8 maximal
1800.05/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c probing : 0.02 0 0 0 0 0 0 0 0
1800.05/1800.61 c linear : 0.00 0 0 0 0 0 8 0 0
1800.05/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c root node : - 0 - - 0 - - - -
1800.05/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.61 c linear : 8 0 13844189 0 4585659 1184631 23375940 0 0 0
1800.05/1800.61 c logicor : 0+ 0 1161334 0 0 299 1159848 0 0 0
1800.05/1800.61 c countsols : 0 0 0 0 4585660 0 0 0 0 0
1800.05/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.61 c linear : 1205.30 0.00 1202.28 0.00 3.02
1800.05/1800.61 c logicor : 6.75 0.00 6.75 0.00 0.00
1800.05/1800.61 c countsols : 1.77 0.00 0.00 0.00 1.77
1800.05/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.61 c vbounds : 6.16 2 0 0
1800.05/1800.61 c rootredcost : 6.13 0 0 0
1800.05/1800.61 c pseudoobj : 107.07 13851135 7145 221495
1800.05/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.61 c propagation : 553.27 1192056 1181626 3842899 119.4 36 81.2 -
1800.05/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.61 c applied globally : - - - 0 0.0 - - -
1800.05/1800.61 c applied locally : - - - 1181626 85.3 - - -
1800.05/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.61 c redcost : 0.00 0 0 0 0 0
1800.05/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.61 c intobj : 0.00 0 0 0 0 0
1800.05/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.61 c gomory : 0.00 0 0 0 0 0
1800.05/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.61 c cmir : 0.00 0 0 0 0 0
1800.05/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.61 c clique : 0.00 0 0 0 0 0
1800.05/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.61 c mcf : 0.00 0 0 0 0 0
1800.05/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.61 c Pricers : Time Calls Vars
1800.05/1800.61 c problem variables: 0.00 0 0
1800.05/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.61 c inference : 94.75 4585654 0 0 0 0 9171308
1800.05/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.61 c random : 0.00 0 0 0 0 0 0
1800.05/1800.61 c Primal Heuristics : Time Calls Found
1800.05/1800.61 c LP solutions : 0.00 - 0
1800.05/1800.61 c pseudo solutions : 0.61 - 6
1800.05/1800.61 c oneopt : 3.31 0 0
1800.05/1800.61 c trivial : 0.00 2 0
1800.05/1800.61 c simplerounding : 0.00 0 0
1800.05/1800.61 c zirounding : 0.00 0 0
1800.05/1800.61 c rounding : 0.00 0 0
1800.05/1800.61 c shifting : 0.00 0 0
1800.05/1800.61 c intshifting : 0.00 0 0
1800.05/1800.61 c twoopt : 0.00 0 0
1800.05/1800.61 c fixandinfer : 0.00 0 0
1800.05/1800.61 c feaspump : 0.00 0 0
1800.05/1800.61 c coefdiving : 0.00 0 0
1800.05/1800.61 c pscostdiving : 0.00 0 0
1800.05/1800.61 c fracdiving : 0.00 0 0
1800.05/1800.61 c veclendiving : 0.00 0 0
1800.05/1800.61 c intdiving : 0.00 0 0
1800.05/1800.61 c actconsdiving : 0.00 0 0
1800.05/1800.61 c objpscostdiving : 0.00 0 0
1800.05/1800.61 c rootsoldiving : 0.00 0 0
1800.05/1800.61 c linesearchdiving : 0.00 0 0
1800.05/1800.61 c guideddiving : 0.00 0 0
1800.05/1800.61 c octane : 0.00 0 0
1800.05/1800.61 c rens : 0.00 0 0
1800.05/1800.61 c rins : 0.00 0 0
1800.05/1800.61 c localbranching : 0.00 0 0
1800.05/1800.61 c mutation : 0.00 0 0
1800.05/1800.61 c crossover : 0.00 0 0
1800.05/1800.61 c dins : 0.00 0 0
1800.05/1800.61 c undercover : 0.00 0 0
1800.05/1800.61 c nlp : 2.66 0 0
1800.05/1800.61 c trysol : 2.37 0 0
1800.05/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.61 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.61 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.61 c (at root node) : - 0 0 0.00 -
1800.05/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.61 c B&B Tree :
1800.05/1800.61 c number of runs : 1
1800.05/1800.61 c nodes : 5570816
1800.05/1800.61 c nodes (total) : 5570816
1800.05/1800.61 c nodes left : 3322956
1800.05/1800.61 c max depth : 193
1800.05/1800.61 c max depth (total): 193
1800.05/1800.61 c backtracks : 320059 (5.7%)
1800.05/1800.61 c delayed cutoffs : 207000
1800.05/1800.61 c repropagations : 5051878 (2710089 domain reductions, 206919 cutoffs)
1800.05/1800.61 c avg switch length: 4.58
1800.05/1800.61 c switching time : 80.57
1800.05/1800.61 c Solution :
1800.05/1800.61 c Solutions found : 6 (6 improvements)
1800.05/1800.61 c First Solution : +1.39400000000000e+03 (in run 1, after 1879658 nodes, 286.25 seconds, depth 58, found by <relaxation>)
1800.05/1800.61 c Primal Bound : +1.33600000000000e+03 (in run 1, after 3625936 nodes, 629.31 seconds, depth 78, found by <relaxation>)
1800.05/1800.61 c Dual Bound : +0.00000000000000e+00
1800.05/1800.61 c Gap : infinite
1800.05/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.61 c Root Iterations : 0
OK 1336
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664223-1276615184/watcher-2664223-1276615184 -o /tmp/evaluation-result-2664223-1276615184/solver-2664223-1276615184 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664223-1276615184.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.07 1.04 1.00 3/106 10508 /proc/meminfo: memFree=1824032/2059040 swapFree=4135684/4192956 [pid=10508] ppid=10506 vsize=6584 CPUtime=0 /proc/10508/stat : 10508 (pbscip.linux.x8) R 10506 10508 9789 0 -1 4202496 970 0 0 0 0 0 0 0 20 0 1 0 37122329 6742016 893 1992294400 4194304 7136930 140736285739248 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10508/statm: 1646 902 254 719 0 925 0 [startup+0.0173231 s] /proc/loadavg: 1.07 1.04 1.00 3/106 10508 /proc/meminfo: memFree=1824032/2059040 swapFree=4135684/4192956 [pid=10508] ppid=10506 vsize=8816 CPUtime=0.01 /proc/10508/stat : 10508 (pbscip.linux.x8) R 10506 10508 9789 0 -1 4202496 2056 0 0 0 1 0 0 0 20 0 1 0 37122329 9027584 1626 1992294400 4194304 7136930 140736285739248 18446744073709551615 4680242 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10508/statm: 2204 1628 283 719 0 1483 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 8816 [startup+0.101331 s] /proc/loadavg: 1.07 1.04 1.00 3/106 10508 /proc/meminfo: memFree=1824032/2059040 swapFree=4135684/4192956 [pid=10508] ppid=10506 vsize=11584 CPUtime=0.09 /proc/10508/stat : 10508 (pbscip.linux.x8) R 10506 10508 9789 0 -1 4202496 2853 0 0 0 8 1 0 0 20 0 1 0 37122329 11862016 2166 1992294400 4194304 7136930 140736285739248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10508/statm: 2896 2166 383 719 0 2175 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11584 [startup+0.301351 s] /proc/loadavg: 1.07 1.04 1.00 3/106 10508 /proc/meminfo: memFree=1824032/2059040 swapFree=4135684/4192956 [pid=10508] ppid=10506 vsize=12272 CPUtime=0.29 /proc/10508/stat : 10508 (pbscip.linux.x8) R 10506 10508 9789 0 -1 4202496 3019 0 0 0 27 2 0 0 20 0 1 0 37122329 12566528 2332 1992294400 4194304 7136930 140736285739248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10508/statm: 3068 2332 383 719 0 2347 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12272 [startup+0.701392 s] /proc/loadavg: 1.07 1.04 1.00 3/106 10508 /proc/meminfo: memFree=1824032/2059040 swapFree=4135684/4192956 [pid=10508] ppid=10506 vsize=13052 CPUtime=0.69 /proc/10508/stat : 10508 (pbscip.linux.x8) R 10506 10508 9789 0 -1 4202496 3250 0 0 0 63 6 0 0 21 0 1 0 37122329 13365248 2563 1992294400 4194304 7136930 140736285739248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10508/statm: 3263 2563 383 719 0 2542 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13052 [startup+1.50147 s] /proc/loadavg: 1.07 1.04 1.00 2/107 10509 /proc/meminfo: memFree=1814476/2059040 swapFree=4135684/4192956 [pid=10508] ppid=10506 vsize=15544 CPUtime=1.49 /proc/10508/stat : 10508 (pbscip.linux.x8) R 10506 10508 9789 0 -1 4202496 3864 0 0 0 137 12 0 0 23 0 1 0 37122329 15917056 3177 1992294400 4194304 7136930 140736285739248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10508/statm: 3886 3177 383 719 0 3165 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15544 [startup+3.10164 s] /proc/loadavg: 1.07 1.04 1.00 2/107 10509 /proc/meminfo: memFree=1810880/2059040 swapFree=4135684/4192956 [pid=10508] ppid=10506 vsize=19648 CPUtime=3.09 /proc/10508/stat : 10508 (pbscip.linux.x8) R 10506 10508 9789 0 -1 4202496 4936 0 0 0 282 27 0 0 25 0 1 0 37122329 20119552 4249 1992294400 4194304 7136930 140736285739248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10508/statm: 4912 4249 383 719 0 4191 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19648 [startup+6.30097 s] /proc/loadavg: 1.07 1.04 1.00 2/107 10509 /proc/meminfo: memFree=1803068/2059040 swapFree=4135684/4192956 [pid=10508] ppid=10506 vsize=26532 CPUtime=6.29 /proc/10508/stat : 10508 (pbscip.linux.x8) R 10506 10508 9789 0 -1 4202496 6728 0 0 0 575 54 0 0 25 0 1 0 37122329 27168768 6041 1992294400 4194304 7136930 140736285739248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10508/statm: 6633 6041 383 719 0 5912 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26532 [startup+12.7016 s] /proc/loadavg: 1.06 1.04 1.00 2/107 10509 /proc/meminfo: memFree=1786700/2059040 swapFree=4135684/4192956 [pid=10508] ppid=10506 vsize=43804 CPUtime=12.69 /proc/10508/stat : 10508 (pbscip.linux.x8) R 10506 10508 9789 0 -1 4202496 10681 0 0 0 1163 106 0 0 25 0 1 0 37122329 44855296 9994 1992294400 4194304 7136930 140736285739248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10508/statm: 10951 9994 383 719 0 10230 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 43804 [startup+25.5009 s] /proc/loadavg: 1.05 1.04 1.00 2/107 10509 /proc/meminfo: memFree=1751112/2059040 swapFree=4135684/4192956 [pid=10508] ppid=10506 vsize=78440 CPUtime=25.49 /proc/10508/stat : 10508 (pbscip.linux.x8) R 10506 10508 9789 0 -1 4202496 19636 0 0 0 2332 217 0 0 25 0 1 0 37122329 80322560 18949 1992294400 4194304 7136930 140736285739248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10508/statm: 19610 18949 383 719 0 18889 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 78440 [startup+51.1005 s] /proc/loadavg: 1.10 1.05 1.01 2/107 10509 /proc/meminfo: memFree=1691964/2059040 swapFree=4135684/4192956 [pid=10508] ppid=10506 vsize=138560 CPUtime=51.08 /proc/10508/stat : 10508 (pbscip.linux.x8) R 10506 10508 9789 0 -1 4202496 34070 0 0 0 4688 420 0 0 25 0 1 0 37122329 141885440 33383 1992294400 4194304 7136930 140736285739248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10508/statm: 34640 33383 383 719 0 33919 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 138560 [startup+102.309 s] /proc/loadavg: 1.10 1.05 1.01 2/107 10511 /proc/meminfo: memFree=1575280/2059040 swapFree=4135684/4192956 [pid=10508] ppid=10506 vsize=258116 CPUtime=102.26 /proc/10508/stat : 10508 (pbscip.linux.x8) R 10506 10508 9789 0 -1 4202496 63092 0 0 0 9357 869 0 0 25 0 1 0 37122329 264310784 62405 1992294400 4194304 7136930 140736285739248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10508/statm: 64529 62405 383 719 0 63808 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 258116 [startup+162.301 s] /proc/loadavg: 1.10 1.06 1.00 2/107 10513 /proc/meminfo: memFree=1431316/2059040 swapFree=4135684/4192956 [pid=10508] ppid=10506 vsize=398296 CPUtime=162.24 /proc/10508/stat : 10508 (pbscip.linux.x8) R 10506 10508 9789 0 -1 4202496 99520 0 0 0 14822 1402 0 0 25 0 1 0 37122329 407855104 98833 1992294400 4194304 7136930 140736285739248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10508/statm: 99574 98833 383 719 0 98853 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 398296 [startup+222.301 s] /proc/loadavg: 1.09 1.06 1.00 2/107 10513 /proc/meminfo: memFree=1277680/2059040 swapFree=4135684/4192956 [pid=10508] ppid=10506 vsize=559868 CPUtime=222.22 /proc/10508/stat : 10508 (pbscip.linux.x8) R 10506 10508 9789 0 -1 4202496 137218 0 0 0 20263 1959 0 0 25 0 1 0 37122329 573304832 136531 1992294400 4194304 7136930 140736285739248 18446744073709551615 4923119 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10508/statm: 139967 136531 383 719 0 139246 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 559868 [startup+282.301 s] /proc/loadavg: 1.12 1.08 1.01 2/107 10515 /proc/meminfo: memFree=1112636/2059040 swapFree=4135684/4192956 [pid=10508] ppid=10506 vsize=721008 CPUtime=282.2 /proc/10508/stat : 10508 (pbscip.linux.x8) R 10506 10508 9789 0 -1 4202496 178973 0 0 0 25670 2550 0 0 25 0 1 0 37122329 738312192 178286 1992294400 4194304 7136930 140736285739248 18446744073709551615 4923065 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10508/statm: 180252 178286 383 719 0 179531 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 721008 [startup+342.301 s] /proc/loadavg: 1.04 1.06 1.00 2/107 10517 /proc/meminfo: memFree=961232/2059040 swapFree=4135684/4192956 [pid=10508] ppid=10506 vsize=865408 CPUtime=342.18 /proc/10508/stat : 10508 (pbscip.linux.x8) R 10506 10508 9789 0 -1 4202496 216218 0 0 0 31099 3119 0 0 25 0 1 0 37122329 886177792 215531 1992294400 4194304 7136930 140736285739248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10508/statm: 216352 215531 383 719 0 215631 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 865408 [startup+402.301 s] /proc/loadavg: 1.01 1.05 1.00 2/107 10519 /proc/meminfo: memFree=869720/2059040 swapFree=4135684/4192956 [pid=10508] ppid=10506 vsize=988192 CPUtime=402.15 /proc/10508/stat : 10508 (pbscip.linux.x8) R 10506 10508 9789 0 -1 4202496 239528 0 0 0 36678 3537 0 0 25 0 1 0 37122329 1011908608 238841 1992294400 4194304 7136930 140736285739248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10508/statm: 247048 238841 383 719 0 246327 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 988192 [startup+462.301 s] /proc/loadavg: 1.00 1.04 1.00 2/107 10521 /proc/meminfo: memFree=802016/2059040 swapFree=4135684/4192956 [pid=10508] ppid=10506 vsize=1052140 CPUtime=462.14 /proc/10508/stat : 10508 (pbscip.linux.x8) R 10506 10508 9789 0 -1 4202496 256000 0 0 0 42325 3889 0 0 25 0 1 0 37122329 1077391360 255313 1992294400 4194304 7136930 140736285739248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10508/statm: 263035 255313 383 719 0 262314 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 1052140 [startup+522.301 s] /proc/loadavg: 1.00 1.03 1.00 3/107 10521 /proc/meminfo: memFree=729352/2059040 swapFree=4135684/4192956 [pid=10508] ppid=10506 vsize=1122372 CPUtime=522.12 /proc/10508/stat : 10508 (pbscip.linux.x8) R 10506 10508 9789 0 -1 4202496 274160 0 0 0 47955 4257 0 0 25 0 1 0 37122329 1149308928 273473 1992294400 4194304 7136930 140736285739248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10508/statm: 280593 273473 383 719 0 279872 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 1122372 [startup+582.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 10523 /proc/meminfo: memFree=606840/2059040 swapFree=4135684/4192956 [pid=10508] ppid=10506 vsize=1238868 CPUtime=582.09 /proc/10508/stat : 10508 (pbscip.linux.x8) R 10506 10508 9789 0 -1 4202496 304601 0 0 0 53454 4755 0 0 25 0 1 0 37122329 1268600832 303914 1992294400 4194304 7136930 140736285739248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10508/statm: 309717 303914 383 719 0 308996 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 1238868 [startup+642.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 10525 /proc/meminfo: memFree=477136/2059040 swapFree=4135684/4192956 [pid=10508] ppid=10506 vsize=1362240 CPUtime=642.09 /proc/10508/stat : 10508 (pbscip.linux.x8) R 10506 10508 9789 0 -1 4202496 336725 0 0 0 58966 5243 0 0 25 0 1 0 37122329 1394933760 336038 1992294400 4194304 7136930 140736285739248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10508/statm: 340560 336038 383 719 0 339839 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 1362240 [startup+702.301 s] ################ # More data... # ################ /proc/10508/stat : 10508 (pbscip.linux.x8) R 10506 10508 9789 0 -1 4202496 373272 0 0 0 98718 7477 0 0 25 0 1 0 37122329 1487626240 359553 1992294400 4194304 7136930 140736285739248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10508/statm: 363190 359553 383 719 0 362469 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 1452760 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10537 /proc/meminfo: memFree=381904/2059040 swapFree=4135684/4192956 [pid=10508] ppid=10506 vsize=1452760 CPUtime=1121.94 /proc/10508/stat : 10508 (pbscip.linux.x8) R 10506 10508 9789 0 -1 4202496 373280 0 0 0 104417 7777 0 0 25 0 1 0 37122329 1487626240 359561 1992294400 4194304 7136930 140736285739248 18446744073709551615 5917632 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10508/statm: 363190 359561 383 719 0 362469 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 1452760 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10539 /proc/meminfo: memFree=381780/2059040 swapFree=4135684/4192956 [pid=10508] ppid=10506 vsize=1452760 CPUtime=1181.92 /proc/10508/stat : 10508 (pbscip.linux.x8) R 10506 10508 9789 0 -1 4202496 373283 0 0 0 110104 8088 0 0 25 0 1 0 37122329 1487626240 359564 1992294400 4194304 7136930 140736285739248 18446744073709551615 4924685 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10508/statm: 363190 359564 383 719 0 362469 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 1452760 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10541 /proc/meminfo: memFree=381532/2059040 swapFree=4135684/4192956 [pid=10508] ppid=10506 vsize=1452760 CPUtime=1241.9 /proc/10508/stat : 10508 (pbscip.linux.x8) R 10506 10508 9789 0 -1 4202496 373283 0 0 0 115784 8406 0 0 25 0 1 0 37122329 1487626240 359564 1992294400 4194304 7136930 140736285739248 18446744073709551615 4983671 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10508/statm: 363190 359564 383 719 0 362469 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 1452760 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10543 /proc/meminfo: memFree=381408/2059040 swapFree=4135684/4192956 [pid=10508] ppid=10506 vsize=1452760 CPUtime=1301.9 /proc/10508/stat : 10508 (pbscip.linux.x8) R 10506 10508 9789 0 -1 4202496 373283 0 0 0 121475 8715 0 0 25 0 1 0 37122329 1487626240 359564 1992294400 4194304 7136930 140736285739248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10508/statm: 363190 359564 383 719 0 362469 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 1452760 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10545 /proc/meminfo: memFree=381408/2059040 swapFree=4135684/4192956 [pid=10508] ppid=10506 vsize=1452760 CPUtime=1361.88 /proc/10508/stat : 10508 (pbscip.linux.x8) R 10506 10508 9789 0 -1 4202496 373283 0 0 0 127169 9019 0 0 25 0 1 0 37122329 1487626240 359564 1992294400 4194304 7136930 140736285739248 18446744073709551615 5909091 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10508/statm: 363190 359564 383 719 0 362469 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 1452760 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10545 /proc/meminfo: memFree=381284/2059040 swapFree=4135684/4192956 [pid=10508] ppid=10506 vsize=1452760 CPUtime=1421.86 /proc/10508/stat : 10508 (pbscip.linux.x8) R 10506 10508 9789 0 -1 4202496 373283 0 0 0 132847 9339 0 0 25 0 1 0 37122329 1487626240 359564 1992294400 4194304 7136930 140736285739248 18446744073709551615 5909098 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10508/statm: 363190 359564 383 719 0 362469 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 1452760 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10547 /proc/meminfo: memFree=381160/2059040 swapFree=4135684/4192956 [pid=10508] ppid=10506 vsize=1452760 CPUtime=1481.84 /proc/10508/stat : 10508 (pbscip.linux.x8) R 10506 10508 9789 0 -1 4202496 373283 0 0 0 138539 9645 0 0 25 0 1 0 37122329 1487626240 359564 1992294400 4194304 7136930 140736285739248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10508/statm: 363190 359564 383 719 0 362469 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 1452760 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10549 /proc/meminfo: memFree=381036/2059040 swapFree=4135684/4192956 [pid=10508] ppid=10506 vsize=1452896 CPUtime=1541.82 /proc/10508/stat : 10508 (pbscip.linux.x8) R 10506 10508 9789 0 -1 4202496 373292 0 0 0 144233 9949 0 0 25 0 1 0 37122329 1487765504 359573 1992294400 4194304 7136930 140736285739248 18446744073709551615 5905982 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10508/statm: 363224 359573 383 719 0 362503 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 1452896 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10551 /proc/meminfo: memFree=380912/2059040 swapFree=4135684/4192956 [pid=10508] ppid=10506 vsize=1452896 CPUtime=1601.8 /proc/10508/stat : 10508 (pbscip.linux.x8) R 10506 10508 9789 0 -1 4202496 373292 0 0 0 149916 10264 0 0 25 0 1 0 37122329 1487765504 359573 1992294400 4194304 7136930 140736285739248 18446744073709551615 5909549 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10508/statm: 363224 359573 383 719 0 362503 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 1452896 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10553 /proc/meminfo: memFree=380788/2059040 swapFree=4135684/4192956 [pid=10508] ppid=10506 vsize=1452896 CPUtime=1661.78 /proc/10508/stat : 10508 (pbscip.linux.x8) R 10506 10508 9789 0 -1 4202496 373292 0 0 0 155593 10585 0 0 25 0 1 0 37122329 1487765504 359573 1992294400 4194304 7136930 140736285739248 18446744073709551615 5909091 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10508/statm: 363224 359573 383 719 0 362503 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 1452896 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10553 /proc/meminfo: memFree=380664/2059040 swapFree=4135684/4192956 [pid=10508] ppid=10506 vsize=1452896 CPUtime=1721.76 /proc/10508/stat : 10508 (pbscip.linux.x8) R 10506 10508 9789 0 -1 4202496 373296 0 0 0 161283 10893 0 0 25 0 1 0 37122329 1487765504 359577 1992294400 4194304 7136930 140736285739248 18446744073709551615 4704780 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10508/statm: 363224 359577 383 719 0 362503 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 1452896 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10555 /proc/meminfo: memFree=380292/2059040 swapFree=4135684/4192956 [pid=10508] ppid=10506 vsize=1452896 CPUtime=1781.74 /proc/10508/stat : 10508 (pbscip.linux.x8) R 10506 10508 9789 0 -1 4202496 373319 0 0 0 167007 11167 0 0 25 0 1 0 37122329 1487765504 359600 1992294400 4194304 7136930 140736285739248 18446744073709551615 5909095 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10508/statm: 363224 359600 383 719 0 362503 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 1452896 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10557 /proc/meminfo: memFree=380292/2059040 swapFree=4135684/4192956 [pid=10508] ppid=10506 vsize=1452896 CPUtime=1800.05 /proc/10508/stat : 10508 (pbscip.linux.x8) R 10506 10508 9789 0 -1 4202496 373319 0 0 0 168753 11252 0 0 25 0 1 0 37122329 1487765504 359600 1992294400 4194304 7136930 140736285739248 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10508/statm: 363224 359600 383 719 0 362503 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1452896 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -10508 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10557 /proc/meminfo: memFree=380292/2059040 swapFree=4135684/4192956 [pid=10508] ppid=10506 vsize=1452896 CPUtime=1800.83 /proc/10508/stat : 10508 (pbscip.linux.x8) R 10506 10508 9789 0 -1 4202496 373325 0 0 0 168831 11252 0 0 25 0 1 0 37122329 1487765504 359606 1992294400 4194304 7136930 140736285739248 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10508/statm: 363224 359606 389 719 0 362503 0 Current children cumulated CPU time (s) 1800.83 Current children cumulated vsize (KiB) 1452896 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.00 2/108 10558 /proc/meminfo: memFree=380284/2059040 swapFree=4135684/4192956 [pid=10508] ppid=10506 vsize=1452896 CPUtime=1801.63 /proc/10508/stat : 10508 (pbscip.linux.x8) R 10506 10508 9789 0 -1 4202496 373325 0 0 0 168911 11252 0 0 25 0 1 0 37122329 1487765504 359606 1992294400 4194304 7136930 140736285739248 18446744073709551615 6165652 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10508/statm: 363224 359606 389 719 0 362503 0 Current children cumulated CPU time (s) 1801.63 Current children cumulated vsize (KiB) 1452896 [startup+1802.6 s] /proc/loadavg: 1.00 1.00 1.00 2/108 10558 /proc/meminfo: memFree=380284/2059040 swapFree=4135684/4192956 [pid=10508] ppid=10506 vsize=1452896 CPUtime=1802.03 /proc/10508/stat : 10508 (pbscip.linux.x8) R 10506 10508 9789 0 -1 4202496 373325 0 0 0 168951 11252 0 0 25 0 1 0 37122329 1487765504 359606 1992294400 4194304 7136930 140736285739248 18446744073709551615 6165620 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10508/statm: 363224 359606 389 719 0 362503 0 Current children cumulated CPU time (s) 1802.03 Current children cumulated vsize (KiB) 1452896 [startup+1802.7 s] /proc/loadavg: 1.00 1.00 1.00 2/108 10558 /proc/meminfo: memFree=380284/2059040 swapFree=4135684/4192956 [pid=10508] ppid=10506 vsize=0 CPUtime=1802.13 /proc/10508/stat : 10508 (pbscip.linux.x8) R 10506 10508 9789 0 -1 4203524 373325 0 0 0 168953 11260 0 0 25 0 1 0 37122329 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 /proc/10508/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1802.13 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.75 CPU time (s): 1802.19 CPU user time (s): 1689.53 CPU system time (s): 112.659 CPU usage (%): 99.969 Max. virtual memory (cumulated for all children) (KiB): 1515844 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1689.53 system time used= 112.659 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 373325 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 2982 runsolver used 2.89656 second user time and 8.62469 second system time The end
Begin job on node002 at 2010-06-15 17:19:44 IDJOB=2664223 IDBENCH=2920 IDSOLVER=1167 FILE ID=node002/2664223-1276615184 PBS_JOBID= 11172283 Free space on /tmp= 62572 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_1.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-2664223-1276615184/watcher-2664223-1276615184 -o /tmp/evaluation-result-2664223-1276615184/solver-2664223-1276615184 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664223-1276615184.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0263d0a7c5e3320bd7cce9534c14bf27 RANDOM SEED=1237566973 node002.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.242 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.48 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.242 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.36 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1824684 kB Buffers: 36808 kB Cached: 105412 kB SwapCached: 10752 kB Active: 83976 kB Inactive: 71628 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1824684 kB SwapTotal: 4192956 kB SwapFree: 4135684 kB Dirty: 3240 kB Writeback: 0 kB AnonPages: 11524 kB Mapped: 9280 kB Slab: 56972 kB PageTables: 4036 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181960 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62568 MiB End job on node002 at 2010-06-15 17:49:47