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-2665448-1276614909.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.01 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 | 29 | - | 273k| 0 | 6 | 50 | 6 | 50 | 6 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.12 c 0.1s| 1 | 0 | 33 | - | 329k| 0 | 9 | 50 | 18 | 50 | 13 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.13 c 0.1s| 1 | 0 | 40 | - | 369k| 0 | 13 | 50 | 18 | 50 | 19 | 13 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.14 c 0.1s| 1 | 0 | 48 | - | 403k| 0 | 17 | 50 | 18 | 50 | 23 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.15 c 0.1s| 1 | 0 | 61 | - | 428k| 0 | 21 | 50 | 18 | 50 | 27 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.16 c 0.1s| 1 | 0 | 80 | - | 439k| 0 | 17 | 50 | 18 | 50 | 29 | 23 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.18 c 0.2s| 1 | 0 | 98 | - | 459k| 0 | 19 | 50 | 18 | 50 | 33 | 27 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.27 c 0.2s| 1 | 2 | 98 | - | 460k| 0 | 19 | 50 | 18 | 50 | 33 | 27 | 0 | 9 | 0.000000e+00 | -- | Inf
5.99/6.09 c 5.2s| 10000 | 3008 | 28054 | 2.8 |3646k| 42 | - | 50 |2689 | 50 | 22 | 27 |4071 | 487 | 0.000000e+00 | -- | Inf
11.68/11.79 c 10.2s| 20000 | 5398 | 54399 | 2.7 |5248k| 43 | 6 | 50 |1911 | 50 | 22 | 27 |8532 | 607 | 0.000000e+00 | -- | Inf
17.18/17.26 c 14.9s| 30000 | 8030 | 80484 | 2.7 |7095k| 44 | 6 | 50 |1963 | 50 | 22 | 27 | 12k| 673 | 0.000000e+00 | -- | Inf
22.79/22.84 c 19.7s| 40000 | 10323 |106169 | 2.7 |8931k| 44 | 6 | 50 |2360 | 50 | 22 | 27 | 17k| 747 | 0.000000e+00 | -- | Inf
28.39/28.49 c 24.6s| 50000 | 12488 |131936 | 2.6 | 10M| 44 | - | 50 |2395 | 50 | 22 | 27 | 21k| 812 | 0.000000e+00 | -- | Inf
34.09/34.15 c 29.6s| 60000 | 14673 |157378 | 2.6 | 12M| 44 | 6 | 50 |2568 | 50 | 22 | 27 | 26k| 870 | 0.000000e+00 | -- | Inf
39.88/39.98 c 34.6s| 70000 | 16655 |182200 | 2.6 | 14M| 44 | - | 50 |2632 | 50 | 22 | 27 | 30k| 927 | 0.000000e+00 | -- | Inf
45.68/45.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
45.68/45.77 c 39.7s| 80000 | 18717 |207780 | 2.6 | 15M| 44 | 6 | 50 |2832 | 50 | 22 | 27 | 34k| 998 | 0.000000e+00 | -- | Inf
51.48/51.56 c 44.7s| 90000 | 20840 |234369 | 2.6 | 17M| 44 | - | 50 |2707 | 50 | 22 | 27 | 39k|1033 | 0.000000e+00 | -- | Inf
57.18/57.23 c 49.6s|100000 | 23163 |259201 | 2.6 | 19M| 44 | 6 | 50 |3146 | 50 | 22 | 27 | 43k|1068 | 0.000000e+00 | -- | Inf
62.97/63.06 c 54.7s|110000 | 25475 |284719 | 2.6 | 20M| 44 | - | 50 |3128 | 50 | 22 | 27 | 47k|1102 | 0.000000e+00 | -- | Inf
68.97/69.06 c 59.9s|120000 | 27383 |309822 | 2.6 | 22M| 44 | - | 50 |2928 | 0 | 0 | 27 | 52k|1144 | 0.000000e+00 | -- | Inf
74.87/74.96 c 65.0s|130000 | 29400 |335537 | 2.6 | 23M| 44 | - | 50 |3041 | 50 | 22 | 27 | 56k|1181 | 0.000000e+00 | -- | Inf
80.87/80.99 c 70.2s|140000 | 31311 |361366 | 2.6 | 25M| 44 | - | 50 |3204 | 0 | 0 | 27 | 60k|1240 | 0.000000e+00 | -- | Inf
87.07/87.13 c 75.7s|150000 | 33224 |387031 | 2.6 | 27M| 44 | 6 | 50 |3282 | 50 | 22 | 27 | 65k|1281 | 0.000000e+00 | -- | Inf
93.06/93.15 c 80.9s|160000 | 35274 |412305 | 2.6 | 28M| 44 | - | 50 |3434 | 0 | 0 | 27 | 69k|1306 | 0.000000e+00 | -- | Inf
99.26/99.38 c 86.4s|170000 | 37100 |437705 | 2.6 | 30M| 44 | 6 | 50 |3032 | 50 | 22 | 27 | 74k|1345 | 0.000000e+00 | -- | Inf
105.36/105.47 c 91.7s|180000 | 38931 |462738 | 2.6 | 31M| 44 | - | 50 |3106 | 0 | 0 | 27 | 78k|1377 | 0.000000e+00 | -- | Inf
111.36/111.46 c 96.9s|190000 | 40955 |487839 | 2.6 | 33M| 44 | 6 | 50 |3574 | 50 | 22 | 27 | 83k|1400 | 0.000000e+00 | -- | Inf
117.56/117.63 c 102s|200000 | 42784 |512426 | 2.6 | 35M| 44 | 6 | 50 |3037 | 50 | 22 | 27 | 87k|1426 | 0.000000e+00 | -- | Inf
123.66/123.78 c 108s|210000 | 44562 |537570 | 2.6 | 36M| 44 | 6 | 50 |3137 | 50 | 22 | 27 | 92k|1449 | 0.000000e+00 | -- | Inf
129.85/129.90 c 113s|220000 | 46510 |562535 | 2.6 | 38M| 44 | 6 | 50 |3642 | 50 | 22 | 27 | 96k|1472 | 0.000000e+00 | -- | Inf
135.85/135.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
135.85/135.98 c 118s|230000 | 48508 |587653 | 2.6 | 39M| 44 | 6 | 50 |3620 | 50 | 22 | 27 | 101k|1496 | 0.000000e+00 | -- | Inf
142.15/142.22 c 124s|240000 | 50578 |611389 | 2.5 | 41M| 44 | 6 | 50 |4031 | 50 | 22 | 27 | 105k|1520 | 0.000000e+00 | -- | Inf
148.46/148.53 c 129s|250000 | 52531 |635843 | 2.5 | 43M| 44 | - | 50 |3639 | 50 | 22 | 27 | 109k|1553 | 0.000000e+00 | -- | Inf
154.55/154.64 c 135s|260000 | 54621 |660003 | 2.5 | 44M| 44 | 6 | 50 |4035 | 50 | 22 | 27 | 114k|1579 | 0.000000e+00 | -- | Inf
160.84/160.98 c 140s|270000 | 56483 |683641 | 2.5 | 46M| 44 | 6 | 50 |3670 | 50 | 22 | 27 | 118k|1597 | 0.000000e+00 | -- | Inf
167.05/167.17 c 146s|280000 | 58314 |708072 | 2.5 | 47M| 44 | 6 | 50 |3965 | 50 | 22 | 27 | 122k|1625 | 0.000000e+00 | -- | Inf
173.44/173.57 c 152s|290000 | 60241 |733341 | 2.5 | 49M| 44 | - | 50 |3828 | 50 | 22 | 27 | 127k|1646 | 0.000000e+00 | -- | Inf
179.74/179.84 c 157s|300000 | 62161 |758181 | 2.5 | 50M| 44 | - | 50 |4046 | 50 | 22 | 27 | 131k|1670 | 0.000000e+00 | -- | Inf
186.24/186.33 c 163s|310000 | 63871 |782039 | 2.5 | 52M| 44 | 6 | 50 |3996 | 50 | 22 | 27 | 136k|1693 | 0.000000e+00 | -- | Inf
192.63/192.74 c 168s|320000 | 65746 |807081 | 2.5 | 53M| 44 | 6 | 50 |4091 | 50 | 22 | 27 | 140k|1708 | 0.000000e+00 | -- | Inf
199.14/199.23 c 174s|330000 | 67477 |832045 | 2.5 | 55M| 44 | - | 50 |3330 | 50 | 22 | 27 | 144k|1727 | 0.000000e+00 | -- | Inf
205.13/205.27 c 179s|340000 | 69403 |856252 | 2.5 | 57M| 44 | 6 | 50 |4152 | 50 | 22 | 27 | 148k|1741 | 0.000000e+00 | -- | Inf
211.43/211.58 c 185s|350000 | 71394 |880469 | 2.5 | 58M| 44 | 6 | 50 |4312 | 50 | 22 | 27 | 153k|1762 | 0.000000e+00 | -- | Inf
217.74/217.84 c 191s|360000 | 73414 |904690 | 2.5 | 60M| 44 | - | 50 |4430 | 0 | 0 | 27 | 157k|1782 | 0.000000e+00 | -- | Inf
224.13/224.25 c 196s|370000 | 75090 |928908 | 2.5 | 61M| 44 | - | 50 |3974 | 50 | 22 | 27 | 161k|1797 | 0.000000e+00 | -- | Inf
230.43/230.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
230.43/230.57 c 202s|380000 | 76913 |952717 | 2.5 | 62M| 44 | - | 50 |3591 | 50 | 22 | 27 | 166k|1819 | 0.000000e+00 | -- | Inf
236.82/236.99 c 207s|390000 | 78652 |977050 | 2.5 | 64M| 44 | 6 | 50 |3627 | 50 | 22 | 27 | 170k|1844 | 0.000000e+00 | -- | Inf
243.12/243.28 c 213s|400000 | 80510 | 1000k| 2.5 | 66M| 44 | 6 | 50 |3785 | 50 | 22 | 27 | 174k|1863 | 0.000000e+00 | -- | Inf
249.53/249.63 c 218s|410000 | 82268 | 1024k| 2.5 | 67M| 44 | - | 50 |4264 | 50 | 22 | 27 | 178k|1878 | 0.000000e+00 | -- | Inf
255.92/256.04 c 224s|420000 | 84424 | 1049k| 2.5 | 69M| 44 | 6 | 50 |4170 | 50 | 22 | 27 | 182k|1901 | 0.000000e+00 | -- | Inf
262.21/262.39 c 230s|430000 | 86265 | 1072k| 2.5 | 70M| 44 | - | 50 |4494 | 50 | 22 | 27 | 187k|1915 | 0.000000e+00 | -- | Inf
268.91/269.09 c 236s|440000 | 87915 | 1096k| 2.5 | 71M| 44 | - | 50 |3764 | 50 | 22 | 27 | 191k|1934 | 0.000000e+00 | -- | Inf
275.41/275.54 c 241s|450000 | 89524 | 1119k| 2.5 | 73M| 44 | 6 | 50 |4105 | 50 | 22 | 27 | 195k|1948 | 0.000000e+00 | -- | Inf
282.01/282.15 c 247s|460000 | 91133 | 1143k| 2.5 | 74M| 44 | 6 | 50 |3831 | 50 | 22 | 27 | 200k|1969 | 0.000000e+00 | -- | Inf
288.41/288.59 c 253s|470000 | 92928 | 1166k| 2.5 | 76M| 44 | - | 50 |3986 | 50 | 22 | 27 | 204k|1985 | 0.000000e+00 | -- | Inf
294.62/294.73 c 258s|480000 | 95302 | 1191k| 2.5 | 77M| 44 | - | 50 |4481 | 50 | 22 | 27 | 208k|1998 | 0.000000e+00 | -- | Inf
300.71/300.88 c 264s|490000 | 97737 | 1216k| 2.5 | 79M| 44 | - | 50 |4947 | 50 | 22 | 27 | 212k|2014 | 0.000000e+00 | -- | Inf
307.41/307.55 c 270s|500000 | 99960 | 1239k| 2.5 | 81M| 44 | 6 | 50 |4017 | 50 | 22 | 27 | 216k|2031 | 0.000000e+00 | -- | Inf
313.90/314.02 c 275s|510000 |102003 | 1264k| 2.5 | 82M| 44 | 6 | 50 |4393 | 50 | 22 | 27 | 220k|2046 | 0.000000e+00 | -- | Inf
320.40/320.56 c 281s|520000 |103726 | 1287k| 2.5 | 84M| 44 | 6 | 50 |4166 | 50 | 22 | 27 | 224k|2056 | 0.000000e+00 | -- | Inf
326.61/326.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
326.61/326.79 c 287s|530000 |106153 | 1312k| 2.5 | 85M| 44 | - | 50 |4473 | 50 | 22 | 27 | 228k|2071 | 0.000000e+00 | -- | Inf
333.11/333.26 c 292s|540000 |108368 | 1336k| 2.5 | 87M| 44 | - | 50 |4886 | 0 | 0 | 27 | 232k|2091 | 0.000000e+00 | -- | Inf
340.20/340.33 c 299s|550000 |109928 | 1359k| 2.5 | 88M| 44 | 6 | 50 |4514 | 50 | 22 | 27 | 236k|2112 | 0.000000e+00 | -- | Inf
346.99/347.16 c 305s|560000 |111465 | 1382k| 2.5 | 90M| 44 | 6 | 50 |3919 | 50 | 22 | 27 | 241k|2127 | 0.000000e+00 | -- | Inf
353.60/353.77 c 311s|570000 |113155 | 1406k| 2.5 | 91M| 44 | 6 | 50 |3906 | 50 | 22 | 27 | 245k|2143 | 0.000000e+00 | -- | Inf
359.89/360.09 c 316s|580000 |115116 | 1429k| 2.5 | 93M| 44 | - | 50 |4676 | 50 | 22 | 27 | 249k|2157 | 0.000000e+00 | -- | Inf
366.69/366.83 c 322s|590000 |117010 | 1453k| 2.5 | 94M| 44 | - | 50 |4321 | 50 | 22 | 27 | 253k|2176 | 0.000000e+00 | -- | Inf
373.29/373.43 c 328s|600000 |118733 | 1477k| 2.5 | 95M| 44 | - | 50 |3760 | 50 | 22 | 27 | 257k|2192 | 0.000000e+00 | -- | Inf
379.58/379.79 c 334s|610000 |120533 | 1500k| 2.5 | 97M| 44 | - | 50 |3505 | 50 | 22 | 27 | 262k|2209 | 0.000000e+00 | -- | Inf
385.89/386.07 c 339s|620000 |122191 | 1523k| 2.5 | 98M| 44 | 6 | 50 |3606 | 50 | 22 | 27 | 266k|2232 | 0.000000e+00 | -- | Inf
392.39/392.58 c 345s|630000 |123862 | 1546k| 2.5 | 100M| 44 | 6 | 50 |3986 | 50 | 22 | 27 | 270k|2244 | 0.000000e+00 | -- | Inf
398.48/398.68 c 350s|640000 |125935 | 1571k| 2.5 | 102M| 44 | 6 | 50 |4817 | 50 | 22 | 27 | 274k|2260 | 0.000000e+00 | -- | Inf
405.37/405.53 c 356s|650000 |127749 | 1594k| 2.5 | 103M| 44 | - | 50 |3866 | 50 | 22 | 27 | 278k|2276 | 0.000000e+00 | -- | Inf
411.48/411.63 c 362s|660000 |130026 | 1618k| 2.5 | 105M| 44 | 6 | 50 |4380 | 50 | 22 | 27 | 282k|2293 | 0.000000e+00 | -- | Inf
417.78/417.98 c 367s|670000 |132003 | 1640k| 2.4 | 106M| 45 | 6 | 50 |4442 | 50 | 22 | 27 | 286k|2306 | 0.000000e+00 | -- | Inf
424.27/424.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
424.27/424.45 c 373s|680000 |133850 | 1664k| 2.4 | 107M| 45 | - | 50 |4461 | 50 | 22 | 27 | 290k|2320 | 0.000000e+00 | -- | Inf
430.87/431.00 c 379s|690000 |135920 | 1688k| 2.4 | 109M| 45 | 6 | 50 |4264 | 50 | 22 | 27 | 294k|2342 | 0.000000e+00 | -- | Inf
437.68/437.81 c 385s|700000 |137554 | 1711k| 2.4 | 110M| 45 | - | 50 |3500 | 50 | 22 | 27 | 298k|2356 | 0.000000e+00 | -- | Inf
443.66/443.89 c 390s|710000 |139467 | 1735k| 2.4 | 112M| 45 | - | 50 |4263 | 50 | 22 | 27 | 302k|2366 | 0.000000e+00 | -- | Inf
450.26/450.48 c 396s|720000 |141228 | 1758k| 2.4 | 113M| 45 | - | 50 |4055 | 50 | 22 | 27 | 307k|2379 | 0.000000e+00 | -- | Inf
457.06/457.22 c 402s|730000 |142826 | 1782k| 2.4 | 115M| 45 | 6 | 50 |3780 | 50 | 22 | 27 | 311k|2399 | 0.000000e+00 | -- | Inf
463.46/463.69 c 408s|740000 |144680 | 1805k| 2.4 | 116M| 45 | - | 50 |4179 | 50 | 22 | 27 | 315k|2417 | 0.000000e+00 | -- | Inf
469.86/470.05 c 413s|750000 |146711 | 1829k| 2.4 | 118M| 45 | 6 | 50 |4734 | 50 | 22 | 27 | 319k|2429 | 0.000000e+00 | -- | Inf
476.45/476.66 c 419s|760000 |148675 | 1852k| 2.4 | 119M| 45 | 6 | 50 |4341 | 50 | 22 | 27 | 323k|2444 | 0.000000e+00 | -- | Inf
483.36/483.52 c 425s|770000 |150381 | 1875k| 2.4 | 121M| 45 | 6 | 50 |4091 | 50 | 22 | 27 | 327k|2462 | 0.000000e+00 | -- | Inf
490.05/490.25 c 431s|780000 |152135 | 1899k| 2.4 | 122M| 45 | 6 | 50 |3798 | 50 | 22 | 27 | 331k|2483 | 0.000000e+00 | -- | Inf
496.65/496.85 c 437s|790000 |153799 | 1923k| 2.4 | 124M| 45 | 6 | 50 |3672 | 50 | 22 | 27 | 335k|2497 | 0.000000e+00 | -- | Inf
503.15/503.31 c 442s|800000 |155417 | 1946k| 2.4 | 125M| 45 | 6 | 50 |3849 | 50 | 22 | 27 | 339k|2513 | 0.000000e+00 | -- | Inf
509.85/510.00 c 448s|810000 |157093 | 1969k| 2.4 | 126M| 45 | - | 50 |3491 | 50 | 22 | 27 | 344k|2525 | 0.000000e+00 | -- | Inf
516.05/516.24 c 454s|820000 |159082 | 1993k| 2.4 | 128M| 45 | 6 | 50 |4399 | 50 | 22 | 27 | 348k|2539 | 0.000000e+00 | -- | Inf
522.65/522.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
522.65/522.87 c 460s|830000 |160964 | 2017k| 2.4 | 130M| 45 | 6 | 50 |4445 | 50 | 22 | 27 | 352k|2558 | 0.000000e+00 | -- | Inf
529.64/529.84 c 466s|840000 |162477 | 2040k| 2.4 | 131M| 45 | - | 50 |4239 | 0 | 0 | 27 | 356k|2576 | 0.000000e+00 | -- | Inf
536.24/536.44 c 472s|850000 |164438 | 2064k| 2.4 | 132M| 45 | 6 | 50 |4535 | 50 | 22 | 27 | 360k|2591 | 0.000000e+00 | -- | Inf
542.64/542.81 c 477s|860000 |166188 | 2087k| 2.4 | 134M| 45 | - | 50 |4380 | 50 | 22 | 27 | 364k|2609 | 0.000000e+00 | -- | Inf
549.13/549.39 c 483s|870000 |167980 | 2111k| 2.4 | 135M| 45 | 6 | 50 |4112 | 50 | 22 | 27 | 368k|2626 | 0.000000e+00 | -- | Inf
555.53/555.72 c 489s|880000 |169860 | 2133k| 2.4 | 137M| 45 | 6 | 50 |4627 | 50 | 22 | 27 | 372k|2640 | 0.000000e+00 | -- | Inf
562.23/562.49 c 495s|890000 |171460 | 2157k| 2.4 | 138M| 45 | - | 50 |4230 | 0 | 0 | 27 | 376k|2652 | 0.000000e+00 | -- | Inf
568.93/569.13 c 501s|900000 |173111 | 2180k| 2.4 | 140M| 45 | 6 | 50 |4480 | 50 | 22 | 27 | 380k|2667 | 0.000000e+00 | -- | Inf
575.93/576.13 c 507s|910000 |174701 | 2204k| 2.4 | 141M| 45 | 6 | 50 |3887 | 50 | 22 | 27 | 384k|2686 | 0.000000e+00 | -- | Inf
582.52/582.70 c 513s|920000 |176355 | 2228k| 2.4 | 142M| 45 | 6 | 50 |3976 | 50 | 22 | 27 | 389k|2698 | 0.000000e+00 | -- | Inf
589.13/589.37 c 519s|930000 |177907 | 2251k| 2.4 | 143M| 45 | 6 | 50 |3789 | 50 | 22 | 27 | 393k|2717 | 0.000000e+00 | -- | Inf
595.73/595.92 c 524s|940000 |179550 | 2275k| 2.4 | 145M| 45 | 6 | 50 |3764 | 50 | 22 | 27 | 397k|2733 | 0.000000e+00 | -- | Inf
602.22/602.43 c 530s|950000 |181215 | 2298k| 2.4 | 146M| 45 | - | 50 |4025 | 50 | 22 | 27 | 401k|2746 | 0.000000e+00 | -- | Inf
608.82/609.02 c 536s|960000 |182759 | 2322k| 2.4 | 148M| 45 | 6 | 50 |4110 | 50 | 22 | 27 | 405k|2758 | 0.000000e+00 | -- | Inf
615.42/615.70 c 542s|970000 |184550 | 2346k| 2.4 | 149M| 45 | - | 50 |4302 | 50 | 22 | 27 | 409k|2770 | 0.000000e+00 | -- | Inf
622.01/622.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
622.01/622.29 c 548s|980000 |186267 | 2370k| 2.4 | 151M| 45 | - | 50 |4732 | 50 | 22 | 27 | 414k|2785 | 0.000000e+00 | -- | Inf
629.11/629.34 c 554s|990000 |187702 | 2393k| 2.4 | 152M| 45 | 6 | 50 |4079 | 50 | 22 | 27 | 418k|2799 | 0.000000e+00 | -- | Inf
635.72/635.99 c 560s| 1000k|189285 | 2416k| 2.4 | 153M| 45 | - | 50 |4245 | 50 | 22 | 27 | 422k|2811 | 0.000000e+00 | -- | Inf
642.51/642.78 c 566s| 1010k|190991 | 2438k| 2.4 | 155M| 45 | 6 | 50 |4524 | 50 | 22 | 27 | 426k|2824 | 0.000000e+00 | -- | Inf
649.51/649.78 c 572s| 1020k|192590 | 2462k| 2.4 | 156M| 45 | 6 | 50 |4050 | 50 | 22 | 27 | 431k|2839 | 0.000000e+00 | -- | Inf
656.11/656.35 c 578s| 1030k|194241 | 2485k| 2.4 | 158M| 45 | 6 | 50 |4109 | 50 | 22 | 27 | 435k|2854 | 0.000000e+00 | -- | Inf
662.50/662.76 c 584s| 1040k|196072 | 2509k| 2.4 | 159M| 45 | 6 | 50 |4499 | 50 | 22 | 27 | 439k|2863 | 0.000000e+00 | -- | Inf
668.90/669.18 c 589s| 1050k|197775 | 2532k| 2.4 | 161M| 45 | 6 | 50 |5518 | 50 | 22 | 27 | 443k|2879 | 0.000000e+00 | -- | Inf
675.60/675.84 c 595s| 1060k|199668 | 2555k| 2.4 | 162M| 45 | - | 50 |5621 | 50 | 22 | 27 | 447k|2892 | 0.000000e+00 | -- | Inf
682.40/682.62 c 601s| 1070k|201610 | 2578k| 2.4 | 164M| 45 | - | 50 |5464 | 50 | 22 | 27 | 451k|2905 | 0.000000e+00 | -- | Inf
689.70/689.98 c 608s| 1080k|203042 | 2601k| 2.4 | 165M| 45 | - | 50 |4621 | 0 | 0 | 27 | 455k|2915 | 0.000000e+00 | -- | Inf
696.59/696.89 c 614s| 1090k|204498 | 2624k| 2.4 | 166M| 45 | 6 | 50 |4366 | 50 | 22 | 27 | 460k|2928 | 0.000000e+00 | -- | Inf
703.40/703.60 c 620s| 1100k|206140 | 2647k| 2.4 | 168M| 45 | 6 | 50 |4430 | 50 | 22 | 27 | 464k|2939 | 0.000000e+00 | -- | Inf
710.20/710.41 c 626s| 1110k|207717 | 2670k| 2.4 | 169M| 45 | 6 | 50 |4394 | 50 | 22 | 27 | 468k|2953 | 0.000000e+00 | -- | Inf
716.39/716.65 c 631s| 1120k|209779 | 2693k| 2.4 | 171M| 45 | - | 50 |5344 | 0 | 0 | 27 | 472k|2967 | 0.000000e+00 | -- | Inf
723.60/723.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
723.60/723.87 c 638s| 1130k|211547 | 2717k| 2.4 | 172M| 45 | 6 | 50 |5071 | 50 | 22 | 27 | 476k|2981 | 0.000000e+00 | -- | Inf
730.49/730.78 c 644s| 1140k|213246 | 2740k| 2.4 | 174M| 45 | 6 | 50 |4513 | 50 | 22 | 27 | 480k|2990 | 0.000000e+00 | -- | Inf
737.29/737.54 c 650s| 1150k|215091 | 2764k| 2.4 | 175M| 45 | 6 | 50 |4415 | 50 | 22 | 27 | 484k|3000 | 0.000000e+00 | -- | Inf
743.88/744.18 c 656s| 1160k|216882 | 2788k| 2.4 | 176M| 45 | 6 | 50 |4496 | 50 | 22 | 27 | 488k|3013 | 0.000000e+00 | -- | Inf
750.68/750.92 c 662s| 1170k|218692 | 2811k| 2.4 | 178M| 45 | 6 | 50 |4967 | 50 | 22 | 27 | 493k|3027 | 0.000000e+00 | -- | Inf
757.28/757.55 c 668s| 1180k|220482 | 2835k| 2.4 | 179M| 45 | - | 50 |5166 | 50 | 22 | 27 | 497k|3040 | 0.000000e+00 | -- | Inf
764.19/764.50 c 674s| 1190k|222207 | 2858k| 2.4 | 181M| 45 | - | 50 |5079 | 0 | 0 | 27 | 501k|3052 | 0.000000e+00 | -- | Inf
770.97/771.26 c 680s| 1200k|223882 | 2881k| 2.4 | 182M| 45 | 6 | 50 |4884 | 50 | 22 | 27 | 505k|3064 | 0.000000e+00 | -- | Inf
778.08/778.36 c 686s| 1210k|225458 | 2905k| 2.4 | 183M| 45 | 6 | 50 |4313 | 50 | 22 | 27 | 509k|3080 | 0.000000e+00 | -- | Inf
784.97/785.23 c 693s| 1220k|227093 | 2928k| 2.4 | 185M| 45 | 6 | 50 |4387 | 50 | 22 | 27 | 513k|3090 | 0.000000e+00 | -- | Inf
791.87/792.12 c 699s| 1230k|228620 | 2951k| 2.4 | 186M| 45 | 6 | 50 |4228 | 50 | 22 | 27 | 517k|3101 | 0.000000e+00 | -- | Inf
798.47/798.75 c 705s| 1240k|230383 | 2975k| 2.4 | 188M| 45 | - | 50 |4936 | 50 | 22 | 27 | 521k|3111 | 0.000000e+00 | -- | Inf
805.47/805.70 c 711s| 1250k|231978 | 2999k| 2.4 | 189M| 45 | - | 50 |4239 | 0 | 0 | 27 | 525k|3123 | 0.000000e+00 | -- | Inf
811.96/812.24 c 717s| 1260k|233878 | 3023k| 2.4 | 191M| 45 | 6 | 50 |4579 | 50 | 22 | 27 | 529k|3142 | 0.000000e+00 | -- | Inf
818.96/819.28 c 723s| 1270k|235383 | 3046k| 2.4 | 192M| 45 | 6 | 50 |4025 | 50 | 22 | 27 | 533k|3151 | 0.000000e+00 | -- | Inf
825.56/825.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
825.56/825.85 c 729s| 1280k|237062 | 3069k| 2.4 | 193M| 45 | - | 50 |4237 | 50 | 22 | 27 | 537k|3166 | 0.000000e+00 | -- | Inf
832.16/832.47 c 735s| 1290k|238629 | 3092k| 2.4 | 195M| 45 | 6 | 50 |4313 | 50 | 22 | 27 | 542k|3175 | 0.000000e+00 | -- | Inf
838.65/838.97 c 740s| 1300k|240582 | 3116k| 2.4 | 196M| 45 | - | 50 |4816 | 0 | 0 | 27 | 545k|3192 | 0.000000e+00 | -- | Inf
845.67/845.91 c 747s| 1310k|242087 | 3138k| 2.4 | 198M| 45 | - | 50 |4487 | 50 | 22 | 27 | 550k|3200 | 0.000000e+00 | -- | Inf
852.75/853.01 c 753s| 1320k|243553 | 3161k| 2.4 | 199M| 45 | 6 | 50 |4136 | 50 | 22 | 27 | 554k|3212 | 0.000000e+00 | -- | Inf
859.45/859.78 c 759s| 1330k|245177 | 3184k| 2.4 | 200M| 45 | - | 50 |4057 | 50 | 22 | 27 | 558k|3222 | 0.000000e+00 | -- | Inf
866.05/866.33 c 765s| 1340k|246933 | 3207k| 2.4 | 202M| 45 | - | 50 |4855 | 50 | 22 | 27 | 562k|3236 | 0.000000e+00 | -- | Inf
873.05/873.40 c 771s| 1350k|248469 | 3230k| 2.4 | 203M| 45 | - | 50 |4651 | 50 | 22 | 27 | 566k|3247 | 0.000000e+00 | -- | Inf
879.85/880.17 c 777s| 1360k|250189 | 3254k| 2.4 | 205M| 45 | 6 | 50 |4404 | 50 | 22 | 27 | 570k|3258 | 0.000000e+00 | -- | Inf
886.74/887.08 c 783s| 1370k|251715 | 3277k| 2.4 | 206M| 45 | - | 50 |4070 | 50 | 22 | 27 | 574k|3276 | 0.000000e+00 | -- | Inf
893.44/893.79 c 789s| 1380k|253361 | 3300k| 2.4 | 207M| 45 | 6 | 50 |3986 | 50 | 22 | 27 | 578k|3288 | 0.000000e+00 | -- | Inf
900.24/900.59 c 795s| 1390k|254870 | 3323k| 2.4 | 209M| 45 | 6 | 50 |4405 | 50 | 22 | 27 | 582k|3297 | 0.000000e+00 | -- | Inf
907.24/907.55 c 801s| 1400k|256423 | 3347k| 2.4 | 210M| 45 | - | 50 |4363 | 50 | 22 | 27 | 586k|3307 | 0.000000e+00 | -- | Inf
914.23/914.56 c 808s| 1410k|257830 | 3370k| 2.4 | 211M| 45 | 6 | 50 |4081 | 50 | 22 | 27 | 591k|3316 | 0.000000e+00 | -- | Inf
921.13/921.41 c 814s| 1420k|259247 | 3392k| 2.4 | 213M| 45 | - | 50 |4195 | 0 | 0 | 27 | 595k|3324 | 0.000000e+00 | -- | Inf
927.73/928.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
927.73/928.10 c 820s| 1430k|261020 | 3416k| 2.4 | 214M| 45 | - | 50 |4440 | 50 | 22 | 27 | 599k|3337 | 0.000000e+00 | -- | Inf
934.52/934.82 c 826s| 1440k|262813 | 3439k| 2.4 | 216M| 45 | 6 | 50 |4629 | 50 | 22 | 27 | 603k|3349 | 0.000000e+00 | -- | Inf
941.13/941.48 c 832s| 1450k|264800 | 3462k| 2.4 | 217M| 45 | 6 | 50 |4651 | 50 | 22 | 27 | 606k|3363 | 0.000000e+00 | -- | Inf
948.12/948.45 c 838s| 1460k|266344 | 3485k| 2.4 | 218M| 45 | - | 50 |4382 | 0 | 0 | 27 | 611k|3370 | 0.000000e+00 | -- | Inf
954.62/954.95 c 843s| 1470k|268121 | 3508k| 2.4 | 220M| 45 | 6 | 50 |4526 | 50 | 22 | 27 | 615k|3381 | 0.000000e+00 | -- | Inf
961.32/961.66 c 849s| 1480k|269912 | 3531k| 2.4 | 221M| 45 | 6 | 50 |5411 | 50 | 22 | 27 | 619k|3389 | 0.000000e+00 | -- | Inf
968.62/968.91 c 856s| 1490k|271382 | 3554k| 2.4 | 222M| 45 | - | 50 |4579 | 0 | 0 | 27 | 623k|3401 | 0.000000e+00 | -- | Inf
975.51/975.84 c 862s| 1500k|272917 | 3577k| 2.4 | 224M| 45 | - | 50 |4760 | 50 | 22 | 27 | 627k|3415 | 0.000000e+00 | -- | Inf
982.11/982.48 c 868s| 1510k|274802 | 3601k| 2.4 | 225M| 45 | - | 50 |4978 | 0 | 0 | 27 | 631k|3425 | 0.000000e+00 | -- | Inf
989.31/989.67 c 874s| 1520k|276299 | 3625k| 2.4 | 227M| 45 | - | 50 |4245 | 50 | 22 | 27 | 635k|3435 | 0.000000e+00 | -- | Inf
995.51/995.84 c 880s| 1530k|278253 | 3648k| 2.4 | 228M| 45 | - | 50 |5009 | 50 | 22 | 27 | 639k|3442 | 0.000000e+00 | -- | Inf
1002.30/1002.61 c 886s| 1540k|279881 | 3671k| 2.4 | 229M| 45 | - | 50 |3925 | 50 | 22 | 27 | 643k|3453 | 0.000000e+00 | -- | Inf
1009.01/1009.33 c 892s| 1550k|281344 | 3695k| 2.4 | 231M| 45 | - | 50 |4097 | 50 | 22 | 27 | 647k|3466 | 0.000000e+00 | -- | Inf
1015.91/1016.25 c 898s| 1560k|282794 | 3718k| 2.4 | 232M| 45 | 6 | 50 |3973 | 50 | 22 | 27 | 651k|3473 | 0.000000e+00 | -- | Inf
1022.61/1023.00 c 904s| 1570k|284230 | 3741k| 2.4 | 233M| 45 | 6 | 50 |3948 | 50 | 22 | 27 | 655k|3483 | 0.000000e+00 | -- | Inf
1029.40/1029.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1029.40/1029.73 c 910s| 1580k|285845 | 3764k| 2.4 | 235M| 45 | 6 | 50 |4098 | 50 | 22 | 27 | 659k|3494 | 0.000000e+00 | -- | Inf
1035.99/1036.39 c 916s| 1590k|287356 | 3788k| 2.4 | 236M| 45 | 6 | 50 |4417 | 50 | 22 | 27 | 663k|3503 | 0.000000e+00 | -- | Inf
1043.20/1043.56 c 922s| 1600k|288721 | 3810k| 2.4 | 237M| 45 | - | 50 |4262 | 50 | 22 | 27 | 667k|3515 | 0.000000e+00 | -- | Inf
1050.29/1050.66 c 929s| 1610k|290135 | 3833k| 2.4 | 239M| 45 | - | 50 |3818 | 0 | 0 | 27 | 671k|3523 | 0.000000e+00 | -- | Inf
1056.89/1057.28 c 935s| 1620k|291790 | 3856k| 2.4 | 240M| 45 | - | 50 |4033 | 50 | 22 | 27 | 675k|3534 | 0.000000e+00 | -- | Inf
1063.49/1063.89 c 941s| 1630k|293434 | 3879k| 2.4 | 241M| 45 | 6 | 50 |4261 | 50 | 22 | 27 | 679k|3551 | 0.000000e+00 | -- | Inf
1070.29/1070.63 c 947s| 1640k|295025 | 3903k| 2.4 | 243M| 45 | - | 50 |4754 | 50 | 22 | 27 | 683k|3565 | 0.000000e+00 | -- | Inf
1076.89/1077.21 c 952s| 1650k|296931 | 3926k| 2.4 | 244M| 45 | 6 | 50 |4788 | 50 | 22 | 27 | 686k|3579 | 0.000000e+00 | -- | Inf
1083.58/1083.97 c 958s| 1660k|298953 | 3950k| 2.4 | 246M| 45 | 6 | 50 |5994 | 50 | 22 | 27 | 690k|3588 | 0.000000e+00 | -- | Inf
1091.09/1091.42 c 965s| 1670k|300547 | 3973k| 2.4 | 247M| 45 | 6 | 50 |4841 | 50 | 22 | 27 | 694k|3602 | 0.000000e+00 | -- | Inf
1098.27/1098.61 c 971s| 1680k|301965 | 3996k| 2.4 | 248M| 45 | 6 | 50 |4515 | 50 | 22 | 27 | 698k|3610 | 0.000000e+00 | -- | Inf
1105.17/1105.56 c 978s| 1690k|303516 | 4019k| 2.4 | 250M| 45 | 6 | 50 |4946 | 50 | 22 | 27 | 702k|3619 | 0.000000e+00 | -- | Inf
1112.17/1112.54 c 984s| 1700k|305339 | 4043k| 2.4 | 251M| 45 | 6 | 50 |4783 | 50 | 22 | 27 | 706k|3627 | 0.000000e+00 | -- | Inf
1118.66/1119.10 c 990s| 1710k|307405 | 4067k| 2.4 | 253M| 45 | - | 50 |5175 | 50 | 22 | 27 | 709k|3634 | 0.000000e+00 | -- | Inf
1125.67/1126.10 c 996s| 1720k|309043 | 4089k| 2.4 | 254M| 45 | 6 | 50 |4667 | 50 | 22 | 27 | 713k|3648 | 0.000000e+00 | -- | Inf
1132.57/1133.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1132.57/1133.00 c 1002s| 1730k|310746 | 4113k| 2.4 | 255M| 45 | - | 50 |4900 | 50 | 22 | 27 | 717k|3657 | 0.000000e+00 | -- | Inf
1140.06/1140.43 c 1009s| 1740k|312184 | 4136k| 2.4 | 257M| 45 | - | 50 |4502 | 50 | 22 | 27 | 721k|3668 | 0.000000e+00 | -- | Inf
1146.65/1147.01 c 1015s| 1750k|314234 | 4159k| 2.4 | 258M| 45 | 6 | 50 |4666 | 50 | 22 | 27 | 725k|3681 | 0.000000e+00 | -- | Inf
1153.16/1153.59 c 1020s| 1760k|316147 | 4183k| 2.4 | 260M| 45 | 6 | 50 |4761 | 50 | 22 | 27 | 728k|3689 | 0.000000e+00 | -- | Inf
1160.56/1160.93 c 1027s| 1770k|317462 | 4206k| 2.4 | 261M| 45 | 6 | 50 |4225 | 50 | 22 | 27 | 733k|3703 | 0.000000e+00 | -- | Inf
1166.66/1167.02 c 1032s| 1780k|319566 | 4229k| 2.4 | 262M| 45 | 6 | 50 |4920 | 50 | 22 | 27 | 736k|3710 | 0.000000e+00 | -- | Inf
1173.26/1173.61 c 1038s| 1790k|321560 | 4252k| 2.4 | 264M| 45 | 6 | 50 |5140 | 50 | 22 | 27 | 740k|3721 | 0.000000e+00 | -- | Inf
1180.25/1180.66 c 1044s| 1800k|323220 | 4275k| 2.4 | 265M| 45 | 6 | 50 |4337 | 50 | 22 | 27 | 744k|3727 | 0.000000e+00 | -- | Inf
1186.94/1187.31 c 1050s| 1810k|324890 | 4298k| 2.4 | 266M| 45 | 6 | 50 |4623 | 50 | 22 | 27 | 748k|3744 | 0.000000e+00 | -- | Inf
1193.55/1193.90 c 1056s| 1820k|326712 | 4321k| 2.4 | 268M| 45 | 6 | 50 |5662 | 50 | 22 | 27 | 752k|3753 | 0.000000e+00 | -- | Inf
1200.65/1201.04 c 1062s| 1830k|328557 | 4344k| 2.4 | 270M| 45 | - | 50 |5544 | 0 | 0 | 27 | 756k|3763 | 0.000000e+00 | -- | Inf
1208.04/1208.43 c 1069s| 1840k|330198 | 4367k| 2.4 | 271M| 45 | - | 50 |5280 | 50 | 22 | 27 | 760k|3770 | 0.000000e+00 | -- | Inf
1215.05/1215.45 c 1075s| 1850k|331876 | 4391k| 2.4 | 272M| 45 | 6 | 50 |5702 | 50 | 22 | 27 | 764k|3779 | 0.000000e+00 | -- | Inf
1222.34/1222.79 c 1082s| 1860k|333592 | 4414k| 2.4 | 274M| 45 | 6 | 50 |5772 | 50 | 22 | 27 | 768k|3790 | 0.000000e+00 | -- | Inf
1230.14/1230.53 c 1089s| 1870k|334997 | 4438k| 2.4 | 275M| 45 | 6 | 50 |4919 | 50 | 22 | 27 | 772k|3802 | 0.000000e+00 | -- | Inf
1237.23/1237.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1237.23/1237.68 c 1095s| 1880k|336388 | 4461k| 2.4 | 276M| 45 | - | 50 |4547 | 50 | 22 | 27 | 776k|3810 | 0.000000e+00 | -- | Inf
1244.24/1244.69 c 1101s| 1890k|337962 | 4484k| 2.4 | 277M| 45 | 6 | 50 |4710 | 50 | 22 | 27 | 780k|3825 | 0.000000e+00 | -- | Inf
1251.03/1251.47 c 1107s| 1900k|339648 | 4508k| 2.4 | 279M| 45 | 6 | 50 |4801 | 50 | 22 | 27 | 784k|3834 | 0.000000e+00 | -- | Inf
1257.94/1258.33 c 1114s| 1910k|341387 | 4531k| 2.4 | 280M| 45 | 6 | 50 |4359 | 50 | 22 | 27 | 787k|3847 | 0.000000e+00 | -- | Inf
1264.63/1265.09 c 1120s| 1920k|343022 | 4555k| 2.4 | 282M| 45 | 6 | 50 |4821 | 50 | 22 | 27 | 791k|3858 | 0.000000e+00 | -- | Inf
1271.83/1272.22 c 1126s| 1930k|344630 | 4578k| 2.4 | 283M| 45 | 6 | 50 |4288 | 50 | 22 | 27 | 796k|3864 | 0.000000e+00 | -- | Inf
1278.42/1278.83 c 1132s| 1940k|346405 | 4601k| 2.4 | 284M| 45 | 6 | 50 |4473 | 50 | 22 | 27 | 799k|3876 | 0.000000e+00 | -- | Inf
1284.82/1285.22 c 1137s| 1950k|348276 | 4625k| 2.4 | 286M| 45 | 6 | 50 |4833 | 50 | 22 | 27 | 803k|3884 | 0.000000e+00 | -- | Inf
1291.62/1292.01 c 1143s| 1960k|349961 | 4648k| 2.4 | 287M| 45 | 6 | 50 |5293 | 50 | 22 | 27 | 807k|3892 | 0.000000e+00 | -- | Inf
1298.91/1299.32 c 1150s| 1970k|351386 | 4671k| 2.4 | 289M| 45 | 6 | 50 |4831 | 50 | 22 | 27 | 811k|3901 | 0.000000e+00 | -- | Inf
1305.52/1305.90 c 1156s| 1980k|353163 | 4695k| 2.4 | 290M| 45 | - | 50 |6017 | 50 | 22 | 27 | 815k|3914 | 0.000000e+00 | -- | Inf
1313.11/1313.52 c 1163s| 1990k|354605 | 4718k| 2.4 | 291M| 45 | - | 50 |5097 | 50 | 22 | 27 | 819k|3925 | 0.000000e+00 | -- | Inf
1320.12/1320.51 c 1169s| 2000k|356235 | 4742k| 2.4 | 293M| 45 | - | 50 |4909 | 50 | 22 | 27 | 823k|3933 | 0.000000e+00 | -- | Inf
1326.71/1327.10 c 1175s| 2010k|358412 | 4765k| 2.4 | 294M| 45 | 6 | 50 |5097 | 50 | 22 | 27 | 827k|3942 | 0.000000e+00 | -- | Inf
1332.81/1333.23 c 1180s| 2020k|361074 | 4790k| 2.4 | 296M| 45 | 6 | 50 |5517 | 50 | 22 | 27 | 830k|3951 | 0.000000e+00 | -- | Inf
1339.31/1339.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1339.31/1339.74 c 1186s| 2030k|363233 | 4814k| 2.4 | 298M| 45 | - | 50 |5541 | 0 | 0 | 27 | 833k|3961 | 0.000000e+00 | -- | Inf
1346.02/1346.44 c 1192s| 2040k|365205 | 4838k| 2.4 | 299M| 45 | 6 | 50 |5791 | 50 | 22 | 27 | 837k|3971 | 0.000000e+00 | -- | Inf
1352.70/1353.11 c 1198s| 2050k|367131 | 4862k| 2.4 | 301M| 45 | - | 50 |5912 | 50 | 22 | 27 | 840k|3980 | 0.000000e+00 | -- | Inf
1359.70/1360.18 c 1204s| 2060k|368943 | 4886k| 2.4 | 302M| 45 | 6 | 50 |5673 | 50 | 22 | 27 | 843k|3992 | 0.000000e+00 | -- | Inf
1367.20/1367.61 c 1211s| 2070k|370495 | 4909k| 2.4 | 303M| 45 | - | 50 |5140 | 50 | 22 | 27 | 848k|4004 | 0.000000e+00 | -- | Inf
1374.60/1375.06 c 1217s| 2080k|371952 | 4933k| 2.4 | 305M| 45 | - | 50 |4838 | 50 | 22 | 27 | 852k|4017 | 0.000000e+00 | -- | Inf
1381.99/1382.41 c 1224s| 2090k|373432 | 4956k| 2.4 | 306M| 45 | - | 50 |4702 | 0 | 0 | 27 | 856k|4029 | 0.000000e+00 | -- | Inf
1389.00/1389.47 c 1230s| 2100k|375062 | 4979k| 2.4 | 307M| 45 | 6 | 50 |4778 | 50 | 22 | 27 | 859k|4036 | 0.000000e+00 | -- | Inf
1396.19/1396.64 c 1237s| 2110k|376486 | 5003k| 2.4 | 309M| 45 | 6 | 50 |4834 | 50 | 22 | 27 | 863k|4046 | 0.000000e+00 | -- | Inf
1402.69/1403.17 c 1243s| 2120k|378492 | 5026k| 2.4 | 310M| 45 | 6 | 50 |5411 | 50 | 22 | 27 | 867k|4054 | 0.000000e+00 | -- | Inf
1410.19/1410.66 c 1249s| 2130k|379940 | 5050k| 2.4 | 311M| 45 | 6 | 50 |4641 | 50 | 22 | 27 | 871k|4066 | 0.000000e+00 | -- | Inf
1417.18/1417.60 c 1256s| 2140k|381684 | 5074k| 2.4 | 313M| 45 | 6 | 50 |4446 | 50 | 22 | 27 | 875k|4074 | 0.000000e+00 | -- | Inf
1424.09/1424.52 c 1262s| 2150k|383403 | 5097k| 2.4 | 314M| 45 | - | 50 |4180 | 50 | 22 | 27 | 879k|4082 | 0.000000e+00 | -- | Inf
1430.18/1430.60 c 1267s| 2160k|386062 | 5121k| 2.4 | 316M| 45 | - | 50 |5224 | 50 | 22 | 27 | 882k|4093 | 0.000000e+00 | -- | Inf
1436.68/1437.18 c 1273s| 2170k|388159 | 5146k| 2.4 | 318M| 45 | 6 | 50 |5089 | 50 | 22 | 27 | 886k|4105 | 0.000000e+00 | -- | Inf
1443.48/1443.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1443.48/1443.97 c 1279s| 2180k|390132 | 5170k| 2.4 | 319M| 45 | 6 | 50 |5274 | 50 | 22 | 27 | 889k|4113 | 0.000000e+00 | -- | Inf
1451.27/1451.79 c 1286s| 2190k|391453 | 5193k| 2.4 | 320M| 45 | - | 50 |4499 | 50 | 22 | 27 | 893k|4120 | 0.000000e+00 | -- | Inf
1458.47/1458.97 c 1292s| 2200k|393050 | 5216k| 2.4 | 321M| 45 | - | 50 |4464 | 0 | 0 | 27 | 897k|4130 | 0.000000e+00 | -- | Inf
1465.67/1466.16 c 1299s| 2210k|394422 | 5239k| 2.4 | 323M| 45 | - | 50 |4269 | 50 | 22 | 27 | 901k|4136 | 0.000000e+00 | -- | Inf
1472.38/1472.82 c 1305s| 2220k|396129 | 5262k| 2.4 | 324M| 45 | 6 | 50 |4408 | 50 | 22 | 27 | 905k|4144 | 0.000000e+00 | -- | Inf
1479.57/1480.04 c 1311s| 2230k|397564 | 5285k| 2.4 | 326M| 45 | 6 | 50 |4467 | 50 | 22 | 27 | 909k|4150 | 0.000000e+00 | -- | Inf
1486.47/1486.99 c 1318s| 2240k|399007 | 5308k| 2.4 | 327M| 45 | 6 | 50 |4382 | 50 | 22 | 27 | 913k|4159 | 0.000000e+00 | -- | Inf
1493.06/1493.51 c 1323s| 2250k|400781 | 5332k| 2.4 | 328M| 45 | - | 50 |4628 | 50 | 22 | 27 | 917k|4167 | 0.000000e+00 | -- | Inf
1499.56/1500.06 c 1329s| 2260k|402664 | 5355k| 2.4 | 330M| 45 | - | 50 |5304 | 50 | 22 | 27 | 921k|4177 | 0.000000e+00 | -- | Inf
1506.86/1507.34 c 1336s| 2270k|404196 | 5378k| 2.4 | 331M| 45 | - | 50 |4817 | 50 | 22 | 27 | 925k|4186 | 0.000000e+00 | -- | Inf
1514.36/1514.87 c 1342s| 2280k|405588 | 5401k| 2.4 | 332M| 45 | 6 | 50 |4208 | 50 | 22 | 27 | 929k|4192 | 0.000000e+00 | -- | Inf
1520.96/1521.42 c 1348s| 2290k|407383 | 5423k| 2.4 | 334M| 45 | - | 50 |5082 | 50 | 22 | 27 | 933k|4198 | 0.000000e+00 | -- | Inf
1528.06/1528.50 c 1355s| 2300k|408922 | 5446k| 2.4 | 335M| 45 | - | 50 |4810 | 50 | 22 | 27 | 937k|4203 | 0.000000e+00 | -- | Inf
1534.66/1535.19 c 1360s| 2310k|410734 | 5469k| 2.4 | 337M| 45 | - | 50 |4713 | 50 | 22 | 27 | 940k|4210 | 0.000000e+00 | -- | Inf
1542.05/1542.51 c 1367s| 2320k|412163 | 5493k| 2.4 | 338M| 45 | 6 | 50 |3974 | 50 | 22 | 27 | 944k|4217 | 0.000000e+00 | -- | Inf
1548.75/1549.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1548.75/1549.25 c 1373s| 2330k|413879 | 5516k| 2.4 | 339M| 45 | 6 | 50 |4812 | 50 | 22 | 27 | 948k|4225 | 0.000000e+00 | -- | Inf
1555.85/1556.33 c 1379s| 2340k|415326 | 5539k| 2.4 | 341M| 45 | 6 | 50 |4233 | 50 | 22 | 27 | 952k|4235 | 0.000000e+00 | -- | Inf
1562.25/1562.75 c 1385s| 2350k|417323 | 5563k| 2.4 | 342M| 45 | 6 | 50 |5152 | 50 | 22 | 27 | 956k|4245 | 0.000000e+00 | -- | Inf
1569.55/1570.04 c 1391s| 2360k|418784 | 5586k| 2.4 | 344M| 45 | 6 | 50 |4755 | 50 | 22 | 27 | 960k|4252 | 0.000000e+00 | -- | Inf
1576.74/1577.24 c 1398s| 2370k|420145 | 5609k| 2.4 | 345M| 45 | 6 | 50 |4415 | 50 | 22 | 27 | 964k|4261 | 0.000000e+00 | -- | Inf
1583.74/1584.23 c 1404s| 2380k|421573 | 5632k| 2.4 | 346M| 45 | 6 | 50 |4690 | 50 | 22 | 27 | 968k|4269 | 0.000000e+00 | -- | Inf
1590.84/1591.36 c 1410s| 2390k|423138 | 5655k| 2.4 | 347M| 45 | - | 50 |4843 | 50 | 22 | 27 | 972k|4278 | 0.000000e+00 | -- | Inf
1598.13/1598.67 c 1417s| 2400k|424539 | 5678k| 2.4 | 349M| 45 | 6 | 50 |4264 | 50 | 22 | 27 | 976k|4288 | 0.000000e+00 | -- | Inf
1604.83/1605.30 c 1423s| 2410k|426228 | 5701k| 2.4 | 350M| 45 | - | 50 |4740 | 50 | 22 | 27 | 980k|4297 | 0.000000e+00 | -- | Inf
1612.23/1612.73 c 1430s| 2420k|427558 | 5724k| 2.4 | 351M| 45 | 6 | 50 |4034 | 50 | 22 | 27 | 984k|4308 | 0.000000e+00 | -- | Inf
1619.03/1619.54 c 1436s| 2430k|428950 | 5747k| 2.4 | 353M| 45 | 6 | 50 |4487 | 50 | 22 | 27 | 988k|4316 | 0.000000e+00 | -- | Inf
1626.03/1626.50 c 1442s| 2440k|430482 | 5770k| 2.4 | 354M| 45 | 6 | 50 |4286 | 50 | 22 | 27 | 992k|4325 | 0.000000e+00 | -- | Inf
1633.13/1633.65 c 1448s| 2450k|431956 | 5793k| 2.4 | 355M| 45 | 6 | 50 |4229 | 50 | 22 | 27 | 996k|4330 | 0.000000e+00 | -- | Inf
1639.82/1640.34 c 1454s| 2460k|433748 | 5816k| 2.4 | 357M| 45 | 6 | 50 |4832 | 50 | 22 | 27 |1000k|4339 | 0.000000e+00 | -- | Inf
1646.52/1647.01 c 1460s| 2470k|435712 | 5841k| 2.4 | 358M| 45 | 6 | 50 |5645 | 50 | 22 | 27 |1003k|4345 | 0.000000e+00 | -- | Inf
1653.72/1654.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1653.72/1654.25 c 1466s| 2480k|437584 | 5865k| 2.4 | 360M| 45 | 6 | 50 |5236 | 50 | 22 | 27 |1007k|4354 | 0.000000e+00 | -- | Inf
1660.53/1661.09 c 1472s| 2490k|439389 | 5889k| 2.4 | 361M| 45 | - | 50 |5740 | 0 | 0 | 27 |1011k|4364 | 0.000000e+00 | -- | Inf
1668.02/1668.55 c 1479s| 2500k|440979 | 5912k| 2.4 | 362M| 45 | 6 | 50 |4771 | 50 | 22 | 27 |1015k|4371 | 0.000000e+00 | -- | Inf
1675.02/1675.53 c 1485s| 2510k|442644 | 5935k| 2.4 | 364M| 45 | 6 | 50 |5424 | 50 | 22 | 27 |1018k|4379 | 0.000000e+00 | -- | Inf
1682.12/1682.68 c 1492s| 2520k|444114 | 5958k| 2.4 | 365M| 45 | - | 50 |5190 | 50 | 22 | 27 |1023k|4389 | 0.000000e+00 | -- | Inf
1689.31/1689.87 c 1498s| 2530k|445597 | 5982k| 2.4 | 367M| 45 | 6 | 50 |4996 | 50 | 22 | 27 |1027k|4398 | 0.000000e+00 | -- | Inf
1696.90/1697.44 c 1505s| 2540k|446926 | 6005k| 2.4 | 368M| 45 | - | 50 |4395 | 50 | 22 | 27 |1031k|4405 | 0.000000e+00 | -- | Inf
1703.91/1704.48 c 1511s| 2550k|448403 | 6028k| 2.4 | 369M| 45 | 6 | 50 |4885 | 50 | 22 | 27 |1035k|4415 | 0.000000e+00 | -- | Inf
1711.20/1711.79 c 1518s| 2560k|449867 | 6051k| 2.4 | 370M| 45 | - | 50 |4624 | 50 | 22 | 27 |1038k|4422 | 0.000000e+00 | -- | Inf
1718.20/1718.76 c 1524s| 2570k|451374 | 6074k| 2.4 | 372M| 45 | 6 | 50 |5077 | 50 | 22 | 27 |1042k|4429 | 0.000000e+00 | -- | Inf
1725.50/1726.06 c 1530s| 2580k|452945 | 6097k| 2.4 | 373M| 45 | - | 50 |5389 | 50 | 22 | 27 |1047k|4436 | 0.000000e+00 | -- | Inf
1732.10/1732.65 c 1536s| 2590k|455552 | 6121k| 2.4 | 375M| 45 | - | 50 |6194 | 50 | 22 | 27 |1050k|4443 | 0.000000e+00 | -- | Inf
1739.10/1739.67 c 1543s| 2600k|457664 | 6145k| 2.4 | 377M| 45 | 6 | 50 |6623 | 50 | 22 | 27 |1054k|4452 | 0.000000e+00 | -- | Inf
1746.60/1747.17 c 1549s| 2610k|459416 | 6168k| 2.4 | 378M| 45 | - | 50 |6848 | 50 | 22 | 27 |1058k|4461 | 0.000000e+00 | -- | Inf
1754.00/1754.54 c 1556s| 2620k|461172 | 6191k| 2.4 | 380M| 45 | 6 | 50 |7218 | 50 | 22 | 27 |1062k|4464 | 0.000000e+00 | -- | Inf
1762.49/1763.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1762.49/1763.08 c 1564s| 2630k|462592 | 6214k| 2.4 | 381M| 45 | - | 50 |5863 | 50 | 22 | 27 |1066k|4480 | 0.000000e+00 | -- | Inf
1769.89/1770.46 c 1570s| 2640k|464379 | 6237k| 2.4 | 382M| 45 | 6 | 50 |5354 | 50 | 22 | 27 |1070k|4489 | 0.000000e+00 | -- | Inf
1777.19/1777.75 c 1577s| 2650k|466169 | 6260k| 2.4 | 383M| 45 | - | 50 |4894 | 0 | 0 | 27 |1073k|4500 | 0.000000e+00 | -- | Inf
1784.58/1785.17 c 1583s| 2660k|467585 | 6284k| 2.4 | 384M| 45 | - | 50 |4357 | 50 | 22 | 27 |1077k|4510 | 0.000000e+00 | -- | Inf
1791.58/1792.16 c 1590s| 2670k|469104 | 6307k| 2.4 | 386M| 45 | 6 | 50 |4691 | 50 | 22 | 27 |1081k|4518 | 0.000000e+00 | -- | Inf
1797.99/1798.54 c 1595s| 2680k|471043 | 6330k| 2.4 | 388M| 45 | - | 50 |5811 | 0 | 0 | 27 |1084k|4525 | 0.000000e+00 | -- | Inf
1800.10/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.10/1800.61 c
1800.10/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.61 c Solving Time (sec) : 1597.05
1800.10/1800.61 c Solving Nodes : 2683355
1800.10/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.10/1800.61 c Dual Bound : +0.00000000000000e+00
1800.10/1800.61 c Gap : infinite
1800.10/1800.61 s UNKNOWN
1800.10/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.61 c Solving Time : 1597.05
1800.10/1800.61 c Original Problem :
1800.10/1800.61 c Problem name : HOME/instance-2665448-1276614909.opb
1800.10/1800.61 c Variables : 51 (51 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.61 c Constraints : 13 initial, 13 maximal
1800.10/1800.61 c Presolved Problem :
1800.10/1800.61 c Problem name : t_HOME/instance-2665448-1276614909.opb
1800.10/1800.61 c Variables : 50 (50 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.61 c Constraints : 6 initial, 7424 maximal
1800.10/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.10/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.61 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.10/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.61 c probing : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.61 c linear : 0.01 0 0 0 0 0 7 0 0
1800.10/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.61 c root node : - 0 - - 0 - - - -
1800.10/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.10/1800.61 c integral : 0 0 0 1604479 0 374 1794 0 0 3204828
1800.10/1800.61 c linear : 6+ 7 6186370 0 0 264400 4473389 0 0 0
1800.10/1800.61 c logicor : 0+ 0 2557927 0 0 7749 877262 0 0 0
1800.10/1800.61 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.10/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.10/1800.61 c integral : 20.67 0.00 0.00 20.67 0.00
1800.10/1800.61 c linear : 258.56 0.00 258.56 0.00 0.00
1800.10/1800.61 c logicor : 278.80 0.00 278.80 0.00 0.00
1800.10/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.10/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.10/1800.61 c vbounds : 3.03 2 0 0
1800.10/1800.61 c rootredcost : 2.55 0 0 0
1800.10/1800.61 c pseudoobj : 2.79 0 0 0
1800.10/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.10/1800.61 c propagation : 25.28 272149 211564 725683 35.6 14 31.5 -
1800.10/1800.61 c infeasible LP : 42.52 857136 615450 1097362 23.9 2324 29.8 0
1800.10/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.10/1800.61 c applied globally : - - - 869521 21.1 - - -
1800.10/1800.61 c applied locally : - - - 216502 34.0 - - -
1800.10/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.10/1800.61 c cut pool : 0.00 5 - - 24 - (maximal pool size: 109)
1800.10/1800.61 c redcost : 3.94 1604484 0 0 0 0
1800.10/1800.61 c impliedbounds : 0.00 6 0 0 0 0
1800.10/1800.61 c intobj : 0.00 0 0 0 0 0
1800.10/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.10/1800.61 c gomory : 0.00 6 0 0 0 0
1800.10/1800.61 c strongcg : 0.00 6 0 0 48 0
1800.10/1800.61 c cmir : 0.02 6 0 0 33 0
1800.10/1800.61 c flowcover : 0.02 6 0 0 47 0
1800.10/1800.61 c clique : 0.00 1 0 0 0 0
1800.10/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.10/1800.61 c mcf : 0.00 1 0 0 0 0
1800.10/1800.61 c rapidlearning : 0.08 1 0 0 0 12
1800.10/1800.61 c Pricers : Time Calls Vars
1800.10/1800.61 c problem variables: 0.00 0 0
1800.10/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.10/1800.61 c relpscost : 18.39 1604479 374 1794 0 0 3204828
1800.10/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.10/1800.61 c inference : 0.00 0 0 0 0 0 0
1800.10/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.10/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.10/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.61 c random : 0.00 0 0 0 0 0 0
1800.10/1800.61 c Primal Heuristics : Time Calls Found
1800.10/1800.61 c LP solutions : 0.00 - 0
1800.10/1800.61 c pseudo solutions : 0.00 - 0
1800.10/1800.61 c oneopt : 2.38 0 0
1800.10/1800.61 c crossover : 1.39 0 0
1800.10/1800.61 c guideddiving : 0.19 0 0
1800.10/1800.61 c coefdiving : 0.12 43 0
1800.10/1800.61 c pscostdiving : 0.27 43 0
1800.10/1800.61 c veclendiving : 0.14 43 0
1800.10/1800.61 c linesearchdiving : 0.19 43 0
1800.10/1800.61 c objpscostdiving : 0.11 22 0
1800.10/1800.61 c rootsoldiving : 0.15 22 0
1800.10/1800.61 c feaspump : 0.18 22 0
1800.10/1800.61 c fracdiving : 0.19 44 0
1800.10/1800.61 c trivial : 0.00 2 0
1800.10/1800.61 c simplerounding : 0.84 0 0
1800.10/1800.61 c zirounding : 1.16 1000 0
1800.10/1800.61 c rounding : 1.90 17959 0
1800.10/1800.61 c shifting : 3.53 5352 0
1800.10/1800.61 c intshifting : 0.09 0 0
1800.10/1800.61 c twoopt : 0.00 0 0
1800.10/1800.61 c fixandinfer : 0.00 0 0
1800.10/1800.61 c intdiving : 0.00 0 0
1800.10/1800.61 c actconsdiving : 0.00 0 0
1800.10/1800.61 c octane : 0.00 0 0
1800.10/1800.61 c rens : 0.05 1 0
1800.10/1800.61 c rins : 0.00 0 0
1800.10/1800.61 c localbranching : 0.00 0 0
1800.10/1800.61 c mutation : 0.00 0 0
1800.10/1800.61 c dins : 0.00 0 0
1800.10/1800.61 c undercover : 0.00 0 0
1800.10/1800.61 c nlp : 1.09 0 0
1800.10/1800.61 c trysol : 1.85 0 0
1800.10/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.10/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.10/1800.61 c dual LP : 500.25 2371859 6337255 2.67 12668.18
1800.10/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.10/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.10/1800.61 c diving/probing LP: 0.13 729 1400 1.92 10769.23
1800.10/1800.61 c strong branching : 1.41 4528 23901 5.28 16951.06
1800.10/1800.61 c (at root node) : - 9 447 49.67 -
1800.10/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.10/1800.61 c B&B Tree :
1800.10/1800.61 c number of runs : 1
1800.10/1800.61 c nodes : 2683355
1800.10/1800.61 c nodes (total) : 2683355
1800.10/1800.61 c nodes left : 471769
1800.10/1800.61 c max depth : 45
1800.10/1800.61 c max depth (total): 45
1800.10/1800.61 c backtracks : 368041 (13.7%)
1800.10/1800.61 c delayed cutoffs : 49705
1800.10/1800.61 c repropagations : 1952223 (1272292 domain reductions, 48203 cutoffs)
1800.10/1800.61 c avg switch length: 5.03
1800.10/1800.61 c switching time : 264.39
1800.10/1800.61 c Solution :
1800.10/1800.61 c Solutions found : 0 (0 improvements)
1800.10/1800.61 c Primal Bound : -
1800.10/1800.61 c Dual Bound : +0.00000000000000e+00
1800.10/1800.61 c Gap : infinite
1800.10/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.10/1800.61 c Root Iterations : 98
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665448-1276614909/watcher-2665448-1276614909 -o /tmp/evaluation-result-2665448-1276614909/solver-2665448-1276614909 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665448-1276614909.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.02 1.00 3/105 10305
/proc/meminfo: memFree=1761624/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=9288 CPUtime=0
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 1129 0 0 0 0 0 0 0 25 0 1 0 2784415 9510912 1050 1992294400 4194304 9819077 140736094172208 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10305/statm: 2322 1060 371 1374 0 943 0
[startup+0.0500669 s]
/proc/loadavg: 1.00 1.02 1.00 3/105 10305
/proc/meminfo: memFree=1761624/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=21572 CPUtime=0.04
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 5004 0 0 0 3 1 0 0 25 0 1 0 2784415 22089728 3790 1992294400 4194304 9819077 140736094172208 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 5393 3790 676 1374 0 4014 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 21572
[startup+0.101159 s]
/proc/loadavg: 1.00 1.02 1.00 3/105 10305
/proc/meminfo: memFree=1761624/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=21704 CPUtime=0.09
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 5016 0 0 0 8 1 0 0 25 0 1 0 2784415 22224896 3802 1992294400 4194304 9819077 140736094172208 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 5426 3802 676 1374 0 4047 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21704
[startup+0.301091 s]
/proc/loadavg: 1.00 1.02 1.00 3/105 10305
/proc/meminfo: memFree=1761624/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=15472 CPUtime=0.29
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 10095 0 0 0 25 4 0 0 25 0 1 0 2784415 15843328 2619 1992294400 4194304 9819077 140736094172208 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 4032 2622 721 1374 0 2653 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15472
[startup+0.701129 s]
/proc/loadavg: 1.00 1.02 1.00 3/105 10305
/proc/meminfo: memFree=1761624/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=15452 CPUtime=0.69
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 19178 0 0 0 56 13 0 0 25 0 1 0 2784415 15822848 2621 1992294400 4194304 9819077 140736094172208 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 3863 2621 723 1374 0 2484 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15452
[startup+1.50121 s]
/proc/loadavg: 1.00 1.02 1.00 2/106 10306
/proc/meminfo: memFree=1753060/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=16216 CPUtime=1.49
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 27780 0 0 0 124 25 0 0 25 0 1 0 2784415 16605184 2744 1992294400 4194304 9819077 140736094172208 18446744073709551615 6583457 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 4054 2744 723 1374 0 2675 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16216
[startup+3.10136 s]
/proc/loadavg: 1.00 1.02 1.00 2/106 10306
/proc/meminfo: memFree=1752316/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=18292 CPUtime=3.09
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 44354 0 0 0 261 48 0 0 25 0 1 0 2784415 18731008 3254 1992294400 4194304 9819077 140736094172208 18446744073709551615 4999661 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 4573 3254 723 1374 0 3194 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18292
[startup+6.30067 s]
/proc/loadavg: 1.00 1.02 1.00 2/106 10306
/proc/meminfo: memFree=1749588/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=20404 CPUtime=6.29
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 74570 0 0 0 542 87 0 0 25 0 1 0 2784415 20893696 3766 1992294400 4194304 9819077 140736094172208 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 5101 3766 723 1374 0 3722 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20404
[startup+12.7013 s]
/proc/loadavg: 1.00 1.02 1.00 2/106 10306
/proc/meminfo: memFree=1747232/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=22132 CPUtime=12.69
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 137831 0 0 0 1099 170 0 0 25 0 1 0 2784415 22663168 4184 1992294400 4194304 9819077 140736094172208 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 5333 4180 723 1374 0 3954 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22132
[startup+25.5005 s]
/proc/loadavg: 1.00 1.02 1.00 2/106 10308
/proc/meminfo: memFree=1742520/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=26844 CPUtime=25.49
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 264573 0 0 0 2208 341 0 0 25 0 1 0 2784415 27488256 5464 1992294400 4194304 9819077 140736094172208 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 6751 5464 723 1374 0 5372 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 26844
[startup+51.101 s]
/proc/loadavg: 1.00 1.02 1.00 2/106 10308
/proc/meminfo: memFree=1732724/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=36280 CPUtime=51.08
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 510028 0 0 0 4431 677 0 0 25 0 1 0 2784415 37150720 7806 1992294400 4194304 9819077 140736094172208 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 9070 7806 723 1374 0 7691 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 36280
[startup+102.308 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 10310
/proc/meminfo: memFree=1716852/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=52124 CPUtime=102.27
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 984847 0 0 0 8891 1336 0 0 25 0 1 0 2784415 53374976 11755 1992294400 4194304 9819077 140736094172208 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 13031 11755 723 1374 0 11652 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 52124
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10310
/proc/meminfo: memFree=1700732/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=67820 CPUtime=162.24
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 1510613 0 0 0 14167 2057 0 0 25 0 1 0 2784415 69447680 15801 1992294400 4194304 9819077 140736094172208 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 16995 15802 723 1374 0 15616 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 67820
[startup+222.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/106 10312
/proc/meminfo: memFree=1683124/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=87152 CPUtime=222.22
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 2030917 0 0 0 19447 2775 0 0 25 0 1 0 2784415 89243648 20121 1992294400 4194304 9819077 140736094172208 18446744073709551615 4212307 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 21788 20121 723 1374 0 20409 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 87152
[startup+282.301 s]
/proc/loadavg: 1.02 1.01 1.00 2/106 10314
/proc/meminfo: memFree=1667996/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=101620 CPUtime=282.21
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 2538994 0 0 0 24738 3483 0 0 25 0 1 0 2784415 104058880 23845 1992294400 4194304 9819077 140736094172208 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 25445 23846 723 1374 0 24066 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 101620
[startup+342.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/106 10316
/proc/meminfo: memFree=1654728/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=114608 CPUtime=342.2
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 3038037 0 0 0 30036 4184 0 0 25 0 1 0 2784415 117358592 27138 1992294400 4194304 9819077 140736094172208 18446744073709551615 6628271 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 28532 27136 723 1374 0 27153 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 114608
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10318
/proc/meminfo: memFree=1639476/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=129484 CPUtime=402.18
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 3538397 0 0 0 35340 4878 0 0 25 0 1 0 2784415 132591616 30933 1992294400 4194304 9819077 140736094172208 18446744073709551615 4999902 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 32371 30933 723 1374 0 30992 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 129484
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10318
/proc/meminfo: memFree=1625216/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=142788 CPUtime=462.16
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 4040193 0 0 0 40628 5588 0 0 25 0 1 0 2784415 146214912 34532 1992294400 4194304 9819077 140736094172208 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 35937 34537 723 1374 0 34558 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 142788
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10320
/proc/meminfo: memFree=1610708/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=157832 CPUtime=522.14
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 4538941 0 0 0 45918 6296 0 0 25 0 1 0 2784415 161619968 38104 1992294400 4194304 9819077 140736094172208 18446744073709551615 4221452 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 39458 38104 723 1374 0 38079 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 157832
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10322
/proc/meminfo: memFree=1595208/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=172712 CPUtime=582.13
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 5027807 0 0 0 51238 6975 0 0 25 0 1 0 2784415 176857088 41912 1992294400 4194304 9819077 140736094172208 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 43178 41912 723 1374 0 41799 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 172712
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10324
/proc/meminfo: memFree=1581444/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=186204 CPUtime=642.12
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 5518234 0 0 0 56543 7669 0 0 25 0 1 0 2784415 190672896 45321 1992294400 4194304 9819077 140736094172208 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 46551 45321 723 1374 0 45172 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 186204
[startup+702.301 s]
################
# More data... #
################
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 8397671 0 0 0 88566 11635 0 0 25 0 1 0 2784415 270077952 64003 1992294400 4194304 9819077 140736094172208 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 65937 64003 723 1374 0 64558 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 263748
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 10337
/proc/meminfo: memFree=1480748/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=274460 CPUtime=1061.99
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 8877405 0 0 0 93906 12293 0 0 25 0 1 0 2784415 281047040 66751 1992294400 4194304 9819077 140736094172208 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 68615 66751 723 1374 0 67236 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 274460
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10339
/proc/meminfo: memFree=1482244/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=286320 CPUtime=1121.97
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 9349234 0 0 0 99243 12954 0 0 25 0 1 0 2784415 293191680 69769 1992294400 4194304 9819077 140736094172208 18446744073709551615 4618395 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 71580 69769 723 1374 0 70201 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 286320
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10341
/proc/meminfo: memFree=1471208/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=297668 CPUtime=1181.95
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 9828451 0 0 0 104577 13618 0 0 25 0 1 0 2784415 304812032 72681 1992294400 4194304 9819077 140736094172208 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 74417 72681 723 1374 0 73038 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 297668
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10343
/proc/meminfo: memFree=1456576/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=311804 CPUtime=1241.93
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 10287933 0 0 0 109932 14261 0 0 25 0 1 0 2784415 319287296 76207 1992294400 4194304 9819077 140736094172208 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 77951 76207 723 1374 0 76572 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 311804
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10345
/proc/meminfo: memFree=1441696/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=326016 CPUtime=1301.92
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 10769207 0 0 0 115270 14922 0 0 25 0 1 0 2784415 333840384 79853 1992294400 4194304 9819077 140736094172208 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 81504 79853 723 1374 0 80125 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 326016
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10345
/proc/meminfo: memFree=1430412/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=337176 CPUtime=1361.9
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 11258042 0 0 0 120599 15591 0 0 25 0 1 0 2784415 345268224 82669 1992294400 4194304 9819077 140736094172208 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 84294 82669 723 1374 0 82915 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 337176
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10347
/proc/meminfo: memFree=1414788/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=352372 CPUtime=1421.89
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 11723024 0 0 0 125968 16221 0 0 25 0 1 0 2784415 360828928 86543 1992294400 4194304 9819077 140736094172208 18446744073709551615 4926068 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 88093 86543 723 1374 0 86714 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 352372
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10349
/proc/meminfo: memFree=1401148/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=365900 CPUtime=1481.87
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 12193889 0 0 0 131334 16853 0 0 25 0 1 0 2784415 374681600 89890 1992294400 4194304 9819077 140736094172208 18446744073709551615 6181152 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 91475 89890 723 1374 0 90096 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 365900
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10351
/proc/meminfo: memFree=1387508/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=379280 CPUtime=1541.85
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 12661527 0 0 0 136684 17501 0 0 25 0 1 0 2784415 388382720 93310 1992294400 4194304 9819077 140736094172208 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 94820 93310 723 1374 0 93441 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 379280
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10353
/proc/meminfo: memFree=1379572/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=386968 CPUtime=1601.83
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 13127301 0 0 0 142016 18167 0 0 25 0 1 0 2784415 396255232 95306 1992294400 4194304 9819077 140736094172208 18446744073709551615 4983350 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 96742 95306 723 1374 0 95363 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 386968
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10353
/proc/meminfo: memFree=1368288/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=397820 CPUtime=1661.82
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 13601492 0 0 0 147354 18828 0 0 25 0 1 0 2784415 407367680 98098 1992294400 4194304 9819077 140736094172208 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 99455 98098 723 1374 0 98076 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 397820
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10355
/proc/meminfo: memFree=1355268/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=410200 CPUtime=1721.8
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 14057991 0 0 0 152705 19475 0 0 25 0 1 0 2784415 420044800 101275 1992294400 4194304 9819077 140736094172208 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 102550 101275 723 1374 0 101171 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 410200
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10357
/proc/meminfo: memFree=1343984/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=429296 CPUtime=1781.78
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 14498569 0 0 0 158075 20103 0 0 25 0 1 0 2784415 439599104 104057 1992294400 4194304 9819077 140736094172208 18446744073709551615 4224183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 107324 104057 723 1374 0 105945 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 429296
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10357
/proc/meminfo: memFree=1341628/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=431492 CPUtime=1800.1
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 14646907 0 0 0 159705 20305 0 0 25 0 1 0 2784415 441847808 104631 1992294400 4194304 9819077 140736094172208 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 107873 104631 723 1374 0 106494 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 431492
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -10305
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10357
/proc/meminfo: memFree=1341628/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=431492 CPUtime=1800.89
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 14646918 0 0 0 159784 20305 0 0 25 0 1 0 2784415 441847808 104632 1992294400 4194304 9819077 140736094172208 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10305/statm: 107873 104632 724 1374 0 106494 0
Current children cumulated CPU time (s) 1800.89
Current children cumulated vsize (KiB) 431492
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10358
/proc/meminfo: memFree=1341496/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=431492 CPUtime=1801.68
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 14646918 0 0 0 159863 20305 0 0 25 0 1 0 2784415 441847808 104632 1992294400 4194304 9819077 140736094172208 18446744073709551615 4212320 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10305/statm: 107873 104632 724 1374 0 106494 0
Current children cumulated CPU time (s) 1801.68
Current children cumulated vsize (KiB) 431492
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10358
/proc/meminfo: memFree=1341496/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=431492 CPUtime=1802.08
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 14646918 0 0 0 159903 20305 0 0 25 0 1 0 2784415 441847808 104632 1992294400 4194304 9819077 140736094172208 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10305/statm: 107873 104632 724 1374 0 106494 0
Current children cumulated CPU time (s) 1802.08
Current children cumulated vsize (KiB) 431492
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.66
CPU time (s): 1802.14
CPU user time (s): 1599.06
CPU system time (s): 203.089
CPU usage (%): 99.9716
Max. virtual memory (cumulated for all children) (KiB): 431492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1599.06
system time used= 203.089
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14646918
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= 21769
runsolver used 3.06553 second user time and 8.43272 second system time
The end