0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [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-2665443-1276601855.opb>
0.00/0.01 c original problem has 51 variables (51 bin, 0 int, 0 impl, 0 cont) and 13 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, 7 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, 7 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 50 variables (50 bin, 0 int, 0 impl, 0 cont) and 6 constraints
0.00/0.02 c 6 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.02 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.02 c 0.0s| 1 | 0 | 30 | - | 273k| 0 | 6 | 50 | 6 | 50 | 6 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.11 c 0.1s| 1 | 0 | 35 | - | 297k| 0 | 8 | 50 | 6 | 50 | 11 | 5 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.12 c 0.1s| 1 | 0 | 40 | - | 330k| 0 | 12 | 50 | 6 | 50 | 18 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.13 c 0.1s| 1 | 0 | 45 | - | 356k| 0 | 12 | 50 | 6 | 50 | 22 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.14 c 0.1s| 1 | 0 | 62 | - | 387k| 0 | 17 | 50 | 6 | 50 | 26 | 20 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.16 c 0.1s| 1 | 0 | 65 | - | 395k| 0 | 16 | 50 | 6 | 50 | 27 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.17 c 0.1s| 1 | 0 | 74 | - | 421k| 0 | 16 | 50 | 6 | 50 | 29 | 23 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.24 c 0.2s| 1 | 2 | 74 | - | 422k| 0 | 16 | 50 | 6 | 50 | 29 | 23 | 0 | 9 | 0.000000e+00 | -- | Inf
5.79/5.84 c 4.9s| 10000 | 3284 | 25527 | 2.5 |3480k| 43 | - | 50 |2319 | 50 | 16 | 23 |3812 | 530 | 0.000000e+00 | -- | Inf
11.29/11.31 c 9.6s| 20000 | 6197 | 50440 | 2.5 |5144k| 44 | 6 | 50 |1226 | 50 | 16 | 23 |7852 | 688 | 0.000000e+00 | -- | Inf
16.59/16.68 c 14.2s| 30000 | 8818 | 76578 | 2.6 |7041k| 44 | 6 | 50 |1643 | 50 | 16 | 23 | 11k| 804 | 0.000000e+00 | -- | Inf
22.09/22.19 c 18.9s| 40000 | 11249 |105634 | 2.6 |8748k| 44 | 6 | 50 |1494 | 50 | 16 | 23 | 16k| 879 | 0.000000e+00 | -- | Inf
27.68/27.72 c 23.6s| 50000 | 13582 |136232 | 2.7 | 10M| 44 | 6 | 50 |1590 | 50 | 16 | 23 | 20k| 950 | 0.000000e+00 | -- | Inf
33.28/33.33 c 28.4s| 60000 | 16009 |169771 | 2.8 | 12M| 44 | - | 50 |2008 | 50 | 16 | 23 | 24k|1039 | 0.000000e+00 | -- | Inf
38.78/38.81 c 33.1s| 70000 | 18218 |195588 | 2.8 | 13M| 44 | 6 | 50 |2095 | 50 | 16 | 23 | 29k|1135 | 0.000000e+00 | -- | Inf
44.18/44.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
44.18/44.26 c 37.7s| 80000 | 20748 |221367 | 2.8 | 15M| 44 | 6 | 50 |2103 | 50 | 16 | 23 | 33k|1187 | 0.000000e+00 | -- | Inf
49.68/49.71 c 42.4s| 90000 | 23546 |247254 | 2.7 | 17M| 45 | 6 | 50 |1917 | 50 | 16 | 23 | 37k|1229 | 0.000000e+00 | -- | Inf
55.18/55.29 c 47.2s|100000 | 26053 |273632 | 2.7 | 19M| 45 | 6 | 50 |1990 | 50 | 16 | 23 | 41k|1253 | 0.000000e+00 | -- | Inf
60.77/60.84 c 52.0s|110000 | 28233 |299236 | 2.7 | 20M| 45 | 6 | 50 |1810 | 50 | 16 | 23 | 45k|1297 | 0.000000e+00 | -- | Inf
66.28/66.34 c 56.6s|120000 | 30521 |324197 | 2.7 | 22M| 45 | - | 50 |2104 | 50 | 16 | 23 | 49k|1330 | 0.000000e+00 | -- | Inf
71.98/72.07 c 61.6s|130000 | 32773 |350764 | 2.7 | 24M| 45 | 6 | 50 |2096 | 50 | 16 | 23 | 54k|1399 | 0.000000e+00 | -- | Inf
77.67/77.78 c 66.5s|140000 | 34999 |380800 | 2.7 | 25M| 45 | - | 50 |2002 | 0 | 0 | 23 | 58k|1414 | 0.000000e+00 | -- | Inf
83.37/83.42 c 71.4s|150000 | 37461 |413323 | 2.8 | 27M| 45 | - | 50 |1983 | 50 | 16 | 23 | 62k|1432 | 0.000000e+00 | -- | Inf
89.17/89.22 c 76.3s|160000 | 39699 |445116 | 2.8 | 29M| 45 | - | 50 |2113 | 50 | 16 | 23 | 66k|1434 | 0.000000e+00 | -- | Inf
94.97/95.05 c 81.3s|170000 | 41934 |479046 | 2.8 | 30M| 45 | 6 | 50 |2028 | 50 | 16 | 23 | 70k|1463 | 0.000000e+00 | -- | Inf
100.67/100.78 c 86.2s|180000 | 44204 |510979 | 2.8 | 32M| 45 | 6 | 50 |1798 | 50 | 16 | 23 | 74k|1483 | 0.000000e+00 | -- | Inf
106.36/106.45 c 91.1s|190000 | 46292 |539700 | 2.8 | 33M| 45 | 6 | 50 |2074 | 50 | 16 | 23 | 79k|1531 | 0.000000e+00 | -- | Inf
111.96/112.05 c 95.9s|200000 | 48533 |566038 | 2.8 | 35M| 45 | 6 | 50 |2145 | 50 | 16 | 23 | 83k|1540 | 0.000000e+00 | -- | Inf
117.57/117.61 c 101s|210000 | 50829 |591956 | 2.8 | 37M| 45 | 6 | 50 |2113 | 50 | 16 | 23 | 87k|1563 | 0.000000e+00 | -- | Inf
123.26/123.33 c 106s|220000 | 52829 |617909 | 2.8 | 38M| 45 | 6 | 50 |2165 | 50 | 16 | 23 | 91k|1564 | 0.000000e+00 | -- | Inf
129.06/129.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
129.06/129.11 c 110s|230000 | 54810 |644373 | 2.8 | 40M| 45 | 6 | 50 |2054 | 50 | 16 | 23 | 95k|1569 | 0.000000e+00 | -- | Inf
134.66/134.76 c 115s|240000 | 56843 |670930 | 2.8 | 41M| 45 | - | 50 |2141 | 0 | 0 | 23 | 99k|1579 | 0.000000e+00 | -- | Inf
140.46/140.58 c 120s|250000 | 58683 |696741 | 2.8 | 43M| 45 | - | 50 |1901 | 0 | 0 | 23 | 104k|1606 | 0.000000e+00 | -- | Inf
146.26/146.32 c 125s|260000 | 60526 |722591 | 2.8 | 44M| 45 | 6 | 50 |1761 | 50 | 16 | 23 | 108k|1646 | 0.000000e+00 | -- | Inf
151.85/151.96 c 130s|270000 | 62586 |748902 | 2.8 | 46M| 45 | 6 | 50 |2157 | 50 | 16 | 23 | 112k|1662 | 0.000000e+00 | -- | Inf
157.75/157.84 c 135s|280000 | 64637 |774904 | 2.8 | 47M| 45 | - | 50 |2142 | 50 | 16 | 23 | 117k|1689 | 0.000000e+00 | -- | Inf
163.55/163.65 c 140s|290000 | 66485 |801872 | 2.8 | 49M| 45 | 6 | 50 |2292 | 50 | 16 | 23 | 121k|1715 | 0.000000e+00 | -- | Inf
169.36/169.43 c 145s|300000 | 68607 |828939 | 2.8 | 50M| 45 | - | 50 |2035 | 0 | 0 | 23 | 125k|1748 | 0.000000e+00 | -- | Inf
175.14/175.27 c 150s|310000 | 70409 |854999 | 2.8 | 52M| 45 | 6 | 50 |2265 | 50 | 16 | 23 | 129k|1778 | 0.000000e+00 | -- | Inf
180.95/181.02 c 155s|320000 | 72450 |879953 | 2.7 | 53M| 45 | 6 | 50 |1943 | 50 | 16 | 23 | 134k|1812 | 0.000000e+00 | -- | Inf
186.75/186.88 c 160s|330000 | 74239 |906802 | 2.7 | 55M| 45 | 6 | 50 |2055 | 50 | 16 | 23 | 138k|1834 | 0.000000e+00 | -- | Inf
192.45/192.55 c 165s|340000 | 76327 |933096 | 2.7 | 57M| 45 | 6 | 50 |2641 | 50 | 16 | 23 | 142k|1875 | 0.000000e+00 | -- | Inf
198.24/198.31 c 170s|350000 | 78461 |959218 | 2.7 | 58M| 45 | 6 | 50 |2482 | 50 | 16 | 23 | 146k|1879 | 0.000000e+00 | -- | Inf
204.04/204.18 c 175s|360000 | 80375 |985580 | 2.7 | 60M| 45 | 6 | 50 |2750 | 50 | 16 | 23 | 151k|1895 | 0.000000e+00 | -- | Inf
210.05/210.15 c 180s|370000 | 82553 | 1012k| 2.7 | 61M| 45 | 6 | 50 |2710 | 50 | 16 | 23 | 155k|1898 | 0.000000e+00 | -- | Inf
215.83/215.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
215.83/215.98 c 185s|380000 | 84555 | 1038k| 2.7 | 63M| 45 | - | 50 |2693 | 50 | 16 | 23 | 159k|1904 | 0.000000e+00 | -- | Inf
221.64/221.73 c 190s|390000 | 86623 | 1064k| 2.7 | 64M| 45 | 6 | 50 |2248 | 50 | 16 | 23 | 163k|1904 | 0.000000e+00 | -- | Inf
227.33/227.49 c 195s|400000 | 88669 | 1090k| 2.7 | 66M| 45 | 6 | 50 |2487 | 50 | 16 | 23 | 167k|1904 | 0.000000e+00 | -- | Inf
233.33/233.41 c 200s|410000 | 90470 | 1116k| 2.7 | 67M| 45 | - | 50 |2423 | 50 | 16 | 23 | 172k|1907 | 0.000000e+00 | -- | Inf
239.13/239.23 c 205s|420000 | 92352 | 1142k| 2.7 | 69M| 45 | 6 | 50 |1825 | 50 | 16 | 23 | 176k|1918 | 0.000000e+00 | -- | Inf
245.03/245.14 c 210s|430000 | 94134 | 1169k| 2.7 | 70M| 45 | 6 | 50 |2225 | 50 | 16 | 23 | 180k|1919 | 0.000000e+00 | -- | Inf
250.53/250.70 c 215s|440000 | 96570 | 1195k| 2.7 | 72M| 45 | - | 50 |3628 | 50 | 16 | 23 | 184k|1927 | 0.000000e+00 | -- | Inf
256.72/256.82 c 220s|450000 | 98684 | 1220k| 2.7 | 74M| 45 | 6 | 50 |2678 | 50 | 16 | 23 | 188k|1940 | 0.000000e+00 | -- | Inf
262.73/262.86 c 225s|460000 |100461 | 1246k| 2.7 | 75M| 45 | 6 | 50 |2070 | 50 | 16 | 23 | 192k|1951 | 0.000000e+00 | -- | Inf
268.53/268.62 c 230s|470000 |102404 | 1271k| 2.7 | 77M| 45 | - | 50 |2485 | 50 | 16 | 23 | 197k|1961 | 0.000000e+00 | -- | Inf
274.52/274.68 c 236s|480000 |104321 | 1299k| 2.7 | 78M| 45 | - | 50 |2274 | 50 | 16 | 23 | 201k|1980 | 0.000000e+00 | -- | Inf
280.43/280.58 c 241s|490000 |106336 | 1325k| 2.7 | 80M| 45 | - | 50 |2634 | 50 | 16 | 23 | 205k|1999 | 0.000000e+00 | -- | Inf
286.42/286.55 c 246s|500000 |108306 | 1351k| 2.7 | 81M| 45 | 6 | 50 |3437 | 50 | 16 | 23 | 209k|2015 | 0.000000e+00 | -- | Inf
292.52/292.60 c 251s|510000 |110360 | 1377k| 2.7 | 83M| 45 | 6 | 50 |2913 | 50 | 16 | 23 | 213k|2032 | 0.000000e+00 | -- | Inf
298.42/298.55 c 256s|520000 |112407 | 1403k| 2.7 | 84M| 45 | - | 50 |2281 | 50 | 16 | 23 | 217k|2038 | 0.000000e+00 | -- | Inf
304.41/304.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
304.41/304.51 c 261s|530000 |114277 | 1429k| 2.7 | 86M| 45 | 6 | 50 |2214 | 50 | 16 | 23 | 221k|2040 | 0.000000e+00 | -- | Inf
310.41/310.54 c 267s|540000 |115958 | 1456k| 2.7 | 87M| 45 | 6 | 50 |2091 | 50 | 16 | 23 | 226k|2044 | 0.000000e+00 | -- | Inf
316.21/316.37 c 272s|550000 |117754 | 1483k| 2.7 | 89M| 45 | 6 | 50 |2775 | 50 | 16 | 23 | 230k|2047 | 0.000000e+00 | -- | Inf
322.01/322.18 c 277s|560000 |119872 | 1509k| 2.7 | 90M| 45 | 6 | 50 |3284 | 50 | 16 | 23 | 234k|2052 | 0.000000e+00 | -- | Inf
328.00/328.14 c 282s|570000 |122028 | 1535k| 2.7 | 92M| 45 | 6 | 50 |2791 | 50 | 16 | 23 | 238k|2062 | 0.000000e+00 | -- | Inf
334.01/334.15 c 287s|580000 |123940 | 1561k| 2.7 | 93M| 45 | - | 50 |2845 | 50 | 16 | 23 | 242k|2069 | 0.000000e+00 | -- | Inf
340.21/340.34 c 292s|590000 |125747 | 1588k| 2.7 | 95M| 45 | 6 | 50 |3128 | 50 | 16 | 23 | 246k|2079 | 0.000000e+00 | -- | Inf
346.41/346.60 c 298s|600000 |127499 | 1615k| 2.7 | 96M| 45 | - | 50 |2510 | 50 | 16 | 23 | 250k|2089 | 0.000000e+00 | -- | Inf
352.50/352.68 c 303s|610000 |129250 | 1642k| 2.7 | 98M| 45 | 6 | 50 |2448 | 50 | 16 | 23 | 255k|2090 | 0.000000e+00 | -- | Inf
358.30/358.43 c 308s|620000 |131381 | 1668k| 2.7 | 99M| 45 | 6 | 50 |3253 | 50 | 16 | 23 | 258k|2092 | 0.000000e+00 | -- | Inf
364.39/364.56 c 313s|630000 |133188 | 1693k| 2.7 | 101M| 45 | 6 | 50 |2786 | 50 | 16 | 23 | 263k|2096 | 0.000000e+00 | -- | Inf
370.60/370.77 c 319s|640000 |134835 | 1719k| 2.7 | 102M| 45 | 6 | 50 |2587 | 50 | 16 | 23 | 267k|2118 | 0.000000e+00 | -- | Inf
376.59/376.77 c 324s|650000 |136647 | 1746k| 2.7 | 104M| 45 | 6 | 50 |2397 | 50 | 16 | 23 | 271k|2127 | 0.000000e+00 | -- | Inf
382.70/382.84 c 329s|660000 |138536 | 1773k| 2.7 | 105M| 45 | - | 50 |2581 | 50 | 16 | 23 | 275k|2140 | 0.000000e+00 | -- | Inf
388.49/388.65 c 334s|670000 |140616 | 1798k| 2.7 | 107M| 45 | - | 50 |3446 | 0 | 0 | 23 | 279k|2143 | 0.000000e+00 | -- | Inf
394.89/395.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
394.89/395.06 c 340s|680000 |142328 | 1824k| 2.7 | 108M| 45 | 6 | 50 |2770 | 50 | 16 | 23 | 284k|2147 | 0.000000e+00 | -- | Inf
400.98/401.13 c 345s|690000 |144114 | 1850k| 2.7 | 110M| 45 | 6 | 50 |2622 | 50 | 16 | 23 | 288k|2157 | 0.000000e+00 | -- | Inf
406.79/407.00 c 350s|700000 |146121 | 1876k| 2.7 | 111M| 45 | - | 50 |3583 | 50 | 16 | 23 | 292k|2164 | 0.000000e+00 | -- | Inf
413.49/413.61 c 356s|710000 |147681 | 1902k| 2.7 | 113M| 45 | - | 50 |2680 | 50 | 16 | 23 | 296k|2180 | 0.000000e+00 | -- | Inf
419.68/419.87 c 361s|720000 |149451 | 1934k| 2.7 | 114M| 45 | - | 50 |2510 | 0 | 0 | 23 | 300k|2193 | 0.000000e+00 | -- | Inf
425.68/425.84 c 366s|730000 |151577 | 1966k| 2.7 | 115M| 45 | 6 | 50 |2969 | 50 | 16 | 23 | 304k|2201 | 0.000000e+00 | -- | Inf
431.88/432.02 c 372s|740000 |153679 | 1993k| 2.7 | 117M| 45 | 6 | 50 |2718 | 50 | 16 | 23 | 308k|2205 | 0.000000e+00 | -- | Inf
438.08/438.23 c 377s|750000 |155567 | 2020k| 2.7 | 118M| 45 | 6 | 50 |2452 | 50 | 16 | 23 | 312k|2220 | 0.000000e+00 | -- | Inf
444.07/444.21 c 382s|760000 |157628 | 2047k| 2.7 | 120M| 45 | - | 50 |3267 | 50 | 16 | 23 | 317k|2220 | 0.000000e+00 | -- | Inf
450.28/450.44 c 388s|770000 |159666 | 2074k| 2.7 | 122M| 45 | 6 | 50 |3606 | 50 | 16 | 23 | 320k|2224 | 0.000000e+00 | -- | Inf
456.57/456.74 c 393s|780000 |161513 | 2100k| 2.7 | 123M| 45 | 6 | 50 |3278 | 50 | 16 | 23 | 325k|2224 | 0.000000e+00 | -- | Inf
462.88/463.05 c 398s|790000 |163362 | 2127k| 2.7 | 125M| 45 | 6 | 50 |3424 | 50 | 16 | 23 | 329k|2224 | 0.000000e+00 | -- | Inf
469.07/469.23 c 404s|800000 |165421 | 2154k| 2.7 | 126M| 45 | - | 50 |2796 | 50 | 16 | 23 | 333k|2224 | 0.000000e+00 | -- | Inf
475.27/475.47 c 409s|810000 |167067 | 2181k| 2.7 | 128M| 45 | 6 | 50 |2796 | 50 | 16 | 23 | 337k|2226 | 0.000000e+00 | -- | Inf
481.17/481.31 c 414s|820000 |169266 | 2207k| 2.7 | 129M| 45 | - | 50 |3680 | 50 | 16 | 23 | 341k|2231 | 0.000000e+00 | -- | Inf
487.47/487.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
487.47/487.69 c 420s|830000 |171290 | 2234k| 2.7 | 131M| 45 | 6 | 50 |3348 | 50 | 16 | 23 | 345k|2240 | 0.000000e+00 | -- | Inf
493.77/493.99 c 425s|840000 |173334 | 2261k| 2.7 | 132M| 45 | 6 | 50 |2793 | 50 | 16 | 23 | 349k|2241 | 0.000000e+00 | -- | Inf
499.96/500.16 c 431s|850000 |175202 | 2287k| 2.7 | 134M| 45 | 6 | 50 |2627 | 50 | 16 | 23 | 353k|2241 | 0.000000e+00 | -- | Inf
505.96/506.16 c 436s|860000 |177448 | 2314k| 2.7 | 135M| 45 | - | 50 |3256 | 0 | 0 | 23 | 357k|2247 | 0.000000e+00 | -- | Inf
512.26/512.47 c 441s|870000 |179270 | 2341k| 2.7 | 137M| 45 | 6 | 50 |3067 | 50 | 16 | 23 | 361k|2252 | 0.000000e+00 | -- | Inf
518.36/518.56 c 447s|880000 |181316 | 2368k| 2.7 | 139M| 45 | - | 50 |3289 | 50 | 16 | 23 | 365k|2252 | 0.000000e+00 | -- | Inf
524.25/524.42 c 452s|890000 |184097 | 2396k| 2.7 | 141M| 45 | 6 | 50 |4188 | 50 | 16 | 23 | 368k|2260 | 0.000000e+00 | -- | Inf
530.55/530.75 c 457s|900000 |186128 | 2423k| 2.7 | 142M| 45 | 6 | 50 |3733 | 50 | 16 | 23 | 372k|2268 | 0.000000e+00 | -- | Inf
536.95/537.19 c 463s|910000 |188419 | 2451k| 2.7 | 144M| 45 | 6 | 50 |3371 | 50 | 16 | 23 | 376k|2275 | 0.000000e+00 | -- | Inf
543.45/543.64 c 468s|920000 |190206 | 2477k| 2.7 | 145M| 45 | 6 | 50 |2696 | 50 | 16 | 23 | 380k|2281 | 0.000000e+00 | -- | Inf
549.25/549.42 c 473s|930000 |192533 | 2503k| 2.7 | 147M| 45 | 6 | 50 |4055 | 50 | 16 | 23 | 384k|2291 | 0.000000e+00 | -- | Inf
555.95/556.15 c 479s|940000 |194149 | 2530k| 2.7 | 148M| 45 | - | 50 |2700 | 50 | 16 | 23 | 388k|2299 | 0.000000e+00 | -- | Inf
562.05/562.27 c 484s|950000 |196048 | 2556k| 2.7 | 149M| 45 | 6 | 50 |2896 | 50 | 16 | 23 | 392k|2308 | 0.000000e+00 | -- | Inf
568.45/568.62 c 490s|960000 |197747 | 2583k| 2.7 | 151M| 45 | 6 | 50 |2708 | 50 | 16 | 23 | 396k|2314 | 0.000000e+00 | -- | Inf
574.84/575.05 c 496s|970000 |199318 | 2609k| 2.7 | 152M| 45 | - | 50 |2307 | 50 | 16 | 23 | 401k|2318 | 0.000000e+00 | -- | Inf
580.84/581.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
580.84/581.05 c 501s|980000 |201283 | 2636k| 2.7 | 154M| 45 | 6 | 50 |2880 | 50 | 16 | 23 | 405k|2320 | 0.000000e+00 | -- | Inf
587.04/587.23 c 506s|990000 |203028 | 2663k| 2.7 | 155M| 45 | 6 | 50 |2851 | 50 | 16 | 23 | 409k|2326 | 0.000000e+00 | -- | Inf
593.23/593.46 c 512s| 1000k|204770 | 2690k| 2.7 | 157M| 45 | 6 | 50 |2608 | 50 | 16 | 23 | 413k|2338 | 0.000000e+00 | -- | Inf
599.34/599.54 c 517s| 1010k|206447 | 2715k| 2.7 | 158M| 45 | - | 50 |2419 | 50 | 16 | 23 | 417k|2338 | 0.000000e+00 | -- | Inf
605.44/605.64 c 522s| 1020k|208341 | 2742k| 2.7 | 159M| 45 | 6 | 50 |2515 | 50 | 16 | 23 | 421k|2338 | 0.000000e+00 | -- | Inf
611.44/611.68 c 527s| 1030k|210199 | 2768k| 2.7 | 161M| 45 | 6 | 50 |2634 | 50 | 16 | 23 | 425k|2347 | 0.000000e+00 | -- | Inf
617.63/617.86 c 533s| 1040k|211902 | 2795k| 2.7 | 162M| 45 | 6 | 50 |2852 | 50 | 16 | 23 | 429k|2351 | 0.000000e+00 | -- | Inf
623.93/624.12 c 538s| 1050k|213650 | 2822k| 2.7 | 164M| 45 | 6 | 50 |2677 | 50 | 16 | 23 | 433k|2358 | 0.000000e+00 | -- | Inf
629.93/630.19 c 543s| 1060k|215557 | 2847k| 2.7 | 165M| 45 | 6 | 50 |3070 | 50 | 16 | 23 | 437k|2366 | 0.000000e+00 | -- | Inf
636.13/636.37 c 549s| 1070k|217458 | 2873k| 2.7 | 167M| 45 | 6 | 50 |2857 | 50 | 16 | 23 | 441k|2372 | 0.000000e+00 | -- | Inf
642.32/642.53 c 554s| 1080k|219267 | 2900k| 2.7 | 168M| 45 | 6 | 50 |2692 | 50 | 16 | 23 | 445k|2373 | 0.000000e+00 | -- | Inf
648.23/648.49 c 559s| 1090k|221174 | 2926k| 2.7 | 170M| 45 | - | 50 |3059 | 0 | 0 | 23 | 449k|2373 | 0.000000e+00 | -- | Inf
654.42/654.61 c 564s| 1100k|223048 | 2953k| 2.7 | 171M| 45 | - | 50 |3507 | 50 | 16 | 23 | 453k|2373 | 0.000000e+00 | -- | Inf
660.72/660.93 c 570s| 1110k|224691 | 2979k| 2.7 | 173M| 45 | 6 | 50 |3102 | 50 | 16 | 23 | 458k|2373 | 0.000000e+00 | -- | Inf
667.12/667.37 c 576s| 1120k|226277 | 3006k| 2.7 | 174M| 45 | 6 | 50 |2609 | 50 | 16 | 23 | 462k|2373 | 0.000000e+00 | -- | Inf
673.32/673.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
673.32/673.56 c 581s| 1130k|228054 | 3033k| 2.7 | 176M| 45 | 6 | 50 |2895 | 50 | 16 | 23 | 466k|2373 | 0.000000e+00 | -- | Inf
679.52/679.79 c 586s| 1140k|229756 | 3059k| 2.7 | 177M| 45 | - | 50 |2998 | 0 | 0 | 23 | 470k|2373 | 0.000000e+00 | -- | Inf
685.71/685.92 c 592s| 1150k|231839 | 3086k| 2.7 | 179M| 45 | 6 | 50 |3428 | 50 | 16 | 23 | 474k|2375 | 0.000000e+00 | -- | Inf
692.21/692.40 c 597s| 1160k|233589 | 3113k| 2.7 | 180M| 45 | - | 50 |2853 | 50 | 16 | 23 | 478k|2384 | 0.000000e+00 | -- | Inf
698.32/698.56 c 603s| 1170k|235432 | 3139k| 2.7 | 181M| 45 | 6 | 50 |2445 | 50 | 16 | 23 | 482k|2393 | 0.000000e+00 | -- | Inf
704.11/704.34 c 608s| 1180k|237965 | 3165k| 2.7 | 183M| 45 | 6 | 50 |3714 | 50 | 16 | 23 | 486k|2394 | 0.000000e+00 | -- | Inf
710.61/710.80 c 613s| 1190k|239719 | 3191k| 2.7 | 185M| 45 | - | 50 |3614 | 50 | 16 | 23 | 490k|2394 | 0.000000e+00 | -- | Inf
717.10/717.33 c 619s| 1200k|241639 | 3218k| 2.7 | 186M| 45 | - | 50 |2637 | 50 | 16 | 23 | 494k|2394 | 0.000000e+00 | -- | Inf
723.40/723.61 c 624s| 1210k|243416 | 3245k| 2.7 | 188M| 45 | 6 | 50 |2892 | 50 | 16 | 23 | 498k|2400 | 0.000000e+00 | -- | Inf
729.60/729.89 c 630s| 1220k|245141 | 3272k| 2.7 | 189M| 45 | 6 | 50 |3130 | 50 | 16 | 23 | 503k|2406 | 0.000000e+00 | -- | Inf
736.20/736.42 c 636s| 1230k|246868 | 3298k| 2.7 | 190M| 45 | - | 50 |2589 | 50 | 16 | 23 | 507k|2410 | 0.000000e+00 | -- | Inf
742.30/742.55 c 641s| 1240k|248777 | 3324k| 2.7 | 192M| 45 | 6 | 50 |2900 | 50 | 16 | 23 | 510k|2415 | 0.000000e+00 | -- | Inf
748.39/748.68 c 646s| 1250k|250526 | 3351k| 2.7 | 193M| 45 | 6 | 50 |3018 | 50 | 16 | 23 | 515k|2422 | 0.000000e+00 | -- | Inf
754.79/755.05 c 652s| 1260k|252148 | 3377k| 2.7 | 195M| 45 | 6 | 50 |2964 | 50 | 16 | 23 | 519k|2432 | 0.000000e+00 | -- | Inf
761.10/761.32 c 657s| 1270k|253910 | 3403k| 2.7 | 196M| 45 | 6 | 50 |2858 | 50 | 16 | 23 | 523k|2442 | 0.000000e+00 | -- | Inf
767.39/767.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
767.39/767.62 c 663s| 1280k|255503 | 3430k| 2.7 | 197M| 45 | - | 50 |2800 | 0 | 0 | 23 | 527k|2447 | 0.000000e+00 | -- | Inf
773.79/774.06 c 668s| 1290k|257160 | 3457k| 2.7 | 199M| 45 | - | 50 |2773 | 50 | 16 | 23 | 531k|2453 | 0.000000e+00 | -- | Inf
779.89/780.14 c 673s| 1300k|259158 | 3483k| 2.7 | 201M| 45 | 6 | 50 |3595 | 50 | 16 | 23 | 535k|2454 | 0.000000e+00 | -- | Inf
786.19/786.45 c 679s| 1310k|261141 | 3511k| 2.7 | 202M| 45 | - | 50 |4032 | 50 | 16 | 23 | 539k|2459 | 0.000000e+00 | -- | Inf
792.69/792.93 c 685s| 1320k|262998 | 3538k| 2.7 | 204M| 45 | - | 50 |3591 | 50 | 16 | 23 | 543k|2464 | 0.000000e+00 | -- | Inf
799.39/799.61 c 690s| 1330k|264759 | 3565k| 2.7 | 205M| 45 | 6 | 50 |3075 | 50 | 16 | 23 | 547k|2467 | 0.000000e+00 | -- | Inf
805.78/806.07 c 696s| 1340k|266533 | 3591k| 2.7 | 206M| 45 | - | 50 |2816 | 50 | 16 | 23 | 551k|2469 | 0.000000e+00 | -- | Inf
812.28/812.59 c 702s| 1350k|268098 | 3618k| 2.7 | 208M| 45 | 6 | 50 |2579 | 50 | 16 | 23 | 556k|2477 | 0.000000e+00 | -- | Inf
818.48/818.75 c 707s| 1360k|269904 | 3645k| 2.7 | 209M| 45 | - | 50 |3238 | 50 | 16 | 23 | 559k|2486 | 0.000000e+00 | -- | Inf
824.88/825.12 c 713s| 1370k|271863 | 3671k| 2.7 | 211M| 45 | 6 | 50 |2631 | 50 | 16 | 23 | 563k|2489 | 0.000000e+00 | -- | Inf
831.28/831.59 c 718s| 1380k|273440 | 3699k| 2.7 | 212M| 45 | - | 50 |2671 | 50 | 16 | 23 | 567k|2492 | 0.000000e+00 | -- | Inf
837.17/837.47 c 723s| 1390k|275715 | 3726k| 2.7 | 214M| 45 | - | 50 |4113 | 50 | 16 | 23 | 571k|2498 | 0.000000e+00 | -- | Inf
843.67/843.90 c 729s| 1400k|277663 | 3754k| 2.7 | 215M| 45 | 6 | 50 |3317 | 50 | 16 | 23 | 575k|2503 | 0.000000e+00 | -- | Inf
849.87/850.19 c 735s| 1410k|279411 | 3781k| 2.7 | 217M| 45 | 6 | 50 |3901 | 50 | 16 | 23 | 580k|2509 | 0.000000e+00 | -- | Inf
856.46/856.77 c 740s| 1420k|281241 | 3807k| 2.7 | 218M| 45 | - | 50 |3481 | 50 | 16 | 23 | 584k|2518 | 0.000000e+00 | -- | Inf
863.06/863.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
863.06/863.33 c 746s| 1430k|282919 | 3834k| 2.7 | 220M| 45 | - | 50 |3106 | 50 | 16 | 23 | 588k|2527 | 0.000000e+00 | -- | Inf
869.26/869.56 c 751s| 1440k|284656 | 3860k| 2.7 | 221M| 45 | 6 | 50 |3338 | 50 | 16 | 23 | 592k|2527 | 0.000000e+00 | -- | Inf
875.56/875.84 c 757s| 1450k|286523 | 3886k| 2.7 | 222M| 45 | 6 | 50 |3373 | 50 | 16 | 23 | 596k|2527 | 0.000000e+00 | -- | Inf
881.66/881.93 c 762s| 1460k|288528 | 3911k| 2.7 | 224M| 45 | - | 50 |4087 | 50 | 16 | 23 | 600k|2537 | 0.000000e+00 | -- | Inf
888.16/888.48 c 768s| 1470k|290194 | 3938k| 2.7 | 225M| 45 | - | 50 |3055 | 50 | 16 | 23 | 603k|2539 | 0.000000e+00 | -- | Inf
894.56/894.85 c 773s| 1480k|291945 | 3965k| 2.7 | 227M| 45 | 6 | 50 |3029 | 50 | 16 | 23 | 607k|2543 | 0.000000e+00 | -- | Inf
900.96/901.21 c 779s| 1490k|293671 | 3992k| 2.7 | 228M| 45 | 6 | 50 |2918 | 50 | 16 | 23 | 611k|2547 | 0.000000e+00 | -- | Inf
906.95/907.26 c 784s| 1500k|295750 | 4019k| 2.7 | 230M| 45 | - | 50 |4615 | 0 | 0 | 23 | 615k|2554 | 0.000000e+00 | -- | Inf
913.65/913.99 c 790s| 1510k|297529 | 4046k| 2.7 | 231M| 45 | 6 | 50 |3315 | 50 | 16 | 23 | 619k|2560 | 0.000000e+00 | -- | Inf
919.86/920.17 c 795s| 1520k|299721 | 4073k| 2.7 | 233M| 45 | 6 | 50 |3565 | 50 | 16 | 23 | 623k|2568 | 0.000000e+00 | -- | Inf
926.05/926.36 c 801s| 1530k|301533 | 4099k| 2.7 | 234M| 45 | 6 | 50 |4552 | 50 | 16 | 23 | 627k|2574 | 0.000000e+00 | -- | Inf
932.85/933.11 c 807s| 1540k|303354 | 4126k| 2.7 | 236M| 45 | - | 50 |3093 | 50 | 16 | 23 | 631k|2574 | 0.000000e+00 | -- | Inf
939.05/939.38 c 812s| 1550k|305246 | 4153k| 2.7 | 237M| 45 | 6 | 50 |3309 | 50 | 16 | 23 | 635k|2579 | 0.000000e+00 | -- | Inf
945.45/945.70 c 818s| 1560k|306982 | 4180k| 2.7 | 239M| 45 | - | 50 |2847 | 50 | 16 | 23 | 639k|2584 | 0.000000e+00 | -- | Inf
951.65/951.99 c 823s| 1570k|308865 | 4207k| 2.7 | 240M| 45 | 6 | 50 |3320 | 50 | 16 | 23 | 642k|2590 | 0.000000e+00 | -- | Inf
958.04/958.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
958.04/958.30 c 829s| 1580k|310792 | 4233k| 2.7 | 241M| 45 | - | 50 |2873 | 50 | 16 | 23 | 646k|2595 | 0.000000e+00 | -- | Inf
964.35/964.70 c 834s| 1590k|312400 | 4260k| 2.7 | 243M| 45 | - | 50 |2475 | 50 | 16 | 23 | 650k|2596 | 0.000000e+00 | -- | Inf
970.64/970.91 c 840s| 1600k|314032 | 4286k| 2.7 | 244M| 45 | 6 | 50 |2997 | 50 | 16 | 23 | 654k|2603 | 0.000000e+00 | -- | Inf
976.74/977.09 c 845s| 1610k|315905 | 4314k| 2.7 | 246M| 45 | - | 50 |3554 | 50 | 16 | 23 | 658k|2612 | 0.000000e+00 | -- | Inf
983.05/983.39 c 850s| 1620k|317830 | 4341k| 2.7 | 247M| 45 | 6 | 50 |3426 | 50 | 16 | 23 | 662k|2623 | 0.000000e+00 | -- | Inf
989.53/989.80 c 856s| 1630k|319581 | 4367k| 2.7 | 249M| 45 | - | 50 |3519 | 0 | 0 | 23 | 666k|2627 | 0.000000e+00 | -- | Inf
995.83/996.16 c 862s| 1640k|321476 | 4394k| 2.7 | 250M| 45 | 6 | 50 |3568 | 50 | 16 | 23 | 670k|2633 | 0.000000e+00 | -- | Inf
1001.93/1002.21 c 867s| 1650k|323952 | 4420k| 2.7 | 252M| 45 | 6 | 50 |3697 | 50 | 16 | 23 | 674k|2642 | 0.000000e+00 | -- | Inf
1007.93/1008.20 c 872s| 1660k|326821 | 4447k| 2.7 | 254M| 45 | 6 | 50 |4118 | 50 | 16 | 23 | 677k|2649 | 0.000000e+00 | -- | Inf
1014.03/1014.38 c 877s| 1670k|329224 | 4473k| 2.7 | 255M| 45 | 6 | 50 |4174 | 50 | 16 | 23 | 680k|2656 | 0.000000e+00 | -- | Inf
1020.83/1021.14 c 883s| 1680k|330814 | 4499k| 2.7 | 256M| 45 | - | 50 |3374 | 50 | 16 | 23 | 684k|2663 | 0.000000e+00 | -- | Inf
1027.22/1027.51 c 889s| 1690k|332904 | 4526k| 2.7 | 258M| 45 | 6 | 50 |3894 | 50 | 16 | 23 | 687k|2670 | 0.000000e+00 | -- | Inf
1033.73/1034.04 c 894s| 1700k|334640 | 4552k| 2.7 | 259M| 45 | 6 | 50 |3668 | 50 | 16 | 23 | 691k|2676 | 0.000000e+00 | -- | Inf
1040.32/1040.61 c 900s| 1710k|336416 | 4578k| 2.7 | 261M| 45 | - | 50 |3211 | 50 | 16 | 23 | 696k|2676 | 0.000000e+00 | -- | Inf
1046.93/1047.29 c 906s| 1720k|338218 | 4606k| 2.7 | 262M| 45 | 6 | 50 |3028 | 50 | 16 | 23 | 700k|2676 | 0.000000e+00 | -- | Inf
1053.32/1053.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1053.32/1053.61 c 911s| 1730k|339868 | 4632k| 2.7 | 264M| 45 | 6 | 50 |2849 | 50 | 16 | 23 | 704k|2676 | 0.000000e+00 | -- | Inf
1059.62/1059.99 c 917s| 1740k|341572 | 4658k| 2.7 | 265M| 45 | 6 | 50 |2929 | 50 | 16 | 23 | 707k|2676 | 0.000000e+00 | -- | Inf
1066.12/1066.42 c 923s| 1750k|343112 | 4684k| 2.7 | 266M| 45 | - | 50 |2552 | 50 | 16 | 23 | 711k|2680 | 0.000000e+00 | -- | Inf
1072.12/1072.43 c 928s| 1760k|345045 | 4712k| 2.7 | 268M| 45 | - | 50 |3953 | 50 | 16 | 23 | 716k|2683 | 0.000000e+00 | -- | Inf
1078.61/1078.96 c 934s| 1770k|346975 | 4739k| 2.7 | 270M| 45 | 6 | 50 |3617 | 50 | 16 | 23 | 719k|2684 | 0.000000e+00 | -- | Inf
1085.10/1085.45 c 939s| 1780k|348898 | 4766k| 2.7 | 271M| 45 | - | 50 |3818 | 50 | 16 | 23 | 723k|2694 | 0.000000e+00 | -- | Inf
1091.71/1092.05 c 945s| 1790k|350605 | 4791k| 2.7 | 272M| 45 | 6 | 50 |3643 | 50 | 16 | 23 | 728k|2695 | 0.000000e+00 | -- | Inf
1098.10/1098.48 c 951s| 1800k|352692 | 4818k| 2.7 | 274M| 45 | 6 | 50 |3703 | 50 | 16 | 23 | 731k|2698 | 0.000000e+00 | -- | Inf
1104.30/1104.62 c 956s| 1810k|355140 | 4846k| 2.7 | 276M| 45 | - | 50 |4396 | 50 | 16 | 23 | 735k|2707 | 0.000000e+00 | -- | Inf
1111.20/1111.54 c 962s| 1820k|356856 | 4874k| 2.7 | 277M| 45 | - | 50 |3230 | 50 | 16 | 23 | 739k|2709 | 0.000000e+00 | -- | Inf
1117.80/1118.16 c 968s| 1830k|358482 | 4900k| 2.7 | 278M| 45 | - | 50 |2793 | 50 | 16 | 23 | 743k|2715 | 0.000000e+00 | -- | Inf
1124.30/1124.60 c 973s| 1840k|360151 | 4927k| 2.7 | 280M| 45 | - | 50 |2653 | 50 | 16 | 23 | 747k|2718 | 0.000000e+00 | -- | Inf
1130.69/1131.00 c 979s| 1850k|361706 | 4954k| 2.7 | 281M| 45 | 6 | 50 |2697 | 50 | 16 | 23 | 751k|2727 | 0.000000e+00 | -- | Inf
1137.10/1137.42 c 984s| 1860k|363532 | 4981k| 2.7 | 282M| 45 | 6 | 50 |3343 | 50 | 16 | 23 | 755k|2732 | 0.000000e+00 | -- | Inf
1143.60/1143.96 c 990s| 1870k|365091 | 5009k| 2.7 | 284M| 45 | 6 | 50 |3232 | 50 | 16 | 23 | 759k|2740 | 0.000000e+00 | -- | Inf
1150.30/1150.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1150.30/1150.70 c 996s| 1880k|366627 | 5035k| 2.7 | 285M| 45 | - | 50 |2629 | 0 | 0 | 23 | 763k|2744 | 0.000000e+00 | -- | Inf
1156.69/1157.02 c 1001s| 1890k|368448 | 5061k| 2.7 | 286M| 45 | 6 | 50 |2939 | 50 | 16 | 23 | 767k|2749 | 0.000000e+00 | -- | Inf
1162.69/1163.04 c 1007s| 1900k|370589 | 5089k| 2.7 | 288M| 45 | - | 50 |4287 | 50 | 16 | 23 | 770k|2754 | 0.000000e+00 | -- | Inf
1169.39/1169.74 c 1013s| 1910k|372535 | 5115k| 2.7 | 290M| 45 | - | 50 |3708 | 50 | 16 | 23 | 774k|2761 | 0.000000e+00 | -- | Inf
1175.88/1176.24 c 1018s| 1920k|374282 | 5142k| 2.7 | 291M| 45 | 6 | 50 |4096 | 50 | 16 | 23 | 778k|2765 | 0.000000e+00 | -- | Inf
1182.48/1182.88 c 1024s| 1930k|376070 | 5171k| 2.7 | 292M| 45 | 6 | 50 |3323 | 50 | 16 | 23 | 782k|2773 | 0.000000e+00 | -- | Inf
1189.18/1189.59 c 1030s| 1940k|377864 | 5203k| 2.7 | 294M| 45 | 6 | 50 |3195 | 50 | 16 | 23 | 786k|2782 | 0.000000e+00 | -- | Inf
1195.29/1195.67 c 1035s| 1950k|380329 | 5233k| 2.7 | 296M| 45 | - | 50 |4030 | 0 | 0 | 23 | 789k|2793 | 0.000000e+00 | -- | Inf
1201.99/1202.31 c 1041s| 1960k|382272 | 5262k| 2.7 | 297M| 45 | 6 | 50 |4290 | 50 | 16 | 23 | 793k|2809 | 0.000000e+00 | -- | Inf
1208.98/1209.30 c 1047s| 1970k|383848 | 5292k| 2.7 | 298M| 45 | - | 50 |2563 | 50 | 16 | 23 | 797k|2819 | 0.000000e+00 | -- | Inf
1215.18/1215.52 c 1053s| 1980k|385925 | 5322k| 2.7 | 300M| 45 | 6 | 50 |3287 | 50 | 16 | 23 | 800k|2825 | 0.000000e+00 | -- | Inf
1221.88/1222.26 c 1058s| 1990k|387586 | 5352k| 2.7 | 301M| 45 | 6 | 50 |2962 | 50 | 16 | 23 | 804k|2841 | 0.000000e+00 | -- | Inf
1228.07/1228.42 c 1064s| 2000k|389697 | 5385k| 2.7 | 303M| 45 | - | 50 |3727 | 0 | 0 | 23 | 808k|2854 | 0.000000e+00 | -- | Inf
1234.67/1235.10 c 1070s| 2010k|391502 | 5416k| 2.7 | 304M| 45 | 6 | 50 |2868 | 50 | 16 | 23 | 812k|2859 | 0.000000e+00 | -- | Inf
1241.07/1241.41 c 1075s| 2020k|393418 | 5447k| 2.7 | 305M| 45 | 6 | 50 |3774 | 50 | 16 | 23 | 816k|2871 | 0.000000e+00 | -- | Inf
1247.97/1248.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1247.97/1248.31 c 1081s| 2030k|394975 | 5478k| 2.7 | 306M| 45 | 6 | 50 |2826 | 50 | 16 | 23 | 820k|2885 | 0.000000e+00 | -- | Inf
1254.46/1254.85 c 1087s| 2040k|396503 | 5507k| 2.7 | 308M| 45 | - | 50 |2534 | 50 | 16 | 23 | 823k|2907 | 0.000000e+00 | -- | Inf
1260.86/1261.25 c 1092s| 2050k|398112 | 5540k| 2.7 | 309M| 45 | 6 | 50 |2914 | 50 | 16 | 23 | 827k|2914 | 0.000000e+00 | -- | Inf
1267.46/1267.83 c 1098s| 2060k|399707 | 5574k| 2.7 | 310M| 45 | 6 | 50 |3386 | 50 | 16 | 23 | 831k|2919 | 0.000000e+00 | -- | Inf
1274.36/1274.77 c 1104s| 2070k|401111 | 5607k| 2.7 | 311M| 45 | - | 50 |2645 | 50 | 16 | 23 | 835k|2925 | 0.000000e+00 | -- | Inf
1281.06/1281.45 c 1110s| 2080k|402581 | 5640k| 2.7 | 313M| 45 | - | 50 |2628 | 50 | 16 | 23 | 839k|2929 | 0.000000e+00 | -- | Inf
1287.55/1287.99 c 1116s| 2090k|404206 | 5667k| 2.7 | 314M| 45 | - | 50 |2606 | 50 | 16 | 23 | 843k|2934 | 0.000000e+00 | -- | Inf
1293.86/1294.29 c 1121s| 2100k|405992 | 5694k| 2.7 | 315M| 45 | 6 | 50 |2921 | 50 | 16 | 23 | 847k|2941 | 0.000000e+00 | -- | Inf
1300.05/1300.48 c 1127s| 2110k|407797 | 5721k| 2.7 | 317M| 45 | 6 | 50 |4003 | 50 | 16 | 23 | 851k|2949 | 0.000000e+00 | -- | Inf
1306.85/1307.24 c 1133s| 2120k|409449 | 5748k| 2.7 | 318M| 45 | - | 50 |3066 | 0 | 0 | 23 | 855k|2952 | 0.000000e+00 | -- | Inf
1313.35/1313.76 c 1138s| 2130k|411098 | 5774k| 2.7 | 320M| 45 | - | 50 |2931 | 50 | 16 | 23 | 859k|2956 | 0.000000e+00 | -- | Inf
1319.65/1320.04 c 1144s| 2140k|412841 | 5800k| 2.7 | 321M| 45 | - | 50 |3370 | 50 | 16 | 23 | 863k|2963 | 0.000000e+00 | -- | Inf
1326.05/1326.42 c 1149s| 2150k|414767 | 5826k| 2.7 | 323M| 45 | 6 | 50 |3083 | 50 | 16 | 23 | 867k|2976 | 0.000000e+00 | -- | Inf
1332.04/1332.41 c 1154s| 2160k|417283 | 5854k| 2.7 | 324M| 45 | - | 50 |4117 | 50 | 16 | 23 | 870k|2984 | 0.000000e+00 | -- | Inf
1338.44/1338.86 c 1160s| 2170k|419613 | 5881k| 2.7 | 326M| 45 | 6 | 50 |4650 | 50 | 16 | 23 | 874k|2989 | 0.000000e+00 | -- | Inf
1344.84/1345.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1344.84/1345.25 c 1166s| 2180k|421995 | 5908k| 2.7 | 328M| 45 | - | 50 |5229 | 50 | 16 | 23 | 878k|2989 | 0.000000e+00 | -- | Inf
1351.74/1352.14 c 1172s| 2190k|423888 | 5934k| 2.7 | 329M| 45 | - | 50 |4935 | 50 | 16 | 23 | 882k|2989 | 0.000000e+00 | -- | Inf
1358.33/1358.74 c 1177s| 2200k|426021 | 5961k| 2.7 | 331M| 45 | 6 | 50 |5380 | 50 | 16 | 23 | 885k|2989 | 0.000000e+00 | -- | Inf
1365.43/1365.88 c 1184s| 2210k|427790 | 5988k| 2.7 | 332M| 45 | 6 | 50 |4903 | 50 | 16 | 23 | 889k|2994 | 0.000000e+00 | -- | Inf
1372.14/1372.57 c 1190s| 2220k|429812 | 6015k| 2.7 | 334M| 45 | 6 | 50 |5227 | 50 | 16 | 23 | 893k|3000 | 0.000000e+00 | -- | Inf
1379.33/1379.71 c 1196s| 2230k|431954 | 6043k| 2.7 | 335M| 45 | 6 | 50 |3751 | 50 | 16 | 23 | 896k|3006 | 0.000000e+00 | -- | Inf
1385.53/1385.98 c 1202s| 2240k|433880 | 6067k| 2.7 | 337M| 45 | - | 50 |4067 | 50 | 16 | 23 | 900k|3011 | 0.000000e+00 | -- | Inf
1392.23/1392.68 c 1207s| 2250k|435651 | 6093k| 2.7 | 338M| 45 | 6 | 50 |3163 | 50 | 16 | 23 | 904k|3016 | 0.000000e+00 | -- | Inf
1398.63/1399.03 c 1213s| 2260k|437455 | 6119k| 2.7 | 339M| 45 | - | 50 |2861 | 50 | 16 | 23 | 908k|3022 | 0.000000e+00 | -- | Inf
1405.03/1405.43 c 1219s| 2270k|439208 | 6146k| 2.7 | 340M| 45 | 6 | 50 |2700 | 50 | 16 | 23 | 911k|3027 | 0.000000e+00 | -- | Inf
1411.40/1411.83 c 1224s| 2280k|440820 | 6171k| 2.7 | 342M| 45 | 6 | 50 |2865 | 50 | 16 | 23 | 915k|3029 | 0.000000e+00 | -- | Inf
1417.42/1417.89 c 1229s| 2290k|443095 | 6199k| 2.7 | 344M| 45 | 6 | 50 |4319 | 50 | 16 | 23 | 919k|3034 | 0.000000e+00 | -- | Inf
1423.90/1424.35 c 1235s| 2300k|444924 | 6225k| 2.7 | 345M| 45 | 6 | 50 |4429 | 50 | 16 | 23 | 923k|3043 | 0.000000e+00 | -- | Inf
1430.50/1430.92 c 1241s| 2310k|446897 | 6252k| 2.7 | 347M| 45 | 6 | 50 |4428 | 50 | 16 | 23 | 927k|3048 | 0.000000e+00 | -- | Inf
1436.80/1437.20 c 1246s| 2320k|448853 | 6277k| 2.7 | 348M| 45 | 6 | 50 |4220 | 50 | 16 | 23 | 931k|3054 | 0.000000e+00 | -- | Inf
1443.60/1444.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1443.60/1444.09 c 1252s| 2330k|450478 | 6304k| 2.7 | 350M| 45 | - | 50 |3262 | 50 | 16 | 23 | 935k|3060 | 0.000000e+00 | -- | Inf
1450.20/1450.62 c 1258s| 2340k|452174 | 6330k| 2.7 | 351M| 45 | - | 50 |2827 | 50 | 16 | 23 | 939k|3069 | 0.000000e+00 | -- | Inf
1456.69/1457.19 c 1264s| 2350k|453608 | 6357k| 2.7 | 352M| 45 | 6 | 50 |2593 | 50 | 16 | 23 | 943k|3073 | 0.000000e+00 | -- | Inf
1462.60/1463.04 c 1269s| 2360k|456352 | 6384k| 2.7 | 354M| 45 | 6 | 50 |4030 | 50 | 16 | 23 | 946k|3076 | 0.000000e+00 | -- | Inf
1469.10/1469.58 c 1274s| 2370k|458455 | 6411k| 2.7 | 356M| 45 | 6 | 50 |3569 | 50 | 16 | 23 | 950k|3080 | 0.000000e+00 | -- | Inf
1475.59/1476.07 c 1280s| 2380k|460275 | 6437k| 2.7 | 357M| 45 | - | 50 |3514 | 50 | 16 | 23 | 953k|3086 | 0.000000e+00 | -- | Inf
1482.19/1482.68 c 1286s| 2390k|462021 | 6463k| 2.7 | 358M| 45 | 6 | 50 |3405 | 50 | 16 | 23 | 957k|3086 | 0.000000e+00 | -- | Inf
1488.49/1488.97 c 1291s| 2400k|464055 | 6489k| 2.7 | 360M| 45 | 6 | 50 |3174 | 50 | 16 | 23 | 961k|3086 | 0.000000e+00 | -- | Inf
1494.68/1495.17 c 1297s| 2410k|466263 | 6515k| 2.7 | 362M| 45 | 6 | 50 |3366 | 50 | 16 | 23 | 964k|3086 | 0.000000e+00 | -- | Inf
1501.38/1501.88 c 1303s| 2420k|467867 | 6541k| 2.7 | 363M| 45 | - | 50 |2808 | 50 | 16 | 23 | 968k|3086 | 0.000000e+00 | -- | Inf
1507.99/1508.41 c 1308s| 2430k|469472 | 6567k| 2.7 | 364M| 45 | 6 | 50 |3145 | 50 | 16 | 23 | 972k|3086 | 0.000000e+00 | -- | Inf
1514.29/1514.75 c 1314s| 2440k|471224 | 6593k| 2.7 | 366M| 45 | 6 | 50 |2850 | 50 | 16 | 23 | 976k|3086 | 0.000000e+00 | -- | Inf
1520.48/1520.93 c 1319s| 2450k|473294 | 6620k| 2.7 | 367M| 45 | 6 | 50 |3335 | 50 | 16 | 23 | 980k|3086 | 0.000000e+00 | -- | Inf
1527.28/1527.70 c 1325s| 2460k|474785 | 6646k| 2.7 | 368M| 45 | - | 50 |2802 | 50 | 16 | 23 | 984k|3090 | 0.000000e+00 | -- | Inf
1533.28/1533.78 c 1330s| 2470k|477345 | 6676k| 2.7 | 370M| 45 | - | 50 |4250 | 50 | 16 | 23 | 988k|3095 | 0.000000e+00 | -- | Inf
1539.67/1540.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1539.67/1540.12 c 1336s| 2480k|479899 | 6703k| 2.7 | 372M| 45 | - | 50 |5046 | 50 | 16 | 23 | 991k|3102 | 0.000000e+00 | -- | Inf
1546.37/1546.80 c 1342s| 2490k|482380 | 6730k| 2.7 | 374M| 45 | - | 50 |4773 | 50 | 16 | 23 | 994k|3107 | 0.000000e+00 | -- | Inf
1552.97/1553.47 c 1348s| 2500k|484586 | 6757k| 2.7 | 375M| 45 | - | 50 |4378 | 50 | 16 | 23 | 998k|3116 | 0.000000e+00 | -- | Inf
1559.77/1560.25 c 1354s| 2510k|486617 | 6787k| 2.7 | 377M| 45 | 6 | 50 |4693 | 50 | 16 | 23 |1001k|3121 | 0.000000e+00 | -- | Inf
1566.37/1566.85 c 1359s| 2520k|489045 | 6816k| 2.7 | 379M| 45 | 6 | 50 |5412 | 50 | 16 | 23 |1005k|3128 | 0.000000e+00 | -- | Inf
1572.58/1573.07 c 1365s| 2530k|492610 | 6843k| 2.7 | 381M| 45 | 6 | 50 |6471 | 50 | 16 | 23 |1007k|3133 | 0.000000e+00 | -- | Inf
1579.86/1580.30 c 1371s| 2540k|495049 | 6871k| 2.7 | 383M| 45 | - | 50 |6560 | 50 | 16 | 23 |1010k|3141 | 0.000000e+00 | -- | Inf
1587.06/1587.52 c 1378s| 2550k|497388 | 6899k| 2.7 | 384M| 45 | - | 50 |6564 | 50 | 16 | 23 |1013k|3147 | 0.000000e+00 | -- | Inf
1594.47/1594.99 c 1384s| 2560k|499425 | 6926k| 2.7 | 386M| 45 | 6 | 50 |5321 | 50 | 16 | 23 |1017k|3155 | 0.000000e+00 | -- | Inf
1601.76/1602.26 c 1391s| 2570k|501136 | 6952k| 2.7 | 387M| 45 | 6 | 50 |3615 | 50 | 16 | 23 |1020k|3159 | 0.000000e+00 | -- | Inf
1608.26/1608.72 c 1396s| 2580k|503142 | 6978k| 2.7 | 388M| 45 | 6 | 50 |3311 | 50 | 16 | 23 |1024k|3164 | 0.000000e+00 | -- | Inf
1615.05/1615.50 c 1402s| 2590k|504743 | 7004k| 2.7 | 389M| 45 | - | 50 |2676 | 50 | 16 | 23 |1028k|3173 | 0.000000e+00 | -- | Inf
1621.25/1621.73 c 1408s| 2600k|506869 | 7031k| 2.7 | 391M| 45 | 6 | 50 |2738 | 50 | 16 | 23 |1032k|3176 | 0.000000e+00 | -- | Inf
1627.15/1627.65 c 1413s| 2610k|509369 | 7058k| 2.7 | 393M| 45 | - | 50 |3373 | 50 | 16 | 23 |1035k|3179 | 0.000000e+00 | -- | Inf
1633.25/1633.77 c 1418s| 2620k|511918 | 7086k| 2.7 | 394M| 45 | 6 | 50 |3648 | 50 | 16 | 23 |1038k|3180 | 0.000000e+00 | -- | Inf
1639.75/1640.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1639.75/1640.27 c 1424s| 2630k|514108 | 7114k| 2.7 | 396M| 45 | 6 | 50 |3879 | 50 | 16 | 23 |1042k|3187 | 0.000000e+00 | -- | Inf
1646.35/1646.87 c 1430s| 2640k|515863 | 7141k| 2.7 | 397M| 45 | 6 | 50 |2742 | 50 | 16 | 23 |1045k|3192 | 0.000000e+00 | -- | Inf
1652.75/1653.29 c 1435s| 2650k|517556 | 7167k| 2.7 | 399M| 45 | - | 50 |3087 | 50 | 16 | 23 |1049k|3198 | 0.000000e+00 | -- | Inf
1659.24/1659.71 c 1441s| 2660k|519272 | 7193k| 2.7 | 400M| 45 | - | 50 |3058 | 50 | 16 | 23 |1053k|3204 | 0.000000e+00 | -- | Inf
1665.64/1666.16 c 1446s| 2670k|520931 | 7220k| 2.7 | 401M| 45 | 6 | 50 |2834 | 50 | 16 | 23 |1057k|3208 | 0.000000e+00 | -- | Inf
1672.04/1672.57 c 1452s| 2680k|522807 | 7246k| 2.7 | 403M| 45 | 6 | 50 |2815 | 50 | 16 | 23 |1060k|3213 | 0.000000e+00 | -- | Inf
1678.53/1679.05 c 1458s| 2690k|524608 | 7273k| 2.7 | 404M| 45 | 6 | 50 |2669 | 50 | 16 | 23 |1064k|3218 | 0.000000e+00 | -- | Inf
1684.84/1685.35 c 1463s| 2700k|526830 | 7299k| 2.7 | 406M| 45 | 6 | 50 |2670 | 50 | 16 | 23 |1067k|3226 | 0.000000e+00 | -- | Inf
1691.24/1691.77 c 1469s| 2710k|528510 | 7325k| 2.7 | 407M| 45 | 6 | 50 |2822 | 50 | 16 | 23 |1071k|3229 | 0.000000e+00 | -- | Inf
1697.43/1697.97 c 1474s| 2720k|530487 | 7351k| 2.7 | 409M| 45 | 6 | 50 |3280 | 50 | 16 | 23 |1075k|3236 | 0.000000e+00 | -- | Inf
1703.83/1704.38 c 1480s| 2730k|532484 | 7378k| 2.7 | 410M| 45 | 6 | 50 |3521 | 50 | 16 | 23 |1079k|3243 | 0.000000e+00 | -- | Inf
1710.22/1710.77 c 1485s| 2740k|534353 | 7404k| 2.7 | 412M| 45 | 6 | 50 |2995 | 50 | 16 | 23 |1082k|3248 | 0.000000e+00 | -- | Inf
1716.53/1717.06 c 1491s| 2750k|536500 | 7431k| 2.7 | 413M| 45 | 6 | 50 |3177 | 50 | 16 | 23 |1086k|3252 | 0.000000e+00 | -- | Inf
1722.53/1723.09 c 1496s| 2760k|539061 | 7457k| 2.7 | 415M| 45 | - | 50 |3953 | 0 | 0 | 23 |1090k|3257 | 0.000000e+00 | -- | Inf
1728.92/1729.49 c 1502s| 2770k|541193 | 7483k| 2.7 | 417M| 45 | - | 50 |3784 | 0 | 0 | 23 |1094k|3263 | 0.000000e+00 | -- | Inf
1735.62/1736.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1735.62/1736.13 c 1507s| 2780k|543068 | 7510k| 2.7 | 418M| 45 | - | 50 |3755 | 50 | 16 | 23 |1098k|3267 | 0.000000e+00 | -- | Inf
1742.12/1742.67 c 1513s| 2790k|544810 | 7537k| 2.7 | 420M| 45 | - | 50 |4333 | 50 | 16 | 23 |1102k|3272 | 0.000000e+00 | -- | Inf
1748.72/1749.28 c 1519s| 2800k|546662 | 7563k| 2.7 | 421M| 45 | 6 | 50 |4078 | 50 | 16 | 23 |1105k|3276 | 0.000000e+00 | -- | Inf
1755.31/1755.86 c 1525s| 2810k|548589 | 7590k| 2.7 | 422M| 45 | 6 | 50 |3511 | 50 | 16 | 23 |1109k|3282 | 0.000000e+00 | -- | Inf
1762.11/1762.61 c 1531s| 2820k|550248 | 7617k| 2.7 | 424M| 45 | 6 | 50 |3033 | 50 | 16 | 23 |1113k|3288 | 0.000000e+00 | -- | Inf
1768.32/1768.82 c 1536s| 2830k|552355 | 7643k| 2.7 | 425M| 45 | 6 | 50 |3396 | 50 | 16 | 23 |1117k|3288 | 0.000000e+00 | -- | Inf
1774.82/1775.40 c 1542s| 2840k|554265 | 7670k| 2.7 | 427M| 45 | 6 | 50 |2984 | 50 | 16 | 23 |1120k|3291 | 0.000000e+00 | -- | Inf
1781.21/1781.78 c 1547s| 2850k|556068 | 7695k| 2.7 | 428M| 45 | 6 | 50 |2840 | 50 | 16 | 23 |1124k|3297 | 0.000000e+00 | -- | Inf
1787.70/1788.23 c 1553s| 2860k|557857 | 7721k| 2.7 | 430M| 45 | - | 50 |2889 | 50 | 16 | 23 |1128k|3300 | 0.000000e+00 | -- | Inf
1793.91/1794.41 c 1558s| 2870k|559862 | 7748k| 2.7 | 431M| 45 | - | 50 |3058 | 50 | 16 | 23 |1131k|3300 | 0.000000e+00 | -- | Inf
1800.01/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.51 c
1800.01/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.51 c Solving Time (sec) : 1563.65
1800.01/1800.51 c Solving Nodes : 2879685
1800.01/1800.51 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.01/1800.51 c Dual Bound : +0.00000000000000e+00
1800.01/1800.51 c Gap : infinite
1800.01/1800.51 s UNKNOWN
1800.01/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.51 c Solving Time : 1563.65
1800.01/1800.51 c Original Problem :
1800.01/1800.51 c Problem name : HOME/instance-2665443-1276601855.opb
1800.01/1800.51 c Variables : 51 (51 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.51 c Constraints : 13 initial, 13 maximal
1800.01/1800.51 c Presolved Problem :
1800.01/1800.51 c Problem name : t_HOME/instance-2665443-1276601855.opb
1800.01/1800.51 c Variables : 50 (50 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.51 c Constraints : 6 initial, 6780 maximal
1800.01/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.01/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c probing : 0.01 0 0 0 0 0 0 0 0
1800.01/1800.51 c linear : 0.00 0 0 0 0 0 7 0 0
1800.01/1800.51 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c root node : - 0 - - 0 - - - -
1800.01/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.51 c integral : 0 0 0 1735111 0 225 1127 0 0 3467612
1800.01/1800.51 c linear : 6 6 6417837 0 0 202781 3518487 0 0 0
1800.01/1800.51 c logicor : 0+ 0 2795414 0 0 4993 925663 0 0 0
1800.01/1800.51 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.51 c integral : 21.77 0.00 0.00 21.77 0.00
1800.01/1800.51 c linear : 270.04 0.00 270.04 0.00 0.00
1800.01/1800.51 c logicor : 208.85 0.00 208.85 0.00 0.00
1800.01/1800.51 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.51 c vbounds : 3.14 2 0 0
1800.01/1800.51 c rootredcost : 2.99 0 0 0
1800.01/1800.51 c pseudoobj : 2.54 0 0 0
1800.01/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.51 c propagation : 21.51 207774 163134 586705 35.2 6 29.8 -
1800.01/1800.51 c infeasible LP : 47.65 962666 667954 1169059 22.8 2625 26.4 0
1800.01/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.01/1800.51 c applied globally : - - - 973023 20.6 - - -
1800.01/1800.51 c applied locally : - - - 162216 33.6 - - -
1800.01/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.51 c cut pool : 0.00 5 - - 5 - (maximal pool size: 93)
1800.01/1800.51 c redcost : 4.00 1735113 0 0 0 0
1800.01/1800.51 c impliedbounds : 0.00 6 0 0 0 0
1800.01/1800.51 c intobj : 0.00 0 0 0 0 0
1800.01/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.51 c gomory : 0.00 6 0 0 0 0
1800.01/1800.51 c strongcg : 0.00 6 0 0 60 0
1800.01/1800.51 c cmir : 0.02 6 0 0 20 0
1800.01/1800.51 c flowcover : 0.03 6 0 0 24 0
1800.01/1800.51 c clique : 0.00 1 0 0 0 0
1800.01/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.51 c mcf : 0.00 1 0 0 0 0
1800.01/1800.51 c rapidlearning : 0.07 1 0 0 0 0
1800.01/1800.51 c Pricers : Time Calls Vars
1800.01/1800.51 c problem variables: 0.00 0 0
1800.01/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.51 c relpscost : 19.20 1735111 225 1127 0 0 3467612
1800.01/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.51 c inference : 0.00 0 0 0 0 0 0
1800.01/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.51 c random : 0.00 0 0 0 0 0 0
1800.01/1800.51 c Primal Heuristics : Time Calls Found
1800.01/1800.51 c LP solutions : 0.00 - 0
1800.01/1800.51 c pseudo solutions : 0.00 - 0
1800.01/1800.51 c oneopt : 2.39 0 0
1800.01/1800.51 c crossover : 1.67 0 0
1800.01/1800.51 c guideddiving : 0.22 0 0
1800.01/1800.51 c feaspump : 0.21 12 0
1800.01/1800.51 c fracdiving : 0.14 24 0
1800.01/1800.51 c veclendiving : 0.20 24 0
1800.01/1800.51 c linesearchdiving : 0.19 24 0
1800.01/1800.51 c coefdiving : 0.24 24 0
1800.01/1800.51 c pscostdiving : 0.13 24 0
1800.01/1800.51 c objpscostdiving : 0.13 13 0
1800.01/1800.51 c rootsoldiving : 0.18 13 0
1800.01/1800.51 c trivial : 0.00 2 0
1800.01/1800.51 c simplerounding : 0.82 0 0
1800.01/1800.51 c zirounding : 1.55 1000 0
1800.01/1800.51 c rounding : 1.81 18715 0
1800.01/1800.51 c shifting : 3.55 5818 0
1800.01/1800.51 c intshifting : 0.10 0 0
1800.01/1800.51 c twoopt : 0.00 0 0
1800.01/1800.51 c fixandinfer : 0.00 0 0
1800.01/1800.51 c intdiving : 0.00 0 0
1800.01/1800.51 c actconsdiving : 0.00 0 0
1800.01/1800.51 c octane : 0.00 0 0
1800.01/1800.51 c rens : 0.03 1 0
1800.01/1800.51 c rins : 0.00 0 0
1800.01/1800.51 c localbranching : 0.00 0 0
1800.01/1800.51 c mutation : 0.00 0 0
1800.01/1800.51 c dins : 0.00 0 0
1800.01/1800.51 c undercover : 0.00 0 0
1800.01/1800.51 c nlp : 1.43 0 0
1800.01/1800.51 c trysol : 2.03 0 0
1800.01/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.51 c dual LP : 544.18 2620595 7772442 2.97 14282.85
1800.01/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.51 c diving/probing LP: 0.03 375 761 2.03 25366.67
1800.01/1800.51 c strong branching : 0.98 3302 16247 4.92 16578.57
1800.01/1800.51 c (at root node) : - 9 248 27.56 -
1800.01/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.51 c B&B Tree :
1800.01/1800.51 c number of runs : 1
1800.01/1800.51 c nodes : 2879685
1800.01/1800.51 c nodes (total) : 2879685
1800.01/1800.51 c nodes left : 561751
1800.01/1800.51 c max depth : 45
1800.01/1800.51 c max depth (total): 45
1800.01/1800.51 c backtracks : 390601 (13.6%)
1800.01/1800.51 c delayed cutoffs : 26177
1800.01/1800.51 c repropagations : 2186859 (1079281 domain reductions, 24496 cutoffs)
1800.01/1800.51 c avg switch length: 5.22
1800.01/1800.51 c switching time : 231.58
1800.01/1800.51 c Solution :
1800.01/1800.51 c Solutions found : 0 (0 improvements)
1800.01/1800.51 c Primal Bound : -
1800.01/1800.51 c Dual Bound : +0.00000000000000e+00
1800.01/1800.51 c Gap : infinite
1800.01/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.01/1800.51 c Root Iterations : 74
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665443-1276601855/watcher-2665443-1276601855 -o /tmp/evaluation-result-2665443-1276601855/solver-2665443-1276601855 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665443-1276601855.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11104
/proc/meminfo: memFree=1424140/2059040 swapFree=4192956/4192956
[pid=11104] ppid=11102 vsize=9288 CPUtime=0
/proc/11104/stat : 11104 (pbscip.linux.x8) R 11102 11104 11079 0 -1 4202496 1153 0 0 0 0 0 0 0 18 0 1 0 1476155 9510912 1073 1992294400 4194304 9819077 140736043061744 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11104/statm: 2322 1084 371 1374 0 943 0
[startup+0.0341241 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11104
/proc/meminfo: memFree=1424140/2059040 swapFree=4192956/4192956
[pid=11104] ppid=11102 vsize=14664 CPUtime=0.03
/proc/11104/stat : 11104 (pbscip.linux.x8) R 11102 11104 11079 0 -1 4202496 3246 0 0 0 2 1 0 0 20 0 1 0 1476155 15015936 2289 1992294400 4194304 9819077 140736043061744 18446744073709551615 5730025 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11104/statm: 3666 2289 657 1374 0 2287 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 14664
[startup+0.101132 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11104
/proc/meminfo: memFree=1424140/2059040 swapFree=4192956/4192956
[pid=11104] ppid=11102 vsize=21532 CPUtime=0.09
/proc/11104/stat : 11104 (pbscip.linux.x8) R 11102 11104 11079 0 -1 4202496 4997 0 0 0 7 2 0 0 20 0 1 0 1476155 22048768 3783 1992294400 4194304 9819077 140736043061744 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11104/statm: 5383 3783 676 1374 0 4004 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21532
[startup+0.301153 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11104
/proc/meminfo: memFree=1424140/2059040 swapFree=4192956/4192956
[pid=11104] ppid=11102 vsize=15204 CPUtime=0.29
/proc/11104/stat : 11104 (pbscip.linux.x8) R 11102 11104 11079 0 -1 4202496 11737 0 0 0 23 6 0 0 20 0 1 0 1476155 15568896 2559 1992294400 4194304 9819077 140736043061744 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11104/statm: 3801 2559 722 1374 0 2422 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15204
[startup+0.701197 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11104
/proc/meminfo: memFree=1424140/2059040 swapFree=4192956/4192956
[pid=11104] ppid=11102 vsize=15364 CPUtime=0.69
/proc/11104/stat : 11104 (pbscip.linux.x8) R 11102 11104 11079 0 -1 4202496 20914 0 0 0 52 17 0 0 20 0 1 0 1476155 15732736 2563 1992294400 4194304 9819077 140736043061744 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11104/statm: 3841 2563 725 1374 0 2462 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15364
[startup+1.50128 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11105
/proc/meminfo: memFree=1415948/2059040 swapFree=4192956/4192956
[pid=11104] ppid=11102 vsize=16164 CPUtime=1.49
/proc/11104/stat : 11104 (pbscip.linux.x8) R 11102 11104 11079 0 -1 4202496 29462 0 0 0 120 29 0 0 23 0 1 0 1476155 16551936 2727 1992294400 4194304 9819077 140736043061744 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11104/statm: 3961 2726 725 1374 0 2582 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16164
[startup+3.10146 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11107
/proc/meminfo: memFree=1415080/2059040 swapFree=4192956/4192956
[pid=11104] ppid=11102 vsize=17976 CPUtime=3.09
/proc/11104/stat : 11104 (pbscip.linux.x8) R 11102 11104 11079 0 -1 4202496 46273 0 0 0 256 53 0 0 25 0 1 0 1476155 18407424 3181 1992294400 4194304 9819077 140736043061744 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11104/statm: 4494 3181 725 1374 0 3115 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17976
[startup+6.30081 s]
/proc/loadavg: 1.08 1.02 1.01 2/107 11107
/proc/meminfo: memFree=1412352/2059040 swapFree=4192956/4192956
[pid=11104] ppid=11102 vsize=20372 CPUtime=6.29
/proc/11104/stat : 11104 (pbscip.linux.x8) R 11102 11104 11079 0 -1 4202496 77962 0 0 0 533 96 0 0 25 0 1 0 1476155 20860928 3791 1992294400 4194304 9819077 140736043061744 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11104/statm: 5293 3794 725 1374 0 3914 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20372
[startup+12.7015 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 11107
/proc/meminfo: memFree=1409500/2059040 swapFree=4192956/4192956
[pid=11104] ppid=11102 vsize=22324 CPUtime=12.69
/proc/11104/stat : 11104 (pbscip.linux.x8) R 11102 11104 11079 0 -1 4202496 142381 0 0 0 1076 193 0 0 25 0 1 0 1476155 22859776 4319 1992294400 4194304 9819077 140736043061744 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11104/statm: 5621 4320 725 1374 0 4242 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22324
[startup+25.5009 s]
/proc/loadavg: 1.06 1.01 1.00 2/107 11107
/proc/meminfo: memFree=1404292/2059040 swapFree=4192956/4192956
[pid=11104] ppid=11102 vsize=27180 CPUtime=25.48
/proc/11104/stat : 11104 (pbscip.linux.x8) R 11102 11104 11079 0 -1 4202496 273185 0 0 0 2171 377 0 0 25 0 1 0 1476155 27832320 5560 1992294400 4194304 9819077 140736043061744 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11104/statm: 6835 5561 725 1374 0 5456 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 27180
[startup+51.1007 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 11107
/proc/meminfo: memFree=1395984/2059040 swapFree=4192956/4192956
[pid=11104] ppid=11102 vsize=35956 CPUtime=51.07
/proc/11104/stat : 11104 (pbscip.linux.x8) R 11102 11104 11079 0 -1 4202496 531355 0 0 0 4355 752 0 0 25 0 1 0 1476155 36818944 7789 1992294400 4194304 9819077 140736043061744 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11104/statm: 9029 7790 725 1374 0 7650 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 35956
[startup+102.308 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 11109
/proc/meminfo: memFree=1378748/2059040 swapFree=4192956/4192956
[pid=11104] ppid=11102 vsize=52336 CPUtime=102.27
/proc/11104/stat : 11104 (pbscip.linux.x8) R 11102 11104 11079 0 -1 4202496 1032821 0 0 0 8752 1475 0 0 25 0 1 0 1476155 53592064 11920 1992294400 4194304 9819077 140736043061744 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11104/statm: 13084 11920 725 1374 0 11705 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 52336
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11111
/proc/meminfo: memFree=1361264/2059040 swapFree=4192956/4192956
[pid=11104] ppid=11102 vsize=71500 CPUtime=162.25
/proc/11104/stat : 11104 (pbscip.linux.x8) R 11102 11104 11079 0 -1 4202496 1613069 0 0 0 13898 2327 0 0 25 0 1 0 1476155 73216000 16258 1992294400 4194304 9819077 140736043061744 18446744073709551615 4978151 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11104/statm: 17875 16258 725 1374 0 16496 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 71500
[startup+222.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11111
/proc/meminfo: memFree=1342664/2059040 swapFree=4192956/4192956
[pid=11104] ppid=11102 vsize=89612 CPUtime=222.23
/proc/11104/stat : 11104 (pbscip.linux.x8) R 11102 11104 11079 0 -1 4202496 2186145 0 0 0 19041 3182 0 0 25 0 1 0 1476155 91762688 20848 1992294400 4194304 9819077 140736043061744 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11104/statm: 22403 20848 725 1374 0 21024 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 89612
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11113
/proc/meminfo: memFree=1325180/2059040 swapFree=4192956/4192956
[pid=11104] ppid=11102 vsize=106760 CPUtime=282.22
/proc/11104/stat : 11104 (pbscip.linux.x8) R 11102 11104 11079 0 -1 4202496 2749419 0 0 0 24220 4002 0 0 25 0 1 0 1476155 109322240 25186 1992294400 4194304 9819077 140736043061744 18446744073709551615 6199560 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11104/statm: 26690 25186 725 1374 0 25311 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 106760
[startup+342.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11115
/proc/meminfo: memFree=1307944/2059040 swapFree=4192956/4192956
[pid=11104] ppid=11102 vsize=123700 CPUtime=342.2
/proc/11104/stat : 11104 (pbscip.linux.x8) R 11102 11104 11079 0 -1 4202496 3307676 0 0 0 29406 4814 0 0 25 0 1 0 1476155 126668800 29473 1992294400 4194304 9819077 140736043061744 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11104/statm: 30925 29473 725 1374 0 29546 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 123700
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11117
/proc/meminfo: memFree=1293932/2059040 swapFree=4192956/4192956
[pid=11104] ppid=11102 vsize=137364 CPUtime=402.19
/proc/11104/stat : 11104 (pbscip.linux.x8) R 11102 11104 11079 0 -1 4202496 3857075 0 0 0 34590 5629 0 0 25 0 1 0 1476155 140660736 32957 1992294400 4194304 9819077 140736043061744 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11104/statm: 34341 32957 725 1374 0 32962 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 137364
[startup+462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11119
/proc/meminfo: memFree=1277316/2059040 swapFree=4192956/4192956
[pid=11104] ppid=11102 vsize=153272 CPUtime=462.17
/proc/11104/stat : 11104 (pbscip.linux.x8) R 11102 11104 11079 0 -1 4202496 4410646 0 0 0 39782 6435 0 0 25 0 1 0 1476155 156950528 37040 1992294400 4194304 9819077 140736043061744 18446744073709551615 5909165 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11104/statm: 38318 37040 725 1374 0 36939 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 153272
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11119
/proc/meminfo: memFree=1263800/2059040 swapFree=4192956/4192956
[pid=11104] ppid=11102 vsize=167412 CPUtime=522.15
/proc/11104/stat : 11104 (pbscip.linux.x8) R 11102 11104 11079 0 -1 4202496 4965596 0 0 0 44976 7239 0 0 25 0 1 0 1476155 171429888 40602 1992294400 4194304 9819077 140736043061744 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11104/statm: 41853 40602 725 1374 0 40474 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 167412
[startup+582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11121
/proc/meminfo: memFree=1247184/2059040 swapFree=4192956/4192956
[pid=11104] ppid=11102 vsize=186692 CPUtime=582.14
/proc/11104/stat : 11104 (pbscip.linux.x8) R 11102 11104 11079 0 -1 4202496 5507631 0 0 0 50191 8023 0 0 25 0 1 0 1476155 191172608 44522 1992294400 4194304 9819077 140736043061744 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11104/statm: 46673 44522 725 1374 0 45294 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 186692
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11123
/proc/meminfo: memFree=1233172/2059040 swapFree=4192956/4192956
[pid=11104] ppid=11102 vsize=200268 CPUtime=642.13
/proc/11104/stat : 11104 (pbscip.linux.x8) R 11102 11104 11079 0 -1 4202496 6061404 0 0 0 55387 8826 0 0 25 0 1 0 1476155 205074432 47990 1992294400 4194304 9819077 140736043061744 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11104/statm: 50067 47990 725 1374 0 48688 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 200268
[startup+702.3 s]
################
# More data... #
################
/proc/11104/stat : 11104 (pbscip.linux.x8) R 11102 11104 11079 0 -1 4202496 9843921 0 0 0 91908 14293 0 0 25 0 1 0 1476155 305995776 73108 1992294400 4194304 9819077 140736043061744 18446744073709551615 4948367 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11104/statm: 74706 73108 725 1374 0 73327 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 298824
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11135
/proc/meminfo: memFree=1118348/2059040 swapFree=4192956/4192956
[pid=11104] ppid=11102 vsize=312088 CPUtime=1122
/proc/11104/stat : 11104 (pbscip.linux.x8) R 11102 11104 11079 0 -1 4202496 10376802 0 0 0 97128 15072 0 0 25 0 1 0 1476155 319578112 76424 1992294400 4194304 9819077 140736043061744 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11104/statm: 78022 76424 725 1374 0 76643 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 312088
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11137
/proc/meminfo: memFree=1105700/2059040 swapFree=4192956/4192956
[pid=11104] ppid=11102 vsize=324132 CPUtime=1181.98
/proc/11104/stat : 11104 (pbscip.linux.x8) R 11102 11104 11079 0 -1 4202496 10909908 0 0 0 102349 15849 0 0 25 0 1 0 1476155 331911168 79563 1992294400 4194304 9819077 140736043061744 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11104/statm: 81073 79564 725 1374 0 79694 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 324132
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11139
/proc/meminfo: memFree=1089084/2059040 swapFree=4192956/4192956
[pid=11104] ppid=11102 vsize=340204 CPUtime=1241.97
/proc/11104/stat : 11104 (pbscip.linux.x8) R 11102 11104 11079 0 -1 4202496 11440783 0 0 0 107593 16604 0 0 25 0 1 0 1476155 348368896 83643 1992294400 4194304 9819077 140736043061744 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11104/statm: 85051 83643 725 1374 0 83672 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 340204
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11141
/proc/meminfo: memFree=1077552/2059040 swapFree=4192956/4192956
[pid=11104] ppid=11102 vsize=351360 CPUtime=1301.95
/proc/11104/stat : 11104 (pbscip.linux.x8) R 11102 11104 11079 0 -1 4202496 11976345 0 0 0 112829 17366 0 0 25 0 1 0 1476155 359792640 86510 1992294400 4194304 9819077 140736043061744 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11104/statm: 87840 86510 725 1374 0 86461 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 351360
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11143
/proc/meminfo: memFree=1064160/2059040 swapFree=4192956/4192956
[pid=11104] ppid=11102 vsize=364740 CPUtime=1361.94
/proc/11104/stat : 11104 (pbscip.linux.x8) R 11102 11104 11079 0 -1 4202496 12496247 0 0 0 118060 18134 0 0 25 0 1 0 1476155 373493760 89841 1992294400 4194304 9819077 140736043061744 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11104/statm: 91185 89841 725 1374 0 89806 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 364740
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11152
/proc/meminfo: memFree=1050892/2059040 swapFree=4192956/4192956
[pid=11104] ppid=11102 vsize=377236 CPUtime=1421.91
/proc/11104/stat : 11104 (pbscip.linux.x8) R 11102 11104 11079 0 -1 4202496 13009292 0 0 0 123321 18870 0 0 25 0 1 0 1476155 386289664 93020 1992294400 4194304 9819077 140736043061744 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11104/statm: 94309 93020 725 1374 0 92930 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 377236
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11154
/proc/meminfo: memFree=1038492/2059040 swapFree=4192956/4192956
[pid=11104] ppid=11102 vsize=398452 CPUtime=1481.89
/proc/11104/stat : 11104 (pbscip.linux.x8) R 11102 11104 11079 0 -1 4202496 13533574 0 0 0 128560 19629 0 0 25 0 1 0 1476155 408014848 96368 1992294400 4194304 9819077 140736043061744 18446744073709551615 4978109 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11104/statm: 99613 96368 725 1374 0 98234 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 398452
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11156
/proc/meminfo: memFree=1022992/2059040 swapFree=4192956/4192956
[pid=11104] ppid=11102 vsize=412088 CPUtime=1541.87
/proc/11104/stat : 11104 (pbscip.linux.x8) R 11102 11104 11079 0 -1 4202496 14067147 0 0 0 133786 20401 0 0 25 0 1 0 1476155 421978112 99995 1992294400 4194304 9819077 140736043061744 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11104/statm: 103102 99996 725 1374 0 101723 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 412088
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11158
/proc/meminfo: memFree=1008732/2059040 swapFree=4192956/4192956
[pid=11104] ppid=11102 vsize=426340 CPUtime=1601.86
/proc/11104/stat : 11104 (pbscip.linux.x8) R 11102 11104 11079 0 -1 4202496 14568199 0 0 0 139074 21112 0 0 25 0 1 0 1476155 436572160 103561 1992294400 4194304 9819077 140736043061744 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11104/statm: 106585 103561 725 1374 0 105206 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 426340
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11160
/proc/meminfo: memFree=992240/2059040 swapFree=4192956/4192956
[pid=11104] ppid=11102 vsize=443184 CPUtime=1661.84
/proc/11104/stat : 11104 (pbscip.linux.x8) R 11102 11104 11079 0 -1 4202496 15099885 0 0 0 144309 21875 0 0 25 0 1 0 1476155 453820416 107704 1992294400 4194304 9819077 140736043061744 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11104/statm: 110796 107704 725 1374 0 109417 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 443184
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11160
/proc/meminfo: memFree=978104/2059040 swapFree=4192956/4192956
[pid=11104] ppid=11102 vsize=456676 CPUtime=1721.82
/proc/11104/stat : 11104 (pbscip.linux.x8) R 11102 11104 11079 0 -1 4202496 15633496 0 0 0 149529 22653 0 0 25 0 1 0 1476155 467636224 111178 1992294400 4194304 9819077 140736043061744 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11104/statm: 114169 111178 725 1374 0 112790 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 456676
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11162
/proc/meminfo: memFree=963348/2059040 swapFree=4192956/4192956
[pid=11104] ppid=11102 vsize=470636 CPUtime=1781.81
/proc/11104/stat : 11104 (pbscip.linux.x8) R 11102 11104 11079 0 -1 4202496 16149069 0 0 0 154779 23402 0 0 25 0 1 0 1476155 481931264 114764 1992294400 4194304 9819077 140736043061744 18446744073709551615 4978064 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11104/statm: 117659 114764 725 1374 0 116280 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 470636
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11162
/proc/meminfo: memFree=958512/2059040 swapFree=4192956/4192956
[pid=11104] ppid=11102 vsize=475428 CPUtime=1800.01
/proc/11104/stat : 11104 (pbscip.linux.x8) R 11102 11104 11079 0 -1 4202496 16312692 0 0 0 156365 23636 0 0 25 0 1 0 1476155 486838272 115990 1992294400 4194304 9819077 140736043061744 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11104/statm: 118857 115990 725 1374 0 117478 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 475428
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -11104
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11163
/proc/meminfo: memFree=958504/2059040 swapFree=4192956/4192956
[pid=11104] ppid=11102 vsize=475428 CPUtime=1800.91
/proc/11104/stat : 11104 (pbscip.linux.x8) R 11102 11104 11079 0 -1 4202496 16312703 0 0 0 156454 23637 0 0 25 0 1 0 1476155 486838272 115991 1992294400 4194304 9819077 140736043061744 18446744073709551615 6162881 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11104/statm: 118857 115991 726 1374 0 117478 0
Current children cumulated CPU time (s) 1800.91
Current children cumulated vsize (KiB) 475428
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11163
/proc/meminfo: memFree=958504/2059040 swapFree=4192956/4192956
[pid=11104] ppid=11102 vsize=475428 CPUtime=1801.71
/proc/11104/stat : 11104 (pbscip.linux.x8) R 11102 11104 11079 0 -1 4202496 16312703 0 0 0 156534 23637 0 0 25 0 1 0 1476155 486838272 115991 1992294400 4194304 9819077 140736043061744 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11104/statm: 118857 115991 726 1374 0 117478 0
Current children cumulated CPU time (s) 1801.71
Current children cumulated vsize (KiB) 475428
[startup+1802.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11163
/proc/meminfo: memFree=958504/2059040 swapFree=4192956/4192956
[pid=11104] ppid=11102 vsize=475428 CPUtime=1801.91
/proc/11104/stat : 11104 (pbscip.linux.x8) R 11102 11104 11079 0 -1 4202496 16312703 0 0 0 156554 23637 0 0 25 0 1 0 1476155 486838272 115991 1992294400 4194304 9819077 140736043061744 18446744073709551615 6179930 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11104/statm: 118857 115991 726 1374 0 117478 0
Current children cumulated CPU time (s) 1801.91
Current children cumulated vsize (KiB) 475428
[startup+1802.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11163
/proc/meminfo: memFree=958504/2059040 swapFree=4192956/4192956
[pid=11104] ppid=11102 vsize=475428 CPUtime=1802.01
/proc/11104/stat : 11104 (pbscip.linux.x8) R 11102 11104 11079 0 -1 4202496 16312703 0 0 0 156564 23637 0 0 25 0 1 0 1476155 486838272 115991 1992294400 4194304 9819077 140736043061744 18446744073709551615 6179982 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11104/statm: 118857 115991 726 1374 0 117478 0
Current children cumulated CPU time (s) 1802.01
Current children cumulated vsize (KiB) 475428
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.55
CPU time (s): 1802.07
CPU user time (s): 1565.65
CPU system time (s): 236.413
CPU usage (%): 99.973
Max. virtual memory (cumulated for all children) (KiB): 475428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1565.65
system time used= 236.413
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16312703
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= 1
involuntary context switches= 1356
runsolver used 3.16952 second user time and 8.33973 second system time
The end