0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
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-2703529-1278562126.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.02 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.02 c presolving (3 rounds):
0.00/0.02 c 1 deleted vars, 8 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 0 implications, 0 cliques
0.00/0.02 c presolved problem has 60 variables (60 bin, 0 int, 0 impl, 0 cont) and 7 constraints
0.00/0.02 c 7 constraints of type <linear>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.3
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 = 1790
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 # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.02 c # [type: int, range: [1,2], default: 1]
0.00/0.02 c timing/clocktype = 2
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 # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/indicator/addCouplingCons = 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.03 c
0.00/0.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.03 c 0.0s| 1 | 0 | 41 | - | 322k| 0 | 7 | 60 | 7 | 60 | 7 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.10/0.16 c 0.1s| 1 | 0 | 142 | - | 366k| 0 | 13 | 60 | 7 | 60 | 14 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf
0.10/0.17 c 0.2s| 1 | 0 | 147 | - | 390k| 0 | 14 | 60 | 7 | 60 | 17 | 10 | 0 | 0 | 0.000000e+00 | -- | Inf
0.10/0.18 c 0.2s| 1 | 0 | 156 | - | 409k| 0 | 17 | 60 | 7 | 60 | 20 | 13 | 0 | 0 | 0.000000e+00 | -- | Inf
0.10/0.19 c 0.2s| 1 | 0 | 165 | - | 428k| 0 | 20 | 60 | 7 | 60 | 23 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.21 c 0.2s| 1 | 0 | 179 | - | 444k| 0 | 20 | 60 | 7 | 60 | 25 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.23 c 0.2s| 1 | 0 | 186 | - | 455k| 0 | 23 | 60 | 7 | 60 | 27 | 20 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.38 c 0.4s| 1 | 2 | 186 | - | 455k| 0 | 23 | 60 | 7 | 60 | 27 | 20 | 0 | 9 | 0.000000e+00 | -- | Inf
4.79/4.85 c 4.8s| 10000 | 4138 | 29605 | 2.9 |4171k| 53 | - | 60 |2901 | 0 | 0 | 20 |4088 | 529 | 0.000000e+00 | -- | Inf
9.28/9.37 c 9.4s| 20000 | 7695 | 59047 | 2.9 |6388k| 53 | 7 | 60 |2227 | 60 | 23 | 20 |8573 | 712 | 0.000000e+00 | -- | Inf
13.59/13.67 c 13.7s| 30000 | 11019 | 87418 | 2.9 |8726k| 53 | - | 60 |2596 | 60 | 23 | 20 | 13k| 860 | 0.000000e+00 | -- | Inf
18.09/18.13 c 18.1s| 40000 | 14057 |116336 | 2.9 | 10M| 53 | - | 60 |2589 | 60 | 23 | 20 | 17k| 982 | 0.000000e+00 | -- | Inf
22.58/22.63 c 22.6s| 50000 | 17088 |145966 | 2.9 | 13M| 53 | 7 | 60 |2915 | 60 | 23 | 20 | 22k|1111 | 0.000000e+00 | -- | Inf
27.28/27.32 c 27.3s| 60000 | 20002 |174389 | 2.9 | 15M| 53 | 7 | 60 |2971 | 60 | 23 | 20 | 27k|1214 | 0.000000e+00 | -- | Inf
31.88/31.94 c 31.9s| 70000 | 22748 |203098 | 2.9 | 17M| 53 | 7 | 60 |3271 | 60 | 23 | 20 | 32k|1299 | 0.000000e+00 | -- | Inf
36.58/36.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
36.58/36.66 c 36.6s| 80000 | 25614 |232053 | 2.9 | 19M| 53 | - | 60 |3512 | 60 | 23 | 20 | 37k|1396 | 0.000000e+00 | -- | Inf
41.18/41.24 c 41.2s| 90000 | 28817 |260467 | 2.9 | 22M| 53 | - | 60 |3757 | 60 | 23 | 20 | 42k|1465 | 0.000000e+00 | -- | Inf
46.18/46.20 c 46.2s|100000 | 31474 |289752 | 2.9 | 24M| 53 | 7 | 60 |3329 | 60 | 23 | 20 | 47k|1531 | 0.000000e+00 | -- | Inf
50.78/50.87 c 50.9s|110000 | 34526 |318806 | 2.9 | 26M| 53 | 7 | 60 |3355 | 60 | 23 | 20 | 52k|1586 | 0.000000e+00 | -- | Inf
55.67/55.78 c 55.8s|120000 | 37294 |347164 | 2.9 | 28M| 53 | 7 | 60 |3581 | 60 | 23 | 20 | 57k|1640 | 0.000000e+00 | -- | Inf
60.58/60.68 c 60.7s|130000 | 40102 |375635 | 2.9 | 31M| 53 | 7 | 60 |4005 | 60 | 23 | 20 | 62k|1699 | 0.000000e+00 | -- | Inf
65.57/65.66 c 65.6s|140000 | 43006 |404550 | 2.9 | 33M| 53 | - | 60 |4144 | 60 | 23 | 20 | 67k|1747 | 0.000000e+00 | -- | Inf
70.37/70.43 c 70.4s|150000 | 46007 |431725 | 2.9 | 35M| 53 | - | 60 |3966 | 60 | 23 | 20 | 71k|1789 | 0.000000e+00 | -- | Inf
75.27/75.38 c 75.4s|160000 | 48873 |461128 | 2.9 | 37M| 53 | 7 | 60 |4606 | 60 | 23 | 20 | 76k|1819 | 0.000000e+00 | -- | Inf
80.28/80.37 c 80.4s|170000 | 51760 |489816 | 2.9 | 39M| 53 | 7 | 60 |4348 | 60 | 23 | 20 | 81k|1869 | 0.000000e+00 | -- | Inf
85.37/85.48 c 85.5s|180000 | 54410 |518186 | 2.9 | 42M| 53 | 7 | 60 |4082 | 60 | 23 | 20 | 86k|1915 | 0.000000e+00 | -- | Inf
90.36/90.48 c 90.5s|190000 | 57112 |546984 | 2.9 | 44M| 53 | 7 | 60 |4029 | 60 | 23 | 20 | 91k|1949 | 0.000000e+00 | -- | Inf
95.46/95.58 c 95.6s|200000 | 59669 |575804 | 2.9 | 46M| 53 | - | 60 |3710 | 60 | 23 | 20 | 96k|1994 | 0.000000e+00 | -- | Inf
100.46/100.56 c 101s|210000 | 62443 |603774 | 2.9 | 48M| 53 | 7 | 60 |3826 | 60 | 23 | 20 | 101k|2034 | 0.000000e+00 | -- | Inf
105.76/105.80 c 106s|220000 | 64958 |632064 | 2.9 | 50M| 53 | - | 60 |3938 | 60 | 23 | 20 | 106k|2071 | 0.000000e+00 | -- | Inf
110.66/110.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
110.66/110.77 c 111s|230000 | 67670 |660372 | 2.9 | 52M| 54 | - | 60 |4342 | 60 | 23 | 20 | 111k|2097 | 0.000000e+00 | -- | Inf
115.76/115.82 c 116s|240000 | 70391 |688440 | 2.9 | 55M| 54 | - | 60 |4627 | 60 | 23 | 20 | 116k|2119 | 0.000000e+00 | -- | Inf
120.86/120.91 c 121s|250000 | 73176 |717086 | 2.9 | 57M| 54 | 7 | 60 |3776 | 60 | 23 | 20 | 121k|2143 | 0.000000e+00 | -- | Inf
125.75/125.87 c 126s|260000 | 75916 |745651 | 2.9 | 59M| 54 | 7 | 60 |4040 | 60 | 23 | 20 | 126k|2167 | 0.000000e+00 | -- | Inf
130.86/130.92 c 131s|270000 | 78630 |774362 | 2.9 | 61M| 54 | - | 60 |4363 | 60 | 23 | 20 | 131k|2194 | 0.000000e+00 | -- | Inf
135.95/136.08 c 136s|280000 | 81234 |802831 | 2.9 | 63M| 54 | 7 | 60 |4452 | 60 | 23 | 20 | 136k|2222 | 0.000000e+00 | -- | Inf
141.35/141.48 c 141s|290000 | 83900 |830668 | 2.9 | 65M| 54 | - | 60 |4387 | 60 | 23 | 20 | 142k|2242 | 0.000000e+00 | -- | Inf
146.65/146.72 c 147s|300000 | 86497 |859232 | 2.9 | 68M| 54 | - | 60 |4545 | 60 | 23 | 20 | 147k|2262 | 0.000000e+00 | -- | Inf
152.05/152.10 c 152s|310000 | 89071 |886650 | 2.9 | 70M| 54 | 7 | 60 |4446 | 60 | 23 | 20 | 152k|2292 | 0.000000e+00 | -- | Inf
157.35/157.43 c 157s|320000 | 91856 |914951 | 2.9 | 72M| 54 | 7 | 60 |4206 | 60 | 23 | 20 | 157k|2324 | 0.000000e+00 | -- | Inf
162.34/162.43 c 162s|330000 | 94686 |942961 | 2.9 | 74M| 54 | 7 | 60 |4352 | 60 | 23 | 20 | 162k|2346 | 0.000000e+00 | -- | Inf
167.54/167.65 c 168s|340000 | 97335 |971429 | 2.9 | 76M| 54 | - | 60 |4565 | 60 | 23 | 20 | 167k|2365 | 0.000000e+00 | -- | Inf
172.84/172.94 c 173s|350000 | 99880 |999383 | 2.9 | 78M| 54 | - | 60 |4806 | 60 | 23 | 20 | 172k|2381 | 0.000000e+00 | -- | Inf
178.34/178.40 c 178s|360000 |102400 | 1027k| 2.9 | 80M| 54 | 7 | 60 |4751 | 60 | 23 | 20 | 177k|2406 | 0.000000e+00 | -- | Inf
183.84/183.96 c 184s|370000 |104837 | 1054k| 2.9 | 82M| 54 | - | 60 |4391 | 60 | 23 | 20 | 182k|2423 | 0.000000e+00 | -- | Inf
189.14/189.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
189.14/189.25 c 189s|380000 |107403 | 1083k| 2.9 | 85M| 54 | 7 | 60 |4846 | 60 | 23 | 20 | 187k|2434 | 0.000000e+00 | -- | Inf
194.64/194.77 c 195s|390000 |109835 | 1111k| 2.9 | 87M| 54 | - | 60 |4389 | 60 | 23 | 20 | 192k|2450 | 0.000000e+00 | -- | Inf
200.03/200.11 c 200s|400000 |112447 | 1139k| 2.8 | 89M| 54 | 7 | 60 |4260 | 60 | 23 | 20 | 197k|2478 | 0.000000e+00 | -- | Inf
205.23/205.38 c 205s|410000 |114941 | 1167k| 2.8 | 91M| 54 | - | 60 |4362 | 60 | 23 | 20 | 202k|2492 | 0.000000e+00 | -- | Inf
210.63/210.76 c 211s|420000 |117396 | 1196k| 2.8 | 93M| 54 | 7 | 60 |4591 | 60 | 23 | 20 | 208k|2515 | 0.000000e+00 | -- | Inf
215.73/215.86 c 216s|430000 |120233 | 1225k| 2.8 | 96M| 54 | 7 | 60 |5521 | 60 | 23 | 20 | 212k|2538 | 0.000000e+00 | -- | Inf
221.53/221.68 c 222s|440000 |122677 | 1252k| 2.8 | 98M| 54 | - | 60 |4758 | 60 | 23 | 20 | 218k|2559 | 0.000000e+00 | -- | Inf
226.83/226.92 c 227s|450000 |125568 | 1281k| 2.8 | 100M| 54 | - | 60 |5297 | 60 | 23 | 20 | 223k|2585 | 0.000000e+00 | -- | Inf
232.23/232.34 c 232s|460000 |128099 | 1310k| 2.8 | 102M| 54 | 7 | 60 |5913 | 60 | 23 | 20 | 228k|2599 | 0.000000e+00 | -- | Inf
238.22/238.34 c 238s|470000 |130455 | 1338k| 2.8 | 104M| 54 | 7 | 60 |4500 | 60 | 23 | 20 | 233k|2617 | 0.000000e+00 | -- | Inf
243.72/243.88 c 244s|480000 |132973 | 1366k| 2.8 | 106M| 54 | 7 | 60 |4493 | 60 | 23 | 20 | 238k|2633 | 0.000000e+00 | -- | Inf
248.92/249.04 c 249s|490000 |135632 | 1395k| 2.8 | 108M| 54 | - | 60 |5211 | 60 | 23 | 20 | 243k|2653 | 0.000000e+00 | -- | Inf
254.61/254.78 c 255s|500000 |138025 | 1422k| 2.8 | 110M| 54 | - | 60 |4300 | 60 | 23 | 20 | 248k|2672 | 0.000000e+00 | -- | Inf
260.21/260.36 c 260s|510000 |140331 | 1450k| 2.8 | 112M| 54 | 7 | 60 |4472 | 60 | 23 | 20 | 254k|2693 | 0.000000e+00 | -- | Inf
265.61/265.76 c 266s|520000 |142958 | 1478k| 2.8 | 115M| 54 | 7 | 60 |4749 | 60 | 23 | 20 | 258k|2719 | 0.000000e+00 | -- | Inf
271.01/271.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
271.01/271.15 c 271s|530000 |145562 | 1508k| 2.8 | 117M| 54 | 7 | 60 |5618 | 60 | 23 | 20 | 264k|2741 | 0.000000e+00 | -- | Inf
277.00/277.12 c 277s|540000 |147920 | 1536k| 2.8 | 119M| 54 | 7 | 60 |4771 | 60 | 23 | 20 | 269k|2764 | 0.000000e+00 | -- | Inf
282.72/282.87 c 283s|550000 |150292 | 1564k| 2.8 | 121M| 54 | 7 | 60 |4719 | 60 | 23 | 20 | 274k|2787 | 0.000000e+00 | -- | Inf
287.80/287.92 c 288s|560000 |153401 | 1592k| 2.8 | 123M| 54 | 7 | 60 |5020 | 60 | 23 | 20 | 279k|2803 | 0.000000e+00 | -- | Inf
293.20/293.36 c 293s|570000 |156074 | 1621k| 2.8 | 125M| 54 | - | 60 |5258 | 60 | 23 | 20 | 284k|2827 | 0.000000e+00 | -- | Inf
298.90/299.06 c 299s|580000 |158388 | 1650k| 2.8 | 127M| 54 | 7 | 60 |4808 | 60 | 23 | 20 | 289k|2858 | 0.000000e+00 | -- | Inf
304.00/304.11 c 304s|590000 |161460 | 1679k| 2.8 | 130M| 54 | - | 60 |5632 | 60 | 23 | 20 | 294k|2880 | 0.000000e+00 | -- | Inf
309.80/309.93 c 310s|600000 |163927 | 1706k| 2.8 | 132M| 54 | 7 | 60 |5333 | 60 | 23 | 20 | 299k|2901 | 0.000000e+00 | -- | Inf
315.10/315.29 c 315s|610000 |166824 | 1733k| 2.8 | 134M| 54 | - | 60 |5490 | 60 | 23 | 20 | 304k|2916 | 0.000000e+00 | -- | Inf
320.80/320.96 c 321s|620000 |169372 | 1761k| 2.8 | 136M| 54 | - | 60 |5243 | 60 | 23 | 20 | 309k|2935 | 0.000000e+00 | -- | Inf
326.10/326.27 c 326s|630000 |172241 | 1790k| 2.8 | 139M| 54 | 7 | 60 |6036 | 60 | 23 | 20 | 314k|2961 | 0.000000e+00 | -- | Inf
331.89/332.00 c 332s|640000 |174599 | 1818k| 2.8 | 140M| 54 | 7 | 60 |5201 | 60 | 23 | 20 | 319k|2984 | 0.000000e+00 | -- | Inf
337.49/337.66 c 338s|650000 |176847 | 1846k| 2.8 | 142M| 54 | - | 60 |4885 | 60 | 23 | 20 | 324k|3005 | 0.000000e+00 | -- | Inf
342.99/343.11 c 343s|660000 |179492 | 1875k| 2.8 | 145M| 54 | 7 | 60 |5451 | 60 | 23 | 20 | 329k|3032 | 0.000000e+00 | -- | Inf
348.39/348.59 c 349s|670000 |182155 | 1903k| 2.8 | 147M| 54 | 7 | 60 |5763 | 60 | 23 | 20 | 335k|3055 | 0.000000e+00 | -- | Inf
353.68/353.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
353.68/353.87 c 354s|680000 |185091 | 1932k| 2.8 | 150M| 54 | 7 | 60 |7077 | 60 | 23 | 20 | 339k|3070 | 0.000000e+00 | -- | Inf
360.08/360.23 c 360s|690000 |187512 | 1960k| 2.8 | 151M| 54 | 7 | 60 |5395 | 60 | 23 | 20 | 344k|3080 | 0.000000e+00 | -- | Inf
365.78/365.99 c 366s|700000 |189944 | 1988k| 2.8 | 153M| 54 | 7 | 60 |5036 | 60 | 23 | 20 | 350k|3100 | 0.000000e+00 | -- | Inf
370.98/371.13 c 371s|710000 |192636 | 2018k| 2.8 | 156M| 54 | 7 | 60 |6523 | 60 | 23 | 20 | 355k|3117 | 0.000000e+00 | -- | Inf
376.98/377.14 c 377s|720000 |194989 | 2046k| 2.8 | 158M| 54 | 7 | 60 |6082 | 60 | 23 | 20 | 360k|3134 | 0.000000e+00 | -- | Inf
383.08/383.24 c 383s|730000 |197383 | 2074k| 2.8 | 160M| 54 | - | 60 |5165 | 60 | 23 | 20 | 365k|3152 | 0.000000e+00 | -- | Inf
388.78/388.95 c 389s|740000 |199711 | 2102k| 2.8 | 162M| 54 | - | 60 |5540 | 60 | 23 | 20 | 370k|3166 | 0.000000e+00 | -- | Inf
394.88/395.09 c 395s|750000 |201910 | 2130k| 2.8 | 164M| 54 | - | 60 |5050 | 60 | 23 | 20 | 375k|3182 | 0.000000e+00 | -- | Inf
400.57/400.73 c 401s|760000 |204338 | 2158k| 2.8 | 166M| 54 | 7 | 60 |5783 | 60 | 23 | 20 | 380k|3201 | 0.000000e+00 | -- | Inf
406.27/406.43 c 406s|770000 |207109 | 2186k| 2.8 | 168M| 54 | - | 60 |5407 | 60 | 23 | 20 | 385k|3214 | 0.000000e+00 | -- | Inf
412.07/412.27 c 412s|780000 |209406 | 2214k| 2.8 | 170M| 54 | - | 60 |5593 | 60 | 23 | 20 | 390k|3230 | 0.000000e+00 | -- | Inf
417.77/418.00 c 418s|790000 |211994 | 2242k| 2.8 | 172M| 54 | 7 | 60 |5681 | 60 | 23 | 20 | 395k|3245 | 0.000000e+00 | -- | Inf
423.86/424.07 c 424s|800000 |214235 | 2269k| 2.8 | 174M| 54 | 7 | 60 |5234 | 60 | 23 | 20 | 401k|3258 | 0.000000e+00 | -- | Inf
429.87/430.00 c 430s|810000 |216526 | 2298k| 2.8 | 176M| 54 | 7 | 60 |5584 | 60 | 23 | 20 | 406k|3273 | 0.000000e+00 | -- | Inf
435.57/435.74 c 436s|820000 |219016 | 2326k| 2.8 | 179M| 54 | - | 60 |5700 | 60 | 23 | 20 | 411k|3288 | 0.000000e+00 | -- | Inf
441.46/441.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
441.46/441.61 c 442s|830000 |221408 | 2355k| 2.8 | 181M| 54 | - | 60 |5766 | 60 | 23 | 20 | 416k|3309 | 0.000000e+00 | -- | Inf
447.36/447.57 c 448s|840000 |223727 | 2383k| 2.8 | 183M| 54 | - | 60 |5688 | 60 | 23 | 20 | 421k|3318 | 0.000000e+00 | -- | Inf
453.25/453.45 c 453s|850000 |226070 | 2410k| 2.8 | 185M| 54 | - | 60 |6247 | 60 | 23 | 20 | 427k|3337 | 0.000000e+00 | -- | Inf
459.36/459.52 c 460s|860000 |228424 | 2438k| 2.8 | 187M| 54 | - | 60 |5692 | 60 | 23 | 20 | 432k|3360 | 0.000000e+00 | -- | Inf
465.27/465.46 c 465s|870000 |230834 | 2465k| 2.8 | 189M| 54 | 7 | 60 |5600 | 60 | 23 | 20 | 437k|3379 | 0.000000e+00 | -- | Inf
471.15/471.36 c 471s|880000 |233259 | 2494k| 2.8 | 191M| 54 | - | 60 |5977 | 60 | 23 | 20 | 442k|3388 | 0.000000e+00 | -- | Inf
477.05/477.27 c 477s|890000 |235712 | 2522k| 2.8 | 193M| 54 | 7 | 60 |6026 | 60 | 23 | 20 | 447k|3403 | 0.000000e+00 | -- | Inf
482.65/482.80 c 483s|900000 |238310 | 2549k| 2.8 | 195M| 54 | 7 | 60 |6343 | 60 | 23 | 20 | 452k|3411 | 0.000000e+00 | -- | Inf
488.75/488.93 c 489s|910000 |240774 | 2578k| 2.8 | 197M| 54 | 7 | 60 |5677 | 60 | 23 | 20 | 457k|3424 | 0.000000e+00 | -- | Inf
494.54/494.70 c 495s|920000 |243352 | 2605k| 2.8 | 200M| 54 | - | 60 |6332 | 0 | 0 | 20 | 462k|3436 | 0.000000e+00 | -- | Inf
500.55/500.79 c 501s|930000 |245828 | 2633k| 2.8 | 202M| 54 | 7 | 60 |5937 | 60 | 23 | 20 | 467k|3454 | 0.000000e+00 | -- | Inf
506.55/506.78 c 507s|940000 |248254 | 2661k| 2.8 | 204M| 54 | 7 | 60 |5920 | 60 | 23 | 20 | 472k|3466 | 0.000000e+00 | -- | Inf
512.55/512.74 c 513s|950000 |250781 | 2689k| 2.8 | 206M| 54 | 7 | 60 |6064 | 60 | 23 | 20 | 478k|3484 | 0.000000e+00 | -- | Inf
518.24/518.41 c 518s|960000 |253666 | 2717k| 2.8 | 208M| 54 | 7 | 60 |6364 | 60 | 23 | 20 | 482k|3495 | 0.000000e+00 | -- | Inf
524.24/524.42 c 524s|970000 |256088 | 2745k| 2.8 | 210M| 54 | 7 | 60 |6081 | 60 | 23 | 20 | 487k|3504 | 0.000000e+00 | -- | Inf
530.15/530.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
530.15/530.36 c 530s|980000 |258519 | 2773k| 2.8 | 212M| 54 | - | 60 |5899 | 60 | 23 | 20 | 493k|3523 | 0.000000e+00 | -- | Inf
536.43/536.66 c 537s|990000 |260753 | 2801k| 2.8 | 214M| 54 | - | 60 |5650 | 60 | 23 | 20 | 498k|3533 | 0.000000e+00 | -- | Inf
542.43/542.67 c 543s| 1000k|263073 | 2830k| 2.8 | 216M| 54 | 7 | 60 |5826 | 60 | 23 | 20 | 503k|3550 | 0.000000e+00 | -- | Inf
548.42/548.67 c 549s| 1010k|265652 | 2858k| 2.8 | 218M| 54 | - | 60 |5900 | 60 | 23 | 20 | 508k|3560 | 0.000000e+00 | -- | Inf
553.82/554.04 c 554s| 1020k|268910 | 2886k| 2.8 | 221M| 54 | 7 | 60 |6571 | 60 | 23 | 20 | 513k|3570 | 0.000000e+00 | -- | Inf
560.22/560.44 c 560s| 1030k|271348 | 2913k| 2.8 | 223M| 54 | 7 | 60 |6165 | 60 | 23 | 20 | 518k|3586 | 0.000000e+00 | -- | Inf
565.63/565.87 c 566s| 1040k|273915 | 2942k| 2.8 | 225M| 54 | - | 60 |7651 | 60 | 23 | 20 | 523k|3598 | 0.000000e+00 | -- | Inf
572.02/572.23 c 572s| 1050k|276295 | 2971k| 2.8 | 227M| 54 | - | 60 |7147 | 60 | 23 | 20 | 528k|3609 | 0.000000e+00 | -- | Inf
578.52/578.77 c 579s| 1060k|278749 | 2998k| 2.8 | 229M| 54 | 7 | 60 |5904 | 60 | 23 | 20 | 533k|3622 | 0.000000e+00 | -- | Inf
585.03/585.23 c 585s| 1070k|281040 | 3026k| 2.8 | 231M| 54 | 7 | 60 |5501 | 60 | 23 | 20 | 538k|3633 | 0.000000e+00 | -- | Inf
590.82/591.00 c 591s| 1080k|283627 | 3054k| 2.8 | 233M| 54 | 7 | 60 |5883 | 60 | 23 | 20 | 543k|3644 | 0.000000e+00 | -- | Inf
597.02/597.22 c 597s| 1090k|285931 | 3081k| 2.8 | 235M| 54 | 7 | 60 |5925 | 60 | 23 | 20 | 548k|3655 | 0.000000e+00 | -- | Inf
603.11/603.37 c 603s| 1100k|288117 | 3109k| 2.8 | 238M| 54 | 7 | 60 |5775 | 60 | 23 | 20 | 553k|3672 | 0.000000e+00 | -- | Inf
609.51/609.74 c 610s| 1110k|290539 | 3136k| 2.8 | 240M| 54 | 7 | 60 |5712 | 60 | 23 | 20 | 559k|3686 | 0.000000e+00 | -- | Inf
615.60/615.80 c 616s| 1120k|292877 | 3164k| 2.8 | 242M| 54 | - | 60 |5885 | 60 | 23 | 20 | 564k|3705 | 0.000000e+00 | -- | Inf
621.11/621.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
621.11/621.35 c 621s| 1130k|295615 | 3192k| 2.8 | 244M| 54 | 7 | 60 |6850 | 60 | 23 | 20 | 569k|3713 | 0.000000e+00 | -- | Inf
626.81/627.05 c 627s| 1140k|298287 | 3220k| 2.8 | 246M| 54 | 7 | 60 |7396 | 60 | 23 | 20 | 574k|3722 | 0.000000e+00 | -- | Inf
632.91/633.16 c 633s| 1150k|300861 | 3248k| 2.8 | 248M| 54 | 7 | 60 |6281 | 60 | 23 | 20 | 579k|3732 | 0.000000e+00 | -- | Inf
639.00/639.27 c 639s| 1160k|303260 | 3275k| 2.8 | 250M| 54 | - | 60 |5930 | 60 | 23 | 20 | 584k|3746 | 0.000000e+00 | -- | Inf
644.70/644.95 c 645s| 1170k|305764 | 3304k| 2.8 | 253M| 54 | 7 | 60 |7122 | 60 | 23 | 20 | 589k|3759 | 0.000000e+00 | -- | Inf
650.70/650.96 c 651s| 1180k|308421 | 3332k| 2.8 | 255M| 54 | 7 | 60 |7604 | 60 | 23 | 20 | 594k|3768 | 0.000000e+00 | -- | Inf
657.00/657.25 c 657s| 1190k|311181 | 3360k| 2.8 | 257M| 54 | - | 60 |6774 | 60 | 23 | 20 | 599k|3776 | 0.000000e+00 | -- | Inf
662.89/663.16 c 663s| 1200k|313921 | 3388k| 2.8 | 259M| 54 | - | 60 |7165 | 60 | 23 | 20 | 604k|3794 | 0.000000e+00 | -- | Inf
669.40/669.66 c 670s| 1210k|316330 | 3416k| 2.8 | 261M| 54 | 7 | 60 |6654 | 60 | 23 | 20 | 609k|3807 | 0.000000e+00 | -- | Inf
675.89/676.14 c 676s| 1220k|318659 | 3445k| 2.8 | 263M| 54 | 7 | 60 |5728 | 60 | 23 | 20 | 614k|3822 | 0.000000e+00 | -- | Inf
682.09/682.30 c 682s| 1230k|321019 | 3473k| 2.8 | 265M| 54 | - | 60 |6260 | 60 | 23 | 20 | 619k|3831 | 0.000000e+00 | -- | Inf
688.59/688.83 c 689s| 1240k|323253 | 3501k| 2.8 | 267M| 54 | - | 60 |6030 | 60 | 23 | 20 | 625k|3840 | 0.000000e+00 | -- | Inf
694.79/695.02 c 695s| 1250k|325675 | 3529k| 2.8 | 269M| 54 | - | 60 |5818 | 60 | 23 | 20 | 630k|3848 | 0.000000e+00 | -- | Inf
700.98/701.25 c 701s| 1260k|327927 | 3557k| 2.8 | 271M| 54 | - | 60 |6318 | 60 | 23 | 20 | 635k|3855 | 0.000000e+00 | -- | Inf
707.28/707.55 c 708s| 1270k|330348 | 3585k| 2.8 | 273M| 54 | 7 | 60 |5827 | 60 | 23 | 20 | 640k|3868 | 0.000000e+00 | -- | Inf
713.38/713.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
713.38/713.61 c 714s| 1280k|332683 | 3612k| 2.8 | 275M| 54 | - | 60 |6661 | 0 | 0 | 20 | 645k|3874 | 0.000000e+00 | -- | Inf
720.28/720.50 c 720s| 1290k|334939 | 3640k| 2.8 | 277M| 54 | - | 60 |5947 | 60 | 23 | 20 | 650k|3881 | 0.000000e+00 | -- | Inf
726.68/726.92 c 727s| 1300k|337355 | 3668k| 2.8 | 279M| 54 | - | 60 |5684 | 60 | 23 | 20 | 655k|3891 | 0.000000e+00 | -- | Inf
732.08/732.32 c 732s| 1310k|340082 | 3696k| 2.8 | 282M| 54 | 7 | 60 |7299 | 60 | 23 | 20 | 660k|3896 | 0.000000e+00 | -- | Inf
738.57/738.86 c 739s| 1320k|342415 | 3724k| 2.8 | 284M| 54 | - | 60 |6196 | 60 | 23 | 20 | 665k|3904 | 0.000000e+00 | -- | Inf
744.58/744.86 c 745s| 1330k|344943 | 3752k| 2.8 | 286M| 54 | - | 60 |6860 | 60 | 23 | 20 | 671k|3910 | 0.000000e+00 | -- | Inf
750.77/751.02 c 751s| 1340k|347343 | 3780k| 2.8 | 288M| 54 | - | 60 |7519 | 60 | 23 | 20 | 676k|3917 | 0.000000e+00 | -- | Inf
757.46/757.70 c 758s| 1350k|349743 | 3809k| 2.8 | 290M| 54 | 7 | 60 |6957 | 60 | 23 | 20 | 681k|3924 | 0.000000e+00 | -- | Inf
764.57/764.88 c 765s| 1360k|351890 | 3837k| 2.8 | 292M| 54 | 7 | 60 |6525 | 60 | 23 | 20 | 686k|3932 | 0.000000e+00 | -- | Inf
770.47/770.76 c 771s| 1370k|354272 | 3865k| 2.8 | 295M| 54 | 7 | 60 |7314 | 60 | 23 | 20 | 691k|3939 | 0.000000e+00 | -- | Inf
776.37/776.65 c 777s| 1380k|356937 | 3894k| 2.8 | 297M| 54 | - | 60 |8228 | 60 | 23 | 20 | 696k|3944 | 0.000000e+00 | -- | Inf
783.07/783.34 c 783s| 1390k|359385 | 3921k| 2.8 | 299M| 54 | 7 | 60 |6683 | 60 | 23 | 20 | 701k|3946 | 0.000000e+00 | -- | Inf
789.06/789.34 c 789s| 1400k|361936 | 3949k| 2.8 | 301M| 54 | - | 60 |6742 | 60 | 23 | 20 | 706k|3946 | 0.000000e+00 | -- | Inf
795.76/796.09 c 796s| 1410k|364124 | 3976k| 2.8 | 303M| 54 | 7 | 60 |6642 | 60 | 23 | 20 | 712k|3946 | 0.000000e+00 | -- | Inf
802.25/802.57 c 803s| 1420k|366172 | 4005k| 2.8 | 305M| 54 | - | 60 |6879 | 60 | 23 | 20 | 717k|3946 | 0.000000e+00 | -- | Inf
808.95/809.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
808.95/809.20 c 809s| 1430k|368467 | 4033k| 2.8 | 307M| 54 | 7 | 60 |6183 | 60 | 23 | 20 | 722k|3947 | 0.000000e+00 | -- | Inf
814.75/815.00 c 815s| 1440k|370995 | 4062k| 2.8 | 309M| 54 | - | 60 |6513 | 60 | 23 | 20 | 728k|3953 | 0.000000e+00 | -- | Inf
821.25/821.53 c 822s| 1450k|373405 | 4089k| 2.8 | 311M| 54 | - | 60 |6269 | 60 | 23 | 20 | 733k|3958 | 0.000000e+00 | -- | Inf
827.64/827.93 c 828s| 1460k|375795 | 4118k| 2.8 | 313M| 54 | 7 | 60 |6541 | 60 | 23 | 20 | 738k|3963 | 0.000000e+00 | -- | Inf
833.75/834.09 c 834s| 1470k|378130 | 4146k| 2.8 | 315M| 54 | 7 | 60 |7393 | 60 | 23 | 20 | 743k|3969 | 0.000000e+00 | -- | Inf
840.64/840.91 c 841s| 1480k|380366 | 4174k| 2.8 | 317M| 54 | - | 60 |7139 | 60 | 23 | 20 | 748k|3975 | 0.000000e+00 | -- | Inf
846.54/846.88 c 847s| 1490k|383140 | 4202k| 2.8 | 320M| 54 | - | 60 |7718 | 60 | 23 | 20 | 753k|3979 | 0.000000e+00 | -- | Inf
853.04/853.34 c 853s| 1500k|385605 | 4229k| 2.8 | 322M| 54 | 7 | 60 |7319 | 60 | 23 | 20 | 758k|3983 | 0.000000e+00 | -- | Inf
859.24/859.59 c 860s| 1510k|388262 | 4257k| 2.8 | 324M| 54 | 7 | 60 |7360 | 60 | 23 | 20 | 763k|3990 | 0.000000e+00 | -- | Inf
865.23/865.59 c 866s| 1520k|390925 | 4285k| 2.8 | 326M| 54 | 7 | 60 |7648 | 60 | 23 | 20 | 768k|4003 | 0.000000e+00 | -- | Inf
872.04/872.37 c 872s| 1530k|393302 | 4313k| 2.8 | 328M| 54 | 7 | 60 |6735 | 60 | 23 | 20 | 773k|4014 | 0.000000e+00 | -- | Inf
878.23/878.57 c 879s| 1540k|395864 | 4341k| 2.8 | 330M| 54 | - | 60 |7193 | 60 | 23 | 20 | 778k|4025 | 0.000000e+00 | -- | Inf
885.43/885.77 c 886s| 1550k|397926 | 4368k| 2.8 | 332M| 54 | - | 60 |6362 | 60 | 23 | 20 | 783k|4038 | 0.000000e+00 | -- | Inf
891.63/891.96 c 892s| 1560k|400480 | 4396k| 2.8 | 334M| 54 | 7 | 60 |6680 | 60 | 23 | 20 | 789k|4050 | 0.000000e+00 | -- | Inf
898.43/898.74 c 899s| 1570k|402742 | 4424k| 2.8 | 336M| 54 | 7 | 60 |6359 | 60 | 23 | 20 | 794k|4060 | 0.000000e+00 | -- | Inf
904.92/905.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
904.92/905.26 c 905s| 1580k|405171 | 4452k| 2.8 | 338M| 54 | - | 60 |6470 | 60 | 23 | 20 | 799k|4065 | 0.000000e+00 | -- | Inf
911.63/911.91 c 912s| 1590k|407469 | 4480k| 2.8 | 340M| 54 | 7 | 60 |6301 | 60 | 23 | 20 | 804k|4071 | 0.000000e+00 | -- | Inf
918.32/918.63 c 919s| 1600k|409600 | 4508k| 2.8 | 342M| 54 | 7 | 60 |5997 | 60 | 23 | 20 | 809k|4079 | 0.000000e+00 | -- | Inf
924.12/924.49 c 924s| 1610k|411987 | 4536k| 2.8 | 345M| 54 | 7 | 60 |7007 | 60 | 23 | 20 | 814k|4088 | 0.000000e+00 | -- | Inf
930.62/930.94 c 931s| 1620k|414356 | 4564k| 2.8 | 347M| 54 | 7 | 60 |7378 | 60 | 23 | 20 | 820k|4101 | 0.000000e+00 | -- | Inf
936.71/937.02 c 937s| 1630k|417093 | 4592k| 2.8 | 349M| 54 | - | 60 |8341 | 60 | 23 | 20 | 825k|4108 | 0.000000e+00 | -- | Inf
943.51/943.88 c 944s| 1640k|419591 | 4619k| 2.8 | 351M| 54 | 7 | 60 |7523 | 60 | 23 | 20 | 830k|4116 | 0.000000e+00 | -- | Inf
950.31/950.66 c 951s| 1650k|421918 | 4647k| 2.8 | 353M| 54 | - | 60 |7300 | 60 | 23 | 20 | 835k|4123 | 0.000000e+00 | -- | Inf
957.00/957.32 c 957s| 1660k|424105 | 4675k| 2.8 | 355M| 54 | - | 60 |7115 | 60 | 23 | 20 | 840k|4128 | 0.000000e+00 | -- | Inf
962.40/962.72 c 963s| 1670k|427131 | 4705k| 2.8 | 357M| 54 | 7 | 60 |7905 | 60 | 23 | 20 | 845k|4136 | 0.000000e+00 | -- | Inf
968.81/969.19 c 969s| 1680k|429541 | 4734k| 2.8 | 359M| 54 | - | 60 |7384 | 60 | 23 | 20 | 850k|4144 | 0.000000e+00 | -- | Inf
975.90/976.20 c 976s| 1690k|431793 | 4761k| 2.8 | 361M| 54 | 7 | 60 |6829 | 60 | 23 | 20 | 855k|4148 | 0.000000e+00 | -- | Inf
982.19/982.53 c 983s| 1700k|434275 | 4789k| 2.8 | 364M| 54 | 7 | 60 |7435 | 60 | 23 | 20 | 860k|4155 | 0.000000e+00 | -- | Inf
988.10/988.44 c 988s| 1710k|437138 | 4817k| 2.8 | 366M| 54 | 7 | 60 |7847 | 60 | 23 | 20 | 865k|4162 | 0.000000e+00 | -- | Inf
993.79/994.20 c 994s| 1720k|439717 | 4845k| 2.8 | 368M| 54 | 7 | 60 |8896 | 60 | 23 | 20 | 870k|4168 | 0.000000e+00 | -- | Inf
1001.00/1001.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1001.00/1001.33 c 1001s| 1730k|441908 | 4873k| 2.8 | 370M| 54 | 7 | 60 |7900 | 60 | 23 | 20 | 875k|4173 | 0.000000e+00 | -- | Inf
1006.70/1007.07 c 1007s| 1740k|444655 | 4902k| 2.8 | 372M| 54 | - | 60 |8660 | 60 | 23 | 20 | 880k|4180 | 0.000000e+00 | -- | Inf
1013.89/1014.27 c 1014s| 1750k|446932 | 4930k| 2.8 | 374M| 54 | - | 60 |7267 | 60 | 23 | 20 | 885k|4187 | 0.000000e+00 | -- | Inf
1020.28/1020.65 c 1021s| 1760k|449475 | 4958k| 2.8 | 376M| 54 | - | 60 |7569 | 60 | 23 | 20 | 890k|4198 | 0.000000e+00 | -- | Inf
1027.28/1027.67 c 1028s| 1770k|451820 | 4986k| 2.8 | 378M| 54 | 7 | 60 |6843 | 60 | 23 | 20 | 895k|4204 | 0.000000e+00 | -- | Inf
1033.29/1033.60 c 1034s| 1780k|454799 | 5014k| 2.8 | 381M| 54 | - | 60 |7591 | 60 | 23 | 20 | 900k|4210 | 0.000000e+00 | -- | Inf
1040.58/1040.97 c 1041s| 1790k|456943 | 5042k| 2.8 | 382M| 54 | - | 60 |6148 | 60 | 23 | 20 | 905k|4216 | 0.000000e+00 | -- | Inf
1047.38/1047.77 c 1048s| 1800k|459044 | 5070k| 2.8 | 384M| 54 | 7 | 60 |6238 | 60 | 23 | 20 | 910k|4223 | 0.000000e+00 | -- | Inf
1053.78/1054.18 c 1054s| 1810k|461521 | 5098k| 2.8 | 387M| 54 | 7 | 60 |6181 | 60 | 23 | 20 | 916k|4227 | 0.000000e+00 | -- | Inf
1059.48/1059.85 c 1060s| 1820k|464346 | 5127k| 2.8 | 389M| 54 | - | 60 |7077 | 60 | 23 | 20 | 920k|4231 | 0.000000e+00 | -- | Inf
1064.77/1065.16 c 1065s| 1830k|467746 | 5157k| 2.8 | 391M| 54 | - | 60 |8283 | 60 | 23 | 20 | 925k|4239 | 0.000000e+00 | -- | Inf
1070.67/1071.04 c 1071s| 1840k|470605 | 5186k| 2.8 | 394M| 54 | 7 | 60 |8761 | 60 | 23 | 20 | 930k|4244 | 0.000000e+00 | -- | Inf
1077.67/1078.02 c 1078s| 1850k|473076 | 5214k| 2.8 | 396M| 54 | - | 60 |7722 | 0 | 0 | 20 | 935k|4247 | 0.000000e+00 | -- | Inf
1084.57/1084.96 c 1085s| 1860k|475463 | 5242k| 2.8 | 398M| 54 | - | 60 |7142 | 60 | 23 | 20 | 940k|4255 | 0.000000e+00 | -- | Inf
1090.77/1091.10 c 1091s| 1870k|478129 | 5269k| 2.8 | 400M| 54 | 7 | 60 |7126 | 60 | 23 | 20 | 945k|4258 | 0.000000e+00 | -- | Inf
1097.76/1098.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1097.76/1098.11 c 1098s| 1880k|480456 | 5297k| 2.8 | 402M| 54 | - | 60 |7314 | 60 | 23 | 20 | 950k|4258 | 0.000000e+00 | -- | Inf
1104.76/1105.10 c 1105s| 1890k|482930 | 5325k| 2.8 | 404M| 54 | - | 60 |7265 | 60 | 23 | 20 | 955k|4263 | 0.000000e+00 | -- | Inf
1111.36/1111.71 c 1112s| 1900k|485136 | 5353k| 2.8 | 406M| 54 | 7 | 60 |7426 | 60 | 23 | 20 | 960k|4265 | 0.000000e+00 | -- | Inf
1117.66/1118.06 c 1118s| 1910k|487870 | 5381k| 2.8 | 408M| 54 | 7 | 60 |7864 | 60 | 23 | 20 | 965k|4272 | 0.000000e+00 | -- | Inf
1124.46/1124.85 c 1125s| 1920k|490109 | 5409k| 2.8 | 410M| 54 | 7 | 60 |7782 | 60 | 23 | 20 | 970k|4278 | 0.000000e+00 | -- | Inf
1130.95/1131.36 c 1131s| 1930k|492485 | 5437k| 2.8 | 413M| 54 | - | 60 |8149 | 60 | 23 | 20 | 976k|4278 | 0.000000e+00 | -- | Inf
1137.75/1138.12 c 1138s| 1940k|494816 | 5466k| 2.8 | 415M| 54 | 7 | 60 |7619 | 60 | 23 | 20 | 981k|4284 | 0.000000e+00 | -- | Inf
1145.05/1145.45 c 1145s| 1950k|496950 | 5495k| 2.8 | 416M| 54 | - | 60 |6839 | 60 | 23 | 20 | 986k|4289 | 0.000000e+00 | -- | Inf
1152.15/1152.57 c 1153s| 1960k|499237 | 5523k| 2.8 | 418M| 54 | 7 | 60 |6537 | 60 | 23 | 20 | 991k|4295 | 0.000000e+00 | -- | Inf
1158.35/1158.78 c 1159s| 1970k|501520 | 5551k| 2.8 | 421M| 54 | 7 | 60 |7792 | 60 | 23 | 20 | 997k|4303 | 0.000000e+00 | -- | Inf
1164.74/1165.14 c 1165s| 1980k|504068 | 5578k| 2.8 | 423M| 54 | 7 | 60 |7563 | 60 | 23 | 20 |1002k|4311 | 0.000000e+00 | -- | Inf
1171.75/1172.15 c 1172s| 1990k|506181 | 5607k| 2.8 | 425M| 54 | 7 | 60 |6517 | 60 | 23 | 20 |1007k|4315 | 0.000000e+00 | -- | Inf
1178.34/1178.75 c 1179s| 2000k|508510 | 5634k| 2.8 | 427M| 54 | 7 | 60 |6613 | 60 | 23 | 20 |1012k|4322 | 0.000000e+00 | -- | Inf
1185.45/1185.81 c 1186s| 2010k|510786 | 5661k| 2.8 | 429M| 54 | - | 60 |6084 | 60 | 23 | 20 |1017k|4328 | 0.000000e+00 | -- | Inf
1192.14/1192.55 c 1193s| 2020k|513074 | 5689k| 2.8 | 431M| 54 | 7 | 60 |6154 | 60 | 23 | 20 |1023k|4334 | 0.000000e+00 | -- | Inf
1198.64/1199.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1198.64/1199.06 c 1199s| 2030k|515376 | 5717k| 2.8 | 433M| 54 | - | 60 |6744 | 0 | 0 | 20 |1028k|4340 | 0.000000e+00 | -- | Inf
1205.13/1205.52 c 1206s| 2040k|517648 | 5745k| 2.8 | 435M| 54 | - | 60 |6775 | 60 | 23 | 20 |1033k|4349 | 0.000000e+00 | -- | Inf
1212.03/1212.40 c 1212s| 2050k|519942 | 5772k| 2.8 | 437M| 54 | 7 | 60 |6676 | 60 | 23 | 20 |1038k|4357 | 0.000000e+00 | -- | Inf
1218.13/1218.57 c 1219s| 2060k|522453 | 5799k| 2.8 | 439M| 54 | 7 | 60 |7196 | 60 | 23 | 20 |1043k|4363 | 0.000000e+00 | -- | Inf
1224.53/1224.99 c 1225s| 2070k|525070 | 5827k| 2.8 | 441M| 54 | 7 | 60 |7477 | 60 | 23 | 20 |1048k|4364 | 0.000000e+00 | -- | Inf
1231.73/1232.13 c 1232s| 2080k|527252 | 5855k| 2.8 | 443M| 54 | 7 | 60 |7053 | 60 | 23 | 20 |1053k|4364 | 0.000000e+00 | -- | Inf
1237.72/1238.19 c 1238s| 2090k|529929 | 5882k| 2.8 | 446M| 54 | 7 | 60 |7771 | 60 | 23 | 20 |1058k|4364 | 0.000000e+00 | -- | Inf
1244.42/1244.80 c 1245s| 2100k|532330 | 5910k| 2.8 | 448M| 54 | 7 | 60 |8135 | 60 | 23 | 20 |1063k|4364 | 0.000000e+00 | -- | Inf
1251.32/1251.73 c 1252s| 2110k|534712 | 5938k| 2.8 | 450M| 54 | 7 | 60 |7552 | 60 | 23 | 20 |1068k|4369 | 0.000000e+00 | -- | Inf
1256.72/1257.19 c 1257s| 2120k|537670 | 5966k| 2.8 | 452M| 54 | 7 | 60 |8981 | 60 | 23 | 20 |1073k|4376 | 0.000000e+00 | -- | Inf
1262.62/1263.10 c 1263s| 2130k|540114 | 5992k| 2.8 | 454M| 54 | 7 | 60 |9854 | 60 | 23 | 20 |1078k|4381 | 0.000000e+00 | -- | Inf
1270.01/1270.46 c 1270s| 2140k|542523 | 6020k| 2.8 | 456M| 54 | 7 | 60 |8888 | 60 | 23 | 20 |1083k|4385 | 0.000000e+00 | -- | Inf
1277.11/1277.55 c 1278s| 2150k|544745 | 6048k| 2.8 | 459M| 54 | 7 | 60 |9224 | 60 | 23 | 20 |1088k|4389 | 0.000000e+00 | -- | Inf
1283.71/1284.19 c 1284s| 2160k|547183 | 6076k| 2.8 | 461M| 54 | 7 | 60 |8948 | 60 | 23 | 20 |1094k|4390 | 0.000000e+00 | -- | Inf
1289.40/1289.84 c 1290s| 2170k|550593 | 6105k| 2.8 | 463M| 54 | - | 60 | 10k| 60 | 23 | 20 |1098k|4396 | 0.000000e+00 | -- | Inf
1295.60/1296.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1295.60/1296.01 c 1296s| 2180k|553430 | 6133k| 2.8 | 466M| 54 | 7 | 60 | 11k| 60 | 23 | 20 |1103k|4400 | 0.000000e+00 | -- | Inf
1303.71/1304.16 c 1304s| 2190k|555715 | 6162k| 2.8 | 467M| 54 | - | 60 |9767 | 60 | 23 | 20 |1108k|4404 | 0.000000e+00 | -- | Inf
1311.41/1311.81 c 1312s| 2200k|558147 | 6190k| 2.8 | 469M| 54 | 7 | 60 |8982 | 60 | 23 | 20 |1113k|4410 | 0.000000e+00 | -- | Inf
1319.61/1320.09 c 1320s| 2210k|560146 | 6218k| 2.8 | 471M| 54 | 7 | 60 |7456 | 60 | 23 | 20 |1119k|4420 | 0.000000e+00 | -- | Inf
1326.49/1326.99 c 1327s| 2220k|562421 | 6246k| 2.8 | 473M| 54 | - | 60 |7861 | 60 | 23 | 20 |1124k|4425 | 0.000000e+00 | -- | Inf
1334.09/1334.51 c 1335s| 2230k|564587 | 6273k| 2.8 | 475M| 54 | - | 60 |7018 | 60 | 23 | 20 |1129k|4433 | 0.000000e+00 | -- | Inf
1340.99/1341.48 c 1341s| 2240k|566798 | 6300k| 2.8 | 477M| 54 | 7 | 60 |7173 | 60 | 23 | 20 |1134k|4440 | 0.000000e+00 | -- | Inf
1347.70/1348.18 c 1348s| 2250k|569201 | 6328k| 2.8 | 479M| 54 | - | 60 |7277 | 60 | 23 | 20 |1140k|4446 | 0.000000e+00 | -- | Inf
1354.09/1354.60 c 1355s| 2260k|571779 | 6357k| 2.8 | 481M| 54 | - | 60 |8147 | 60 | 23 | 20 |1145k|4451 | 0.000000e+00 | -- | Inf
1360.88/1361.39 c 1361s| 2270k|574184 | 6384k| 2.8 | 483M| 54 | - | 60 |7815 | 60 | 23 | 20 |1150k|4459 | 0.000000e+00 | -- | Inf
1368.38/1368.80 c 1369s| 2280k|576366 | 6412k| 2.8 | 485M| 54 | - | 60 |7252 | 60 | 23 | 20 |1155k|4464 | 0.000000e+00 | -- | Inf
1375.88/1376.35 c 1376s| 2290k|578492 | 6440k| 2.8 | 487M| 54 | - | 60 |7076 | 60 | 23 | 20 |1160k|4467 | 0.000000e+00 | -- | Inf
1382.88/1383.34 c 1383s| 2300k|580806 | 6467k| 2.8 | 489M| 54 | 7 | 60 |7208 | 60 | 23 | 20 |1165k|4471 | 0.000000e+00 | -- | Inf
1389.28/1389.78 c 1390s| 2310k|583195 | 6496k| 2.8 | 492M| 54 | 7 | 60 |7743 | 60 | 23 | 20 |1171k|4479 | 0.000000e+00 | -- | Inf
1394.58/1395.09 c 1395s| 2320k|586045 | 6525k| 2.8 | 494M| 54 | 7 | 60 | 10k| 60 | 23 | 20 |1175k|4483 | 0.000000e+00 | -- | Inf
1401.47/1401.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1401.47/1401.93 c 1402s| 2330k|588456 | 6554k| 2.8 | 497M| 54 | - | 60 | 10k| 60 | 23 | 20 |1180k|4487 | 0.000000e+00 | -- | Inf
1408.87/1409.38 c 1409s| 2340k|590961 | 6581k| 2.8 | 498M| 54 | 7 | 60 |9012 | 60 | 23 | 20 |1185k|4491 | 0.000000e+00 | -- | Inf
1416.48/1416.93 c 1417s| 2350k|593241 | 6609k| 2.8 | 500M| 54 | 7 | 60 |7922 | 60 | 23 | 20 |1191k|4496 | 0.000000e+00 | -- | Inf
1423.47/1423.94 c 1424s| 2360k|595571 | 6636k| 2.8 | 502M| 54 | 7 | 60 |7655 | 60 | 23 | 20 |1196k|4506 | 0.000000e+00 | -- | Inf
1429.76/1430.29 c 1430s| 2370k|598109 | 6665k| 2.8 | 505M| 54 | 7 | 60 |9244 | 60 | 23 | 20 |1201k|4516 | 0.000000e+00 | -- | Inf
1437.07/1437.55 c 1438s| 2380k|600562 | 6693k| 2.8 | 507M| 54 | 7 | 60 |8494 | 60 | 23 | 20 |1206k|4523 | 0.000000e+00 | -- | Inf
1444.46/1444.96 c 1445s| 2390k|602970 | 6721k| 2.8 | 508M| 54 | 7 | 60 |7236 | 60 | 23 | 20 |1211k|4529 | 0.000000e+00 | -- | Inf
1451.16/1451.61 c 1452s| 2400k|605333 | 6749k| 2.8 | 511M| 54 | 7 | 60 |7925 | 60 | 23 | 20 |1216k|4537 | 0.000000e+00 | -- | Inf
1457.75/1458.30 c 1458s| 2410k|607740 | 6776k| 2.8 | 513M| 54 | 7 | 60 |8166 | 60 | 23 | 20 |1221k|4551 | 0.000000e+00 | -- | Inf
1465.55/1466.01 c 1466s| 2420k|609849 | 6804k| 2.8 | 515M| 54 | - | 60 |7420 | 60 | 23 | 20 |1226k|4557 | 0.000000e+00 | -- | Inf
1472.65/1473.15 c 1473s| 2430k|612136 | 6831k| 2.8 | 517M| 54 | - | 60 |6973 | 60 | 23 | 20 |1232k|4562 | 0.000000e+00 | -- | Inf
1478.45/1478.95 c 1479s| 2440k|615171 | 6858k| 2.8 | 519M| 54 | 7 | 60 |7531 | 60 | 23 | 20 |1236k|4568 | 0.000000e+00 | -- | Inf
1485.45/1485.93 c 1486s| 2450k|617456 | 6886k| 2.8 | 521M| 54 | - | 60 |7392 | 60 | 23 | 20 |1241k|4572 | 0.000000e+00 | -- | Inf
1492.45/1492.94 c 1493s| 2460k|619932 | 6914k| 2.8 | 523M| 54 | 7 | 60 |6773 | 60 | 23 | 20 |1246k|4574 | 0.000000e+00 | -- | Inf
1498.95/1499.46 c 1499s| 2470k|622544 | 6941k| 2.8 | 525M| 54 | 7 | 60 |7244 | 60 | 23 | 20 |1251k|4579 | 0.000000e+00 | -- | Inf
1504.55/1505.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1504.55/1505.09 c 1505s| 2480k|625211 | 6968k| 2.8 | 528M| 54 | 7 | 60 |9344 | 60 | 23 | 20 |1256k|4583 | 0.000000e+00 | -- | Inf
1511.94/1512.40 c 1512s| 2490k|627567 | 6996k| 2.8 | 530M| 54 | - | 60 |7963 | 60 | 23 | 20 |1261k|4589 | 0.000000e+00 | -- | Inf
1519.34/1519.80 c 1520s| 2500k|629891 | 7024k| 2.8 | 532M| 54 | - | 60 |7464 | 60 | 23 | 20 |1267k|4593 | 0.000000e+00 | -- | Inf
1525.43/1525.92 c 1526s| 2510k|632522 | 7052k| 2.8 | 534M| 54 | - | 60 |7888 | 60 | 23 | 20 |1272k|4600 | 0.000000e+00 | -- | Inf
1532.83/1533.39 c 1533s| 2520k|634754 | 7080k| 2.8 | 536M| 54 | - | 60 |7317 | 60 | 23 | 20 |1277k|4604 | 0.000000e+00 | -- | Inf
1540.24/1540.72 c 1541s| 2530k|636855 | 7108k| 2.8 | 538M| 54 | - | 60 |7315 | 0 | 0 | 20 |1282k|4610 | 0.000000e+00 | -- | Inf
1547.03/1547.59 c 1548s| 2540k|639062 | 7136k| 2.8 | 540M| 54 | 7 | 60 |8296 | 60 | 23 | 20 |1287k|4616 | 0.000000e+00 | -- | Inf
1554.23/1554.76 c 1555s| 2550k|641311 | 7163k| 2.8 | 542M| 54 | 7 | 60 |7771 | 60 | 23 | 20 |1293k|4624 | 0.000000e+00 | -- | Inf
1560.73/1561.23 c 1561s| 2560k|643816 | 7191k| 2.8 | 544M| 54 | 7 | 60 |8231 | 60 | 23 | 20 |1298k|4632 | 0.000000e+00 | -- | Inf
1567.72/1568.27 c 1568s| 2570k|646171 | 7219k| 2.8 | 546M| 54 | 7 | 60 |8594 | 60 | 23 | 20 |1303k|4638 | 0.000000e+00 | -- | Inf
1574.73/1575.23 c 1575s| 2580k|648565 | 7248k| 2.8 | 548M| 54 | - | 60 |8653 | 60 | 23 | 20 |1308k|4643 | 0.000000e+00 | -- | Inf
1581.72/1582.27 c 1582s| 2590k|651006 | 7276k| 2.8 | 550M| 54 | 7 | 60 |8524 | 60 | 23 | 20 |1313k|4653 | 0.000000e+00 | -- | Inf
1588.82/1589.37 c 1589s| 2600k|653528 | 7303k| 2.8 | 552M| 54 | - | 60 |7983 | 60 | 23 | 20 |1318k|4657 | 0.000000e+00 | -- | Inf
1596.32/1596.83 c 1597s| 2610k|655748 | 7332k| 2.8 | 554M| 54 | 7 | 60 |7149 | 60 | 23 | 20 |1323k|4663 | 0.000000e+00 | -- | Inf
1603.62/1604.11 c 1604s| 2620k|657877 | 7359k| 2.8 | 556M| 54 | - | 60 |7198 | 0 | 0 | 20 |1329k|4668 | 0.000000e+00 | -- | Inf
1611.02/1611.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1611.02/1611.53 c 1612s| 2630k|659989 | 7387k| 2.8 | 558M| 54 | 7 | 60 |7209 | 60 | 23 | 20 |1334k|4674 | 0.000000e+00 | -- | Inf
1617.81/1618.35 c 1618s| 2640k|662257 | 7414k| 2.8 | 561M| 54 | 7 | 60 |7648 | 60 | 23 | 20 |1339k|4684 | 0.000000e+00 | -- | Inf
1624.90/1625.48 c 1625s| 2650k|664480 | 7442k| 2.8 | 563M| 54 | 7 | 60 |7329 | 60 | 23 | 20 |1345k|4690 | 0.000000e+00 | -- | Inf
1631.60/1632.19 c 1632s| 2660k|667082 | 7470k| 2.8 | 565M| 54 | - | 60 |8118 | 60 | 23 | 20 |1350k|4696 | 0.000000e+00 | -- | Inf
1637.51/1638.06 c 1638s| 2670k|670053 | 7498k| 2.8 | 567M| 54 | 7 | 60 |9100 | 60 | 23 | 20 |1354k|4707 | 0.000000e+00 | -- | Inf
1644.51/1645.06 c 1645s| 2680k|672765 | 7526k| 2.8 | 569M| 54 | 7 | 60 |8707 | 60 | 23 | 20 |1359k|4718 | 0.000000e+00 | -- | Inf
1652.50/1653.02 c 1653s| 2690k|674752 | 7553k| 2.8 | 571M| 54 | 7 | 60 |6992 | 60 | 23 | 20 |1364k|4726 | 0.000000e+00 | -- | Inf
1659.60/1660.14 c 1660s| 2700k|677171 | 7581k| 2.8 | 573M| 54 | 7 | 60 |7119 | 60 | 23 | 20 |1369k|4729 | 0.000000e+00 | -- | Inf
1666.10/1666.61 c 1667s| 2710k|679812 | 7609k| 2.8 | 575M| 54 | 7 | 60 |7591 | 60 | 23 | 20 |1374k|4736 | 0.000000e+00 | -- | Inf
1672.70/1673.22 c 1673s| 2720k|682251 | 7636k| 2.8 | 577M| 54 | 7 | 60 |7840 | 60 | 23 | 20 |1380k|4741 | 0.000000e+00 | -- | Inf
1679.59/1680.17 c 1680s| 2730k|684532 | 7664k| 2.8 | 579M| 54 | 7 | 60 |7553 | 60 | 23 | 20 |1385k|4745 | 0.000000e+00 | -- | Inf
1686.79/1687.32 c 1687s| 2740k|686785 | 7691k| 2.8 | 581M| 54 | 7 | 60 |7398 | 60 | 23 | 20 |1390k|4751 | 0.000000e+00 | -- | Inf
1694.08/1694.61 c 1695s| 2750k|689099 | 7719k| 2.8 | 583M| 54 | 7 | 60 |7463 | 60 | 23 | 20 |1395k|4759 | 0.000000e+00 | -- | Inf
1701.08/1701.60 c 1702s| 2760k|691137 | 7749k| 2.8 | 586M| 54 | 7 | 60 |7993 | 60 | 23 | 20 |1401k|4764 | 0.000000e+00 | -- | Inf
1708.48/1709.01 c 1709s| 2770k|693325 | 7776k| 2.8 | 588M| 54 | - | 60 |7665 | 60 | 23 | 20 |1406k|4770 | 0.000000e+00 | -- | Inf
1714.68/1715.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1714.68/1715.21 c 1715s| 2780k|696078 | 7804k| 2.8 | 590M| 54 | - | 60 |8729 | 60 | 23 | 20 |1411k|4777 | 0.000000e+00 | -- | Inf
1721.08/1721.67 c 1722s| 2790k|698785 | 7833k| 2.8 | 592M| 54 | 7 | 60 |8109 | 60 | 23 | 20 |1415k|4783 | 0.000000e+00 | -- | Inf
1727.98/1728.51 c 1729s| 2800k|701356 | 7862k| 2.8 | 594M| 54 | 7 | 60 |7912 | 60 | 23 | 20 |1420k|4791 | 0.000000e+00 | -- | Inf
1734.28/1734.89 c 1735s| 2810k|703968 | 7890k| 2.8 | 596M| 54 | 7 | 60 |8640 | 60 | 23 | 20 |1425k|4799 | 0.000000e+00 | -- | Inf
1741.88/1742.48 c 1742s| 2820k|706483 | 7918k| 2.8 | 598M| 54 | 7 | 60 |7519 | 60 | 23 | 20 |1430k|4804 | 0.000000e+00 | -- | Inf
1749.37/1749.98 c 1750s| 2830k|708604 | 7946k| 2.8 | 600M| 54 | 7 | 60 |7421 | 60 | 23 | 20 |1435k|4807 | 0.000000e+00 | -- | Inf
1756.87/1757.46 c 1757s| 2840k|710811 | 7974k| 2.8 | 602M| 54 | - | 60 |7223 | 60 | 23 | 20 |1441k|4820 | 0.000000e+00 | -- | Inf
1764.17/1764.75 c 1765s| 2850k|713246 | 8001k| 2.8 | 604M| 54 | - | 60 |7938 | 60 | 23 | 20 |1446k|4829 | 0.000000e+00 | -- | Inf
1771.36/1771.91 c 1772s| 2860k|715600 | 8029k| 2.8 | 607M| 54 | 7 | 60 |8250 | 60 | 23 | 20 |1451k|4837 | 0.000000e+00 | -- | Inf
1777.96/1778.58 c 1779s| 2870k|718028 | 8057k| 2.8 | 609M| 54 | - | 60 |8994 | 60 | 23 | 20 |1456k|4844 | 0.000000e+00 | -- | Inf
1785.26/1785.89 c 1786s| 2880k|720462 | 8086k| 2.8 | 611M| 54 | 7 | 60 |8328 | 60 | 23 | 20 |1461k|4852 | 0.000000e+00 | -- | Inf
1789.46/1790.01 c
1789.46/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.46/1790.01 c Solving Time (sec) : 1790.00
1789.46/1790.01 c Solving Nodes : 2885757
1789.46/1790.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.46/1790.01 c Dual Bound : +0.00000000000000e+00
1789.46/1790.01 c Gap : infinite
1789.46/1790.01 s UNKNOWN
1789.46/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.46/1790.01 c Solving Time : 1790.00
1789.46/1790.01 c Original Problem :
1789.46/1790.01 c Problem name : HOME/instance-2703529-1278562126.opb
1789.46/1790.01 c Variables : 61 (61 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.46/1790.01 c Constraints : 15 initial, 15 maximal
1789.46/1790.01 c Presolved Problem :
1789.46/1790.01 c Problem name : t_HOME/instance-2703529-1278562126.opb
1789.46/1790.01 c Variables : 60 (60 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.46/1790.01 c Constraints : 7 initial, 11696 maximal
1789.46/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.46/1790.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.46/1790.01 c dualfix : 0.00 1 0 0 0 0 0 0 0
1789.46/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.46/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.46/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0
1789.46/1790.01 c probing : 0.01 0 0 0 0 0 0 0 0
1789.46/1790.01 c linear : 0.00 0 0 0 0 0 8 0 0
1789.46/1790.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.46/1790.01 c root node : - 0 - - 0 - - - -
1789.46/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.46/1790.01 c integral : 0 0 0 1812459 0 408 1962 0 0 3620378
1789.46/1790.01 c linear : 7 6 7008950 0 1 104363 3042208 0 0 0
1789.46/1790.01 c logicor : 0+ 0 2811766 0 0 4740 1012338 0 0 0
1789.46/1790.01 c countsols : 0 0 0 0 1 0 0 0 0 0
1789.46/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.46/1790.01 c integral : 22.28 0.00 0.00 22.28 0.00
1789.46/1790.01 c linear : 330.71 0.00 330.71 0.00 0.00
1789.46/1790.01 c logicor : 399.80 0.00 399.80 0.00 0.00
1789.46/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.46/1790.01 c Propagators : Time Calls Cutoffs DomReds
1789.46/1790.01 c vbounds : 2.64 2 0 0
1789.46/1790.01 c rootredcost : 2.58 0 0 0
1789.46/1790.01 c pseudoobj : 2.12 0 0 0
1789.46/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.46/1790.01 c propagation : 15.30 109103 99789 367722 41.7 19 35.7 -
1789.46/1790.01 c infeasible LP : 66.96 974387 974359 1930283 28.3 10921 33.3 0
1789.46/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.46/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.46/1790.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.46/1790.01 c applied globally : - - - 1212902 23.3 - - -
1789.46/1790.01 c applied locally : - - - 251431 36.7 - - -
1789.46/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.46/1790.01 c cut pool : 0.00 5 - - 17 - (maximal pool size: 77)
1789.46/1790.01 c redcost : 4.73 1812462 0 0 0 0
1789.46/1790.01 c impliedbounds : 0.00 6 0 0 0 0
1789.46/1790.01 c intobj : 0.00 0 0 0 0 0
1789.46/1790.01 c cgmip : 0.00 0 0 0 0 0
1789.46/1790.01 c gomory : 0.01 6 0 0 1 0
1789.46/1790.01 c strongcg : 0.00 6 0 0 25 0
1789.46/1790.01 c cmir : 0.03 6 0 0 26 0
1789.46/1790.01 c flowcover : 0.03 6 0 0 36 0
1789.46/1790.01 c clique : 0.00 1 0 0 0 0
1789.46/1790.01 c zerohalf : 0.00 0 0 0 0 0
1789.46/1790.01 c mcf : 0.00 1 0 0 0 0
1789.46/1790.01 c rapidlearning : 0.12 1 0 0 0 0
1789.46/1790.01 c Pricers : Time Calls Vars
1789.46/1790.01 c problem variables: 0.00 0 0
1789.46/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.46/1790.01 c relpscost : 20.34 1812459 408 1962 0 0 3620378
1789.46/1790.01 c pscost : 0.00 0 0 0 0 0 0
1789.46/1790.01 c inference : 0.00 1 0 0 0 0 2
1789.46/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1789.46/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1789.46/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1789.46/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1789.46/1790.01 c random : 0.00 0 0 0 0 0 0
1789.46/1790.01 c Primal Heuristics : Time Calls Found
1789.46/1790.01 c LP solutions : 0.00 - 0
1789.46/1790.01 c pseudo solutions : 0.00 - 0
1789.46/1790.01 c oneopt : 1.85 0 0
1789.46/1790.01 c crossover : 1.10 0 0
1789.46/1790.01 c guideddiving : 0.11 0 0
1789.46/1790.01 c intshifting : 0.09 0 0
1789.46/1790.01 c rootsoldiving : 0.15 18 0
1789.46/1790.01 c coefdiving : 0.15 36 0
1789.46/1790.01 c pscostdiving : 0.14 36 0
1789.46/1790.01 c fracdiving : 0.17 36 0
1789.46/1790.01 c veclendiving : 0.13 36 0
1789.46/1790.01 c linesearchdiving : 0.15 36 0
1789.46/1790.01 c feaspump : 0.11 19 0
1789.46/1790.01 c objpscostdiving : 0.12 19 0
1789.46/1790.01 c trivial : 0.00 2 0
1789.46/1790.01 c simplerounding : 0.78 0 0
1789.46/1790.01 c zirounding : 1.12 1000 0
1789.46/1790.01 c rounding : 2.07 19042 0
1789.46/1790.01 c shifting : 4.92 5918 0
1789.46/1790.01 c twoopt : 0.00 0 0
1789.46/1790.01 c fixandinfer : 0.00 0 0
1789.46/1790.01 c intdiving : 0.00 0 0
1789.46/1790.01 c actconsdiving : 0.00 0 0
1789.46/1790.01 c octane : 0.00 0 0
1789.46/1790.01 c rens : 0.14 1 0
1789.46/1790.01 c rins : 0.00 0 0
1789.46/1790.01 c localbranching : 0.00 0 0
1789.46/1790.01 c mutation : 0.00 0 0
1789.46/1790.01 c dins : 0.00 0 0
1789.46/1790.01 c undercover : 0.00 0 0
1789.46/1790.01 c nlp : 0.92 0 0
1789.46/1790.01 c trysol : 1.30 0 0
1789.46/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1789.46/1790.01 c primal LP : 0.00 0 0 0.00 -
1789.46/1790.01 c dual LP : 377.73 2725816 8098539 2.97 21439.94
1789.46/1790.01 c lex dual LP : 0.00 0 0 0.00 -
1789.46/1790.01 c barrier LP : 0.00 0 0 0.00 -
1789.46/1790.01 c diving/probing LP: 0.16 1169 2692 2.30 16719.87
1789.46/1790.01 c strong branching : 1.37 4853 26498 5.46 19397.72
1789.46/1790.01 c (at root node) : - 9 352 39.11 -
1789.46/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1789.46/1790.01 c B&B Tree :
1789.46/1790.01 c number of runs : 1
1789.46/1790.01 c nodes : 2885757
1789.46/1790.01 c nodes (total) : 2885757
1789.46/1790.01 c nodes left : 721897
1789.46/1790.01 c max depth : 54
1789.46/1790.01 c max depth (total): 54
1789.46/1790.01 c backtracks : 276452 (9.6%)
1789.46/1790.01 c delayed cutoffs : 12727
1789.46/1790.01 c repropagations : 2771170 (1052873 domain reductions, 7899 cutoffs)
1789.46/1790.01 c avg switch length: 5.41
1789.46/1790.01 c switching time : 315.49
1789.46/1790.01 c Solution :
1789.46/1790.01 c Solutions found : 0 (0 improvements)
1789.46/1790.01 c Primal Bound : -
1789.46/1790.01 c Dual Bound : +0.00000000000000e+00
1789.46/1790.01 c Gap : infinite
1789.46/1790.01 c Root Dual Bound : +0.00000000000000e+00
1789.46/1790.01 c Root Iterations : 186
1793.26/1793.89 c Time complete: 1793.36.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703529-1278562126/watcher-2703529-1278562126 -o /tmp/evaluation-result-2703529-1278562126/solver-2703529-1278562126 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703529-1278562126.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 30100
/proc/meminfo: memFree=1579908/2059040 swapFree=4165008/4192956
[pid=30100] ppid=30098 vsize=7904 CPUtime=0
/proc/30100/stat : 30100 (pbscip.linux.x8) R 30098 30100 30075 0 -1 4202496 1130 0 0 0 0 0 0 0 21 0 1 0 24415882 8093696 1042 1992294400 4194304 8395647 140735994338160 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30100/statm: 1976 1050 365 1026 0 946 0
[startup+0.106846 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 30100
/proc/meminfo: memFree=1579908/2059040 swapFree=4165008/4192956
[pid=30100] ppid=30098 vsize=22072 CPUtime=0.1
/proc/30100/stat : 30100 (pbscip.linux.x8) R 30098 30100 30075 0 -1 4202496 4783 0 0 0 8 2 0 0 23 0 1 0 24415882 22601728 4342 1992294400 4194304 8395647 140735994338160 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30100/statm: 5518 4342 599 1026 0 4488 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 22072
[startup+0.200859 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 30100
/proc/meminfo: memFree=1579908/2059040 swapFree=4165008/4192956
[pid=30100] ppid=30098 vsize=22072 CPUtime=0.19
/proc/30100/stat : 30100 (pbscip.linux.x8) R 30098 30100 30075 0 -1 4202496 4812 0 0 0 17 2 0 0 23 0 1 0 24415882 22601728 4371 1992294400 4194304 8395647 140735994338160 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30100/statm: 5518 4371 608 1026 0 4488 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 22072
[startup+0.300873 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 30100
/proc/meminfo: memFree=1579908/2059040 swapFree=4165008/4192956
[pid=30100] ppid=30098 vsize=22680 CPUtime=0.29
/proc/30100/stat : 30100 (pbscip.linux.x8) R 30098 30100 30075 0 -1 4202496 5234 0 0 0 26 3 0 0 23 0 1 0 24415882 23224320 4793 1992294400 4194304 8395647 140735994338160 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30100/statm: 5670 4793 620 1026 0 4640 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22680
[startup+0.700929 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 30100
/proc/meminfo: memFree=1579908/2059040 swapFree=4165008/4192956
[pid=30100] ppid=30098 vsize=19864 CPUtime=0.69
/proc/30100/stat : 30100 (pbscip.linux.x8) R 30098 30100 30075 0 -1 4202496 5236 0 0 0 63 6 0 0 25 0 1 0 24415882 20340736 4123 1992294400 4194304 8395647 140735994338160 18446744073709551615 4454069 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30100/statm: 4966 4123 622 1026 0 3936 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19864
[startup+1.50104 s]
/proc/loadavg: 0.85 0.97 0.99 2/107 30101
/proc/meminfo: memFree=1565144/2059040 swapFree=4165008/4192956
[pid=30100] ppid=30098 vsize=19864 CPUtime=1.49
/proc/30100/stat : 30100 (pbscip.linux.x8) R 30098 30100 30075 0 -1 4202496 5240 0 0 0 139 10 0 0 25 0 1 0 24415882 20340736 4127 1992294400 4194304 8395647 140735994338160 18446744073709551615 5541611 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30100/statm: 4966 4127 622 1026 0 3936 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19864
[startup+3.10127 s]
/proc/loadavg: 0.85 0.97 0.99 2/107 30101
/proc/meminfo: memFree=1565020/2059040 swapFree=4165008/4192956
[pid=30100] ppid=30098 vsize=19864 CPUtime=3.09
/proc/30100/stat : 30100 (pbscip.linux.x8) R 30098 30100 30075 0 -1 4202496 5245 0 0 0 294 15 0 0 25 0 1 0 24415882 20340736 4132 1992294400 4194304 8395647 140735994338160 18446744073709551615 4808285 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30100/statm: 4966 4132 622 1026 0 3936 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19864
[startup+6.30072 s]
/proc/loadavg: 0.86 0.97 0.99 2/107 30101
/proc/meminfo: memFree=1564524/2059040 swapFree=4165008/4192956
[pid=30100] ppid=30098 vsize=20468 CPUtime=6.29
/proc/30100/stat : 30100 (pbscip.linux.x8) R 30098 30100 30075 0 -1 4202496 5406 0 0 0 604 25 0 0 25 0 1 0 24415882 20959232 4293 1992294400 4194304 8395647 140735994338160 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30100/statm: 5117 4293 622 1026 0 4087 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20468
[startup+12.7016 s]
/proc/loadavg: 0.87 0.97 0.99 2/107 30101
/proc/meminfo: memFree=1561052/2059040 swapFree=4165008/4192956
[pid=30100] ppid=30098 vsize=24720 CPUtime=12.69
/proc/30100/stat : 30100 (pbscip.linux.x8) R 30098 30100 30075 0 -1 4202496 6482 0 0 0 1223 46 0 0 25 0 1 0 24415882 25313280 5369 1992294400 4194304 8395647 140735994338160 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30100/statm: 6180 5369 622 1026 0 5150 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24720
[startup+25.5015 s]
/proc/loadavg: 0.90 0.97 0.99 2/107 30101
/proc/meminfo: memFree=1553116/2059040 swapFree=4165008/4192956
[pid=30100] ppid=30098 vsize=32316 CPUtime=25.49
/proc/30100/stat : 30100 (pbscip.linux.x8) R 30098 30100 30075 0 -1 4202496 8385 0 0 0 2460 89 0 0 25 0 1 0 24415882 33091584 7272 1992294400 4194304 8395647 140735994338160 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30100/statm: 8079 7272 622 1026 0 7049 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 32316
[startup+51.1011 s]
/proc/loadavg: 0.93 0.97 0.99 2/107 30102
/proc/meminfo: memFree=1539848/2059040 swapFree=4165008/4192956
[pid=30100] ppid=30098 vsize=46040 CPUtime=51.08
/proc/30100/stat : 30100 (pbscip.linux.x8) R 30098 30100 30075 0 -1 4202496 11867 0 0 0 4940 168 0 0 25 0 1 0 24415882 47144960 10754 1992294400 4194304 8395647 140735994338160 18446744073709551615 4243583 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30100/statm: 11510 10754 622 1026 0 10480 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 46040
[startup+102.301 s]
/proc/loadavg: 0.97 0.97 0.99 2/107 30103
/proc/meminfo: memFree=1513684/2059040 swapFree=4165008/4192956
[pid=30100] ppid=30098 vsize=70852 CPUtime=102.27
/proc/30100/stat : 30100 (pbscip.linux.x8) R 30098 30100 30075 0 -1 4202496 18157 0 0 0 9915 312 0 0 25 0 1 0 24415882 72552448 17044 1992294400 4194304 8395647 140735994338160 18446744073709551615 4572751 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30100/statm: 17713 17044 622 1026 0 16683 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 70852
[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 30105
/proc/meminfo: memFree=1486528/2059040 swapFree=4165008/4192956
[pid=30100] ppid=30098 vsize=99328 CPUtime=162.24
/proc/30100/stat : 30100 (pbscip.linux.x8) R 30098 30100 30075 0 -1 4202496 24980 0 0 0 15752 472 0 0 25 0 1 0 24415882 101711872 23867 1992294400 4194304 8395647 140735994338160 18446744073709551615 6068933 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30100/statm: 24832 23867 622 1026 0 23802 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 99328
[startup+222.308 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 30107
/proc/meminfo: memFree=1459496/2059040 swapFree=4165008/4192956
[pid=30100] ppid=30098 vsize=126132 CPUtime=222.23
/proc/30100/stat : 30100 (pbscip.linux.x8) R 30098 30100 30075 0 -1 4202496 31750 0 0 0 21595 628 0 0 25 0 1 0 24415882 129159168 30637 1992294400 4194304 8395647 140735994338160 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30100/statm: 31533 30637 622 1026 0 30503 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 126132
[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 30108
/proc/meminfo: memFree=1437176/2059040 swapFree=4165008/4192956
[pid=30100] ppid=30098 vsize=147688 CPUtime=282.21
/proc/30100/stat : 30100 (pbscip.linux.x8) R 30098 30100 30075 0 -1 4202496 37167 0 0 0 27436 785 0 0 25 0 1 0 24415882 151232512 36054 1992294400 4194304 8395647 140735994338160 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30100/statm: 36922 36054 622 1026 0 35892 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 147688
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 30109
/proc/meminfo: memFree=1412500/2059040 swapFree=4165008/4192956
[pid=30100] ppid=30098 vsize=171876 CPUtime=342.19
/proc/30100/stat : 30100 (pbscip.linux.x8) R 30098 30100 30075 0 -1 4202496 43294 0 0 0 33277 942 0 0 25 0 1 0 24415882 176001024 42181 1992294400 4194304 8395647 140735994338160 18446744073709551615 5005918 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30100/statm: 42969 42181 622 1026 0 41939 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 171876
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 30111
/proc/meminfo: memFree=1388196/2059040 swapFree=4165008/4192956
[pid=30100] ppid=30098 vsize=199624 CPUtime=402.17
/proc/30100/stat : 30100 (pbscip.linux.x8) R 30098 30100 30075 0 -1 4202496 49322 0 0 0 39118 1099 0 0 25 0 1 0 24415882 204414976 48209 1992294400 4194304 8395647 140735994338160 18446744073709551615 4474009 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30100/statm: 49906 48209 622 1026 0 48876 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 199624
[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 30113
/proc/meminfo: memFree=1365008/2059040 swapFree=4165008/4192956
[pid=30100] ppid=30098 vsize=222516 CPUtime=462.15
/proc/30100/stat : 30100 (pbscip.linux.x8) R 30098 30100 30075 0 -1 4202496 55107 0 0 0 44974 1241 0 0 25 0 1 0 24415882 227856384 53994 1992294400 4194304 8395647 140735994338160 18446744073709551615 4692423 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30100/statm: 55629 53994 622 1026 0 54599 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 222516
[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 30115
/proc/meminfo: memFree=1342068/2059040 swapFree=4165008/4192956
[pid=30100] ppid=30098 vsize=244992 CPUtime=522.14
/proc/30100/stat : 30100 (pbscip.linux.x8) R 30098 30100 30075 0 -1 4202496 60826 0 0 0 50827 1387 0 0 25 0 1 0 24415882 250871808 59713 1992294400 4194304 8395647 140735994338160 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30100/statm: 61248 59713 622 1026 0 60218 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 244992
[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 30116
/proc/meminfo: memFree=1322600/2059040 swapFree=4165008/4192956
[pid=30100] ppid=30098 vsize=263816 CPUtime=582.12
/proc/30100/stat : 30100 (pbscip.linux.x8) R 30098 30100 30075 0 -1 4202496 65644 0 0 0 56685 1527 0 0 25 0 1 0 24415882 270147584 64531 1992294400 4194304 8395647 140735994338160 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30100/statm: 65954 64531 622 1026 0 64924 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 263816
[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 30117
/proc/meminfo: memFree=1303132/2059040 swapFree=4165008/4192956
[pid=30100] ppid=30098 vsize=283196 CPUtime=642.1
/proc/30100/stat : 30100 (pbscip.linux.x8) R 30098 30100 30075 0 -1 4202496 70537 0 0 0 62539 1671 0 0 25 0 1 0 24415882 289992704 69424 1992294400 4194304 8395647 140735994338160 18446744073709551615 6594315 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30100/statm: 70799 69424 622 1026 0 69769 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 283196
[startup+702.302 s]
################
# More data... #
################
/proc/meminfo: memFree=1158920/2059040 swapFree=4165008/4192956
[pid=30100] ppid=30098 vsize=431552 CPUtime=1061.97
/proc/30100/stat : 30100 (pbscip.linux.x8) R 30098 30100 30075 0 -1 4202496 106205 0 0 0 103578 2619 0 0 25 0 1 0 24415882 441909248 105092 1992294400 4194304 8395647 140735994338160 18446744073709551615 6622146 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30100/statm: 107888 105092 622 1026 0 106858 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 431552
[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 30134
/proc/meminfo: memFree=1135112/2059040 swapFree=4165008/4192956
[pid=30100] ppid=30098 vsize=454904 CPUtime=1121.96
/proc/30100/stat : 30100 (pbscip.linux.x8) R 30098 30100 30075 0 -1 4202496 112136 0 0 0 109444 2752 0 0 25 0 1 0 24415882 465821696 111023 1992294400 4194304 8395647 140735994338160 18446744073709551615 6065543 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30100/statm: 113726 111023 622 1026 0 112696 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 454904
[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 30135
/proc/meminfo: memFree=1120728/2059040 swapFree=4165008/4192956
[pid=30100] ppid=30098 vsize=469408 CPUtime=1181.94
/proc/30100/stat : 30100 (pbscip.linux.x8) R 30098 30100 30075 0 -1 4202496 115721 0 0 0 115310 2884 0 0 25 0 1 0 24415882 480673792 114608 1992294400 4194304 8395647 140735994338160 18446744073709551615 4620538 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30100/statm: 117352 114608 622 1026 0 116322 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 469408
[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 30136
/proc/meminfo: memFree=1101756/2059040 swapFree=4165008/4192956
[pid=30100] ppid=30098 vsize=487656 CPUtime=1241.92
/proc/30100/stat : 30100 (pbscip.linux.x8) R 30098 30100 30075 0 -1 4202496 120410 0 0 0 121181 3011 0 0 25 0 1 0 24415882 499359744 119297 1992294400 4194304 8395647 140735994338160 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30100/statm: 121914 119297 622 1026 0 120884 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 487656
[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 30138
/proc/meminfo: memFree=1081420/2059040 swapFree=4165008/4192956
[pid=30100] ppid=30098 vsize=507596 CPUtime=1301.9
/proc/30100/stat : 30100 (pbscip.linux.x8) R 30098 30100 30075 0 -1 4202496 125473 0 0 0 127051 3139 0 0 25 0 1 0 24415882 519778304 124360 1992294400 4194304 8395647 140735994338160 18446744073709551615 4230937 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30100/statm: 126899 124360 622 1026 0 125869 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 507596
[startup+1362.3 s]
/proc/loadavg: 1.07 0.99 0.99 2/107 30140
/proc/meminfo: memFree=1065176/2059040 swapFree=4165008/4192956
[pid=30100] ppid=30098 vsize=523532 CPUtime=1361.89
/proc/30100/stat : 30100 (pbscip.linux.x8) R 30098 30100 30075 0 -1 4202496 129580 0 0 0 132922 3267 0 0 25 0 1 0 24415882 536096768 128467 1992294400 4194304 8395647 140735994338160 18446744073709551615 5027298 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30100/statm: 130883 128467 622 1026 0 129853 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 523532
[startup+1422.3 s]
/proc/loadavg: 1.02 0.99 0.99 2/107 30142
/proc/meminfo: memFree=1043600/2059040 swapFree=4165008/4192956
[pid=30100] ppid=30098 vsize=545008 CPUtime=1421.88
/proc/30100/stat : 30100 (pbscip.linux.x8) R 30098 30100 30075 0 -1 4202496 134862 0 0 0 138802 3386 0 0 25 0 1 0 24415882 558088192 133749 1992294400 4194304 8395647 140735994338160 18446744073709551615 6068892 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30100/statm: 136252 133749 622 1026 0 135222 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 545008
[startup+1482.3 s]
/proc/loadavg: 1.01 0.99 0.99 2/107 30143
/proc/meminfo: memFree=1027604/2059040 swapFree=4165008/4192956
[pid=30100] ppid=30098 vsize=560524 CPUtime=1481.85
/proc/30100/stat : 30100 (pbscip.linux.x8) R 30098 30100 30075 0 -1 4202496 138860 0 0 0 144675 3510 0 0 25 0 1 0 24415882 573976576 137747 1992294400 4194304 8395647 140735994338160 18446744073709551615 4212454 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30100/statm: 140131 137747 622 1026 0 139101 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 560524
[startup+1542.31 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 30144
/proc/meminfo: memFree=1009500/2059040 swapFree=4165008/4192956
[pid=30100] ppid=30098 vsize=577956 CPUtime=1541.84
/proc/30100/stat : 30100 (pbscip.linux.x8) R 30098 30100 30075 0 -1 4202496 143368 0 0 0 150543 3641 0 0 25 0 1 0 24415882 591826944 142255 1992294400 4194304 8395647 140735994338160 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30100/statm: 144489 142255 622 1026 0 143459 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 577956
[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 30146
/proc/meminfo: memFree=989164/2059040 swapFree=4165008/4192956
[pid=30100] ppid=30098 vsize=597724 CPUtime=1601.81
/proc/30100/stat : 30100 (pbscip.linux.x8) R 30098 30100 30075 0 -1 4202496 148423 0 0 0 156416 3765 0 0 25 0 1 0 24415882 612069376 147310 1992294400 4194304 8395647 140735994338160 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30100/statm: 149431 147310 622 1026 0 148401 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 597724
[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 30148
/proc/meminfo: memFree=971928/2059040 swapFree=4165008/4192956
[pid=30100] ppid=30098 vsize=614244 CPUtime=1661.79
/proc/30100/stat : 30100 (pbscip.linux.x8) R 30098 30100 30075 0 -1 4202496 152670 0 0 0 162295 3884 0 0 25 0 1 0 24415882 628985856 151557 1992294400 4194304 8395647 140735994338160 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30100/statm: 153561 151557 622 1026 0 152531 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 614244
[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 30150
/proc/meminfo: memFree=953824/2059040 swapFree=4165008/4192956
[pid=30100] ppid=30098 vsize=632852 CPUtime=1721.78
/proc/30100/stat : 30100 (pbscip.linux.x8) R 30098 30100 30075 0 -1 4202496 157186 0 0 0 168166 4012 0 0 25 0 1 0 24415882 648040448 156073 1992294400 4194304 8395647 140735994338160 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30100/statm: 158213 156073 622 1026 0 157183 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 632852
[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 30151
/proc/meminfo: memFree=937580/2059040 swapFree=4165008/4192956
[pid=30100] ppid=30098 vsize=648328 CPUtime=1781.76
/proc/30100/stat : 30100 (pbscip.linux.x8) R 30098 30100 30075 0 -1 4202496 161172 0 0 0 174046 4130 0 0 25 0 1 0 24415882 663887872 160059 1992294400 4194304 8395647 140735994338160 18446744073709551615 6262425 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30100/statm: 162082 160059 622 1026 0 161052 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 648328
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 30151
/proc/meminfo: memFree=937084/2059040 swapFree=4165008/4192956
[pid=30100] ppid=30098 vsize=648840 CPUtime=1785.06
/proc/30100/stat : 30100 (pbscip.linux.x8) R 30098 30100 30075 0 -1 4202496 161335 0 0 0 174371 4135 0 0 25 0 1 0 24415882 664412160 160222 1992294400 4194304 8395647 140735994338160 18446744073709551615 6064885 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30100/statm: 162210 160222 622 1026 0 161180 0
Current children cumulated CPU time (s) 1785.06
Current children cumulated vsize (KiB) 648840
[startup+1788.8 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 30151
/proc/meminfo: memFree=934604/2059040 swapFree=4165008/4192956
[pid=30100] ppid=30098 vsize=651272 CPUtime=1788.26
/proc/30100/stat : 30100 (pbscip.linux.x8) R 30098 30100 30075 0 -1 4202496 161918 0 0 0 174686 4140 0 0 25 0 1 0 24415882 666902528 160805 1992294400 4194304 8395647 140735994338160 18446744073709551615 4447301 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30100/statm: 162818 160805 622 1026 0 161788 0
Current children cumulated CPU time (s) 1788.26
Current children cumulated vsize (KiB) 651272
[startup+1792.01 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 30151
/proc/meminfo: memFree=934604/2059040 swapFree=4165008/4192956
[pid=30100] ppid=30098 vsize=651272 CPUtime=1791.46
/proc/30100/stat : 30100 (pbscip.linux.x8) R 30098 30100 30075 0 -1 4202496 161921 0 0 0 175003 4143 0 0 25 0 1 0 24415882 666902528 160808 1992294400 4194304 8395647 140735994338160 18446744073709551615 6345173 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30100/statm: 162818 160808 625 1026 0 161788 0
Current children cumulated CPU time (s) 1791.46
Current children cumulated vsize (KiB) 651272
[startup+1792.8 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 30151
/proc/meminfo: memFree=934604/2059040 swapFree=4165008/4192956
[pid=30100] ppid=30098 vsize=651272 CPUtime=1792.26
/proc/30100/stat : 30100 (pbscip.linux.x8) R 30098 30100 30075 0 -1 4202496 161921 0 0 0 175083 4143 0 0 25 0 1 0 24415882 666902528 160808 1992294400 4194304 8395647 140735994338160 18446744073709551615 6345759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30100/statm: 162818 160808 625 1026 0 161788 0
Current children cumulated CPU time (s) 1792.26
Current children cumulated vsize (KiB) 651272
[startup+1793.6 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 30151
/proc/meminfo: memFree=934604/2059040 swapFree=4165008/4192956
[pid=30100] ppid=30098 vsize=651272 CPUtime=1793.06
/proc/30100/stat : 30100 (pbscip.linux.x8) R 30098 30100 30075 0 -1 4202496 161921 0 0 0 175163 4143 0 0 25 0 1 0 24415882 666902528 160808 1992294400 4194304 8395647 140735994338160 18446744073709551615 6345173 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30100/statm: 162818 160808 625 1026 0 161788 0
Current children cumulated CPU time (s) 1793.06
Current children cumulated vsize (KiB) 651272
[startup+1793.8 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 30151
/proc/meminfo: memFree=934604/2059040 swapFree=4165008/4192956
[pid=30100] ppid=30098 vsize=651272 CPUtime=1793.26
/proc/30100/stat : 30100 (pbscip.linux.x8) R 30098 30100 30075 0 -1 4202496 161921 0 0 0 175183 4143 0 0 25 0 1 0 24415882 666902528 160808 1992294400 4194304 8395647 140735994338160 18446744073709551615 6345376 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30100/statm: 162818 160808 625 1026 0 161788 0
Current children cumulated CPU time (s) 1793.26
Current children cumulated vsize (KiB) 651272
Child status: 0
Real time (s): 1793.9
CPU time (s): 1793.36
CPU user time (s): 1751.86
CPU system time (s): 41.5017
CPU usage (%): 99.9703
Max. virtual memory (cumulated for all children) (KiB): 651272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1751.86
system time used= 41.5017
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 161924
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= 1510
runsolver used 3.04754 second user time and 8.39672 second system time
The end