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 | OPT | 3 | 1255.43 | 1255.91 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=137-P1=101-P2=5-P3=409-P4=419-P5=401-P6=61-P7=239-B.opb |
| MD5SUM | e808e428ddeed4827e7f6cc4dcf60aa4 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 14.7718 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 3 |
| Optimality of the best value was proved | YES |
| Number of variables | 189 |
| Total number of constraints | 15 |
| 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 | 15 |
| Minimum length of a constraint | 9 |
| Maximum length of a constraint | 99 |
| Number of terms in the objective function | 9 |
| Biggest coefficient in the objective function | 256 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 511 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 131072 |
| Number of bits of the biggest number in a constraint | 18 |
| Biggest sum of numbers in a constraint | 523264 |
| Number of bits of the biggest sum of numbers | 19 |
| Number of products (including duplicates) | 567 |
| Sum of products size (including duplicates) | 1134 |
| Number of different products | 567 |
| Sum of products size | 1134 |
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-2663613-1276648220.opb>
0.00/0.01 c original problem has 756 variables (756 bin, 0 int, 0 impl, 0 cont) and 582 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.02 c presolving:
0.09/0.16 c (round 1) 7 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 56 chg coeffs, 0 upgd conss, 3108 impls, 0 clqs
0.09/0.17 c (round 2) 25 del vars, 16 del conss, 0 chg bounds, 0 chg sides, 72 chg coeffs, 8 upgd conss, 4836 impls, 0 clqs
0.09/0.18 c (round 3) 43 del vars, 32 del conss, 0 chg bounds, 0 chg sides, 88 chg coeffs, 8 upgd conss, 6276 impls, 0 clqs
0.09/0.18 c (round 4) 61 del vars, 48 del conss, 0 chg bounds, 0 chg sides, 104 chg coeffs, 8 upgd conss, 7428 impls, 0 clqs
0.09/0.19 c (round 5) 79 del vars, 64 del conss, 0 chg bounds, 0 chg sides, 120 chg coeffs, 8 upgd conss, 8292 impls, 0 clqs
0.09/0.19 c (round 6) 97 del vars, 80 del conss, 0 chg bounds, 0 chg sides, 136 chg coeffs, 8 upgd conss, 8868 impls, 0 clqs
0.09/0.19 c (round 7) 115 del vars, 96 del conss, 0 chg bounds, 0 chg sides, 152 chg coeffs, 8 upgd conss, 9156 impls, 0 clqs
0.19/0.20 c (round 8) 133 del vars, 112 del conss, 0 chg bounds, 0 chg sides, 168 chg coeffs, 8 upgd conss, 9156 impls, 0 clqs
0.19/0.23 c (0.1s) probing: 206/623 (33.1%) - 0 fixings, 0 aggregations, 14 implications, 0 bound changes
0.19/0.23 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.23 c presolving (9 rounds):
0.19/0.23 c 133 deleted vars, 112 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 168 changed coefficients
0.19/0.23 c 9184 implications, 0 cliques
0.19/0.23 c presolved problem has 623 variables (623 bin, 0 int, 0 impl, 0 cont) and 463 constraints
0.19/0.23 c 448 constraints of type <and>
0.19/0.23 c 7 constraints of type <linear>
0.19/0.23 c 8 constraints of type <logicor>
0.19/0.23 c transformed objective value is always integral (scale: 2)
0.19/0.23 c Presolving Time: 0.12
0.19/0.23 c - non default parameters ----------------------------------------------------------------------
0.19/0.23 c # SCIP version 1.2.1.2
0.19/0.23 c
0.19/0.23 c # frequency for displaying node information lines
0.19/0.23 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.23 c display/freq = 10000
0.19/0.23 c
0.19/0.23 c # maximal time in seconds to run
0.19/0.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.23 c limits/time = 1800
0.19/0.23 c
0.19/0.23 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.23 c limits/memory = 1620
0.19/0.23 c
0.19/0.23 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.23 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.23 c lp/solvefreq = -1
0.19/0.23 c
0.19/0.23 c # should presolving try to simplify inequalities
0.19/0.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.23 c constraints/linear/simplifyinequalities = TRUE
0.19/0.23 c
0.19/0.23 c # should presolving try to simplify knapsacks
0.19/0.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.23 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.23 c
0.19/0.23 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.19/0.23 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.23 c heuristics/undercover/freq = 0
0.19/0.23 c
0.19/0.23 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.23 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.23 c separating/rapidlearning/freq = 0
0.19/0.23 c
0.19/0.23 c -----------------------------------------------------------------------------------------------
0.19/0.23 c start solving
0.19/0.23 c
0.19/0.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.23 c 0.1s| 1 | 2 | 0 | - |1985k| 0 | - | 623 | 463 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
3.39/3.45 c 3.1s| 10000 | 6982 | 0 | 0.0 |7733k| 405 | - | 623 | 960 | 0 | 0 | 0 |1966 | 0 | 1.000000e+00 | -- | Inf
6.79/6.86 c 6.2s| 20000 | 13814 | 0 | 0.0 | 12M| 405 | - | 623 |1130 | 0 | 0 | 0 |4211 | 0 | 1.000000e+00 | -- | Inf
10.39/10.40 c 9.5s| 30000 | 20394 | 0 | 0.0 | 17M| 405 | - | 623 |1496 | 0 | 0 | 0 |6397 | 0 | 1.000000e+00 | -- | Inf
14.29/14.39 c 13.2s| 40000 | 26086 | 0 | 0.0 | 22M| 405 | - | 623 | 788 | 0 | 0 | 0 |8847 | 0 | 1.000000e+00 | -- | Inf
18.08/18.13 c 16.7s| 50000 | 32252 | 0 | 0.0 | 27M| 405 | - | 623 |1372 | 0 | 0 | 0 | 11k| 0 | 1.000000e+00 | -- | Inf
21.89/21.91 c 20.2s| 60000 | 38688 | 0 | 0.0 | 31M| 405 | - | 623 |1475 | 0 | 0 | 0 | 13k| 0 | 1.000000e+00 | -- | Inf
25.08/25.18 c 23.2s| 70000 | 46440 | 0 | 0.0 | 37M| 405 | - | 623 |1366 | 0 | 0 | 0 | 15k| 0 | 1.000000e+00 | -- | Inf
28.28/28.38 c 26.2s| 80000 | 54396 | 0 | 0.0 | 43M| 405 | - | 623 |1217 | 0 | 0 | 0 | 16k| 0 | 1.000000e+00 | -- | Inf
31.48/31.56 c 29.1s| 90000 | 62343 | 0 | 0.0 | 49M| 405 | - | 623 |1211 | 0 | 0 | 0 | 18k| 0 | 1.000000e+00 | -- | Inf
34.78/34.85 c 32.2s|100000 | 69928 | 0 | 0.0 | 54M| 405 | - | 623 |1336 | 0 | 0 | 0 | 19k| 0 | 1.000000e+00 | -- | Inf
38.18/38.28 c 35.4s|110000 | 77393 | 0 | 0.0 | 60M| 405 | - | 623 |1408 | 0 | 0 | 0 | 21k| 0 | 1.000000e+00 | -- | Inf
41.68/41.70 c 38.5s|120000 | 84853 | 0 | 0.0 | 65M| 405 | - | 623 |1328 | 0 | 0 | 0 | 23k| 0 | 1.000000e+00 | -- | Inf
44.99/45.10 c 41.7s|130000 | 92439 | 0 | 0.0 | 70M| 405 | - | 623 |1308 | 0 | 0 | 0 | 25k| 0 | 1.000000e+00 | -- | Inf
48.57/48.62 c 44.9s|140000 | 99743 | 0 | 0.0 | 75M| 405 | - | 623 |1525 | 0 | 0 | 0 | 27k| 0 | 1.000000e+00 | -- | Inf
52.27/52.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
52.27/52.40 c 48.5s|150000 |106697 | 0 | 0.0 | 80M| 405 | - | 623 |1592 | 0 | 0 | 0 | 29k| 0 | 1.000000e+00 | -- | Inf
56.98/57.06 c 52.9s|160000 |112152 | 0 | 0.0 | 85M| 405 | - | 623 |1865 | 0 | 0 | 0 | 32k| 0 | 1.000000e+00 | -- | Inf
62.07/62.18 c 57.7s|170000 |116994 | 0 | 0.0 | 90M| 405 | - | 623 |2167 | 0 | 0 | 0 | 35k| 0 | 1.000000e+00 | -- | Inf
66.97/67.09 c 62.4s|180000 |121633 | 0 | 0.0 | 94M| 405 | - | 623 |2845 | 0 | 0 | 0 | 39k| 0 | 1.000000e+00 | -- | Inf
71.87/71.98 c 67.0s|190000 |126478 | 0 | 0.0 | 98M| 405 | - | 623 |3302 | 0 | 0 | 0 | 43k| 0 | 1.000000e+00 | -- | Inf
77.07/77.16 c 71.9s|200000 |131196 | 0 | 0.0 | 102M| 405 | - | 623 |3267 | 0 | 0 | 0 | 46k| 0 | 1.000000e+00 | -- | Inf
82.96/83.01 c 77.5s|210000 |134960 | 0 | 0.0 | 107M| 405 | - | 623 |3296 | 0 | 0 | 0 | 50k| 0 | 1.000000e+00 | -- | Inf
88.67/88.77 c 83.0s|220000 |139145 | 0 | 0.0 | 111M| 405 | - | 623 |3151 | 0 | 0 | 0 | 53k| 0 | 1.000000e+00 | -- | Inf
93.66/93.77 c 87.7s|230000 |144561 | 0 | 0.0 | 115M| 405 | - | 623 |1200 | 0 | 0 | 0 | 56k| 0 | 1.000000e+00 | -- | Inf
96.96/97.03 c 90.7s|240000 |152070 | 0 | 0.0 | 120M| 405 | - | 623 |1279 | 0 | 0 | 0 | 58k| 0 | 1.000000e+00 | -- | Inf
100.35/100.49 c 94.0s|250000 |159739 | 0 | 0.0 | 126M| 405 | - | 623 | 969 | 0 | 0 | 0 | 59k| 0 | 1.000000e+00 | -- | Inf
104.15/104.22 c 97.5s|260000 |166591 | 0 | 0.0 | 130M| 405 | - | 623 |1296 | 0 | 0 | 0 | 61k| 0 | 1.000000e+00 | -- | Inf
108.15/108.27 c 101s|270000 |172762 | 0 | 0.0 | 135M| 405 | - | 623 |1675 | 0 | 0 | 0 | 64k| 0 | 1.000000e+00 | -- | Inf
113.26/113.38 c 106s|280000 |177508 | 0 | 0.0 | 138M| 405 | - | 623 |2093 | 0 | 0 | 0 | 67k| 0 | 1.000000e+00 | -- | Inf
118.76/118.86 c 111s|290000 |182032 | 0 | 0.0 | 142M| 405 | - | 623 |2253 | 0 | 0 | 0 | 71k| 0 | 1.000000e+00 | -- | Inf
123.64/123.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
123.64/123.71 c 116s|300000 |187658 | 0 | 0.0 | 146M| 405 | - | 623 |2090 | 0 | 0 | 0 | 74k| 0 | 1.000000e+00 | -- | Inf
127.85/127.93 c 120s|310000 |194423 | 0 | 0.0 | 151M| 405 | - | 623 |1979 | 0 | 0 | 0 | 76k| 0 | 1.000000e+00 | -- | Inf
132.24/132.31 c 124s|320000 |200983 | 0 | 0.0 | 156M| 405 | - | 623 |1998 | 0 | 0 | 0 | 79k| 0 | 1.000000e+00 | -- | Inf
136.64/136.70 c 128s|330000 |207576 | 0 | 0.0 | 161M| 405 | - | 623 |2081 | 0 | 0 | 0 | 82k| 0 | 1.000000e+00 | -- | Inf
140.94/141.08 c 132s|340000 |214182 | 0 | 0.0 | 166M| 405 | - | 623 |1961 | 0 | 0 | 0 | 85k| 0 | 1.000000e+00 | -- | Inf
145.24/145.31 c 136s|350000 |221066 | 0 | 0.0 | 171M| 405 | - | 623 |1994 | 0 | 0 | 0 | 87k| 0 | 1.000000e+00 | -- | Inf
149.34/149.49 c 140s|360000 |228019 | 0 | 0.0 | 176M| 405 | - | 623 |2019 | 0 | 0 | 0 | 90k| 0 | 1.000000e+00 | -- | Inf
153.34/153.40 c 144s|370000 |235278 | 0 | 0.0 | 181M| 405 | - | 623 |1831 | 0 | 0 | 0 | 92k| 0 | 1.000000e+00 | -- | Inf
156.83/156.90 c 147s|380000 |243097 | 0 | 0.0 | 187M| 405 | - | 623 |1544 | 0 | 0 | 0 | 93k| 0 | 1.000000e+00 | -- | Inf
160.33/160.44 c 150s|390000 |250888 | 0 | 0.0 | 192M| 405 | - | 623 |1407 | 0 | 0 | 0 | 95k| 0 | 1.000000e+00 | -- | Inf
163.84/163.93 c 154s|400000 |258733 | 0 | 0.0 | 198M| 405 | - | 623 |1212 | 0 | 0 | 0 | 96k| 0 | 1.000000e+00 | -- | Inf
167.23/167.36 c 157s|410000 |266609 | 0 | 0.0 | 203M| 405 | - | 623 |1199 | 0 | 0 | 0 | 98k| 0 | 1.000000e+00 | -- | Inf
170.63/170.77 c 160s|420000 |274481 | 0 | 0.0 | 209M| 405 | - | 623 |1112 | 0 | 0 | 0 | 99k| 0 | 1.000000e+00 | -- | Inf
174.03/174.12 c 163s|430000 |282439 | 0 | 0.0 | 215M| 405 | - | 623 |1198 | 0 | 0 | 0 | 101k| 0 | 1.000000e+00 | -- | Inf
177.53/177.60 c 166s|440000 |290198 | 0 | 0.0 | 220M| 405 | - | 623 |1167 | 0 | 0 | 0 | 102k| 0 | 1.000000e+00 | -- | Inf
181.03/181.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
181.03/181.14 c 170s|450000 |298007 | 0 | 0.0 | 226M| 405 | - | 623 |1083 | 0 | 0 | 0 | 104k| 0 | 1.000000e+00 | -- | Inf
184.63/184.76 c 173s|460000 |305489 | 0 | 0.0 | 231M| 405 | - | 623 |1186 | 0 | 0 | 0 | 106k| 0 | 1.000000e+00 | -- | Inf
188.23/188.35 c 176s|470000 |313129 | 0 | 0.0 | 237M| 405 | - | 623 |1239 | 0 | 0 | 0 | 107k| 0 | 1.000000e+00 | -- | Inf
191.83/191.96 c 180s|480000 |320805 | 0 | 0.0 | 242M| 405 | - | 623 |1135 | 0 | 0 | 0 | 109k| 0 | 1.000000e+00 | -- | Inf
195.52/195.66 c 183s|490000 |328362 | 0 | 0.0 | 247M| 405 | - | 623 |1046 | 0 | 0 | 0 | 111k| 0 | 1.000000e+00 | -- | Inf
199.12/199.27 c 186s|500000 |335777 | 0 | 0.0 | 253M| 405 | - | 623 |1191 | 0 | 0 | 0 | 113k| 0 | 1.000000e+00 | -- | Inf
202.82/202.91 c 190s|510000 |343259 | 0 | 0.0 | 258M| 405 | - | 623 |1403 | 0 | 0 | 0 | 114k| 0 | 1.000000e+00 | -- | Inf
206.41/206.53 c 193s|520000 |350841 | 0 | 0.0 | 263M| 405 | - | 623 | 992 | 0 | 0 | 0 | 116k| 0 | 1.000000e+00 | -- | Inf
210.32/210.44 c 197s|530000 |357895 | 0 | 0.0 | 269M| 405 | - | 623 |1131 | 0 | 0 | 0 | 118k| 0 | 1.000000e+00 | -- | Inf
214.02/214.14 c 200s|540000 |365248 | 0 | 0.0 | 274M| 405 | - | 623 |1424 | 0 | 0 | 0 | 120k| 0 | 1.000000e+00 | -- | Inf
217.82/217.95 c 204s|550000 |372548 | 0 | 0.0 | 279M| 405 | - | 623 |1045 | 0 | 0 | 0 | 122k| 0 | 1.000000e+00 | -- | Inf
221.81/221.95 c 208s|560000 |379641 | 0 | 0.0 | 284M| 405 | - | 623 |1261 | 0 | 0 | 0 | 124k| 0 | 1.000000e+00 | -- | Inf
225.42/225.53 c 211s|570000 |387296 | 0 | 0.0 | 290M| 405 | - | 623 |1205 | 0 | 0 | 0 | 126k| 0 | 1.000000e+00 | -- | Inf
229.51/229.65 c 215s|580000 |394186 | 0 | 0.0 | 295M| 405 | - | 623 |1163 | 0 | 0 | 0 | 128k| 0 | 1.000000e+00 | -- | Inf
233.41/233.53 c 219s|590000 |401282 | 0 | 0.0 | 300M| 405 | - | 623 |1456 | 0 | 0 | 0 | 130k| 0 | 1.000000e+00 | -- | Inf
237.10/237.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
237.10/237.25 c 222s|600000 |408703 | 0 | 0.0 | 305M| 405 | - | 623 |1041 | 0 | 0 | 0 | 132k| 0 | 1.000000e+00 | -- | Inf
241.21/241.40 c 226s|610000 |415462 | 0 | 0.0 | 310M| 405 | - | 623 |1580 | 0 | 0 | 0 | 135k| 0 | 1.000000e+00 | -- | Inf
244.90/245.00 c 229s|620000 |423088 | 0 | 0.0 | 316M| 405 | - | 623 |1014 | 0 | 0 | 0 | 136k| 0 | 1.000000e+00 | -- | Inf
249.10/249.25 c 233s|630000 |429655 | 0 | 0.0 | 320M| 405 | - | 623 |1316 | 0 | 0 | 0 | 139k| 0 | 1.000000e+00 | -- | Inf
253.00/253.11 c 237s|640000 |436762 | 0 | 0.0 | 326M| 405 | - | 623 |1415 | 0 | 0 | 0 | 141k| 0 | 1.000000e+00 | -- | Inf
256.89/257.01 c 241s|650000 |443949 | 0 | 0.0 | 331M| 405 | - | 623 |1288 | 0 | 0 | 0 | 143k| 0 | 1.000000e+00 | -- | Inf
261.09/261.20 c 245s|660000 |450715 | 0 | 0.0 | 336M| 405 | - | 623 |1498 | 0 | 0 | 0 | 145k| 0 | 1.000000e+00 | -- | Inf
264.79/264.99 c 248s|670000 |458051 | 0 | 0.0 | 341M| 405 | - | 623 |1234 | 0 | 0 | 0 | 147k| 0 | 1.000000e+00 | -- | Inf
269.19/269.33 c 252s|680000 |464639 | 0 | 0.0 | 346M| 405 | - | 623 |1338 | 0 | 0 | 0 | 150k| 0 | 1.000000e+00 | -- | Inf
273.19/273.33 c 256s|690000 |471590 | 0 | 0.0 | 351M| 405 | - | 623 |1451 | 0 | 0 | 0 | 152k| 0 | 1.000000e+00 | -- | Inf
277.09/277.23 c 260s|700000 |478772 | 0 | 0.0 | 356M| 405 | - | 623 |1275 | 0 | 0 | 0 | 154k| 0 | 1.000000e+00 | -- | Inf
281.29/281.48 c 264s|710000 |485551 | 0 | 0.0 | 361M| 405 | - | 623 |1448 | 0 | 0 | 0 | 157k| 0 | 1.000000e+00 | -- | Inf
285.37/285.52 c 267s|720000 |492503 | 0 | 0.0 | 366M| 405 | - | 623 |1430 | 0 | 0 | 0 | 159k| 0 | 1.000000e+00 | -- | Inf
289.68/289.85 c 271s|730000 |499093 | 0 | 0.0 | 370M| 405 | - | 623 |1170 | 0 | 0 | 0 | 161k| 0 | 1.000000e+00 | -- | Inf
294.17/294.34 c 276s|740000 |505434 | 0 | 0.0 | 375M| 405 | - | 623 |1541 | 0 | 0 | 0 | 164k| 0 | 1.000000e+00 | -- | Inf
298.47/298.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
298.47/298.60 c 280s|750000 |512084 | 0 | 0.0 | 380M| 405 | - | 623 |1606 | 0 | 0 | 0 | 167k| 0 | 1.000000e+00 | -- | Inf
302.67/302.82 c 284s|760000 |518909 | 0 | 0.0 | 385M| 405 | - | 623 |1235 | 0 | 0 | 0 | 169k| 0 | 1.000000e+00 | -- | Inf
307.17/307.34 c 288s|770000 |525352 | 0 | 0.0 | 389M| 405 | - | 623 |1143 | 0 | 0 | 0 | 172k| 0 | 1.000000e+00 | -- | Inf
311.67/311.88 c 292s|780000 |531730 | 0 | 0.0 | 394M| 405 | - | 623 |1590 | 0 | 0 | 0 | 175k| 0 | 1.000000e+00 | -- | Inf
315.97/316.17 c 296s|790000 |538378 | 0 | 0.0 | 399M| 405 | - | 623 |1640 | 0 | 0 | 0 | 178k| 0 | 1.000000e+00 | -- | Inf
320.27/320.42 c 300s|800000 |545086 | 0 | 0.0 | 404M| 405 | - | 623 |1444 | 0 | 0 | 0 | 180k| 0 | 1.000000e+00 | -- | Inf
324.56/324.79 c 304s|810000 |551526 | 0 | 0.0 | 408M| 405 | - | 623 |1300 | 0 | 0 | 0 | 183k| 0 | 1.000000e+00 | -- | Inf
328.96/329.17 c 309s|820000 |558021 | 0 | 0.0 | 413M| 405 | - | 623 |1227 | 0 | 0 | 0 | 186k| 0 | 1.000000e+00 | -- | Inf
333.36/333.51 c 313s|830000 |564605 | 0 | 0.0 | 418M| 405 | - | 623 |1302 | 0 | 0 | 0 | 188k| 0 | 1.000000e+00 | -- | Inf
337.76/337.93 c 317s|840000 |570989 | 0 | 0.0 | 423M| 405 | - | 623 |1421 | 0 | 0 | 0 | 191k| 0 | 1.000000e+00 | -- | Inf
342.15/342.37 c 321s|850000 |577580 | 0 | 0.0 | 427M| 405 | - | 623 |1422 | 0 | 0 | 0 | 194k| 0 | 1.000000e+00 | -- | Inf
346.56/346.75 c 325s|860000 |584208 | 0 | 0.0 | 432M| 405 | - | 623 |1530 | 0 | 0 | 0 | 197k| 0 | 1.000000e+00 | -- | Inf
350.96/351.15 c 329s|870000 |590781 | 0 | 0.0 | 437M| 405 | - | 623 |1596 | 0 | 0 | 0 | 200k| 0 | 1.000000e+00 | -- | Inf
355.45/355.61 c 334s|880000 |597230 | 0 | 0.0 | 442M| 405 | - | 623 |1717 | 0 | 0 | 0 | 202k| 0 | 1.000000e+00 | -- | Inf
359.75/359.93 c 338s|890000 |603908 | 0 | 0.0 | 446M| 405 | - | 623 |1711 | 0 | 0 | 0 | 205k| 0 | 1.000000e+00 | -- | Inf
364.05/364.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
364.05/364.22 c 342s|900000 |610657 | 0 | 0.0 | 451M| 405 | - | 623 |1551 | 0 | 0 | 0 | 207k| 0 | 1.000000e+00 | -- | Inf
368.45/368.62 c 346s|910000 |617166 | 0 | 0.0 | 456M| 405 | - | 623 |1643 | 0 | 0 | 0 | 210k| 0 | 1.000000e+00 | -- | Inf
372.95/373.14 c 350s|920000 |623779 | 0 | 0.0 | 461M| 405 | - | 623 |1634 | 0 | 0 | 0 | 213k| 0 | 1.000000e+00 | -- | Inf
377.44/377.62 c 354s|930000 |630403 | 0 | 0.0 | 465M| 405 | - | 623 |1542 | 0 | 0 | 0 | 215k| 0 | 1.000000e+00 | -- | Inf
382.04/382.27 c 359s|940000 |636753 | 0 | 0.0 | 470M| 405 | - | 623 |1702 | 0 | 0 | 0 | 218k| 0 | 1.000000e+00 | -- | Inf
386.64/386.88 c 363s|950000 |643198 | 0 | 0.0 | 475M| 405 | - | 623 |1644 | 0 | 0 | 0 | 221k| 0 | 1.000000e+00 | -- | Inf
391.14/391.35 c 367s|960000 |649803 | 0 | 0.0 | 480M| 405 | - | 623 |1506 | 0 | 0 | 0 | 224k| 0 | 1.000000e+00 | -- | Inf
395.85/396.04 c 372s|970000 |656281 | 0 | 0.0 | 485M| 405 | - | 623 |1563 | 0 | 0 | 0 | 227k| 0 | 1.000000e+00 | -- | Inf
400.53/400.73 c 376s|980000 |662745 | 0 | 0.0 | 490M| 405 | - | 623 |1555 | 0 | 0 | 0 | 229k| 0 | 1.000000e+00 | -- | Inf
405.13/405.39 c 381s|990000 |669185 | 0 | 0.0 | 494M| 405 | - | 623 |1574 | 0 | 0 | 0 | 232k| 0 | 1.000000e+00 | -- | Inf
409.74/409.94 c 385s| 1000k|675723 | 0 | 0.0 | 499M| 405 | - | 623 |1644 | 0 | 0 | 0 | 235k| 0 | 1.000000e+00 | -- | Inf
414.34/414.56 c 389s| 1010k|682133 | 0 | 0.0 | 504M| 405 | - | 623 |1731 | 0 | 0 | 0 | 238k| 0 | 1.000000e+00 | -- | Inf
418.94/419.19 c 394s| 1020k|688644 | 0 | 0.0 | 509M| 405 | - | 623 |1897 | 0 | 0 | 0 | 241k| 0 | 1.000000e+00 | -- | Inf
423.63/423.86 c 398s| 1030k|694972 | 0 | 0.0 | 514M| 405 | - | 623 |2065 | 0 | 0 | 0 | 244k| 0 | 1.000000e+00 | -- | Inf
428.33/428.53 c 403s| 1040k|701343 | 0 | 0.0 | 519M| 405 | - | 623 |2030 | 0 | 0 | 0 | 247k| 0 | 1.000000e+00 | -- | Inf
432.92/433.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
432.92/433.16 c 407s| 1050k|707811 | 0 | 0.0 | 524M| 405 | - | 623 |1953 | 0 | 0 | 0 | 249k| 0 | 1.000000e+00 | -- | Inf
437.43/437.63 c 411s| 1060k|714475 | 0 | 0.0 | 529M| 405 | - | 623 |1804 | 0 | 0 | 0 | 252k| 0 | 1.000000e+00 | -- | Inf
442.22/442.40 c 416s| 1070k|720779 | 0 | 0.0 | 533M| 405 | - | 623 |1774 | 0 | 0 | 0 | 255k| 0 | 1.000000e+00 | -- | Inf
446.82/447.05 c 420s| 1080k|727208 | 0 | 0.0 | 538M| 405 | - | 623 |1920 | 0 | 0 | 0 | 258k| 0 | 1.000000e+00 | -- | Inf
451.62/451.89 c 425s| 1090k|733488 | 0 | 0.0 | 543M| 405 | - | 623 |2029 | 0 | 0 | 0 | 261k| 0 | 1.000000e+00 | -- | Inf
453.82/454.04 o 257
453.82/454.04 c * 427s| 1094k|736539 | 0 | 0.0 | 545M| 405 | - | 623 |1945 | 0 | 0 | 0 | 263k| 0 | 1.000000e+00 | 2.570000e+02 | Large
456.91/457.15 c 430s| 1100k|739528 | 0 | 0.0 | 547M| 405 | - | 623 |1337 | 0 | 0 | 0 | 264k| 0 | 1.000000e+00 | 2.570000e+02 | Large
460.72/460.94 o 129
460.72/460.94 c * 433s| 1108k|744606 | 0 | 0.0 | 551M| 405 | - | 623 |1746 | 0 | 0 | 0 | 267k| 0 | 1.000000e+00 | 1.290000e+02 | Large
461.72/461.94 c 434s| 1110k|745670 | 0 | 0.0 | 552M| 405 | - | 623 |1817 | 0 | 0 | 0 | 267k| 0 | 1.000000e+00 | 1.290000e+02 | Large
466.32/466.58 c 438s| 1120k|752081 | 0 | 0.0 | 557M| 405 | - | 623 |1833 | 0 | 0 | 0 | 270k| 0 | 1.000000e+00 | 1.290000e+02 | Large
471.01/471.23 c 443s| 1130k|758407 | 0 | 0.0 | 562M| 405 | - | 623 |1915 | 0 | 0 | 0 | 273k| 0 | 1.000000e+00 | 1.290000e+02 | Large
475.41/475.64 c 447s| 1140k|765019 | 0 | 0.0 | 567M| 405 | - | 623 |1627 | 0 | 0 | 0 | 276k| 0 | 1.000000e+00 | 1.290000e+02 | Large
480.52/480.74 c 452s| 1150k|770864 | 0 | 0.0 | 571M| 405 | - | 623 |1938 | 0 | 0 | 0 | 280k| 0 | 1.000000e+00 | 1.290000e+02 | Large
485.51/485.77 c 457s| 1160k|776894 | 0 | 0.0 | 576M| 405 | - | 623 |1489 | 0 | 0 | 0 | 283k| 0 | 1.000000e+00 | 1.290000e+02 | Large
491.10/491.39 c 462s| 1170k|782371 | 0 | 0.0 | 580M| 405 | - | 623 |1853 | 0 | 0 | 0 | 286k| 0 | 1.000000e+00 | 1.290000e+02 | Large
496.30/496.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
496.30/496.53 c 467s| 1180k|788131 | 0 | 0.0 | 585M| 405 | - | 623 |2096 | 0 | 0 | 0 | 289k| 0 | 1.000000e+00 | 1.290000e+02 | Large
501.71/501.91 c 472s| 1190k|793866 | 0 | 0.0 | 589M| 405 | - | 623 |1628 | 0 | 0 | 0 | 292k| 0 | 1.000000e+00 | 1.290000e+02 | Large
507.10/507.37 c 477s| 1200k|799158 | 0 | 0.0 | 594M| 405 | - | 623 |1906 | 0 | 0 | 0 | 295k| 0 | 1.000000e+00 | 1.290000e+02 | Large
512.60/512.86 c 482s| 1210k|804483 | 0 | 0.0 | 598M| 405 | - | 623 |2102 | 0 | 0 | 0 | 299k| 0 | 1.000000e+00 | 1.290000e+02 | Large
518.40/518.61 c 488s| 1220k|809588 | 0 | 0.0 | 603M| 405 | - | 623 |2313 | 0 | 0 | 0 | 302k| 0 | 1.000000e+00 | 1.290000e+02 | Large
524.20/524.47 c 493s| 1230k|814523 | 0 | 0.0 | 607M| 405 | - | 623 |2637 | 0 | 0 | 0 | 305k| 0 | 1.000000e+00 | 1.290000e+02 | Large
530.39/530.68 c 499s| 1240k|819012 | 0 | 0.0 | 611M| 405 | - | 623 |2343 | 0 | 0 | 0 | 309k| 0 | 1.000000e+00 | 1.290000e+02 | Large
536.19/536.43 c 505s| 1250k|823879 | 0 | 0.0 | 615M| 405 | - | 623 |2307 | 0 | 0 | 0 | 312k| 0 | 1.000000e+00 | 1.290000e+02 | Large
542.10/542.38 c 511s| 1260k|828177 | 0 | 0.0 | 619M| 405 | - | 623 |2550 | 0 | 0 | 0 | 316k| 0 | 1.000000e+00 | 1.290000e+02 | Large
548.19/548.43 c 516s| 1270k|832676 | 0 | 0.0 | 623M| 405 | - | 623 |2553 | 0 | 0 | 0 | 320k| 0 | 1.000000e+00 | 1.290000e+02 | Large
554.09/554.32 c 522s| 1280k|837204 | 0 | 0.0 | 628M| 405 | - | 623 |2742 | 0 | 0 | 0 | 324k| 0 | 1.000000e+00 | 1.290000e+02 | Large
559.98/560.30 c 528s| 1290k|841658 | 0 | 0.0 | 632M| 405 | - | 623 |3058 | 0 | 0 | 0 | 327k| 0 | 1.000000e+00 | 1.290000e+02 | Large
566.28/566.54 c 534s| 1300k|845874 | 0 | 0.0 | 635M| 405 | - | 623 |3361 | 0 | 0 | 0 | 331k| 0 | 1.000000e+00 | 1.290000e+02 | Large
572.97/573.22 c 540s| 1310k|849450 | 0 | 0.0 | 639M| 405 | - | 623 |3831 | 0 | 0 | 0 | 336k| 0 | 1.000000e+00 | 1.290000e+02 | Large
579.87/580.18 c 547s| 1320k|852464 | 0 | 0.0 | 642M| 405 | - | 623 |4327 | 0 | 0 | 0 | 341k| 0 | 1.000000e+00 | 1.290000e+02 | Large
586.77/587.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
586.77/587.02 c 553s| 1330k|855559 | 0 | 0.0 | 644M| 405 | - | 623 |3681 | 0 | 0 | 0 | 346k| 0 | 1.000000e+00 | 1.290000e+02 | Large
592.86/593.19 c 559s| 1340k|859450 | 0 | 0.0 | 647M| 405 | - | 623 |3539 | 0 | 0 | 0 | 349k| 0 | 1.000000e+00 | 1.290000e+02 | Large
599.17/599.50 c 565s| 1350k|862052 | 0 | 0.0 | 650M| 405 | - | 623 |3562 | 0 | 0 | 0 | 353k| 0 | 1.000000e+00 | 1.290000e+02 | Large
605.05/605.33 c 571s| 1360k|866185 | 0 | 0.0 | 653M| 405 | - | 623 |3560 | 0 | 0 | 0 | 356k| 0 | 1.000000e+00 | 1.290000e+02 | Large
611.75/612.08 c 577s| 1370k|869551 | 0 | 0.0 | 657M| 405 | - | 623 |3579 | 0 | 0 | 0 | 360k| 0 | 1.000000e+00 | 1.290000e+02 | Large
618.65/618.98 c 584s| 1380k|873682 | 0 | 0.0 | 661M| 405 | - | 623 |3518 | 0 | 0 | 0 | 363k| 0 | 1.000000e+00 | 1.290000e+02 | Large
627.05/627.33 c 592s| 1390k|876949 | 0 | 0.0 | 665M| 405 | - | 623 |3484 | 0 | 0 | 0 | 367k| 0 | 1.000000e+00 | 1.290000e+02 | Large
635.94/636.28 c 600s| 1400k|879807 | 0 | 0.0 | 669M| 405 | - | 623 |3255 | 0 | 0 | 0 | 371k| 0 | 1.000000e+00 | 1.290000e+02 | Large
640.24/640.58 c 604s| 1410k|886824 | 0 | 0.0 | 672M| 405 | - | 623 | 949 | 0 | 0 | 0 | 373k| 0 | 1.000000e+00 | 1.290000e+02 | Large
644.34/644.63 c 608s| 1420k|893435 | 0 | 0.0 | 677M| 405 | - | 623 |1376 | 0 | 0 | 0 | 375k| 0 | 1.000000e+00 | 1.290000e+02 | Large
648.65/648.92 c 612s| 1430k|899395 | 0 | 0.0 | 681M| 405 | - | 623 |1266 | 0 | 0 | 0 | 378k| 0 | 1.000000e+00 | 1.290000e+02 | Large
652.54/652.89 c 616s| 1440k|905856 | 0 | 0.0 | 686M| 405 | - | 623 |1271 | 0 | 0 | 0 | 380k| 0 | 1.000000e+00 | 1.290000e+02 | Large
656.44/656.78 c 620s| 1450k|912537 | 0 | 0.0 | 691M| 405 | - | 623 |1369 | 0 | 0 | 0 | 382k| 0 | 1.000000e+00 | 1.290000e+02 | Large
660.23/660.52 c 623s| 1460k|919457 | 0 | 0.0 | 696M| 405 | - | 623 |1287 | 0 | 0 | 0 | 384k| 0 | 1.000000e+00 | 1.290000e+02 | Large
663.73/664.07 c 626s| 1470k|926576 | 0 | 0.0 | 701M| 405 | - | 623 |1256 | 0 | 0 | 0 | 386k| 0 | 1.000000e+00 | 1.290000e+02 | Large
667.23/667.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
667.23/667.54 c 630s| 1480k|933836 | 0 | 0.0 | 706M| 405 | - | 623 |1167 | 0 | 0 | 0 | 388k| 0 | 1.000000e+00 | 1.290000e+02 | Large
670.83/671.16 c 633s| 1490k|940891 | 0 | 0.0 | 711M| 405 | - | 623 |1068 | 0 | 0 | 0 | 390k| 0 | 1.000000e+00 | 1.290000e+02 | Large
674.63/674.92 c 636s| 1500k|947566 | 0 | 0.0 | 716M| 405 | - | 623 |1155 | 0 | 0 | 0 | 393k| 0 | 1.000000e+00 | 1.290000e+02 | Large
678.63/678.91 c 640s| 1510k|953869 | 0 | 0.0 | 721M| 405 | - | 623 |1247 | 0 | 0 | 0 | 396k| 0 | 1.000000e+00 | 1.290000e+02 | Large
683.13/683.43 c 644s| 1520k|959261 | 0 | 0.0 | 725M| 405 | - | 623 |1310 | 0 | 0 | 0 | 399k| 0 | 1.000000e+00 | 1.290000e+02 | Large
687.93/688.20 c 649s| 1530k|964633 | 0 | 0.0 | 729M| 405 | - | 623 |1467 | 0 | 0 | 0 | 403k| 0 | 1.000000e+00 | 1.290000e+02 | Large
692.02/692.37 c 653s| 1540k|971296 | 0 | 0.0 | 733M| 405 | - | 623 | 654 | 0 | 0 | 0 | 406k| 0 | 1.000000e+00 | 1.290000e+02 | Large
695.42/695.78 c 656s| 1550k|979260 | 0 | 0.0 | 739M| 405 | - | 623 | 824 | 0 | 0 | 0 | 407k| 0 | 1.000000e+00 | 1.290000e+02 | Large
699.02/699.39 c 659s| 1560k|986719 | 0 | 0.0 | 745M| 405 | - | 623 | 940 | 0 | 0 | 0 | 409k| 0 | 1.000000e+00 | 1.290000e+02 | Large
703.12/703.41 c 663s| 1570k|993504 | 0 | 0.0 | 749M| 405 | - | 623 |1281 | 0 | 0 | 0 | 411k| 0 | 1.000000e+00 | 1.290000e+02 | Large
707.22/707.50 c 667s| 1580k| 1000k| 0 | 0.0 | 754M| 405 | - | 623 |1297 | 0 | 0 | 0 | 413k| 0 | 1.000000e+00 | 1.290000e+02 | Large
711.33/711.60 c 671s| 1590k| 1006k| 0 | 0.0 | 759M| 405 | - | 623 |1600 | 0 | 0 | 0 | 416k| 0 | 1.000000e+00 | 1.290000e+02 | Large
715.51/715.89 c 675s| 1600k| 1013k| 0 | 0.0 | 763M| 405 | - | 623 | 981 | 0 | 0 | 0 | 418k| 0 | 1.000000e+00 | 1.290000e+02 | Large
720.02/720.35 c 679s| 1610k| 1019k| 0 | 0.0 | 767M| 405 | - | 623 |1525 | 0 | 0 | 0 | 421k| 0 | 1.000000e+00 | 1.290000e+02 | Large
724.41/724.76 c 683s| 1620k| 1025k| 0 | 0.0 | 772M| 405 | - | 623 |1538 | 0 | 0 | 0 | 423k| 0 | 1.000000e+00 | 1.290000e+02 | Large
729.11/729.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
729.11/729.44 c 688s| 1630k| 1031k| 0 | 0.0 | 776M| 405 | - | 623 |1741 | 0 | 0 | 0 | 426k| 0 | 1.000000e+00 | 1.290000e+02 | Large
733.61/733.97 c 692s| 1640k| 1037k| 0 | 0.0 | 780M| 405 | - | 623 |1551 | 0 | 0 | 0 | 429k| 0 | 1.000000e+00 | 1.290000e+02 | Large
739.21/739.57 c 697s| 1650k| 1042k| 0 | 0.0 | 783M| 405 | - | 623 |1931 | 0 | 0 | 0 | 432k| 0 | 1.000000e+00 | 1.290000e+02 | Large
744.42/744.71 c 702s| 1660k| 1047k| 0 | 0.0 | 786M| 405 | - | 623 |1995 | 0 | 0 | 0 | 435k| 0 | 1.000000e+00 | 1.290000e+02 | Large
750.00/750.34 c 708s| 1670k| 1052k| 0 | 0.0 | 789M| 405 | - | 623 |1451 | 0 | 0 | 0 | 439k| 0 | 1.000000e+00 | 1.290000e+02 | Large
756.00/756.31 c 713s| 1680k| 1056k| 0 | 0.0 | 793M| 405 | - | 623 |2253 | 0 | 0 | 0 | 442k| 0 | 1.000000e+00 | 1.290000e+02 | Large
761.20/761.53 c 718s| 1690k| 1061k| 0 | 0.0 | 796M| 405 | - | 623 |1978 | 0 | 0 | 0 | 446k| 0 | 1.000000e+00 | 1.290000e+02 | Large
766.90/767.29 c 724s| 1700k| 1066k| 0 | 0.0 | 799M| 405 | - | 623 |1348 | 0 | 0 | 0 | 449k| 0 | 1.000000e+00 | 1.290000e+02 | Large
772.91/773.23 c 729s| 1710k| 1070k| 0 | 0.0 | 802M| 405 | - | 623 |1624 | 0 | 0 | 0 | 453k| 0 | 1.000000e+00 | 1.290000e+02 | Large
778.19/778.50 c 734s| 1720k| 1075k| 0 | 0.0 | 805M| 405 | - | 623 |2094 | 0 | 0 | 0 | 456k| 0 | 1.000000e+00 | 1.290000e+02 | Large
783.39/783.79 c 739s| 1730k| 1080k| 0 | 0.0 | 809M| 405 | - | 623 |1847 | 0 | 0 | 0 | 460k| 0 | 1.000000e+00 | 1.290000e+02 | Large
788.69/789.08 c 744s| 1740k| 1085k| 0 | 0.0 | 812M| 405 | - | 623 |1139 | 0 | 0 | 0 | 463k| 0 | 1.000000e+00 | 1.290000e+02 | Large
793.90/794.28 c 749s| 1750k| 1091k| 0 | 0.0 | 816M| 405 | - | 623 |1396 | 0 | 0 | 0 | 466k| 0 | 1.000000e+00 | 1.290000e+02 | Large
798.69/799.08 c 754s| 1760k| 1097k| 0 | 0.0 | 821M| 405 | - | 623 |1489 | 0 | 0 | 0 | 469k| 0 | 1.000000e+00 | 1.290000e+02 | Large
803.28/803.60 c 758s| 1770k| 1103k| 0 | 0.0 | 825M| 405 | - | 623 |1602 | 0 | 0 | 0 | 472k| 0 | 1.000000e+00 | 1.290000e+02 | Large
807.88/808.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
807.88/808.24 c 762s| 1780k| 1110k| 0 | 0.0 | 830M| 405 | - | 623 |1334 | 0 | 0 | 0 | 474k| 0 | 1.000000e+00 | 1.290000e+02 | Large
812.18/812.54 c 767s| 1790k| 1117k| 0 | 0.0 | 835M| 405 | - | 623 |1075 | 0 | 0 | 0 | 476k| 0 | 1.000000e+00 | 1.290000e+02 | Large
816.28/816.69 c 770s| 1800k| 1125k| 0 | 0.0 | 840M| 405 | - | 623 | 940 | 0 | 0 | 0 | 477k| 0 | 1.000000e+00 | 1.290000e+02 | Large
820.29/820.64 c 774s| 1810k| 1132k| 0 | 0.0 | 846M| 405 | - | 623 |1094 | 0 | 0 | 0 | 479k| 0 | 1.000000e+00 | 1.290000e+02 | Large
823.98/824.32 c 778s| 1820k| 1140k| 0 | 0.0 | 851M| 405 | - | 623 | 905 | 0 | 0 | 0 | 481k| 0 | 1.000000e+00 | 1.290000e+02 | Large
827.78/828.11 c 781s| 1830k| 1147k| 0 | 0.0 | 856M| 405 | - | 623 |1049 | 0 | 0 | 0 | 483k| 0 | 1.000000e+00 | 1.290000e+02 | Large
831.38/831.75 c 785s| 1840k| 1155k| 0 | 0.0 | 861M| 405 | - | 623 | 893 | 0 | 0 | 0 | 484k| 0 | 1.000000e+00 | 1.290000e+02 | Large
835.17/835.51 c 788s| 1850k| 1162k| 0 | 0.0 | 866M| 405 | - | 623 | 980 | 0 | 0 | 0 | 486k| 0 | 1.000000e+00 | 1.290000e+02 | Large
838.88/839.20 c 791s| 1860k| 1169k| 0 | 0.0 | 872M| 405 | - | 623 | 949 | 0 | 0 | 0 | 488k| 0 | 1.000000e+00 | 1.290000e+02 | Large
842.47/842.85 c 795s| 1870k| 1177k| 0 | 0.0 | 877M| 405 | - | 623 | 922 | 0 | 0 | 0 | 490k| 0 | 1.000000e+00 | 1.290000e+02 | Large
846.17/846.59 c 798s| 1880k| 1184k| 0 | 0.0 | 882M| 405 | - | 623 |1209 | 0 | 0 | 0 | 492k| 0 | 1.000000e+00 | 1.290000e+02 | Large
849.98/850.34 c 802s| 1890k| 1192k| 0 | 0.0 | 887M| 405 | - | 623 |1125 | 0 | 0 | 0 | 493k| 0 | 1.000000e+00 | 1.290000e+02 | Large
854.38/854.76 c 806s| 1900k| 1198k| 0 | 0.0 | 892M| 405 | - | 623 |1465 | 0 | 0 | 0 | 496k| 0 | 1.000000e+00 | 1.290000e+02 | Large
858.57/858.98 c 810s| 1910k| 1205k| 0 | 0.0 | 896M| 405 | - | 623 |1598 | 0 | 0 | 0 | 499k| 0 | 1.000000e+00 | 1.290000e+02 | Large
863.56/863.91 c 815s| 1920k| 1211k| 0 | 0.0 | 900M| 405 | - | 623 | 732 | 0 | 0 | 0 | 502k| 0 | 1.000000e+00 | 1.290000e+02 | Large
867.47/867.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
867.47/867.88 c 818s| 1930k| 1218k| 0 | 0.0 | 905M| 405 | - | 623 | 776 | 0 | 0 | 0 | 504k| 0 | 1.000000e+00 | 1.290000e+02 | Large
871.96/872.35 c 823s| 1940k| 1225k| 0 | 0.0 | 910M| 405 | - | 623 |1089 | 0 | 0 | 0 | 507k| 0 | 1.000000e+00 | 1.290000e+02 | Large
876.36/876.76 c 827s| 1950k| 1231k| 0 | 0.0 | 914M| 405 | - | 623 |1375 | 0 | 0 | 0 | 510k| 0 | 1.000000e+00 | 1.290000e+02 | Large
881.26/881.63 c 831s| 1960k| 1237k| 0 | 0.0 | 919M| 405 | - | 623 |1634 | 0 | 0 | 0 | 513k| 0 | 1.000000e+00 | 1.290000e+02 | Large
885.95/886.36 c 836s| 1970k| 1244k| 0 | 0.0 | 923M| 405 | - | 623 |1524 | 0 | 0 | 0 | 516k| 0 | 1.000000e+00 | 1.290000e+02 | Large
890.45/890.82 c 840s| 1980k| 1250k| 0 | 0.0 | 928M| 405 | - | 623 |1873 | 0 | 0 | 0 | 519k| 0 | 1.000000e+00 | 1.290000e+02 | Large
895.25/895.66 c 844s| 1990k| 1257k| 0 | 0.0 | 932M| 405 | - | 623 |1229 | 0 | 0 | 0 | 522k| 0 | 1.000000e+00 | 1.290000e+02 | Large
899.25/899.66 c 848s| 2000k| 1264k| 0 | 0.0 | 937M| 405 | - | 623 |1260 | 0 | 0 | 0 | 524k| 0 | 1.000000e+00 | 1.290000e+02 | Large
902.85/903.26 c 852s| 2010k| 1272k| 0 | 0.0 | 943M| 405 | - | 623 |1173 | 0 | 0 | 0 | 526k| 0 | 1.000000e+00 | 1.290000e+02 | Large
907.64/908.04 c 856s| 2020k| 1279k| 0 | 0.0 | 948M| 405 | - | 623 |1782 | 0 | 0 | 0 | 529k| 0 | 1.000000e+00 | 1.290000e+02 | Large
912.55/913.00 c 861s| 2030k| 1285k| 0 | 0.0 | 952M| 405 | - | 623 |1763 | 0 | 0 | 0 | 532k| 0 | 1.000000e+00 | 1.290000e+02 | Large
917.44/917.83 c 865s| 2040k| 1291k| 0 | 0.0 | 957M| 405 | - | 623 |2220 | 0 | 0 | 0 | 535k| 0 | 1.000000e+00 | 1.290000e+02 | Large
922.74/923.14 c 870s| 2050k| 1297k| 0 | 0.0 | 961M| 405 | - | 623 |2057 | 0 | 0 | 0 | 538k| 0 | 1.000000e+00 | 1.290000e+02 | Large
927.53/927.98 c 875s| 2060k| 1304k| 0 | 0.0 | 966M| 405 | - | 623 |1611 | 0 | 0 | 0 | 541k| 0 | 1.000000e+00 | 1.290000e+02 | Large
932.34/932.73 c 880s| 2070k| 1310k| 0 | 0.0 | 971M| 405 | - | 623 |1988 | 0 | 0 | 0 | 544k| 0 | 1.000000e+00 | 1.290000e+02 | Large
937.33/937.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
937.33/937.74 c 884s| 2080k| 1317k| 0 | 0.0 | 975M| 405 | - | 623 |2023 | 0 | 0 | 0 | 547k| 0 | 1.000000e+00 | 1.290000e+02 | Large
942.03/942.42 c 889s| 2090k| 1323k| 0 | 0.0 | 980M| 405 | - | 623 |1587 | 0 | 0 | 0 | 550k| 0 | 1.000000e+00 | 1.290000e+02 | Large
946.22/946.61 c 893s| 2100k| 1331k| 0 | 0.0 | 985M| 405 | - | 623 |1796 | 0 | 0 | 0 | 552k| 0 | 1.000000e+00 | 1.290000e+02 | Large
951.32/951.79 c 898s| 2110k| 1337k| 0 | 0.0 | 990M| 405 | - | 623 |2197 | 0 | 0 | 0 | 555k| 0 | 1.000000e+00 | 1.290000e+02 | Large
955.82/956.24 c 902s| 2120k| 1344k| 0 | 0.0 | 995M| 405 | - | 623 |1737 | 0 | 0 | 0 | 557k| 0 | 1.000000e+00 | 1.290000e+02 | Large
959.93/960.32 c 906s| 2130k| 1351k| 0 | 0.0 | 999M| 405 | - | 623 |1461 | 0 | 0 | 0 | 559k| 0 | 1.000000e+00 | 1.290000e+02 | Large
963.72/964.17 c 909s| 2140k| 1359k| 0 | 0.0 |1005M| 405 | - | 623 |1516 | 0 | 0 | 0 | 561k| 0 | 1.000000e+00 | 1.290000e+02 | Large
967.62/968.05 c 913s| 2150k| 1367k| 0 | 0.0 |1011M| 405 | - | 623 |1424 | 0 | 0 | 0 | 562k| 0 | 1.000000e+00 | 1.290000e+02 | Large
971.92/972.34 c 917s| 2160k| 1374k| 0 | 0.0 |1016M| 405 | - | 623 |1587 | 0 | 0 | 0 | 565k| 0 | 1.000000e+00 | 1.290000e+02 | Large
976.02/976.40 c 921s| 2170k| 1382k| 0 | 0.0 |1021M| 405 | - | 623 |1377 | 0 | 0 | 0 | 567k| 0 | 1.000000e+00 | 1.290000e+02 | Large
980.21/980.61 c 925s| 2180k| 1389k| 0 | 0.0 |1026M| 405 | - | 623 | 630 | 0 | 0 | 0 | 569k| 0 | 1.000000e+00 | 1.290000e+02 | Large
984.12/984.55 c 928s| 2190k| 1396k| 0 | 0.0 |1032M| 405 | - | 623 | 732 | 0 | 0 | 0 | 570k| 0 | 1.000000e+00 | 1.290000e+02 | Large
988.11/988.58 c 932s| 2200k| 1404k| 0 | 0.0 |1037M| 405 | - | 623 |1056 | 0 | 0 | 0 | 572k| 0 | 1.000000e+00 | 1.290000e+02 | Large
992.22/992.62 c 936s| 2210k| 1411k| 0 | 0.0 |1042M| 405 | - | 623 |1009 | 0 | 0 | 0 | 574k| 0 | 1.000000e+00 | 1.290000e+02 | Large
996.01/996.45 c 939s| 2220k| 1419k| 0 | 0.0 |1048M| 405 | - | 623 | 973 | 0 | 0 | 0 | 576k| 0 | 1.000000e+00 | 1.290000e+02 | Large
999.91/1000.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
999.91/1000.34 c 943s| 2230k| 1426k| 0 | 0.0 |1053M| 405 | - | 623 |1021 | 0 | 0 | 0 | 578k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1003.82/1004.24 c 947s| 2240k| 1434k| 0 | 0.0 |1058M| 405 | - | 623 |1053 | 0 | 0 | 0 | 580k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1007.51/1007.98 c 950s| 2250k| 1441k| 0 | 0.0 |1064M| 405 | - | 623 |1275 | 0 | 0 | 0 | 581k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1011.31/1011.70 c 954s| 2260k| 1449k| 0 | 0.0 |1070M| 405 | - | 623 |1203 | 0 | 0 | 0 | 583k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1015.11/1015.59 c 957s| 2270k| 1457k| 0 | 0.0 |1075M| 405 | - | 623 | 940 | 0 | 0 | 0 | 585k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1018.90/1019.35 c 961s| 2280k| 1464k| 0 | 0.0 |1080M| 405 | - | 623 | 887 | 0 | 0 | 0 | 586k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1022.70/1023.16 c 964s| 2290k| 1472k| 0 | 0.0 |1086M| 405 | - | 623 | 769 | 0 | 0 | 0 | 588k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1026.60/1027.03 c 968s| 2300k| 1479k| 0 | 0.0 |1091M| 405 | - | 623 |1107 | 0 | 0 | 0 | 590k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1030.40/1030.84 c 972s| 2310k| 1487k| 0 | 0.0 |1097M| 405 | - | 623 |1177 | 0 | 0 | 0 | 591k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1034.10/1034.54 c 975s| 2320k| 1495k| 0 | 0.0 |1102M| 405 | - | 623 | 930 | 0 | 0 | 0 | 593k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1037.69/1038.17 c 978s| 2330k| 1502k| 0 | 0.0 |1108M| 405 | - | 623 | 870 | 0 | 0 | 0 | 595k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1041.49/1041.90 c 982s| 2340k| 1510k| 0 | 0.0 |1113M| 405 | - | 623 | 837 | 0 | 0 | 0 | 596k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1045.09/1045.57 c 985s| 2350k| 1518k| 0 | 0.0 |1119M| 405 | - | 623 | 774 | 0 | 0 | 0 | 598k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1048.90/1049.32 c 989s| 2360k| 1525k| 0 | 0.0 |1124M| 405 | - | 623 | 986 | 0 | 0 | 0 | 600k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1052.38/1052.86 c 992s| 2370k| 1533k| 0 | 0.0 |1130M| 405 | - | 623 | 702 | 0 | 0 | 0 | 601k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1056.28/1056.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1056.28/1056.71 c 996s| 2380k| 1541k| 0 | 0.0 |1135M| 405 | - | 623 | 905 | 0 | 0 | 0 | 603k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1059.99/1060.42 c 999s| 2390k| 1548k| 0 | 0.0 |1141M| 405 | - | 623 |1137 | 0 | 0 | 0 | 605k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1064.18/1064.61 c 1003s| 2400k| 1555k| 0 | 0.0 |1146M| 405 | - | 623 |1010 | 0 | 0 | 0 | 606k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1067.99/1068.44 c 1007s| 2410k| 1563k| 0 | 0.0 |1151M| 405 | - | 623 | 885 | 0 | 0 | 0 | 608k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1071.68/1072.18 c 1010s| 2420k| 1571k| 0 | 0.0 |1156M| 405 | - | 623 | 760 | 0 | 0 | 0 | 610k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1075.68/1076.11 c 1014s| 2430k| 1578k| 0 | 0.0 |1162M| 405 | - | 623 | 843 | 0 | 0 | 0 | 612k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1079.58/1080.01 c 1018s| 2440k| 1585k| 0 | 0.0 |1167M| 405 | - | 623 | 860 | 0 | 0 | 0 | 613k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1083.38/1083.84 c 1021s| 2450k| 1593k| 0 | 0.0 |1172M| 405 | - | 623 | 850 | 0 | 0 | 0 | 615k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1087.38/1087.89 c 1025s| 2460k| 1600k| 0 | 0.0 |1177M| 405 | - | 623 | 951 | 0 | 0 | 0 | 617k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1091.17/1091.65 c 1028s| 2470k| 1608k| 0 | 0.0 |1183M| 405 | - | 623 |1011 | 0 | 0 | 0 | 619k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1094.97/1095.42 c 1032s| 2480k| 1615k| 0 | 0.0 |1188M| 405 | - | 623 | 886 | 0 | 0 | 0 | 620k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1098.87/1099.31 c 1036s| 2490k| 1623k| 0 | 0.0 |1193M| 405 | - | 623 | 868 | 0 | 0 | 0 | 622k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1102.78/1103.23 c 1039s| 2500k| 1630k| 0 | 0.0 |1199M| 405 | - | 623 | 834 | 0 | 0 | 0 | 624k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1106.67/1107.15 c 1043s| 2510k| 1638k| 0 | 0.0 |1204M| 405 | - | 623 | 785 | 0 | 0 | 0 | 626k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1110.57/1111.02 c 1047s| 2520k| 1645k| 0 | 0.0 |1209M| 405 | - | 623 | 770 | 0 | 0 | 0 | 628k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1114.36/1114.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1114.36/1114.81 c 1050s| 2530k| 1653k| 0 | 0.0 |1215M| 405 | - | 623 | 722 | 0 | 0 | 0 | 629k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1118.27/1118.75 c 1054s| 2540k| 1660k| 0 | 0.0 |1220M| 405 | - | 623 | 869 | 0 | 0 | 0 | 631k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1122.27/1122.75 c 1058s| 2550k| 1667k| 0 | 0.0 |1225M| 405 | - | 623 | 998 | 0 | 0 | 0 | 633k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1126.37/1126.81 c 1061s| 2560k| 1674k| 0 | 0.0 |1230M| 405 | - | 623 | 896 | 0 | 0 | 0 | 635k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1130.27/1130.78 c 1065s| 2570k| 1682k| 0 | 0.0 |1235M| 405 | - | 623 |1002 | 0 | 0 | 0 | 637k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1134.36/1134.87 c 1069s| 2580k| 1689k| 0 | 0.0 |1241M| 405 | - | 623 | 974 | 0 | 0 | 0 | 639k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1138.26/1138.75 c 1072s| 2590k| 1696k| 0 | 0.0 |1246M| 405 | - | 623 |1016 | 0 | 0 | 0 | 641k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1142.26/1142.78 c 1076s| 2600k| 1704k| 0 | 0.0 |1251M| 405 | - | 623 |1004 | 0 | 0 | 0 | 642k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1146.26/1146.72 c 1080s| 2610k| 1711k| 0 | 0.0 |1256M| 405 | - | 623 | 847 | 0 | 0 | 0 | 644k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1150.25/1150.70 c 1084s| 2620k| 1718k| 0 | 0.0 |1261M| 405 | - | 623 | 905 | 0 | 0 | 0 | 646k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1154.15/1154.67 c 1087s| 2630k| 1725k| 0 | 0.0 |1266M| 405 | - | 623 | 947 | 0 | 0 | 0 | 648k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1158.26/1158.78 c 1091s| 2640k| 1733k| 0 | 0.0 |1272M| 405 | - | 623 |1046 | 0 | 0 | 0 | 650k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1162.26/1162.79 c 1095s| 2650k| 1740k| 0 | 0.0 |1277M| 405 | - | 623 | 994 | 0 | 0 | 0 | 652k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1166.35/1166.80 c 1099s| 2660k| 1747k| 0 | 0.0 |1282M| 405 | - | 623 |1111 | 0 | 0 | 0 | 654k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1170.65/1171.16 c 1103s| 2670k| 1754k| 0 | 0.0 |1287M| 405 | - | 623 |1155 | 0 | 0 | 0 | 656k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1174.74/1175.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1174.74/1175.21 c 1107s| 2680k| 1762k| 0 | 0.0 |1292M| 405 | - | 623 |1003 | 0 | 0 | 0 | 658k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1178.54/1179.04 c 1110s| 2690k| 1769k| 0 | 0.0 |1298M| 405 | - | 623 | 985 | 0 | 0 | 0 | 660k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1182.34/1182.82 c 1114s| 2700k| 1776k| 0 | 0.0 |1303M| 405 | - | 623 | 885 | 0 | 0 | 0 | 662k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1186.14/1186.63 c 1117s| 2710k| 1784k| 0 | 0.0 |1308M| 405 | - | 623 | 838 | 0 | 0 | 0 | 664k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1189.95/1190.48 c 1121s| 2720k| 1791k| 0 | 0.0 |1313M| 405 | - | 623 | 876 | 0 | 0 | 0 | 665k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1193.84/1194.36 c 1125s| 2730k| 1798k| 0 | 0.0 |1318M| 405 | - | 623 |1013 | 0 | 0 | 0 | 668k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1197.64/1198.11 c 1128s| 2740k| 1806k| 0 | 0.0 |1324M| 405 | - | 623 | 965 | 0 | 0 | 0 | 669k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1201.54/1202.00 c 1132s| 2750k| 1813k| 0 | 0.0 |1329M| 405 | - | 623 | 896 | 0 | 0 | 0 | 671k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1205.43/1205.98 c 1135s| 2760k| 1820k| 0 | 0.0 |1334M| 405 | - | 623 |1043 | 0 | 0 | 0 | 673k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1209.54/1210.01 c 1139s| 2770k| 1827k| 0 | 0.0 |1339M| 405 | - | 623 | 995 | 0 | 0 | 0 | 675k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1213.53/1214.05 c 1143s| 2780k| 1834k| 0 | 0.0 |1344M| 405 | - | 623 | 995 | 0 | 0 | 0 | 677k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1217.33/1217.86 c 1147s| 2790k| 1842k| 0 | 0.0 |1349M| 405 | - | 623 | 948 | 0 | 0 | 0 | 679k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1221.13/1221.63 c 1150s| 2800k| 1849k| 0 | 0.0 |1355M| 405 | - | 623 | 902 | 0 | 0 | 0 | 681k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1223.93/1224.40 c (node 2807426) switching to memory saving mode (mem: 1296.0M/1620.0M)
1224.63/1225.15 o 9
1224.63/1225.15 c *1153s| 2807k| 1853k| 0 | 0.0 |1358M| 405 | - | 623 | 706 | 0 | 0 | 0 | 682k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
1225.43/1225.97 o 5
1225.43/1225.97 c *1154s| 2807k| 1846k| 0 | 0.0 |1353M| 405 | - | 623 | 835 | 0 | 0 | 0 | 683k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1226.72/1227.28 o 3
1226.72/1227.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1226.72/1227.28 c *1155s| 2808k| 1753k| 0 | 0.0 |1286M| 405 | - | 623 | 887 | 0 | 0 | 0 | 683k| 0 | 1.000000e+00 | 3.000000e+00 | 200.00%
1239.72/1240.28 c (node 2808375) switching to standard mode (mem: 648.0M/1620.0M)
1255.31/1255.83 c
1255.31/1255.83 c SCIP Status : problem is solved [optimal solution found]
1255.31/1255.83 c Solving Time (sec) : 1181.77
1255.31/1255.83 c Solving Nodes : 2808375
1255.31/1255.83 c Primal Bound : +3.00000000000000e+00 (5 solutions)
1255.31/1255.83 c Dual Bound : +3.00000000000000e+00
1255.31/1255.83 c Gap : 0.00 %
1255.31/1255.83 s OPTIMUM FOUND
1255.31/1255.83 v -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 x178 x177 -x176 -x175 -x174 -x173 x172 -x126 -x125 -x124 -x123
1255.31/1255.83 v -x122 -x121 -x120 -x119 x118 -x171 -x170 x169 -x168 -x167 -x166 -x165 -x164 -x163 x117 x116 -x115 -x114 -x113 -x112 -x111 -x110
1255.31/1255.83 v x109 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 x100 -x153 -x152
1255.31/1255.83 v -x151 -x150 -x149 -x148 -x147 -x146 x145 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 x91 -x144 -x143 -x142 -x141 -x140 -x139 -x138
1255.31/1255.83 v -x137 -x136 -x90 x89 -x88 x87 -x86 x85 -x84 x83 x82 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x81 -x80 -x79
1255.31/1255.83 v -x78 x77 -x76 -x75 x74 x73 x72 -x71 x70 x69 -x68 -x67 -x66 -x65 x64 -x63 x62 -x61 -x60 -x59 -x58 -x57 -x56 x55 -x54 x53 -x52
1255.31/1255.83 v -x51 -x50 -x49 -x48 -x47 x46 x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 x29 x28 -x27 -x26
1255.31/1255.83 v -x25 -x24 -x23 x22 -x21 -x20 x19 -x18 x17 -x16 x15 x14 -x13 -x12 -x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 x1
1255.31/1255.83 c SCIP Status : problem is solved [optimal solution found]
1255.31/1255.83 c Solving Time : 1181.77
1255.31/1255.83 c Original Problem :
1255.31/1255.83 c Problem name : HOME/instance-2663613-1276648220.opb
1255.31/1255.83 c Variables : 756 (756 binary, 0 integer, 0 implicit integer, 0 continuous)
1255.31/1255.83 c Constraints : 582 initial, 582 maximal
1255.31/1255.83 c Presolved Problem :
1255.31/1255.83 c Problem name : t_HOME/instance-2663613-1276648220.opb
1255.31/1255.83 c Variables : 623 (623 binary, 0 integer, 0 implicit integer, 0 continuous)
1255.31/1255.83 c Constraints : 463 initial, 4528 maximal
1255.31/1255.83 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1255.31/1255.83 c trivial : 0.00 0 0 0 0 0 0 0 0
1255.31/1255.83 c dualfix : 0.00 0 0 0 0 0 0 0 0
1255.31/1255.83 c boundshift : 0.00 0 0 0 0 0 0 0 0
1255.31/1255.83 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1255.31/1255.83 c implics : 0.00 0 0 0 0 0 0 0 0
1255.31/1255.83 c probing : 0.02 0 0 0 0 0 0 0 0
1255.31/1255.83 c and : 0.10 14 112 0 0 0 112 0 112
1255.31/1255.83 c linear : 0.00 1 6 0 0 0 0 0 56
1255.31/1255.83 c logicor : 0.00 0 0 0 0 0 0 0 0
1255.31/1255.83 c root node : - 81 - - 81 - - - -
1255.31/1255.83 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1255.31/1255.83 c integral : 0 0 0 0 0 0 0 0 0 0
1255.31/1255.83 c and : 448 0 6708008 0 2470244 79796 12887821 0 0 0
1255.31/1255.83 c linear : 7 0 6628209 0 2470244 476479 4684736 0 0 0
1255.31/1255.83 c logicor : 8+ 0 2739965 0 2470209 13322 584180 0 0 0
1255.31/1255.83 c countsols : 0 0 0 0 2470249 0 0 0 0 0
1255.31/1255.83 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1255.31/1255.83 c integral : 0.00 0.00 0.00 0.00 0.00
1255.31/1255.83 c and : 164.22 0.00 106.36 0.00 57.86
1255.31/1255.83 c linear : 328.21 0.00 325.51 0.00 2.70
1255.31/1255.83 c logicor : 91.06 0.00 83.22 0.00 7.84
1255.31/1255.83 c countsols : 0.96 0.00 0.00 0.00 0.96
1255.31/1255.83 c Propagators : Time Calls Cutoffs DomReds
1255.31/1255.83 c vbounds : 3.44 2 0 0
1255.31/1255.83 c rootredcost : 3.16 0 0 0
1255.31/1255.83 c pseudoobj : 9.21 6707602 13 1037
1255.31/1255.83 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1255.31/1255.83 c propagation : 191.74 569602 568253 7596620 68.8 41158 66.0 -
1255.31/1255.83 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1255.31/1255.83 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1255.31/1255.83 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1255.31/1255.83 c pseudo solution : 0.00 1 1 1 1.0 0 0.0 -
1255.31/1255.83 c applied globally : - - - 651295 28.4 - - -
1255.31/1255.83 c applied locally : - - - 32034 75.8 - - -
1255.31/1255.83 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1255.31/1255.83 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1255.31/1255.83 c redcost : 0.00 0 0 0 0 0
1255.31/1255.83 c impliedbounds : 0.00 0 0 0 0 0
1255.31/1255.83 c intobj : 0.00 0 0 0 0 0
1255.31/1255.83 c cgmip : 0.00 0 0 0 0 0
1255.31/1255.83 c gomory : 0.00 0 0 0 0 0
1255.31/1255.83 c strongcg : 0.00 0 0 0 0 0
1255.31/1255.83 c cmir : 0.00 0 0 0 0 0
1255.31/1255.83 c flowcover : 0.00 0 0 0 0 0
1255.31/1255.83 c clique : 0.00 0 0 0 0 0
1255.31/1255.83 c zerohalf : 0.00 0 0 0 0 0
1255.31/1255.83 c mcf : 0.00 0 0 0 0 0
1255.31/1255.83 c rapidlearning : 0.00 0 0 0 0 0
1255.31/1255.83 c Pricers : Time Calls Vars
1255.31/1255.83 c problem variables: 0.00 0 0
1255.31/1255.83 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1255.31/1255.83 c relpscost : 0.00 0 0 0 0 0 0
1255.31/1255.83 c pscost : 0.00 0 0 0 0 0 0
1255.31/1255.83 c inference : 176.13 2470244 0 0 0 0 4940488
1255.31/1255.83 c mostinf : 0.00 0 0 0 0 0 0
1255.31/1255.83 c leastinf : 0.00 0 0 0 0 0 0
1255.31/1255.83 c fullstrong : 0.00 0 0 0 0 0 0
1255.31/1255.83 c allfullstrong : 0.00 0 0 0 0 0 0
1255.31/1255.83 c random : 0.00 0 0 0 0 0 0
1255.31/1255.83 c Primal Heuristics : Time Calls Found
1255.31/1255.83 c LP solutions : 0.00 - 0
1255.31/1255.83 c pseudo solutions : 0.70 - 5
1255.31/1255.83 c oneopt : 1.71 0 0
1255.31/1255.83 c trivial : 0.01 2 0
1255.31/1255.83 c simplerounding : 0.00 0 0
1255.31/1255.83 c zirounding : 0.00 0 0
1255.31/1255.83 c rounding : 0.00 0 0
1255.31/1255.83 c shifting : 0.00 0 0
1255.31/1255.83 c intshifting : 0.00 0 0
1255.31/1255.83 c twoopt : 0.00 0 0
1255.31/1255.83 c fixandinfer : 0.00 0 0
1255.31/1255.83 c feaspump : 0.00 0 0
1255.31/1255.83 c coefdiving : 0.00 0 0
1255.31/1255.83 c pscostdiving : 0.00 0 0
1255.31/1255.83 c fracdiving : 0.00 0 0
1255.31/1255.83 c veclendiving : 0.00 0 0
1255.31/1255.83 c intdiving : 0.00 0 0
1255.31/1255.83 c actconsdiving : 0.00 0 0
1255.31/1255.83 c objpscostdiving : 0.00 0 0
1255.31/1255.83 c rootsoldiving : 0.00 0 0
1255.31/1255.83 c linesearchdiving : 0.00 0 0
1255.31/1255.83 c guideddiving : 0.00 0 0
1255.31/1255.83 c octane : 0.00 0 0
1255.31/1255.83 c rens : 0.00 0 0
1255.31/1255.83 c rins : 0.00 0 0
1255.31/1255.83 c localbranching : 0.00 0 0
1255.31/1255.83 c mutation : 0.00 0 0
1255.31/1255.83 c crossover : 0.00 0 0
1255.31/1255.83 c dins : 0.00 0 0
1255.31/1255.83 c undercover : 0.00 0 0
1255.31/1255.83 c nlp : 1.57 0 0
1255.31/1255.83 c trysol : 1.40 0 0
1255.31/1255.83 c LP : Time Calls Iterations Iter/call Iter/sec
1255.31/1255.83 c primal LP : 0.00 0 0 0.00 -
1255.31/1255.83 c dual LP : 0.00 0 0 0.00 -
1255.31/1255.83 c lex dual LP : 0.00 0 0 0.00 -
1255.31/1255.83 c barrier LP : 0.00 0 0 0.00 -
1255.31/1255.83 c diving/probing LP: 0.00 0 0 0.00 -
1255.31/1255.83 c strong branching : 0.00 0 0 0.00 -
1255.31/1255.83 c (at root node) : - 0 0 0.00 -
1255.31/1255.83 c conflict analysis: 0.00 0 0 0.00 -
1255.31/1255.83 c B&B Tree :
1255.31/1255.83 c number of runs : 1
1255.31/1255.83 c nodes : 2808375
1255.31/1255.83 c nodes (total) : 2808375
1255.31/1255.83 c nodes left : 0
1255.31/1255.83 c max depth : 405
1255.31/1255.83 c max depth (total): 405
1255.31/1255.83 c backtracks : 246468 (8.8%)
1255.31/1255.83 c delayed cutoffs : 2030396
1255.31/1255.83 c repropagations : 717714 (2239616 domain reductions, 231485 cutoffs)
1255.31/1255.83 c avg switch length: 7.18
1255.31/1255.83 c switching time : 276.32
1255.31/1255.83 c Solution :
1255.31/1255.83 c Solutions found : 5 (5 improvements)
1255.31/1255.83 c First Solution : +2.57000000000000e+02 (in run 1, after 1094708 nodes, 426.68 seconds, depth 152, found by <relaxation>)
1255.31/1255.83 c Primal Bound : +3.00000000000000e+00 (in run 1, after 2808374 nodes, 1155.01 seconds, depth 357, found by <relaxation>)
1255.31/1255.83 c Dual Bound : +3.00000000000000e+00
1255.31/1255.83 c Gap : 0.00 %
1255.31/1255.83 c Root Dual Bound : +1.00000000000000e+00
1255.31/1255.83 c Root Iterations : 0
1255.41/1255.91 c Time complete: 1255.42.
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663613-1276648220/watcher-2663613-1276648220 -o /tmp/evaluation-result-2663613-1276648220/solver-2663613-1276648220 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663613-1276648220.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.02 1.00 3/106 12351 /proc/meminfo: memFree=1841564/2059040 swapFree=4168596/4192956 [pid=12351] ppid=12349 vsize=6584 CPUtime=0 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 11880 0 -1 4202496 999 0 0 0 0 0 0 0 20 0 1 0 6112991 6742016 921 1992294400 4194304 7136930 140733656681568 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12351/statm: 1646 932 254 719 0 925 0 [startup+0.0209221 s] /proc/loadavg: 1.00 1.02 1.00 3/106 12351 /proc/meminfo: memFree=1841564/2059040 swapFree=4168596/4192956 [pid=12351] ppid=12349 vsize=9924 CPUtime=0.01 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 11880 0 -1 4202496 2333 0 0 0 1 0 0 0 20 0 1 0 6112991 10162176 1902 1992294400 4194304 7136930 140733656681568 18446744073709551615 6164672 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12351/statm: 2529 1911 283 719 0 1808 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9924 [startup+0.100934 s] /proc/loadavg: 1.00 1.02 1.00 3/106 12351 /proc/meminfo: memFree=1841564/2059040 swapFree=4168596/4192956 [pid=12351] ppid=12349 vsize=12060 CPUtime=0.09 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 11880 0 -1 4202496 2909 0 0 0 4 5 0 0 20 0 1 0 6112991 12349440 2221 1992294400 4194304 7136930 140733656681568 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12351/statm: 3015 2221 328 719 0 2294 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12060 [startup+0.300967 s] /proc/loadavg: 1.00 1.02 1.00 3/106 12351 /proc/meminfo: memFree=1841564/2059040 swapFree=4168596/4192956 [pid=12351] ppid=12349 vsize=13880 CPUtime=0.29 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 11880 0 -1 4202496 7545 0 0 0 20 9 0 0 20 0 1 0 6112991 14213120 2745 1992294400 4194304 7136930 140733656681568 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12351/statm: 3470 2745 389 719 0 2749 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13880 [startup+0.701034 s] /proc/loadavg: 1.00 1.02 1.00 3/106 12351 /proc/meminfo: memFree=1841564/2059040 swapFree=4168596/4192956 [pid=12351] ppid=12349 vsize=15104 CPUtime=0.69 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 11880 0 -1 4202496 7875 0 0 0 56 13 0 0 20 0 1 0 6112991 15466496 3075 1992294400 4194304 7136930 140733656681568 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12351/statm: 3776 3075 394 719 0 3055 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15104 [startup+1.50117 s] /proc/loadavg: 1.00 1.02 1.00 2/107 12352 /proc/meminfo: memFree=1829900/2059040 swapFree=4168596/4192956 [pid=12351] ppid=12349 vsize=17760 CPUtime=1.49 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 11880 0 -1 4202496 8541 0 0 0 130 19 0 0 22 0 1 0 6112991 18186240 3741 1992294400 4194304 7136930 140733656681568 18446744073709551615 4925116 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12351/statm: 4440 3741 394 719 0 3719 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17760 [startup+3.10143 s] /proc/loadavg: 1.00 1.02 1.00 2/107 12352 /proc/meminfo: memFree=1826304/2059040 swapFree=4168596/4192956 [pid=12351] ppid=12349 vsize=21276 CPUtime=3.09 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 11880 0 -1 4202496 9427 0 0 0 277 32 0 0 25 0 1 0 6112991 21786624 4627 1992294400 4194304 7136930 140733656681568 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12351/statm: 5319 4627 394 719 0 4598 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21276 [startup+6.30096 s] /proc/loadavg: 1.08 1.03 1.01 2/107 12352 /proc/meminfo: memFree=1820228/2059040 swapFree=4168596/4192956 [pid=12351] ppid=12349 vsize=26400 CPUtime=6.29 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 11880 0 -1 4202496 10736 0 0 0 573 56 0 0 25 0 1 0 6112991 27033600 5936 1992294400 4194304 7136930 140733656681568 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12351/statm: 6600 5936 394 719 0 5879 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26400 [startup+12.701 s] /proc/loadavg: 1.08 1.03 1.00 2/107 12354 /proc/meminfo: memFree=1807332/2059040 swapFree=4168596/4192956 [pid=12351] ppid=12349 vsize=38816 CPUtime=12.68 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 11880 0 -1 4202496 13859 0 0 0 1164 104 0 0 25 0 1 0 6112991 39747584 9059 1992294400 4194304 7136930 140733656681568 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12351/statm: 9704 9059 394 719 0 8983 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 38816 [startup+25.5012 s] /proc/loadavg: 1.06 1.03 1.00 2/107 12354 /proc/meminfo: memFree=1786500/2059040 swapFree=4168596/4192956 [pid=12351] ppid=12349 vsize=58304 CPUtime=25.48 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 11880 0 -1 4202496 18826 0 0 0 2355 193 0 0 25 0 1 0 6112991 59703296 14026 1992294400 4194304 7136930 140733656681568 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12351/statm: 14576 14026 394 719 0 13855 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 58304 [startup+51.1014 s] /proc/loadavg: 1.04 1.03 1.00 2/107 12354 /proc/meminfo: memFree=1742852/2059040 swapFree=4168596/4192956 [pid=12351] ppid=12349 vsize=102852 CPUtime=51.07 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 11880 0 -1 4202496 29684 0 0 0 4725 382 0 0 25 0 1 0 6112991 105320448 24884 1992294400 4194304 7136930 140733656681568 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12351/statm: 25713 24884 394 719 0 24992 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 102852 [startup+102.309 s] /proc/loadavg: 1.06 1.03 1.00 2/107 12356 /proc/meminfo: memFree=1686804/2059040 swapFree=4168596/4192956 [pid=12351] ppid=12349 vsize=157536 CPUtime=102.27 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 11880 0 -1 4202496 43580 0 0 0 9568 659 0 0 25 0 1 0 6112991 161316864 38780 1992294400 4194304 7136930 140733656681568 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12351/statm: 39384 38780 394 719 0 38663 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 157536 [startup+162.301 s] /proc/loadavg: 1.06 1.04 1.00 2/107 12361 /proc/meminfo: memFree=1617860/2059040 swapFree=4168596/4192956 [pid=12351] ppid=12349 vsize=228836 CPUtime=162.24 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 11880 0 -1 4202496 60737 0 0 0 15208 1016 0 0 25 0 1 0 6112991 234328064 55937 1992294400 4194304 7136930 140733656681568 18446744073709551615 5892251 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12351/statm: 57209 55937 394 719 0 56488 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 228836 [startup+222.301 s] /proc/loadavg: 1.05 1.04 1.00 2/107 12361 /proc/meminfo: memFree=1521140/2059040 swapFree=4168596/4192956 [pid=12351] ppid=12349 vsize=323288 CPUtime=222.21 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 11880 0 -1 4202496 84802 0 0 0 20795 1426 0 0 25 0 1 0 6112991 331046912 80002 1992294400 4194304 7136930 140733656681568 18446744073709551615 4780830 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12351/statm: 80822 80002 394 719 0 80101 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 323288 [startup+282.302 s] /proc/loadavg: 1.02 1.03 1.00 2/107 12363 /proc/meminfo: memFree=1444384/2059040 swapFree=4168596/4192956 [pid=12351] ppid=12349 vsize=406856 CPUtime=282.18 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 11880 0 -1 4202496 104077 0 0 0 26435 1783 0 0 25 0 1 0 6112991 416620544 99277 1992294400 4194304 7136930 140733656681568 18446744073709551615 5955595 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12351/statm: 101714 99277 394 719 0 100993 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 406856 [startup+342.302 s] /proc/loadavg: 1.00 1.02 1.00 2/107 12365 /proc/meminfo: memFree=1377176/2059040 swapFree=4168596/4192956 [pid=12351] ppid=12349 vsize=472108 CPUtime=342.15 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 11880 0 -1 4202496 120727 0 0 0 32094 2121 0 0 25 0 1 0 6112991 483438592 115927 1992294400 4194304 7136930 140733656681568 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12351/statm: 118027 115927 394 719 0 117306 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 472108 [startup+402.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 12367 /proc/meminfo: memFree=1312448/2059040 swapFree=4168596/4192956 [pid=12351] ppid=12349 vsize=535560 CPUtime=402.14 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 11880 0 -1 4202496 136924 0 0 0 37773 2441 0 0 25 0 1 0 6112991 548413440 132124 1992294400 4194304 7136930 140733656681568 18446744073709551615 4661686 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12351/statm: 133890 132124 394 719 0 133169 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 535560 [startup+462.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 12369 /proc/meminfo: memFree=1244868/2059040 swapFree=4168596/4192956 [pid=12351] ppid=12349 vsize=601280 CPUtime=462.11 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 11880 0 -1 4202496 153661 0 0 0 43447 2764 0 0 25 0 1 0 6112991 615710720 148861 1992294400 4194304 7136930 140733656681568 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12351/statm: 150320 148861 394 719 0 149599 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 601280 [startup+522.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 12369 /proc/meminfo: memFree=1189688/2059040 swapFree=4168596/4192956 [pid=12351] ppid=12349 vsize=656028 CPUtime=522.09 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 11880 0 -1 4202496 167591 0 0 0 49137 3072 0 0 25 0 1 0 6112991 671772672 162791 1992294400 4194304 7136930 140733656681568 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12351/statm: 164007 162791 394 719 0 163286 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 656028 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12371 /proc/meminfo: memFree=1153356/2059040 swapFree=4168596/4192956 [pid=12351] ppid=12349 vsize=691000 CPUtime=582.07 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 11880 0 -1 4202496 176467 0 0 0 54868 3339 0 0 25 0 1 0 6112991 707584000 171667 1992294400 4194304 7136930 140733656681568 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12351/statm: 172750 171667 394 719 0 172029 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 691000 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12373 /proc/meminfo: memFree=1115536/2059040 swapFree=4168596/4192956 [pid=12351] ppid=12349 vsize=728128 CPUtime=642.05 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 11880 0 -1 4202496 185913 0 0 0 60608 3597 0 0 25 0 1 0 6112991 745603072 181113 1992294400 4194304 7136930 140733656681568 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12351/statm: 182032 181113 394 719 0 181311 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 728128 [startup+702.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12375 /proc/meminfo: memFree=1042872/2059040 swapFree=4168596/4192956 [pid=12351] ppid=12349 vsize=815440 CPUtime=702.02 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 11880 0 -1 4202496 204059 0 0 0 66214 3988 0 0 25 0 1 0 6112991 835010560 199259 1992294400 4194304 7136930 140733656681568 18446744073709551615 5918673 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12351/statm: 203860 199259 394 719 0 203139 0 Current children cumulated CPU time (s) 702.02 Current children cumulated vsize (KiB) 815440 [startup+762.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12377 /proc/meminfo: memFree=990172/2059040 swapFree=4168596/4192956 [pid=12351] ppid=12349 vsize=867292 CPUtime=762.01 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 11880 0 -1 4202496 217268 0 0 0 71892 4309 0 0 25 0 1 0 6112991 888107008 212468 1992294400 4194304 7136930 140733656681568 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12351/statm: 216823 212468 394 719 0 216102 0 Current children cumulated CPU time (s) 762.01 Current children cumulated vsize (KiB) 867292 [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12377 /proc/meminfo: memFree=934000/2059040 swapFree=4168596/4192956 [pid=12351] ppid=12349 vsize=922600 CPUtime=821.98 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 11880 0 -1 4202496 231390 0 0 0 77572 4626 0 0 25 0 1 0 6112991 944742400 226590 1992294400 4194304 7136930 140733656681568 18446744073709551615 4677433 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12351/statm: 230650 226590 394 719 0 229929 0 Current children cumulated CPU time (s) 821.98 Current children cumulated vsize (KiB) 922600 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12379 /proc/meminfo: memFree=865056/2059040 swapFree=4168596/4192956 [pid=12351] ppid=12349 vsize=988824 CPUtime=881.96 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 11880 0 -1 4202496 248356 0 0 0 83190 5006 0 0 25 0 1 0 6112991 1012555776 243556 1992294400 4194304 7136930 140733656681568 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12351/statm: 247206 243556 394 719 0 246485 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 988824 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12381 /proc/meminfo: memFree=799460/2059040 swapFree=4168596/4192956 [pid=12351] ppid=12349 vsize=1054376 CPUtime=941.93 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 11880 0 -1 4202496 265074 0 0 0 88862 5331 0 0 25 0 1 0 6112991 1079681024 260274 1992294400 4194304 7136930 140733656681568 18446744073709551615 4660006 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12351/statm: 263594 260274 394 719 0 262873 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 1054376 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12383 /proc/meminfo: memFree=723944/2059040 swapFree=4168596/4192956 [pid=12351] ppid=12349 vsize=1126584 CPUtime=1001.91 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 11880 0 -1 4202496 283474 0 0 0 94483 5708 0 0 25 0 1 0 6112991 1153622016 278674 1992294400 4194304 7136930 140733656681568 18446744073709551615 5908951 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12351/statm: 281646 278674 394 719 0 280925 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 1126584 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12385 /proc/meminfo: memFree=636152/2059040 swapFree=4168596/4192956 [pid=12351] ppid=12349 vsize=1212832 CPUtime=1061.88 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 11880 0 -1 4202496 305552 0 0 0 100085 6103 0 0 25 0 1 0 6112991 1241939968 300752 1992294400 4194304 7136930 140733656681568 18446744073709551615 5908968 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12351/statm: 303208 300752 394 719 0 302487 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 1212832 [startup+1122.3 s] /proc/loadavg: 1.08 1.02 1.01 2/107 12385 /proc/meminfo: memFree=555924/2059040 swapFree=4168596/4192956 [pid=12351] ppid=12349 vsize=1290308 CPUtime=1121.86 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 11880 0 -1 4202496 325377 0 0 0 105707 6479 0 0 25 0 1 0 6112991 1321275392 320577 1992294400 4194304 7136930 140733656681568 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12351/statm: 322577 320577 394 719 0 321856 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 1290308 [startup+1182.3 s] /proc/loadavg: 1.03 1.01 1.00 2/107 12387 /proc/meminfo: memFree=476812/2059040 swapFree=4168596/4192956 [pid=12351] ppid=12349 vsize=1367972 CPUtime=1181.84 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 11880 0 -1 4202496 345230 0 0 0 111328 6856 0 0 25 0 1 0 6112991 1400803328 340430 1992294400 4194304 7136930 140733656681568 18446744073709551615 4981607 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12351/statm: 341993 340430 394 719 0 341272 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 1367972 [startup+1242.3 s] /proc/loadavg: 1.01 1.00 1.00 2/107 12389 /proc/meminfo: memFree=569564/2059040 swapFree=4168596/4192956 [pid=12351] ppid=12349 vsize=1260816 CPUtime=1241.82 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 11880 0 -1 4202496 369996 0 0 0 116937 7245 0 0 25 0 1 0 6112991 1291075584 314374 1992294400 4194304 7136930 140733656681568 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12351/statm: 315204 314374 395 719 0 314483 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 1260816 Solver just ended. Dumping a history of the last processes samples [startup+1247.9 s] /proc/loadavg: 1.01 1.00 1.00 2/107 12389 /proc/meminfo: memFree=582956/2059040 swapFree=4168596/4192956 [pid=12351] ppid=12349 vsize=1256828 CPUtime=1247.41 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 11880 0 -1 4202496 369996 0 0 0 117446 7295 0 0 25 0 1 0 6112991 1286991872 313377 1992294400 4194304 7136930 140733656681568 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12351/statm: 314207 313377 395 719 0 313486 0 Current children cumulated CPU time (s) 1247.41 Current children cumulated vsize (KiB) 1256828 [startup+1251.1 s] /proc/loadavg: 1.01 1.00 1.00 2/107 12389 /proc/meminfo: memFree=584692/2059040 swapFree=4168596/4192956 [pid=12351] ppid=12349 vsize=1254756 CPUtime=1250.61 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 11880 0 -1 4202496 369996 0 0 0 117736 7325 0 0 25 0 1 0 6112991 1284870144 312859 1992294400 4194304 7136930 140733656681568 18446744073709551615 6165594 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12351/statm: 313689 312859 395 719 0 312968 0 Current children cumulated CPU time (s) 1250.61 Current children cumulated vsize (KiB) 1254756 [startup+1254.3 s] /proc/loadavg: 1.01 1.00 1.00 2/107 12389 /proc/meminfo: memFree=622512/2059040 swapFree=4168596/4192956 [pid=12351] ppid=12349 vsize=1192596 CPUtime=1253.81 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 11880 0 -1 4202496 369996 0 0 0 118039 7342 0 0 25 0 1 0 6112991 1221218304 297319 1992294400 4194304 7136930 140733656681568 18446744073709551615 6165759 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12351/statm: 298149 297319 395 719 0 297428 0 Current children cumulated CPU time (s) 1253.81 Current children cumulated vsize (KiB) 1192596 [startup+1255.11 s] /proc/loadavg: 1.01 1.00 1.00 2/107 12389 /proc/meminfo: memFree=655620/2059040 swapFree=4168596/4192956 [pid=12351] ppid=12349 vsize=1184244 CPUtime=1254.62 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 11880 0 -1 4202496 369996 0 0 0 118114 7348 0 0 25 0 1 0 6112991 1212665856 295231 1992294400 4194304 7136930 140733656681568 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12351/statm: 296061 295231 395 719 0 295340 0 Current children cumulated CPU time (s) 1254.62 Current children cumulated vsize (KiB) 1184244 [startup+1255.5 s] /proc/loadavg: 1.01 1.00 1.00 2/107 12389 /proc/meminfo: memFree=655620/2059040 swapFree=4168596/4192956 [pid=12351] ppid=12349 vsize=1115796 CPUtime=1255.02 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 11880 0 -1 4202496 369996 0 0 0 118152 7350 0 0 25 0 1 0 6112991 1142575104 278119 1992294400 4194304 7136930 140733656681568 18446744073709551615 6165759 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12351/statm: 278949 278119 395 719 0 278228 0 Current children cumulated CPU time (s) 1255.02 Current children cumulated vsize (KiB) 1115796 [startup+1255.9 s] /proc/loadavg: 1.01 1.00 1.00 2/107 12389 /proc/meminfo: memFree=655620/2059040 swapFree=4168596/4192956 [pid=12351] ppid=12349 vsize=59016 CPUtime=1255.41 /proc/12351/stat : 12351 (pbscip.linux.x8) R 12349 12351 11880 0 -1 4202496 370002 0 0 0 118179 7362 0 0 25 0 1 0 6112991 60432384 14213 1992294400 4194304 7136930 140733656681568 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12351/statm: 14754 13957 401 719 0 14033 0 Current children cumulated CPU time (s) 1255.41 Current children cumulated vsize (KiB) 59016 Child status: 0 Real time (s): 1255.91 CPU time (s): 1255.43 CPU user time (s): 1181.79 CPU system time (s): 73.6358 CPU usage (%): 99.9617 Max. virtual memory (cumulated for all children) (KiB): 1454260 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1181.79 system time used= 73.6358 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 370008 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= 4 involuntary context switches= 1446 runsolver used 2.03469 second user time and 5.99109 second system time The end
Begin job on node055 at 2010-06-16 02:30:20 IDJOB=2663613 IDBENCH=47986 IDSOLVER=1167 FILE ID=node055/2663613-1276648220 PBS_JOBID= 11172450 Free space on /tmp= 62480 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=137-P1=101-P2=5-P3=409-P4=419-P5=401-P6=61-P7=239-B.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-2663613-1276648220/watcher-2663613-1276648220 -o /tmp/evaluation-result-2663613-1276648220/solver-2663613-1276648220 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663613-1276648220.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e808e428ddeed4827e7f6cc4dcf60aa4 RANDOM SEED=763500497 node055.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.258 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.51 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.258 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1841968 kB Buffers: 18392 kB Cached: 98372 kB SwapCached: 1472 kB Active: 89060 kB Inactive: 64112 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1841968 kB SwapTotal: 4192956 kB SwapFree: 4168596 kB Dirty: 3244 kB Writeback: 0 kB AnonPages: 35052 kB Mapped: 15112 kB Slab: 42120 kB PageTables: 4056 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183048 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= 62476 MiB End job on node055 at 2010-06-16 02:51:17