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-2666874-1276602451.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.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.00/0.03 c presolving (3 rounds):
0.00/0.03 c 1 deleted vars, 8 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03 c 0 implications, 0 cliques
0.00/0.03 c presolved problem has 60 variables (60 bin, 0 int, 0 impl, 0 cont) and 7 constraints
0.00/0.03 c 7 constraints of type <linear>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.00
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 1.2.1.2
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1800
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 1620
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 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 | 41 | - | 321k| 0 | 7 | 60 | 7 | 60 | 7 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.16 c 0.1s| 1 | 0 | 142 | - | 365k| 0 | 13 | 60 | 7 | 60 | 14 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.17 c 0.1s| 1 | 0 | 147 | - | 389k| 0 | 14 | 60 | 7 | 60 | 17 | 10 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 c 0.1s| 1 | 0 | 156 | - | 408k| 0 | 17 | 60 | 7 | 60 | 20 | 13 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.20 c 0.2s| 1 | 0 | 165 | - | 427k| 0 | 20 | 60 | 7 | 60 | 23 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.22 c 0.2s| 1 | 0 | 179 | - | 443k| 0 | 20 | 60 | 7 | 60 | 25 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.24 c 0.2s| 1 | 0 | 186 | - | 454k| 0 | 23 | 60 | 7 | 60 | 27 | 20 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.40 c 0.3s| 1 | 2 | 186 | - | 454k| 0 | 23 | 60 | 7 | 60 | 27 | 20 | 0 | 9 | 0.000000e+00 | -- | Inf
5.29/5.34 c 4.9s| 10000 | 4138 | 29605 | 2.9 |4170k| 53 | - | 60 |2901 | 0 | 0 | 20 |4088 | 529 | 0.000000e+00 | -- | Inf
10.29/10.34 c 9.5s| 20000 | 7695 | 59047 | 2.9 |6387k| 53 | 7 | 60 |2227 | 60 | 23 | 20 |8573 | 712 | 0.000000e+00 | -- | Inf
15.09/15.12 c 13.9s| 30000 | 11019 | 87418 | 2.9 |8725k| 53 | - | 60 |2596 | 60 | 23 | 20 | 13k| 860 | 0.000000e+00 | -- | Inf
19.99/20.05 c 18.5s| 40000 | 14057 |116336 | 2.9 | 10M| 53 | - | 60 |2589 | 60 | 23 | 20 | 17k| 982 | 0.000000e+00 | -- | Inf
24.98/25.01 c 23.1s| 50000 | 17088 |145966 | 2.9 | 13M| 53 | 7 | 60 |2915 | 60 | 23 | 20 | 22k|1111 | 0.000000e+00 | -- | Inf
30.08/30.16 c 27.8s| 60000 | 20002 |174389 | 2.9 | 15M| 53 | 7 | 60 |2971 | 60 | 23 | 20 | 27k|1214 | 0.000000e+00 | -- | Inf
35.19/35.25 c 32.4s| 70000 | 22748 |203098 | 2.9 | 17M| 53 | 7 | 60 |3271 | 60 | 23 | 20 | 32k|1299 | 0.000000e+00 | -- | Inf
40.38/40.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
40.38/40.43 c 37.2s| 80000 | 25614 |232053 | 2.9 | 19M| 53 | - | 60 |3512 | 60 | 23 | 20 | 37k|1396 | 0.000000e+00 | -- | Inf
45.38/45.47 c 41.9s| 90000 | 28817 |260467 | 2.9 | 22M| 53 | - | 60 |3757 | 60 | 23 | 20 | 42k|1465 | 0.000000e+00 | -- | Inf
50.87/50.91 c 46.9s|100000 | 31474 |289752 | 2.9 | 24M| 53 | 7 | 60 |3329 | 60 | 23 | 20 | 47k|1531 | 0.000000e+00 | -- | Inf
55.99/56.05 c 51.6s|110000 | 34526 |318806 | 2.9 | 26M| 53 | 7 | 60 |3355 | 60 | 23 | 20 | 52k|1586 | 0.000000e+00 | -- | Inf
61.38/61.44 c 56.6s|120000 | 37294 |347164 | 2.9 | 28M| 53 | 7 | 60 |3581 | 60 | 23 | 20 | 57k|1640 | 0.000000e+00 | -- | Inf
66.78/66.80 c 61.5s|130000 | 40102 |375635 | 2.9 | 31M| 53 | 7 | 60 |4005 | 60 | 23 | 20 | 62k|1699 | 0.000000e+00 | -- | Inf
72.18/72.23 c 66.6s|140000 | 43006 |404550 | 2.9 | 33M| 53 | - | 60 |4144 | 60 | 23 | 20 | 67k|1747 | 0.000000e+00 | -- | Inf
77.37/77.46 c 71.4s|150000 | 46007 |431725 | 2.9 | 35M| 53 | - | 60 |3966 | 60 | 23 | 20 | 71k|1789 | 0.000000e+00 | -- | Inf
82.77/82.89 c 76.4s|160000 | 48873 |461128 | 2.9 | 37M| 53 | 7 | 60 |4606 | 60 | 23 | 20 | 76k|1819 | 0.000000e+00 | -- | Inf
88.27/88.37 c 81.5s|170000 | 51760 |489816 | 2.9 | 39M| 53 | 7 | 60 |4348 | 60 | 23 | 20 | 81k|1869 | 0.000000e+00 | -- | Inf
93.87/93.96 c 86.6s|180000 | 54410 |518186 | 2.9 | 42M| 53 | 7 | 60 |4082 | 60 | 23 | 20 | 86k|1915 | 0.000000e+00 | -- | Inf
99.37/99.44 c 91.7s|190000 | 57112 |546984 | 2.9 | 44M| 53 | 7 | 60 |4029 | 60 | 23 | 20 | 91k|1949 | 0.000000e+00 | -- | Inf
104.97/105.02 c 96.9s|200000 | 59669 |575804 | 2.9 | 46M| 53 | - | 60 |3710 | 60 | 23 | 20 | 96k|1994 | 0.000000e+00 | -- | Inf
110.37/110.47 c 102s|210000 | 62443 |603774 | 2.9 | 48M| 53 | 7 | 60 |3826 | 60 | 23 | 20 | 101k|2034 | 0.000000e+00 | -- | Inf
116.06/116.17 c 107s|220000 | 64958 |632064 | 2.9 | 50M| 53 | - | 60 |3938 | 60 | 23 | 20 | 106k|2071 | 0.000000e+00 | -- | Inf
121.56/121.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
121.56/121.62 c 112s|230000 | 67670 |660372 | 2.9 | 52M| 54 | - | 60 |4342 | 60 | 23 | 20 | 111k|2097 | 0.000000e+00 | -- | Inf
127.06/127.15 c 117s|240000 | 70391 |688440 | 2.9 | 55M| 54 | - | 60 |4627 | 60 | 23 | 20 | 116k|2119 | 0.000000e+00 | -- | Inf
132.66/132.71 c 123s|250000 | 73176 |717086 | 2.9 | 57M| 54 | 7 | 60 |3776 | 60 | 23 | 20 | 121k|2143 | 0.000000e+00 | -- | Inf
138.07/138.15 c 128s|260000 | 75916 |745651 | 2.9 | 59M| 54 | 7 | 60 |4040 | 60 | 23 | 20 | 126k|2167 | 0.000000e+00 | -- | Inf
143.56/143.68 c 133s|270000 | 78630 |774362 | 2.9 | 61M| 54 | - | 60 |4363 | 60 | 23 | 20 | 131k|2194 | 0.000000e+00 | -- | Inf
149.26/149.31 c 138s|280000 | 81234 |802831 | 2.9 | 63M| 54 | 7 | 60 |4452 | 60 | 23 | 20 | 136k|2222 | 0.000000e+00 | -- | Inf
155.07/155.18 c 143s|290000 | 83900 |830668 | 2.9 | 65M| 54 | - | 60 |4387 | 60 | 23 | 20 | 142k|2242 | 0.000000e+00 | -- | Inf
160.86/160.90 c 149s|300000 | 86497 |859232 | 2.9 | 68M| 54 | - | 60 |4545 | 60 | 23 | 20 | 147k|2262 | 0.000000e+00 | -- | Inf
166.65/166.76 c 154s|310000 | 89071 |886650 | 2.9 | 70M| 54 | 7 | 60 |4446 | 60 | 23 | 20 | 152k|2292 | 0.000000e+00 | -- | Inf
172.45/172.54 c 160s|320000 | 91856 |914951 | 2.9 | 72M| 54 | 7 | 60 |4206 | 60 | 23 | 20 | 157k|2324 | 0.000000e+00 | -- | Inf
177.95/178.02 c 165s|330000 | 94686 |942961 | 2.9 | 74M| 54 | 7 | 60 |4352 | 60 | 23 | 20 | 162k|2346 | 0.000000e+00 | -- | Inf
183.65/183.71 c 170s|340000 | 97335 |971429 | 2.9 | 76M| 54 | - | 60 |4565 | 60 | 23 | 20 | 167k|2365 | 0.000000e+00 | -- | Inf
189.35/189.47 c 175s|350000 | 99880 |999383 | 2.9 | 78M| 54 | - | 60 |4806 | 60 | 23 | 20 | 172k|2381 | 0.000000e+00 | -- | Inf
195.35/195.40 c 181s|360000 |102400 | 1027k| 2.9 | 80M| 54 | 7 | 60 |4751 | 60 | 23 | 20 | 177k|2406 | 0.000000e+00 | -- | Inf
201.35/201.40 c 186s|370000 |104837 | 1054k| 2.9 | 82M| 54 | - | 60 |4391 | 60 | 23 | 20 | 182k|2423 | 0.000000e+00 | -- | Inf
207.04/207.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
207.04/207.13 c 192s|380000 |107403 | 1083k| 2.9 | 85M| 54 | 7 | 60 |4846 | 60 | 23 | 20 | 187k|2434 | 0.000000e+00 | -- | Inf
213.04/213.10 c 197s|390000 |109835 | 1111k| 2.9 | 87M| 54 | - | 60 |4389 | 60 | 23 | 20 | 192k|2450 | 0.000000e+00 | -- | Inf
218.75/218.88 c 203s|400000 |112447 | 1139k| 2.8 | 89M| 54 | 7 | 60 |4260 | 60 | 23 | 20 | 197k|2478 | 0.000000e+00 | -- | Inf
224.54/224.60 c 208s|410000 |114941 | 1167k| 2.8 | 91M| 54 | - | 60 |4362 | 60 | 23 | 20 | 202k|2492 | 0.000000e+00 | -- | Inf
230.34/230.43 c 213s|420000 |117396 | 1196k| 2.8 | 93M| 54 | 7 | 60 |4591 | 60 | 23 | 20 | 208k|2515 | 0.000000e+00 | -- | Inf
235.84/235.98 c 218s|430000 |120233 | 1225k| 2.8 | 96M| 54 | 7 | 60 |5521 | 60 | 23 | 20 | 212k|2538 | 0.000000e+00 | -- | Inf
242.14/242.25 c 224s|440000 |122677 | 1252k| 2.8 | 98M| 54 | - | 60 |4758 | 60 | 23 | 20 | 218k|2559 | 0.000000e+00 | -- | Inf
247.83/247.96 c 230s|450000 |125568 | 1281k| 2.8 | 100M| 54 | - | 60 |5297 | 60 | 23 | 20 | 223k|2585 | 0.000000e+00 | -- | Inf
253.73/253.86 c 235s|460000 |128099 | 1310k| 2.8 | 102M| 54 | 7 | 60 |5913 | 60 | 23 | 20 | 228k|2599 | 0.000000e+00 | -- | Inf
260.24/260.37 c 241s|470000 |130455 | 1338k| 2.8 | 104M| 54 | 7 | 60 |4500 | 60 | 23 | 20 | 233k|2617 | 0.000000e+00 | -- | Inf
266.33/266.42 c 247s|480000 |132973 | 1366k| 2.8 | 106M| 54 | 7 | 60 |4493 | 60 | 23 | 20 | 238k|2633 | 0.000000e+00 | -- | Inf
271.93/272.07 c 252s|490000 |135632 | 1395k| 2.8 | 108M| 54 | - | 60 |5211 | 60 | 23 | 20 | 243k|2653 | 0.000000e+00 | -- | Inf
278.24/278.33 c 258s|500000 |138025 | 1422k| 2.8 | 110M| 54 | - | 60 |4300 | 60 | 23 | 20 | 248k|2672 | 0.000000e+00 | -- | Inf
284.32/284.43 c 264s|510000 |140331 | 1450k| 2.8 | 112M| 54 | 7 | 60 |4472 | 60 | 23 | 20 | 254k|2693 | 0.000000e+00 | -- | Inf
290.12/290.28 c 269s|520000 |142958 | 1478k| 2.8 | 115M| 54 | 7 | 60 |4749 | 60 | 23 | 20 | 258k|2719 | 0.000000e+00 | -- | Inf
296.03/296.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
296.03/296.14 c 275s|530000 |145562 | 1508k| 2.8 | 117M| 54 | 7 | 60 |5618 | 60 | 23 | 20 | 264k|2741 | 0.000000e+00 | -- | Inf
302.43/302.58 c 281s|540000 |147920 | 1536k| 2.8 | 119M| 54 | 7 | 60 |4771 | 60 | 23 | 20 | 269k|2764 | 0.000000e+00 | -- | Inf
308.72/308.81 c 286s|550000 |150292 | 1564k| 2.8 | 121M| 54 | 7 | 60 |4719 | 60 | 23 | 20 | 274k|2787 | 0.000000e+00 | -- | Inf
314.22/314.33 c 292s|560000 |153401 | 1592k| 2.8 | 123M| 54 | 7 | 60 |5020 | 60 | 23 | 20 | 279k|2803 | 0.000000e+00 | -- | Inf
320.12/320.24 c 297s|570000 |156074 | 1621k| 2.8 | 125M| 54 | - | 60 |5258 | 60 | 23 | 20 | 284k|2827 | 0.000000e+00 | -- | Inf
326.32/326.42 c 303s|580000 |158388 | 1650k| 2.8 | 127M| 54 | 7 | 60 |4808 | 60 | 23 | 20 | 289k|2858 | 0.000000e+00 | -- | Inf
331.82/331.92 c 308s|590000 |161460 | 1679k| 2.8 | 130M| 54 | - | 60 |5632 | 60 | 23 | 20 | 294k|2880 | 0.000000e+00 | -- | Inf
338.11/338.21 c 314s|600000 |163927 | 1706k| 2.8 | 132M| 54 | 7 | 60 |5333 | 60 | 23 | 20 | 299k|2901 | 0.000000e+00 | -- | Inf
343.92/344.03 c 319s|610000 |166824 | 1733k| 2.8 | 134M| 54 | - | 60 |5490 | 60 | 23 | 20 | 304k|2916 | 0.000000e+00 | -- | Inf
350.01/350.17 c 325s|620000 |169372 | 1761k| 2.8 | 136M| 54 | - | 60 |5243 | 60 | 23 | 20 | 309k|2935 | 0.000000e+00 | -- | Inf
355.81/355.95 c 330s|630000 |172241 | 1790k| 2.8 | 139M| 54 | 7 | 60 |6036 | 60 | 23 | 20 | 314k|2961 | 0.000000e+00 | -- | Inf
362.01/362.14 c 336s|640000 |174599 | 1818k| 2.8 | 140M| 54 | 7 | 60 |5201 | 60 | 23 | 20 | 319k|2984 | 0.000000e+00 | -- | Inf
368.11/368.28 c 342s|650000 |176847 | 1846k| 2.8 | 142M| 54 | - | 60 |4885 | 60 | 23 | 20 | 324k|3005 | 0.000000e+00 | -- | Inf
374.10/374.22 c 347s|660000 |179492 | 1875k| 2.8 | 145M| 54 | 7 | 60 |5451 | 60 | 23 | 20 | 329k|3032 | 0.000000e+00 | -- | Inf
380.00/380.17 c 353s|670000 |182155 | 1903k| 2.8 | 147M| 54 | 7 | 60 |5763 | 60 | 23 | 20 | 335k|3055 | 0.000000e+00 | -- | Inf
385.81/385.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
385.81/385.90 c 358s|680000 |185091 | 1932k| 2.8 | 150M| 54 | 7 | 60 |7077 | 60 | 23 | 20 | 339k|3070 | 0.000000e+00 | -- | Inf
392.61/392.72 c 365s|690000 |187512 | 1960k| 2.8 | 151M| 54 | 7 | 60 |5395 | 60 | 23 | 20 | 344k|3080 | 0.000000e+00 | -- | Inf
398.80/398.95 c 370s|700000 |189944 | 1988k| 2.8 | 153M| 54 | 7 | 60 |5036 | 60 | 23 | 20 | 350k|3100 | 0.000000e+00 | -- | Inf
404.40/404.57 c 376s|710000 |192636 | 2018k| 2.8 | 156M| 54 | 7 | 60 |6523 | 60 | 23 | 20 | 355k|3117 | 0.000000e+00 | -- | Inf
410.90/411.05 c 382s|720000 |194989 | 2046k| 2.8 | 158M| 54 | 7 | 60 |6082 | 60 | 23 | 20 | 360k|3134 | 0.000000e+00 | -- | Inf
417.50/417.60 c 388s|730000 |197383 | 2074k| 2.8 | 160M| 54 | - | 60 |5165 | 60 | 23 | 20 | 365k|3152 | 0.000000e+00 | -- | Inf
423.60/423.76 c 394s|740000 |199711 | 2102k| 2.8 | 162M| 54 | - | 60 |5540 | 60 | 23 | 20 | 370k|3166 | 0.000000e+00 | -- | Inf
430.19/430.36 c 400s|750000 |201910 | 2130k| 2.8 | 164M| 54 | - | 60 |5050 | 60 | 23 | 20 | 375k|3182 | 0.000000e+00 | -- | Inf
436.29/436.49 c 406s|760000 |204338 | 2158k| 2.8 | 166M| 54 | 7 | 60 |5783 | 60 | 23 | 20 | 380k|3201 | 0.000000e+00 | -- | Inf
442.49/442.64 c 411s|770000 |207109 | 2186k| 2.8 | 168M| 54 | - | 60 |5407 | 60 | 23 | 20 | 385k|3214 | 0.000000e+00 | -- | Inf
448.80/448.95 c 417s|780000 |209406 | 2214k| 2.8 | 170M| 54 | - | 60 |5593 | 60 | 23 | 20 | 390k|3230 | 0.000000e+00 | -- | Inf
454.99/455.13 c 423s|790000 |211994 | 2242k| 2.8 | 172M| 54 | 7 | 60 |5681 | 60 | 23 | 20 | 395k|3245 | 0.000000e+00 | -- | Inf
461.49/461.66 c 429s|800000 |214235 | 2269k| 2.8 | 174M| 54 | 7 | 60 |5234 | 60 | 23 | 20 | 401k|3258 | 0.000000e+00 | -- | Inf
467.89/468.03 c 435s|810000 |216526 | 2298k| 2.8 | 176M| 54 | 7 | 60 |5584 | 60 | 23 | 20 | 406k|3273 | 0.000000e+00 | -- | Inf
474.09/474.21 c 441s|820000 |219016 | 2326k| 2.8 | 179M| 54 | - | 60 |5700 | 60 | 23 | 20 | 411k|3288 | 0.000000e+00 | -- | Inf
480.39/480.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
480.39/480.55 c 447s|830000 |221408 | 2355k| 2.8 | 181M| 54 | - | 60 |5766 | 60 | 23 | 20 | 416k|3309 | 0.000000e+00 | -- | Inf
486.79/486.98 c 453s|840000 |223727 | 2383k| 2.8 | 183M| 54 | - | 60 |5688 | 60 | 23 | 20 | 421k|3318 | 0.000000e+00 | -- | Inf
493.18/493.32 c 459s|850000 |226070 | 2410k| 2.8 | 185M| 54 | - | 60 |6247 | 60 | 23 | 20 | 427k|3337 | 0.000000e+00 | -- | Inf
499.68/499.86 c 465s|860000 |228424 | 2438k| 2.8 | 187M| 54 | - | 60 |5692 | 60 | 23 | 20 | 432k|3360 | 0.000000e+00 | -- | Inf
506.08/506.25 c 471s|870000 |230834 | 2465k| 2.8 | 189M| 54 | 7 | 60 |5600 | 60 | 23 | 20 | 437k|3379 | 0.000000e+00 | -- | Inf
512.38/512.60 c 477s|880000 |233259 | 2494k| 2.8 | 191M| 54 | - | 60 |5977 | 60 | 23 | 20 | 442k|3388 | 0.000000e+00 | -- | Inf
518.77/518.96 c 483s|890000 |235712 | 2522k| 2.8 | 193M| 54 | 7 | 60 |6026 | 60 | 23 | 20 | 447k|3403 | 0.000000e+00 | -- | Inf
524.78/524.95 c 488s|900000 |238310 | 2549k| 2.8 | 195M| 54 | 7 | 60 |6343 | 60 | 23 | 20 | 452k|3411 | 0.000000e+00 | -- | Inf
531.38/531.54 c 494s|910000 |240774 | 2578k| 2.8 | 197M| 54 | 7 | 60 |5677 | 60 | 23 | 20 | 457k|3424 | 0.000000e+00 | -- | Inf
537.58/537.77 c 500s|920000 |243352 | 2605k| 2.8 | 200M| 54 | - | 60 |6332 | 0 | 0 | 20 | 462k|3436 | 0.000000e+00 | -- | Inf
544.17/544.32 c 506s|930000 |245828 | 2633k| 2.8 | 202M| 54 | 7 | 60 |5937 | 60 | 23 | 20 | 467k|3454 | 0.000000e+00 | -- | Inf
550.57/550.78 c 512s|940000 |248254 | 2661k| 2.8 | 204M| 54 | 7 | 60 |5920 | 60 | 23 | 20 | 472k|3466 | 0.000000e+00 | -- | Inf
556.96/557.18 c 518s|950000 |250781 | 2689k| 2.8 | 206M| 54 | 7 | 60 |6064 | 60 | 23 | 20 | 478k|3484 | 0.000000e+00 | -- | Inf
563.17/563.31 c 524s|960000 |253666 | 2717k| 2.8 | 208M| 54 | 7 | 60 |6364 | 60 | 23 | 20 | 482k|3495 | 0.000000e+00 | -- | Inf
569.57/569.78 c 530s|970000 |256088 | 2745k| 2.8 | 210M| 54 | 7 | 60 |6081 | 60 | 23 | 20 | 487k|3504 | 0.000000e+00 | -- | Inf
575.97/576.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
575.97/576.15 c 536s|980000 |258519 | 2773k| 2.8 | 212M| 54 | - | 60 |5899 | 60 | 23 | 20 | 493k|3523 | 0.000000e+00 | -- | Inf
582.66/582.88 c 542s|990000 |260753 | 2801k| 2.8 | 214M| 54 | - | 60 |5650 | 60 | 23 | 20 | 498k|3533 | 0.000000e+00 | -- | Inf
589.16/589.34 c 548s| 1000k|263073 | 2830k| 2.8 | 216M| 54 | 7 | 60 |5826 | 60 | 23 | 20 | 503k|3550 | 0.000000e+00 | -- | Inf
595.66/595.80 c 554s| 1010k|265652 | 2858k| 2.8 | 218M| 54 | - | 60 |5900 | 60 | 23 | 20 | 508k|3560 | 0.000000e+00 | -- | Inf
601.46/601.60 c 560s| 1020k|268910 | 2886k| 2.8 | 221M| 54 | 7 | 60 |6571 | 60 | 23 | 20 | 513k|3570 | 0.000000e+00 | -- | Inf
608.25/608.43 c 566s| 1030k|271348 | 2913k| 2.8 | 223M| 54 | 7 | 60 |6165 | 60 | 23 | 20 | 518k|3586 | 0.000000e+00 | -- | Inf
614.16/614.32 c 572s| 1040k|273915 | 2942k| 2.8 | 225M| 54 | - | 60 |7651 | 60 | 23 | 20 | 523k|3598 | 0.000000e+00 | -- | Inf
620.95/621.11 c 578s| 1050k|276295 | 2971k| 2.8 | 227M| 54 | - | 60 |7147 | 60 | 23 | 20 | 528k|3609 | 0.000000e+00 | -- | Inf
627.86/628.09 c 585s| 1060k|278749 | 2998k| 2.8 | 229M| 54 | 7 | 60 |5904 | 60 | 23 | 20 | 533k|3622 | 0.000000e+00 | -- | Inf
634.85/635.00 c 591s| 1070k|281040 | 3026k| 2.8 | 231M| 54 | 7 | 60 |5501 | 60 | 23 | 20 | 538k|3633 | 0.000000e+00 | -- | Inf
641.06/641.21 c 597s| 1080k|283627 | 3054k| 2.8 | 233M| 54 | 7 | 60 |5883 | 60 | 23 | 20 | 543k|3644 | 0.000000e+00 | -- | Inf
647.66/647.86 c 603s| 1090k|285931 | 3081k| 2.8 | 235M| 54 | 7 | 60 |5925 | 60 | 23 | 20 | 548k|3655 | 0.000000e+00 | -- | Inf
654.25/654.44 c 609s| 1100k|288117 | 3109k| 2.8 | 238M| 54 | 7 | 60 |5775 | 60 | 23 | 20 | 553k|3672 | 0.000000e+00 | -- | Inf
661.04/661.27 c 616s| 1110k|290539 | 3136k| 2.8 | 240M| 54 | 7 | 60 |5712 | 60 | 23 | 20 | 559k|3686 | 0.000000e+00 | -- | Inf
667.55/667.78 c 622s| 1120k|292877 | 3164k| 2.8 | 242M| 54 | - | 60 |5885 | 60 | 23 | 20 | 564k|3705 | 0.000000e+00 | -- | Inf
673.54/673.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
673.54/673.74 c 628s| 1130k|295615 | 3192k| 2.8 | 244M| 54 | 7 | 60 |6850 | 60 | 23 | 20 | 569k|3713 | 0.000000e+00 | -- | Inf
679.64/679.87 c 633s| 1140k|298287 | 3220k| 2.8 | 246M| 54 | 7 | 60 |7396 | 60 | 23 | 20 | 574k|3722 | 0.000000e+00 | -- | Inf
686.14/686.40 c 639s| 1150k|300861 | 3248k| 2.8 | 248M| 54 | 7 | 60 |6281 | 60 | 23 | 20 | 579k|3732 | 0.000000e+00 | -- | Inf
692.74/692.96 c 646s| 1160k|303260 | 3275k| 2.8 | 250M| 54 | - | 60 |5930 | 60 | 23 | 20 | 584k|3746 | 0.000000e+00 | -- | Inf
698.84/699.09 c 651s| 1170k|305764 | 3304k| 2.8 | 253M| 54 | 7 | 60 |7122 | 60 | 23 | 20 | 589k|3759 | 0.000000e+00 | -- | Inf
705.33/705.53 c 657s| 1180k|308421 | 3332k| 2.8 | 255M| 54 | 7 | 60 |7604 | 60 | 23 | 20 | 594k|3768 | 0.000000e+00 | -- | Inf
712.03/712.25 c 664s| 1190k|311181 | 3360k| 2.8 | 257M| 54 | - | 60 |6774 | 60 | 23 | 20 | 599k|3776 | 0.000000e+00 | -- | Inf
718.43/718.60 c 670s| 1200k|313921 | 3388k| 2.8 | 259M| 54 | - | 60 |7165 | 60 | 23 | 20 | 604k|3794 | 0.000000e+00 | -- | Inf
725.33/725.56 c 676s| 1210k|316330 | 3416k| 2.8 | 261M| 54 | 7 | 60 |6654 | 60 | 23 | 20 | 609k|3807 | 0.000000e+00 | -- | Inf
732.23/732.49 c 683s| 1220k|318659 | 3445k| 2.8 | 263M| 54 | 7 | 60 |5728 | 60 | 23 | 20 | 614k|3822 | 0.000000e+00 | -- | Inf
738.93/739.12 c 689s| 1230k|321019 | 3473k| 2.8 | 265M| 54 | - | 60 |6260 | 60 | 23 | 20 | 619k|3831 | 0.000000e+00 | -- | Inf
745.83/746.09 c 695s| 1240k|323253 | 3501k| 2.8 | 267M| 54 | - | 60 |6030 | 60 | 23 | 20 | 625k|3840 | 0.000000e+00 | -- | Inf
752.53/752.73 c 702s| 1250k|325675 | 3529k| 2.8 | 269M| 54 | - | 60 |5818 | 60 | 23 | 20 | 630k|3848 | 0.000000e+00 | -- | Inf
759.12/759.39 c 708s| 1260k|327927 | 3557k| 2.8 | 271M| 54 | - | 60 |6318 | 60 | 23 | 20 | 635k|3855 | 0.000000e+00 | -- | Inf
765.92/766.11 c 714s| 1270k|330348 | 3585k| 2.8 | 273M| 54 | 7 | 60 |5827 | 60 | 23 | 20 | 640k|3868 | 0.000000e+00 | -- | Inf
772.42/772.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
772.42/772.61 c 720s| 1280k|332683 | 3612k| 2.8 | 275M| 54 | - | 60 |6661 | 0 | 0 | 20 | 645k|3874 | 0.000000e+00 | -- | Inf
779.72/779.95 c 727s| 1290k|334939 | 3640k| 2.8 | 277M| 54 | - | 60 |5947 | 60 | 23 | 20 | 650k|3881 | 0.000000e+00 | -- | Inf
786.62/786.82 c 734s| 1300k|337355 | 3668k| 2.8 | 279M| 54 | - | 60 |5684 | 60 | 23 | 20 | 655k|3891 | 0.000000e+00 | -- | Inf
792.41/792.67 c 739s| 1310k|340082 | 3696k| 2.8 | 282M| 54 | 7 | 60 |7299 | 60 | 23 | 20 | 660k|3896 | 0.000000e+00 | -- | Inf
799.42/799.63 c 746s| 1320k|342415 | 3724k| 2.8 | 284M| 54 | - | 60 |6196 | 60 | 23 | 20 | 665k|3904 | 0.000000e+00 | -- | Inf
805.81/806.09 c 752s| 1330k|344943 | 3752k| 2.8 | 286M| 54 | - | 60 |6860 | 60 | 23 | 20 | 671k|3910 | 0.000000e+00 | -- | Inf
812.50/812.72 c 758s| 1340k|347343 | 3780k| 2.8 | 288M| 54 | - | 60 |7519 | 60 | 23 | 20 | 676k|3917 | 0.000000e+00 | -- | Inf
819.59/819.86 c 765s| 1350k|349743 | 3809k| 2.8 | 290M| 54 | 7 | 60 |6957 | 60 | 23 | 20 | 681k|3924 | 0.000000e+00 | -- | Inf
827.29/827.50 c 772s| 1360k|351890 | 3837k| 2.8 | 292M| 54 | 7 | 60 |6525 | 60 | 23 | 20 | 686k|3932 | 0.000000e+00 | -- | Inf
833.60/833.85 c 778s| 1370k|354272 | 3865k| 2.8 | 295M| 54 | 7 | 60 |7314 | 60 | 23 | 20 | 691k|3939 | 0.000000e+00 | -- | Inf
839.98/840.20 c 784s| 1380k|356937 | 3894k| 2.8 | 297M| 54 | - | 60 |8228 | 60 | 23 | 20 | 696k|3944 | 0.000000e+00 | -- | Inf
847.09/847.35 c 790s| 1390k|359385 | 3921k| 2.8 | 299M| 54 | 7 | 60 |6683 | 60 | 23 | 20 | 701k|3946 | 0.000000e+00 | -- | Inf
853.58/853.80 c 796s| 1400k|361936 | 3949k| 2.8 | 301M| 54 | - | 60 |6742 | 60 | 23 | 20 | 706k|3946 | 0.000000e+00 | -- | Inf
860.78/861.03 c 803s| 1410k|364124 | 3976k| 2.8 | 303M| 54 | 7 | 60 |6642 | 60 | 23 | 20 | 712k|3946 | 0.000000e+00 | -- | Inf
867.69/867.98 c 810s| 1420k|366172 | 4005k| 2.8 | 305M| 54 | - | 60 |6879 | 60 | 23 | 20 | 717k|3946 | 0.000000e+00 | -- | Inf
874.78/875.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
874.78/875.07 c 816s| 1430k|368467 | 4033k| 2.8 | 307M| 54 | 7 | 60 |6183 | 60 | 23 | 20 | 722k|3947 | 0.000000e+00 | -- | Inf
881.08/881.33 c 822s| 1440k|370995 | 4062k| 2.8 | 309M| 54 | - | 60 |6513 | 60 | 23 | 20 | 728k|3953 | 0.000000e+00 | -- | Inf
888.08/888.32 c 829s| 1450k|373405 | 4089k| 2.8 | 311M| 54 | - | 60 |6269 | 60 | 23 | 20 | 733k|3958 | 0.000000e+00 | -- | Inf
894.87/895.19 c 835s| 1460k|375795 | 4118k| 2.8 | 313M| 54 | 7 | 60 |6541 | 60 | 23 | 20 | 738k|3963 | 0.000000e+00 | -- | Inf
901.57/901.83 c 842s| 1470k|378130 | 4146k| 2.8 | 315M| 54 | 7 | 60 |7393 | 60 | 23 | 20 | 743k|3969 | 0.000000e+00 | -- | Inf
908.87/909.11 c 848s| 1480k|380366 | 4174k| 2.8 | 317M| 54 | - | 60 |7139 | 60 | 23 | 20 | 748k|3975 | 0.000000e+00 | -- | Inf
915.27/915.53 c 854s| 1490k|383140 | 4202k| 2.8 | 320M| 54 | - | 60 |7718 | 60 | 23 | 20 | 753k|3979 | 0.000000e+00 | -- | Inf
922.17/922.46 c 861s| 1500k|385605 | 4229k| 2.8 | 322M| 54 | 7 | 60 |7319 | 60 | 23 | 20 | 758k|3983 | 0.000000e+00 | -- | Inf
928.87/929.18 c 867s| 1510k|388262 | 4257k| 2.8 | 324M| 54 | 7 | 60 |7360 | 60 | 23 | 20 | 763k|3990 | 0.000000e+00 | -- | Inf
935.37/935.63 c 873s| 1520k|390925 | 4285k| 2.8 | 326M| 54 | 7 | 60 |7648 | 60 | 23 | 20 | 768k|4003 | 0.000000e+00 | -- | Inf
942.56/942.86 c 880s| 1530k|393302 | 4313k| 2.8 | 328M| 54 | 7 | 60 |6735 | 60 | 23 | 20 | 773k|4014 | 0.000000e+00 | -- | Inf
949.26/949.52 c 886s| 1540k|395864 | 4341k| 2.8 | 330M| 54 | - | 60 |7193 | 60 | 23 | 20 | 778k|4025 | 0.000000e+00 | -- | Inf
956.86/957.16 c 894s| 1550k|397926 | 4368k| 2.8 | 332M| 54 | - | 60 |6362 | 60 | 23 | 20 | 783k|4038 | 0.000000e+00 | -- | Inf
963.56/963.81 c 900s| 1560k|400480 | 4396k| 2.8 | 334M| 54 | 7 | 60 |6680 | 60 | 23 | 20 | 789k|4050 | 0.000000e+00 | -- | Inf
970.76/971.04 c 907s| 1570k|402742 | 4424k| 2.8 | 336M| 54 | 7 | 60 |6359 | 60 | 23 | 20 | 794k|4060 | 0.000000e+00 | -- | Inf
977.76/978.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
977.76/978.03 c 913s| 1580k|405171 | 4452k| 2.8 | 338M| 54 | - | 60 |6470 | 60 | 23 | 20 | 799k|4065 | 0.000000e+00 | -- | Inf
984.86/985.15 c 920s| 1590k|407469 | 4480k| 2.8 | 340M| 54 | 7 | 60 |6301 | 60 | 23 | 20 | 804k|4071 | 0.000000e+00 | -- | Inf
992.05/992.35 c 927s| 1600k|409600 | 4508k| 2.8 | 342M| 54 | 7 | 60 |5997 | 60 | 23 | 20 | 809k|4079 | 0.000000e+00 | -- | Inf
998.46/998.70 c 933s| 1610k|411987 | 4536k| 2.8 | 345M| 54 | 7 | 60 |7007 | 60 | 23 | 20 | 814k|4088 | 0.000000e+00 | -- | Inf
1005.36/1005.64 c 939s| 1620k|414356 | 4564k| 2.8 | 347M| 54 | 7 | 60 |7378 | 60 | 23 | 20 | 820k|4101 | 0.000000e+00 | -- | Inf
1011.85/1012.16 c 945s| 1630k|417093 | 4592k| 2.8 | 349M| 54 | - | 60 |8341 | 60 | 23 | 20 | 825k|4108 | 0.000000e+00 | -- | Inf
1019.15/1019.47 c 952s| 1640k|419591 | 4619k| 2.8 | 351M| 54 | 7 | 60 |7523 | 60 | 23 | 20 | 830k|4116 | 0.000000e+00 | -- | Inf
1026.44/1026.71 c 959s| 1650k|421918 | 4647k| 2.8 | 353M| 54 | - | 60 |7300 | 60 | 23 | 20 | 835k|4123 | 0.000000e+00 | -- | Inf
1033.54/1033.84 c 966s| 1660k|424105 | 4675k| 2.8 | 355M| 54 | - | 60 |7115 | 60 | 23 | 20 | 840k|4128 | 0.000000e+00 | -- | Inf
1039.44/1039.72 c 971s| 1670k|427131 | 4705k| 2.8 | 357M| 54 | 7 | 60 |7905 | 60 | 23 | 20 | 845k|4136 | 0.000000e+00 | -- | Inf
1046.34/1046.66 c 978s| 1680k|429541 | 4734k| 2.8 | 359M| 54 | - | 60 |7384 | 60 | 23 | 20 | 850k|4144 | 0.000000e+00 | -- | Inf
1053.84/1054.13 c 985s| 1690k|431793 | 4761k| 2.8 | 361M| 54 | 7 | 60 |6829 | 60 | 23 | 20 | 855k|4148 | 0.000000e+00 | -- | Inf
1060.64/1060.93 c 991s| 1700k|434275 | 4789k| 2.8 | 364M| 54 | 7 | 60 |7435 | 60 | 23 | 20 | 860k|4155 | 0.000000e+00 | -- | Inf
1067.04/1067.30 c 997s| 1710k|437138 | 4817k| 2.8 | 366M| 54 | 7 | 60 |7847 | 60 | 23 | 20 | 865k|4162 | 0.000000e+00 | -- | Inf
1073.25/1073.52 c 1003s| 1720k|439717 | 4845k| 2.8 | 368M| 54 | 7 | 60 |8896 | 60 | 23 | 20 | 870k|4168 | 0.000000e+00 | -- | Inf
1080.83/1081.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1080.83/1081.12 c 1010s| 1730k|441908 | 4873k| 2.8 | 370M| 54 | 7 | 60 |7900 | 60 | 23 | 20 | 875k|4173 | 0.000000e+00 | -- | Inf
1087.04/1087.33 c 1016s| 1740k|444655 | 4902k| 2.8 | 372M| 54 | - | 60 |8660 | 60 | 23 | 20 | 880k|4180 | 0.000000e+00 | -- | Inf
1094.64/1095.00 c 1023s| 1750k|446932 | 4930k| 2.8 | 374M| 54 | - | 60 |7267 | 60 | 23 | 20 | 885k|4187 | 0.000000e+00 | -- | Inf
1101.54/1101.83 c 1030s| 1760k|449475 | 4958k| 2.8 | 376M| 54 | - | 60 |7569 | 60 | 23 | 20 | 890k|4198 | 0.000000e+00 | -- | Inf
1109.03/1109.32 c 1037s| 1770k|451820 | 4986k| 2.8 | 378M| 54 | 7 | 60 |6843 | 60 | 23 | 20 | 895k|4204 | 0.000000e+00 | -- | Inf
1115.42/1115.71 c 1043s| 1780k|454799 | 5014k| 2.8 | 381M| 54 | - | 60 |7591 | 60 | 23 | 20 | 900k|4210 | 0.000000e+00 | -- | Inf
1123.22/1123.56 c 1050s| 1790k|456943 | 5042k| 2.8 | 382M| 54 | - | 60 |6148 | 60 | 23 | 20 | 905k|4216 | 0.000000e+00 | -- | Inf
1130.53/1130.82 c 1057s| 1800k|459044 | 5070k| 2.8 | 384M| 54 | 7 | 60 |6238 | 60 | 23 | 20 | 910k|4223 | 0.000000e+00 | -- | Inf
1137.32/1137.70 c 1064s| 1810k|461521 | 5098k| 2.8 | 387M| 54 | 7 | 60 |6181 | 60 | 23 | 20 | 916k|4227 | 0.000000e+00 | -- | Inf
1143.52/1143.83 c 1069s| 1820k|464346 | 5127k| 2.8 | 389M| 54 | - | 60 |7077 | 60 | 23 | 20 | 920k|4231 | 0.000000e+00 | -- | Inf
1149.32/1149.60 c 1075s| 1830k|467746 | 5157k| 2.8 | 391M| 54 | - | 60 |8283 | 60 | 23 | 20 | 925k|4239 | 0.000000e+00 | -- | Inf
1155.62/1155.94 c 1081s| 1840k|470605 | 5186k| 2.8 | 394M| 54 | 7 | 60 |8761 | 60 | 23 | 20 | 930k|4244 | 0.000000e+00 | -- | Inf
1163.11/1163.41 c 1088s| 1850k|473076 | 5214k| 2.8 | 396M| 54 | - | 60 |7722 | 0 | 0 | 20 | 935k|4247 | 0.000000e+00 | -- | Inf
1170.52/1170.83 c 1095s| 1860k|475463 | 5242k| 2.8 | 398M| 54 | - | 60 |7142 | 60 | 23 | 20 | 940k|4255 | 0.000000e+00 | -- | Inf
1177.12/1177.44 c 1101s| 1870k|478129 | 5269k| 2.8 | 400M| 54 | 7 | 60 |7126 | 60 | 23 | 20 | 945k|4258 | 0.000000e+00 | -- | Inf
1184.61/1184.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1184.61/1184.93 c 1108s| 1880k|480456 | 5297k| 2.8 | 402M| 54 | - | 60 |7314 | 60 | 23 | 20 | 950k|4258 | 0.000000e+00 | -- | Inf
1192.02/1192.40 c 1115s| 1890k|482930 | 5325k| 2.8 | 404M| 54 | - | 60 |7265 | 60 | 23 | 20 | 955k|4263 | 0.000000e+00 | -- | Inf
1199.11/1199.49 c 1122s| 1900k|485136 | 5353k| 2.8 | 406M| 54 | 7 | 60 |7426 | 60 | 23 | 20 | 960k|4265 | 0.000000e+00 | -- | Inf
1206.01/1206.32 c 1128s| 1910k|487870 | 5381k| 2.8 | 408M| 54 | 7 | 60 |7864 | 60 | 23 | 20 | 965k|4272 | 0.000000e+00 | -- | Inf
1213.31/1213.61 c 1135s| 1920k|490109 | 5409k| 2.8 | 410M| 54 | 7 | 60 |7782 | 60 | 23 | 20 | 970k|4278 | 0.000000e+00 | -- | Inf
1220.30/1220.60 c 1141s| 1930k|492485 | 5437k| 2.8 | 413M| 54 | - | 60 |8149 | 60 | 23 | 20 | 976k|4278 | 0.000000e+00 | -- | Inf
1227.51/1227.84 c 1148s| 1940k|494816 | 5466k| 2.8 | 415M| 54 | 7 | 60 |7619 | 60 | 23 | 20 | 981k|4284 | 0.000000e+00 | -- | Inf
1235.30/1235.66 c 1156s| 1950k|496950 | 5495k| 2.8 | 416M| 54 | - | 60 |6839 | 60 | 23 | 20 | 986k|4289 | 0.000000e+00 | -- | Inf
1242.90/1243.26 c 1163s| 1960k|499237 | 5523k| 2.8 | 418M| 54 | 7 | 60 |6537 | 60 | 23 | 20 | 991k|4295 | 0.000000e+00 | -- | Inf
1249.59/1249.94 c 1169s| 1970k|501520 | 5551k| 2.8 | 421M| 54 | 7 | 60 |7792 | 60 | 23 | 20 | 997k|4303 | 0.000000e+00 | -- | Inf
1256.39/1256.76 c 1176s| 1980k|504068 | 5578k| 2.8 | 423M| 54 | 7 | 60 |7563 | 60 | 23 | 20 |1002k|4311 | 0.000000e+00 | -- | Inf
1263.90/1264.25 c 1183s| 1990k|506181 | 5607k| 2.8 | 425M| 54 | 7 | 60 |6517 | 60 | 23 | 20 |1007k|4315 | 0.000000e+00 | -- | Inf
1270.99/1271.34 c 1189s| 2000k|508510 | 5634k| 2.8 | 427M| 54 | 7 | 60 |6613 | 60 | 23 | 20 |1012k|4322 | 0.000000e+00 | -- | Inf
1278.49/1278.88 c 1196s| 2010k|510786 | 5661k| 2.8 | 429M| 54 | - | 60 |6084 | 60 | 23 | 20 |1017k|4328 | 0.000000e+00 | -- | Inf
1285.79/1286.11 c 1203s| 2020k|513074 | 5689k| 2.8 | 431M| 54 | 7 | 60 |6154 | 60 | 23 | 20 |1023k|4334 | 0.000000e+00 | -- | Inf
1292.69/1293.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1292.69/1293.09 c 1210s| 2030k|515376 | 5717k| 2.8 | 433M| 54 | - | 60 |6744 | 0 | 0 | 20 |1028k|4340 | 0.000000e+00 | -- | Inf
1299.69/1300.04 c 1216s| 2040k|517648 | 5745k| 2.8 | 435M| 54 | - | 60 |6775 | 60 | 23 | 20 |1033k|4349 | 0.000000e+00 | -- | Inf
1307.08/1307.40 c 1223s| 2050k|519942 | 5772k| 2.8 | 437M| 54 | 7 | 60 |6676 | 60 | 23 | 20 |1038k|4357 | 0.000000e+00 | -- | Inf
1313.68/1314.03 c 1229s| 2060k|522453 | 5799k| 2.8 | 439M| 54 | 7 | 60 |7196 | 60 | 23 | 20 |1043k|4363 | 0.000000e+00 | -- | Inf
1320.58/1320.92 c 1236s| 2070k|525070 | 5827k| 2.8 | 441M| 54 | 7 | 60 |7477 | 60 | 23 | 20 |1048k|4364 | 0.000000e+00 | -- | Inf
1328.18/1328.54 c 1243s| 2080k|527252 | 5855k| 2.8 | 443M| 54 | 7 | 60 |7053 | 60 | 23 | 20 |1053k|4364 | 0.000000e+00 | -- | Inf
1334.67/1335.07 c 1249s| 2090k|529929 | 5882k| 2.8 | 446M| 54 | 7 | 60 |7771 | 60 | 23 | 20 |1058k|4364 | 0.000000e+00 | -- | Inf
1341.78/1342.15 c 1256s| 2100k|532330 | 5910k| 2.8 | 448M| 54 | 7 | 60 |8135 | 60 | 23 | 20 |1063k|4364 | 0.000000e+00 | -- | Inf
1349.18/1349.55 c 1263s| 2110k|534712 | 5938k| 2.8 | 450M| 54 | 7 | 60 |7552 | 60 | 23 | 20 |1068k|4369 | 0.000000e+00 | -- | Inf
1355.07/1355.48 c 1268s| 2120k|537670 | 5966k| 2.8 | 452M| 54 | 7 | 60 |8981 | 60 | 23 | 20 |1073k|4376 | 0.000000e+00 | -- | Inf
1361.48/1361.82 c 1274s| 2130k|540114 | 5992k| 2.8 | 454M| 54 | 7 | 60 |9854 | 60 | 23 | 20 |1078k|4381 | 0.000000e+00 | -- | Inf
1369.27/1369.66 c 1282s| 2140k|542523 | 6020k| 2.8 | 456M| 54 | 7 | 60 |8888 | 60 | 23 | 20 |1083k|4385 | 0.000000e+00 | -- | Inf
1376.88/1377.24 c 1289s| 2150k|544745 | 6048k| 2.8 | 459M| 54 | 7 | 60 |9224 | 60 | 23 | 20 |1088k|4389 | 0.000000e+00 | -- | Inf
1383.97/1384.35 c 1296s| 2160k|547183 | 6076k| 2.8 | 461M| 54 | 7 | 60 |8948 | 60 | 23 | 20 |1094k|4390 | 0.000000e+00 | -- | Inf
1390.08/1390.46 c 1301s| 2170k|550593 | 6105k| 2.8 | 463M| 54 | - | 60 | 10k| 60 | 23 | 20 |1098k|4396 | 0.000000e+00 | -- | Inf
1396.76/1397.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1396.76/1397.10 c 1308s| 2180k|553430 | 6133k| 2.8 | 466M| 54 | 7 | 60 | 11k| 60 | 23 | 20 |1103k|4400 | 0.000000e+00 | -- | Inf
1405.37/1405.72 c 1316s| 2190k|555715 | 6162k| 2.8 | 467M| 54 | - | 60 |9767 | 60 | 23 | 20 |1108k|4404 | 0.000000e+00 | -- | Inf
1413.46/1413.86 c 1324s| 2200k|558147 | 6190k| 2.8 | 469M| 54 | 7 | 60 |8982 | 60 | 23 | 20 |1113k|4410 | 0.000000e+00 | -- | Inf
1422.26/1422.64 c 1332s| 2210k|560146 | 6218k| 2.8 | 471M| 54 | 7 | 60 |7456 | 60 | 23 | 20 |1119k|4420 | 0.000000e+00 | -- | Inf
1429.66/1430.02 c 1339s| 2220k|562421 | 6246k| 2.8 | 473M| 54 | - | 60 |7861 | 60 | 23 | 20 |1124k|4425 | 0.000000e+00 | -- | Inf
1437.65/1438.02 c 1346s| 2230k|564587 | 6273k| 2.8 | 475M| 54 | - | 60 |7018 | 60 | 23 | 20 |1129k|4433 | 0.000000e+00 | -- | Inf
1445.06/1445.47 c 1354s| 2240k|566798 | 6300k| 2.8 | 477M| 54 | 7 | 60 |7173 | 60 | 23 | 20 |1134k|4440 | 0.000000e+00 | -- | Inf
1452.26/1452.63 c 1360s| 2250k|569201 | 6328k| 2.8 | 479M| 54 | - | 60 |7277 | 60 | 23 | 20 |1140k|4446 | 0.000000e+00 | -- | Inf
1459.15/1459.52 c 1367s| 2260k|571779 | 6357k| 2.8 | 481M| 54 | - | 60 |8147 | 60 | 23 | 20 |1145k|4451 | 0.000000e+00 | -- | Inf
1466.35/1466.78 c 1374s| 2270k|574184 | 6384k| 2.8 | 483M| 54 | - | 60 |7815 | 60 | 23 | 20 |1150k|4459 | 0.000000e+00 | -- | Inf
1474.25/1474.67 c 1381s| 2280k|576366 | 6412k| 2.8 | 485M| 54 | - | 60 |7252 | 60 | 23 | 20 |1155k|4464 | 0.000000e+00 | -- | Inf
1482.35/1482.71 c 1389s| 2290k|578492 | 6440k| 2.8 | 487M| 54 | - | 60 |7076 | 60 | 23 | 20 |1160k|4467 | 0.000000e+00 | -- | Inf
1489.74/1490.18 c 1396s| 2300k|580806 | 6467k| 2.8 | 489M| 54 | 7 | 60 |7208 | 60 | 23 | 20 |1165k|4471 | 0.000000e+00 | -- | Inf
1496.65/1497.10 c 1402s| 2310k|583195 | 6496k| 2.8 | 492M| 54 | 7 | 60 |7743 | 60 | 23 | 20 |1171k|4479 | 0.000000e+00 | -- | Inf
1502.44/1502.86 c 1408s| 2320k|586045 | 6525k| 2.8 | 494M| 54 | 7 | 60 | 10k| 60 | 23 | 20 |1175k|4483 | 0.000000e+00 | -- | Inf
1509.74/1510.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1509.74/1510.17 c 1415s| 2330k|588456 | 6554k| 2.8 | 497M| 54 | - | 60 | 10k| 60 | 23 | 20 |1180k|4487 | 0.000000e+00 | -- | Inf
1517.64/1518.08 c 1422s| 2340k|590961 | 6581k| 2.8 | 498M| 54 | 7 | 60 |9012 | 60 | 23 | 20 |1185k|4491 | 0.000000e+00 | -- | Inf
1525.63/1526.09 c 1430s| 2350k|593241 | 6609k| 2.8 | 500M| 54 | 7 | 60 |7922 | 60 | 23 | 20 |1191k|4496 | 0.000000e+00 | -- | Inf
1533.13/1533.57 c 1437s| 2360k|595571 | 6636k| 2.8 | 502M| 54 | 7 | 60 |7655 | 60 | 23 | 20 |1196k|4506 | 0.000000e+00 | -- | Inf
1539.93/1540.37 c 1443s| 2370k|598109 | 6665k| 2.8 | 505M| 54 | 7 | 60 |9244 | 60 | 23 | 20 |1201k|4516 | 0.000000e+00 | -- | Inf
1547.63/1548.08 c 1450s| 2380k|600562 | 6693k| 2.8 | 507M| 54 | 7 | 60 |8494 | 60 | 23 | 20 |1206k|4523 | 0.000000e+00 | -- | Inf
1555.53/1555.95 c 1458s| 2390k|602970 | 6721k| 2.8 | 508M| 54 | 7 | 60 |7236 | 60 | 23 | 20 |1211k|4529 | 0.000000e+00 | -- | Inf
1562.63/1563.07 c 1464s| 2400k|605333 | 6749k| 2.8 | 511M| 54 | 7 | 60 |7925 | 60 | 23 | 20 |1216k|4537 | 0.000000e+00 | -- | Inf
1569.83/1570.20 c 1471s| 2410k|607740 | 6776k| 2.8 | 513M| 54 | 7 | 60 |8166 | 60 | 23 | 20 |1221k|4551 | 0.000000e+00 | -- | Inf
1577.93/1578.38 c 1479s| 2420k|609849 | 6804k| 2.8 | 515M| 54 | - | 60 |7420 | 60 | 23 | 20 |1226k|4557 | 0.000000e+00 | -- | Inf
1585.52/1585.96 c 1486s| 2430k|612136 | 6831k| 2.8 | 517M| 54 | - | 60 |6973 | 60 | 23 | 20 |1232k|4562 | 0.000000e+00 | -- | Inf
1591.72/1592.19 c 1492s| 2440k|615171 | 6858k| 2.8 | 519M| 54 | 7 | 60 |7531 | 60 | 23 | 20 |1236k|4568 | 0.000000e+00 | -- | Inf
1599.22/1599.64 c 1499s| 2450k|617456 | 6886k| 2.8 | 521M| 54 | - | 60 |7392 | 60 | 23 | 20 |1241k|4572 | 0.000000e+00 | -- | Inf
1606.63/1607.10 c 1506s| 2460k|619932 | 6914k| 2.8 | 523M| 54 | 7 | 60 |6773 | 60 | 23 | 20 |1246k|4574 | 0.000000e+00 | -- | Inf
1613.61/1614.07 c 1513s| 2470k|622544 | 6941k| 2.8 | 525M| 54 | 7 | 60 |7244 | 60 | 23 | 20 |1251k|4579 | 0.000000e+00 | -- | Inf
1619.71/1620.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1619.71/1620.15 c 1518s| 2480k|625211 | 6968k| 2.8 | 528M| 54 | 7 | 60 |9344 | 60 | 23 | 20 |1256k|4583 | 0.000000e+00 | -- | Inf
1627.52/1627.91 c 1526s| 2490k|627567 | 6996k| 2.8 | 530M| 54 | - | 60 |7963 | 60 | 23 | 20 |1261k|4589 | 0.000000e+00 | -- | Inf
1635.31/1635.76 c 1533s| 2500k|629891 | 7024k| 2.8 | 532M| 54 | - | 60 |7464 | 60 | 23 | 20 |1267k|4593 | 0.000000e+00 | -- | Inf
1641.91/1642.33 c 1539s| 2510k|632522 | 7052k| 2.8 | 534M| 54 | - | 60 |7888 | 60 | 23 | 20 |1272k|4600 | 0.000000e+00 | -- | Inf
1649.80/1650.27 c 1547s| 2520k|634754 | 7080k| 2.8 | 536M| 54 | - | 60 |7317 | 60 | 23 | 20 |1277k|4604 | 0.000000e+00 | -- | Inf
1657.61/1658.08 c 1554s| 2530k|636855 | 7108k| 2.8 | 538M| 54 | - | 60 |7315 | 0 | 0 | 20 |1282k|4610 | 0.000000e+00 | -- | Inf
1665.01/1665.43 c 1561s| 2540k|639062 | 7136k| 2.8 | 540M| 54 | 7 | 60 |8296 | 60 | 23 | 20 |1287k|4616 | 0.000000e+00 | -- | Inf
1672.61/1673.07 c 1568s| 2550k|641311 | 7163k| 2.8 | 542M| 54 | 7 | 60 |7771 | 60 | 23 | 20 |1293k|4624 | 0.000000e+00 | -- | Inf
1679.60/1680.00 c 1575s| 2560k|643816 | 7191k| 2.8 | 544M| 54 | 7 | 60 |8231 | 60 | 23 | 20 |1298k|4632 | 0.000000e+00 | -- | Inf
1687.10/1687.50 c 1582s| 2570k|646171 | 7219k| 2.8 | 546M| 54 | 7 | 60 |8594 | 60 | 23 | 20 |1303k|4638 | 0.000000e+00 | -- | Inf
1694.50/1694.91 c 1589s| 2580k|648565 | 7248k| 2.8 | 548M| 54 | - | 60 |8653 | 60 | 23 | 20 |1308k|4643 | 0.000000e+00 | -- | Inf
1701.99/1702.40 c 1596s| 2590k|651006 | 7276k| 2.8 | 550M| 54 | 7 | 60 |8524 | 60 | 23 | 20 |1313k|4653 | 0.000000e+00 | -- | Inf
1709.50/1709.95 c 1603s| 2600k|653528 | 7303k| 2.8 | 552M| 54 | - | 60 |7983 | 60 | 23 | 20 |1318k|4657 | 0.000000e+00 | -- | Inf
1717.39/1717.89 c 1611s| 2610k|655748 | 7332k| 2.8 | 554M| 54 | 7 | 60 |7149 | 60 | 23 | 20 |1323k|4663 | 0.000000e+00 | -- | Inf
1725.19/1725.63 c 1618s| 2620k|657877 | 7359k| 2.8 | 556M| 54 | - | 60 |7198 | 0 | 0 | 20 |1329k|4668 | 0.000000e+00 | -- | Inf
1733.10/1733.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1733.10/1733.54 c 1625s| 2630k|659989 | 7387k| 2.8 | 558M| 54 | 7 | 60 |7209 | 60 | 23 | 20 |1334k|4674 | 0.000000e+00 | -- | Inf
1740.39/1740.81 c 1632s| 2640k|662257 | 7414k| 2.8 | 561M| 54 | 7 | 60 |7648 | 60 | 23 | 20 |1339k|4684 | 0.000000e+00 | -- | Inf
1747.89/1748.39 c 1640s| 2650k|664480 | 7442k| 2.8 | 563M| 54 | 7 | 60 |7329 | 60 | 23 | 20 |1345k|4690 | 0.000000e+00 | -- | Inf
1755.09/1755.55 c 1646s| 2660k|667082 | 7470k| 2.8 | 565M| 54 | - | 60 |8118 | 60 | 23 | 20 |1350k|4696 | 0.000000e+00 | -- | Inf
1761.38/1761.86 c 1652s| 2670k|670053 | 7498k| 2.8 | 567M| 54 | 7 | 60 |9100 | 60 | 23 | 20 |1354k|4707 | 0.000000e+00 | -- | Inf
1768.88/1769.30 c 1659s| 2680k|672765 | 7526k| 2.8 | 569M| 54 | 7 | 60 |8707 | 60 | 23 | 20 |1359k|4718 | 0.000000e+00 | -- | Inf
1777.28/1777.72 c 1667s| 2690k|674752 | 7553k| 2.8 | 571M| 54 | 7 | 60 |6992 | 60 | 23 | 20 |1364k|4726 | 0.000000e+00 | -- | Inf
1784.79/1785.30 c 1674s| 2700k|677171 | 7581k| 2.8 | 573M| 54 | 7 | 60 |7119 | 60 | 23 | 20 |1369k|4729 | 0.000000e+00 | -- | Inf
1791.77/1792.23 c 1681s| 2710k|679812 | 7609k| 2.8 | 575M| 54 | 7 | 60 |7591 | 60 | 23 | 20 |1374k|4736 | 0.000000e+00 | -- | Inf
1798.88/1799.31 c 1688s| 2720k|682251 | 7636k| 2.8 | 577M| 54 | 7 | 60 |7840 | 60 | 23 | 20 |1380k|4741 | 0.000000e+00 | -- | Inf
1800.08/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.50 c
1800.08/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.50 c Solving Time (sec) : 1688.71
1800.08/1800.50 c Solving Nodes : 2721652
1800.08/1800.50 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.08/1800.50 c Dual Bound : +0.00000000000000e+00
1800.08/1800.50 c Gap : infinite
1800.08/1800.50 s UNKNOWN
1800.08/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.50 c Solving Time : 1688.71
1800.08/1800.50 c Original Problem :
1800.08/1800.50 c Problem name : HOME/instance-2666874-1276602451.opb
1800.08/1800.50 c Variables : 61 (61 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.50 c Constraints : 15 initial, 15 maximal
1800.08/1800.50 c Presolved Problem :
1800.08/1800.50 c Problem name : t_HOME/instance-2666874-1276602451.opb
1800.08/1800.50 c Variables : 60 (60 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.50 c Constraints : 7 initial, 11696 maximal
1800.08/1800.50 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.08/1800.50 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.50 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.08/1800.50 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.50 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.50 c implics : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.50 c probing : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.50 c linear : 0.00 0 0 0 0 0 8 0 0
1800.08/1800.50 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.50 c root node : - 0 - - 0 - - - -
1800.08/1800.50 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.08/1800.50 c integral : 0 0 0 1710278 0 397 1916 0 0 3416128
1800.08/1800.50 c linear : 7 6 6608556 0 0 99030 2890067 0 0 0
1800.08/1800.50 c logicor : 0+ 0 2648673 0 0 4452 952907 0 0 0
1800.08/1800.50 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.08/1800.50 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.08/1800.50 c integral : 22.23 0.00 0.00 22.23 0.00
1800.08/1800.50 c linear : 327.77 0.00 327.77 0.00 0.00
1800.08/1800.50 c logicor : 369.28 0.00 369.28 0.00 0.00
1800.08/1800.50 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.50 c Propagators : Time Calls Cutoffs DomReds
1800.08/1800.50 c vbounds : 2.97 2 0 0
1800.08/1800.50 c rootredcost : 3.03 0 0 0
1800.08/1800.50 c pseudoobj : 2.50 0 0 0
1800.08/1800.50 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.08/1800.50 c propagation : 14.61 103482 94646 348998 41.6 18 35.7 -
1800.08/1800.50 c infeasible LP : 64.15 917510 917483 1818556 28.3 10241 33.3 0
1800.08/1800.50 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.50 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.50 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.08/1800.50 c applied globally : - - - 1142807 23.4 - - -
1800.08/1800.50 c applied locally : - - - 238039 36.7 - - -
1800.08/1800.50 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.08/1800.50 c cut pool : 0.00 5 - - 17 - (maximal pool size: 77)
1800.08/1800.50 c redcost : 4.50 1710281 0 0 0 0
1800.08/1800.50 c impliedbounds : 0.00 6 0 0 0 0
1800.08/1800.50 c intobj : 0.00 0 0 0 0 0
1800.08/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.08/1800.51 c gomory : 0.00 6 0 0 1 0
1800.08/1800.51 c strongcg : 0.00 6 0 0 25 0
1800.08/1800.51 c cmir : 0.02 6 0 0 26 0
1800.08/1800.51 c flowcover : 0.05 6 0 0 36 0
1800.08/1800.51 c clique : 0.00 1 0 0 0 0
1800.08/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.08/1800.51 c mcf : 0.00 1 0 0 0 0
1800.08/1800.51 c rapidlearning : 0.09 1 0 0 0 0
1800.08/1800.51 c Pricers : Time Calls Vars
1800.08/1800.51 c problem variables: 0.00 0 0
1800.08/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.08/1800.51 c relpscost : 19.81 1710278 397 1916 0 0 3416128
1800.08/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.08/1800.51 c inference : 0.00 0 0 0 0 0 0
1800.08/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.08/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.08/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.51 c random : 0.00 0 0 0 0 0 0
1800.08/1800.51 c Primal Heuristics : Time Calls Found
1800.08/1800.51 c LP solutions : 0.00 - 0
1800.08/1800.51 c pseudo solutions : 0.00 - 0
1800.08/1800.51 c oneopt : 2.99 0 0
1800.08/1800.51 c crossover : 1.48 0 0
1800.08/1800.51 c guideddiving : 0.25 0 0
1800.08/1800.51 c intshifting : 0.10 0 0
1800.08/1800.51 c pscostdiving : 0.13 35 0
1800.08/1800.51 c fracdiving : 0.14 35 0
1800.08/1800.51 c veclendiving : 0.19 35 0
1800.08/1800.51 c linesearchdiving : 0.10 35 0
1800.08/1800.51 c feaspump : 0.10 18 0
1800.08/1800.51 c objpscostdiving : 0.17 18 0
1800.08/1800.51 c rootsoldiving : 0.19 18 0
1800.08/1800.51 c coefdiving : 0.17 36 0
1800.08/1800.51 c trivial : 0.00 2 0
1800.08/1800.51 c simplerounding : 0.95 0 0
1800.08/1800.51 c zirounding : 1.42 1000 0
1800.08/1800.51 c rounding : 2.24 18502 0
1800.08/1800.51 c shifting : 5.04 5736 0
1800.08/1800.51 c twoopt : 0.00 0 0
1800.08/1800.51 c fixandinfer : 0.00 0 0
1800.08/1800.51 c intdiving : 0.00 0 0
1800.08/1800.51 c actconsdiving : 0.00 0 0
1800.08/1800.51 c octane : 0.00 0 0
1800.08/1800.51 c rens : 0.12 1 0
1800.08/1800.51 c rins : 0.00 0 0
1800.08/1800.51 c localbranching : 0.00 0 0
1800.08/1800.51 c mutation : 0.00 0 0
1800.08/1800.51 c dins : 0.00 0 0
1800.08/1800.51 c undercover : 0.00 0 0
1800.08/1800.51 c nlp : 1.27 0 0
1800.08/1800.51 c trysol : 1.99 0 0
1800.08/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.08/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.08/1800.51 c dual LP : 334.02 2570270 7638748 2.97 22869.13
1800.08/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.08/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.08/1800.51 c diving/probing LP: 0.05 1135 2610 2.30 52200.00
1800.08/1800.51 c strong branching : 1.13 4742 25879 5.46 22901.77
1800.08/1800.51 c (at root node) : - 9 352 39.11 -
1800.08/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.08/1800.51 c B&B Tree :
1800.08/1800.51 c number of runs : 1
1800.08/1800.51 c nodes : 2721652
1800.08/1800.51 c nodes (total) : 2721652
1800.08/1800.51 c nodes left : 682645
1800.08/1800.51 c max depth : 54
1800.08/1800.51 c max depth (total): 54
1800.08/1800.51 c backtracks : 259310 (9.5%)
1800.08/1800.51 c delayed cutoffs : 11832
1800.08/1800.51 c repropagations : 2611993 (991259 domain reductions, 7378 cutoffs)
1800.08/1800.51 c avg switch length: 5.41
1800.08/1800.51 c switching time : 295.22
1800.08/1800.51 c Solution :
1800.08/1800.51 c Solutions found : 0 (0 improvements)
1800.08/1800.51 c Primal Bound : -
1800.08/1800.51 c Dual Bound : +0.00000000000000e+00
1800.08/1800.51 c Gap : infinite
1800.08/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.08/1800.51 c Root Iterations : 186
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666874-1276602451/watcher-2666874-1276602451 -o /tmp/evaluation-result-2666874-1276602451/solver-2666874-1276602451 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666874-1276602451.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 3/106 9313
/proc/meminfo: memFree=1540288/2059040 swapFree=4192956/4192956
[pid=9313] ppid=9311 vsize=7724 CPUtime=0
/proc/9313/stat : 9313 (pbscip.linux.x8) R 9311 9313 9288 0 -1 4202496 1061 0 0 0 0 0 0 0 17 0 1 0 1540146 7909376 980 1992294400 4194304 8223781 140734329799216 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9313/statm: 1931 989 348 984 0 944 0
[startup+0.0858251 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 9313
/proc/meminfo: memFree=1540288/2059040 swapFree=4192956/4192956
[pid=9313] ppid=9311 vsize=19868 CPUtime=0.08
/proc/9313/stat : 9313 (pbscip.linux.x8) R 9311 9313 9288 0 -1 4202496 4952 0 0 0 6 2 0 0 17 0 1 0 1540146 20344832 3725 1992294400 4194304 8223781 140734329799216 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9313/statm: 4967 3725 568 984 0 3980 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 19868
[startup+0.100825 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 9313
/proc/meminfo: memFree=1540288/2059040 swapFree=4192956/4192956
[pid=9313] ppid=9311 vsize=19868 CPUtime=0.09
/proc/9313/stat : 9313 (pbscip.linux.x8) R 9311 9313 9288 0 -1 4202496 4953 0 0 0 7 2 0 0 17 0 1 0 1540146 20344832 3726 1992294400 4194304 8223781 140734329799216 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9313/statm: 4967 3726 568 984 0 3980 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19868
[startup+0.300838 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 9313
/proc/meminfo: memFree=1540288/2059040 swapFree=4192956/4192956
[pid=9313] ppid=9311 vsize=20404 CPUtime=0.29
/proc/9313/stat : 9313 (pbscip.linux.x8) R 9311 9313 9288 0 -1 4202496 7990 0 0 0 24 5 0 0 17 0 1 0 1540146 20893696 3907 1992294400 4194304 8223781 140734329799216 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9313/statm: 5101 3907 584 984 0 4114 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20404
[startup+0.700866 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 9313
/proc/meminfo: memFree=1540288/2059040 swapFree=4192956/4192956
[pid=9313] ppid=9311 vsize=13244 CPUtime=0.69
/proc/9313/stat : 9313 (pbscip.linux.x8) R 9311 9313 9288 0 -1 4202496 7995 0 0 0 62 7 0 0 17 0 1 0 1540146 13561856 2472 1992294400 4194304 8223781 140734329799216 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9313/statm: 3311 2472 588 984 0 2324 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13244
[startup+1.50092 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 9314
/proc/meminfo: memFree=1531972/2059040 swapFree=4192956/4192956
[pid=9313] ppid=9311 vsize=14152 CPUtime=1.49
/proc/9313/stat : 9313 (pbscip.linux.x8) R 9311 9313 9288 0 -1 4202496 8196 0 0 0 134 15 0 0 18 0 1 0 1540146 14491648 2673 1992294400 4194304 8223781 140734329799216 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9313/statm: 3538 2673 588 984 0 2551 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14152
[startup+3.10103 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 9314
/proc/meminfo: memFree=1530856/2059040 swapFree=4192956/4192956
[pid=9313] ppid=9311 vsize=16212 CPUtime=3.09
/proc/9313/stat : 9313 (pbscip.linux.x8) R 9311 9313 9288 0 -1 4202496 8719 0 0 0 282 27 0 0 21 0 1 0 1540146 16601088 3196 1992294400 4194304 8223781 140734329799216 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9313/statm: 4053 3196 588 984 0 3066 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16212
[startup+6.30125 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 9314
/proc/meminfo: memFree=1526888/2059040 swapFree=4192956/4192956
[pid=9313] ppid=9311 vsize=19004 CPUtime=6.29
/proc/9313/stat : 9313 (pbscip.linux.x8) R 9311 9313 9288 0 -1 4202496 9445 0 0 0 578 51 0 0 25 0 1 0 1540146 19460096 3922 1992294400 4194304 8223781 140734329799216 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9313/statm: 4751 3922 588 984 0 3764 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19004
[startup+12.7017 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 9314
/proc/meminfo: memFree=1523416/2059040 swapFree=4192956/4192956
[pid=9313] ppid=9311 vsize=22252 CPUtime=12.69
/proc/9313/stat : 9313 (pbscip.linux.x8) R 9311 9313 9288 0 -1 4202496 10276 0 0 0 1168 101 0 0 25 0 1 0 1540146 22786048 4753 1992294400 4194304 8223781 140734329799216 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9313/statm: 5563 4753 588 984 0 4576 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22252
[startup+25.5006 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 9314
/proc/meminfo: memFree=1516348/2059040 swapFree=4192956/4192956
[pid=9313] ppid=9311 vsize=29280 CPUtime=25.48
/proc/9313/stat : 9313 (pbscip.linux.x8) R 9311 9313 9288 0 -1 4202496 12025 0 0 0 2348 200 0 0 25 0 1 0 1540146 29982720 6502 1992294400 4194304 8223781 140734329799216 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9313/statm: 7320 6502 588 984 0 6333 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 29280
[startup+51.1003 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 9314
/proc/meminfo: memFree=1504940/2059040 swapFree=4192956/4192956
[pid=9313] ppid=9311 vsize=40832 CPUtime=51.08
/proc/9313/stat : 9313 (pbscip.linux.x8) R 9311 9313 9288 0 -1 4202496 14976 0 0 0 4705 403 0 0 25 0 1 0 1540146 41811968 9453 1992294400 4194304 8223781 140734329799216 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9313/statm: 10208 9453 588 984 0 9221 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 40832
[startup+102.308 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 9316
/proc/meminfo: memFree=1481504/2059040 swapFree=4192956/4192956
[pid=9313] ppid=9311 vsize=63164 CPUtime=102.28
/proc/9313/stat : 9313 (pbscip.linux.x8) R 9311 9313 9288 0 -1 4202496 20632 0 0 0 9435 793 0 0 25 0 1 0 1540146 64679936 15109 1992294400 4194304 8223781 140734329799216 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9313/statm: 15791 15109 588 984 0 14804 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 63164
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9318
/proc/meminfo: memFree=1453604/2059040 swapFree=4192956/4192956
[pid=9313] ppid=9311 vsize=92876 CPUtime=162.25
/proc/9313/stat : 9313 (pbscip.linux.x8) R 9311 9313 9288 0 -1 4202496 27651 0 0 0 15003 1222 0 0 25 0 1 0 1540146 95105024 22128 1992294400 4194304 8223781 140734329799216 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9313/statm: 23219 22128 588 984 0 22232 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 92876
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9320
/proc/meminfo: memFree=1430416/2059040 swapFree=4192956/4192956
[pid=9313] ppid=9311 vsize=115132 CPUtime=222.24
/proc/9313/stat : 9313 (pbscip.linux.x8) R 9311 9313 9288 0 -1 4202496 33322 0 0 0 20579 1645 0 0 25 0 1 0 1540146 117895168 27799 1992294400 4194304 8223781 140734329799216 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9313/statm: 28783 27799 588 984 0 27796 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 115132
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9322
/proc/meminfo: memFree=1407352/2059040 swapFree=4192956/4192956
[pid=9313] ppid=9311 vsize=138272 CPUtime=282.23
/proc/9313/stat : 9313 (pbscip.linux.x8) R 9311 9313 9288 0 -1 4202496 39174 0 0 0 26166 2057 0 0 25 0 1 0 1540146 141590528 33651 1992294400 4194304 8223781 140734329799216 18446744073709551615 4979111 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9313/statm: 34568 33651 588 984 0 33581 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 138272
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9322
/proc/meminfo: memFree=1387016/2059040 swapFree=4192956/4192956
[pid=9313] ppid=9311 vsize=157648 CPUtime=342.21
/proc/9313/stat : 9313 (pbscip.linux.x8) R 9311 9313 9288 0 -1 4202496 44114 0 0 0 31764 2457 0 0 25 0 1 0 1540146 161431552 38591 1992294400 4194304 8223781 140734329799216 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9313/statm: 39412 38591 588 984 0 38425 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 157648
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9324
/proc/meminfo: memFree=1361224/2059040 swapFree=4192956/4192956
[pid=9313] ppid=9311 vsize=182816 CPUtime=402.21
/proc/9313/stat : 9313 (pbscip.linux.x8) R 9311 9313 9288 0 -1 4202496 50498 0 0 0 37360 2861 0 0 25 0 1 0 1540146 187203584 44975 1992294400 4194304 8223781 140734329799216 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9313/statm: 45704 44975 588 984 0 44717 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 182816
[startup+462.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9326
/proc/meminfo: memFree=1340764/2059040 swapFree=4192956/4192956
[pid=9313] ppid=9311 vsize=207512 CPUtime=462.19
/proc/9313/stat : 9313 (pbscip.linux.x8) R 9311 9313 9288 0 -1 4202496 55698 0 0 0 42970 3249 0 0 25 0 1 0 1540146 212492288 50175 1992294400 4194304 8223781 140734329799216 18446744073709551615 4978009 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9313/statm: 51878 50175 588 984 0 50891 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 207512
[startup+522.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9328
/proc/meminfo: memFree=1316336/2059040 swapFree=4192956/4192956
[pid=9313] ppid=9311 vsize=231048 CPUtime=522.17
/proc/9313/stat : 9313 (pbscip.linux.x8) R 9311 9313 9288 0 -1 4202496 61667 0 0 0 48575 3642 0 0 25 0 1 0 1540146 236593152 56144 1992294400 4194304 8223781 140734329799216 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9313/statm: 57762 56144 588 984 0 56775 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 231048
[startup+582.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9330
/proc/meminfo: memFree=1296744/2059040 swapFree=4192956/4192956
[pid=9313] ppid=9311 vsize=250528 CPUtime=582.16
/proc/9313/stat : 9313 (pbscip.linux.x8) R 9311 9313 9288 0 -1 4202496 66623 0 0 0 54187 4029 0 0 25 0 1 0 1540146 256540672 61100 1992294400 4194304 8223781 140734329799216 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9313/statm: 62632 61100 588 984 0 61645 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 250528
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9330
/proc/meminfo: memFree=1279260/2059040 swapFree=4192956/4192956
[pid=9313] ppid=9311 vsize=267144 CPUtime=642.15
/proc/9313/stat : 9313 (pbscip.linux.x8) R 9311 9313 9288 0 -1 4202496 70880 0 0 0 59806 4409 0 0 25 0 1 0 1540146 273555456 65357 1992294400 4194304 8223781 140734329799216 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9313/statm: 66786 65357 588 984 0 65799 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 267144
[startup+702.301 s]
################
# More data... #
################
/proc/9313/stat : 9313 (pbscip.linux.x8) R 9311 9313 9288 0 -1 4202496 105111 0 0 0 99259 6945 0 0 25 0 1 0 1540146 411582464 99588 1992294400 4194304 8223781 140734329799216 18446744073709551615 4981189 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9313/statm: 100484 99588 588 984 0 99497 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 401936
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9353
/proc/meminfo: memFree=1122772/2059040 swapFree=4192956/4192956
[pid=9313] ppid=9311 vsize=420048 CPUtime=1122.03
/proc/9313/stat : 9313 (pbscip.linux.x8) R 9311 9313 9288 0 -1 4202496 109679 0 0 0 104907 7296 0 0 25 0 1 0 1540146 430129152 104156 1992294400 4194304 8223781 140734329799216 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9313/statm: 105012 104156 588 984 0 104025 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 420048
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9355
/proc/meminfo: memFree=1101692/2059040 swapFree=4192956/4192956
[pid=9313] ppid=9311 vsize=449660 CPUtime=1182.01
/proc/9313/stat : 9313 (pbscip.linux.x8) R 9311 9313 9288 0 -1 4202496 115161 0 0 0 110538 7663 0 0 25 0 1 0 1540146 460451840 109638 1992294400 4194304 8223781 140734329799216 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9313/statm: 112415 109638 588 984 0 111428 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 449660
[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9355
/proc/meminfo: memFree=1086440/2059040 swapFree=4192956/4192956
[pid=9313] ppid=9311 vsize=463992 CPUtime=1242
/proc/9313/stat : 9313 (pbscip.linux.x8) R 9311 9313 9288 0 -1 4202496 118698 0 0 0 116201 7999 0 0 25 0 1 0 1540146 475127808 113175 1992294400 4194304 8223781 140734329799216 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9313/statm: 115998 113175 588 984 0 115011 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 463992
[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9357
/proc/meminfo: memFree=1072056/2059040 swapFree=4192956/4192956
[pid=9313] ppid=9311 vsize=477756 CPUtime=1302
/proc/9313/stat : 9313 (pbscip.linux.x8) R 9311 9313 9288 0 -1 4202496 122233 0 0 0 121850 8350 0 0 25 0 1 0 1540146 489222144 116710 1992294400 4194304 8223781 140734329799216 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9313/statm: 119439 116710 588 984 0 118452 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 477756
[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9359
/proc/meminfo: memFree=1051224/2059040 swapFree=4192956/4192956
[pid=9313] ppid=9311 vsize=498096 CPUtime=1361.97
/proc/9313/stat : 9313 (pbscip.linux.x8) R 9311 9313 9288 0 -1 4202496 127453 0 0 0 127485 8712 0 0 25 0 1 0 1540146 510050304 121930 1992294400 4194304 8223781 140734329799216 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9313/statm: 124524 121930 588 984 0 123537 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 498096
[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9361
/proc/meminfo: memFree=1035972/2059040 swapFree=4192956/4192956
[pid=9313] ppid=9311 vsize=512916 CPUtime=1421.96
/proc/9313/stat : 9313 (pbscip.linux.x8) R 9311 9313 9288 0 -1 4202496 131234 0 0 0 133157 9039 0 0 25 0 1 0 1540146 525225984 125711 1992294400 4194304 8223781 140734329799216 18446744073709551615 4632905 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9313/statm: 128229 125711 588 984 0 127242 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 512916
[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9363
/proc/meminfo: memFree=1019976/2059040 swapFree=4192956/4192956
[pid=9313] ppid=9311 vsize=528256 CPUtime=1481.94
/proc/9313/stat : 9313 (pbscip.linux.x8) R 9311 9313 9288 0 -1 4202496 135182 0 0 0 138830 9364 0 0 25 0 1 0 1540146 540934144 129659 1992294400 4194304 8223781 140734329799216 18446744073709551615 4999842 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9313/statm: 132064 129659 588 984 0 131077 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 528256
[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9363
/proc/meminfo: memFree=997532/2059040 swapFree=4192956/4192956
[pid=9313] ppid=9311 vsize=550972 CPUtime=1541.93
/proc/9313/stat : 9313 (pbscip.linux.x8) R 9311 9313 9288 0 -1 4202496 140776 0 0 0 144485 9708 0 0 25 0 1 0 1540146 564195328 135253 1992294400 4194304 8223781 140734329799216 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9313/statm: 137743 135253 588 984 0 136756 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 550972
[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9365
/proc/meminfo: memFree=982900/2059040 swapFree=4192956/4192956
[pid=9313] ppid=9311 vsize=565216 CPUtime=1601.91
/proc/9313/stat : 9313 (pbscip.linux.x8) R 9311 9313 9288 0 -1 4202496 144449 0 0 0 150150 10041 0 0 25 0 1 0 1540146 578781184 138926 1992294400 4194304 8223781 140734329799216 18446744073709551615 4223878 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9313/statm: 141304 138926 588 984 0 140317 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 565216
[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9367
/proc/meminfo: memFree=965664/2059040 swapFree=4192956/4192956
[pid=9313] ppid=9311 vsize=581880 CPUtime=1661.9
/proc/9313/stat : 9313 (pbscip.linux.x8) R 9311 9313 9288 0 -1 4202496 148723 0 0 0 155821 10369 0 0 25 0 1 0 1540146 595845120 143200 1992294400 4194304 8223781 140734329799216 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9313/statm: 145470 143200 588 984 0 144483 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 581880
[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9369
/proc/meminfo: memFree=945700/2059040 swapFree=4192956/4192956
[pid=9313] ppid=9311 vsize=601284 CPUtime=1721.89
/proc/9313/stat : 9313 (pbscip.linux.x8) R 9311 9313 9288 0 -1 4202496 153644 0 0 0 161483 10706 0 0 25 0 1 0 1540146 615714816 148121 1992294400 4194304 8223781 140734329799216 18446744073709551615 5955642 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9313/statm: 150321 148121 588 984 0 149334 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 601284
[startup+1782.3 s]
/proc/loadavg: 1.05 1.00 1.00 2/107 9371
/proc/meminfo: memFree=929208/2059040 swapFree=4192956/4192956
[pid=9313] ppid=9311 vsize=616944 CPUtime=1781.88
/proc/9313/stat : 9313 (pbscip.linux.x8) R 9311 9313 9288 0 -1 4202496 157699 0 0 0 167158 11030 0 0 25 0 1 0 1540146 631750656 152176 1992294400 4194304 8223781 140734329799216 18446744073709551615 4948417 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9313/statm: 154236 152176 588 984 0 153249 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 616944
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.04 1.00 1.00 2/107 9371
/proc/meminfo: memFree=925116/2059040 swapFree=4192956/4192956
[pid=9313] ppid=9311 vsize=620872 CPUtime=1800.08
/proc/9313/stat : 9313 (pbscip.linux.x8) R 9311 9313 9288 0 -1 4202496 158721 0 0 0 168871 11137 0 0 25 0 1 0 1540146 635772928 153198 1992294400 4194304 8223781 140734329799216 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9313/statm: 155218 153198 588 984 0 154231 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 620872
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -9313
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.04 1.00 1.00 2/108 9372
/proc/meminfo: memFree=925108/2059040 swapFree=4192956/4192956
[pid=9313] ppid=9311 vsize=620872 CPUtime=1800.97
/proc/9313/stat : 9313 (pbscip.linux.x8) R 9311 9313 9288 0 -1 4202496 158722 0 0 0 168960 11137 0 0 25 0 1 0 1540146 635772928 153199 1992294400 4194304 8223781 140734329799216 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9313/statm: 155218 153199 589 984 0 154231 0
Current children cumulated CPU time (s) 1800.97
Current children cumulated vsize (KiB) 620872
[startup+1802.2 s]
/proc/loadavg: 1.04 1.00 1.00 2/108 9372
/proc/meminfo: memFree=924984/2059040 swapFree=4192956/4192956
[pid=9313] ppid=9311 vsize=620872 CPUtime=1801.77
/proc/9313/stat : 9313 (pbscip.linux.x8) R 9311 9313 9288 0 -1 4202496 158722 0 0 0 169040 11137 0 0 25 0 1 0 1540146 635772928 153199 1992294400 4194304 8223781 140734329799216 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9313/statm: 155218 153199 589 984 0 154231 0
Current children cumulated CPU time (s) 1801.77
Current children cumulated vsize (KiB) 620872
[startup+1802.4 s]
/proc/loadavg: 1.04 1.00 1.00 2/108 9372
/proc/meminfo: memFree=924984/2059040 swapFree=4192956/4192956
[pid=9313] ppid=9311 vsize=620872 CPUtime=1801.97
/proc/9313/stat : 9313 (pbscip.linux.x8) R 9311 9313 9288 0 -1 4202496 158722 0 0 0 169060 11137 0 0 25 0 1 0 1540146 635772928 153199 1992294400 4194304 8223781 140734329799216 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9313/statm: 155218 153199 589 984 0 154231 0
Current children cumulated CPU time (s) 1801.97
Current children cumulated vsize (KiB) 620872
[startup+1802.5 s]
/proc/loadavg: 1.04 1.00 1.00 2/108 9372
/proc/meminfo: memFree=924984/2059040 swapFree=4192956/4192956
[pid=9313] ppid=9311 vsize=620872 CPUtime=1802.07
/proc/9313/stat : 9313 (pbscip.linux.x8) R 9311 9313 9288 0 -1 4202496 158722 0 0 0 169070 11137 0 0 25 0 1 0 1540146 635772928 153199 1992294400 4194304 8223781 140734329799216 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9313/statm: 155218 153199 589 984 0 154231 0
Current children cumulated CPU time (s) 1802.07
Current children cumulated vsize (KiB) 620872
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.57
CPU time (s): 1802.15
CPU user time (s): 1690.72
CPU system time (s): 111.432
CPU usage (%): 99.9769
Max. virtual memory (cumulated for all children) (KiB): 620872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1690.72
system time used= 111.432
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 158722
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1721
runsolver used 3.20851 second user time and 8.29874 second system time
The end