0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
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-2704566-1278562457.opb>
0.00/0.01 c original problem has 61 variables (61 bin, 0 int, 0 impl, 0 cont) and 15 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 1 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.01/0.02 c (round 2) 1 del vars, 8 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.01/0.02 c presolving (3 rounds):
0.01/0.02 c 1 deleted vars, 8 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.01/0.02 c 0 implications, 0 cliques
0.01/0.02 c presolved problem has 60 variables (60 bin, 0 int, 0 impl, 0 cont) and 7 constraints
0.01/0.02 c 7 constraints of type <linear>
0.01/0.02 c transformed objective value is always integral (scale: 1)
0.01/0.02 c Presolving Time: 0.01
0.01/0.02 c - non default parameters ----------------------------------------------------------------------
0.01/0.02 c # SCIP version 1.2.1.3
0.01/0.02 c
0.01/0.02 c # frequency for displaying node information lines
0.01/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.02 c display/freq = 10000
0.01/0.02 c
0.01/0.02 c # maximal time in seconds to run
0.01/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.02 c limits/time = 1790
0.01/0.02 c
0.01/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.02 c limits/memory = 1620
0.01/0.02 c
0.01/0.02 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.01/0.02 c # [type: int, range: [1,2], default: 1]
0.01/0.02 c timing/clocktype = 2
0.01/0.02 c
0.01/0.02 c # should presolving try to simplify inequalities
0.01/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.02 c constraints/linear/simplifyinequalities = TRUE
0.01/0.02 c
0.01/0.02 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.01/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.02 c constraints/indicator/addCouplingCons = TRUE
0.01/0.02 c
0.01/0.02 c # should presolving try to simplify knapsacks
0.01/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.01/0.02 c
0.01/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.02 c separating/rapidlearning/freq = 0
0.01/0.02 c
0.01/0.02 c -----------------------------------------------------------------------------------------------
0.01/0.02 c start solving
0.01/0.02 c
0.01/0.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.01/0.03 c 0.0s| 1 | 0 | 40 | - | 322k| 0 | 7 | 60 | 7 | 60 | 7 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.14 c 0.1s| 1 | 0 | 142 | - | 366k| 0 | 11 | 60 | 9 | 60 | 13 | 6 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.14 c 0.1s| 1 | 0 | 151 | - | 392k| 0 | 12 | 60 | 9 | 60 | 16 | 9 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.15 c 0.1s| 1 | 0 | 158 | - | 411k| 0 | 15 | 60 | 9 | 60 | 19 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.16 c 0.2s| 1 | 0 | 167 | - | 430k| 0 | 16 | 60 | 9 | 60 | 21 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.18 c 0.2s| 1 | 0 | 171 | - | 444k| 0 | 18 | 60 | 9 | 60 | 23 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 c 0.2s| 1 | 0 | 182 | - | 452k| 0 | 17 | 60 | 9 | 60 | 25 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.23 c 0.2s| 1 | 2 | 182 | - | 452k| 0 | 17 | 60 | 9 | 60 | 25 | 18 | 0 | 9 | 0.000000e+00 | -- | Inf
3.79/3.88 c 3.9s| 10000 | 5900 | 28000 | 2.8 |4302k| 52 | 7 | 60 |2575 | 60 | 17 | 18 |2857 | 612 | 0.000000e+00 | -- | Inf
7.88/7.92 c 7.9s| 20000 | 10948 | 54594 | 2.7 |6969k| 53 | - | 60 |2299 | 60 | 17 | 18 |6088 | 804 | 0.000000e+00 | -- | Inf
11.69/11.72 c 11.7s| 30000 | 15340 | 82277 | 2.7 |9472k| 53 | 7 | 60 |2255 | 60 | 17 | 18 |9791 | 959 | 0.000000e+00 | -- | Inf
15.39/15.47 c 15.5s| 40000 | 19991 |109578 | 2.7 | 12M| 53 | 7 | 60 |2330 | 60 | 17 | 18 | 13k|1085 | 0.000000e+00 | -- | Inf
19.18/19.28 c 19.3s| 50000 | 24613 |136694 | 2.7 | 14M| 53 | 7 | 60 |2429 | 60 | 17 | 18 | 16k|1196 | 0.000000e+00 | -- | Inf
23.18/23.22 c 23.2s| 60000 | 28902 |164150 | 2.7 | 17M| 53 | - | 60 |2921 | 60 | 17 | 18 | 20k|1297 | 0.000000e+00 | -- | Inf
27.18/27.21 c 27.2s| 70000 | 33262 |192215 | 2.7 | 19M| 53 | - | 60 |3114 | 60 | 17 | 18 | 23k|1389 | 0.000000e+00 | -- | Inf
31.18/31.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.18/31.29 c 31.3s| 80000 | 37480 |219277 | 2.7 | 22M| 53 | - | 60 |3116 | 60 | 17 | 18 | 27k|1468 | 0.000000e+00 | -- | Inf
35.19/35.29 c 35.3s| 90000 | 41844 |246237 | 2.7 | 24M| 53 | 7 | 60 |3307 | 60 | 17 | 18 | 31k|1540 | 0.000000e+00 | -- | Inf
39.38/39.41 c 39.4s|100000 | 46186 |273742 | 2.7 | 27M| 53 | - | 60 |3317 | 60 | 17 | 18 | 34k|1613 | 0.000000e+00 | -- | Inf
43.58/43.64 c 43.6s|110000 | 50300 |301515 | 2.7 | 29M| 53 | 7 | 60 |3407 | 60 | 17 | 18 | 38k|1684 | 0.000000e+00 | -- | Inf
47.67/47.73 c 47.7s|120000 | 54705 |328723 | 2.7 | 32M| 53 | 7 | 60 |3605 | 60 | 17 | 18 | 42k|1740 | 0.000000e+00 | -- | Inf
51.98/52.02 c 52.0s|130000 | 58798 |356512 | 2.7 | 34M| 53 | 7 | 60 |3869 | 60 | 17 | 18 | 45k|1797 | 0.000000e+00 | -- | Inf
56.08/56.15 c 56.1s|140000 | 62885 |384072 | 2.7 | 37M| 53 | 7 | 60 |4692 | 60 | 17 | 18 | 49k|1842 | 0.000000e+00 | -- | Inf
60.58/60.67 c 60.7s|150000 | 67021 |411569 | 2.7 | 39M| 53 | - | 60 |4185 | 60 | 17 | 18 | 53k|1890 | 0.000000e+00 | -- | Inf
64.88/64.99 c 65.0s|160000 | 71426 |438182 | 2.7 | 42M| 53 | - | 60 |4167 | 60 | 17 | 18 | 57k|1929 | 0.000000e+00 | -- | Inf
69.37/69.46 c 69.5s|170000 | 75534 |465655 | 2.7 | 44M| 53 | - | 60 |3693 | 60 | 17 | 18 | 60k|1979 | 0.000000e+00 | -- | Inf
73.37/73.46 c 73.5s|180000 | 80028 |492366 | 2.7 | 47M| 53 | 7 | 60 |4458 | 60 | 17 | 18 | 64k|2011 | 0.000000e+00 | -- | Inf
77.97/78.00 c 78.0s|190000 | 83924 |519850 | 2.7 | 49M| 53 | 7 | 60 |4282 | 60 | 17 | 18 | 68k|2042 | 0.000000e+00 | -- | Inf
82.38/82.43 c 82.4s|200000 | 88031 |546711 | 2.7 | 52M| 53 | 7 | 60 |4226 | 60 | 17 | 18 | 72k|2083 | 0.000000e+00 | -- | Inf
86.77/86.81 c 86.8s|210000 | 92273 |574187 | 2.7 | 54M| 53 | - | 60 |4303 | 60 | 17 | 18 | 75k|2116 | 0.000000e+00 | -- | Inf
91.36/91.45 c 91.4s|220000 | 96202 |601596 | 2.7 | 56M| 53 | 7 | 60 |4295 | 60 | 17 | 18 | 79k|2159 | 0.000000e+00 | -- | Inf
95.86/95.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
95.86/95.99 c 96.0s|230000 |100388 |629717 | 2.7 | 59M| 53 | - | 60 |4749 | 60 | 17 | 18 | 83k|2197 | 0.000000e+00 | -- | Inf
100.36/100.47 c 100s|240000 |104590 |657169 | 2.7 | 62M| 54 | - | 60 |5075 | 60 | 17 | 18 | 87k|2228 | 0.000000e+00 | -- | Inf
105.16/105.25 c 105s|250000 |108642 |683945 | 2.7 | 64M| 54 | - | 60 |4719 | 60 | 17 | 18 | 90k|2256 | 0.000000e+00 | -- | Inf
109.87/109.94 c 110s|260000 |112670 |711225 | 2.7 | 66M| 54 | - | 60 |4158 | 60 | 17 | 18 | 94k|2280 | 0.000000e+00 | -- | Inf
114.46/114.56 c 115s|270000 |116499 |738795 | 2.7 | 69M| 54 | 7 | 60 |4632 | 60 | 17 | 18 | 98k|2307 | 0.000000e+00 | -- | Inf
118.96/119.06 c 119s|280000 |120686 |766647 | 2.7 | 71M| 54 | 7 | 60 |4774 | 60 | 17 | 18 | 102k|2329 | 0.000000e+00 | -- | Inf
123.55/123.68 c 124s|290000 |124887 |793695 | 2.7 | 74M| 54 | 7 | 60 |4607 | 60 | 17 | 18 | 106k|2351 | 0.000000e+00 | -- | Inf
128.25/128.38 c 128s|300000 |128935 |821162 | 2.7 | 76M| 54 | 7 | 60 |4496 | 60 | 17 | 18 | 109k|2378 | 0.000000e+00 | -- | Inf
132.75/132.87 c 133s|310000 |133105 |848225 | 2.7 | 78M| 54 | - | 60 |4772 | 60 | 17 | 18 | 113k|2411 | 0.000000e+00 | -- | Inf
137.65/137.75 c 138s|320000 |137059 |875331 | 2.7 | 81M| 54 | - | 60 |4497 | 60 | 17 | 18 | 117k|2445 | 0.000000e+00 | -- | Inf
142.35/142.43 c 142s|330000 |141026 |902890 | 2.7 | 83M| 54 | 7 | 60 |4826 | 60 | 17 | 18 | 121k|2466 | 0.000000e+00 | -- | Inf
147.36/147.47 c 147s|340000 |145022 |929773 | 2.7 | 86M| 54 | 7 | 60 |4643 | 60 | 17 | 18 | 125k|2485 | 0.000000e+00 | -- | Inf
152.05/152.15 c 152s|350000 |149073 |957153 | 2.7 | 88M| 54 | - | 60 |4900 | 60 | 17 | 18 | 129k|2518 | 0.000000e+00 | -- | Inf
156.94/157.09 c 157s|360000 |153121 |983942 | 2.7 | 90M| 54 | 7 | 60 |4579 | 60 | 17 | 18 | 132k|2545 | 0.000000e+00 | -- | Inf
161.85/161.99 c 162s|370000 |157015 | 1011k| 2.7 | 93M| 54 | 7 | 60 |4636 | 60 | 17 | 18 | 136k|2570 | 0.000000e+00 | -- | Inf
166.55/166.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
166.55/166.66 c 167s|380000 |161076 | 1038k| 2.7 | 95M| 54 | 7 | 60 |5076 | 60 | 17 | 18 | 140k|2593 | 0.000000e+00 | -- | Inf
171.45/171.51 c 172s|390000 |165108 | 1066k| 2.7 | 98M| 54 | 7 | 60 |5143 | 60 | 17 | 18 | 144k|2624 | 0.000000e+00 | -- | Inf
176.54/176.68 c 177s|400000 |169149 | 1093k| 2.7 | 100M| 54 | 7 | 60 |4623 | 60 | 17 | 18 | 148k|2649 | 0.000000e+00 | -- | Inf
181.54/181.64 c 182s|410000 |172996 | 1120k| 2.7 | 102M| 54 | 7 | 60 |4510 | 60 | 17 | 18 | 151k|2676 | 0.000000e+00 | -- | Inf
186.64/186.76 c 187s|420000 |176822 | 1147k| 2.7 | 105M| 54 | 7 | 60 |4584 | 60 | 17 | 18 | 155k|2701 | 0.000000e+00 | -- | Inf
191.34/191.46 c 191s|430000 |180811 | 1175k| 2.7 | 107M| 54 | 7 | 60 |5335 | 60 | 17 | 18 | 159k|2719 | 0.000000e+00 | -- | Inf
196.24/196.35 c 196s|440000 |184725 | 1202k| 2.7 | 110M| 54 | 7 | 60 |5118 | 60 | 17 | 18 | 163k|2741 | 0.000000e+00 | -- | Inf
201.24/201.38 c 201s|450000 |188648 | 1229k| 2.7 | 112M| 54 | - | 60 |4966 | 60 | 17 | 18 | 167k|2767 | 0.000000e+00 | -- | Inf
206.03/206.10 c 206s|460000 |192678 | 1256k| 2.7 | 114M| 54 | - | 60 |5129 | 60 | 17 | 18 | 171k|2798 | 0.000000e+00 | -- | Inf
210.93/211.03 c 211s|470000 |196770 | 1283k| 2.7 | 117M| 54 | - | 60 |4932 | 60 | 17 | 18 | 175k|2819 | 0.000000e+00 | -- | Inf
216.03/216.16 c 216s|480000 |200591 | 1311k| 2.7 | 119M| 54 | 7 | 60 |4983 | 60 | 17 | 18 | 179k|2840 | 0.000000e+00 | -- | Inf
220.94/221.10 c 221s|490000 |204586 | 1338k| 2.7 | 122M| 54 | 7 | 60 |4979 | 60 | 17 | 18 | 182k|2861 | 0.000000e+00 | -- | Inf
226.23/226.32 c 226s|500000 |208411 | 1365k| 2.7 | 124M| 54 | 7 | 60 |4733 | 60 | 17 | 18 | 186k|2881 | 0.000000e+00 | -- | Inf
230.93/231.01 c 231s|510000 |212231 | 1393k| 2.7 | 126M| 54 | - | 60 |5428 | 60 | 17 | 18 | 190k|2906 | 0.000000e+00 | -- | Inf
236.03/236.11 c 236s|520000 |215961 | 1421k| 2.7 | 129M| 54 | 7 | 60 |5099 | 60 | 17 | 18 | 194k|2928 | 0.000000e+00 | -- | Inf
241.02/241.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
241.02/241.10 c 241s|530000 |219748 | 1449k| 2.7 | 131M| 54 | 7 | 60 |4963 | 60 | 17 | 18 | 198k|2956 | 0.000000e+00 | -- | Inf
245.82/245.98 c 246s|540000 |223592 | 1476k| 2.7 | 133M| 54 | - | 60 |5005 | 60 | 17 | 18 | 202k|2974 | 0.000000e+00 | -- | Inf
250.73/250.83 c 251s|550000 |227621 | 1503k| 2.7 | 136M| 54 | 7 | 60 |5274 | 60 | 17 | 18 | 206k|2990 | 0.000000e+00 | -- | Inf
255.72/255.89 c 256s|560000 |231590 | 1531k| 2.7 | 138M| 54 | 7 | 60 |4909 | 60 | 17 | 18 | 210k|3010 | 0.000000e+00 | -- | Inf
260.82/260.97 c 261s|570000 |235516 | 1557k| 2.7 | 141M| 54 | - | 60 |5011 | 60 | 17 | 18 | 214k|3036 | 0.000000e+00 | -- | Inf
265.81/265.91 c 266s|580000 |239500 | 1585k| 2.7 | 143M| 54 | 7 | 60 |4970 | 60 | 17 | 18 | 218k|3057 | 0.000000e+00 | -- | Inf
270.62/270.75 c 271s|590000 |243318 | 1612k| 2.7 | 145M| 54 | 7 | 60 |5011 | 60 | 17 | 18 | 222k|3075 | 0.000000e+00 | -- | Inf
275.51/275.62 c 276s|600000 |247340 | 1639k| 2.7 | 148M| 54 | 7 | 60 |4691 | 60 | 17 | 18 | 225k|3089 | 0.000000e+00 | -- | Inf
280.21/280.34 c 280s|610000 |251320 | 1666k| 2.7 | 150M| 54 | 7 | 60 |5004 | 60 | 17 | 18 | 229k|3107 | 0.000000e+00 | -- | Inf
285.00/285.12 c 285s|620000 |255394 | 1693k| 2.7 | 153M| 54 | - | 60 |5207 | 60 | 17 | 18 | 233k|3121 | 0.000000e+00 | -- | Inf
290.11/290.23 c 290s|630000 |259301 | 1721k| 2.7 | 155M| 54 | 7 | 60 |5158 | 60 | 17 | 18 | 237k|3140 | 0.000000e+00 | -- | Inf
294.91/295.07 c 295s|640000 |263237 | 1748k| 2.7 | 157M| 54 | 7 | 60 |5658 | 60 | 17 | 18 | 241k|3156 | 0.000000e+00 | -- | Inf
300.11/300.30 c 300s|650000 |266971 | 1775k| 2.7 | 160M| 54 | 7 | 60 |5128 | 60 | 17 | 18 | 245k|3177 | 0.000000e+00 | -- | Inf
305.20/305.34 c 305s|660000 |270819 | 1802k| 2.7 | 162M| 54 | 7 | 60 |5347 | 60 | 17 | 18 | 249k|3188 | 0.000000e+00 | -- | Inf
310.10/310.29 c 310s|670000 |274594 | 1830k| 2.7 | 165M| 54 | - | 60 |5359 | 60 | 17 | 18 | 253k|3207 | 0.000000e+00 | -- | Inf
314.50/314.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
314.50/314.61 c 315s|680000 |278817 | 1857k| 2.7 | 167M| 54 | 7 | 60 |5815 | 60 | 17 | 18 | 257k|3207 | 0.000000e+00 | -- | Inf
319.29/319.42 c 319s|690000 |282718 | 1884k| 2.7 | 170M| 54 | 7 | 60 |5701 | 60 | 17 | 18 | 261k|3210 | 0.000000e+00 | -- | Inf
324.49/324.60 c 325s|700000 |286605 | 1912k| 2.7 | 172M| 54 | 7 | 60 |5349 | 60 | 17 | 18 | 265k|3222 | 0.000000e+00 | -- | Inf
329.19/329.33 c 329s|710000 |290420 | 1940k| 2.7 | 175M| 54 | - | 60 |6200 | 60 | 17 | 18 | 269k|3241 | 0.000000e+00 | -- | Inf
334.89/335.09 c 335s|720000 |294049 | 1967k| 2.7 | 177M| 54 | - | 60 |5121 | 60 | 17 | 18 | 273k|3262 | 0.000000e+00 | -- | Inf
339.39/339.55 c 340s|730000 |298470 | 1995k| 2.7 | 179M| 54 | - | 60 |5672 | 60 | 17 | 18 | 276k|3273 | 0.000000e+00 | -- | Inf
344.38/344.59 c 345s|740000 |302434 | 2022k| 2.7 | 182M| 54 | 7 | 60 |5844 | 60 | 17 | 18 | 280k|3289 | 0.000000e+00 | -- | Inf
349.69/349.86 c 350s|750000 |306229 | 2050k| 2.7 | 184M| 54 | - | 60 |5933 | 60 | 17 | 18 | 284k|3303 | 0.000000e+00 | -- | Inf
355.09/355.23 c 355s|760000 |310050 | 2077k| 2.7 | 186M| 54 | 7 | 60 |6100 | 60 | 17 | 18 | 288k|3319 | 0.000000e+00 | -- | Inf
360.27/360.50 c 360s|770000 |314011 | 2104k| 2.7 | 189M| 54 | - | 60 |5684 | 60 | 17 | 18 | 292k|3337 | 0.000000e+00 | -- | Inf
366.08/366.23 c 366s|780000 |317628 | 2131k| 2.7 | 191M| 54 | 7 | 60 |5553 | 60 | 17 | 18 | 296k|3353 | 0.000000e+00 | -- | Inf
371.27/371.41 c 371s|790000 |321259 | 2158k| 2.7 | 193M| 54 | 7 | 60 |5901 | 60 | 17 | 18 | 300k|3372 | 0.000000e+00 | -- | Inf
376.57/376.79 c 377s|800000 |325184 | 2186k| 2.7 | 196M| 54 | - | 60 |5618 | 60 | 17 | 18 | 304k|3385 | 0.000000e+00 | -- | Inf
382.07/382.20 c 382s|810000 |329031 | 2213k| 2.7 | 198M| 54 | 7 | 60 |5600 | 60 | 17 | 18 | 308k|3399 | 0.000000e+00 | -- | Inf
387.17/387.39 c 387s|820000 |332828 | 2240k| 2.7 | 201M| 54 | 7 | 60 |5891 | 60 | 17 | 18 | 312k|3420 | 0.000000e+00 | -- | Inf
392.97/393.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
392.97/393.11 c 393s|830000 |336551 | 2267k| 2.7 | 203M| 54 | 7 | 60 |5372 | 60 | 17 | 18 | 316k|3435 | 0.000000e+00 | -- | Inf
398.08/398.25 c 398s|840000 |340510 | 2294k| 2.7 | 205M| 54 | - | 60 |5640 | 60 | 17 | 18 | 320k|3446 | 0.000000e+00 | -- | Inf
403.86/404.04 c 404s|850000 |344171 | 2321k| 2.7 | 207M| 54 | 7 | 60 |5749 | 60 | 17 | 18 | 324k|3463 | 0.000000e+00 | -- | Inf
409.17/409.33 c 409s|860000 |348066 | 2348k| 2.7 | 210M| 54 | 7 | 60 |6091 | 60 | 17 | 18 | 328k|3478 | 0.000000e+00 | -- | Inf
414.57/414.75 c 415s|870000 |351973 | 2376k| 2.7 | 212M| 54 | 7 | 60 |5838 | 60 | 17 | 18 | 332k|3495 | 0.000000e+00 | -- | Inf
419.66/419.86 c 420s|880000 |355895 | 2404k| 2.7 | 215M| 54 | 7 | 60 |6462 | 60 | 17 | 18 | 335k|3508 | 0.000000e+00 | -- | Inf
424.96/425.12 c 425s|890000 |359851 | 2431k| 2.7 | 217M| 54 | 7 | 60 |6225 | 60 | 17 | 18 | 339k|3528 | 0.000000e+00 | -- | Inf
430.65/430.80 c 431s|900000 |363603 | 2458k| 2.7 | 219M| 54 | - | 60 |5768 | 60 | 17 | 18 | 343k|3544 | 0.000000e+00 | -- | Inf
436.35/436.51 c 436s|910000 |367247 | 2486k| 2.7 | 222M| 54 | 7 | 60 |5852 | 60 | 17 | 18 | 347k|3561 | 0.000000e+00 | -- | Inf
442.36/442.51 c 443s|920000 |370807 | 2513k| 2.7 | 224M| 54 | - | 60 |5381 | 60 | 17 | 18 | 351k|3578 | 0.000000e+00 | -- | Inf
447.85/448.01 c 448s|930000 |374506 | 2540k| 2.7 | 226M| 54 | 7 | 60 |5562 | 60 | 17 | 18 | 355k|3589 | 0.000000e+00 | -- | Inf
453.06/453.25 c 453s|940000 |378300 | 2568k| 2.7 | 229M| 54 | 7 | 60 |5755 | 60 | 17 | 18 | 359k|3603 | 0.000000e+00 | -- | Inf
458.75/458.96 c 459s|950000 |381803 | 2595k| 2.7 | 231M| 54 | 7 | 60 |5739 | 60 | 17 | 18 | 364k|3621 | 0.000000e+00 | -- | Inf
463.65/463.83 c 464s|960000 |385923 | 2622k| 2.7 | 234M| 54 | 7 | 60 |6379 | 60 | 17 | 18 | 367k|3637 | 0.000000e+00 | -- | Inf
469.25/469.49 c 469s|970000 |389572 | 2649k| 2.7 | 236M| 54 | 7 | 60 |5681 | 60 | 17 | 18 | 371k|3650 | 0.000000e+00 | -- | Inf
474.54/474.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
474.54/474.76 c 475s|980000 |393282 | 2677k| 2.7 | 238M| 54 | - | 60 |6306 | 60 | 17 | 18 | 375k|3664 | 0.000000e+00 | -- | Inf
479.94/480.11 c 480s|990000 |396914 | 2705k| 2.7 | 241M| 54 | 7 | 60 |6675 | 60 | 17 | 18 | 380k|3677 | 0.000000e+00 | -- | Inf
485.44/485.68 c 486s| 1000k|400528 | 2732k| 2.7 | 243M| 54 | 7 | 60 |6182 | 60 | 17 | 18 | 384k|3695 | 0.000000e+00 | -- | Inf
491.04/491.21 c 491s| 1010k|404231 | 2759k| 2.7 | 245M| 54 | 7 | 60 |6357 | 60 | 17 | 18 | 388k|3707 | 0.000000e+00 | -- | Inf
496.84/497.03 c 497s| 1020k|407732 | 2787k| 2.7 | 248M| 54 | - | 60 |5969 | 60 | 17 | 18 | 392k|3724 | 0.000000e+00 | -- | Inf
502.23/502.45 c 502s| 1030k|411394 | 2814k| 2.7 | 250M| 54 | 7 | 60 |5727 | 60 | 17 | 18 | 396k|3740 | 0.000000e+00 | -- | Inf
507.74/507.93 c 508s| 1040k|414923 | 2842k| 2.7 | 252M| 54 | 7 | 60 |6404 | 60 | 17 | 18 | 400k|3749 | 0.000000e+00 | -- | Inf
513.23/513.48 c 513s| 1050k|418660 | 2869k| 2.7 | 255M| 54 | 7 | 60 |6373 | 60 | 17 | 18 | 404k|3758 | 0.000000e+00 | -- | Inf
518.53/518.79 c 519s| 1060k|422465 | 2896k| 2.7 | 257M| 54 | 7 | 60 |6769 | 60 | 17 | 18 | 408k|3772 | 0.000000e+00 | -- | Inf
524.33/524.58 c 525s| 1070k|426177 | 2923k| 2.7 | 259M| 54 | 7 | 60 |6143 | 60 | 17 | 18 | 412k|3784 | 0.000000e+00 | -- | Inf
529.72/529.92 c 530s| 1080k|429865 | 2951k| 2.7 | 262M| 54 | - | 60 |6750 | 60 | 17 | 18 | 416k|3799 | 0.000000e+00 | -- | Inf
535.54/535.74 c 536s| 1090k|433591 | 2979k| 2.7 | 264M| 54 | - | 60 |6167 | 60 | 17 | 18 | 420k|3818 | 0.000000e+00 | -- | Inf
541.03/541.27 c 541s| 1100k|437157 | 3006k| 2.7 | 266M| 54 | 7 | 60 |6030 | 60 | 17 | 18 | 424k|3839 | 0.000000e+00 | -- | Inf
546.53/546.71 c 547s| 1110k|440952 | 3033k| 2.7 | 268M| 54 | 7 | 60 |6198 | 60 | 17 | 18 | 428k|3856 | 0.000000e+00 | -- | Inf
551.93/552.11 c 552s| 1120k|444662 | 3061k| 2.7 | 271M| 54 | - | 60 |6471 | 60 | 17 | 18 | 432k|3865 | 0.000000e+00 | -- | Inf
557.72/557.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
557.72/557.96 c 558s| 1130k|448160 | 3089k| 2.7 | 273M| 54 | - | 60 |6203 | 60 | 17 | 18 | 436k|3879 | 0.000000e+00 | -- | Inf
563.31/563.59 c 564s| 1140k|451667 | 3115k| 2.7 | 276M| 54 | - | 60 |6780 | 60 | 17 | 18 | 441k|3889 | 0.000000e+00 | -- | Inf
569.01/569.28 c 569s| 1150k|455408 | 3142k| 2.7 | 278M| 54 | - | 60 |6486 | 60 | 17 | 18 | 445k|3901 | 0.000000e+00 | -- | Inf
574.62/574.82 c 575s| 1160k|458922 | 3170k| 2.7 | 280M| 54 | 7 | 60 |6874 | 60 | 17 | 18 | 449k|3912 | 0.000000e+00 | -- | Inf
580.52/580.80 c 581s| 1170k|462614 | 3197k| 2.7 | 282M| 54 | 7 | 60 |6638 | 60 | 17 | 18 | 453k|3927 | 0.000000e+00 | -- | Inf
585.91/586.10 c 586s| 1180k|466519 | 3224k| 2.7 | 285M| 54 | 7 | 60 |7104 | 60 | 17 | 18 | 457k|3943 | 0.000000e+00 | -- | Inf
590.81/591.09 c 591s| 1190k|470489 | 3252k| 2.7 | 287M| 54 | 7 | 60 |7685 | 60 | 17 | 18 | 461k|3957 | 0.000000e+00 | -- | Inf
597.12/597.35 c 597s| 1200k|473949 | 3280k| 2.7 | 290M| 54 | - | 60 |6966 | 60 | 17 | 18 | 465k|3967 | 0.000000e+00 | -- | Inf
603.21/603.45 c 603s| 1210k|477516 | 3308k| 2.7 | 292M| 54 | - | 60 |6535 | 60 | 17 | 18 | 469k|3976 | 0.000000e+00 | -- | Inf
609.11/609.30 c 609s| 1220k|481313 | 3335k| 2.7 | 294M| 54 | - | 60 |6580 | 60 | 17 | 18 | 473k|3989 | 0.000000e+00 | -- | Inf
614.71/614.91 c 615s| 1230k|484964 | 3362k| 2.7 | 297M| 54 | 7 | 60 |7397 | 60 | 17 | 18 | 477k|4000 | 0.000000e+00 | -- | Inf
620.50/620.74 c 621s| 1240k|488591 | 3390k| 2.7 | 299M| 54 | 7 | 60 |7547 | 60 | 17 | 18 | 481k|4012 | 0.000000e+00 | -- | Inf
626.60/626.85 c 627s| 1250k|492227 | 3417k| 2.7 | 301M| 54 | 7 | 60 |6799 | 60 | 17 | 18 | 485k|4023 | 0.000000e+00 | -- | Inf
632.50/632.70 c 633s| 1260k|495738 | 3444k| 2.7 | 304M| 54 | 7 | 60 |7019 | 60 | 17 | 18 | 489k|4031 | 0.000000e+00 | -- | Inf
638.50/638.72 c 639s| 1270k|499379 | 3472k| 2.7 | 306M| 54 | 7 | 60 |6513 | 60 | 17 | 18 | 493k|4045 | 0.000000e+00 | -- | Inf
644.80/645.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
644.80/645.01 c 645s| 1280k|502896 | 3500k| 2.7 | 308M| 54 | - | 60 |6327 | 60 | 17 | 18 | 498k|4059 | 0.000000e+00 | -- | Inf
650.59/650.82 c 651s| 1290k|506550 | 3527k| 2.7 | 310M| 54 | 7 | 60 |6211 | 60 | 17 | 18 | 502k|4075 | 0.000000e+00 | -- | Inf
656.69/656.93 c 657s| 1300k|509905 | 3554k| 2.7 | 313M| 54 | 7 | 60 |6207 | 60 | 17 | 18 | 506k|4087 | 0.000000e+00 | -- | Inf
662.48/662.71 c 663s| 1310k|513430 | 3582k| 2.7 | 315M| 54 | 7 | 60 |6076 | 60 | 17 | 18 | 510k|4100 | 0.000000e+00 | -- | Inf
667.49/667.80 c 668s| 1320k|517444 | 3609k| 2.7 | 317M| 54 | 7 | 60 |6661 | 60 | 17 | 18 | 514k|4105 | 0.000000e+00 | -- | Inf
672.29/672.57 c 673s| 1330k|521507 | 3635k| 2.7 | 320M| 54 | 7 | 60 |7170 | 60 | 17 | 18 | 518k|4112 | 0.000000e+00 | -- | Inf
677.78/678.09 c 678s| 1340k|525031 | 3663k| 2.7 | 322M| 54 | 7 | 60 |7055 | 60 | 17 | 18 | 522k|4123 | 0.000000e+00 | -- | Inf
682.58/682.80 c 683s| 1350k|529349 | 3690k| 2.7 | 325M| 54 | 7 | 60 |7623 | 60 | 17 | 18 | 525k|4136 | 0.000000e+00 | -- | Inf
687.88/688.18 c 688s| 1360k|533216 | 3717k| 2.7 | 327M| 54 | - | 60 |8159 | 60 | 17 | 18 | 529k|4145 | 0.000000e+00 | -- | Inf
694.28/694.58 c 695s| 1370k|536713 | 3745k| 2.7 | 329M| 54 | 7 | 60 |6979 | 60 | 17 | 18 | 534k|4159 | 0.000000e+00 | -- | Inf
700.39/700.67 c 701s| 1380k|540345 | 3772k| 2.7 | 331M| 54 | - | 60 |5973 | 60 | 17 | 18 | 538k|4171 | 0.000000e+00 | -- | Inf
706.48/706.72 c 707s| 1390k|543917 | 3800k| 2.7 | 334M| 54 | - | 60 |5743 | 60 | 17 | 18 | 542k|4181 | 0.000000e+00 | -- | Inf
711.88/712.16 c 712s| 1400k|547480 | 3827k| 2.7 | 336M| 54 | - | 60 |6700 | 60 | 17 | 18 | 546k|4192 | 0.000000e+00 | -- | Inf
718.08/718.35 c 718s| 1410k|550796 | 3855k| 2.7 | 338M| 54 | 7 | 60 |6608 | 60 | 17 | 18 | 550k|4201 | 0.000000e+00 | -- | Inf
723.77/724.02 c 724s| 1420k|554441 | 3883k| 2.7 | 341M| 54 | 7 | 60 |6801 | 60 | 17 | 18 | 554k|4213 | 0.000000e+00 | -- | Inf
729.37/729.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
729.37/729.65 c 730s| 1430k|558150 | 3910k| 2.7 | 343M| 54 | 7 | 60 |6853 | 60 | 17 | 18 | 558k|4217 | 0.000000e+00 | -- | Inf
735.36/735.61 c 736s| 1440k|561637 | 3937k| 2.7 | 346M| 54 | 7 | 60 |6879 | 60 | 17 | 18 | 562k|4224 | 0.000000e+00 | -- | Inf
741.37/741.68 c 742s| 1450k|564970 | 3965k| 2.7 | 348M| 54 | - | 60 |6955 | 60 | 17 | 18 | 567k|4230 | 0.000000e+00 | -- | Inf
747.56/747.85 c 748s| 1460k|568369 | 3993k| 2.7 | 350M| 54 | - | 60 |7016 | 60 | 17 | 18 | 571k|4240 | 0.000000e+00 | -- | Inf
752.66/752.93 c 753s| 1470k|572253 | 4020k| 2.7 | 353M| 54 | - | 60 |7992 | 60 | 17 | 18 | 575k|4251 | 0.000000e+00 | -- | Inf
759.26/759.51 c 760s| 1480k|575752 | 4048k| 2.7 | 355M| 54 | 7 | 60 |6783 | 60 | 17 | 18 | 579k|4257 | 0.000000e+00 | -- | Inf
765.16/765.46 c 765s| 1490k|579215 | 4076k| 2.7 | 357M| 54 | - | 60 |6974 | 60 | 17 | 18 | 583k|4267 | 0.000000e+00 | -- | Inf
771.87/772.12 c 772s| 1500k|582638 | 4103k| 2.7 | 359M| 54 | - | 60 |6315 | 0 | 0 | 18 | 587k|4272 | 0.000000e+00 | -- | Inf
777.36/777.69 c 778s| 1510k|586122 | 4130k| 2.7 | 362M| 54 | 7 | 60 |7249 | 60 | 17 | 18 | 591k|4280 | 0.000000e+00 | -- | Inf
783.75/784.04 c 784s| 1520k|589630 | 4158k| 2.7 | 364M| 54 | 7 | 60 |7116 | 60 | 17 | 18 | 596k|4286 | 0.000000e+00 | -- | Inf
789.85/790.18 c 790s| 1530k|593186 | 4184k| 2.7 | 366M| 54 | 7 | 60 |6474 | 60 | 17 | 18 | 600k|4299 | 0.000000e+00 | -- | Inf
795.24/795.51 c 796s| 1540k|596890 | 4211k| 2.7 | 369M| 54 | 7 | 60 |7107 | 60 | 17 | 18 | 604k|4312 | 0.000000e+00 | -- | Inf
801.65/801.95 c 802s| 1550k|600283 | 4239k| 2.7 | 371M| 54 | 7 | 60 |6345 | 60 | 17 | 18 | 608k|4321 | 0.000000e+00 | -- | Inf
807.65/807.96 c 808s| 1560k|603812 | 4266k| 2.7 | 373M| 54 | 7 | 60 |6494 | 60 | 17 | 18 | 612k|4331 | 0.000000e+00 | -- | Inf
814.15/814.41 c 814s| 1570k|607128 | 4294k| 2.7 | 375M| 54 | 7 | 60 |6161 | 60 | 17 | 18 | 616k|4343 | 0.000000e+00 | -- | Inf
820.04/820.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
820.04/820.38 c 820s| 1580k|610413 | 4322k| 2.7 | 378M| 54 | 7 | 60 |6493 | 60 | 17 | 18 | 621k|4354 | 0.000000e+00 | -- | Inf
825.84/826.18 c 826s| 1590k|614032 | 4351k| 2.7 | 380M| 54 | - | 60 |6825 | 60 | 17 | 18 | 625k|4363 | 0.000000e+00 | -- | Inf
832.35/832.60 c 833s| 1600k|617454 | 4378k| 2.7 | 382M| 54 | - | 60 |6326 | 60 | 17 | 18 | 629k|4374 | 0.000000e+00 | -- | Inf
837.84/838.19 c 838s| 1610k|620973 | 4406k| 2.7 | 384M| 54 | 7 | 60 |6872 | 60 | 17 | 18 | 633k|4387 | 0.000000e+00 | -- | Inf
844.03/844.37 c 844s| 1620k|624446 | 4434k| 2.7 | 387M| 54 | - | 60 |6658 | 60 | 17 | 18 | 637k|4397 | 0.000000e+00 | -- | Inf
848.73/849.07 c 849s| 1630k|628474 | 4461k| 2.7 | 389M| 54 | 7 | 60 |8420 | 60 | 17 | 18 | 641k|4405 | 0.000000e+00 | -- | Inf
854.63/854.90 c 855s| 1640k|631818 | 4487k| 2.7 | 392M| 54 | 7 | 60 |7829 | 60 | 17 | 18 | 646k|4405 | 0.000000e+00 | -- | Inf
860.83/861.16 c 861s| 1650k|635423 | 4514k| 2.7 | 394M| 54 | 7 | 60 |7410 | 60 | 17 | 18 | 650k|4405 | 0.000000e+00 | -- | Inf
867.02/867.35 c 867s| 1660k|638958 | 4542k| 2.7 | 396M| 54 | 7 | 60 |7127 | 60 | 17 | 18 | 654k|4405 | 0.000000e+00 | -- | Inf
873.42/873.76 c 874s| 1670k|642234 | 4569k| 2.7 | 399M| 54 | 7 | 60 |7319 | 60 | 17 | 18 | 658k|4405 | 0.000000e+00 | -- | Inf
879.32/879.64 c 880s| 1680k|645788 | 4597k| 2.7 | 401M| 54 | - | 60 |8143 | 60 | 17 | 18 | 662k|4405 | 0.000000e+00 | -- | Inf
885.32/885.70 c 886s| 1690k|649394 | 4625k| 2.7 | 403M| 54 | - | 60 |8097 | 60 | 17 | 18 | 666k|4405 | 0.000000e+00 | -- | Inf
892.22/892.52 c 893s| 1700k|652688 | 4653k| 2.7 | 405M| 54 | 7 | 60 |7454 | 60 | 17 | 18 | 671k|4405 | 0.000000e+00 | -- | Inf
898.62/898.90 c 899s| 1710k|656161 | 4680k| 2.7 | 408M| 54 | 7 | 60 |7042 | 60 | 17 | 18 | 675k|4405 | 0.000000e+00 | -- | Inf
904.61/904.92 c 905s| 1720k|659622 | 4708k| 2.7 | 410M| 54 | 7 | 60 |7424 | 60 | 17 | 18 | 679k|4405 | 0.000000e+00 | -- | Inf
909.21/909.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
909.21/909.50 c 909s| 1730k|664157 | 4734k| 2.7 | 413M| 54 | 7 | 60 |8610 | 60 | 17 | 18 | 683k|4405 | 0.000000e+00 | -- | Inf
914.11/914.47 c 914s| 1740k|668347 | 4759k| 2.7 | 415M| 54 | - | 60 |8631 | 60 | 17 | 18 | 686k|4405 | 0.000000e+00 | -- | Inf
920.71/921.03 c 921s| 1750k|671903 | 4786k| 2.7 | 417M| 54 | 7 | 60 |7572 | 60 | 17 | 18 | 690k|4405 | 0.000000e+00 | -- | Inf
927.30/927.61 c 928s| 1760k|675316 | 4814k| 2.7 | 419M| 54 | - | 60 |6721 | 60 | 17 | 18 | 695k|4405 | 0.000000e+00 | -- | Inf
932.90/933.25 c 933s| 1770k|679074 | 4842k| 2.7 | 422M| 54 | 7 | 60 |7402 | 60 | 17 | 18 | 699k|4405 | 0.000000e+00 | -- | Inf
937.61/937.96 c 938s| 1780k|683078 | 4869k| 2.7 | 425M| 54 | 7 | 60 |9364 | 60 | 17 | 18 | 703k|4405 | 0.000000e+00 | -- | Inf
942.80/943.19 c 943s| 1790k|686828 | 4897k| 2.7 | 427M| 54 | 7 | 60 | 10k| 60 | 17 | 18 | 707k|4405 | 0.000000e+00 | -- | Inf
949.60/949.97 c 950s| 1800k|690054 | 4926k| 2.7 | 430M| 54 | 7 | 60 |9844 | 60 | 17 | 18 | 711k|4405 | 0.000000e+00 | -- | Inf
955.70/956.02 c 956s| 1810k|693807 | 4954k| 2.7 | 432M| 54 | 7 | 60 |9035 | 60 | 17 | 18 | 715k|4409 | 0.000000e+00 | -- | Inf
962.39/962.70 c 963s| 1820k|697134 | 4981k| 2.7 | 434M| 54 | - | 60 |8249 | 60 | 17 | 18 | 719k|4421 | 0.000000e+00 | -- | Inf
967.60/967.90 c 968s| 1830k|700998 | 5008k| 2.7 | 436M| 54 | 7 | 60 |8132 | 60 | 17 | 18 | 723k|4424 | 0.000000e+00 | -- | Inf
973.69/974.03 c 974s| 1840k|704629 | 5035k| 2.7 | 438M| 54 | 7 | 60 |7890 | 60 | 17 | 18 | 727k|4430 | 0.000000e+00 | -- | Inf
980.09/980.46 c 980s| 1850k|708036 | 5063k| 2.7 | 441M| 54 | 7 | 60 |7548 | 60 | 17 | 18 | 732k|4437 | 0.000000e+00 | -- | Inf
986.59/986.91 c 987s| 1860k|711228 | 5091k| 2.7 | 443M| 54 | 7 | 60 |7615 | 60 | 17 | 18 | 736k|4444 | 0.000000e+00 | -- | Inf
992.59/992.93 c 993s| 1870k|714999 | 5118k| 2.7 | 445M| 54 | 7 | 60 |7633 | 60 | 17 | 18 | 740k|4449 | 0.000000e+00 | -- | Inf
998.68/999.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
998.68/999.02 c 999s| 1880k|718347 | 5145k| 2.7 | 448M| 54 | - | 60 |7924 | 60 | 17 | 18 | 744k|4453 | 0.000000e+00 | -- | Inf
1005.68/1006.06 c 1006s| 1890k|721559 | 5173k| 2.7 | 450M| 54 | 7 | 60 |7285 | 60 | 17 | 18 | 749k|4460 | 0.000000e+00 | -- | Inf
1011.27/1011.65 c 1012s| 1900k|724962 | 5201k| 2.7 | 452M| 54 | - | 60 |7988 | 60 | 17 | 18 | 753k|4471 | 0.000000e+00 | -- | Inf
1017.87/1018.22 c 1018s| 1910k|728181 | 5229k| 2.7 | 454M| 54 | 7 | 60 |7873 | 60 | 17 | 18 | 758k|4477 | 0.000000e+00 | -- | Inf
1024.48/1024.89 c 1025s| 1920k|731599 | 5256k| 2.7 | 457M| 54 | - | 60 |7718 | 60 | 17 | 18 | 762k|4483 | 0.000000e+00 | -- | Inf
1031.27/1031.64 c 1032s| 1930k|734919 | 5284k| 2.7 | 459M| 54 | 7 | 60 |7485 | 60 | 17 | 18 | 766k|4493 | 0.000000e+00 | -- | Inf
1036.87/1037.22 c 1037s| 1940k|738579 | 5311k| 2.7 | 461M| 54 | - | 60 |8418 | 60 | 17 | 18 | 770k|4503 | 0.000000e+00 | -- | Inf
1043.67/1044.04 c 1044s| 1950k|741860 | 5339k| 2.7 | 463M| 54 | 7 | 60 |7206 | 60 | 17 | 18 | 774k|4511 | 0.000000e+00 | -- | Inf
1048.67/1049.06 c 1049s| 1960k|745814 | 5367k| 2.7 | 466M| 54 | 7 | 60 |8213 | 60 | 17 | 18 | 778k|4517 | 0.000000e+00 | -- | Inf
1055.27/1055.61 c 1056s| 1970k|749313 | 5394k| 2.7 | 468M| 54 | 7 | 60 |7805 | 60 | 17 | 18 | 782k|4526 | 0.000000e+00 | -- | Inf
1061.66/1062.00 c 1062s| 1980k|752867 | 5422k| 2.7 | 470M| 54 | 7 | 60 |7666 | 60 | 17 | 18 | 787k|4530 | 0.000000e+00 | -- | Inf
1068.46/1068.84 c 1069s| 1990k|756050 | 5450k| 2.7 | 472M| 54 | - | 60 |7442 | 60 | 17 | 18 | 791k|4538 | 0.000000e+00 | -- | Inf
1074.16/1074.58 c 1075s| 2000k|759529 | 5477k| 2.7 | 475M| 54 | - | 60 |8382 | 60 | 17 | 18 | 795k|4551 | 0.000000e+00 | -- | Inf
1080.55/1080.97 c 1081s| 2010k|762897 | 5505k| 2.7 | 477M| 54 | 7 | 60 |8423 | 60 | 17 | 18 | 799k|4559 | 0.000000e+00 | -- | Inf
1088.06/1088.44 c 1088s| 2020k|765985 | 5533k| 2.7 | 479M| 54 | - | 60 |7421 | 60 | 17 | 18 | 804k|4572 | 0.000000e+00 | -- | Inf
1093.75/1094.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1093.75/1094.17 c 1094s| 2030k|769629 | 5560k| 2.7 | 482M| 54 | - | 60 |8433 | 60 | 17 | 18 | 808k|4581 | 0.000000e+00 | -- | Inf
1100.05/1100.48 c 1100s| 2040k|773099 | 5588k| 2.7 | 484M| 54 | 7 | 60 |7871 | 60 | 17 | 18 | 812k|4590 | 0.000000e+00 | -- | Inf
1106.35/1106.77 c 1107s| 2050k|776750 | 5615k| 2.7 | 486M| 54 | 7 | 60 |7987 | 60 | 17 | 18 | 816k|4598 | 0.000000e+00 | -- | Inf
1111.15/1111.59 c 1112s| 2060k|780930 | 5642k| 2.7 | 489M| 54 | 7 | 60 | 10k| 60 | 17 | 18 | 820k|4609 | 0.000000e+00 | -- | Inf
1117.84/1118.27 c 1118s| 2070k|784628 | 5669k| 2.7 | 491M| 54 | 7 | 60 |7987 | 60 | 17 | 18 | 824k|4619 | 0.000000e+00 | -- | Inf
1124.14/1124.60 c 1125s| 2080k|787928 | 5697k| 2.7 | 493M| 54 | 7 | 60 |7945 | 60 | 17 | 18 | 828k|4633 | 0.000000e+00 | -- | Inf
1130.35/1130.72 c 1131s| 2090k|791541 | 5724k| 2.7 | 496M| 54 | 7 | 60 |7684 | 60 | 17 | 18 | 832k|4645 | 0.000000e+00 | -- | Inf
1136.44/1136.89 c 1137s| 2100k|795337 | 5751k| 2.7 | 498M| 54 | - | 60 |7675 | 60 | 17 | 18 | 836k|4654 | 0.000000e+00 | -- | Inf
1143.04/1143.48 c 1143s| 2110k|798661 | 5778k| 2.7 | 500M| 54 | 7 | 60 |7182 | 60 | 17 | 18 | 841k|4662 | 0.000000e+00 | -- | Inf
1148.63/1149.03 c 1149s| 2120k|802109 | 5806k| 2.7 | 503M| 54 | 7 | 60 |8331 | 60 | 17 | 18 | 845k|4672 | 0.000000e+00 | -- | Inf
1155.13/1155.59 c 1156s| 2130k|805595 | 5833k| 2.7 | 505M| 54 | 7 | 60 |7474 | 60 | 17 | 18 | 849k|4681 | 0.000000e+00 | -- | Inf
1161.73/1162.12 c 1162s| 2140k|808912 | 5861k| 2.7 | 507M| 54 | - | 60 |7444 | 60 | 17 | 18 | 853k|4691 | 0.000000e+00 | -- | Inf
1166.93/1167.37 c 1167s| 2150k|812622 | 5888k| 2.7 | 510M| 54 | 7 | 60 |9140 | 60 | 17 | 18 | 858k|4703 | 0.000000e+00 | -- | Inf
1173.23/1173.67 c 1174s| 2160k|816200 | 5916k| 2.7 | 512M| 54 | 7 | 60 |8801 | 60 | 17 | 18 | 862k|4710 | 0.000000e+00 | -- | Inf
1180.22/1180.60 c 1181s| 2170k|819546 | 5943k| 2.7 | 514M| 54 | 7 | 60 |7599 | 60 | 17 | 18 | 866k|4723 | 0.000000e+00 | -- | Inf
1185.72/1186.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1185.72/1186.10 c 1186s| 2180k|823094 | 5971k| 2.7 | 517M| 54 | 7 | 60 |8548 | 60 | 17 | 18 | 870k|4731 | 0.000000e+00 | -- | Inf
1191.72/1192.15 c 1192s| 2190k|826712 | 5999k| 2.7 | 519M| 54 | 7 | 60 |8381 | 60 | 17 | 18 | 874k|4737 | 0.000000e+00 | -- | Inf
1196.92/1197.34 c 1197s| 2200k|830580 | 6027k| 2.7 | 521M| 54 | 7 | 60 |9470 | 60 | 17 | 18 | 878k|4744 | 0.000000e+00 | -- | Inf
1204.03/1204.47 c 1204s| 2210k|833616 | 6054k| 2.7 | 523M| 54 | 7 | 60 |8040 | 60 | 17 | 18 | 883k|4757 | 0.000000e+00 | -- | Inf
1210.32/1210.72 c 1211s| 2220k|837091 | 6082k| 2.7 | 526M| 54 | 7 | 60 |7873 | 60 | 17 | 18 | 887k|4765 | 0.000000e+00 | -- | Inf
1216.51/1216.95 c 1217s| 2230k|840368 | 6110k| 2.7 | 528M| 54 | 7 | 60 |7655 | 60 | 17 | 18 | 891k|4778 | 0.000000e+00 | -- | Inf
1222.11/1222.59 c 1223s| 2240k|844120 | 6137k| 2.7 | 530M| 54 | 7 | 60 |7527 | 60 | 17 | 18 | 895k|4786 | 0.000000e+00 | -- | Inf
1227.71/1228.16 c 1228s| 2250k|847574 | 6164k| 2.7 | 533M| 54 | 7 | 60 |8340 | 60 | 17 | 18 | 900k|4797 | 0.000000e+00 | -- | Inf
1233.82/1234.23 c 1234s| 2260k|850913 | 6191k| 2.7 | 535M| 54 | 7 | 60 |8476 | 60 | 17 | 18 | 904k|4809 | 0.000000e+00 | -- | Inf
1240.20/1240.62 c 1241s| 2270k|854323 | 6219k| 2.7 | 537M| 54 | 7 | 60 |7715 | 60 | 17 | 18 | 908k|4820 | 0.000000e+00 | -- | Inf
1246.21/1246.67 c 1247s| 2280k|858013 | 6246k| 2.7 | 539M| 54 | 7 | 60 |7952 | 60 | 17 | 18 | 912k|4829 | 0.000000e+00 | -- | Inf
1251.91/1252.37 c 1252s| 2290k|861857 | 6274k| 2.7 | 542M| 54 | 7 | 60 |9031 | 60 | 17 | 18 | 916k|4838 | 0.000000e+00 | -- | Inf
1258.50/1258.92 c 1259s| 2300k|865056 | 6302k| 2.7 | 544M| 54 | - | 60 |8957 | 0 | 0 | 18 | 921k|4846 | 0.000000e+00 | -- | Inf
1265.10/1265.52 c 1266s| 2310k|868530 | 6331k| 2.7 | 546M| 54 | - | 60 |8641 | 60 | 17 | 18 | 925k|4855 | 0.000000e+00 | -- | Inf
1271.20/1271.65 c 1272s| 2320k|871972 | 6359k| 2.7 | 549M| 54 | 7 | 60 |9382 | 60 | 17 | 18 | 929k|4862 | 0.000000e+00 | -- | Inf
1277.90/1278.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1277.90/1278.39 c 1278s| 2330k|875569 | 6386k| 2.7 | 551M| 54 | 7 | 60 |8340 | 60 | 17 | 18 | 933k|4874 | 0.000000e+00 | -- | Inf
1283.99/1284.47 c 1284s| 2340k|879192 | 6412k| 2.7 | 553M| 54 | - | 60 |8624 | 60 | 17 | 18 | 937k|4884 | 0.000000e+00 | -- | Inf
1291.09/1291.59 c 1292s| 2350k|882350 | 6440k| 2.7 | 555M| 54 | 7 | 60 |7553 | 60 | 17 | 18 | 942k|4893 | 0.000000e+00 | -- | Inf
1297.49/1297.99 c 1298s| 2360k|885694 | 6468k| 2.7 | 558M| 54 | - | 60 |7850 | 60 | 17 | 18 | 946k|4900 | 0.000000e+00 | -- | Inf
1302.99/1303.45 c 1303s| 2370k|889323 | 6494k| 2.7 | 560M| 54 | 7 | 60 |8732 | 60 | 17 | 18 | 950k|4906 | 0.000000e+00 | -- | Inf
1308.89/1309.36 c 1309s| 2380k|892871 | 6522k| 2.7 | 563M| 54 | 7 | 60 |9427 | 60 | 17 | 18 | 954k|4913 | 0.000000e+00 | -- | Inf
1314.68/1315.18 c 1315s| 2390k|896671 | 6549k| 2.7 | 565M| 54 | 7 | 60 | 10k| 60 | 17 | 18 | 958k|4925 | 0.000000e+00 | -- | Inf
1321.48/1321.92 c 1322s| 2400k|900019 | 6576k| 2.7 | 567M| 54 | - | 60 |9762 | 60 | 17 | 18 | 963k|4937 | 0.000000e+00 | -- | Inf
1328.68/1329.12 c 1329s| 2410k|903351 | 6604k| 2.7 | 569M| 54 | 7 | 60 |8250 | 60 | 17 | 18 | 967k|4945 | 0.000000e+00 | -- | Inf
1335.88/1336.31 c 1336s| 2420k|906534 | 6632k| 2.7 | 571M| 54 | - | 60 |7299 | 0 | 0 | 18 | 971k|4952 | 0.000000e+00 | -- | Inf
1342.18/1342.68 c 1343s| 2430k|909848 | 6661k| 2.7 | 574M| 54 | - | 60 |7813 | 60 | 17 | 18 | 976k|4967 | 0.000000e+00 | -- | Inf
1347.88/1348.30 c 1348s| 2440k|913656 | 6688k| 2.7 | 576M| 54 | 7 | 60 |8621 | 60 | 17 | 18 | 980k|4973 | 0.000000e+00 | -- | Inf
1353.98/1354.48 c 1354s| 2450k|917214 | 6716k| 2.7 | 578M| 54 | 7 | 60 |8758 | 60 | 17 | 18 | 984k|4987 | 0.000000e+00 | -- | Inf
1359.77/1360.27 c 1360s| 2460k|920979 | 6743k| 2.7 | 581M| 54 | 7 | 60 |9316 | 60 | 17 | 18 | 988k|4997 | 0.000000e+00 | -- | Inf
1366.78/1367.25 c 1367s| 2470k|924255 | 6771k| 2.7 | 583M| 54 | - | 60 |8405 | 60 | 17 | 18 | 992k|5003 | 0.000000e+00 | -- | Inf
1373.57/1374.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1373.57/1374.01 c 1374s| 2480k|927524 | 6799k| 2.7 | 585M| 54 | 7 | 60 |7715 | 60 | 17 | 18 | 996k|5012 | 0.000000e+00 | -- | Inf
1379.77/1380.21 c 1380s| 2490k|931001 | 6827k| 2.7 | 587M| 54 | 7 | 60 |7773 | 60 | 17 | 18 |1000k|5021 | 0.000000e+00 | -- | Inf
1386.07/1386.52 c 1387s| 2500k|934520 | 6853k| 2.7 | 590M| 54 | 7 | 60 |7922 | 60 | 17 | 18 |1004k|5030 | 0.000000e+00 | -- | Inf
1392.86/1393.38 c 1393s| 2510k|937806 | 6881k| 2.7 | 592M| 54 | 7 | 60 |7517 | 60 | 17 | 18 |1009k|5039 | 0.000000e+00 | -- | Inf
1399.46/1399.97 c 1400s| 2520k|940907 | 6909k| 2.7 | 594M| 54 | 7 | 60 |7388 | 60 | 17 | 18 |1013k|5048 | 0.000000e+00 | -- | Inf
1405.86/1406.30 c 1406s| 2530k|944263 | 6937k| 2.7 | 596M| 54 | - | 60 |7927 | 0 | 0 | 18 |1017k|5060 | 0.000000e+00 | -- | Inf
1412.16/1412.67 c 1413s| 2540k|947567 | 6964k| 2.7 | 599M| 54 | 7 | 60 |8370 | 60 | 17 | 18 |1022k|5070 | 0.000000e+00 | -- | Inf
1418.36/1418.82 c 1419s| 2550k|951042 | 6992k| 2.7 | 601M| 54 | 7 | 60 |8688 | 60 | 17 | 18 |1026k|5079 | 0.000000e+00 | -- | Inf
1424.66/1425.19 c 1425s| 2560k|954534 | 7020k| 2.7 | 603M| 54 | 7 | 60 |8156 | 60 | 17 | 18 |1030k|5090 | 0.000000e+00 | -- | Inf
1431.95/1432.43 c 1432s| 2570k|957581 | 7047k| 2.7 | 605M| 54 | 7 | 60 |7633 | 60 | 17 | 18 |1035k|5096 | 0.000000e+00 | -- | Inf
1438.14/1438.63 c 1439s| 2580k|961174 | 7075k| 2.7 | 608M| 54 | 7 | 60 |8098 | 60 | 17 | 18 |1039k|5107 | 0.000000e+00 | -- | Inf
1443.85/1444.35 c 1444s| 2590k|964682 | 7102k| 2.7 | 610M| 54 | 7 | 60 |8891 | 60 | 17 | 18 |1043k|5118 | 0.000000e+00 | -- | Inf
1451.24/1451.71 c 1452s| 2600k|967882 | 7129k| 2.7 | 612M| 54 | - | 60 |7452 | 60 | 17 | 18 |1047k|5124 | 0.000000e+00 | -- | Inf
1457.64/1458.11 c 1458s| 2610k|971288 | 7157k| 2.7 | 614M| 54 | 7 | 60 |7606 | 60 | 17 | 18 |1052k|5137 | 0.000000e+00 | -- | Inf
1463.34/1463.80 c 1464s| 2620k|974951 | 7185k| 2.7 | 617M| 54 | - | 60 |8374 | 60 | 17 | 18 |1056k|5147 | 0.000000e+00 | -- | Inf
1469.15/1469.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1469.15/1469.62 c 1470s| 2630k|978397 | 7212k| 2.7 | 619M| 54 | 7 | 60 |8389 | 60 | 17 | 18 |1060k|5153 | 0.000000e+00 | -- | Inf
1475.04/1475.51 c 1476s| 2640k|981840 | 7240k| 2.7 | 622M| 54 | 7 | 60 |9141 | 60 | 17 | 18 |1064k|5166 | 0.000000e+00 | -- | Inf
1482.24/1482.78 c 1483s| 2650k|985096 | 7268k| 2.7 | 624M| 54 | 7 | 60 |8400 | 60 | 17 | 18 |1068k|5177 | 0.000000e+00 | -- | Inf
1489.53/1490.06 c 1490s| 2660k|988329 | 7296k| 2.7 | 626M| 54 | 7 | 60 |7679 | 60 | 17 | 18 |1073k|5188 | 0.000000e+00 | -- | Inf
1496.43/1496.92 c 1497s| 2670k|991769 | 7323k| 2.7 | 628M| 54 | 7 | 60 |7056 | 60 | 17 | 18 |1077k|5198 | 0.000000e+00 | -- | Inf
1502.32/1502.84 c 1503s| 2680k|995152 | 7351k| 2.7 | 630M| 54 | 7 | 60 |7877 | 60 | 17 | 18 |1081k|5206 | 0.000000e+00 | -- | Inf
1508.23/1508.70 c 1509s| 2690k|998917 | 7379k| 2.7 | 633M| 54 | 7 | 60 |8540 | 60 | 17 | 18 |1085k|5214 | 0.000000e+00 | -- | Inf
1514.13/1514.62 c 1515s| 2700k| 1002k| 7405k| 2.7 | 635M| 54 | 7 | 60 |9037 | 60 | 17 | 18 |1089k|5220 | 0.000000e+00 | -- | Inf
1521.02/1521.55 c 1522s| 2710k| 1005k| 7433k| 2.7 | 637M| 54 | 7 | 60 |8523 | 60 | 17 | 18 |1093k|5226 | 0.000000e+00 | -- | Inf
1527.22/1527.72 c 1528s| 2720k| 1009k| 7460k| 2.7 | 640M| 54 | 7 | 60 |9130 | 60 | 17 | 18 |1098k|5236 | 0.000000e+00 | -- | Inf
1533.22/1533.76 c 1534s| 2730k| 1012k| 7487k| 2.7 | 642M| 54 | 7 | 60 |9303 | 60 | 17 | 18 |1102k|5245 | 0.000000e+00 | -- | Inf
1539.42/1539.97 c 1540s| 2740k| 1016k| 7515k| 2.7 | 645M| 54 | 7 | 60 |9536 | 60 | 17 | 18 |1106k|5258 | 0.000000e+00 | -- | Inf
1545.12/1545.63 c 1546s| 2750k| 1019k| 7543k| 2.7 | 647M| 54 | 7 | 60 |9575 | 60 | 17 | 18 |1110k|5265 | 0.000000e+00 | -- | Inf
1551.81/1552.37 c 1552s| 2760k| 1023k| 7571k| 2.7 | 649M| 54 | 7 | 60 |9549 | 60 | 17 | 18 |1114k|5278 | 0.000000e+00 | -- | Inf
1558.81/1559.32 c 1559s| 2770k| 1026k| 7599k| 2.7 | 651M| 54 | 7 | 60 |8913 | 60 | 17 | 18 |1119k|5284 | 0.000000e+00 | -- | Inf
1565.00/1565.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1565.00/1565.53 c 1566s| 2780k| 1029k| 7627k| 2.7 | 653M| 54 | 7 | 60 |9423 | 60 | 17 | 18 |1123k|5288 | 0.000000e+00 | -- | Inf
1571.80/1572.30 c 1572s| 2790k| 1032k| 7655k| 2.7 | 656M| 54 | 7 | 60 |8918 | 60 | 17 | 18 |1127k|5294 | 0.000000e+00 | -- | Inf
1578.31/1578.83 c 1579s| 2800k| 1036k| 7682k| 2.7 | 658M| 54 | 7 | 60 |9114 | 60 | 17 | 18 |1132k|5303 | 0.000000e+00 | -- | Inf
1586.30/1586.83 c 1587s| 2810k| 1039k| 7710k| 2.7 | 660M| 54 | - | 60 |7534 | 60 | 17 | 18 |1136k|5314 | 0.000000e+00 | -- | Inf
1592.39/1592.95 c 1593s| 2820k| 1042k| 7737k| 2.7 | 662M| 54 | 7 | 60 |8400 | 60 | 17 | 18 |1140k|5323 | 0.000000e+00 | -- | Inf
1599.79/1600.34 c 1600s| 2830k| 1045k| 7765k| 2.7 | 664M| 54 | 7 | 60 |7751 | 60 | 17 | 18 |1145k|5334 | 0.000000e+00 | -- | Inf
1606.09/1606.61 c 1607s| 2840k| 1049k| 7792k| 2.7 | 667M| 54 | - | 60 |8191 | 60 | 17 | 18 |1149k|5344 | 0.000000e+00 | -- | Inf
1613.00/1613.58 c 1614s| 2850k| 1052k| 7820k| 2.7 | 669M| 54 | 7 | 60 |7596 | 60 | 17 | 18 |1153k|5349 | 0.000000e+00 | -- | Inf
1620.09/1620.60 c 1621s| 2860k| 1055k| 7848k| 2.7 | 671M| 54 | 7 | 60 |7689 | 60 | 17 | 18 |1158k|5353 | 0.000000e+00 | -- | Inf
1625.59/1626.11 c 1626s| 2870k| 1059k| 7876k| 2.7 | 674M| 54 | 7 | 60 |9039 | 60 | 17 | 18 |1162k|5357 | 0.000000e+00 | -- | Inf
1632.48/1633.09 c 1633s| 2880k| 1062k| 7903k| 2.7 | 676M| 54 | - | 60 |8328 | 60 | 17 | 18 |1166k|5363 | 0.000000e+00 | -- | Inf
1638.78/1639.39 c 1639s| 2890k| 1065k| 7931k| 2.7 | 678M| 54 | 7 | 60 |8587 | 60 | 17 | 18 |1171k|5370 | 0.000000e+00 | -- | Inf
1645.89/1646.44 c 1646s| 2900k| 1069k| 7959k| 2.7 | 680M| 54 | 7 | 60 |8482 | 60 | 17 | 18 |1175k|5383 | 0.000000e+00 | -- | Inf
1652.58/1653.11 c 1653s| 2910k| 1072k| 7987k| 2.7 | 683M| 54 | - | 60 |8400 | 60 | 17 | 18 |1179k|5390 | 0.000000e+00 | -- | Inf
1658.28/1658.82 c 1659s| 2920k| 1076k| 8014k| 2.7 | 685M| 54 | 7 | 60 |9318 | 60 | 17 | 18 |1183k|5397 | 0.000000e+00 | -- | Inf
1664.18/1664.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1664.18/1664.74 c 1665s| 2930k| 1079k| 8042k| 2.7 | 688M| 54 | - | 60 | 10k| 0 | 0 | 18 |1187k|5404 | 0.000000e+00 | -- | Inf
1671.67/1672.20 c 1672s| 2940k| 1083k| 8070k| 2.7 | 690M| 54 | 7 | 60 |9430 | 60 | 17 | 18 |1192k|5415 | 0.000000e+00 | -- | Inf
1677.57/1678.19 c 1678s| 2950k| 1086k| 8097k| 2.7 | 692M| 54 | 7 | 60 |9842 | 60 | 17 | 18 |1196k|5420 | 0.000000e+00 | -- | Inf
1683.37/1683.93 c 1684s| 2960k| 1090k| 8124k| 2.7 | 695M| 54 | 7 | 60 | 10k| 60 | 17 | 18 |1200k|5430 | 0.000000e+00 | -- | Inf
1689.27/1689.80 c 1690s| 2970k| 1093k| 8152k| 2.7 | 697M| 54 | - | 60 | 11k| 60 | 17 | 18 |1204k|5440 | 0.000000e+00 | -- | Inf
1695.87/1696.41 c 1696s| 2980k| 1096k| 8179k| 2.7 | 699M| 54 | 7 | 60 | 11k| 60 | 17 | 18 |1208k|5444 | 0.000000e+00 | -- | Inf
1703.06/1703.60 c 1704s| 2990k| 1100k| 8207k| 2.7 | 701M| 54 | 7 | 60 |9749 | 60 | 17 | 18 |1213k|5450 | 0.000000e+00 | -- | Inf
1709.87/1710.42 c 1710s| 3000k| 1104k| 8234k| 2.7 | 704M| 54 | 7 | 60 |9363 | 60 | 17 | 18 |1217k|5458 | 0.000000e+00 | -- | Inf
1716.36/1716.98 c 1717s| 3010k| 1107k| 8262k| 2.7 | 706M| 54 | - | 60 |9603 | 60 | 17 | 18 |1221k|5470 | 0.000000e+00 | -- | Inf
1723.07/1723.61 c 1724s| 3020k| 1111k| 8289k| 2.7 | 708M| 54 | 7 | 60 |9295 | 60 | 17 | 18 |1225k|5478 | 0.000000e+00 | -- | Inf
1729.36/1729.90 c 1730s| 3030k| 1114k| 8317k| 2.7 | 711M| 54 | - | 60 | 10k| 60 | 17 | 18 |1229k|5482 | 0.000000e+00 | -- | Inf
1735.76/1736.34 c 1736s| 3040k| 1117k| 8345k| 2.7 | 713M| 54 | - | 60 | 10k| 60 | 17 | 18 |1234k|5493 | 0.000000e+00 | -- | Inf
1743.05/1743.62 c 1744s| 3050k| 1121k| 8374k| 2.7 | 715M| 54 | 7 | 60 |9647 | 60 | 17 | 18 |1238k|5498 | 0.000000e+00 | -- | Inf
1750.45/1751.03 c 1751s| 3060k| 1124k| 8402k| 2.7 | 717M| 54 | 7 | 60 |8872 | 60 | 17 | 18 |1242k|5505 | 0.000000e+00 | -- | Inf
1756.45/1757.01 c 1757s| 3070k| 1127k| 8430k| 2.7 | 720M| 54 | - | 60 |9970 | 60 | 17 | 18 |1246k|5513 | 0.000000e+00 | -- | Inf
1762.95/1763.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1762.95/1763.50 c 1763s| 3080k| 1131k| 8457k| 2.7 | 722M| 54 | - | 60 | 10k| 60 | 17 | 18 |1251k|5523 | 0.000000e+00 | -- | Inf
1770.35/1770.93 c 1771s| 3090k| 1134k| 8485k| 2.7 | 724M| 54 | - | 60 |9396 | 60 | 17 | 18 |1255k|5533 | 0.000000e+00 | -- | Inf
1778.24/1778.85 c 1779s| 3100k| 1137k| 8513k| 2.7 | 726M| 54 | 7 | 60 |8612 | 60 | 17 | 18 |1259k|5543 | 0.000000e+00 | -- | Inf
1784.44/1785.08 c 1785s| 3110k| 1141k| 8540k| 2.7 | 729M| 54 | 7 | 60 |9675 | 60 | 17 | 18 |1263k|5551 | 0.000000e+00 | -- | Inf
1789.44/1790.01 c
1789.44/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.44/1790.01 c Solving Time (sec) : 1790.00
1789.44/1790.01 c Solving Nodes : 3118290
1789.44/1790.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.44/1790.01 c Dual Bound : +0.00000000000000e+00
1789.44/1790.01 c Gap : infinite
1789.44/1790.01 s UNKNOWN
1789.44/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.44/1790.01 c Solving Time : 1790.00
1789.44/1790.01 c Original Problem :
1789.44/1790.01 c Problem name : HOME/instance-2704566-1278562457.opb
1789.44/1790.01 c Variables : 61 (61 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.44/1790.01 c Constraints : 15 initial, 15 maximal
1789.44/1790.01 c Presolved Problem :
1789.44/1790.01 c Problem name : t_HOME/instance-2704566-1278562457.opb
1789.44/1790.01 c Variables : 60 (60 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.44/1790.01 c Constraints : 7 initial, 11916 maximal
1789.44/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.44/1790.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.44/1790.01 c dualfix : 0.00 1 0 0 0 0 0 0 0
1789.44/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.44/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.44/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0
1789.44/1790.01 c probing : 0.01 0 0 0 0 0 0 0 0
1789.44/1790.01 c linear : 0.00 0 0 0 0 0 8 0 0
1789.44/1790.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.44/1790.01 c root node : - 0 - - 0 - - - -
1789.44/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.44/1790.01 c integral : 0 0 0 2143335 0 436 1930 0 0 4282130
1789.44/1790.01 c linear : 7+ 7 6401956 0 1 41459 1089635 0 0 0
1789.44/1790.01 c logicor : 0+ 0 2976656 0 0 2223 869839 0 0 0
1789.44/1790.01 c countsols : 0 0 0 0 1 0 0 0 0 0
1789.44/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.44/1790.01 c integral : 23.92 0.00 0.00 23.92 0.00
1789.44/1790.01 c linear : 293.82 0.00 293.82 0.00 0.00
1789.44/1790.01 c logicor : 424.86 0.00 424.86 0.00 0.00
1789.44/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.44/1790.01 c Propagators : Time Calls Cutoffs DomReds
1789.44/1790.01 c vbounds : 2.17 2 0 0
1789.44/1790.01 c rootredcost : 2.31 0 0 0
1789.44/1790.01 c pseudoobj : 1.85 0 0 0
1789.44/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.44/1790.01 c propagation : 5.14 43682 38499 133039 44.2 4 33.5 -
1789.44/1790.01 c infeasible LP : 60.90 947788 947753 1661957 27.6 11311 32.9 0
1789.44/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.44/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.44/1790.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.44/1790.01 c applied globally : - - - 1132986 23.0 - - -
1789.44/1790.01 c applied locally : - - - 134447 38.0 - - -
1789.44/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.44/1790.01 c cut pool : 0.00 5 - - 9 - (maximal pool size: 71)
1789.44/1790.01 c redcost : 4.96 2143335 0 0 0 0
1789.44/1790.01 c impliedbounds : 0.00 6 0 0 0 0
1789.44/1790.01 c intobj : 0.00 0 0 0 0 0
1789.44/1790.01 c cgmip : 0.00 0 0 0 0 0
1789.44/1790.01 c gomory : 0.00 6 0 0 0 0
1789.44/1790.01 c strongcg : 0.00 6 0 0 34 0
1789.44/1790.01 c cmir : 0.02 6 0 0 20 0
1789.44/1790.01 c flowcover : 0.03 6 0 0 28 0
1789.44/1790.01 c clique : 0.00 1 0 0 0 0
1789.44/1790.01 c zerohalf : 0.00 0 0 0 0 0
1789.44/1790.01 c mcf : 0.00 1 0 0 0 0
1789.44/1790.01 c rapidlearning : 0.10 1 0 0 0 2
1789.44/1790.01 c Pricers : Time Calls Vars
1789.44/1790.01 c problem variables: 0.00 0 0
1789.44/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.44/1790.01 c relpscost : 21.87 2143335 436 1930 0 0 4282130
1789.44/1790.01 c pscost : 0.00 0 0 0 0 0 0
1789.44/1790.01 c inference : 0.00 1 0 0 0 0 2
1789.44/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1789.44/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1789.44/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1789.44/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1789.44/1790.01 c random : 0.00 0 0 0 0 0 0
1789.44/1790.01 c Primal Heuristics : Time Calls Found
1789.44/1790.01 c LP solutions : 0.00 - 0
1789.44/1790.01 c pseudo solutions : 0.00 - 0
1789.44/1790.01 c oneopt : 1.88 0 0
1789.44/1790.01 c crossover : 1.07 0 0
1789.44/1790.01 c guideddiving : 0.12 0 0
1789.44/1790.01 c pscostdiving : 0.18 49 0
1789.44/1790.01 c objpscostdiving : 0.14 25 0
1789.44/1790.01 c rootsoldiving : 0.14 25 0
1789.44/1790.01 c linesearchdiving : 0.17 50 0
1789.44/1790.01 c fracdiving : 0.17 50 0
1789.44/1790.01 c veclendiving : 0.17 50 0
1789.44/1790.01 c coefdiving : 0.16 50 0
1789.44/1790.01 c feaspump : 0.14 26 0
1789.44/1790.01 c trivial : 0.00 2 0
1789.44/1790.01 c simplerounding : 0.81 0 0
1789.44/1790.01 c zirounding : 1.12 1000 0
1789.44/1790.01 c rounding : 2.17 20717 0
1789.44/1790.01 c shifting : 4.44 6486 0
1789.44/1790.01 c intshifting : 0.10 0 0
1789.44/1790.01 c twoopt : 0.00 0 0
1789.44/1790.01 c fixandinfer : 0.00 0 0
1789.44/1790.01 c intdiving : 0.00 0 0
1789.44/1790.01 c actconsdiving : 0.00 0 0
1789.44/1790.01 c octane : 0.00 0 0
1789.44/1790.01 c rens : 0.03 1 0
1789.44/1790.01 c rins : 0.00 0 0
1789.44/1790.01 c localbranching : 0.00 0 0
1789.44/1790.01 c mutation : 0.00 0 0
1789.44/1790.01 c dins : 0.00 0 0
1789.44/1790.01 c undercover : 0.00 0 0
1789.44/1790.01 c nlp : 0.91 0 0
1789.44/1790.01 c trysol : 1.45 0 0
1789.44/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1789.44/1790.01 c primal LP : 0.00 0 0 0.00 -
1789.44/1790.01 c dual LP : 356.88 3034897 8559210 2.82 23983.57
1789.44/1790.01 c lex dual LP : 0.00 0 0 0.00 -
1789.44/1790.01 c barrier LP : 0.00 0 0 0.00 -
1789.44/1790.01 c diving/probing LP: 0.21 1893 4235 2.24 20285.68
1789.44/1790.01 c strong branching : 1.26 5559 26194 4.71 20833.18
1789.44/1790.01 c (at root node) : - 9 298 33.11 -
1789.44/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1789.44/1790.01 c B&B Tree :
1789.44/1790.01 c number of runs : 1
1789.44/1790.01 c nodes : 3118290
1789.44/1790.01 c nodes (total) : 3118290
1789.44/1790.01 c nodes left : 1144301
1789.44/1790.01 c max depth : 54
1789.44/1790.01 c max depth (total): 54
1789.44/1790.01 c backtracks : 320571 (10.3%)
1789.44/1790.01 c delayed cutoffs : 19542
1789.44/1790.01 c repropagations : 2283630 (1032764 domain reductions, 14053 cutoffs)
1789.44/1790.01 c avg switch length: 5.63
1789.44/1790.01 c switching time : 352.38
1789.44/1790.01 c Solution :
1789.44/1790.01 c Solutions found : 0 (0 improvements)
1789.44/1790.01 c Primal Bound : -
1789.44/1790.01 c Dual Bound : +0.00000000000000e+00
1789.44/1790.01 c Gap : infinite
1789.44/1790.01 c Root Dual Bound : +0.00000000000000e+00
1789.44/1790.01 c Root Iterations : 182
1794.53/1795.11 c Time complete: 1794.54.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2704566-1278562457/watcher-2704566-1278562457 -o /tmp/evaluation-result-2704566-1278562457/solver-2704566-1278562457 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704566-1278562457.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 27764
/proc/meminfo: memFree=1865492/2059040 swapFree=4139772/4192956
[pid=27764] ppid=27762 vsize=7904 CPUtime=0
/proc/27764/stat : 27764 (pbscip.linux.x8) R 27762 27764 27655 0 -1 4202496 1131 0 0 0 0 0 0 0 25 0 1 0 24454392 8093696 1044 1992294400 4194304 8395647 140735588541600 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27764/statm: 1976 1051 365 1026 0 946 0
[startup+0.0206039 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 27764
/proc/meminfo: memFree=1865492/2059040 swapFree=4139772/4192956
[pid=27764] ppid=27762 vsize=13564 CPUtime=0.01
/proc/27764/stat : 27764 (pbscip.linux.x8) R 27762 27764 27655 0 -1 4202496 2770 0 0 0 1 0 0 0 25 0 1 0 24454392 13889536 2329 1992294400 4194304 8395647 140735588541600 18446744073709551615 7430400 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27764/statm: 3391 2329 467 1026 0 2361 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13564
[startup+0.10061 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 27764
/proc/meminfo: memFree=1865492/2059040 swapFree=4139772/4192956
[pid=27764] ppid=27762 vsize=21952 CPUtime=0.09
/proc/27764/stat : 27764 (pbscip.linux.x8) R 27762 27764 27655 0 -1 4202496 4783 0 0 0 8 1 0 0 18 0 1 0 24454392 22478848 4342 1992294400 4194304 8395647 140735588541600 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27764/statm: 5488 4342 599 1026 0 4458 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21952
[startup+0.300631 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 27764
/proc/meminfo: memFree=1865492/2059040 swapFree=4139772/4192956
[pid=27764] ppid=27762 vsize=23132 CPUtime=0.29
/proc/27764/stat : 27764 (pbscip.linux.x8) R 27762 27764 27655 0 -1 4202496 5345 0 0 0 26 3 0 0 18 0 1 0 24454392 23687168 4904 1992294400 4194304 8395647 140735588541600 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27764/statm: 5783 4904 621 1026 0 4753 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23132
[startup+0.700673 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 27764
/proc/meminfo: memFree=1865492/2059040 swapFree=4139772/4192956
[pid=27764] ppid=27762 vsize=23132 CPUtime=0.69
/proc/27764/stat : 27764 (pbscip.linux.x8) R 27762 27764 27655 0 -1 4202496 5346 0 0 0 64 5 0 0 18 0 1 0 24454392 23687168 4905 1992294400 4194304 8395647 140735588541600 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27764/statm: 5783 4905 621 1026 0 4753 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23132
[startup+1.50076 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27765
/proc/meminfo: memFree=1848124/2059040 swapFree=4139772/4192956
[pid=27764] ppid=27762 vsize=23132 CPUtime=1.49
/proc/27764/stat : 27764 (pbscip.linux.x8) R 27762 27764 27655 0 -1 4202496 5353 0 0 0 141 8 0 0 20 0 1 0 24454392 23687168 4912 1992294400 4194304 8395647 140735588541600 18446744073709551615 4966833 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27764/statm: 5783 4912 621 1026 0 4753 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23132
[startup+3.10093 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27765
/proc/meminfo: memFree=1847876/2059040 swapFree=4139772/4192956
[pid=27764] ppid=27762 vsize=23132 CPUtime=3.09
/proc/27764/stat : 27764 (pbscip.linux.x8) R 27762 27764 27655 0 -1 4202496 5362 0 0 0 296 13 0 0 25 0 1 0 24454392 23687168 4921 1992294400 4194304 8395647 140735588541600 18446744073709551615 5086374 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27764/statm: 5783 4921 621 1026 0 4753 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23132
[startup+6.30027 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27765
/proc/meminfo: memFree=1847380/2059040 swapFree=4139772/4192956
[pid=27764] ppid=27762 vsize=23132 CPUtime=6.29
/proc/27764/stat : 27764 (pbscip.linux.x8) R 27762 27764 27655 0 -1 4202496 5378 0 0 0 604 25 0 0 25 0 1 0 24454392 23687168 4937 1992294400 4194304 8395647 140735588541600 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27764/statm: 5783 4937 621 1026 0 4753 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23132
[startup+12.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27765
/proc/meminfo: memFree=1844776/2059040 swapFree=4139772/4192956
[pid=27764] ppid=27762 vsize=26248 CPUtime=12.69
/proc/27764/stat : 27764 (pbscip.linux.x8) R 27762 27764 27655 0 -1 4202496 6198 0 0 0 1221 48 0 0 25 0 1 0 24454392 26877952 5757 1992294400 4194304 8395647 140735588541600 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27764/statm: 6562 5757 621 1026 0 5532 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26248
[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27765
/proc/meminfo: memFree=1834608/2059040 swapFree=4139772/4192956
[pid=27764] ppid=27762 vsize=35656 CPUtime=25.48
/proc/27764/stat : 27764 (pbscip.linux.x8) R 27762 27764 27655 0 -1 4202496 8589 0 0 0 2459 89 0 0 25 0 1 0 24454392 36511744 8148 1992294400 4194304 8395647 140735588541600 18446744073709551615 4655295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27764/statm: 8914 8148 621 1026 0 7884 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 35656
[startup+51.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27765
/proc/meminfo: memFree=1817372/2059040 swapFree=4139772/4192956
[pid=27764] ppid=27762 vsize=52500 CPUtime=51.07
/proc/27764/stat : 27764 (pbscip.linux.x8) R 27762 27764 27655 0 -1 4202496 12921 0 0 0 4937 170 0 0 25 0 1 0 24454392 53760000 12480 1992294400 4194304 8395647 140735588541600 18446744073709551615 5026706 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27764/statm: 13125 12480 621 1026 0 12095 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 52500
[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27767
/proc/meminfo: memFree=1785752/2059040 swapFree=4139772/4192956
[pid=27764] ppid=27762 vsize=85392 CPUtime=102.27
/proc/27764/stat : 27764 (pbscip.linux.x8) R 27762 27764 27655 0 -1 4202496 20869 0 0 0 9907 320 0 0 25 0 1 0 24454392 87441408 20428 1992294400 4194304 8395647 140735588541600 18446744073709551615 5085428 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27764/statm: 21348 20428 621 1026 0 20318 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 85392
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27769
/proc/meminfo: memFree=1755000/2059040 swapFree=4139772/4192956
[pid=27764] ppid=27762 vsize=115264 CPUtime=162.25
/proc/27764/stat : 27764 (pbscip.linux.x8) R 27762 27764 27655 0 -1 4202496 28509 0 0 0 15742 483 0 0 25 0 1 0 24454392 118030336 28068 1992294400 4194304 8395647 140735588541600 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27764/statm: 28816 28068 621 1026 0 27786 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 115264
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27771
/proc/meminfo: memFree=1722760/2059040 swapFree=4139772/4192956
[pid=27764] ppid=27762 vsize=151292 CPUtime=222.23
/proc/27764/stat : 27764 (pbscip.linux.x8) R 27762 27764 27655 0 -1 4202496 36582 0 0 0 21579 644 0 0 25 0 1 0 24454392 154923008 36141 1992294400 4194304 8395647 140735588541600 18446744073709551615 6017656 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27764/statm: 37823 36141 621 1026 0 36793 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 151292
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27771
/proc/meminfo: memFree=1694364/2059040 swapFree=4139772/4192956
[pid=27764] ppid=27762 vsize=179040 CPUtime=282.21
/proc/27764/stat : 27764 (pbscip.linux.x8) R 27762 27764 27655 0 -1 4202496 43710 0 0 0 27416 805 0 0 25 0 1 0 24454392 183336960 43269 1992294400 4194304 8395647 140735588541600 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27764/statm: 44760 43269 621 1026 0 43730 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 179040
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27776
/proc/meminfo: memFree=1662992/2059040 swapFree=4139772/4192956
[pid=27764] ppid=27762 vsize=208396 CPUtime=342.19
/proc/27764/stat : 27764 (pbscip.linux.x8) R 27762 27764 27655 0 -1 4202496 51205 0 0 0 33254 965 0 0 25 0 1 0 24454392 213397504 50764 1992294400 4194304 8395647 140735588541600 18446744073709551615 6069209 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27764/statm: 52099 50764 621 1026 0 51069 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 208396
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27778
/proc/meminfo: memFree=1635960/2059040 swapFree=4139772/4192956
[pid=27764] ppid=27762 vsize=235672 CPUtime=402.17
/proc/27764/stat : 27764 (pbscip.linux.x8) R 27762 27764 27655 0 -1 4202496 58157 0 0 0 39106 1111 0 0 25 0 1 0 24454392 241328128 57716 1992294400 4194304 8395647 140735588541600 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27764/statm: 58918 57716 621 1026 0 57888 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 235672
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27780
/proc/meminfo: memFree=1605580/2059040 swapFree=4139772/4192956
[pid=27764] ppid=27762 vsize=264664 CPUtime=462.15
/proc/27764/stat : 27764 (pbscip.linux.x8) R 27762 27764 27655 0 -1 4202496 65535 0 0 0 44954 1261 0 0 25 0 1 0 24454392 271015936 65094 1992294400 4194304 8395647 140735588541600 18446744073709551615 5085638 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27764/statm: 66166 65094 621 1026 0 65136 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 264664
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27782
/proc/meminfo: memFree=1581276/2059040 swapFree=4139772/4192956
[pid=27764] ppid=27762 vsize=288636 CPUtime=522.13
/proc/27764/stat : 27764 (pbscip.linux.x8) R 27762 27764 27655 0 -1 4202496 71732 0 0 0 50803 1410 0 0 25 0 1 0 24454392 295563264 71291 1992294400 4194304 8395647 140735588541600 18446744073709551615 4218227 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27764/statm: 72159 71291 621 1026 0 71129 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 288636
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27782
/proc/meminfo: memFree=1557096/2059040 swapFree=4139772/4192956
[pid=27764] ppid=27762 vsize=320020 CPUtime=582.11
/proc/27764/stat : 27764 (pbscip.linux.x8) R 27762 27764 27655 0 -1 4202496 77644 0 0 0 56660 1551 0 0 25 0 1 0 24454392 327700480 77203 1992294400 4194304 8395647 140735588541600 18446744073709551615 4687929 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27764/statm: 80005 77203 621 1026 0 78975 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 320020
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27784
/proc/meminfo: memFree=1531304/2059040 swapFree=4139772/4192956
[pid=27764] ppid=27762 vsize=345032 CPUtime=642.1
/proc/27764/stat : 27764 (pbscip.linux.x8) R 27762 27764 27655 0 -1 4202496 84084 0 0 0 62532 1678 0 0 25 0 1 0 24454392 353312768 83643 1992294400 4194304 8395647 140735588541600 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27764/statm: 86258 83643 621 1026 0 85228 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 345032
[startup+702.301 s]
################
# More data... #
################
/proc/meminfo: memFree=1359936/2059040 swapFree=4139772/4192956
[pid=27764] ppid=27762 vsize=512084 CPUtime=1061.96
/proc/27764/stat : 27764 (pbscip.linux.x8) R 27762 27764 27655 0 -1 4202496 126723 0 0 0 103596 2600 0 0 25 0 1 0 24454392 524374016 126282 1992294400 4194304 8395647 140735588541600 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27764/statm: 128021 126282 621 1026 0 126991 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 512084
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27798
/proc/meminfo: memFree=1336500/2059040 swapFree=4139772/4192956
[pid=27764] ppid=27762 vsize=534788 CPUtime=1121.94
/proc/27764/stat : 27764 (pbscip.linux.x8) R 27762 27764 27655 0 -1 4202496 132534 0 0 0 109462 2732 0 0 25 0 1 0 24454392 547622912 132093 1992294400 4194304 8395647 140735588541600 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27764/statm: 133697 132093 621 1026 0 132667 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 534788
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27798
/proc/meminfo: memFree=1314552/2059040 swapFree=4139772/4192956
[pid=27764] ppid=27762 vsize=555844 CPUtime=1181.93
/proc/27764/stat : 27764 (pbscip.linux.x8) R 27762 27764 27655 0 -1 4202496 137984 0 0 0 115331 2862 0 0 25 0 1 0 24454392 569184256 137543 1992294400 4194304 8395647 140735588541600 18446744073709551615 4218186 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27764/statm: 138961 137543 621 1026 0 137931 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 555844
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27800
/proc/meminfo: memFree=1294340/2059040 swapFree=4139772/4192956
[pid=27764] ppid=27762 vsize=576148 CPUtime=1241.9
/proc/27764/stat : 27764 (pbscip.linux.x8) R 27762 27764 27655 0 -1 4202496 143083 0 0 0 121201 2989 0 0 25 0 1 0 24454392 589975552 142642 1992294400 4194304 8395647 140735588541600 18446744073709551615 5085356 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27764/statm: 144037 142642 621 1026 0 143007 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 576148
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27802
/proc/meminfo: memFree=1271400/2059040 swapFree=4139772/4192956
[pid=27764] ppid=27762 vsize=597840 CPUtime=1301.89
/proc/27764/stat : 27764 (pbscip.linux.x8) R 27762 27764 27655 0 -1 4202496 148639 0 0 0 127071 3118 0 0 25 0 1 0 24454392 612188160 148198 1992294400 4194304 8395647 140735588541600 18446744073709551615 4230937 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27764/statm: 149460 148198 621 1026 0 148430 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 597840
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27804
/proc/meminfo: memFree=1250568/2059040 swapFree=4139772/4192956
[pid=27764] ppid=27762 vsize=617808 CPUtime=1361.87
/proc/27764/stat : 27764 (pbscip.linux.x8) R 27762 27764 27655 0 -1 4202496 153812 0 0 0 132941 3246 0 0 25 0 1 0 24454392 632635392 153371 1992294400 4194304 8395647 140735588541600 18446744073709551615 4216931 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27764/statm: 154452 153371 621 1026 0 153422 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 617808
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27806
/proc/meminfo: memFree=1230108/2059040 swapFree=4139772/4192956
[pid=27764] ppid=27762 vsize=637604 CPUtime=1421.87
/proc/27764/stat : 27764 (pbscip.linux.x8) R 27762 27764 27655 0 -1 4202496 158919 0 0 0 138820 3367 0 0 25 0 1 0 24454392 652906496 158478 1992294400 4194304 8395647 140735588541600 18446744073709551615 4652043 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27764/statm: 159401 158478 621 1026 0 158371 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 637604
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27806
/proc/meminfo: memFree=1207540/2059040 swapFree=4139772/4192956
[pid=27764] ppid=27762 vsize=675876 CPUtime=1481.84
/proc/27764/stat : 27764 (pbscip.linux.x8) R 27762 27764 27655 0 -1 4202496 164512 0 0 0 144691 3493 0 0 25 0 1 0 24454392 692097024 164071 1992294400 4194304 8395647 140735588541600 18446744073709551615 5026824 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27764/statm: 168969 164071 621 1026 0 167939 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 675876
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27808
/proc/meminfo: memFree=1184476/2059040 swapFree=4139772/4192956
[pid=27764] ppid=27762 vsize=699388 CPUtime=1541.82
/proc/27764/stat : 27764 (pbscip.linux.x8) R 27762 27764 27655 0 -1 4202496 170378 0 0 0 150560 3622 0 0 25 0 1 0 24454392 716173312 169937 1992294400 4194304 8395647 140735588541600 18446744073709551615 4243477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27764/statm: 174847 169937 621 1026 0 173817 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 699388
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27810
/proc/meminfo: memFree=1164884/2059040 swapFree=4139772/4192956
[pid=27764] ppid=27762 vsize=717776 CPUtime=1601.8
/proc/27764/stat : 27764 (pbscip.linux.x8) R 27762 27764 27655 0 -1 4202496 175117 0 0 0 156446 3734 0 0 25 0 1 0 24454392 735002624 174676 1992294400 4194304 8395647 140735588541600 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27764/statm: 179444 174676 621 1026 0 178414 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 717776
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27812
/proc/meminfo: memFree=1142192/2059040 swapFree=4139772/4192956
[pid=27764] ppid=27762 vsize=739956 CPUtime=1661.78
/proc/27764/stat : 27764 (pbscip.linux.x8) R 27762 27764 27655 0 -1 4202496 180822 0 0 0 162318 3860 0 0 25 0 1 0 24454392 757714944 180381 1992294400 4194304 8395647 140735588541600 18446744073709551615 6031828 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27764/statm: 184989 180381 621 1026 0 183959 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 739956
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27814
/proc/meminfo: memFree=1122972/2059040 swapFree=4139772/4192956
[pid=27764] ppid=27762 vsize=758180 CPUtime=1721.76
/proc/27764/stat : 27764 (pbscip.linux.x8) R 27762 27764 27655 0 -1 4202496 185535 0 0 0 168193 3983 0 0 25 0 1 0 24454392 776376320 185094 1992294400 4194304 8395647 140735588541600 18446744073709551615 5005892 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27764/statm: 189545 185094 621 1026 0 188515 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 758180
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27814
/proc/meminfo: memFree=1101768/2059040 swapFree=4139772/4192956
[pid=27764] ppid=27762 vsize=778200 CPUtime=1781.74
/proc/27764/stat : 27764 (pbscip.linux.x8) R 27762 27764 27655 0 -1 4202496 190715 0 0 0 174075 4099 0 0 25 0 1 0 24454392 796876800 190274 1992294400 4194304 8395647 140735588541600 18446744073709551615 5085679 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27764/statm: 194550 190274 621 1026 0 193520 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 778200
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27816
/proc/meminfo: memFree=1100528/2059040 swapFree=4139772/4192956
[pid=27764] ppid=27762 vsize=779544 CPUtime=1784.94
/proc/27764/stat : 27764 (pbscip.linux.x8) R 27762 27764 27655 0 -1 4202496 191030 0 0 0 174388 4106 0 0 25 0 1 0 24454392 798253056 190589 1992294400 4194304 8395647 140735588541600 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27764/statm: 194886 190589 621 1026 0 193856 0
Current children cumulated CPU time (s) 1784.94
Current children cumulated vsize (KiB) 779544
[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27816
/proc/meminfo: memFree=1096932/2059040 swapFree=4139772/4192956
[pid=27764] ppid=27762 vsize=782936 CPUtime=1791.34
/proc/27764/stat : 27764 (pbscip.linux.x8) R 27762 27764 27655 0 -1 4202496 191927 0 0 0 175018 4116 0 0 25 0 1 0 24454392 801726464 191486 1992294400 4194304 8395647 140735588541600 18446744073709551615 6345370 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27764/statm: 195734 191486 624 1026 0 194704 0
Current children cumulated CPU time (s) 1791.34
Current children cumulated vsize (KiB) 782936
[startup+1793.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27816
/proc/meminfo: memFree=1096932/2059040 swapFree=4139772/4192956
[pid=27764] ppid=27762 vsize=782936 CPUtime=1792.93
/proc/27764/stat : 27764 (pbscip.linux.x8) R 27762 27764 27655 0 -1 4202496 191927 0 0 0 175177 4116 0 0 25 0 1 0 24454392 801726464 191486 1992294400 4194304 8395647 140735588541600 18446744073709551615 6345370 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27764/statm: 195734 191486 624 1026 0 194704 0
Current children cumulated CPU time (s) 1792.93
Current children cumulated vsize (KiB) 782936
[startup+1794.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27816
/proc/meminfo: memFree=1096932/2059040 swapFree=4139772/4192956
[pid=27764] ppid=27762 vsize=782936 CPUtime=1793.73
/proc/27764/stat : 27764 (pbscip.linux.x8) R 27762 27764 27655 0 -1 4202496 191927 0 0 0 175257 4116 0 0 25 0 1 0 24454392 801726464 191486 1992294400 4194304 8395647 140735588541600 18446744073709551615 4665794 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27764/statm: 195734 191486 624 1026 0 194704 0
Current children cumulated CPU time (s) 1793.73
Current children cumulated vsize (KiB) 782936
[startup+1794.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27816
/proc/meminfo: memFree=1096932/2059040 swapFree=4139772/4192956
[pid=27764] ppid=27762 vsize=782936 CPUtime=1794.13
/proc/27764/stat : 27764 (pbscip.linux.x8) R 27762 27764 27655 0 -1 4202496 191927 0 0 0 175297 4116 0 0 25 0 1 0 24454392 801726464 191486 1992294400 4194304 8395647 140735588541600 18446744073709551615 6345370 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27764/statm: 195734 191486 624 1026 0 194704 0
Current children cumulated CPU time (s) 1794.13
Current children cumulated vsize (KiB) 782936
[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 27816
/proc/meminfo: memFree=1662308/2059040 swapFree=4139772/4192956
[pid=27764] ppid=27762 vsize=342752 CPUtime=1794.53
/proc/27764/stat : 27764 (pbscip.linux.x8) R 27762 27764 27655 0 -1 4202496 191927 0 0 0 175331 4122 0 0 25 0 1 0 24454392 350978048 31498 1992294400 4194304 8395647 140735588541600 18446744073709551615 7602442 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27764/statm: 85688 31498 624 1026 0 84658 0
Current children cumulated CPU time (s) 1794.53
Current children cumulated vsize (KiB) 342752
Child status: 0
Real time (s): 1795.12
CPU time (s): 1794.56
CPU user time (s): 1753.32
CPU system time (s): 41.2377
CPU usage (%): 99.9686
Max. virtual memory (cumulated for all children) (KiB): 782936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1753.32
system time used= 41.2377
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 191930
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= 2
involuntary context switches= 1981
runsolver used 3.02754 second user time and 8.42872 second system time
The end