0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3690937-1338018768.opb>
0.02/0.08 c original problem has 760 variables (760 bin, 0 int, 0 impl, 0 cont) and 41619 constraints
0.02/0.08 c problem read in 0.08
0.09/0.18 o 0
0.09/0.18 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.09/0.18 c presolving:
0.49/0.52 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 41619 upgd conss, 83238 impls, 0 clqs
0.69/0.73 c (0.7s) probing: 51/760 (6.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.69/0.73 c (0.7s) probing aborted: 50/50 successive totally useless probings
0.69/0.74 c presolving (2 rounds):
0.69/0.74 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.69/0.74 c 83238 implications, 0 cliques
0.69/0.74 c presolved problem has 760 variables (760 bin, 0 int, 0 impl, 0 cont) and 41619 constraints
0.69/0.74 c 41619 constraints of type <setppc>
0.69/0.74 c transformed objective value is always integral (scale: 1)
0.69/0.74 c Presolving Time: 0.63
0.69/0.74 c - non default parameters ----------------------------------------------------------------------
0.69/0.74 c # SCIP version 2.1.1.4
0.69/0.74 c
0.69/0.74 c # maximal time in seconds to run
0.69/0.74 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.74 c limits/time = 1797
0.69/0.74 c
0.69/0.74 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.69/0.74 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.74 c limits/memory = 13950
0.69/0.74 c
0.69/0.74 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.69/0.74 c # [type: int, range: [1,2], default: 1]
0.69/0.74 c timing/clocktype = 2
0.69/0.74 c
0.69/0.74 c # belongs reading time to solving time?
0.69/0.74 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.74 c timing/reading = TRUE
0.69/0.74 c
0.69/0.74 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.69/0.74 c # [type: int, range: [-1,2147483647], default: -1]
0.69/0.74 c separating/rapidlearning/freq = 0
0.69/0.74 c
0.69/0.74 c -----------------------------------------------------------------------------------------------
0.69/0.74 c start solving
0.69/0.76 c
1.10/1.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.10/1.17 c t 1.2s| 1 | 0 | 762 | - | 50M| 0 | 760 | 760 | 41k| 760 | 41k| 0 | 0 | 0 |-3.800000e+02 | 0.000000e+00 | Inf
1.19/1.29 o -1
1.19/1.29 c R 1.2s| 1 | 0 | 762 | - | 50M| 0 | 760 | 760 | 41k| 760 | 41k| 0 | 0 | 0 |-3.800000e+02 |-1.000000e+00 | Large
1.19/1.29 o -2
1.19/1.29 c s 1.2s| 1 | 0 | 762 | - | 50M| 0 | 760 | 760 | 41k| 760 | 41k| 0 | 0 | 0 |-3.800000e+02 |-2.000000e+00 | Large
1.79/1.87 c 1.9s| 1 | 0 | 954 | - | 50M| 0 | 709 | 760 | 41k| 760 | 41k| 5 | 0 | 0 |-3.545000e+02 |-2.000000e+00 | Large
1.79/1.87 o -31
1.79/1.87 c b 1.9s| 1 | 0 | 954 | - | 50M| 0 | 709 | 760 | 41k| 760 | 41k| 5 | 0 | 0 |-3.545000e+02 |-3.100000e+01 |1043.55%
2.68/2.73 c 2.7s| 1 | 0 | 1208 | - | 50M| 0 | 674 | 760 | 41k| 760 | 41k| 11 | 0 | 0 |-3.370000e+02 |-3.100000e+01 | 987.10%
3.59/3.64 c 3.6s| 1 | 0 | 1352 | - | 50M| 0 | 636 | 760 | 41k| 760 | 41k| 22 | 0 | 0 |-3.180000e+02 |-3.100000e+01 | 925.81%
4.59/4.63 c 4.6s| 1 | 0 | 1460 | - | 50M| 0 | 603 | 760 | 41k| 760 | 41k| 30 | 0 | 0 |-3.015000e+02 |-3.100000e+01 | 872.58%
5.79/5.87 c 5.9s| 1 | 0 | 1626 | - | 50M| 0 | 563 | 760 | 41k| 760 | 41k| 42 | 0 | 0 |-2.815000e+02 |-3.100000e+01 | 808.06%
7.19/7.20 c 7.2s| 1 | 0 | 1845 | - | 50M| 0 | 527 | 760 | 41k| 760 | 41k| 54 | 0 | 0 |-2.635000e+02 |-3.100000e+01 | 750.00%
8.58/8.64 c 8.6s| 1 | 0 | 2103 | - | 50M| 0 | 491 | 760 | 41k| 760 | 41k| 62 | 0 | 0 |-2.455000e+02 |-3.100000e+01 | 691.94%
10.29/10.32 c 10.3s| 1 | 0 | 2903 | - | 50M| 0 | 456 | 760 | 41k| 760 | 41k| 71 | 0 | 0 |-2.280000e+02 |-3.100000e+01 | 635.48%
11.49/11.56 c 11.6s| 1 | 0 | 2979 | - | 50M| 0 | 437 | 760 | 41k| 760 | 41k| 80 | 0 | 0 |-2.185000e+02 |-3.100000e+01 | 604.84%
12.79/12.82 c 12.8s| 1 | 0 | 3078 | - | 50M| 0 | 402 | 760 | 41k| 760 | 41k| 90 | 0 | 0 |-2.010000e+02 |-3.100000e+01 | 548.39%
13.09/13.19 c 13.2s| 1 | 0 | 3360 | - | 50M| 0 | 365 | 760 | 41k| 760 | 41k| 99 | 0 | 0 |-1.825000e+02 |-3.100000e+01 | 488.71%
13.39/13.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.39/13.46 c 13.5s| 1 | 0 | 3512 | - | 50M| 0 | 331 | 760 | 41k| 760 | 41k| 109 | 0 | 0 |-1.655000e+02 |-3.100000e+01 | 433.87%
13.78/13.89 c 13.9s| 1 | 0 | 4012 | - | 50M| 0 | 283 | 760 | 41k| 760 | 41k| 127 | 0 | 0 |-1.415000e+02 |-3.100000e+01 | 356.45%
14.49/14.50 c 14.5s| 1 | 0 | 4895 | - | 50M| 0 | 244 | 760 | 41k| 760 | 41k| 140 | 0 | 0 |-1.220000e+02 |-3.100000e+01 | 293.55%
14.88/14.99 c 15.0s| 1 | 0 | 5493 | - | 50M| 0 | 208 | 760 | 41k| 760 | 41k| 154 | 0 | 0 |-1.040000e+02 |-3.100000e+01 | 235.48%
15.19/15.26 c 15.3s| 1 | 0 | 5728 | - | 50M| 0 | 178 | 760 | 41k| 760 | 41k| 168 | 0 | 0 |-8.900000e+01 |-3.100000e+01 | 187.10%
15.59/15.66 c 15.7s| 1 | 0 | 6167 | - | 50M| 0 | 144 | 760 | 41k| 760 | 41k| 182 | 0 | 0 |-7.300000e+01 |-3.100000e+01 | 135.48%
16.58/16.61 c 16.6s| 1 | 0 | 7898 | - | 50M| 0 | 133 | 760 | 41k| 760 | 41k| 194 | 0 | 0 |-6.050000e+01 |-3.100000e+01 | 95.16%
16.68/16.80 c 16.8s| 1 | 0 | 7977 | - | 50M| 0 | 112 | 760 | 41k| 760 | 41k| 202 | 0 | 0 |-5.350000e+01 |-3.100000e+01 | 72.58%
16.98/17.05 c 17.1s| 1 | 0 | 8177 | - | 50M| 0 | 100 | 760 | 41k| 760 | 41k| 209 | 0 | 0 |-4.050000e+01 |-3.100000e+01 | 30.65%
17.08/17.10 c 17.1s| 1 | 0 | 8239 | - | 50M| 0 | 121 | 760 | 41k| 760 | 41k| 216 | 0 | 0 |-4.050000e+01 |-3.100000e+01 | 30.65%
17.08/17.14 c 17.1s| 1 | 0 | 8257 | - | 50M| 0 | 122 | 760 | 41k| 760 | 41k| 225 | 0 | 0 |-4.050000e+01 |-3.100000e+01 | 30.65%
17.18/17.21 c 17.2s| 1 | 0 | 8322 | - | 50M| 0 | 110 | 760 | 41k| 760 | 41k| 236 | 0 | 0 |-4.050000e+01 |-3.100000e+01 | 30.65%
17.18/17.27 c 17.3s| 1 | 0 | 8389 | - | 50M| 0 | 138 | 760 | 41k| 760 | 41k| 245 | 0 | 0 |-4.050000e+01 |-3.100000e+01 | 30.65%
17.28/17.32 c 17.3s| 1 | 0 | 8419 | - | 50M| 0 | 122 | 760 | 41k| 760 | 41k| 252 | 0 | 0 |-4.050000e+01 |-3.100000e+01 | 30.65%
20.38/20.48 c 20.5s| 1 | 2 | 8419 | - | 50M| 0 | 122 | 760 | 41k| 760 | 41k| 252 | 0 | 19 |-4.050000e+01 |-3.100000e+01 | 30.65%
41.89/41.91 o -32
41.89/41.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.89/41.91 c *41.9s| 17 | 14 | 9269 | 53.1 | 51M| 15 | - | 760 | 41k| 760 | 41k| 252 | 0 | 370 |-4.000000e+01 |-3.200000e+01 | 25.00%
72.97/73.00 o -33
72.97/73.00 c *73.0s| 46 | 28 | 11123 | 60.1 | 52M| 18 | - | 760 | 41k| 760 | 41k| 252 | 0 |1011 |-4.000000e+01 |-3.300000e+01 | 21.21%
86.07/86.12 o -34
86.07/86.12 c *86.1s| 67 | 36 | 11927 | 53.2 | 53M| 23 | - | 760 | 41k| 760 | 41k| 252 | 0 |1291 |-4.000000e+01 |-3.400000e+01 | 17.65%
95.97/96.02 c 96.0s| 100 | 55 | 12905 | 45.3 | 53M| 23 | - | 760 | 41k| 760 | 41k| 252 | 0 |1502 |-4.000000e+01 |-3.400000e+01 | 17.65%
114.45/114.53 c 115s| 200 | 125 | 18073 | 48.5 | 55M| 23 | 52 | 760 | 41k| 760 | 41k| 252 | 0 |1772 |-4.000000e+01 |-3.400000e+01 | 17.65%
118.85/118.99 c 119s| 300 | 193 | 22171 | 46.0 | 58M| 26 | 76 | 760 | 41k| 760 | 41k| 252 | 0 |1788 |-4.000000e+01 |-3.400000e+01 | 17.65%
123.56/123.64 c 124s| 400 | 247 | 26004 | 44.1 | 59M| 32 | - | 760 | 41k| 760 | 41k| 252 | 0 |1818 |-4.000000e+01 |-3.400000e+01 | 17.65%
127.15/127.28 c 127s| 500 | 297 | 29387 | 42.0 | 60M| 37 | 78 | 760 | 41k| 760 | 41k| 252 | 0 |1836 |-4.000000e+01 |-3.400000e+01 | 17.65%
130.65/130.79 c 131s| 600 | 339 | 32086 | 39.5 | 61M| 44 | 48 | 760 | 41k| 760 | 41k| 252 | 0 |1854 |-4.000000e+01 |-3.400000e+01 | 17.65%
135.16/135.22 c 135s| 700 | 395 | 35777 | 39.1 | 62M| 44 | 42 | 760 | 41k| 760 | 41k| 252 | 0 |1881 |-4.000000e+01 |-3.400000e+01 | 17.65%
139.15/139.27 c 139s| 800 | 443 | 39370 | 38.7 | 63M| 44 | 38 | 760 | 41k| 760 | 41k| 252 | 0 |1908 |-4.000000e+01 |-3.400000e+01 | 17.65%
143.15/143.28 c 143s| 900 | 507 | 42516 | 37.9 | 64M| 44 | 66 | 760 | 41k| 760 | 41k| 252 | 0 |1934 |-4.000000e+01 |-3.400000e+01 | 17.65%
147.65/147.77 c 148s| 1000 | 559 | 46607 | 38.2 | 66M| 44 | 47 | 760 | 41k| 760 | 41k| 252 | 0 |1962 |-4.000000e+01 |-3.400000e+01 | 17.65%
152.05/152.10 c 152s| 1100 | 613 | 50300 | 38.1 | 67M| 44 | 71 | 760 | 41k| 760 | 41k| 252 | 0 |1990 |-4.000000e+01 |-3.400000e+01 | 17.65%
156.34/156.40 c 156s| 1200 | 661 | 54047 | 38.1 | 68M| 44 | - | 760 | 41k| 760 | 41k| 252 | 0 |2017 |-4.000000e+01 |-3.400000e+01 | 17.65%
161.25/161.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
161.25/161.32 c 161s| 1300 | 731 | 58327 | 38.4 | 70M| 44 | - | 760 | 41k| 760 | 41k| 252 | 0 |2047 |-4.000000e+01 |-3.400000e+01 | 17.65%
165.95/166.10 c 166s| 1400 | 791 | 62860 | 38.9 | 72M| 44 | 76 | 760 | 41k| 760 | 41k| 252 | 0 |2080 |-4.000000e+01 |-3.400000e+01 | 17.65%
169.94/170.01 c 170s| 1500 | 849 | 66168 | 38.5 | 73M| 44 | 87 | 760 | 41k| 760 | 41k| 252 | 0 |2107 |-4.000000e+01 |-3.400000e+01 | 17.65%
177.65/177.71 c 178s| 1600 | 927 | 73338 | 40.6 | 75M| 44 | 73 | 760 | 41k| 760 | 41k| 252 | 0 |2137 |-4.000000e+01 |-3.400000e+01 | 17.65%
186.05/186.12 c 186s| 1700 | 1027 | 81152 | 42.8 | 77M| 44 | 71 | 760 | 41k| 760 | 41k| 252 | 0 |2160 |-4.000000e+01 |-3.400000e+01 | 17.65%
193.34/193.41 c 193s| 1800 | 1127 | 88805 | 44.7 | 79M| 44 | 73 | 760 | 41k| 760 | 41k| 252 | 0 |2169 |-4.000000e+01 |-3.400000e+01 | 17.65%
203.84/203.94 c 204s| 1900 | 1227 |100258 | 48.4 | 81M| 44 | 73 | 760 | 41k| 760 | 41k| 252 | 0 |2177 |-4.000000e+01 |-3.400000e+01 | 17.65%
212.44/212.55 c 213s| 2000 | 1327 |109553 | 50.6 | 83M| 44 | 71 | 760 | 41k| 760 | 41k| 252 | 0 |2204 |-4.000000e+01 |-3.400000e+01 | 17.65%
224.94/225.08 c 225s| 2100 | 1427 |122893 | 54.5 | 85M| 44 | 63 | 760 | 41k| 760 | 41k| 252 | 0 |2228 |-4.000000e+01 |-3.400000e+01 | 17.65%
233.73/233.85 c 234s| 2200 | 1525 |132297 | 56.3 | 87M| 44 | 81 | 760 | 41k| 760 | 41k| 252 | 0 |2237 |-4.000000e+01 |-3.400000e+01 | 17.65%
243.83/243.91 c 244s| 2300 | 1625 |143402 | 58.7 | 90M| 44 | 66 | 760 | 41k| 760 | 41k| 252 | 0 |2245 |-4.000000e+01 |-3.400000e+01 | 17.65%
248.54/248.69 o -35
248.54/248.69 c l 249s| 2348 | 1545 |148556 | 59.7 | 89M| 44 | - | 760 | 41k| 760 | 41k| 252 | 0 |2247 |-4.000000e+01 |-3.500000e+01 | 14.29%
253.73/253.84 c 254s| 2400 | 1595 |154815 | 61.0 | 90M| 44 | 58 | 760 | 41k| 760 | 41k| 252 | 0 |2254 |-4.000000e+01 |-3.500000e+01 | 14.29%
262.33/262.45 c 262s| 2500 | 1689 |164690 | 62.5 | 92M| 44 | 55 | 760 | 41k| 760 | 41k| 252 | 0 |2258 |-4.000000e+01 |-3.500000e+01 | 14.29%
271.83/271.95 c 272s| 2600 | 1783 |175213 | 64.2 | 94M| 44 | 64 | 760 | 41k| 760 | 41k| 252 | 0 |2274 |-4.000000e+01 |-3.500000e+01 | 14.29%
282.03/282.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
282.03/282.18 c 282s| 2700 | 1873 |185499 | 65.6 | 96M| 44 | 60 | 760 | 41k| 760 | 41k| 252 | 0 |2278 |-4.000000e+01 |-3.500000e+01 | 14.29%
295.43/295.58 c 296s| 2800 | 1971 |198567 | 67.9 | 99M| 44 | 93 | 760 | 41k| 760 | 41k| 252 | 0 |2319 |-4.000000e+01 |-3.500000e+01 | 14.29%
306.63/306.71 c 307s| 2900 | 2065 |209405 | 69.3 | 101M| 44 | 83 | 760 | 41k| 760 | 41k| 252 | 0 |2378 |-4.000000e+01 |-3.500000e+01 | 14.29%
318.62/318.71 c 319s| 3000 | 2157 |220403 | 70.7 | 103M| 44 | 61 | 760 | 41k| 760 | 41k| 252 | 0 |2421 |-4.000000e+01 |-3.500000e+01 | 14.29%
329.12/329.22 c 329s| 3100 | 2253 |229929 | 71.5 | 105M| 45 | 85 | 760 | 41k| 760 | 41k| 252 | 0 |2464 |-4.000000e+01 |-3.500000e+01 | 14.29%
341.32/341.41 c 341s| 3200 | 2349 |242282 | 73.1 | 107M| 45 | 97 | 760 | 41k| 760 | 41k| 252 | 0 |2504 |-4.000000e+01 |-3.500000e+01 | 14.29%
351.12/351.26 c 351s| 3300 | 2437 |251610 | 73.7 | 109M| 45 | 53 | 760 | 41k| 760 | 41k| 252 | 0 |2543 |-4.000000e+01 |-3.500000e+01 | 14.29%
363.21/363.37 c 363s| 3400 | 2531 |263786 | 75.1 | 111M| 45 | 100 | 760 | 41k| 760 | 41k| 252 | 0 |2579 |-4.000000e+01 |-3.500000e+01 | 14.29%
371.91/372.06 c 372s| 3500 | 2615 |272337 | 75.4 | 113M| 45 | 60 | 760 | 41k| 760 | 41k| 252 | 0 |2602 |-4.000000e+01 |-3.500000e+01 | 14.29%
380.11/380.25 c 380s| 3600 | 2707 |280766 | 75.7 | 115M| 45 | 84 | 760 | 41k| 760 | 41k| 252 | 0 |2612 |-4.000000e+01 |-3.500000e+01 | 14.29%
387.81/387.99 c 388s| 3700 | 2799 |289659 | 76.0 | 117M| 48 | 99 | 760 | 41k| 760 | 41k| 252 | 0 |2616 |-4.000000e+01 |-3.500000e+01 | 14.29%
397.81/397.93 c 398s| 3800 | 2895 |301235 | 77.1 | 119M| 48 | 80 | 760 | 41k| 760 | 41k| 252 | 0 |2620 |-4.000000e+01 |-3.500000e+01 | 14.29%
404.31/404.48 c 404s| 3900 | 2977 |308329 | 76.9 | 120M| 48 | 52 | 760 | 41k| 760 | 41k| 252 | 0 |2622 |-4.000000e+01 |-3.500000e+01 | 14.29%
413.71/413.88 c 414s| 4000 | 3071 |319419 | 77.8 | 122M| 48 | 61 | 760 | 41k| 760 | 41k| 252 | 0 |2622 |-4.000000e+01 |-3.500000e+01 | 14.29%
420.50/420.61 c 421s| 4100 | 3153 |326771 | 77.7 | 124M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |2623 |-4.000000e+01 |-3.500000e+01 | 14.29%
426.71/426.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
426.71/426.87 c 427s| 4200 | 3221 |334320 | 77.6 | 125M| 48 | 89 | 760 | 41k| 760 | 41k| 252 | 0 |2623 |-4.000000e+01 |-3.500000e+01 | 14.29%
435.41/435.54 c 436s| 4300 | 3309 |344650 | 78.2 | 127M| 48 | 86 | 760 | 41k| 760 | 41k| 252 | 0 |2628 |-4.000000e+01 |-3.500000e+01 | 14.29%
442.31/442.47 c 442s| 4400 | 3379 |351372 | 78.0 | 129M| 48 | 78 | 760 | 41k| 760 | 41k| 252 | 0 |2668 |-4.000000e+01 |-3.500000e+01 | 14.29%
450.11/450.27 c 450s| 4500 | 3449 |358867 | 77.9 | 130M| 48 | 82 | 760 | 41k| 760 | 41k| 252 | 0 |2706 |-4.000000e+01 |-3.500000e+01 | 14.29%
458.90/459.05 c 459s| 4600 | 3535 |367048 | 78.0 | 132M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |2753 |-4.000000e+01 |-3.500000e+01 | 14.29%
468.30/468.42 c 468s| 4700 | 3615 |375741 | 78.2 | 133M| 48 | 77 | 760 | 41k| 760 | 41k| 252 | 0 |2799 |-4.000000e+01 |-3.500000e+01 | 14.29%
476.50/476.61 c 477s| 4800 | 3701 |383708 | 78.2 | 135M| 48 | 71 | 760 | 41k| 760 | 41k| 252 | 0 |2834 |-4.000000e+01 |-3.500000e+01 | 14.29%
482.20/482.37 c 482s| 4900 | 3767 |389293 | 77.7 | 137M| 48 | 74 | 760 | 41k| 760 | 41k| 252 | 0 |2868 |-4.000000e+01 |-3.500000e+01 | 14.29%
491.00/491.20 c 491s| 5000 | 3847 |398667 | 78.1 | 138M| 48 | 116 | 760 | 41k| 760 | 41k| 252 | 0 |2884 |-4.000000e+01 |-3.500000e+01 | 14.29%
495.90/496.04 c 496s| 5100 | 3915 |404616 | 77.7 | 139M| 48 | 93 | 760 | 41k| 760 | 41k| 252 | 0 |2886 |-4.000000e+01 |-3.500000e+01 | 14.29%
503.09/503.23 c 503s| 5200 | 4001 |412173 | 77.7 | 141M| 48 | 49 | 760 | 41k| 760 | 41k| 252 | 0 |2901 |-4.000000e+01 |-3.500000e+01 | 14.29%
509.10/509.21 c 509s| 5300 | 4071 |419590 | 77.6 | 142M| 48 | 90 | 760 | 41k| 760 | 41k| 252 | 0 |2908 |-4.000000e+01 |-3.500000e+01 | 14.29%
516.99/517.17 c 517s| 5400 | 4145 |428553 | 77.8 | 144M| 48 | 52 | 760 | 41k| 760 | 41k| 252 | 0 |2914 |-4.000000e+01 |-3.500000e+01 | 14.29%
523.19/523.36 c 523s| 5500 | 4221 |435696 | 77.7 | 145M| 48 | 58 | 760 | 41k| 760 | 41k| 252 | 0 |2923 |-4.000000e+01 |-3.500000e+01 | 14.29%
529.48/529.64 c 530s| 5600 | 4305 |443230 | 77.7 | 147M| 48 | 76 | 760 | 41k| 760 | 41k| 252 | 0 |2925 |-4.000000e+01 |-3.500000e+01 | 14.29%
536.29/536.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
536.29/536.42 c 536s| 5700 | 4379 |451314 | 77.7 | 148M| 48 | 79 | 760 | 41k| 760 | 41k| 252 | 0 |2927 |-4.000000e+01 |-3.500000e+01 | 14.29%
542.48/542.65 c 543s| 5800 | 4457 |458299 | 77.6 | 150M| 48 | 70 | 760 | 41k| 760 | 41k| 252 | 0 |2928 |-4.000000e+01 |-3.500000e+01 | 14.29%
549.68/549.81 c 550s| 5900 | 4539 |466265 | 77.6 | 151M| 48 | 92 | 760 | 41k| 760 | 41k| 252 | 0 |2940 |-4.000000e+01 |-3.500000e+01 | 14.29%
555.78/555.99 c 556s| 6000 | 4609 |473588 | 77.5 | 153M| 48 | 71 | 760 | 41k| 760 | 41k| 252 | 0 |2944 |-4.000000e+01 |-3.500000e+01 | 14.29%
562.48/562.60 c 563s| 6100 | 4687 |480985 | 77.5 | 154M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |2946 |-4.000000e+01 |-3.500000e+01 | 14.29%
570.38/570.55 c 571s| 6200 | 4763 |488417 | 77.4 | 156M| 48 | 69 | 760 | 41k| 760 | 41k| 252 | 0 |2981 |-4.000000e+01 |-3.500000e+01 | 14.29%
578.58/578.72 c 579s| 6300 | 4845 |496948 | 77.6 | 157M| 48 | 100 | 760 | 41k| 760 | 41k| 252 | 0 |3015 |-4.000000e+01 |-3.500000e+01 | 14.29%
586.38/586.54 c 587s| 6400 | 4927 |503861 | 77.4 | 159M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3054 |-4.000000e+01 |-3.500000e+01 | 14.29%
593.98/594.11 c 594s| 6500 | 4999 |512318 | 77.5 | 160M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3081 |-4.000000e+01 |-3.500000e+01 | 14.29%
602.07/602.24 c 602s| 6600 | 5071 |520155 | 77.5 | 161M| 48 | 63 | 760 | 41k| 760 | 41k| 252 | 0 |3125 |-4.000000e+01 |-3.500000e+01 | 14.29%
607.78/607.94 c 608s| 6700 | 5139 |525526 | 77.2 | 163M| 48 | 50 | 760 | 41k| 760 | 41k| 252 | 0 |3157 |-4.000000e+01 |-3.500000e+01 | 14.29%
614.78/614.92 c 615s| 6800 | 5201 |531883 | 77.0 | 164M| 48 | 53 | 760 | 41k| 760 | 41k| 252 | 0 |3192 |-4.000000e+01 |-3.500000e+01 | 14.29%
622.57/622.70 c 623s| 6900 | 5271 |539117 | 76.9 | 165M| 48 | 67 | 760 | 41k| 760 | 41k| 252 | 0 |3218 |-4.000000e+01 |-3.500000e+01 | 14.29%
630.07/630.23 c 630s| 7000 | 5355 |546633 | 76.9 | 167M| 48 | 58 | 760 | 41k| 760 | 41k| 252 | 0 |3251 |-4.000000e+01 |-3.500000e+01 | 14.29%
636.67/636.83 c 637s| 7100 | 5433 |554051 | 76.9 | 168M| 48 | 51 | 760 | 41k| 760 | 41k| 252 | 0 |3261 |-4.000000e+01 |-3.500000e+01 | 14.29%
644.27/644.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
644.27/644.42 c 644s| 7200 | 5523 |562530 | 77.0 | 170M| 48 | 44 | 760 | 41k| 760 | 41k| 252 | 0 |3276 |-4.000000e+01 |-3.500000e+01 | 14.29%
651.57/651.74 c 652s| 7300 | 5597 |570598 | 77.0 | 171M| 48 | 44 | 760 | 41k| 760 | 41k| 252 | 0 |3286 |-4.000000e+01 |-3.500000e+01 | 14.29%
658.78/658.94 c 659s| 7400 | 5673 |578116 | 77.0 | 173M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3305 |-4.000000e+01 |-3.500000e+01 | 14.29%
666.06/666.24 c 666s| 7500 | 5751 |585503 | 77.0 | 174M| 48 | 44 | 760 | 41k| 760 | 41k| 252 | 0 |3321 |-4.000000e+01 |-3.500000e+01 | 14.29%
673.07/673.27 c 673s| 7600 | 5829 |593512 | 77.0 | 176M| 48 | 34 | 760 | 41k| 760 | 41k| 252 | 0 |3330 |-4.000000e+01 |-3.500000e+01 | 14.29%
681.47/681.65 c 682s| 7700 | 5915 |602602 | 77.2 | 177M| 48 | 119 | 760 | 41k| 760 | 41k| 252 | 0 |3332 |-4.000000e+01 |-3.500000e+01 | 14.29%
687.57/687.70 c 688s| 7800 | 5987 |609478 | 77.1 | 178M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3332 |-4.000000e+01 |-3.500000e+01 | 14.29%
694.16/694.34 c 694s| 7900 | 6057 |617068 | 77.1 | 180M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3336 |-4.000000e+01 |-3.500000e+01 | 14.29%
699.86/700.04 c 700s| 8000 | 6111 |623081 | 76.8 | 181M| 48 | 109 | 760 | 41k| 760 | 41k| 252 | 0 |3346 |-4.000000e+01 |-3.500000e+01 | 14.29%
706.56/706.75 c 707s| 8100 | 6185 |630360 | 76.8 | 182M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3352 |-4.000000e+01 |-3.500000e+01 | 14.29%
712.36/712.59 c 713s| 8200 | 6263 |637307 | 76.7 | 184M| 48 | 75 | 760 | 41k| 760 | 41k| 252 | 0 |3352 |-4.000000e+01 |-3.500000e+01 | 14.29%
717.46/717.69 c 718s| 8300 | 6325 |642943 | 76.5 | 185M| 48 | 66 | 760 | 41k| 760 | 41k| 252 | 0 |3357 |-4.000000e+01 |-3.500000e+01 | 14.29%
724.86/725.02 c 725s| 8400 | 6399 |651023 | 76.5 | 186M| 48 | 60 | 760 | 41k| 760 | 41k| 252 | 0 |3358 |-4.000000e+01 |-3.500000e+01 | 14.29%
730.66/730.84 c 731s| 8500 | 6467 |657576 | 76.4 | 187M| 48 | 42 | 760 | 41k| 760 | 41k| 252 | 0 |3368 |-4.000000e+01 |-3.500000e+01 | 14.29%
736.56/736.72 c 737s| 8600 | 6523 |663127 | 76.1 | 188M| 48 | 63 | 760 | 41k| 760 | 41k| 252 | 0 |3397 |-4.000000e+01 |-3.500000e+01 | 14.29%
742.26/742.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
742.26/742.45 c 742s| 8700 | 6579 |669128 | 76.0 | 190M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3423 |-4.000000e+01 |-3.500000e+01 | 14.29%
749.66/749.84 c 750s| 8800 | 6653 |676459 | 75.9 | 191M| 48 | 64 | 760 | 41k| 760 | 41k| 252 | 0 |3452 |-4.000000e+01 |-3.500000e+01 | 14.29%
758.55/758.73 c 759s| 8900 | 6729 |684561 | 76.0 | 192M| 48 | 59 | 760 | 41k| 760 | 41k| 252 | 0 |3489 |-4.000000e+01 |-3.500000e+01 | 14.29%
765.85/766.00 c 766s| 9000 | 6801 |691655 | 75.9 | 194M| 48 | 71 | 760 | 41k| 760 | 41k| 252 | 0 |3525 |-4.000000e+01 |-3.500000e+01 | 14.29%
771.96/772.19 o -36
771.96/772.19 c l 772s| 9075 | 5578 |698052 | 76.0 | 179M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3545 |-4.000000e+01 |-3.600000e+01 | 11.11%
773.65/773.83 c 774s| 9100 | 5601 |699718 | 76.0 | 179M| 48 | 80 | 760 | 41k| 760 | 41k| 252 | 0 |3546 |-4.000000e+01 |-3.600000e+01 | 11.11%
779.84/780.04 c 780s| 9200 | 5659 |704861 | 75.7 | 181M| 48 | 78 | 760 | 41k| 760 | 41k| 252 | 0 |3576 |-4.000000e+01 |-3.600000e+01 | 11.11%
785.26/785.43 c 785s| 9300 | 5715 |710817 | 75.5 | 182M| 48 | 73 | 760 | 41k| 760 | 41k| 252 | 0 |3594 |-4.000000e+01 |-3.600000e+01 | 11.11%
793.35/793.53 c 794s| 9400 | 5775 |718554 | 75.6 | 183M| 48 | 80 | 760 | 41k| 760 | 41k| 252 | 0 |3626 |-4.000000e+01 |-3.600000e+01 | 11.11%
799.95/800.18 c 800s| 9500 | 5839 |725520 | 75.5 | 184M| 48 | 77 | 760 | 41k| 760 | 41k| 252 | 0 |3651 |-4.000000e+01 |-3.600000e+01 | 11.11%
805.45/805.65 c 806s| 9600 | 5885 |730554 | 75.2 | 185M| 48 | 56 | 760 | 41k| 760 | 41k| 252 | 0 |3670 |-4.000000e+01 |-3.600000e+01 | 11.11%
811.24/811.45 c 811s| 9700 | 5943 |737233 | 75.1 | 187M| 48 | 86 | 760 | 41k| 760 | 41k| 252 | 0 |3687 |-4.000000e+01 |-3.600000e+01 | 11.11%
817.05/817.27 c 817s| 9800 | 6001 |742682 | 74.9 | 188M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3706 |-4.000000e+01 |-3.600000e+01 | 11.11%
822.74/822.92 c 823s| 9900 | 6063 |748577 | 74.8 | 189M| 48 | 112 | 760 | 41k| 760 | 41k| 252 | 0 |3712 |-4.000000e+01 |-3.600000e+01 | 11.11%
826.24/826.47 c 826s| 10000 | 6103 |753195 | 74.5 | 190M| 48 | 97 | 760 | 41k| 760 | 41k| 252 | 0 |3712 |-4.000000e+01 |-3.600000e+01 | 11.11%
832.74/832.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
832.74/832.94 c 833s| 10100 | 6167 |760335 | 74.5 | 191M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3728 |-4.000000e+01 |-3.600000e+01 | 11.11%
839.14/839.37 c 839s| 10200 | 6231 |767082 | 74.4 | 193M| 48 | 88 | 760 | 41k| 760 | 41k| 252 | 0 |3740 |-4.000000e+01 |-3.600000e+01 | 11.11%
845.44/845.63 c 846s| 10300 | 6285 |774180 | 74.4 | 194M| 48 | 68 | 760 | 41k| 760 | 41k| 252 | 0 |3745 |-4.000000e+01 |-3.600000e+01 | 11.11%
849.84/850.08 c 850s| 10400 | 6333 |779391 | 74.1 | 195M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3746 |-4.000000e+01 |-3.600000e+01 | 11.11%
854.84/855.04 c 855s| 10500 | 6393 |785329 | 74.0 | 196M| 48 | 89 | 760 | 41k| 760 | 41k| 252 | 0 |3748 |-4.000000e+01 |-3.600000e+01 | 11.11%
858.64/858.80 c 859s| 10600 | 6431 |789868 | 73.7 | 197M| 48 | 81 | 760 | 41k| 760 | 41k| 252 | 0 |3749 |-4.000000e+01 |-3.600000e+01 | 11.11%
863.03/863.24 c 863s| 10700 | 6463 |794875 | 73.5 | 197M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3749 |-4.000000e+01 |-3.600000e+01 | 11.11%
868.44/868.68 c 869s| 10800 | 6519 |801229 | 73.4 | 198M| 48 | 68 | 760 | 41k| 760 | 41k| 252 | 0 |3751 |-4.000000e+01 |-3.600000e+01 | 11.11%
873.84/874.00 c 874s| 10900 | 6577 |806994 | 73.3 | 200M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3751 |-4.000000e+01 |-3.600000e+01 | 11.11%
879.03/879.25 c 879s| 11000 | 6625 |813519 | 73.2 | 201M| 48 | 75 | 760 | 41k| 760 | 41k| 252 | 0 |3755 |-4.000000e+01 |-3.600000e+01 | 11.11%
884.23/884.43 c 884s| 11100 | 6665 |819138 | 73.0 | 201M| 48 | 63 | 760 | 41k| 760 | 41k| 252 | 0 |3755 |-4.000000e+01 |-3.600000e+01 | 11.11%
888.13/888.39 c 888s| 11200 | 6715 |824163 | 72.8 | 202M| 48 | 57 | 760 | 41k| 760 | 41k| 252 | 0 |3756 |-4.000000e+01 |-3.600000e+01 | 11.11%
892.32/892.55 c 893s| 11300 | 6753 |829161 | 72.6 | 203M| 48 | 62 | 760 | 41k| 760 | 41k| 252 | 0 |3756 |-4.000000e+01 |-3.600000e+01 | 11.11%
896.13/896.32 c 896s| 11400 | 6793 |833973 | 72.4 | 204M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3756 |-4.000000e+01 |-3.600000e+01 | 11.11%
901.12/901.39 c 901s| 11500 | 6845 |838848 | 72.2 | 205M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3782 |-4.000000e+01 |-3.600000e+01 | 11.11%
905.53/905.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
905.53/905.73 c 906s| 11600 | 6879 |843157 | 72.0 | 206M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3802 |-4.000000e+01 |-3.600000e+01 | 11.11%
910.12/910.35 c 910s| 11700 | 6923 |848159 | 71.8 | 206M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3823 |-4.000000e+01 |-3.600000e+01 | 11.11%
916.13/916.31 c 916s| 11800 | 6969 |854316 | 71.7 | 207M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3854 |-4.000000e+01 |-3.600000e+01 | 11.11%
924.12/924.32 c 924s| 11900 | 7035 |861617 | 71.7 | 209M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3881 |-4.000000e+01 |-3.600000e+01 | 11.11%
931.12/931.38 c 931s| 12000 | 7087 |868560 | 71.7 | 210M| 48 | 52 | 760 | 41k| 760 | 41k| 252 | 0 |3906 |-4.000000e+01 |-3.600000e+01 | 11.11%
936.53/936.77 c 937s| 12100 | 7133 |873752 | 71.5 | 211M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3941 |-4.000000e+01 |-3.600000e+01 | 11.11%
941.82/942.04 c 942s| 12200 | 7181 |878978 | 71.4 | 212M| 48 | 50 | 760 | 41k| 760 | 41k| 252 | 0 |3955 |-4.000000e+01 |-3.600000e+01 | 11.11%
947.72/947.95 c 948s| 12300 | 7233 |884607 | 71.2 | 213M| 48 | 49 | 760 | 41k| 760 | 41k| 252 | 0 |3984 |-4.000000e+01 |-3.600000e+01 | 11.11%
953.32/953.53 c 954s| 12400 | 7273 |890388 | 71.1 | 214M| 48 | 67 | 760 | 41k| 760 | 41k| 252 | 0 |4007 |-4.000000e+01 |-3.600000e+01 | 11.11%
959.12/959.36 c 959s| 12500 | 7333 |895682 | 71.0 | 215M| 48 | 98 | 760 | 41k| 760 | 41k| 252 | 0 |4032 |-4.000000e+01 |-3.600000e+01 | 11.11%
965.92/966.13 c 966s| 12600 | 7383 |901184 | 70.9 | 216M| 48 | 76 | 760 | 41k| 760 | 41k| 252 | 0 |4057 |-4.000000e+01 |-3.600000e+01 | 11.11%
971.22/971.48 c 971s| 12700 | 7445 |906691 | 70.7 | 217M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4073 |-4.000000e+01 |-3.600000e+01 | 11.11%
977.72/977.95 c 978s| 12800 | 7499 |913056 | 70.7 | 218M| 48 | 78 | 760 | 41k| 760 | 41k| 252 | 0 |4101 |-4.000000e+01 |-3.600000e+01 | 11.11%
984.32/984.55 c 985s| 12900 | 7565 |920680 | 70.7 | 219M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4109 |-4.000000e+01 |-3.600000e+01 | 11.11%
987.82/988.04 c 988s| 13000 | 7607 |924254 | 70.5 | 220M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4116 |-4.000000e+01 |-3.600000e+01 | 11.11%
992.21/992.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
992.21/992.48 c 992s| 13100 | 7657 |929746 | 70.3 | 221M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4116 |-4.000000e+01 |-3.600000e+01 | 11.11%
998.31/998.50 c 998s| 13200 | 7715 |937066 | 70.4 | 222M| 48 | 76 | 760 | 41k| 760 | 41k| 252 | 0 |4121 |-4.000000e+01 |-3.600000e+01 | 11.11%
1002.82/1003.07 c 1003s| 13300 | 7771 |942644 | 70.2 | 223M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4124 |-4.000000e+01 |-3.600000e+01 | 11.11%
1010.11/1010.36 c 1010s| 13400 | 7833 |950844 | 70.3 | 224M| 48 | 67 | 760 | 41k| 760 | 41k| 252 | 0 |4128 |-4.000000e+01 |-3.600000e+01 | 11.11%
1015.02/1015.22 c 1015s| 13500 | 7883 |956411 | 70.2 | 225M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4132 |-4.000000e+01 |-3.600000e+01 | 11.11%
1019.51/1019.75 c 1020s| 13600 | 7925 |961523 | 70.1 | 226M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4133 |-4.000000e+01 |-3.600000e+01 | 11.11%
1024.21/1024.46 c 1024s| 13700 | 7985 |967428 | 70.0 | 227M| 48 | 68 | 760 | 41k| 760 | 41k| 252 | 0 |4133 |-4.000000e+01 |-3.600000e+01 | 11.11%
1028.51/1028.79 c 1029s| 13800 | 8033 |972248 | 69.8 | 228M| 48 | 67 | 760 | 41k| 760 | 41k| 252 | 0 |4134 |-4.000000e+01 |-3.600000e+01 | 11.11%
1033.00/1033.29 c 1033s| 13900 | 8077 |977903 | 69.8 | 229M| 48 | 85 | 760 | 41k| 760 | 41k| 252 | 0 |4140 |-4.000000e+01 |-3.600000e+01 | 11.11%
1037.71/1037.94 c 1038s| 14000 | 8127 |982693 | 69.6 | 230M| 48 | 69 | 760 | 41k| 760 | 41k| 252 | 0 |4140 |-4.000000e+01 |-3.600000e+01 | 11.11%
1043.71/1043.99 c 1044s| 14100 | 8185 |989612 | 69.6 | 231M| 48 | 59 | 760 | 41k| 760 | 41k| 252 | 0 |4141 |-4.000000e+01 |-3.600000e+01 | 11.11%
1048.60/1048.88 c 1049s| 14200 | 8227 |996261 | 69.6 | 232M| 48 | 139 | 760 | 41k| 760 | 41k| 252 | 0 |4142 |-4.000000e+01 |-3.600000e+01 | 11.11%
1054.50/1054.71 c 1055s| 14300 | 8283 | 1003k| 69.6 | 233M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4143 |-4.000000e+01 |-3.600000e+01 | 11.11%
1059.10/1059.32 c 1059s| 14400 | 8329 | 1008k| 69.5 | 234M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4144 |-4.000000e+01 |-3.600000e+01 | 11.11%
1063.10/1063.37 c 1063s| 14500 | 8373 | 1014k| 69.4 | 235M| 48 | 84 | 760 | 41k| 760 | 41k| 252 | 0 |4146 |-4.000000e+01 |-3.600000e+01 | 11.11%
1066.80/1067.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1066.80/1067.02 c 1067s| 14600 | 8405 | 1018k| 69.2 | 235M| 48 | 115 | 760 | 41k| 760 | 41k| 252 | 0 |4152 |-4.000000e+01 |-3.600000e+01 | 11.11%
1073.10/1073.36 c 1073s| 14700 | 8447 | 1024k| 69.1 | 236M| 48 | 75 | 760 | 41k| 760 | 41k| 252 | 0 |4178 |-4.000000e+01 |-3.600000e+01 | 11.11%
1078.60/1078.82 c 1079s| 14800 | 8499 | 1029k| 69.0 | 237M| 48 | 129 | 760 | 41k| 760 | 41k| 252 | 0 |4193 |-4.000000e+01 |-3.600000e+01 | 11.11%
1084.50/1084.76 c 1085s| 14900 | 8539 | 1035k| 69.0 | 238M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4218 |-4.000000e+01 |-3.600000e+01 | 11.11%
1089.50/1089.78 c 1090s| 15000 | 8591 | 1041k| 68.9 | 239M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4233 |-4.000000e+01 |-3.600000e+01 | 11.11%
1094.79/1095.04 c 1095s| 15100 | 8639 | 1046k| 68.7 | 240M| 48 | 65 | 760 | 41k| 760 | 41k| 252 | 0 |4259 |-4.000000e+01 |-3.600000e+01 | 11.11%
1098.89/1099.15 c 1099s| 15200 | 8681 | 1050k| 68.6 | 241M| 48 | 67 | 760 | 41k| 760 | 41k| 252 | 0 |4278 |-4.000000e+01 |-3.600000e+01 | 11.11%
1104.20/1104.46 c 1104s| 15300 | 8739 | 1056k| 68.5 | 242M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4291 |-4.000000e+01 |-3.600000e+01 | 11.11%
1109.30/1109.56 c 1110s| 15400 | 8785 | 1060k| 68.4 | 243M| 48 | 124 | 760 | 41k| 760 | 41k| 252 | 0 |4311 |-4.000000e+01 |-3.600000e+01 | 11.11%
1116.09/1116.38 c 1116s| 15500 | 8837 | 1068k| 68.4 | 244M| 48 | 75 | 760 | 41k| 760 | 41k| 252 | 0 |4331 |-4.000000e+01 |-3.600000e+01 | 11.11%
1121.09/1121.31 c 1121s| 15600 | 8887 | 1073k| 68.3 | 245M| 48 | 59 | 760 | 41k| 760 | 41k| 252 | 0 |4355 |-4.000000e+01 |-3.600000e+01 | 11.11%
1126.29/1126.57 c 1127s| 15700 | 8929 | 1078k| 68.2 | 245M| 48 | 84 | 760 | 41k| 760 | 41k| 252 | 0 |4383 |-4.000000e+01 |-3.600000e+01 | 11.11%
1131.19/1131.47 c 1131s| 15800 | 8973 | 1083k| 68.1 | 246M| 48 | 69 | 760 | 41k| 760 | 41k| 252 | 0 |4399 |-4.000000e+01 |-3.600000e+01 | 11.11%
1135.39/1135.64 c 1136s| 15900 | 9009 | 1088k| 67.9 | 247M| 48 | 50 | 760 | 41k| 760 | 41k| 252 | 0 |4415 |-4.000000e+01 |-3.600000e+01 | 11.11%
1139.99/1140.20 c 1140s| 16000 | 9055 | 1092k| 67.8 | 248M| 48 | 90 | 760 | 41k| 760 | 41k| 252 | 0 |4437 |-4.000000e+01 |-3.600000e+01 | 11.11%
1145.09/1145.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1145.09/1145.38 c 1145s| 16100 | 9095 | 1098k| 67.7 | 249M| 48 | 114 | 760 | 41k| 760 | 41k| 252 | 0 |4458 |-4.000000e+01 |-3.600000e+01 | 11.11%
1149.99/1150.22 c 1150s| 16200 | 9137 | 1103k| 67.6 | 249M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4472 |-4.000000e+01 |-3.600000e+01 | 11.11%
1154.59/1154.87 c 1155s| 16300 | 9185 | 1108k| 67.5 | 250M| 48 | 63 | 760 | 41k| 760 | 41k| 252 | 0 |4489 |-4.000000e+01 |-3.600000e+01 | 11.11%
1159.79/1160.05 c 1160s| 16400 | 9245 | 1114k| 67.5 | 251M| 48 | 69 | 760 | 41k| 760 | 41k| 252 | 0 |4491 |-4.000000e+01 |-3.600000e+01 | 11.11%
1164.60/1164.84 c 1165s| 16500 | 9303 | 1120k| 67.4 | 252M| 48 | 52 | 760 | 41k| 760 | 41k| 252 | 0 |4502 |-4.000000e+01 |-3.600000e+01 | 11.11%
1168.69/1168.98 c 1169s| 16600 | 9333 | 1125k| 67.3 | 253M| 48 | 45 | 760 | 41k| 760 | 41k| 252 | 0 |4510 |-4.000000e+01 |-3.600000e+01 | 11.11%
1172.29/1172.54 c 1173s| 16700 | 9367 | 1128k| 67.1 | 254M| 48 | 81 | 760 | 41k| 760 | 41k| 252 | 0 |4516 |-4.000000e+01 |-3.600000e+01 | 11.11%
1177.79/1178.03 c 1178s| 16800 | 9429 | 1135k| 67.1 | 255M| 48 | 84 | 760 | 41k| 760 | 41k| 252 | 0 |4516 |-4.000000e+01 |-3.600000e+01 | 11.11%
1182.88/1183.19 c 1183s| 16900 | 9501 | 1142k| 67.1 | 256M| 48 | 80 | 760 | 41k| 760 | 41k| 252 | 0 |4519 |-4.000000e+01 |-3.600000e+01 | 11.11%
1187.38/1187.67 c 1188s| 17000 | 9547 | 1148k| 67.1 | 257M| 48 | 66 | 760 | 41k| 760 | 41k| 252 | 0 |4522 |-4.000000e+01 |-3.600000e+01 | 11.11%
1192.38/1192.69 c 1193s| 17100 | 9605 | 1154k| 67.0 | 258M| 48 | 101 | 760 | 41k| 760 | 41k| 252 | 0 |4524 |-4.000000e+01 |-3.600000e+01 | 11.11%
1196.58/1196.84 c 1197s| 17200 | 9643 | 1160k| 67.0 | 259M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4524 |-4.000000e+01 |-3.600000e+01 | 11.11%
1200.58/1200.81 c 1201s| 17300 | 9683 | 1165k| 66.9 | 259M| 48 | 84 | 760 | 41k| 760 | 41k| 252 | 0 |4525 |-4.000000e+01 |-3.600000e+01 | 11.11%
1204.67/1204.97 c 1205s| 17400 | 9731 | 1170k| 66.8 | 260M| 48 | 63 | 760 | 41k| 760 | 41k| 252 | 0 |4526 |-4.000000e+01 |-3.600000e+01 | 11.11%
1208.78/1209.05 c 1209s| 17500 | 9769 | 1175k| 66.7 | 261M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4531 |-4.000000e+01 |-3.600000e+01 | 11.11%
1212.78/1213.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1212.78/1213.08 c 1213s| 17600 | 9815 | 1180k| 66.6 | 262M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4531 |-4.000000e+01 |-3.600000e+01 | 11.11%
1217.07/1217.39 c 1217s| 17700 | 9873 | 1185k| 66.5 | 263M| 48 | 90 | 760 | 41k| 760 | 41k| 252 | 0 |4533 |-4.000000e+01 |-3.600000e+01 | 11.11%
1221.08/1221.31 c 1221s| 17800 | 9933 | 1190k| 66.4 | 264M| 48 | 78 | 760 | 41k| 760 | 41k| 252 | 0 |4535 |-4.000000e+01 |-3.600000e+01 | 11.11%
1226.78/1227.01 c 1227s| 17900 | 9997 | 1197k| 66.4 | 265M| 48 | 94 | 760 | 41k| 760 | 41k| 252 | 0 |4536 |-4.000000e+01 |-3.600000e+01 | 11.11%
1231.57/1231.84 c 1232s| 18000 | 10055 | 1203k| 66.4 | 265M| 48 | 51 | 760 | 41k| 760 | 41k| 252 | 0 |4541 |-4.000000e+01 |-3.600000e+01 | 11.11%
1235.58/1235.83 c 1236s| 18100 | 10103 | 1208k| 66.3 | 266M| 48 | 93 | 760 | 41k| 760 | 41k| 252 | 0 |4542 |-4.000000e+01 |-3.600000e+01 | 11.11%
1238.28/1238.59 c 1239s| 18200 | 10137 | 1212k| 66.2 | 267M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4542 |-4.000000e+01 |-3.600000e+01 | 11.11%
1242.87/1243.11 c 1243s| 18300 | 10197 | 1218k| 66.1 | 268M| 48 | 66 | 760 | 41k| 760 | 41k| 252 | 0 |4543 |-4.000000e+01 |-3.600000e+01 | 11.11%
1247.87/1248.17 c 1248s| 18400 | 10249 | 1224k| 66.1 | 269M| 48 | 64 | 760 | 41k| 760 | 41k| 252 | 0 |4546 |-4.000000e+01 |-3.600000e+01 | 11.11%
1252.37/1252.60 c 1253s| 18500 | 10287 | 1230k| 66.1 | 270M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4546 |-4.000000e+01 |-3.600000e+01 | 11.11%
1256.67/1256.95 c 1257s| 18600 | 10337 | 1235k| 66.0 | 271M| 48 | 60 | 760 | 41k| 760 | 41k| 252 | 0 |4546 |-4.000000e+01 |-3.600000e+01 | 11.11%
1260.17/1260.50 c 1260s| 18700 | 10379 | 1240k| 65.9 | 271M| 48 | 74 | 760 | 41k| 760 | 41k| 252 | 0 |4547 |-4.000000e+01 |-3.600000e+01 | 11.11%
1263.68/1263.98 c 1264s| 18800 | 10411 | 1244k| 65.8 | 272M| 48 | 80 | 760 | 41k| 760 | 41k| 252 | 0 |4548 |-4.000000e+01 |-3.600000e+01 | 11.11%
1268.27/1268.53 c 1269s| 18900 | 10459 | 1250k| 65.7 | 273M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4551 |-4.000000e+01 |-3.600000e+01 | 11.11%
1272.07/1272.36 c 1272s| 19000 | 10513 | 1254k| 65.6 | 274M| 48 | 78 | 760 | 41k| 760 | 41k| 252 | 0 |4552 |-4.000000e+01 |-3.600000e+01 | 11.11%
1276.36/1276.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1276.36/1276.62 c 1277s| 19100 | 10575 | 1260k| 65.6 | 275M| 48 | 71 | 760 | 41k| 760 | 41k| 252 | 0 |4552 |-4.000000e+01 |-3.600000e+01 | 11.11%
1280.97/1281.20 c 1281s| 19200 | 10625 | 1265k| 65.5 | 276M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4562 |-4.000000e+01 |-3.600000e+01 | 11.11%
1285.47/1285.70 c 1286s| 19300 | 10671 | 1270k| 65.4 | 276M| 48 | 72 | 760 | 41k| 760 | 41k| 252 | 0 |4564 |-4.000000e+01 |-3.600000e+01 | 11.11%
1288.37/1288.62 c 1289s| 19400 | 10707 | 1274k| 65.3 | 277M| 48 | 91 | 760 | 41k| 760 | 41k| 252 | 0 |4564 |-4.000000e+01 |-3.600000e+01 | 11.11%
1292.37/1292.63 c 1293s| 19500 | 10755 | 1280k| 65.2 | 278M| 48 | 78 | 760 | 41k| 760 | 41k| 252 | 0 |4564 |-4.000000e+01 |-3.600000e+01 | 11.11%
1295.97/1296.20 c 1296s| 19600 | 10801 | 1284k| 65.1 | 279M| 48 | 102 | 760 | 41k| 760 | 41k| 252 | 0 |4564 |-4.000000e+01 |-3.600000e+01 | 11.11%
1299.16/1299.41 c 1299s| 19700 | 10837 | 1289k| 65.0 | 279M| 48 | 55 | 760 | 41k| 760 | 41k| 252 | 0 |4566 |-4.000000e+01 |-3.600000e+01 | 11.11%
1302.96/1303.23 c 1303s| 19800 | 10881 | 1293k| 64.9 | 280M| 48 | 102 | 760 | 41k| 760 | 41k| 252 | 0 |4566 |-4.000000e+01 |-3.600000e+01 | 11.11%
1307.76/1308.04 c 1308s| 19900 | 10927 | 1298k| 64.9 | 281M| 48 | 52 | 760 | 41k| 760 | 41k| 252 | 0 |4566 |-4.000000e+01 |-3.600000e+01 | 11.11%
1310.66/1310.91 c 1311s| 20000 | 10959 | 1302k| 64.7 | 281M| 48 | 159 | 760 | 41k| 760 | 41k| 252 | 0 |4567 |-4.000000e+01 |-3.600000e+01 | 11.11%
1314.76/1315.08 c 1315s| 20100 | 11013 | 1307k| 64.6 | 282M| 48 | 65 | 760 | 41k| 760 | 41k| 252 | 0 |4568 |-4.000000e+01 |-3.600000e+01 | 11.11%
1318.35/1318.60 c 1319s| 20200 | 11057 | 1311k| 64.5 | 283M| 48 | 71 | 760 | 41k| 760 | 41k| 252 | 0 |4568 |-4.000000e+01 |-3.600000e+01 | 11.11%
1321.97/1322.26 c 1322s| 20300 | 11111 | 1316k| 64.4 | 284M| 48 | 69 | 760 | 41k| 760 | 41k| 252 | 0 |4569 |-4.000000e+01 |-3.600000e+01 | 11.11%
1326.45/1326.77 c 1327s| 20400 | 11163 | 1321k| 64.4 | 285M| 48 | 89 | 760 | 41k| 760 | 41k| 252 | 0 |4569 |-4.000000e+01 |-3.600000e+01 | 11.11%
1330.26/1330.51 c 1331s| 20500 | 11213 | 1326k| 64.3 | 286M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4571 |-4.000000e+01 |-3.600000e+01 | 11.11%
1334.56/1334.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1334.56/1334.86 c 1335s| 20600 | 11261 | 1331k| 64.2 | 287M| 48 | 91 | 760 | 41k| 760 | 41k| 252 | 0 |4573 |-4.000000e+01 |-3.600000e+01 | 11.11%
1338.36/1338.62 c 1339s| 20700 | 11297 | 1335k| 64.1 | 287M| 48 | 75 | 760 | 41k| 760 | 41k| 252 | 0 |4573 |-4.000000e+01 |-3.600000e+01 | 11.11%
1341.06/1341.36 c 1341s| 20800 | 11333 | 1339k| 64.0 | 288M| 48 | 85 | 760 | 41k| 760 | 41k| 252 | 0 |4573 |-4.000000e+01 |-3.600000e+01 | 11.11%
1344.75/1345.07 c 1345s| 20900 | 11377 | 1343k| 63.9 | 289M| 48 | 80 | 760 | 41k| 760 | 41k| 252 | 0 |4574 |-4.000000e+01 |-3.600000e+01 | 11.11%
1349.85/1350.10 c 1350s| 21000 | 11433 | 1350k| 63.9 | 290M| 48 | 71 | 760 | 41k| 760 | 41k| 252 | 0 |4574 |-4.000000e+01 |-3.600000e+01 | 11.11%
1353.15/1353.44 c 1353s| 21100 | 11479 | 1354k| 63.8 | 290M| 48 | 84 | 760 | 41k| 760 | 41k| 252 | 0 |4574 |-4.000000e+01 |-3.600000e+01 | 11.11%
1356.85/1357.17 c 1357s| 21200 | 11519 | 1358k| 63.7 | 291M| 48 | 82 | 760 | 41k| 760 | 41k| 252 | 0 |4575 |-4.000000e+01 |-3.600000e+01 | 11.11%
1361.56/1361.86 c 1362s| 21300 | 11579 | 1364k| 63.7 | 292M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4575 |-4.000000e+01 |-3.600000e+01 | 11.11%
1365.76/1366.04 c 1366s| 21400 | 11627 | 1369k| 63.6 | 293M| 48 | 75 | 760 | 41k| 760 | 41k| 252 | 0 |4578 |-4.000000e+01 |-3.600000e+01 | 11.11%
1370.75/1371.08 c 1371s| 21500 | 11683 | 1375k| 63.6 | 294M| 48 | 77 | 760 | 41k| 760 | 41k| 252 | 0 |4587 |-4.000000e+01 |-3.600000e+01 | 11.11%
1375.95/1376.24 c 1376s| 21600 | 11727 | 1382k| 63.6 | 295M| 48 | 84 | 760 | 41k| 760 | 41k| 252 | 0 |4587 |-4.000000e+01 |-3.600000e+01 | 11.11%
1379.75/1380.02 c 1380s| 21700 | 11773 | 1386k| 63.5 | 295M| 48 | 75 | 760 | 41k| 760 | 41k| 252 | 0 |4587 |-4.000000e+01 |-3.600000e+01 | 11.11%
1383.05/1383.39 c 1383s| 21800 | 11809 | 1390k| 63.4 | 296M| 48 | 79 | 760 | 41k| 760 | 41k| 252 | 0 |4587 |-4.000000e+01 |-3.600000e+01 | 11.11%
1386.95/1387.29 c 1387s| 21900 | 11849 | 1395k| 63.3 | 297M| 48 | 84 | 760 | 41k| 760 | 41k| 252 | 0 |4587 |-4.000000e+01 |-3.600000e+01 | 11.11%
1391.15/1391.49 c 1391s| 22000 | 11903 | 1400k| 63.3 | 297M| 48 | 51 | 760 | 41k| 760 | 41k| 252 | 0 |4587 |-4.000000e+01 |-3.600000e+01 | 11.11%
1394.35/1394.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1394.35/1394.64 c 1395s| 22100 | 11937 | 1405k| 63.2 | 298M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4587 |-4.000000e+01 |-3.600000e+01 | 11.11%
1397.95/1398.24 c 1398s| 22200 | 11975 | 1409k| 63.1 | 299M| 48 | 56 | 760 | 41k| 760 | 41k| 252 | 0 |4587 |-4.000000e+01 |-3.600000e+01 | 11.11%
1402.15/1402.44 c 1402s| 22300 | 12031 | 1414k| 63.0 | 300M| 48 | 70 | 760 | 41k| 760 | 41k| 252 | 0 |4587 |-4.000000e+01 |-3.600000e+01 | 11.11%
1406.35/1406.61 c 1407s| 22400 | 12081 | 1419k| 63.0 | 300M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4589 |-4.000000e+01 |-3.600000e+01 | 11.11%
1409.95/1410.29 c 1410s| 22500 | 12125 | 1424k| 62.9 | 301M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4589 |-4.000000e+01 |-3.600000e+01 | 11.11%
1414.05/1414.34 c 1414s| 22600 | 12171 | 1428k| 62.8 | 302M| 48 | 63 | 760 | 41k| 760 | 41k| 252 | 0 |4589 |-4.000000e+01 |-3.600000e+01 | 11.11%
1418.14/1418.42 c 1418s| 22700 | 12217 | 1433k| 62.8 | 303M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4590 |-4.000000e+01 |-3.600000e+01 | 11.11%
1421.84/1422.12 c 1422s| 22800 | 12259 | 1438k| 62.7 | 304M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4590 |-4.000000e+01 |-3.600000e+01 | 11.11%
1425.74/1426.05 c 1426s| 22900 | 12311 | 1443k| 62.7 | 304M| 48 | 99 | 760 | 41k| 760 | 41k| 252 | 0 |4590 |-4.000000e+01 |-3.600000e+01 | 11.11%
1429.65/1429.99 c 1430s| 23000 | 12359 | 1447k| 62.6 | 305M| 48 | 66 | 760 | 41k| 760 | 41k| 252 | 0 |4590 |-4.000000e+01 |-3.600000e+01 | 11.11%
1433.54/1433.89 c 1434s| 23100 | 12399 | 1452k| 62.5 | 306M| 48 | 108 | 760 | 41k| 760 | 41k| 252 | 0 |4590 |-4.000000e+01 |-3.600000e+01 | 11.11%
1436.65/1436.97 c 1437s| 23200 | 12439 | 1455k| 62.4 | 306M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4590 |-4.000000e+01 |-3.600000e+01 | 11.11%
1441.44/1441.74 c 1442s| 23300 | 12489 | 1460k| 62.3 | 307M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4590 |-4.000000e+01 |-3.600000e+01 | 11.11%
1444.74/1445.05 c 1445s| 23400 | 12527 | 1464k| 62.2 | 308M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4591 |-4.000000e+01 |-3.600000e+01 | 11.11%
1447.94/1448.21 c 1448s| 23500 | 12571 | 1468k| 62.1 | 308M| 48 | 58 | 760 | 41k| 760 | 41k| 252 | 0 |4591 |-4.000000e+01 |-3.600000e+01 | 11.11%
1450.44/1450.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1450.44/1450.78 c 1451s| 23600 | 12585 | 1471k| 62.0 | 309M| 48 | 81 | 760 | 41k| 760 | 41k| 252 | 0 |4591 |-4.000000e+01 |-3.600000e+01 | 11.11%
1454.53/1454.87 c 1455s| 23700 | 12619 | 1476k| 61.9 | 309M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4591 |-4.000000e+01 |-3.600000e+01 | 11.11%
1459.83/1460.17 c 1460s| 23800 | 12663 | 1481k| 61.9 | 310M| 48 | 76 | 760 | 41k| 760 | 41k| 252 | 0 |4591 |-4.000000e+01 |-3.600000e+01 | 11.11%
1464.94/1465.23 c 1465s| 23900 | 12703 | 1487k| 61.9 | 311M| 48 | 53 | 760 | 41k| 760 | 41k| 252 | 0 |4591 |-4.000000e+01 |-3.600000e+01 | 11.11%
1469.54/1469.83 c 1470s| 24000 | 12759 | 1492k| 61.8 | 312M| 48 | 107 | 760 | 41k| 760 | 41k| 252 | 0 |4603 |-4.000000e+01 |-3.600000e+01 | 11.11%
1475.33/1475.66 c 1476s| 24100 | 12811 | 1497k| 61.8 | 313M| 48 | 62 | 760 | 41k| 760 | 41k| 252 | 0 |4622 |-4.000000e+01 |-3.600000e+01 | 11.11%
1479.33/1479.68 c 1480s| 24200 | 12853 | 1501k| 61.7 | 313M| 48 | 95 | 760 | 41k| 760 | 41k| 252 | 0 |4634 |-4.000000e+01 |-3.600000e+01 | 11.11%
1483.23/1483.59 c 1484s| 24300 | 12901 | 1505k| 61.6 | 314M| 48 | 83 | 760 | 41k| 760 | 41k| 252 | 0 |4643 |-4.000000e+01 |-3.600000e+01 | 11.11%
1487.43/1487.74 c 1488s| 24400 | 12943 | 1510k| 61.5 | 315M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4663 |-4.000000e+01 |-3.600000e+01 | 11.11%
1493.03/1493.31 c 1493s| 24500 | 12999 | 1515k| 61.5 | 316M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4688 |-4.000000e+01 |-3.600000e+01 | 11.11%
1497.33/1497.64 c 1498s| 24600 | 13041 | 1519k| 61.4 | 316M| 48 | 93 | 760 | 41k| 760 | 41k| 252 | 0 |4706 |-4.000000e+01 |-3.600000e+01 | 11.11%
1503.83/1504.14 c 1504s| 24700 | 13099 | 1527k| 61.5 | 317M| 48 | 53 | 760 | 41k| 760 | 41k| 252 | 0 |4731 |-4.000000e+01 |-3.600000e+01 | 11.11%
1508.84/1509.16 c 1509s| 24800 | 13147 | 1533k| 61.5 | 318M| 48 | 68 | 760 | 41k| 760 | 41k| 252 | 0 |4750 |-4.000000e+01 |-3.600000e+01 | 11.11%
1512.13/1512.46 c 1512s| 24900 | 13171 | 1536k| 61.4 | 319M| 53 | 88 | 760 | 41k| 760 | 41k| 252 | 0 |4772 |-4.000000e+01 |-3.600000e+01 | 11.11%
1514.53/1514.84 c 1515s| 25000 | 13195 | 1539k| 61.2 | 319M| 54 | 64 | 760 | 41k| 760 | 41k| 252 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1517.73/1518.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1517.73/1518.04 c 1518s| 25100 | 13233 | 1543k| 61.2 | 320M| 54 | - | 760 | 41k| 760 | 41k| 252 | 0 |4775 |-4.000000e+01 |-3.600000e+01 | 11.11%
1520.33/1520.61 c 1521s| 25200 | 13261 | 1546k| 61.0 | 320M| 54 | 116 | 760 | 41k| 760 | 41k| 252 | 0 |4779 |-4.000000e+01 |-3.600000e+01 | 11.11%
1522.83/1523.17 c 1523s| 25300 | 13289 | 1549k| 60.9 | 320M| 54 | - | 760 | 41k| 760 | 41k| 252 | 0 |4785 |-4.000000e+01 |-3.600000e+01 | 11.11%
1525.23/1525.51 c 1526s| 25400 | 13319 | 1551k| 60.8 | 321M| 54 | 67 | 760 | 41k| 760 | 41k| 252 | 0 |4790 |-4.000000e+01 |-3.600000e+01 | 11.11%
1530.03/1530.32 c 1530s| 25500 | 13361 | 1557k| 60.8 | 322M| 54 | 92 | 760 | 41k| 760 | 41k| 252 | 0 |4795 |-4.000000e+01 |-3.600000e+01 | 11.11%
1535.13/1535.43 c 1535s| 25600 | 13399 | 1565k| 60.8 | 322M| 54 | 94 | 760 | 41k| 760 | 41k| 252 | 0 |4796 |-4.000000e+01 |-3.600000e+01 | 11.11%
1541.23/1541.59 c 1542s| 25700 | 13431 | 1572k| 60.9 | 323M| 54 | 75 | 760 | 41k| 760 | 41k| 252 | 0 |4808 |-4.000000e+01 |-3.600000e+01 | 11.11%
1544.23/1544.59 c 1545s| 25800 | 13455 | 1576k| 60.8 | 323M| 54 | - | 760 | 41k| 760 | 41k| 252 | 0 |4812 |-4.000000e+01 |-3.600000e+01 | 11.11%
1547.33/1547.66 c 1548s| 25900 | 13481 | 1580k| 60.7 | 324M| 54 | - | 760 | 41k| 760 | 41k| 252 | 0 |4817 |-4.000000e+01 |-3.600000e+01 | 11.11%
1549.92/1550.27 c 1550s| 26000 | 13507 | 1583k| 60.6 | 324M| 56 | 112 | 760 | 41k| 760 | 41k| 252 | 0 |4817 |-4.000000e+01 |-3.600000e+01 | 11.11%
1552.72/1553.04 c 1553s| 26100 | 13535 | 1586k| 60.5 | 325M| 56 | 80 | 760 | 41k| 760 | 41k| 252 | 0 |4820 |-4.000000e+01 |-3.600000e+01 | 11.11%
1556.42/1556.75 c 1557s| 26200 | 13563 | 1591k| 60.4 | 325M| 59 | 74 | 760 | 41k| 760 | 41k| 252 | 0 |4829 |-4.000000e+01 |-3.600000e+01 | 11.11%
1558.92/1559.26 c 1559s| 26300 | 13591 | 1594k| 60.3 | 326M| 61 | 88 | 760 | 41k| 760 | 41k| 252 | 0 |4830 |-4.000000e+01 |-3.600000e+01 | 11.11%
1560.82/1561.18 c 1561s| 26400 | 13605 | 1596k| 60.2 | 326M| 61 | - | 760 | 41k| 760 | 41k| 252 | 0 |4831 |-4.000000e+01 |-3.600000e+01 | 11.11%
1563.83/1564.13 c 1564s| 26500 | 13625 | 1599k| 60.0 | 326M| 61 | 68 | 760 | 41k| 760 | 41k| 252 | 0 |4842 |-4.000000e+01 |-3.600000e+01 | 11.11%
1566.82/1567.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1566.82/1567.18 c 1567s| 26600 | 13661 | 1603k| 60.0 | 327M| 61 | - | 760 | 41k| 760 | 41k| 252 | 0 |4850 |-4.000000e+01 |-3.600000e+01 | 11.11%
1569.82/1570.10 c 1570s| 26700 | 13691 | 1606k| 59.9 | 328M| 61 | 110 | 760 | 41k| 760 | 41k| 252 | 0 |4858 |-4.000000e+01 |-3.600000e+01 | 11.11%
1574.62/1574.92 c 1575s| 26800 | 13733 | 1612k| 59.8 | 329M| 61 | 92 | 760 | 41k| 760 | 41k| 252 | 0 |4871 |-4.000000e+01 |-3.600000e+01 | 11.11%
1577.32/1577.61 c 1578s| 26900 | 13759 | 1615k| 59.7 | 329M| 61 | - | 760 | 41k| 760 | 41k| 252 | 0 |4878 |-4.000000e+01 |-3.600000e+01 | 11.11%
1580.43/1580.74 c 1581s| 27000 | 13779 | 1618k| 59.6 | 329M| 61 | 135 | 760 | 41k| 760 | 41k| 252 | 0 |4884 |-4.000000e+01 |-3.600000e+01 | 11.11%
1583.22/1583.51 c 1584s| 27100 | 13813 | 1622k| 59.6 | 330M| 61 | - | 760 | 41k| 760 | 41k| 252 | 0 |4884 |-4.000000e+01 |-3.600000e+01 | 11.11%
1586.32/1586.66 c 1587s| 27200 | 13843 | 1626k| 59.5 | 331M| 61 | - | 760 | 41k| 760 | 41k| 252 | 0 |4884 |-4.000000e+01 |-3.600000e+01 | 11.11%
1589.12/1589.48 c 1589s| 27300 | 13873 | 1630k| 59.4 | 331M| 61 | 78 | 760 | 41k| 760 | 41k| 252 | 0 |4884 |-4.000000e+01 |-3.600000e+01 | 11.11%
1592.02/1592.32 c 1592s| 27400 | 13899 | 1633k| 59.3 | 332M| 61 | 76 | 760 | 41k| 760 | 41k| 252 | 0 |4891 |-4.000000e+01 |-3.600000e+01 | 11.11%
1594.62/1594.91 c 1595s| 27500 | 13931 | 1636k| 59.2 | 332M| 61 | 67 | 760 | 41k| 760 | 41k| 252 | 0 |4893 |-4.000000e+01 |-3.600000e+01 | 11.11%
1597.41/1597.79 c 1598s| 27600 | 13969 | 1640k| 59.1 | 333M| 61 | - | 760 | 41k| 760 | 41k| 252 | 0 |4893 |-4.000000e+01 |-3.600000e+01 | 11.11%
1600.61/1600.91 c 1601s| 27700 | 14007 | 1644k| 59.1 | 334M| 61 | 59 | 760 | 41k| 760 | 41k| 252 | 0 |4893 |-4.000000e+01 |-3.600000e+01 | 11.11%
1600.81/1601.13 o -37
1600.81/1601.13 c *1601s| 27710 | 8560 | 1644k| 59.1 | 255M| 61 | - | 760 | 41k| 760 | 41k| 252 | 0 |4893 |-4.000000e+01 |-3.700000e+01 | 8.11%
1603.32/1603.68 c 1604s| 27800 | 8576 | 1647k| 59.0 | 256M| 61 | - | 760 | 41k| 760 | 41k| 252 | 0 |4893 |-4.000000e+01 |-3.700000e+01 | 8.11%
1605.82/1606.12 c 1606s| 27900 | 8588 | 1650k| 58.9 | 256M| 61 | 157 | 760 | 41k| 760 | 41k| 252 | 0 |4894 |-4.000000e+01 |-3.700000e+01 | 8.11%
1609.31/1609.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1609.31/1609.68 c 1610s| 28000 | 8600 | 1654k| 58.8 | 256M| 61 | 104 | 760 | 41k| 760 | 41k| 252 | 0 |4894 |-4.000000e+01 |-3.700000e+01 | 8.11%
1611.52/1611.88 c 1612s| 28100 | 8614 | 1657k| 58.7 | 257M| 61 | 99 | 760 | 41k| 760 | 41k| 252 | 0 |4894 |-4.000000e+01 |-3.700000e+01 | 8.11%
1614.71/1615.03 c 1615s| 28200 | 8634 | 1660k| 58.6 | 257M| 61 | 59 | 760 | 41k| 760 | 41k| 252 | 0 |4904 |-4.000000e+01 |-3.700000e+01 | 8.11%
1618.11/1618.44 c 1618s| 28300 | 8654 | 1664k| 58.5 | 257M| 61 | - | 760 | 41k| 760 | 41k| 252 | 0 |4925 |-4.000000e+01 |-3.700000e+01 | 8.11%
1623.11/1623.42 c 1623s| 28400 | 8692 | 1668k| 58.5 | 258M| 61 | 104 | 760 | 41k| 760 | 41k| 252 | 0 |4948 |-4.000000e+01 |-3.700000e+01 | 8.11%
1625.61/1625.93 c 1626s| 28500 | 8712 | 1672k| 58.4 | 258M| 61 | - | 760 | 41k| 760 | 41k| 252 | 0 |4948 |-4.000000e+01 |-3.700000e+01 | 8.11%
1629.82/1630.12 c 1630s| 28600 | 8728 | 1675k| 58.3 | 259M| 61 | 63 | 760 | 41k| 760 | 41k| 252 | 0 |4973 |-4.000000e+01 |-3.700000e+01 | 8.11%
1632.41/1632.70 c 1633s| 28700 | 8748 | 1679k| 58.2 | 259M| 61 | - | 760 | 41k| 760 | 41k| 252 | 0 |4973 |-4.000000e+01 |-3.700000e+01 | 8.11%
1635.11/1635.49 c 1635s| 28800 | 8768 | 1681k| 58.1 | 260M| 61 | 97 | 760 | 41k| 760 | 41k| 252 | 0 |4995 |-4.000000e+01 |-3.700000e+01 | 8.11%
1637.51/1637.86 c 1638s| 28900 | 8786 | 1684k| 58.0 | 260M| 61 | 69 | 760 | 41k| 760 | 41k| 252 | 0 |4995 |-4.000000e+01 |-3.700000e+01 | 8.11%
1640.60/1640.96 c 1641s| 29000 | 8792 | 1687k| 57.9 | 260M| 61 | 63 | 760 | 41k| 760 | 41k| 252 | 0 |5012 |-4.000000e+01 |-3.700000e+01 | 8.11%
1645.11/1645.42 c 1645s| 29100 | 8806 | 1691k| 57.8 | 261M| 61 | - | 760 | 41k| 760 | 41k| 252 | 0 |5035 |-4.000000e+01 |-3.700000e+01 | 8.11%
1647.61/1647.93 c 1648s| 29200 | 8816 | 1694k| 57.7 | 261M| 61 | - | 760 | 41k| 760 | 41k| 252 | 0 |5035 |-4.000000e+01 |-3.700000e+01 | 8.11%
1650.11/1650.46 c 1650s| 29300 | 8832 | 1696k| 57.6 | 261M| 61 | 65 | 760 | 41k| 760 | 41k| 252 | 0 |5046 |-4.000000e+01 |-3.700000e+01 | 8.11%
1653.40/1653.75 c 1654s| 29400 | 8852 | 1699k| 57.5 | 262M| 61 | 89 | 760 | 41k| 760 | 41k| 252 | 0 |5069 |-4.000000e+01 |-3.700000e+01 | 8.11%
1655.71/1656.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1655.71/1656.00 c 1656s| 29500 | 8864 | 1702k| 57.4 | 262M| 61 | 81 | 760 | 41k| 760 | 41k| 252 | 0 |5069 |-4.000000e+01 |-3.700000e+01 | 8.11%
1658.61/1658.97 c 1659s| 29600 | 8878 | 1705k| 57.3 | 262M| 61 | - | 760 | 41k| 760 | 41k| 252 | 0 |5084 |-4.000000e+01 |-3.700000e+01 | 8.11%
1662.01/1662.31 c 1662s| 29700 | 8900 | 1709k| 57.3 | 263M| 61 | 94 | 760 | 41k| 760 | 41k| 252 | 0 |5105 |-4.000000e+01 |-3.700000e+01 | 8.11%
1666.11/1666.48 c 1666s| 29800 | 8914 | 1713k| 57.2 | 263M| 61 | 114 | 760 | 41k| 760 | 41k| 252 | 0 |5137 |-4.000000e+01 |-3.700000e+01 | 8.11%
1668.70/1669.07 c 1669s| 29900 | 8930 | 1716k| 57.1 | 263M| 61 | 105 | 760 | 41k| 760 | 41k| 252 | 0 |5143 |-4.000000e+01 |-3.700000e+01 | 8.11%
1671.61/1671.92 c 1672s| 30000 | 8946 | 1718k| 57.0 | 263M| 61 | 59 | 760 | 41k| 760 | 41k| 252 | 0 |5158 |-4.000000e+01 |-3.700000e+01 | 8.11%
1674.30/1674.68 c 1675s| 30100 | 8960 | 1721k| 56.9 | 264M| 61 | 67 | 760 | 41k| 760 | 41k| 252 | 0 |5170 |-4.000000e+01 |-3.700000e+01 | 8.11%
1676.71/1677.09 c 1677s| 30200 | 8972 | 1723k| 56.8 | 264M| 61 | - | 760 | 41k| 760 | 41k| 252 | 0 |5177 |-4.000000e+01 |-3.700000e+01 | 8.11%
1679.90/1680.29 c 1680s| 30300 | 8984 | 1727k| 56.7 | 264M| 61 | - | 760 | 41k| 760 | 41k| 252 | 0 |5195 |-4.000000e+01 |-3.700000e+01 | 8.11%
1683.40/1683.77 c 1684s| 30400 | 9008 | 1730k| 56.7 | 265M| 61 | 112 | 760 | 41k| 760 | 41k| 252 | 0 |5215 |-4.000000e+01 |-3.700000e+01 | 8.11%
1686.10/1686.47 c 1686s| 30500 | 9020 | 1733k| 56.6 | 265M| 61 | - | 760 | 41k| 760 | 41k| 252 | 0 |5225 |-4.000000e+01 |-3.700000e+01 | 8.11%
1689.60/1689.96 c 1690s| 30600 | 9042 | 1737k| 56.5 | 266M| 61 | 63 | 760 | 41k| 760 | 41k| 252 | 0 |5244 |-4.000000e+01 |-3.700000e+01 | 8.11%
1693.10/1693.45 c 1693s| 30700 | 9054 | 1740k| 56.4 | 266M| 61 | 63 | 760 | 41k| 760 | 41k| 252 | 0 |5268 |-4.000000e+01 |-3.700000e+01 | 8.11%
1696.19/1696.54 c 1697s| 30800 | 9066 | 1743k| 56.3 | 266M| 61 | - | 760 | 41k| 760 | 41k| 252 | 0 |5279 |-4.000000e+01 |-3.700000e+01 | 8.11%
1699.50/1699.81 c 1700s| 30900 | 9086 | 1746k| 56.2 | 266M| 61 | 86 | 760 | 41k| 760 | 41k| 252 | 0 |5295 |-4.000000e+01 |-3.700000e+01 | 8.11%
1702.41/1702.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1702.41/1702.76 c 1703s| 31000 | 9096 | 1749k| 56.2 | 267M| 61 | 86 | 760 | 41k| 760 | 41k| 252 | 0 |5312 |-4.000000e+01 |-3.700000e+01 | 8.11%
1706.29/1706.67 c 1707s| 31100 | 9120 | 1753k| 56.1 | 267M| 61 | 72 | 760 | 41k| 760 | 41k| 252 | 0 |5326 |-4.000000e+01 |-3.700000e+01 | 8.11%
1709.40/1709.75 c 1710s| 31200 | 9132 | 1756k| 56.0 | 267M| 61 | 97 | 760 | 41k| 760 | 41k| 252 | 0 |5349 |-4.000000e+01 |-3.700000e+01 | 8.11%
1713.60/1713.91 c 1714s| 31300 | 9166 | 1761k| 56.0 | 268M| 61 | 65 | 760 | 41k| 760 | 41k| 252 | 0 |5361 |-4.000000e+01 |-3.700000e+01 | 8.11%
1717.29/1717.63 c 1718s| 31400 | 9186 | 1765k| 55.9 | 268M| 61 | - | 760 | 41k| 760 | 41k| 252 | 0 |5377 |-4.000000e+01 |-3.700000e+01 | 8.11%
1720.10/1720.40 c 1720s| 31500 | 9206 | 1768k| 55.9 | 269M| 61 | 69 | 760 | 41k| 760 | 41k| 252 | 0 |5380 |-4.000000e+01 |-3.700000e+01 | 8.11%
1723.80/1724.17 c 1724s| 31600 | 9232 | 1773k| 55.9 | 269M| 61 | 122 | 760 | 41k| 760 | 41k| 252 | 0 |5381 |-4.000000e+01 |-3.700000e+01 | 8.11%
1726.50/1726.85 c 1727s| 31700 | 9246 | 1777k| 55.8 | 269M| 61 | - | 760 | 41k| 760 | 41k| 252 | 0 |5382 |-4.000000e+01 |-3.700000e+01 | 8.11%
1729.60/1729.94 c 1730s| 31800 | 9258 | 1780k| 55.7 | 270M| 61 | - | 760 | 41k| 760 | 41k| 252 | 0 |5406 |-4.000000e+01 |-3.700000e+01 | 8.11%
1733.09/1733.40 c 1733s| 31900 | 9278 | 1783k| 55.6 | 270M| 61 | - | 760 | 41k| 760 | 41k| 252 | 0 |5428 |-4.000000e+01 |-3.700000e+01 | 8.11%
1737.39/1737.78 c 1738s| 32000 | 9306 | 1788k| 55.6 | 271M| 61 | - | 760 | 41k| 760 | 41k| 252 | 0 |5438 |-4.000000e+01 |-3.700000e+01 | 8.11%
1739.90/1740.25 c 1740s| 32100 | 9318 | 1791k| 55.5 | 271M| 61 | 73 | 760 | 41k| 760 | 41k| 252 | 0 |5442 |-4.000000e+01 |-3.700000e+01 | 8.11%
1742.39/1742.71 c 1743s| 32200 | 9334 | 1794k| 55.5 | 271M| 61 | 104 | 760 | 41k| 760 | 41k| 252 | 0 |5442 |-4.000000e+01 |-3.700000e+01 | 8.11%
1744.89/1745.29 c 1745s| 32300 | 9346 | 1797k| 55.4 | 272M| 61 | - | 760 | 41k| 760 | 41k| 252 | 0 |5442 |-4.000000e+01 |-3.700000e+01 | 8.11%
1747.79/1748.11 c 1748s| 32400 | 9364 | 1801k| 55.3 | 272M| 61 | 99 | 760 | 41k| 760 | 41k| 252 | 0 |5442 |-4.000000e+01 |-3.700000e+01 | 8.11%
1750.79/1751.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1750.79/1751.17 c 1751s| 32500 | 9386 | 1805k| 55.3 | 273M| 61 | - | 760 | 41k| 760 | 41k| 252 | 0 |5449 |-4.000000e+01 |-3.700000e+01 | 8.11%
1753.48/1753.84 c 1754s| 32600 | 9404 | 1808k| 55.2 | 273M| 61 | - | 760 | 41k| 760 | 41k| 252 | 0 |5451 |-4.000000e+01 |-3.700000e+01 | 8.11%
1756.19/1756.50 c 1756s| 32700 | 9432 | 1812k| 55.2 | 273M| 61 | 48 | 760 | 41k| 760 | 41k| 252 | 0 |5451 |-4.000000e+01 |-3.700000e+01 | 8.11%
1758.49/1758.82 c 1759s| 32800 | 9450 | 1815k| 55.1 | 274M| 61 | - | 760 | 41k| 760 | 41k| 252 | 0 |5451 |-4.000000e+01 |-3.700000e+01 | 8.11%
1761.09/1761.47 c 1761s| 32900 | 9474 | 1818k| 55.0 | 274M| 61 | 51 | 760 | 41k| 760 | 41k| 252 | 0 |5451 |-4.000000e+01 |-3.700000e+01 | 8.11%
1763.89/1764.22 c 1764s| 33000 | 9494 | 1822k| 55.0 | 275M| 61 | 82 | 760 | 41k| 760 | 41k| 252 | 0 |5453 |-4.000000e+01 |-3.700000e+01 | 8.11%
1766.20/1766.53 c 1767s| 33100 | 9512 | 1824k| 54.9 | 275M| 61 | - | 760 | 41k| 760 | 41k| 252 | 0 |5454 |-4.000000e+01 |-3.700000e+01 | 8.11%
1769.19/1769.53 c 1770s| 33200 | 9536 | 1828k| 54.8 | 276M| 61 | 74 | 760 | 41k| 760 | 41k| 252 | 0 |5459 |-4.000000e+01 |-3.700000e+01 | 8.11%
1771.59/1771.90 c 1772s| 33300 | 9564 | 1831k| 54.8 | 276M| 61 | 70 | 760 | 41k| 760 | 41k| 252 | 0 |5459 |-4.000000e+01 |-3.700000e+01 | 8.11%
1773.48/1773.84 c 1774s| 33400 | 9570 | 1834k| 54.7 | 276M| 61 | - | 760 | 41k| 760 | 41k| 252 | 0 |5459 |-4.000000e+01 |-3.700000e+01 | 8.11%
1775.98/1776.35 c 1776s| 33500 | 9598 | 1837k| 54.6 | 277M| 61 | 179 | 760 | 41k| 760 | 41k| 252 | 0 |5460 |-4.000000e+01 |-3.700000e+01 | 8.11%
1778.58/1779.00 c 1779s| 33600 | 9610 | 1840k| 54.5 | 277M| 61 | - | 760 | 41k| 760 | 41k| 252 | 0 |5461 |-4.000000e+01 |-3.700000e+01 | 8.11%
1781.48/1781.81 c 1782s| 33700 | 9626 | 1844k| 54.5 | 277M| 61 | 106 | 760 | 41k| 760 | 41k| 252 | 0 |5462 |-4.000000e+01 |-3.700000e+01 | 8.11%
1783.49/1783.86 c 1784s| 33800 | 9632 | 1846k| 54.4 | 278M| 61 | 84 | 760 | 41k| 760 | 41k| 252 | 0 |5462 |-4.000000e+01 |-3.700000e+01 | 8.11%
1786.39/1786.76 c 1787s| 33900 | 9644 | 1849k| 54.3 | 278M| 61 | - | 760 | 41k| 760 | 41k| 252 | 0 |5464 |-4.000000e+01 |-3.700000e+01 | 8.11%
1790.19/1790.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1790.19/1790.52 c 1791s| 34000 | 9658 | 1853k| 54.3 | 278M| 61 | - | 760 | 41k| 760 | 41k| 252 | 0 |5464 |-4.000000e+01 |-3.700000e+01 | 8.11%
1792.59/1792.91 c 1793s| 34100 | 9670 | 1856k| 54.2 | 278M| 61 | - | 760 | 41k| 760 | 41k| 252 | 0 |5465 |-4.000000e+01 |-3.700000e+01 | 8.11%
1795.39/1795.71 c 1796s| 34200 | 9694 | 1859k| 54.1 | 279M| 61 | 78 | 760 | 41k| 760 | 41k| 252 | 0 |5466 |-4.000000e+01 |-3.700000e+01 | 8.11%
1796.68/1797.00 c
1796.68/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.00 c Solving Time (sec) : 1797.00
1796.68/1797.00 c Solving Nodes : 34243
1796.68/1797.00 c Primal Bound : -3.70000000000000e+01 (704 solutions)
1796.68/1797.00 c Dual Bound : -4.00000000000000e+01
1796.68/1797.00 c Gap : 8.11 %
1796.68/1797.01 s SATISFIABLE
1796.68/1797.01 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
1796.68/1797.01 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53
1796.68/1797.01 v -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78
1796.68/1797.01 v -x79 -x80 -x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 x103
1796.68/1797.01 v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124
1796.68/1797.01 v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145
1796.68/1797.01 v -x146 -x147 x148 -x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166
1796.68/1797.01 v -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187
1796.68/1797.01 v -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 x204 -x205 -x206 -x207 -x208
1796.68/1797.01 v -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229
1796.68/1797.01 v -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
1796.68/1797.01 v -x251 -x252 x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271
1796.68/1797.01 v -x272 x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292
1796.68/1797.01 v -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313
1796.68/1797.01 v -x314 -x315 x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334
1796.68/1797.01 v -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 x352 -x353 -x354 -x355
1796.68/1797.01 v -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376
1796.68/1797.01 v -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397
1796.68/1797.01 v -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418
1796.68/1797.01 v -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439
1796.68/1797.01 v -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460
1796.68/1797.01 v -x461 -x462 -x463 -x464 -x465 x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481
1796.68/1797.01 v -x482 x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502
1796.68/1797.01 v -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523
1796.68/1797.01 v -x524 -x525 -x526 -x527 -x528 -x529 -x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544
1796.68/1797.01 v -x545 -x546 -x547 -x548 -x549 x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 x563 -x564 -x565
1796.68/1797.01 v -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586
1796.68/1797.01 v -x587 -x588 -x589 x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607
1796.68/1797.01 v -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628
1796.68/1797.01 v -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649
1796.68/1797.01 v -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670
1796.68/1797.01 v -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 x684 -x685 -x686 -x687 -x688 -x689 -x690 x691
1796.68/1797.01 v -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712
1796.68/1797.01 v -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 x733
1796.68/1797.01 v -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754
1796.68/1797.01 v -x755 -x756 -x757 -x758 -x759 -x760
1796.68/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.01 c Total Time : 1797.00
1796.68/1797.01 c solving : 1797.00
1796.68/1797.01 c presolving : 0.63 (included in solving)
1796.68/1797.01 c reading : 0.08 (included in solving)
1796.68/1797.01 c copying : 1.32 (21 #copies) (minimal 0.06, maximal 0.07, average 0.06)
1796.68/1797.01 c Original Problem :
1796.68/1797.01 c Problem name : HOME/instance-3690937-1338018768.opb
1796.68/1797.01 c Variables : 760 (760 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.01 c Constraints : 41619 initial, 41619 maximal
1796.68/1797.01 c Objective sense : minimize
1796.68/1797.01 c Presolved Problem :
1796.68/1797.01 c Problem name : t_HOME/instance-3690937-1338018768.opb
1796.68/1797.01 c Variables : 760 (760 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.01 c Constraints : 41619 initial, 41619 maximal
1796.68/1797.01 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.68/1797.01 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c components : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c pseudoobj : 0.00 0.01 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c probing : 0.13 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c setppc : 0.09 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c linear : 0.31 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c root node : - - 0 - - 0 - - - - -
1796.68/1797.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.68/1797.01 c integral : 0 0 0 0 25758 0 705 0 37 724 0 0 50810
1796.68/1797.01 c setppc : 41619 41619 25 97803 4 0 700 0 0 658717 0 0 0
1796.68/1797.01 c countsols : 0 0 0 0 4 0 703 0 0 0 0 0 0
1796.68/1797.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.68/1797.01 c integral : 237.51 0.00 0.00 0.00 237.50 0.00 0.01 0.00
1796.68/1797.01 c setppc : 12.55 0.00 0.06 11.74 0.00 0.00 0.75 0.00
1796.68/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.68/1797.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.68/1797.01 c rootredcost : 7 0 0 0
1796.68/1797.01 c pseudoobj : 123510 0 0 0
1796.68/1797.01 c vbounds : 0 0 0 0
1796.68/1797.01 c redcost : 25922 0 0 150
1796.68/1797.01 c probing : 0 0 0 0
1796.68/1797.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.68/1797.01 c rootredcost : 0.13 0.00 0.00 0.13 0.00
1796.68/1797.01 c pseudoobj : 11.88 0.01 0.00 11.87 0.00
1796.68/1797.01 c vbounds : 0.11 0.00 0.00 0.11 0.00
1796.68/1797.01 c redcost : 0.42 0.00 0.00 0.42 0.00
1796.68/1797.01 c probing : 0.13 0.00 0.13 0.00 0.00
1796.68/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.68/1797.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.68/1797.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.68/1797.01 c applied globally : - - - 0 0.0 - - -
1796.68/1797.01 c applied locally : - - - 0 0.0 - - -
1796.68/1797.01 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.68/1797.01 c cut pool : 0.00 24 - - 45 - (maximal pool size: 547)
1796.68/1797.01 c closecuts : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c impliedbounds : 0.02 0.00 25 0 0 0 0
1796.68/1797.01 c intobj : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c gomory : 0.17 0.00 10 0 0 500 0
1796.68/1797.01 c cgmip : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c strongcg : 2.68 0.00 20 0 0 10000 0
1796.68/1797.01 c cmir : 3.76 0.00 10 0 0 0 0
1796.68/1797.01 c flowcover : 3.99 0.00 10 0 0 0 0
1796.68/1797.01 c clique : 0.46 0.00 25 0 0 232 0
1796.68/1797.01 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c mcf : 0.02 0.00 1 0 0 0 0
1796.68/1797.01 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c Pricers : ExecTime SetupTime Calls Vars
1796.68/1797.01 c problem variables: 0.00 - 0 0
1796.68/1797.01 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.68/1797.01 c relpscost : 237.39 0.00 25754 37 724 0 0 50810
1796.68/1797.01 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c inference : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c random : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.68/1797.01 c LP solutions : 0.02 - - 4
1796.68/1797.01 c pseudo solutions : 0.00 - - 0
1796.68/1797.01 c intshifting : 0.00 0.00 0 0
1796.68/1797.01 c feaspump : 0.00 0.00 0 0
1796.68/1797.01 c oneopt : 0.08 0.00 8 1
1796.68/1797.01 c crossover : 6.02 0.00 20 4
1796.68/1797.01 c guideddiving : 65.13 0.00 186 1
1796.68/1797.01 c coefdiving : 62.01 0.00 245 2
1796.68/1797.01 c veclendiving : 122.19 0.00 368 1
1796.68/1797.01 c pscostdiving : 48.18 0.00 368 7
1796.68/1797.01 c linesearchdiving : 49.72 0.00 368 4
1796.68/1797.01 c objpscostdiving : 59.97 0.00 185 185
1796.68/1797.01 c rootsoldiving : 37.73 0.00 185 113
1796.68/1797.01 c smallcard : 0.00 0.00 0 0
1796.68/1797.01 c trivial : 0.01 0.00 2 1
1796.68/1797.01 c shiftandpropagate: 0.00 0.00 0 0
1796.68/1797.01 c simplerounding : 0.50 0.00 25779 124
1796.68/1797.01 c zirounding : 28.28 0.00 12701 254
1796.68/1797.01 c rounding : 13.13 0.00 7253 1
1796.68/1797.01 c shifting : 3.58 0.00 1846 1
1796.68/1797.01 c twoopt : 0.00 0.00 0 0
1796.68/1797.01 c indtwoopt : 0.00 0.00 0 0
1796.68/1797.01 c indoneopt : 0.09 0.00 0 0
1796.68/1797.01 c fixandinfer : 0.00 0.00 0 0
1796.68/1797.01 c clique : 0.00 0.00 0 0
1796.68/1797.01 c indcoefdiving : 0.00 0.00 0 0
1796.68/1797.01 c indrounding : 0.00 0.00 0 0
1796.68/1797.01 c fracdiving : 65.27 0.00 186 0
1796.68/1797.01 c nlpdiving : 0.00 0.00 0 0
1796.68/1797.01 c intdiving : 0.00 0.00 0 0
1796.68/1797.01 c actconsdiving : 0.00 0.00 0 0
1796.68/1797.01 c octane : 0.00 0.00 0 0
1796.68/1797.01 c rens : 1.23 0.00 1 1
1796.68/1797.01 c rins : 0.00 0.00 0 0
1796.68/1797.01 c localbranching : 0.00 0.00 0 0
1796.68/1797.01 c mutation : 0.00 0.00 0 0
1796.68/1797.01 c dins : 0.00 0.00 0 0
1796.68/1797.01 c vbounds : 0.00 0.00 0 0
1796.68/1797.01 c undercover : 0.00 0.00 0 0
1796.68/1797.01 c subnlp : 0.04 0.00 0 0
1796.68/1797.01 c trysol : 0.06 0.00 0 0
1796.68/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.68/1797.01 c primal LP : 0.04 4 0 0.00 0.00 0.04 4
1796.68/1797.01 c dual LP : 827.74 35090 1391925 40.25 1681.59 3.46 510
1796.68/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.68/1797.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.68/1797.01 c diving/probing LP: 406.78 32643 469536 14.38 1154.28
1796.68/1797.01 c strong branching : 234.94 5466 307840 56.32 1310.27
1796.68/1797.01 c (at root node) : - 19 2126 111.89 -
1796.68/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.68/1797.01 c B&B Tree :
1796.68/1797.01 c number of runs : 1
1796.68/1797.01 c nodes : 34243
1796.68/1797.01 c nodes (total) : 34243
1796.68/1797.01 c nodes left : 9709
1796.68/1797.01 c max depth : 61
1796.68/1797.01 c max depth (total): 61
1796.68/1797.01 c backtracks : 5496 (16.0%)
1796.68/1797.01 c delayed cutoffs : 0
1796.68/1797.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.68/1797.01 c avg switch length: 6.12
1796.68/1797.01 c switching time : 31.81
1796.68/1797.01 c Solution :
1796.68/1797.01 c Solutions found : 704 (10 improvements)
1796.68/1797.01 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.18 seconds, depth 0, found by <trivial>)
1796.68/1797.01 c Primal Bound : -3.70000000000000e+01 (in run 1, after 27710 nodes, 1601.10 seconds, depth 30, found by <relaxation>)
1796.68/1797.01 c Dual Bound : -4.00000000000000e+01
1796.68/1797.01 c Gap : 8.11 %
1796.68/1797.01 c Root Dual Bound : -4.05000000000000e+01
1796.68/1797.01 c Root Iterations : 8419
1796.88/1797.20 c Time complete: 1796.89.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3690937-1338018768/watcher-3690937-1338018768 -o /tmp/evaluation-result-3690937-1338018768/solver-3690937-1338018768 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690937-1338018768.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.05 2.04 1.73 2/176 30627
/proc/meminfo: memFree=28595484/32873844 swapFree=7620/7620
[pid=30627] ppid=30625 vsize=10792 CPUtime=0 cores=0,2,4,6
/proc/30627/stat : 30627 (scip-2.1.1.4fix) R 30625 30627 30301 0 -1 4202496 1438 0 0 0 0 0 0 0 20 0 1 0 268005353 11051008 1392 33554432000 4194304 10173063 140733209684080 140733209548920 8800002 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30627/statm: 2698 1392 416 1460 0 1229 0
[startup+0.0346829 s]
/proc/loadavg: 2.05 2.04 1.73 2/176 30627
/proc/meminfo: memFree=28595484/32873844 swapFree=7620/7620
[pid=30627] ppid=30625 vsize=15484 CPUtime=0.02 cores=0,2,4,6
/proc/30627/stat : 30627 (scip-2.1.1.4fix) R 30625 30627 30301 0 -1 4202496 2631 0 0 0 2 0 0 0 20 0 1 0 268005353 15855616 2585 33554432000 4194304 10173063 140733209684080 140733209548920 8886864 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30627/statm: 3871 2585 416 1460 0 2402 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 15484
[startup+0.100302 s]
/proc/loadavg: 2.05 2.04 1.73 2/176 30627
/proc/meminfo: memFree=28595484/32873844 swapFree=7620/7620
[pid=30627] ppid=30625 vsize=32128 CPUtime=0.09 cores=0,2,4,6
/proc/30627/stat : 30627 (scip-2.1.1.4fix) R 30625 30627 30301 0 -1 4202496 6768 0 0 0 8 1 0 0 20 0 1 0 268005353 32899072 6712 33554432000 4194304 10173063 140733209684080 140733209548920 7545739 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30627/statm: 8032 6715 468 1460 0 6563 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32128
[startup+0.30028 s]
/proc/loadavg: 2.05 2.04 1.73 2/176 30627
/proc/meminfo: memFree=28595484/32873844 swapFree=7620/7620
[pid=30627] ppid=30625 vsize=70456 CPUtime=0.29 cores=0,2,4,6
/proc/30627/stat : 30627 (scip-2.1.1.4fix) R 30625 30627 30301 0 -1 4202496 16141 0 0 0 21 8 0 0 20 0 1 0 268005353 72146944 16013 33554432000 4194304 10173063 140733209684080 140733209679544 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30627/statm: 17614 16013 552 1460 0 16145 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 70456
[startup+0.700292 s]
/proc/loadavg: 2.05 2.04 1.73 2/176 30627
/proc/meminfo: memFree=28595484/32873844 swapFree=7620/7620
[pid=30627] ppid=30625 vsize=87468 CPUtime=0.69 cores=0,2,4,6
/proc/30627/stat : 30627 (scip-2.1.1.4fix) R 30625 30627 30301 0 -1 4202496 21252 0 0 0 48 21 0 0 20 0 1 0 268005353 89567232 20256 33554432000 4194304 10173063 140733209684080 140733209679544 4781713 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30627/statm: 21867 20256 586 1460 0 20398 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 87468
[startup+1.50027 s]
/proc/loadavg: 2.05 2.04 1.73 3/177 30628
/proc/meminfo: memFree=28471064/32873844 swapFree=7620/7620
[pid=30627] ppid=30625 vsize=148776 CPUtime=1.49 cores=0,2,4,6
/proc/30627/stat : 30627 (scip-2.1.1.4fix) R 30625 30627 30301 0 -1 4202496 35318 0 0 0 120 29 0 0 20 0 1 0 268005353 152346624 34429 33554432000 4194304 10173063 140733209684080 140733209678280 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30627/statm: 37194 34429 756 1460 0 35725 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 148776
[startup+3.10027 s]
/proc/loadavg: 2.05 2.04 1.73 3/177 30628
/proc/meminfo: memFree=28458104/32873844 swapFree=7620/7620
[pid=30627] ppid=30625 vsize=148776 CPUtime=3.09 cores=0,2,4,6
/proc/30627/stat : 30627 (scip-2.1.1.4fix) R 30625 30627 30301 0 -1 4202496 36149 0 0 0 275 34 0 0 20 0 1 0 268005353 152346624 35083 33554432000 4194304 10173063 140733209684080 140733209679464 7274087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30627/statm: 37194 35083 778 1460 0 35725 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 148776
[startup+6.30024 s]
/proc/loadavg: 2.05 2.04 1.73 3/177 30628
/proc/meminfo: memFree=28455880/32873844 swapFree=7620/7620
[pid=30627] ppid=30625 vsize=148776 CPUtime=6.29 cores=0,2,4,6
/proc/30627/stat : 30627 (scip-2.1.1.4fix) R 30625 30627 30301 0 -1 4202496 36485 0 0 0 594 35 0 0 20 0 1 0 268005353 152346624 35419 33554432000 4194304 10173063 140733209684080 140733209679464 7274087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30627/statm: 37194 35419 780 1460 0 35725 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 148776
[startup+12.7002 s]
/proc/loadavg: 2.04 2.04 1.73 3/177 30628
/proc/meminfo: memFree=28455244/32873844 swapFree=7620/7620
[pid=30627] ppid=30625 vsize=148776 CPUtime=12.69 cores=0,2,4,6
/proc/30627/stat : 30627 (scip-2.1.1.4fix) R 30625 30627 30301 0 -1 4202496 36611 0 0 0 1233 36 0 0 20 0 1 0 268005353 152346624 35545 33554432000 4194304 10173063 140733209684080 140733209679464 7283389 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30627/statm: 37194 35545 781 1460 0 35725 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 148776
[startup+25.5003 s]
/proc/loadavg: 2.03 2.03 1.74 3/177 30628
/proc/meminfo: memFree=28415680/32873844 swapFree=7620/7620
[pid=30627] ppid=30625 vsize=188084 CPUtime=25.49 cores=0,2,4,6
/proc/30627/stat : 30627 (scip-2.1.1.4fix) R 30625 30627 30301 0 -1 4202496 46687 0 0 0 2493 56 0 0 20 0 1 0 268005353 192598016 45585 33554432000 4194304 10173063 140733209684080 140733209677896 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30627/statm: 47021 45585 845 1460 0 45552 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 188084
[startup+51.1003 s]
/proc/loadavg: 2.02 2.03 1.74 3/177 30628
/proc/meminfo: memFree=28413652/32873844 swapFree=7620/7620
[pid=30627] ppid=30625 vsize=188084 CPUtime=51.08 cores=0,2,4,6
/proc/30627/stat : 30627 (scip-2.1.1.4fix) R 30625 30627 30301 0 -1 4202496 46688 0 0 0 5048 60 0 0 20 0 1 0 268005353 192598016 45586 33554432000 4194304 10173063 140733209684080 140733209677912 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30627/statm: 47021 45586 846 1460 0 45552 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 188084
[startup+102.307 s]
/proc/loadavg: 2.01 2.02 1.75 3/177 30628
/proc/meminfo: memFree=28413596/32873844 swapFree=7620/7620
[pid=30627] ppid=30625 vsize=188084 CPUtime=102.27 cores=0,2,4,6
/proc/30627/stat : 30627 (scip-2.1.1.4fix) R 30625 30627 30301 0 -1 4202496 46701 0 0 0 10158 69 0 0 20 0 1 0 268005353 192598016 45668 33554432000 4194304 10173063 140733209684080 140733209677256 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30627/statm: 47021 45668 847 1460 0 45552 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 188084
[startup+162.3 s]
/proc/loadavg: 2.06 2.03 1.77 3/177 30628
/proc/meminfo: memFree=28412600/32873844 swapFree=7620/7620
[pid=30627] ppid=30625 vsize=185756 CPUtime=162.24 cores=0,2,4,6
/proc/30627/stat : 30627 (scip-2.1.1.4fix) R 30625 30627 30301 0 -1 4202496 49648 0 0 0 16118 106 0 0 20 0 1 0 268005353 190214144 45408 33554432000 4194304 10173063 140733209684080 140733209677528 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30627/statm: 46439 45408 848 1460 0 44970 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 185756
[startup+222.3 s]
/proc/loadavg: 2.02 2.03 1.78 3/177 30628
/proc/meminfo: memFree=28407388/32873844 swapFree=7620/7620
[pid=30627] ppid=30625 vsize=187056 CPUtime=222.24 cores=0,2,4,6
/proc/30627/stat : 30627 (scip-2.1.1.4fix) R 30625 30627 30301 0 -1 4202496 57651 0 0 0 22092 132 0 0 20 0 1 0 268005353 191545344 45415 33554432000 4194304 10173063 140733209684080 140733209677720 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30627/statm: 46764 45415 851 1460 0 45295 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 187056
[startup+282.3 s]
/proc/loadavg: 2.05 2.03 1.80 3/177 30629
/proc/meminfo: memFree=28399328/32873844 swapFree=7620/7620
[pid=30627] ppid=30625 vsize=195024 CPUtime=282.23 cores=0,2,4,6
/proc/30627/stat : 30627 (scip-2.1.1.4fix) R 30625 30627 30301 0 -1 4202496 71248 0 0 0 28064 159 0 0 20 0 1 0 268005353 199704576 47099 33554432000 4194304 10173063 140733209684080 140733209679064 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30627/statm: 48756 47099 852 1460 0 47287 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 195024
[startup+342.3 s]
/proc/loadavg: 2.10 2.04 1.81 3/177 30629
/proc/meminfo: memFree=28380468/32873844 swapFree=7620/7620
[pid=30627] ppid=30625 vsize=209316 CPUtime=342.21 cores=0,2,4,6
/proc/30627/stat : 30627 (scip-2.1.1.4fix) R 30625 30627 30301 0 -1 4202496 74321 0 0 0 34048 173 0 0 20 0 1 0 268005353 214339584 50573 33554432000 4194304 10173063 140733209684080 140733209677336 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30627/statm: 52329 50573 852 1460 0 50860 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 209316
[startup+402.3 s]
/proc/loadavg: 2.03 2.03 1.82 3/177 30629
/proc/meminfo: memFree=28366816/32873844 swapFree=7620/7620
[pid=30627] ppid=30625 vsize=219608 CPUtime=402.21 cores=0,2,4,6
/proc/30627/stat : 30627 (scip-2.1.1.4fix) R 30625 30627 30301 0 -1 4202496 89255 0 0 0 40018 203 0 0 20 0 1 0 268005353 224878592 53342 33554432000 4194304 10173063 140733209684080 140733209677400 7932128 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30627/statm: 54902 53342 852 1460 0 53433 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 219608
[startup+462.3 s]
/proc/loadavg: 2.08 2.04 1.83 3/178 30632
/proc/meminfo: memFree=28307412/32873844 swapFree=7620/7620
[pid=30627] ppid=30625 vsize=272900 CPUtime=462.21 cores=0,2,4,6
/proc/30627/stat : 30627 (scip-2.1.1.4fix) R 30625 30627 30301 0 -1 4202496 102830 0 0 0 45989 232 0 0 20 0 1 0 268005353 279449600 66914 33554432000 4194304 10173063 140733209684080 140733209677176 7661913 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30627/statm: 68225 66914 852 1460 0 66756 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 272900
[startup+522.3 s]
/proc/loadavg: 2.03 2.03 1.84 3/178 30655
/proc/meminfo: memFree=28301944/32873844 swapFree=7620/7620
[pid=30627] ppid=30625 vsize=272900 CPUtime=522.19 cores=0,2,4,6
/proc/30627/stat : 30627 (scip-2.1.1.4fix) R 30625 30627 30301 0 -1 4202496 102838 0 0 0 51970 249 0 0 20 0 1 0 268005353 279449600 67196 33554432000 4194304 10173063 140733209684080 140733209677720 5084010 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30627/statm: 68225 67196 852 1460 0 66756 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 272900
[startup+582.3 s]
/proc/loadavg: 2.01 2.02 1.85 3/177 30656
/proc/meminfo: memFree=28299340/32873844 swapFree=7620/7620
[pid=30627] ppid=30625 vsize=272840 CPUtime=582.18 cores=0,2,4,6
/proc/30627/stat : 30627 (scip-2.1.1.4fix) R 30625 30627 30301 0 -1 4202496 108907 0 0 0 57940 278 0 0 20 0 1 0 268005353 279388160 67199 33554432000 4194304 10173063 140733209684080 140733209677720 8032942 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30627/statm: 68210 67199 852 1460 0 66741 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 272840
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28214140/32873844 swapFree=7620/7620
[pid=30627] ppid=30625 vsize=349076 CPUtime=1122.09 cores=0,2,4,6
/proc/30627/stat : 30627 (scip-2.1.1.4fix) R 30625 30627 30301 0 -1 4202496 196312 0 0 0 111697 512 0 0 20 0 1 0 268005353 357453824 85381 33554432000 4194304 10173063 140733209684080 140733209677752 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30627/statm: 87269 85381 852 1460 0 85800 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 349076
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 30660
/proc/meminfo: memFree=28201740/32873844 swapFree=7620/7620
[pid=30627] ppid=30625 vsize=358476 CPUtime=1182.08 cores=0,2,4,6
/proc/30627/stat : 30627 (scip-2.1.1.4fix) R 30625 30627 30301 0 -1 4202496 211160 0 0 0 117664 544 0 0 20 0 1 0 268005353 367079424 88038 33554432000 4194304 10173063 140733209684080 140733209677720 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30627/statm: 89619 88038 852 1460 0 88150 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 358476
[startup+1242.3 s]
/proc/loadavg: 2.07 2.02 1.91 3/177 30661
/proc/meminfo: memFree=28191448/32873844 swapFree=7620/7620
[pid=30627] ppid=30625 vsize=369516 CPUtime=1242.07 cores=0,2,4,6
/proc/30627/stat : 30627 (scip-2.1.1.4fix) R 30625 30627 30301 0 -1 4202496 213966 0 0 0 123640 567 0 0 20 0 1 0 268005353 378384384 90839 33554432000 4194304 10173063 140733209684080 140733209677336 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30627/statm: 92379 90839 852 1460 0 90910 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 369516
[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 1.91 3/176 30661
/proc/meminfo: memFree=28170348/32873844 swapFree=7620/7620
[pid=30627] ppid=30625 vsize=387240 CPUtime=1302.07 cores=0,2,4,6
/proc/30627/stat : 30627 (scip-2.1.1.4fix) R 30625 30627 30301 0 -1 4202496 218147 0 0 0 129618 589 0 0 20 0 1 0 268005353 396533760 95008 33554432000 4194304 10173063 140733209684080 140733209681448 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30627/statm: 96810 95008 852 1460 0 95341 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 387240
[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/177 30662
/proc/meminfo: memFree=28157240/32873844 swapFree=7620/7620
[pid=30627] ppid=30625 vsize=399408 CPUtime=1362.05 cores=0,2,4,6
/proc/30627/stat : 30627 (scip-2.1.1.4fix) R 30625 30627 30301 0 -1 4202496 221293 0 0 0 135594 611 0 0 20 0 1 0 268005353 408993792 98118 33554432000 4194304 10173063 140733209684080 140733209680568 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30627/statm: 99852 98118 852 1460 0 98383 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 399408
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 30662
/proc/meminfo: memFree=28145888/32873844 swapFree=7620/7620
[pid=30627] ppid=30625 vsize=409852 CPUtime=1422.05 cores=0,2,4,6
/proc/30627/stat : 30627 (scip-2.1.1.4fix) R 30625 30627 30301 0 -1 4202496 236437 0 0 0 141558 647 0 0 20 0 1 0 268005353 419688448 100851 33554432000 4194304 10173063 140733209684080 140733209677336 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30627/statm: 102463 100851 852 1460 0 100994 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 409852
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 30662
/proc/meminfo: memFree=28130884/32873844 swapFree=7620/7620
[pid=30627] ppid=30625 vsize=422192 CPUtime=1482.03 cores=0,2,4,6
/proc/30627/stat : 30627 (scip-2.1.1.4fix) R 30625 30627 30301 0 -1 4202496 239432 0 0 0 147536 667 0 0 20 0 1 0 268005353 432324608 103839 33554432000 4194304 10173063 140733209684080 140733209677720 5122959 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30627/statm: 105548 103839 852 1460 0 104079 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 422192
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 30663
/proc/meminfo: memFree=28123444/32873844 swapFree=7620/7620
[pid=30627] ppid=30625 vsize=428632 CPUtime=1542.03 cores=0,2,4,6
/proc/30627/stat : 30627 (scip-2.1.1.4fix) R 30625 30627 30301 0 -1 4202496 241321 0 0 0 153516 687 0 0 20 0 1 0 268005353 438919168 105728 33554432000 4194304 10173063 140733209684080 140733209677752 8886819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30627/statm: 107158 105728 852 1460 0 105689 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 428632
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 30663
/proc/meminfo: memFree=28108316/32873844 swapFree=7620/7620
[pid=30627] ppid=30625 vsize=441904 CPUtime=1602.02 cores=0,2,4,6
/proc/30627/stat : 30627 (scip-2.1.1.4fix) R 30625 30627 30301 0 -1 4202496 244305 0 0 0 159490 712 0 0 20 0 1 0 268005353 452509696 108711 33554432000 4194304 10173063 140733209684080 140733209680424 7934860 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30627/statm: 110476 108711 852 1460 0 109007 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 441904
[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 1.92 3/178 30666
/proc/meminfo: memFree=28108376/32873844 swapFree=7620/7620
[pid=30627] ppid=30625 vsize=441904 CPUtime=1662.01 cores=0,2,4,6
/proc/30627/stat : 30627 (scip-2.1.1.4fix) R 30625 30627 30301 0 -1 4202496 279328 0 0 0 165436 765 0 0 20 0 1 0 268005353 452509696 108663 33554432000 4194304 10173063 140733209684080 140733209677720 7911706 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30627/statm: 110476 108663 852 1460 0 109007 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 441904
[startup+1722.3 s]
/proc/loadavg: 2.10 2.03 1.93 3/177 30666
/proc/meminfo: memFree=28097720/32873844 swapFree=7620/7620
[pid=30627] ppid=30625 vsize=448668 CPUtime=1721.99 cores=0,2,4,6
/proc/30627/stat : 30627 (scip-2.1.1.4fix) R 30625 30627 30301 0 -1 4202496 290428 0 0 0 171405 794 0 0 20 0 1 0 268005353 459436032 111133 33554432000 4194304 10173063 140733209684080 140733209677336 8047303 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30627/statm: 112167 111133 852 1460 0 110698 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 448668
[startup+1782.3 s]
/proc/loadavg: 2.12 2.04 1.93 3/177 30704
/proc/meminfo: memFree=28059676/32873844 swapFree=7620/7620
[pid=30627] ppid=30625 vsize=448668 CPUtime=1781.99 cores=0,2,4,6
/proc/30627/stat : 30627 (scip-2.1.1.4fix) R 30625 30627 30301 0 -1 4202496 290439 0 0 0 177383 816 0 0 20 0 1 0 268005353 459436032 111144 33554432000 4194304 10173063 140733209684080 140733209677752 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30627/statm: 112167 111144 852 1460 0 110698 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 448668
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.11 2.04 1.93 3/177 30704
/proc/meminfo: memFree=28030396/32873844 swapFree=7620/7620
[pid=30627] ppid=30625 vsize=448668 CPUtime=1785.18 cores=0,2,4,6
/proc/30627/stat : 30627 (scip-2.1.1.4fix) R 30625 30627 30301 0 -1 4202496 290439 0 0 0 177702 816 0 0 20 0 1 0 268005353 459436032 111144 33554432000 4194304 10173063 140733209684080 140733209679448 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30627/statm: 112167 111144 852 1460 0 110698 0
Current children cumulated CPU time (s) 1785.18
Current children cumulated vsize (KiB) 448668
[startup+1791.91 s]
/proc/loadavg: 2.10 2.04 1.93 3/177 30704
/proc/meminfo: memFree=27953144/32873844 swapFree=7620/7620
[pid=30627] ppid=30625 vsize=441904 CPUtime=1791.59 cores=0,2,4,6
/proc/30627/stat : 30627 (scip-2.1.1.4fix) R 30625 30627 30301 0 -1 4202496 299477 0 0 0 178330 829 0 0 20 0 1 0 268005353 452509696 108502 33554432000 4194304 10173063 140733209684080 140733209677720 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30627/statm: 110476 108502 852 1460 0 109007 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 441904
[startup+1795.1 s]
/proc/loadavg: 2.09 2.03 1.93 3/176 30704
/proc/meminfo: memFree=27947828/32873844 swapFree=7620/7620
[pid=30627] ppid=30625 vsize=441904 CPUtime=1794.79 cores=0,2,4,6
/proc/30627/stat : 30627 (scip-2.1.1.4fix) R 30625 30627 30301 0 -1 4202496 299559 0 0 0 178649 830 0 0 20 0 1 0 268005353 452509696 108584 33554432000 4194304 10173063 140733209684080 140733209677720 7896371 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30627/statm: 110476 108584 852 1460 0 109007 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 441904
[startup+1795.9 s]
/proc/loadavg: 2.09 2.03 1.93 3/176 30704
/proc/meminfo: memFree=27947828/32873844 swapFree=7620/7620
[pid=30627] ppid=30625 vsize=441904 CPUtime=1795.58 cores=0,2,4,6
/proc/30627/stat : 30627 (scip-2.1.1.4fix) R 30625 30627 30301 0 -1 4202496 299591 0 0 0 178727 831 0 0 20 0 1 0 268005353 452509696 108616 33554432000 4194304 10173063 140733209684080 140733209677912 7911672 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30627/statm: 110476 108616 852 1460 0 109007 0
Current children cumulated CPU time (s) 1795.58
Current children cumulated vsize (KiB) 441904
[startup+1796.7 s]
/proc/loadavg: 2.09 2.03 1.93 3/176 30704
/proc/meminfo: memFree=27946960/32873844 swapFree=7620/7620
[pid=30627] ppid=30625 vsize=441904 CPUtime=1796.38 cores=0,2,4,6
/proc/30627/stat : 30627 (scip-2.1.1.4fix) R 30625 30627 30301 0 -1 4202496 299635 0 0 0 178807 831 0 0 20 0 1 0 268005353 452509696 108660 33554432000 4194304 10173063 140733209684080 140733209677720 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30627/statm: 110476 108660 852 1460 0 109007 0
Current children cumulated CPU time (s) 1796.38
Current children cumulated vsize (KiB) 441904
[startup+1797.1 s]
/proc/loadavg: 2.09 2.03 1.93 3/176 30704
/proc/meminfo: memFree=27946960/32873844 swapFree=7620/7620
[pid=30627] ppid=30625 vsize=441904 CPUtime=1796.78 cores=0,2,4,6
/proc/30627/stat : 30627 (scip-2.1.1.4fix) R 30625 30627 30301 0 -1 4202496 299642 0 0 0 178847 831 0 0 20 0 1 0 268005353 452509696 108667 33554432000 4194304 10173063 140733209684080 140733209677720 5889103 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30627/statm: 110476 108667 854 1460 0 109007 0
Current children cumulated CPU time (s) 1796.78
Current children cumulated vsize (KiB) 441904
[startup+1797.2 s]
/proc/loadavg: 2.09 2.03 1.93 3/176 30704
/proc/meminfo: memFree=27946960/32873844 swapFree=7620/7620
[pid=30627] ppid=30625 vsize=412756 CPUtime=1796.88 cores=0,2,4,6
/proc/30627/stat : 30627 (scip-2.1.1.4fix) R 30625 30627 30301 0 -1 4202496 299642 0 0 0 178857 831 0 0 20 0 1 0 268005353 422662144 101592 33554432000 4194304 10173063 140733209684080 140733209683272 8992599 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30627/statm: 103189 101592 854 1460 0 101720 0
Current children cumulated CPU time (s) 1796.88
Current children cumulated vsize (KiB) 412756
Child status: 0
Real time (s): 1797.21
CPU time (s): 1796.9
CPU user time (s): 1788.58
CPU system time (s): 8.32173
CPU usage (%): 99.9829
Max. virtual memory (cumulated for all children) (KiB): 484680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.58
system time used= 8.32173
maximum resident set size= 479372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 299644
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= 40
involuntary context switches= 1899
runsolver used 2.6276 second user time and 7.2129 second system time
The end