0.00/0.00 c SCIP version 2.0.1.5 [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-3488988-1307766518.opb>
0.10/0.15 c original problem has 3204 variables (3204 bin, 0 int, 0 impl, 0 cont) and 24883 constraints
0.10/0.15 c problem read
0.10/0.15 c presolving settings loaded
0.10/0.19 c presolving:
0.19/0.25 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.33 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.36 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.40 c (2.4s) probing: 1000/3192 (31.3%) - 0 fixings, 0 aggregations, 25570 implications, 0 bound changes
3.89/3.94 c (3.9s) probing: 1799/3192 (56.4%) - 0 fixings, 0 aggregations, 30541 implications, 0 bound changes
3.89/3.94 c (3.9s) probing aborted: 100/100 successive totally useless probings
3.89/3.94 c presolving (4 rounds):
3.89/3.94 c 12 deleted vars, 12 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
3.89/3.94 c 181560 implications, 0 cliques
3.89/3.94 c presolved problem has 3192 variables (3192 bin, 0 int, 0 impl, 0 cont) and 24871 constraints
3.89/3.94 c 24246 constraints of type <setppc>
3.89/3.94 c 625 constraints of type <logicor>
3.89/3.94 c transformed objective value is always integral (scale: 1)
3.89/3.94 c Presolving Time: 3.76
3.89/3.94 c - non default parameters ----------------------------------------------------------------------
3.89/3.94 c # SCIP version 2.0.1.5
3.89/3.94 c
3.89/3.94 c # frequency for displaying node information lines
3.89/3.94 c # [type: int, range: [-1,2147483647], default: 100]
3.89/3.94 c display/freq = 10000
3.89/3.94 c
3.89/3.94 c # maximal time in seconds to run
3.89/3.94 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.89/3.94 c limits/time = 1797
3.89/3.94 c
3.89/3.94 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.89/3.94 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.89/3.94 c limits/memory = 13950
3.89/3.94 c
3.89/3.94 c # default clock type (1: CPU user seconds, 2: wall clock time)
3.89/3.94 c # [type: int, range: [1,2], default: 1]
3.89/3.94 c timing/clocktype = 2
3.89/3.94 c
3.89/3.94 c # belongs reading time to solving time?
3.89/3.94 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.89/3.94 c timing/reading = TRUE
3.89/3.94 c
3.89/3.94 c # should presolving try to simplify inequalities
3.89/3.94 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.89/3.94 c constraints/linear/simplifyinequalities = TRUE
3.89/3.94 c
3.89/3.94 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
3.89/3.94 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.89/3.94 c constraints/indicator/addCouplingCons = TRUE
3.89/3.94 c
3.89/3.94 c # should presolving try to simplify knapsacks
3.89/3.94 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.89/3.94 c constraints/knapsack/simplifyinequalities = TRUE
3.89/3.94 c
3.89/3.94 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
3.89/3.94 c # [type: int, range: [-1,2147483647], default: -1]
3.89/3.94 c separating/rapidlearning/freq = 0
3.89/3.94 c
3.89/3.94 c -----------------------------------------------------------------------------------------------
3.89/3.94 c start solving
3.89/3.94 c
10.79/10.81 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.81 c 10.8s| 1 | 0 | 9633 | - | 42M| 0 |2252 |3192 | 24k|3192 | 24k| 0 | 23 | 0 | 5.143750e+02 | -- | Inf
26.79/26.80 c 26.8s| 1 | 0 | 29233 | - | 43M| 0 |2256 |3192 | 24k|3192 | 25k| 877 | 23 | 0 | 5.859375e+02 | -- | Inf
27.88/27.93 c 27.9s| 1 | 0 | 29555 | - | 43M| 0 |2255 |3192 | 24k|3192 | 25k| 888 | 23 | 0 | 5.907758e+02 | -- | Inf
29.09/29.11 c 29.1s| 1 | 0 | 29979 | - | 43M| 0 |2254 |3192 | 24k|3192 | 25k| 902 | 23 | 0 | 5.947477e+02 | -- | Inf
30.49/30.51 c 30.5s| 1 | 0 | 30524 | - | 44M| 0 |2255 |3192 | 24k|3192 | 25k| 918 | 23 | 0 | 5.987136e+02 | -- | Inf
31.79/31.80 c 31.8s| 1 | 0 | 30994 | - | 44M| 0 |2249 |3192 | 24k|3192 | 25k| 933 | 23 | 0 | 6.018637e+02 | -- | Inf
34.49/34.58 c 34.6s| 1 | 0 | 32267 | - | 44M| 0 |2250 |3192 | 24k|3192 | 25k| 952 | 23 | 0 | 6.042563e+02 | -- | Inf
36.09/36.12 c 36.1s| 1 | 0 | 32899 | - | 44M| 0 |2253 |3192 | 24k|3192 | 25k| 970 | 23 | 0 | 6.062929e+02 | -- | Inf
37.49/37.51 c 37.5s| 1 | 0 | 33310 | - | 45M| 0 |2253 |3192 | 24k|3192 | 25k| 989 | 23 | 0 | 6.077849e+02 | -- | Inf
39.50/39.55 c 39.5s| 1 | 0 | 34032 | - | 45M| 0 |2236 |3192 | 24k|3192 | 25k|1005 | 23 | 0 | 6.091880e+02 | -- | Inf
40.89/40.95 c 40.9s| 1 | 0 | 34557 | - | 45M| 0 |2241 |3192 | 24k|3192 | 25k|1024 | 23 | 0 | 6.102699e+02 | -- | Inf
42.49/42.51 c 42.5s| 1 | 0 | 35400 | - | 45M| 0 |2244 |3192 | 24k|3192 | 25k|1040 | 23 | 0 | 6.114142e+02 | -- | Inf
44.69/44.78 c 44.8s| 1 | 0 | 36164 | - | 46M| 0 |2238 |3192 | 24k|3192 | 25k|1057 | 23 | 0 | 6.121461e+02 | -- | Inf
48.49/48.57 c 48.6s| 1 | 0 | 36841 | - | 46M| 0 |2238 |3192 | 24k|3192 | 25k|1069 | 23 | 0 | 6.129908e+02 | -- | Inf
54.69/54.76 c 54.8s| 1 | 0 | 37667 | - | 46M| 0 |2237 |3192 | 24k|3192 | 25k|1083 | 23 | 0 | 6.137304e+02 | -- | Inf
57.10/57.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
57.10/57.10 c 57.1s| 1 | 0 | 38420 | - | 46M| 0 |2239 |3192 | 24k|3192 | 25k|1102 | 23 | 0 | 6.141792e+02 | -- | Inf
60.89/60.95 c 60.9s| 1 | 0 | 39314 | - | 47M| 0 |2242 |3192 | 24k|3192 | 25k|1119 | 23 | 0 | 6.148067e+02 | -- | Inf
66.79/66.80 c 66.8s| 1 | 0 | 40113 | - | 47M| 0 |2245 |3192 | 24k|3192 | 25k|1134 | 23 | 0 | 6.153602e+02 | -- | Inf
74.99/75.01 c 75.0s| 1 | 0 | 40752 | - | 47M| 0 |2235 |3192 | 24k|3192 | 25k|1150 | 23 | 0 | 6.159105e+02 | -- | Inf
77.59/77.65 c 77.6s| 1 | 0 | 41169 | - | 47M| 0 |2247 |3192 | 24k|3192 | 25k|1158 | 23 | 0 | 6.162563e+02 | -- | Inf
79.79/79.84 c 79.8s| 1 | 0 | 41659 | - | 48M| 0 |2242 |3192 | 24k|3192 | 25k|1167 | 23 | 0 | 6.166206e+02 | -- | Inf
81.19/81.24 c 81.2s| 1 | 0 | 42126 | - | 48M| 0 |2245 |3192 | 24k|3192 | 25k|1180 | 23 | 0 | 6.170947e+02 | -- | Inf
85.09/85.15 c 85.2s| 1 | 0 | 42475 | - | 48M| 0 |2237 |3192 | 24k|3192 | 25k|1188 | 23 | 0 | 6.173875e+02 | -- | Inf
89.10/89.16 c 89.2s| 1 | 0 | 42742 | - | 48M| 0 |2245 |3192 | 24k|3192 | 25k|1194 | 23 | 0 | 6.175370e+02 | -- | Inf
93.19/93.27 c 93.3s| 1 | 0 | 42909 | - | 48M| 0 |2248 |3192 | 24k|3192 | 25k|1200 | 23 | 0 | 6.176072e+02 | -- | Inf
97.39/97.48 c 97.5s| 1 | 0 | 43145 | - | 48M| 0 |2251 |3192 | 24k|3192 | 25k|1207 | 23 | 0 | 6.177594e+02 | -- | Inf
98.49/98.59 c 98.6s| 1 | 0 | 43376 | - | 48M| 0 |2251 |3192 | 24k|3192 | 25k|1213 | 23 | 0 | 6.181078e+02 | -- | Inf
99.79/99.82 c 99.8s| 1 | 0 | 43666 | - | 48M| 0 |2251 |3192 | 24k|3192 | 25k|1219 | 23 | 0 | 6.183700e+02 | -- | Inf
104.09/104.10 c 104s| 1 | 0 | 43989 | - | 48M| 0 |2245 |3192 | 24k|3192 | 25k|1228 | 23 | 0 | 6.185796e+02 | -- | Inf
108.19/108.27 c 108s| 1 | 0 | 44203 | - | 48M| 0 |2244 |3192 | 24k|3192 | 25k|1235 | 23 | 0 | 6.187335e+02 | -- | Inf
112.19/112.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
112.19/112.27 c 112s| 1 | 0 | 44393 | - | 48M| 0 |2245 |3192 | 24k|3192 | 25k|1242 | 23 | 0 | 6.188829e+02 | -- | Inf
116.39/116.42 c 116s| 1 | 0 | 44582 | - | 48M| 0 |2245 |3192 | 24k|3192 | 25k|1248 | 23 | 0 | 6.190594e+02 | -- | Inf
117.59/117.65 c 118s| 1 | 0 | 44996 | - | 48M| 0 |2239 |3192 | 24k|3192 | 25k|1257 | 23 | 0 | 6.194606e+02 | -- | Inf
121.70/121.72 c 122s| 1 | 0 | 45164 | - | 48M| 0 |2249 |3192 | 24k|3192 | 25k|1264 | 23 | 0 | 6.195317e+02 | -- | Inf
125.89/125.91 c 126s| 1 | 0 | 45368 | - | 48M| 0 |2239 |3192 | 24k|3192 | 25k|1274 | 23 | 0 | 6.197336e+02 | -- | Inf
130.00/130.05 c 130s| 1 | 0 | 45586 | - | 48M| 0 |2243 |3192 | 24k|3192 | 25k|1278 | 23 | 0 | 6.199465e+02 | -- | Inf
134.20/134.29 c 134s| 1 | 0 | 45822 | - | 48M| 0 |2244 |3192 | 24k|3192 | 25k|1285 | 23 | 0 | 6.200660e+02 | -- | Inf
138.50/138.52 c 139s| 1 | 0 | 46099 | - | 48M| 0 |2247 |3192 | 24k|3192 | 25k|1290 | 23 | 0 | 6.202685e+02 | -- | Inf
142.69/142.70 c 143s| 1 | 0 | 46504 | - | 48M| 0 |2251 |3192 | 24k|3192 | 25k|1297 | 23 | 0 | 6.205963e+02 | -- | Inf
146.79/146.88 c 147s| 1 | 0 | 46596 | - | 48M| 0 |2253 |3192 | 24k|3192 | 25k|1301 | 23 | 0 | 6.206535e+02 | -- | Inf
150.99/151.07 c 151s| 1 | 0 | 46683 | - | 48M| 0 |2253 |3192 | 24k|3192 | 25k|1307 | 23 | 0 | 6.207492e+02 | -- | Inf
155.19/155.22 c 155s| 1 | 0 | 46843 | - | 48M| 0 |2253 |3192 | 24k|3192 | 25k|1313 | 23 | 0 | 6.209524e+02 | -- | Inf
156.59/156.64 c 157s| 1 | 0 | 47366 | - | 48M| 0 |2246 |3192 | 24k|3192 | 25k|1318 | 23 | 0 | 6.214251e+02 | -- | Inf
160.69/160.75 c 161s| 1 | 0 | 47587 | - | 48M| 0 |2248 |3192 | 24k|3192 | 25k|1323 | 23 | 0 | 6.215983e+02 | -- | Inf
164.59/164.66 c 165s| 1 | 0 | 47767 | - | 48M| 0 |2244 |3192 | 24k|3192 | 25k|1329 | 23 | 0 | 6.217493e+02 | -- | Inf
168.59/168.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
168.59/168.68 c 169s| 1 | 0 | 47826 | - | 48M| 0 |2242 |3192 | 24k|3192 | 25k|1330 | 23 | 0 | 6.218243e+02 | -- | Inf
172.60/172.62 c 173s| 1 | 0 | 47922 | - | 48M| 0 |2244 |3192 | 24k|3192 | 25k|1333 | 23 | 0 | 6.219084e+02 | -- | Inf
176.69/176.76 c 177s| 1 | 0 | 48038 | - | 48M| 0 |2249 |3192 | 24k|3192 | 25k|1339 | 23 | 0 | 6.219657e+02 | -- | Inf
180.89/180.90 c 181s| 1 | 0 | 48137 | - | 48M| 0 |2245 |3192 | 24k|3192 | 25k|1345 | 23 | 0 | 6.220329e+02 | -- | Inf
185.09/185.10 c 185s| 1 | 0 | 48242 | - | 48M| 0 |2243 |3192 | 24k|3192 | 25k|1350 | 23 | 0 | 6.221607e+02 | -- | Inf
188.90/188.96 c 189s| 1 | 0 | 48245 | - | 48M| 0 |2243 |3192 | 24k|3192 | 25k|1353 | 23 | 0 | 6.221607e+02 | -- | Inf
192.79/192.87 c 193s| 1 | 0 | 48318 | - | 48M| 0 |2243 |3192 | 24k|3192 | 25k|1356 | 23 | 0 | 6.222096e+02 | -- | Inf
196.90/196.99 c 197s| 1 | 0 | 48453 | - | 48M| 0 |2249 |3192 | 24k|3192 | 25k|1360 | 23 | 0 | 6.224162e+02 | -- | Inf
200.89/200.98 c 201s| 1 | 0 | 48695 | - | 48M| 0 |2238 |3192 | 24k|3192 | 25k|1366 | 23 | 0 | 6.225210e+02 | -- | Inf
204.89/204.98 c 205s| 1 | 0 | 48941 | - | 48M| 0 |2242 |3192 | 24k|3192 | 25k|1373 | 23 | 0 | 6.226974e+02 | -- | Inf
209.49/209.59 c 210s| 1 | 0 | 49330 | - | 48M| 0 |2243 |3192 | 24k|3192 | 25k|1382 | 23 | 0 | 6.228572e+02 | -- | Inf
210.60/210.61 c 211s| 1 | 0 | 49641 | - | 48M| 0 |2250 |3192 | 24k|3192 | 25k|1388 | 23 | 0 | 6.231636e+02 | -- | Inf
215.09/215.15 c 215s| 1 | 0 | 49959 | - | 48M| 0 |2240 |3192 | 24k|3192 | 25k|1396 | 23 | 0 | 6.232982e+02 | -- | Inf
216.49/216.58 c 217s| 1 | 0 | 50306 | - | 48M| 0 |2246 |3192 | 24k|3192 | 25k|1405 | 23 | 0 | 6.234542e+02 | -- | Inf
217.89/217.98 c 218s| 1 | 0 | 50692 | - | 48M| 0 |2244 |3192 | 24k|3192 | 25k|1414 | 23 | 0 | 6.236423e+02 | -- | Inf
222.60/222.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
222.60/222.64 c 223s| 1 | 0 | 50995 | - | 48M| 0 |2247 |3192 | 24k|3192 | 25k|1424 | 23 | 0 | 6.238217e+02 | -- | Inf
227.60/227.62 c 228s| 1 | 0 | 51499 | - | 48M| 0 |2248 |3192 | 24k|3192 | 25k|1430 | 23 | 0 | 6.240178e+02 | -- | Inf
232.19/232.22 c 232s| 1 | 0 | 51665 | - | 48M| 0 |2245 |3192 | 24k|3192 | 25k|1437 | 23 | 0 | 6.241202e+02 | -- | Inf
236.80/236.86 c 237s| 1 | 0 | 51766 | - | 48M| 0 |2247 |3192 | 24k|3192 | 25k|1439 | 23 | 0 | 6.241765e+02 | -- | Inf
241.49/241.56 c 242s| 1 | 0 | 52008 | - | 48M| 0 |2243 |3192 | 24k|3192 | 25k|1443 | 23 | 0 | 6.242491e+02 | -- | Inf
246.09/246.14 c 246s| 1 | 0 | 52120 | - | 48M| 0 |2246 |3192 | 24k|3192 | 25k|1448 | 23 | 0 | 6.243404e+02 | -- | Inf
250.80/250.85 c 251s| 1 | 0 | 52301 | - | 48M| 0 |2249 |3192 | 24k|3192 | 25k|1455 | 23 | 0 | 6.245223e+02 | -- | Inf
255.60/255.60 c 256s| 1 | 0 | 52488 | - | 48M| 0 |2249 |3192 | 24k|3192 | 25k|1460 | 23 | 0 | 6.246410e+02 | -- | Inf
260.20/260.28 c 260s| 1 | 0 | 52663 | - | 48M| 0 |2246 |3192 | 24k|3192 | 25k|1472 | 23 | 0 | 6.247327e+02 | -- | Inf
264.90/264.91 c 265s| 1 | 0 | 52800 | - | 48M| 0 |2248 |3192 | 24k|3192 | 25k|1475 | 23 | 0 | 6.248593e+02 | -- | Inf
269.60/269.65 c 270s| 1 | 0 | 52990 | - | 48M| 0 |2244 |3192 | 24k|3192 | 25k|1481 | 23 | 0 | 6.249196e+02 | -- | Inf
274.29/274.30 c 274s| 1 | 0 | 53237 | - | 48M| 0 |2245 |3192 | 24k|3192 | 25k|1486 | 23 | 0 | 6.250752e+02 | -- | Inf
278.90/278.94 c 279s| 1 | 0 | 53350 | - | 48M| 0 |2245 |3192 | 24k|3192 | 25k|1491 | 23 | 0 | 6.251948e+02 | -- | Inf
283.70/283.71 c 284s| 1 | 0 | 53510 | - | 48M| 0 |2240 |3192 | 24k|3192 | 25k|1498 | 23 | 0 | 6.252635e+02 | -- | Inf
288.29/288.36 c 288s| 1 | 0 | 53705 | - | 48M| 0 |2251 |3192 | 24k|3192 | 25k|1503 | 23 | 0 | 6.253438e+02 | -- | Inf
293.00/293.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
293.00/293.09 c 293s| 1 | 0 | 53897 | - | 48M| 0 |2244 |3192 | 24k|3192 | 25k|1510 | 23 | 0 | 6.255153e+02 | -- | Inf
297.49/297.57 c 298s| 1 | 0 | 54047 | - | 48M| 0 |2240 |3192 | 24k|3192 | 25k|1516 | 23 | 0 | 6.256196e+02 | -- | Inf
301.89/301.95 c 302s| 1 | 0 | 54142 | - | 48M| 0 |2236 |3192 | 24k|3192 | 25k|1524 | 23 | 0 | 6.256546e+02 | -- | Inf
306.59/306.63 c 307s| 1 | 0 | 54329 | - | 48M| 0 |2242 |3192 | 24k|3192 | 25k|1527 | 23 | 0 | 6.257324e+02 | -- | Inf
311.30/311.33 c 311s| 1 | 0 | 54464 | - | 48M| 0 |2242 |3192 | 24k|3192 | 25k|1533 | 23 | 0 | 6.258541e+02 | -- | Inf
316.00/316.00 c 316s| 1 | 0 | 54582 | - | 48M| 0 |2248 |3192 | 24k|3192 | 25k|1538 | 23 | 0 | 6.259591e+02 | -- | Inf
320.70/320.78 c 321s| 1 | 0 | 54978 | - | 48M| 0 |2247 |3192 | 24k|3192 | 25k|1545 | 23 | 0 | 6.261472e+02 | -- | Inf
325.50/325.57 c 326s| 1 | 0 | 55150 | - | 48M| 0 |2250 |3192 | 24k|3192 | 25k|1548 | 23 | 0 | 6.262687e+02 | -- | Inf
330.09/330.19 c 330s| 1 | 0 | 55317 | - | 48M| 0 |2248 |3192 | 24k|3192 | 25k|1551 | 23 | 0 | 6.264450e+02 | -- | Inf
334.60/334.69 c 335s| 1 | 0 | 55623 | - | 48M| 0 |2241 |3192 | 24k|3192 | 25k|1557 | 23 | 0 | 6.266021e+02 | -- | Inf
339.19/339.21 c 339s| 1 | 0 | 55925 | - | 48M| 0 |2252 |3192 | 24k|3192 | 25k|1566 | 23 | 0 | 6.267918e+02 | -- | Inf
343.60/343.60 c 344s| 1 | 0 | 56192 | - | 48M| 0 |2246 |3192 | 24k|3192 | 25k|1572 | 23 | 0 | 6.269153e+02 | -- | Inf
348.10/348.12 c 348s| 1 | 0 | 56394 | - | 48M| 0 |2252 |3192 | 24k|3192 | 25k|1586 | 23 | 0 | 6.270585e+02 | -- | Inf
353.00/353.04 c 353s| 1 | 0 | 56743 | - | 48M| 0 |2253 |3192 | 24k|3192 | 25k|1592 | 23 | 0 | 6.272067e+02 | -- | Inf
357.40/357.41 c 357s| 1 | 0 | 56999 | - | 48M| 0 |2251 |3192 | 24k|3192 | 25k|1599 | 23 | 0 | 6.274096e+02 | -- | Inf
362.00/362.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
362.00/362.03 c 362s| 1 | 0 | 57296 | - | 48M| 0 |2255 |3192 | 24k|3192 | 25k|1604 | 23 | 0 | 6.276957e+02 | -- | Inf
366.49/366.51 c 367s| 1 | 0 | 57516 | - | 48M| 0 |2255 |3192 | 24k|3192 | 25k|1616 | 23 | 0 | 6.278174e+02 | -- | Inf
370.79/370.82 c 371s| 1 | 0 | 57619 | - | 48M| 0 |2255 |3192 | 24k|3192 | 25k|1618 | 23 | 0 | 6.278753e+02 | -- | Inf
375.20/375.27 c 375s| 1 | 0 | 57768 | - | 48M| 0 |2253 |3192 | 24k|3192 | 25k|1624 | 23 | 0 | 6.279969e+02 | -- | Inf
379.69/379.76 c 380s| 1 | 0 | 57911 | - | 48M| 0 |2255 |3192 | 24k|3192 | 25k|1631 | 23 | 0 | 6.281686e+02 | -- | Inf
384.30/384.30 c 384s| 1 | 0 | 58179 | - | 48M| 0 |2256 |3192 | 24k|3192 | 25k|1635 | 23 | 0 | 6.283233e+02 | -- | Inf
388.60/388.66 c 389s| 1 | 0 | 58420 | - | 48M| 0 |2250 |3192 | 24k|3192 | 25k|1639 | 23 | 0 | 6.284573e+02 | -- | Inf
390.00/390.02 c 390s| 1 | 0 | 58848 | - | 49M| 0 |2254 |3192 | 24k|3192 | 25k|1645 | 23 | 0 | 6.287939e+02 | -- | Inf
394.20/394.25 c 394s| 1 | 0 | 59035 | - | 49M| 0 |2249 |3192 | 24k|3192 | 25k|1654 | 23 | 0 | 6.289832e+02 | -- | Inf
398.70/398.70 c 399s| 1 | 0 | 59140 | - | 49M| 0 |2252 |3192 | 24k|3192 | 25k|1658 | 23 | 0 | 6.290589e+02 | -- | Inf
400.10/400.17 c 400s| 1 | 0 | 59594 | - | 49M| 0 |2251 |3192 | 24k|3192 | 25k|1665 | 23 | 0 | 6.293690e+02 | -- | Inf
404.70/404.73 c 405s| 1 | 0 | 59830 | - | 49M| 0 |2245 |3192 | 24k|3192 | 25k|1670 | 23 | 0 | 6.294901e+02 | -- | Inf
409.00/409.07 c 409s| 1 | 0 | 59936 | - | 49M| 0 |2253 |3192 | 24k|3192 | 25k|1671 | 23 | 0 | 6.295440e+02 | -- | Inf
413.80/413.82 c 414s| 1 | 0 | 60169 | - | 48M| 0 |2254 |3192 | 24k|3192 | 25k|1674 | 23 | 0 | 6.297059e+02 | -- | Inf
418.09/418.18 c 418s| 1 | 0 | 60259 | - | 48M| 0 |2254 |3192 | 24k|3192 | 25k|1677 | 23 | 0 | 6.297657e+02 | -- | Inf
422.50/422.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
422.50/422.57 c 423s| 1 | 0 | 60521 | - | 48M| 0 |2250 |3192 | 24k|3192 | 25k|1683 | 23 | 0 | 6.299409e+02 | -- | Inf
426.80/426.88 c 427s| 1 | 0 | 60643 | - | 48M| 0 |2254 |3192 | 24k|3192 | 25k|1689 | 23 | 0 | 6.301058e+02 | -- | Inf
431.20/431.21 c 431s| 1 | 0 | 60770 | - | 48M| 0 |2252 |3192 | 24k|3192 | 25k|1693 | 23 | 0 | 6.302676e+02 | -- | Inf
435.79/435.89 c 436s| 1 | 0 | 60993 | - | 48M| 0 |2249 |3192 | 24k|3192 | 25k|1699 | 23 | 0 | 6.303684e+02 | -- | Inf
440.19/440.28 c 440s| 1 | 0 | 61150 | - | 47M| 0 |2243 |3192 | 24k|3192 | 25k|1704 | 23 | 0 | 6.305636e+02 | -- | Inf
444.60/444.61 c 445s| 1 | 0 | 61336 | - | 47M| 0 |2248 |3192 | 24k|3192 | 25k|1708 | 23 | 0 | 6.306628e+02 | -- | Inf
449.00/449.08 c 449s| 1 | 0 | 61486 | - | 47M| 0 |2251 |3192 | 24k|3192 | 25k|1711 | 23 | 0 | 6.307960e+02 | -- | Inf
453.40/453.46 c 453s| 1 | 0 | 61640 | - | 47M| 0 |2253 |3192 | 24k|3192 | 25k|1713 | 23 | 0 | 6.308877e+02 | -- | Inf
457.70/457.79 c 458s| 1 | 0 | 61820 | - | 47M| 0 |2245 |3192 | 24k|3192 | 25k|1719 | 23 | 0 | 6.310814e+02 | -- | Inf
462.80/462.82 c 463s| 1 | 0 | 62543 | - | 46M| 0 |2252 |3192 | 24k|3192 | 25k|1727 | 23 | 0 | 6.314462e+02 | -- | Inf
467.60/467.67 c 468s| 1 | 0 | 62979 | - | 46M| 0 |2248 |3192 | 24k|3192 | 25k|1736 | 23 | 0 | 6.316729e+02 | -- | Inf
472.00/472.03 c 472s| 1 | 0 | 63295 | - | 46M| 0 |2252 |3192 | 24k|3192 | 25k|1747 | 23 | 0 | 6.320090e+02 | -- | Inf
476.70/476.76 c 477s| 1 | 0 | 63703 | - | 46M| 0 |2252 |3192 | 24k|3192 | 25k|1753 | 23 | 0 | 6.322584e+02 | -- | Inf
481.30/481.31 c 481s| 1 | 0 | 63792 | - | 46M| 0 |2252 |3192 | 24k|3192 | 25k|1757 | 23 | 0 | 6.323864e+02 | -- | Inf
485.90/485.96 c 486s| 1 | 0 | 63878 | - | 45M| 0 |2250 |3192 | 24k|3192 | 25k|1761 | 23 | 0 | 6.325097e+02 | -- | Inf
490.70/490.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
490.70/490.79 c 491s| 1 | 0 | 64191 | - | 45M| 0 |2247 |3192 | 24k|3192 | 25k|1767 | 23 | 0 | 6.326362e+02 | -- | Inf
495.59/495.66 c 496s| 1 | 0 | 64377 | - | 45M| 0 |2244 |3192 | 24k|3192 | 25k|1772 | 23 | 0 | 6.327982e+02 | -- | Inf
500.40/500.41 c 500s| 1 | 0 | 64580 | - | 45M| 0 |2248 |3192 | 24k|3192 | 25k|1777 | 23 | 0 | 6.329416e+02 | -- | Inf
505.50/505.56 c 506s| 1 | 0 | 65003 | - | 45M| 0 |2251 |3192 | 24k|3192 | 25k|1782 | 23 | 0 | 6.331322e+02 | -- | Inf
510.20/510.23 c 510s| 1 | 0 | 65115 | - | 45M| 0 |2246 |3192 | 24k|3192 | 25k|1790 | 23 | 0 | 6.331784e+02 | -- | Inf
515.20/515.23 c 515s| 1 | 0 | 65358 | - | 45M| 0 |2245 |3192 | 24k|3192 | 25k|1796 | 23 | 0 | 6.333471e+02 | -- | Inf
520.20/520.21 c 520s| 1 | 0 | 65653 | - | 45M| 0 |2249 |3192 | 24k|3192 | 25k|1803 | 23 | 0 | 6.335019e+02 | -- | Inf
525.20/525.27 c 525s| 1 | 0 | 66000 | - | 45M| 0 |2245 |3192 | 24k|3192 | 25k|1807 | 23 | 0 | 6.336050e+02 | -- | Inf
530.21/530.24 c 530s| 1 | 0 | 66269 | - | 45M| 0 |2243 |3192 | 24k|3192 | 25k|1813 | 23 | 0 | 6.336611e+02 | -- | Inf
535.10/535.13 c 535s| 1 | 0 | 66702 | - | 45M| 0 |2247 |3192 | 24k|3192 | 25k|1820 | 23 | 0 | 6.338815e+02 | -- | Inf
539.80/539.89 c 540s| 1 | 0 | 67136 | - | 45M| 0 |2243 |3192 | 24k|3192 | 25k|1835 | 23 | 0 | 6.341470e+02 | -- | Inf
544.60/544.68 c 545s| 1 | 0 | 67451 | - | 45M| 0 |2246 |3192 | 24k|3192 | 25k|1840 | 23 | 0 | 6.342881e+02 | -- | Inf
549.40/549.45 c 549s| 1 | 0 | 67756 | - | 45M| 0 |2249 |3192 | 24k|3192 | 25k|1845 | 23 | 0 | 6.344635e+02 | -- | Inf
554.20/554.21 c 554s| 1 | 0 | 67757 | - | 45M| 0 |2249 |3192 | 24k|3192 | 25k|1846 | 23 | 0 | 6.344635e+02 | -- | Inf
559.00/559.02 c 559s| 1 | 0 | 67821 | - | 44M| 0 |2249 |3192 | 24k|3192 | 25k|1847 | 23 | 0 | 6.345307e+02 | -- | Inf
563.90/563.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
563.90/563.92 c 564s| 1 | 0 | 67946 | - | 44M| 0 |2249 |3192 | 24k|3192 | 25k|1850 | 23 | 0 | 6.346581e+02 | -- | Inf
568.90/568.91 c 569s| 1 | 0 | 68267 | - | 44M| 0 |2243 |3192 | 24k|3192 | 25k|1857 | 23 | 0 | 6.348291e+02 | -- | Inf
573.40/573.48 c 573s| 1 | 0 | 68574 | - | 44M| 0 |2247 |3192 | 24k|3192 | 25k|1861 | 23 | 0 | 6.352664e+02 | -- | Inf
578.51/578.50 c 579s| 1 | 0 | 69013 | - | 44M| 0 |2243 |3192 | 24k|3192 | 25k|1868 | 23 | 0 | 6.354204e+02 | -- | Inf
583.50/583.54 c 584s| 1 | 0 | 69338 | - | 44M| 0 |2249 |3192 | 24k|3192 | 25k|1874 | 23 | 0 | 6.356075e+02 | -- | Inf
585.30/585.35 c 585s| 1 | 0 | 69966 | - | 45M| 0 |2236 |3192 | 24k|3192 | 25k|1882 | 23 | 0 | 6.359625e+02 | -- | Inf
587.00/587.00 c 587s| 1 | 0 | 70537 | - | 45M| 0 |2251 |3192 | 24k|3192 | 25k|1887 | 23 | 0 | 6.362577e+02 | -- | Inf
591.81/591.89 c 592s| 1 | 0 | 70821 | - | 45M| 0 |2250 |3192 | 24k|3192 | 25k|1893 | 23 | 0 | 6.364549e+02 | -- | Inf
596.70/596.75 c 597s| 1 | 0 | 71085 | - | 45M| 0 |2250 |3192 | 24k|3192 | 25k|1897 | 23 | 0 | 6.365917e+02 | -- | Inf
601.61/601.68 c 602s| 1 | 0 | 71253 | - | 45M| 0 |2250 |3192 | 24k|3192 | 25k|1900 | 23 | 0 | 6.367705e+02 | -- | Inf
606.60/606.63 c 607s| 1 | 0 | 71427 | - | 44M| 0 |2250 |3192 | 24k|3192 | 25k|1902 | 23 | 0 | 6.369265e+02 | -- | Inf
611.61/611.63 c 612s| 1 | 0 | 71587 | - | 44M| 0 |2250 |3192 | 24k|3192 | 25k|1907 | 23 | 0 | 6.371128e+02 | -- | Inf
615.40/615.45 c 615s| 1 | 0 | 71808 | - | 44M| 0 |2250 |3192 | 24k|3192 | 25k|1913 | 23 | 0 | 6.373357e+02 | -- | Inf
620.40/620.44 c 620s| 1 | 0 | 72234 | - | 44M| 0 |2250 |3192 | 24k|3192 | 25k|1922 | 23 | 0 | 6.375800e+02 | -- | Inf
622.40/622.45 c 622s| 1 | 0 | 72715 | - | 44M| 0 |2248 |3192 | 24k|3192 | 25k|1928 | 23 | 0 | 6.379093e+02 | -- | Inf
624.20/624.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
624.20/624.21 c 624s| 1 | 0 | 72993 | - | 45M| 0 |2250 |3192 | 24k|3192 | 25k|1934 | 23 | 0 | 6.380909e+02 | -- | Inf
629.21/629.22 c 629s| 1 | 0 | 73267 | - | 45M| 0 |2250 |3192 | 24k|3192 | 25k|1942 | 23 | 0 | 6.383017e+02 | -- | Inf
631.20/631.24 c 631s| 1 | 0 | 73713 | - | 45M| 0 |2247 |3192 | 24k|3192 | 25k|1951 | 23 | 0 | 6.385390e+02 | -- | Inf
633.10/633.10 c 633s| 1 | 0 | 74062 | - | 45M| 0 |2251 |3192 | 24k|3192 | 25k|1955 | 23 | 0 | 6.387650e+02 | -- | Inf
638.10/638.19 c 638s| 1 | 0 | 74529 | - | 45M| 0 |2247 |3192 | 24k|3192 | 25k|1961 | 23 | 0 | 6.389609e+02 | -- | Inf
642.20/642.20 c 642s| 1 | 0 | 74855 | - | 45M| 0 |2246 |3192 | 24k|3192 | 25k|1969 | 23 | 0 | 6.393084e+02 | -- | Inf
647.10/647.14 c 647s| 1 | 0 | 75149 | - | 45M| 0 |2250 |3192 | 24k|3192 | 25k|1973 | 23 | 0 | 6.395443e+02 | -- | Inf
652.11/652.20 c 652s| 1 | 0 | 75496 | - | 45M| 0 |2249 |3192 | 24k|3192 | 25k|1981 | 23 | 0 | 6.396766e+02 | -- | Inf
657.21/657.23 c 657s| 1 | 0 | 75885 | - | 45M| 0 |2251 |3192 | 24k|3192 | 25k|1986 | 23 | 0 | 6.399733e+02 | -- | Inf
662.00/662.02 c 662s| 1 | 0 | 76084 | - | 45M| 0 |2247 |3192 | 24k|3192 | 25k|1992 | 23 | 0 | 6.401206e+02 | -- | Inf
667.00/667.06 c 667s| 1 | 0 | 76372 | - | 45M| 0 |2244 |3192 | 24k|3192 | 25k|1998 | 23 | 0 | 6.404375e+02 | -- | Inf
672.11/672.15 c 672s| 1 | 0 | 76563 | - | 45M| 0 |2239 |3192 | 24k|3192 | 25k|2002 | 23 | 0 | 6.406358e+02 | -- | Inf
677.40/677.44 c 677s| 1 | 0 | 76849 | - | 45M| 0 |2245 |3192 | 24k|3192 | 25k|2008 | 23 | 0 | 6.408005e+02 | -- | Inf
682.50/682.57 c 683s| 1 | 0 | 76988 | - | 45M| 0 |2241 |3192 | 24k|3192 | 25k|2013 | 23 | 0 | 6.408749e+02 | -- | Inf
687.61/687.61 c 688s| 1 | 0 | 77089 | - | 44M| 0 |2239 |3192 | 24k|3192 | 25k|2017 | 23 | 0 | 6.409394e+02 | -- | Inf
688.90/688.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
688.90/688.92 c 689s| 1 | 0 | 77266 | - | 45M| 0 |2244 |3192 | 24k|3192 | 25k|2021 | 23 | 0 | 6.411707e+02 | -- | Inf
694.11/694.17 c 694s| 1 | 0 | 77527 | - | 45M| 0 |2233 |3192 | 24k|3192 | 25k|2029 | 23 | 0 | 6.412763e+02 | -- | Inf
695.50/695.56 c 696s| 1 | 0 | 77802 | - | 45M| 0 |2243 |3192 | 24k|3192 | 25k|2035 | 23 | 0 | 6.415088e+02 | -- | Inf
700.71/700.76 c 701s| 1 | 0 | 77983 | - | 45M| 0 |2235 |3192 | 24k|3192 | 25k|2041 | 23 | 0 | 6.416159e+02 | -- | Inf
705.61/705.68 c 706s| 1 | 0 | 78156 | - | 45M| 0 |2247 |3192 | 24k|3192 | 25k|2044 | 23 | 0 | 6.417763e+02 | -- | Inf
710.70/710.75 c 711s| 1 | 0 | 78296 | - | 45M| 0 |2247 |3192 | 24k|3192 | 25k|2046 | 23 | 0 | 6.419080e+02 | -- | Inf
716.01/716.09 c 716s| 1 | 0 | 78629 | - | 45M| 0 |2243 |3192 | 24k|3192 | 25k|2049 | 23 | 0 | 6.420529e+02 | -- | Inf
721.20/721.26 c 721s| 1 | 0 | 78731 | - | 45M| 0 |2244 |3192 | 24k|3192 | 25k|2053 | 23 | 0 | 6.421225e+02 | -- | Inf
726.10/726.12 c 726s| 1 | 0 | 78859 | - | 45M| 0 |2241 |3192 | 24k|3192 | 25k|2057 | 23 | 0 | 6.423082e+02 | -- | Inf
731.20/731.29 c 731s| 1 | 0 | 79011 | - | 45M| 0 |2239 |3192 | 24k|3192 | 25k|2061 | 23 | 0 | 6.424357e+02 | -- | Inf
736.41/736.49 c 736s| 1 | 0 | 79153 | - | 45M| 0 |2241 |3192 | 24k|3192 | 25k|2063 | 23 | 0 | 6.425875e+02 | -- | Inf
741.60/741.65 c 742s| 1 | 0 | 79194 | - | 45M| 0 |2241 |3192 | 24k|3192 | 25k|2064 | 23 | 0 | 6.426619e+02 | -- | Inf
746.81/746.85 c 747s| 1 | 0 | 79326 | - | 45M| 0 |2243 |3192 | 24k|3192 | 25k|2065 | 23 | 0 | 6.426876e+02 | -- | Inf
752.01/752.08 c 752s| 1 | 0 | 79442 | - | 45M| 0 |2246 |3192 | 24k|3192 | 25k|2068 | 23 | 0 | 6.427289e+02 | -- | Inf
757.11/757.19 c 757s| 1 | 0 | 79656 | - | 45M| 0 |2246 |3192 | 24k|3192 | 25k|2071 | 23 | 0 | 6.429047e+02 | -- | Inf
762.41/762.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
762.41/762.44 c 762s| 1 | 0 | 79832 | - | 45M| 0 |2246 |3192 | 24k|3192 | 25k|2074 | 23 | 0 | 6.430929e+02 | -- | Inf
767.60/767.66 c 768s| 1 | 0 | 79957 | - | 45M| 0 |2245 |3192 | 24k|3192 | 25k|2077 | 23 | 0 | 6.432720e+02 | -- | Inf
772.81/772.83 c 773s| 1 | 0 | 80036 | - | 45M| 0 |2240 |3192 | 24k|3192 | 25k|2081 | 23 | 0 | 6.433534e+02 | -- | Inf
777.81/777.83 c 778s| 1 | 0 | 80082 | - | 45M| 0 |2240 |3192 | 24k|3192 | 25k|2083 | 23 | 0 | 6.434964e+02 | -- | Inf
782.91/782.97 c 783s| 1 | 0 | 80196 | - | 45M| 0 |2244 |3192 | 24k|3192 | 25k|2087 | 23 | 0 | 6.436398e+02 | -- | Inf
788.11/788.12 c 788s| 1 | 0 | 80393 | - | 44M| 0 |2246 |3192 | 24k|3192 | 25k|2091 | 23 | 0 | 6.437991e+02 | -- | Inf
790.30/790.37 c 790s| 1 | 0 | 80758 | - | 45M| 0 |2251 |3192 | 24k|3192 | 25k|2096 | 23 | 0 | 6.441293e+02 | -- | Inf
795.71/795.72 c 796s| 1 | 0 | 81065 | - | 45M| 0 |2245 |3192 | 24k|3192 | 25k|2114 | 23 | 0 | 6.443309e+02 | -- | Inf
800.71/800.76 c 801s| 1 | 0 | 81179 | - | 45M| 0 |2253 |3192 | 24k|3192 | 25k|2117 | 23 | 0 | 6.443736e+02 | -- | Inf
806.00/806.03 c 806s| 1 | 0 | 81422 | - | 45M| 0 |2249 |3192 | 24k|3192 | 25k|2122 | 23 | 0 | 6.444577e+02 | -- | Inf
811.11/811.18 c 811s| 1 | 0 | 81609 | - | 45M| 0 |2253 |3192 | 24k|3192 | 25k|2127 | 23 | 0 | 6.444949e+02 | -- | Inf
816.41/816.41 c 816s| 1 | 0 | 81765 | - | 45M| 0 |2250 |3192 | 24k|3192 | 25k|2133 | 23 | 0 | 6.445782e+02 | -- | Inf
821.31/821.39 c 821s| 1 | 0 | 81868 | - | 45M| 0 |2253 |3192 | 24k|3192 | 25k|2137 | 23 | 0 | 6.446859e+02 | -- | Inf
826.31/826.35 c 826s| 1 | 0 | 82003 | - | 45M| 0 |2249 |3192 | 24k|3192 | 25k|2140 | 23 | 0 | 6.447880e+02 | -- | Inf
831.40/831.45 c 831s| 1 | 0 | 82163 | - | 45M| 0 |2250 |3192 | 24k|3192 | 25k|2144 | 23 | 0 | 6.449170e+02 | -- | Inf
836.51/836.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
836.51/836.59 c 837s| 1 | 0 | 82204 | - | 45M| 0 |2251 |3192 | 24k|3192 | 25k|2147 | 23 | 0 | 6.450064e+02 | -- | Inf
841.60/841.63 c 842s| 1 | 0 | 82334 | - | 45M| 0 |2251 |3192 | 24k|3192 | 25k|2152 | 23 | 0 | 6.451119e+02 | -- | Inf
846.91/846.90 c 847s| 1 | 0 | 82460 | - | 45M| 0 |2251 |3192 | 24k|3192 | 25k|2155 | 23 | 0 | 6.452969e+02 | -- | Inf
851.91/851.96 c 852s| 1 | 0 | 82552 | - | 45M| 0 |2249 |3192 | 24k|3192 | 25k|2158 | 23 | 0 | 6.454350e+02 | -- | Inf
857.10/857.16 c 857s| 1 | 0 | 82642 | - | 44M| 0 |2248 |3192 | 24k|3192 | 25k|2160 | 23 | 0 | 6.455385e+02 | -- | Inf
862.41/862.40 c 862s| 1 | 0 | 82744 | - | 44M| 0 |2251 |3192 | 24k|3192 | 25k|2162 | 23 | 0 | 6.456209e+02 | -- | Inf
867.61/867.68 c 868s| 1 | 0 | 82871 | - | 44M| 0 |2251 |3192 | 24k|3192 | 25k|2167 | 23 | 0 | 6.457623e+02 | -- | Inf
872.81/872.84 c 873s| 1 | 0 | 82916 | - | 44M| 0 |2251 |3192 | 24k|3192 | 25k|2170 | 23 | 0 | 6.459038e+02 | -- | Inf
877.82/877.88 c 878s| 1 | 0 | 82950 | - | 44M| 0 |2247 |3192 | 24k|3192 | 25k|2174 | 23 | 0 | 6.460096e+02 | -- | Inf
882.81/882.85 c 883s| 1 | 0 | 82992 | - | 44M| 0 |2253 |3192 | 24k|3192 | 25k|2176 | 23 | 0 | 6.461621e+02 | -- | Inf
887.90/887.99 c 888s| 1 | 0 | 83037 | - | 44M| 0 |2253 |3192 | 24k|3192 | 25k|2178 | 23 | 0 | 6.463185e+02 | -- | Inf
893.21/893.22 c 893s| 1 | 0 | 83130 | - | 44M| 0 |2246 |3192 | 24k|3192 | 25k|2181 | 23 | 0 | 6.464784e+02 | -- | Inf
898.31/898.32 c 898s| 1 | 0 | 83195 | - | 44M| 0 |2249 |3192 | 24k|3192 | 25k|2183 | 23 | 0 | 6.465366e+02 | -- | Inf
903.40/903.49 c 903s| 1 | 0 | 83256 | - | 44M| 0 |2253 |3192 | 24k|3192 | 25k|2186 | 23 | 0 | 6.466895e+02 | -- | Inf
908.62/908.64 c 909s| 1 | 0 | 83329 | - | 44M| 0 |2249 |3192 | 24k|3192 | 25k|2190 | 23 | 0 | 6.468518e+02 | -- | Inf
913.81/913.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
913.81/913.89 c 914s| 1 | 0 | 83379 | - | 44M| 0 |2251 |3192 | 24k|3192 | 25k|2193 | 23 | 0 | 6.469547e+02 | -- | Inf
919.21/919.24 c 919s| 1 | 0 | 83610 | - | 44M| 0 |2249 |3192 | 24k|3192 | 25k|2197 | 23 | 0 | 6.471063e+02 | -- | Inf
924.51/924.59 c 925s| 1 | 0 | 83753 | - | 44M| 0 |2249 |3192 | 24k|3192 | 25k|2205 | 23 | 0 | 6.472051e+02 | -- | Inf
929.61/929.68 c 930s| 1 | 0 | 83949 | - | 44M| 0 |2251 |3192 | 24k|3192 | 25k|2213 | 23 | 0 | 6.473788e+02 | -- | Inf
935.02/935.01 c 935s| 1 | 0 | 84124 | - | 44M| 0 |2249 |3192 | 24k|3192 | 25k|2216 | 23 | 0 | 6.475438e+02 | -- | Inf
940.21/940.29 c 940s| 1 | 0 | 84247 | - | 44M| 0 |2253 |3192 | 24k|3192 | 25k|2221 | 23 | 0 | 6.476770e+02 | -- | Inf
945.50/945.51 c 946s| 1 | 0 | 84348 | - | 44M| 0 |2251 |3192 | 24k|3192 | 25k|2224 | 23 | 0 | 6.477725e+02 | -- | Inf
950.81/950.82 c 951s| 1 | 0 | 84410 | - | 44M| 0 |2251 |3192 | 24k|3192 | 25k|2227 | 23 | 0 | 6.478063e+02 | -- | Inf
956.11/956.10 c 956s| 1 | 0 | 84471 | - | 44M| 0 |2253 |3192 | 24k|3192 | 25k|2229 | 23 | 0 | 6.479185e+02 | -- | Inf
961.41/961.43 c 961s| 1 | 0 | 84600 | - | 44M| 0 |2253 |3192 | 24k|3192 | 25k|2233 | 23 | 0 | 6.481234e+02 | -- | Inf
966.92/966.92 c 967s| 1 | 0 | 84739 | - | 44M| 0 |2253 |3192 | 24k|3192 | 25k|2235 | 23 | 0 | 6.482906e+02 | -- | Inf
972.21/972.22 c 972s| 1 | 0 | 84898 | - | 44M| 0 |2253 |3192 | 24k|3192 | 25k|2239 | 23 | 0 | 6.484896e+02 | -- | Inf
977.41/977.47 c 977s| 1 | 0 | 84959 | - | 44M| 0 |2253 |3192 | 24k|3192 | 25k|2241 | 23 | 0 | 6.486576e+02 | -- | Inf
982.71/982.73 c 983s| 1 | 0 | 85057 | - | 44M| 0 |2250 |3192 | 24k|3192 | 25k|2245 | 23 | 0 | 6.488309e+02 | -- | Inf
987.91/987.99 c 988s| 1 | 0 | 85107 | - | 44M| 0 |2251 |3192 | 24k|3192 | 25k|2247 | 23 | 0 | 6.489965e+02 | -- | Inf
993.32/993.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
993.32/993.34 c 993s| 1 | 0 | 85220 | - | 44M| 0 |2250 |3192 | 24k|3192 | 25k|2251 | 23 | 0 | 6.491552e+02 | -- | Inf
998.61/998.66 c 999s| 1 | 0 | 85321 | - | 44M| 0 |2253 |3192 | 24k|3192 | 25k|2253 | 23 | 0 | 6.492290e+02 | -- | Inf
1004.01/1004.06 c 1004s| 1 | 0 | 85473 | - | 44M| 0 |2251 |3192 | 24k|3192 | 25k|2257 | 23 | 0 | 6.494059e+02 | -- | Inf
1009.41/1009.43 c 1009s| 1 | 0 | 85571 | - | 44M| 0 |2253 |3192 | 24k|3192 | 25k|2259 | 23 | 0 | 6.494593e+02 | -- | Inf
1014.72/1014.73 c 1015s| 1 | 0 | 85694 | - | 44M| 0 |2243 |3192 | 24k|3192 | 25k|2263 | 23 | 0 | 6.495891e+02 | -- | Inf
1020.21/1020.22 c 1020s| 1 | 0 | 86013 | - | 44M| 0 |2250 |3192 | 24k|3192 | 25k|2267 | 23 | 0 | 6.498289e+02 | -- | Inf
1025.61/1025.64 c 1026s| 1 | 0 | 86586 | - | 44M| 0 |2252 |3192 | 24k|3192 | 25k|2277 | 23 | 0 | 6.501085e+02 | -- | Inf
1031.11/1031.10 c 1031s| 1 | 0 | 86745 | - | 44M| 0 |2253 |3192 | 24k|3192 | 25k|2285 | 23 | 0 | 6.504115e+02 | -- | Inf
1036.41/1036.48 c 1036s| 1 | 0 | 86998 | - | 44M| 0 |2253 |3192 | 24k|3192 | 25k|2291 | 23 | 0 | 6.508797e+02 | -- | Inf
1041.62/1041.66 c 1042s| 1 | 0 | 87107 | - | 44M| 0 |2253 |3192 | 24k|3192 | 25k|2294 | 23 | 0 | 6.510237e+02 | -- | Inf
1047.01/1047.05 c 1047s| 1 | 0 | 87279 | - | 44M| 0 |2253 |3192 | 24k|3192 | 25k|2298 | 23 | 0 | 6.511438e+02 | -- | Inf
1051.52/1051.55 c 1052s| 1 | 0 | 87500 | - | 44M| 0 |2249 |3192 | 24k|3192 | 25k|2301 | 23 | 0 | 6.514016e+02 | -- | Inf
1057.12/1057.17 c 1057s| 1 | 0 | 87742 | - | 44M| 0 |2253 |3192 | 24k|3192 | 25k|2310 | 23 | 0 | 6.515641e+02 | -- | Inf
1062.71/1062.77 c 1063s| 1 | 0 | 88035 | - | 44M| 0 |2253 |3192 | 24k|3192 | 25k|2316 | 23 | 0 | 6.517342e+02 | -- | Inf
1068.41/1068.46 c 1068s| 1 | 0 | 88372 | - | 44M| 0 |2251 |3192 | 24k|3192 | 25k|2324 | 23 | 0 | 6.520427e+02 | -- | Inf
1073.91/1073.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1073.91/1073.91 c 1074s| 1 | 0 | 88705 | - | 44M| 0 |2244 |3192 | 24k|3192 | 25k|2335 | 23 | 0 | 6.522527e+02 | -- | Inf
1079.41/1079.44 c 1079s| 1 | 0 | 88922 | - | 44M| 0 |2254 |3192 | 24k|3192 | 25k|2338 | 23 | 0 | 6.523022e+02 | -- | Inf
1085.21/1085.26 c 1085s| 1 | 0 | 89341 | - | 44M| 0 |2252 |3192 | 24k|3192 | 25k|2343 | 23 | 0 | 6.524969e+02 | -- | Inf
1090.61/1090.69 c 1091s| 1 | 0 | 89569 | - | 44M| 0 |2254 |3192 | 24k|3192 | 25k|2346 | 23 | 0 | 6.526470e+02 | -- | Inf
1096.12/1096.13 c 1096s| 1 | 0 | 89812 | - | 44M| 0 |2254 |3192 | 24k|3192 | 25k|2350 | 23 | 0 | 6.528473e+02 | -- | Inf
1101.62/1101.65 c 1102s| 1 | 0 | 90149 | - | 44M| 0 |2252 |3192 | 24k|3192 | 25k|2357 | 23 | 0 | 6.530492e+02 | -- | Inf
1106.91/1106.97 c 1107s| 1 | 0 | 90336 | - | 44M| 0 |2252 |3192 | 24k|3192 | 25k|2359 | 23 | 0 | 6.532104e+02 | -- | Inf
1112.51/1112.52 c 1113s| 1 | 0 | 90475 | - | 44M| 0 |2254 |3192 | 24k|3192 | 25k|2364 | 23 | 0 | 6.534252e+02 | -- | Inf
1118.02/1118.08 c 1118s| 1 | 0 | 90661 | - | 44M| 0 |2254 |3192 | 24k|3192 | 25k|2368 | 23 | 0 | 6.537103e+02 | -- | Inf
1123.81/1123.80 c 1124s| 1 | 0 | 90951 | - | 44M| 0 |2254 |3192 | 24k|3192 | 25k|2372 | 23 | 0 | 6.539276e+02 | -- | Inf
1129.51/1129.56 c 1130s| 1 | 0 | 91176 | - | 44M| 0 |2250 |3192 | 24k|3192 | 25k|2376 | 23 | 0 | 6.540443e+02 | -- | Inf
1131.01/1131.06 c 1131s| 1 | 0 | 91377 | - | 44M| 0 |2252 |3192 | 24k|3192 | 25k|2380 | 23 | 0 | 6.541706e+02 | -- | Inf
1136.41/1136.44 c 1136s| 1 | 0 | 91540 | - | 44M| 0 |2254 |3192 | 24k|3192 | 25k|2382 | 23 | 0 | 6.542546e+02 | -- | Inf
1142.11/1142.15 c 1142s| 1 | 0 | 91903 | - | 44M| 0 |2254 |3192 | 24k|3192 | 25k|2389 | 23 | 0 | 6.544956e+02 | -- | Inf
1147.71/1147.78 c 1148s| 1 | 0 | 92075 | - | 44M| 0 |2254 |3192 | 24k|3192 | 25k|2393 | 23 | 0 | 6.546451e+02 | -- | Inf
1153.41/1153.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1153.41/1153.48 c 1153s| 1 | 0 | 92279 | - | 44M| 0 |2252 |3192 | 24k|3192 | 25k|2402 | 23 | 0 | 6.547013e+02 | -- | Inf
1158.91/1158.96 c 1159s| 1 | 0 | 92504 | - | 44M| 0 |2254 |3192 | 24k|3192 | 25k|2410 | 23 | 0 | 6.548564e+02 | -- | Inf
1164.32/1164.34 c 1164s| 1 | 0 | 92679 | - | 44M| 0 |2254 |3192 | 24k|3192 | 25k|2414 | 23 | 0 | 6.550935e+02 | -- | Inf
1169.82/1169.86 c 1170s| 1 | 0 | 92832 | - | 44M| 0 |2249 |3192 | 24k|3192 | 25k|2417 | 23 | 0 | 6.552021e+02 | -- | Inf
1175.21/1175.25 c 1175s| 1 | 0 | 93020 | - | 44M| 0 |2252 |3192 | 24k|3192 | 25k|2425 | 23 | 0 | 6.553688e+02 | -- | Inf
1180.82/1180.84 c 1181s| 1 | 0 | 93301 | - | 44M| 0 |2251 |3192 | 24k|3192 | 25k|2429 | 23 | 0 | 6.555569e+02 | -- | Inf
1186.41/1186.44 c 1186s| 1 | 0 | 93435 | - | 44M| 0 |2254 |3192 | 24k|3192 | 25k|2432 | 23 | 0 | 6.556821e+02 | -- | Inf
1191.91/1191.92 c 1192s| 1 | 0 | 93726 | - | 44M| 0 |2255 |3192 | 24k|3192 | 25k|2437 | 23 | 0 | 6.558260e+02 | -- | Inf
1197.51/1197.58 c 1198s| 1 | 0 | 93972 | - | 44M| 0 |2254 |3192 | 24k|3192 | 25k|2441 | 23 | 0 | 6.559402e+02 | -- | Inf
1203.42/1203.48 c 1203s| 1 | 0 | 94336 | - | 44M| 0 |2255 |3192 | 24k|3192 | 25k|2451 | 23 | 0 | 6.562779e+02 | -- | Inf
1209.11/1209.10 c 1209s| 1 | 0 | 94824 | - | 44M| 0 |2252 |3192 | 24k|3192 | 25k|2468 | 23 | 0 | 6.566743e+02 | -- | Inf
1214.72/1214.71 c 1215s| 1 | 0 | 95096 | - | 44M| 0 |2253 |3192 | 24k|3192 | 25k|2477 | 23 | 0 | 6.567506e+02 | -- | Inf
1220.51/1220.54 c 1221s| 1 | 0 | 95370 | - | 44M| 0 |2254 |3192 | 24k|3192 | 25k|2486 | 23 | 0 | 6.568517e+02 | -- | Inf
1226.11/1226.12 c 1226s| 1 | 0 | 95433 | - | 44M| 0 |2253 |3192 | 24k|3192 | 25k|2488 | 23 | 0 | 6.568593e+02 | -- | Inf
1231.51/1231.53 c 1232s| 1 | 0 | 95663 | - | 44M| 0 |2254 |3192 | 24k|3192 | 25k|2490 | 23 | 0 | 6.570303e+02 | -- | Inf
1236.26/1237.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1236.26/1237.03 c 1237s| 1 | 0 | 95765 | - | 44M| 0 |2252 |3192 | 24k|3192 | 25k|2493 | 23 | 0 | 6.571010e+02 | -- | Inf
1242.52/1242.58 c 1243s| 1 | 0 | 95869 | - | 44M| 0 |2254 |3192 | 24k|3192 | 25k|2506 | 23 | 0 | 6.572408e+02 | -- | Inf
1248.22/1248.27 c 1248s| 1 | 0 | 95977 | - | 44M| 0 |2253 |3192 | 24k|3192 | 25k|2513 | 23 | 0 | 6.573739e+02 | -- | Inf
1253.61/1253.60 c 1254s| 1 | 0 | 96042 | - | 44M| 0 |2252 |3192 | 24k|3192 | 25k|2518 | 23 | 0 | 6.574452e+02 | -- | Inf
1259.02/1259.09 c 1259s| 1 | 0 | 96136 | - | 44M| 0 |2254 |3192 | 24k|3192 | 25k|2524 | 23 | 0 | 6.575848e+02 | -- | Inf
1264.72/1264.77 c 1265s| 1 | 0 | 96244 | - | 44M| 0 |2249 |3192 | 24k|3192 | 25k|2529 | 23 | 0 | 6.576810e+02 | -- | Inf
1270.42/1270.40 c 1270s| 1 | 0 | 96341 | - | 44M| 0 |2252 |3192 | 24k|3192 | 25k|2534 | 23 | 0 | 6.577364e+02 | -- | Inf
1276.02/1276.09 c 1276s| 1 | 0 | 96434 | - | 44M| 0 |2254 |3192 | 24k|3192 | 25k|2539 | 23 | 0 | 6.578584e+02 | -- | Inf
1281.72/1281.75 c 1282s| 1 | 0 | 96519 | - | 44M| 0 |2252 |3192 | 24k|3192 | 25k|2543 | 23 | 0 | 6.579660e+02 | -- | Inf
1287.31/1287.38 c 1287s| 1 | 0 | 96596 | - | 44M| 0 |2254 |3192 | 24k|3192 | 25k|2546 | 23 | 0 | 6.579887e+02 | -- | Inf
1293.02/1293.06 c 1293s| 1 | 0 | 96640 | - | 44M| 0 |2255 |3192 | 24k|3192 | 25k|2548 | 23 | 0 | 6.580306e+02 | -- | Inf
1298.52/1298.57 c 1299s| 1 | 0 | 96648 | - | 44M| 0 |2255 |3192 | 24k|3192 | 25k|2549 | 23 | 0 | 6.580530e+02 | -- | Inf
1303.91/1303.96 c 1304s| 1 | 0 | 96726 | - | 44M| 0 |2255 |3192 | 24k|3192 | 25k|2553 | 23 | 0 | 6.580584e+02 | -- | Inf
1309.22/1309.28 c 1309s| 1 | 0 | 96764 | - | 44M| 0 |2255 |3192 | 24k|3192 | 25k|2557 | 23 | 0 | 6.580611e+02 | -- | Inf
1314.82/1314.86 c 1315s| 1 | 0 | 96968 | - | 44M| 0 |2253 |3192 | 24k|3192 | 25k|2560 | 23 | 0 | 6.581881e+02 | -- | Inf
1320.02/1320.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1320.02/1320.00 c 1320s| 1 | 0 | 97006 | - | 44M| 0 |2253 |3192 | 24k|3192 | 25k|2563 | 23 | 0 | 6.581955e+02 | -- | Inf
1325.52/1325.52 c 1326s| 1 | 0 | 97075 | - | 44M| 0 |2253 |3192 | 24k|3192 | 25k|2573 | 23 | 0 | 6.581973e+02 | -- | Inf
1330.82/1330.84 c 1331s| 1 | 0 | 97158 | - | 44M| 0 |2253 |3192 | 24k|3192 | 25k|2576 | 23 | 0 | 6.582062e+02 | -- | Inf
1336.22/1336.30 c 1336s| 1 | 0 | 97172 | - | 44M| 0 |2253 |3192 | 24k|3192 | 25k|2579 | 23 | 0 | 6.582075e+02 | -- | Inf
1341.62/1341.68 c 1342s| 1 | 0 | 97182 | - | 44M| 0 |2253 |3192 | 24k|3192 | 25k|2581 | 23 | 0 | 6.582113e+02 | -- | Inf
1357.12/1357.10 c 1357s| 1 | 2 | 97182 | - | 44M| 0 |2253 |3192 | 24k|3192 | 25k|2581 | 23 | 24 | 6.582113e+02 | -- | Inf
1797.13/1797.13 c
1797.13/1797.13 c SCIP Status : solving was interrupted [time limit reached]
1797.13/1797.13 c Solving Time (sec) : 1797.13
1797.13/1797.13 c Solving Nodes : 55
1797.13/1797.13 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.13/1797.13 c Dual Bound : +6.59185455278773e+02
1797.13/1797.13 c Gap : infinite
1797.13/1797.13 s UNKNOWN
1797.13/1797.13 c SCIP Status : solving was interrupted [time limit reached]
1797.13/1797.13 c Total Time : 1797.13
1797.13/1797.13 c solving : 1797.13
1797.13/1797.13 c presolving : 3.76 (included in solving)
1797.13/1797.13 c reading : 0.14 (included in solving)
1797.13/1797.13 c Original Problem :
1797.13/1797.13 c Problem name : HOME/instance-3488988-1307766518.opb
1797.13/1797.13 c Variables : 3204 (3204 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.13/1797.13 c Constraints : 24883 initial, 24883 maximal
1797.13/1797.13 c Presolved Problem :
1797.13/1797.13 c Problem name : t_HOME/instance-3488988-1307766518.opb
1797.13/1797.13 c Variables : 3192 (3192 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.13/1797.13 c Constraints : 24871 initial, 25076 maximal
1797.13/1797.13 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.13/1797.13 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.13/1797.13 c dualfix : 0.00 12 0 0 0 0 0 0 0 0
1797.13/1797.13 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.13/1797.13 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.13/1797.13 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.13/1797.13 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.13/1797.13 c probing : 3.56 0 0 0 0 0 0 0 0 0
1797.13/1797.13 c setppc : 0.03 0 0 0 0 0 0 0 0 0
1797.13/1797.13 c linear : 0.13 0 0 0 0 0 12 0 0 0
1797.13/1797.13 c logicor : 0.01 0 0 0 0 0 0 0 0 0
1797.13/1797.13 c root node : - 0 - - 0 - - - - -
1797.13/1797.13 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.13/1797.13 c integral : 0 0 0 60 0 4 0 0 17 0 0 106
1797.13/1797.13 c setppc : 24246 289 8307 0 33 3 3400 18 4784 0 0 0
1797.13/1797.13 c logicor : 625+ 289 3441 0 1 0 245 34 62 0 0 0
1797.13/1797.13 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1797.13/1797.13 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.13/1797.13 c integral : 187.19 0.00 0.00 187.18 0.00 0.00 0.00
1797.13/1797.13 c setppc : 4.51 0.57 3.92 0.00 0.02 0.01 0.00
1797.13/1797.13 c logicor : 0.06 0.02 0.05 0.00 0.00 0.00 0.00
1797.13/1797.13 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.13/1797.13 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.13/1797.13 c vbounds : 0 0 0 0
1797.13/1797.13 c rootredcost : 0 0 0 0
1797.13/1797.13 c pseudoobj : 3252 0 0 0
1797.13/1797.13 c Propagator Timings : TotalTime Propagate Resprop
1797.13/1797.13 c vbounds : 0.00 0.00 0.00
1797.13/1797.13 c rootredcost : 0.00 0.00 0.00
1797.13/1797.13 c pseudoobj : 0.14 0.14 0.00
1797.13/1797.13 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.13/1797.13 c propagation : 0.00 52 52 172 22.8 15 12.0 -
1797.13/1797.13 c infeasible LP : 0.01 10 10 27 16.4 9 13.0 0
1797.13/1797.13 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.13/1797.13 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.13/1797.13 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.13/1797.13 c applied globally : - - - 205 19.2 - - -
1797.13/1797.13 c applied locally : - - - 0 0.0 - - -
1797.13/1797.13 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.13/1797.13 c cut pool : 0.17 288 - - 3113 - (maximal pool size: 3229)
1797.13/1797.13 c redcost : 0.02 348 0 0 0 0
1797.13/1797.13 c impliedbounds : 0.69 289 0 0 1744 0
1797.13/1797.13 c intobj : 0.00 0 0 0 0 0
1797.13/1797.13 c gomory : 1221.87 289 0 0 26799 0
1797.13/1797.13 c cgmip : 0.00 0 0 0 0 0
1797.13/1797.13 c closecuts : 0.00 0 0 0 0 0
1797.13/1797.13 c strongcg : 16.03 20 0 0 9945 0
1797.13/1797.13 c cmir : 2.40 10 0 0 0 0
1797.13/1797.13 c flowcover : 2.45 10 0 0 0 0
1797.13/1797.13 c clique : 3.99 289 0 0 1777 0
1797.13/1797.13 c zerohalf : 0.00 0 0 0 0 0
1797.13/1797.13 c mcf : 0.04 1 0 0 0 0
1797.13/1797.13 c oddcycle : 0.00 0 0 0 0 0
1797.13/1797.13 c rapidlearning : 0.00 0 0 0 0 0
1797.13/1797.13 c Pricers : Time Calls Vars
1797.13/1797.13 c problem variables: 0.00 0 0
1797.13/1797.13 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.13/1797.13 c relpscost : 187.18 60 0 17 0 0 106
1797.13/1797.13 c pscost : 0.00 0 0 0 0 0 0
1797.13/1797.13 c inference : 0.00 1 0 0 0 0 2
1797.13/1797.13 c mostinf : 0.00 0 0 0 0 0 0
1797.13/1797.13 c leastinf : 0.00 0 0 0 0 0 0
1797.13/1797.13 c fullstrong : 0.00 0 0 0 0 0 0
1797.13/1797.13 c allfullstrong : 0.00 0 0 0 0 0 0
1797.13/1797.13 c random : 0.00 0 0 0 0 0 0
1797.13/1797.13 c Primal Heuristics : Time Calls Found
1797.13/1797.13 c LP solutions : 0.00 - 0
1797.13/1797.13 c pseudo solutions : 0.00 - 0
1797.13/1797.13 c oneopt : 0.00 0 0
1797.13/1797.13 c crossover : 0.00 0 0
1797.13/1797.13 c veclendiving : 30.65 2 0
1797.13/1797.13 c trivial : 0.01 2 0
1797.13/1797.13 c shiftandpropagate: 0.15 1 0
1797.13/1797.13 c simplerounding : 0.00 0 0
1797.13/1797.13 c zirounding : 0.12 53 0
1797.13/1797.13 c rounding : 0.36 129 0
1797.13/1797.13 c shifting : 1.71 101 0
1797.13/1797.13 c intshifting : 0.00 0 0
1797.13/1797.13 c twoopt : 0.00 0 0
1797.13/1797.13 c fixandinfer : 0.00 0 0
1797.13/1797.13 c feaspump : 8.32 1 0
1797.13/1797.13 c clique : 0.00 0 0
1797.13/1797.13 c coefdiving : 23.84 3 0
1797.13/1797.13 c pscostdiving : 35.99 2 0
1797.13/1797.13 c fracdiving : 27.83 3 0
1797.13/1797.13 c intdiving : 0.00 0 0
1797.13/1797.13 c actconsdiving : 0.00 0 0
1797.13/1797.13 c objpscostdiving : 39.32 1 0
1797.13/1797.13 c rootsoldiving : 10.47 1 0
1797.13/1797.13 c linesearchdiving : 26.92 3 0
1797.13/1797.13 c guideddiving : 0.00 0 0
1797.13/1797.13 c octane : 0.00 0 0
1797.13/1797.13 c rens : 0.06 0 0
1797.13/1797.13 c rins : 0.00 0 0
1797.13/1797.13 c localbranching : 0.00 0 0
1797.13/1797.13 c mutation : 0.00 0 0
1797.13/1797.13 c dins : 0.00 0 0
1797.13/1797.13 c vbounds : 0.00 0 0
1797.13/1797.13 c undercover : 0.00 0 0
1797.13/1797.13 c subnlp : 0.00 0 0
1797.13/1797.13 c trysol : 0.00 0 0
1797.13/1797.13 c LP : Time Calls Iterations Iter/call Iter/sec
1797.13/1797.13 c primal LP : 0.58 0 0 0.00 0.00
1797.13/1797.13 c dual LP : 149.83 349 175804 503.74 1173.38
1797.13/1797.13 c lex dual LP : 0.00 0 0 0.00 -
1797.13/1797.13 c barrier LP : 0.00 0 0 0.00 -
1797.13/1797.13 c diving/probing LP: 197.57 1518 248759 163.87 1259.09
1797.13/1797.13 c strong branching : 187.14 358 213798 597.20 1142.46
1797.13/1797.13 c (at root node) : - 24 17076 711.50 -
1797.13/1797.13 c conflict analysis: 0.00 0 0 0.00 -
1797.13/1797.13 c B&B Tree :
1797.13/1797.13 c number of runs : 1
1797.13/1797.13 c nodes : 55
1797.13/1797.13 c nodes (total) : 55
1797.13/1797.13 c nodes left : 54
1797.13/1797.13 c max depth : 15
1797.13/1797.13 c max depth (total): 15
1797.13/1797.13 c backtracks : 25 (45.5%)
1797.13/1797.13 c delayed cutoffs : 0
1797.13/1797.13 c repropagations : 4 (2 domain reductions, 0 cutoffs)
1797.13/1797.13 c avg switch length: 3.24
1797.13/1797.13 c switching time : 0.06
1797.13/1797.13 c Solution :
1797.13/1797.13 c Solutions found : 0 (0 improvements)
1797.13/1797.13 c Primal Bound : -
1797.13/1797.13 c Dual Bound : +6.59185455278773e+02
1797.13/1797.13 c Gap : infinite
1797.13/1797.13 c Root Dual Bound : +6.58211349237631e+02
1797.13/1797.13 c Root Iterations : 97182
1797.23/1797.21 c Time complete: 1797.24.
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-3488988-1307766518/watcher-3488988-1307766518 -o /tmp/evaluation-result-3488988-1307766518/solver-3488988-1307766518 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488988-1307766518.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 2.07 2.07 3/175 25686
/proc/meminfo: memFree=30517016/32951132 swapFree=67054616/67111528
[pid=25686] ppid=25684 vsize=9032 CPUtime=0 cores=0,2,4,6
/proc/25686/stat : 25686 (scip-2.0.1.4b_2) R 25684 25686 24772 0 -1 4202496 1221 0 0 0 0 0 0 0 25 0 1 0 888251445 9248768 1176 33554432000 4194304 9016284 140736102375728 18446744073709551615 4447263 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/25686/statm: 2258 1188 190 1178 0 1076 0
[startup+0.10515 s]
/proc/loadavg: 2.00 2.07 2.07 3/175 25686
/proc/meminfo: memFree=30517016/32951132 swapFree=67054616/67111528
[pid=25686] ppid=25684 vsize=22384 CPUtime=0.1 cores=0,2,4,6
/proc/25686/stat : 25686 (scip-2.0.1.4b_2) R 25684 25686 24772 0 -1 4202496 4606 0 0 0 9 1 0 0 25 0 1 0 888251445 22921216 4560 33554432000 4194304 9016284 140736102375728 18446744073709551615 7870463 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/25686/statm: 5596 4560 360 1178 0 4414 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 22384
[startup+0.201138 s]
/proc/loadavg: 2.00 2.07 2.07 3/175 25686
/proc/meminfo: memFree=30517016/32951132 swapFree=67054616/67111528
[pid=25686] ppid=25684 vsize=48248 CPUtime=0.19 cores=0,2,4,6
/proc/25686/stat : 25686 (scip-2.0.1.4b_2) R 25684 25686 24772 0 -1 4202496 10800 0 0 0 18 1 0 0 25 0 1 0 888251445 49405952 10739 33554432000 4194304 9016284 140736102375728 18446744073709551615 5217416 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25686/statm: 12062 10739 480 1178 0 10880 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 48248
[startup+0.301122 s]
/proc/loadavg: 2.00 2.07 2.07 3/175 25686
/proc/meminfo: memFree=30517016/32951132 swapFree=67054616/67111528
[pid=25686] ppid=25684 vsize=63120 CPUtime=0.29 cores=0,2,4,6
/proc/25686/stat : 25686 (scip-2.0.1.4b_2) R 25684 25686 24772 0 -1 4202496 15515 0 0 0 27 2 0 0 25 0 1 0 888251445 64634880 14443 33554432000 4194304 9016284 140736102375728 18446744073709551615 7847674 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25686/statm: 15780 14443 492 1178 0 14598 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 63120
[startup+0.701055 s]
/proc/loadavg: 2.00 2.07 2.07 3/175 25686
/proc/meminfo: memFree=30517016/32951132 swapFree=67054616/67111528
[pid=25686] ppid=25684 vsize=64952 CPUtime=0.69 cores=0,2,4,6
/proc/25686/stat : 25686 (scip-2.0.1.4b_2) R 25684 25686 24772 0 -1 4202496 16955 0 0 0 67 2 0 0 25 0 1 0 888251445 66510848 14947 33554432000 4194304 9016284 140736102375728 18446744073709551615 4887637 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25686/statm: 16238 14947 514 1178 0 15056 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 64952
[startup+1.50086 s]
/proc/loadavg: 2.00 2.07 2.07 3/176 25687
/proc/meminfo: memFree=30458356/32951132 swapFree=67054616/67111528
[pid=25686] ppid=25684 vsize=64952 CPUtime=1.49 cores=0,2,4,6
/proc/25686/stat : 25686 (scip-2.0.1.4b_2) R 25684 25686 24772 0 -1 4202496 16955 0 0 0 147 2 0 0 25 0 1 0 888251445 66510848 14947 33554432000 4194304 9016284 140736102375728 18446744073709551615 4321587 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25686/statm: 16238 14947 514 1178 0 15056 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 64952
[startup+3.10062 s]
/proc/loadavg: 2.00 2.07 2.07 3/176 25687
/proc/meminfo: memFree=30457736/32951132 swapFree=67054616/67111528
[pid=25686] ppid=25684 vsize=66656 CPUtime=3.09 cores=0,2,4,6
/proc/25686/stat : 25686 (scip-2.0.1.4b_2) R 25684 25686 24772 0 -1 4202496 17386 0 0 0 307 2 0 0 25 0 1 0 888251445 68255744 15378 33554432000 4194304 9016284 140736102375728 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25686/statm: 16664 15378 519 1178 0 15482 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 66656
[startup+6.3717 s]
/proc/loadavg: 2.00 2.07 2.07 3/176 25687
/proc/meminfo: memFree=30418676/32951132 swapFree=67054616/67111528
[pid=25686] ppid=25684 vsize=113016 CPUtime=6.41 cores=0,2,4,6
/proc/25686/stat : 25686 (scip-2.0.1.4b_2) R 25684 25686 24772 0 -1 4202496 29318 0 0 0 637 4 0 0 25 0 1 0 888251445 115728384 26300 33554432000 4194304 9016284 140736102375728 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25686/statm: 28254 26331 644 1178 0 27072 0
Current children cumulated CPU time (s) 6.41
Current children cumulated vsize (KiB) 113016
[startup+12.7009 s]
/proc/loadavg: 2.47 2.17 2.10 3/176 25687
/proc/meminfo: memFree=30411376/32951132 swapFree=67054616/67111528
[pid=25686] ppid=25684 vsize=113024 CPUtime=12.68 cores=0,2,4,6
/proc/25686/stat : 25686 (scip-2.0.1.4b_2) R 25684 25686 24772 0 -1 4202496 29980 0 0 0 1263 5 0 0 25 0 1 0 888251445 115736576 26712 33554432000 4194304 9016284 140736102375728 18446744073709551615 7219053 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25686/statm: 28256 26712 667 1178 0 27074 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 113024
[startup+25.5007 s]
/proc/loadavg: 2.36 2.16 2.10 3/176 25687
/proc/meminfo: memFree=30407892/32951132 swapFree=67054616/67111528
[pid=25686] ppid=25684 vsize=115708 CPUtime=25.49 cores=0,2,4,6
/proc/25686/stat : 25686 (scip-2.0.1.4b_2) R 25684 25686 24772 0 -1 4202496 31040 0 0 0 2541 8 0 0 25 0 1 0 888251445 118484992 27704 33554432000 4194304 9016284 140736102375728 18446744073709551615 7180382 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25686/statm: 28927 27704 702 1178 0 27745 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 115708
[startup+51.1003 s]
/proc/loadavg: 2.24 2.15 2.09 3/176 25687
/proc/meminfo: memFree=30395360/32951132 swapFree=67054616/67111528
[pid=25686] ppid=25684 vsize=129692 CPUtime=51.09 cores=0,2,4,6
/proc/25686/stat : 25686 (scip-2.0.1.4b_2) R 25684 25686 24772 0 -1 4202496 40636 0 0 0 5094 15 0 0 25 0 1 0 888251445 132804608 30827 33554432000 4194304 9016284 140736102375728 18446744073709551615 6578067 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25686/statm: 32423 30827 691 1178 0 31241 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 129692
[startup+102.306 s]
/proc/loadavg: 2.10 2.12 2.09 3/176 25689
/proc/meminfo: memFree=30386400/32951132 swapFree=67054616/67111528
[pid=25686] ppid=25684 vsize=139900 CPUtime=102.29 cores=0,2,4,6
/proc/25686/stat : 25686 (scip-2.0.1.4b_2) R 25684 25686 24772 0 -1 4202496 49439 0 0 0 10199 30 0 0 25 0 1 0 888251445 143257600 32982 33554432000 4194304 9016284 140736102375728 18446744073709551615 6922736 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25686/statm: 34975 32982 711 1178 0 33793 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 139900
[startup+162.301 s]
/proc/loadavg: 2.04 2.10 2.08 3/176 25691
/proc/meminfo: memFree=30384688/32951132 swapFree=67054616/67111528
[pid=25686] ppid=25684 vsize=139480 CPUtime=162.3 cores=0,2,4,6
/proc/25686/stat : 25686 (scip-2.0.1.4b_2) R 25684 25686 24772 0 -1 4202496 56799 0 0 0 16182 48 0 0 25 0 1 0 888251445 142827520 33400 33554432000 4194304 9016284 140736102375728 18446744073709551615 7870448 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25686/statm: 34870 33400 716 1178 0 33688 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 139480
[startup+222.301 s]
/proc/loadavg: 2.05 2.09 2.08 3/176 25693
/proc/meminfo: memFree=30384528/32951132 swapFree=67054616/67111528
[pid=25686] ppid=25684 vsize=141704 CPUtime=222.3 cores=0,2,4,6
/proc/25686/stat : 25686 (scip-2.0.1.4b_2) R 25684 25686 24772 0 -1 4202496 65019 0 0 0 22162 68 0 0 25 0 1 0 888251445 145104896 33482 33554432000 4194304 9016284 140736102375728 18446744073709551615 6578056 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25686/statm: 35426 33482 707 1178 0 34244 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 141704
[startup+282.3 s]
/proc/loadavg: 2.02 2.07 2.07 3/176 25694
/proc/meminfo: memFree=30386856/32951132 swapFree=67054616/67111528
[pid=25686] ppid=25684 vsize=139860 CPUtime=282.3 cores=0,2,4,6
/proc/25686/stat : 25686 (scip-2.0.1.4b_2) R 25684 25686 24772 0 -1 4202496 68456 0 0 0 28146 84 0 0 25 0 1 0 888251445 143216640 32890 33554432000 4194304 9016284 140736102375728 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25686/statm: 34965 32890 707 1178 0 33783 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 139860
[startup+342.301 s]
/proc/loadavg: 2.00 2.06 2.07 3/176 25695
/proc/meminfo: memFree=30387952/32951132 swapFree=67054616/67111528
[pid=25686] ppid=25684 vsize=136640 CPUtime=342.3 cores=0,2,4,6
/proc/25686/stat : 25686 (scip-2.0.1.4b_2) R 25684 25686 24772 0 -1 4202496 77479 0 0 0 34127 103 0 0 25 0 1 0 888251445 139919360 32609 33554432000 4194304 9016284 140736102375728 18446744073709551615 7875891 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25686/statm: 34160 32609 706 1178 0 32978 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 136640
[startup+402.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/176 25697
/proc/meminfo: memFree=30383968/32951132 swapFree=67054616/67111528
[pid=25686] ppid=25684 vsize=140840 CPUtime=402.3 cores=0,2,4,6
/proc/25686/stat : 25686 (scip-2.0.1.4b_2) R 25684 25686 24772 0 -1 4202496 83368 0 0 0 40111 119 0 0 25 0 1 0 888251445 144220160 32831 33554432000 4194304 9016284 140736102375728 18446744073709551615 7875840 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25686/statm: 35210 32831 706 1178 0 34028 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 140840
[startup+462.301 s]
/proc/loadavg: 2.00 2.03 2.06 3/176 25699
/proc/meminfo: memFree=30383936/32951132 swapFree=67054616/67111528
[pid=25686] ppid=25684 vsize=142104 CPUtime=462.3 cores=0,2,4,6
/proc/25686/stat : 25686 (scip-2.0.1.4b_2) R 25684 25686 24772 0 -1 4202496 87433 0 0 0 46094 136 0 0 25 0 1 0 888251445 145514496 33418 33554432000 4194304 9016284 140736102375728 18446744073709551615 6863423 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25686/statm: 35526 33418 706 1178 0 34344 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 142104
[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.05 3/176 25701
/proc/meminfo: memFree=30383908/32951132 swapFree=67054616/67111528
[pid=25686] ppid=25684 vsize=140856 CPUtime=522.3 cores=0,2,4,6
/proc/25686/stat : 25686 (scip-2.0.1.4b_2) R 25684 25686 24772 0 -1 4202496 92490 0 0 0 52076 154 0 0 25 0 1 0 888251445 144236544 32851 33554432000 4194304 9016284 140736102375728 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25686/statm: 35214 32851 706 1178 0 34032 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 140856
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/176 25702
/proc/meminfo: memFree=30383624/32951132 swapFree=67054616/67111528
[pid=25686] ppid=25684 vsize=140836 CPUtime=582.3 cores=0,2,4,6
/proc/25686/stat : 25686 (scip-2.0.1.4b_2) R 25684 25686 24772 0 -1 4202496 93618 0 0 0 58060 170 0 0 25 0 1 0 888251445 144216064 32924 33554432000 4194304 9016284 140736102375728 18446744073709551615 6922911 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25686/statm: 35209 32924 706 1178 0 34027 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 140836
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=30379208/32951132 swapFree=67054616/67111528
[pid=25686] ppid=25684 vsize=140896 CPUtime=1122.31 cores=0,2,4,6
/proc/25686/stat : 25686 (scip-2.0.1.4b_2) R 25684 25686 24772 0 -1 4202496 117679 0 0 0 111909 322 0 0 25 0 1 0 888251445 144277504 32959 33554432000 4194304 9016284 140736102375728 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25686/statm: 35224 32959 706 1178 0 34042 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 140896
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25718
/proc/meminfo: memFree=30379408/32951132 swapFree=67054616/67111528
[pid=25686] ppid=25684 vsize=140900 CPUtime=1182.31 cores=0,2,4,6
/proc/25686/stat : 25686 (scip-2.0.1.4b_2) R 25684 25686 24772 0 -1 4202496 118851 0 0 0 117893 338 0 0 25 0 1 0 888251445 144281600 32931 33554432000 4194304 9016284 140736102375728 18446744073709551615 6520736 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25686/statm: 35225 32931 706 1178 0 34043 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 140900
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25795
/proc/meminfo: memFree=30496648/32951132 swapFree=67054616/67111528
[pid=25686] ppid=25684 vsize=142132 CPUtime=1242.32 cores=0,2,4,6
/proc/25686/stat : 25686 (scip-2.0.1.4b_2) R 25684 25686 24772 0 -1 4202496 123456 0 0 0 123879 353 0 0 25 0 1 0 888251445 145543168 34085 33554432000 4194304 9016284 140736102375728 18446744073709551615 6578056 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25686/statm: 35533 34085 994 1178 0 34351 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 142132
[startup+1302.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/176 25797
/proc/meminfo: memFree=30428156/32951132 swapFree=67054616/67111528
[pid=25686] ppid=25684 vsize=141432 CPUtime=1302.32 cores=0,2,4,6
/proc/25686/stat : 25686 (scip-2.0.1.4b_2) R 25684 25686 24772 0 -1 4202496 131848 0 0 0 129862 370 0 0 25 0 1 0 888251445 144826368 32919 33554432000 4194304 9016284 140736102375728 18446744073709551615 7875891 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25686/statm: 35358 32919 699 1178 0 34176 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 141432
[startup+1362.3 s]
/proc/loadavg: 2.09 2.04 2.00 3/176 25799
/proc/meminfo: memFree=30424244/32951132 swapFree=67054616/67111528
[pid=25686] ppid=25684 vsize=140792 CPUtime=1362.32 cores=0,2,4,6
/proc/25686/stat : 25686 (scip-2.0.1.4b_2) R 25684 25686 24772 0 -1 4202496 166517 0 0 0 135842 390 0 0 25 0 1 0 888251445 144171008 33213 33554432000 4194304 9016284 140736102375728 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25686/statm: 35198 33213 715 1178 0 34016 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 140792
[startup+1422.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/176 25801
/proc/meminfo: memFree=30424052/32951132 swapFree=67054616/67111528
[pid=25686] ppid=25684 vsize=142052 CPUtime=1422.31 cores=0,2,4,6
/proc/25686/stat : 25686 (scip-2.0.1.4b_2) R 25684 25686 24772 0 -1 4202496 192081 0 0 0 141827 404 0 0 25 0 1 0 888251445 145461248 33063 33554432000 4194304 9016284 140736102375728 18446744073709551615 7080744 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25686/statm: 35513 33063 707 1178 0 34331 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 142052
[startup+1482.31 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 25802
/proc/meminfo: memFree=30423912/32951132 swapFree=67054616/67111528
[pid=25686] ppid=25684 vsize=141796 CPUtime=1482.32 cores=0,2,4,6
/proc/25686/stat : 25686 (scip-2.0.1.4b_2) R 25684 25686 24772 0 -1 4202496 303989 0 0 0 147801 431 0 0 25 0 1 0 888251445 145199104 33174 33554432000 4194304 9016284 140736102375728 18446744073709551615 6863436 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25686/statm: 35449 33174 740 1178 0 34267 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 141796
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 25803
/proc/meminfo: memFree=30493448/32951132 swapFree=67054616/67111528
[pid=25686] ppid=25684 vsize=141796 CPUtime=1542.32 cores=0,2,4,6
/proc/25686/stat : 25686 (scip-2.0.1.4b_2) R 25684 25686 24772 0 -1 4202496 404116 0 0 0 153775 457 0 0 25 0 1 0 888251445 145199104 33336 33554432000 4194304 9016284 140736102375728 18446744073709551615 7180732 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25686/statm: 35449 33336 709 1178 0 34267 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 141796
[startup+1602.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/176 25805
/proc/meminfo: memFree=30493560/32951132 swapFree=67054616/67111528
[pid=25686] ppid=25684 vsize=141784 CPUtime=1602.32 cores=0,2,4,6
/proc/25686/stat : 25686 (scip-2.0.1.4b_2) R 25684 25686 24772 0 -1 4202496 424464 0 0 0 159760 472 0 0 25 0 1 0 888251445 145186816 33319 33554432000 4194304 9016284 140736102375728 18446744073709551615 7178160 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25686/statm: 35446 33319 709 1178 0 34264 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 141784
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 25807
/proc/meminfo: memFree=30493916/32951132 swapFree=67054616/67111528
[pid=25686] ppid=25684 vsize=141636 CPUtime=1662.33 cores=0,2,4,6
/proc/25686/stat : 25686 (scip-2.0.1.4b_2) R 25684 25686 24772 0 -1 4202496 429795 0 0 0 165749 484 0 0 25 0 1 0 888251445 145035264 33236 33554432000 4194304 9016284 140736102375728 18446744073709551615 7080864 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25686/statm: 35409 33236 710 1178 0 34227 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 141636
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 25809
/proc/meminfo: memFree=30488940/32951132 swapFree=67054616/67111528
[pid=25686] ppid=25684 vsize=140296 CPUtime=1722.32 cores=0,2,4,6
/proc/25686/stat : 25686 (scip-2.0.1.4b_2) R 25684 25686 24772 0 -1 4202496 437726 0 0 0 171736 496 0 0 25 0 1 0 888251445 143663104 32929 33554432000 4194304 9016284 140736102375728 18446744073709551615 7082051 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25686/statm: 35074 32929 710 1178 0 33892 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 140296
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 25810
/proc/meminfo: memFree=30484220/32951132 swapFree=67054616/67111528
[pid=25686] ppid=25684 vsize=141404 CPUtime=1782.33 cores=0,2,4,6
/proc/25686/stat : 25686 (scip-2.0.1.4b_2) R 25684 25686 24772 0 -1 4202496 454454 0 0 0 177723 510 0 0 25 0 1 0 888251445 144797696 33921 33554432000 4194304 9016284 140736102375728 18446744073709551615 7178129 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25686/statm: 35351 33921 801 1178 0 34169 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 141404
Solver just ended. Dumping a history of the last processes samples
[startup+1788.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 25810
/proc/meminfo: memFree=30484216/32951132 swapFree=67054616/67111528
[pid=25686] ppid=25684 vsize=141404 CPUtime=1788.53 cores=0,2,4,6
/proc/25686/stat : 25686 (scip-2.0.1.4b_2) R 25684 25686 24772 0 -1 4202496 454462 0 0 0 178342 511 0 0 25 0 1 0 888251445 144797696 33923 33554432000 4194304 9016284 140736102375728 18446744073709551615 6863428 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25686/statm: 35351 33923 795 1178 0 34169 0
Current children cumulated CPU time (s) 1788.53
Current children cumulated vsize (KiB) 141404
[startup+1791.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 25811
/proc/meminfo: memFree=30484336/32951132 swapFree=67054616/67111528
[pid=25686] ppid=25684 vsize=141404 CPUtime=1791.73 cores=0,2,4,6
/proc/25686/stat : 25686 (scip-2.0.1.4b_2) R 25684 25686 24772 0 -1 4202496 454462 0 0 0 178661 512 0 0 25 0 1 0 888251445 144797696 33923 33554432000 4194304 9016284 140736102375728 18446744073709551615 7180679 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25686/statm: 35351 33923 795 1178 0 34169 0
Current children cumulated CPU time (s) 1791.73
Current children cumulated vsize (KiB) 141404
[startup+1794.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 25811
/proc/meminfo: memFree=30484212/32951132 swapFree=67054616/67111528
[pid=25686] ppid=25684 vsize=140208 CPUtime=1794.92 cores=0,2,4,6
/proc/25686/stat : 25686 (scip-2.0.1.4b_2) R 25684 25686 24772 0 -1 4202496 454782 0 0 0 178980 512 0 0 25 0 1 0 888251445 143572992 32818 33554432000 4194304 9016284 140736102375728 18446744073709551615 6971617 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25686/statm: 35052 32818 710 1178 0 33870 0
Current children cumulated CPU time (s) 1794.92
Current children cumulated vsize (KiB) 140208
[startup+1796.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 25811
/proc/meminfo: memFree=30485948/32951132 swapFree=67054616/67111528
[pid=25686] ppid=25684 vsize=140720 CPUtime=1796.53 cores=0,2,4,6
/proc/25686/stat : 25686 (scip-2.0.1.4b_2) R 25684 25686 24772 0 -1 4202496 455417 0 0 0 179140 513 0 0 25 0 1 0 888251445 144097280 33453 33554432000 4194304 9016284 140736102375728 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25686/statm: 35180 33453 710 1178 0 33998 0
Current children cumulated CPU time (s) 1796.53
Current children cumulated vsize (KiB) 140720
[startup+1796.91 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 25811
/proc/meminfo: memFree=30485824/32951132 swapFree=67054616/67111528
[pid=25686] ppid=25684 vsize=140720 CPUtime=1796.94 cores=0,2,4,6
/proc/25686/stat : 25686 (scip-2.0.1.4b_2) R 25684 25686 24772 0 -1 4202496 455418 0 0 0 179181 513 0 0 25 0 1 0 888251445 144097280 33454 33554432000 4194304 9016284 140736102375728 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25686/statm: 35180 33454 710 1178 0 33998 0
Current children cumulated CPU time (s) 1796.94
Current children cumulated vsize (KiB) 140720
[startup+1797.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 25811
/proc/meminfo: memFree=30485824/32951132 swapFree=67054616/67111528
[pid=25686] ppid=25684 vsize=140720 CPUtime=1797.13 cores=0,2,4,6
/proc/25686/stat : 25686 (scip-2.0.1.4b_2) R 25684 25686 24772 0 -1 4202496 455419 0 0 0 179200 513 0 0 25 0 1 0 888251445 144097280 33455 33554432000 4194304 9016284 140736102375728 18446744073709551615 7180687 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25686/statm: 35180 33455 710 1178 0 33998 0
Current children cumulated CPU time (s) 1797.13
Current children cumulated vsize (KiB) 140720
[startup+1797.2 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 25811
/proc/meminfo: memFree=30485824/32951132 swapFree=67054616/67111528
[pid=25686] ppid=25684 vsize=111984 CPUtime=1797.23 cores=0,2,4,6
/proc/25686/stat : 25686 (scip-2.0.1.4b_2) R 25684 25686 24772 0 -1 4202496 455424 0 0 0 179210 513 0 0 18 0 1 0 888251445 114671616 27396 33554432000 4194304 9016284 140736102375728 18446744073709551615 4447114 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/25686/statm: 27996 27396 715 1178 0 26814 0
Current children cumulated CPU time (s) 1797.23
Current children cumulated vsize (KiB) 111984
Child status: 0
Real time (s): 1797.21
CPU time (s): 1797.25
CPU user time (s): 1792.11
CPU system time (s): 5.14122
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 147444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.11
system time used= 5.14122
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 455429
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= 8
involuntary context switches= 5286
runsolver used 3.9294 second user time and 8.13976 second system time
The end