0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 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-3485546-1307763188.opb>
0.10/0.13 c original problem has 3204 variables (3204 bin, 0 int, 0 impl, 0 cont) and 24883 constraints
0.10/0.13 c problem read
0.10/0.13 c presolving settings loaded
0.19/0.20 c presolving:
0.19/0.27 c (round 1) 12 del vars, 12 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 98196 impls, 0 clqs
0.29/0.34 c (round 2) 12 del vars, 12 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 23461 upgd conss, 98196 impls, 0 clqs
0.29/0.37 c (round 3) 12 del vars, 12 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 24871 upgd conss, 98196 impls, 0 clqs
2.39/2.42 c (2.4s) probing: 1000/3192 (31.3%) - 0 fixings, 0 aggregations, 25570 implications, 0 bound changes
3.90/3.95 c (4.0s) probing: 1799/3192 (56.4%) - 0 fixings, 0 aggregations, 30541 implications, 0 bound changes
3.90/3.95 c (4.0s) probing aborted: 100/100 successive totally useless probings
3.90/3.95 c presolving (4 rounds):
3.90/3.95 c 12 deleted vars, 12 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
3.90/3.95 c 181560 implications, 0 cliques
3.90/3.95 c presolved problem has 3192 variables (3192 bin, 0 int, 0 impl, 0 cont) and 24871 constraints
3.90/3.95 c 24246 constraints of type <setppc>
3.90/3.95 c 625 constraints of type <logicor>
3.90/3.95 c transformed objective value is always integral (scale: 1)
3.90/3.95 c Presolving Time: 3.80
3.90/3.95 c - non default parameters ----------------------------------------------------------------------
3.90/3.95 c # SCIP version 2.0.1.4
3.90/3.95 c
3.90/3.95 c # frequency for displaying node information lines
3.90/3.95 c # [type: int, range: [-1,2147483647], default: 100]
3.90/3.95 c display/freq = 10000
3.90/3.95 c
3.90/3.95 c # maximal time in seconds to run
3.90/3.95 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.90/3.95 c limits/time = 1797
3.90/3.95 c
3.90/3.95 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.90/3.95 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.90/3.95 c limits/memory = 13950
3.90/3.95 c
3.90/3.95 c # default clock type (1: CPU user seconds, 2: wall clock time)
3.90/3.95 c # [type: int, range: [1,2], default: 1]
3.90/3.95 c timing/clocktype = 2
3.90/3.95 c
3.90/3.95 c # belongs reading time to solving time?
3.90/3.95 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.90/3.95 c timing/reading = TRUE
3.90/3.95 c
3.90/3.95 c # should presolving try to simplify inequalities
3.90/3.95 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.90/3.95 c constraints/linear/simplifyinequalities = TRUE
3.90/3.95 c
3.90/3.95 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
3.90/3.95 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.90/3.95 c constraints/indicator/addCouplingCons = TRUE
3.90/3.95 c
3.90/3.95 c # should presolving try to simplify knapsacks
3.90/3.95 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.90/3.95 c constraints/knapsack/simplifyinequalities = TRUE
3.90/3.95 c
3.90/3.95 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
3.90/3.95 c # [type: int, range: [-1,2147483647], default: -1]
3.90/3.95 c separating/rapidlearning/freq = 0
3.90/3.95 c
3.90/3.95 c -----------------------------------------------------------------------------------------------
3.90/3.95 c start solving
3.90/3.95 c
10.79/10.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.79/10.85 c 10.8s| 1 | 0 | 9633 | - | 40M| 0 |2252 |3192 | 24k|3192 | 24k| 0 | 23 | 0 | 5.143750e+02 | -- | Inf
26.59/26.62 c 26.6s| 1 | 0 | 29233 | - | 41M| 0 |2256 |3192 | 24k|3192 | 25k| 877 | 23 | 0 | 5.859375e+02 | -- | Inf
27.69/27.74 c 27.7s| 1 | 0 | 29555 | - | 41M| 0 |2255 |3192 | 24k|3192 | 25k| 888 | 23 | 0 | 5.907758e+02 | -- | Inf
28.80/28.90 c 28.9s| 1 | 0 | 29979 | - | 42M| 0 |2254 |3192 | 24k|3192 | 25k| 902 | 23 | 0 | 5.947477e+02 | -- | Inf
30.19/30.28 c 30.3s| 1 | 0 | 30524 | - | 42M| 0 |2255 |3192 | 24k|3192 | 25k| 918 | 23 | 0 | 5.987136e+02 | -- | Inf
31.49/31.56 c 31.6s| 1 | 0 | 30994 | - | 42M| 0 |2249 |3192 | 24k|3192 | 25k| 933 | 23 | 0 | 6.018637e+02 | -- | Inf
34.10/34.18 c 34.2s| 1 | 0 | 32267 | - | 42M| 0 |2250 |3192 | 24k|3192 | 25k| 952 | 23 | 0 | 6.042563e+02 | -- | Inf
35.49/35.56 c 35.6s| 1 | 0 | 32899 | - | 43M| 0 |2253 |3192 | 24k|3192 | 25k| 970 | 23 | 0 | 6.062929e+02 | -- | Inf
36.79/36.81 c 36.8s| 1 | 0 | 33310 | - | 43M| 0 |2253 |3192 | 24k|3192 | 25k| 989 | 23 | 0 | 6.077849e+02 | -- | Inf
38.60/38.62 c 38.6s| 1 | 0 | 34032 | - | 43M| 0 |2236 |3192 | 24k|3192 | 25k|1005 | 23 | 0 | 6.091880e+02 | -- | Inf
39.79/39.88 c 39.9s| 1 | 0 | 34557 | - | 43M| 0 |2241 |3192 | 24k|3192 | 25k|1024 | 23 | 0 | 6.102699e+02 | -- | Inf
41.29/41.30 c 41.3s| 1 | 0 | 35400 | - | 44M| 0 |2244 |3192 | 24k|3192 | 25k|1040 | 23 | 0 | 6.114142e+02 | -- | Inf
43.29/43.32 c 43.3s| 1 | 0 | 36164 | - | 44M| 0 |2238 |3192 | 24k|3192 | 25k|1057 | 23 | 0 | 6.121461e+02 | -- | Inf
46.69/46.73 c 46.7s| 1 | 0 | 36841 | - | 44M| 0 |2238 |3192 | 24k|3192 | 25k|1069 | 23 | 0 | 6.129908e+02 | -- | Inf
52.19/52.27 c 52.3s| 1 | 0 | 37667 | - | 44M| 0 |2237 |3192 | 24k|3192 | 25k|1083 | 23 | 0 | 6.137304e+02 | -- | Inf
54.29/54.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
54.29/54.36 c 54.4s| 1 | 0 | 38420 | - | 44M| 0 |2239 |3192 | 24k|3192 | 25k|1102 | 23 | 0 | 6.141792e+02 | -- | Inf
57.79/57.80 c 57.8s| 1 | 0 | 39314 | - | 45M| 0 |2242 |3192 | 24k|3192 | 25k|1119 | 23 | 0 | 6.148067e+02 | -- | Inf
62.99/63.04 c 63.0s| 1 | 0 | 40113 | - | 45M| 0 |2245 |3192 | 24k|3192 | 25k|1134 | 23 | 0 | 6.153602e+02 | -- | Inf
70.29/70.38 c 70.4s| 1 | 0 | 40752 | - | 45M| 0 |2235 |3192 | 24k|3192 | 25k|1150 | 23 | 0 | 6.159105e+02 | -- | Inf
72.70/72.73 c 72.7s| 1 | 0 | 41169 | - | 45M| 0 |2247 |3192 | 24k|3192 | 25k|1158 | 23 | 0 | 6.162563e+02 | -- | Inf
74.59/74.68 c 74.7s| 1 | 0 | 41659 | - | 46M| 0 |2242 |3192 | 24k|3192 | 25k|1167 | 23 | 0 | 6.166206e+02 | -- | Inf
75.89/75.95 c 76.0s| 1 | 0 | 42126 | - | 46M| 0 |2245 |3192 | 24k|3192 | 25k|1180 | 23 | 0 | 6.170947e+02 | -- | Inf
79.39/79.44 c 79.4s| 1 | 0 | 42475 | - | 46M| 0 |2237 |3192 | 24k|3192 | 25k|1188 | 23 | 0 | 6.173875e+02 | -- | Inf
82.99/83.04 c 83.0s| 1 | 0 | 42742 | - | 46M| 0 |2245 |3192 | 24k|3192 | 25k|1194 | 23 | 0 | 6.175370e+02 | -- | Inf
86.69/86.70 c 86.7s| 1 | 0 | 42909 | - | 46M| 0 |2248 |3192 | 24k|3192 | 25k|1200 | 23 | 0 | 6.176072e+02 | -- | Inf
90.39/90.46 c 90.5s| 1 | 0 | 43145 | - | 46M| 0 |2251 |3192 | 24k|3192 | 25k|1207 | 23 | 0 | 6.177594e+02 | -- | Inf
91.39/91.44 c 91.4s| 1 | 0 | 43376 | - | 46M| 0 |2251 |3192 | 24k|3192 | 25k|1213 | 23 | 0 | 6.181078e+02 | -- | Inf
92.49/92.55 c 92.5s| 1 | 0 | 43666 | - | 46M| 0 |2251 |3192 | 24k|3192 | 25k|1219 | 23 | 0 | 6.183700e+02 | -- | Inf
96.29/96.39 c 96.4s| 1 | 0 | 43989 | - | 46M| 0 |2245 |3192 | 24k|3192 | 25k|1228 | 23 | 0 | 6.185796e+02 | -- | Inf
100.09/100.12 c 100s| 1 | 0 | 44203 | - | 46M| 0 |2244 |3192 | 24k|3192 | 25k|1235 | 23 | 0 | 6.187335e+02 | -- | Inf
103.59/103.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
103.59/103.67 c 104s| 1 | 0 | 44393 | - | 46M| 0 |2245 |3192 | 24k|3192 | 25k|1242 | 23 | 0 | 6.188829e+02 | -- | Inf
107.29/107.39 c 107s| 1 | 0 | 44582 | - | 46M| 0 |2245 |3192 | 24k|3192 | 25k|1248 | 23 | 0 | 6.190594e+02 | -- | Inf
108.39/108.48 c 108s| 1 | 0 | 44996 | - | 46M| 0 |2239 |3192 | 24k|3192 | 25k|1257 | 23 | 0 | 6.194606e+02 | -- | Inf
112.09/112.13 c 112s| 1 | 0 | 45164 | - | 46M| 0 |2249 |3192 | 24k|3192 | 25k|1264 | 23 | 0 | 6.195317e+02 | -- | Inf
115.79/115.87 c 116s| 1 | 0 | 45368 | - | 46M| 0 |2239 |3192 | 24k|3192 | 25k|1274 | 23 | 0 | 6.197336e+02 | -- | Inf
119.49/119.59 c 120s| 1 | 0 | 45586 | - | 46M| 0 |2243 |3192 | 24k|3192 | 25k|1278 | 23 | 0 | 6.199465e+02 | -- | Inf
123.30/123.37 c 123s| 1 | 0 | 45822 | - | 46M| 0 |2244 |3192 | 24k|3192 | 25k|1285 | 23 | 0 | 6.200660e+02 | -- | Inf
127.09/127.15 c 127s| 1 | 0 | 46099 | - | 46M| 0 |2247 |3192 | 24k|3192 | 25k|1290 | 23 | 0 | 6.202685e+02 | -- | Inf
130.79/130.89 c 131s| 1 | 0 | 46504 | - | 46M| 0 |2251 |3192 | 24k|3192 | 25k|1297 | 23 | 0 | 6.205963e+02 | -- | Inf
134.59/134.63 c 135s| 1 | 0 | 46596 | - | 46M| 0 |2253 |3192 | 24k|3192 | 25k|1301 | 23 | 0 | 6.206535e+02 | -- | Inf
138.29/138.36 c 138s| 1 | 0 | 46683 | - | 46M| 0 |2253 |3192 | 24k|3192 | 25k|1307 | 23 | 0 | 6.207492e+02 | -- | Inf
141.99/142.08 c 142s| 1 | 0 | 46843 | - | 46M| 0 |2253 |3192 | 24k|3192 | 25k|1313 | 23 | 0 | 6.209524e+02 | -- | Inf
143.30/143.35 c 143s| 1 | 0 | 47366 | - | 46M| 0 |2246 |3192 | 24k|3192 | 25k|1318 | 23 | 0 | 6.214251e+02 | -- | Inf
146.99/147.04 c 147s| 1 | 0 | 47587 | - | 46M| 0 |2248 |3192 | 24k|3192 | 25k|1323 | 23 | 0 | 6.215983e+02 | -- | Inf
150.49/150.51 c 151s| 1 | 0 | 47767 | - | 46M| 0 |2244 |3192 | 24k|3192 | 25k|1329 | 23 | 0 | 6.217493e+02 | -- | Inf
154.10/154.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
154.10/154.12 c 154s| 1 | 0 | 47826 | - | 46M| 0 |2242 |3192 | 24k|3192 | 25k|1330 | 23 | 0 | 6.218243e+02 | -- | Inf
157.59/157.64 c 158s| 1 | 0 | 47922 | - | 46M| 0 |2244 |3192 | 24k|3192 | 25k|1333 | 23 | 0 | 6.219084e+02 | -- | Inf
161.29/161.33 c 161s| 1 | 0 | 48038 | - | 46M| 0 |2249 |3192 | 24k|3192 | 25k|1339 | 23 | 0 | 6.219657e+02 | -- | Inf
164.99/165.04 c 165s| 1 | 0 | 48137 | - | 46M| 0 |2245 |3192 | 24k|3192 | 25k|1345 | 23 | 0 | 6.220329e+02 | -- | Inf
168.79/168.80 c 169s| 1 | 0 | 48242 | - | 46M| 0 |2243 |3192 | 24k|3192 | 25k|1350 | 23 | 0 | 6.221607e+02 | -- | Inf
172.19/172.24 c 172s| 1 | 0 | 48245 | - | 46M| 0 |2243 |3192 | 24k|3192 | 25k|1353 | 23 | 0 | 6.221607e+02 | -- | Inf
175.69/175.75 c 176s| 1 | 0 | 48318 | - | 46M| 0 |2243 |3192 | 24k|3192 | 25k|1356 | 23 | 0 | 6.222096e+02 | -- | Inf
179.40/179.42 c 179s| 1 | 0 | 48453 | - | 46M| 0 |2249 |3192 | 24k|3192 | 25k|1360 | 23 | 0 | 6.224162e+02 | -- | Inf
182.99/183.00 c 183s| 1 | 0 | 48695 | - | 46M| 0 |2238 |3192 | 24k|3192 | 25k|1366 | 23 | 0 | 6.225210e+02 | -- | Inf
186.49/186.57 c 187s| 1 | 0 | 48941 | - | 46M| 0 |2242 |3192 | 24k|3192 | 25k|1373 | 23 | 0 | 6.226974e+02 | -- | Inf
190.60/190.68 c 191s| 1 | 0 | 49330 | - | 46M| 0 |2243 |3192 | 24k|3192 | 25k|1382 | 23 | 0 | 6.228572e+02 | -- | Inf
191.59/191.60 c 192s| 1 | 0 | 49641 | - | 46M| 0 |2250 |3192 | 24k|3192 | 25k|1388 | 23 | 0 | 6.231636e+02 | -- | Inf
195.59/195.68 c 196s| 1 | 0 | 49959 | - | 46M| 0 |2240 |3192 | 24k|3192 | 25k|1396 | 23 | 0 | 6.232982e+02 | -- | Inf
196.90/196.95 c 197s| 1 | 0 | 50306 | - | 46M| 0 |2246 |3192 | 24k|3192 | 25k|1405 | 23 | 0 | 6.234542e+02 | -- | Inf
198.19/198.21 c 198s| 1 | 0 | 50692 | - | 46M| 0 |2244 |3192 | 24k|3192 | 25k|1414 | 23 | 0 | 6.236423e+02 | -- | Inf
202.29/202.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
202.29/202.38 c 202s| 1 | 0 | 50995 | - | 46M| 0 |2247 |3192 | 24k|3192 | 25k|1424 | 23 | 0 | 6.238217e+02 | -- | Inf
206.80/206.85 c 207s| 1 | 0 | 51499 | - | 46M| 0 |2248 |3192 | 24k|3192 | 25k|1430 | 23 | 0 | 6.240178e+02 | -- | Inf
210.99/211.02 c 211s| 1 | 0 | 51665 | - | 46M| 0 |2245 |3192 | 24k|3192 | 25k|1437 | 23 | 0 | 6.241202e+02 | -- | Inf
215.09/215.16 c 215s| 1 | 0 | 51766 | - | 46M| 0 |2247 |3192 | 24k|3192 | 25k|1439 | 23 | 0 | 6.241765e+02 | -- | Inf
219.29/219.37 c 219s| 1 | 0 | 52008 | - | 46M| 0 |2243 |3192 | 24k|3192 | 25k|1443 | 23 | 0 | 6.242491e+02 | -- | Inf
223.40/223.48 c 223s| 1 | 0 | 52120 | - | 46M| 0 |2246 |3192 | 24k|3192 | 25k|1448 | 23 | 0 | 6.243404e+02 | -- | Inf
227.59/227.68 c 228s| 1 | 0 | 52301 | - | 47M| 0 |2249 |3192 | 24k|3192 | 25k|1455 | 23 | 0 | 6.245223e+02 | -- | Inf
231.89/231.93 c 232s| 1 | 0 | 52488 | - | 47M| 0 |2249 |3192 | 24k|3192 | 25k|1460 | 23 | 0 | 6.246410e+02 | -- | Inf
236.09/236.12 c 236s| 1 | 0 | 52663 | - | 47M| 0 |2246 |3192 | 24k|3192 | 25k|1472 | 23 | 0 | 6.247327e+02 | -- | Inf
240.19/240.26 c 240s| 1 | 0 | 52800 | - | 47M| 0 |2248 |3192 | 24k|3192 | 25k|1475 | 23 | 0 | 6.248593e+02 | -- | Inf
244.40/244.49 c 244s| 1 | 0 | 52990 | - | 47M| 0 |2244 |3192 | 24k|3192 | 25k|1481 | 23 | 0 | 6.249196e+02 | -- | Inf
248.60/248.66 c 249s| 1 | 0 | 53237 | - | 47M| 0 |2245 |3192 | 24k|3192 | 25k|1486 | 23 | 0 | 6.250752e+02 | -- | Inf
252.80/252.80 c 253s| 1 | 0 | 53350 | - | 47M| 0 |2245 |3192 | 24k|3192 | 25k|1491 | 23 | 0 | 6.251948e+02 | -- | Inf
256.99/257.05 c 257s| 1 | 0 | 53510 | - | 47M| 0 |2240 |3192 | 24k|3192 | 25k|1498 | 23 | 0 | 6.252635e+02 | -- | Inf
261.20/261.20 c 261s| 1 | 0 | 53705 | - | 47M| 0 |2251 |3192 | 24k|3192 | 25k|1503 | 23 | 0 | 6.253438e+02 | -- | Inf
265.39/265.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
265.39/265.43 c 265s| 1 | 0 | 53897 | - | 47M| 0 |2244 |3192 | 24k|3192 | 25k|1510 | 23 | 0 | 6.255153e+02 | -- | Inf
269.40/269.45 c 269s| 1 | 0 | 54047 | - | 47M| 0 |2240 |3192 | 24k|3192 | 25k|1516 | 23 | 0 | 6.256196e+02 | -- | Inf
273.29/273.34 c 273s| 1 | 0 | 54142 | - | 47M| 0 |2236 |3192 | 24k|3192 | 25k|1524 | 23 | 0 | 6.256546e+02 | -- | Inf
277.49/277.53 c 278s| 1 | 0 | 54329 | - | 47M| 0 |2242 |3192 | 24k|3192 | 25k|1527 | 23 | 0 | 6.257324e+02 | -- | Inf
281.70/281.75 c 282s| 1 | 0 | 54464 | - | 47M| 0 |2242 |3192 | 24k|3192 | 25k|1533 | 23 | 0 | 6.258541e+02 | -- | Inf
285.79/285.89 c 286s| 1 | 0 | 54582 | - | 47M| 0 |2248 |3192 | 24k|3192 | 25k|1538 | 23 | 0 | 6.259591e+02 | -- | Inf
290.09/290.16 c 290s| 1 | 0 | 54978 | - | 47M| 0 |2247 |3192 | 24k|3192 | 25k|1545 | 23 | 0 | 6.261472e+02 | -- | Inf
294.40/294.45 c 294s| 1 | 0 | 55150 | - | 47M| 0 |2250 |3192 | 24k|3192 | 25k|1548 | 23 | 0 | 6.262687e+02 | -- | Inf
298.50/298.58 c 299s| 1 | 0 | 55317 | - | 47M| 0 |2248 |3192 | 24k|3192 | 25k|1551 | 23 | 0 | 6.264450e+02 | -- | Inf
302.50/302.58 c 303s| 1 | 0 | 55623 | - | 47M| 0 |2241 |3192 | 24k|3192 | 25k|1557 | 23 | 0 | 6.266021e+02 | -- | Inf
306.60/306.64 c 307s| 1 | 0 | 55925 | - | 47M| 0 |2252 |3192 | 24k|3192 | 25k|1566 | 23 | 0 | 6.267918e+02 | -- | Inf
310.49/310.57 c 311s| 1 | 0 | 56192 | - | 47M| 0 |2246 |3192 | 24k|3192 | 25k|1572 | 23 | 0 | 6.269153e+02 | -- | Inf
314.50/314.59 c 315s| 1 | 0 | 56394 | - | 47M| 0 |2252 |3192 | 24k|3192 | 25k|1586 | 23 | 0 | 6.270585e+02 | -- | Inf
318.90/318.99 c 319s| 1 | 0 | 56743 | - | 47M| 0 |2253 |3192 | 24k|3192 | 25k|1592 | 23 | 0 | 6.272067e+02 | -- | Inf
322.89/322.91 c 323s| 1 | 0 | 56999 | - | 47M| 0 |2251 |3192 | 24k|3192 | 25k|1599 | 23 | 0 | 6.274096e+02 | -- | Inf
326.99/327.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
326.99/327.02 c 327s| 1 | 0 | 57296 | - | 47M| 0 |2255 |3192 | 24k|3192 | 25k|1604 | 23 | 0 | 6.276957e+02 | -- | Inf
331.00/331.05 c 331s| 1 | 0 | 57516 | - | 47M| 0 |2255 |3192 | 24k|3192 | 25k|1616 | 23 | 0 | 6.278174e+02 | -- | Inf
334.90/334.90 c 335s| 1 | 0 | 57619 | - | 47M| 0 |2255 |3192 | 24k|3192 | 25k|1618 | 23 | 0 | 6.278753e+02 | -- | Inf
338.80/338.88 c 339s| 1 | 0 | 57768 | - | 47M| 0 |2253 |3192 | 24k|3192 | 25k|1624 | 23 | 0 | 6.279969e+02 | -- | Inf
342.89/342.90 c 343s| 1 | 0 | 57911 | - | 47M| 0 |2255 |3192 | 24k|3192 | 25k|1631 | 23 | 0 | 6.281686e+02 | -- | Inf
346.90/346.98 c 347s| 1 | 0 | 58179 | - | 47M| 0 |2256 |3192 | 24k|3192 | 25k|1635 | 23 | 0 | 6.283233e+02 | -- | Inf
350.79/350.88 c 351s| 1 | 0 | 58420 | - | 47M| 0 |2250 |3192 | 24k|3192 | 25k|1639 | 23 | 0 | 6.284573e+02 | -- | Inf
352.10/352.11 c 352s| 1 | 0 | 58848 | - | 47M| 0 |2254 |3192 | 24k|3192 | 25k|1645 | 23 | 0 | 6.287939e+02 | -- | Inf
355.79/355.88 c 356s| 1 | 0 | 59035 | - | 47M| 0 |2249 |3192 | 24k|3192 | 25k|1654 | 23 | 0 | 6.289832e+02 | -- | Inf
359.80/359.87 c 360s| 1 | 0 | 59140 | - | 47M| 0 |2252 |3192 | 24k|3192 | 25k|1658 | 23 | 0 | 6.290589e+02 | -- | Inf
361.09/361.18 c 361s| 1 | 0 | 59594 | - | 47M| 0 |2251 |3192 | 24k|3192 | 25k|1665 | 23 | 0 | 6.293690e+02 | -- | Inf
365.20/365.27 c 365s| 1 | 0 | 59830 | - | 47M| 0 |2245 |3192 | 24k|3192 | 25k|1670 | 23 | 0 | 6.294901e+02 | -- | Inf
369.10/369.16 c 369s| 1 | 0 | 59936 | - | 47M| 0 |2253 |3192 | 24k|3192 | 25k|1671 | 23 | 0 | 6.295440e+02 | -- | Inf
373.30/373.39 c 373s| 1 | 0 | 60169 | - | 47M| 0 |2254 |3192 | 24k|3192 | 25k|1674 | 23 | 0 | 6.297059e+02 | -- | Inf
377.30/377.30 c 377s| 1 | 0 | 60259 | - | 46M| 0 |2254 |3192 | 24k|3192 | 25k|1677 | 23 | 0 | 6.297657e+02 | -- | Inf
381.20/381.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
381.20/381.23 c 381s| 1 | 0 | 60521 | - | 46M| 0 |2250 |3192 | 24k|3192 | 25k|1683 | 23 | 0 | 6.299409e+02 | -- | Inf
385.00/385.08 c 385s| 1 | 0 | 60643 | - | 46M| 0 |2254 |3192 | 24k|3192 | 25k|1689 | 23 | 0 | 6.301058e+02 | -- | Inf
388.89/388.98 c 389s| 1 | 0 | 60770 | - | 46M| 0 |2252 |3192 | 24k|3192 | 25k|1693 | 23 | 0 | 6.302676e+02 | -- | Inf
393.10/393.18 c 393s| 1 | 0 | 60993 | - | 46M| 0 |2249 |3192 | 24k|3192 | 25k|1699 | 23 | 0 | 6.303684e+02 | -- | Inf
397.00/397.10 c 397s| 1 | 0 | 61150 | - | 46M| 0 |2243 |3192 | 24k|3192 | 25k|1704 | 23 | 0 | 6.305636e+02 | -- | Inf
401.00/401.08 c 401s| 1 | 0 | 61336 | - | 45M| 0 |2248 |3192 | 24k|3192 | 25k|1708 | 23 | 0 | 6.306628e+02 | -- | Inf
405.10/405.10 c 405s| 1 | 0 | 61486 | - | 45M| 0 |2251 |3192 | 24k|3192 | 25k|1711 | 23 | 0 | 6.307960e+02 | -- | Inf
409.00/409.02 c 409s| 1 | 0 | 61640 | - | 45M| 0 |2253 |3192 | 24k|3192 | 25k|1713 | 23 | 0 | 6.308877e+02 | -- | Inf
412.90/412.90 c 413s| 1 | 0 | 61820 | - | 45M| 0 |2245 |3192 | 24k|3192 | 25k|1719 | 23 | 0 | 6.310814e+02 | -- | Inf
417.40/417.43 c 417s| 1 | 0 | 62543 | - | 44M| 0 |2252 |3192 | 24k|3192 | 25k|1727 | 23 | 0 | 6.314462e+02 | -- | Inf
421.70/421.76 c 422s| 1 | 0 | 62979 | - | 44M| 0 |2248 |3192 | 24k|3192 | 25k|1736 | 23 | 0 | 6.316729e+02 | -- | Inf
425.60/425.66 c 426s| 1 | 0 | 63295 | - | 44M| 0 |2252 |3192 | 24k|3192 | 25k|1747 | 23 | 0 | 6.320090e+02 | -- | Inf
429.79/429.89 c 430s| 1 | 0 | 63703 | - | 44M| 0 |2252 |3192 | 24k|3192 | 25k|1753 | 23 | 0 | 6.322584e+02 | -- | Inf
433.90/433.97 c 434s| 1 | 0 | 63792 | - | 44M| 0 |2252 |3192 | 24k|3192 | 25k|1757 | 23 | 0 | 6.323864e+02 | -- | Inf
438.09/438.11 c 438s| 1 | 0 | 63878 | - | 44M| 0 |2250 |3192 | 24k|3192 | 25k|1761 | 23 | 0 | 6.325097e+02 | -- | Inf
442.40/442.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
442.40/442.44 c 442s| 1 | 0 | 64191 | - | 43M| 0 |2247 |3192 | 24k|3192 | 25k|1767 | 23 | 0 | 6.326362e+02 | -- | Inf
446.80/446.82 c 447s| 1 | 0 | 64377 | - | 43M| 0 |2244 |3192 | 24k|3192 | 25k|1772 | 23 | 0 | 6.327982e+02 | -- | Inf
451.00/451.07 c 451s| 1 | 0 | 64580 | - | 43M| 0 |2248 |3192 | 24k|3192 | 25k|1777 | 23 | 0 | 6.329416e+02 | -- | Inf
455.60/455.66 c 456s| 1 | 0 | 65003 | - | 43M| 0 |2251 |3192 | 24k|3192 | 25k|1782 | 23 | 0 | 6.331322e+02 | -- | Inf
459.80/459.85 c 460s| 1 | 0 | 65115 | - | 43M| 0 |2246 |3192 | 24k|3192 | 25k|1790 | 23 | 0 | 6.331784e+02 | -- | Inf
464.30/464.31 c 464s| 1 | 0 | 65358 | - | 43M| 0 |2245 |3192 | 24k|3192 | 25k|1796 | 23 | 0 | 6.333471e+02 | -- | Inf
468.71/468.76 c 469s| 1 | 0 | 65653 | - | 43M| 0 |2249 |3192 | 24k|3192 | 25k|1803 | 23 | 0 | 6.335019e+02 | -- | Inf
473.20/473.26 c 473s| 1 | 0 | 66000 | - | 43M| 0 |2245 |3192 | 24k|3192 | 25k|1807 | 23 | 0 | 6.336050e+02 | -- | Inf
477.70/477.72 c 478s| 1 | 0 | 66269 | - | 43M| 0 |2243 |3192 | 24k|3192 | 25k|1813 | 23 | 0 | 6.336611e+02 | -- | Inf
482.10/482.10 c 482s| 1 | 0 | 66702 | - | 43M| 0 |2247 |3192 | 24k|3192 | 25k|1820 | 23 | 0 | 6.338815e+02 | -- | Inf
486.31/486.37 c 486s| 1 | 0 | 67136 | - | 43M| 0 |2243 |3192 | 24k|3192 | 25k|1835 | 23 | 0 | 6.341470e+02 | -- | Inf
490.60/490.65 c 491s| 1 | 0 | 67451 | - | 43M| 0 |2246 |3192 | 24k|3192 | 25k|1840 | 23 | 0 | 6.342881e+02 | -- | Inf
494.90/494.91 c 495s| 1 | 0 | 67756 | - | 43M| 0 |2249 |3192 | 24k|3192 | 25k|1845 | 23 | 0 | 6.344635e+02 | -- | Inf
499.10/499.18 c 499s| 1 | 0 | 67757 | - | 43M| 0 |2249 |3192 | 24k|3192 | 25k|1846 | 23 | 0 | 6.344635e+02 | -- | Inf
503.40/503.47 c 503s| 1 | 0 | 67821 | - | 43M| 0 |2249 |3192 | 24k|3192 | 25k|1847 | 23 | 0 | 6.345307e+02 | -- | Inf
507.80/507.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
507.80/507.85 c 508s| 1 | 0 | 67946 | - | 43M| 0 |2249 |3192 | 24k|3192 | 25k|1850 | 23 | 0 | 6.346581e+02 | -- | Inf
512.30/512.33 c 512s| 1 | 0 | 68267 | - | 43M| 0 |2243 |3192 | 24k|3192 | 25k|1857 | 23 | 0 | 6.348291e+02 | -- | Inf
516.40/516.44 c 516s| 1 | 0 | 68574 | - | 43M| 0 |2247 |3192 | 24k|3192 | 25k|1861 | 23 | 0 | 6.352664e+02 | -- | Inf
520.91/520.92 c 521s| 1 | 0 | 69013 | - | 43M| 0 |2243 |3192 | 24k|3192 | 25k|1868 | 23 | 0 | 6.354204e+02 | -- | Inf
525.40/525.42 c 525s| 1 | 0 | 69338 | - | 43M| 0 |2249 |3192 | 24k|3192 | 25k|1874 | 23 | 0 | 6.356075e+02 | -- | Inf
527.00/527.05 c 527s| 1 | 0 | 69966 | - | 43M| 0 |2236 |3192 | 24k|3192 | 25k|1882 | 23 | 0 | 6.359625e+02 | -- | Inf
528.50/528.54 c 529s| 1 | 0 | 70537 | - | 43M| 0 |2251 |3192 | 24k|3192 | 25k|1887 | 23 | 0 | 6.362577e+02 | -- | Inf
532.80/532.89 c 533s| 1 | 0 | 70821 | - | 43M| 0 |2250 |3192 | 24k|3192 | 25k|1893 | 23 | 0 | 6.364549e+02 | -- | Inf
537.21/537.24 c 537s| 1 | 0 | 71085 | - | 43M| 0 |2250 |3192 | 24k|3192 | 25k|1897 | 23 | 0 | 6.365917e+02 | -- | Inf
541.60/541.64 c 542s| 1 | 0 | 71253 | - | 43M| 0 |2250 |3192 | 24k|3192 | 25k|1900 | 23 | 0 | 6.367705e+02 | -- | Inf
546.00/546.08 c 546s| 1 | 0 | 71427 | - | 43M| 0 |2250 |3192 | 24k|3192 | 25k|1902 | 23 | 0 | 6.369265e+02 | -- | Inf
550.50/550.53 c 551s| 1 | 0 | 71587 | - | 43M| 0 |2250 |3192 | 24k|3192 | 25k|1907 | 23 | 0 | 6.371128e+02 | -- | Inf
553.91/553.97 c 554s| 1 | 0 | 71808 | - | 43M| 0 |2250 |3192 | 24k|3192 | 25k|1913 | 23 | 0 | 6.373357e+02 | -- | Inf
558.40/558.45 c 558s| 1 | 0 | 72234 | - | 43M| 0 |2250 |3192 | 24k|3192 | 25k|1922 | 23 | 0 | 6.375800e+02 | -- | Inf
560.20/560.24 c 560s| 1 | 0 | 72715 | - | 43M| 0 |2248 |3192 | 24k|3192 | 25k|1928 | 23 | 0 | 6.379093e+02 | -- | Inf
561.80/561.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
561.80/561.84 c 562s| 1 | 0 | 72993 | - | 43M| 0 |2250 |3192 | 24k|3192 | 25k|1934 | 23 | 0 | 6.380909e+02 | -- | Inf
566.30/566.33 c 566s| 1 | 0 | 73267 | - | 43M| 0 |2250 |3192 | 24k|3192 | 25k|1942 | 23 | 0 | 6.383017e+02 | -- | Inf
568.10/568.13 c 568s| 1 | 0 | 73713 | - | 43M| 0 |2247 |3192 | 24k|3192 | 25k|1951 | 23 | 0 | 6.385390e+02 | -- | Inf
569.80/569.81 c 570s| 1 | 0 | 74062 | - | 43M| 0 |2251 |3192 | 24k|3192 | 25k|1955 | 23 | 0 | 6.387650e+02 | -- | Inf
574.31/574.38 c 574s| 1 | 0 | 74529 | - | 43M| 0 |2247 |3192 | 24k|3192 | 25k|1961 | 23 | 0 | 6.389609e+02 | -- | Inf
577.90/577.95 c 578s| 1 | 0 | 74855 | - | 43M| 0 |2246 |3192 | 24k|3192 | 25k|1969 | 23 | 0 | 6.393084e+02 | -- | Inf
582.40/582.41 c 582s| 1 | 0 | 75149 | - | 43M| 0 |2250 |3192 | 24k|3192 | 25k|1973 | 23 | 0 | 6.395443e+02 | -- | Inf
587.00/587.03 c 587s| 1 | 0 | 75496 | - | 43M| 0 |2249 |3192 | 24k|3192 | 25k|1981 | 23 | 0 | 6.396766e+02 | -- | Inf
591.50/591.52 c 592s| 1 | 0 | 75885 | - | 43M| 0 |2251 |3192 | 24k|3192 | 25k|1986 | 23 | 0 | 6.399733e+02 | -- | Inf
595.80/595.84 c 596s| 1 | 0 | 76084 | - | 43M| 0 |2247 |3192 | 24k|3192 | 25k|1992 | 23 | 0 | 6.401206e+02 | -- | Inf
600.30/600.36 c 600s| 1 | 0 | 76372 | - | 43M| 0 |2244 |3192 | 24k|3192 | 25k|1998 | 23 | 0 | 6.404375e+02 | -- | Inf
604.90/604.92 c 605s| 1 | 0 | 76563 | - | 43M| 0 |2239 |3192 | 24k|3192 | 25k|2002 | 23 | 0 | 6.406358e+02 | -- | Inf
609.60/609.65 c 610s| 1 | 0 | 76849 | - | 43M| 0 |2245 |3192 | 24k|3192 | 25k|2008 | 23 | 0 | 6.408005e+02 | -- | Inf
614.20/614.23 c 614s| 1 | 0 | 76988 | - | 43M| 0 |2241 |3192 | 24k|3192 | 25k|2013 | 23 | 0 | 6.408749e+02 | -- | Inf
618.70/618.75 c 619s| 1 | 0 | 77089 | - | 43M| 0 |2239 |3192 | 24k|3192 | 25k|2017 | 23 | 0 | 6.409394e+02 | -- | Inf
619.90/619.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
619.90/619.92 c 620s| 1 | 0 | 77266 | - | 43M| 0 |2244 |3192 | 24k|3192 | 25k|2021 | 23 | 0 | 6.411707e+02 | -- | Inf
624.61/624.66 c 625s| 1 | 0 | 77527 | - | 43M| 0 |2233 |3192 | 24k|3192 | 25k|2029 | 23 | 0 | 6.412763e+02 | -- | Inf
625.91/625.91 c 626s| 1 | 0 | 77802 | - | 43M| 0 |2243 |3192 | 24k|3192 | 25k|2035 | 23 | 0 | 6.415088e+02 | -- | Inf
630.50/630.57 c 631s| 1 | 0 | 77983 | - | 43M| 0 |2235 |3192 | 24k|3192 | 25k|2041 | 23 | 0 | 6.416159e+02 | -- | Inf
634.91/634.98 c 635s| 1 | 0 | 78156 | - | 43M| 0 |2247 |3192 | 24k|3192 | 25k|2044 | 23 | 0 | 6.417763e+02 | -- | Inf
639.60/639.63 c 640s| 1 | 0 | 78296 | - | 43M| 0 |2247 |3192 | 24k|3192 | 25k|2046 | 23 | 0 | 6.419080e+02 | -- | Inf
644.31/644.38 c 644s| 1 | 0 | 78629 | - | 43M| 0 |2243 |3192 | 24k|3192 | 25k|2049 | 23 | 0 | 6.420529e+02 | -- | Inf
649.01/649.01 c 649s| 1 | 0 | 78731 | - | 43M| 0 |2244 |3192 | 24k|3192 | 25k|2053 | 23 | 0 | 6.421225e+02 | -- | Inf
653.31/653.37 c 653s| 1 | 0 | 78859 | - | 43M| 0 |2241 |3192 | 24k|3192 | 25k|2057 | 23 | 0 | 6.423082e+02 | -- | Inf
658.01/658.02 c 658s| 1 | 0 | 79011 | - | 43M| 0 |2239 |3192 | 24k|3192 | 25k|2061 | 23 | 0 | 6.424357e+02 | -- | Inf
662.61/662.68 c 663s| 1 | 0 | 79153 | - | 43M| 0 |2241 |3192 | 24k|3192 | 25k|2063 | 23 | 0 | 6.425875e+02 | -- | Inf
667.20/667.29 c 667s| 1 | 0 | 79194 | - | 43M| 0 |2241 |3192 | 24k|3192 | 25k|2064 | 23 | 0 | 6.426619e+02 | -- | Inf
671.90/671.95 c 672s| 1 | 0 | 79326 | - | 43M| 0 |2243 |3192 | 24k|3192 | 25k|2065 | 23 | 0 | 6.426876e+02 | -- | Inf
676.61/676.64 c 677s| 1 | 0 | 79442 | - | 43M| 0 |2246 |3192 | 24k|3192 | 25k|2068 | 23 | 0 | 6.427289e+02 | -- | Inf
681.30/681.31 c 681s| 1 | 0 | 79656 | - | 43M| 0 |2246 |3192 | 24k|3192 | 25k|2071 | 23 | 0 | 6.429047e+02 | -- | Inf
686.01/686.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
686.01/686.08 c 686s| 1 | 0 | 79832 | - | 43M| 0 |2246 |3192 | 24k|3192 | 25k|2074 | 23 | 0 | 6.430929e+02 | -- | Inf
690.82/690.89 c 691s| 1 | 0 | 79957 | - | 43M| 0 |2245 |3192 | 24k|3192 | 25k|2077 | 23 | 0 | 6.432720e+02 | -- | Inf
695.50/695.52 c 696s| 1 | 0 | 80036 | - | 43M| 0 |2240 |3192 | 24k|3192 | 25k|2081 | 23 | 0 | 6.433534e+02 | -- | Inf
699.91/699.99 c 700s| 1 | 0 | 80082 | - | 43M| 0 |2240 |3192 | 24k|3192 | 25k|2083 | 23 | 0 | 6.434964e+02 | -- | Inf
704.60/704.61 c 705s| 1 | 0 | 80196 | - | 43M| 0 |2244 |3192 | 24k|3192 | 25k|2087 | 23 | 0 | 6.436398e+02 | -- | Inf
709.11/709.19 c 709s| 1 | 0 | 80393 | - | 43M| 0 |2246 |3192 | 24k|3192 | 25k|2091 | 23 | 0 | 6.437991e+02 | -- | Inf
711.20/711.23 c 711s| 1 | 0 | 80758 | - | 43M| 0 |2251 |3192 | 24k|3192 | 25k|2096 | 23 | 0 | 6.441293e+02 | -- | Inf
716.00/716.02 c 716s| 1 | 0 | 81065 | - | 43M| 0 |2245 |3192 | 24k|3192 | 25k|2114 | 23 | 0 | 6.443309e+02 | -- | Inf
720.61/720.64 c 721s| 1 | 0 | 81179 | - | 43M| 0 |2253 |3192 | 24k|3192 | 25k|2117 | 23 | 0 | 6.443736e+02 | -- | Inf
725.31/725.37 c 725s| 1 | 0 | 81422 | - | 43M| 0 |2249 |3192 | 24k|3192 | 25k|2122 | 23 | 0 | 6.444577e+02 | -- | Inf
730.01/730.00 c 730s| 1 | 0 | 81609 | - | 43M| 0 |2253 |3192 | 24k|3192 | 25k|2127 | 23 | 0 | 6.444949e+02 | -- | Inf
734.71/734.70 c 735s| 1 | 0 | 81765 | - | 43M| 0 |2250 |3192 | 24k|3192 | 25k|2133 | 23 | 0 | 6.445782e+02 | -- | Inf
739.11/739.13 c 739s| 1 | 0 | 81868 | - | 43M| 0 |2253 |3192 | 24k|3192 | 25k|2137 | 23 | 0 | 6.446859e+02 | -- | Inf
743.51/743.58 c 744s| 1 | 0 | 82003 | - | 43M| 0 |2249 |3192 | 24k|3192 | 25k|2140 | 23 | 0 | 6.447880e+02 | -- | Inf
748.11/748.19 c 748s| 1 | 0 | 82163 | - | 43M| 0 |2250 |3192 | 24k|3192 | 25k|2144 | 23 | 0 | 6.449170e+02 | -- | Inf
752.81/752.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
752.81/752.82 c 753s| 1 | 0 | 82204 | - | 43M| 0 |2251 |3192 | 24k|3192 | 25k|2147 | 23 | 0 | 6.450064e+02 | -- | Inf
757.31/757.34 c 757s| 1 | 0 | 82334 | - | 43M| 0 |2251 |3192 | 24k|3192 | 25k|2152 | 23 | 0 | 6.451119e+02 | -- | Inf
762.01/762.04 c 762s| 1 | 0 | 82460 | - | 43M| 0 |2251 |3192 | 24k|3192 | 25k|2155 | 23 | 0 | 6.452969e+02 | -- | Inf
766.51/766.58 c 767s| 1 | 0 | 82552 | - | 43M| 0 |2249 |3192 | 24k|3192 | 25k|2158 | 23 | 0 | 6.454350e+02 | -- | Inf
771.21/771.22 c 771s| 1 | 0 | 82642 | - | 43M| 0 |2248 |3192 | 24k|3192 | 25k|2160 | 23 | 0 | 6.455385e+02 | -- | Inf
775.91/775.93 c 776s| 1 | 0 | 82744 | - | 43M| 0 |2251 |3192 | 24k|3192 | 25k|2162 | 23 | 0 | 6.456209e+02 | -- | Inf
780.61/780.63 c 781s| 1 | 0 | 82871 | - | 43M| 0 |2251 |3192 | 24k|3192 | 25k|2167 | 23 | 0 | 6.457623e+02 | -- | Inf
785.21/785.24 c 785s| 1 | 0 | 82916 | - | 43M| 0 |2251 |3192 | 24k|3192 | 25k|2170 | 23 | 0 | 6.459038e+02 | -- | Inf
789.71/789.76 c 790s| 1 | 0 | 82950 | - | 43M| 0 |2247 |3192 | 24k|3192 | 25k|2174 | 23 | 0 | 6.460096e+02 | -- | Inf
794.21/794.22 c 794s| 1 | 0 | 82992 | - | 43M| 0 |2253 |3192 | 24k|3192 | 25k|2176 | 23 | 0 | 6.461621e+02 | -- | Inf
798.90/798.92 c 799s| 1 | 0 | 83037 | - | 43M| 0 |2253 |3192 | 24k|3192 | 25k|2178 | 23 | 0 | 6.463185e+02 | -- | Inf
803.51/803.58 c 804s| 1 | 0 | 83130 | - | 43M| 0 |2246 |3192 | 24k|3192 | 25k|2181 | 23 | 0 | 6.464784e+02 | -- | Inf
808.11/808.19 c 808s| 1 | 0 | 83195 | - | 43M| 0 |2249 |3192 | 24k|3192 | 25k|2183 | 23 | 0 | 6.465366e+02 | -- | Inf
812.81/812.81 c 813s| 1 | 0 | 83256 | - | 43M| 0 |2253 |3192 | 24k|3192 | 25k|2186 | 23 | 0 | 6.466895e+02 | -- | Inf
817.42/817.41 c 817s| 1 | 0 | 83329 | - | 43M| 0 |2249 |3192 | 24k|3192 | 25k|2190 | 23 | 0 | 6.468518e+02 | -- | Inf
822.11/822.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
822.11/822.19 c 822s| 1 | 0 | 83379 | - | 43M| 0 |2251 |3192 | 24k|3192 | 25k|2193 | 23 | 0 | 6.469547e+02 | -- | Inf
826.91/826.96 c 827s| 1 | 0 | 83610 | - | 43M| 0 |2249 |3192 | 24k|3192 | 25k|2197 | 23 | 0 | 6.471063e+02 | -- | Inf
831.71/831.74 c 832s| 1 | 0 | 83753 | - | 43M| 0 |2249 |3192 | 24k|3192 | 25k|2205 | 23 | 0 | 6.472051e+02 | -- | Inf
836.31/836.31 c 836s| 1 | 0 | 83949 | - | 43M| 0 |2251 |3192 | 24k|3192 | 25k|2213 | 23 | 0 | 6.473788e+02 | -- | Inf
841.11/841.10 c 841s| 1 | 0 | 84124 | - | 43M| 0 |2249 |3192 | 24k|3192 | 25k|2216 | 23 | 0 | 6.475438e+02 | -- | Inf
845.81/845.83 c 846s| 1 | 0 | 84247 | - | 43M| 0 |2253 |3192 | 24k|3192 | 25k|2221 | 23 | 0 | 6.476770e+02 | -- | Inf
850.41/850.48 c 850s| 1 | 0 | 84348 | - | 43M| 0 |2251 |3192 | 24k|3192 | 25k|2224 | 23 | 0 | 6.477725e+02 | -- | Inf
855.21/855.24 c 855s| 1 | 0 | 84410 | - | 43M| 0 |2251 |3192 | 24k|3192 | 25k|2227 | 23 | 0 | 6.478063e+02 | -- | Inf
859.91/859.99 c 860s| 1 | 0 | 84471 | - | 43M| 0 |2253 |3192 | 24k|3192 | 25k|2229 | 23 | 0 | 6.479185e+02 | -- | Inf
864.72/864.75 c 865s| 1 | 0 | 84600 | - | 43M| 0 |2253 |3192 | 24k|3192 | 25k|2233 | 23 | 0 | 6.481234e+02 | -- | Inf
869.61/869.67 c 870s| 1 | 0 | 84739 | - | 43M| 0 |2253 |3192 | 24k|3192 | 25k|2235 | 23 | 0 | 6.482906e+02 | -- | Inf
874.41/874.40 c 874s| 1 | 0 | 84898 | - | 43M| 0 |2253 |3192 | 24k|3192 | 25k|2239 | 23 | 0 | 6.484896e+02 | -- | Inf
879.02/879.09 c 879s| 1 | 0 | 84959 | - | 43M| 0 |2253 |3192 | 24k|3192 | 25k|2241 | 23 | 0 | 6.486576e+02 | -- | Inf
883.82/883.82 c 884s| 1 | 0 | 85057 | - | 43M| 0 |2250 |3192 | 24k|3192 | 25k|2245 | 23 | 0 | 6.488309e+02 | -- | Inf
888.51/888.54 c 889s| 1 | 0 | 85107 | - | 43M| 0 |2251 |3192 | 24k|3192 | 25k|2247 | 23 | 0 | 6.489965e+02 | -- | Inf
893.31/893.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
893.31/893.34 c 893s| 1 | 0 | 85220 | - | 43M| 0 |2250 |3192 | 24k|3192 | 25k|2251 | 23 | 0 | 6.491552e+02 | -- | Inf
898.01/898.10 c 898s| 1 | 0 | 85321 | - | 43M| 0 |2253 |3192 | 24k|3192 | 25k|2253 | 23 | 0 | 6.492290e+02 | -- | Inf
902.91/902.92 c 903s| 1 | 0 | 85473 | - | 43M| 0 |2251 |3192 | 24k|3192 | 25k|2257 | 23 | 0 | 6.494059e+02 | -- | Inf
907.71/907.74 c 908s| 1 | 0 | 85571 | - | 43M| 0 |2253 |3192 | 24k|3192 | 25k|2259 | 23 | 0 | 6.494593e+02 | -- | Inf
912.41/912.47 c 912s| 1 | 0 | 85694 | - | 43M| 0 |2243 |3192 | 24k|3192 | 25k|2263 | 23 | 0 | 6.495891e+02 | -- | Inf
917.32/917.38 c 917s| 1 | 0 | 86013 | - | 43M| 0 |2250 |3192 | 24k|3192 | 25k|2267 | 23 | 0 | 6.498289e+02 | -- | Inf
922.21/922.23 c 922s| 1 | 0 | 86586 | - | 43M| 0 |2252 |3192 | 24k|3192 | 25k|2277 | 23 | 0 | 6.501085e+02 | -- | Inf
927.02/927.09 c 927s| 1 | 0 | 86745 | - | 43M| 0 |2253 |3192 | 24k|3192 | 25k|2285 | 23 | 0 | 6.504115e+02 | -- | Inf
931.91/931.90 c 932s| 1 | 0 | 86998 | - | 43M| 0 |2253 |3192 | 24k|3192 | 25k|2291 | 23 | 0 | 6.508797e+02 | -- | Inf
936.51/936.53 c 937s| 1 | 0 | 87107 | - | 43M| 0 |2253 |3192 | 24k|3192 | 25k|2294 | 23 | 0 | 6.510237e+02 | -- | Inf
941.32/941.36 c 941s| 1 | 0 | 87279 | - | 43M| 0 |2253 |3192 | 24k|3192 | 25k|2298 | 23 | 0 | 6.511438e+02 | -- | Inf
945.41/945.46 c 945s| 1 | 0 | 87500 | - | 43M| 0 |2249 |3192 | 24k|3192 | 25k|2301 | 23 | 0 | 6.514016e+02 | -- | Inf
950.52/950.56 c 951s| 1 | 0 | 87742 | - | 43M| 0 |2253 |3192 | 24k|3192 | 25k|2310 | 23 | 0 | 6.515641e+02 | -- | Inf
955.62/955.65 c 956s| 1 | 0 | 88035 | - | 43M| 0 |2253 |3192 | 24k|3192 | 25k|2316 | 23 | 0 | 6.517342e+02 | -- | Inf
960.81/960.80 c 961s| 1 | 0 | 88372 | - | 43M| 0 |2251 |3192 | 24k|3192 | 25k|2324 | 23 | 0 | 6.520427e+02 | -- | Inf
965.71/965.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
965.71/965.75 c 966s| 1 | 0 | 88705 | - | 43M| 0 |2244 |3192 | 24k|3192 | 25k|2335 | 23 | 0 | 6.522527e+02 | -- | Inf
970.71/970.70 c 971s| 1 | 0 | 88922 | - | 43M| 0 |2254 |3192 | 24k|3192 | 25k|2338 | 23 | 0 | 6.523022e+02 | -- | Inf
975.92/975.99 c 976s| 1 | 0 | 89341 | - | 43M| 0 |2252 |3192 | 24k|3192 | 25k|2343 | 23 | 0 | 6.524969e+02 | -- | Inf
980.81/980.82 c 981s| 1 | 0 | 89569 | - | 43M| 0 |2254 |3192 | 24k|3192 | 25k|2346 | 23 | 0 | 6.526470e+02 | -- | Inf
985.72/985.72 c 986s| 1 | 0 | 89812 | - | 43M| 0 |2254 |3192 | 24k|3192 | 25k|2350 | 23 | 0 | 6.528473e+02 | -- | Inf
990.72/990.74 c 991s| 1 | 0 | 90149 | - | 43M| 0 |2252 |3192 | 24k|3192 | 25k|2357 | 23 | 0 | 6.530492e+02 | -- | Inf
995.52/995.51 c 996s| 1 | 0 | 90336 | - | 43M| 0 |2252 |3192 | 24k|3192 | 25k|2359 | 23 | 0 | 6.532104e+02 | -- | Inf
1000.52/1000.55 c 1001s| 1 | 0 | 90475 | - | 43M| 0 |2254 |3192 | 24k|3192 | 25k|2364 | 23 | 0 | 6.534252e+02 | -- | Inf
1005.61/1005.60 c 1006s| 1 | 0 | 90661 | - | 43M| 0 |2254 |3192 | 24k|3192 | 25k|2368 | 23 | 0 | 6.537103e+02 | -- | Inf
1010.72/1010.76 c 1011s| 1 | 0 | 90951 | - | 43M| 0 |2254 |3192 | 24k|3192 | 25k|2372 | 23 | 0 | 6.539276e+02 | -- | Inf
1015.92/1015.92 c 1016s| 1 | 0 | 91176 | - | 43M| 0 |2250 |3192 | 24k|3192 | 25k|2376 | 23 | 0 | 6.540443e+02 | -- | Inf
1017.32/1017.30 c 1017s| 1 | 0 | 91377 | - | 43M| 0 |2252 |3192 | 24k|3192 | 25k|2380 | 23 | 0 | 6.541706e+02 | -- | Inf
1022.11/1022.17 c 1022s| 1 | 0 | 91540 | - | 42M| 0 |2254 |3192 | 24k|3192 | 25k|2382 | 23 | 0 | 6.542546e+02 | -- | Inf
1027.32/1027.34 c 1027s| 1 | 0 | 91903 | - | 42M| 0 |2254 |3192 | 24k|3192 | 25k|2389 | 23 | 0 | 6.544956e+02 | -- | Inf
1032.41/1032.44 c 1032s| 1 | 0 | 92075 | - | 42M| 0 |2254 |3192 | 24k|3192 | 25k|2393 | 23 | 0 | 6.546451e+02 | -- | Inf
1037.52/1037.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1037.52/1037.55 c 1038s| 1 | 0 | 92279 | - | 42M| 0 |2252 |3192 | 24k|3192 | 25k|2402 | 23 | 0 | 6.547013e+02 | -- | Inf
1042.51/1042.53 c 1043s| 1 | 0 | 92504 | - | 42M| 0 |2254 |3192 | 24k|3192 | 25k|2410 | 23 | 0 | 6.548564e+02 | -- | Inf
1047.41/1047.43 c 1047s| 1 | 0 | 92679 | - | 42M| 0 |2254 |3192 | 24k|3192 | 25k|2414 | 23 | 0 | 6.550935e+02 | -- | Inf
1052.41/1052.44 c 1052s| 1 | 0 | 92832 | - | 42M| 0 |2249 |3192 | 24k|3192 | 25k|2417 | 23 | 0 | 6.552021e+02 | -- | Inf
1057.23/1057.26 c 1057s| 1 | 0 | 93020 | - | 42M| 0 |2252 |3192 | 24k|3192 | 25k|2425 | 23 | 0 | 6.553688e+02 | -- | Inf
1062.31/1062.34 c 1062s| 1 | 0 | 93301 | - | 42M| 0 |2251 |3192 | 24k|3192 | 25k|2429 | 23 | 0 | 6.555569e+02 | -- | Inf
1067.42/1067.44 c 1067s| 1 | 0 | 93435 | - | 42M| 0 |2254 |3192 | 24k|3192 | 25k|2432 | 23 | 0 | 6.556821e+02 | -- | Inf
1072.32/1072.34 c 1072s| 1 | 0 | 93726 | - | 42M| 0 |2255 |3192 | 24k|3192 | 25k|2437 | 23 | 0 | 6.558260e+02 | -- | Inf
1077.41/1077.42 c 1077s| 1 | 0 | 93972 | - | 42M| 0 |2254 |3192 | 24k|3192 | 25k|2441 | 23 | 0 | 6.559402e+02 | -- | Inf
1082.71/1082.77 c 1083s| 1 | 0 | 94336 | - | 42M| 0 |2255 |3192 | 24k|3192 | 25k|2451 | 23 | 0 | 6.562779e+02 | -- | Inf
1087.72/1087.79 c 1088s| 1 | 0 | 94824 | - | 42M| 0 |2252 |3192 | 24k|3192 | 25k|2468 | 23 | 0 | 6.566743e+02 | -- | Inf
1092.82/1092.81 c 1093s| 1 | 0 | 95096 | - | 42M| 0 |2253 |3192 | 24k|3192 | 25k|2477 | 23 | 0 | 6.567506e+02 | -- | Inf
1098.02/1098.04 c 1098s| 1 | 0 | 95370 | - | 42M| 0 |2254 |3192 | 24k|3192 | 25k|2486 | 23 | 0 | 6.568517e+02 | -- | Inf
1103.01/1103.03 c 1103s| 1 | 0 | 95433 | - | 42M| 0 |2253 |3192 | 24k|3192 | 25k|2488 | 23 | 0 | 6.568593e+02 | -- | Inf
1107.92/1107.92 c 1108s| 1 | 0 | 95663 | - | 42M| 0 |2254 |3192 | 24k|3192 | 25k|2490 | 23 | 0 | 6.570303e+02 | -- | Inf
1112.82/1112.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1112.82/1112.87 c 1113s| 1 | 0 | 95765 | - | 42M| 0 |2252 |3192 | 24k|3192 | 25k|2493 | 23 | 0 | 6.571010e+02 | -- | Inf
1117.92/1117.90 c 1118s| 1 | 0 | 95869 | - | 42M| 0 |2254 |3192 | 24k|3192 | 25k|2506 | 23 | 0 | 6.572408e+02 | -- | Inf
1123.01/1123.07 c 1123s| 1 | 0 | 95977 | - | 42M| 0 |2253 |3192 | 24k|3192 | 25k|2513 | 23 | 0 | 6.573739e+02 | -- | Inf
1127.92/1127.91 c 1128s| 1 | 0 | 96042 | - | 42M| 0 |2252 |3192 | 24k|3192 | 25k|2518 | 23 | 0 | 6.574452e+02 | -- | Inf
1132.82/1132.82 c 1133s| 1 | 0 | 96136 | - | 42M| 0 |2254 |3192 | 24k|3192 | 25k|2524 | 23 | 0 | 6.575848e+02 | -- | Inf
1137.92/1137.91 c 1138s| 1 | 0 | 96244 | - | 42M| 0 |2249 |3192 | 24k|3192 | 25k|2529 | 23 | 0 | 6.576810e+02 | -- | Inf
1143.02/1143.05 c 1143s| 1 | 0 | 96341 | - | 42M| 0 |2252 |3192 | 24k|3192 | 25k|2534 | 23 | 0 | 6.577364e+02 | -- | Inf
1148.12/1148.14 c 1148s| 1 | 0 | 96434 | - | 42M| 0 |2254 |3192 | 24k|3192 | 25k|2539 | 23 | 0 | 6.578584e+02 | -- | Inf
1153.12/1153.19 c 1153s| 1 | 0 | 96519 | - | 42M| 0 |2252 |3192 | 24k|3192 | 25k|2543 | 23 | 0 | 6.579660e+02 | -- | Inf
1158.22/1158.21 c 1158s| 1 | 0 | 96596 | - | 42M| 0 |2254 |3192 | 24k|3192 | 25k|2546 | 23 | 0 | 6.579887e+02 | -- | Inf
1163.22/1163.29 c 1163s| 1 | 0 | 96640 | - | 42M| 0 |2255 |3192 | 24k|3192 | 25k|2548 | 23 | 0 | 6.580306e+02 | -- | Inf
1168.23/1168.20 c 1168s| 1 | 0 | 96648 | - | 42M| 0 |2255 |3192 | 24k|3192 | 25k|2549 | 23 | 0 | 6.580530e+02 | -- | Inf
1173.02/1173.05 c 1173s| 1 | 0 | 96726 | - | 42M| 0 |2255 |3192 | 24k|3192 | 25k|2553 | 23 | 0 | 6.580584e+02 | -- | Inf
1177.82/1177.81 c 1178s| 1 | 0 | 96764 | - | 42M| 0 |2255 |3192 | 24k|3192 | 25k|2557 | 23 | 0 | 6.580611e+02 | -- | Inf
1182.82/1182.81 c 1183s| 1 | 0 | 96968 | - | 42M| 0 |2253 |3192 | 24k|3192 | 25k|2560 | 23 | 0 | 6.581881e+02 | -- | Inf
1187.42/1187.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1187.42/1187.40 c 1187s| 1 | 0 | 97006 | - | 42M| 0 |2253 |3192 | 24k|3192 | 25k|2563 | 23 | 0 | 6.581955e+02 | -- | Inf
1192.32/1192.34 c 1192s| 1 | 0 | 97075 | - | 42M| 0 |2253 |3192 | 24k|3192 | 25k|2573 | 23 | 0 | 6.581973e+02 | -- | Inf
1197.12/1197.11 c 1197s| 1 | 0 | 97158 | - | 42M| 0 |2253 |3192 | 24k|3192 | 25k|2576 | 23 | 0 | 6.582062e+02 | -- | Inf
1202.02/1202.00 c 1202s| 1 | 0 | 97172 | - | 42M| 0 |2253 |3192 | 24k|3192 | 25k|2579 | 23 | 0 | 6.582075e+02 | -- | Inf
1206.83/1206.83 c 1207s| 1 | 0 | 97182 | - | 42M| 0 |2253 |3192 | 24k|3192 | 25k|2581 | 23 | 0 | 6.582113e+02 | -- | Inf
1220.62/1220.62 c 1221s| 1 | 2 | 97182 | - | 42M| 0 |2253 |3192 | 24k|3192 | 25k|2581 | 23 | 24 | 6.582113e+02 | -- | Inf
1797.03/1797.00 c
1797.03/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.00 c Solving Time (sec) : 1797.00
1797.03/1797.00 c Solving Nodes : 147
1797.03/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.03/1797.00 c Dual Bound : +6.60805258950118e+02
1797.03/1797.00 c Gap : infinite
1797.03/1797.00 s UNKNOWN
1797.03/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.00 c Total Time : 1797.00
1797.03/1797.00 c solving : 1797.00
1797.03/1797.00 c presolving : 3.80 (included in solving)
1797.03/1797.00 c reading : 0.13 (included in solving)
1797.03/1797.00 c Original Problem :
1797.03/1797.00 c Problem name : HOME/instance-3485546-1307763188.opb
1797.03/1797.00 c Variables : 3204 (3204 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.00 c Constraints : 24883 initial, 24883 maximal
1797.03/1797.00 c Presolved Problem :
1797.03/1797.00 c Problem name : t_HOME/instance-3485546-1307763188.opb
1797.03/1797.00 c Variables : 3192 (3192 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.00 c Constraints : 24871 initial, 25221 maximal
1797.03/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.03/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c dualfix : 0.00 12 0 0 0 0 0 0 0 0
1797.03/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c probing : 3.57 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c setppc : 0.03 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c linear : 0.13 0 0 0 0 0 12 0 0 0
1797.03/1797.00 c logicor : 0.01 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c root node : - 0 - - 0 - - - - -
1797.03/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.03/1797.00 c integral : 0 0 0 151 0 4 0 0 35 0 0 280
1797.03/1797.00 c setppc : 24246 289 9637 0 0 3 5756 23 10717 0 0 0
1797.03/1797.00 c logicor : 625+ 289 3987 0 0 0 394 58 142 0 0 0
1797.03/1797.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.03/1797.00 c integral : 210.71 0.00 0.00 210.71 0.00 0.00 0.00
1797.03/1797.00 c setppc : 4.82 0.52 4.29 0.00 0.00 0.01 0.00
1797.03/1797.00 c logicor : 0.07 0.01 0.06 0.00 0.00 0.00 0.00
1797.03/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.03/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.03/1797.00 c vbounds : 0 0 0 0
1797.03/1797.00 c rootredcost : 0 0 0 0
1797.03/1797.00 c pseudoobj : 4585 0 0 0
1797.03/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.03/1797.00 c vbounds : 0.00 0.00 0.00
1797.03/1797.00 c rootredcost : 0.00 0.00 0.00
1797.03/1797.00 c pseudoobj : 0.19 0.19 0.00
1797.03/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.03/1797.00 c propagation : 0.00 81 81 313 21.3 25 11.8 -
1797.03/1797.00 c infeasible LP : 0.02 20 20 37 19.9 9 13.0 0
1797.03/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.03/1797.00 c applied globally : - - - 350 19.2 - - -
1797.03/1797.00 c applied locally : - - - 0 0.0 - - -
1797.03/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.03/1797.00 c cut pool : 0.15 288 - - 3113 - (maximal pool size: 3229)
1797.03/1797.00 c redcost : 0.02 439 0 0 0 0
1797.03/1797.00 c impliedbounds : 0.62 289 0 0 1744 0
1797.03/1797.00 c intobj : 0.00 0 0 0 0 0
1797.03/1797.00 c gomory : 1096.27 289 0 0 26799 0
1797.03/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.03/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.03/1797.00 c strongcg : 14.41 20 0 0 9945 0
1797.03/1797.00 c cmir : 2.24 10 0 0 0 0
1797.03/1797.00 c flowcover : 2.26 10 0 0 0 0
1797.03/1797.00 c clique : 3.59 289 0 0 1777 0
1797.03/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.03/1797.00 c mcf : 0.04 1 0 0 0 0
1797.03/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.03/1797.00 c rapidlearning : 0.00 0 0 0 0 0
1797.03/1797.00 c Pricers : Time Calls Vars
1797.03/1797.00 c problem variables: 0.00 0 0
1797.03/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.03/1797.00 c relpscost : 210.71 151 0 35 0 0 280
1797.03/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.03/1797.00 c inference : 0.00 0 0 0 0 0 0
1797.03/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.03/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.03/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.00 c random : 0.00 0 0 0 0 0 0
1797.03/1797.00 c Primal Heuristics : Time Calls Found
1797.03/1797.00 c LP solutions : 0.00 - 0
1797.03/1797.00 c pseudo solutions : 0.00 - 0
1797.03/1797.00 c oneopt : 0.00 0 0
1797.03/1797.00 c crossover : 0.00 0 0
1797.03/1797.00 c fracdiving : 30.31 5 0
1797.03/1797.00 c linesearchdiving : 32.19 5 0
1797.03/1797.00 c trivial : 0.01 2 0
1797.03/1797.00 c shiftandpropagate: 0.14 1 0
1797.03/1797.00 c simplerounding : 0.00 0 0
1797.03/1797.00 c zirounding : 0.25 139 0
1797.03/1797.00 c rounding : 0.43 176 0
1797.03/1797.00 c shifting : 1.58 103 0
1797.03/1797.00 c intshifting : 0.00 0 0
1797.03/1797.00 c twoopt : 0.00 0 0
1797.03/1797.00 c fixandinfer : 0.00 0 0
1797.03/1797.00 c feaspump : 9.52 2 0
1797.03/1797.00 c clique : 0.00 0 0
1797.03/1797.00 c coefdiving : 28.56 6 0
1797.03/1797.00 c pscostdiving : 39.55 5 0
1797.03/1797.00 c veclendiving : 42.10 4 0
1797.03/1797.00 c intdiving : 0.00 0 0
1797.03/1797.00 c actconsdiving : 0.00 0 0
1797.03/1797.00 c objpscostdiving : 35.20 1 0
1797.03/1797.00 c rootsoldiving : 20.59 2 0
1797.03/1797.00 c guideddiving : 0.00 0 0
1797.03/1797.00 c octane : 0.00 0 0
1797.03/1797.00 c rens : 0.01 0 0
1797.03/1797.00 c rins : 0.00 0 0
1797.03/1797.00 c localbranching : 0.00 0 0
1797.03/1797.00 c mutation : 0.00 0 0
1797.03/1797.00 c dins : 0.00 0 0
1797.03/1797.00 c vbounds : 0.00 0 0
1797.03/1797.00 c undercover : 0.00 0 0
1797.03/1797.00 c subnlp : 0.00 0 0
1797.03/1797.00 c trysol : 0.00 0 0
1797.03/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.03/1797.00 c primal LP : 0.51 0 0 0.00 0.00
1797.03/1797.00 c dual LP : 219.29 440 296140 673.05 1350.42
1797.03/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.03/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.03/1797.00 c diving/probing LP: 230.86 2074 328545 158.41 1423.16
1797.03/1797.00 c strong branching : 210.63 465 272991 587.08 1296.06
1797.03/1797.00 c (at root node) : - 24 17076 711.50 -
1797.03/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.03/1797.00 c B&B Tree :
1797.03/1797.00 c number of runs : 1
1797.03/1797.00 c nodes : 147
1797.03/1797.00 c nodes (total) : 147
1797.03/1797.00 c nodes left : 134
1797.03/1797.00 c max depth : 28
1797.03/1797.00 c max depth (total): 28
1797.03/1797.00 c backtracks : 57 (38.8%)
1797.03/1797.00 c delayed cutoffs : 0
1797.03/1797.00 c repropagations : 47 (14 domain reductions, 0 cutoffs)
1797.03/1797.00 c avg switch length: 4.21
1797.03/1797.00 c switching time : 0.13
1797.03/1797.00 c Solution :
1797.03/1797.00 c Solutions found : 0 (0 improvements)
1797.03/1797.00 c Primal Bound : -
1797.03/1797.00 c Dual Bound : +6.60805258950118e+02
1797.03/1797.00 c Gap : infinite
1797.03/1797.00 c Root Dual Bound : +6.58211349237631e+02
1797.03/1797.00 c Root Iterations : 97182
1797.03/1797.07 c Time complete: 1797.11.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3485546-1307763188/watcher-3485546-1307763188 -o /tmp/evaluation-result-3485546-1307763188/solver-3485546-1307763188 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485546-1307763188.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 1.99 2.00 2/177 15452
/proc/meminfo: memFree=31796968/32951124 swapFree=67056964/67111528
[pid=15452] ppid=15450 vsize=10704 CPUtime=0 cores=0,2,4,6
/proc/15452/stat : 15452 (scip-2.0.1.4_2.) R 15450 15452 15024 0 -1 4202496 1654 0 0 0 0 0 0 0 25 0 1 0 868734714 10960896 1608 33554432000 4194304 8979876 140733244549312 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15452/statm: 2676 1618 358 1169 0 1503 0
[startup+0.105589 s]
/proc/loadavg: 2.00 1.99 2.00 2/177 15452
/proc/meminfo: memFree=31796968/32951124 swapFree=67056964/67111528
[pid=15452] ppid=15450 vsize=19332 CPUtime=0.1 cores=0,2,4,6
/proc/15452/stat : 15452 (scip-2.0.1.4_2.) R 15450 15452 15024 0 -1 4202496 3856 0 0 0 10 0 0 0 25 0 1 0 868734714 19795968 3810 33554432000 4194304 8979876 140733244549312 18446744073709551615 7836068 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15452/statm: 4833 3810 366 1169 0 3660 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 19332
[startup+0.200588 s]
/proc/loadavg: 2.00 1.99 2.00 2/177 15452
/proc/meminfo: memFree=31796968/32951124 swapFree=67056964/67111528
[pid=15452] ppid=15450 vsize=51756 CPUtime=0.19 cores=0,2,4,6
/proc/15452/stat : 15452 (scip-2.0.1.4_2.) R 15450 15452 15024 0 -1 4202496 11645 0 0 0 18 1 0 0 25 0 1 0 868734714 52998144 11599 33554432000 4194304 8979876 140733244549312 18446744073709551615 4786416 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15452/statm: 12939 11601 462 1169 0 11766 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 51756
[startup+0.300575 s]
/proc/loadavg: 2.00 1.99 2.00 2/177 15452
/proc/meminfo: memFree=31796968/32951124 swapFree=67056964/67111528
[pid=15452] ppid=15450 vsize=63664 CPUtime=0.29 cores=0,2,4,6
/proc/15452/stat : 15452 (scip-2.0.1.4_2.) R 15450 15452 15024 0 -1 4202496 15644 0 0 0 28 1 0 0 25 0 1 0 868734714 65191936 14587 33554432000 4194304 8979876 140733244549312 18446744073709551615 4326208 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15452/statm: 15916 14587 500 1169 0 14743 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 63664
[startup+0.700505 s]
/proc/loadavg: 2.00 1.99 2.00 2/177 15452
/proc/meminfo: memFree=31796968/32951124 swapFree=67056964/67111528
[pid=15452] ppid=15450 vsize=66364 CPUtime=0.69 cores=0,2,4,6
/proc/15452/stat : 15452 (scip-2.0.1.4_2.) R 15450 15452 15024 0 -1 4202496 17124 0 0 0 68 1 0 0 25 0 1 0 868734714 67956736 15288 33554432000 4194304 8979876 140733244549312 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15452/statm: 16591 15288 521 1169 0 15418 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 66364
[startup+1.50032 s]
/proc/loadavg: 2.00 1.99 2.00 3/178 15453
/proc/meminfo: memFree=31737956/32951124 swapFree=67056964/67111528
[pid=15452] ppid=15450 vsize=66364 CPUtime=1.49 cores=0,2,4,6
/proc/15452/stat : 15452 (scip-2.0.1.4_2.) R 15450 15452 15024 0 -1 4202496 17124 0 0 0 148 1 0 0 25 0 1 0 868734714 67956736 15288 33554432000 4194304 8979876 140733244549312 18446744073709551615 5538059 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15452/statm: 16591 15288 521 1169 0 15418 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 66364
[startup+3.10106 s]
/proc/loadavg: 2.00 1.99 2.00 3/178 15453
/proc/meminfo: memFree=31736840/32951124 swapFree=67056964/67111528
[pid=15452] ppid=15450 vsize=68068 CPUtime=3.09 cores=0,2,4,6
/proc/15452/stat : 15452 (scip-2.0.1.4_2.) R 15450 15452 15024 0 -1 4202496 17555 0 0 0 308 1 0 0 25 0 1 0 868734714 69701632 15719 33554432000 4194304 8979876 140733244549312 18446744073709551615 5538070 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15452/statm: 17017 15719 526 1169 0 15844 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 68068
[startup+6.30049 s]
/proc/loadavg: 2.00 1.99 2.00 3/178 15453
/proc/meminfo: memFree=31692324/32951124 swapFree=67056964/67111528
[pid=15452] ppid=15450 vsize=115112 CPUtime=6.3 cores=0,2,4,6
/proc/15452/stat : 15452 (scip-2.0.1.4_2.) R 15450 15452 15024 0 -1 4202496 29531 0 0 0 626 4 0 0 25 0 1 0 868734714 117874688 26714 33554432000 4194304 8979876 140733244549312 18446744073709551615 7047600 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15452/statm: 28778 26714 662 1169 0 27605 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 115112
[startup+12.7004 s]
/proc/loadavg: 2.00 1.99 2.00 3/178 15453
/proc/meminfo: memFree=31693560/32951124 swapFree=67056964/67111528
[pid=15452] ppid=15450 vsize=111664 CPUtime=12.69 cores=0,2,4,6
/proc/15452/stat : 15452 (scip-2.0.1.4_2.) R 15450 15452 15024 0 -1 4202496 30782 0 0 0 1265 4 0 0 25 0 1 0 868734714 114343936 26231 33554432000 4194304 8979876 140733244549312 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15452/statm: 27916 26231 673 1169 0 26743 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 111664
[startup+25.501 s]
/proc/loadavg: 2.00 1.99 2.00 3/178 15454
/proc/meminfo: memFree=31688956/32951124 swapFree=67056964/67111528
[pid=15452] ppid=15450 vsize=116832 CPUtime=25.49 cores=0,2,4,6
/proc/15452/stat : 15452 (scip-2.0.1.4_2.) R 15450 15452 15024 0 -1 4202496 32002 0 0 0 2542 7 0 0 25 0 1 0 868734714 119635968 27420 33554432000 4194304 8979876 140733244549312 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15452/statm: 29208 27420 683 1169 0 28035 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 116832
[startup+51.1004 s]
/proc/loadavg: 2.00 1.99 2.00 3/178 15454
/proc/meminfo: memFree=31669972/32951124 swapFree=67056964/67111528
[pid=15452] ppid=15450 vsize=136484 CPUtime=51.09 cores=0,2,4,6
/proc/15452/stat : 15452 (scip-2.0.1.4_2.) R 15450 15452 15024 0 -1 4202496 41919 0 0 0 5094 15 0 0 25 0 1 0 868734714 139759616 32532 33554432000 4194304 8979876 140733244549312 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/15452/statm: 34121 32532 904 1169 0 32948 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 136484
[startup+102.3 s]
/proc/loadavg: 2.00 1.99 2.00 3/178 15456
/proc/meminfo: memFree=31663164/32951124 swapFree=67056964/67111528
[pid=15452] ppid=15450 vsize=141836 CPUtime=102.3 cores=0,2,4,6
/proc/15452/stat : 15452 (scip-2.0.1.4_2.) R 15450 15452 15024 0 -1 4202496 48044 0 0 0 10200 30 0 0 25 0 1 0 868734714 145240064 33902 33554432000 4194304 8979876 140733244549312 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/15452/statm: 35459 33902 701 1169 0 34286 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 141836
[startup+162.3 s]
/proc/loadavg: 2.00 1.99 2.00 3/178 15457
/proc/meminfo: memFree=31658976/32951124 swapFree=67056964/67111528
[pid=15452] ppid=15450 vsize=144260 CPUtime=162.29 cores=0,2,4,6
/proc/15452/stat : 15452 (scip-2.0.1.4_2.) R 15450 15452 15024 0 -1 4202496 49100 0 0 0 16180 49 0 0 25 0 1 0 868734714 147722240 34958 33554432000 4194304 8979876 140733244549312 18446744073709551615 7841544 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/15452/statm: 36065 34958 701 1169 0 34892 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 144260
[startup+222.307 s]
/proc/loadavg: 2.00 1.99 2.00 3/178 15459
/proc/meminfo: memFree=31659532/32951124 swapFree=67056964/67111528
[pid=15452] ppid=15450 vsize=144260 CPUtime=222.3 cores=0,2,4,6
/proc/15452/stat : 15452 (scip-2.0.1.4_2.) R 15450 15452 15024 0 -1 4202496 49130 0 0 0 22163 67 0 0 25 0 1 0 868734714 147722240 34970 33554432000 4194304 8979876 140733244549312 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/15452/statm: 36065 34970 683 1169 0 34892 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 144260
[startup+282.301 s]
/proc/loadavg: 2.06 2.00 2.00 3/178 15460
/proc/meminfo: memFree=31659476/32951124 swapFree=67056964/67111528
[pid=15452] ppid=15450 vsize=144260 CPUtime=282.29 cores=0,2,4,6
/proc/15452/stat : 15452 (scip-2.0.1.4_2.) R 15450 15452 15024 0 -1 4202496 49136 0 0 0 28142 87 0 0 25 0 1 0 868734714 147722240 34976 33554432000 4194304 8979876 140733244549312 18446744073709551615 6601194 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/15452/statm: 36065 34976 683 1169 0 34892 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 144260
[startup+342.301 s]
/proc/loadavg: 2.02 2.00 2.00 3/178 15462
/proc/meminfo: memFree=31659428/32951124 swapFree=67056964/67111528
[pid=15452] ppid=15450 vsize=144260 CPUtime=342.3 cores=0,2,4,6
/proc/15452/stat : 15452 (scip-2.0.1.4_2.) R 15450 15452 15024 0 -1 4202496 49145 0 0 0 34125 105 0 0 25 0 1 0 868734714 147722240 34985 33554432000 4194304 8979876 140733244549312 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/15452/statm: 36065 34985 683 1169 0 34892 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 144260
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15464
/proc/meminfo: memFree=31659236/32951124 swapFree=67056964/67111528
[pid=15452] ppid=15450 vsize=145228 CPUtime=402.3 cores=0,2,4,6
/proc/15452/stat : 15452 (scip-2.0.1.4_2.) R 15450 15452 15024 0 -1 4202496 49159 0 0 0 40106 124 0 0 25 0 1 0 868734714 148713472 34999 33554432000 4194304 8979876 140733244549312 18446744073709551615 6888511 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/15452/statm: 36307 34999 683 1169 0 35134 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 145228
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15465
/proc/meminfo: memFree=31659912/32951124 swapFree=67056964/67111528
[pid=15452] ppid=15450 vsize=145228 CPUtime=462.3 cores=0,2,4,6
/proc/15452/stat : 15452 (scip-2.0.1.4_2.) R 15450 15452 15024 0 -1 4202496 49164 0 0 0 46088 142 0 0 25 0 1 0 868734714 148713472 35004 33554432000 4194304 8979876 140733244549312 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/15452/statm: 36307 35004 683 1169 0 35134 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 145228
[startup+522.301 s]
/proc/loadavg: 2.06 2.01 2.00 3/178 15467
/proc/meminfo: memFree=31659232/32951124 swapFree=67056964/67111528
[pid=15452] ppid=15450 vsize=145228 CPUtime=522.3 cores=0,2,4,6
/proc/15452/stat : 15452 (scip-2.0.1.4_2.) R 15450 15452 15024 0 -1 4202496 49166 0 0 0 52071 159 0 0 25 0 1 0 868734714 148713472 35006 33554432000 4194304 8979876 140733244549312 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/15452/statm: 36307 35006 683 1169 0 35134 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 145228
[startup+582.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 15468
/proc/meminfo: memFree=31659664/32951124 swapFree=67056964/67111528
[pid=15452] ppid=15450 vsize=145228 CPUtime=582.3 cores=0,2,4,6
/proc/15452/stat : 15452 (scip-2.0.1.4_2.) R 15450 15452 15024 0 -1 4202496 49175 0 0 0 58053 177 0 0 25 0 1 0 868734714 148713472 35015 33554432000 4194304 8979876 140733244549312 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/15452/statm: 36307 35015 683 1169 0 35134 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 145228
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=31656828/32951124 swapFree=67056964/67111528
[pid=15452] ppid=15450 vsize=145400 CPUtime=1062.31 cores=0,2,4,6
/proc/15452/stat : 15452 (scip-2.0.1.4_2.) R 15450 15452 15024 0 -1 4202496 49235 0 0 0 105915 316 0 0 25 0 1 0 868734714 148889600 35075 33554432000 4194304 8979876 140733244549312 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/15452/statm: 36350 35075 683 1169 0 35177 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 145400
[startup+1122.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 15483
/proc/meminfo: memFree=31655160/32951124 swapFree=67056964/67111528
[pid=15452] ppid=15450 vsize=145400 CPUtime=1122.32 cores=0,2,4,6
/proc/15452/stat : 15452 (scip-2.0.1.4_2.) R 15450 15452 15024 0 -1 4202496 49245 0 0 0 111898 334 0 0 25 0 1 0 868734714 148889600 35085 33554432000 4194304 8979876 140733244549312 18446744073709551615 6888511 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/15452/statm: 36350 35085 683 1169 0 35177 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 145400
[startup+1182.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/178 15522
/proc/meminfo: memFree=31728256/32951124 swapFree=67056964/67111528
[pid=15452] ppid=15450 vsize=144136 CPUtime=1182.32 cores=0,2,4,6
/proc/15452/stat : 15452 (scip-2.0.1.4_2.) R 15450 15452 15024 0 -1 4202496 50405 0 0 0 117876 356 0 0 25 0 1 0 868734714 147595264 34767 33554432000 4194304 8979876 140733244549312 18446744073709551615 6601243 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/15452/statm: 36034 34767 683 1169 0 34861 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 144136
[startup+1242.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/178 15600
/proc/meminfo: memFree=31698008/32951124 swapFree=67056964/67111528
[pid=15452] ppid=15450 vsize=145092 CPUtime=1242.32 cores=0,2,4,6
/proc/15452/stat : 15452 (scip-2.0.1.4_2.) R 15450 15452 15024 0 -1 4202496 56104 0 0 0 123857 375 0 0 25 0 1 0 868734714 148574208 34601 33554432000 4194304 8979876 140733244549312 18446744073709551615 7146256 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/15452/statm: 36273 34601 699 1169 0 35100 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 145092
[startup+1302.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/178 15602
/proc/meminfo: memFree=31692908/32951124 swapFree=67056964/67111528
[pid=15452] ppid=15450 vsize=146268 CPUtime=1302.32 cores=0,2,4,6
/proc/15452/stat : 15452 (scip-2.0.1.4_2.) R 15450 15452 15024 0 -1 4202496 58207 0 0 0 129842 390 0 0 25 0 1 0 868734714 149778432 34909 33554432000 4194304 8979876 140733244549312 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/15452/statm: 36567 34909 702 1169 0 35394 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 146268
[startup+1362.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 15603
/proc/meminfo: memFree=31692504/32951124 swapFree=67056964/67111528
[pid=15452] ppid=15450 vsize=145052 CPUtime=1362.33 cores=0,2,4,6
/proc/15452/stat : 15452 (scip-2.0.1.4_2.) R 15450 15452 15024 0 -1 4202496 59961 0 0 0 135828 405 0 0 25 0 1 0 868734714 148533248 34982 33554432000 4194304 8979876 140733244549312 18446744073709551615 7184549 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/15452/statm: 36263 34982 702 1169 0 35090 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 145052
[startup+1422.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 15605
/proc/meminfo: memFree=31692432/32951124 swapFree=67056964/67111528
[pid=15452] ppid=15450 vsize=145052 CPUtime=1422.33 cores=0,2,4,6
/proc/15452/stat : 15452 (scip-2.0.1.4_2.) R 15450 15452 15024 0 -1 4202496 59965 0 0 0 141815 418 0 0 25 0 1 0 868734714 148533248 34986 33554432000 4194304 8979876 140733244549312 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/15452/statm: 36263 34986 702 1169 0 35090 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 145052
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 15606
/proc/meminfo: memFree=31686780/32951124 swapFree=67056964/67111528
[pid=15452] ppid=15450 vsize=145052 CPUtime=1482.33 cores=0,2,4,6
/proc/15452/stat : 15452 (scip-2.0.1.4_2.) R 15450 15452 15024 0 -1 4202496 59970 0 0 0 147798 435 0 0 25 0 1 0 868734714 148533248 34991 33554432000 4194304 8979876 140733244549312 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/15452/statm: 36263 34991 703 1169 0 35090 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 145052
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 15608
/proc/meminfo: memFree=31686952/32951124 swapFree=67056964/67111528
[pid=15452] ppid=15450 vsize=145052 CPUtime=1542.34 cores=0,2,4,6
/proc/15452/stat : 15452 (scip-2.0.1.4_2.) R 15450 15452 15024 0 -1 4202496 59970 0 0 0 153785 449 0 0 25 0 1 0 868734714 148533248 34991 33554432000 4194304 8979876 140733244549312 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/15452/statm: 36263 34991 703 1169 0 35090 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 145052
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15610
/proc/meminfo: memFree=31693340/32951124 swapFree=67056964/67111528
[pid=15452] ppid=15450 vsize=146272 CPUtime=1602.33 cores=0,2,4,6
/proc/15452/stat : 15452 (scip-2.0.1.4_2.) R 15450 15452 15024 0 -1 4202496 60344 0 0 0 159769 464 0 0 25 0 1 0 868734714 149782528 35365 33554432000 4194304 8979876 140733244549312 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/15452/statm: 36568 35365 703 1169 0 35395 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 146272
[startup+1662.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 15611
/proc/meminfo: memFree=31692528/32951124 swapFree=67056964/67111528
[pid=15452] ppid=15450 vsize=146272 CPUtime=1662.33 cores=0,2,4,6
/proc/15452/stat : 15452 (scip-2.0.1.4_2.) R 15450 15452 15024 0 -1 4202496 60345 0 0 0 165752 481 0 0 25 0 1 0 868734714 149782528 35366 33554432000 4194304 8979876 140733244549312 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/15452/statm: 36568 35366 703 1169 0 35395 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 146272
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 15622
/proc/meminfo: memFree=31695420/32951124 swapFree=67056964/67111528
[pid=15452] ppid=15450 vsize=143508 CPUtime=1722.34 cores=0,2,4,6
/proc/15452/stat : 15452 (scip-2.0.1.4_2.) R 15450 15452 15024 0 -1 4202496 60982 0 0 0 171739 495 0 0 25 0 1 0 868734714 146952192 34478 33554432000 4194304 8979876 140733244549312 18446744073709551615 7143762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/15452/statm: 35877 34478 703 1169 0 34704 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 143508
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15623
/proc/meminfo: memFree=31692248/32951124 swapFree=67056964/67111528
[pid=15452] ppid=15450 vsize=145028 CPUtime=1782.34 cores=0,2,4,6
/proc/15452/stat : 15452 (scip-2.0.1.4_2.) R 15450 15452 15024 0 -1 4202496 61320 0 0 0 177724 510 0 0 25 0 1 0 868734714 148508672 34816 33554432000 4194304 8979876 140733244549312 18446744073709551615 7047605 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/15452/statm: 36257 34816 703 1169 0 35084 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 145028
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15623
/proc/meminfo: memFree=31692248/32951124 swapFree=67056964/67111528
[pid=15452] ppid=15450 vsize=145028 CPUtime=1785.64 cores=0,2,4,6
/proc/15452/stat : 15452 (scip-2.0.1.4_2.) R 15450 15452 15024 0 -1 4202496 61320 0 0 0 178054 510 0 0 25 0 1 0 868734714 148508672 34816 33554432000 4194304 8979876 140733244549312 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/15452/statm: 36257 34816 703 1169 0 35084 0
Current children cumulated CPU time (s) 1785.64
Current children cumulated vsize (KiB) 145028
[startup+1792.01 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15624
/proc/meminfo: memFree=31692104/32951124 swapFree=67056964/67111528
[pid=15452] ppid=15450 vsize=145028 CPUtime=1792.04 cores=0,2,4,6
/proc/15452/stat : 15452 (scip-2.0.1.4_2.) R 15450 15452 15024 0 -1 4202496 61327 0 0 0 178693 511 0 0 25 0 1 0 868734714 148508672 34821 33554432000 4194304 8979876 140733244549312 18446744073709551615 7143828 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/15452/statm: 36257 34821 701 1169 0 35084 0
Current children cumulated CPU time (s) 1792.04
Current children cumulated vsize (KiB) 145028
[startup+1795.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15624
/proc/meminfo: memFree=31691980/32951124 swapFree=67056964/67111528
[pid=15452] ppid=15450 vsize=145028 CPUtime=1795.24 cores=0,2,4,6
/proc/15452/stat : 15452 (scip-2.0.1.4_2.) R 15450 15452 15024 0 -1 4202496 61327 0 0 0 179012 512 0 0 25 0 1 0 868734714 148508672 34821 33554432000 4194304 8979876 140733244549312 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/15452/statm: 36257 34821 701 1169 0 35084 0
Current children cumulated CPU time (s) 1795.24
Current children cumulated vsize (KiB) 145028
[startup+1796 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15624
/proc/meminfo: memFree=31691980/32951124 swapFree=67056964/67111528
[pid=15452] ppid=15450 vsize=145028 CPUtime=1796.04 cores=0,2,4,6
/proc/15452/stat : 15452 (scip-2.0.1.4_2.) R 15450 15452 15024 0 -1 4202496 61327 0 0 0 179092 512 0 0 25 0 1 0 868734714 148508672 34821 33554432000 4194304 8979876 140733244549312 18446744073709551615 7143771 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/15452/statm: 36257 34821 701 1169 0 35084 0
Current children cumulated CPU time (s) 1796.04
Current children cumulated vsize (KiB) 145028
[startup+1796.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15624
/proc/meminfo: memFree=31692092/32951124 swapFree=67056964/67111528
[pid=15452] ppid=15450 vsize=145028 CPUtime=1796.83 cores=0,2,4,6
/proc/15452/stat : 15452 (scip-2.0.1.4_2.) R 15450 15452 15024 0 -1 4202496 61327 0 0 0 179171 512 0 0 25 0 1 0 868734714 148508672 34821 33554432000 4194304 8979876 140733244549312 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/15452/statm: 36257 34821 701 1169 0 35084 0
Current children cumulated CPU time (s) 1796.83
Current children cumulated vsize (KiB) 145028
[startup+1797 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15624
/proc/meminfo: memFree=31692092/32951124 swapFree=67056964/67111528
[pid=15452] ppid=15450 vsize=145028 CPUtime=1797.03 cores=0,2,4,6
/proc/15452/stat : 15452 (scip-2.0.1.4_2.) R 15450 15452 15024 0 -1 4202496 61327 0 0 0 179191 512 0 0 25 0 1 0 868734714 148508672 34821 33554432000 4194304 8979876 140733244549312 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/15452/statm: 36257 34821 701 1169 0 35084 0
Current children cumulated CPU time (s) 1797.03
Current children cumulated vsize (KiB) 145028
Child status: 0
Real time (s): 1797.07
CPU time (s): 1797.12
CPU user time (s): 1791.99
CPU system time (s): 5.13222
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 150276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.99
system time used= 5.13222
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61339
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= 6
involuntary context switches= 2689
runsolver used 2.74258 second user time and 5.48417 second system time
The end