0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
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-3452728-1307084684.opb>
0.09/0.16 c original problem has 3204 variables (3204 bin, 0 int, 0 impl, 0 cont) and 24883 constraints
0.09/0.16 c problem read
0.09/0.16 c presolving settings loaded
0.19/0.23 c presolving:
0.29/0.30 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.37 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.39/0.40 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.48 c (2.5s) probing: 1000/3192 (31.3%) - 0 fixings, 0 aggregations, 25570 implications, 0 bound changes
4.00/4.00 c (4.0s) probing: 1799/3192 (56.4%) - 0 fixings, 0 aggregations, 30541 implications, 0 bound changes
4.00/4.00 c (4.0s) probing aborted: 100/100 successive totally useless probings
4.00/4.00 c presolving (4 rounds):
4.00/4.00 c 12 deleted vars, 12 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
4.00/4.00 c 181560 implications, 0 cliques
4.00/4.00 c presolved problem has 3192 variables (3192 bin, 0 int, 0 impl, 0 cont) and 24871 constraints
4.00/4.00 c 24246 constraints of type <setppc>
4.00/4.00 c 625 constraints of type <logicor>
4.00/4.00 c transformed objective value is always integral (scale: 1)
4.00/4.00 c Presolving Time: 3.81
4.00/4.00 c - non default parameters ----------------------------------------------------------------------
4.00/4.00 c # SCIP version 2.0.1.4
4.00/4.00 c
4.00/4.00 c # frequency for displaying node information lines
4.00/4.00 c # [type: int, range: [-1,2147483647], default: 100]
4.00/4.00 c display/freq = 10000
4.00/4.00 c
4.00/4.00 c # maximal time in seconds to run
4.00/4.00 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.00/4.00 c limits/time = 1800
4.00/4.00 c
4.00/4.00 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.00/4.00 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.00/4.00 c limits/memory = 13950
4.00/4.00 c
4.00/4.00 c # default clock type (1: CPU user seconds, 2: wall clock time)
4.00/4.00 c # [type: int, range: [1,2], default: 1]
4.00/4.00 c timing/clocktype = 2
4.00/4.00 c
4.00/4.00 c # belongs reading time to solving time?
4.00/4.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.00/4.00 c timing/reading = TRUE
4.00/4.00 c
4.00/4.00 c # should presolving try to simplify inequalities
4.00/4.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.00/4.00 c constraints/linear/simplifyinequalities = TRUE
4.00/4.00 c
4.00/4.00 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
4.00/4.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.00/4.00 c constraints/indicator/addCouplingCons = TRUE
4.00/4.00 c
4.00/4.00 c # should presolving try to simplify knapsacks
4.00/4.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.00/4.00 c constraints/knapsack/simplifyinequalities = TRUE
4.00/4.00 c
4.00/4.00 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
4.00/4.00 c # [type: int, range: [-1,2147483647], default: -1]
4.00/4.00 c separating/rapidlearning/freq = 0
4.00/4.00 c
4.00/4.00 c -----------------------------------------------------------------------------------------------
4.00/4.00 c start solving
4.00/4.00 c
10.79/10.91 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.91 c 10.9s| 1 | 0 | 9633 | - | 40M| 0 |2252 |3192 | 24k|3192 | 24k| 0 | 23 | 0 | 5.143750e+02 | -- | Inf
26.99/27.00 c 27.0s| 1 | 0 | 29233 | - | 41M| 0 |2256 |3192 | 24k|3192 | 25k| 877 | 23 | 0 | 5.859375e+02 | -- | Inf
28.09/28.12 c 28.1s| 1 | 0 | 29555 | - | 41M| 0 |2255 |3192 | 24k|3192 | 25k| 888 | 23 | 0 | 5.907758e+02 | -- | Inf
29.19/29.28 c 29.3s| 1 | 0 | 29979 | - | 42M| 0 |2254 |3192 | 24k|3192 | 25k| 902 | 23 | 0 | 5.947477e+02 | -- | Inf
30.59/30.66 c 30.7s| 1 | 0 | 30524 | - | 42M| 0 |2255 |3192 | 24k|3192 | 25k| 918 | 23 | 0 | 5.987136e+02 | -- | Inf
31.91/31.92 c 31.9s| 1 | 0 | 30994 | - | 42M| 0 |2249 |3192 | 24k|3192 | 25k| 933 | 23 | 0 | 6.018637e+02 | -- | Inf
34.69/34.72 c 34.7s| 1 | 0 | 32267 | - | 42M| 0 |2250 |3192 | 24k|3192 | 25k| 952 | 23 | 0 | 6.042563e+02 | -- | Inf
36.19/36.22 c 36.2s| 1 | 0 | 32899 | - | 43M| 0 |2253 |3192 | 24k|3192 | 25k| 970 | 23 | 0 | 6.062929e+02 | -- | Inf
37.50/37.56 c 37.6s| 1 | 0 | 33310 | - | 43M| 0 |2253 |3192 | 24k|3192 | 25k| 989 | 23 | 0 | 6.077849e+02 | -- | Inf
39.50/39.57 c 39.6s| 1 | 0 | 34032 | - | 43M| 0 |2236 |3192 | 24k|3192 | 25k|1005 | 23 | 0 | 6.091880e+02 | -- | Inf
40.89/40.93 c 40.9s| 1 | 0 | 34557 | - | 43M| 0 |2241 |3192 | 24k|3192 | 25k|1024 | 23 | 0 | 6.102699e+02 | -- | Inf
42.49/42.54 c 42.5s| 1 | 0 | 35400 | - | 44M| 0 |2244 |3192 | 24k|3192 | 25k|1040 | 23 | 0 | 6.114142e+02 | -- | Inf
44.79/44.85 c 44.8s| 1 | 0 | 36164 | - | 44M| 0 |2238 |3192 | 24k|3192 | 25k|1057 | 23 | 0 | 6.121461e+02 | -- | Inf
48.69/48.77 c 48.8s| 1 | 0 | 36841 | - | 44M| 0 |2238 |3192 | 24k|3192 | 25k|1069 | 23 | 0 | 6.129908e+02 | -- | Inf
55.09/55.14 c 55.1s| 1 | 0 | 37667 | - | 44M| 0 |2237 |3192 | 24k|3192 | 25k|1083 | 23 | 0 | 6.137304e+02 | -- | Inf
57.49/57.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
57.49/57.52 c 57.5s| 1 | 0 | 38420 | - | 44M| 0 |2239 |3192 | 24k|3192 | 25k|1102 | 23 | 0 | 6.141792e+02 | -- | Inf
61.39/61.49 c 61.5s| 1 | 0 | 39314 | - | 45M| 0 |2242 |3192 | 24k|3192 | 25k|1119 | 23 | 0 | 6.148067e+02 | -- | Inf
67.49/67.51 c 67.5s| 1 | 0 | 40113 | - | 45M| 0 |2245 |3192 | 24k|3192 | 25k|1134 | 23 | 0 | 6.153602e+02 | -- | Inf
75.91/75.99 c 76.0s| 1 | 0 | 40752 | - | 45M| 0 |2235 |3192 | 24k|3192 | 25k|1150 | 23 | 0 | 6.159105e+02 | -- | Inf
78.69/78.71 c 78.7s| 1 | 0 | 41169 | - | 45M| 0 |2247 |3192 | 24k|3192 | 25k|1158 | 23 | 0 | 6.162563e+02 | -- | Inf
80.90/80.96 c 81.0s| 1 | 0 | 41659 | - | 46M| 0 |2242 |3192 | 24k|3192 | 25k|1167 | 23 | 0 | 6.166206e+02 | -- | Inf
82.30/82.41 c 82.4s| 1 | 0 | 42126 | - | 46M| 0 |2245 |3192 | 24k|3192 | 25k|1180 | 23 | 0 | 6.170947e+02 | -- | Inf
86.39/86.44 c 86.4s| 1 | 0 | 42475 | - | 46M| 0 |2237 |3192 | 24k|3192 | 25k|1188 | 23 | 0 | 6.173875e+02 | -- | Inf
90.49/90.57 c 90.6s| 1 | 0 | 42742 | - | 46M| 0 |2245 |3192 | 24k|3192 | 25k|1194 | 23 | 0 | 6.175370e+02 | -- | Inf
94.80/94.81 c 94.8s| 1 | 0 | 42909 | - | 46M| 0 |2248 |3192 | 24k|3192 | 25k|1200 | 23 | 0 | 6.176072e+02 | -- | Inf
99.09/99.14 c 99.1s| 1 | 0 | 43145 | - | 46M| 0 |2251 |3192 | 24k|3192 | 25k|1207 | 23 | 0 | 6.177594e+02 | -- | Inf
100.19/100.27 c 100s| 1 | 0 | 43376 | - | 46M| 0 |2251 |3192 | 24k|3192 | 25k|1213 | 23 | 0 | 6.181078e+02 | -- | Inf
101.49/101.53 c 102s| 1 | 0 | 43666 | - | 46M| 0 |2251 |3192 | 24k|3192 | 25k|1219 | 23 | 0 | 6.183700e+02 | -- | Inf
105.89/105.94 c 106s| 1 | 0 | 43989 | - | 46M| 0 |2245 |3192 | 24k|3192 | 25k|1228 | 23 | 0 | 6.185796e+02 | -- | Inf
110.20/110.23 c 110s| 1 | 0 | 44203 | - | 46M| 0 |2244 |3192 | 24k|3192 | 25k|1235 | 23 | 0 | 6.187335e+02 | -- | Inf
114.30/114.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
114.30/114.34 c 114s| 1 | 0 | 44393 | - | 46M| 0 |2245 |3192 | 24k|3192 | 25k|1242 | 23 | 0 | 6.188829e+02 | -- | Inf
118.59/118.62 c 119s| 1 | 0 | 44582 | - | 46M| 0 |2245 |3192 | 24k|3192 | 25k|1248 | 23 | 0 | 6.190594e+02 | -- | Inf
119.80/119.89 c 120s| 1 | 0 | 44996 | - | 46M| 0 |2239 |3192 | 24k|3192 | 25k|1257 | 23 | 0 | 6.194606e+02 | -- | Inf
123.99/124.08 c 124s| 1 | 0 | 45164 | - | 46M| 0 |2249 |3192 | 24k|3192 | 25k|1264 | 23 | 0 | 6.195317e+02 | -- | Inf
128.30/128.39 c 128s| 1 | 0 | 45368 | - | 46M| 0 |2239 |3192 | 24k|3192 | 25k|1274 | 23 | 0 | 6.197336e+02 | -- | Inf
132.69/132.70 c 133s| 1 | 0 | 45586 | - | 46M| 0 |2243 |3192 | 24k|3192 | 25k|1278 | 23 | 0 | 6.199465e+02 | -- | Inf
136.99/137.07 c 137s| 1 | 0 | 45822 | - | 46M| 0 |2244 |3192 | 24k|3192 | 25k|1285 | 23 | 0 | 6.200660e+02 | -- | Inf
141.39/141.42 c 141s| 1 | 0 | 46099 | - | 46M| 0 |2247 |3192 | 24k|3192 | 25k|1290 | 23 | 0 | 6.202685e+02 | -- | Inf
145.70/145.76 c 146s| 1 | 0 | 46504 | - | 46M| 0 |2251 |3192 | 24k|3192 | 25k|1297 | 23 | 0 | 6.205963e+02 | -- | Inf
150.00/150.08 c 150s| 1 | 0 | 46596 | - | 46M| 0 |2253 |3192 | 24k|3192 | 25k|1301 | 23 | 0 | 6.206535e+02 | -- | Inf
154.29/154.37 c 154s| 1 | 0 | 46683 | - | 46M| 0 |2253 |3192 | 24k|3192 | 25k|1307 | 23 | 0 | 6.207492e+02 | -- | Inf
158.60/158.68 c 159s| 1 | 0 | 46843 | - | 46M| 0 |2253 |3192 | 24k|3192 | 25k|1313 | 23 | 0 | 6.209524e+02 | -- | Inf
160.09/160.14 c 160s| 1 | 0 | 47366 | - | 46M| 0 |2246 |3192 | 24k|3192 | 25k|1318 | 23 | 0 | 6.214251e+02 | -- | Inf
164.30/164.39 c 164s| 1 | 0 | 47587 | - | 46M| 0 |2248 |3192 | 24k|3192 | 25k|1323 | 23 | 0 | 6.215983e+02 | -- | Inf
168.31/168.38 c 168s| 1 | 0 | 47767 | - | 46M| 0 |2244 |3192 | 24k|3192 | 25k|1329 | 23 | 0 | 6.217493e+02 | -- | Inf
172.49/172.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
172.49/172.55 c 173s| 1 | 0 | 47826 | - | 46M| 0 |2242 |3192 | 24k|3192 | 25k|1330 | 23 | 0 | 6.218243e+02 | -- | Inf
176.60/176.60 c 177s| 1 | 0 | 47922 | - | 46M| 0 |2244 |3192 | 24k|3192 | 25k|1333 | 23 | 0 | 6.219084e+02 | -- | Inf
180.80/180.86 c 181s| 1 | 0 | 48038 | - | 46M| 0 |2249 |3192 | 24k|3192 | 25k|1339 | 23 | 0 | 6.219657e+02 | -- | Inf
185.10/185.14 c 185s| 1 | 0 | 48137 | - | 46M| 0 |2245 |3192 | 24k|3192 | 25k|1345 | 23 | 0 | 6.220329e+02 | -- | Inf
189.40/189.46 c 189s| 1 | 0 | 48242 | - | 46M| 0 |2243 |3192 | 24k|3192 | 25k|1350 | 23 | 0 | 6.221607e+02 | -- | Inf
193.40/193.45 c 193s| 1 | 0 | 48245 | - | 46M| 0 |2243 |3192 | 24k|3192 | 25k|1353 | 23 | 0 | 6.221607e+02 | -- | Inf
197.40/197.49 c 197s| 1 | 0 | 48318 | - | 46M| 0 |2243 |3192 | 24k|3192 | 25k|1356 | 23 | 0 | 6.222096e+02 | -- | Inf
201.70/201.71 c 202s| 1 | 0 | 48453 | - | 46M| 0 |2249 |3192 | 24k|3192 | 25k|1360 | 23 | 0 | 6.224162e+02 | -- | Inf
205.79/205.84 c 206s| 1 | 0 | 48695 | - | 46M| 0 |2238 |3192 | 24k|3192 | 25k|1366 | 23 | 0 | 6.225210e+02 | -- | Inf
209.89/209.95 c 210s| 1 | 0 | 48941 | - | 46M| 0 |2242 |3192 | 24k|3192 | 25k|1373 | 23 | 0 | 6.226974e+02 | -- | Inf
214.69/214.70 c 215s| 1 | 0 | 49330 | - | 46M| 0 |2243 |3192 | 24k|3192 | 25k|1382 | 23 | 0 | 6.228572e+02 | -- | Inf
215.70/215.75 c 216s| 1 | 0 | 49641 | - | 46M| 0 |2250 |3192 | 24k|3192 | 25k|1388 | 23 | 0 | 6.231636e+02 | -- | Inf
220.39/220.44 c 220s| 1 | 0 | 49959 | - | 46M| 0 |2240 |3192 | 24k|3192 | 25k|1396 | 23 | 0 | 6.232982e+02 | -- | Inf
221.90/221.90 c 222s| 1 | 0 | 50306 | - | 46M| 0 |2246 |3192 | 24k|3192 | 25k|1405 | 23 | 0 | 6.234542e+02 | -- | Inf
223.31/223.35 c 223s| 1 | 0 | 50692 | - | 46M| 0 |2244 |3192 | 24k|3192 | 25k|1414 | 23 | 0 | 6.236423e+02 | -- | Inf
228.10/228.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
228.10/228.14 c 228s| 1 | 0 | 50995 | - | 46M| 0 |2247 |3192 | 24k|3192 | 25k|1424 | 23 | 0 | 6.238217e+02 | -- | Inf
233.21/233.26 c 233s| 1 | 0 | 51499 | - | 46M| 0 |2248 |3192 | 24k|3192 | 25k|1430 | 23 | 0 | 6.240178e+02 | -- | Inf
238.00/238.02 c 238s| 1 | 0 | 51665 | - | 46M| 0 |2245 |3192 | 24k|3192 | 25k|1437 | 23 | 0 | 6.241202e+02 | -- | Inf
242.69/242.78 c 243s| 1 | 0 | 51766 | - | 46M| 0 |2247 |3192 | 24k|3192 | 25k|1439 | 23 | 0 | 6.241765e+02 | -- | Inf
247.59/247.63 c 248s| 1 | 0 | 52008 | - | 46M| 0 |2243 |3192 | 24k|3192 | 25k|1443 | 23 | 0 | 6.242491e+02 | -- | Inf
252.30/252.36 c 252s| 1 | 0 | 52120 | - | 46M| 0 |2246 |3192 | 24k|3192 | 25k|1448 | 23 | 0 | 6.243404e+02 | -- | Inf
257.20/257.21 c 257s| 1 | 0 | 52301 | - | 47M| 0 |2249 |3192 | 24k|3192 | 25k|1455 | 23 | 0 | 6.245223e+02 | -- | Inf
262.00/262.08 c 262s| 1 | 0 | 52488 | - | 47M| 0 |2249 |3192 | 24k|3192 | 25k|1460 | 23 | 0 | 6.246410e+02 | -- | Inf
266.89/266.90 c 267s| 1 | 0 | 52663 | - | 47M| 0 |2246 |3192 | 24k|3192 | 25k|1472 | 23 | 0 | 6.247327e+02 | -- | Inf
271.61/271.69 c 272s| 1 | 0 | 52800 | - | 47M| 0 |2248 |3192 | 24k|3192 | 25k|1475 | 23 | 0 | 6.248593e+02 | -- | Inf
276.50/276.56 c 277s| 1 | 0 | 52990 | - | 47M| 0 |2244 |3192 | 24k|3192 | 25k|1481 | 23 | 0 | 6.249196e+02 | -- | Inf
281.30/281.36 c 281s| 1 | 0 | 53237 | - | 47M| 0 |2245 |3192 | 24k|3192 | 25k|1486 | 23 | 0 | 6.250752e+02 | -- | Inf
286.10/286.16 c 286s| 1 | 0 | 53350 | - | 47M| 0 |2245 |3192 | 24k|3192 | 25k|1491 | 23 | 0 | 6.251948e+02 | -- | Inf
291.00/291.07 c 291s| 1 | 0 | 53510 | - | 47M| 0 |2240 |3192 | 24k|3192 | 25k|1498 | 23 | 0 | 6.252635e+02 | -- | Inf
295.81/295.85 c 296s| 1 | 0 | 53705 | - | 47M| 0 |2251 |3192 | 24k|3192 | 25k|1503 | 23 | 0 | 6.253438e+02 | -- | Inf
300.70/300.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
300.70/300.71 c 301s| 1 | 0 | 53897 | - | 47M| 0 |2244 |3192 | 24k|3192 | 25k|1510 | 23 | 0 | 6.255153e+02 | -- | Inf
305.30/305.34 c 305s| 1 | 0 | 54047 | - | 47M| 0 |2240 |3192 | 24k|3192 | 25k|1516 | 23 | 0 | 6.256196e+02 | -- | Inf
309.80/309.85 c 310s| 1 | 0 | 54142 | - | 47M| 0 |2236 |3192 | 24k|3192 | 25k|1524 | 23 | 0 | 6.256546e+02 | -- | Inf
314.61/314.67 c 315s| 1 | 0 | 54329 | - | 47M| 0 |2242 |3192 | 24k|3192 | 25k|1527 | 23 | 0 | 6.257324e+02 | -- | Inf
319.50/319.53 c 320s| 1 | 0 | 54464 | - | 47M| 0 |2242 |3192 | 24k|3192 | 25k|1533 | 23 | 0 | 6.258541e+02 | -- | Inf
324.30/324.31 c 324s| 1 | 0 | 54582 | - | 47M| 0 |2248 |3192 | 24k|3192 | 25k|1538 | 23 | 0 | 6.259591e+02 | -- | Inf
329.20/329.24 c 329s| 1 | 0 | 54978 | - | 47M| 0 |2247 |3192 | 24k|3192 | 25k|1545 | 23 | 0 | 6.261472e+02 | -- | Inf
334.10/334.19 c 334s| 1 | 0 | 55150 | - | 47M| 0 |2250 |3192 | 24k|3192 | 25k|1548 | 23 | 0 | 6.262687e+02 | -- | Inf
338.90/338.94 c 339s| 1 | 0 | 55317 | - | 47M| 0 |2248 |3192 | 24k|3192 | 25k|1551 | 23 | 0 | 6.264450e+02 | -- | Inf
343.50/343.56 c 344s| 1 | 0 | 55623 | - | 47M| 0 |2241 |3192 | 24k|3192 | 25k|1557 | 23 | 0 | 6.266021e+02 | -- | Inf
348.20/348.24 c 348s| 1 | 0 | 55925 | - | 47M| 0 |2252 |3192 | 24k|3192 | 25k|1566 | 23 | 0 | 6.267918e+02 | -- | Inf
352.70/352.76 c 353s| 1 | 0 | 56192 | - | 47M| 0 |2246 |3192 | 24k|3192 | 25k|1572 | 23 | 0 | 6.269153e+02 | -- | Inf
357.30/357.40 c 357s| 1 | 0 | 56394 | - | 47M| 0 |2252 |3192 | 24k|3192 | 25k|1586 | 23 | 0 | 6.270585e+02 | -- | Inf
362.40/362.48 c 362s| 1 | 0 | 56743 | - | 47M| 0 |2253 |3192 | 24k|3192 | 25k|1592 | 23 | 0 | 6.272067e+02 | -- | Inf
366.90/366.99 c 367s| 1 | 0 | 56999 | - | 47M| 0 |2251 |3192 | 24k|3192 | 25k|1599 | 23 | 0 | 6.274096e+02 | -- | Inf
371.70/371.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
371.70/371.72 c 372s| 1 | 0 | 57296 | - | 47M| 0 |2255 |3192 | 24k|3192 | 25k|1604 | 23 | 0 | 6.276957e+02 | -- | Inf
376.30/376.37 c 376s| 1 | 0 | 57516 | - | 47M| 0 |2255 |3192 | 24k|3192 | 25k|1616 | 23 | 0 | 6.278174e+02 | -- | Inf
380.80/380.82 c 381s| 1 | 0 | 57619 | - | 47M| 0 |2255 |3192 | 24k|3192 | 25k|1618 | 23 | 0 | 6.278753e+02 | -- | Inf
385.40/385.40 c 385s| 1 | 0 | 57768 | - | 47M| 0 |2253 |3192 | 24k|3192 | 25k|1624 | 23 | 0 | 6.279969e+02 | -- | Inf
390.00/390.06 c 390s| 1 | 0 | 57911 | - | 47M| 0 |2255 |3192 | 24k|3192 | 25k|1631 | 23 | 0 | 6.281686e+02 | -- | Inf
394.70/394.76 c 395s| 1 | 0 | 58179 | - | 47M| 0 |2256 |3192 | 24k|3192 | 25k|1635 | 23 | 0 | 6.283233e+02 | -- | Inf
399.20/399.26 c 399s| 1 | 0 | 58420 | - | 47M| 0 |2250 |3192 | 24k|3192 | 25k|1639 | 23 | 0 | 6.284573e+02 | -- | Inf
400.60/400.69 c 401s| 1 | 0 | 58848 | - | 47M| 0 |2254 |3192 | 24k|3192 | 25k|1645 | 23 | 0 | 6.287939e+02 | -- | Inf
405.00/405.04 c 405s| 1 | 0 | 59035 | - | 47M| 0 |2249 |3192 | 24k|3192 | 25k|1654 | 23 | 0 | 6.289832e+02 | -- | Inf
409.60/409.67 c 410s| 1 | 0 | 59140 | - | 47M| 0 |2252 |3192 | 24k|3192 | 25k|1658 | 23 | 0 | 6.290589e+02 | -- | Inf
411.10/411.17 c 411s| 1 | 0 | 59594 | - | 47M| 0 |2251 |3192 | 24k|3192 | 25k|1665 | 23 | 0 | 6.293690e+02 | -- | Inf
415.90/415.92 c 416s| 1 | 0 | 59830 | - | 47M| 0 |2245 |3192 | 24k|3192 | 25k|1670 | 23 | 0 | 6.294901e+02 | -- | Inf
420.30/420.40 c 420s| 1 | 0 | 59936 | - | 47M| 0 |2253 |3192 | 24k|3192 | 25k|1671 | 23 | 0 | 6.295440e+02 | -- | Inf
425.20/425.28 c 425s| 1 | 0 | 60169 | - | 47M| 0 |2254 |3192 | 24k|3192 | 25k|1674 | 23 | 0 | 6.297059e+02 | -- | Inf
429.80/429.81 c 430s| 1 | 0 | 60259 | - | 46M| 0 |2254 |3192 | 24k|3192 | 25k|1677 | 23 | 0 | 6.297657e+02 | -- | Inf
434.30/434.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
434.30/434.36 c 434s| 1 | 0 | 60521 | - | 46M| 0 |2250 |3192 | 24k|3192 | 25k|1683 | 23 | 0 | 6.299409e+02 | -- | Inf
438.70/438.80 c 439s| 1 | 0 | 60643 | - | 46M| 0 |2254 |3192 | 24k|3192 | 25k|1689 | 23 | 0 | 6.301058e+02 | -- | Inf
443.21/443.28 c 443s| 1 | 0 | 60770 | - | 46M| 0 |2252 |3192 | 24k|3192 | 25k|1693 | 23 | 0 | 6.302676e+02 | -- | Inf
448.10/448.15 c 448s| 1 | 0 | 60993 | - | 46M| 0 |2249 |3192 | 24k|3192 | 25k|1699 | 23 | 0 | 6.303684e+02 | -- | Inf
452.61/452.65 c 453s| 1 | 0 | 61150 | - | 46M| 0 |2243 |3192 | 24k|3192 | 25k|1704 | 23 | 0 | 6.305636e+02 | -- | Inf
457.10/457.13 c 457s| 1 | 0 | 61336 | - | 45M| 0 |2248 |3192 | 24k|3192 | 25k|1708 | 23 | 0 | 6.306628e+02 | -- | Inf
461.70/461.78 c 462s| 1 | 0 | 61486 | - | 45M| 0 |2251 |3192 | 24k|3192 | 25k|1711 | 23 | 0 | 6.307960e+02 | -- | Inf
466.20/466.30 c 466s| 1 | 0 | 61640 | - | 45M| 0 |2253 |3192 | 24k|3192 | 25k|1713 | 23 | 0 | 6.308877e+02 | -- | Inf
470.71/470.75 c 471s| 1 | 0 | 61820 | - | 45M| 0 |2245 |3192 | 24k|3192 | 25k|1719 | 23 | 0 | 6.310814e+02 | -- | Inf
475.90/475.94 c 476s| 1 | 0 | 62543 | - | 44M| 0 |2252 |3192 | 24k|3192 | 25k|1727 | 23 | 0 | 6.314462e+02 | -- | Inf
480.90/480.95 c 481s| 1 | 0 | 62979 | - | 44M| 0 |2248 |3192 | 24k|3192 | 25k|1736 | 23 | 0 | 6.316729e+02 | -- | Inf
485.40/485.44 c 485s| 1 | 0 | 63295 | - | 44M| 0 |2252 |3192 | 24k|3192 | 25k|1747 | 23 | 0 | 6.320090e+02 | -- | Inf
490.30/490.32 c 490s| 1 | 0 | 63703 | - | 44M| 0 |2252 |3192 | 24k|3192 | 25k|1753 | 23 | 0 | 6.322584e+02 | -- | Inf
495.02/495.05 c 495s| 1 | 0 | 63792 | - | 44M| 0 |2252 |3192 | 24k|3192 | 25k|1757 | 23 | 0 | 6.323864e+02 | -- | Inf
499.80/499.84 c 500s| 1 | 0 | 63878 | - | 44M| 0 |2250 |3192 | 24k|3192 | 25k|1761 | 23 | 0 | 6.325097e+02 | -- | Inf
504.81/504.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
504.81/504.84 c 505s| 1 | 0 | 64191 | - | 43M| 0 |2247 |3192 | 24k|3192 | 25k|1767 | 23 | 0 | 6.326362e+02 | -- | Inf
509.81/509.87 c 510s| 1 | 0 | 64377 | - | 43M| 0 |2244 |3192 | 24k|3192 | 25k|1772 | 23 | 0 | 6.327982e+02 | -- | Inf
514.71/514.78 c 515s| 1 | 0 | 64580 | - | 43M| 0 |2248 |3192 | 24k|3192 | 25k|1777 | 23 | 0 | 6.329416e+02 | -- | Inf
520.11/520.10 c 520s| 1 | 0 | 65003 | - | 43M| 0 |2251 |3192 | 24k|3192 | 25k|1782 | 23 | 0 | 6.331322e+02 | -- | Inf
524.91/524.94 c 525s| 1 | 0 | 65115 | - | 43M| 0 |2246 |3192 | 24k|3192 | 25k|1790 | 23 | 0 | 6.331784e+02 | -- | Inf
530.00/530.09 c 530s| 1 | 0 | 65358 | - | 43M| 0 |2245 |3192 | 24k|3192 | 25k|1796 | 23 | 0 | 6.333471e+02 | -- | Inf
535.20/535.22 c 535s| 1 | 0 | 65653 | - | 43M| 0 |2249 |3192 | 24k|3192 | 25k|1803 | 23 | 0 | 6.335019e+02 | -- | Inf
540.40/540.44 c 540s| 1 | 0 | 66000 | - | 43M| 0 |2245 |3192 | 24k|3192 | 25k|1807 | 23 | 0 | 6.336050e+02 | -- | Inf
545.51/545.57 c 546s| 1 | 0 | 66269 | - | 43M| 0 |2243 |3192 | 24k|3192 | 25k|1813 | 23 | 0 | 6.336611e+02 | -- | Inf
550.61/550.60 c 551s| 1 | 0 | 66702 | - | 43M| 0 |2247 |3192 | 24k|3192 | 25k|1820 | 23 | 0 | 6.338815e+02 | -- | Inf
555.41/555.51 c 556s| 1 | 0 | 67136 | - | 43M| 0 |2243 |3192 | 24k|3192 | 25k|1835 | 23 | 0 | 6.341470e+02 | -- | Inf
560.41/560.45 c 560s| 1 | 0 | 67451 | - | 43M| 0 |2246 |3192 | 24k|3192 | 25k|1840 | 23 | 0 | 6.342881e+02 | -- | Inf
565.31/565.37 c 565s| 1 | 0 | 67756 | - | 43M| 0 |2249 |3192 | 24k|3192 | 25k|1845 | 23 | 0 | 6.344635e+02 | -- | Inf
570.30/570.30 c 570s| 1 | 0 | 67757 | - | 43M| 0 |2249 |3192 | 24k|3192 | 25k|1846 | 23 | 0 | 6.344635e+02 | -- | Inf
575.22/575.25 c 575s| 1 | 0 | 67821 | - | 43M| 0 |2249 |3192 | 24k|3192 | 25k|1847 | 23 | 0 | 6.345307e+02 | -- | Inf
580.31/580.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
580.31/580.32 c 580s| 1 | 0 | 67946 | - | 43M| 0 |2249 |3192 | 24k|3192 | 25k|1850 | 23 | 0 | 6.346581e+02 | -- | Inf
585.50/585.50 c 585s| 1 | 0 | 68267 | - | 43M| 0 |2243 |3192 | 24k|3192 | 25k|1857 | 23 | 0 | 6.348291e+02 | -- | Inf
590.21/590.24 c 590s| 1 | 0 | 68574 | - | 43M| 0 |2247 |3192 | 24k|3192 | 25k|1861 | 23 | 0 | 6.352664e+02 | -- | Inf
595.41/595.40 c 595s| 1 | 0 | 69013 | - | 43M| 0 |2243 |3192 | 24k|3192 | 25k|1868 | 23 | 0 | 6.354204e+02 | -- | Inf
600.51/600.61 c 601s| 1 | 0 | 69338 | - | 43M| 0 |2249 |3192 | 24k|3192 | 25k|1874 | 23 | 0 | 6.356075e+02 | -- | Inf
602.41/602.48 c 602s| 1 | 0 | 69966 | - | 43M| 0 |2236 |3192 | 24k|3192 | 25k|1882 | 23 | 0 | 6.359625e+02 | -- | Inf
604.11/604.19 c 604s| 1 | 0 | 70537 | - | 43M| 0 |2251 |3192 | 24k|3192 | 25k|1887 | 23 | 0 | 6.362577e+02 | -- | Inf
609.21/609.21 c 609s| 1 | 0 | 70821 | - | 43M| 0 |2250 |3192 | 24k|3192 | 25k|1893 | 23 | 0 | 6.364549e+02 | -- | Inf
614.21/614.25 c 614s| 1 | 0 | 71085 | - | 43M| 0 |2250 |3192 | 24k|3192 | 25k|1897 | 23 | 0 | 6.365917e+02 | -- | Inf
619.32/619.36 c 619s| 1 | 0 | 71253 | - | 43M| 0 |2250 |3192 | 24k|3192 | 25k|1900 | 23 | 0 | 6.367705e+02 | -- | Inf
624.41/624.48 c 624s| 1 | 0 | 71427 | - | 43M| 0 |2250 |3192 | 24k|3192 | 25k|1902 | 23 | 0 | 6.369265e+02 | -- | Inf
629.51/629.59 c 630s| 1 | 0 | 71587 | - | 43M| 0 |2250 |3192 | 24k|3192 | 25k|1907 | 23 | 0 | 6.371128e+02 | -- | Inf
633.52/633.55 c 634s| 1 | 0 | 71808 | - | 43M| 0 |2250 |3192 | 24k|3192 | 25k|1913 | 23 | 0 | 6.373357e+02 | -- | Inf
638.71/638.73 c 639s| 1 | 0 | 72234 | - | 43M| 0 |2250 |3192 | 24k|3192 | 25k|1922 | 23 | 0 | 6.375800e+02 | -- | Inf
640.71/640.76 c 641s| 1 | 0 | 72715 | - | 43M| 0 |2248 |3192 | 24k|3192 | 25k|1928 | 23 | 0 | 6.379093e+02 | -- | Inf
642.50/642.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
642.50/642.58 c 643s| 1 | 0 | 72993 | - | 43M| 0 |2250 |3192 | 24k|3192 | 25k|1934 | 23 | 0 | 6.380909e+02 | -- | Inf
647.70/647.75 c 648s| 1 | 0 | 73267 | - | 43M| 0 |2250 |3192 | 24k|3192 | 25k|1942 | 23 | 0 | 6.383017e+02 | -- | Inf
649.81/649.83 c 650s| 1 | 0 | 73713 | - | 43M| 0 |2247 |3192 | 24k|3192 | 25k|1951 | 23 | 0 | 6.385390e+02 | -- | Inf
651.70/651.77 c 652s| 1 | 0 | 74062 | - | 43M| 0 |2251 |3192 | 24k|3192 | 25k|1955 | 23 | 0 | 6.387650e+02 | -- | Inf
657.01/657.03 c 657s| 1 | 0 | 74529 | - | 43M| 0 |2247 |3192 | 24k|3192 | 25k|1961 | 23 | 0 | 6.389609e+02 | -- | Inf
661.12/661.15 c 661s| 1 | 0 | 74855 | - | 43M| 0 |2246 |3192 | 24k|3192 | 25k|1969 | 23 | 0 | 6.393084e+02 | -- | Inf
666.20/666.24 c 666s| 1 | 0 | 75149 | - | 43M| 0 |2250 |3192 | 24k|3192 | 25k|1973 | 23 | 0 | 6.395443e+02 | -- | Inf
671.41/671.48 c 671s| 1 | 0 | 75496 | - | 43M| 0 |2249 |3192 | 24k|3192 | 25k|1981 | 23 | 0 | 6.396766e+02 | -- | Inf
676.61/676.66 c 677s| 1 | 0 | 75885 | - | 43M| 0 |2251 |3192 | 24k|3192 | 25k|1986 | 23 | 0 | 6.399733e+02 | -- | Inf
681.61/681.62 c 682s| 1 | 0 | 76084 | - | 43M| 0 |2247 |3192 | 24k|3192 | 25k|1992 | 23 | 0 | 6.401206e+02 | -- | Inf
686.80/686.84 c 687s| 1 | 0 | 76372 | - | 43M| 0 |2244 |3192 | 24k|3192 | 25k|1998 | 23 | 0 | 6.404375e+02 | -- | Inf
692.11/692.10 c 692s| 1 | 0 | 76563 | - | 43M| 0 |2239 |3192 | 24k|3192 | 25k|2002 | 23 | 0 | 6.406358e+02 | -- | Inf
697.51/697.55 c 698s| 1 | 0 | 76849 | - | 43M| 0 |2245 |3192 | 24k|3192 | 25k|2008 | 23 | 0 | 6.408005e+02 | -- | Inf
702.82/702.83 c 703s| 1 | 0 | 76988 | - | 43M| 0 |2241 |3192 | 24k|3192 | 25k|2013 | 23 | 0 | 6.408749e+02 | -- | Inf
708.01/708.04 c 708s| 1 | 0 | 77089 | - | 43M| 0 |2239 |3192 | 24k|3192 | 25k|2017 | 23 | 0 | 6.409394e+02 | -- | Inf
709.31/709.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
709.31/709.40 c 709s| 1 | 0 | 77266 | - | 43M| 0 |2244 |3192 | 24k|3192 | 25k|2021 | 23 | 0 | 6.411707e+02 | -- | Inf
714.81/714.81 c 715s| 1 | 0 | 77527 | - | 43M| 0 |2233 |3192 | 24k|3192 | 25k|2029 | 23 | 0 | 6.412763e+02 | -- | Inf
716.21/716.25 c 716s| 1 | 0 | 77802 | - | 43M| 0 |2243 |3192 | 24k|3192 | 25k|2035 | 23 | 0 | 6.415088e+02 | -- | Inf
721.63/721.62 c 722s| 1 | 0 | 77983 | - | 43M| 0 |2235 |3192 | 24k|3192 | 25k|2041 | 23 | 0 | 6.416159e+02 | -- | Inf
726.71/726.70 c 727s| 1 | 0 | 78156 | - | 43M| 0 |2247 |3192 | 24k|3192 | 25k|2044 | 23 | 0 | 6.417763e+02 | -- | Inf
731.91/731.94 c 732s| 1 | 0 | 78296 | - | 43M| 0 |2247 |3192 | 24k|3192 | 25k|2046 | 23 | 0 | 6.419080e+02 | -- | Inf
737.41/737.44 c 737s| 1 | 0 | 78629 | - | 43M| 0 |2243 |3192 | 24k|3192 | 25k|2049 | 23 | 0 | 6.420529e+02 | -- | Inf
742.71/742.77 c 743s| 1 | 0 | 78731 | - | 43M| 0 |2244 |3192 | 24k|3192 | 25k|2053 | 23 | 0 | 6.421225e+02 | -- | Inf
747.81/747.80 c 748s| 1 | 0 | 78859 | - | 43M| 0 |2241 |3192 | 24k|3192 | 25k|2057 | 23 | 0 | 6.423082e+02 | -- | Inf
753.11/753.14 c 753s| 1 | 0 | 79011 | - | 43M| 0 |2239 |3192 | 24k|3192 | 25k|2061 | 23 | 0 | 6.424357e+02 | -- | Inf
758.41/758.48 c 758s| 1 | 0 | 79153 | - | 43M| 0 |2241 |3192 | 24k|3192 | 25k|2063 | 23 | 0 | 6.425875e+02 | -- | Inf
763.81/763.83 c 764s| 1 | 0 | 79194 | - | 43M| 0 |2241 |3192 | 24k|3192 | 25k|2064 | 23 | 0 | 6.426619e+02 | -- | Inf
769.21/769.20 c 769s| 1 | 0 | 79326 | - | 43M| 0 |2243 |3192 | 24k|3192 | 25k|2065 | 23 | 0 | 6.426876e+02 | -- | Inf
774.61/774.60 c 775s| 1 | 0 | 79442 | - | 43M| 0 |2246 |3192 | 24k|3192 | 25k|2068 | 23 | 0 | 6.427289e+02 | -- | Inf
779.82/779.87 c 780s| 1 | 0 | 79656 | - | 43M| 0 |2246 |3192 | 24k|3192 | 25k|2071 | 23 | 0 | 6.429047e+02 | -- | Inf
785.21/785.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
785.21/785.27 c 785s| 1 | 0 | 79832 | - | 43M| 0 |2246 |3192 | 24k|3192 | 25k|2074 | 23 | 0 | 6.430929e+02 | -- | Inf
790.62/790.66 c 791s| 1 | 0 | 79957 | - | 43M| 0 |2245 |3192 | 24k|3192 | 25k|2077 | 23 | 0 | 6.432720e+02 | -- | Inf
796.01/796.02 c 796s| 1 | 0 | 80036 | - | 43M| 0 |2240 |3192 | 24k|3192 | 25k|2081 | 23 | 0 | 6.433534e+02 | -- | Inf
801.11/801.18 c 801s| 1 | 0 | 80082 | - | 43M| 0 |2240 |3192 | 24k|3192 | 25k|2083 | 23 | 0 | 6.434964e+02 | -- | Inf
806.41/806.49 c 806s| 1 | 0 | 80196 | - | 43M| 0 |2244 |3192 | 24k|3192 | 25k|2087 | 23 | 0 | 6.436398e+02 | -- | Inf
811.71/811.78 c 812s| 1 | 0 | 80393 | - | 43M| 0 |2246 |3192 | 24k|3192 | 25k|2091 | 23 | 0 | 6.437991e+02 | -- | Inf
814.11/814.12 c 814s| 1 | 0 | 80758 | - | 43M| 0 |2251 |3192 | 24k|3192 | 25k|2096 | 23 | 0 | 6.441293e+02 | -- | Inf
819.62/819.63 c 820s| 1 | 0 | 81065 | - | 43M| 0 |2245 |3192 | 24k|3192 | 25k|2114 | 23 | 0 | 6.443309e+02 | -- | Inf
824.81/824.82 c 825s| 1 | 0 | 81179 | - | 43M| 0 |2253 |3192 | 24k|3192 | 25k|2117 | 23 | 0 | 6.443736e+02 | -- | Inf
830.21/830.27 c 830s| 1 | 0 | 81422 | - | 43M| 0 |2249 |3192 | 24k|3192 | 25k|2122 | 23 | 0 | 6.444577e+02 | -- | Inf
835.62/835.62 c 836s| 1 | 0 | 81609 | - | 43M| 0 |2253 |3192 | 24k|3192 | 25k|2127 | 23 | 0 | 6.444949e+02 | -- | Inf
841.01/841.01 c 841s| 1 | 0 | 81765 | - | 43M| 0 |2250 |3192 | 24k|3192 | 25k|2133 | 23 | 0 | 6.445782e+02 | -- | Inf
846.11/846.12 c 846s| 1 | 0 | 81868 | - | 43M| 0 |2253 |3192 | 24k|3192 | 25k|2137 | 23 | 0 | 6.446859e+02 | -- | Inf
851.22/851.24 c 851s| 1 | 0 | 82003 | - | 43M| 0 |2249 |3192 | 24k|3192 | 25k|2140 | 23 | 0 | 6.447880e+02 | -- | Inf
856.51/856.58 c 857s| 1 | 0 | 82163 | - | 43M| 0 |2250 |3192 | 24k|3192 | 25k|2144 | 23 | 0 | 6.449170e+02 | -- | Inf
861.91/861.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
861.91/861.92 c 862s| 1 | 0 | 82204 | - | 43M| 0 |2251 |3192 | 24k|3192 | 25k|2147 | 23 | 0 | 6.450064e+02 | -- | Inf
867.11/867.10 c 867s| 1 | 0 | 82334 | - | 43M| 0 |2251 |3192 | 24k|3192 | 25k|2152 | 23 | 0 | 6.451119e+02 | -- | Inf
872.52/872.53 c 873s| 1 | 0 | 82460 | - | 43M| 0 |2251 |3192 | 24k|3192 | 25k|2155 | 23 | 0 | 6.452969e+02 | -- | Inf
877.72/877.76 c 878s| 1 | 0 | 82552 | - | 43M| 0 |2249 |3192 | 24k|3192 | 25k|2158 | 23 | 0 | 6.454350e+02 | -- | Inf
883.11/883.13 c 883s| 1 | 0 | 82642 | - | 43M| 0 |2248 |3192 | 24k|3192 | 25k|2160 | 23 | 0 | 6.455385e+02 | -- | Inf
888.51/888.56 c 889s| 1 | 0 | 82744 | - | 43M| 0 |2251 |3192 | 24k|3192 | 25k|2162 | 23 | 0 | 6.456209e+02 | -- | Inf
893.92/893.99 c 894s| 1 | 0 | 82871 | - | 43M| 0 |2251 |3192 | 24k|3192 | 25k|2167 | 23 | 0 | 6.457623e+02 | -- | Inf
899.31/899.30 c 899s| 1 | 0 | 82916 | - | 43M| 0 |2251 |3192 | 24k|3192 | 25k|2170 | 23 | 0 | 6.459038e+02 | -- | Inf
904.41/904.49 c 904s| 1 | 0 | 82950 | - | 43M| 0 |2247 |3192 | 24k|3192 | 25k|2174 | 23 | 0 | 6.460096e+02 | -- | Inf
909.63/909.65 c 910s| 1 | 0 | 82992 | - | 43M| 0 |2253 |3192 | 24k|3192 | 25k|2176 | 23 | 0 | 6.461621e+02 | -- | Inf
914.92/914.97 c 915s| 1 | 0 | 83037 | - | 43M| 0 |2253 |3192 | 24k|3192 | 25k|2178 | 23 | 0 | 6.463185e+02 | -- | Inf
920.31/920.34 c 920s| 1 | 0 | 83130 | - | 43M| 0 |2246 |3192 | 24k|3192 | 25k|2181 | 23 | 0 | 6.464784e+02 | -- | Inf
925.61/925.60 c 926s| 1 | 0 | 83195 | - | 43M| 0 |2249 |3192 | 24k|3192 | 25k|2183 | 23 | 0 | 6.465366e+02 | -- | Inf
930.92/930.93 c 931s| 1 | 0 | 83256 | - | 43M| 0 |2253 |3192 | 24k|3192 | 25k|2186 | 23 | 0 | 6.466895e+02 | -- | Inf
936.22/936.24 c 936s| 1 | 0 | 83329 | - | 43M| 0 |2249 |3192 | 24k|3192 | 25k|2190 | 23 | 0 | 6.468518e+02 | -- | Inf
941.63/941.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
941.63/941.67 c 942s| 1 | 0 | 83379 | - | 43M| 0 |2251 |3192 | 24k|3192 | 25k|2193 | 23 | 0 | 6.469547e+02 | -- | Inf
947.13/947.19 c 947s| 1 | 0 | 83610 | - | 43M| 0 |2249 |3192 | 24k|3192 | 25k|2197 | 23 | 0 | 6.471063e+02 | -- | Inf
952.72/952.71 c 953s| 1 | 0 | 83753 | - | 43M| 0 |2249 |3192 | 24k|3192 | 25k|2205 | 23 | 0 | 6.472051e+02 | -- | Inf
957.91/957.98 c 958s| 1 | 0 | 83949 | - | 43M| 0 |2251 |3192 | 24k|3192 | 25k|2213 | 23 | 0 | 6.473788e+02 | -- | Inf
963.42/963.49 c 963s| 1 | 0 | 84124 | - | 43M| 0 |2249 |3192 | 24k|3192 | 25k|2216 | 23 | 0 | 6.475438e+02 | -- | Inf
968.92/968.95 c 969s| 1 | 0 | 84247 | - | 43M| 0 |2253 |3192 | 24k|3192 | 25k|2221 | 23 | 0 | 6.476770e+02 | -- | Inf
974.31/974.31 c 974s| 1 | 0 | 84348 | - | 43M| 0 |2251 |3192 | 24k|3192 | 25k|2224 | 23 | 0 | 6.477725e+02 | -- | Inf
979.82/979.80 c 980s| 1 | 0 | 84410 | - | 43M| 0 |2251 |3192 | 24k|3192 | 25k|2227 | 23 | 0 | 6.478063e+02 | -- | Inf
985.22/985.26 c 985s| 1 | 0 | 84471 | - | 43M| 0 |2253 |3192 | 24k|3192 | 25k|2229 | 23 | 0 | 6.479185e+02 | -- | Inf
990.72/990.76 c 991s| 1 | 0 | 84600 | - | 43M| 0 |2253 |3192 | 24k|3192 | 25k|2233 | 23 | 0 | 6.481234e+02 | -- | Inf
996.42/996.41 c 996s| 1 | 0 | 84739 | - | 43M| 0 |2253 |3192 | 24k|3192 | 25k|2235 | 23 | 0 | 6.482906e+02 | -- | Inf
1001.81/1001.85 c 1002s| 1 | 0 | 84898 | - | 43M| 0 |2253 |3192 | 24k|3192 | 25k|2239 | 23 | 0 | 6.484896e+02 | -- | Inf
1007.22/1007.27 c 1007s| 1 | 0 | 84959 | - | 43M| 0 |2253 |3192 | 24k|3192 | 25k|2241 | 23 | 0 | 6.486576e+02 | -- | Inf
1012.72/1012.72 c 1013s| 1 | 0 | 85057 | - | 43M| 0 |2250 |3192 | 24k|3192 | 25k|2245 | 23 | 0 | 6.488309e+02 | -- | Inf
1018.11/1018.17 c 1018s| 1 | 0 | 85107 | - | 43M| 0 |2251 |3192 | 24k|3192 | 25k|2247 | 23 | 0 | 6.489965e+02 | -- | Inf
1023.72/1023.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1023.72/1023.70 c 1024s| 1 | 0 | 85220 | - | 43M| 0 |2250 |3192 | 24k|3192 | 25k|2251 | 23 | 0 | 6.491552e+02 | -- | Inf
1029.12/1029.17 c 1029s| 1 | 0 | 85321 | - | 43M| 0 |2253 |3192 | 24k|3192 | 25k|2253 | 23 | 0 | 6.492290e+02 | -- | Inf
1034.72/1034.72 c 1035s| 1 | 0 | 85473 | - | 43M| 0 |2251 |3192 | 24k|3192 | 25k|2257 | 23 | 0 | 6.494059e+02 | -- | Inf
1040.21/1040.29 c 1040s| 1 | 0 | 85571 | - | 43M| 0 |2253 |3192 | 24k|3192 | 25k|2259 | 23 | 0 | 6.494593e+02 | -- | Inf
1045.71/1045.76 c 1046s| 1 | 0 | 85694 | - | 43M| 0 |2243 |3192 | 24k|3192 | 25k|2263 | 23 | 0 | 6.495891e+02 | -- | Inf
1051.42/1051.41 c 1051s| 1 | 0 | 86013 | - | 43M| 0 |2250 |3192 | 24k|3192 | 25k|2267 | 23 | 0 | 6.498289e+02 | -- | Inf
1056.92/1056.97 c 1057s| 1 | 0 | 86586 | - | 43M| 0 |2252 |3192 | 24k|3192 | 25k|2277 | 23 | 0 | 6.501085e+02 | -- | Inf
1062.53/1062.57 c 1063s| 1 | 0 | 86745 | - | 43M| 0 |2253 |3192 | 24k|3192 | 25k|2285 | 23 | 0 | 6.504115e+02 | -- | Inf
1068.14/1068.11 c 1068s| 1 | 0 | 86998 | - | 43M| 0 |2253 |3192 | 24k|3192 | 25k|2291 | 23 | 0 | 6.508797e+02 | -- | Inf
1073.42/1073.46 c 1073s| 1 | 0 | 87107 | - | 43M| 0 |2253 |3192 | 24k|3192 | 25k|2294 | 23 | 0 | 6.510237e+02 | -- | Inf
1079.02/1079.02 c 1079s| 1 | 0 | 87279 | - | 43M| 0 |2253 |3192 | 24k|3192 | 25k|2298 | 23 | 0 | 6.511438e+02 | -- | Inf
1083.61/1083.67 c 1084s| 1 | 0 | 87500 | - | 43M| 0 |2249 |3192 | 24k|3192 | 25k|2301 | 23 | 0 | 6.514016e+02 | -- | Inf
1089.42/1089.45 c 1089s| 1 | 0 | 87742 | - | 43M| 0 |2253 |3192 | 24k|3192 | 25k|2310 | 23 | 0 | 6.515641e+02 | -- | Inf
1095.22/1095.20 c 1095s| 1 | 0 | 88035 | - | 43M| 0 |2253 |3192 | 24k|3192 | 25k|2316 | 23 | 0 | 6.517342e+02 | -- | Inf
1101.03/1101.04 c 1101s| 1 | 0 | 88372 | - | 43M| 0 |2251 |3192 | 24k|3192 | 25k|2324 | 23 | 0 | 6.520427e+02 | -- | Inf
1106.64/1106.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1106.64/1106.66 c 1107s| 1 | 0 | 88705 | - | 43M| 0 |2244 |3192 | 24k|3192 | 25k|2335 | 23 | 0 | 6.522527e+02 | -- | Inf
1112.32/1112.37 c 1112s| 1 | 0 | 88922 | - | 43M| 0 |2254 |3192 | 24k|3192 | 25k|2338 | 23 | 0 | 6.523022e+02 | -- | Inf
1118.32/1118.36 c 1118s| 1 | 0 | 89341 | - | 43M| 0 |2252 |3192 | 24k|3192 | 25k|2343 | 23 | 0 | 6.524969e+02 | -- | Inf
1123.82/1123.86 c 1124s| 1 | 0 | 89569 | - | 43M| 0 |2254 |3192 | 24k|3192 | 25k|2346 | 23 | 0 | 6.526470e+02 | -- | Inf
1129.42/1129.42 c 1129s| 1 | 0 | 89812 | - | 43M| 0 |2254 |3192 | 24k|3192 | 25k|2350 | 23 | 0 | 6.528473e+02 | -- | Inf
1135.02/1135.09 c 1135s| 1 | 0 | 90149 | - | 43M| 0 |2252 |3192 | 24k|3192 | 25k|2357 | 23 | 0 | 6.530492e+02 | -- | Inf
1140.52/1140.57 c 1141s| 1 | 0 | 90336 | - | 43M| 0 |2252 |3192 | 24k|3192 | 25k|2359 | 23 | 0 | 6.532104e+02 | -- | Inf
1146.24/1146.28 c 1146s| 1 | 0 | 90475 | - | 43M| 0 |2254 |3192 | 24k|3192 | 25k|2364 | 23 | 0 | 6.534252e+02 | -- | Inf
1152.02/1152.01 c 1152s| 1 | 0 | 90661 | - | 43M| 0 |2254 |3192 | 24k|3192 | 25k|2368 | 23 | 0 | 6.537103e+02 | -- | Inf
1157.82/1157.87 c 1158s| 1 | 0 | 90951 | - | 43M| 0 |2254 |3192 | 24k|3192 | 25k|2372 | 23 | 0 | 6.539276e+02 | -- | Inf
1163.72/1163.76 c 1164s| 1 | 0 | 91176 | - | 43M| 0 |2250 |3192 | 24k|3192 | 25k|2376 | 23 | 0 | 6.540443e+02 | -- | Inf
1165.32/1165.30 c 1165s| 1 | 0 | 91377 | - | 43M| 0 |2252 |3192 | 24k|3192 | 25k|2380 | 23 | 0 | 6.541706e+02 | -- | Inf
1170.82/1170.83 c 1171s| 1 | 0 | 91540 | - | 42M| 0 |2254 |3192 | 24k|3192 | 25k|2382 | 23 | 0 | 6.542546e+02 | -- | Inf
1176.62/1176.69 c 1177s| 1 | 0 | 91903 | - | 42M| 0 |2254 |3192 | 24k|3192 | 25k|2389 | 23 | 0 | 6.544956e+02 | -- | Inf
1182.42/1182.47 c 1182s| 1 | 0 | 92075 | - | 42M| 0 |2254 |3192 | 24k|3192 | 25k|2393 | 23 | 0 | 6.546451e+02 | -- | Inf
1188.22/1188.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1188.22/1188.26 c 1188s| 1 | 0 | 92279 | - | 42M| 0 |2252 |3192 | 24k|3192 | 25k|2402 | 23 | 0 | 6.547013e+02 | -- | Inf
1193.92/1193.91 c 1194s| 1 | 0 | 92504 | - | 42M| 0 |2254 |3192 | 24k|3192 | 25k|2410 | 23 | 0 | 6.548564e+02 | -- | Inf
1199.43/1199.46 c 1199s| 1 | 0 | 92679 | - | 42M| 0 |2254 |3192 | 24k|3192 | 25k|2414 | 23 | 0 | 6.550935e+02 | -- | Inf
1205.12/1205.15 c 1205s| 1 | 0 | 92832 | - | 42M| 0 |2249 |3192 | 24k|3192 | 25k|2417 | 23 | 0 | 6.552021e+02 | -- | Inf
1210.72/1210.71 c 1211s| 1 | 0 | 93020 | - | 42M| 0 |2252 |3192 | 24k|3192 | 25k|2425 | 23 | 0 | 6.553688e+02 | -- | Inf
1216.42/1216.48 c 1216s| 1 | 0 | 93301 | - | 42M| 0 |2251 |3192 | 24k|3192 | 25k|2429 | 23 | 0 | 6.555569e+02 | -- | Inf
1222.23/1222.27 c 1222s| 1 | 0 | 93435 | - | 42M| 0 |2254 |3192 | 24k|3192 | 25k|2432 | 23 | 0 | 6.556821e+02 | -- | Inf
1227.92/1227.91 c 1228s| 1 | 0 | 93726 | - | 42M| 0 |2255 |3192 | 24k|3192 | 25k|2437 | 23 | 0 | 6.558260e+02 | -- | Inf
1233.72/1233.74 c 1234s| 1 | 0 | 93972 | - | 42M| 0 |2254 |3192 | 24k|3192 | 25k|2441 | 23 | 0 | 6.559402e+02 | -- | Inf
1239.83/1239.82 c 1240s| 1 | 0 | 94336 | - | 42M| 0 |2255 |3192 | 24k|3192 | 25k|2451 | 23 | 0 | 6.562779e+02 | -- | Inf
1245.53/1245.59 c 1246s| 1 | 0 | 94824 | - | 42M| 0 |2252 |3192 | 24k|3192 | 25k|2468 | 23 | 0 | 6.566743e+02 | -- | Inf
1251.32/1251.34 c 1251s| 1 | 0 | 95096 | - | 42M| 0 |2253 |3192 | 24k|3192 | 25k|2477 | 23 | 0 | 6.567506e+02 | -- | Inf
1257.34/1257.35 c 1257s| 1 | 0 | 95370 | - | 42M| 0 |2254 |3192 | 24k|3192 | 25k|2486 | 23 | 0 | 6.568517e+02 | -- | Inf
1263.13/1263.11 c 1263s| 1 | 0 | 95433 | - | 42M| 0 |2253 |3192 | 24k|3192 | 25k|2488 | 23 | 0 | 6.568593e+02 | -- | Inf
1268.73/1268.73 c 1269s| 1 | 0 | 95663 | - | 42M| 0 |2254 |3192 | 24k|3192 | 25k|2490 | 23 | 0 | 6.570303e+02 | -- | Inf
1274.42/1274.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1274.42/1274.43 c 1274s| 1 | 0 | 95765 | - | 42M| 0 |2252 |3192 | 24k|3192 | 25k|2493 | 23 | 0 | 6.571010e+02 | -- | Inf
1280.23/1280.22 c 1280s| 1 | 0 | 95869 | - | 42M| 0 |2254 |3192 | 24k|3192 | 25k|2506 | 23 | 0 | 6.572408e+02 | -- | Inf
1286.02/1286.07 c 1286s| 1 | 0 | 95977 | - | 42M| 0 |2253 |3192 | 24k|3192 | 25k|2513 | 23 | 0 | 6.573739e+02 | -- | Inf
1291.53/1291.56 c 1292s| 1 | 0 | 96042 | - | 42M| 0 |2252 |3192 | 24k|3192 | 25k|2518 | 23 | 0 | 6.574452e+02 | -- | Inf
1297.22/1297.22 c 1297s| 1 | 0 | 96136 | - | 42M| 0 |2254 |3192 | 24k|3192 | 25k|2524 | 23 | 0 | 6.575848e+02 | -- | Inf
1303.03/1303.08 c 1303s| 1 | 0 | 96244 | - | 42M| 0 |2249 |3192 | 24k|3192 | 25k|2529 | 23 | 0 | 6.576810e+02 | -- | Inf
1308.82/1308.89 c 1309s| 1 | 0 | 96341 | - | 42M| 0 |2252 |3192 | 24k|3192 | 25k|2534 | 23 | 0 | 6.577364e+02 | -- | Inf
1314.72/1314.77 c 1315s| 1 | 0 | 96434 | - | 42M| 0 |2254 |3192 | 24k|3192 | 25k|2539 | 23 | 0 | 6.578584e+02 | -- | Inf
1320.63/1320.60 c 1321s| 1 | 0 | 96519 | - | 42M| 0 |2252 |3192 | 24k|3192 | 25k|2543 | 23 | 0 | 6.579660e+02 | -- | Inf
1326.33/1326.39 c 1326s| 1 | 0 | 96596 | - | 42M| 0 |2254 |3192 | 24k|3192 | 25k|2546 | 23 | 0 | 6.579887e+02 | -- | Inf
1332.22/1332.24 c 1332s| 1 | 0 | 96640 | - | 42M| 0 |2255 |3192 | 24k|3192 | 25k|2548 | 23 | 0 | 6.580306e+02 | -- | Inf
1337.93/1337.93 c 1338s| 1 | 0 | 96648 | - | 42M| 0 |2255 |3192 | 24k|3192 | 25k|2549 | 23 | 0 | 6.580530e+02 | -- | Inf
1343.42/1343.48 c 1343s| 1 | 0 | 96726 | - | 42M| 0 |2255 |3192 | 24k|3192 | 25k|2553 | 23 | 0 | 6.580584e+02 | -- | Inf
1348.93/1348.97 c 1349s| 1 | 0 | 96764 | - | 42M| 0 |2255 |3192 | 24k|3192 | 25k|2557 | 23 | 0 | 6.580611e+02 | -- | Inf
1354.73/1354.73 c 1355s| 1 | 0 | 96968 | - | 42M| 0 |2253 |3192 | 24k|3192 | 25k|2560 | 23 | 0 | 6.581881e+02 | -- | Inf
1360.03/1360.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1360.03/1360.01 c 1360s| 1 | 0 | 97006 | - | 42M| 0 |2253 |3192 | 24k|3192 | 25k|2563 | 23 | 0 | 6.581955e+02 | -- | Inf
1365.73/1365.70 c 1366s| 1 | 0 | 97075 | - | 42M| 0 |2253 |3192 | 24k|3192 | 25k|2573 | 23 | 0 | 6.581973e+02 | -- | Inf
1371.23/1371.20 c 1371s| 1 | 0 | 97158 | - | 42M| 0 |2253 |3192 | 24k|3192 | 25k|2576 | 23 | 0 | 6.582062e+02 | -- | Inf
1376.82/1376.84 c 1377s| 1 | 0 | 97172 | - | 42M| 0 |2253 |3192 | 24k|3192 | 25k|2579 | 23 | 0 | 6.582075e+02 | -- | Inf
1382.42/1382.40 c 1382s| 1 | 0 | 97182 | - | 42M| 0 |2253 |3192 | 24k|3192 | 25k|2581 | 23 | 0 | 6.582113e+02 | -- | Inf
1397.82/1397.81 c 1398s| 1 | 2 | 97182 | - | 42M| 0 |2253 |3192 | 24k|3192 | 25k|2581 | 23 | 24 | 6.582113e+02 | -- | Inf
1800.05/1800.03 c
1800.05/1800.03 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.03 c Solving Time (sec) : 1800.03
1800.05/1800.03 c Solving Nodes : 41
1800.05/1800.03 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.05/1800.03 c Dual Bound : +6.59185455278773e+02
1800.05/1800.03 c Gap : infinite
1800.05/1800.03 s UNKNOWN
1800.05/1800.03 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.03 c Total Time : 1800.03
1800.05/1800.03 c solving : 1800.03
1800.05/1800.03 c presolving : 3.81 (included in solving)
1800.05/1800.03 c reading : 0.16 (included in solving)
1800.05/1800.03 c Original Problem :
1800.05/1800.03 c Problem name : HOME/instance-3452728-1307084684.opb
1800.05/1800.03 c Variables : 3204 (3204 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.03 c Constraints : 24883 initial, 24883 maximal
1800.05/1800.03 c Presolved Problem :
1800.05/1800.03 c Problem name : t_HOME/instance-3452728-1307084684.opb
1800.05/1800.03 c Variables : 3192 (3192 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.03 c Constraints : 24871 initial, 25076 maximal
1800.05/1800.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.05/1800.03 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.03 c dualfix : 0.00 12 0 0 0 0 0 0 0 0
1800.05/1800.03 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.03 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.03 c probing : 3.58 0 0 0 0 0 0 0 0 0
1800.05/1800.03 c setppc : 0.03 0 0 0 0 0 0 0 0 0
1800.05/1800.03 c linear : 0.13 0 0 0 0 0 12 0 0 0
1800.05/1800.03 c logicor : 0.01 0 0 0 0 0 0 0 0 0
1800.05/1800.03 c root node : - 0 - - 0 - - - - -
1800.05/1800.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.05/1800.03 c integral : 0 0 0 43 0 4 0 0 10 0 0 78
1800.05/1800.03 c setppc : 24246 289 8255 0 1 3 3400 18 3815 0 0 0
1800.05/1800.03 c logicor : 625+ 289 3420 0 1 0 245 34 57 0 0 0
1800.05/1800.03 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1800.05/1800.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.05/1800.03 c integral : 174.83 0.00 0.00 174.83 0.00 0.00 0.00
1800.05/1800.03 c setppc : 4.48 0.57 3.90 0.00 0.00 0.01 0.00
1800.05/1800.03 c logicor : 0.07 0.02 0.05 0.00 0.00 0.00 0.00
1800.05/1800.03 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.05/1800.03 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.05/1800.03 c vbounds : 0 0 0 0
1800.05/1800.03 c rootredcost : 0 0 0 0
1800.05/1800.03 c pseudoobj : 3200 0 0 0
1800.05/1800.03 c Propagator Timings : TotalTime Propagate Resprop
1800.05/1800.03 c vbounds : 0.00 0.00 0.00
1800.05/1800.03 c rootredcost : 0.00 0.00 0.00
1800.05/1800.03 c pseudoobj : 0.14 0.14 0.00
1800.05/1800.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.03 c propagation : 0.00 52 52 172 22.8 15 12.0 -
1800.05/1800.03 c infeasible LP : 0.01 10 10 27 16.4 9 13.0 0
1800.05/1800.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.03 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.03 c applied globally : - - - 205 19.2 - - -
1800.05/1800.03 c applied locally : - - - 0 0.0 - - -
1800.05/1800.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.03 c cut pool : 0.17 288 - - 3113 - (maximal pool size: 3229)
1800.05/1800.03 c redcost : 0.02 331 0 0 0 0
1800.05/1800.03 c impliedbounds : 0.86 289 0 0 1744 0
1800.05/1800.03 c intobj : 0.00 0 0 0 0 0
1800.05/1800.03 c gomory : 1261.03 289 0 0 26799 0
1800.05/1800.03 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.03 c closecuts : 0.00 0 0 0 0 0
1800.05/1800.03 c strongcg : 16.69 20 0 0 9945 0
1800.05/1800.03 c cmir : 2.11 10 0 0 0 0
1800.05/1800.03 c flowcover : 2.26 10 0 0 0 0
1800.05/1800.03 c clique : 4.43 289 0 0 1777 0
1800.05/1800.03 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.03 c mcf : 0.04 1 0 0 0 0
1800.05/1800.03 c oddcycle : 0.00 0 0 0 0 0
1800.05/1800.03 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.03 c Pricers : Time Calls Vars
1800.05/1800.03 c problem variables: 0.00 0 0
1800.05/1800.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.03 c relpscost : 174.83 43 0 10 0 0 78
1800.05/1800.03 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.03 c inference : 0.00 1 0 0 0 0 2
1800.05/1800.03 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.03 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.03 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.03 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.03 c random : 0.00 0 0 0 0 0 0
1800.05/1800.03 c Primal Heuristics : Time Calls Found
1800.05/1800.03 c LP solutions : 0.00 - 0
1800.05/1800.03 c pseudo solutions : 0.00 - 0
1800.05/1800.03 c oneopt : 0.00 0 0
1800.05/1800.03 c crossover : 0.00 0 0
1800.05/1800.03 c guideddiving : 0.00 0 0
1800.05/1800.03 c fracdiving : 28.02 3 0
1800.05/1800.03 c trivial : 0.01 2 0
1800.05/1800.03 c shiftandpropagate: 0.14 1 0
1800.05/1800.03 c simplerounding : 0.00 0 0
1800.05/1800.03 c zirounding : 0.09 39 0
1800.05/1800.03 c rounding : 0.34 121 0
1800.05/1800.03 c shifting : 1.74 101 0
1800.05/1800.03 c intshifting : 0.00 0 0
1800.05/1800.03 c twoopt : 0.00 0 0
1800.05/1800.03 c fixandinfer : 0.00 0 0
1800.05/1800.03 c feaspump : 8.40 1 0
1800.05/1800.03 c clique : 0.00 0 0
1800.05/1800.03 c coefdiving : 23.97 3 0
1800.05/1800.03 c pscostdiving : 36.29 2 0
1800.05/1800.03 c veclendiving : 30.82 2 0
1800.05/1800.03 c intdiving : 0.00 0 0
1800.05/1800.03 c actconsdiving : 0.00 0 0
1800.05/1800.03 c objpscostdiving : 40.06 1 0
1800.05/1800.03 c rootsoldiving : 10.63 1 0
1800.05/1800.03 c linesearchdiving : 27.18 3 0
1800.05/1800.03 c octane : 0.00 0 0
1800.05/1800.03 c rens : 0.01 0 0
1800.05/1800.03 c rins : 0.00 0 0
1800.05/1800.03 c localbranching : 0.00 0 0
1800.05/1800.03 c mutation : 0.00 0 0
1800.05/1800.03 c dins : 0.00 0 0
1800.05/1800.03 c vbounds : 0.00 0 0
1800.05/1800.03 c undercover : 0.00 0 0
1800.05/1800.03 c subnlp : 0.00 0 0
1800.05/1800.03 c trysol : 0.00 0 0
1800.05/1800.03 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.03 c primal LP : 0.57 0 0 0.00 0.00
1800.05/1800.03 c dual LP : 123.26 333 140865 423.02 1142.78
1800.05/1800.03 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.03 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.03 c diving/probing LP: 199.66 1518 248759 163.87 1245.89
1800.05/1800.03 c strong branching : 174.79 316 195738 619.42 1119.84
1800.05/1800.03 c (at root node) : - 24 17076 711.50 -
1800.05/1800.03 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.03 c B&B Tree :
1800.05/1800.03 c number of runs : 1
1800.05/1800.03 c nodes : 41
1800.05/1800.03 c nodes (total) : 41
1800.05/1800.03 c nodes left : 40
1800.05/1800.03 c max depth : 14
1800.05/1800.03 c max depth (total): 14
1800.05/1800.03 c backtracks : 18 (43.9%)
1800.05/1800.03 c delayed cutoffs : 0
1800.05/1800.03 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.05/1800.03 c avg switch length: 3.05
1800.05/1800.03 c switching time : 0.04
1800.05/1800.03 c Solution :
1800.05/1800.03 c Solutions found : 0 (0 improvements)
1800.05/1800.03 c Primal Bound : -
1800.05/1800.03 c Dual Bound : +6.59185455278773e+02
1800.05/1800.03 c Gap : infinite
1800.05/1800.03 c Root Dual Bound : +6.58211349237631e+02
1800.05/1800.03 c Root Iterations : 97182
1800.05/1800.10 c Time complete: 1800.14.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3452728-1307084684/watcher-3452728-1307084684 -o /tmp/evaluation-result-3452728-1307084684/solver-3452728-1307084684 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452728-1307084684.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: 1.07 1.07 1.22 3/457 6295
/proc/meminfo: memFree=26312032/32951124 swapFree=60688864/67111528
[pid=6294] ppid=6291 vsize=10844 CPUtime=0 cores=0,2,4,6
/proc/6294/stat : 6294 (scip-2.0.1.4.li) R 6291 6294 2978 0 -1 4202496 1703 0 0 0 0 0 0 0 20 0 1 0 820066612 11104256 1655 33554432000 4194304 9128323 140735203000480 18446744073709551615 8012251 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6294/statm: 2711 1655 391 1205 0 1502 0
[startup+0.0526681 s]
/proc/loadavg: 1.07 1.07 1.22 3/457 6295
/proc/meminfo: memFree=26312032/32951124 swapFree=60688864/67111528
[pid=6294] ppid=6291 vsize=15364 CPUtime=0.04 cores=0,2,4,6
/proc/6294/stat : 6294 (scip-2.0.1.4.li) R 6291 6294 2978 0 -1 4202496 2851 0 0 0 4 0 0 0 20 0 1 0 820066612 15732736 2802 33554432000 4194304 9128323 140735203000480 18446744073709551615 8008905 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6294/statm: 3841 2802 400 1205 0 2632 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 15364
[startup+0.100683 s]
/proc/loadavg: 1.07 1.07 1.22 3/457 6295
/proc/meminfo: memFree=26312032/32951124 swapFree=60688864/67111528
[pid=6294] ppid=6291 vsize=17564 CPUtime=0.09 cores=0,2,4,6
/proc/6294/stat : 6294 (scip-2.0.1.4.li) R 6291 6294 2978 0 -1 4202496 3417 0 0 0 9 0 0 0 20 0 1 0 820066612 17985536 3367 33554432000 4194304 9128323 140735203000480 18446744073709551615 8008880 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/6294/statm: 4391 3367 400 1205 0 3182 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17564
[startup+0.300604 s]
/proc/loadavg: 1.07 1.07 1.22 3/457 6295
/proc/meminfo: memFree=26312032/32951124 swapFree=60688864/67111528
[pid=6294] ppid=6291 vsize=60276 CPUtime=0.29 cores=0,2,4,6
/proc/6294/stat : 6294 (scip-2.0.1.4.li) R 6291 6294 2978 0 -1 4202496 13790 0 0 0 28 1 0 0 21 0 1 0 820066612 61722624 13735 33554432000 4194304 9128323 140735203000480 18446744073709551615 6588912 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/6294/statm: 15069 13735 505 1205 0 13860 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 60276
[startup+0.700544 s]
/proc/loadavg: 1.07 1.07 1.22 3/457 6295
/proc/meminfo: memFree=26312032/32951124 swapFree=60688864/67111528
[pid=6294] ppid=6291 vsize=66400 CPUtime=0.69 cores=0,2,4,6
/proc/6294/stat : 6294 (scip-2.0.1.4.li) R 6291 6294 2978 0 -1 4202496 17092 0 0 0 67 2 0 0 22 0 1 0 820066612 67993600 15280 33554432000 4194304 9128323 140735203000480 18446744073709551615 5488303 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/6294/statm: 16600 15280 536 1205 0 15391 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 66400
[startup+1.50044 s]
/proc/loadavg: 1.07 1.07 1.22 4/459 6297
/proc/meminfo: memFree=26162220/32951124 swapFree=60688864/67111528
[pid=6294] ppid=6291 vsize=66400 CPUtime=1.49 cores=0,2,4,6
/proc/6294/stat : 6294 (scip-2.0.1.4.li) R 6291 6294 2978 0 -1 4202496 17092 0 0 0 147 2 0 0 25 0 1 0 820066612 67993600 15280 33554432000 4194304 9128323 140735203000480 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/6294/statm: 16600 15280 536 1205 0 15391 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 66400
[startup+3.10113 s]
/proc/loadavg: 1.07 1.07 1.22 4/459 6297
/proc/meminfo: memFree=26155264/32951124 swapFree=60688864/67111528
[pid=6294] ppid=6291 vsize=68104 CPUtime=3.1 cores=0,2,4,6
/proc/6294/stat : 6294 (scip-2.0.1.4.li) R 6291 6294 2978 0 -1 4202496 17522 0 0 0 308 2 0 0 25 0 1 0 820066612 69738496 15710 33554432000 4194304 9128323 140735203000480 18446744073709551615 4232530 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/6294/statm: 17026 15710 540 1205 0 15817 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 68104
[startup+6.30054 s]
/proc/loadavg: 1.14 1.09 1.22 4/459 6298
/proc/meminfo: memFree=26114324/32951124 swapFree=60688864/67111528
[pid=6294] ppid=6291 vsize=114312 CPUtime=6.29 cores=0,2,4,6
/proc/6294/stat : 6294 (scip-2.0.1.4.li) R 6291 6294 2978 0 -1 4202496 29390 0 0 0 626 3 0 0 25 0 1 0 820066612 117055488 26598 33554432000 4194304 9128323 140735203000480 18446744073709551615 7312758 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/6294/statm: 28578 26598 667 1205 0 27369 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 114312
[startup+12.7004 s]
/proc/loadavg: 1.21 1.10 1.23 4/459 6298
/proc/meminfo: memFree=26098776/32951124 swapFree=60688864/67111528
[pid=6294] ppid=6291 vsize=112384 CPUtime=12.69 cores=0,2,4,6
/proc/6294/stat : 6294 (scip-2.0.1.4.li) R 6291 6294 2978 0 -1 4202496 30629 0 0 0 1264 5 0 0 25 0 1 0 820066612 115081216 26349 33554432000 4194304 9128323 140735203000480 18446744073709551615 7312751 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/6294/statm: 28096 26349 682 1205 0 26887 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 112384
[startup+25.5011 s]
/proc/loadavg: 1.38 1.15 1.24 3/459 6298
/proc/meminfo: memFree=26091336/32951124 swapFree=60688864/67111528
[pid=6294] ppid=6291 vsize=117656 CPUtime=25.49 cores=0,2,4,6
/proc/6294/stat : 6294 (scip-2.0.1.4.li) R 6291 6294 2978 0 -1 4202496 31826 0 0 0 2542 7 0 0 25 0 1 0 820066612 120479744 27504 33554432000 4194304 9128323 140735203000480 18446744073709551615 6941086 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/6294/statm: 29414 27504 699 1205 0 28205 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 117656
[startup+51.1006 s]
/proc/loadavg: 1.59 1.21 1.26 4/459 6299
/proc/meminfo: memFree=26073140/32951124 swapFree=60688864/67111528
[pid=6294] ppid=6291 vsize=136756 CPUtime=51.09 cores=0,2,4,6
/proc/6294/stat : 6294 (scip-2.0.1.4.li) R 6291 6294 2978 0 -1 4202496 39734 0 0 0 5096 13 0 0 25 0 1 0 820066612 140038144 32433 33554432000 4194304 9128323 140735203000480 18446744073709551615 7018454 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/6294/statm: 34189 32433 922 1205 0 32980 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 136756
[startup+102.319 s]
/proc/loadavg: 1.82 1.33 1.29 4/459 6300
/proc/meminfo: memFree=26066376/32951124 swapFree=60688864/67111528
[pid=6294] ppid=6291 vsize=141864 CPUtime=102.31 cores=0,2,4,6
/proc/6294/stat : 6294 (scip-2.0.1.4.li) R 6291 6294 2978 0 -1 4202496 44970 0 0 0 10203 28 0 0 25 0 1 0 820066612 145268736 33874 33554432000 4194304 9128323 140735203000480 18446744073709551615 7018454 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/6294/statm: 35466 33874 995 1205 0 34257 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 141864
[startup+162.301 s]
/proc/loadavg: 1.93 1.45 1.34 4/459 6302
/proc/meminfo: memFree=26061752/32951124 swapFree=60688864/67111528
[pid=6294] ppid=6291 vsize=142164 CPUtime=162.3 cores=0,2,4,6
/proc/6294/stat : 6294 (scip-2.0.1.4.li) R 6291 6294 2978 0 -1 4202496 45348 0 0 0 16185 45 0 0 25 0 1 0 820066612 145575936 34224 33554432000 4194304 9128323 140735203000480 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/6294/statm: 35541 34224 967 1205 0 34332 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 142164
[startup+222.301 s]
/proc/loadavg: 1.97 1.55 1.37 4/459 6303
/proc/meminfo: memFree=26062596/32951124 swapFree=60688864/67111528
[pid=6294] ppid=6291 vsize=142276 CPUtime=222.3 cores=0,2,4,6
/proc/6294/stat : 6294 (scip-2.0.1.4.li) R 6291 6294 2978 0 -1 4202496 49159 0 0 0 22169 61 0 0 25 0 1 0 820066612 145690624 34206 33554432000 4194304 9128323 140735203000480 18446744073709551615 6637223 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/6294/statm: 35569 34206 732 1205 0 34360 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 142276
[startup+282.3 s]
/proc/loadavg: 1.99 1.63 1.41 4/459 6305
/proc/meminfo: memFree=26057860/32951124 swapFree=60688864/67111528
[pid=6294] ppid=6291 vsize=142276 CPUtime=282.3 cores=0,2,4,6
/proc/6294/stat : 6294 (scip-2.0.1.4.li) R 6291 6294 2978 0 -1 4202496 49178 0 0 0 28153 77 0 0 25 0 1 0 820066612 145690624 34225 33554432000 4194304 9128323 140735203000480 18446744073709551615 8012558 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/6294/statm: 35569 34225 732 1205 0 34360 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 142276
[startup+342.301 s]
/proc/loadavg: 2.05 1.71 1.45 4/459 6307
/proc/meminfo: memFree=26059216/32951124 swapFree=60688864/67111528
[pid=6294] ppid=6291 vsize=142624 CPUtime=342.3 cores=0,2,4,6
/proc/6294/stat : 6294 (scip-2.0.1.4.li) R 6291 6294 2978 0 -1 4202496 49269 0 0 0 34138 92 0 0 25 0 1 0 820066612 146046976 34316 33554432000 4194304 9128323 140735203000480 18446744073709551615 6637216 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/6294/statm: 35656 34316 732 1205 0 34447 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 142624
[startup+402.301 s]
/proc/loadavg: 2.30 1.84 1.51 4/459 6308
/proc/meminfo: memFree=26052372/32951124 swapFree=60688864/67111528
[pid=6294] ppid=6291 vsize=148444 CPUtime=402.3 cores=0,2,4,6
/proc/6294/stat : 6294 (scip-2.0.1.4.li) R 6291 6294 2978 0 -1 4202496 50498 0 0 0 40122 108 0 0 25 0 1 0 820066612 152006656 35537 33554432000 4194304 9128323 140735203000480 18446744073709551615 8008905 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/6294/statm: 37111 35537 724 1205 0 35902 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 148444
[startup+462.3 s]
/proc/loadavg: 2.22 1.89 1.55 4/459 6310
/proc/meminfo: memFree=26052716/32951124 swapFree=60688864/67111528
[pid=6294] ppid=6291 vsize=148444 CPUtime=462.3 cores=0,2,4,6
/proc/6294/stat : 6294 (scip-2.0.1.4.li) R 6291 6294 2978 0 -1 4202496 50511 0 0 0 46107 123 0 0 25 0 1 0 820066612 152006656 35549 33554432000 4194304 9128323 140735203000480 18446744073709551615 7018424 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/6294/statm: 37111 35549 723 1205 0 35902 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 148444
[startup+522.301 s]
/proc/loadavg: 2.08 1.91 1.57 4/459 6311
/proc/meminfo: memFree=26048844/32951124 swapFree=60688864/67111528
[pid=6294] ppid=6291 vsize=148444 CPUtime=522.3 cores=0,2,4,6
/proc/6294/stat : 6294 (scip-2.0.1.4.li) R 6291 6294 2978 0 -1 4202496 50517 0 0 0 52090 140 0 0 25 0 1 0 820066612 152006656 35553 33554432000 4194304 9128323 140735203000480 18446744073709551615 6694293 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/6294/statm: 37111 35553 721 1205 0 35902 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 148444
[startup+582.301 s]
/proc/loadavg: 2.03 1.92 1.59 3/459 6313
/proc/meminfo: memFree=26053036/32951124 swapFree=60688864/67111528
[pid=6294] ppid=6291 vsize=148444 CPUtime=582.31 cores=0,2,4,6
/proc/6294/stat : 6294 (scip-2.0.1.4.li) R 6291 6294 2978 0 -1 4202496 50518 0 0 0 58074 157 0 0 25 0 1 0 820066612 152006656 35554 33554432000 4194304 9128323 140735203000480 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/6294/statm: 37111 35554 721 1205 0 35902 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 148444
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 1.96 1.68 4/459 6319
/proc/meminfo: memFree=26044548/32951124 swapFree=60688864/67111528
[pid=6294] ppid=6291 vsize=148444 CPUtime=822.31 cores=0,2,4,6
/proc/6294/stat : 6294 (scip-2.0.1.4.li) R 6291 6294 2978 0 -1 4202496 50547 0 0 0 82009 222 0 0 25 0 1 0 820066612 152006656 35582 33554432000 4194304 9128323 140735203000480 18446744073709551615 6694354 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/6294/statm: 37111 35582 720 1205 0 35902 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 148444
[startup+882.301 s]
/proc/loadavg: 2.10 1.99 1.70 4/459 6321
/proc/meminfo: memFree=26040812/32951124 swapFree=60688864/67111528
[pid=6294] ppid=6291 vsize=148444 CPUtime=882.31 cores=0,2,4,6
/proc/6294/stat : 6294 (scip-2.0.1.4.li) R 6291 6294 2978 0 -1 4202496 50548 0 0 0 87994 237 0 0 25 0 1 0 820066612 152006656 35583 33554432000 4194304 9128323 140735203000480 18446744073709551615 6701365 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/6294/statm: 37111 35583 720 1205 0 35902 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 148444
[startup+942.301 s]
/proc/loadavg: 2.32 2.05 1.74 3/459 6323
/proc/meminfo: memFree=26044888/32951124 swapFree=60688864/67111528
[pid=6294] ppid=6291 vsize=148444 CPUtime=942.32 cores=0,2,4,6
/proc/6294/stat : 6294 (scip-2.0.1.4.li) R 6291 6294 2978 0 -1 4202496 50548 0 0 0 93978 254 0 0 25 0 1 0 820066612 152006656 35583 33554432000 4194304 9128323 140735203000480 18446744073709551615 6694272 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/6294/statm: 37111 35583 720 1205 0 35902 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 148444
[startup+1002.3 s]
/proc/loadavg: 2.26 2.07 1.77 4/459 6324
/proc/meminfo: memFree=26041648/32951124 swapFree=60688864/67111528
[pid=6294] ppid=6291 vsize=148444 CPUtime=1002.31 cores=0,2,4,6
/proc/6294/stat : 6294 (scip-2.0.1.4.li) R 6291 6294 2978 0 -1 4202496 50549 0 0 0 99963 268 0 0 25 0 1 0 820066612 152006656 35584 33554432000 4194304 9128323 140735203000480 18446744073709551615 6695926 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/6294/statm: 37111 35584 720 1205 0 35902 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 148444
[startup+1062.3 s]
/proc/loadavg: 2.09 2.06 1.78 4/459 6326
/proc/meminfo: memFree=26036684/32951124 swapFree=60688864/67111528
[pid=6294] ppid=6291 vsize=148444 CPUtime=1062.32 cores=0,2,4,6
/proc/6294/stat : 6294 (scip-2.0.1.4.li) R 6291 6294 2978 0 -1 4202496 50549 0 0 0 105948 284 0 0 25 0 1 0 820066612 152006656 35584 33554432000 4194304 9128323 140735203000480 18446744073709551615 6694293 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/6294/statm: 37111 35584 720 1205 0 35902 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 148444
[startup+1122.3 s]
/proc/loadavg: 2.03 2.05 1.79 4/459 6327
/proc/meminfo: memFree=26036548/32951124 swapFree=60688864/67111528
[pid=6294] ppid=6291 vsize=148444 CPUtime=1122.32 cores=0,2,4,6
/proc/6294/stat : 6294 (scip-2.0.1.4.li) R 6291 6294 2978 0 -1 4202496 50552 0 0 0 111931 301 0 0 25 0 1 0 820066612 152006656 35587 33554432000 4194304 9128323 140735203000480 18446744073709551615 7018588 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/6294/statm: 37111 35587 720 1205 0 35902 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 148444
[startup+1182.3 s]
/proc/loadavg: 2.01 2.03 1.80 4/459 6329
/proc/meminfo: memFree=26035424/32951124 swapFree=60688864/67111528
[pid=6294] ppid=6291 vsize=148444 CPUtime=1182.32 cores=0,2,4,6
/proc/6294/stat : 6294 (scip-2.0.1.4.li) R 6291 6294 2978 0 -1 4202496 50554 0 0 0 117915 317 0 0 25 0 1 0 820066612 152006656 35589 33554432000 4194304 9128323 140735203000480 18446744073709551615 7021486 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/6294/statm: 37111 35589 720 1205 0 35902 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 148444
[startup+1242.3 s]
/proc/loadavg: 2.04 2.04 1.82 4/459 6331
/proc/meminfo: memFree=26035780/32951124 swapFree=60688864/67111528
[pid=6294] ppid=6291 vsize=148444 CPUtime=1242.32 cores=0,2,4,6
/proc/6294/stat : 6294 (scip-2.0.1.4.li) R 6291 6294 2978 0 -1 4202496 50557 0 0 0 123899 333 0 0 25 0 1 0 820066612 152006656 35592 33554432000 4194304 9128323 140735203000480 18446744073709551615 7018441 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/6294/statm: 37111 35592 720 1205 0 35902 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 148444
[startup+1302.3 s]
/proc/loadavg: 2.01 2.03 1.82 4/459 6332
/proc/meminfo: memFree=26032428/32951124 swapFree=60688864/67111528
[pid=6294] ppid=6291 vsize=149544 CPUtime=1302.34 cores=0,2,4,6
/proc/6294/stat : 6294 (scip-2.0.1.4.li) R 6291 6294 2978 0 -1 4202496 50608 0 0 0 129882 352 0 0 25 0 1 0 820066612 153133056 35639 33554432000 4194304 9128323 140735203000480 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/6294/statm: 37386 35639 716 1205 0 36177 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 149544
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 1.83 4/459 6334
/proc/meminfo: memFree=26033288/32951124 swapFree=60688864/67111528
[pid=6294] ppid=6291 vsize=149544 CPUtime=1362.33 cores=0,2,4,6
/proc/6294/stat : 6294 (scip-2.0.1.4.li) R 6291 6294 2978 0 -1 4202496 50608 0 0 0 135866 367 0 0 25 0 1 0 820066612 153133056 35639 33554432000 4194304 9128323 140735203000480 18446744073709551615 7018441 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/6294/statm: 37386 35639 716 1205 0 36177 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 149544
[startup+1422.32 s]
/proc/loadavg: 2.16 2.05 1.85 4/459 6335
/proc/meminfo: memFree=26031780/32951124 swapFree=60688864/67111528
[pid=6294] ppid=6291 vsize=149544 CPUtime=1422.34 cores=0,2,4,6
/proc/6294/stat : 6294 (scip-2.0.1.4.li) R 6291 6294 2978 0 -1 4202496 50637 0 0 0 141854 380 0 0 25 0 1 0 820066612 153133056 35662 33554432000 4194304 9128323 140735203000480 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/6294/statm: 37386 35662 733 1205 0 36177 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 149544
[startup+1482.3 s]
/proc/loadavg: 2.06 2.04 1.85 4/459 6337
/proc/meminfo: memFree=26033364/32951124 swapFree=60688864/67111528
[pid=6294] ppid=6291 vsize=149544 CPUtime=1482.33 cores=0,2,4,6
/proc/6294/stat : 6294 (scip-2.0.1.4.li) R 6291 6294 2978 0 -1 4202496 50642 0 0 0 147843 390 0 0 25 0 1 0 820066612 153133056 35666 33554432000 4194304 9128323 140735203000480 18446744073709551615 7315263 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/6294/statm: 37386 35666 732 1205 0 36177 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 149544
[startup+1542.3 s]
/proc/loadavg: 2.10 2.06 1.87 4/459 6339
/proc/meminfo: memFree=26030104/32951124 swapFree=60688864/67111528
[pid=6294] ppid=6291 vsize=149544 CPUtime=1542.34 cores=0,2,4,6
/proc/6294/stat : 6294 (scip-2.0.1.4.li) R 6291 6294 2978 0 -1 4202496 50642 0 0 0 153832 402 0 0 25 0 1 0 820066612 153133056 35666 33554432000 4194304 9128323 140735203000480 18446744073709551615 7312704 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/6294/statm: 37386 35666 732 1205 0 36177 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 149544
[startup+1602.3 s]
/proc/loadavg: 2.11 2.07 1.89 4/459 6340
/proc/meminfo: memFree=26028704/32951124 swapFree=60688864/67111528
[pid=6294] ppid=6291 vsize=149544 CPUtime=1602.33 cores=0,2,4,6
/proc/6294/stat : 6294 (scip-2.0.1.4.li) R 6291 6294 2978 0 -1 4202496 50645 0 0 0 159823 410 0 0 25 0 1 0 820066612 153133056 35669 33554432000 4194304 9128323 140735203000480 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/6294/statm: 37386 35669 732 1205 0 36177 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 149544
[startup+1662.3 s]
/proc/loadavg: 2.04 2.06 1.89 4/459 6342
/proc/meminfo: memFree=26026200/32951124 swapFree=60688864/67111528
[pid=6294] ppid=6291 vsize=149544 CPUtime=1662.33 cores=0,2,4,6
/proc/6294/stat : 6294 (scip-2.0.1.4.li) R 6291 6294 2978 0 -1 4202496 50647 0 0 0 165812 421 0 0 25 0 1 0 820066612 153133056 35671 33554432000 4194304 9128323 140735203000480 18446744073709551615 7315409 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/6294/statm: 37386 35671 734 1205 0 36177 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 149544
[startup+1722.3 s]
/proc/loadavg: 2.01 2.04 1.90 4/459 6343
/proc/meminfo: memFree=26023444/32951124 swapFree=60688864/67111528
[pid=6294] ppid=6291 vsize=149544 CPUtime=1722.34 cores=0,2,4,6
/proc/6294/stat : 6294 (scip-2.0.1.4.li) R 6291 6294 2978 0 -1 4202496 50650 0 0 0 171804 430 0 0 25 0 1 0 820066612 153133056 35674 33554432000 4194304 9128323 140735203000480 18446744073709551615 7315111 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/6294/statm: 37386 35674 734 1205 0 36177 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 149544
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 1.90 4/459 6345
/proc/meminfo: memFree=26024896/32951124 swapFree=60688864/67111528
[pid=6294] ppid=6291 vsize=149544 CPUtime=1782.34 cores=0,2,4,6
/proc/6294/stat : 6294 (scip-2.0.1.4.li) R 6291 6294 2978 0 -1 4202496 50657 0 0 0 177794 440 0 0 25 0 1 0 820066612 153133056 35674 33554432000 4194304 9128323 140735203000480 18446744073709551615 7191201 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/6294/statm: 37386 35674 727 1205 0 36177 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 149544
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.03 1.91 4/459 6345
/proc/meminfo: memFree=26026124/32951124 swapFree=60688864/67111528
[pid=6294] ppid=6291 vsize=149544 CPUtime=1800.05 cores=0,2,4,6
/proc/6294/stat : 6294 (scip-2.0.1.4.li) R 6291 6294 2978 0 -1 4202496 50657 0 0 0 179560 445 0 0 25 0 1 0 820066612 153133056 35674 33554432000 4194304 9128323 140735203000480 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/6294/statm: 37386 35674 727 1205 0 36177 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 149544
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.1
CPU time (s): 1800.15
CPU user time (s): 1795.69
CPU system time (s): 4.45632
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 149544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.69
system time used= 4.45632
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50667
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= 7
involuntary context switches= 3588
runsolver used 8.5777 second user time and 19.1421 second system time
The end