0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [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-2667661-1276614391.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.00/0.01 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.00/0.02 c presolving (3 rounds):
0.00/0.02 c 1 deleted vars, 8 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 0 implications, 0 cliques
0.00/0.02 c presolved problem has 60 variables (60 bin, 0 int, 0 impl, 0 cont) and 7 constraints
0.00/0.02 c 7 constraints of type <linear>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 1620
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.03 c 0.0s| 1 | 0 | 40 | - | 321k| 0 | 7 | 60 | 7 | 60 | 7 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.14 c 0.1s| 1 | 0 | 142 | - | 365k| 0 | 11 | 60 | 9 | 60 | 13 | 6 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.15 c 0.1s| 1 | 0 | 151 | - | 391k| 0 | 12 | 60 | 9 | 60 | 16 | 9 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.16 c 0.1s| 1 | 0 | 158 | - | 410k| 0 | 15 | 60 | 9 | 60 | 19 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.17 c 0.1s| 1 | 0 | 167 | - | 429k| 0 | 16 | 60 | 9 | 60 | 21 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.18 c 0.2s| 1 | 0 | 171 | - | 443k| 0 | 18 | 60 | 9 | 60 | 23 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.20 c 0.2s| 1 | 0 | 182 | - | 451k| 0 | 17 | 60 | 9 | 60 | 25 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.24 c 0.2s| 1 | 2 | 182 | - | 451k| 0 | 17 | 60 | 9 | 60 | 25 | 18 | 0 | 9 | 0.000000e+00 | -- | Inf
4.30/4.30 c 3.9s| 10000 | 5900 | 28000 | 2.8 |4301k| 52 | 7 | 60 |2575 | 60 | 17 | 18 |2857 | 612 | 0.000000e+00 | -- | Inf
8.69/8.72 c 8.0s| 20000 | 10948 | 54594 | 2.7 |6968k| 53 | - | 60 |2299 | 60 | 17 | 18 |6088 | 804 | 0.000000e+00 | -- | Inf
12.89/12.95 c 11.9s| 30000 | 15340 | 82277 | 2.7 |9471k| 53 | 7 | 60 |2255 | 60 | 17 | 18 |9791 | 959 | 0.000000e+00 | -- | Inf
17.09/17.15 c 15.7s| 40000 | 19991 |109578 | 2.7 | 12M| 53 | 7 | 60 |2330 | 60 | 17 | 18 | 13k|1085 | 0.000000e+00 | -- | Inf
21.39/21.41 c 19.6s| 50000 | 24613 |136694 | 2.7 | 14M| 53 | 7 | 60 |2429 | 60 | 17 | 18 | 16k|1196 | 0.000000e+00 | -- | Inf
25.69/25.79 c 23.6s| 60000 | 28902 |164150 | 2.7 | 17M| 53 | - | 60 |2921 | 60 | 17 | 18 | 20k|1297 | 0.000000e+00 | -- | Inf
30.18/30.21 c 27.7s| 70000 | 33262 |192215 | 2.7 | 19M| 53 | - | 60 |3114 | 60 | 17 | 18 | 23k|1389 | 0.000000e+00 | -- | Inf
34.68/34.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
34.68/34.74 c 31.9s| 80000 | 37480 |219277 | 2.7 | 22M| 53 | - | 60 |3116 | 60 | 17 | 18 | 27k|1468 | 0.000000e+00 | -- | Inf
39.08/39.18 c 35.9s| 90000 | 41844 |246237 | 2.7 | 24M| 53 | 7 | 60 |3307 | 60 | 17 | 18 | 31k|1540 | 0.000000e+00 | -- | Inf
43.68/43.72 c 40.1s|100000 | 46186 |273742 | 2.7 | 27M| 53 | - | 60 |3317 | 60 | 17 | 18 | 34k|1613 | 0.000000e+00 | -- | Inf
48.29/48.38 c 44.4s|110000 | 50300 |301515 | 2.7 | 29M| 53 | 7 | 60 |3407 | 60 | 17 | 18 | 38k|1684 | 0.000000e+00 | -- | Inf
52.78/52.87 c 48.5s|120000 | 54705 |328723 | 2.7 | 32M| 53 | 7 | 60 |3605 | 60 | 17 | 18 | 42k|1740 | 0.000000e+00 | -- | Inf
57.47/57.57 c 52.9s|130000 | 58798 |356512 | 2.7 | 34M| 53 | 7 | 60 |3869 | 60 | 17 | 18 | 45k|1797 | 0.000000e+00 | -- | Inf
62.07/62.10 c 57.0s|140000 | 62885 |384072 | 2.7 | 37M| 53 | 7 | 60 |4692 | 60 | 17 | 18 | 49k|1842 | 0.000000e+00 | -- | Inf
66.98/67.03 c 61.6s|150000 | 67021 |411569 | 2.7 | 39M| 53 | - | 60 |4185 | 60 | 17 | 18 | 53k|1890 | 0.000000e+00 | -- | Inf
71.67/71.76 c 66.0s|160000 | 71426 |438182 | 2.7 | 42M| 53 | - | 60 |4167 | 60 | 17 | 18 | 57k|1929 | 0.000000e+00 | -- | Inf
76.57/76.64 c 70.5s|170000 | 75534 |465655 | 2.7 | 44M| 53 | - | 60 |3693 | 60 | 17 | 18 | 60k|1979 | 0.000000e+00 | -- | Inf
80.97/81.06 c 74.6s|180000 | 80028 |492366 | 2.7 | 47M| 53 | 7 | 60 |4458 | 60 | 17 | 18 | 64k|2011 | 0.000000e+00 | -- | Inf
85.96/86.04 c 79.2s|190000 | 83924 |519850 | 2.7 | 49M| 53 | 7 | 60 |4282 | 60 | 17 | 18 | 68k|2042 | 0.000000e+00 | -- | Inf
90.87/90.94 c 83.8s|200000 | 88031 |546711 | 2.7 | 52M| 53 | 7 | 60 |4226 | 60 | 17 | 18 | 72k|2083 | 0.000000e+00 | -- | Inf
95.67/95.74 c 88.2s|210000 | 92273 |574187 | 2.7 | 54M| 53 | - | 60 |4303 | 60 | 17 | 18 | 75k|2116 | 0.000000e+00 | -- | Inf
100.66/100.80 c 92.9s|220000 | 96202 |601596 | 2.7 | 56M| 53 | 7 | 60 |4295 | 60 | 17 | 18 | 79k|2159 | 0.000000e+00 | -- | Inf
105.66/105.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
105.66/105.73 c 97.4s|230000 |100388 |629717 | 2.7 | 59M| 53 | - | 60 |4749 | 60 | 17 | 18 | 83k|2197 | 0.000000e+00 | -- | Inf
110.56/110.61 c 102s|240000 |104590 |657169 | 2.7 | 62M| 54 | - | 60 |5075 | 60 | 17 | 18 | 87k|2228 | 0.000000e+00 | -- | Inf
115.76/115.80 c 107s|250000 |108642 |683945 | 2.7 | 64M| 54 | - | 60 |4719 | 60 | 17 | 18 | 90k|2256 | 0.000000e+00 | -- | Inf
120.76/120.89 c 111s|260000 |112670 |711225 | 2.7 | 66M| 54 | - | 60 |4158 | 60 | 17 | 18 | 94k|2280 | 0.000000e+00 | -- | Inf
125.85/125.94 c 116s|270000 |116499 |738795 | 2.7 | 69M| 54 | 7 | 60 |4632 | 60 | 17 | 18 | 98k|2307 | 0.000000e+00 | -- | Inf
130.76/130.87 c 121s|280000 |120686 |766647 | 2.7 | 71M| 54 | 7 | 60 |4774 | 60 | 17 | 18 | 102k|2329 | 0.000000e+00 | -- | Inf
135.85/135.91 c 125s|290000 |124887 |793695 | 2.7 | 74M| 54 | 7 | 60 |4607 | 60 | 17 | 18 | 106k|2351 | 0.000000e+00 | -- | Inf
140.95/141.01 c 130s|300000 |128935 |821162 | 2.7 | 76M| 54 | 7 | 60 |4496 | 60 | 17 | 18 | 109k|2378 | 0.000000e+00 | -- | Inf
145.85/145.91 c 135s|310000 |133105 |848225 | 2.7 | 78M| 54 | - | 60 |4772 | 60 | 17 | 18 | 113k|2411 | 0.000000e+00 | -- | Inf
151.14/151.21 c 140s|320000 |137059 |875331 | 2.7 | 81M| 54 | - | 60 |4497 | 60 | 17 | 18 | 117k|2445 | 0.000000e+00 | -- | Inf
156.24/156.34 c 144s|330000 |141026 |902890 | 2.7 | 83M| 54 | 7 | 60 |4826 | 60 | 17 | 18 | 121k|2466 | 0.000000e+00 | -- | Inf
161.74/161.81 c 149s|340000 |145022 |929773 | 2.7 | 86M| 54 | 7 | 60 |4643 | 60 | 17 | 18 | 125k|2485 | 0.000000e+00 | -- | Inf
166.74/166.89 c 154s|350000 |149073 |957153 | 2.7 | 88M| 54 | - | 60 |4900 | 60 | 17 | 18 | 129k|2518 | 0.000000e+00 | -- | Inf
172.14/172.25 c 159s|360000 |153121 |983942 | 2.7 | 90M| 54 | 7 | 60 |4579 | 60 | 17 | 18 | 132k|2545 | 0.000000e+00 | -- | Inf
177.44/177.57 c 164s|370000 |157015 | 1011k| 2.7 | 93M| 54 | 7 | 60 |4636 | 60 | 17 | 18 | 136k|2570 | 0.000000e+00 | -- | Inf
182.55/182.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
182.55/182.65 c 169s|380000 |161076 | 1038k| 2.7 | 95M| 54 | 7 | 60 |5076 | 60 | 17 | 18 | 140k|2593 | 0.000000e+00 | -- | Inf
187.84/187.94 c 174s|390000 |165108 | 1066k| 2.7 | 98M| 54 | 7 | 60 |5143 | 60 | 17 | 18 | 144k|2624 | 0.000000e+00 | -- | Inf
193.43/193.52 c 179s|400000 |169149 | 1093k| 2.7 | 100M| 54 | 7 | 60 |4623 | 60 | 17 | 18 | 148k|2649 | 0.000000e+00 | -- | Inf
198.73/198.88 c 184s|410000 |172996 | 1120k| 2.7 | 102M| 54 | 7 | 60 |4510 | 60 | 17 | 18 | 151k|2676 | 0.000000e+00 | -- | Inf
204.23/204.39 c 189s|420000 |176822 | 1147k| 2.7 | 105M| 54 | 7 | 60 |4584 | 60 | 17 | 18 | 155k|2701 | 0.000000e+00 | -- | Inf
209.33/209.48 c 194s|430000 |180811 | 1175k| 2.7 | 107M| 54 | 7 | 60 |5335 | 60 | 17 | 18 | 159k|2719 | 0.000000e+00 | -- | Inf
214.63/214.78 c 199s|440000 |184725 | 1202k| 2.7 | 110M| 54 | 7 | 60 |5118 | 60 | 17 | 18 | 163k|2741 | 0.000000e+00 | -- | Inf
220.12/220.21 c 204s|450000 |188648 | 1229k| 2.7 | 112M| 54 | - | 60 |4966 | 60 | 17 | 18 | 167k|2767 | 0.000000e+00 | -- | Inf
225.22/225.34 c 209s|460000 |192678 | 1256k| 2.7 | 114M| 54 | - | 60 |5129 | 60 | 17 | 18 | 171k|2798 | 0.000000e+00 | -- | Inf
230.52/230.68 c 214s|470000 |196770 | 1283k| 2.7 | 117M| 54 | - | 60 |4932 | 60 | 17 | 18 | 175k|2819 | 0.000000e+00 | -- | Inf
236.12/236.23 c 219s|480000 |200591 | 1311k| 2.7 | 119M| 54 | 7 | 60 |4983 | 60 | 17 | 18 | 179k|2840 | 0.000000e+00 | -- | Inf
241.42/241.56 c 224s|490000 |204586 | 1338k| 2.7 | 122M| 54 | 7 | 60 |4979 | 60 | 17 | 18 | 182k|2861 | 0.000000e+00 | -- | Inf
247.01/247.17 c 229s|500000 |208411 | 1365k| 2.7 | 124M| 54 | 7 | 60 |4733 | 60 | 17 | 18 | 186k|2881 | 0.000000e+00 | -- | Inf
252.12/252.27 c 234s|510000 |212231 | 1393k| 2.7 | 126M| 54 | - | 60 |5428 | 60 | 17 | 18 | 190k|2906 | 0.000000e+00 | -- | Inf
257.61/257.77 c 239s|520000 |215961 | 1421k| 2.7 | 129M| 54 | 7 | 60 |5099 | 60 | 17 | 18 | 194k|2928 | 0.000000e+00 | -- | Inf
263.01/263.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
263.01/263.17 c 244s|530000 |219748 | 1449k| 2.7 | 131M| 54 | 7 | 60 |4963 | 60 | 17 | 18 | 198k|2956 | 0.000000e+00 | -- | Inf
268.32/268.44 c 249s|540000 |223592 | 1476k| 2.7 | 133M| 54 | - | 60 |5005 | 60 | 17 | 18 | 202k|2974 | 0.000000e+00 | -- | Inf
273.50/273.68 c 254s|550000 |227621 | 1503k| 2.7 | 136M| 54 | 7 | 60 |5274 | 60 | 17 | 18 | 206k|2990 | 0.000000e+00 | -- | Inf
279.00/279.12 c 259s|560000 |231590 | 1531k| 2.7 | 138M| 54 | 7 | 60 |4909 | 60 | 17 | 18 | 210k|3010 | 0.000000e+00 | -- | Inf
284.41/284.59 c 264s|570000 |235516 | 1557k| 2.7 | 141M| 54 | - | 60 |5011 | 60 | 17 | 18 | 214k|3036 | 0.000000e+00 | -- | Inf
289.80/289.94 c 269s|580000 |239500 | 1585k| 2.7 | 143M| 54 | 7 | 60 |4970 | 60 | 17 | 18 | 218k|3057 | 0.000000e+00 | -- | Inf
295.11/295.20 c 274s|590000 |243318 | 1612k| 2.7 | 145M| 54 | 7 | 60 |5011 | 60 | 17 | 18 | 222k|3075 | 0.000000e+00 | -- | Inf
300.30/300.47 c 279s|600000 |247340 | 1639k| 2.7 | 148M| 54 | 7 | 60 |4691 | 60 | 17 | 18 | 225k|3089 | 0.000000e+00 | -- | Inf
305.50/305.61 c 283s|610000 |251320 | 1666k| 2.7 | 150M| 54 | 7 | 60 |5004 | 60 | 17 | 18 | 229k|3107 | 0.000000e+00 | -- | Inf
310.69/310.81 c 288s|620000 |255394 | 1693k| 2.7 | 153M| 54 | - | 60 |5207 | 60 | 17 | 18 | 233k|3121 | 0.000000e+00 | -- | Inf
316.19/316.38 c 293s|630000 |259301 | 1721k| 2.7 | 155M| 54 | 7 | 60 |5158 | 60 | 17 | 18 | 237k|3140 | 0.000000e+00 | -- | Inf
321.49/321.69 c 298s|640000 |263237 | 1748k| 2.7 | 157M| 54 | 7 | 60 |5658 | 60 | 17 | 18 | 241k|3156 | 0.000000e+00 | -- | Inf
327.19/327.36 c 304s|650000 |266971 | 1775k| 2.7 | 160M| 54 | 7 | 60 |5128 | 60 | 17 | 18 | 245k|3177 | 0.000000e+00 | -- | Inf
332.69/332.81 c 309s|660000 |270819 | 1802k| 2.7 | 162M| 54 | 7 | 60 |5347 | 60 | 17 | 18 | 249k|3188 | 0.000000e+00 | -- | Inf
337.99/338.16 c 314s|670000 |274594 | 1830k| 2.7 | 165M| 54 | - | 60 |5359 | 60 | 17 | 18 | 253k|3207 | 0.000000e+00 | -- | Inf
342.69/342.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
342.69/342.88 c 318s|680000 |278817 | 1857k| 2.7 | 167M| 54 | 7 | 60 |5815 | 60 | 17 | 18 | 257k|3207 | 0.000000e+00 | -- | Inf
347.88/348.08 c 323s|690000 |282718 | 1884k| 2.7 | 170M| 54 | 7 | 60 |5701 | 60 | 17 | 18 | 261k|3210 | 0.000000e+00 | -- | Inf
353.49/353.67 c 328s|700000 |286605 | 1912k| 2.7 | 172M| 54 | 7 | 60 |5349 | 60 | 17 | 18 | 265k|3222 | 0.000000e+00 | -- | Inf
358.68/358.81 c 333s|710000 |290420 | 1940k| 2.7 | 175M| 54 | - | 60 |6200 | 60 | 17 | 18 | 269k|3241 | 0.000000e+00 | -- | Inf
364.78/364.99 c 339s|720000 |294049 | 1967k| 2.7 | 177M| 54 | - | 60 |5121 | 60 | 17 | 18 | 273k|3262 | 0.000000e+00 | -- | Inf
369.68/369.87 c 343s|730000 |298470 | 1995k| 2.7 | 179M| 54 | - | 60 |5672 | 60 | 17 | 18 | 276k|3273 | 0.000000e+00 | -- | Inf
375.18/375.33 c 348s|740000 |302434 | 2022k| 2.7 | 182M| 54 | 7 | 60 |5844 | 60 | 17 | 18 | 280k|3289 | 0.000000e+00 | -- | Inf
380.87/381.01 c 354s|750000 |306229 | 2050k| 2.7 | 184M| 54 | - | 60 |5933 | 60 | 17 | 18 | 284k|3303 | 0.000000e+00 | -- | Inf
386.67/386.82 c 359s|760000 |310050 | 2077k| 2.7 | 186M| 54 | 7 | 60 |6100 | 60 | 17 | 18 | 288k|3319 | 0.000000e+00 | -- | Inf
392.37/392.51 c 364s|770000 |314011 | 2104k| 2.7 | 189M| 54 | - | 60 |5684 | 60 | 17 | 18 | 292k|3337 | 0.000000e+00 | -- | Inf
398.48/398.66 c 370s|780000 |317628 | 2131k| 2.7 | 191M| 54 | 7 | 60 |5553 | 60 | 17 | 18 | 296k|3353 | 0.000000e+00 | -- | Inf
404.06/404.25 c 375s|790000 |321259 | 2158k| 2.7 | 193M| 54 | 7 | 60 |5901 | 60 | 17 | 18 | 300k|3372 | 0.000000e+00 | -- | Inf
409.87/410.04 c 381s|800000 |325184 | 2186k| 2.7 | 196M| 54 | - | 60 |5618 | 60 | 17 | 18 | 304k|3385 | 0.000000e+00 | -- | Inf
415.67/415.84 c 386s|810000 |329031 | 2213k| 2.7 | 198M| 54 | 7 | 60 |5600 | 60 | 17 | 18 | 308k|3399 | 0.000000e+00 | -- | Inf
421.27/421.42 c 392s|820000 |332828 | 2240k| 2.7 | 200M| 54 | 7 | 60 |5891 | 60 | 17 | 18 | 312k|3420 | 0.000000e+00 | -- | Inf
427.36/427.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
427.36/427.52 c 397s|830000 |336551 | 2267k| 2.7 | 203M| 54 | 7 | 60 |5372 | 60 | 17 | 18 | 316k|3435 | 0.000000e+00 | -- | Inf
432.86/433.05 c 403s|840000 |340510 | 2294k| 2.7 | 205M| 54 | - | 60 |5640 | 60 | 17 | 18 | 320k|3446 | 0.000000e+00 | -- | Inf
439.06/439.21 c 408s|850000 |344171 | 2321k| 2.7 | 207M| 54 | 7 | 60 |5749 | 60 | 17 | 18 | 324k|3463 | 0.000000e+00 | -- | Inf
444.76/444.90 c 414s|860000 |348066 | 2348k| 2.7 | 210M| 54 | 7 | 60 |6091 | 60 | 17 | 18 | 328k|3478 | 0.000000e+00 | -- | Inf
450.56/450.71 c 419s|870000 |351973 | 2376k| 2.7 | 212M| 54 | 7 | 60 |5838 | 60 | 17 | 18 | 332k|3495 | 0.000000e+00 | -- | Inf
455.95/456.19 c 424s|880000 |355895 | 2404k| 2.7 | 215M| 54 | 7 | 60 |6462 | 60 | 17 | 18 | 335k|3508 | 0.000000e+00 | -- | Inf
461.66/461.83 c 429s|890000 |359851 | 2431k| 2.7 | 217M| 54 | 7 | 60 |6225 | 60 | 17 | 18 | 339k|3528 | 0.000000e+00 | -- | Inf
467.65/467.89 c 435s|900000 |363603 | 2458k| 2.7 | 219M| 54 | - | 60 |5768 | 60 | 17 | 18 | 343k|3544 | 0.000000e+00 | -- | Inf
473.75/473.97 c 441s|910000 |367247 | 2486k| 2.7 | 222M| 54 | 7 | 60 |5852 | 60 | 17 | 18 | 347k|3561 | 0.000000e+00 | -- | Inf
480.14/480.34 c 447s|920000 |370807 | 2513k| 2.7 | 224M| 54 | - | 60 |5381 | 60 | 17 | 18 | 351k|3578 | 0.000000e+00 | -- | Inf
486.05/486.21 c 452s|930000 |374506 | 2540k| 2.7 | 226M| 54 | 7 | 60 |5562 | 60 | 17 | 18 | 355k|3589 | 0.000000e+00 | -- | Inf
491.64/491.86 c 458s|940000 |378300 | 2568k| 2.7 | 229M| 54 | 7 | 60 |5755 | 60 | 17 | 18 | 359k|3603 | 0.000000e+00 | -- | Inf
497.74/497.95 c 463s|950000 |381803 | 2595k| 2.7 | 231M| 54 | 7 | 60 |5739 | 60 | 17 | 18 | 364k|3621 | 0.000000e+00 | -- | Inf
503.04/503.21 c 468s|960000 |385923 | 2622k| 2.7 | 234M| 54 | 7 | 60 |6379 | 60 | 17 | 18 | 367k|3637 | 0.000000e+00 | -- | Inf
509.05/509.26 c 474s|970000 |389572 | 2649k| 2.7 | 236M| 54 | 7 | 60 |5681 | 60 | 17 | 18 | 371k|3650 | 0.000000e+00 | -- | Inf
514.74/514.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
514.74/514.93 c 479s|980000 |393282 | 2677k| 2.7 | 238M| 54 | - | 60 |6306 | 60 | 17 | 18 | 375k|3664 | 0.000000e+00 | -- | Inf
520.44/520.69 c 485s|990000 |396914 | 2705k| 2.7 | 241M| 54 | 7 | 60 |6675 | 60 | 17 | 18 | 380k|3677 | 0.000000e+00 | -- | Inf
526.43/526.66 c 490s| 1000k|400528 | 2732k| 2.7 | 243M| 54 | 7 | 60 |6182 | 60 | 17 | 18 | 384k|3695 | 0.000000e+00 | -- | Inf
532.33/532.58 c 496s| 1010k|404231 | 2759k| 2.7 | 245M| 54 | 7 | 60 |6357 | 60 | 17 | 18 | 388k|3707 | 0.000000e+00 | -- | Inf
538.53/538.79 c 502s| 1020k|407732 | 2787k| 2.7 | 248M| 54 | - | 60 |5969 | 60 | 17 | 18 | 392k|3724 | 0.000000e+00 | -- | Inf
544.43/544.62 c 507s| 1030k|411394 | 2814k| 2.7 | 250M| 54 | 7 | 60 |5727 | 60 | 17 | 18 | 396k|3740 | 0.000000e+00 | -- | Inf
550.33/550.52 c 513s| 1040k|414923 | 2842k| 2.7 | 252M| 54 | 7 | 60 |6404 | 60 | 17 | 18 | 400k|3749 | 0.000000e+00 | -- | Inf
556.23/556.46 c 518s| 1050k|418660 | 2869k| 2.7 | 255M| 54 | 7 | 60 |6373 | 60 | 17 | 18 | 404k|3758 | 0.000000e+00 | -- | Inf
561.93/562.17 c 523s| 1060k|422465 | 2896k| 2.7 | 257M| 54 | 7 | 60 |6769 | 60 | 17 | 18 | 408k|3772 | 0.000000e+00 | -- | Inf
568.12/568.36 c 529s| 1070k|426177 | 2923k| 2.7 | 259M| 54 | 7 | 60 |6143 | 60 | 17 | 18 | 412k|3784 | 0.000000e+00 | -- | Inf
573.93/574.10 c 535s| 1080k|429865 | 2951k| 2.7 | 262M| 54 | - | 60 |6750 | 60 | 17 | 18 | 416k|3799 | 0.000000e+00 | -- | Inf
580.12/580.31 c 540s| 1090k|433591 | 2979k| 2.7 | 264M| 54 | - | 60 |6167 | 60 | 17 | 18 | 420k|3818 | 0.000000e+00 | -- | Inf
586.02/586.25 c 546s| 1100k|437157 | 3006k| 2.7 | 266M| 54 | 7 | 60 |6030 | 60 | 17 | 18 | 424k|3839 | 0.000000e+00 | -- | Inf
591.81/592.08 c 551s| 1110k|440952 | 3033k| 2.7 | 268M| 54 | 7 | 60 |6198 | 60 | 17 | 18 | 428k|3856 | 0.000000e+00 | -- | Inf
597.71/597.90 c 557s| 1120k|444662 | 3061k| 2.7 | 271M| 54 | - | 60 |6471 | 60 | 17 | 18 | 432k|3865 | 0.000000e+00 | -- | Inf
603.91/604.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
603.91/604.18 c 563s| 1130k|448160 | 3089k| 2.7 | 273M| 54 | - | 60 |6203 | 60 | 17 | 18 | 436k|3879 | 0.000000e+00 | -- | Inf
610.01/610.22 c 568s| 1140k|451667 | 3115k| 2.7 | 276M| 54 | - | 60 |6780 | 60 | 17 | 18 | 441k|3889 | 0.000000e+00 | -- | Inf
616.10/616.32 c 574s| 1150k|455408 | 3142k| 2.7 | 278M| 54 | - | 60 |6486 | 60 | 17 | 18 | 445k|3901 | 0.000000e+00 | -- | Inf
622.00/622.28 c 580s| 1160k|458922 | 3170k| 2.7 | 280M| 54 | 7 | 60 |6874 | 60 | 17 | 18 | 449k|3912 | 0.000000e+00 | -- | Inf
628.40/628.65 c 586s| 1170k|462614 | 3197k| 2.7 | 282M| 54 | 7 | 60 |6638 | 60 | 17 | 18 | 453k|3927 | 0.000000e+00 | -- | Inf
634.10/634.34 c 591s| 1180k|466519 | 3224k| 2.7 | 285M| 54 | 7 | 60 |7104 | 60 | 17 | 18 | 457k|3943 | 0.000000e+00 | -- | Inf
639.40/639.69 c 596s| 1190k|470489 | 3252k| 2.7 | 287M| 54 | 7 | 60 |7685 | 60 | 17 | 18 | 461k|3957 | 0.000000e+00 | -- | Inf
646.10/646.32 c 602s| 1200k|473949 | 3280k| 2.7 | 290M| 54 | - | 60 |6966 | 60 | 17 | 18 | 465k|3967 | 0.000000e+00 | -- | Inf
652.59/652.81 c 608s| 1210k|477516 | 3308k| 2.7 | 292M| 54 | - | 60 |6535 | 60 | 17 | 18 | 469k|3976 | 0.000000e+00 | -- | Inf
658.79/659.06 c 614s| 1220k|481313 | 3335k| 2.7 | 294M| 54 | - | 60 |6580 | 60 | 17 | 18 | 473k|3989 | 0.000000e+00 | -- | Inf
664.79/665.06 c 620s| 1230k|484964 | 3362k| 2.7 | 297M| 54 | 7 | 60 |7397 | 60 | 17 | 18 | 477k|4000 | 0.000000e+00 | -- | Inf
670.98/671.27 c 626s| 1240k|488591 | 3390k| 2.7 | 299M| 54 | 7 | 60 |7547 | 60 | 17 | 18 | 481k|4012 | 0.000000e+00 | -- | Inf
677.49/677.75 c 632s| 1250k|492227 | 3417k| 2.7 | 301M| 54 | 7 | 60 |6799 | 60 | 17 | 18 | 485k|4023 | 0.000000e+00 | -- | Inf
683.68/684.00 c 638s| 1260k|495738 | 3444k| 2.7 | 304M| 54 | 7 | 60 |7019 | 60 | 17 | 18 | 489k|4031 | 0.000000e+00 | -- | Inf
690.09/690.40 c 644s| 1270k|499379 | 3472k| 2.7 | 306M| 54 | 7 | 60 |6513 | 60 | 17 | 18 | 493k|4045 | 0.000000e+00 | -- | Inf
696.78/697.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
696.78/697.07 c 650s| 1280k|502896 | 3500k| 2.7 | 308M| 54 | - | 60 |6327 | 60 | 17 | 18 | 498k|4059 | 0.000000e+00 | -- | Inf
702.98/703.29 c 656s| 1290k|506550 | 3527k| 2.7 | 310M| 54 | 7 | 60 |6211 | 60 | 17 | 18 | 502k|4075 | 0.000000e+00 | -- | Inf
709.57/709.82 c 662s| 1300k|509905 | 3554k| 2.7 | 313M| 54 | 7 | 60 |6207 | 60 | 17 | 18 | 506k|4087 | 0.000000e+00 | -- | Inf
715.68/715.99 c 668s| 1310k|513430 | 3582k| 2.7 | 315M| 54 | 7 | 60 |6076 | 60 | 17 | 18 | 510k|4100 | 0.000000e+00 | -- | Inf
721.17/721.48 c 673s| 1320k|517444 | 3609k| 2.7 | 317M| 54 | 7 | 60 |6661 | 60 | 17 | 18 | 514k|4105 | 0.000000e+00 | -- | Inf
726.38/726.66 c 678s| 1330k|521507 | 3635k| 2.7 | 320M| 54 | 7 | 60 |7170 | 60 | 17 | 18 | 518k|4112 | 0.000000e+00 | -- | Inf
732.28/732.60 c 683s| 1340k|525031 | 3663k| 2.7 | 322M| 54 | 7 | 60 |7055 | 60 | 17 | 18 | 522k|4123 | 0.000000e+00 | -- | Inf
737.47/737.72 c 688s| 1350k|529349 | 3690k| 2.7 | 325M| 54 | 7 | 60 |7623 | 60 | 17 | 18 | 525k|4136 | 0.000000e+00 | -- | Inf
743.27/743.50 c 694s| 1360k|533216 | 3717k| 2.7 | 327M| 54 | - | 60 |8159 | 60 | 17 | 18 | 529k|4145 | 0.000000e+00 | -- | Inf
750.07/750.32 c 700s| 1370k|536713 | 3745k| 2.7 | 329M| 54 | 7 | 60 |6979 | 60 | 17 | 18 | 534k|4159 | 0.000000e+00 | -- | Inf
756.57/756.82 c 706s| 1380k|540345 | 3772k| 2.7 | 331M| 54 | - | 60 |5973 | 60 | 17 | 18 | 538k|4171 | 0.000000e+00 | -- | Inf
762.96/763.28 c 712s| 1390k|543917 | 3800k| 2.7 | 334M| 54 | - | 60 |5743 | 60 | 17 | 18 | 542k|4181 | 0.000000e+00 | -- | Inf
768.86/769.12 c 718s| 1400k|547480 | 3827k| 2.7 | 336M| 54 | - | 60 |6700 | 60 | 17 | 18 | 546k|4192 | 0.000000e+00 | -- | Inf
775.46/775.73 c 724s| 1410k|550796 | 3855k| 2.7 | 338M| 54 | 7 | 60 |6608 | 60 | 17 | 18 | 550k|4201 | 0.000000e+00 | -- | Inf
781.46/781.79 c 730s| 1420k|554441 | 3883k| 2.7 | 341M| 54 | 7 | 60 |6801 | 60 | 17 | 18 | 554k|4213 | 0.000000e+00 | -- | Inf
787.56/787.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
787.56/787.83 c 735s| 1430k|558150 | 3910k| 2.7 | 343M| 54 | 7 | 60 |6853 | 60 | 17 | 18 | 558k|4217 | 0.000000e+00 | -- | Inf
793.86/794.19 c 741s| 1440k|561637 | 3937k| 2.7 | 346M| 54 | 7 | 60 |6879 | 60 | 17 | 18 | 562k|4224 | 0.000000e+00 | -- | Inf
800.35/800.67 c 747s| 1450k|564970 | 3965k| 2.7 | 348M| 54 | - | 60 |6955 | 60 | 17 | 18 | 567k|4230 | 0.000000e+00 | -- | Inf
806.95/807.23 c 754s| 1460k|568369 | 3993k| 2.7 | 350M| 54 | - | 60 |7016 | 60 | 17 | 18 | 571k|4240 | 0.000000e+00 | -- | Inf
812.44/812.71 c 759s| 1470k|572253 | 4020k| 2.7 | 353M| 54 | - | 60 |7992 | 60 | 17 | 18 | 575k|4251 | 0.000000e+00 | -- | Inf
819.45/819.70 c 765s| 1480k|575752 | 4048k| 2.7 | 355M| 54 | 7 | 60 |6783 | 60 | 17 | 18 | 579k|4257 | 0.000000e+00 | -- | Inf
825.75/826.04 c 771s| 1490k|579215 | 4076k| 2.7 | 357M| 54 | - | 60 |6974 | 60 | 17 | 18 | 583k|4267 | 0.000000e+00 | -- | Inf
832.74/833.09 c 778s| 1500k|582638 | 4103k| 2.7 | 359M| 54 | - | 60 |6315 | 0 | 0 | 18 | 587k|4272 | 0.000000e+00 | -- | Inf
838.74/839.05 c 784s| 1510k|586122 | 4130k| 2.7 | 362M| 54 | 7 | 60 |7249 | 60 | 17 | 18 | 591k|4280 | 0.000000e+00 | -- | Inf
845.44/845.76 c 790s| 1520k|589630 | 4158k| 2.7 | 364M| 54 | 7 | 60 |7116 | 60 | 17 | 18 | 596k|4286 | 0.000000e+00 | -- | Inf
851.93/852.29 c 796s| 1530k|593186 | 4184k| 2.7 | 366M| 54 | 7 | 60 |6474 | 60 | 17 | 18 | 600k|4299 | 0.000000e+00 | -- | Inf
857.74/858.03 c 801s| 1540k|596890 | 4211k| 2.7 | 369M| 54 | 7 | 60 |7107 | 60 | 17 | 18 | 604k|4312 | 0.000000e+00 | -- | Inf
864.54/864.87 c 808s| 1550k|600283 | 4239k| 2.7 | 371M| 54 | 7 | 60 |6345 | 60 | 17 | 18 | 608k|4321 | 0.000000e+00 | -- | Inf
870.94/871.28 c 814s| 1560k|603812 | 4266k| 2.7 | 373M| 54 | 7 | 60 |6494 | 60 | 17 | 18 | 612k|4331 | 0.000000e+00 | -- | Inf
877.83/878.12 c 820s| 1570k|607128 | 4294k| 2.7 | 375M| 54 | 7 | 60 |6161 | 60 | 17 | 18 | 616k|4343 | 0.000000e+00 | -- | Inf
884.22/884.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
884.22/884.50 c 826s| 1580k|610413 | 4322k| 2.7 | 378M| 54 | 7 | 60 |6493 | 60 | 17 | 18 | 621k|4354 | 0.000000e+00 | -- | Inf
890.42/890.71 c 832s| 1590k|614032 | 4351k| 2.7 | 380M| 54 | - | 60 |6825 | 60 | 17 | 18 | 625k|4363 | 0.000000e+00 | -- | Inf
897.23/897.54 c 839s| 1600k|617454 | 4378k| 2.7 | 382M| 54 | - | 60 |6326 | 60 | 17 | 18 | 629k|4374 | 0.000000e+00 | -- | Inf
903.22/903.53 c 844s| 1610k|620973 | 4406k| 2.7 | 384M| 54 | 7 | 60 |6872 | 60 | 17 | 18 | 633k|4387 | 0.000000e+00 | -- | Inf
909.82/910.11 c 851s| 1620k|624446 | 4434k| 2.7 | 387M| 54 | - | 60 |6658 | 60 | 17 | 18 | 637k|4397 | 0.000000e+00 | -- | Inf
914.93/915.20 c 855s| 1630k|628474 | 4461k| 2.7 | 389M| 54 | 7 | 60 |8420 | 60 | 17 | 18 | 641k|4405 | 0.000000e+00 | -- | Inf
921.12/921.42 c 861s| 1640k|631818 | 4487k| 2.7 | 392M| 54 | 7 | 60 |7829 | 60 | 17 | 18 | 646k|4405 | 0.000000e+00 | -- | Inf
927.71/928.06 c 868s| 1650k|635423 | 4514k| 2.7 | 394M| 54 | 7 | 60 |7410 | 60 | 17 | 18 | 650k|4405 | 0.000000e+00 | -- | Inf
934.31/934.64 c 874s| 1660k|638958 | 4542k| 2.7 | 396M| 54 | 7 | 60 |7127 | 60 | 17 | 18 | 654k|4405 | 0.000000e+00 | -- | Inf
941.11/941.42 c 880s| 1670k|642234 | 4569k| 2.7 | 399M| 54 | 7 | 60 |7319 | 60 | 17 | 18 | 658k|4405 | 0.000000e+00 | -- | Inf
947.31/947.66 c 886s| 1680k|645788 | 4597k| 2.7 | 401M| 54 | - | 60 |8143 | 60 | 17 | 18 | 662k|4405 | 0.000000e+00 | -- | Inf
953.70/954.09 c 892s| 1690k|649394 | 4625k| 2.7 | 403M| 54 | - | 60 |8097 | 60 | 17 | 18 | 666k|4405 | 0.000000e+00 | -- | Inf
960.91/961.28 c 899s| 1700k|652688 | 4653k| 2.7 | 405M| 54 | 7 | 60 |7454 | 60 | 17 | 18 | 671k|4405 | 0.000000e+00 | -- | Inf
967.71/968.06 c 905s| 1710k|656161 | 4680k| 2.7 | 408M| 54 | 7 | 60 |7042 | 60 | 17 | 18 | 675k|4405 | 0.000000e+00 | -- | Inf
974.10/974.48 c 911s| 1720k|659622 | 4708k| 2.7 | 410M| 54 | 7 | 60 |7424 | 60 | 17 | 18 | 679k|4405 | 0.000000e+00 | -- | Inf
979.10/979.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
979.10/979.44 c 916s| 1730k|664157 | 4734k| 2.7 | 413M| 54 | 7 | 60 |8610 | 60 | 17 | 18 | 683k|4405 | 0.000000e+00 | -- | Inf
984.39/984.79 c 921s| 1740k|668347 | 4759k| 2.7 | 415M| 54 | - | 60 |8631 | 60 | 17 | 18 | 686k|4405 | 0.000000e+00 | -- | Inf
991.39/991.73 c 928s| 1750k|671903 | 4786k| 2.7 | 417M| 54 | 7 | 60 |7572 | 60 | 17 | 18 | 690k|4405 | 0.000000e+00 | -- | Inf
998.29/998.69 c 934s| 1760k|675316 | 4814k| 2.7 | 419M| 54 | - | 60 |6721 | 60 | 17 | 18 | 695k|4405 | 0.000000e+00 | -- | Inf
1004.39/1004.71 c 940s| 1770k|679074 | 4842k| 2.7 | 422M| 54 | 7 | 60 |7402 | 60 | 17 | 18 | 699k|4405 | 0.000000e+00 | -- | Inf
1009.49/1009.81 c 945s| 1780k|683078 | 4869k| 2.7 | 425M| 54 | 7 | 60 |9364 | 60 | 17 | 18 | 703k|4405 | 0.000000e+00 | -- | Inf
1015.09/1015.44 c 950s| 1790k|686828 | 4897k| 2.7 | 427M| 54 | 7 | 60 | 10k| 60 | 17 | 18 | 707k|4405 | 0.000000e+00 | -- | Inf
1022.28/1022.62 c 957s| 1800k|690054 | 4926k| 2.7 | 430M| 54 | 7 | 60 |9844 | 60 | 17 | 18 | 711k|4405 | 0.000000e+00 | -- | Inf
1028.68/1029.07 c 963s| 1810k|693807 | 4954k| 2.7 | 432M| 54 | 7 | 60 |9035 | 60 | 17 | 18 | 715k|4409 | 0.000000e+00 | -- | Inf
1035.78/1036.16 c 969s| 1820k|697134 | 4981k| 2.7 | 434M| 54 | - | 60 |8249 | 60 | 17 | 18 | 719k|4421 | 0.000000e+00 | -- | Inf
1041.38/1041.75 c 975s| 1830k|700998 | 5008k| 2.7 | 436M| 54 | 7 | 60 |8132 | 60 | 17 | 18 | 723k|4424 | 0.000000e+00 | -- | Inf
1047.88/1048.29 c 981s| 1840k|704629 | 5035k| 2.7 | 438M| 54 | 7 | 60 |7890 | 60 | 17 | 18 | 727k|4430 | 0.000000e+00 | -- | Inf
1054.78/1055.13 c 987s| 1850k|708036 | 5063k| 2.7 | 441M| 54 | 7 | 60 |7548 | 60 | 17 | 18 | 732k|4437 | 0.000000e+00 | -- | Inf
1061.57/1061.98 c 994s| 1860k|711228 | 5091k| 2.7 | 443M| 54 | 7 | 60 |7615 | 60 | 17 | 18 | 736k|4444 | 0.000000e+00 | -- | Inf
1067.98/1068.38 c 1000s| 1870k|714999 | 5118k| 2.7 | 445M| 54 | 7 | 60 |7633 | 60 | 17 | 18 | 740k|4449 | 0.000000e+00 | -- | Inf
1074.47/1074.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1074.47/1074.88 c 1006s| 1880k|718347 | 5145k| 2.7 | 448M| 54 | - | 60 |7924 | 60 | 17 | 18 | 744k|4453 | 0.000000e+00 | -- | Inf
1081.97/1082.32 c 1013s| 1890k|721559 | 5173k| 2.7 | 450M| 54 | 7 | 60 |7285 | 60 | 17 | 18 | 749k|4460 | 0.000000e+00 | -- | Inf
1087.97/1088.32 c 1019s| 1900k|724962 | 5201k| 2.7 | 452M| 54 | - | 60 |7988 | 60 | 17 | 18 | 753k|4471 | 0.000000e+00 | -- | Inf
1094.96/1095.30 c 1025s| 1910k|728181 | 5229k| 2.7 | 454M| 54 | 7 | 60 |7873 | 60 | 17 | 18 | 758k|4477 | 0.000000e+00 | -- | Inf
1101.96/1102.38 c 1032s| 1920k|731599 | 5256k| 2.7 | 457M| 54 | - | 60 |7718 | 60 | 17 | 18 | 762k|4483 | 0.000000e+00 | -- | Inf
1109.16/1109.56 c 1039s| 1930k|734919 | 5284k| 2.7 | 459M| 54 | 7 | 60 |7485 | 60 | 17 | 18 | 766k|4493 | 0.000000e+00 | -- | Inf
1115.16/1115.55 c 1044s| 1940k|738579 | 5311k| 2.7 | 461M| 54 | - | 60 |8418 | 60 | 17 | 18 | 770k|4503 | 0.000000e+00 | -- | Inf
1122.35/1122.79 c 1051s| 1950k|741860 | 5339k| 2.7 | 463M| 54 | 7 | 60 |7206 | 60 | 17 | 18 | 774k|4511 | 0.000000e+00 | -- | Inf
1127.85/1128.22 c 1056s| 1960k|745814 | 5367k| 2.7 | 466M| 54 | 7 | 60 |8213 | 60 | 17 | 18 | 778k|4517 | 0.000000e+00 | -- | Inf
1134.76/1135.18 c 1063s| 1970k|749313 | 5394k| 2.7 | 468M| 54 | 7 | 60 |7805 | 60 | 17 | 18 | 782k|4526 | 0.000000e+00 | -- | Inf
1141.55/1141.99 c 1069s| 1980k|752867 | 5422k| 2.7 | 470M| 54 | 7 | 60 |7666 | 60 | 17 | 18 | 787k|4530 | 0.000000e+00 | -- | Inf
1148.85/1149.25 c 1076s| 1990k|756050 | 5450k| 2.7 | 472M| 54 | - | 60 |7442 | 60 | 17 | 18 | 791k|4538 | 0.000000e+00 | -- | Inf
1154.94/1155.38 c 1082s| 2000k|759529 | 5477k| 2.7 | 475M| 54 | - | 60 |8382 | 60 | 17 | 18 | 795k|4551 | 0.000000e+00 | -- | Inf
1161.74/1162.16 c 1088s| 2010k|762897 | 5505k| 2.7 | 477M| 54 | 7 | 60 |8423 | 60 | 17 | 18 | 799k|4559 | 0.000000e+00 | -- | Inf
1169.64/1170.04 c 1096s| 2020k|765985 | 5533k| 2.7 | 479M| 54 | - | 60 |7421 | 60 | 17 | 18 | 804k|4572 | 0.000000e+00 | -- | Inf
1175.74/1176.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1175.74/1176.18 c 1102s| 2030k|769629 | 5560k| 2.7 | 482M| 54 | - | 60 |8433 | 60 | 17 | 18 | 808k|4581 | 0.000000e+00 | -- | Inf
1182.54/1182.90 c 1108s| 2040k|773099 | 5588k| 2.7 | 484M| 54 | 7 | 60 |7871 | 60 | 17 | 18 | 812k|4590 | 0.000000e+00 | -- | Inf
1189.24/1189.60 c 1114s| 2050k|776750 | 5615k| 2.7 | 486M| 54 | 7 | 60 |7987 | 60 | 17 | 18 | 816k|4598 | 0.000000e+00 | -- | Inf
1194.43/1194.81 c 1119s| 2060k|780930 | 5642k| 2.7 | 489M| 54 | 7 | 60 | 10k| 60 | 17 | 18 | 820k|4609 | 0.000000e+00 | -- | Inf
1201.43/1201.89 c 1126s| 2070k|784628 | 5669k| 2.7 | 491M| 54 | 7 | 60 |7987 | 60 | 17 | 18 | 824k|4619 | 0.000000e+00 | -- | Inf
1208.23/1208.64 c 1132s| 2080k|787928 | 5697k| 2.7 | 493M| 54 | 7 | 60 |7945 | 60 | 17 | 18 | 828k|4633 | 0.000000e+00 | -- | Inf
1214.73/1215.17 c 1138s| 2090k|791541 | 5724k| 2.7 | 496M| 54 | 7 | 60 |7684 | 60 | 17 | 18 | 832k|4645 | 0.000000e+00 | -- | Inf
1221.33/1221.73 c 1145s| 2100k|795337 | 5751k| 2.7 | 498M| 54 | - | 60 |7675 | 60 | 17 | 18 | 836k|4654 | 0.000000e+00 | -- | Inf
1228.33/1228.75 c 1151s| 2110k|798661 | 5778k| 2.7 | 500M| 54 | 7 | 60 |7182 | 60 | 17 | 18 | 841k|4662 | 0.000000e+00 | -- | Inf
1234.32/1234.73 c 1157s| 2120k|802109 | 5806k| 2.7 | 503M| 54 | 7 | 60 |8331 | 60 | 17 | 18 | 845k|4672 | 0.000000e+00 | -- | Inf
1241.32/1241.71 c 1163s| 2130k|805595 | 5833k| 2.7 | 505M| 54 | 7 | 60 |7474 | 60 | 17 | 18 | 849k|4681 | 0.000000e+00 | -- | Inf
1248.22/1248.68 c 1170s| 2140k|808912 | 5861k| 2.7 | 507M| 54 | - | 60 |7444 | 60 | 17 | 18 | 853k|4691 | 0.000000e+00 | -- | Inf
1253.92/1254.34 c 1175s| 2150k|812622 | 5888k| 2.7 | 510M| 54 | 7 | 60 |9140 | 60 | 17 | 18 | 858k|4703 | 0.000000e+00 | -- | Inf
1260.61/1261.06 c 1182s| 2160k|816200 | 5916k| 2.7 | 512M| 54 | 7 | 60 |8801 | 60 | 17 | 18 | 862k|4710 | 0.000000e+00 | -- | Inf
1268.01/1268.41 c 1189s| 2170k|819546 | 5943k| 2.7 | 514M| 54 | 7 | 60 |7599 | 60 | 17 | 18 | 866k|4723 | 0.000000e+00 | -- | Inf
1273.90/1274.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1273.90/1274.32 c 1194s| 2180k|823094 | 5971k| 2.7 | 517M| 54 | 7 | 60 |8548 | 60 | 17 | 18 | 870k|4731 | 0.000000e+00 | -- | Inf
1280.31/1280.79 c 1200s| 2190k|826712 | 5999k| 2.7 | 519M| 54 | 7 | 60 |8381 | 60 | 17 | 18 | 874k|4737 | 0.000000e+00 | -- | Inf
1285.90/1286.40 c 1206s| 2200k|830580 | 6027k| 2.7 | 521M| 54 | 7 | 60 |9470 | 60 | 17 | 18 | 878k|4744 | 0.000000e+00 | -- | Inf
1293.50/1293.94 c 1213s| 2210k|833616 | 6054k| 2.7 | 523M| 54 | 7 | 60 |8040 | 60 | 17 | 18 | 883k|4757 | 0.000000e+00 | -- | Inf
1300.10/1300.59 c 1219s| 2220k|837091 | 6082k| 2.7 | 526M| 54 | 7 | 60 |7873 | 60 | 17 | 18 | 887k|4765 | 0.000000e+00 | -- | Inf
1306.80/1307.23 c 1225s| 2230k|840368 | 6110k| 2.7 | 528M| 54 | 7 | 60 |7655 | 60 | 17 | 18 | 891k|4778 | 0.000000e+00 | -- | Inf
1312.80/1313.28 c 1231s| 2240k|844120 | 6137k| 2.7 | 530M| 54 | 7 | 60 |7527 | 60 | 17 | 18 | 895k|4786 | 0.000000e+00 | -- | Inf
1318.80/1319.26 c 1237s| 2250k|847574 | 6164k| 2.7 | 533M| 54 | 7 | 60 |8340 | 60 | 17 | 18 | 900k|4797 | 0.000000e+00 | -- | Inf
1325.30/1325.73 c 1243s| 2260k|850913 | 6191k| 2.7 | 535M| 54 | 7 | 60 |8476 | 60 | 17 | 18 | 904k|4809 | 0.000000e+00 | -- | Inf
1332.10/1332.53 c 1249s| 2270k|854323 | 6219k| 2.7 | 537M| 54 | 7 | 60 |7715 | 60 | 17 | 18 | 908k|4820 | 0.000000e+00 | -- | Inf
1338.49/1338.97 c 1255s| 2280k|858013 | 6246k| 2.7 | 539M| 54 | 7 | 60 |7952 | 60 | 17 | 18 | 912k|4829 | 0.000000e+00 | -- | Inf
1344.59/1345.07 c 1261s| 2290k|861857 | 6274k| 2.7 | 542M| 54 | 7 | 60 |9031 | 60 | 17 | 18 | 916k|4838 | 0.000000e+00 | -- | Inf
1351.59/1352.03 c 1268s| 2300k|865056 | 6302k| 2.7 | 544M| 54 | - | 60 |8957 | 0 | 0 | 18 | 921k|4846 | 0.000000e+00 | -- | Inf
1358.58/1359.03 c 1274s| 2310k|868530 | 6331k| 2.7 | 546M| 54 | - | 60 |8641 | 60 | 17 | 18 | 925k|4855 | 0.000000e+00 | -- | Inf
1365.08/1365.57 c 1280s| 2320k|871972 | 6359k| 2.7 | 549M| 54 | 7 | 60 |9382 | 60 | 17 | 18 | 929k|4862 | 0.000000e+00 | -- | Inf
1372.28/1372.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1372.28/1372.71 c 1287s| 2330k|875569 | 6386k| 2.7 | 551M| 54 | 7 | 60 |8340 | 60 | 17 | 18 | 933k|4874 | 0.000000e+00 | -- | Inf
1378.68/1379.19 c 1293s| 2340k|879192 | 6412k| 2.7 | 553M| 54 | - | 60 |8624 | 60 | 17 | 18 | 937k|4884 | 0.000000e+00 | -- | Inf
1386.28/1386.72 c 1300s| 2350k|882350 | 6440k| 2.7 | 555M| 54 | 7 | 60 |7553 | 60 | 17 | 18 | 942k|4893 | 0.000000e+00 | -- | Inf
1393.08/1393.53 c 1307s| 2360k|885694 | 6468k| 2.7 | 558M| 54 | - | 60 |7850 | 60 | 17 | 18 | 946k|4900 | 0.000000e+00 | -- | Inf
1398.88/1399.40 c 1312s| 2370k|889323 | 6494k| 2.7 | 560M| 54 | 7 | 60 |8732 | 60 | 17 | 18 | 950k|4906 | 0.000000e+00 | -- | Inf
1405.27/1405.71 c 1318s| 2380k|892871 | 6522k| 2.7 | 563M| 54 | 7 | 60 |9427 | 60 | 17 | 18 | 954k|4913 | 0.000000e+00 | -- | Inf
1411.47/1411.93 c 1324s| 2390k|896671 | 6549k| 2.7 | 565M| 54 | 7 | 60 | 10k| 60 | 17 | 18 | 958k|4925 | 0.000000e+00 | -- | Inf
1418.66/1419.10 c 1331s| 2400k|900019 | 6576k| 2.7 | 567M| 54 | - | 60 |9762 | 60 | 17 | 18 | 963k|4937 | 0.000000e+00 | -- | Inf
1426.27/1426.72 c 1338s| 2410k|903351 | 6604k| 2.7 | 569M| 54 | 7 | 60 |8250 | 60 | 17 | 18 | 967k|4945 | 0.000000e+00 | -- | Inf
1433.87/1434.33 c 1345s| 2420k|906534 | 6632k| 2.7 | 571M| 54 | - | 60 |7299 | 0 | 0 | 18 | 971k|4952 | 0.000000e+00 | -- | Inf
1440.66/1441.11 c 1352s| 2430k|909848 | 6661k| 2.7 | 574M| 54 | - | 60 |7813 | 60 | 17 | 18 | 976k|4967 | 0.000000e+00 | -- | Inf
1446.66/1447.15 c 1357s| 2440k|913656 | 6688k| 2.7 | 576M| 54 | 7 | 60 |8621 | 60 | 17 | 18 | 980k|4973 | 0.000000e+00 | -- | Inf
1453.25/1453.75 c 1364s| 2450k|917214 | 6716k| 2.7 | 578M| 54 | 7 | 60 |8758 | 60 | 17 | 18 | 984k|4987 | 0.000000e+00 | -- | Inf
1459.46/1459.94 c 1370s| 2460k|920979 | 6743k| 2.7 | 581M| 54 | 7 | 60 |9316 | 60 | 17 | 18 | 988k|4997 | 0.000000e+00 | -- | Inf
1466.85/1467.36 c 1377s| 2470k|924255 | 6771k| 2.7 | 583M| 54 | - | 60 |8405 | 60 | 17 | 18 | 992k|5003 | 0.000000e+00 | -- | Inf
1474.05/1474.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1474.05/1474.55 c 1383s| 2480k|927524 | 6799k| 2.7 | 585M| 54 | 7 | 60 |7715 | 60 | 17 | 18 | 996k|5012 | 0.000000e+00 | -- | Inf
1480.65/1481.17 c 1390s| 2490k|931001 | 6827k| 2.7 | 587M| 54 | 7 | 60 |7773 | 60 | 17 | 18 |1000k|5021 | 0.000000e+00 | -- | Inf
1487.45/1487.91 c 1396s| 2500k|934520 | 6853k| 2.7 | 590M| 54 | 7 | 60 |7922 | 60 | 17 | 18 |1004k|5030 | 0.000000e+00 | -- | Inf
1494.64/1495.20 c 1403s| 2510k|937806 | 6881k| 2.7 | 592M| 54 | 7 | 60 |7517 | 60 | 17 | 18 |1009k|5039 | 0.000000e+00 | -- | Inf
1501.74/1502.23 c 1410s| 2520k|940907 | 6909k| 2.7 | 594M| 54 | 7 | 60 |7388 | 60 | 17 | 18 |1013k|5048 | 0.000000e+00 | -- | Inf
1508.44/1508.99 c 1416s| 2530k|944263 | 6937k| 2.7 | 596M| 54 | - | 60 |7927 | 0 | 0 | 18 |1017k|5060 | 0.000000e+00 | -- | Inf
1515.24/1515.79 c 1422s| 2540k|947567 | 6964k| 2.7 | 599M| 54 | 7 | 60 |8370 | 60 | 17 | 18 |1022k|5070 | 0.000000e+00 | -- | Inf
1521.84/1522.35 c 1429s| 2550k|951042 | 6992k| 2.7 | 601M| 54 | 7 | 60 |8688 | 60 | 17 | 18 |1026k|5079 | 0.000000e+00 | -- | Inf
1528.63/1529.13 c 1435s| 2560k|954534 | 7020k| 2.7 | 603M| 54 | 7 | 60 |8156 | 60 | 17 | 18 |1030k|5090 | 0.000000e+00 | -- | Inf
1536.33/1536.80 c 1442s| 2570k|957581 | 7047k| 2.7 | 605M| 54 | 7 | 60 |7633 | 60 | 17 | 18 |1035k|5096 | 0.000000e+00 | -- | Inf
1542.93/1543.41 c 1449s| 2580k|961174 | 7075k| 2.7 | 608M| 54 | 7 | 60 |8098 | 60 | 17 | 18 |1039k|5107 | 0.000000e+00 | -- | Inf
1549.03/1549.56 c 1454s| 2590k|964682 | 7102k| 2.7 | 610M| 54 | 7 | 60 |8891 | 60 | 17 | 18 |1043k|5118 | 0.000000e+00 | -- | Inf
1556.82/1557.38 c 1462s| 2600k|967882 | 7129k| 2.7 | 612M| 54 | - | 60 |7452 | 60 | 17 | 18 |1047k|5124 | 0.000000e+00 | -- | Inf
1563.73/1564.21 c 1468s| 2610k|971288 | 7157k| 2.7 | 614M| 54 | 7 | 60 |7606 | 60 | 17 | 18 |1052k|5137 | 0.000000e+00 | -- | Inf
1569.81/1570.30 c 1474s| 2620k|974951 | 7185k| 2.7 | 617M| 54 | - | 60 |8374 | 60 | 17 | 18 |1056k|5147 | 0.000000e+00 | -- | Inf
1576.01/1576.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1576.01/1576.54 c 1480s| 2630k|978397 | 7212k| 2.7 | 619M| 54 | 7 | 60 |8389 | 60 | 17 | 18 |1060k|5153 | 0.000000e+00 | -- | Inf
1582.32/1582.86 c 1486s| 2640k|981840 | 7240k| 2.7 | 622M| 54 | 7 | 60 |9141 | 60 | 17 | 18 |1064k|5166 | 0.000000e+00 | -- | Inf
1590.01/1590.55 c 1493s| 2650k|985096 | 7268k| 2.7 | 624M| 54 | 7 | 60 |8400 | 60 | 17 | 18 |1068k|5177 | 0.000000e+00 | -- | Inf
1597.71/1598.27 c 1500s| 2660k|988329 | 7296k| 2.7 | 626M| 54 | 7 | 60 |7679 | 60 | 17 | 18 |1073k|5188 | 0.000000e+00 | -- | Inf
1605.01/1605.55 c 1507s| 2670k|991769 | 7323k| 2.7 | 628M| 54 | 7 | 60 |7056 | 60 | 17 | 18 |1077k|5198 | 0.000000e+00 | -- | Inf
1611.40/1611.90 c 1513s| 2680k|995152 | 7351k| 2.7 | 630M| 54 | 7 | 60 |7877 | 60 | 17 | 18 |1081k|5206 | 0.000000e+00 | -- | Inf
1617.61/1618.19 c 1519s| 2690k|998917 | 7379k| 2.7 | 633M| 54 | 7 | 60 |8540 | 60 | 17 | 18 |1085k|5214 | 0.000000e+00 | -- | Inf
1624.00/1624.53 c 1525s| 2700k| 1002k| 7405k| 2.7 | 635M| 54 | 7 | 60 |9037 | 60 | 17 | 18 |1089k|5220 | 0.000000e+00 | -- | Inf
1631.39/1631.90 c 1532s| 2710k| 1005k| 7433k| 2.7 | 637M| 54 | 7 | 60 |8523 | 60 | 17 | 18 |1093k|5226 | 0.000000e+00 | -- | Inf
1637.89/1638.49 c 1538s| 2720k| 1009k| 7460k| 2.7 | 640M| 54 | 7 | 60 |9130 | 60 | 17 | 18 |1098k|5236 | 0.000000e+00 | -- | Inf
1644.39/1644.95 c 1544s| 2730k| 1012k| 7487k| 2.7 | 642M| 54 | 7 | 60 |9303 | 60 | 17 | 18 |1102k|5245 | 0.000000e+00 | -- | Inf
1650.99/1651.58 c 1551s| 2740k| 1016k| 7515k| 2.7 | 645M| 54 | 7 | 60 |9536 | 60 | 17 | 18 |1106k|5258 | 0.000000e+00 | -- | Inf
1657.10/1657.64 c 1556s| 2750k| 1019k| 7543k| 2.7 | 647M| 54 | 7 | 60 |9575 | 60 | 17 | 18 |1110k|5265 | 0.000000e+00 | -- | Inf
1664.19/1664.79 c 1563s| 2760k| 1023k| 7571k| 2.7 | 649M| 54 | 7 | 60 |9549 | 60 | 17 | 18 |1114k|5278 | 0.000000e+00 | -- | Inf
1671.58/1672.16 c 1570s| 2770k| 1026k| 7599k| 2.7 | 651M| 54 | 7 | 60 |8913 | 60 | 17 | 18 |1119k|5284 | 0.000000e+00 | -- | Inf
1678.19/1678.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1678.19/1678.78 c 1576s| 2780k| 1029k| 7627k| 2.7 | 653M| 54 | 7 | 60 |9423 | 60 | 17 | 18 |1123k|5288 | 0.000000e+00 | -- | Inf
1685.38/1685.99 c 1583s| 2790k| 1032k| 7655k| 2.7 | 656M| 54 | 7 | 60 |8918 | 60 | 17 | 18 |1127k|5294 | 0.000000e+00 | -- | Inf
1692.39/1692.93 c 1590s| 2800k| 1036k| 7682k| 2.7 | 658M| 54 | 7 | 60 |9114 | 60 | 17 | 18 |1132k|5303 | 0.000000e+00 | -- | Inf
1700.77/1701.34 c 1598s| 2810k| 1039k| 7710k| 2.7 | 660M| 54 | - | 60 |7534 | 60 | 17 | 18 |1136k|5314 | 0.000000e+00 | -- | Inf
1707.27/1707.88 c 1604s| 2820k| 1042k| 7737k| 2.7 | 662M| 54 | 7 | 60 |8400 | 60 | 17 | 18 |1140k|5323 | 0.000000e+00 | -- | Inf
1715.07/1715.68 c 1612s| 2830k| 1045k| 7765k| 2.7 | 664M| 54 | 7 | 60 |7751 | 60 | 17 | 18 |1145k|5334 | 0.000000e+00 | -- | Inf
1721.77/1722.36 c 1618s| 2840k| 1049k| 7792k| 2.7 | 667M| 54 | - | 60 |8191 | 60 | 17 | 18 |1149k|5344 | 0.000000e+00 | -- | Inf
1729.16/1729.75 c 1625s| 2850k| 1052k| 7820k| 2.7 | 669M| 54 | 7 | 60 |7596 | 60 | 17 | 18 |1153k|5349 | 0.000000e+00 | -- | Inf
1736.67/1737.20 c 1632s| 2860k| 1055k| 7848k| 2.7 | 671M| 54 | 7 | 60 |7689 | 60 | 17 | 18 |1158k|5353 | 0.000000e+00 | -- | Inf
1742.56/1743.11 c 1637s| 2870k| 1059k| 7876k| 2.7 | 674M| 54 | 7 | 60 |9039 | 60 | 17 | 18 |1162k|5357 | 0.000000e+00 | -- | Inf
1749.96/1750.50 c 1644s| 2880k| 1062k| 7903k| 2.7 | 676M| 54 | - | 60 |8328 | 60 | 17 | 18 |1166k|5363 | 0.000000e+00 | -- | Inf
1756.66/1757.23 c 1651s| 2890k| 1065k| 7931k| 2.7 | 678M| 54 | 7 | 60 |8587 | 60 | 17 | 18 |1171k|5370 | 0.000000e+00 | -- | Inf
1764.06/1764.70 c 1658s| 2900k| 1069k| 7959k| 2.7 | 680M| 54 | 7 | 60 |8482 | 60 | 17 | 18 |1175k|5383 | 0.000000e+00 | -- | Inf
1771.16/1771.78 c 1665s| 2910k| 1072k| 7987k| 2.7 | 683M| 54 | - | 60 |8400 | 60 | 17 | 18 |1179k|5390 | 0.000000e+00 | -- | Inf
1777.35/1777.90 c 1670s| 2920k| 1076k| 8014k| 2.7 | 685M| 54 | 7 | 60 |9318 | 60 | 17 | 18 |1183k|5397 | 0.000000e+00 | -- | Inf
1783.66/1784.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1783.66/1784.23 c 1676s| 2930k| 1079k| 8042k| 2.7 | 688M| 54 | - | 60 | 10k| 0 | 0 | 18 |1187k|5404 | 0.000000e+00 | -- | Inf
1791.54/1792.14 c 1684s| 2940k| 1083k| 8070k| 2.7 | 690M| 54 | 7 | 60 |9430 | 60 | 17 | 18 |1192k|5415 | 0.000000e+00 | -- | Inf
1797.94/1798.55 c 1690s| 2950k| 1086k| 8097k| 2.7 | 692M| 54 | 7 | 60 |9842 | 60 | 17 | 18 |1196k|5420 | 0.000000e+00 | -- | Inf
1800.05/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.61 c
1800.05/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.61 c Solving Time (sec) : 1691.87
1800.05/1800.61 c Solving Nodes : 2953413
1800.05/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.05/1800.61 c Dual Bound : +0.00000000000000e+00
1800.05/1800.61 c Gap : infinite
1800.05/1800.61 s UNKNOWN
1800.05/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.61 c Solving Time : 1691.87
1800.05/1800.61 c Original Problem :
1800.05/1800.61 c Problem name : HOME/instance-2667661-1276614391.opb
1800.05/1800.61 c Variables : 61 (61 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.61 c Constraints : 15 initial, 15 maximal
1800.05/1800.61 c Presolved Problem :
1800.05/1800.61 c Problem name : t_HOME/instance-2667661-1276614391.opb
1800.05/1800.61 c Variables : 60 (60 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.61 c Constraints : 7 initial, 10833 maximal
1800.05/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.05/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c probing : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c linear : 0.00 0 0 0 0 0 8 0 0
1800.05/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c root node : - 0 - - 0 - - - -
1800.05/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.61 c integral : 0 0 0 2032188 0 421 1874 0 0 4059974
1800.05/1800.61 c linear : 7+ 7 6055638 0 0 39588 1042760 0 0 0
1800.05/1800.61 c logicor : 0+ 0 2814493 0 0 2090 819681 0 0 0
1800.05/1800.61 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.61 c integral : 24.62 0.00 0.00 24.62 0.00
1800.05/1800.61 c linear : 295.70 0.00 295.70 0.00 0.00
1800.05/1800.61 c logicor : 393.22 0.00 393.22 0.00 0.00
1800.05/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.61 c vbounds : 2.85 2 0 0
1800.05/1800.61 c rootredcost : 2.88 0 0 0
1800.05/1800.61 c pseudoobj : 2.68 0 0 0
1800.05/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.61 c propagation : 5.23 41678 36714 126737 44.1 3 34.0 -
1800.05/1800.61 c infeasible LP : 59.05 895292 895259 1568749 27.6 10651 32.9 0
1800.05/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.61 c applied globally : - - - 1070188 23.0 - - -
1800.05/1800.61 c applied locally : - - - 127449 37.9 - - -
1800.05/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.61 c cut pool : 0.00 5 - - 9 - (maximal pool size: 71)
1800.05/1800.61 c redcost : 4.64 2032188 0 0 0 0
1800.05/1800.61 c impliedbounds : 0.00 6 0 0 0 0
1800.05/1800.61 c intobj : 0.00 0 0 0 0 0
1800.05/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.61 c gomory : 0.01 6 0 0 0 0
1800.05/1800.61 c strongcg : 0.00 6 0 0 34 0
1800.05/1800.61 c cmir : 0.04 6 0 0 20 0
1800.05/1800.61 c flowcover : 0.01 6 0 0 28 0
1800.05/1800.61 c clique : 0.00 1 0 0 0 0
1800.05/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.61 c mcf : 0.00 1 0 0 0 0
1800.05/1800.61 c rapidlearning : 0.09 1 0 0 0 2
1800.05/1800.61 c Pricers : Time Calls Vars
1800.05/1800.61 c problem variables: 0.00 0 0
1800.05/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.61 c relpscost : 21.65 2032188 421 1874 0 0 4059974
1800.05/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.61 c inference : 0.00 0 0 0 0 0 0
1800.05/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.61 c random : 0.00 0 0 0 0 0 0
1800.05/1800.61 c Primal Heuristics : Time Calls Found
1800.05/1800.61 c LP solutions : 0.00 - 0
1800.05/1800.61 c pseudo solutions : 0.00 - 0
1800.05/1800.61 c oneopt : 2.93 0 0
1800.05/1800.61 c crossover : 1.85 0 0
1800.05/1800.61 c guideddiving : 0.20 0 0
1800.05/1800.61 c intshifting : 0.15 0 0
1800.05/1800.61 c objpscostdiving : 0.13 24 0
1800.05/1800.61 c rootsoldiving : 0.18 24 0
1800.05/1800.61 c linesearchdiving : 0.17 48 0
1800.05/1800.61 c coefdiving : 0.31 48 0
1800.05/1800.61 c pscostdiving : 0.21 48 0
1800.05/1800.61 c fracdiving : 0.17 48 0
1800.05/1800.61 c veclendiving : 0.20 48 0
1800.05/1800.61 c feaspump : 0.21 25 0
1800.05/1800.61 c trivial : 0.00 2 0
1800.05/1800.61 c simplerounding : 0.96 0 0
1800.05/1800.61 c zirounding : 1.57 1000 0
1800.05/1800.61 c rounding : 2.49 20178 0
1800.05/1800.61 c shifting : 4.39 6323 0
1800.05/1800.61 c twoopt : 0.00 0 0
1800.05/1800.61 c fixandinfer : 0.00 0 0
1800.05/1800.61 c intdiving : 0.00 0 0
1800.05/1800.61 c actconsdiving : 0.00 0 0
1800.05/1800.61 c octane : 0.00 0 0
1800.05/1800.61 c rens : 0.03 1 0
1800.05/1800.61 c rins : 0.00 0 0
1800.05/1800.61 c localbranching : 0.00 0 0
1800.05/1800.61 c mutation : 0.00 0 0
1800.05/1800.61 c dins : 0.00 0 0
1800.05/1800.61 c undercover : 0.00 0 0
1800.05/1800.61 c nlp : 1.50 0 0
1800.05/1800.61 c trysol : 2.00 0 0
1800.05/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.61 c dual LP : 306.26 2874466 8103059 2.82 26458.10
1800.05/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.61 c diving/probing LP: 0.20 1868 4189 2.24 20945.00
1800.05/1800.61 c strong branching : 1.00 5422 25643 4.73 25643.00
1800.05/1800.61 c (at root node) : - 9 298 33.11 -
1800.05/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.61 c B&B Tree :
1800.05/1800.61 c number of runs : 1
1800.05/1800.61 c nodes : 2953413
1800.05/1800.61 c nodes (total) : 2953413
1800.05/1800.61 c nodes left : 1088075
1800.05/1800.61 c max depth : 54
1800.05/1800.61 c max depth (total): 54
1800.05/1800.61 c backtracks : 302157 (10.2%)
1800.05/1800.61 c delayed cutoffs : 18487
1800.05/1800.61 c repropagations : 2157892 (976733 domain reductions, 13357 cutoffs)
1800.05/1800.61 c avg switch length: 5.64
1800.05/1800.61 c switching time : 331.11
1800.05/1800.61 c Solution :
1800.05/1800.61 c Solutions found : 0 (0 improvements)
1800.05/1800.61 c Primal Bound : -
1800.05/1800.61 c Dual Bound : +0.00000000000000e+00
1800.05/1800.61 c Gap : infinite
1800.05/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.61 c Root Iterations : 182
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2667661-1276614391/watcher-2667661-1276614391 -o /tmp/evaluation-result-2667661-1276614391/solver-2667661-1276614391 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667661-1276614391.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 2/105 9970
/proc/meminfo: memFree=1519560/2059040 swapFree=4192956/4192956
[pid=9970] ppid=9968 vsize=7724 CPUtime=0
/proc/9970/stat : 9970 (pbscip.linux.x8) R 9968 9970 9318 0 -1 4202496 1141 0 0 0 0 0 0 0 25 0 1 0 2732682 7909376 1061 1992294400 4194304 8223781 140733744036208 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9970/statm: 1931 1071 348 984 0 944 0
[startup+0.056503 s]
/proc/loadavg: 0.92 0.98 0.99 2/105 9970
/proc/meminfo: memFree=1519560/2059040 swapFree=4192956/4192956
[pid=9970] ppid=9968 vsize=19744 CPUtime=0.04
/proc/9970/stat : 9970 (pbscip.linux.x8) R 9968 9970 9318 0 -1 4202496 4937 0 0 0 3 1 0 0 25 0 1 0 2732682 20217856 3710 1992294400 4194304 8223781 140733744036208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9970/statm: 4936 3710 567 984 0 3949 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 19744
[startup+0.101507 s]
/proc/loadavg: 0.92 0.98 0.99 2/105 9970
/proc/meminfo: memFree=1519560/2059040 swapFree=4192956/4192956
[pid=9970] ppid=9968 vsize=19884 CPUtime=0.09
/proc/9970/stat : 9970 (pbscip.linux.x8) R 9968 9970 9318 0 -1 4202496 4952 0 0 0 8 1 0 0 25 0 1 0 2732682 20361216 3725 1992294400 4194304 8223781 140733744036208 18446744073709551615 4979046 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9970/statm: 4971 3725 568 984 0 3984 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19884
[startup+0.301532 s]
/proc/loadavg: 0.92 0.98 0.99 2/105 9970
/proc/meminfo: memFree=1519560/2059040 swapFree=4192956/4192956
[pid=9970] ppid=9968 vsize=13436 CPUtime=0.29
/proc/9970/stat : 9970 (pbscip.linux.x8) R 9968 9970 9318 0 -1 4202496 7947 0 0 0 26 3 0 0 25 0 1 0 2732682 13758464 2516 1992294400 4194304 8223781 140733744036208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9970/statm: 3359 2516 586 984 0 2372 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13436
[startup+0.701579 s]
/proc/loadavg: 0.92 0.98 0.99 2/105 9970
/proc/meminfo: memFree=1519560/2059040 swapFree=4192956/4192956
[pid=9970] ppid=9968 vsize=13436 CPUtime=0.69
/proc/9970/stat : 9970 (pbscip.linux.x8) R 9968 9970 9318 0 -1 4202496 7950 0 0 0 62 7 0 0 25 0 1 0 2732682 13758464 2519 1992294400 4194304 8223781 140733744036208 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9970/statm: 3359 2519 588 984 0 2372 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13436
[startup+1.50068 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 9971
/proc/meminfo: memFree=1511120/2059040 swapFree=4192956/4192956
[pid=9970] ppid=9968 vsize=14552 CPUtime=1.49
/proc/9970/stat : 9970 (pbscip.linux.x8) R 9968 9970 9318 0 -1 4202496 8201 0 0 0 134 15 0 0 25 0 1 0 2732682 14901248 2770 1992294400 4194304 8223781 140733744036208 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9970/statm: 3638 2770 588 984 0 2651 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14552
[startup+3.10087 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 9971
/proc/meminfo: memFree=1509632/2059040 swapFree=4192956/4192956
[pid=9970] ppid=9968 vsize=17152 CPUtime=3.09
/proc/9970/stat : 9970 (pbscip.linux.x8) R 9968 9970 9318 0 -1 4202496 8881 0 0 0 280 29 0 0 25 0 1 0 2732682 17563648 3450 1992294400 4194304 8223781 140733744036208 18446744073709551615 7073940 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9970/statm: 4288 3450 588 984 0 3301 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17152
[startup+6.30125 s]
/proc/loadavg: 0.93 0.98 0.99 2/106 9971
/proc/meminfo: memFree=1506036/2059040 swapFree=4192956/4192956
[pid=9970] ppid=9968 vsize=20028 CPUtime=6.29
/proc/9970/stat : 9970 (pbscip.linux.x8) R 9968 9970 9318 0 -1 4202496 9612 0 0 0 578 51 0 0 25 0 1 0 2732682 20508672 4181 1992294400 4194304 8223781 140733744036208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9970/statm: 5007 4181 588 984 0 4020 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20028
[startup+12.701 s]
/proc/loadavg: 0.93 0.98 0.99 2/106 9971
/proc/meminfo: memFree=1500208/2059040 swapFree=4192956/4192956
[pid=9970] ppid=9968 vsize=24544 CPUtime=12.69
/proc/9970/stat : 9970 (pbscip.linux.x8) R 9968 9970 9318 0 -1 4202496 10751 0 0 0 1164 105 0 0 25 0 1 0 2732682 25133056 5320 1992294400 4194304 8223781 140733744036208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9970/statm: 6136 5320 588 984 0 5149 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24544
[startup+25.5015 s]
/proc/loadavg: 0.95 0.98 0.99 2/106 9971
/proc/meminfo: memFree=1491280/2059040 swapFree=4192956/4192956
[pid=9970] ppid=9968 vsize=33456 CPUtime=25.49
/proc/9970/stat : 9970 (pbscip.linux.x8) R 9968 9970 9318 0 -1 4202496 13044 0 0 0 2335 214 0 0 25 0 1 0 2732682 34258944 7613 1992294400 4194304 8223781 140733744036208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9970/statm: 8364 7613 588 984 0 7377 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 33456
[startup+51.1016 s]
/proc/loadavg: 0.96 0.98 0.99 2/106 9971
/proc/meminfo: memFree=1475904/2059040 swapFree=4192956/4192956
[pid=9970] ppid=9968 vsize=48676 CPUtime=51.08
/proc/9970/stat : 9970 (pbscip.linux.x8) R 9968 9970 9318 0 -1 4202496 16917 0 0 0 4689 419 0 0 25 0 1 0 2732682 49844224 11486 1992294400 4194304 8223781 140733744036208 18446744073709551615 4979046 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9970/statm: 12169 11486 588 984 0 11182 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 48676
[startup+102.309 s]
/proc/loadavg: 0.98 0.98 0.99 2/106 9973
/proc/meminfo: memFree=1446888/2059040 swapFree=4192956/4192956
[pid=9970] ppid=9968 vsize=78568 CPUtime=102.27
/proc/9970/stat : 9970 (pbscip.linux.x8) R 9968 9970 9318 0 -1 4202496 24012 0 0 0 9429 798 0 0 25 0 1 0 2732682 80453632 18581 1992294400 4194304 8223781 140733744036208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9970/statm: 19642 18581 588 984 0 18655 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 78568
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 9975
/proc/meminfo: memFree=1415764/2059040 swapFree=4192956/4192956
[pid=9970] ppid=9968 vsize=108708 CPUtime=162.24
/proc/9970/stat : 9970 (pbscip.linux.x8) R 9968 9970 9318 0 -1 4202496 31739 0 0 0 14991 1233 0 0 25 0 1 0 2732682 111316992 26308 1992294400 4194304 8223781 140733744036208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9970/statm: 27177 26308 588 984 0 26190 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 108708
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 9977
/proc/meminfo: memFree=1385508/2059040 swapFree=4192956/4192956
[pid=9970] ppid=9968 vsize=138188 CPUtime=222.23
/proc/9970/stat : 9970 (pbscip.linux.x8) R 9968 9970 9318 0 -1 4202496 39268 0 0 0 20571 1652 0 0 25 0 1 0 2732682 141504512 33837 1992294400 4194304 8223781 140733744036208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9970/statm: 34547 33837 588 984 0 33560 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 138188
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 9979
/proc/meminfo: memFree=1358848/2059040 swapFree=4192956/4192956
[pid=9970] ppid=9968 vsize=168016 CPUtime=282.21
/proc/9970/stat : 9970 (pbscip.linux.x8) R 9968 9970 9318 0 -1 4202496 45870 0 0 0 26165 2056 0 0 25 0 1 0 2732682 172048384 40439 1992294400 4194304 8223781 140733744036208 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9970/statm: 42004 40439 588 984 0 41017 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 168016
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 9979
/proc/meminfo: memFree=1332932/2059040 swapFree=4192956/4192956
[pid=9970] ppid=9968 vsize=193364 CPUtime=342.19
/proc/9970/stat : 9970 (pbscip.linux.x8) R 9968 9970 9318 0 -1 4202496 52331 0 0 0 31754 2465 0 0 25 0 1 0 2732682 198004736 46900 1992294400 4194304 8223781 140733744036208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9970/statm: 48341 46900 588 984 0 47354 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 193364
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 9981
/proc/meminfo: memFree=1303296/2059040 swapFree=4192956/4192956
[pid=9970] ppid=9968 vsize=222668 CPUtime=402.17
/proc/9970/stat : 9970 (pbscip.linux.x8) R 9968 9970 9318 0 -1 4202496 59808 0 0 0 37365 2852 0 0 25 0 1 0 2732682 228012032 54377 1992294400 4194304 8223781 140733744036208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9970/statm: 55667 54377 588 984 0 54680 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 222668
[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 9983
/proc/meminfo: memFree=1275024/2059040 swapFree=4192956/4192956
[pid=9970] ppid=9968 vsize=249848 CPUtime=462.15
/proc/9970/stat : 9970 (pbscip.linux.x8) R 9968 9970 9318 0 -1 4202496 66748 0 0 0 42986 3229 0 0 25 0 1 0 2732682 255844352 61317 1992294400 4194304 8223781 140733744036208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9970/statm: 62462 61317 588 984 0 61475 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 249848
[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 9985
/proc/meminfo: memFree=1249232/2059040 swapFree=4192956/4192956
[pid=9970] ppid=9968 vsize=274724 CPUtime=522.13
/proc/9970/stat : 9970 (pbscip.linux.x8) R 9968 9970 9318 0 -1 4202496 73122 0 0 0 48613 3600 0 0 25 0 1 0 2732682 281317376 67691 1992294400 4194304 8223781 140733744036208 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9970/statm: 68681 67691 588 984 0 67694 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 274724
[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 9987
/proc/meminfo: memFree=1227780/2059040 swapFree=4192956/4192956
[pid=9970] ppid=9968 vsize=295468 CPUtime=582.12
/proc/9970/stat : 9970 (pbscip.linux.x8) R 9968 9970 9318 0 -1 4202496 78453 0 0 0 54230 3982 0 0 25 0 1 0 2732682 302559232 73022 1992294400 4194304 8223781 140733744036208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9970/statm: 73867 73022 588 984 0 72880 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 295468
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 9987
/proc/meminfo: memFree=1203352/2059040 swapFree=4192956/4192956
[pid=9970] ppid=9968 vsize=327584 CPUtime=642.11
/proc/9970/stat : 9970 (pbscip.linux.x8) R 9968 9970 9318 0 -1 4202496 84530 0 0 0 59851 4360 0 0 25 0 1 0 2732682 335446016 79099 1992294400 4194304 8223781 140733744036208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9970/statm: 81896 79099 588 984 0 80909 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 327584
[startup+702.302 s]
################
# More data... #
################
/proc/9970/stat : 9970 (pbscip.linux.x8) R 9968 9970 9318 0 -1 4202496 120191 0 0 0 93761 6438 0 0 25 0 1 0 2732682 478179328 114760 1992294400 4194304 8223781 140733744036208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9970/statm: 116743 114760 588 984 0 115756 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 466972
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 9999
/proc/meminfo: memFree=1036944/2059040 swapFree=4192956/4192956
[pid=9970] ppid=9968 vsize=488972 CPUtime=1061.97
/proc/9970/stat : 9970 (pbscip.linux.x8) R 9968 9970 9318 0 -1 4202496 125827 0 0 0 99418 6779 0 0 25 0 1 0 2732682 500707328 120396 1992294400 4194304 8223781 140733744036208 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9970/statm: 122243 120396 588 984 0 121256 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 488972
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 10001
/proc/meminfo: memFree=1016608/2059040 swapFree=4192956/4192956
[pid=9970] ppid=9968 vsize=509288 CPUtime=1121.95
/proc/9970/stat : 9970 (pbscip.linux.x8) R 9968 9970 9318 0 -1 4202496 130901 0 0 0 105087 7108 0 0 25 0 1 0 2732682 521510912 125470 1992294400 4194304 8223781 140733744036208 18446744073709551615 4947397 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9970/statm: 127322 125470 588 984 0 126335 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 509288
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 10003
/proc/meminfo: memFree=996644/2059040 swapFree=4192956/4192956
[pid=9970] ppid=9968 vsize=529176 CPUtime=1181.94
/proc/9970/stat : 9970 (pbscip.linux.x8) R 9968 9970 9318 0 -1 4202496 136035 0 0 0 110746 7448 0 0 25 0 1 0 2732682 541876224 130604 1992294400 4194304 8223781 140733744036208 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9970/statm: 132294 130604 588 984 0 131307 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 529176
[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 10003
/proc/meminfo: memFree=974200/2059040 swapFree=4192956/4192956
[pid=9970] ppid=9968 vsize=549800 CPUtime=1241.92
/proc/9970/stat : 9970 (pbscip.linux.x8) R 9968 9970 9318 0 -1 4202496 141362 0 0 0 116399 7793 0 0 25 0 1 0 2732682 562995200 135931 1992294400 4194304 8223781 140733744036208 18446744073709551615 4979426 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9970/statm: 137450 135931 588 984 0 136463 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 549800
[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 10005
/proc/meminfo: memFree=954856/2059040 swapFree=4192956/4192956
[pid=9970] ppid=9968 vsize=568280 CPUtime=1301.9
/proc/9970/stat : 9970 (pbscip.linux.x8) R 9968 9970 9318 0 -1 4202496 146138 0 0 0 122056 8134 0 0 25 0 1 0 2732682 581918720 140707 1992294400 4194304 8223781 140733744036208 18446744073709551615 4677840 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9970/statm: 142070 140707 588 984 0 141083 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 568280
[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 10007
/proc/meminfo: memFree=935636/2059040 swapFree=4192956/4192956
[pid=9970] ppid=9968 vsize=587520 CPUtime=1361.88
/proc/9970/stat : 9970 (pbscip.linux.x8) R 9968 9970 9318 0 -1 4202496 150950 0 0 0 127722 8466 0 0 25 0 1 0 2732682 601620480 145519 1992294400 4194304 8223781 140733744036208 18446744073709551615 6123172 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9970/statm: 146880 145519 588 984 0 145893 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 587520
[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 10009
/proc/meminfo: memFree=913316/2059040 swapFree=4192956/4192956
[pid=9970] ppid=9968 vsize=609188 CPUtime=1421.87
/proc/9970/stat : 9970 (pbscip.linux.x8) R 9968 9970 9318 0 -1 4202496 156508 0 0 0 133391 8796 0 0 25 0 1 0 2732682 623808512 151077 1992294400 4194304 8223781 140733744036208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9970/statm: 152297 151077 588 984 0 151310 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 609188
[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 10011
/proc/meminfo: memFree=894592/2059040 swapFree=4192956/4192956
[pid=9970] ppid=9968 vsize=627056 CPUtime=1481.85
/proc/9970/stat : 9970 (pbscip.linux.x8) R 9968 9970 9318 0 -1 4202496 161120 0 0 0 139082 9103 0 0 25 0 1 0 2732682 642105344 155689 1992294400 4194304 8223781 140733744036208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9970/statm: 156764 155689 588 984 0 155777 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 627056
[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 10011
/proc/meminfo: memFree=873016/2059040 swapFree=4192956/4192956
[pid=9970] ppid=9968 vsize=647864 CPUtime=1541.83
/proc/9970/stat : 9970 (pbscip.linux.x8) R 9968 9970 9318 0 -1 4202496 166463 0 0 0 144754 9429 0 0 25 0 1 0 2732682 663412736 161032 1992294400 4194304 8223781 140733744036208 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9970/statm: 161966 161032 588 984 0 160979 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 647864
[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 10016
/proc/meminfo: memFree=851440/2059040 swapFree=4192956/4192956
[pid=9970] ppid=9968 vsize=685084 CPUtime=1601.81
/proc/9970/stat : 9970 (pbscip.linux.x8) R 9968 9970 9318 0 -1 4202496 171793 0 0 0 150425 9756 0 0 25 0 1 0 2732682 701526016 166362 1992294400 4194304 8223781 140733744036208 18446744073709551615 4999842 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9970/statm: 171271 166362 588 984 0 170284 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 685084
[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 10018
/proc/meminfo: memFree=831228/2059040 swapFree=4192956/4192956
[pid=9970] ppid=9968 vsize=705372 CPUtime=1661.79
/proc/9970/stat : 9970 (pbscip.linux.x8) R 9968 9970 9318 0 -1 4202496 176839 0 0 0 156084 10095 0 0 25 0 1 0 2732682 722300928 171408 1992294400 4194304 8223781 140733744036208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9970/statm: 176343 171408 588 984 0 175356 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 705372
[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 10020
/proc/meminfo: memFree=812132/2059040 swapFree=4192956/4192956
[pid=9970] ppid=9968 vsize=724000 CPUtime=1721.77
/proc/9970/stat : 9970 (pbscip.linux.x8) R 9968 9970 9318 0 -1 4202496 181633 0 0 0 161776 10401 0 0 25 0 1 0 2732682 741376000 176202 1992294400 4194304 8223781 140733744036208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9970/statm: 181000 176202 588 984 0 180013 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 724000
[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 10022
/proc/meminfo: memFree=790060/2059040 swapFree=4192956/4192956
[pid=9970] ppid=9968 vsize=745468 CPUtime=1781.75
/proc/9970/stat : 9970 (pbscip.linux.x8) R 9968 9970 9318 0 -1 4202496 187167 0 0 0 167454 10721 0 0 25 0 1 0 2732682 763359232 181736 1992294400 4194304 8223781 140733744036208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9970/statm: 186367 181736 588 984 0 185380 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 745468
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 10022
/proc/meminfo: memFree=785224/2059040 swapFree=4192956/4192956
[pid=9970] ppid=9968 vsize=749772 CPUtime=1800.05
/proc/9970/stat : 9970 (pbscip.linux.x8) R 9968 9970 9318 0 -1 4202496 188272 0 0 0 169187 10818 0 0 25 0 1 0 2732682 767766528 182841 1992294400 4194304 8223781 140733744036208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9970/statm: 187443 182841 588 984 0 186456 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 749772
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -9970
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 10022
/proc/meminfo: memFree=785224/2059040 swapFree=4192956/4192956
[pid=9970] ppid=9968 vsize=749772 CPUtime=1800.84
/proc/9970/stat : 9970 (pbscip.linux.x8) R 9968 9970 9318 0 -1 4202496 188273 0 0 0 169266 10818 0 0 25 0 1 0 2732682 767766528 182842 1992294400 4194304 8223781 140733744036208 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9970/statm: 187443 182842 589 984 0 186456 0
Current children cumulated CPU time (s) 1800.84
Current children cumulated vsize (KiB) 749772
[startup+1802.2 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10023
/proc/meminfo: memFree=785092/2059040 swapFree=4192956/4192956
[pid=9970] ppid=9968 vsize=749772 CPUtime=1801.64
/proc/9970/stat : 9970 (pbscip.linux.x8) R 9968 9970 9318 0 -1 4202496 188273 0 0 0 169346 10818 0 0 25 0 1 0 2732682 767766528 182842 1992294400 4194304 8223781 140733744036208 18446744073709551615 4615481 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9970/statm: 187443 182842 589 984 0 186456 0
Current children cumulated CPU time (s) 1801.64
Current children cumulated vsize (KiB) 749772
[startup+1802.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10023
/proc/meminfo: memFree=785092/2059040 swapFree=4192956/4192956
[pid=9970] ppid=9968 vsize=749772 CPUtime=1802.04
/proc/9970/stat : 9970 (pbscip.linux.x8) R 9968 9970 9318 0 -1 4202496 188273 0 0 0 169386 10818 0 0 25 0 1 0 2732682 767766528 182842 1992294400 4194304 8223781 140733744036208 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9970/statm: 187443 182842 589 984 0 186456 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 749772
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.68
CPU time (s): 1802.13
CPU user time (s): 1693.88
CPU system time (s): 108.251
CPU usage (%): 99.9693
Max. virtual memory (cumulated for all children) (KiB): 749772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1693.88
system time used= 108.251
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 188273
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= 1828
runsolver used 2.96855 second user time and 8.5347 second system time
The end