0.00/0.01 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.01 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-3692103-1338031916.opb>
0.09/0.10 c original problem has 760 variables (760 bin, 0 int, 0 impl, 0 cont) and 41619 constraints
0.09/0.10 c problem read in 0.09
0.09/0.15 o 0
0.09/0.16 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.09/0.16 c presolving:
0.38/0.40 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.59/0.60 c (0.6s) probing: 51/760 (6.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.59/0.60 c (0.6s) probing aborted: 50/50 successive totally useless probings
0.59/0.61 c presolving (2 rounds):
0.59/0.61 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.59/0.61 c 83238 implications, 0 cliques
0.59/0.61 c presolved problem has 760 variables (760 bin, 0 int, 0 impl, 0 cont) and 41619 constraints
0.59/0.61 c 41619 constraints of type <setppc>
0.59/0.61 c transformed objective value is always integral (scale: 1)
0.59/0.61 c Presolving Time: 0.46
0.59/0.61 c - non default parameters ----------------------------------------------------------------------
0.59/0.61 c # SCIP version 2.1.1.4
0.59/0.61 c
0.59/0.61 c # maximal time in seconds to run
0.59/0.61 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.61 c limits/time = 1797
0.59/0.61 c
0.59/0.61 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.61 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.61 c limits/memory = 13950
0.59/0.61 c
0.59/0.61 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.59/0.61 c # [type: int, range: [1,2], default: 1]
0.59/0.61 c timing/clocktype = 2
0.59/0.61 c
0.59/0.61 c # belongs reading time to solving time?
0.59/0.61 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.61 c timing/reading = TRUE
0.59/0.61 c
0.59/0.61 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.59/0.61 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.61 c separating/rapidlearning/freq = 0
0.59/0.61 c
0.59/0.61 c -----------------------------------------------------------------------------------------------
0.59/0.61 c start solving
0.59/0.63 c
0.99/1.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.99/1.07 c t 1.1s| 1 | 0 | 762 | - | 55M| 0 | 760 | 760 | 41k| 760 | 41k| 0 | 0 | 0 |-3.800000e+02 | 0.000000e+00 | Inf
0.99/1.10 o -1
0.99/1.10 c R 1.1s| 1 | 0 | 762 | - | 55M| 0 | 760 | 760 | 41k| 760 | 41k| 0 | 0 | 0 |-3.800000e+02 |-1.000000e+00 | Large
1.09/1.12 o -2
1.09/1.12 c s 1.1s| 1 | 0 | 762 | - | 55M| 0 | 760 | 760 | 41k| 760 | 41k| 0 | 0 | 0 |-3.800000e+02 |-2.000000e+00 | Large
1.69/1.70 c 1.7s| 1 | 0 | 954 | - | 55M| 0 | 709 | 760 | 41k| 760 | 41k| 5 | 0 | 0 |-3.545000e+02 |-2.000000e+00 | Large
1.69/1.71 o -31
1.69/1.71 c b 1.7s| 1 | 0 | 954 | - | 55M| 0 | 709 | 760 | 41k| 760 | 41k| 5 | 0 | 0 |-3.545000e+02 |-3.100000e+01 |1043.55%
2.48/2.57 c 2.6s| 1 | 0 | 1208 | - | 55M| 0 | 674 | 760 | 41k| 760 | 41k| 11 | 0 | 0 |-3.370000e+02 |-3.100000e+01 | 987.10%
3.38/3.49 c 3.5s| 1 | 0 | 1352 | - | 55M| 0 | 636 | 760 | 41k| 760 | 41k| 22 | 0 | 0 |-3.180000e+02 |-3.100000e+01 | 925.81%
4.38/4.49 c 4.5s| 1 | 0 | 1460 | - | 55M| 0 | 603 | 760 | 41k| 760 | 41k| 30 | 0 | 0 |-3.015000e+02 |-3.100000e+01 | 872.58%
5.68/5.75 c 5.7s| 1 | 0 | 1626 | - | 55M| 0 | 563 | 760 | 41k| 760 | 41k| 42 | 0 | 0 |-2.815000e+02 |-3.100000e+01 | 808.06%
6.99/7.09 c 7.1s| 1 | 0 | 1845 | - | 55M| 0 | 527 | 760 | 41k| 760 | 41k| 54 | 0 | 0 |-2.635000e+02 |-3.100000e+01 | 750.00%
8.49/8.52 c 8.5s| 1 | 0 | 2103 | - | 55M| 0 | 491 | 760 | 41k| 760 | 41k| 62 | 0 | 0 |-2.455000e+02 |-3.100000e+01 | 691.94%
10.18/10.21 c 10.2s| 1 | 0 | 2903 | - | 55M| 0 | 456 | 760 | 41k| 760 | 41k| 71 | 0 | 0 |-2.280000e+02 |-3.100000e+01 | 635.48%
11.38/11.45 c 11.4s| 1 | 0 | 2979 | - | 55M| 0 | 437 | 760 | 41k| 760 | 41k| 80 | 0 | 0 |-2.185000e+02 |-3.100000e+01 | 604.84%
12.68/12.72 c 12.7s| 1 | 0 | 3078 | - | 55M| 0 | 402 | 760 | 41k| 760 | 41k| 90 | 0 | 0 |-2.010000e+02 |-3.100000e+01 | 548.39%
12.98/13.10 c 13.1s| 1 | 0 | 3360 | - | 55M| 0 | 365 | 760 | 41k| 760 | 41k| 99 | 0 | 0 |-1.825000e+02 |-3.100000e+01 | 488.71%
13.28/13.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.28/13.38 c 13.4s| 1 | 0 | 3512 | - | 55M| 0 | 331 | 760 | 41k| 760 | 41k| 109 | 0 | 0 |-1.655000e+02 |-3.100000e+01 | 433.87%
13.78/13.81 c 13.8s| 1 | 0 | 4012 | - | 55M| 0 | 283 | 760 | 41k| 760 | 41k| 127 | 0 | 0 |-1.415000e+02 |-3.100000e+01 | 356.45%
14.37/14.44 c 14.4s| 1 | 0 | 4895 | - | 55M| 0 | 244 | 760 | 41k| 760 | 41k| 140 | 0 | 0 |-1.220000e+02 |-3.100000e+01 | 293.55%
14.88/14.95 c 14.9s| 1 | 0 | 5493 | - | 55M| 0 | 208 | 760 | 41k| 760 | 41k| 154 | 0 | 0 |-1.040000e+02 |-3.100000e+01 | 235.48%
15.18/15.22 c 15.2s| 1 | 0 | 5728 | - | 55M| 0 | 178 | 760 | 41k| 760 | 41k| 168 | 0 | 0 |-8.900000e+01 |-3.100000e+01 | 187.10%
15.58/15.62 c 15.6s| 1 | 0 | 6167 | - | 55M| 0 | 144 | 760 | 41k| 760 | 41k| 182 | 0 | 0 |-7.300000e+01 |-3.100000e+01 | 135.48%
16.48/16.58 c 16.6s| 1 | 0 | 7898 | - | 56M| 0 | 133 | 760 | 41k| 760 | 41k| 194 | 0 | 0 |-6.050000e+01 |-3.100000e+01 | 95.16%
16.67/16.77 c 16.8s| 1 | 0 | 7977 | - | 56M| 0 | 112 | 760 | 41k| 760 | 41k| 202 | 0 | 0 |-5.350000e+01 |-3.100000e+01 | 72.58%
16.98/17.03 c 17.0s| 1 | 0 | 8177 | - | 56M| 0 | 100 | 760 | 41k| 760 | 41k| 209 | 0 | 0 |-4.050000e+01 |-3.100000e+01 | 30.65%
16.98/17.09 c 17.1s| 1 | 0 | 8239 | - | 56M| 0 | 121 | 760 | 41k| 760 | 41k| 216 | 0 | 0 |-4.050000e+01 |-3.100000e+01 | 30.65%
17.08/17.13 c 17.1s| 1 | 0 | 8257 | - | 56M| 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 | - | 56M| 0 | 110 | 760 | 41k| 760 | 41k| 236 | 0 | 0 |-4.050000e+01 |-3.100000e+01 | 30.65%
17.18/17.28 c 17.3s| 1 | 0 | 8389 | - | 56M| 0 | 138 | 760 | 41k| 760 | 41k| 245 | 0 | 0 |-4.050000e+01 |-3.100000e+01 | 30.65%
17.28/17.34 c 17.3s| 1 | 0 | 8419 | - | 56M| 0 | 122 | 760 | 41k| 760 | 41k| 252 | 0 | 0 |-4.050000e+01 |-3.100000e+01 | 30.65%
20.47/20.53 c 20.5s| 1 | 2 | 8419 | - | 56M| 0 | 122 | 760 | 41k| 760 | 41k| 252 | 0 | 19 |-4.050000e+01 |-3.100000e+01 | 30.65%
43.47/43.50 o -32
43.47/43.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
43.47/43.50 c *43.5s| 17 | 14 | 9269 | 53.1 | 57M| 15 | - | 760 | 41k| 760 | 41k| 252 | 0 | 370 |-4.000000e+01 |-3.200000e+01 | 25.00%
76.87/76.90 o -33
76.87/76.90 c *76.9s| 46 | 28 | 11123 | 60.1 | 58M| 18 | - | 760 | 41k| 760 | 41k| 252 | 0 |1011 |-4.000000e+01 |-3.300000e+01 | 21.21%
91.05/91.10 o -34
91.05/91.10 c *91.1s| 67 | 36 | 11927 | 53.2 | 58M| 23 | - | 760 | 41k| 760 | 41k| 252 | 0 |1291 |-4.000000e+01 |-3.400000e+01 | 17.65%
101.75/101.83 c 102s| 100 | 55 | 12905 | 45.3 | 58M| 23 | - | 760 | 41k| 760 | 41k| 252 | 0 |1502 |-4.000000e+01 |-3.400000e+01 | 17.65%
121.44/121.51 c 122s| 200 | 125 | 18073 | 48.5 | 60M| 23 | 52 | 760 | 41k| 760 | 41k| 252 | 0 |1772 |-4.000000e+01 |-3.400000e+01 | 17.65%
126.25/126.33 c 126s| 300 | 193 | 22171 | 46.0 | 63M| 26 | 76 | 760 | 41k| 760 | 41k| 252 | 0 |1788 |-4.000000e+01 |-3.400000e+01 | 17.65%
131.34/131.41 c 131s| 400 | 247 | 26004 | 44.1 | 64M| 32 | - | 760 | 41k| 760 | 41k| 252 | 0 |1818 |-4.000000e+01 |-3.400000e+01 | 17.65%
135.34/135.42 c 135s| 500 | 297 | 29387 | 42.0 | 65M| 37 | 78 | 760 | 41k| 760 | 41k| 252 | 0 |1836 |-4.000000e+01 |-3.400000e+01 | 17.65%
139.14/139.27 c 139s| 600 | 339 | 32086 | 39.5 | 66M| 44 | 48 | 760 | 41k| 760 | 41k| 252 | 0 |1854 |-4.000000e+01 |-3.400000e+01 | 17.65%
143.95/144.03 c 144s| 700 | 395 | 35777 | 39.1 | 67M| 44 | 42 | 760 | 41k| 760 | 41k| 252 | 0 |1881 |-4.000000e+01 |-3.400000e+01 | 17.65%
148.34/148.46 c 148s| 800 | 443 | 39370 | 38.7 | 68M| 44 | 38 | 760 | 41k| 760 | 41k| 252 | 0 |1908 |-4.000000e+01 |-3.400000e+01 | 17.65%
152.74/152.90 c 153s| 900 | 507 | 42516 | 37.9 | 70M| 44 | 66 | 760 | 41k| 760 | 41k| 252 | 0 |1934 |-4.000000e+01 |-3.400000e+01 | 17.65%
157.74/157.81 c 158s| 1000 | 559 | 46607 | 38.2 | 71M| 44 | 47 | 760 | 41k| 760 | 41k| 252 | 0 |1962 |-4.000000e+01 |-3.400000e+01 | 17.65%
162.43/162.54 c 163s| 1100 | 613 | 50300 | 38.1 | 72M| 44 | 71 | 760 | 41k| 760 | 41k| 252 | 0 |1990 |-4.000000e+01 |-3.400000e+01 | 17.65%
167.14/167.22 c 167s| 1200 | 661 | 54047 | 38.1 | 73M| 44 | - | 760 | 41k| 760 | 41k| 252 | 0 |2017 |-4.000000e+01 |-3.400000e+01 | 17.65%
172.43/172.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
172.43/172.59 c 173s| 1300 | 731 | 58327 | 38.4 | 75M| 44 | - | 760 | 41k| 760 | 41k| 252 | 0 |2047 |-4.000000e+01 |-3.400000e+01 | 17.65%
177.63/177.79 c 178s| 1400 | 791 | 62860 | 38.9 | 77M| 44 | 76 | 760 | 41k| 760 | 41k| 252 | 0 |2080 |-4.000000e+01 |-3.400000e+01 | 17.65%
181.93/182.09 c 182s| 1500 | 849 | 66168 | 38.5 | 79M| 44 | 87 | 760 | 41k| 760 | 41k| 252 | 0 |2107 |-4.000000e+01 |-3.400000e+01 | 17.65%
190.43/190.51 c 190s| 1600 | 927 | 73338 | 40.6 | 81M| 44 | 73 | 760 | 41k| 760 | 41k| 252 | 0 |2137 |-4.000000e+01 |-3.400000e+01 | 17.65%
199.53/199.67 c 200s| 1700 | 1027 | 81152 | 42.8 | 82M| 44 | 71 | 760 | 41k| 760 | 41k| 252 | 0 |2160 |-4.000000e+01 |-3.400000e+01 | 17.65%
207.52/207.69 c 208s| 1800 | 1127 | 88805 | 44.7 | 84M| 44 | 73 | 760 | 41k| 760 | 41k| 252 | 0 |2169 |-4.000000e+01 |-3.400000e+01 | 17.65%
219.13/219.25 c 219s| 1900 | 1227 |100258 | 48.4 | 86M| 44 | 73 | 760 | 41k| 760 | 41k| 252 | 0 |2177 |-4.000000e+01 |-3.400000e+01 | 17.65%
228.52/228.65 c 229s| 2000 | 1327 |109553 | 50.6 | 88M| 44 | 71 | 760 | 41k| 760 | 41k| 252 | 0 |2204 |-4.000000e+01 |-3.400000e+01 | 17.65%
242.22/242.33 c 242s| 2100 | 1427 |122893 | 54.5 | 91M| 44 | 63 | 760 | 41k| 760 | 41k| 252 | 0 |2228 |-4.000000e+01 |-3.400000e+01 | 17.65%
251.82/251.96 c 252s| 2200 | 1525 |132297 | 56.3 | 93M| 44 | 81 | 760 | 41k| 760 | 41k| 252 | 0 |2237 |-4.000000e+01 |-3.400000e+01 | 17.65%
262.82/262.98 c 263s| 2300 | 1625 |143402 | 58.7 | 95M| 44 | 66 | 760 | 41k| 760 | 41k| 252 | 0 |2245 |-4.000000e+01 |-3.400000e+01 | 17.65%
268.11/268.24 o -35
268.11/268.24 c l 268s| 2348 | 1545 |148556 | 59.7 | 94M| 44 | - | 760 | 41k| 760 | 41k| 252 | 0 |2247 |-4.000000e+01 |-3.500000e+01 | 14.29%
273.72/273.83 c 274s| 2400 | 1595 |154815 | 61.0 | 96M| 44 | 58 | 760 | 41k| 760 | 41k| 252 | 0 |2254 |-4.000000e+01 |-3.500000e+01 | 14.29%
283.11/283.29 c 283s| 2500 | 1689 |164690 | 62.5 | 98M| 44 | 55 | 760 | 41k| 760 | 41k| 252 | 0 |2258 |-4.000000e+01 |-3.500000e+01 | 14.29%
293.41/293.59 c 294s| 2600 | 1783 |175213 | 64.2 | 100M| 44 | 64 | 760 | 41k| 760 | 41k| 252 | 0 |2274 |-4.000000e+01 |-3.500000e+01 | 14.29%
304.71/304.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
304.71/304.88 c 305s| 2700 | 1873 |185499 | 65.6 | 102M| 44 | 60 | 760 | 41k| 760 | 41k| 252 | 0 |2278 |-4.000000e+01 |-3.500000e+01 | 14.29%
319.31/319.48 c 319s| 2800 | 1971 |198567 | 67.9 | 104M| 44 | 93 | 760 | 41k| 760 | 41k| 252 | 0 |2319 |-4.000000e+01 |-3.500000e+01 | 14.29%
331.40/331.59 c 332s| 2900 | 2065 |209405 | 69.3 | 106M| 44 | 83 | 760 | 41k| 760 | 41k| 252 | 0 |2378 |-4.000000e+01 |-3.500000e+01 | 14.29%
344.61/344.73 c 345s| 3000 | 2157 |220403 | 70.7 | 108M| 44 | 61 | 760 | 41k| 760 | 41k| 252 | 0 |2421 |-4.000000e+01 |-3.500000e+01 | 14.29%
356.10/356.22 c 356s| 3100 | 2253 |229929 | 71.5 | 110M| 45 | 85 | 760 | 41k| 760 | 41k| 252 | 0 |2464 |-4.000000e+01 |-3.500000e+01 | 14.29%
369.30/369.49 c 369s| 3200 | 2349 |242282 | 73.1 | 113M| 45 | 97 | 760 | 41k| 760 | 41k| 252 | 0 |2504 |-4.000000e+01 |-3.500000e+01 | 14.29%
380.10/380.22 c 380s| 3300 | 2437 |251610 | 73.7 | 115M| 45 | 53 | 760 | 41k| 760 | 41k| 252 | 0 |2543 |-4.000000e+01 |-3.500000e+01 | 14.29%
393.19/393.33 c 393s| 3400 | 2531 |263786 | 75.1 | 117M| 45 | 100 | 760 | 41k| 760 | 41k| 252 | 0 |2579 |-4.000000e+01 |-3.500000e+01 | 14.29%
402.70/402.87 c 403s| 3500 | 2615 |272337 | 75.4 | 118M| 45 | 60 | 760 | 41k| 760 | 41k| 252 | 0 |2602 |-4.000000e+01 |-3.500000e+01 | 14.29%
411.80/411.90 c 412s| 3600 | 2707 |280766 | 75.7 | 120M| 45 | 84 | 760 | 41k| 760 | 41k| 252 | 0 |2612 |-4.000000e+01 |-3.500000e+01 | 14.29%
420.29/420.41 c 420s| 3700 | 2799 |289659 | 76.0 | 122M| 48 | 99 | 760 | 41k| 760 | 41k| 252 | 0 |2616 |-4.000000e+01 |-3.500000e+01 | 14.29%
431.19/431.30 c 431s| 3800 | 2895 |301235 | 77.1 | 124M| 48 | 80 | 760 | 41k| 760 | 41k| 252 | 0 |2620 |-4.000000e+01 |-3.500000e+01 | 14.29%
438.39/438.55 c 439s| 3900 | 2977 |308329 | 76.9 | 126M| 48 | 52 | 760 | 41k| 760 | 41k| 252 | 0 |2622 |-4.000000e+01 |-3.500000e+01 | 14.29%
448.69/448.85 c 449s| 4000 | 3071 |319419 | 77.8 | 128M| 48 | 61 | 760 | 41k| 760 | 41k| 252 | 0 |2622 |-4.000000e+01 |-3.500000e+01 | 14.29%
456.09/456.25 c 456s| 4100 | 3153 |326771 | 77.7 | 129M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |2623 |-4.000000e+01 |-3.500000e+01 | 14.29%
462.99/463.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
462.99/463.12 c 463s| 4200 | 3221 |334320 | 77.6 | 131M| 48 | 89 | 760 | 41k| 760 | 41k| 252 | 0 |2623 |-4.000000e+01 |-3.500000e+01 | 14.29%
472.38/472.57 c 473s| 4300 | 3309 |344650 | 78.2 | 133M| 48 | 86 | 760 | 41k| 760 | 41k| 252 | 0 |2628 |-4.000000e+01 |-3.500000e+01 | 14.29%
479.98/480.11 c 480s| 4400 | 3379 |351372 | 78.0 | 134M| 48 | 78 | 760 | 41k| 760 | 41k| 252 | 0 |2668 |-4.000000e+01 |-3.500000e+01 | 14.29%
488.38/488.54 c 489s| 4500 | 3449 |358867 | 77.9 | 135M| 48 | 82 | 760 | 41k| 760 | 41k| 252 | 0 |2706 |-4.000000e+01 |-3.500000e+01 | 14.29%
497.98/498.13 c 498s| 4600 | 3535 |367048 | 78.0 | 137M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |2753 |-4.000000e+01 |-3.500000e+01 | 14.29%
508.17/508.34 c 508s| 4700 | 3615 |375741 | 78.2 | 139M| 48 | 77 | 760 | 41k| 760 | 41k| 252 | 0 |2799 |-4.000000e+01 |-3.500000e+01 | 14.29%
517.07/517.27 c 517s| 4800 | 3701 |383708 | 78.2 | 141M| 48 | 71 | 760 | 41k| 760 | 41k| 252 | 0 |2834 |-4.000000e+01 |-3.500000e+01 | 14.29%
523.38/523.54 c 524s| 4900 | 3767 |389293 | 77.7 | 142M| 48 | 74 | 760 | 41k| 760 | 41k| 252 | 0 |2868 |-4.000000e+01 |-3.500000e+01 | 14.29%
532.97/533.15 c 533s| 5000 | 3847 |398667 | 78.1 | 143M| 48 | 116 | 760 | 41k| 760 | 41k| 252 | 0 |2884 |-4.000000e+01 |-3.500000e+01 | 14.29%
538.28/538.44 c 538s| 5100 | 3915 |404616 | 77.7 | 145M| 48 | 93 | 760 | 41k| 760 | 41k| 252 | 0 |2886 |-4.000000e+01 |-3.500000e+01 | 14.29%
546.18/546.33 c 546s| 5200 | 4001 |412173 | 77.7 | 146M| 48 | 49 | 760 | 41k| 760 | 41k| 252 | 0 |2901 |-4.000000e+01 |-3.500000e+01 | 14.29%
552.68/552.86 c 553s| 5300 | 4071 |419590 | 77.6 | 148M| 48 | 90 | 760 | 41k| 760 | 41k| 252 | 0 |2908 |-4.000000e+01 |-3.500000e+01 | 14.29%
561.37/561.57 c 562s| 5400 | 4145 |428553 | 77.8 | 149M| 48 | 52 | 760 | 41k| 760 | 41k| 252 | 0 |2914 |-4.000000e+01 |-3.500000e+01 | 14.29%
568.17/568.32 c 568s| 5500 | 4221 |435696 | 77.7 | 151M| 48 | 58 | 760 | 41k| 760 | 41k| 252 | 0 |2923 |-4.000000e+01 |-3.500000e+01 | 14.29%
575.07/575.21 c 575s| 5600 | 4305 |443230 | 77.7 | 152M| 48 | 76 | 760 | 41k| 760 | 41k| 252 | 0 |2925 |-4.000000e+01 |-3.500000e+01 | 14.29%
582.46/582.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
582.46/582.62 c 583s| 5700 | 4379 |451314 | 77.7 | 154M| 48 | 79 | 760 | 41k| 760 | 41k| 252 | 0 |2927 |-4.000000e+01 |-3.500000e+01 | 14.29%
589.27/589.48 c 589s| 5800 | 4457 |458299 | 77.6 | 155M| 48 | 70 | 760 | 41k| 760 | 41k| 252 | 0 |2928 |-4.000000e+01 |-3.500000e+01 | 14.29%
597.17/597.31 c 597s| 5900 | 4539 |466265 | 77.6 | 157M| 48 | 92 | 760 | 41k| 760 | 41k| 252 | 0 |2940 |-4.000000e+01 |-3.500000e+01 | 14.29%
603.87/604.09 c 604s| 6000 | 4609 |473588 | 77.5 | 158M| 48 | 71 | 760 | 41k| 760 | 41k| 252 | 0 |2944 |-4.000000e+01 |-3.500000e+01 | 14.29%
611.06/611.26 c 611s| 6100 | 4687 |480985 | 77.5 | 160M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |2946 |-4.000000e+01 |-3.500000e+01 | 14.29%
619.76/619.94 c 620s| 6200 | 4763 |488417 | 77.4 | 161M| 48 | 69 | 760 | 41k| 760 | 41k| 252 | 0 |2981 |-4.000000e+01 |-3.500000e+01 | 14.29%
628.66/628.81 c 629s| 6300 | 4845 |496948 | 77.6 | 163M| 48 | 100 | 760 | 41k| 760 | 41k| 252 | 0 |3015 |-4.000000e+01 |-3.500000e+01 | 14.29%
637.16/637.37 c 637s| 6400 | 4927 |503861 | 77.4 | 164M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3054 |-4.000000e+01 |-3.500000e+01 | 14.29%
645.36/645.55 c 646s| 6500 | 4999 |512318 | 77.5 | 165M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3081 |-4.000000e+01 |-3.500000e+01 | 14.29%
654.15/654.36 c 654s| 6600 | 5071 |520155 | 77.5 | 167M| 48 | 63 | 760 | 41k| 760 | 41k| 252 | 0 |3125 |-4.000000e+01 |-3.500000e+01 | 14.29%
660.35/660.58 c 661s| 6700 | 5139 |525526 | 77.2 | 168M| 48 | 50 | 760 | 41k| 760 | 41k| 252 | 0 |3157 |-4.000000e+01 |-3.500000e+01 | 14.29%
668.05/668.20 c 668s| 6800 | 5201 |531883 | 77.0 | 169M| 48 | 53 | 760 | 41k| 760 | 41k| 252 | 0 |3192 |-4.000000e+01 |-3.500000e+01 | 14.29%
676.55/676.75 c 677s| 6900 | 5271 |539117 | 76.9 | 171M| 48 | 67 | 760 | 41k| 760 | 41k| 252 | 0 |3218 |-4.000000e+01 |-3.500000e+01 | 14.29%
684.75/684.95 c 685s| 7000 | 5355 |546633 | 76.9 | 172M| 48 | 58 | 760 | 41k| 760 | 41k| 252 | 0 |3251 |-4.000000e+01 |-3.500000e+01 | 14.29%
691.95/692.14 c 692s| 7100 | 5433 |554051 | 76.9 | 174M| 48 | 51 | 760 | 41k| 760 | 41k| 252 | 0 |3261 |-4.000000e+01 |-3.500000e+01 | 14.29%
700.25/700.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
700.25/700.45 c 700s| 7200 | 5523 |562530 | 77.0 | 175M| 48 | 44 | 760 | 41k| 760 | 41k| 252 | 0 |3276 |-4.000000e+01 |-3.500000e+01 | 14.29%
708.25/708.49 c 708s| 7300 | 5597 |570598 | 77.0 | 177M| 48 | 44 | 760 | 41k| 760 | 41k| 252 | 0 |3286 |-4.000000e+01 |-3.500000e+01 | 14.29%
716.15/716.31 c 716s| 7400 | 5673 |578116 | 77.0 | 178M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3305 |-4.000000e+01 |-3.500000e+01 | 14.29%
724.04/724.21 c 724s| 7500 | 5751 |585503 | 77.0 | 180M| 48 | 44 | 760 | 41k| 760 | 41k| 252 | 0 |3321 |-4.000000e+01 |-3.500000e+01 | 14.29%
731.74/731.90 c 732s| 7600 | 5829 |593512 | 77.0 | 181M| 48 | 34 | 760 | 41k| 760 | 41k| 252 | 0 |3330 |-4.000000e+01 |-3.500000e+01 | 14.29%
740.94/741.11 c 741s| 7700 | 5915 |602602 | 77.2 | 183M| 48 | 119 | 760 | 41k| 760 | 41k| 252 | 0 |3332 |-4.000000e+01 |-3.500000e+01 | 14.29%
747.54/747.78 c 748s| 7800 | 5987 |609478 | 77.1 | 184M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3332 |-4.000000e+01 |-3.500000e+01 | 14.29%
754.74/754.96 c 755s| 7900 | 6057 |617068 | 77.1 | 185M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3336 |-4.000000e+01 |-3.500000e+01 | 14.29%
761.04/761.22 c 761s| 8000 | 6111 |623081 | 76.8 | 186M| 48 | 109 | 760 | 41k| 760 | 41k| 252 | 0 |3346 |-4.000000e+01 |-3.500000e+01 | 14.29%
768.33/768.58 c 769s| 8100 | 6185 |630360 | 76.8 | 187M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3352 |-4.000000e+01 |-3.500000e+01 | 14.29%
774.74/774.99 c 775s| 8200 | 6263 |637307 | 76.7 | 189M| 48 | 75 | 760 | 41k| 760 | 41k| 252 | 0 |3352 |-4.000000e+01 |-3.500000e+01 | 14.29%
780.44/780.60 c 781s| 8300 | 6325 |642943 | 76.5 | 190M| 48 | 66 | 760 | 41k| 760 | 41k| 252 | 0 |3357 |-4.000000e+01 |-3.500000e+01 | 14.29%
788.44/788.63 c 789s| 8400 | 6399 |651023 | 76.5 | 192M| 48 | 60 | 760 | 41k| 760 | 41k| 252 | 0 |3358 |-4.000000e+01 |-3.500000e+01 | 14.29%
794.84/795.00 c 795s| 8500 | 6467 |657576 | 76.4 | 193M| 48 | 42 | 760 | 41k| 760 | 41k| 252 | 0 |3368 |-4.000000e+01 |-3.500000e+01 | 14.29%
801.23/801.41 c 801s| 8600 | 6523 |663127 | 76.1 | 194M| 48 | 63 | 760 | 41k| 760 | 41k| 252 | 0 |3397 |-4.000000e+01 |-3.500000e+01 | 14.29%
807.43/807.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
807.43/807.65 c 808s| 8700 | 6579 |669128 | 76.0 | 195M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3423 |-4.000000e+01 |-3.500000e+01 | 14.29%
815.53/815.72 c 816s| 8800 | 6653 |676459 | 75.9 | 196M| 48 | 64 | 760 | 41k| 760 | 41k| 252 | 0 |3452 |-4.000000e+01 |-3.500000e+01 | 14.29%
825.23/825.42 c 825s| 8900 | 6729 |684561 | 76.0 | 198M| 48 | 59 | 760 | 41k| 760 | 41k| 252 | 0 |3489 |-4.000000e+01 |-3.500000e+01 | 14.29%
833.13/833.30 c 833s| 9000 | 6801 |691655 | 75.9 | 199M| 48 | 71 | 760 | 41k| 760 | 41k| 252 | 0 |3525 |-4.000000e+01 |-3.500000e+01 | 14.29%
839.83/840.07 o -36
839.83/840.07 c l 840s| 9075 | 5578 |698052 | 76.0 | 184M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3545 |-4.000000e+01 |-3.600000e+01 | 11.11%
841.62/841.89 c 842s| 9100 | 5601 |699718 | 76.0 | 185M| 48 | 80 | 760 | 41k| 760 | 41k| 252 | 0 |3546 |-4.000000e+01 |-3.600000e+01 | 11.11%
848.53/848.71 c 849s| 9200 | 5659 |704861 | 75.7 | 186M| 48 | 78 | 760 | 41k| 760 | 41k| 252 | 0 |3576 |-4.000000e+01 |-3.600000e+01 | 11.11%
854.22/854.49 c 854s| 9300 | 5715 |710817 | 75.5 | 187M| 48 | 73 | 760 | 41k| 760 | 41k| 252 | 0 |3594 |-4.000000e+01 |-3.600000e+01 | 11.11%
863.13/863.32 c 863s| 9400 | 5775 |718554 | 75.6 | 188M| 48 | 80 | 760 | 41k| 760 | 41k| 252 | 0 |3626 |-4.000000e+01 |-3.600000e+01 | 11.11%
870.32/870.55 c 871s| 9500 | 5839 |725520 | 75.5 | 190M| 48 | 77 | 760 | 41k| 760 | 41k| 252 | 0 |3651 |-4.000000e+01 |-3.600000e+01 | 11.11%
876.32/876.56 c 877s| 9600 | 5885 |730554 | 75.2 | 191M| 48 | 56 | 760 | 41k| 760 | 41k| 252 | 0 |3670 |-4.000000e+01 |-3.600000e+01 | 11.11%
882.72/882.90 c 883s| 9700 | 5943 |737233 | 75.1 | 192M| 48 | 86 | 760 | 41k| 760 | 41k| 252 | 0 |3687 |-4.000000e+01 |-3.600000e+01 | 11.11%
889.02/889.28 c 889s| 9800 | 6001 |742682 | 74.9 | 193M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3706 |-4.000000e+01 |-3.600000e+01 | 11.11%
895.23/895.42 c 895s| 9900 | 6063 |748577 | 74.8 | 194M| 48 | 112 | 760 | 41k| 760 | 41k| 252 | 0 |3712 |-4.000000e+01 |-3.600000e+01 | 11.11%
899.12/899.30 c 899s| 10000 | 6103 |753195 | 74.5 | 195M| 48 | 97 | 760 | 41k| 760 | 41k| 252 | 0 |3712 |-4.000000e+01 |-3.600000e+01 | 11.11%
906.13/906.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
906.13/906.33 c 906s| 10100 | 6167 |760335 | 74.5 | 197M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3728 |-4.000000e+01 |-3.600000e+01 | 11.11%
913.11/913.39 c 913s| 10200 | 6231 |767082 | 74.4 | 198M| 48 | 88 | 760 | 41k| 760 | 41k| 252 | 0 |3740 |-4.000000e+01 |-3.600000e+01 | 11.11%
920.02/920.24 c 920s| 10300 | 6285 |774180 | 74.4 | 199M| 48 | 68 | 760 | 41k| 760 | 41k| 252 | 0 |3745 |-4.000000e+01 |-3.600000e+01 | 11.11%
924.92/925.12 c 925s| 10400 | 6333 |779391 | 74.1 | 200M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3746 |-4.000000e+01 |-3.600000e+01 | 11.11%
930.32/930.57 c 931s| 10500 | 6393 |785329 | 74.0 | 201M| 48 | 89 | 760 | 41k| 760 | 41k| 252 | 0 |3748 |-4.000000e+01 |-3.600000e+01 | 11.11%
934.51/934.71 c 935s| 10600 | 6431 |789868 | 73.7 | 202M| 48 | 81 | 760 | 41k| 760 | 41k| 252 | 0 |3749 |-4.000000e+01 |-3.600000e+01 | 11.11%
939.41/939.60 c 940s| 10700 | 6463 |794875 | 73.5 | 203M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3749 |-4.000000e+01 |-3.600000e+01 | 11.11%
945.31/945.56 c 946s| 10800 | 6519 |801229 | 73.4 | 204M| 48 | 68 | 760 | 41k| 760 | 41k| 252 | 0 |3751 |-4.000000e+01 |-3.600000e+01 | 11.11%
951.22/951.42 c 951s| 10900 | 6577 |806994 | 73.3 | 205M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3751 |-4.000000e+01 |-3.600000e+01 | 11.11%
956.82/957.03 c 957s| 11000 | 6625 |813519 | 73.2 | 206M| 48 | 75 | 760 | 41k| 760 | 41k| 252 | 0 |3755 |-4.000000e+01 |-3.600000e+01 | 11.11%
962.51/962.73 c 963s| 11100 | 6665 |819138 | 73.0 | 207M| 48 | 63 | 760 | 41k| 760 | 41k| 252 | 0 |3755 |-4.000000e+01 |-3.600000e+01 | 11.11%
966.81/967.06 c 967s| 11200 | 6715 |824163 | 72.8 | 208M| 48 | 57 | 760 | 41k| 760 | 41k| 252 | 0 |3756 |-4.000000e+01 |-3.600000e+01 | 11.11%
971.41/971.64 c 972s| 11300 | 6753 |829161 | 72.6 | 208M| 48 | 62 | 760 | 41k| 760 | 41k| 252 | 0 |3756 |-4.000000e+01 |-3.600000e+01 | 11.11%
975.52/975.76 c 976s| 11400 | 6793 |833973 | 72.4 | 209M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3756 |-4.000000e+01 |-3.600000e+01 | 11.11%
981.10/981.31 c 981s| 11500 | 6845 |838848 | 72.2 | 210M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3782 |-4.000000e+01 |-3.600000e+01 | 11.11%
985.80/986.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
985.80/986.03 c 986s| 11600 | 6879 |843157 | 72.0 | 211M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3802 |-4.000000e+01 |-3.600000e+01 | 11.11%
990.81/991.07 c 991s| 11700 | 6923 |848159 | 71.8 | 212M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3823 |-4.000000e+01 |-3.600000e+01 | 11.11%
997.31/997.53 c 998s| 11800 | 6969 |854316 | 71.7 | 213M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3854 |-4.000000e+01 |-3.600000e+01 | 11.11%
1006.10/1006.33 c 1006s| 11900 | 7035 |861617 | 71.7 | 214M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3881 |-4.000000e+01 |-3.600000e+01 | 11.11%
1013.80/1014.02 c 1014s| 12000 | 7087 |868560 | 71.7 | 215M| 48 | 52 | 760 | 41k| 760 | 41k| 252 | 0 |3906 |-4.000000e+01 |-3.600000e+01 | 11.11%
1019.60/1019.86 c 1020s| 12100 | 7133 |873752 | 71.5 | 216M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |3941 |-4.000000e+01 |-3.600000e+01 | 11.11%
1025.40/1025.64 c 1026s| 12200 | 7181 |878978 | 71.4 | 217M| 48 | 50 | 760 | 41k| 760 | 41k| 252 | 0 |3955 |-4.000000e+01 |-3.600000e+01 | 11.11%
1031.90/1032.11 c 1032s| 12300 | 7233 |884607 | 71.2 | 218M| 48 | 49 | 760 | 41k| 760 | 41k| 252 | 0 |3984 |-4.000000e+01 |-3.600000e+01 | 11.11%
1037.90/1038.19 c 1038s| 12400 | 7273 |890388 | 71.1 | 219M| 48 | 67 | 760 | 41k| 760 | 41k| 252 | 0 |4007 |-4.000000e+01 |-3.600000e+01 | 11.11%
1044.30/1044.59 c 1045s| 12500 | 7333 |895682 | 71.0 | 220M| 48 | 98 | 760 | 41k| 760 | 41k| 252 | 0 |4032 |-4.000000e+01 |-3.600000e+01 | 11.11%
1051.70/1051.96 c 1052s| 12600 | 7383 |901184 | 70.9 | 221M| 48 | 76 | 760 | 41k| 760 | 41k| 252 | 0 |4057 |-4.000000e+01 |-3.600000e+01 | 11.11%
1057.60/1057.83 c 1058s| 12700 | 7445 |906691 | 70.7 | 222M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4073 |-4.000000e+01 |-3.600000e+01 | 11.11%
1064.60/1064.86 c 1065s| 12800 | 7499 |913056 | 70.7 | 223M| 48 | 78 | 760 | 41k| 760 | 41k| 252 | 0 |4101 |-4.000000e+01 |-3.600000e+01 | 11.11%
1071.79/1072.04 c 1072s| 12900 | 7565 |920680 | 70.7 | 225M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4109 |-4.000000e+01 |-3.600000e+01 | 11.11%
1075.59/1075.88 c 1076s| 13000 | 7607 |924254 | 70.5 | 225M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4116 |-4.000000e+01 |-3.600000e+01 | 11.11%
1080.49/1080.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1080.49/1080.74 c 1081s| 13100 | 7657 |929746 | 70.3 | 226M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4116 |-4.000000e+01 |-3.600000e+01 | 11.11%
1087.09/1087.31 c 1087s| 13200 | 7715 |937066 | 70.4 | 228M| 48 | 76 | 760 | 41k| 760 | 41k| 252 | 0 |4121 |-4.000000e+01 |-3.600000e+01 | 11.11%
1092.09/1092.33 c 1092s| 13300 | 7771 |942644 | 70.2 | 229M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4124 |-4.000000e+01 |-3.600000e+01 | 11.11%
1100.08/1100.30 c 1100s| 13400 | 7833 |950844 | 70.3 | 230M| 48 | 67 | 760 | 41k| 760 | 41k| 252 | 0 |4128 |-4.000000e+01 |-3.600000e+01 | 11.11%
1105.39/1105.62 c 1106s| 13500 | 7883 |956411 | 70.2 | 231M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4132 |-4.000000e+01 |-3.600000e+01 | 11.11%
1110.29/1110.59 c 1111s| 13600 | 7925 |961523 | 70.1 | 232M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4133 |-4.000000e+01 |-3.600000e+01 | 11.11%
1115.48/1115.71 c 1116s| 13700 | 7985 |967428 | 70.0 | 233M| 48 | 68 | 760 | 41k| 760 | 41k| 252 | 0 |4133 |-4.000000e+01 |-3.600000e+01 | 11.11%
1120.18/1120.48 c 1120s| 13800 | 8033 |972248 | 69.8 | 234M| 48 | 67 | 760 | 41k| 760 | 41k| 252 | 0 |4134 |-4.000000e+01 |-3.600000e+01 | 11.11%
1125.18/1125.42 c 1125s| 13900 | 8077 |977903 | 69.8 | 234M| 48 | 85 | 760 | 41k| 760 | 41k| 252 | 0 |4140 |-4.000000e+01 |-3.600000e+01 | 11.11%
1130.29/1130.56 c 1131s| 14000 | 8127 |982693 | 69.6 | 235M| 48 | 69 | 760 | 41k| 760 | 41k| 252 | 0 |4140 |-4.000000e+01 |-3.600000e+01 | 11.11%
1136.98/1137.22 c 1137s| 14100 | 8185 |989612 | 69.6 | 236M| 48 | 59 | 760 | 41k| 760 | 41k| 252 | 0 |4141 |-4.000000e+01 |-3.600000e+01 | 11.11%
1142.28/1142.53 c 1143s| 14200 | 8227 |996261 | 69.6 | 237M| 48 | 139 | 760 | 41k| 760 | 41k| 252 | 0 |4142 |-4.000000e+01 |-3.600000e+01 | 11.11%
1148.68/1148.90 c 1149s| 14300 | 8283 | 1003k| 69.6 | 238M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4143 |-4.000000e+01 |-3.600000e+01 | 11.11%
1153.68/1153.95 c 1154s| 14400 | 8329 | 1008k| 69.5 | 239M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4144 |-4.000000e+01 |-3.600000e+01 | 11.11%
1158.09/1158.38 c 1158s| 14500 | 8373 | 1014k| 69.4 | 240M| 48 | 84 | 760 | 41k| 760 | 41k| 252 | 0 |4146 |-4.000000e+01 |-3.600000e+01 | 11.11%
1162.17/1162.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1162.17/1162.44 c 1162s| 14600 | 8405 | 1018k| 69.2 | 241M| 48 | 115 | 760 | 41k| 760 | 41k| 252 | 0 |4152 |-4.000000e+01 |-3.600000e+01 | 11.11%
1169.18/1169.42 c 1169s| 14700 | 8447 | 1024k| 69.1 | 241M| 48 | 75 | 760 | 41k| 760 | 41k| 252 | 0 |4178 |-4.000000e+01 |-3.600000e+01 | 11.11%
1175.17/1175.45 c 1175s| 14800 | 8499 | 1029k| 69.0 | 242M| 48 | 129 | 760 | 41k| 760 | 41k| 252 | 0 |4193 |-4.000000e+01 |-3.600000e+01 | 11.11%
1181.78/1182.01 c 1182s| 14900 | 8539 | 1035k| 69.0 | 243M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4218 |-4.000000e+01 |-3.600000e+01 | 11.11%
1187.38/1187.65 c 1188s| 15000 | 8591 | 1041k| 68.9 | 244M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4233 |-4.000000e+01 |-3.600000e+01 | 11.11%
1193.37/1193.60 c 1194s| 15100 | 8639 | 1046k| 68.7 | 245M| 48 | 65 | 760 | 41k| 760 | 41k| 252 | 0 |4259 |-4.000000e+01 |-3.600000e+01 | 11.11%
1197.97/1198.28 c 1198s| 15200 | 8681 | 1050k| 68.6 | 246M| 48 | 67 | 760 | 41k| 760 | 41k| 252 | 0 |4278 |-4.000000e+01 |-3.600000e+01 | 11.11%
1203.97/1204.26 c 1204s| 15300 | 8739 | 1056k| 68.5 | 247M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4291 |-4.000000e+01 |-3.600000e+01 | 11.11%
1209.67/1210.00 c 1210s| 15400 | 8785 | 1060k| 68.4 | 248M| 48 | 124 | 760 | 41k| 760 | 41k| 252 | 0 |4311 |-4.000000e+01 |-3.600000e+01 | 11.11%
1217.37/1217.61 c 1218s| 15500 | 8837 | 1068k| 68.4 | 249M| 48 | 75 | 760 | 41k| 760 | 41k| 252 | 0 |4331 |-4.000000e+01 |-3.600000e+01 | 11.11%
1222.76/1223.10 c 1223s| 15600 | 8887 | 1073k| 68.3 | 250M| 48 | 59 | 760 | 41k| 760 | 41k| 252 | 0 |4355 |-4.000000e+01 |-3.600000e+01 | 11.11%
1228.66/1228.92 c 1229s| 15700 | 8929 | 1078k| 68.2 | 251M| 48 | 84 | 760 | 41k| 760 | 41k| 252 | 0 |4383 |-4.000000e+01 |-3.600000e+01 | 11.11%
1234.06/1234.30 c 1234s| 15800 | 8973 | 1083k| 68.1 | 252M| 48 | 69 | 760 | 41k| 760 | 41k| 252 | 0 |4399 |-4.000000e+01 |-3.600000e+01 | 11.11%
1238.66/1238.94 c 1239s| 15900 | 9009 | 1088k| 67.9 | 252M| 48 | 50 | 760 | 41k| 760 | 41k| 252 | 0 |4415 |-4.000000e+01 |-3.600000e+01 | 11.11%
1243.77/1244.00 c 1244s| 16000 | 9055 | 1092k| 67.8 | 253M| 48 | 90 | 760 | 41k| 760 | 41k| 252 | 0 |4437 |-4.000000e+01 |-3.600000e+01 | 11.11%
1249.46/1249.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1249.46/1249.72 c 1250s| 16100 | 9095 | 1098k| 67.7 | 254M| 48 | 114 | 760 | 41k| 760 | 41k| 252 | 0 |4458 |-4.000000e+01 |-3.600000e+01 | 11.11%
1254.77/1255.10 c 1255s| 16200 | 9137 | 1103k| 67.6 | 255M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4472 |-4.000000e+01 |-3.600000e+01 | 11.11%
1259.96/1260.28 c 1260s| 16300 | 9185 | 1108k| 67.5 | 256M| 48 | 63 | 760 | 41k| 760 | 41k| 252 | 0 |4489 |-4.000000e+01 |-3.600000e+01 | 11.11%
1265.86/1266.13 c 1266s| 16400 | 9245 | 1114k| 67.5 | 257M| 48 | 69 | 760 | 41k| 760 | 41k| 252 | 0 |4491 |-4.000000e+01 |-3.600000e+01 | 11.11%
1271.16/1271.48 c 1271s| 16500 | 9303 | 1120k| 67.4 | 258M| 48 | 52 | 760 | 41k| 760 | 41k| 252 | 0 |4502 |-4.000000e+01 |-3.600000e+01 | 11.11%
1275.76/1276.08 c 1276s| 16600 | 9333 | 1125k| 67.3 | 258M| 48 | 45 | 760 | 41k| 760 | 41k| 252 | 0 |4510 |-4.000000e+01 |-3.600000e+01 | 11.11%
1279.76/1280.07 c 1280s| 16700 | 9367 | 1128k| 67.1 | 259M| 48 | 81 | 760 | 41k| 760 | 41k| 252 | 0 |4516 |-4.000000e+01 |-3.600000e+01 | 11.11%
1285.86/1286.18 c 1286s| 16800 | 9429 | 1135k| 67.1 | 260M| 48 | 84 | 760 | 41k| 760 | 41k| 252 | 0 |4516 |-4.000000e+01 |-3.600000e+01 | 11.11%
1291.66/1291.90 c 1292s| 16900 | 9501 | 1142k| 67.1 | 261M| 48 | 80 | 760 | 41k| 760 | 41k| 252 | 0 |4519 |-4.000000e+01 |-3.600000e+01 | 11.11%
1296.56/1296.90 c 1297s| 17000 | 9547 | 1148k| 67.1 | 262M| 48 | 66 | 760 | 41k| 760 | 41k| 252 | 0 |4522 |-4.000000e+01 |-3.600000e+01 | 11.11%
1302.16/1302.49 c 1302s| 17100 | 9605 | 1154k| 67.0 | 263M| 48 | 101 | 760 | 41k| 760 | 41k| 252 | 0 |4524 |-4.000000e+01 |-3.600000e+01 | 11.11%
1306.76/1307.06 c 1307s| 17200 | 9643 | 1160k| 67.0 | 264M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4524 |-4.000000e+01 |-3.600000e+01 | 11.11%
1311.15/1311.48 c 1311s| 17300 | 9683 | 1165k| 66.9 | 265M| 48 | 84 | 760 | 41k| 760 | 41k| 252 | 0 |4525 |-4.000000e+01 |-3.600000e+01 | 11.11%
1315.76/1316.09 c 1316s| 17400 | 9731 | 1170k| 66.8 | 266M| 48 | 63 | 760 | 41k| 760 | 41k| 252 | 0 |4526 |-4.000000e+01 |-3.600000e+01 | 11.11%
1320.35/1320.62 c 1321s| 17500 | 9769 | 1175k| 66.7 | 266M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4531 |-4.000000e+01 |-3.600000e+01 | 11.11%
1324.86/1325.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1324.86/1325.14 c 1325s| 17600 | 9815 | 1180k| 66.6 | 267M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4531 |-4.000000e+01 |-3.600000e+01 | 11.11%
1329.66/1329.96 c 1330s| 17700 | 9873 | 1185k| 66.5 | 268M| 48 | 90 | 760 | 41k| 760 | 41k| 252 | 0 |4533 |-4.000000e+01 |-3.600000e+01 | 11.11%
1334.06/1334.34 c 1334s| 17800 | 9933 | 1190k| 66.4 | 269M| 48 | 78 | 760 | 41k| 760 | 41k| 252 | 0 |4535 |-4.000000e+01 |-3.600000e+01 | 11.11%
1340.35/1340.67 c 1341s| 17900 | 9997 | 1197k| 66.4 | 270M| 48 | 94 | 760 | 41k| 760 | 41k| 252 | 0 |4536 |-4.000000e+01 |-3.600000e+01 | 11.11%
1345.75/1346.03 c 1346s| 18000 | 10055 | 1203k| 66.4 | 271M| 48 | 51 | 760 | 41k| 760 | 41k| 252 | 0 |4541 |-4.000000e+01 |-3.600000e+01 | 11.11%
1350.25/1350.50 c 1350s| 18100 | 10103 | 1208k| 66.3 | 272M| 48 | 93 | 760 | 41k| 760 | 41k| 252 | 0 |4542 |-4.000000e+01 |-3.600000e+01 | 11.11%
1353.25/1353.56 c 1354s| 18200 | 10137 | 1212k| 66.2 | 272M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4542 |-4.000000e+01 |-3.600000e+01 | 11.11%
1358.35/1358.62 c 1359s| 18300 | 10197 | 1218k| 66.1 | 273M| 48 | 66 | 760 | 41k| 760 | 41k| 252 | 0 |4543 |-4.000000e+01 |-3.600000e+01 | 11.11%
1364.04/1364.32 c 1364s| 18400 | 10249 | 1224k| 66.1 | 274M| 48 | 64 | 760 | 41k| 760 | 41k| 252 | 0 |4546 |-4.000000e+01 |-3.600000e+01 | 11.11%
1368.94/1369.29 c 1369s| 18500 | 10287 | 1230k| 66.1 | 275M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4546 |-4.000000e+01 |-3.600000e+01 | 11.11%
1373.85/1374.18 c 1374s| 18600 | 10337 | 1235k| 66.0 | 276M| 48 | 60 | 760 | 41k| 760 | 41k| 252 | 0 |4546 |-4.000000e+01 |-3.600000e+01 | 11.11%
1377.84/1378.16 c 1378s| 18700 | 10379 | 1240k| 65.9 | 277M| 48 | 74 | 760 | 41k| 760 | 41k| 252 | 0 |4547 |-4.000000e+01 |-3.600000e+01 | 11.11%
1381.75/1382.04 c 1382s| 18800 | 10411 | 1244k| 65.8 | 277M| 48 | 80 | 760 | 41k| 760 | 41k| 252 | 0 |4548 |-4.000000e+01 |-3.600000e+01 | 11.11%
1386.85/1387.15 c 1387s| 18900 | 10459 | 1250k| 65.7 | 278M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4551 |-4.000000e+01 |-3.600000e+01 | 11.11%
1391.25/1391.55 c 1392s| 19000 | 10513 | 1254k| 65.6 | 279M| 48 | 78 | 760 | 41k| 760 | 41k| 252 | 0 |4552 |-4.000000e+01 |-3.600000e+01 | 11.11%
1396.04/1396.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1396.04/1396.37 c 1396s| 19100 | 10575 | 1260k| 65.6 | 280M| 48 | 71 | 760 | 41k| 760 | 41k| 252 | 0 |4552 |-4.000000e+01 |-3.600000e+01 | 11.11%
1401.24/1401.51 c 1401s| 19200 | 10625 | 1265k| 65.5 | 281M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4562 |-4.000000e+01 |-3.600000e+01 | 11.11%
1406.33/1406.63 c 1407s| 19300 | 10671 | 1270k| 65.4 | 282M| 48 | 72 | 760 | 41k| 760 | 41k| 252 | 0 |4564 |-4.000000e+01 |-3.600000e+01 | 11.11%
1409.64/1409.93 c 1410s| 19400 | 10707 | 1274k| 65.3 | 282M| 48 | 91 | 760 | 41k| 760 | 41k| 252 | 0 |4564 |-4.000000e+01 |-3.600000e+01 | 11.11%
1414.14/1414.40 c 1414s| 19500 | 10755 | 1280k| 65.2 | 283M| 48 | 78 | 760 | 41k| 760 | 41k| 252 | 0 |4564 |-4.000000e+01 |-3.600000e+01 | 11.11%
1418.13/1418.41 c 1418s| 19600 | 10801 | 1284k| 65.1 | 284M| 48 | 102 | 760 | 41k| 760 | 41k| 252 | 0 |4564 |-4.000000e+01 |-3.600000e+01 | 11.11%
1421.64/1421.98 c 1422s| 19700 | 10837 | 1289k| 65.0 | 285M| 48 | 55 | 760 | 41k| 760 | 41k| 252 | 0 |4566 |-4.000000e+01 |-3.600000e+01 | 11.11%
1426.03/1426.32 c 1426s| 19800 | 10881 | 1293k| 64.9 | 286M| 48 | 102 | 760 | 41k| 760 | 41k| 252 | 0 |4566 |-4.000000e+01 |-3.600000e+01 | 11.11%
1431.43/1431.77 c 1432s| 19900 | 10927 | 1298k| 64.9 | 286M| 48 | 52 | 760 | 41k| 760 | 41k| 252 | 0 |4566 |-4.000000e+01 |-3.600000e+01 | 11.11%
1434.73/1435.01 c 1435s| 20000 | 10959 | 1302k| 64.7 | 287M| 48 | 159 | 760 | 41k| 760 | 41k| 252 | 0 |4567 |-4.000000e+01 |-3.600000e+01 | 11.11%
1439.33/1439.66 c 1440s| 20100 | 11013 | 1307k| 64.6 | 288M| 48 | 65 | 760 | 41k| 760 | 41k| 252 | 0 |4568 |-4.000000e+01 |-3.600000e+01 | 11.11%
1443.44/1443.70 c 1444s| 20200 | 11057 | 1311k| 64.5 | 289M| 48 | 71 | 760 | 41k| 760 | 41k| 252 | 0 |4568 |-4.000000e+01 |-3.600000e+01 | 11.11%
1447.53/1447.81 c 1448s| 20300 | 11111 | 1316k| 64.4 | 289M| 48 | 69 | 760 | 41k| 760 | 41k| 252 | 0 |4569 |-4.000000e+01 |-3.600000e+01 | 11.11%
1452.53/1452.85 c 1453s| 20400 | 11163 | 1321k| 64.4 | 290M| 48 | 89 | 760 | 41k| 760 | 41k| 252 | 0 |4569 |-4.000000e+01 |-3.600000e+01 | 11.11%
1456.74/1457.07 c 1457s| 20500 | 11213 | 1326k| 64.3 | 291M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4571 |-4.000000e+01 |-3.600000e+01 | 11.11%
1461.74/1462.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1461.74/1462.03 c 1462s| 20600 | 11261 | 1331k| 64.2 | 292M| 48 | 91 | 760 | 41k| 760 | 41k| 252 | 0 |4573 |-4.000000e+01 |-3.600000e+01 | 11.11%
1465.93/1466.25 c 1466s| 20700 | 11297 | 1335k| 64.1 | 293M| 48 | 75 | 760 | 41k| 760 | 41k| 252 | 0 |4573 |-4.000000e+01 |-3.600000e+01 | 11.11%
1469.03/1469.36 c 1469s| 20800 | 11333 | 1339k| 64.0 | 293M| 48 | 85 | 760 | 41k| 760 | 41k| 252 | 0 |4573 |-4.000000e+01 |-3.600000e+01 | 11.11%
1473.23/1473.57 c 1474s| 20900 | 11377 | 1343k| 63.9 | 294M| 48 | 80 | 760 | 41k| 760 | 41k| 252 | 0 |4574 |-4.000000e+01 |-3.600000e+01 | 11.11%
1478.83/1479.16 c 1479s| 21000 | 11433 | 1350k| 63.9 | 295M| 48 | 71 | 760 | 41k| 760 | 41k| 252 | 0 |4574 |-4.000000e+01 |-3.600000e+01 | 11.11%
1482.63/1482.96 c 1483s| 21100 | 11479 | 1354k| 63.8 | 296M| 48 | 84 | 760 | 41k| 760 | 41k| 252 | 0 |4574 |-4.000000e+01 |-3.600000e+01 | 11.11%
1486.83/1487.20 c 1487s| 21200 | 11519 | 1358k| 63.7 | 296M| 48 | 82 | 760 | 41k| 760 | 41k| 252 | 0 |4575 |-4.000000e+01 |-3.600000e+01 | 11.11%
1492.22/1492.50 c 1492s| 21300 | 11579 | 1364k| 63.7 | 298M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4575 |-4.000000e+01 |-3.600000e+01 | 11.11%
1496.93/1497.20 c 1497s| 21400 | 11627 | 1369k| 63.6 | 298M| 48 | 75 | 760 | 41k| 760 | 41k| 252 | 0 |4578 |-4.000000e+01 |-3.600000e+01 | 11.11%
1502.43/1502.74 c 1503s| 21500 | 11683 | 1375k| 63.6 | 299M| 48 | 77 | 760 | 41k| 760 | 41k| 252 | 0 |4587 |-4.000000e+01 |-3.600000e+01 | 11.11%
1508.22/1508.52 c 1509s| 21600 | 11727 | 1382k| 63.6 | 300M| 48 | 84 | 760 | 41k| 760 | 41k| 252 | 0 |4587 |-4.000000e+01 |-3.600000e+01 | 11.11%
1512.42/1512.79 c 1513s| 21700 | 11773 | 1386k| 63.5 | 301M| 48 | 75 | 760 | 41k| 760 | 41k| 252 | 0 |4587 |-4.000000e+01 |-3.600000e+01 | 11.11%
1516.32/1516.60 c 1517s| 21800 | 11809 | 1390k| 63.4 | 301M| 48 | 79 | 760 | 41k| 760 | 41k| 252 | 0 |4587 |-4.000000e+01 |-3.600000e+01 | 11.11%
1520.72/1521.01 c 1521s| 21900 | 11849 | 1395k| 63.3 | 302M| 48 | 84 | 760 | 41k| 760 | 41k| 252 | 0 |4587 |-4.000000e+01 |-3.600000e+01 | 11.11%
1525.43/1525.75 c 1526s| 22000 | 11903 | 1400k| 63.3 | 303M| 48 | 51 | 760 | 41k| 760 | 41k| 252 | 0 |4587 |-4.000000e+01 |-3.600000e+01 | 11.11%
1528.92/1529.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1528.92/1529.21 c 1529s| 22100 | 11937 | 1405k| 63.2 | 303M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4587 |-4.000000e+01 |-3.600000e+01 | 11.11%
1532.82/1533.15 c 1533s| 22200 | 11975 | 1409k| 63.1 | 304M| 48 | 56 | 760 | 41k| 760 | 41k| 252 | 0 |4587 |-4.000000e+01 |-3.600000e+01 | 11.11%
1537.62/1537.91 c 1538s| 22300 | 12031 | 1414k| 63.0 | 305M| 48 | 70 | 760 | 41k| 760 | 41k| 252 | 0 |4587 |-4.000000e+01 |-3.600000e+01 | 11.11%
1542.31/1542.64 c 1543s| 22400 | 12081 | 1419k| 63.0 | 306M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4589 |-4.000000e+01 |-3.600000e+01 | 11.11%
1546.52/1546.85 c 1547s| 22500 | 12125 | 1424k| 62.9 | 307M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4589 |-4.000000e+01 |-3.600000e+01 | 11.11%
1551.12/1551.44 c 1551s| 22600 | 12171 | 1428k| 62.8 | 307M| 48 | 63 | 760 | 41k| 760 | 41k| 252 | 0 |4589 |-4.000000e+01 |-3.600000e+01 | 11.11%
1555.71/1556.00 c 1556s| 22700 | 12217 | 1433k| 62.8 | 308M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4590 |-4.000000e+01 |-3.600000e+01 | 11.11%
1559.82/1560.16 c 1560s| 22800 | 12259 | 1438k| 62.7 | 309M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4590 |-4.000000e+01 |-3.600000e+01 | 11.11%
1564.31/1564.63 c 1565s| 22900 | 12311 | 1443k| 62.7 | 310M| 48 | 99 | 760 | 41k| 760 | 41k| 252 | 0 |4590 |-4.000000e+01 |-3.600000e+01 | 11.11%
1568.81/1569.15 c 1569s| 23000 | 12359 | 1447k| 62.6 | 310M| 48 | 66 | 760 | 41k| 760 | 41k| 252 | 0 |4590 |-4.000000e+01 |-3.600000e+01 | 11.11%
1573.21/1573.55 c 1574s| 23100 | 12399 | 1452k| 62.5 | 311M| 48 | 108 | 760 | 41k| 760 | 41k| 252 | 0 |4590 |-4.000000e+01 |-3.600000e+01 | 11.11%
1576.71/1577.04 c 1577s| 23200 | 12439 | 1455k| 62.4 | 312M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4590 |-4.000000e+01 |-3.600000e+01 | 11.11%
1582.20/1582.59 c 1583s| 23300 | 12489 | 1460k| 62.3 | 312M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4590 |-4.000000e+01 |-3.600000e+01 | 11.11%
1586.01/1586.34 c 1586s| 23400 | 12527 | 1464k| 62.2 | 313M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4591 |-4.000000e+01 |-3.600000e+01 | 11.11%
1589.51/1589.86 c 1590s| 23500 | 12571 | 1468k| 62.1 | 314M| 48 | 58 | 760 | 41k| 760 | 41k| 252 | 0 |4591 |-4.000000e+01 |-3.600000e+01 | 11.11%
1592.42/1592.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1592.42/1592.77 c 1593s| 23600 | 12585 | 1471k| 62.0 | 314M| 48 | 81 | 760 | 41k| 760 | 41k| 252 | 0 |4591 |-4.000000e+01 |-3.600000e+01 | 11.11%
1597.10/1597.41 c 1597s| 23700 | 12619 | 1476k| 61.9 | 315M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4591 |-4.000000e+01 |-3.600000e+01 | 11.11%
1603.11/1603.46 c 1603s| 23800 | 12663 | 1481k| 61.9 | 315M| 48 | 76 | 760 | 41k| 760 | 41k| 252 | 0 |4591 |-4.000000e+01 |-3.600000e+01 | 11.11%
1608.81/1609.19 c 1609s| 23900 | 12703 | 1487k| 61.9 | 316M| 48 | 53 | 760 | 41k| 760 | 41k| 252 | 0 |4591 |-4.000000e+01 |-3.600000e+01 | 11.11%
1614.00/1614.39 c 1614s| 24000 | 12759 | 1492k| 61.8 | 317M| 48 | 107 | 760 | 41k| 760 | 41k| 252 | 0 |4603 |-4.000000e+01 |-3.600000e+01 | 11.11%
1620.70/1621.05 c 1621s| 24100 | 12811 | 1497k| 61.8 | 318M| 48 | 62 | 760 | 41k| 760 | 41k| 252 | 0 |4622 |-4.000000e+01 |-3.600000e+01 | 11.11%
1625.20/1625.53 c 1626s| 24200 | 12853 | 1501k| 61.7 | 319M| 48 | 95 | 760 | 41k| 760 | 41k| 252 | 0 |4634 |-4.000000e+01 |-3.600000e+01 | 11.11%
1629.60/1629.92 c 1630s| 24300 | 12901 | 1505k| 61.6 | 319M| 48 | 83 | 760 | 41k| 760 | 41k| 252 | 0 |4643 |-4.000000e+01 |-3.600000e+01 | 11.11%
1634.30/1634.61 c 1635s| 24400 | 12943 | 1510k| 61.5 | 320M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4663 |-4.000000e+01 |-3.600000e+01 | 11.11%
1640.50/1640.86 c 1641s| 24500 | 12999 | 1515k| 61.5 | 321M| 48 | - | 760 | 41k| 760 | 41k| 252 | 0 |4688 |-4.000000e+01 |-3.600000e+01 | 11.11%
1645.40/1645.75 c 1646s| 24600 | 13041 | 1519k| 61.4 | 322M| 48 | 93 | 760 | 41k| 760 | 41k| 252 | 0 |4706 |-4.000000e+01 |-3.600000e+01 | 11.11%
1652.60/1652.95 c 1653s| 24700 | 13099 | 1527k| 61.5 | 323M| 48 | 53 | 760 | 41k| 760 | 41k| 252 | 0 |4731 |-4.000000e+01 |-3.600000e+01 | 11.11%
1658.20/1658.57 c 1659s| 24800 | 13147 | 1533k| 61.5 | 323M| 48 | 68 | 760 | 41k| 760 | 41k| 252 | 0 |4750 |-4.000000e+01 |-3.600000e+01 | 11.11%
1661.90/1662.25 c 1662s| 24900 | 13171 | 1536k| 61.4 | 324M| 53 | 88 | 760 | 41k| 760 | 41k| 252 | 0 |4772 |-4.000000e+01 |-3.600000e+01 | 11.11%
1664.59/1664.91 c 1665s| 25000 | 13195 | 1539k| 61.2 | 324M| 54 | 64 | 760 | 41k| 760 | 41k| 252 | 0 |4773 |-4.000000e+01 |-3.600000e+01 | 11.11%
1668.20/1668.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1668.20/1668.51 c 1669s| 25100 | 13233 | 1543k| 61.2 | 325M| 54 | - | 760 | 41k| 760 | 41k| 252 | 0 |4775 |-4.000000e+01 |-3.600000e+01 | 11.11%
1671.10/1671.41 c 1671s| 25200 | 13261 | 1546k| 61.0 | 325M| 54 | 116 | 760 | 41k| 760 | 41k| 252 | 0 |4779 |-4.000000e+01 |-3.600000e+01 | 11.11%
1674.00/1674.30 c 1674s| 25300 | 13289 | 1549k| 60.9 | 326M| 54 | - | 760 | 41k| 760 | 41k| 252 | 0 |4785 |-4.000000e+01 |-3.600000e+01 | 11.11%
1676.69/1677.02 c 1677s| 25400 | 13319 | 1551k| 60.8 | 326M| 54 | 67 | 760 | 41k| 760 | 41k| 252 | 0 |4790 |-4.000000e+01 |-3.600000e+01 | 11.11%
1682.00/1682.32 c 1682s| 25500 | 13361 | 1557k| 60.8 | 327M| 54 | 92 | 760 | 41k| 760 | 41k| 252 | 0 |4795 |-4.000000e+01 |-3.600000e+01 | 11.11%
1687.60/1687.97 c 1688s| 25600 | 13399 | 1565k| 60.8 | 328M| 54 | 94 | 760 | 41k| 760 | 41k| 252 | 0 |4796 |-4.000000e+01 |-3.600000e+01 | 11.11%
1694.39/1694.71 c 1695s| 25700 | 13431 | 1572k| 60.9 | 328M| 54 | 75 | 760 | 41k| 760 | 41k| 252 | 0 |4808 |-4.000000e+01 |-3.600000e+01 | 11.11%
1697.69/1698.05 c 1698s| 25800 | 13455 | 1576k| 60.8 | 329M| 54 | - | 760 | 41k| 760 | 41k| 252 | 0 |4812 |-4.000000e+01 |-3.600000e+01 | 11.11%
1701.09/1701.47 c 1701s| 25900 | 13481 | 1580k| 60.7 | 329M| 54 | - | 760 | 41k| 760 | 41k| 252 | 0 |4817 |-4.000000e+01 |-3.600000e+01 | 11.11%
1703.99/1704.39 c 1704s| 26000 | 13507 | 1583k| 60.6 | 330M| 56 | 112 | 760 | 41k| 760 | 41k| 252 | 0 |4817 |-4.000000e+01 |-3.600000e+01 | 11.11%
1707.09/1707.49 c 1707s| 26100 | 13535 | 1586k| 60.5 | 330M| 56 | 80 | 760 | 41k| 760 | 41k| 252 | 0 |4820 |-4.000000e+01 |-3.600000e+01 | 11.11%
1711.20/1711.60 c 1712s| 26200 | 13563 | 1591k| 60.4 | 331M| 59 | 74 | 760 | 41k| 760 | 41k| 252 | 0 |4829 |-4.000000e+01 |-3.600000e+01 | 11.11%
1714.09/1714.45 c 1714s| 26300 | 13591 | 1594k| 60.3 | 331M| 61 | 88 | 760 | 41k| 760 | 41k| 252 | 0 |4830 |-4.000000e+01 |-3.600000e+01 | 11.11%
1716.29/1716.65 c 1717s| 26400 | 13605 | 1596k| 60.2 | 331M| 61 | - | 760 | 41k| 760 | 41k| 252 | 0 |4831 |-4.000000e+01 |-3.600000e+01 | 11.11%
1719.59/1719.93 c 1720s| 26500 | 13625 | 1599k| 60.0 | 332M| 61 | 68 | 760 | 41k| 760 | 41k| 252 | 0 |4842 |-4.000000e+01 |-3.600000e+01 | 11.11%
1722.99/1723.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1722.99/1723.35 c 1723s| 26600 | 13661 | 1603k| 60.0 | 332M| 61 | - | 760 | 41k| 760 | 41k| 252 | 0 |4850 |-4.000000e+01 |-3.600000e+01 | 11.11%
1726.29/1726.62 c 1727s| 26700 | 13691 | 1606k| 59.9 | 333M| 61 | 110 | 760 | 41k| 760 | 41k| 252 | 0 |4858 |-4.000000e+01 |-3.600000e+01 | 11.11%
1731.69/1732.05 c 1732s| 26800 | 13733 | 1612k| 59.8 | 334M| 61 | 92 | 760 | 41k| 760 | 41k| 252 | 0 |4871 |-4.000000e+01 |-3.600000e+01 | 11.11%
1734.69/1735.06 c 1735s| 26900 | 13759 | 1615k| 59.7 | 334M| 61 | - | 760 | 41k| 760 | 41k| 252 | 0 |4878 |-4.000000e+01 |-3.600000e+01 | 11.11%
1738.19/1738.56 c 1739s| 27000 | 13779 | 1618k| 59.6 | 335M| 61 | 135 | 760 | 41k| 760 | 41k| 252 | 0 |4884 |-4.000000e+01 |-3.600000e+01 | 11.11%
1741.28/1741.64 c 1742s| 27100 | 13813 | 1622k| 59.6 | 336M| 61 | - | 760 | 41k| 760 | 41k| 252 | 0 |4884 |-4.000000e+01 |-3.600000e+01 | 11.11%
1744.79/1745.13 c 1745s| 27200 | 13843 | 1626k| 59.5 | 336M| 61 | - | 760 | 41k| 760 | 41k| 252 | 0 |4884 |-4.000000e+01 |-3.600000e+01 | 11.11%
1747.88/1748.28 c 1748s| 27300 | 13873 | 1630k| 59.4 | 337M| 61 | 78 | 760 | 41k| 760 | 41k| 252 | 0 |4884 |-4.000000e+01 |-3.600000e+01 | 11.11%
1751.18/1751.51 c 1752s| 27400 | 13899 | 1633k| 59.3 | 337M| 61 | 76 | 760 | 41k| 760 | 41k| 252 | 0 |4891 |-4.000000e+01 |-3.600000e+01 | 11.11%
1754.09/1754.40 c 1754s| 27500 | 13931 | 1636k| 59.2 | 338M| 61 | 67 | 760 | 41k| 760 | 41k| 252 | 0 |4893 |-4.000000e+01 |-3.600000e+01 | 11.11%
1757.18/1757.59 c 1758s| 27600 | 13969 | 1640k| 59.1 | 338M| 61 | - | 760 | 41k| 760 | 41k| 252 | 0 |4893 |-4.000000e+01 |-3.600000e+01 | 11.11%
1760.69/1761.08 c 1761s| 27700 | 14007 | 1644k| 59.1 | 339M| 61 | 59 | 760 | 41k| 760 | 41k| 252 | 0 |4893 |-4.000000e+01 |-3.600000e+01 | 11.11%
1760.98/1761.32 o -37
1760.98/1761.32 c *1761s| 27710 | 8560 | 1644k| 59.1 | 261M| 61 | - | 760 | 41k| 760 | 41k| 252 | 0 |4893 |-4.000000e+01 |-3.700000e+01 | 8.11%
1763.88/1764.23 c 1764s| 27800 | 8576 | 1647k| 59.0 | 261M| 61 | - | 760 | 41k| 760 | 41k| 252 | 0 |4893 |-4.000000e+01 |-3.700000e+01 | 8.11%
1766.68/1767.01 c 1767s| 27900 | 8588 | 1650k| 58.9 | 261M| 61 | 157 | 760 | 41k| 760 | 41k| 252 | 0 |4894 |-4.000000e+01 |-3.700000e+01 | 8.11%
1770.58/1770.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1770.58/1770.97 c 1771s| 28000 | 8600 | 1654k| 58.8 | 262M| 61 | 104 | 760 | 41k| 760 | 41k| 252 | 0 |4894 |-4.000000e+01 |-3.700000e+01 | 8.11%
1773.08/1773.47 c 1773s| 28100 | 8614 | 1657k| 58.7 | 262M| 61 | 99 | 760 | 41k| 760 | 41k| 252 | 0 |4894 |-4.000000e+01 |-3.700000e+01 | 8.11%
1776.58/1776.99 c 1777s| 28200 | 8634 | 1660k| 58.6 | 262M| 61 | 59 | 760 | 41k| 760 | 41k| 252 | 0 |4904 |-4.000000e+01 |-3.700000e+01 | 8.11%
1780.38/1780.80 c 1781s| 28300 | 8654 | 1664k| 58.5 | 263M| 61 | - | 760 | 41k| 760 | 41k| 252 | 0 |4925 |-4.000000e+01 |-3.700000e+01 | 8.11%
1785.88/1786.28 c 1786s| 28400 | 8692 | 1668k| 58.5 | 263M| 61 | 104 | 760 | 41k| 760 | 41k| 252 | 0 |4948 |-4.000000e+01 |-3.700000e+01 | 8.11%
1788.68/1789.08 c 1789s| 28500 | 8712 | 1672k| 58.4 | 264M| 61 | - | 760 | 41k| 760 | 41k| 252 | 0 |4948 |-4.000000e+01 |-3.700000e+01 | 8.11%
1793.38/1793.71 c 1794s| 28600 | 8728 | 1675k| 58.3 | 264M| 61 | 63 | 760 | 41k| 760 | 41k| 252 | 0 |4973 |-4.000000e+01 |-3.700000e+01 | 8.11%
1796.17/1796.59 c 1797s| 28700 | 8748 | 1679k| 58.2 | 265M| 61 | - | 760 | 41k| 760 | 41k| 252 | 0 |4973 |-4.000000e+01 |-3.700000e+01 | 8.11%
1796.67/1797.01 c
1796.67/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.67/1797.01 c Solving Time (sec) : 1797.00
1796.67/1797.01 c Solving Nodes : 28717
1796.67/1797.01 c Primal Bound : -3.70000000000000e+01 (704 solutions)
1796.67/1797.01 c Dual Bound : -4.00000000000000e+01
1796.67/1797.01 c Gap : 8.11 %
1796.67/1797.02 s SATISFIABLE
1796.67/1797.02 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.67/1797.02 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.67/1797.02 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.67/1797.02 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.67/1797.02 v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124
1796.67/1797.02 v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145
1796.67/1797.02 v -x146 -x147 x148 -x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166
1796.67/1797.02 v -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187
1796.67/1797.02 v -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 x204 -x205 -x206 -x207 -x208
1796.67/1797.02 v -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229
1796.67/1797.02 v -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
1796.67/1797.02 v -x251 -x252 x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271
1796.67/1797.02 v -x272 x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292
1796.67/1797.02 v -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313
1796.67/1797.02 v -x314 -x315 x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334
1796.67/1797.02 v -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 x352 -x353 -x354 -x355
1796.67/1797.02 v -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376
1796.67/1797.02 v -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397
1796.67/1797.02 v -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418
1796.67/1797.02 v -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439
1796.67/1797.02 v -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460
1796.67/1797.02 v -x461 -x462 -x463 -x464 -x465 x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481
1796.67/1797.02 v -x482 x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502
1796.67/1797.02 v -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523
1796.67/1797.02 v -x524 -x525 -x526 -x527 -x528 -x529 -x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544
1796.67/1797.02 v -x545 -x546 -x547 -x548 -x549 x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 x563 -x564 -x565
1796.67/1797.02 v -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586
1796.67/1797.02 v -x587 -x588 -x589 x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607
1796.67/1797.02 v -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628
1796.67/1797.02 v -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649
1796.67/1797.02 v -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670
1796.67/1797.02 v -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 x684 -x685 -x686 -x687 -x688 -x689 -x690 x691
1796.67/1797.02 v -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712
1796.67/1797.02 v -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 x733
1796.67/1797.02 v -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754
1796.67/1797.02 v -x755 -x756 -x757 -x758 -x759 -x760
1796.67/1797.02 c SCIP Status : solving was interrupted [time limit reached]
1796.67/1797.02 c Total Time : 1797.00
1796.67/1797.02 c solving : 1797.00
1796.67/1797.02 c presolving : 0.46 (included in solving)
1796.67/1797.02 c reading : 0.09 (included in solving)
1796.67/1797.02 c copying : 1.08 (18 #copies) (minimal 0.05, maximal 0.06, average 0.06)
1796.67/1797.02 c Original Problem :
1796.67/1797.02 c Problem name : HOME/instance-3692103-1338031916.opb
1796.67/1797.02 c Variables : 760 (760 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.67/1797.02 c Constraints : 41619 initial, 41619 maximal
1796.67/1797.02 c Objective sense : minimize
1796.67/1797.02 c Presolved Problem :
1796.67/1797.02 c Problem name : t_HOME/instance-3692103-1338031916.opb
1796.67/1797.02 c Variables : 760 (760 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.67/1797.02 c Constraints : 41619 initial, 41619 maximal
1796.67/1797.02 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.67/1797.02 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.02 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.02 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.02 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.02 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.02 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.02 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.02 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.02 c components : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.02 c pseudoobj : 0.00 0.01 0 0 0 0 0 0 0 0 0
1796.67/1797.02 c probing : 0.16 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.02 c setppc : 0.04 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.02 c linear : 0.21 0.01 0 0 0 0 0 0 0 0 0
1796.67/1797.02 c root node : - - 0 - - 0 - - - - -
1796.67/1797.02 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.67/1797.02 c integral : 0 0 0 0 22438 0 705 0 25 550 0 0 44328
1796.67/1797.02 c setppc : 41619 41619 25 87866 4 0 700 0 0 578344 0 0 0
1796.67/1797.02 c countsols : 0 0 0 0 4 0 703 0 0 0 0 0 0
1796.67/1797.02 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.67/1797.02 c integral : 234.06 0.00 0.00 0.00 234.04 0.00 0.02 0.00
1796.67/1797.02 c setppc : 16.03 0.00 0.08 14.98 0.00 0.00 0.96 0.00
1796.67/1797.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.67/1797.02 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.67/1797.02 c rootredcost : 7 0 0 0
1796.67/1797.02 c pseudoobj : 110253 0 0 0
1796.67/1797.02 c vbounds : 0 0 0 0
1796.67/1797.02 c redcost : 22570 0 0 117
1796.67/1797.02 c probing : 0 0 0 0
1796.67/1797.02 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.67/1797.02 c rootredcost : 0.07 0.00 0.00 0.07 0.00
1796.67/1797.02 c pseudoobj : 10.29 0.01 0.00 10.28 0.00
1796.67/1797.02 c vbounds : 0.06 0.00 0.00 0.06 0.00
1796.67/1797.02 c redcost : 0.37 0.00 0.00 0.37 0.00
1796.67/1797.02 c probing : 0.16 0.00 0.16 0.00 0.00
1796.67/1797.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.67/1797.02 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.67/1797.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.67/1797.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.67/1797.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.67/1797.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.67/1797.02 c applied globally : - - - 0 0.0 - - -
1796.67/1797.02 c applied locally : - - - 0 0.0 - - -
1796.67/1797.02 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.67/1797.02 c cut pool : 0.00 24 - - 45 - (maximal pool size: 547)
1796.67/1797.02 c closecuts : 0.00 0.00 0 0 0 0 0
1796.67/1797.02 c impliedbounds : 0.02 0.00 25 0 0 0 0
1796.67/1797.02 c intobj : 0.00 0.00 0 0 0 0 0
1796.67/1797.02 c gomory : 0.15 0.00 10 0 0 500 0
1796.67/1797.02 c cgmip : 0.00 0.00 0 0 0 0 0
1796.67/1797.02 c strongcg : 2.63 0.00 20 0 0 10000 0
1796.67/1797.02 c cmir : 3.75 0.00 10 0 0 0 0
1796.67/1797.02 c flowcover : 3.99 0.00 10 0 0 0 0
1796.67/1797.02 c clique : 0.44 0.00 25 0 0 232 0
1796.67/1797.02 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.67/1797.02 c mcf : 0.02 0.00 1 0 0 0 0
1796.67/1797.02 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.67/1797.02 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.67/1797.02 c Pricers : ExecTime SetupTime Calls Vars
1796.67/1797.02 c problem variables: 0.00 - 0 0
1796.67/1797.02 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.67/1797.02 c relpscost : 233.98 0.00 22434 25 550 0 0 44328
1796.67/1797.02 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.67/1797.02 c inference : 0.00 0.00 0 0 0 0 0 0
1796.67/1797.02 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.67/1797.02 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.67/1797.02 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.67/1797.02 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.67/1797.02 c random : 0.00 0.00 0 0 0 0 0 0
1796.67/1797.02 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.67/1797.02 c LP solutions : 0.03 - - 4
1796.67/1797.02 c pseudo solutions : 0.00 - - 0
1796.67/1797.02 c feaspump : 0.00 0.00 0 0
1796.67/1797.02 c oneopt : 0.07 0.00 8 1
1796.67/1797.02 c crossover : 4.06 0.00 17 4
1796.67/1797.02 c fracdiving : 63.74 0.00 164 0
1796.67/1797.02 c guideddiving : 67.24 0.00 171 1
1796.67/1797.02 c coefdiving : 68.44 0.00 244 2
1796.67/1797.02 c veclendiving : 138.96 0.00 368 1
1796.67/1797.02 c pscostdiving : 53.22 0.00 368 7
1796.67/1797.02 c linesearchdiving : 55.00 0.00 368 4
1796.67/1797.02 c objpscostdiving : 64.60 0.00 185 185
1796.67/1797.02 c rootsoldiving : 42.94 0.00 185 113
1796.67/1797.02 c smallcard : 0.00 0.00 0 0
1796.67/1797.02 c trivial : 0.01 0.00 2 1
1796.67/1797.02 c shiftandpropagate: 0.00 0.00 0 0
1796.67/1797.02 c simplerounding : 0.53 0.00 22459 124
1796.67/1797.02 c zirounding : 38.42 0.00 12701 254
1796.67/1797.02 c rounding : 16.54 0.00 6704 1
1796.67/1797.02 c shifting : 4.36 0.00 1675 1
1796.67/1797.02 c intshifting : 0.00 0.00 0 0
1796.67/1797.02 c twoopt : 0.00 0.00 0 0
1796.67/1797.02 c indtwoopt : 0.00 0.00 0 0
1796.67/1797.02 c indoneopt : 0.03 0.00 0 0
1796.67/1797.02 c fixandinfer : 0.00 0.00 0 0
1796.67/1797.02 c clique : 0.00 0.00 0 0
1796.67/1797.02 c indcoefdiving : 0.00 0.00 0 0
1796.67/1797.02 c indrounding : 0.00 0.00 0 0
1796.67/1797.02 c nlpdiving : 0.00 0.00 0 0
1796.67/1797.02 c intdiving : 0.00 0.00 0 0
1796.67/1797.02 c actconsdiving : 0.00 0.00 0 0
1796.67/1797.02 c octane : 0.00 0.00 0 0
1796.67/1797.02 c rens : 1.12 0.00 1 1
1796.67/1797.02 c rins : 0.00 0.00 0 0
1796.67/1797.02 c localbranching : 0.00 0.00 0 0
1796.67/1797.02 c mutation : 0.00 0.00 0 0
1796.67/1797.02 c dins : 0.00 0.00 0 0
1796.67/1797.02 c vbounds : 0.00 0.00 0 0
1796.67/1797.02 c undercover : 0.00 0.00 0 0
1796.67/1797.02 c subnlp : 0.02 0.00 0 0
1796.67/1797.02 c trysol : 0.03 0.00 0 0
1796.67/1797.02 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.67/1797.02 c primal LP : 0.04 4 0 0.00 0.00 0.04 4
1796.67/1797.02 c dual LP : 757.45 29465 1223578 42.21 1615.38 3.71 478
1796.67/1797.02 c lex dual LP : 0.00 0 0 0.00 -
1796.67/1797.02 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.67/1797.02 c diving/probing LP: 429.86 31903 455957 14.29 1060.71
1796.67/1797.02 c strong branching : 231.58 4973 285687 57.45 1233.66
1796.67/1797.02 c (at root node) : - 19 2126 111.89 -
1796.67/1797.02 c conflict analysis: 0.00 0 0 0.00 -
1796.67/1797.02 c B&B Tree :
1796.67/1797.02 c number of runs : 1
1796.67/1797.02 c nodes : 28717
1796.67/1797.02 c nodes (total) : 28717
1796.67/1797.02 c nodes left : 8753
1796.67/1797.02 c max depth : 61
1796.67/1797.02 c max depth (total): 61
1796.67/1797.02 c backtracks : 4800 (16.7%)
1796.67/1797.02 c delayed cutoffs : 0
1796.67/1797.02 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.67/1797.02 c avg switch length: 6.26
1796.67/1797.02 c switching time : 35.68
1796.67/1797.02 c Solution :
1796.67/1797.02 c Solutions found : 704 (10 improvements)
1796.67/1797.02 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.14 seconds, depth 0, found by <trivial>)
1796.67/1797.02 c Primal Bound : -3.70000000000000e+01 (in run 1, after 27710 nodes, 1761.28 seconds, depth 30, found by <relaxation>)
1796.67/1797.02 c Dual Bound : -4.00000000000000e+01
1796.67/1797.02 c Gap : 8.11 %
1796.67/1797.02 c Root Dual Bound : -4.05000000000000e+01
1796.67/1797.02 c Root Iterations : 8419
1796.87/1797.27 c Time complete: 1796.95.
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-3692103-1338031916/watcher-3692103-1338031916 -o /tmp/evaluation-result-3692103-1338031916/solver-3692103-1338031916 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692103-1338031916.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
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
[startup+0 s]
/proc/loadavg: 2.02 2.01 2.00 3/174 4226
/proc/meminfo: memFree=29433860/32873852 swapFree=7616/7616
[pid=4226] ppid=4224 vsize=11812 CPUtime=0 cores=1,3,5,7
/proc/4226/stat : 4226 (runsolver) R 4224 403 403 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 1 0 269317074 12095488 35 33554432000 4194304 5436572 140733487865088 140733487861384 4308472 0 0 4096 24578 0 0 0 17 7 0 0 0 0 0
/proc/4226/statm: 2953 35 15 304 0 2645 0
Current StackSize limit: 10240 KiB
[startup+0.0324449 s]
/proc/loadavg: 2.02 2.01 2.00 3/174 4226
/proc/meminfo: memFree=29433860/32873852 swapFree=7616/7616
[pid=4226] ppid=4224 vsize=17984 CPUtime=0.01 cores=1,3,5,7
/proc/4226/stat : 4226 (scip-2.1.1.4exp) R 4224 4226 403 0 -1 4202496 3246 0 0 0 1 0 0 0 20 0 1 0 269317074 18415616 3200 33554432000 4194304 10219143 140737263347632 140733487861272 7154559 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4226/statm: 4496 3200 421 1471 0 3016 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17984
[startup+0.100331 s]
/proc/loadavg: 2.02 2.01 2.00 3/174 4226
/proc/meminfo: memFree=29433860/32873852 swapFree=7616/7616
[pid=4226] ppid=4224 vsize=30716 CPUtime=0.09 cores=1,3,5,7
/proc/4226/stat : 4226 (scip-2.1.1.4exp) R 4224 4226 403 0 -1 4202496 6437 0 0 0 8 1 0 0 20 0 1 0 269317074 31453184 6391 33554432000 4194304 10219143 140737263347632 140733487861272 9029200 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4226/statm: 7679 6391 421 1471 0 6199 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30716
[startup+0.300313 s]
/proc/loadavg: 2.02 2.01 2.00 3/174 4226
/proc/meminfo: memFree=29433860/32873852 swapFree=7616/7616
[pid=4226] ppid=4224 vsize=66340 CPUtime=0.29 cores=1,3,5,7
/proc/4226/stat : 4226 (scip-2.1.1.4exp) R 4224 4226 403 0 -1 4202496 15644 0 0 0 25 4 0 0 20 0 1 0 269317074 67932160 15004 33554432000 4194304 10219143 140737263347632 140733487861272 9008087 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/4226/statm: 16585 15004 552 1471 0 15105 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 66340
[startup+0.700328 s]
/proc/loadavg: 2.02 2.01 2.00 3/174 4226
/proc/meminfo: memFree=29433860/32873852 swapFree=7616/7616
[pid=4226] ppid=4224 vsize=121388 CPUtime=0.68 cores=1,3,5,7
/proc/4226/stat : 4226 (scip-2.1.1.4exp) R 4224 4226 403 0 -1 4202496 29154 0 0 0 60 8 0 0 20 0 1 0 269317074 124301312 28837 33554432000 4194304 10219143 140737263347632 140733487861272 8036741 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/4226/statm: 30347 28837 671 1471 0 28867 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 121388
[startup+1.5003 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 4227
/proc/meminfo: memFree=29306416/32873852 swapFree=7616/7616
[pid=4226] ppid=4224 vsize=146540 CPUtime=1.49 cores=1,3,5,7
/proc/4226/stat : 4226 (scip-2.1.1.4exp) R 4224 4226 403 0 -1 4202496 34939 0 0 0 138 11 0 0 20 0 1 0 269317074 150056960 34024 33554432000 4194304 10219143 140737263347632 140737263341272 7455599 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/4226/statm: 36635 34024 764 1471 0 35155 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 146540
[startup+3.10024 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 4227
/proc/meminfo: memFree=29298912/32873852 swapFree=7616/7616
[pid=4226] ppid=4224 vsize=146540 CPUtime=3.08 cores=1,3,5,7
/proc/4226/stat : 4226 (scip-2.1.1.4exp) R 4224 4226 403 0 -1 4202496 35535 0 0 0 297 11 0 0 20 0 1 0 269317074 150056960 34468 33554432000 4194304 10219143 140737263347632 140737263343016 7266267 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/4226/statm: 36635 34468 776 1471 0 35155 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 146540
[startup+6.30023 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 4227
/proc/meminfo: memFree=29297060/32873852 swapFree=7616/7616
[pid=4226] ppid=4224 vsize=146540 CPUtime=6.29 cores=1,3,5,7
/proc/4226/stat : 4226 (scip-2.1.1.4exp) R 4224 4226 403 0 -1 4202496 35786 0 0 0 616 13 0 0 20 0 1 0 269317074 150056960 34719 33554432000 4194304 10219143 140737263347632 140737263343016 7257005 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/4226/statm: 36635 34719 778 1471 0 35155 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 146540
[startup+12.7002 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 4227
/proc/meminfo: memFree=29294976/32873852 swapFree=7616/7616
[pid=4226] ppid=4224 vsize=146540 CPUtime=12.68 cores=1,3,5,7
/proc/4226/stat : 4226 (scip-2.1.1.4exp) R 4224 4226 403 0 -1 4202496 36090 0 0 0 1255 13 0 0 20 0 1 0 269317074 150056960 35023 33554432000 4194304 10219143 140737263347632 140737263343016 9026266 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/4226/statm: 36635 35023 779 1471 0 35155 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 146540
[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 2.00 3/174 4227
/proc/meminfo: memFree=29251576/32873852 swapFree=7616/7616
[pid=4226] ppid=4224 vsize=188692 CPUtime=25.48 cores=1,3,5,7
/proc/4226/stat : 4226 (scip-2.1.1.4exp) R 4224 4226 403 0 -1 4202496 46888 0 0 0 2525 23 0 0 20 0 1 0 269317074 193220608 45804 33554432000 4194304 10219143 140737263347632 140737263341176 9026266 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/4226/statm: 47173 45804 834 1471 0 45693 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 188692
[startup+51.1003 s]
/proc/loadavg: 2.08 2.02 2.00 3/175 4228
/proc/meminfo: memFree=29251316/32873852 swapFree=7616/7616
[pid=4226] ppid=4224 vsize=188692 CPUtime=51.06 cores=1,3,5,7
/proc/4226/stat : 4226 (scip-2.1.1.4exp) R 4224 4226 403 0 -1 4202496 46889 0 0 0 5079 27 0 0 20 0 1 0 269317074 193220608 45805 33554432000 4194304 10219143 140737263347632 140737263340760 7767136 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/4226/statm: 47173 45805 835 1471 0 45693 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 188692
[startup+102.307 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 4228
/proc/meminfo: memFree=29248592/32873852 swapFree=7616/7616
[pid=4226] ppid=4224 vsize=188692 CPUtime=102.25 cores=1,3,5,7
/proc/4226/stat : 4226 (scip-2.1.1.4exp) R 4224 4226 403 0 -1 4202496 46897 0 0 0 10188 37 0 0 20 0 1 0 269317074 193220608 45870 33554432000 4194304 10219143 140737263347632 140737263341464 9026266 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/4226/statm: 47173 45870 835 1471 0 45693 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 188692
[startup+162.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/175 4228
/proc/meminfo: memFree=29248268/32873852 swapFree=7616/7616
[pid=4226] ppid=4224 vsize=186360 CPUtime=162.23 cores=1,3,5,7
/proc/4226/stat : 4226 (scip-2.1.1.4exp) R 4224 4226 403 0 -1 4202496 49739 0 0 0 16168 55 0 0 20 0 1 0 269317074 190832640 45658 33554432000 4194304 10219143 140737263347632 140737263343000 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/4226/statm: 46590 45658 835 1471 0 45110 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 186360
[startup+222.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/175 4228
/proc/meminfo: memFree=29246964/32873852 swapFree=7616/7616
[pid=4226] ppid=4224 vsize=186360 CPUtime=222.22 cores=1,3,5,7
/proc/4226/stat : 4226 (scip-2.1.1.4exp) R 4224 4226 403 0 -1 4202496 57738 0 0 0 22151 71 0 0 20 0 1 0 269317074 190832640 45664 33554432000 4194304 10219143 140737263347632 140737263342664 7728396 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/4226/statm: 46590 45664 839 1471 0 45110 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 186360
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/175 4228
/proc/meminfo: memFree=29246468/32873852 swapFree=7616/7616
[pid=4226] ppid=4224 vsize=187664 CPUtime=282.21 cores=1,3,5,7
/proc/4226/stat : 4226 (scip-2.1.1.4exp) R 4224 4226 403 0 -1 4202496 57740 0 0 0 28137 84 0 0 20 0 1 0 269317074 192167936 45666 33554432000 4194304 10219143 140737263347632 140737263341272 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/4226/statm: 46916 45666 839 1471 0 45436 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 187664
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/175 4229
/proc/meminfo: memFree=29236052/32873852 swapFree=7616/7616
[pid=4226] ppid=4224 vsize=199544 CPUtime=342.2 cores=1,3,5,7
/proc/4226/stat : 4226 (scip-2.1.1.4exp) R 4224 4226 403 0 -1 4202496 72231 0 0 0 34116 104 0 0 20 0 1 0 269317074 204333056 48261 33554432000 4194304 10219143 140737263347632 140737263340968 5184847 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/4226/statm: 49886 48261 840 1471 0 48406 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 199544
[startup+402.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/175 4229
/proc/meminfo: memFree=29223400/32873852 swapFree=7616/7616
[pid=4226] ppid=4224 vsize=210464 CPUtime=402.2 cores=1,3,5,7
/proc/4226/stat : 4226 (scip-2.1.1.4exp) R 4224 4226 403 0 -1 4202496 88397 0 0 0 40097 123 0 0 20 0 1 0 269317074 215515136 50830 33554432000 4194304 10219143 140737263347632 140737263340808 5184847 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/4226/statm: 52616 50830 840 1471 0 51136 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 210464
[startup+462.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 4229
/proc/meminfo: memFree=29210048/32873852 swapFree=7616/7616
[pid=4226] ppid=4224 vsize=222360 CPUtime=462.18 cores=1,3,5,7
/proc/4226/stat : 4226 (scip-2.1.1.4exp) R 4224 4226 403 0 -1 4202496 91583 0 0 0 46079 139 0 0 20 0 1 0 269317074 227696640 54022 33554432000 4194304 10219143 140737263347632 140737263340616 7931818 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/4226/statm: 55590 54022 840 1471 0 54110 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 222360
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 4232
/proc/meminfo: memFree=29156152/32873852 swapFree=7616/7616
[pid=4226] ppid=4224 vsize=273616 CPUtime=522.18 cores=1,3,5,7
/proc/4226/stat : 4226 (scip-2.1.1.4exp) R 4224 4226 403 0 -1 4202496 104202 0 0 0 52061 157 0 0 20 0 1 0 269317074 280182784 67099 33554432000 4194304 10219143 140737263347632 140737263343000 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/4226/statm: 68404 67099 840 1471 0 66924 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 273616
[startup+582.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/175 4232
/proc/meminfo: memFree=29154668/32873852 swapFree=7616/7616
[pid=4226] ppid=4224 vsize=273616 CPUtime=582.16 cores=1,3,5,7
/proc/4226/stat : 4226 (scip-2.1.1.4exp) R 4224 4226 403 0 -1 4202496 104211 0 0 0 58043 173 0 0 20 0 1 0 269317074 280182784 67108 33554432000 4194304 10219143 140737263347632 140737263341192 8091892 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/4226/statm: 68404 67108 840 1471 0 66924 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 273616
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=29077856/32873852 swapFree=7616/7616
[pid=4226] ppid=4224 vsize=328676 CPUtime=1122.08 cores=1,3,5,7
/proc/4226/stat : 4226 (scip-2.1.1.4exp) R 4224 4226 403 0 -1 4202496 204569 0 0 0 111860 348 0 0 20 0 1 0 269317074 336564224 80524 33554432000 4194304 10219143 140737263347632 140737263341272 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/4226/statm: 82169 80524 840 1471 0 80689 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 328676
[startup+1182.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/175 4276
/proc/meminfo: memFree=28874876/32873852 swapFree=7616/7616
[pid=4226] ppid=4224 vsize=337396 CPUtime=1182.08 cores=1,3,5,7
/proc/4226/stat : 4226 (scip-2.1.1.4exp) R 4224 4226 403 0 -1 4202496 206367 0 0 0 117842 366 0 0 20 0 1 0 269317074 345493504 82788 33554432000 4194304 10219143 140737263347632 140737263340568 5184847 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/4226/statm: 84349 82788 840 1471 0 82869 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 337396
[startup+1242.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/175 4276
/proc/meminfo: memFree=28861900/32873852 swapFree=7616/7616
[pid=4226] ppid=4224 vsize=350848 CPUtime=1242.07 cores=1,3,5,7
/proc/4226/stat : 4226 (scip-2.1.1.4exp) R 4224 4226 403 0 -1 4202496 221974 0 0 0 123824 383 0 0 20 0 1 0 269317074 359268352 85847 33554432000 4194304 10219143 140737263347632 140737263340888 7728963 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/4226/statm: 87712 85847 840 1471 0 86232 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 350848
[startup+1302.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/175 4277
/proc/meminfo: memFree=28848912/32873852 swapFree=7616/7616
[pid=4226] ppid=4224 vsize=362332 CPUtime=1302.06 cores=1,3,5,7
/proc/4226/stat : 4226 (scip-2.1.1.4exp) R 4224 4226 403 0 -1 4202496 224620 0 0 0 129810 396 0 0 20 0 1 0 269317074 371027968 88484 33554432000 4194304 10219143 140737263347632 140737263344152 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/4226/statm: 90583 88484 840 1471 0 89103 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 362332
[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/175 4277
/proc/meminfo: memFree=28840020/32873852 swapFree=7616/7616
[pid=4226] ppid=4224 vsize=369604 CPUtime=1362.04 cores=1,3,5,7
/proc/4226/stat : 4226 (scip-2.1.1.4exp) R 4224 4226 403 0 -1 4202496 226907 0 0 0 135797 407 0 0 20 0 1 0 269317074 378474496 90760 33554432000 4194304 10219143 140737263347632 140737263341304 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/4226/statm: 92401 90760 840 1471 0 90921 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 369604
[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/175 4277
/proc/meminfo: memFree=28835068/32873852 swapFree=7616/7616
[pid=4226] ppid=4224 vsize=384276 CPUtime=1422.04 cores=1,3,5,7
/proc/4226/stat : 4226 (scip-2.1.1.4exp) R 4224 4226 403 0 -1 4202496 230409 0 0 0 141781 423 0 0 20 0 1 0 269317074 393498624 94260 33554432000 4194304 10219143 140737263347632 140737263340888 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/4226/statm: 96069 94260 840 1471 0 94589 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 384276
[startup+1482.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/175 4277
/proc/meminfo: memFree=28824652/32873852 swapFree=7616/7616
[pid=4226] ppid=4224 vsize=395288 CPUtime=1482.02 cores=1,3,5,7
/proc/4226/stat : 4226 (scip-2.1.1.4exp) R 4224 4226 403 0 -1 4202496 233215 0 0 0 147767 435 0 0 20 0 1 0 269317074 404774912 97007 33554432000 4194304 10219143 140737263347632 140737263341272 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/4226/statm: 98822 97007 840 1471 0 97342 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 395288
[startup+1542.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 4277
/proc/meminfo: memFree=28814360/32873852 swapFree=7616/7616
[pid=4226] ppid=4224 vsize=404780 CPUtime=1542.01 cores=1,3,5,7
/proc/4226/stat : 4226 (scip-2.1.1.4exp) R 4224 4226 403 0 -1 4202496 248681 0 0 0 153748 453 0 0 20 0 1 0 269317074 414494720 99455 33554432000 4194304 10219143 140737263347632 140737263342456 8077253 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/4226/statm: 101195 99455 840 1471 0 99715 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 404780
[startup+1602.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/175 4278
/proc/meminfo: memFree=28800964/32873852 swapFree=7616/7616
[pid=4226] ppid=4224 vsize=418180 CPUtime=1602.01 cores=1,3,5,7
/proc/4226/stat : 4226 (scip-2.1.1.4exp) R 4224 4226 403 0 -1 4202496 251811 0 0 0 159731 470 0 0 20 0 1 0 269317074 428216320 102663 33554432000 4194304 10219143 140737263347632 140737263340984 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/4226/statm: 104545 102663 840 1471 0 103065 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 418180
[startup+1662.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/175 4278
/proc/meminfo: memFree=28793896/32873852 swapFree=7616/7616
[pid=4226] ppid=4224 vsize=423756 CPUtime=1662 cores=1,3,5,7
/proc/4226/stat : 4226 (scip-2.1.1.4exp) R 4224 4226 403 0 -1 4202496 253602 0 0 0 165712 488 0 0 20 0 1 0 269317074 433926144 104454 33554432000 4194304 10219143 140737263347632 140737263341464 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/4226/statm: 105939 104454 840 1471 0 104459 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 423756
[startup+1722.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/176 4281
/proc/meminfo: memFree=28779188/32873852 swapFree=7616/7616
[pid=4226] ppid=4224 vsize=432316 CPUtime=1721.99 cores=1,3,5,7
/proc/4226/stat : 4226 (scip-2.1.1.4exp) R 4224 4226 403 0 -1 4202496 255571 0 0 0 171695 504 0 0 20 0 1 0 269317074 442691584 106421 33554432000 4194304 10219143 140737263347632 140737263340568 8090870 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/4226/statm: 108079 106421 840 1471 0 106599 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 432316
[startup+1782.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/176 4304
/proc/meminfo: memFree=28770384/32873852 swapFree=7616/7616
[pid=4226] ppid=4224 vsize=439468 CPUtime=1781.97 cores=1,3,5,7
/proc/4226/stat : 4226 (scip-2.1.1.4exp) R 4224 4226 403 0 -1 4202496 280527 0 0 0 177670 527 0 0 20 0 1 0 269317074 450015232 107691 33554432000 4194304 10219143 140737263347632 140737263340552 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/4226/statm: 109867 107691 840 1471 0 108387 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 439468
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.08 2.06 2.00 3/176 4304
/proc/meminfo: memFree=28769888/32873852 swapFree=7616/7616
[pid=4226] ppid=4224 vsize=440256 CPUtime=1785.17 cores=1,3,5,7
/proc/4226/stat : 4226 (scip-2.1.1.4exp) R 4224 4226 403 0 -1 4202496 280760 0 0 0 177989 528 0 0 20 0 1 0 269317074 450822144 107924 33554432000 4194304 10219143 140737263347632 140737263340568 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/4226/statm: 110064 107924 840 1471 0 108584 0
Current children cumulated CPU time (s) 1785.17
Current children cumulated vsize (KiB) 440256
[startup+1791.91 s]
/proc/loadavg: 2.08 2.06 2.00 3/176 4304
/proc/meminfo: memFree=28768524/32873852 swapFree=7616/7616
[pid=4226] ppid=4224 vsize=440256 CPUtime=1791.58 cores=1,3,5,7
/proc/4226/stat : 4226 (scip-2.1.1.4exp) R 4224 4226 403 0 -1 4202496 280942 0 0 0 178627 531 0 0 20 0 1 0 269317074 450822144 108106 33554432000 4194304 10219143 140737263347632 140737263340360 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/4226/statm: 110064 108106 840 1471 0 108584 0
Current children cumulated CPU time (s) 1791.58
Current children cumulated vsize (KiB) 440256
[startup+1795.1 s]
/proc/loadavg: 2.07 2.05 2.00 3/176 4304
/proc/meminfo: memFree=28767904/32873852 swapFree=7616/7616
[pid=4226] ppid=4224 vsize=440256 CPUtime=1794.78 cores=1,3,5,7
/proc/4226/stat : 4226 (scip-2.1.1.4exp) R 4224 4226 403 0 -1 4202496 280979 0 0 0 178946 532 0 0 20 0 1 0 269317074 450822144 108143 33554432000 4194304 10219143 140737263347632 140737263341272 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/4226/statm: 110064 108143 840 1471 0 108584 0
Current children cumulated CPU time (s) 1794.78
Current children cumulated vsize (KiB) 440256
[startup+1795.9 s]
/proc/loadavg: 2.07 2.05 2.00 3/176 4304
/proc/meminfo: memFree=28767904/32873852 swapFree=7616/7616
[pid=4226] ppid=4224 vsize=442176 CPUtime=1795.57 cores=1,3,5,7
/proc/4226/stat : 4226 (scip-2.1.1.4exp) R 4224 4226 403 0 -1 4202496 281336 0 0 0 179025 532 0 0 20 0 1 0 269317074 452788224 108465 33554432000 4194304 10219143 140737263347632 140737263340888 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/4226/statm: 110544 108465 840 1471 0 109064 0
Current children cumulated CPU time (s) 1795.57
Current children cumulated vsize (KiB) 442176
[startup+1796.7 s]
/proc/loadavg: 2.07 2.05 2.00 3/176 4304
/proc/meminfo: memFree=28766664/32873852 swapFree=7616/7616
[pid=4226] ppid=4224 vsize=442176 CPUtime=1796.37 cores=1,3,5,7
/proc/4226/stat : 4226 (scip-2.1.1.4exp) R 4224 4226 403 0 -1 4202496 281337 0 0 0 179105 532 0 0 20 0 1 0 269317074 452788224 108466 33554432000 4194304 10219143 140737263347632 140737263340888 8085190 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/4226/statm: 110544 108466 840 1471 0 109064 0
Current children cumulated CPU time (s) 1796.37
Current children cumulated vsize (KiB) 442176
[startup+1797.1 s]
/proc/loadavg: 2.07 2.05 2.00 3/176 4304
/proc/meminfo: memFree=28766664/32873852 swapFree=7616/7616
[pid=4226] ppid=4224 vsize=442176 CPUtime=1796.77 cores=1,3,5,7
/proc/4226/stat : 4226 (scip-2.1.1.4exp) R 4224 4226 403 0 -1 4202496 281340 0 0 0 179145 532 0 0 20 0 1 0 269317074 452788224 108469 33554432000 4194304 10219143 140737263347632 140737263340888 7589177 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4226/statm: 110544 108469 842 1471 0 109064 0
Current children cumulated CPU time (s) 1796.77
Current children cumulated vsize (KiB) 442176
[startup+1797.2 s]
/proc/loadavg: 2.07 2.05 2.00 3/176 4304
/proc/meminfo: memFree=28766664/32873852 swapFree=7616/7616
[pid=4226] ppid=4224 vsize=442176 CPUtime=1796.87 cores=1,3,5,7
/proc/4226/stat : 4226 (scip-2.1.1.4exp) R 4224 4226 403 0 -1 4202496 281340 0 0 0 179155 532 0 0 20 0 1 0 269317074 452788224 108469 33554432000 4194304 10219143 140737263347632 140737263340888 9008087 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4226/statm: 110544 108469 842 1471 0 109064 0
Current children cumulated CPU time (s) 1796.87
Current children cumulated vsize (KiB) 442176
Child status: 0
Real time (s): 1797.28
CPU time (s): 1796.96
CPU user time (s): 1791.62
CPU system time (s): 5.33719
CPU usage (%): 99.9825
Max. virtual memory (cumulated for all children) (KiB): 485980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.62
system time used= 5.33719
maximum resident set size= 480684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 281342
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= 33
involuntary context switches= 2089
runsolver used 2.81357 second user time and 7.39987 second system time
The end