0.00/0.00 c SCIP version 2.0.1.5 [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-3451068-1307084641.opb>
0.09/0.15 c original problem has 3204 variables (3204 bin, 0 int, 0 impl, 0 cont) and 24883 constraints
0.09/0.15 c problem read
0.09/0.15 c presolving settings loaded
0.09/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.31 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.34 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.09/2.19 c (2.2s) probing: 1000/3192 (31.3%) - 0 fixings, 0 aggregations, 25570 implications, 0 bound changes
3.58/3.65 c (3.6s) probing: 1799/3192 (56.4%) - 0 fixings, 0 aggregations, 30541 implications, 0 bound changes
3.58/3.65 c (3.6s) probing aborted: 100/100 successive totally useless probings
3.58/3.65 c presolving (4 rounds):
3.58/3.65 c 12 deleted vars, 12 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
3.58/3.65 c 181560 implications, 0 cliques
3.58/3.65 c presolved problem has 3192 variables (3192 bin, 0 int, 0 impl, 0 cont) and 24871 constraints
3.58/3.65 c 24246 constraints of type <setppc>
3.58/3.65 c 625 constraints of type <logicor>
3.58/3.65 c transformed objective value is always integral (scale: 1)
3.58/3.65 c Presolving Time: 3.47
3.58/3.65 c - non default parameters ----------------------------------------------------------------------
3.58/3.65 c # SCIP version 2.0.1.5
3.58/3.65 c
3.58/3.65 c # frequency for displaying node information lines
3.58/3.65 c # [type: int, range: [-1,2147483647], default: 100]
3.58/3.65 c display/freq = 10000
3.58/3.65 c
3.58/3.65 c # maximal time in seconds to run
3.58/3.65 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.58/3.65 c limits/time = 1800
3.58/3.65 c
3.58/3.65 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.58/3.65 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.58/3.65 c limits/memory = 13950
3.58/3.65 c
3.58/3.65 c # default clock type (1: CPU user seconds, 2: wall clock time)
3.58/3.65 c # [type: int, range: [1,2], default: 1]
3.58/3.65 c timing/clocktype = 2
3.58/3.65 c
3.58/3.65 c # belongs reading time to solving time?
3.58/3.65 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.58/3.65 c timing/reading = TRUE
3.58/3.65 c
3.58/3.65 c # should presolving try to simplify inequalities
3.58/3.65 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.58/3.65 c constraints/linear/simplifyinequalities = TRUE
3.58/3.65 c
3.58/3.65 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
3.58/3.65 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.58/3.65 c constraints/indicator/addCouplingCons = TRUE
3.58/3.65 c
3.58/3.65 c # should presolving try to simplify knapsacks
3.58/3.65 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.58/3.65 c constraints/knapsack/simplifyinequalities = TRUE
3.58/3.65 c
3.58/3.65 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
3.58/3.65 c # [type: int, range: [-1,2147483647], default: -1]
3.58/3.65 c separating/rapidlearning/freq = 0
3.58/3.65 c
3.58/3.65 c -----------------------------------------------------------------------------------------------
3.58/3.65 c start solving
3.58/3.65 c
10.38/10.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.38/10.46 c 10.5s| 1 | 0 | 9633 | - | 42M| 0 |2252 |3192 | 24k|3192 | 24k| 0 | 23 | 0 | 5.143750e+02 | -- | Inf
26.18/26.31 c 26.3s| 1 | 0 | 29233 | - | 43M| 0 |2256 |3192 | 24k|3192 | 25k| 877 | 23 | 0 | 5.859375e+02 | -- | Inf
27.28/27.40 c 27.4s| 1 | 0 | 29555 | - | 43M| 0 |2255 |3192 | 24k|3192 | 25k| 888 | 23 | 0 | 5.907758e+02 | -- | Inf
28.49/28.54 c 28.5s| 1 | 0 | 29979 | - | 43M| 0 |2254 |3192 | 24k|3192 | 25k| 902 | 23 | 0 | 5.947477e+02 | -- | Inf
29.77/29.87 c 29.9s| 1 | 0 | 30524 | - | 44M| 0 |2255 |3192 | 24k|3192 | 25k| 918 | 23 | 0 | 5.987136e+02 | -- | Inf
31.07/31.10 c 31.1s| 1 | 0 | 30994 | - | 44M| 0 |2249 |3192 | 24k|3192 | 25k| 933 | 23 | 0 | 6.018637e+02 | -- | Inf
33.67/33.74 c 33.7s| 1 | 0 | 32267 | - | 44M| 0 |2250 |3192 | 24k|3192 | 25k| 952 | 23 | 0 | 6.042563e+02 | -- | Inf
35.08/35.21 c 35.2s| 1 | 0 | 32899 | - | 44M| 0 |2253 |3192 | 24k|3192 | 25k| 970 | 23 | 0 | 6.062929e+02 | -- | Inf
36.47/36.51 c 36.5s| 1 | 0 | 33310 | - | 45M| 0 |2253 |3192 | 24k|3192 | 25k| 989 | 23 | 0 | 6.077849e+02 | -- | Inf
38.37/38.44 c 38.4s| 1 | 0 | 34032 | - | 45M| 0 |2236 |3192 | 24k|3192 | 25k|1005 | 23 | 0 | 6.091880e+02 | -- | Inf
39.67/39.77 c 39.8s| 1 | 0 | 34557 | - | 45M| 0 |2241 |3192 | 24k|3192 | 25k|1024 | 23 | 0 | 6.102699e+02 | -- | Inf
41.27/41.34 c 41.3s| 1 | 0 | 35400 | - | 45M| 0 |2244 |3192 | 24k|3192 | 25k|1040 | 23 | 0 | 6.114142e+02 | -- | Inf
43.47/43.55 c 43.5s| 1 | 0 | 36164 | - | 46M| 0 |2238 |3192 | 24k|3192 | 25k|1057 | 23 | 0 | 6.121461e+02 | -- | Inf
47.28/47.31 c 47.3s| 1 | 0 | 36841 | - | 46M| 0 |2238 |3192 | 24k|3192 | 25k|1069 | 23 | 0 | 6.129908e+02 | -- | Inf
53.37/53.42 c 53.4s| 1 | 0 | 37667 | - | 46M| 0 |2237 |3192 | 24k|3192 | 25k|1083 | 23 | 0 | 6.137304e+02 | -- | Inf
55.66/55.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
55.66/55.72 c 55.7s| 1 | 0 | 38420 | - | 46M| 0 |2239 |3192 | 24k|3192 | 25k|1102 | 23 | 0 | 6.141792e+02 | -- | Inf
59.47/59.53 c 59.5s| 1 | 0 | 39314 | - | 47M| 0 |2242 |3192 | 24k|3192 | 25k|1119 | 23 | 0 | 6.148067e+02 | -- | Inf
65.26/65.31 c 65.3s| 1 | 0 | 40113 | - | 47M| 0 |2245 |3192 | 24k|3192 | 25k|1134 | 23 | 0 | 6.153602e+02 | -- | Inf
73.37/73.42 c 73.4s| 1 | 0 | 40752 | - | 47M| 0 |2235 |3192 | 24k|3192 | 25k|1150 | 23 | 0 | 6.159105e+02 | -- | Inf
75.97/76.00 c 76.0s| 1 | 0 | 41169 | - | 47M| 0 |2247 |3192 | 24k|3192 | 25k|1158 | 23 | 0 | 6.162563e+02 | -- | Inf
78.08/78.17 c 78.2s| 1 | 0 | 41659 | - | 48M| 0 |2242 |3192 | 24k|3192 | 25k|1167 | 23 | 0 | 6.166206e+02 | -- | Inf
79.46/79.58 c 79.6s| 1 | 0 | 42126 | - | 48M| 0 |2245 |3192 | 24k|3192 | 25k|1180 | 23 | 0 | 6.170947e+02 | -- | Inf
83.37/83.42 c 83.4s| 1 | 0 | 42475 | - | 48M| 0 |2237 |3192 | 24k|3192 | 25k|1188 | 23 | 0 | 6.173875e+02 | -- | Inf
87.36/87.42 c 87.4s| 1 | 0 | 42742 | - | 48M| 0 |2245 |3192 | 24k|3192 | 25k|1194 | 23 | 0 | 6.175370e+02 | -- | Inf
91.36/91.47 c 91.5s| 1 | 0 | 42909 | - | 48M| 0 |2248 |3192 | 24k|3192 | 25k|1200 | 23 | 0 | 6.176072e+02 | -- | Inf
95.58/95.62 c 95.6s| 1 | 0 | 43145 | - | 48M| 0 |2251 |3192 | 24k|3192 | 25k|1207 | 23 | 0 | 6.177594e+02 | -- | Inf
96.57/96.71 c 96.7s| 1 | 0 | 43376 | - | 48M| 0 |2251 |3192 | 24k|3192 | 25k|1213 | 23 | 0 | 6.181078e+02 | -- | Inf
97.88/97.93 c 97.9s| 1 | 0 | 43666 | - | 48M| 0 |2251 |3192 | 24k|3192 | 25k|1219 | 23 | 0 | 6.183700e+02 | -- | Inf
102.07/102.16 c 102s| 1 | 0 | 43989 | - | 48M| 0 |2245 |3192 | 24k|3192 | 25k|1228 | 23 | 0 | 6.185796e+02 | -- | Inf
106.26/106.30 c 106s| 1 | 0 | 44203 | - | 48M| 0 |2244 |3192 | 24k|3192 | 25k|1235 | 23 | 0 | 6.187335e+02 | -- | Inf
110.17/110.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
110.17/110.21 c 110s| 1 | 0 | 44393 | - | 48M| 0 |2245 |3192 | 24k|3192 | 25k|1242 | 23 | 0 | 6.188829e+02 | -- | Inf
114.27/114.34 c 114s| 1 | 0 | 44582 | - | 48M| 0 |2245 |3192 | 24k|3192 | 25k|1248 | 23 | 0 | 6.190594e+02 | -- | Inf
115.48/115.53 c 116s| 1 | 0 | 44996 | - | 48M| 0 |2239 |3192 | 24k|3192 | 25k|1257 | 23 | 0 | 6.194606e+02 | -- | Inf
119.47/119.58 c 120s| 1 | 0 | 45164 | - | 48M| 0 |2249 |3192 | 24k|3192 | 25k|1264 | 23 | 0 | 6.195317e+02 | -- | Inf
123.57/123.69 c 124s| 1 | 0 | 45368 | - | 48M| 0 |2239 |3192 | 24k|3192 | 25k|1274 | 23 | 0 | 6.197336e+02 | -- | Inf
127.76/127.81 c 128s| 1 | 0 | 45586 | - | 48M| 0 |2243 |3192 | 24k|3192 | 25k|1278 | 23 | 0 | 6.199465e+02 | -- | Inf
131.88/132.01 c 132s| 1 | 0 | 45822 | - | 48M| 0 |2244 |3192 | 24k|3192 | 25k|1285 | 23 | 0 | 6.200660e+02 | -- | Inf
136.07/136.17 c 136s| 1 | 0 | 46099 | - | 48M| 0 |2247 |3192 | 24k|3192 | 25k|1290 | 23 | 0 | 6.202685e+02 | -- | Inf
140.26/140.32 c 140s| 1 | 0 | 46504 | - | 48M| 0 |2251 |3192 | 24k|3192 | 25k|1297 | 23 | 0 | 6.205963e+02 | -- | Inf
144.37/144.45 c 144s| 1 | 0 | 46596 | - | 48M| 0 |2253 |3192 | 24k|3192 | 25k|1301 | 23 | 0 | 6.206535e+02 | -- | Inf
148.48/148.56 c 149s| 1 | 0 | 46683 | - | 48M| 0 |2253 |3192 | 24k|3192 | 25k|1307 | 23 | 0 | 6.207492e+02 | -- | Inf
152.57/152.69 c 153s| 1 | 0 | 46843 | - | 48M| 0 |2253 |3192 | 24k|3192 | 25k|1313 | 23 | 0 | 6.209524e+02 | -- | Inf
153.98/154.08 c 154s| 1 | 0 | 47366 | - | 48M| 0 |2246 |3192 | 24k|3192 | 25k|1318 | 23 | 0 | 6.214251e+02 | -- | Inf
158.07/158.17 c 158s| 1 | 0 | 47587 | - | 48M| 0 |2248 |3192 | 24k|3192 | 25k|1323 | 23 | 0 | 6.215983e+02 | -- | Inf
161.97/162.02 c 162s| 1 | 0 | 47767 | - | 48M| 0 |2244 |3192 | 24k|3192 | 25k|1329 | 23 | 0 | 6.217493e+02 | -- | Inf
165.97/166.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
165.97/166.02 c 166s| 1 | 0 | 47826 | - | 48M| 0 |2242 |3192 | 24k|3192 | 25k|1330 | 23 | 0 | 6.218243e+02 | -- | Inf
169.87/169.91 c 170s| 1 | 0 | 47922 | - | 48M| 0 |2244 |3192 | 24k|3192 | 25k|1333 | 23 | 0 | 6.219084e+02 | -- | Inf
173.97/174.00 c 174s| 1 | 0 | 48038 | - | 48M| 0 |2249 |3192 | 24k|3192 | 25k|1339 | 23 | 0 | 6.219657e+02 | -- | Inf
177.97/178.10 c 178s| 1 | 0 | 48137 | - | 48M| 0 |2245 |3192 | 24k|3192 | 25k|1345 | 23 | 0 | 6.220329e+02 | -- | Inf
182.17/182.25 c 182s| 1 | 0 | 48242 | - | 48M| 0 |2243 |3192 | 24k|3192 | 25k|1350 | 23 | 0 | 6.221607e+02 | -- | Inf
185.96/186.08 c 186s| 1 | 0 | 48245 | - | 48M| 0 |2243 |3192 | 24k|3192 | 25k|1353 | 23 | 0 | 6.221607e+02 | -- | Inf
189.87/189.95 c 190s| 1 | 0 | 48318 | - | 48M| 0 |2243 |3192 | 24k|3192 | 25k|1356 | 23 | 0 | 6.222096e+02 | -- | Inf
193.97/194.00 c 194s| 1 | 0 | 48453 | - | 48M| 0 |2249 |3192 | 24k|3192 | 25k|1360 | 23 | 0 | 6.224162e+02 | -- | Inf
197.88/197.98 c 198s| 1 | 0 | 48695 | - | 48M| 0 |2238 |3192 | 24k|3192 | 25k|1366 | 23 | 0 | 6.225210e+02 | -- | Inf
201.87/201.92 c 202s| 1 | 0 | 48941 | - | 48M| 0 |2242 |3192 | 24k|3192 | 25k|1373 | 23 | 0 | 6.226974e+02 | -- | Inf
206.37/206.49 c 206s| 1 | 0 | 49330 | - | 48M| 0 |2243 |3192 | 24k|3192 | 25k|1382 | 23 | 0 | 6.228572e+02 | -- | Inf
207.37/207.49 c 207s| 1 | 0 | 49641 | - | 48M| 0 |2250 |3192 | 24k|3192 | 25k|1388 | 23 | 0 | 6.231636e+02 | -- | Inf
211.97/212.00 c 212s| 1 | 0 | 49959 | - | 48M| 0 |2240 |3192 | 24k|3192 | 25k|1396 | 23 | 0 | 6.232982e+02 | -- | Inf
213.28/213.40 c 213s| 1 | 0 | 50306 | - | 48M| 0 |2246 |3192 | 24k|3192 | 25k|1405 | 23 | 0 | 6.234542e+02 | -- | Inf
214.67/214.79 c 215s| 1 | 0 | 50692 | - | 48M| 0 |2244 |3192 | 24k|3192 | 25k|1414 | 23 | 0 | 6.236423e+02 | -- | Inf
219.27/219.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
219.27/219.39 c 219s| 1 | 0 | 50995 | - | 48M| 0 |2247 |3192 | 24k|3192 | 25k|1424 | 23 | 0 | 6.238217e+02 | -- | Inf
224.28/224.34 c 224s| 1 | 0 | 51499 | - | 48M| 0 |2248 |3192 | 24k|3192 | 25k|1430 | 23 | 0 | 6.240178e+02 | -- | Inf
228.79/228.88 c 229s| 1 | 0 | 51665 | - | 48M| 0 |2245 |3192 | 24k|3192 | 25k|1437 | 23 | 0 | 6.241202e+02 | -- | Inf
233.37/233.46 c 233s| 1 | 0 | 51766 | - | 48M| 0 |2247 |3192 | 24k|3192 | 25k|1439 | 23 | 0 | 6.241765e+02 | -- | Inf
238.07/238.15 c 238s| 1 | 0 | 52008 | - | 48M| 0 |2243 |3192 | 24k|3192 | 25k|1443 | 23 | 0 | 6.242491e+02 | -- | Inf
242.57/242.69 c 243s| 1 | 0 | 52120 | - | 48M| 0 |2246 |3192 | 24k|3192 | 25k|1448 | 23 | 0 | 6.243404e+02 | -- | Inf
247.27/247.33 c 247s| 1 | 0 | 52301 | - | 48M| 0 |2249 |3192 | 24k|3192 | 25k|1455 | 23 | 0 | 6.245223e+02 | -- | Inf
251.97/252.04 c 252s| 1 | 0 | 52488 | - | 48M| 0 |2249 |3192 | 24k|3192 | 25k|1460 | 23 | 0 | 6.246410e+02 | -- | Inf
256.57/256.67 c 257s| 1 | 0 | 52663 | - | 48M| 0 |2246 |3192 | 24k|3192 | 25k|1472 | 23 | 0 | 6.247327e+02 | -- | Inf
261.17/261.25 c 261s| 1 | 0 | 52800 | - | 48M| 0 |2248 |3192 | 24k|3192 | 25k|1475 | 23 | 0 | 6.248593e+02 | -- | Inf
265.87/265.91 c 266s| 1 | 0 | 52990 | - | 48M| 0 |2244 |3192 | 24k|3192 | 25k|1481 | 23 | 0 | 6.249196e+02 | -- | Inf
270.48/270.54 c 271s| 1 | 0 | 53237 | - | 48M| 0 |2245 |3192 | 24k|3192 | 25k|1486 | 23 | 0 | 6.250752e+02 | -- | Inf
275.07/275.12 c 275s| 1 | 0 | 53350 | - | 48M| 0 |2245 |3192 | 24k|3192 | 25k|1491 | 23 | 0 | 6.251948e+02 | -- | Inf
279.77/279.80 c 280s| 1 | 0 | 53510 | - | 48M| 0 |2240 |3192 | 24k|3192 | 25k|1498 | 23 | 0 | 6.252635e+02 | -- | Inf
284.37/284.40 c 284s| 1 | 0 | 53705 | - | 48M| 0 |2251 |3192 | 24k|3192 | 25k|1503 | 23 | 0 | 6.253438e+02 | -- | Inf
288.97/289.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
288.97/289.09 c 289s| 1 | 0 | 53897 | - | 48M| 0 |2244 |3192 | 24k|3192 | 25k|1510 | 23 | 0 | 6.255153e+02 | -- | Inf
293.47/293.53 c 294s| 1 | 0 | 54047 | - | 48M| 0 |2240 |3192 | 24k|3192 | 25k|1516 | 23 | 0 | 6.256196e+02 | -- | Inf
297.77/297.86 c 298s| 1 | 0 | 54142 | - | 48M| 0 |2236 |3192 | 24k|3192 | 25k|1524 | 23 | 0 | 6.256546e+02 | -- | Inf
302.38/302.48 c 302s| 1 | 0 | 54329 | - | 48M| 0 |2242 |3192 | 24k|3192 | 25k|1527 | 23 | 0 | 6.257324e+02 | -- | Inf
307.07/307.15 c 307s| 1 | 0 | 54464 | - | 48M| 0 |2242 |3192 | 24k|3192 | 25k|1533 | 23 | 0 | 6.258541e+02 | -- | Inf
311.68/311.72 c 312s| 1 | 0 | 54582 | - | 48M| 0 |2248 |3192 | 24k|3192 | 25k|1538 | 23 | 0 | 6.259591e+02 | -- | Inf
316.37/316.47 c 316s| 1 | 0 | 54978 | - | 48M| 0 |2247 |3192 | 24k|3192 | 25k|1545 | 23 | 0 | 6.261472e+02 | -- | Inf
321.08/321.20 c 321s| 1 | 0 | 55150 | - | 48M| 0 |2250 |3192 | 24k|3192 | 25k|1548 | 23 | 0 | 6.262687e+02 | -- | Inf
325.67/325.75 c 326s| 1 | 0 | 55317 | - | 48M| 0 |2248 |3192 | 24k|3192 | 25k|1551 | 23 | 0 | 6.264450e+02 | -- | Inf
330.07/330.19 c 330s| 1 | 0 | 55623 | - | 48M| 0 |2241 |3192 | 24k|3192 | 25k|1557 | 23 | 0 | 6.266021e+02 | -- | Inf
334.57/334.67 c 335s| 1 | 0 | 55925 | - | 48M| 0 |2252 |3192 | 24k|3192 | 25k|1566 | 23 | 0 | 6.267918e+02 | -- | Inf
338.87/338.99 c 339s| 1 | 0 | 56192 | - | 48M| 0 |2246 |3192 | 24k|3192 | 25k|1572 | 23 | 0 | 6.269153e+02 | -- | Inf
343.37/343.45 c 343s| 1 | 0 | 56394 | - | 48M| 0 |2252 |3192 | 24k|3192 | 25k|1586 | 23 | 0 | 6.270585e+02 | -- | Inf
348.27/348.31 c 348s| 1 | 0 | 56743 | - | 48M| 0 |2253 |3192 | 24k|3192 | 25k|1592 | 23 | 0 | 6.272067e+02 | -- | Inf
352.57/352.64 c 353s| 1 | 0 | 56999 | - | 48M| 0 |2251 |3192 | 24k|3192 | 25k|1599 | 23 | 0 | 6.274096e+02 | -- | Inf
357.07/357.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
357.07/357.18 c 357s| 1 | 0 | 57296 | - | 48M| 0 |2255 |3192 | 24k|3192 | 25k|1604 | 23 | 0 | 6.276957e+02 | -- | Inf
361.57/361.63 c 362s| 1 | 0 | 57516 | - | 48M| 0 |2255 |3192 | 24k|3192 | 25k|1616 | 23 | 0 | 6.278174e+02 | -- | Inf
365.77/365.88 c 366s| 1 | 0 | 57619 | - | 48M| 0 |2255 |3192 | 24k|3192 | 25k|1618 | 23 | 0 | 6.278753e+02 | -- | Inf
370.17/370.27 c 370s| 1 | 0 | 57768 | - | 48M| 0 |2253 |3192 | 24k|3192 | 25k|1624 | 23 | 0 | 6.279969e+02 | -- | Inf
374.67/374.72 c 375s| 1 | 0 | 57911 | - | 48M| 0 |2255 |3192 | 24k|3192 | 25k|1631 | 23 | 0 | 6.281686e+02 | -- | Inf
379.17/379.20 c 379s| 1 | 0 | 58179 | - | 48M| 0 |2256 |3192 | 24k|3192 | 25k|1635 | 23 | 0 | 6.283233e+02 | -- | Inf
383.47/383.52 c 384s| 1 | 0 | 58420 | - | 48M| 0 |2250 |3192 | 24k|3192 | 25k|1639 | 23 | 0 | 6.284573e+02 | -- | Inf
384.78/384.88 c 385s| 1 | 0 | 58848 | - | 49M| 0 |2254 |3192 | 24k|3192 | 25k|1645 | 23 | 0 | 6.287939e+02 | -- | Inf
388.98/389.05 c 389s| 1 | 0 | 59035 | - | 49M| 0 |2249 |3192 | 24k|3192 | 25k|1654 | 23 | 0 | 6.289832e+02 | -- | Inf
393.37/393.44 c 393s| 1 | 0 | 59140 | - | 49M| 0 |2252 |3192 | 24k|3192 | 25k|1658 | 23 | 0 | 6.290589e+02 | -- | Inf
394.79/394.89 c 395s| 1 | 0 | 59594 | - | 49M| 0 |2251 |3192 | 24k|3192 | 25k|1665 | 23 | 0 | 6.293690e+02 | -- | Inf
399.38/399.40 c 399s| 1 | 0 | 59830 | - | 49M| 0 |2245 |3192 | 24k|3192 | 25k|1670 | 23 | 0 | 6.294901e+02 | -- | Inf
403.58/403.68 c 404s| 1 | 0 | 59936 | - | 49M| 0 |2253 |3192 | 24k|3192 | 25k|1671 | 23 | 0 | 6.295440e+02 | -- | Inf
408.27/408.36 c 408s| 1 | 0 | 60169 | - | 48M| 0 |2254 |3192 | 24k|3192 | 25k|1674 | 23 | 0 | 6.297059e+02 | -- | Inf
412.57/412.68 c 413s| 1 | 0 | 60259 | - | 48M| 0 |2254 |3192 | 24k|3192 | 25k|1677 | 23 | 0 | 6.297657e+02 | -- | Inf
416.97/417.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
416.97/417.01 c 417s| 1 | 0 | 60521 | - | 48M| 0 |2250 |3192 | 24k|3192 | 25k|1683 | 23 | 0 | 6.299409e+02 | -- | Inf
421.18/421.26 c 421s| 1 | 0 | 60643 | - | 48M| 0 |2254 |3192 | 24k|3192 | 25k|1689 | 23 | 0 | 6.301058e+02 | -- | Inf
425.47/425.54 c 426s| 1 | 0 | 60770 | - | 48M| 0 |2252 |3192 | 24k|3192 | 25k|1693 | 23 | 0 | 6.302676e+02 | -- | Inf
430.09/430.18 c 430s| 1 | 0 | 60993 | - | 48M| 0 |2249 |3192 | 24k|3192 | 25k|1699 | 23 | 0 | 6.303684e+02 | -- | Inf
434.39/434.51 c 435s| 1 | 0 | 61150 | - | 47M| 0 |2243 |3192 | 24k|3192 | 25k|1704 | 23 | 0 | 6.305636e+02 | -- | Inf
438.68/438.80 c 439s| 1 | 0 | 61336 | - | 47M| 0 |2248 |3192 | 24k|3192 | 25k|1708 | 23 | 0 | 6.306628e+02 | -- | Inf
443.18/443.24 c 443s| 1 | 0 | 61486 | - | 47M| 0 |2251 |3192 | 24k|3192 | 25k|1711 | 23 | 0 | 6.307960e+02 | -- | Inf
447.48/447.59 c 448s| 1 | 0 | 61640 | - | 47M| 0 |2253 |3192 | 24k|3192 | 25k|1713 | 23 | 0 | 6.308877e+02 | -- | Inf
451.78/451.86 c 452s| 1 | 0 | 61820 | - | 47M| 0 |2245 |3192 | 24k|3192 | 25k|1719 | 23 | 0 | 6.310814e+02 | -- | Inf
456.77/456.83 c 457s| 1 | 0 | 62543 | - | 46M| 0 |2252 |3192 | 24k|3192 | 25k|1727 | 23 | 0 | 6.314462e+02 | -- | Inf
461.58/461.66 c 462s| 1 | 0 | 62979 | - | 46M| 0 |2248 |3192 | 24k|3192 | 25k|1736 | 23 | 0 | 6.316729e+02 | -- | Inf
465.88/465.96 c 466s| 1 | 0 | 63295 | - | 46M| 0 |2252 |3192 | 24k|3192 | 25k|1747 | 23 | 0 | 6.320090e+02 | -- | Inf
470.57/470.61 c 471s| 1 | 0 | 63703 | - | 46M| 0 |2252 |3192 | 24k|3192 | 25k|1753 | 23 | 0 | 6.322584e+02 | -- | Inf
475.08/475.13 c 475s| 1 | 0 | 63792 | - | 46M| 0 |2252 |3192 | 24k|3192 | 25k|1757 | 23 | 0 | 6.323864e+02 | -- | Inf
479.59/479.69 c 480s| 1 | 0 | 63878 | - | 45M| 0 |2250 |3192 | 24k|3192 | 25k|1761 | 23 | 0 | 6.325097e+02 | -- | Inf
484.38/484.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
484.38/484.47 c 484s| 1 | 0 | 64191 | - | 45M| 0 |2247 |3192 | 24k|3192 | 25k|1767 | 23 | 0 | 6.326362e+02 | -- | Inf
489.27/489.40 c 489s| 1 | 0 | 64377 | - | 45M| 0 |2244 |3192 | 24k|3192 | 25k|1772 | 23 | 0 | 6.327982e+02 | -- | Inf
494.08/494.12 c 494s| 1 | 0 | 64580 | - | 45M| 0 |2248 |3192 | 24k|3192 | 25k|1777 | 23 | 0 | 6.329416e+02 | -- | Inf
499.08/499.19 c 499s| 1 | 0 | 65003 | - | 45M| 0 |2251 |3192 | 24k|3192 | 25k|1782 | 23 | 0 | 6.331322e+02 | -- | Inf
503.79/503.90 c 504s| 1 | 0 | 65115 | - | 45M| 0 |2246 |3192 | 24k|3192 | 25k|1790 | 23 | 0 | 6.331784e+02 | -- | Inf
508.78/508.83 c 509s| 1 | 0 | 65358 | - | 45M| 0 |2245 |3192 | 24k|3192 | 25k|1796 | 23 | 0 | 6.333471e+02 | -- | Inf
513.78/513.89 c 514s| 1 | 0 | 65653 | - | 45M| 0 |2249 |3192 | 24k|3192 | 25k|1803 | 23 | 0 | 6.335019e+02 | -- | Inf
518.78/518.89 c 519s| 1 | 0 | 66000 | - | 45M| 0 |2245 |3192 | 24k|3192 | 25k|1807 | 23 | 0 | 6.336050e+02 | -- | Inf
523.78/523.80 c 524s| 1 | 0 | 66269 | - | 45M| 0 |2243 |3192 | 24k|3192 | 25k|1813 | 23 | 0 | 6.336611e+02 | -- | Inf
528.58/528.63 c 529s| 1 | 0 | 66702 | - | 45M| 0 |2247 |3192 | 24k|3192 | 25k|1820 | 23 | 0 | 6.338815e+02 | -- | Inf
533.28/533.33 c 533s| 1 | 0 | 67136 | - | 45M| 0 |2243 |3192 | 24k|3192 | 25k|1835 | 23 | 0 | 6.341470e+02 | -- | Inf
537.98/538.04 c 538s| 1 | 0 | 67451 | - | 45M| 0 |2246 |3192 | 24k|3192 | 25k|1840 | 23 | 0 | 6.342881e+02 | -- | Inf
542.68/542.75 c 543s| 1 | 0 | 67756 | - | 45M| 0 |2249 |3192 | 24k|3192 | 25k|1845 | 23 | 0 | 6.344635e+02 | -- | Inf
547.38/547.48 c 547s| 1 | 0 | 67757 | - | 45M| 0 |2249 |3192 | 24k|3192 | 25k|1846 | 23 | 0 | 6.344635e+02 | -- | Inf
552.19/552.22 c 552s| 1 | 0 | 67821 | - | 44M| 0 |2249 |3192 | 24k|3192 | 25k|1847 | 23 | 0 | 6.345307e+02 | -- | Inf
556.98/557.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
556.98/557.06 c 557s| 1 | 0 | 67946 | - | 44M| 0 |2249 |3192 | 24k|3192 | 25k|1850 | 23 | 0 | 6.346581e+02 | -- | Inf
561.88/562.01 c 562s| 1 | 0 | 68267 | - | 44M| 0 |2243 |3192 | 24k|3192 | 25k|1857 | 23 | 0 | 6.348291e+02 | -- | Inf
566.50/566.56 c 567s| 1 | 0 | 68574 | - | 44M| 0 |2247 |3192 | 24k|3192 | 25k|1861 | 23 | 0 | 6.352664e+02 | -- | Inf
571.48/571.53 c 572s| 1 | 0 | 69013 | - | 44M| 0 |2243 |3192 | 24k|3192 | 25k|1868 | 23 | 0 | 6.354204e+02 | -- | Inf
576.39/576.49 c 576s| 1 | 0 | 69338 | - | 44M| 0 |2249 |3192 | 24k|3192 | 25k|1874 | 23 | 0 | 6.356075e+02 | -- | Inf
578.28/578.30 c 578s| 1 | 0 | 69966 | - | 45M| 0 |2236 |3192 | 24k|3192 | 25k|1882 | 23 | 0 | 6.359625e+02 | -- | Inf
579.88/579.94 c 580s| 1 | 0 | 70537 | - | 45M| 0 |2251 |3192 | 24k|3192 | 25k|1887 | 23 | 0 | 6.362577e+02 | -- | Inf
584.78/584.89 c 585s| 1 | 0 | 70821 | - | 45M| 0 |2250 |3192 | 24k|3192 | 25k|1893 | 23 | 0 | 6.364549e+02 | -- | Inf
589.68/589.71 c 590s| 1 | 0 | 71085 | - | 45M| 0 |2250 |3192 | 24k|3192 | 25k|1897 | 23 | 0 | 6.365917e+02 | -- | Inf
594.48/594.59 c 595s| 1 | 0 | 71253 | - | 45M| 0 |2250 |3192 | 24k|3192 | 25k|1900 | 23 | 0 | 6.367705e+02 | -- | Inf
599.40/599.51 c 600s| 1 | 0 | 71427 | - | 44M| 0 |2250 |3192 | 24k|3192 | 25k|1902 | 23 | 0 | 6.369265e+02 | -- | Inf
604.38/604.41 c 604s| 1 | 0 | 71587 | - | 44M| 0 |2250 |3192 | 24k|3192 | 25k|1907 | 23 | 0 | 6.371128e+02 | -- | Inf
608.08/608.18 c 608s| 1 | 0 | 71808 | - | 44M| 0 |2250 |3192 | 24k|3192 | 25k|1913 | 23 | 0 | 6.373357e+02 | -- | Inf
613.09/613.12 c 613s| 1 | 0 | 72234 | - | 44M| 0 |2250 |3192 | 24k|3192 | 25k|1922 | 23 | 0 | 6.375800e+02 | -- | Inf
614.98/615.08 c 615s| 1 | 0 | 72715 | - | 44M| 0 |2248 |3192 | 24k|3192 | 25k|1928 | 23 | 0 | 6.379093e+02 | -- | Inf
616.78/616.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
616.78/616.81 c 617s| 1 | 0 | 72993 | - | 45M| 0 |2250 |3192 | 24k|3192 | 25k|1934 | 23 | 0 | 6.380909e+02 | -- | Inf
621.68/621.78 c 622s| 1 | 0 | 73267 | - | 45M| 0 |2250 |3192 | 24k|3192 | 25k|1942 | 23 | 0 | 6.383017e+02 | -- | Inf
623.69/623.77 c 624s| 1 | 0 | 73713 | - | 45M| 0 |2247 |3192 | 24k|3192 | 25k|1951 | 23 | 0 | 6.385390e+02 | -- | Inf
625.59/625.64 c 626s| 1 | 0 | 74062 | - | 45M| 0 |2251 |3192 | 24k|3192 | 25k|1955 | 23 | 0 | 6.387650e+02 | -- | Inf
630.58/630.69 c 631s| 1 | 0 | 74529 | - | 45M| 0 |2247 |3192 | 24k|3192 | 25k|1961 | 23 | 0 | 6.389609e+02 | -- | Inf
634.60/634.64 c 635s| 1 | 0 | 74855 | - | 45M| 0 |2246 |3192 | 24k|3192 | 25k|1969 | 23 | 0 | 6.393084e+02 | -- | Inf
639.48/639.52 c 640s| 1 | 0 | 75149 | - | 45M| 0 |2250 |3192 | 24k|3192 | 25k|1973 | 23 | 0 | 6.395443e+02 | -- | Inf
644.49/644.52 c 645s| 1 | 0 | 75496 | - | 45M| 0 |2249 |3192 | 24k|3192 | 25k|1981 | 23 | 0 | 6.396766e+02 | -- | Inf
649.38/649.45 c 649s| 1 | 0 | 75885 | - | 45M| 0 |2251 |3192 | 24k|3192 | 25k|1986 | 23 | 0 | 6.399733e+02 | -- | Inf
654.18/654.20 c 654s| 1 | 0 | 76084 | - | 45M| 0 |2247 |3192 | 24k|3192 | 25k|1992 | 23 | 0 | 6.401206e+02 | -- | Inf
659.09/659.19 c 659s| 1 | 0 | 76372 | - | 45M| 0 |2244 |3192 | 24k|3192 | 25k|1998 | 23 | 0 | 6.404375e+02 | -- | Inf
664.18/664.22 c 664s| 1 | 0 | 76563 | - | 45M| 0 |2239 |3192 | 24k|3192 | 25k|2002 | 23 | 0 | 6.406358e+02 | -- | Inf
669.38/669.42 c 669s| 1 | 0 | 76849 | - | 45M| 0 |2245 |3192 | 24k|3192 | 25k|2008 | 23 | 0 | 6.408005e+02 | -- | Inf
674.39/674.47 c 674s| 1 | 0 | 76988 | - | 45M| 0 |2241 |3192 | 24k|3192 | 25k|2013 | 23 | 0 | 6.408749e+02 | -- | Inf
679.38/679.46 c 679s| 1 | 0 | 77089 | - | 44M| 0 |2239 |3192 | 24k|3192 | 25k|2017 | 23 | 0 | 6.409394e+02 | -- | Inf
680.68/680.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
680.68/680.75 c 681s| 1 | 0 | 77266 | - | 45M| 0 |2244 |3192 | 24k|3192 | 25k|2021 | 23 | 0 | 6.411707e+02 | -- | Inf
685.88/685.93 c 686s| 1 | 0 | 77527 | - | 45M| 0 |2233 |3192 | 24k|3192 | 25k|2029 | 23 | 0 | 6.412763e+02 | -- | Inf
687.28/687.31 c 687s| 1 | 0 | 77802 | - | 45M| 0 |2243 |3192 | 24k|3192 | 25k|2035 | 23 | 0 | 6.415088e+02 | -- | Inf
692.39/692.45 c 692s| 1 | 0 | 77983 | - | 45M| 0 |2235 |3192 | 24k|3192 | 25k|2041 | 23 | 0 | 6.416159e+02 | -- | Inf
697.29/697.33 c 697s| 1 | 0 | 78156 | - | 45M| 0 |2247 |3192 | 24k|3192 | 25k|2044 | 23 | 0 | 6.417763e+02 | -- | Inf
702.29/702.32 c 702s| 1 | 0 | 78296 | - | 45M| 0 |2247 |3192 | 24k|3192 | 25k|2046 | 23 | 0 | 6.419080e+02 | -- | Inf
707.48/707.57 c 708s| 1 | 0 | 78629 | - | 45M| 0 |2243 |3192 | 24k|3192 | 25k|2049 | 23 | 0 | 6.420529e+02 | -- | Inf
712.58/712.68 c 713s| 1 | 0 | 78731 | - | 45M| 0 |2244 |3192 | 24k|3192 | 25k|2053 | 23 | 0 | 6.421225e+02 | -- | Inf
717.48/717.51 c 718s| 1 | 0 | 78859 | - | 45M| 0 |2241 |3192 | 24k|3192 | 25k|2057 | 23 | 0 | 6.423082e+02 | -- | Inf
722.48/722.60 c 723s| 1 | 0 | 79011 | - | 45M| 0 |2239 |3192 | 24k|3192 | 25k|2061 | 23 | 0 | 6.424357e+02 | -- | Inf
727.69/727.71 c 728s| 1 | 0 | 79153 | - | 45M| 0 |2241 |3192 | 24k|3192 | 25k|2063 | 23 | 0 | 6.425875e+02 | -- | Inf
732.78/732.80 c 733s| 1 | 0 | 79194 | - | 45M| 0 |2241 |3192 | 24k|3192 | 25k|2064 | 23 | 0 | 6.426619e+02 | -- | Inf
737.88/737.95 c 738s| 1 | 0 | 79326 | - | 45M| 0 |2243 |3192 | 24k|3192 | 25k|2065 | 23 | 0 | 6.426876e+02 | -- | Inf
743.08/743.12 c 743s| 1 | 0 | 79442 | - | 45M| 0 |2246 |3192 | 24k|3192 | 25k|2068 | 23 | 0 | 6.427289e+02 | -- | Inf
748.08/748.15 c 748s| 1 | 0 | 79656 | - | 45M| 0 |2246 |3192 | 24k|3192 | 25k|2071 | 23 | 0 | 6.429047e+02 | -- | Inf
753.29/753.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
753.29/753.31 c 753s| 1 | 0 | 79832 | - | 45M| 0 |2246 |3192 | 24k|3192 | 25k|2074 | 23 | 0 | 6.430929e+02 | -- | Inf
758.39/758.47 c 758s| 1 | 0 | 79957 | - | 45M| 0 |2245 |3192 | 24k|3192 | 25k|2077 | 23 | 0 | 6.432720e+02 | -- | Inf
763.58/763.62 c 764s| 1 | 0 | 80036 | - | 45M| 0 |2240 |3192 | 24k|3192 | 25k|2081 | 23 | 0 | 6.433534e+02 | -- | Inf
768.48/768.55 c 769s| 1 | 0 | 80082 | - | 45M| 0 |2240 |3192 | 24k|3192 | 25k|2083 | 23 | 0 | 6.434964e+02 | -- | Inf
773.59/773.63 c 774s| 1 | 0 | 80196 | - | 45M| 0 |2244 |3192 | 24k|3192 | 25k|2087 | 23 | 0 | 6.436398e+02 | -- | Inf
778.59/778.69 c 779s| 1 | 0 | 80393 | - | 44M| 0 |2246 |3192 | 24k|3192 | 25k|2091 | 23 | 0 | 6.437991e+02 | -- | Inf
780.89/780.95 c 781s| 1 | 0 | 80758 | - | 45M| 0 |2251 |3192 | 24k|3192 | 25k|2096 | 23 | 0 | 6.441293e+02 | -- | Inf
786.18/786.23 c 786s| 1 | 0 | 81065 | - | 45M| 0 |2245 |3192 | 24k|3192 | 25k|2114 | 23 | 0 | 6.443309e+02 | -- | Inf
791.18/791.20 c 791s| 1 | 0 | 81179 | - | 45M| 0 |2253 |3192 | 24k|3192 | 25k|2117 | 23 | 0 | 6.443736e+02 | -- | Inf
796.41/796.45 c 796s| 1 | 0 | 81422 | - | 45M| 0 |2249 |3192 | 24k|3192 | 25k|2122 | 23 | 0 | 6.444577e+02 | -- | Inf
801.48/801.53 c 802s| 1 | 0 | 81609 | - | 45M| 0 |2253 |3192 | 24k|3192 | 25k|2127 | 23 | 0 | 6.444949e+02 | -- | Inf
806.58/806.69 c 807s| 1 | 0 | 81765 | - | 45M| 0 |2250 |3192 | 24k|3192 | 25k|2133 | 23 | 0 | 6.445782e+02 | -- | Inf
811.49/811.58 c 812s| 1 | 0 | 81868 | - | 45M| 0 |2253 |3192 | 24k|3192 | 25k|2137 | 23 | 0 | 6.446859e+02 | -- | Inf
816.49/816.50 c 816s| 1 | 0 | 82003 | - | 45M| 0 |2249 |3192 | 24k|3192 | 25k|2140 | 23 | 0 | 6.447880e+02 | -- | Inf
821.49/821.53 c 822s| 1 | 0 | 82163 | - | 45M| 0 |2250 |3192 | 24k|3192 | 25k|2144 | 23 | 0 | 6.449170e+02 | -- | Inf
826.58/826.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
826.58/826.61 c 827s| 1 | 0 | 82204 | - | 45M| 0 |2251 |3192 | 24k|3192 | 25k|2147 | 23 | 0 | 6.450064e+02 | -- | Inf
831.49/831.55 c 832s| 1 | 0 | 82334 | - | 45M| 0 |2251 |3192 | 24k|3192 | 25k|2152 | 23 | 0 | 6.451119e+02 | -- | Inf
836.69/836.76 c 837s| 1 | 0 | 82460 | - | 45M| 0 |2251 |3192 | 24k|3192 | 25k|2155 | 23 | 0 | 6.452969e+02 | -- | Inf
841.68/841.77 c 842s| 1 | 0 | 82552 | - | 45M| 0 |2249 |3192 | 24k|3192 | 25k|2158 | 23 | 0 | 6.454350e+02 | -- | Inf
846.79/846.89 c 847s| 1 | 0 | 82642 | - | 44M| 0 |2248 |3192 | 24k|3192 | 25k|2160 | 23 | 0 | 6.455385e+02 | -- | Inf
851.99/852.07 c 852s| 1 | 0 | 82744 | - | 44M| 0 |2251 |3192 | 24k|3192 | 25k|2162 | 23 | 0 | 6.456209e+02 | -- | Inf
857.19/857.26 c 857s| 1 | 0 | 82871 | - | 44M| 0 |2251 |3192 | 24k|3192 | 25k|2167 | 23 | 0 | 6.457623e+02 | -- | Inf
862.30/862.36 c 862s| 1 | 0 | 82916 | - | 44M| 0 |2251 |3192 | 24k|3192 | 25k|2170 | 23 | 0 | 6.459038e+02 | -- | Inf
867.28/867.33 c 867s| 1 | 0 | 82950 | - | 44M| 0 |2247 |3192 | 24k|3192 | 25k|2174 | 23 | 0 | 6.460096e+02 | -- | Inf
872.20/872.24 c 872s| 1 | 0 | 82992 | - | 44M| 0 |2253 |3192 | 24k|3192 | 25k|2176 | 23 | 0 | 6.461621e+02 | -- | Inf
877.29/877.30 c 877s| 1 | 0 | 83037 | - | 44M| 0 |2253 |3192 | 24k|3192 | 25k|2178 | 23 | 0 | 6.463185e+02 | -- | Inf
882.38/882.43 c 882s| 1 | 0 | 83130 | - | 44M| 0 |2246 |3192 | 24k|3192 | 25k|2181 | 23 | 0 | 6.464784e+02 | -- | Inf
887.39/887.47 c 887s| 1 | 0 | 83195 | - | 44M| 0 |2249 |3192 | 24k|3192 | 25k|2183 | 23 | 0 | 6.465366e+02 | -- | Inf
892.48/892.56 c 893s| 1 | 0 | 83256 | - | 44M| 0 |2253 |3192 | 24k|3192 | 25k|2186 | 23 | 0 | 6.466895e+02 | -- | Inf
897.60/897.63 c 898s| 1 | 0 | 83329 | - | 44M| 0 |2249 |3192 | 24k|3192 | 25k|2190 | 23 | 0 | 6.468518e+02 | -- | Inf
902.69/902.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
902.69/902.79 c 903s| 1 | 0 | 83379 | - | 44M| 0 |2251 |3192 | 24k|3192 | 25k|2193 | 23 | 0 | 6.469547e+02 | -- | Inf
907.99/908.07 c 908s| 1 | 0 | 83610 | - | 44M| 0 |2249 |3192 | 24k|3192 | 25k|2197 | 23 | 0 | 6.471063e+02 | -- | Inf
913.29/913.35 c 913s| 1 | 0 | 83753 | - | 44M| 0 |2249 |3192 | 24k|3192 | 25k|2205 | 23 | 0 | 6.472051e+02 | -- | Inf
918.29/918.39 c 918s| 1 | 0 | 83949 | - | 44M| 0 |2251 |3192 | 24k|3192 | 25k|2213 | 23 | 0 | 6.473788e+02 | -- | Inf
923.59/923.66 c 924s| 1 | 0 | 84124 | - | 44M| 0 |2249 |3192 | 24k|3192 | 25k|2216 | 23 | 0 | 6.475438e+02 | -- | Inf
928.79/928.88 c 929s| 1 | 0 | 84247 | - | 44M| 0 |2253 |3192 | 24k|3192 | 25k|2221 | 23 | 0 | 6.476770e+02 | -- | Inf
933.99/934.02 c 934s| 1 | 0 | 84348 | - | 44M| 0 |2251 |3192 | 24k|3192 | 25k|2224 | 23 | 0 | 6.477725e+02 | -- | Inf
939.19/939.27 c 939s| 1 | 0 | 84410 | - | 44M| 0 |2251 |3192 | 24k|3192 | 25k|2227 | 23 | 0 | 6.478063e+02 | -- | Inf
944.49/944.50 c 944s| 1 | 0 | 84471 | - | 44M| 0 |2253 |3192 | 24k|3192 | 25k|2229 | 23 | 0 | 6.479185e+02 | -- | Inf
949.69/949.74 c 950s| 1 | 0 | 84600 | - | 44M| 0 |2253 |3192 | 24k|3192 | 25k|2233 | 23 | 0 | 6.481234e+02 | -- | Inf
955.09/955.17 c 955s| 1 | 0 | 84739 | - | 44M| 0 |2253 |3192 | 24k|3192 | 25k|2235 | 23 | 0 | 6.482906e+02 | -- | Inf
960.38/960.40 c 960s| 1 | 0 | 84898 | - | 44M| 0 |2253 |3192 | 24k|3192 | 25k|2239 | 23 | 0 | 6.484896e+02 | -- | Inf
965.49/965.57 c 966s| 1 | 0 | 84959 | - | 44M| 0 |2253 |3192 | 24k|3192 | 25k|2241 | 23 | 0 | 6.486576e+02 | -- | Inf
970.69/970.77 c 971s| 1 | 0 | 85057 | - | 44M| 0 |2250 |3192 | 24k|3192 | 25k|2245 | 23 | 0 | 6.488309e+02 | -- | Inf
975.89/975.97 c 976s| 1 | 0 | 85107 | - | 44M| 0 |2251 |3192 | 24k|3192 | 25k|2247 | 23 | 0 | 6.489965e+02 | -- | Inf
981.21/981.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
981.21/981.26 c 981s| 1 | 0 | 85220 | - | 44M| 0 |2250 |3192 | 24k|3192 | 25k|2251 | 23 | 0 | 6.491552e+02 | -- | Inf
986.49/986.52 c 987s| 1 | 0 | 85321 | - | 44M| 0 |2253 |3192 | 24k|3192 | 25k|2253 | 23 | 0 | 6.492290e+02 | -- | Inf
991.79/991.84 c 992s| 1 | 0 | 85473 | - | 44M| 0 |2251 |3192 | 24k|3192 | 25k|2257 | 23 | 0 | 6.494059e+02 | -- | Inf
997.09/997.17 c 997s| 1 | 0 | 85571 | - | 44M| 0 |2253 |3192 | 24k|3192 | 25k|2259 | 23 | 0 | 6.494593e+02 | -- | Inf
1002.29/1002.37 c 1002s| 1 | 0 | 85694 | - | 44M| 0 |2243 |3192 | 24k|3192 | 25k|2263 | 23 | 0 | 6.495891e+02 | -- | Inf
1007.69/1007.79 c 1008s| 1 | 0 | 86013 | - | 44M| 0 |2250 |3192 | 24k|3192 | 25k|2267 | 23 | 0 | 6.498289e+02 | -- | Inf
1013.10/1013.15 c 1013s| 1 | 0 | 86586 | - | 44M| 0 |2252 |3192 | 24k|3192 | 25k|2277 | 23 | 0 | 6.501085e+02 | -- | Inf
1018.50/1018.52 c 1019s| 1 | 0 | 86745 | - | 44M| 0 |2253 |3192 | 24k|3192 | 25k|2285 | 23 | 0 | 6.504115e+02 | -- | Inf
1023.79/1023.82 c 1024s| 1 | 0 | 86998 | - | 44M| 0 |2253 |3192 | 24k|3192 | 25k|2291 | 23 | 0 | 6.508797e+02 | -- | Inf
1028.90/1028.93 c 1029s| 1 | 0 | 87107 | - | 44M| 0 |2253 |3192 | 24k|3192 | 25k|2294 | 23 | 0 | 6.510237e+02 | -- | Inf
1034.19/1034.24 c 1034s| 1 | 0 | 87279 | - | 44M| 0 |2253 |3192 | 24k|3192 | 25k|2298 | 23 | 0 | 6.511438e+02 | -- | Inf
1038.69/1038.71 c 1039s| 1 | 0 | 87500 | - | 44M| 0 |2249 |3192 | 24k|3192 | 25k|2301 | 23 | 0 | 6.514016e+02 | -- | Inf
1044.19/1044.26 c 1044s| 1 | 0 | 87742 | - | 44M| 0 |2253 |3192 | 24k|3192 | 25k|2310 | 23 | 0 | 6.515641e+02 | -- | Inf
1049.79/1049.80 c 1050s| 1 | 0 | 88035 | - | 44M| 0 |2253 |3192 | 24k|3192 | 25k|2316 | 23 | 0 | 6.517342e+02 | -- | Inf
1055.39/1055.41 c 1055s| 1 | 0 | 88372 | - | 44M| 0 |2251 |3192 | 24k|3192 | 25k|2324 | 23 | 0 | 6.520427e+02 | -- | Inf
1060.69/1060.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1060.69/1060.78 c 1061s| 1 | 0 | 88705 | - | 44M| 0 |2244 |3192 | 24k|3192 | 25k|2335 | 23 | 0 | 6.522527e+02 | -- | Inf
1066.19/1066.26 c 1066s| 1 | 0 | 88922 | - | 44M| 0 |2254 |3192 | 24k|3192 | 25k|2338 | 23 | 0 | 6.523022e+02 | -- | Inf
1072.00/1072.02 c 1072s| 1 | 0 | 89341 | - | 44M| 0 |2252 |3192 | 24k|3192 | 25k|2343 | 23 | 0 | 6.524969e+02 | -- | Inf
1077.19/1077.25 c 1077s| 1 | 0 | 89569 | - | 44M| 0 |2254 |3192 | 24k|3192 | 25k|2346 | 23 | 0 | 6.526470e+02 | -- | Inf
1082.50/1082.55 c 1083s| 1 | 0 | 89812 | - | 44M| 0 |2254 |3192 | 24k|3192 | 25k|2350 | 23 | 0 | 6.528473e+02 | -- | Inf
1087.91/1087.99 c 1088s| 1 | 0 | 90149 | - | 44M| 0 |2252 |3192 | 24k|3192 | 25k|2357 | 23 | 0 | 6.530492e+02 | -- | Inf
1093.20/1093.24 c 1093s| 1 | 0 | 90336 | - | 44M| 0 |2252 |3192 | 24k|3192 | 25k|2359 | 23 | 0 | 6.532104e+02 | -- | Inf
1098.69/1098.72 c 1099s| 1 | 0 | 90475 | - | 44M| 0 |2254 |3192 | 24k|3192 | 25k|2364 | 23 | 0 | 6.534252e+02 | -- | Inf
1104.20/1104.21 c 1104s| 1 | 0 | 90661 | - | 44M| 0 |2254 |3192 | 24k|3192 | 25k|2368 | 23 | 0 | 6.537103e+02 | -- | Inf
1109.69/1109.80 c 1110s| 1 | 0 | 90951 | - | 44M| 0 |2254 |3192 | 24k|3192 | 25k|2372 | 23 | 0 | 6.539276e+02 | -- | Inf
1115.30/1115.39 c 1115s| 1 | 0 | 91176 | - | 44M| 0 |2250 |3192 | 24k|3192 | 25k|2376 | 23 | 0 | 6.540443e+02 | -- | Inf
1116.89/1116.90 c 1117s| 1 | 0 | 91377 | - | 44M| 0 |2252 |3192 | 24k|3192 | 25k|2380 | 23 | 0 | 6.541706e+02 | -- | Inf
1122.09/1122.18 c 1122s| 1 | 0 | 91540 | - | 44M| 0 |2254 |3192 | 24k|3192 | 25k|2382 | 23 | 0 | 6.542546e+02 | -- | Inf
1127.69/1127.79 c 1128s| 1 | 0 | 91903 | - | 44M| 0 |2254 |3192 | 24k|3192 | 25k|2389 | 23 | 0 | 6.544956e+02 | -- | Inf
1133.29/1133.32 c 1133s| 1 | 0 | 92075 | - | 44M| 0 |2254 |3192 | 24k|3192 | 25k|2393 | 23 | 0 | 6.546451e+02 | -- | Inf
1138.79/1138.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1138.79/1138.85 c 1139s| 1 | 0 | 92279 | - | 44M| 0 |2252 |3192 | 24k|3192 | 25k|2402 | 23 | 0 | 6.547013e+02 | -- | Inf
1144.19/1144.28 c 1144s| 1 | 0 | 92504 | - | 44M| 0 |2254 |3192 | 24k|3192 | 25k|2410 | 23 | 0 | 6.548564e+02 | -- | Inf
1149.51/1149.57 c 1150s| 1 | 0 | 92679 | - | 44M| 0 |2254 |3192 | 24k|3192 | 25k|2414 | 23 | 0 | 6.550935e+02 | -- | Inf
1154.91/1155.01 c 1155s| 1 | 0 | 92832 | - | 44M| 0 |2249 |3192 | 24k|3192 | 25k|2417 | 23 | 0 | 6.552021e+02 | -- | Inf
1160.30/1160.31 c 1160s| 1 | 0 | 93020 | - | 44M| 0 |2252 |3192 | 24k|3192 | 25k|2425 | 23 | 0 | 6.553688e+02 | -- | Inf
1165.80/1165.83 c 1166s| 1 | 0 | 93301 | - | 44M| 0 |2251 |3192 | 24k|3192 | 25k|2429 | 23 | 0 | 6.555569e+02 | -- | Inf
1171.29/1171.37 c 1171s| 1 | 0 | 93435 | - | 44M| 0 |2254 |3192 | 24k|3192 | 25k|2432 | 23 | 0 | 6.556821e+02 | -- | Inf
1176.69/1176.79 c 1177s| 1 | 0 | 93726 | - | 44M| 0 |2255 |3192 | 24k|3192 | 25k|2437 | 23 | 0 | 6.558260e+02 | -- | Inf
1182.29/1182.40 c 1182s| 1 | 0 | 93972 | - | 44M| 0 |2254 |3192 | 24k|3192 | 25k|2441 | 23 | 0 | 6.559402e+02 | -- | Inf
1188.19/1188.23 c 1188s| 1 | 0 | 94336 | - | 44M| 0 |2255 |3192 | 24k|3192 | 25k|2451 | 23 | 0 | 6.562779e+02 | -- | Inf
1193.70/1193.76 c 1194s| 1 | 0 | 94824 | - | 44M| 0 |2252 |3192 | 24k|3192 | 25k|2468 | 23 | 0 | 6.566743e+02 | -- | Inf
1199.19/1199.27 c 1199s| 1 | 0 | 95096 | - | 44M| 0 |2253 |3192 | 24k|3192 | 25k|2477 | 23 | 0 | 6.567506e+02 | -- | Inf
1205.00/1205.02 c 1205s| 1 | 0 | 95370 | - | 44M| 0 |2254 |3192 | 24k|3192 | 25k|2486 | 23 | 0 | 6.568517e+02 | -- | Inf
1210.50/1210.54 c 1211s| 1 | 0 | 95433 | - | 44M| 0 |2253 |3192 | 24k|3192 | 25k|2488 | 23 | 0 | 6.568593e+02 | -- | Inf
1215.90/1215.91 c 1216s| 1 | 0 | 95663 | - | 44M| 0 |2254 |3192 | 24k|3192 | 25k|2490 | 23 | 0 | 6.570303e+02 | -- | Inf
1221.30/1221.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1221.30/1221.34 c 1221s| 1 | 0 | 95765 | - | 44M| 0 |2252 |3192 | 24k|3192 | 25k|2493 | 23 | 0 | 6.571010e+02 | -- | Inf
1226.79/1226.87 c 1227s| 1 | 0 | 95869 | - | 44M| 0 |2254 |3192 | 24k|3192 | 25k|2506 | 23 | 0 | 6.572408e+02 | -- | Inf
1232.40/1232.48 c 1232s| 1 | 0 | 95977 | - | 44M| 0 |2253 |3192 | 24k|3192 | 25k|2513 | 23 | 0 | 6.573739e+02 | -- | Inf
1237.70/1237.73 c 1238s| 1 | 0 | 96042 | - | 44M| 0 |2252 |3192 | 24k|3192 | 25k|2518 | 23 | 0 | 6.574452e+02 | -- | Inf
1243.10/1243.14 c 1243s| 1 | 0 | 96136 | - | 44M| 0 |2254 |3192 | 24k|3192 | 25k|2524 | 23 | 0 | 6.575848e+02 | -- | Inf
1248.69/1248.76 c 1249s| 1 | 0 | 96244 | - | 44M| 0 |2249 |3192 | 24k|3192 | 25k|2529 | 23 | 0 | 6.576810e+02 | -- | Inf
1254.30/1254.32 c 1254s| 1 | 0 | 96341 | - | 44M| 0 |2252 |3192 | 24k|3192 | 25k|2534 | 23 | 0 | 6.577364e+02 | -- | Inf
1259.89/1259.93 c 1260s| 1 | 0 | 96434 | - | 44M| 0 |2254 |3192 | 24k|3192 | 25k|2539 | 23 | 0 | 6.578584e+02 | -- | Inf
1265.50/1265.51 c 1266s| 1 | 0 | 96519 | - | 44M| 0 |2252 |3192 | 24k|3192 | 25k|2543 | 23 | 0 | 6.579660e+02 | -- | Inf
1271.00/1271.06 c 1271s| 1 | 0 | 96596 | - | 44M| 0 |2254 |3192 | 24k|3192 | 25k|2546 | 23 | 0 | 6.579887e+02 | -- | Inf
1276.60/1276.66 c 1277s| 1 | 0 | 96640 | - | 44M| 0 |2255 |3192 | 24k|3192 | 25k|2548 | 23 | 0 | 6.580306e+02 | -- | Inf
1282.10/1282.10 c 1282s| 1 | 0 | 96648 | - | 44M| 0 |2255 |3192 | 24k|3192 | 25k|2549 | 23 | 0 | 6.580530e+02 | -- | Inf
1287.40/1287.40 c 1287s| 1 | 0 | 96726 | - | 44M| 0 |2255 |3192 | 24k|3192 | 25k|2553 | 23 | 0 | 6.580584e+02 | -- | Inf
1292.60/1292.65 c 1293s| 1 | 0 | 96764 | - | 44M| 0 |2255 |3192 | 24k|3192 | 25k|2557 | 23 | 0 | 6.580611e+02 | -- | Inf
1298.10/1298.16 c 1298s| 1 | 0 | 96968 | - | 44M| 0 |2253 |3192 | 24k|3192 | 25k|2560 | 23 | 0 | 6.581881e+02 | -- | Inf
1303.10/1303.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1303.10/1303.20 c 1303s| 1 | 0 | 97006 | - | 44M| 0 |2253 |3192 | 24k|3192 | 25k|2563 | 23 | 0 | 6.581955e+02 | -- | Inf
1308.60/1308.66 c 1309s| 1 | 0 | 97075 | - | 44M| 0 |2253 |3192 | 24k|3192 | 25k|2573 | 23 | 0 | 6.581973e+02 | -- | Inf
1313.90/1313.93 c 1314s| 1 | 0 | 97158 | - | 44M| 0 |2253 |3192 | 24k|3192 | 25k|2576 | 23 | 0 | 6.582062e+02 | -- | Inf
1319.30/1319.33 c 1319s| 1 | 0 | 97172 | - | 44M| 0 |2253 |3192 | 24k|3192 | 25k|2579 | 23 | 0 | 6.582075e+02 | -- | Inf
1324.60/1324.63 c 1325s| 1 | 0 | 97182 | - | 44M| 0 |2253 |3192 | 24k|3192 | 25k|2581 | 23 | 0 | 6.582113e+02 | -- | Inf
1339.81/1339.84 c 1340s| 1 | 2 | 97182 | - | 44M| 0 |2253 |3192 | 24k|3192 | 25k|2581 | 23 | 24 | 6.582113e+02 | -- | Inf
1800.02/1800.01 c
1800.02/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.02/1800.01 c Solving Time (sec) : 1800.00
1800.02/1800.01 c Solving Nodes : 61
1800.02/1800.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.02/1800.01 c Dual Bound : +6.59185455278773e+02
1800.02/1800.01 c Gap : infinite
1800.02/1800.01 s UNKNOWN
1800.02/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.02/1800.01 c Total Time : 1800.00
1800.02/1800.01 c solving : 1800.00
1800.02/1800.01 c presolving : 3.47 (included in solving)
1800.02/1800.01 c reading : 0.15 (included in solving)
1800.02/1800.01 c Original Problem :
1800.02/1800.01 c Problem name : HOME/instance-3451068-1307084641.opb
1800.02/1800.01 c Variables : 3204 (3204 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.01 c Constraints : 24883 initial, 24883 maximal
1800.02/1800.01 c Presolved Problem :
1800.02/1800.01 c Problem name : t_HOME/instance-3451068-1307084641.opb
1800.02/1800.01 c Variables : 3192 (3192 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.01 c Constraints : 24871 initial, 25087 maximal
1800.02/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.02/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.02/1800.01 c dualfix : 0.00 12 0 0 0 0 0 0 0 0
1800.02/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.02/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.02/1800.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.02/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.02/1800.01 c probing : 3.30 0 0 0 0 0 0 0 0 0
1800.02/1800.01 c setppc : 0.03 0 0 0 0 0 0 0 0 0
1800.02/1800.01 c linear : 0.11 0 0 0 0 0 12 0 0 0
1800.02/1800.01 c logicor : 0.01 0 0 0 0 0 0 0 0 0
1800.02/1800.01 c root node : - 0 - - 0 - - - - -
1800.02/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.02/1800.01 c integral : 0 0 0 67 0 4 0 0 17 0 0 120
1800.02/1800.01 c setppc : 24246 289 8541 0 0 3 3664 19 5383 0 0 0
1800.02/1800.01 c logicor : 625+ 289 3502 0 0 0 261 35 62 0 0 0
1800.02/1800.01 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1800.02/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.02/1800.01 c integral : 186.91 0.00 0.00 186.91 0.00 0.00 0.00
1800.02/1800.01 c setppc : 4.39 0.55 3.83 0.00 0.00 0.00 0.00
1800.02/1800.01 c logicor : 0.07 0.02 0.05 0.00 0.00 0.00 0.00
1800.02/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.02/1800.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.02/1800.01 c vbounds : 0 0 0 0
1800.02/1800.01 c rootredcost : 0 0 0 0
1800.02/1800.01 c pseudoobj : 3486 0 0 0
1800.02/1800.01 c Propagator Timings : TotalTime Propagate Resprop
1800.02/1800.01 c vbounds : 0.00 0.00 0.00
1800.02/1800.01 c rootredcost : 0.00 0.00 0.00
1800.02/1800.01 c pseudoobj : 0.15 0.15 0.00
1800.02/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.01 c propagation : 0.00 54 54 185 23.0 15 12.0 -
1800.02/1800.01 c infeasible LP : 0.01 10 10 27 16.4 9 13.0 0
1800.02/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.02/1800.01 c applied globally : - - - 216 19.4 - - -
1800.02/1800.01 c applied locally : - - - 0 0.0 - - -
1800.02/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.01 c cut pool : 0.17 288 - - 3113 - (maximal pool size: 3229)
1800.02/1800.01 c redcost : 0.02 355 0 0 0 0
1800.02/1800.01 c impliedbounds : 0.81 289 0 0 1744 0
1800.02/1800.01 c intobj : 0.00 0 0 0 0 0
1800.02/1800.01 c gomory : 1206.79 289 0 0 26799 0
1800.02/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.01 c closecuts : 0.00 0 0 0 0 0
1800.02/1800.01 c strongcg : 15.84 20 0 0 9945 0
1800.02/1800.01 c cmir : 2.04 10 0 0 0 0
1800.02/1800.01 c flowcover : 2.21 10 0 0 0 0
1800.02/1800.01 c clique : 3.99 289 0 0 1777 0
1800.02/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.01 c mcf : 0.04 1 0 0 0 0
1800.02/1800.01 c oddcycle : 0.00 0 0 0 0 0
1800.02/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.01 c Pricers : Time Calls Vars
1800.02/1800.01 c problem variables: 0.00 0 0
1800.02/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.01 c relpscost : 186.91 67 0 17 0 0 120
1800.02/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.01 c inference : 0.00 0 0 0 0 0 0
1800.02/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.01 c random : 0.00 0 0 0 0 0 0
1800.02/1800.01 c Primal Heuristics : Time Calls Found
1800.02/1800.01 c LP solutions : 0.00 - 0
1800.02/1800.01 c pseudo solutions : 0.00 - 0
1800.02/1800.01 c oneopt : 0.00 0 0
1800.02/1800.01 c crossover : 0.00 0 0
1800.02/1800.01 c trivial : 0.01 2 0
1800.02/1800.01 c shiftandpropagate: 0.14 1 0
1800.02/1800.01 c simplerounding : 0.00 0 0
1800.02/1800.01 c zirounding : 0.13 59 0
1800.02/1800.01 c rounding : 0.38 132 0
1800.02/1800.01 c shifting : 1.72 101 0
1800.02/1800.01 c intshifting : 0.00 0 0
1800.02/1800.01 c twoopt : 0.00 0 0
1800.02/1800.01 c fixandinfer : 0.00 0 0
1800.02/1800.01 c feaspump : 8.30 1 0
1800.02/1800.01 c clique : 0.00 0 0
1800.02/1800.01 c coefdiving : 23.54 3 0
1800.02/1800.01 c pscostdiving : 35.68 2 0
1800.02/1800.01 c fracdiving : 27.56 3 0
1800.02/1800.01 c veclendiving : 41.87 4 0
1800.02/1800.01 c intdiving : 0.00 0 0
1800.02/1800.01 c actconsdiving : 0.00 0 0
1800.02/1800.01 c objpscostdiving : 39.75 1 0
1800.02/1800.01 c rootsoldiving : 10.54 1 0
1800.02/1800.01 c linesearchdiving : 26.74 3 0
1800.02/1800.01 c guideddiving : 0.00 0 0
1800.02/1800.01 c octane : 0.00 0 0
1800.02/1800.01 c rens : 0.05 0 0
1800.02/1800.01 c rins : 0.00 0 0
1800.02/1800.01 c localbranching : 0.00 0 0
1800.02/1800.01 c mutation : 0.00 0 0
1800.02/1800.01 c dins : 0.00 0 0
1800.02/1800.01 c vbounds : 0.00 0 0
1800.02/1800.01 c undercover : 0.00 0 0
1800.02/1800.01 c subnlp : 0.00 0 0
1800.02/1800.01 c trysol : 0.00 0 0
1800.02/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.01 c primal LP : 0.56 0 0 0.00 0.00
1800.02/1800.01 c dual LP : 158.38 356 187338 526.23 1182.83
1800.02/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.01 c diving/probing LP: 207.82 1628 261867 160.85 1260.06
1800.02/1800.01 c strong branching : 186.86 364 217370 597.17 1163.25
1800.02/1800.01 c (at root node) : - 24 17076 711.50 -
1800.02/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.01 c B&B Tree :
1800.02/1800.01 c number of runs : 1
1800.02/1800.01 c nodes : 61
1800.02/1800.01 c nodes (total) : 61
1800.02/1800.01 c nodes left : 60
1800.02/1800.01 c max depth : 15
1800.02/1800.01 c max depth (total): 15
1800.02/1800.01 c backtracks : 28 (45.9%)
1800.02/1800.01 c delayed cutoffs : 0
1800.02/1800.01 c repropagations : 4 (2 domain reductions, 0 cutoffs)
1800.02/1800.01 c avg switch length: 3.38
1800.02/1800.01 c switching time : 0.06
1800.02/1800.01 c Solution :
1800.02/1800.01 c Solutions found : 0 (0 improvements)
1800.02/1800.01 c Primal Bound : -
1800.02/1800.01 c Dual Bound : +6.59185455278773e+02
1800.02/1800.01 c Gap : infinite
1800.02/1800.01 c Root Dual Bound : +6.58211349237631e+02
1800.02/1800.01 c Root Iterations : 97182
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-3451068-1307084641/watcher-3451068-1307084641 -o /tmp/evaluation-result-3451068-1307084641/solver-3451068-1307084641 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451068-1307084641.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.01 2.04 1.95 3/453 15535
/proc/meminfo: memFree=31856316/32951124 swapFree=55639044/67111528
[pid=15535] ppid=15533 vsize=15372 CPUtime=0 cores=0,2,4,6
/proc/15535/stat : 15535 (scip-2.0.1.4b.l) R 15533 15535 12722 0 -1 4202496 2847 0 0 0 0 0 0 0 25 0 1 0 820061966 15740928 2800 33554432000 4194304 9163163 140736380693872 18446744073709551615 6167874 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/15535/statm: 3843 2800 389 1214 0 2625 0
[startup+0.097551 s]
/proc/loadavg: 2.01 2.04 1.95 3/453 15535
/proc/meminfo: memFree=31856316/32951124 swapFree=55639044/67111528
[pid=15535] ppid=15533 vsize=21356 CPUtime=0.08 cores=0,2,4,6
/proc/15535/stat : 15535 (scip-2.0.1.4b.l) R 15533 15535 12722 0 -1 4202496 4345 0 0 0 8 0 0 0 25 0 1 0 820061966 21868544 4298 33554432000 4194304 9163163 140736380693872 18446744073709551615 8041849 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/15535/statm: 5339 4298 395 1214 0 4121 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 21356
[startup+0.100543 s]
/proc/loadavg: 2.01 2.04 1.95 3/453 15535
/proc/meminfo: memFree=31856316/32951124 swapFree=55639044/67111528
[pid=15535] ppid=15533 vsize=21356 CPUtime=0.09 cores=0,2,4,6
/proc/15535/stat : 15535 (scip-2.0.1.4b.l) R 15533 15535 12722 0 -1 4202496 4345 0 0 0 9 0 0 0 25 0 1 0 820061966 21868544 4298 33554432000 4194304 9163163 140736380693872 18446744073709551615 7480165 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/15535/statm: 5339 4298 395 1214 0 4121 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21356
[startup+0.300543 s]
/proc/loadavg: 2.01 2.04 1.95 3/453 15535
/proc/meminfo: memFree=31856316/32951124 swapFree=55639044/67111528
[pid=15535] ppid=15533 vsize=65840 CPUtime=0.29 cores=0,2,4,6
/proc/15535/stat : 15535 (scip-2.0.1.4b.l) R 15533 15535 12722 0 -1 4202496 16155 0 0 0 28 1 0 0 25 0 1 0 820061966 67420160 15096 33554432000 4194304 9163163 140736380693872 18446744073709551615 4608992 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15535/statm: 16460 15096 514 1214 0 15242 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 65840
[startup+0.700462 s]
/proc/loadavg: 2.01 2.04 1.95 3/453 15535
/proc/meminfo: memFree=31856316/32951124 swapFree=55639044/67111528
[pid=15535] ppid=15533 vsize=65112 CPUtime=0.69 cores=0,2,4,6
/proc/15535/stat : 15535 (scip-2.0.1.4b.l) R 15533 15535 12722 0 -1 4202496 16963 0 0 0 68 1 0 0 25 0 1 0 820061966 66674688 14968 33554432000 4194304 9163163 140736380693872 18446744073709551615 5459270 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15535/statm: 16278 14968 533 1214 0 15060 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 65112
[startup+1.50031 s]
/proc/loadavg: 2.01 2.04 1.95 3/454 15536
/proc/meminfo: memFree=31797036/32951124 swapFree=55639044/67111528
[pid=15535] ppid=15533 vsize=65112 CPUtime=1.49 cores=0,2,4,6
/proc/15535/stat : 15535 (scip-2.0.1.4b.l) R 15533 15535 12722 0 -1 4202496 16963 0 0 0 148 1 0 0 25 0 1 0 820061966 66674688 14968 33554432000 4194304 9163163 140736380693872 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15535/statm: 16278 14968 533 1214 0 15060 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 65112
[startup+3.10101 s]
/proc/loadavg: 2.01 2.04 1.95 3/454 15536
/proc/meminfo: memFree=31794904/32951124 swapFree=55639044/67111528
[pid=15535] ppid=15533 vsize=66560 CPUtime=3.08 cores=0,2,4,6
/proc/15535/stat : 15535 (scip-2.0.1.4b.l) R 15533 15535 12722 0 -1 4202496 17329 0 0 0 307 1 0 0 25 0 1 0 820061966 68157440 15334 33554432000 4194304 9163163 140736380693872 18446744073709551615 5460089 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15535/statm: 16640 15334 537 1214 0 15422 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 66560
[startup+6.30046 s]
/proc/loadavg: 2.01 2.04 1.95 3/454 15536
/proc/meminfo: memFree=31751520/32951124 swapFree=55639044/67111528
[pid=15535] ppid=15533 vsize=113028 CPUtime=6.28 cores=0,2,4,6
/proc/15535/stat : 15535 (scip-2.0.1.4b.l) R 15533 15535 12722 0 -1 4202496 29334 0 0 0 625 3 0 0 25 0 1 0 820061966 115740672 26346 33554432000 4194304 9163163 140736380693872 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15535/statm: 28257 26346 660 1214 0 27039 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 113028
[startup+12.7003 s]
/proc/loadavg: 2.01 2.03 1.95 3/454 15536
/proc/meminfo: memFree=31750788/32951124 swapFree=55639044/67111528
[pid=15535] ppid=15533 vsize=110964 CPUtime=12.68 cores=0,2,4,6
/proc/15535/stat : 15535 (scip-2.0.1.4b.l) R 15533 15535 12722 0 -1 4202496 30516 0 0 0 1264 4 0 0 25 0 1 0 820061966 113627136 26052 33554432000 4194304 9163163 140736380693872 18446744073709551615 7394674 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15535/statm: 27741 26052 691 1214 0 26523 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 110964
[startup+25.501 s]
/proc/loadavg: 2.00 2.03 1.95 3/454 15538
/proc/meminfo: memFree=31746036/32951124 swapFree=55639044/67111528
[pid=15535] ppid=15533 vsize=116004 CPUtime=25.48 cores=0,2,4,6
/proc/15535/stat : 15535 (scip-2.0.1.4b.l) R 15533 15535 12722 0 -1 4202496 31615 0 0 0 2541 7 0 0 25 0 1 0 820061966 118788096 27119 33554432000 4194304 9163163 140736380693872 18446744073709551615 7225472 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15535/statm: 29001 27119 706 1214 0 27783 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 116004
[startup+51.1003 s]
/proc/loadavg: 2.00 2.03 1.95 3/454 15540
/proc/meminfo: memFree=31731536/32951124 swapFree=55639044/67111528
[pid=15535] ppid=15533 vsize=131044 CPUtime=51.06 cores=0,2,4,6
/proc/15535/stat : 15535 (scip-2.0.1.4b.l) R 15533 15535 12722 0 -1 4202496 41918 0 0 0 5092 14 0 0 25 0 1 0 820061966 134189056 30793 33554432000 4194304 9163163 140736380693872 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15535/statm: 32761 30793 699 1214 0 31543 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 131044
[startup+102.317 s]
/proc/loadavg: 2.06 2.04 1.96 3/454 15541
/proc/meminfo: memFree=31721896/32951124 swapFree=55639044/67111528
[pid=15535] ppid=15533 vsize=140456 CPUtime=102.28 cores=0,2,4,6
/proc/15535/stat : 15535 (scip-2.0.1.4b.l) R 15533 15535 12722 0 -1 4202496 49726 0 0 0 10200 28 0 0 25 0 1 0 820061966 143826944 33089 33554432000 4194304 9163163 140736380693872 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15535/statm: 35114 33089 1062 1214 0 33896 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 140456
[startup+162.301 s]
/proc/loadavg: 2.11 2.06 1.97 3/454 15543
/proc/meminfo: memFree=31718380/32951124 swapFree=55639044/67111528
[pid=15535] ppid=15533 vsize=143000 CPUtime=162.27 cores=0,2,4,6
/proc/15535/stat : 15535 (scip-2.0.1.4b.l) R 15533 15535 12722 0 -1 4202496 52159 0 0 0 16183 44 0 0 25 0 1 0 820061966 146432000 34590 33554432000 4194304 9163163 140736380693872 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15535/statm: 35750 34590 1274 1214 0 34532 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 143000
[startup+222.301 s]
/proc/loadavg: 2.17 2.09 1.99 3/454 15545
/proc/meminfo: memFree=31718444/32951124 swapFree=55639044/67111528
[pid=15535] ppid=15533 vsize=140372 CPUtime=222.27 cores=0,2,4,6
/proc/15535/stat : 15535 (scip-2.0.1.4b.l) R 15533 15535 12722 0 -1 4202496 54540 0 0 0 22165 62 0 0 25 0 1 0 820061966 143740928 33341 33554432000 4194304 9163163 140736380693872 18446744073709551615 7051385 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15535/statm: 35093 33341 1012 1214 0 33875 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 140372
[startup+282.3 s]
/proc/loadavg: 2.15 2.10 2.00 3/454 15546
/proc/meminfo: memFree=31716172/32951124 swapFree=55639044/67111528
[pid=15535] ppid=15533 vsize=140372 CPUtime=282.27 cores=0,2,4,6
/proc/15535/stat : 15535 (scip-2.0.1.4b.l) R 15533 15535 12722 0 -1 4202496 54564 0 0 0 28149 78 0 0 25 0 1 0 820061966 143740928 33365 33554432000 4194304 9163163 140736380693872 18446744073709551615 7447744 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15535/statm: 35093 33365 1012 1214 0 33875 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 140372
[startup+342.3 s]
/proc/loadavg: 2.05 2.08 2.00 3/454 15548
/proc/meminfo: memFree=31715000/32951124 swapFree=55639044/67111528
[pid=15535] ppid=15533 vsize=141220 CPUtime=342.27 cores=0,2,4,6
/proc/15535/stat : 15535 (scip-2.0.1.4b.l) R 15533 15535 12722 0 -1 4202496 54748 0 0 0 34131 96 0 0 25 0 1 0 820061966 144609280 33549 33554432000 4194304 9163163 140736380693872 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15535/statm: 35305 33549 1012 1214 0 34087 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 141220
[startup+402.3 s]
/proc/loadavg: 2.02 2.06 2.00 3/454 15549
/proc/meminfo: memFree=31713972/32951124 swapFree=55639044/67111528
[pid=15535] ppid=15533 vsize=141388 CPUtime=402.28 cores=0,2,4,6
/proc/15535/stat : 15535 (scip-2.0.1.4b.l) R 15533 15535 12722 0 -1 4202496 55422 0 0 0 40115 113 0 0 25 0 1 0 820061966 144781312 33313 33554432000 4194304 9163163 140736380693872 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15535/statm: 35347 33313 1012 1214 0 34129 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 141388
[startup+462.301 s]
/proc/loadavg: 2.00 2.05 2.00 3/454 15551
/proc/meminfo: memFree=31709348/32951124 swapFree=55639044/67111528
[pid=15535] ppid=15533 vsize=142196 CPUtime=462.27 cores=0,2,4,6
/proc/15535/stat : 15535 (scip-2.0.1.4b.l) R 15533 15535 12722 0 -1 4202496 55664 0 0 0 46099 128 0 0 25 0 1 0 820061966 145608704 33555 33554432000 4194304 9163163 140736380693872 18446744073709551615 6668656 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15535/statm: 35549 33555 1012 1214 0 34331 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 142196
[startup+522.301 s]
/proc/loadavg: 2.00 2.04 2.00 3/454 15553
/proc/meminfo: memFree=31708812/32951124 swapFree=55639044/67111528
[pid=15535] ppid=15533 vsize=141404 CPUtime=522.28 cores=0,2,4,6
/proc/15535/stat : 15535 (scip-2.0.1.4b.l) R 15533 15535 12722 0 -1 4202496 57428 0 0 0 52084 144 0 0 25 0 1 0 820061966 144797696 33262 33554432000 4194304 9163163 140736380693872 18446744073709551615 6668704 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15535/statm: 35351 33262 1012 1214 0 34133 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 141404
[startup+582.301 s]
/proc/loadavg: 2.07 2.04 2.00 3/454 15554
/proc/meminfo: memFree=31704552/32951124 swapFree=55639044/67111528
[pid=15535] ppid=15533 vsize=141404 CPUtime=582.28 cores=0,2,4,6
/proc/15535/stat : 15535 (scip-2.0.1.4b.l) R 15533 15535 12722 0 -1 4202496 57536 0 0 0 58066 162 0 0 25 0 1 0 820061966 144797696 33370 33554432000 4194304 9163163 140736380693872 18446744073709551615 6670310 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15535/statm: 35351 33370 1012 1214 0 34133 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 141404
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/454 15616
/proc/meminfo: memFree=31540944/32951124 swapFree=55639044/67111528
[pid=15535] ppid=15533 vsize=141420 CPUtime=822.28 cores=0,2,4,6
/proc/15535/stat : 15535 (scip-2.0.1.4b.l) R 15533 15535 12722 0 -1 4202496 68918 0 0 0 81998 230 0 0 25 0 1 0 820061966 144814080 33200 33554432000 4194304 9163163 140736380693872 18446744073709551615 6611622 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15535/statm: 35355 33200 1012 1214 0 34137 0
Current children cumulated CPU time (s) 822.28
Current children cumulated vsize (KiB) 141420
[startup+882.301 s]
/proc/loadavg: 2.12 2.05 2.01 3/454 15617
/proc/meminfo: memFree=31538912/32951124 swapFree=55639044/67111528
[pid=15535] ppid=15533 vsize=142200 CPUtime=882.28 cores=0,2,4,6
/proc/15535/stat : 15535 (scip-2.0.1.4b.l) R 15533 15535 12722 0 -1 4202496 69260 0 0 0 87982 246 0 0 25 0 1 0 820061966 145612800 33542 33554432000 4194304 9163163 140736380693872 18446744073709551615 6674368 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15535/statm: 35550 33542 1012 1214 0 34332 0
Current children cumulated CPU time (s) 882.28
Current children cumulated vsize (KiB) 142200
[startup+942.3 s]
/proc/loadavg: 2.14 2.07 2.01 3/454 15619
/proc/meminfo: memFree=31529316/32951124 swapFree=55639044/67111528
[pid=15535] ppid=15533 vsize=141404 CPUtime=942.29 cores=0,2,4,6
/proc/15535/stat : 15535 (scip-2.0.1.4b.l) R 15533 15535 12722 0 -1 4202496 70943 0 0 0 93966 263 0 0 25 0 1 0 820061966 144797696 33200 33554432000 4194304 9163163 140736380693872 18446744073709551615 7051368 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15535/statm: 35351 33200 1012 1214 0 34133 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 141404
[startup+1002.3 s]
/proc/loadavg: 2.11 2.07 2.01 3/454 15620
/proc/meminfo: memFree=31531968/32951124 swapFree=55639044/67111528
[pid=15535] ppid=15533 vsize=141404 CPUtime=1002.29 cores=0,2,4,6
/proc/15535/stat : 15535 (scip-2.0.1.4b.l) R 15533 15535 12722 0 -1 4202496 70950 0 0 0 99951 278 0 0 25 0 1 0 820061966 144797696 33207 33554432000 4194304 9163163 140736380693872 18446744073709551615 6974878 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15535/statm: 35351 33207 1012 1214 0 34133 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 141404
[startup+1062.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/454 15622
/proc/meminfo: memFree=31534268/32951124 swapFree=55639044/67111528
[pid=15535] ppid=15533 vsize=142932 CPUtime=1062.29 cores=0,2,4,6
/proc/15535/stat : 15535 (scip-2.0.1.4b.l) R 15533 15535 12722 0 -1 4202496 73359 0 0 0 105936 293 0 0 25 0 1 0 820061966 146362368 33544 33554432000 4194304 9163163 140736380693872 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15535/statm: 35733 33544 1012 1214 0 34515 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 142932
[startup+1122.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/454 15624
/proc/meminfo: memFree=31537788/32951124 swapFree=55639044/67111528
[pid=15535] ppid=15533 vsize=141440 CPUtime=1122.29 cores=0,2,4,6
/proc/15535/stat : 15535 (scip-2.0.1.4b.l) R 15533 15535 12722 0 -1 4202496 73914 0 0 0 111920 309 0 0 25 0 1 0 820061966 144834560 33216 33554432000 4194304 9163163 140736380693872 18446744073709551615 8045625 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15535/statm: 35360 33216 1012 1214 0 34142 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 141440
[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/454 15625
/proc/meminfo: memFree=31519024/32951124 swapFree=55639044/67111528
[pid=15535] ppid=15533 vsize=139024 CPUtime=1182.29 cores=0,2,4,6
/proc/15535/stat : 15535 (scip-2.0.1.4b.l) R 15533 15535 12722 0 -1 4202496 76342 0 0 0 117902 327 0 0 25 0 1 0 820061966 142360576 32995 33554432000 4194304 9163163 140736380693872 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15535/statm: 34756 32995 1012 1214 0 33538 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 139024
[startup+1242.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/454 15627
/proc/meminfo: memFree=31532604/32951124 swapFree=55639044/67111528
[pid=15535] ppid=15533 vsize=142688 CPUtime=1242.3 cores=0,2,4,6
/proc/15535/stat : 15535 (scip-2.0.1.4b.l) R 15533 15535 12722 0 -1 4202496 77842 0 0 0 123887 343 0 0 25 0 1 0 820061966 146112512 33495 33554432000 4194304 9163163 140736380693872 18446744073709551615 7054495 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15535/statm: 35672 33495 953 1214 0 34454 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 142688
[startup+1302.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/454 15628
/proc/meminfo: memFree=31524008/32951124 swapFree=55639044/67111528
[pid=15535] ppid=15533 vsize=142276 CPUtime=1302.31 cores=0,2,4,6
/proc/15535/stat : 15535 (scip-2.0.1.4b.l) R 15533 15535 12722 0 -1 4202496 80679 0 0 0 129871 360 0 0 25 0 1 0 820061966 145690624 33237 33554432000 4194304 9163163 140736380693872 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15535/statm: 35569 33237 953 1214 0 34351 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 142276
[startup+1362.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/454 15630
/proc/meminfo: memFree=31526832/32951124 swapFree=55639044/67111528
[pid=15535] ppid=15533 vsize=138844 CPUtime=1362.3 cores=0,2,4,6
/proc/15535/stat : 15535 (scip-2.0.1.4b.l) R 15533 15535 12722 0 -1 4202496 95771 0 0 0 135856 374 0 0 25 0 1 0 820061966 142176256 33043 33554432000 4194304 9163163 140736380693872 18446744073709551615 7311832 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15535/statm: 34711 33043 768 1214 0 33493 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 138844
[startup+1422.32 s]
/proc/loadavg: 2.02 2.04 2.00 3/454 15632
/proc/meminfo: memFree=31520720/32951124 swapFree=55639044/67111528
[pid=15535] ppid=15533 vsize=144704 CPUtime=1422.32 cores=0,2,4,6
/proc/15535/stat : 15535 (scip-2.0.1.4b.l) R 15533 15535 12722 0 -1 4202496 97668 0 0 0 141848 384 0 0 25 0 1 0 820061966 148176896 34924 33554432000 4194304 9163163 140736380693872 18446744073709551615 7376033 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15535/statm: 36176 34924 845 1214 0 34958 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 144704
[startup+1482.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/454 15633
/proc/meminfo: memFree=31515584/32951124 swapFree=55639044/67111528
[pid=15535] ppid=15533 vsize=144704 CPUtime=1482.3 cores=0,2,4,6
/proc/15535/stat : 15535 (scip-2.0.1.4b.l) R 15533 15535 12722 0 -1 4202496 97769 0 0 0 147836 394 0 0 25 0 1 0 820061966 148176896 34924 33554432000 4194304 9163163 140736380693872 18446744073709551615 7348243 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15535/statm: 36176 34924 744 1214 0 34958 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 144704
[startup+1542.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/454 15635
/proc/meminfo: memFree=31510584/32951124 swapFree=55639044/67111528
[pid=15535] ppid=15533 vsize=144704 CPUtime=1542.3 cores=0,2,4,6
/proc/15535/stat : 15535 (scip-2.0.1.4b.l) R 15533 15535 12722 0 -1 4202496 97777 0 0 0 153826 404 0 0 25 0 1 0 820061966 148176896 34926 33554432000 4194304 9163163 140736380693872 18446744073709551615 7348296 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15535/statm: 36176 34926 738 1214 0 34958 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 144704
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/454 15636
/proc/meminfo: memFree=31518232/32951124 swapFree=55639044/67111528
[pid=15535] ppid=15533 vsize=144704 CPUtime=1602.31 cores=0,2,4,6
/proc/15535/stat : 15535 (scip-2.0.1.4b.l) R 15533 15535 12722 0 -1 4202496 97785 0 0 0 159817 414 0 0 25 0 1 0 820061966 148176896 34928 33554432000 4194304 9163163 140736380693872 18446744073709551615 7348243 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15535/statm: 36176 34928 734 1214 0 34958 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 144704
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/454 15638
/proc/meminfo: memFree=31505564/32951124 swapFree=55639044/67111528
[pid=15535] ppid=15533 vsize=144704 CPUtime=1662.31 cores=0,2,4,6
/proc/15535/stat : 15535 (scip-2.0.1.4b.l) R 15533 15535 12722 0 -1 4202496 97791 0 0 0 165809 422 0 0 25 0 1 0 820061966 148176896 34933 33554432000 4194304 9163163 140736380693872 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15535/statm: 36176 34933 733 1214 0 34958 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 144704
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/454 15640
/proc/meminfo: memFree=31520168/32951124 swapFree=55639044/67111528
[pid=15535] ppid=15533 vsize=144704 CPUtime=1722.31 cores=0,2,4,6
/proc/15535/stat : 15535 (scip-2.0.1.4b.l) R 15533 15535 12722 0 -1 4202496 97792 0 0 0 171799 432 0 0 25 0 1 0 820061966 148176896 34933 33554432000 4194304 9163163 140736380693872 18446744073709551615 7348559 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15535/statm: 36176 34933 732 1214 0 34958 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 144704
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/454 15641
/proc/meminfo: memFree=31519032/32951124 swapFree=55639044/67111528
[pid=15535] ppid=15533 vsize=144704 CPUtime=1782.32 cores=0,2,4,6
/proc/15535/stat : 15535 (scip-2.0.1.4b.l) R 15533 15535 12722 0 -1 4202496 97800 0 0 0 177786 446 0 0 25 0 1 0 820061966 148176896 34934 33554432000 4194304 9163163 140736380693872 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15535/statm: 36176 34934 725 1214 0 34958 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 144704
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/454 15642
/proc/meminfo: memFree=31509720/32951124 swapFree=55639044/67111528
[pid=15535] ppid=15533 vsize=144704 CPUtime=1800.03 cores=0,2,4,6
/proc/15535/stat : 15535 (scip-2.0.1.4b.l) R 15533 15535 12722 0 -1 4202496 97801 0 0 0 179553 450 0 0 18 0 1 0 820061966 148176896 34935 33554432000 4194304 9163163 140736380693872 18446744073709551615 8090608 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15535/statm: 36176 34935 726 1214 0 34958 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 144704
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.03
CPU time (s): 1800.05
CPU user time (s): 1795.54
CPU system time (s): 4.50731
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 144704
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.54
system time used= 4.50731
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97804
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 4228
runsolver used 8.26374 second user time and 17.9543 second system time
The end