0.00/0.01 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.01 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-2665444-1276602423.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.01
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 | 38 | - | 321k| 0 | 7 | 60 | 7 | 60 | 7 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.16 c 0.1s| 1 | 0 | 44 | - | 364k| 0 | 12 | 60 | 7 | 60 | 15 | 8 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.17 c 0.1s| 1 | 0 | 54 | - | 394k| 0 | 15 | 60 | 7 | 60 | 20 | 13 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 c 0.1s| 1 | 0 | 66 | - | 417k| 0 | 16 | 60 | 7 | 60 | 23 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.20 c 0.2s| 1 | 0 | 83 | - | 441k| 0 | 17 | 60 | 7 | 60 | 25 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.22 c 0.2s| 1 | 0 | 85 | - | 459k| 0 | 18 | 60 | 7 | 60 | 26 | 19 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.24 c 0.2s| 1 | 0 | 99 | - | 484k| 0 | 17 | 60 | 7 | 60 | 28 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf
0.30/0.31 c 0.3s| 1 | 2 | 99 | - | 485k| 0 | 17 | 60 | 7 | 60 | 28 | 21 | 0 | 9 | 0.000000e+00 | -- | Inf
6.29/6.38 c 5.5s| 10000 | 4512 | 32073 | 3.2 |3691k| 53 | 7 | 60 |1971 | 60 | 18 | 21 |2755 | 568 | 0.000000e+00 | -- | Inf
12.49/12.53 c 10.8s| 20000 | 8380 | 69860 | 3.5 |5767k| 53 | 7 | 60 |1136 | 60 | 18 | 21 |5784 | 740 | 0.000000e+00 | -- | Inf
18.39/18.41 c 15.8s| 30000 | 11980 |106443 | 3.5 |7877k| 53 | 7 | 60 |1225 | 60 | 18 | 21 |9062 | 865 | 0.000000e+00 | -- | Inf
24.29/24.31 c 20.9s| 40000 | 15275 |143060 | 3.6 |9875k| 53 | - | 60 |1301 | 60 | 18 | 21 | 12k| 966 | 0.000000e+00 | -- | Inf
30.09/30.18 c 25.9s| 50000 | 18372 |175289 | 3.5 | 11M| 53 | - | 60 |1497 | 60 | 18 | 21 | 15k|1030 | 0.000000e+00 | -- | Inf
36.08/36.15 c 31.1s| 60000 | 21272 |206107 | 3.4 | 13M| 53 | 7 | 60 |1398 | 60 | 18 | 21 | 19k|1104 | 0.000000e+00 | -- | Inf
41.99/42.04 c 36.1s| 70000 | 24298 |236754 | 3.4 | 15M| 53 | - | 60 |1522 | 60 | 18 | 21 | 23k|1170 | 0.000000e+00 | -- | Inf
47.87/47.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
47.87/47.96 c 41.3s| 80000 | 27197 |266912 | 3.3 | 17M| 53 | 7 | 60 |1783 | 60 | 18 | 21 | 26k|1219 | 0.000000e+00 | -- | Inf
53.79/53.88 c 46.4s| 90000 | 30258 |297441 | 3.3 | 19M| 53 | 7 | 60 |1813 | 60 | 18 | 21 | 30k|1268 | 0.000000e+00 | -- | Inf
59.78/59.82 c 51.5s|100000 | 33188 |327901 | 3.3 | 21M| 53 | - | 60 |2137 | 60 | 18 | 21 | 33k|1298 | 0.000000e+00 | -- | Inf
65.88/65.92 c 56.8s|110000 | 35977 |358012 | 3.3 | 23M| 53 | - | 60 |1717 | 60 | 18 | 21 | 37k|1310 | 0.000000e+00 | -- | Inf
71.87/71.90 c 61.9s|120000 | 38768 |388192 | 3.2 | 25M| 53 | 7 | 60 |2031 | 60 | 18 | 21 | 41k|1333 | 0.000000e+00 | -- | Inf
77.98/78.08 c 67.2s|130000 | 41425 |418729 | 3.2 | 27M| 53 | 7 | 60 |2199 | 60 | 18 | 21 | 45k|1359 | 0.000000e+00 | -- | Inf
84.07/84.19 c 72.6s|140000 | 44190 |449335 | 3.2 | 29M| 53 | - | 60 |1845 | 60 | 18 | 21 | 48k|1387 | 0.000000e+00 | -- | Inf
90.17/90.28 c 77.9s|150000 | 46763 |480286 | 3.2 | 31M| 53 | - | 60 |2261 | 60 | 18 | 21 | 52k|1402 | 0.000000e+00 | -- | Inf
96.37/96.43 c 83.2s|160000 | 49418 |509994 | 3.2 | 33M| 53 | 7 | 60 |2283 | 60 | 18 | 21 | 56k|1419 | 0.000000e+00 | -- | Inf
102.47/102.53 c 88.5s|170000 | 52121 |540276 | 3.2 | 35M| 53 | 7 | 60 |2306 | 60 | 18 | 21 | 60k|1428 | 0.000000e+00 | -- | Inf
108.56/108.61 c 93.8s|180000 | 54866 |569805 | 3.2 | 37M| 54 | - | 60 |2167 | 60 | 18 | 21 | 64k|1434 | 0.000000e+00 | -- | Inf
114.76/114.80 c 99.2s|190000 | 57451 |600140 | 3.2 | 38M| 54 | 7 | 60 |2168 | 60 | 18 | 21 | 67k|1459 | 0.000000e+00 | -- | Inf
120.87/120.98 c 105s|200000 | 60245 |631206 | 3.2 | 40M| 54 | 7 | 60 |2277 | 60 | 18 | 21 | 71k|1482 | 0.000000e+00 | -- | Inf
127.06/127.18 c 110s|210000 | 63001 |662750 | 3.2 | 42M| 54 | - | 60 |2266 | 60 | 18 | 21 | 75k|1489 | 0.000000e+00 | -- | Inf
133.25/133.36 c 115s|220000 | 65539 |692752 | 3.1 | 44M| 54 | 7 | 60 |2294 | 60 | 18 | 21 | 79k|1501 | 0.000000e+00 | -- | Inf
139.45/139.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
139.45/139.57 c 121s|230000 | 68111 |722602 | 3.1 | 46M| 54 | - | 60 |2309 | 60 | 18 | 21 | 83k|1525 | 0.000000e+00 | -- | Inf
145.45/145.56 c 126s|240000 | 71029 |753348 | 3.1 | 48M| 54 | 7 | 60 |2762 | 60 | 18 | 21 | 86k|1532 | 0.000000e+00 | -- | Inf
151.76/151.85 c 131s|250000 | 73691 |784315 | 3.1 | 50M| 54 | 7 | 60 |2194 | 60 | 18 | 21 | 90k|1544 | 0.000000e+00 | -- | Inf
157.95/158.00 c 137s|260000 | 76369 |815189 | 3.1 | 52M| 54 | 7 | 60 |2350 | 60 | 18 | 21 | 94k|1550 | 0.000000e+00 | -- | Inf
164.05/164.16 c 142s|270000 | 79047 |845193 | 3.1 | 54M| 54 | 7 | 60 |2544 | 60 | 18 | 21 | 98k|1554 | 0.000000e+00 | -- | Inf
170.24/170.37 c 147s|280000 | 81736 |876155 | 3.1 | 56M| 54 | 7 | 60 |2553 | 60 | 18 | 21 | 101k|1584 | 0.000000e+00 | -- | Inf
176.54/176.67 c 153s|290000 | 84178 |905767 | 3.1 | 57M| 54 | 7 | 60 |2302 | 60 | 18 | 21 | 105k|1590 | 0.000000e+00 | -- | Inf
182.94/183.00 c 158s|300000 | 86582 |935907 | 3.1 | 59M| 54 | - | 60 |2232 | 60 | 18 | 21 | 109k|1592 | 0.000000e+00 | -- | Inf
189.25/189.33 c 164s|310000 | 89049 |965900 | 3.1 | 61M| 54 | - | 60 |2537 | 0 | 0 | 21 | 113k|1613 | 0.000000e+00 | -- | Inf
195.54/195.65 c 169s|320000 | 91398 |995035 | 3.1 | 63M| 54 | 7 | 60 |2563 | 60 | 18 | 21 | 117k|1625 | 0.000000e+00 | -- | Inf
201.93/202.08 c 175s|330000 | 93967 | 1025k| 3.1 | 65M| 54 | 7 | 60 |2344 | 60 | 18 | 21 | 121k|1646 | 0.000000e+00 | -- | Inf
208.34/208.41 c 180s|340000 | 96503 | 1055k| 3.1 | 66M| 54 | 7 | 60 |2230 | 60 | 18 | 21 | 125k|1655 | 0.000000e+00 | -- | Inf
214.44/214.57 c 186s|350000 | 99261 | 1086k| 3.1 | 68M| 54 | 7 | 60 |2846 | 60 | 18 | 21 | 128k|1670 | 0.000000e+00 | -- | Inf
220.84/220.93 c 191s|360000 |101887 | 1117k| 3.1 | 70M| 54 | 7 | 60 |2860 | 60 | 18 | 21 | 132k|1675 | 0.000000e+00 | -- | Inf
227.13/227.23 c 197s|370000 |104487 | 1147k| 3.1 | 72M| 54 | 7 | 60 |2725 | 60 | 18 | 21 | 136k|1685 | 0.000000e+00 | -- | Inf
233.43/233.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
233.43/233.51 c 202s|380000 |107233 | 1178k| 3.1 | 74M| 54 | 7 | 60 |2537 | 60 | 18 | 21 | 139k|1691 | 0.000000e+00 | -- | Inf
239.83/239.93 c 208s|390000 |109741 | 1208k| 3.1 | 76M| 54 | - | 60 |2465 | 60 | 18 | 21 | 143k|1698 | 0.000000e+00 | -- | Inf
246.12/246.24 c 213s|400000 |112202 | 1239k| 3.1 | 78M| 54 | 7 | 60 |2250 | 60 | 18 | 21 | 147k|1698 | 0.000000e+00 | -- | Inf
252.42/252.58 c 219s|410000 |114558 | 1269k| 3.1 | 79M| 54 | - | 60 |2350 | 0 | 0 | 21 | 151k|1706 | 0.000000e+00 | -- | Inf
258.72/258.88 c 224s|420000 |117130 | 1299k| 3.1 | 81M| 54 | 7 | 60 |2555 | 60 | 18 | 21 | 155k|1708 | 0.000000e+00 | -- | Inf
264.93/265.08 c 230s|430000 |119790 | 1330k| 3.1 | 83M| 54 | - | 60 |2741 | 60 | 18 | 21 | 159k|1721 | 0.000000e+00 | -- | Inf
271.42/271.51 c 235s|440000 |122243 | 1360k| 3.1 | 85M| 54 | - | 60 |2486 | 60 | 18 | 21 | 162k|1724 | 0.000000e+00 | -- | Inf
277.72/277.81 c 241s|450000 |124868 | 1391k| 3.1 | 87M| 54 | - | 60 |2578 | 60 | 18 | 21 | 166k|1727 | 0.000000e+00 | -- | Inf
284.02/284.18 c 246s|460000 |127403 | 1422k| 3.1 | 89M| 54 | 7 | 60 |2618 | 60 | 18 | 21 | 170k|1728 | 0.000000e+00 | -- | Inf
290.32/290.50 c 252s|470000 |129743 | 1452k| 3.1 | 90M| 54 | 7 | 60 |2692 | 60 | 18 | 21 | 174k|1737 | 0.000000e+00 | -- | Inf
296.71/296.85 c 257s|480000 |132178 | 1482k| 3.1 | 92M| 54 | 7 | 60 |2470 | 60 | 18 | 21 | 178k|1748 | 0.000000e+00 | -- | Inf
303.01/303.16 c 263s|490000 |134808 | 1513k| 3.1 | 94M| 54 | 7 | 60 |2797 | 60 | 18 | 21 | 182k|1749 | 0.000000e+00 | -- | Inf
309.51/309.61 c 268s|500000 |137203 | 1544k| 3.1 | 96M| 54 | 7 | 60 |2576 | 60 | 18 | 21 | 186k|1759 | 0.000000e+00 | -- | Inf
316.01/316.10 c 274s|510000 |139271 | 1574k| 3.1 | 98M| 54 | - | 60 |2664 | 60 | 18 | 21 | 190k|1763 | 0.000000e+00 | -- | Inf
322.31/322.40 c 279s|520000 |141768 | 1604k| 3.1 | 99M| 54 | - | 60 |2720 | 60 | 18 | 21 | 193k|1770 | 0.000000e+00 | -- | Inf
328.50/328.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
328.50/328.67 c 285s|530000 |144543 | 1635k| 3.1 | 101M| 54 | 7 | 60 |3269 | 60 | 18 | 21 | 197k|1770 | 0.000000e+00 | -- | Inf
335.00/335.13 c 290s|540000 |146875 | 1665k| 3.1 | 103M| 54 | 7 | 60 |3032 | 60 | 18 | 21 | 201k|1770 | 0.000000e+00 | -- | Inf
341.30/341.47 c 296s|550000 |149462 | 1696k| 3.1 | 105M| 54 | - | 60 |3369 | 60 | 18 | 21 | 205k|1773 | 0.000000e+00 | -- | Inf
348.10/348.22 c 302s|560000 |151708 | 1727k| 3.1 | 107M| 54 | 7 | 60 |2836 | 60 | 18 | 21 | 209k|1777 | 0.000000e+00 | -- | Inf
354.59/354.79 c 307s|570000 |154059 | 1758k| 3.1 | 109M| 54 | 7 | 60 |2839 | 60 | 18 | 21 | 212k|1780 | 0.000000e+00 | -- | Inf
361.00/361.17 c 313s|580000 |156616 | 1789k| 3.1 | 111M| 54 | 7 | 60 |3385 | 60 | 18 | 21 | 216k|1784 | 0.000000e+00 | -- | Inf
367.79/367.97 c 319s|590000 |158931 | 1819k| 3.1 | 112M| 54 | 7 | 60 |2674 | 60 | 18 | 21 | 220k|1784 | 0.000000e+00 | -- | Inf
374.39/374.53 c 325s|600000 |161194 | 1850k| 3.1 | 114M| 54 | 7 | 60 |3116 | 60 | 18 | 21 | 224k|1785 | 0.000000e+00 | -- | Inf
380.89/381.02 c 330s|610000 |163719 | 1880k| 3.1 | 116M| 54 | 7 | 60 |2792 | 60 | 18 | 21 | 228k|1794 | 0.000000e+00 | -- | Inf
387.39/387.53 c 336s|620000 |166189 | 1911k| 3.1 | 118M| 54 | 7 | 60 |2747 | 60 | 18 | 21 | 232k|1807 | 0.000000e+00 | -- | Inf
393.89/394.08 c 342s|630000 |168329 | 1942k| 3.1 | 120M| 54 | 7 | 60 |3018 | 60 | 18 | 21 | 236k|1816 | 0.000000e+00 | -- | Inf
400.59/400.75 c 348s|640000 |170533 | 1973k| 3.1 | 121M| 54 | 7 | 60 |2978 | 60 | 18 | 21 | 240k|1817 | 0.000000e+00 | -- | Inf
407.18/407.32 c 353s|650000 |172723 | 2002k| 3.1 | 123M| 54 | 7 | 60 |2759 | 60 | 18 | 21 | 244k|1830 | 0.000000e+00 | -- | Inf
413.78/413.95 c 359s|660000 |175048 | 2033k| 3.1 | 125M| 54 | - | 60 |3051 | 60 | 18 | 21 | 248k|1835 | 0.000000e+00 | -- | Inf
420.48/420.60 c 365s|670000 |177287 | 2064k| 3.1 | 127M| 54 | 7 | 60 |3064 | 60 | 18 | 21 | 252k|1853 | 0.000000e+00 | -- | Inf
426.98/427.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
426.98/427.17 c 371s|680000 |179803 | 2095k| 3.1 | 128M| 54 | 7 | 60 |2821 | 60 | 18 | 21 | 256k|1859 | 0.000000e+00 | -- | Inf
433.58/433.74 c 376s|690000 |182057 | 2126k| 3.1 | 130M| 54 | 7 | 60 |3022 | 60 | 18 | 21 | 260k|1860 | 0.000000e+00 | -- | Inf
439.88/440.07 c 382s|700000 |184662 | 2157k| 3.1 | 132M| 54 | - | 60 |3757 | 60 | 18 | 21 | 264k|1865 | 0.000000e+00 | -- | Inf
446.48/446.60 c 387s|710000 |187249 | 2187k| 3.1 | 134M| 54 | 7 | 60 |4134 | 60 | 18 | 21 | 267k|1874 | 0.000000e+00 | -- | Inf
453.09/453.29 c 393s|720000 |189609 | 2217k| 3.1 | 136M| 54 | 7 | 60 |3780 | 60 | 18 | 21 | 271k|1874 | 0.000000e+00 | -- | Inf
459.88/460.05 c 399s|730000 |191950 | 2247k| 3.1 | 137M| 54 | - | 60 |2710 | 0 | 0 | 21 | 275k|1874 | 0.000000e+00 | -- | Inf
466.57/466.76 c 405s|740000 |193951 | 2277k| 3.1 | 139M| 54 | 7 | 60 |2876 | 60 | 18 | 21 | 279k|1881 | 0.000000e+00 | -- | Inf
472.97/473.16 c 411s|750000 |196360 | 2307k| 3.1 | 141M| 54 | 7 | 60 |3203 | 60 | 18 | 21 | 283k|1886 | 0.000000e+00 | -- | Inf
479.57/479.70 c 416s|760000 |198746 | 2336k| 3.1 | 143M| 54 | 7 | 60 |2898 | 60 | 18 | 21 | 287k|1890 | 0.000000e+00 | -- | Inf
486.07/486.24 c 422s|770000 |201155 | 2367k| 3.1 | 145M| 54 | 7 | 60 |3091 | 60 | 18 | 21 | 291k|1890 | 0.000000e+00 | -- | Inf
492.67/492.88 c 428s|780000 |203247 | 2397k| 3.1 | 146M| 54 | 7 | 60 |2893 | 60 | 18 | 21 | 295k|1897 | 0.000000e+00 | -- | Inf
499.27/499.40 c 434s|790000 |205609 | 2427k| 3.1 | 148M| 54 | 7 | 60 |2833 | 60 | 18 | 21 | 299k|1902 | 0.000000e+00 | -- | Inf
505.76/505.99 c 439s|800000 |207727 | 2457k| 3.1 | 150M| 54 | 7 | 60 |2903 | 60 | 18 | 21 | 303k|1913 | 0.000000e+00 | -- | Inf
512.36/512.53 c 445s|810000 |210064 | 2487k| 3.1 | 152M| 54 | 7 | 60 |2818 | 60 | 18 | 21 | 306k|1924 | 0.000000e+00 | -- | Inf
518.96/519.17 c 451s|820000 |212334 | 2518k| 3.1 | 153M| 54 | 7 | 60 |2827 | 60 | 18 | 21 | 310k|1931 | 0.000000e+00 | -- | Inf
525.46/525.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
525.46/525.60 c 456s|830000 |214816 | 2548k| 3.1 | 155M| 54 | 7 | 60 |3494 | 60 | 18 | 21 | 314k|1943 | 0.000000e+00 | -- | Inf
532.26/532.42 c 462s|840000 |217026 | 2578k| 3.1 | 157M| 54 | 7 | 60 |3295 | 60 | 18 | 21 | 318k|1954 | 0.000000e+00 | -- | Inf
538.76/538.99 c 468s|850000 |219462 | 2609k| 3.1 | 159M| 54 | - | 60 |3252 | 60 | 18 | 21 | 322k|1960 | 0.000000e+00 | -- | Inf
545.46/545.66 c 474s|860000 |221864 | 2640k| 3.1 | 161M| 54 | - | 60 |2882 | 60 | 18 | 21 | 326k|1961 | 0.000000e+00 | -- | Inf
552.05/552.27 c 480s|870000 |224087 | 2670k| 3.1 | 162M| 54 | - | 60 |3188 | 60 | 18 | 21 | 330k|1961 | 0.000000e+00 | -- | Inf
558.35/558.58 c 485s|880000 |226819 | 2701k| 3.1 | 164M| 54 | 7 | 60 |3249 | 60 | 18 | 21 | 333k|1962 | 0.000000e+00 | -- | Inf
564.74/564.97 c 491s|890000 |229451 | 2731k| 3.1 | 166M| 54 | 7 | 60 |3773 | 60 | 18 | 21 | 337k|1967 | 0.000000e+00 | -- | Inf
571.34/571.54 c 497s|900000 |232069 | 2763k| 3.1 | 168M| 54 | 7 | 60 |3991 | 60 | 18 | 21 | 341k|1967 | 0.000000e+00 | -- | Inf
578.24/578.45 c 503s|910000 |234383 | 2794k| 3.1 | 170M| 54 | - | 60 |2988 | 60 | 18 | 21 | 344k|1973 | 0.000000e+00 | -- | Inf
584.24/584.46 c 508s|920000 |237620 | 2823k| 3.1 | 172M| 54 | 7 | 60 |4133 | 60 | 18 | 21 | 347k|1980 | 0.000000e+00 | -- | Inf
591.14/591.34 c 514s|930000 |239794 | 2852k| 3.1 | 173M| 54 | 7 | 60 |3144 | 60 | 18 | 21 | 351k|1993 | 0.000000e+00 | -- | Inf
597.84/598.01 c 520s|940000 |242048 | 2883k| 3.1 | 175M| 54 | 7 | 60 |3193 | 60 | 18 | 21 | 355k|1997 | 0.000000e+00 | -- | Inf
604.54/604.72 c 526s|950000 |244324 | 2914k| 3.1 | 177M| 54 | - | 60 |3037 | 60 | 18 | 21 | 359k|2010 | 0.000000e+00 | -- | Inf
611.03/611.25 c 531s|960000 |246572 | 2944k| 3.1 | 179M| 54 | - | 60 |3300 | 60 | 18 | 21 | 363k|2017 | 0.000000e+00 | -- | Inf
617.63/617.88 c 537s|970000 |249048 | 2975k| 3.1 | 181M| 54 | 7 | 60 |3397 | 60 | 18 | 21 | 367k|2025 | 0.000000e+00 | -- | Inf
624.13/624.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
624.13/624.31 c 543s|980000 |251739 | 3005k| 3.1 | 183M| 54 | 7 | 60 |4075 | 60 | 18 | 21 | 371k|2032 | 0.000000e+00 | -- | Inf
630.93/631.14 c 549s|990000 |254009 | 3035k| 3.1 | 184M| 54 | - | 60 |3612 | 60 | 18 | 21 | 375k|2042 | 0.000000e+00 | -- | Inf
637.32/637.54 c 554s| 1000k|256574 | 3066k| 3.1 | 186M| 54 | 7 | 60 |4269 | 60 | 18 | 21 | 379k|2051 | 0.000000e+00 | -- | Inf
644.03/644.29 c 560s| 1010k|258898 | 3096k| 3.1 | 188M| 54 | 7 | 60 |3669 | 60 | 18 | 21 | 382k|2064 | 0.000000e+00 | -- | Inf
650.72/650.94 c 566s| 1020k|261222 | 3127k| 3.1 | 190M| 54 | 7 | 60 |3985 | 60 | 18 | 21 | 386k|2071 | 0.000000e+00 | -- | Inf
657.22/657.44 c 572s| 1030k|263886 | 3157k| 3.1 | 192M| 54 | 7 | 60 |3772 | 60 | 18 | 21 | 390k|2082 | 0.000000e+00 | -- | Inf
663.91/664.19 c 578s| 1040k|266272 | 3188k| 3.1 | 193M| 54 | 7 | 60 |3790 | 60 | 18 | 21 | 394k|2088 | 0.000000e+00 | -- | Inf
670.73/670.99 c 584s| 1050k|268508 | 3218k| 3.1 | 195M| 54 | 7 | 60 |3193 | 60 | 18 | 21 | 398k|2095 | 0.000000e+00 | -- | Inf
677.33/677.60 c 589s| 1060k|270834 | 3248k| 3.1 | 197M| 54 | 7 | 60 |3609 | 60 | 18 | 21 | 402k|2103 | 0.000000e+00 | -- | Inf
684.21/684.42 c 595s| 1070k|272886 | 3277k| 3.1 | 198M| 54 | - | 60 |2886 | 60 | 18 | 21 | 406k|2105 | 0.000000e+00 | -- | Inf
690.52/690.77 c 601s| 1080k|275496 | 3307k| 3.1 | 201M| 54 | 7 | 60 |3934 | 60 | 18 | 21 | 410k|2115 | 0.000000e+00 | -- | Inf
697.41/697.66 c 607s| 1090k|277729 | 3337k| 3.1 | 202M| 54 | 7 | 60 |3425 | 60 | 18 | 21 | 414k|2125 | 0.000000e+00 | -- | Inf
704.41/704.65 c 613s| 1100k|279752 | 3367k| 3.1 | 204M| 54 | 7 | 60 |2610 | 60 | 18 | 21 | 418k|2137 | 0.000000e+00 | -- | Inf
710.90/711.15 c 619s| 1110k|281951 | 3397k| 3.1 | 206M| 54 | - | 60 |3347 | 60 | 18 | 21 | 422k|2138 | 0.000000e+00 | -- | Inf
717.71/717.93 c 625s| 1120k|284201 | 3429k| 3.1 | 207M| 54 | 7 | 60 |3413 | 60 | 18 | 21 | 425k|2148 | 0.000000e+00 | -- | Inf
724.50/724.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
724.50/724.73 c 631s| 1130k|286427 | 3460k| 3.1 | 209M| 54 | 7 | 60 |3543 | 60 | 18 | 21 | 429k|2156 | 0.000000e+00 | -- | Inf
731.10/731.39 c 636s| 1140k|288740 | 3489k| 3.1 | 211M| 54 | 7 | 60 |3482 | 60 | 18 | 21 | 433k|2166 | 0.000000e+00 | -- | Inf
737.70/737.93 c 642s| 1150k|291328 | 3519k| 3.1 | 213M| 54 | - | 60 |3969 | 60 | 18 | 21 | 437k|2170 | 0.000000e+00 | -- | Inf
744.40/744.62 c 648s| 1160k|293579 | 3549k| 3.1 | 215M| 54 | 7 | 60 |4124 | 60 | 18 | 21 | 441k|2178 | 0.000000e+00 | -- | Inf
751.29/751.55 c 654s| 1170k|295789 | 3579k| 3.1 | 216M| 54 | 7 | 60 |3756 | 60 | 18 | 21 | 445k|2186 | 0.000000e+00 | -- | Inf
758.10/758.36 c 660s| 1180k|298221 | 3609k| 3.1 | 218M| 54 | 7 | 60 |3939 | 60 | 18 | 21 | 449k|2188 | 0.000000e+00 | -- | Inf
764.69/764.93 c 666s| 1190k|300731 | 3638k| 3.1 | 220M| 54 | 7 | 60 |3706 | 60 | 18 | 21 | 453k|2188 | 0.000000e+00 | -- | Inf
771.39/771.66 c 672s| 1200k|303029 | 3669k| 3.1 | 222M| 54 | 7 | 60 |4200 | 60 | 18 | 21 | 457k|2188 | 0.000000e+00 | -- | Inf
778.29/778.56 c 678s| 1210k|305294 | 3700k| 3.1 | 223M| 54 | 7 | 60 |3403 | 60 | 18 | 21 | 460k|2188 | 0.000000e+00 | -- | Inf
784.58/784.83 c 683s| 1220k|308300 | 3730k| 3.1 | 226M| 54 | 7 | 60 |4368 | 60 | 18 | 21 | 464k|2188 | 0.000000e+00 | -- | Inf
791.39/791.62 c 689s| 1230k|310818 | 3761k| 3.1 | 227M| 54 | 7 | 60 |3641 | 60 | 18 | 21 | 467k|2188 | 0.000000e+00 | -- | Inf
798.29/798.55 c 695s| 1240k|312808 | 3791k| 3.1 | 229M| 54 | 7 | 60 |2713 | 60 | 18 | 21 | 471k|2198 | 0.000000e+00 | -- | Inf
804.78/805.09 c 701s| 1250k|315167 | 3821k| 3.1 | 231M| 54 | 7 | 60 |3224 | 60 | 18 | 21 | 475k|2204 | 0.000000e+00 | -- | Inf
811.19/811.46 c 706s| 1260k|318035 | 3852k| 3.1 | 233M| 54 | - | 60 |3957 | 60 | 18 | 21 | 478k|2207 | 0.000000e+00 | -- | Inf
817.68/817.93 c 712s| 1270k|320884 | 3883k| 3.1 | 235M| 54 | 7 | 60 |4008 | 60 | 18 | 21 | 482k|2207 | 0.000000e+00 | -- | Inf
824.48/824.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
824.48/824.72 c 718s| 1280k|323302 | 3914k| 3.1 | 237M| 54 | 7 | 60 |4128 | 60 | 18 | 21 | 486k|2214 | 0.000000e+00 | -- | Inf
831.28/831.59 c 724s| 1290k|325462 | 3944k| 3.1 | 238M| 54 | - | 60 |3149 | 60 | 18 | 21 | 490k|2216 | 0.000000e+00 | -- | Inf
837.97/838.25 c 730s| 1300k|327742 | 3974k| 3.1 | 240M| 54 | - | 60 |3361 | 60 | 18 | 21 | 493k|2216 | 0.000000e+00 | -- | Inf
844.66/844.93 c 736s| 1310k|330180 | 4004k| 3.1 | 242M| 54 | - | 60 |3036 | 60 | 18 | 21 | 497k|2230 | 0.000000e+00 | -- | Inf
851.16/851.42 c 741s| 1320k|332621 | 4035k| 3.1 | 244M| 54 | 7 | 60 |3785 | 60 | 18 | 21 | 501k|2232 | 0.000000e+00 | -- | Inf
857.66/857.99 c 747s| 1330k|335075 | 4065k| 3.1 | 245M| 54 | - | 60 |3330 | 0 | 0 | 21 | 505k|2235 | 0.000000e+00 | -- | Inf
864.45/864.73 c 753s| 1340k|337367 | 4095k| 3.1 | 247M| 54 | 7 | 60 |3284 | 60 | 18 | 21 | 509k|2251 | 0.000000e+00 | -- | Inf
871.25/871.58 c 759s| 1350k|339462 | 4126k| 3.1 | 249M| 54 | 7 | 60 |2986 | 60 | 18 | 21 | 513k|2252 | 0.000000e+00 | -- | Inf
877.94/878.27 c 765s| 1360k|341684 | 4155k| 3.1 | 251M| 54 | - | 60 |3237 | 60 | 18 | 21 | 517k|2256 | 0.000000e+00 | -- | Inf
884.64/884.97 c 771s| 1370k|343846 | 4185k| 3.1 | 252M| 54 | 7 | 60 |3142 | 60 | 18 | 21 | 521k|2261 | 0.000000e+00 | -- | Inf
891.45/891.74 c 777s| 1380k|345938 | 4216k| 3.1 | 254M| 54 | 7 | 60 |2794 | 60 | 18 | 21 | 525k|2263 | 0.000000e+00 | -- | Inf
898.04/898.38 c 783s| 1390k|348228 | 4246k| 3.1 | 256M| 54 | 7 | 60 |3182 | 60 | 18 | 21 | 529k|2270 | 0.000000e+00 | -- | Inf
904.74/905.09 c 788s| 1400k|350549 | 4276k| 3.1 | 258M| 54 | 7 | 60 |3374 | 60 | 18 | 21 | 532k|2273 | 0.000000e+00 | -- | Inf
911.65/911.94 c 794s| 1410k|352751 | 4306k| 3.1 | 259M| 54 | - | 60 |3157 | 60 | 18 | 21 | 536k|2275 | 0.000000e+00 | -- | Inf
918.14/918.50 c 800s| 1420k|355174 | 4336k| 3.1 | 261M| 54 | 7 | 60 |3491 | 60 | 18 | 21 | 540k|2275 | 0.000000e+00 | -- | Inf
924.74/925.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
924.74/925.05 c 806s| 1430k|357781 | 4367k| 3.1 | 263M| 54 | 7 | 60 |4087 | 60 | 18 | 21 | 543k|2276 | 0.000000e+00 | -- | Inf
931.64/931.93 c 812s| 1440k|360154 | 4397k| 3.1 | 265M| 54 | 7 | 60 |3937 | 60 | 18 | 21 | 547k|2283 | 0.000000e+00 | -- | Inf
938.53/938.82 c 818s| 1450k|362297 | 4427k| 3.1 | 267M| 54 | - | 60 |3517 | 60 | 18 | 21 | 551k|2286 | 0.000000e+00 | -- | Inf
945.33/945.66 c 824s| 1460k|364566 | 4457k| 3.1 | 268M| 54 | 7 | 60 |3439 | 60 | 18 | 21 | 555k|2290 | 0.000000e+00 | -- | Inf
951.93/952.24 c 830s| 1470k|366971 | 4487k| 3.1 | 270M| 54 | 7 | 60 |3709 | 60 | 18 | 21 | 559k|2292 | 0.000000e+00 | -- | Inf
958.83/959.18 c 836s| 1480k|369181 | 4517k| 3.1 | 272M| 54 | - | 60 |3204 | 60 | 18 | 21 | 563k|2293 | 0.000000e+00 | -- | Inf
965.73/966.04 c 842s| 1490k|371235 | 4547k| 3.1 | 274M| 54 | 7 | 60 |3034 | 60 | 18 | 21 | 567k|2294 | 0.000000e+00 | -- | Inf
972.33/972.64 c 848s| 1500k|373374 | 4577k| 3.1 | 275M| 54 | - | 60 |3441 | 60 | 18 | 21 | 571k|2298 | 0.000000e+00 | -- | Inf
979.22/979.51 c 854s| 1510k|375586 | 4608k| 3.1 | 277M| 54 | 7 | 60 |3071 | 60 | 18 | 21 | 575k|2304 | 0.000000e+00 | -- | Inf
986.12/986.41 c 860s| 1520k|377730 | 4638k| 3.1 | 279M| 54 | 7 | 60 |3022 | 60 | 18 | 21 | 579k|2309 | 0.000000e+00 | -- | Inf
992.93/993.22 c 866s| 1530k|379784 | 4669k| 3.1 | 281M| 54 | - | 60 |3064 | 60 | 18 | 21 | 582k|2311 | 0.000000e+00 | -- | Inf
999.62/999.98 c 872s| 1540k|381925 | 4699k| 3.1 | 282M| 54 | 7 | 60 |3035 | 60 | 18 | 21 | 586k|2312 | 0.000000e+00 | -- | Inf
1006.52/1006.81 c 878s| 1550k|383900 | 4729k| 3.1 | 284M| 54 | - | 60 |2754 | 60 | 18 | 21 | 590k|2318 | 0.000000e+00 | -- | Inf
1013.21/1013.55 c 883s| 1560k|386024 | 4760k| 3.1 | 286M| 54 | 7 | 60 |3357 | 60 | 18 | 21 | 595k|2319 | 0.000000e+00 | -- | Inf
1019.71/1020.07 c 889s| 1570k|388531 | 4790k| 3.1 | 288M| 54 | 7 | 60 |3783 | 60 | 18 | 21 | 598k|2323 | 0.000000e+00 | -- | Inf
1026.61/1026.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1026.61/1026.96 c 895s| 1580k|390824 | 4820k| 3.1 | 289M| 54 | 7 | 60 |3488 | 60 | 18 | 21 | 602k|2325 | 0.000000e+00 | -- | Inf
1033.41/1033.70 c 901s| 1590k|393057 | 4850k| 3.1 | 291M| 54 | 7 | 60 |3723 | 60 | 18 | 21 | 606k|2332 | 0.000000e+00 | -- | Inf
1040.31/1040.61 c 907s| 1600k|395101 | 4880k| 3.1 | 293M| 54 | 7 | 60 |2951 | 60 | 18 | 21 | 610k|2340 | 0.000000e+00 | -- | Inf
1046.81/1047.12 c 913s| 1610k|397436 | 4909k| 3.0 | 295M| 54 | 7 | 60 |3171 | 60 | 18 | 21 | 614k|2347 | 0.000000e+00 | -- | Inf
1053.70/1054.00 c 919s| 1620k|399479 | 4939k| 3.0 | 296M| 54 | 7 | 60 |2752 | 60 | 18 | 21 | 618k|2350 | 0.000000e+00 | -- | Inf
1060.30/1060.65 c 925s| 1630k|401659 | 4970k| 3.0 | 298M| 54 | 7 | 60 |3249 | 60 | 18 | 21 | 622k|2355 | 0.000000e+00 | -- | Inf
1067.00/1067.31 c 930s| 1640k|403829 | 4999k| 3.0 | 300M| 54 | 7 | 60 |2855 | 60 | 18 | 21 | 626k|2357 | 0.000000e+00 | -- | Inf
1073.60/1073.95 c 936s| 1650k|406057 | 5029k| 3.0 | 302M| 54 | - | 60 |3006 | 60 | 18 | 21 | 629k|2364 | 0.000000e+00 | -- | Inf
1080.30/1080.66 c 942s| 1660k|408239 | 5059k| 3.0 | 303M| 54 | - | 60 |3009 | 60 | 18 | 21 | 633k|2365 | 0.000000e+00 | -- | Inf
1086.90/1087.29 c 948s| 1670k|410440 | 5090k| 3.0 | 305M| 54 | 7 | 60 |3072 | 60 | 18 | 21 | 637k|2369 | 0.000000e+00 | -- | Inf
1093.60/1093.94 c 954s| 1680k|412745 | 5120k| 3.0 | 307M| 54 | - | 60 |3365 | 60 | 18 | 21 | 641k|2369 | 0.000000e+00 | -- | Inf
1099.99/1100.34 c 959s| 1690k|415434 | 5150k| 3.0 | 309M| 54 | - | 60 |4782 | 60 | 18 | 21 | 644k|2369 | 0.000000e+00 | -- | Inf
1106.99/1107.39 c 965s| 1700k|417757 | 5180k| 3.0 | 310M| 54 | - | 60 |3240 | 60 | 18 | 21 | 648k|2384 | 0.000000e+00 | -- | Inf
1113.39/1113.74 c 971s| 1710k|420482 | 5209k| 3.0 | 312M| 54 | 7 | 60 |4182 | 60 | 18 | 21 | 651k|2384 | 0.000000e+00 | -- | Inf
1120.29/1120.64 c 977s| 1720k|422828 | 5239k| 3.0 | 314M| 54 | 7 | 60 |3560 | 60 | 18 | 21 | 655k|2384 | 0.000000e+00 | -- | Inf
1127.19/1127.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1127.19/1127.52 c 983s| 1730k|424909 | 5269k| 3.0 | 316M| 54 | - | 60 |3292 | 60 | 18 | 21 | 659k|2393 | 0.000000e+00 | -- | Inf
1133.98/1134.33 c 989s| 1740k|427139 | 5299k| 3.0 | 318M| 54 | 7 | 60 |3287 | 60 | 18 | 21 | 663k|2393 | 0.000000e+00 | -- | Inf
1141.08/1141.42 c 995s| 1750k|429164 | 5330k| 3.0 | 319M| 54 | 7 | 60 |3028 | 60 | 18 | 21 | 667k|2397 | 0.000000e+00 | -- | Inf
1147.78/1148.16 c 1001s| 1760k|431276 | 5360k| 3.0 | 321M| 54 | 7 | 60 |3452 | 60 | 18 | 21 | 671k|2408 | 0.000000e+00 | -- | Inf
1154.68/1155.06 c 1007s| 1770k|433328 | 5391k| 3.0 | 323M| 54 | 7 | 60 |2988 | 60 | 18 | 21 | 675k|2414 | 0.000000e+00 | -- | Inf
1161.48/1161.89 c 1013s| 1780k|435497 | 5421k| 3.0 | 324M| 54 | 7 | 60 |3373 | 60 | 18 | 21 | 679k|2417 | 0.000000e+00 | -- | Inf
1168.48/1168.88 c 1019s| 1790k|437562 | 5452k| 3.0 | 326M| 54 | 7 | 60 |3239 | 60 | 18 | 21 | 683k|2425 | 0.000000e+00 | -- | Inf
1175.37/1175.72 c 1025s| 1800k|439607 | 5481k| 3.0 | 328M| 54 | - | 60 |3513 | 60 | 18 | 21 | 687k|2425 | 0.000000e+00 | -- | Inf
1182.27/1182.67 c 1031s| 1810k|441655 | 5511k| 3.0 | 329M| 54 | 7 | 60 |3378 | 60 | 18 | 21 | 691k|2429 | 0.000000e+00 | -- | Inf
1189.07/1189.47 c 1037s| 1820k|443768 | 5541k| 3.0 | 331M| 54 | 7 | 60 |3593 | 60 | 18 | 21 | 695k|2433 | 0.000000e+00 | -- | Inf
1195.77/1196.14 c 1043s| 1830k|446148 | 5571k| 3.0 | 333M| 54 | 7 | 60 |3483 | 60 | 18 | 21 | 698k|2443 | 0.000000e+00 | -- | Inf
1202.57/1202.91 c 1049s| 1840k|448408 | 5600k| 3.0 | 335M| 54 | 7 | 60 |3556 | 60 | 18 | 21 | 702k|2452 | 0.000000e+00 | -- | Inf
1209.36/1209.76 c 1055s| 1850k|450440 | 5631k| 3.0 | 336M| 54 | 7 | 60 |3647 | 60 | 18 | 21 | 706k|2460 | 0.000000e+00 | -- | Inf
1215.86/1216.24 c 1061s| 1860k|453100 | 5661k| 3.0 | 338M| 54 | - | 60 |4897 | 60 | 18 | 21 | 709k|2465 | 0.000000e+00 | -- | Inf
1223.06/1223.49 c 1067s| 1870k|455307 | 5691k| 3.0 | 340M| 54 | - | 60 |3470 | 60 | 18 | 21 | 713k|2471 | 0.000000e+00 | -- | Inf
1230.06/1230.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1230.06/1230.43 c 1073s| 1880k|457354 | 5721k| 3.0 | 342M| 54 | 7 | 60 |3352 | 60 | 18 | 21 | 717k|2479 | 0.000000e+00 | -- | Inf
1236.55/1236.93 c 1079s| 1890k|459875 | 5751k| 3.0 | 344M| 54 | 7 | 60 |3853 | 60 | 18 | 21 | 721k|2485 | 0.000000e+00 | -- | Inf
1243.66/1244.07 c 1085s| 1900k|461903 | 5783k| 3.0 | 345M| 54 | 7 | 60 |3531 | 60 | 18 | 21 | 725k|2490 | 0.000000e+00 | -- | Inf
1250.45/1250.88 c 1091s| 1910k|464034 | 5813k| 3.0 | 347M| 54 | 7 | 60 |3817 | 60 | 18 | 21 | 728k|2499 | 0.000000e+00 | -- | Inf
1257.35/1257.75 c 1097s| 1920k|466460 | 5845k| 3.0 | 349M| 54 | 7 | 60 |4117 | 60 | 18 | 21 | 732k|2510 | 0.000000e+00 | -- | Inf
1264.35/1264.77 c 1103s| 1930k|468714 | 5874k| 3.0 | 350M| 54 | 7 | 60 |3729 | 60 | 18 | 21 | 736k|2514 | 0.000000e+00 | -- | Inf
1271.35/1271.71 c 1110s| 1940k|470698 | 5904k| 3.0 | 352M| 54 | 7 | 60 |4244 | 60 | 18 | 21 | 740k|2517 | 0.000000e+00 | -- | Inf
1278.04/1278.43 c 1115s| 1950k|473259 | 5934k| 3.0 | 354M| 54 | 7 | 60 |4604 | 60 | 18 | 21 | 744k|2525 | 0.000000e+00 | -- | Inf
1285.24/1285.65 c 1122s| 1960k|475377 | 5965k| 3.0 | 355M| 54 | - | 60 |3189 | 60 | 18 | 21 | 748k|2528 | 0.000000e+00 | -- | Inf
1291.84/1292.26 c 1128s| 1970k|477684 | 5993k| 3.0 | 357M| 54 | 7 | 60 |3684 | 60 | 18 | 21 | 751k|2533 | 0.000000e+00 | -- | Inf
1298.84/1299.25 c 1134s| 1980k|479791 | 6023k| 3.0 | 359M| 54 | 7 | 60 |3208 | 60 | 18 | 21 | 755k|2544 | 0.000000e+00 | -- | Inf
1305.53/1305.94 c 1139s| 1990k|482106 | 6053k| 3.0 | 361M| 54 | - | 60 |3551 | 60 | 18 | 21 | 759k|2551 | 0.000000e+00 | -- | Inf
1312.43/1312.80 c 1145s| 2000k|484201 | 6083k| 3.0 | 362M| 54 | 7 | 60 |3473 | 60 | 18 | 21 | 763k|2555 | 0.000000e+00 | -- | Inf
1319.04/1319.47 c 1151s| 2010k|486584 | 6113k| 3.0 | 364M| 54 | - | 60 |3984 | 60 | 18 | 21 | 767k|2559 | 0.000000e+00 | -- | Inf
1325.83/1326.22 c 1157s| 2020k|489088 | 6144k| 3.0 | 366M| 54 | 7 | 60 |4127 | 60 | 18 | 21 | 771k|2562 | 0.000000e+00 | -- | Inf
1332.33/1332.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1332.33/1332.78 c 1163s| 2030k|491753 | 6174k| 3.0 | 368M| 54 | 7 | 60 |4551 | 60 | 18 | 21 | 774k|2564 | 0.000000e+00 | -- | Inf
1339.03/1339.46 c 1169s| 2040k|494285 | 6205k| 3.0 | 370M| 54 | 7 | 60 |4955 | 60 | 18 | 21 | 778k|2570 | 0.000000e+00 | -- | Inf
1346.13/1346.51 c 1175s| 2050k|496695 | 6234k| 3.0 | 372M| 54 | - | 60 |4471 | 60 | 18 | 21 | 781k|2572 | 0.000000e+00 | -- | Inf
1353.12/1353.57 c 1181s| 2060k|499058 | 6265k| 3.0 | 373M| 54 | - | 60 |3693 | 60 | 18 | 21 | 785k|2577 | 0.000000e+00 | -- | Inf
1359.82/1360.24 c 1187s| 2070k|501633 | 6295k| 3.0 | 375M| 54 | - | 60 |4191 | 60 | 18 | 21 | 789k|2585 | 0.000000e+00 | -- | Inf
1366.82/1367.30 c 1193s| 2080k|503610 | 6324k| 3.0 | 377M| 54 | - | 60 |3609 | 60 | 18 | 21 | 793k|2591 | 0.000000e+00 | -- | Inf
1373.82/1374.22 c 1199s| 2090k|505778 | 6354k| 3.0 | 379M| 54 | - | 60 |3670 | 60 | 18 | 21 | 797k|2600 | 0.000000e+00 | -- | Inf
1380.92/1381.32 c 1206s| 2100k|507785 | 6385k| 3.0 | 380M| 54 | 7 | 60 |3316 | 60 | 18 | 21 | 800k|2604 | 0.000000e+00 | -- | Inf
1387.52/1387.98 c 1211s| 2110k|509910 | 6414k| 3.0 | 382M| 54 | 7 | 60 |4141 | 60 | 18 | 21 | 805k|2608 | 0.000000e+00 | -- | Inf
1394.62/1395.04 c 1218s| 2120k|511922 | 6444k| 3.0 | 384M| 54 | - | 60 |3617 | 60 | 18 | 21 | 809k|2619 | 0.000000e+00 | -- | Inf
1401.32/1401.71 c 1224s| 2130k|514334 | 6475k| 3.0 | 386M| 54 | 7 | 60 |4410 | 60 | 18 | 21 | 812k|2628 | 0.000000e+00 | -- | Inf
1407.61/1408.01 c 1229s| 2140k|517561 | 6503k| 3.0 | 388M| 54 | - | 60 |5382 | 0 | 0 | 21 | 816k|2635 | 0.000000e+00 | -- | Inf
1414.81/1415.25 c 1235s| 2150k|519714 | 6533k| 3.0 | 389M| 54 | - | 60 |3655 | 60 | 18 | 21 | 819k|2639 | 0.000000e+00 | -- | Inf
1421.71/1422.12 c 1241s| 2160k|521698 | 6563k| 3.0 | 391M| 54 | - | 60 |3806 | 60 | 18 | 21 | 823k|2646 | 0.000000e+00 | -- | Inf
1428.51/1428.94 c 1247s| 2170k|523980 | 6594k| 3.0 | 393M| 54 | 7 | 60 |3824 | 60 | 18 | 21 | 827k|2653 | 0.000000e+00 | -- | Inf
1435.50/1435.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1435.50/1435.95 c 1254s| 2180k|526076 | 6624k| 3.0 | 394M| 54 | - | 60 |3501 | 60 | 18 | 21 | 831k|2660 | 0.000000e+00 | -- | Inf
1442.50/1442.96 c 1260s| 2190k|528167 | 6654k| 3.0 | 396M| 54 | 7 | 60 |3130 | 60 | 18 | 21 | 835k|2669 | 0.000000e+00 | -- | Inf
1449.30/1449.74 c 1266s| 2200k|530355 | 6684k| 3.0 | 398M| 54 | - | 60 |3166 | 60 | 18 | 21 | 839k|2676 | 0.000000e+00 | -- | Inf
1455.80/1456.24 c 1271s| 2210k|532826 | 6713k| 3.0 | 400M| 54 | - | 60 |3705 | 60 | 18 | 21 | 842k|2683 | 0.000000e+00 | -- | Inf
1462.80/1463.27 c 1277s| 2220k|534921 | 6743k| 3.0 | 401M| 54 | 7 | 60 |3082 | 60 | 18 | 21 | 846k|2689 | 0.000000e+00 | -- | Inf
1469.39/1469.83 c 1283s| 2230k|537415 | 6774k| 3.0 | 403M| 54 | 7 | 60 |3912 | 60 | 18 | 21 | 850k|2694 | 0.000000e+00 | -- | Inf
1476.39/1476.82 c 1289s| 2240k|539550 | 6804k| 3.0 | 405M| 54 | 7 | 60 |3478 | 60 | 18 | 21 | 853k|2698 | 0.000000e+00 | -- | Inf
1483.29/1483.76 c 1295s| 2250k|541580 | 6835k| 3.0 | 406M| 54 | 7 | 60 |3175 | 60 | 18 | 21 | 857k|2704 | 0.000000e+00 | -- | Inf
1490.00/1490.43 c 1301s| 2260k|543966 | 6865k| 3.0 | 408M| 54 | 7 | 60 |3725 | 60 | 18 | 21 | 861k|2709 | 0.000000e+00 | -- | Inf
1496.60/1497.10 c 1307s| 2270k|546453 | 6897k| 3.0 | 410M| 54 | 7 | 60 |4409 | 60 | 18 | 21 | 865k|2712 | 0.000000e+00 | -- | Inf
1503.78/1504.27 c 1313s| 2280k|548733 | 6928k| 3.0 | 412M| 54 | - | 60 |3951 | 60 | 18 | 21 | 868k|2718 | 0.000000e+00 | -- | Inf
1510.28/1510.76 c 1319s| 2290k|551770 | 6958k| 3.0 | 414M| 54 | 7 | 60 |4909 | 60 | 18 | 21 | 872k|2724 | 0.000000e+00 | -- | Inf
1517.38/1517.84 c 1325s| 2300k|554214 | 6988k| 3.0 | 416M| 54 | 7 | 60 |3918 | 60 | 18 | 21 | 875k|2728 | 0.000000e+00 | -- | Inf
1524.38/1524.87 c 1332s| 2310k|556494 | 7018k| 3.0 | 417M| 54 | 7 | 60 |3566 | 60 | 18 | 21 | 879k|2735 | 0.000000e+00 | -- | Inf
1530.87/1531.32 c 1337s| 2320k|559061 | 7048k| 3.0 | 419M| 54 | - | 60 |4393 | 60 | 18 | 21 | 883k|2742 | 0.000000e+00 | -- | Inf
1537.68/1538.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1537.68/1538.18 c 1343s| 2330k|561399 | 7078k| 3.0 | 421M| 54 | 7 | 60 |4029 | 60 | 18 | 21 | 886k|2748 | 0.000000e+00 | -- | Inf
1544.17/1544.66 c 1349s| 2340k|564193 | 7108k| 3.0 | 423M| 54 | 7 | 60 |5030 | 60 | 18 | 21 | 890k|2756 | 0.000000e+00 | -- | Inf
1551.37/1551.82 c 1355s| 2350k|566444 | 7136k| 3.0 | 425M| 54 | 7 | 60 |4021 | 60 | 18 | 21 | 893k|2762 | 0.000000e+00 | -- | Inf
1558.07/1558.54 c 1361s| 2360k|569007 | 7166k| 3.0 | 427M| 54 | 7 | 60 |4122 | 60 | 18 | 21 | 897k|2769 | 0.000000e+00 | -- | Inf
1564.78/1565.20 c 1367s| 2370k|571614 | 7197k| 3.0 | 429M| 54 | 7 | 60 |5321 | 60 | 18 | 21 | 900k|2776 | 0.000000e+00 | -- | Inf
1571.97/1572.48 c 1373s| 2380k|573737 | 7228k| 3.0 | 430M| 54 | - | 60 |4099 | 60 | 18 | 21 | 904k|2784 | 0.000000e+00 | -- | Inf
1578.87/1579.35 c 1379s| 2390k|576085 | 7258k| 3.0 | 432M| 54 | 7 | 60 |3482 | 60 | 18 | 21 | 908k|2787 | 0.000000e+00 | -- | Inf
1585.86/1586.30 c 1385s| 2400k|578258 | 7288k| 3.0 | 434M| 54 | - | 60 |3549 | 60 | 18 | 21 | 912k|2794 | 0.000000e+00 | -- | Inf
1592.76/1593.23 c 1392s| 2410k|580504 | 7319k| 3.0 | 435M| 54 | 7 | 60 |3624 | 60 | 18 | 21 | 915k|2800 | 0.000000e+00 | -- | Inf
1599.86/1600.31 c 1398s| 2420k|582713 | 7349k| 3.0 | 437M| 54 | - | 60 |2974 | 60 | 18 | 21 | 919k|2811 | 0.000000e+00 | -- | Inf
1606.67/1607.10 c 1404s| 2430k|584933 | 7378k| 3.0 | 439M| 54 | 7 | 60 |3506 | 60 | 18 | 21 | 923k|2821 | 0.000000e+00 | -- | Inf
1613.56/1614.01 c 1410s| 2440k|587199 | 7408k| 3.0 | 441M| 54 | 7 | 60 |3283 | 60 | 18 | 21 | 926k|2827 | 0.000000e+00 | -- | Inf
1620.36/1620.84 c 1416s| 2450k|589262 | 7438k| 3.0 | 442M| 54 | 7 | 60 |3468 | 60 | 18 | 21 | 930k|2834 | 0.000000e+00 | -- | Inf
1627.46/1627.91 c 1422s| 2460k|591228 | 7468k| 3.0 | 444M| 54 | - | 60 |3004 | 60 | 18 | 21 | 934k|2839 | 0.000000e+00 | -- | Inf
1634.05/1634.60 c 1428s| 2470k|593553 | 7499k| 3.0 | 446M| 54 | 7 | 60 |3507 | 60 | 18 | 21 | 938k|2842 | 0.000000e+00 | -- | Inf
1640.95/1641.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1640.95/1641.41 c 1434s| 2480k|595716 | 7531k| 3.0 | 448M| 54 | - | 60 |4685 | 60 | 18 | 21 | 942k|2843 | 0.000000e+00 | -- | Inf
1647.85/1648.36 c 1440s| 2490k|598091 | 7562k| 3.0 | 450M| 54 | 7 | 60 |4421 | 60 | 18 | 21 | 945k|2847 | 0.000000e+00 | -- | Inf
1654.85/1655.39 c 1446s| 2500k|600325 | 7591k| 3.0 | 451M| 54 | 7 | 60 |4035 | 60 | 18 | 21 | 949k|2856 | 0.000000e+00 | -- | Inf
1661.94/1662.46 c 1452s| 2510k|602465 | 7621k| 3.0 | 453M| 54 | - | 60 |3724 | 0 | 0 | 21 | 953k|2861 | 0.000000e+00 | -- | Inf
1668.84/1669.30 c 1458s| 2520k|604750 | 7652k| 3.0 | 455M| 54 | 7 | 60 |4418 | 60 | 18 | 21 | 957k|2866 | 0.000000e+00 | -- | Inf
1675.95/1676.46 c 1465s| 2530k|606970 | 7683k| 3.0 | 457M| 54 | 7 | 60 |4462 | 60 | 18 | 21 | 960k|2871 | 0.000000e+00 | -- | Inf
1682.94/1683.40 c 1471s| 2540k|609299 | 7713k| 3.0 | 458M| 54 | 7 | 60 |4755 | 60 | 18 | 21 | 964k|2881 | 0.000000e+00 | -- | Inf
1690.04/1690.51 c 1477s| 2550k|611544 | 7743k| 3.0 | 460M| 54 | - | 60 |4245 | 60 | 18 | 21 | 968k|2887 | 0.000000e+00 | -- | Inf
1697.13/1697.68 c 1483s| 2560k|613627 | 7773k| 3.0 | 462M| 54 | 7 | 60 |3889 | 60 | 18 | 21 | 972k|2891 | 0.000000e+00 | -- | Inf
1704.44/1704.97 c 1490s| 2570k|615463 | 7804k| 3.0 | 463M| 54 | - | 60 |3251 | 60 | 18 | 21 | 976k|2896 | 0.000000e+00 | -- | Inf
1711.23/1711.72 c 1496s| 2580k|617646 | 7834k| 3.0 | 465M| 54 | 7 | 60 |3672 | 60 | 18 | 21 | 980k|2898 | 0.000000e+00 | -- | Inf
1718.03/1718.51 c 1502s| 2590k|619836 | 7865k| 3.0 | 467M| 54 | - | 60 |4155 | 60 | 18 | 21 | 984k|2904 | 0.000000e+00 | -- | Inf
1725.02/1725.59 c 1508s| 2600k|622125 | 7893k| 3.0 | 469M| 54 | - | 60 |3393 | 60 | 18 | 21 | 987k|2911 | 0.000000e+00 | -- | Inf
1731.93/1732.49 c 1514s| 2610k|624132 | 7923k| 3.0 | 470M| 54 | 7 | 60 |3291 | 60 | 18 | 21 | 991k|2915 | 0.000000e+00 | -- | Inf
1738.82/1739.36 c 1520s| 2620k|626427 | 7954k| 3.0 | 472M| 54 | 7 | 60 |3424 | 60 | 18 | 21 | 995k|2915 | 0.000000e+00 | -- | Inf
1745.72/1746.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1745.72/1746.29 c 1526s| 2630k|628549 | 7984k| 3.0 | 474M| 54 | 7 | 60 |3196 | 60 | 18 | 21 | 999k|2915 | 0.000000e+00 | -- | Inf
1752.72/1753.21 c 1532s| 2640k|630592 | 8015k| 3.0 | 475M| 54 | 7 | 60 |3546 | 60 | 18 | 21 |1003k|2915 | 0.000000e+00 | -- | Inf
1759.62/1760.19 c 1538s| 2650k|632652 | 8046k| 3.0 | 477M| 54 | 7 | 60 |3422 | 60 | 18 | 21 |1006k|2917 | 0.000000e+00 | -- | Inf
1766.42/1766.91 c 1544s| 2660k|634953 | 8076k| 3.0 | 479M| 54 | - | 60 |3869 | 60 | 18 | 21 |1010k|2922 | 0.000000e+00 | -- | Inf
1773.32/1773.85 c 1550s| 2670k|637309 | 8106k| 3.0 | 481M| 54 | - | 60 |3446 | 60 | 18 | 21 |1014k|2927 | 0.000000e+00 | -- | Inf
1780.32/1780.85 c 1556s| 2680k|639374 | 8137k| 3.0 | 482M| 54 | 7 | 60 |3202 | 60 | 18 | 21 |1018k|2928 | 0.000000e+00 | -- | Inf
1787.11/1787.67 c 1562s| 2690k|641745 | 8168k| 3.0 | 484M| 54 | 7 | 60 |3769 | 60 | 18 | 21 |1021k|2932 | 0.000000e+00 | -- | Inf
1793.52/1794.06 c 1568s| 2700k|644757 | 8198k| 3.0 | 486M| 54 | - | 60 |4457 | 60 | 18 | 21 |1025k|2935 | 0.000000e+00 | -- | Inf
1800.02/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.50 c
1800.02/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.50 c Solving Time (sec) : 1573.50
1800.02/1800.50 c Solving Nodes : 2709539
1800.02/1800.50 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.02/1800.50 c Dual Bound : +0.00000000000000e+00
1800.02/1800.50 c Gap : infinite
1800.02/1800.50 s UNKNOWN
1800.02/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.50 c Solving Time : 1573.50
1800.02/1800.50 c Original Problem :
1800.02/1800.50 c Problem name : HOME/instance-2665444-1276602423.opb
1800.02/1800.50 c Variables : 61 (61 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.50 c Constraints : 15 initial, 15 maximal
1800.02/1800.50 c Presolved Problem :
1800.02/1800.50 c Problem name : t_HOME/instance-2665444-1276602423.opb
1800.02/1800.50 c Variables : 60 (60 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.50 c Constraints : 7 initial, 5605 maximal
1800.02/1800.50 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.50 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.50 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.02/1800.50 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.50 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.50 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.50 c probing : 0.01 0 0 0 0 0 0 0 0
1800.02/1800.50 c linear : 0.00 0 0 0 0 0 8 0 0
1800.02/1800.50 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.50 c root node : - 0 - - 0 - - - -
1800.02/1800.50 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.50 c integral : 0 0 0 1682449 0 273 909 0 0 3362602
1800.02/1800.50 c linear : 7 6 6312612 0 0 108935 3093252 0 0 0
1800.02/1800.50 c logicor : 0+ 0 2563078 0 0 6080 883859 0 0 0
1800.02/1800.50 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.50 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.50 c integral : 23.49 0.00 0.00 23.49 0.00
1800.02/1800.50 c linear : 320.00 0.00 320.00 0.00 0.00
1800.02/1800.50 c logicor : 166.01 0.00 166.01 0.00 0.00
1800.02/1800.50 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.50 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.50 c vbounds : 3.45 2 0 0
1800.02/1800.50 c rootredcost : 2.74 0 0 0
1800.02/1800.50 c pseudoobj : 2.30 0 0 0
1800.02/1800.50 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.50 c propagation : 16.67 115015 101906 372801 41.9 17 36.4 -
1800.02/1800.50 c infeasible LP : 50.77 918847 697987 1245156 27.6 3369 31.1 0
1800.02/1800.50 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.50 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.50 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.02/1800.50 c applied globally : - - - 823661 22.9 - - -
1800.02/1800.50 c applied locally : - - - 204999 37.1 - - -
1800.02/1800.50 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.50 c cut pool : 0.00 5 - - 13 - (maximal pool size: 88)
1800.02/1800.50 c redcost : 4.31 1682454 0 0 0 0
1800.02/1800.50 c impliedbounds : 0.00 6 0 0 0 0
1800.02/1800.50 c intobj : 0.00 0 0 0 0 0
1800.02/1800.50 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.50 c gomory : 0.01 6 0 0 0 0
1800.02/1800.50 c strongcg : 0.00 6 0 0 62 0
1800.02/1800.50 c cmir : 0.04 6 0 0 15 0
1800.02/1800.50 c flowcover : 0.03 6 0 0 22 0
1800.02/1800.50 c clique : 0.00 1 0 0 0 0
1800.02/1800.50 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.50 c mcf : 0.00 1 0 0 0 0
1800.02/1800.50 c rapidlearning : 0.11 1 0 0 0 0
1800.02/1800.50 c Pricers : Time Calls Vars
1800.02/1800.50 c problem variables: 0.00 0 0
1800.02/1800.50 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.50 c relpscost : 20.77 1682449 273 909 0 0 3362602
1800.02/1800.50 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.50 c inference : 0.00 0 0 0 0 0 0
1800.02/1800.50 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.50 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.50 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.50 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.50 c random : 0.00 0 0 0 0 0 0
1800.02/1800.50 c Primal Heuristics : Time Calls Found
1800.02/1800.50 c LP solutions : 0.00 - 0
1800.02/1800.50 c pseudo solutions : 0.00 - 0
1800.02/1800.50 c oneopt : 2.62 0 0
1800.02/1800.51 c crossover : 1.53 0 0
1800.02/1800.51 c guideddiving : 0.17 0 0
1800.02/1800.51 c pscostdiving : 0.27 27 0
1800.02/1800.51 c fracdiving : 0.22 27 0
1800.02/1800.51 c feaspump : 0.12 14 0
1800.02/1800.51 c objpscostdiving : 0.12 14 0
1800.02/1800.51 c rootsoldiving : 0.10 14 0
1800.02/1800.51 c veclendiving : 0.22 28 0
1800.02/1800.51 c linesearchdiving : 0.15 28 0
1800.02/1800.51 c coefdiving : 0.13 28 0
1800.02/1800.51 c trivial : 0.00 2 0
1800.02/1800.51 c simplerounding : 0.83 0 0
1800.02/1800.51 c zirounding : 1.43 1000 0
1800.02/1800.51 c rounding : 2.10 18418 0
1800.02/1800.51 c shifting : 4.39 5692 0
1800.02/1800.51 c intshifting : 0.14 0 0
1800.02/1800.51 c twoopt : 0.00 0 0
1800.02/1800.51 c fixandinfer : 0.00 0 0
1800.02/1800.51 c intdiving : 0.00 0 0
1800.02/1800.51 c actconsdiving : 0.00 0 0
1800.02/1800.51 c octane : 0.00 0 0
1800.02/1800.51 c rens : 0.04 1 0
1800.02/1800.51 c rins : 0.00 0 0
1800.02/1800.51 c localbranching : 0.00 0 0
1800.02/1800.51 c mutation : 0.00 0 0
1800.02/1800.51 c dins : 0.00 0 0
1800.02/1800.51 c undercover : 0.00 0 0
1800.02/1800.51 c nlp : 1.28 0 0
1800.02/1800.51 c trysol : 2.17 0 0
1800.02/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.51 c dual LP : 602.83 2535580 8224795 3.24 13643.64
1800.02/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.51 c diving/probing LP: 0.27 732 1676 2.29 6207.41
1800.02/1800.51 c strong branching : 1.12 2939 20055 6.82 17906.25
1800.02/1800.51 c (at root node) : - 9 312 34.67 -
1800.02/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.51 c B&B Tree :
1800.02/1800.51 c number of runs : 1
1800.02/1800.51 c nodes : 2709539
1800.02/1800.51 c nodes (total) : 2709539
1800.02/1800.51 c nodes left : 647145
1800.02/1800.51 c max depth : 54
1800.02/1800.51 c max depth (total): 54
1800.02/1800.51 c backtracks : 258073 (9.5%)
1800.02/1800.51 c delayed cutoffs : 5919
1800.02/1800.51 c repropagations : 2398447 (893438 domain reductions, 5559 cutoffs)
1800.02/1800.51 c avg switch length: 5.25
1800.02/1800.51 c switching time : 186.17
1800.02/1800.51 c Solution :
1800.02/1800.51 c Solutions found : 0 (0 improvements)
1800.02/1800.51 c Primal Bound : -
1800.02/1800.51 c Dual Bound : +0.00000000000000e+00
1800.02/1800.51 c Gap : infinite
1800.02/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.02/1800.51 c Root Iterations : 99
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665444-1276602423/watcher-2665444-1276602423 -o /tmp/evaluation-result-2665444-1276602423/solver-2665444-1276602423 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665444-1276602423.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.85 0.97 0.99 3/106 11129
/proc/meminfo: memFree=1537332/2059040 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=10316 CPUtime=0
/proc/11129/stat : 11129 (pbscip.linux.x8) R 11127 11129 11104 0 -1 4202496 1449 0 0 0 0 0 0 0 20 0 1 0 1537259 10563584 1370 1992294400 4194304 9819077 140736845117104 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11129/statm: 2579 1380 371 1374 0 1200 0
[startup+0.0127349 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 11129
/proc/meminfo: memFree=1537332/2059040 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=10556 CPUtime=0
/proc/11129/stat : 11129 (pbscip.linux.x8) R 11127 11129 11104 0 -1 4202496 1580 0 0 0 0 0 0 0 20 0 1 0 1537259 10809344 1501 1992294400 4194304 9819077 140736845117104 18446744073709551615 4333573 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11129/statm: 2639 1501 389 1374 0 1260 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10556
[startup+0.101743 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 11129
/proc/meminfo: memFree=1537332/2059040 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=21852 CPUtime=0.09
/proc/11129/stat : 11129 (pbscip.linux.x8) R 11127 11129 11104 0 -1 4202496 5054 0 0 0 7 2 0 0 20 0 1 0 1537259 22376448 3841 1992294400 4194304 9819077 140736845117104 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11129/statm: 5463 3841 676 1374 0 4084 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21852
[startup+0.301763 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 11129
/proc/meminfo: memFree=1537332/2059040 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=18220 CPUtime=0.3
/proc/11129/stat : 11129 (pbscip.linux.x8) R 11127 11129 11104 0 -1 4202496 9044 0 0 0 25 5 0 0 20 0 1 0 1537259 18657280 3341 1992294400 4194304 9819077 140736845117104 18446744073709551615 4333569 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11129/statm: 4555 3341 715 1374 0 3176 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 18220
[startup+0.701806 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 11129
/proc/meminfo: memFree=1537332/2059040 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=16492 CPUtime=0.69
/proc/11129/stat : 11129 (pbscip.linux.x8) R 11127 11129 11104 0 -1 4202496 16792 0 0 0 57 12 0 0 21 0 1 0 1537259 16887808 2668 1992294400 4194304 9819077 140736845117104 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11129/statm: 4123 2668 723 1374 0 2744 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16492
[startup+1.50189 s]
/proc/loadavg: 0.85 0.97 0.99 2/107 11130
/proc/meminfo: memFree=1528892/2059040 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=16056 CPUtime=1.49
/proc/11129/stat : 11129 (pbscip.linux.x8) R 11127 11129 11104 0 -1 4202496 23149 0 0 0 126 23 0 0 23 0 1 0 1537259 16441344 2747 1992294400 4194304 9819077 140736845117104 18446744073709551615 7816442 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11129/statm: 4014 2747 723 1374 0 2635 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16056
[startup+3.10107 s]
/proc/loadavg: 0.85 0.97 0.99 2/107 11130
/proc/meminfo: memFree=1528644/2059040 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=17748 CPUtime=3.09
/proc/11129/stat : 11129 (pbscip.linux.x8) R 11127 11129 11104 0 -1 4202496 38617 0 0 0 262 47 0 0 25 0 1 0 1537259 18173952 3126 1992294400 4194304 9819077 140736845117104 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11129/statm: 4437 3126 723 1374 0 3058 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17748
[startup+6.30141 s]
/proc/loadavg: 0.86 0.97 0.99 2/107 11130
/proc/meminfo: memFree=1525420/2059040 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=20252 CPUtime=6.29
/proc/11129/stat : 11129 (pbscip.linux.x8) R 11127 11129 11104 0 -1 4202496 71184 0 0 0 538 91 0 0 25 0 1 0 1537259 20738048 3751 1992294400 4194304 9819077 140736845117104 18446744073709551615 4948383 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11129/statm: 5063 3751 723 1374 0 3684 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20252
[startup+12.7011 s]
/proc/loadavg: 0.87 0.97 0.99 2/107 11130
/proc/meminfo: memFree=1522568/2059040 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=22476 CPUtime=12.69
/proc/11129/stat : 11129 (pbscip.linux.x8) R 11127 11129 11104 0 -1 4202496 134840 0 0 0 1092 177 0 0 25 0 1 0 1537259 23015424 4308 1992294400 4194304 9819077 140736845117104 18446744073709551615 8723754 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11129/statm: 5619 4309 723 1374 0 4240 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22476
[startup+25.5015 s]
/proc/loadavg: 0.90 0.97 0.99 2/107 11132
/proc/meminfo: memFree=1517484/2059040 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=27348 CPUtime=25.49
/proc/11129/stat : 11129 (pbscip.linux.x8) R 11127 11129 11104 0 -1 4202496 264334 0 0 0 2193 356 0 0 25 0 1 0 1537259 28004352 5572 1992294400 4194304 9819077 140736845117104 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11129/statm: 6837 5572 723 1374 0 5458 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 27348
[startup+51.1012 s]
/proc/loadavg: 0.93 0.97 0.99 2/107 11132
/proc/meminfo: memFree=1507688/2059040 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=37080 CPUtime=51.08
/proc/11129/stat : 11129 (pbscip.linux.x8) R 11127 11129 11104 0 -1 4202496 517860 0 0 0 4396 712 0 0 25 0 1 0 1537259 37969920 8058 1992294400 4194304 9819077 140736845117104 18446744073709551615 6583210 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11129/statm: 9190 8057 723 1374 0 7811 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 37080
[startup+102.309 s]
/proc/loadavg: 0.97 0.97 0.99 2/107 11134
/proc/meminfo: memFree=1488592/2059040 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=55432 CPUtime=102.28
/proc/11129/stat : 11129 (pbscip.linux.x8) R 11127 11129 11104 0 -1 4202496 1008730 0 0 0 8835 1393 0 0 25 0 1 0 1537259 56762368 12748 1992294400 4194304 9819077 140736845117104 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11129/statm: 13898 12749 723 1374 0 12519 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 55432
[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 11134
/proc/meminfo: memFree=1470240/2059040 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=76472 CPUtime=162.25
/proc/11129/stat : 11129 (pbscip.linux.x8) R 11127 11129 11104 0 -1 4202496 1573048 0 0 0 14030 2195 0 0 25 0 1 0 1537259 78307328 17542 1992294400 4194304 9819077 140736845117104 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11129/statm: 19118 17542 723 1374 0 17739 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 76472
[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 11136
/proc/meminfo: memFree=1448416/2059040 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=96948 CPUtime=222.23
/proc/11129/stat : 11129 (pbscip.linux.x8) R 11127 11129 11104 0 -1 4202496 2130844 0 0 0 19236 2987 0 0 25 0 1 0 1537259 99274752 22739 1992294400 4194304 9819077 140736845117104 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11129/statm: 24237 22739 723 1374 0 22858 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 96948
[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 11138
/proc/meminfo: memFree=1431056/2059040 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=113804 CPUtime=282.22
/proc/11129/stat : 11129 (pbscip.linux.x8) R 11127 11129 11104 0 -1 4202496 2683707 0 0 0 24453 3769 0 0 25 0 1 0 1537259 116535296 27036 1992294400 4194304 9819077 140736845117104 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11129/statm: 28451 27036 723 1374 0 27072 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 113804
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 11140
/proc/meminfo: memFree=1413572/2059040 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=130836 CPUtime=342.2
/proc/11129/stat : 11129 (pbscip.linux.x8) R 11127 11129 11104 0 -1 4202496 3236074 0 0 0 29657 4563 0 0 25 0 1 0 1537259 133976064 31381 1992294400 4194304 9819077 140736845117104 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11129/statm: 32709 31381 723 1374 0 31330 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 130836
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 11142
/proc/meminfo: memFree=1395964/2059040 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=148008 CPUtime=402.19
/proc/11129/stat : 11129 (pbscip.linux.x8) R 11127 11129 11104 0 -1 4202496 3772464 0 0 0 34891 5328 0 0 25 0 1 0 1537259 151560192 35744 1992294400 4194304 9819077 140736845117104 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11129/statm: 37002 35744 723 1374 0 35623 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 148008
[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 11142
/proc/meminfo: memFree=1378480/2059040 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=165060 CPUtime=462.17
/proc/11129/stat : 11129 (pbscip.linux.x8) R 11127 11129 11104 0 -1 4202496 4308457 0 0 0 40118 6099 0 0 25 0 1 0 1537259 169021440 40075 1992294400 4194304 9819077 140736845117104 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11129/statm: 41265 40075 723 1374 0 39886 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 165060
[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 11144
/proc/meminfo: memFree=1360748/2059040 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=186800 CPUtime=522.15
/proc/11129/stat : 11129 (pbscip.linux.x8) R 11127 11129 11104 0 -1 4202496 4846166 0 0 0 45357 6858 0 0 25 0 1 0 1537259 191283200 44573 1992294400 4194304 9819077 140736845117104 18446744073709551615 4983326 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11129/statm: 46700 44573 723 1374 0 45321 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 186800
[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 11146
/proc/meminfo: memFree=1342396/2059040 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=204348 CPUtime=582.14
/proc/11129/stat : 11129 (pbscip.linux.x8) R 11127 11129 11104 0 -1 4202496 5384661 0 0 0 50596 7618 0 0 25 0 1 0 1537259 209252352 49029 1992294400 4194304 9819077 140736845117104 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11129/statm: 51087 49029 723 1374 0 49708 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 204348
[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 11148
/proc/meminfo: memFree=1325780/2059040 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=220336 CPUtime=642.13
/proc/11129/stat : 11129 (pbscip.linux.x8) R 11127 11129 11104 0 -1 4202496 5914539 0 0 0 55854 8359 0 0 25 0 1 0 1537259 225624064 53149 1992294400 4194304 9819077 140736845117104 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11129/statm: 55084 53149 723 1374 0 53705 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 220336
[startup+702.302 s]
################
# More data... #
################
/proc/11129/stat : 11129 (pbscip.linux.x8) R 11127 11129 11104 0 -1 4202496 9604412 0 0 0 92608 13593 0 0 25 0 1 0 1537259 342523904 82147 1992294400 4194304 9819077 140736845117104 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11129/statm: 83624 82147 723 1374 0 82245 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 334496
[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 11169
/proc/meminfo: memFree=1190124/2059040 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=352648 CPUtime=1121.99
/proc/11129/stat : 11129 (pbscip.linux.x8) R 11127 11129 11104 0 -1 4202496 10135301 0 0 0 97851 14348 0 0 25 0 1 0 1537259 361111552 86792 1992294400 4194304 9819077 140736845117104 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11129/statm: 88162 86792 723 1374 0 86783 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 352648
[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 11171
/proc/meminfo: memFree=1175988/2059040 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=367540 CPUtime=1181.97
/proc/11129/stat : 11129 (pbscip.linux.x8) R 11127 11129 11104 0 -1 4202496 10654975 0 0 0 103113 15084 0 0 25 0 1 0 1537259 376360960 90509 1992294400 4194304 9819077 140736845117104 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11129/statm: 91885 90509 723 1374 0 90506 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 367540
[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 11173
/proc/meminfo: memFree=1163464/2059040 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=386904 CPUtime=1241.95
/proc/11129/stat : 11129 (pbscip.linux.x8) R 11127 11129 11104 0 -1 4202496 11179411 0 0 0 108375 15820 0 0 25 0 1 0 1537259 396189696 93402 1992294400 4194304 9819077 140736845117104 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11129/statm: 96726 93402 723 1374 0 95347 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 386904
[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 11175
/proc/meminfo: memFree=1145856/2059040 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=403668 CPUtime=1301.95
/proc/11129/stat : 11129 (pbscip.linux.x8) R 11127 11129 11104 0 -1 4202496 11693868 0 0 0 113630 16565 0 0 25 0 1 0 1537259 413356032 97710 1992294400 4194304 9819077 140736845117104 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11129/statm: 100917 97710 723 1374 0 99538 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 403668
[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 11175
/proc/meminfo: memFree=1128992/2059040 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=420232 CPUtime=1361.92
/proc/11129/stat : 11129 (pbscip.linux.x8) R 11127 11129 11104 0 -1 4202496 12217158 0 0 0 118890 17302 0 0 25 0 1 0 1537259 430317568 101945 1992294400 4194304 9819077 140736845117104 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11129/statm: 105058 101945 723 1374 0 103679 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 420232
[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 11177
/proc/meminfo: memFree=1115600/2059040 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=433672 CPUtime=1421.92
/proc/11129/stat : 11129 (pbscip.linux.x8) R 11127 11129 11104 0 -1 4202496 12730441 0 0 0 124159 18033 0 0 25 0 1 0 1537259 444080128 105253 1992294400 4194304 9819077 140736845117104 18446744073709551615 6513008 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11129/statm: 108418 105253 723 1374 0 107039 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 433672
[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 11179
/proc/meminfo: memFree=1100100/2059040 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=448632 CPUtime=1481.89
/proc/11129/stat : 11129 (pbscip.linux.x8) R 11127 11129 11104 0 -1 4202496 13251396 0 0 0 129413 18776 0 0 25 0 1 0 1537259 459399168 109094 1992294400 4194304 9819077 140736845117104 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11129/statm: 112158 109094 723 1374 0 110779 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 448632
[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 11181
/proc/meminfo: memFree=1082492/2059040 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=465652 CPUtime=1541.88
/proc/11129/stat : 11129 (pbscip.linux.x8) R 11127 11129 11104 0 -1 4202496 13776208 0 0 0 134675 19513 0 0 25 0 1 0 1537259 476827648 113462 1992294400 4194304 9819077 140736845117104 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11129/statm: 116413 113462 723 1374 0 115034 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 465652
[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 11183
/proc/meminfo: memFree=1067364/2059040 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=480320 CPUtime=1601.86
/proc/11129/stat : 11129 (pbscip.linux.x8) R 11127 11129 11104 0 -1 4202496 14290128 0 0 0 139953 20233 0 0 25 0 1 0 1537259 491847680 117250 1992294400 4194304 9819077 140736845117104 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11129/statm: 120080 117250 723 1374 0 118701 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 480320
[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 11183
/proc/meminfo: memFree=1051120/2059040 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=495952 CPUtime=1661.84
/proc/11129/stat : 11129 (pbscip.linux.x8) R 11127 11129 11104 0 -1 4202496 14812136 0 0 0 145205 20979 0 0 25 0 1 0 1537259 507854848 121273 1992294400 4194304 9819077 140736845117104 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11129/statm: 123988 121273 723 1374 0 122609 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 495952
[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 11185
/proc/meminfo: memFree=1032768/2059040 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=514152 CPUtime=1721.83
/proc/11129/stat : 11129 (pbscip.linux.x8) R 11127 11129 11104 0 -1 4202496 15322499 0 0 0 150477 21706 0 0 25 0 1 0 1537259 526491648 125790 1992294400 4194304 9819077 140736845117104 18446744073709551615 8655588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11129/statm: 128578 125791 723 1374 0 127199 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 514152
[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 11187
/proc/meminfo: memFree=1016648/2059040 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=529244 CPUtime=1781.81
/proc/11129/stat : 11129 (pbscip.linux.x8) R 11127 11129 11104 0 -1 4202496 15839216 0 0 0 155750 22431 0 0 25 0 1 0 1537259 541945856 129777 1992294400 4194304 9819077 140736845117104 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11129/statm: 132431 129780 723 1374 0 131052 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 529244
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 11187
/proc/meminfo: memFree=1011440/2059040 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=534844 CPUtime=1800.02
/proc/11129/stat : 11129 (pbscip.linux.x8) R 11127 11129 11104 0 -1 4202496 15999027 0 0 0 157350 22652 0 0 25 0 1 0 1537259 547680256 131058 1992294400 4194304 9819077 140736845117104 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11129/statm: 133711 131058 723 1374 0 132332 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 534844
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -11129
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 0.99 0.97 0.99 2/108 11188
/proc/meminfo: memFree=1011432/2059040 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=534844 CPUtime=1800.91
/proc/11129/stat : 11129 (pbscip.linux.x8) R 11127 11129 11104 0 -1 4202496 15999038 0 0 0 157439 22652 0 0 25 0 1 0 1537259 547680256 131059 1992294400 4194304 9819077 140736845117104 18446744073709551615 6180095 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11129/statm: 133711 131059 724 1374 0 132332 0
Current children cumulated CPU time (s) 1800.91
Current children cumulated vsize (KiB) 534844
[startup+1802.2 s]
/proc/loadavg: 0.99 0.97 0.99 2/108 11188
/proc/meminfo: memFree=1011308/2059040 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=534844 CPUtime=1801.71
/proc/11129/stat : 11129 (pbscip.linux.x8) R 11127 11129 11104 0 -1 4202496 15999038 0 0 0 157519 22652 0 0 25 0 1 0 1537259 547680256 131059 1992294400 4194304 9819077 140736845117104 18446744073709551615 6180095 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11129/statm: 133711 131059 724 1374 0 132332 0
Current children cumulated CPU time (s) 1801.71
Current children cumulated vsize (KiB) 534844
[startup+1802.4 s]
/proc/loadavg: 0.99 0.97 0.99 2/108 11188
/proc/meminfo: memFree=1011308/2059040 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=534844 CPUtime=1801.91
/proc/11129/stat : 11129 (pbscip.linux.x8) R 11127 11129 11104 0 -1 4202496 15999038 0 0 0 157539 22652 0 0 25 0 1 0 1537259 547680256 131059 1992294400 4194304 9819077 140736845117104 18446744073709551615 6180095 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11129/statm: 133711 131059 724 1374 0 132332 0
Current children cumulated CPU time (s) 1801.91
Current children cumulated vsize (KiB) 534844
[startup+1802.5 s]
/proc/loadavg: 0.99 0.97 0.99 2/108 11188
/proc/meminfo: memFree=1011308/2059040 swapFree=4192956/4192956
[pid=11129] ppid=11127 vsize=534844 CPUtime=1802.01
/proc/11129/stat : 11129 (pbscip.linux.x8) R 11127 11129 11104 0 -1 4202496 15999038 0 0 0 157549 22652 0 0 25 0 1 0 1537259 547680256 131059 1992294400 4194304 9819077 140736845117104 18446744073709551615 4212183 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11129/statm: 133711 131059 724 1374 0 132332 0
Current children cumulated CPU time (s) 1802.01
Current children cumulated vsize (KiB) 534844
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.56
CPU time (s): 1802.08
CPU user time (s): 1575.5
CPU system time (s): 226.575
CPU usage (%): 99.9732
Max. virtual memory (cumulated for all children) (KiB): 534844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1575.5
system time used= 226.575
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15999038
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 1311
runsolver used 2.97155 second user time and 8.5317 second system time
The end