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-3690938-1338018829.opb>
0.09/0.12 c original problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 59186 constraints
0.09/0.12 c problem read in 0.12
0.19/0.27 o 0
0.19/0.28 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.19/0.28 c presolving:
0.69/0.78 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 59186 upgd conss, 118372 impls, 0 clqs
1.19/1.20 c (1.2s) probing: 51/945 (5.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.19/1.20 c (1.2s) probing aborted: 50/50 successive totally useless probings
1.19/1.21 c presolving (2 rounds):
1.19/1.21 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.19/1.21 c 118372 implications, 0 cliques
1.19/1.21 c presolved problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 59186 constraints
1.19/1.21 c 59186 constraints of type <setppc>
1.19/1.21 c transformed objective value is always integral (scale: 1)
1.19/1.21 c Presolving Time: 1.05
1.19/1.21 c - non default parameters ----------------------------------------------------------------------
1.19/1.21 c # SCIP version 2.1.1.4
1.19/1.21 c
1.19/1.21 c # maximal time in seconds to run
1.19/1.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.19/1.21 c limits/time = 1797
1.19/1.21 c
1.19/1.21 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.19/1.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.19/1.21 c limits/memory = 13950
1.19/1.21 c
1.19/1.21 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.19/1.21 c # [type: int, range: [1,2], default: 1]
1.19/1.21 c timing/clocktype = 2
1.19/1.21 c
1.19/1.21 c # belongs reading time to solving time?
1.19/1.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.21 c timing/reading = TRUE
1.19/1.21 c
1.19/1.21 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.19/1.21 c # [type: int, range: [-1,2147483647], default: -1]
1.19/1.21 c separating/rapidlearning/freq = 0
1.19/1.21 c
1.19/1.21 c -----------------------------------------------------------------------------------------------
1.19/1.21 c start solving
1.19/1.23 c
1.89/1.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.89/1.97 c t 2.0s| 1 | 0 | 946 | - | 71M| 0 | 945 | 945 | 59k| 945 | 59k| 0 | 0 | 0 |-4.725000e+02 | 0.000000e+00 | Inf
1.99/2.01 o -1
1.99/2.01 c R 2.0s| 1 | 0 | 946 | - | 71M| 0 | 945 | 945 | 59k| 945 | 59k| 0 | 0 | 0 |-4.725000e+02 |-1.000000e+00 | Large
3.09/3.12 c 3.1s| 1 | 0 | 1297 | - | 71M| 0 | 889 | 945 | 59k| 945 | 59k| 6 | 0 | 0 |-4.445000e+02 |-1.000000e+00 | Large
3.09/3.32 o -32
3.09/3.32 c b 3.1s| 1 | 0 | 1297 | - | 71M| 0 | 889 | 945 | 59k| 945 | 59k| 6 | 0 | 0 |-4.445000e+02 |-3.200000e+01 |1289.06%
4.29/4.39 c 4.4s| 1 | 0 | 1433 | - | 71M| 0 | 848 | 945 | 59k| 945 | 59k| 12 | 0 | 0 |-4.240000e+02 |-3.200000e+01 |1225.00%
5.99/6.03 c 6.0s| 1 | 0 | 1655 | - | 71M| 0 | 809 | 945 | 59k| 945 | 59k| 18 | 0 | 0 |-4.045000e+02 |-3.200000e+01 |1164.06%
7.80/7.81 c 7.8s| 1 | 0 | 1755 | - | 71M| 0 | 769 | 945 | 59k| 945 | 59k| 25 | 0 | 0 |-3.845000e+02 |-3.200000e+01 |1101.56%
9.79/9.88 c 9.9s| 1 | 0 | 1959 | - | 71M| 0 | 728 | 945 | 59k| 945 | 59k| 34 | 0 | 0 |-3.640000e+02 |-3.200000e+01 |1037.50%
12.20/12.23 c 12.2s| 1 | 0 | 2334 | - | 71M| 0 | 686 | 945 | 59k| 945 | 59k| 43 | 0 | 0 |-3.430000e+02 |-3.200000e+01 | 971.88%
14.50/14.52 c 14.5s| 1 | 0 | 2601 | - | 71M| 0 | 646 | 945 | 59k| 945 | 59k| 52 | 0 | 0 |-3.230000e+02 |-3.200000e+01 | 909.38%
16.79/16.80 c 16.8s| 1 | 0 | 2864 | - | 71M| 0 | 604 | 945 | 59k| 945 | 59k| 65 | 0 | 0 |-3.020000e+02 |-3.200000e+01 | 843.75%
18.98/19.07 c 19.1s| 1 | 0 | 3198 | - | 71M| 0 | 577 | 945 | 59k| 945 | 59k| 77 | 0 | 0 |-2.885000e+02 |-3.200000e+01 | 801.56%
21.58/21.67 c 21.7s| 1 | 0 | 3699 | - | 71M| 0 | 535 | 945 | 59k| 945 | 59k| 92 | 0 | 0 |-2.675000e+02 |-3.200000e+01 | 735.94%
22.48/22.55 c 22.6s| 1 | 0 | 4153 | - | 71M| 0 | 497 | 945 | 59k| 945 | 59k| 111 | 0 | 0 |-2.485000e+02 |-3.200000e+01 | 676.56%
22.99/23.05 c 23.0s| 1 | 0 | 4379 | - | 71M| 0 | 470 | 945 | 59k| 945 | 59k| 129 | 0 | 0 |-2.350000e+02 |-3.200000e+01 | 634.38%
23.58/23.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.58/23.60 c 23.6s| 1 | 0 | 4655 | - | 71M| 0 | 429 | 945 | 59k| 945 | 59k| 144 | 0 | 0 |-2.145000e+02 |-3.200000e+01 | 570.31%
25.08/25.15 c 25.1s| 1 | 0 | 6179 | - | 71M| 0 | 386 | 945 | 59k| 945 | 59k| 156 | 0 | 0 |-1.930000e+02 |-3.200000e+01 | 503.12%
25.99/26.06 c 26.1s| 1 | 0 | 7045 | - | 71M| 0 | 348 | 945 | 59k| 945 | 59k| 164 | 0 | 0 |-1.740000e+02 |-3.200000e+01 | 443.75%
27.98/28.06 c 28.1s| 1 | 0 | 8958 | - | 71M| 0 | 318 | 945 | 59k| 945 | 59k| 172 | 0 | 0 |-1.590000e+02 |-3.200000e+01 | 396.88%
28.89/28.97 c 29.0s| 1 | 0 | 9815 | - | 71M| 0 | 293 | 945 | 59k| 945 | 59k| 182 | 0 | 0 |-1.465000e+02 |-3.200000e+01 | 357.81%
29.68/29.70 c 29.7s| 1 | 0 | 10404 | - | 71M| 0 | 239 | 945 | 59k| 945 | 59k| 194 | 0 | 0 |-1.195000e+02 |-3.200000e+01 | 273.44%
30.28/30.38 c 30.4s| 1 | 0 | 11179 | - | 71M| 0 | 202 | 945 | 59k| 945 | 59k| 205 | 0 | 0 |-1.010000e+02 |-3.200000e+01 | 215.62%
31.88/31.91 c 31.9s| 1 | 0 | 12920 | - | 71M| 0 | 181 | 945 | 59k| 945 | 59k| 215 | 0 | 0 |-9.050000e+01 |-3.200000e+01 | 182.81%
34.08/34.18 c 34.2s| 1 | 0 | 15558 | - | 71M| 0 | 164 | 945 | 59k| 945 | 59k| 221 | 0 | 0 |-8.200000e+01 |-3.200000e+01 | 156.25%
34.28/34.32 c 34.3s| 1 | 0 | 15702 | - | 71M| 0 | 149 | 945 | 59k| 945 | 59k| 225 | 0 | 0 |-7.450000e+01 |-3.200000e+01 | 132.81%
34.58/34.61 c 34.6s| 1 | 0 | 15979 | - | 71M| 0 | 136 | 945 | 59k| 945 | 59k| 230 | 0 | 0 |-6.800000e+01 |-3.200000e+01 | 112.50%
34.68/34.77 c 34.8s| 1 | 0 | 16149 | - | 71M| 0 | 121 | 945 | 59k| 945 | 59k| 236 | 0 | 0 |-6.050000e+01 |-3.200000e+01 | 89.06%
34.78/34.86 c 34.9s| 1 | 0 | 16216 | - | 71M| 0 | 123 | 945 | 59k| 945 | 59k| 240 | 0 | 0 |-5.550000e+01 |-3.200000e+01 | 73.44%
35.28/35.33 c 35.3s| 1 | 0 | 17047 | - | 71M| 0 | 131 | 945 | 59k| 945 | 59k| 244 | 0 | 0 |-5.100000e+01 |-3.200000e+01 | 59.38%
35.38/35.48 c 35.5s| 1 | 0 | 17186 | - | 71M| 0 | 140 | 945 | 59k| 945 | 59k| 250 | 0 | 0 |-4.911111e+01 |-3.200000e+01 | 53.47%
35.48/35.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
35.48/35.59 c 35.6s| 1 | 0 | 17278 | - | 71M| 0 | 137 | 945 | 59k| 945 | 59k| 259 | 0 | 0 |-4.700000e+01 |-3.200000e+01 | 46.87%
35.68/35.70 c 35.7s| 1 | 0 | 17316 | - | 71M| 0 | 139 | 945 | 59k| 945 | 59k| 267 | 0 | 0 |-4.700000e+01 |-3.200000e+01 | 46.87%
35.78/35.84 c 35.8s| 1 | 0 | 17419 | - | 71M| 0 | 151 | 945 | 59k| 945 | 59k| 272 | 0 | 0 |-4.688889e+01 |-3.200000e+01 | 46.53%
35.88/35.96 c 36.0s| 1 | 0 | 17486 | - | 71M| 0 | 157 | 945 | 59k| 945 | 59k| 283 | 0 | 0 |-4.685714e+01 |-3.200000e+01 | 46.43%
35.98/36.03 c 36.0s| 1 | 0 | 17522 | - | 71M| 0 | 156 | 945 | 59k| 945 | 59k| 291 | 0 | 0 |-4.685714e+01 |-3.200000e+01 | 46.43%
36.08/36.18 c 36.2s| 1 | 0 | 17597 | - | 71M| 0 | 169 | 945 | 59k| 945 | 59k| 297 | 0 | 0 |-4.685714e+01 |-3.200000e+01 | 46.43%
36.28/36.30 c 36.3s| 1 | 0 | 17659 | - | 71M| 0 | 169 | 945 | 59k| 945 | 59k| 302 | 0 | 0 |-4.685714e+01 |-3.200000e+01 | 46.43%
36.39/36.45 c 36.5s| 1 | 0 | 17727 | - | 71M| 0 | 169 | 945 | 59k| 945 | 59k| 311 | 0 | 0 |-4.685714e+01 |-3.200000e+01 | 46.43%
36.58/36.67 c 36.7s| 1 | 0 | 17885 | - | 71M| 0 | 169 | 945 | 59k| 945 | 59k| 322 | 0 | 0 |-4.585714e+01 |-3.200000e+01 | 43.30%
36.78/36.80 c 36.8s| 1 | 0 | 17953 | - | 71M| 0 | 172 | 945 | 59k| 945 | 59k| 330 | 0 | 0 |-4.585714e+01 |-3.200000e+01 | 43.30%
36.98/37.07 c 37.1s| 1 | 0 | 18124 | - | 71M| 0 | 162 | 945 | 59k| 945 | 59k| 338 | 0 | 0 |-4.500000e+01 |-3.200000e+01 | 40.63%
37.08/37.19 c 37.2s| 1 | 0 | 18190 | - | 71M| 0 | 160 | 945 | 59k| 945 | 59k| 345 | 0 | 0 |-4.500000e+01 |-3.200000e+01 | 40.63%
37.28/37.38 c 37.4s| 1 | 0 | 18305 | - | 71M| 0 | 168 | 945 | 59k| 945 | 59k| 353 | 0 | 0 |-4.500000e+01 |-3.200000e+01 | 40.63%
37.49/37.53 c 37.5s| 1 | 0 | 18360 | - | 71M| 0 | 170 | 945 | 59k| 945 | 59k| 362 | 0 | 0 |-4.500000e+01 |-3.200000e+01 | 40.63%
37.59/37.65 c 37.6s| 1 | 0 | 18411 | - | 71M| 0 | 174 | 945 | 59k| 945 | 59k| 372 | 0 | 0 |-4.500000e+01 |-3.200000e+01 | 40.62%
37.78/37.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.78/37.81 c 37.8s| 1 | 0 | 18478 | - | 71M| 0 | 184 | 945 | 59k| 945 | 59k| 379 | 0 | 0 |-4.500000e+01 |-3.200000e+01 | 40.62%
50.57/50.69 c 50.7s| 1 | 2 | 18478 | - | 71M| 0 | 184 | 945 | 59k| 945 | 59k| 379 | 0 | 33 |-4.500000e+01 |-3.200000e+01 | 40.62%
141.75/141.85 o -33
141.75/141.85 c * 142s| 28 | 26 | 20728 | 83.3 | 74M| 21 | - | 945 | 59k| 945 | 59k| 379 | 0 | 625 |-4.500000e+01 |-3.300000e+01 | 36.36%
155.65/155.74 o -34
155.65/155.74 c * 156s| 41 | 35 | 21443 | 74.1 | 74M| 22 | - | 945 | 59k| 945 | 59k| 379 | 0 | 817 |-4.500000e+01 |-3.400000e+01 | 32.35%
171.54/171.61 o -35
171.54/171.61 c p 172s| 55 | 43 | 22087 | 66.8 | 75M| 22 | - | 945 | 59k| 945 | 59k| 379 | 0 |1034 |-4.500000e+01 |-3.500000e+01 | 28.57%
187.15/187.28 o -36
187.15/187.28 c v 187s| 81 | 61 | 23382 | 61.3 | 75M| 22 | - | 945 | 59k| 945 | 59k| 379 | 0 |1204 |-4.500000e+01 |-3.600000e+01 | 25.00%
193.75/193.83 c 194s| 100 | 80 | 24767 | 63.5 | 77M| 22 | 89 | 945 | 59k| 945 | 59k| 379 | 0 |1237 |-4.500000e+01 |-3.600000e+01 | 25.00%
196.64/196.78 o -37
196.64/196.78 c l 197s| 120 | 92 | 26035 | 63.5 | 78M| 22 | - | 945 | 59k| 945 | 59k| 379 | 0 |1248 |-4.500000e+01 |-3.700000e+01 | 21.62%
209.83/209.93 c 210s| 200 | 170 | 32521 | 70.6 | 81M| 22 | 181 | 945 | 59k| 945 | 59k| 379 | 0 |1275 |-4.500000e+01 |-3.700000e+01 | 21.62%
211.34/211.48 o -38
211.34/211.48 c l 211s| 212 | 181 | 33727 | 72.3 | 82M| 22 | - | 945 | 59k| 945 | 59k| 379 | 0 |1275 |-4.500000e+01 |-3.800000e+01 | 18.42%
220.43/220.58 c 221s| 300 | 255 | 39866 | 71.5 | 84M| 23 | 102 | 945 | 59k| 945 | 59k| 379 | 0 |1296 |-4.500000e+01 |-3.800000e+01 | 18.42%
231.64/231.70 c 232s| 400 | 335 | 45948 | 68.8 | 86M| 27 | 104 | 945 | 59k| 945 | 59k| 379 | 0 |1344 |-4.500000e+01 |-3.800000e+01 | 18.42%
242.53/242.64 c 243s| 500 | 415 | 52065 | 67.3 | 89M| 31 | 79 | 945 | 59k| 945 | 59k| 379 | 0 |1374 |-4.500000e+01 |-3.800000e+01 | 18.42%
250.13/250.25 c 250s| 600 | 481 | 57334 | 64.9 | 91M| 39 | - | 945 | 59k| 945 | 59k| 379 | 0 |1392 |-4.500000e+01 |-3.800000e+01 | 18.42%
259.03/259.15 c 259s| 700 | 547 | 62439 | 62.9 | 93M| 44 | 79 | 945 | 59k| 945 | 59k| 379 | 0 |1428 |-4.500000e+01 |-3.800000e+01 | 18.42%
267.53/267.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
267.53/267.67 c 268s| 800 | 599 | 67827 | 61.8 | 95M| 47 | 100 | 945 | 59k| 945 | 59k| 379 | 0 |1459 |-4.500000e+01 |-3.800000e+01 | 18.42%
275.13/275.22 c 275s| 900 | 647 | 71920 | 59.4 | 96M| 53 | - | 945 | 59k| 945 | 59k| 379 | 0 |1485 |-4.500000e+01 |-3.800000e+01 | 18.42%
282.02/282.14 c 282s| 1000 | 687 | 75812 | 57.4 | 97M| 61 | 126 | 945 | 59k| 945 | 59k| 379 | 0 |1516 |-4.500000e+01 |-3.800000e+01 | 18.42%
294.52/294.67 c 295s| 1100 | 771 | 83723 | 59.4 | 99M| 61 | 108 | 945 | 59k| 945 | 59k| 379 | 0 |1552 |-4.500000e+01 |-3.800000e+01 | 18.42%
307.32/307.45 c 307s| 1200 | 871 | 91146 | 60.6 | 102M| 61 | 67 | 945 | 59k| 945 | 59k| 379 | 0 |1584 |-4.500000e+01 |-3.800000e+01 | 18.42%
322.22/322.36 c 322s| 1300 | 971 |100168 | 62.9 | 104M| 61 | 78 | 945 | 59k| 945 | 59k| 379 | 0 |1619 |-4.500000e+01 |-3.800000e+01 | 18.42%
335.91/336.07 c 336s| 1400 | 1067 |109391 | 65.0 | 106M| 61 | 83 | 945 | 59k| 945 | 59k| 379 | 0 |1655 |-4.500000e+01 |-3.800000e+01 | 18.42%
350.32/350.46 c 350s| 1500 | 1165 |118218 | 66.5 | 108M| 61 | 103 | 945 | 59k| 945 | 59k| 379 | 0 |1694 |-4.500000e+01 |-3.800000e+01 | 18.42%
368.72/368.82 c 369s| 1600 | 1261 |129364 | 69.3 | 111M| 61 | 105 | 945 | 59k| 945 | 59k| 379 | 0 |1744 |-4.500000e+01 |-3.800000e+01 | 18.42%
386.60/386.78 c 387s| 1700 | 1357 |140078 | 71.6 | 114M| 61 | 127 | 945 | 59k| 945 | 59k| 379 | 0 |1793 |-4.500000e+01 |-3.800000e+01 | 18.42%
398.50/398.61 c 399s| 1800 | 1457 |146700 | 71.3 | 116M| 61 | 125 | 945 | 59k| 945 | 59k| 379 | 0 |1819 |-4.500000e+01 |-3.800000e+01 | 18.42%
411.70/411.89 c 412s| 1900 | 1553 |155255 | 72.0 | 119M| 61 | 82 | 945 | 59k| 945 | 59k| 379 | 0 |1858 |-4.500000e+01 |-3.800000e+01 | 18.42%
430.30/430.48 c 430s| 2000 | 1647 |165970 | 73.8 | 121M| 61 | 62 | 945 | 59k| 945 | 59k| 379 | 0 |1907 |-4.500000e+01 |-3.800000e+01 | 18.42%
442.31/442.43 c 442s| 2100 | 1747 |172982 | 73.6 | 124M| 61 | 124 | 945 | 59k| 945 | 59k| 379 | 0 |1943 |-4.500000e+01 |-3.800000e+01 | 18.42%
454.49/454.60 c 455s| 2200 | 1843 |181178 | 74.0 | 126M| 61 | 93 | 945 | 59k| 945 | 59k| 379 | 0 |1967 |-4.500000e+01 |-3.800000e+01 | 18.42%
470.99/471.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
470.99/471.12 c 471s| 2300 | 1941 |191420 | 75.2 | 129M| 61 | 71 | 945 | 59k| 945 | 59k| 379 | 0 |2005 |-4.500000e+01 |-3.800000e+01 | 18.42%
489.60/489.76 c 490s| 2400 | 2039 |202609 | 76.8 | 132M| 61 | 77 | 945 | 59k| 945 | 59k| 379 | 0 |2041 |-4.500000e+01 |-3.800000e+01 | 18.42%
505.19/505.31 c 505s| 2500 | 2131 |211236 | 77.1 | 135M| 61 | 129 | 945 | 59k| 945 | 59k| 379 | 0 |2064 |-4.500000e+01 |-3.800000e+01 | 18.42%
517.10/517.23 c 517s| 2600 | 2229 |221707 | 78.2 | 137M| 61 | 103 | 945 | 59k| 945 | 59k| 379 | 0 |2068 |-4.500000e+01 |-3.800000e+01 | 18.42%
531.29/531.43 c 531s| 2700 | 2323 |231756 | 79.0 | 140M| 61 | 78 | 945 | 59k| 945 | 59k| 379 | 0 |2084 |-4.500000e+01 |-3.800000e+01 | 18.42%
546.48/546.61 c 547s| 2800 | 2423 |243491 | 80.4 | 143M| 61 | 89 | 945 | 59k| 945 | 59k| 379 | 0 |2096 |-4.500000e+01 |-3.800000e+01 | 18.42%
558.69/558.85 c 559s| 2900 | 2523 |253488 | 81.1 | 146M| 61 | 82 | 945 | 59k| 945 | 59k| 379 | 0 |2107 |-4.500000e+01 |-3.800000e+01 | 18.42%
572.68/572.84 c 573s| 3000 | 2621 |264007 | 81.9 | 148M| 61 | 72 | 945 | 59k| 945 | 59k| 379 | 0 |2120 |-4.500000e+01 |-3.800000e+01 | 18.42%
585.58/585.73 c 586s| 3100 | 2719 |274082 | 82.5 | 151M| 61 | 99 | 945 | 59k| 945 | 59k| 379 | 0 |2133 |-4.500000e+01 |-3.800000e+01 | 18.42%
596.58/596.77 c 597s| 3200 | 2815 |283110 | 82.7 | 153M| 61 | 103 | 945 | 59k| 945 | 59k| 379 | 0 |2134 |-4.500000e+01 |-3.800000e+01 | 18.42%
607.68/607.81 c 608s| 3300 | 2911 |292294 | 83.0 | 155M| 61 | 115 | 945 | 59k| 945 | 59k| 379 | 0 |2138 |-4.500000e+01 |-3.800000e+01 | 18.42%
620.97/621.10 c 621s| 3400 | 3003 |301524 | 83.3 | 158M| 61 | - | 945 | 59k| 945 | 59k| 379 | 0 |2160 |-4.500000e+01 |-3.800000e+01 | 18.42%
634.28/634.42 c 634s| 3500 | 3097 |310839 | 83.6 | 160M| 61 | 76 | 945 | 59k| 945 | 59k| 379 | 0 |2188 |-4.500000e+01 |-3.800000e+01 | 18.42%
651.37/651.50 c 651s| 3600 | 3195 |320803 | 84.0 | 163M| 61 | 71 | 945 | 59k| 945 | 59k| 379 | 0 |2235 |-4.500000e+01 |-3.800000e+01 | 18.42%
664.17/664.33 c 664s| 3700 | 3285 |329261 | 84.0 | 165M| 61 | 53 | 945 | 59k| 945 | 59k| 379 | 0 |2273 |-4.500000e+01 |-3.800000e+01 | 18.42%
677.46/677.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
677.46/677.69 c 678s| 3800 | 3375 |336793 | 83.8 | 167M| 61 | 71 | 945 | 59k| 945 | 59k| 379 | 0 |2332 |-4.500000e+01 |-3.800000e+01 | 18.42%
690.06/690.25 c 690s| 3900 | 3459 |344844 | 83.7 | 169M| 61 | 82 | 945 | 59k| 945 | 59k| 379 | 0 |2368 |-4.500000e+01 |-3.800000e+01 | 18.42%
706.66/706.81 c 707s| 4000 | 3553 |355041 | 84.2 | 172M| 61 | 146 | 945 | 59k| 945 | 59k| 379 | 0 |2416 |-4.500000e+01 |-3.800000e+01 | 18.42%
721.86/722.06 c 722s| 4100 | 3645 |365418 | 84.6 | 174M| 61 | 108 | 945 | 59k| 945 | 59k| 379 | 0 |2454 |-4.500000e+01 |-3.800000e+01 | 18.42%
737.25/737.40 c 737s| 4200 | 3733 |375191 | 85.0 | 177M| 61 | 116 | 945 | 59k| 945 | 59k| 379 | 0 |2494 |-4.500000e+01 |-3.800000e+01 | 18.42%
749.65/749.84 o -39
749.65/749.84 c l 750s| 4268 | 3545 |382609 | 85.3 | 176M| 61 | - | 945 | 59k| 945 | 59k| 379 | 0 |2526 |-4.500000e+01 |-3.900000e+01 | 15.38%
752.85/753.07 c 753s| 4300 | 3571 |384632 | 85.2 | 176M| 61 | 77 | 945 | 59k| 945 | 59k| 379 | 0 |2540 |-4.500000e+01 |-3.900000e+01 | 15.38%
766.55/766.71 c 767s| 4400 | 3653 |394021 | 85.4 | 178M| 61 | 80 | 945 | 59k| 945 | 59k| 379 | 0 |2578 |-4.500000e+01 |-3.900000e+01 | 15.38%
778.65/778.89 c 779s| 4500 | 3727 |402280 | 85.3 | 180M| 61 | 110 | 945 | 59k| 945 | 59k| 379 | 0 |2601 |-4.500000e+01 |-3.900000e+01 | 15.38%
791.95/792.17 c 792s| 4600 | 3815 |412656 | 85.7 | 183M| 61 | - | 945 | 59k| 945 | 59k| 379 | 0 |2622 |-4.500000e+01 |-3.900000e+01 | 15.38%
804.54/804.78 c 805s| 4700 | 3899 |421360 | 85.7 | 185M| 61 | 109 | 945 | 59k| 945 | 59k| 379 | 0 |2634 |-4.500000e+01 |-3.900000e+01 | 15.38%
813.54/813.73 c 814s| 4800 | 3973 |428433 | 85.4 | 187M| 61 | 79 | 945 | 59k| 945 | 59k| 379 | 0 |2643 |-4.500000e+01 |-3.900000e+01 | 15.38%
824.54/824.75 c 825s| 4900 | 4055 |436902 | 85.4 | 189M| 61 | 72 | 945 | 59k| 945 | 59k| 379 | 0 |2654 |-4.500000e+01 |-3.900000e+01 | 15.38%
837.05/837.27 c 837s| 5000 | 4145 |446181 | 85.6 | 192M| 61 | 134 | 945 | 59k| 945 | 59k| 379 | 0 |2662 |-4.500000e+01 |-3.900000e+01 | 15.38%
848.74/848.97 c 849s| 5100 | 4221 |455800 | 85.8 | 194M| 61 | 93 | 945 | 59k| 945 | 59k| 379 | 0 |2662 |-4.500000e+01 |-3.900000e+01 | 15.38%
858.73/858.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
858.73/858.94 c 859s| 5200 | 4287 |463864 | 85.7 | 196M| 61 | 76 | 945 | 59k| 945 | 59k| 379 | 0 |2665 |-4.500000e+01 |-3.900000e+01 | 15.38%
869.23/869.41 c 869s| 5300 | 4367 |471687 | 85.5 | 198M| 61 | 62 | 945 | 59k| 945 | 59k| 379 | 0 |2668 |-4.500000e+01 |-3.900000e+01 | 15.38%
880.84/881.08 c 881s| 5400 | 4449 |481378 | 85.7 | 201M| 61 | 110 | 945 | 59k| 945 | 59k| 379 | 0 |2670 |-4.500000e+01 |-3.900000e+01 | 15.38%
891.23/891.48 c 891s| 5500 | 4529 |490213 | 85.8 | 203M| 61 | 88 | 945 | 59k| 945 | 59k| 379 | 0 |2673 |-4.500000e+01 |-3.900000e+01 | 15.38%
900.23/900.49 c 900s| 5600 | 4611 |497676 | 85.6 | 205M| 61 | 109 | 945 | 59k| 945 | 59k| 379 | 0 |2673 |-4.500000e+01 |-3.900000e+01 | 15.38%
911.53/911.71 c 912s| 5700 | 4697 |506318 | 85.6 | 208M| 61 | 81 | 945 | 59k| 945 | 59k| 379 | 0 |2673 |-4.500000e+01 |-3.900000e+01 | 15.38%
925.42/925.68 c 926s| 5800 | 4787 |515489 | 85.7 | 210M| 61 | 100 | 945 | 59k| 945 | 59k| 379 | 0 |2709 |-4.500000e+01 |-3.900000e+01 | 15.38%
942.42/942.62 c 943s| 5900 | 4881 |525238 | 85.9 | 213M| 61 | 83 | 945 | 59k| 945 | 59k| 379 | 0 |2753 |-4.500000e+01 |-3.900000e+01 | 15.38%
952.22/952.44 c 952s| 6000 | 4957 |531963 | 85.6 | 215M| 61 | 97 | 945 | 59k| 945 | 59k| 379 | 0 |2787 |-4.500000e+01 |-3.900000e+01 | 15.38%
964.63/964.83 c 965s| 6100 | 5041 |540020 | 85.5 | 217M| 61 | 67 | 945 | 59k| 945 | 59k| 379 | 0 |2831 |-4.500000e+01 |-3.900000e+01 | 15.38%
981.23/981.41 c 981s| 6200 | 5125 |549236 | 85.6 | 219M| 61 | 106 | 945 | 59k| 945 | 59k| 379 | 0 |2866 |-4.500000e+01 |-3.900000e+01 | 15.38%
996.91/997.19 c 997s| 6300 | 5215 |559214 | 85.8 | 222M| 61 | 98 | 945 | 59k| 945 | 59k| 379 | 0 |2907 |-4.500000e+01 |-3.900000e+01 | 15.38%
1010.51/1010.73 c 1011s| 6400 | 5291 |568348 | 85.9 | 224M| 61 | 80 | 945 | 59k| 945 | 59k| 379 | 0 |2945 |-4.500000e+01 |-3.900000e+01 | 15.38%
1023.11/1023.39 c 1023s| 6500 | 5369 |576671 | 85.9 | 226M| 61 | - | 945 | 59k| 945 | 59k| 379 | 0 |2972 |-4.500000e+01 |-3.900000e+01 | 15.38%
1035.21/1035.49 c 1035s| 6600 | 5455 |584169 | 85.7 | 228M| 61 | 68 | 945 | 59k| 945 | 59k| 379 | 0 |3003 |-4.500000e+01 |-3.900000e+01 | 15.38%
1046.81/1047.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1046.81/1047.02 c 1047s| 6700 | 5533 |591731 | 85.6 | 230M| 61 | 88 | 945 | 59k| 945 | 59k| 379 | 0 |3043 |-4.500000e+01 |-3.900000e+01 | 15.38%
1057.80/1058.08 c 1058s| 6800 | 5607 |599499 | 85.5 | 232M| 61 | 74 | 945 | 59k| 945 | 59k| 379 | 0 |3074 |-4.500000e+01 |-3.900000e+01 | 15.38%
1070.50/1070.73 c 1071s| 6900 | 5685 |607775 | 85.4 | 234M| 61 | 96 | 945 | 59k| 945 | 59k| 379 | 0 |3111 |-4.500000e+01 |-3.900000e+01 | 15.38%
1080.11/1080.31 c 1080s| 7000 | 5753 |614450 | 85.2 | 235M| 61 | 49 | 945 | 59k| 945 | 59k| 379 | 0 |3132 |-4.500000e+01 |-3.900000e+01 | 15.38%
1087.81/1088.10 c 1088s| 7100 | 5827 |620099 | 84.7 | 237M| 61 | 79 | 945 | 59k| 945 | 59k| 379 | 0 |3149 |-4.500000e+01 |-3.900000e+01 | 15.38%
1096.00/1096.26 c 1096s| 7200 | 5889 |626185 | 84.4 | 238M| 61 | - | 945 | 59k| 945 | 59k| 379 | 0 |3157 |-4.500000e+01 |-3.900000e+01 | 15.38%
1104.69/1104.90 c 1105s| 7300 | 5951 |632058 | 84.1 | 240M| 61 | 79 | 945 | 59k| 945 | 59k| 379 | 0 |3179 |-4.500000e+01 |-3.900000e+01 | 15.38%
1116.80/1117.01 c 1117s| 7400 | 6021 |641069 | 84.1 | 243M| 61 | - | 945 | 59k| 945 | 59k| 379 | 0 |3201 |-4.500000e+01 |-3.900000e+01 | 15.38%
1128.80/1129.08 c 1129s| 7500 | 6091 |649234 | 84.1 | 245M| 61 | 75 | 945 | 59k| 945 | 59k| 379 | 0 |3203 |-4.500000e+01 |-3.900000e+01 | 15.38%
1136.90/1137.12 c 1137s| 7600 | 6155 |655392 | 83.8 | 246M| 61 | 56 | 945 | 59k| 945 | 59k| 379 | 0 |3212 |-4.500000e+01 |-3.900000e+01 | 15.38%
1144.49/1144.77 c 1145s| 7700 | 6231 |661674 | 83.5 | 248M| 61 | 85 | 945 | 59k| 945 | 59k| 379 | 0 |3213 |-4.500000e+01 |-3.900000e+01 | 15.38%
1153.19/1153.40 c 1153s| 7800 | 6303 |669530 | 83.5 | 250M| 61 | 68 | 945 | 59k| 945 | 59k| 379 | 0 |3217 |-4.500000e+01 |-3.900000e+01 | 15.38%
1162.49/1162.72 c 1163s| 7900 | 6377 |676966 | 83.4 | 251M| 61 | 103 | 945 | 59k| 945 | 59k| 379 | 0 |3223 |-4.500000e+01 |-3.900000e+01 | 15.38%
1168.29/1168.54 c 1169s| 8000 | 6435 |682194 | 83.0 | 253M| 61 | - | 945 | 59k| 945 | 59k| 379 | 0 |3225 |-4.500000e+01 |-3.900000e+01 | 15.38%
1175.89/1176.18 c 1176s| 8100 | 6501 |688912 | 82.8 | 254M| 61 | 72 | 945 | 59k| 945 | 59k| 379 | 0 |3226 |-4.500000e+01 |-3.900000e+01 | 15.38%
1185.59/1185.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1185.59/1185.80 c 1186s| 8200 | 6571 |696613 | 82.7 | 256M| 61 | 110 | 945 | 59k| 945 | 59k| 379 | 0 |3228 |-4.500000e+01 |-3.900000e+01 | 15.38%
1192.69/1192.94 c 1193s| 8300 | 6629 |702522 | 82.4 | 258M| 61 | 86 | 945 | 59k| 945 | 59k| 379 | 0 |3229 |-4.500000e+01 |-3.900000e+01 | 15.38%
1199.68/1199.98 c 1200s| 8400 | 6693 |708592 | 82.2 | 259M| 61 | 62 | 945 | 59k| 945 | 59k| 379 | 0 |3229 |-4.500000e+01 |-3.900000e+01 | 15.38%
1207.59/1207.86 c 1208s| 8500 | 6757 |714203 | 81.9 | 261M| 61 | 55 | 945 | 59k| 945 | 59k| 379 | 0 |3229 |-4.500000e+01 |-3.900000e+01 | 15.38%
1216.08/1216.34 c 1216s| 8600 | 6819 |720602 | 81.7 | 262M| 61 | 50 | 945 | 59k| 945 | 59k| 379 | 0 |3229 |-4.500000e+01 |-3.900000e+01 | 15.38%
1225.88/1226.10 c 1226s| 8700 | 6877 |727441 | 81.5 | 264M| 61 | 62 | 945 | 59k| 945 | 59k| 379 | 0 |3248 |-4.500000e+01 |-3.900000e+01 | 15.38%
1237.18/1237.46 c 1237s| 8800 | 6955 |734873 | 81.4 | 266M| 61 | 96 | 945 | 59k| 945 | 59k| 379 | 0 |3288 |-4.500000e+01 |-3.900000e+01 | 15.38%
1248.88/1249.15 c 1249s| 8900 | 7031 |743241 | 81.4 | 268M| 61 | 52 | 945 | 59k| 945 | 59k| 379 | 0 |3311 |-4.500000e+01 |-3.900000e+01 | 15.38%
1261.37/1261.63 c 1262s| 9000 | 7097 |750516 | 81.3 | 269M| 61 | 64 | 945 | 59k| 945 | 59k| 379 | 0 |3362 |-4.500000e+01 |-3.900000e+01 | 15.38%
1270.38/1270.68 c 1271s| 9100 | 7169 |757696 | 81.2 | 271M| 61 | 93 | 945 | 59k| 945 | 59k| 379 | 0 |3380 |-4.500000e+01 |-3.900000e+01 | 15.38%
1280.77/1281.00 c 1281s| 9200 | 7239 |764375 | 81.1 | 273M| 61 | - | 945 | 59k| 945 | 59k| 379 | 0 |3411 |-4.500000e+01 |-3.900000e+01 | 15.38%
1289.47/1289.75 c 1290s| 9300 | 7301 |769743 | 80.8 | 274M| 61 | - | 945 | 59k| 945 | 59k| 379 | 0 |3444 |-4.500000e+01 |-3.900000e+01 | 15.38%
1297.97/1298.24 c 1298s| 9400 | 7367 |775194 | 80.5 | 276M| 61 | - | 945 | 59k| 945 | 59k| 379 | 0 |3473 |-4.500000e+01 |-3.900000e+01 | 15.38%
1305.17/1305.46 c 1305s| 9500 | 7415 |780423 | 80.2 | 277M| 61 | 43 | 945 | 59k| 945 | 59k| 379 | 0 |3496 |-4.500000e+01 |-3.900000e+01 | 15.38%
1314.37/1314.66 c 1315s| 9600 | 7475 |786741 | 80.0 | 279M| 61 | 67 | 945 | 59k| 945 | 59k| 379 | 0 |3526 |-4.500000e+01 |-3.900000e+01 | 15.38%
1322.96/1323.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1322.96/1323.22 c 1323s| 9700 | 7535 |791937 | 79.7 | 280M| 61 | - | 945 | 59k| 945 | 59k| 379 | 0 |3540 |-4.500000e+01 |-3.900000e+01 | 15.38%
1333.26/1333.56 c 1334s| 9800 | 7611 |799587 | 79.7 | 282M| 61 | 97 | 945 | 59k| 945 | 59k| 379 | 0 |3571 |-4.500000e+01 |-3.900000e+01 | 15.38%
1344.96/1345.27 c 1345s| 9900 | 7675 |806527 | 79.6 | 284M| 61 | 68 | 945 | 59k| 945 | 59k| 379 | 0 |3617 |-4.500000e+01 |-3.900000e+01 | 15.38%
1352.26/1352.50 c 1353s| 10000 | 7733 |812040 | 79.4 | 285M| 61 | 63 | 945 | 59k| 945 | 59k| 379 | 0 |3630 |-4.500000e+01 |-3.900000e+01 | 15.38%
1361.25/1361.57 c 1362s| 10100 | 7791 |818030 | 79.2 | 287M| 61 | 64 | 945 | 59k| 945 | 59k| 379 | 0 |3663 |-4.500000e+01 |-3.900000e+01 | 15.38%
1369.86/1370.16 c 1370s| 10200 | 7845 |823917 | 79.0 | 288M| 61 | - | 945 | 59k| 945 | 59k| 379 | 0 |3693 |-4.500000e+01 |-3.900000e+01 | 15.38%
1378.05/1378.30 c 1378s| 10300 | 7901 |829629 | 78.8 | 290M| 61 | 122 | 945 | 59k| 945 | 59k| 379 | 0 |3714 |-4.500000e+01 |-3.900000e+01 | 15.38%
1388.26/1388.55 c 1389s| 10400 | 7971 |836625 | 78.7 | 291M| 61 | 83 | 945 | 59k| 945 | 59k| 379 | 0 |3746 |-4.500000e+01 |-3.900000e+01 | 15.38%
1396.35/1396.61 c 1397s| 10500 | 8029 |842772 | 78.5 | 293M| 61 | 54 | 945 | 59k| 945 | 59k| 379 | 0 |3763 |-4.500000e+01 |-3.900000e+01 | 15.38%
1403.85/1404.11 c 1404s| 10600 | 8091 |848400 | 78.3 | 294M| 61 | 132 | 945 | 59k| 945 | 59k| 379 | 0 |3774 |-4.500000e+01 |-3.900000e+01 | 15.38%
1413.36/1413.69 c 1414s| 10700 | 8161 |856290 | 78.3 | 296M| 61 | 64 | 945 | 59k| 945 | 59k| 379 | 0 |3785 |-4.500000e+01 |-3.900000e+01 | 15.38%
1419.96/1420.28 c 1420s| 10800 | 8221 |862244 | 78.1 | 298M| 61 | 87 | 945 | 59k| 945 | 59k| 379 | 0 |3792 |-4.500000e+01 |-3.900000e+01 | 15.38%
1425.45/1425.80 c 1426s| 10900 | 8275 |867187 | 77.9 | 299M| 61 | 73 | 945 | 59k| 945 | 59k| 379 | 0 |3796 |-4.500000e+01 |-3.900000e+01 | 15.38%
1433.15/1433.46 c 1433s| 11000 | 8341 |873765 | 77.8 | 300M| 61 | 42 | 945 | 59k| 945 | 59k| 379 | 0 |3799 |-4.500000e+01 |-3.900000e+01 | 15.38%
1438.55/1438.85 c 1439s| 11100 | 8391 |878248 | 77.5 | 302M| 61 | - | 945 | 59k| 945 | 59k| 379 | 0 |3799 |-4.500000e+01 |-3.900000e+01 | 15.38%
1445.25/1445.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1445.25/1445.59 c 1446s| 11200 | 8445 |884041 | 77.3 | 303M| 61 | 50 | 945 | 59k| 945 | 59k| 379 | 0 |3800 |-4.500000e+01 |-3.900000e+01 | 15.38%
1453.24/1453.52 c 1454s| 11300 | 8513 |891392 | 77.3 | 304M| 61 | 79 | 945 | 59k| 945 | 59k| 379 | 0 |3804 |-4.500000e+01 |-3.900000e+01 | 15.38%
1461.65/1461.91 c 1462s| 11400 | 8585 |897916 | 77.2 | 306M| 61 | 70 | 945 | 59k| 945 | 59k| 379 | 0 |3810 |-4.500000e+01 |-3.900000e+01 | 15.38%
1468.04/1468.33 c 1468s| 11500 | 8651 |903252 | 76.9 | 308M| 61 | 57 | 945 | 59k| 945 | 59k| 379 | 0 |3811 |-4.500000e+01 |-3.900000e+01 | 15.38%
1475.64/1475.99 c 1476s| 11600 | 8725 |909572 | 76.8 | 310M| 61 | 69 | 945 | 59k| 945 | 59k| 379 | 0 |3813 |-4.500000e+01 |-3.900000e+01 | 15.38%
1481.13/1481.40 c 1481s| 11700 | 8777 |914283 | 76.6 | 311M| 61 | - | 945 | 59k| 945 | 59k| 379 | 0 |3815 |-4.500000e+01 |-3.900000e+01 | 15.38%
1490.44/1490.79 c 1491s| 11800 | 8845 |922535 | 76.6 | 313M| 61 | 72 | 945 | 59k| 945 | 59k| 379 | 0 |3818 |-4.500000e+01 |-3.900000e+01 | 15.38%
1499.14/1499.47 c 1499s| 11900 | 8929 |930130 | 76.6 | 315M| 61 | 64 | 945 | 59k| 945 | 59k| 379 | 0 |3821 |-4.500000e+01 |-3.900000e+01 | 15.38%
1506.43/1506.77 c 1507s| 12000 | 8999 |936874 | 76.5 | 316M| 61 | 61 | 945 | 59k| 945 | 59k| 379 | 0 |3822 |-4.500000e+01 |-3.900000e+01 | 15.38%
1514.64/1514.98 c 1515s| 12100 | 9063 |942965 | 76.4 | 318M| 61 | 142 | 945 | 59k| 945 | 59k| 379 | 0 |3822 |-4.500000e+01 |-3.900000e+01 | 15.38%
1521.43/1521.71 c 1522s| 12200 | 9131 |949048 | 76.3 | 319M| 61 | 56 | 945 | 59k| 945 | 59k| 379 | 0 |3822 |-4.500000e+01 |-3.900000e+01 | 15.38%
1529.53/1529.89 c 1530s| 12300 | 9199 |955928 | 76.2 | 321M| 61 | 84 | 945 | 59k| 945 | 59k| 379 | 0 |3823 |-4.500000e+01 |-3.900000e+01 | 15.38%
1537.93/1538.26 c 1538s| 12400 | 9253 |961637 | 76.1 | 322M| 61 | 88 | 945 | 59k| 945 | 59k| 379 | 0 |3851 |-4.500000e+01 |-3.900000e+01 | 15.38%
1546.12/1546.42 c 1546s| 12500 | 9315 |967291 | 75.9 | 324M| 61 | 133 | 945 | 59k| 945 | 59k| 379 | 0 |3878 |-4.500000e+01 |-3.900000e+01 | 15.38%
1556.03/1556.30 c 1556s| 12600 | 9375 |974220 | 75.9 | 325M| 61 | 160 | 945 | 59k| 945 | 59k| 379 | 0 |3897 |-4.500000e+01 |-3.900000e+01 | 15.38%
1565.83/1566.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1565.83/1566.11 c 1566s| 12700 | 9449 |980836 | 75.8 | 327M| 61 | 70 | 945 | 59k| 945 | 59k| 379 | 0 |3933 |-4.500000e+01 |-3.900000e+01 | 15.38%
1574.22/1574.57 c 1575s| 12800 | 9507 |986783 | 75.7 | 328M| 61 | 73 | 945 | 59k| 945 | 59k| 379 | 0 |3957 |-4.500000e+01 |-3.900000e+01 | 15.38%
1586.52/1586.80 c 1587s| 12900 | 9595 |994758 | 75.7 | 331M| 61 | 48 | 945 | 59k| 945 | 59k| 379 | 0 |4001 |-4.500000e+01 |-3.900000e+01 | 15.38%
1592.92/1593.27 c 1593s| 13000 | 9657 | 1000k| 75.5 | 332M| 61 | 89 | 945 | 59k| 945 | 59k| 379 | 0 |4001 |-4.500000e+01 |-3.900000e+01 | 15.38%
1603.22/1603.53 c 1604s| 13100 | 9725 | 1006k| 75.5 | 333M| 61 | 57 | 945 | 59k| 945 | 59k| 379 | 0 |4029 |-4.500000e+01 |-3.900000e+01 | 15.38%
1613.72/1614.09 c 1614s| 13200 | 9799 | 1013k| 75.4 | 335M| 61 | - | 945 | 59k| 945 | 59k| 379 | 0 |4056 |-4.500000e+01 |-3.900000e+01 | 15.38%
1622.33/1622.64 c 1623s| 13300 | 9853 | 1019k| 75.3 | 337M| 61 | 48 | 945 | 59k| 945 | 59k| 379 | 0 |4088 |-4.500000e+01 |-3.900000e+01 | 15.38%
1631.32/1631.65 c 1632s| 13400 | 9917 | 1025k| 75.2 | 338M| 61 | 62 | 945 | 59k| 945 | 59k| 379 | 0 |4110 |-4.500000e+01 |-3.900000e+01 | 15.38%
1640.22/1640.51 c 1641s| 13500 | 9991 | 1031k| 75.0 | 340M| 61 | 128 | 945 | 59k| 945 | 59k| 379 | 0 |4133 |-4.500000e+01 |-3.900000e+01 | 15.38%
1648.51/1648.85 c 1649s| 13600 | 10049 | 1037k| 74.9 | 341M| 61 | 64 | 945 | 59k| 945 | 59k| 379 | 0 |4155 |-4.500000e+01 |-3.900000e+01 | 15.38%
1656.42/1656.80 c 1657s| 13700 | 10107 | 1043k| 74.8 | 343M| 61 | - | 945 | 59k| 945 | 59k| 379 | 0 |4178 |-4.500000e+01 |-3.900000e+01 | 15.38%
1664.61/1664.92 c 1665s| 13800 | 10177 | 1048k| 74.7 | 344M| 61 | 70 | 945 | 59k| 945 | 59k| 379 | 0 |4208 |-4.500000e+01 |-3.900000e+01 | 15.38%
1671.81/1672.20 c 1672s| 13900 | 10235 | 1054k| 74.5 | 346M| 61 | 66 | 945 | 59k| 945 | 59k| 379 | 0 |4229 |-4.500000e+01 |-3.900000e+01 | 15.38%
1679.61/1679.94 c 1680s| 14000 | 10297 | 1059k| 74.3 | 347M| 61 | 56 | 945 | 59k| 945 | 59k| 379 | 0 |4255 |-4.500000e+01 |-3.900000e+01 | 15.38%
1687.41/1687.70 c 1688s| 14100 | 10353 | 1064k| 74.2 | 349M| 61 | 73 | 945 | 59k| 945 | 59k| 379 | 0 |4285 |-4.500000e+01 |-3.900000e+01 | 15.38%
1696.91/1697.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1696.91/1697.26 c 1697s| 14200 | 10419 | 1071k| 74.1 | 350M| 61 | 83 | 945 | 59k| 945 | 59k| 379 | 0 |4311 |-4.500000e+01 |-3.900000e+01 | 15.38%
1705.50/1705.89 c 1706s| 14300 | 10481 | 1077k| 74.1 | 352M| 61 | 66 | 945 | 59k| 945 | 59k| 379 | 0 |4332 |-4.500000e+01 |-3.900000e+01 | 15.38%
1712.10/1712.46 c 1712s| 14400 | 10531 | 1082k| 73.9 | 353M| 61 | 76 | 945 | 59k| 945 | 59k| 379 | 0 |4355 |-4.500000e+01 |-3.900000e+01 | 15.38%
1720.90/1721.23 c 1721s| 14500 | 10587 | 1088k| 73.8 | 354M| 61 | 62 | 945 | 59k| 945 | 59k| 379 | 0 |4372 |-4.500000e+01 |-3.900000e+01 | 15.38%
1726.20/1726.51 c 1727s| 14600 | 10631 | 1092k| 73.6 | 355M| 61 | 92 | 945 | 59k| 945 | 59k| 379 | 0 |4375 |-4.500000e+01 |-3.900000e+01 | 15.38%
1734.80/1735.17 c 1735s| 14700 | 10689 | 1098k| 73.5 | 357M| 61 | - | 945 | 59k| 945 | 59k| 379 | 0 |4387 |-4.500000e+01 |-3.900000e+01 | 15.38%
1741.21/1741.57 c 1742s| 14800 | 10749 | 1103k| 73.3 | 358M| 61 | 58 | 945 | 59k| 945 | 59k| 379 | 0 |4394 |-4.500000e+01 |-3.900000e+01 | 15.38%
1747.71/1748.00 c 1748s| 14900 | 10807 | 1108k| 73.2 | 360M| 61 | 90 | 945 | 59k| 945 | 59k| 379 | 0 |4397 |-4.500000e+01 |-3.900000e+01 | 15.38%
1753.49/1753.80 c 1754s| 15000 | 10857 | 1113k| 73.0 | 361M| 61 | - | 945 | 59k| 945 | 59k| 379 | 0 |4399 |-4.500000e+01 |-3.900000e+01 | 15.38%
1760.60/1760.92 c 1761s| 15100 | 10915 | 1119k| 72.9 | 362M| 61 | 91 | 945 | 59k| 945 | 59k| 379 | 0 |4408 |-4.500000e+01 |-3.900000e+01 | 15.38%
1768.19/1768.59 c 1769s| 15200 | 10973 | 1126k| 72.9 | 364M| 61 | - | 945 | 59k| 945 | 59k| 379 | 0 |4410 |-4.500000e+01 |-3.900000e+01 | 15.38%
1774.89/1775.22 c 1775s| 15300 | 11037 | 1132k| 72.8 | 365M| 61 | 75 | 945 | 59k| 945 | 59k| 379 | 0 |4413 |-4.500000e+01 |-3.900000e+01 | 15.38%
1783.19/1783.52 c 1784s| 15400 | 11105 | 1139k| 72.8 | 367M| 61 | 87 | 945 | 59k| 945 | 59k| 379 | 0 |4414 |-4.500000e+01 |-3.900000e+01 | 15.38%
1789.98/1790.34 c 1790s| 15500 | 11157 | 1144k| 72.7 | 369M| 61 | 63 | 945 | 59k| 945 | 59k| 379 | 0 |4418 |-4.500000e+01 |-3.900000e+01 | 15.38%
1795.68/1796.04 c 1796s| 15600 | 11207 | 1149k| 72.5 | 370M| 61 | 66 | 945 | 59k| 945 | 59k| 379 | 0 |4419 |-4.500000e+01 |-3.900000e+01 | 15.38%
1796.69/1797.00 c
1796.69/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.00 c Solving Time (sec) : 1797.00
1796.69/1797.00 c Solving Nodes : 15616
1796.69/1797.00 c Primal Bound : -3.90000000000000e+01 (558 solutions)
1796.69/1797.00 c Dual Bound : -4.50000000000000e+01
1796.69/1797.00 c Gap : 15.38 %
1796.69/1797.01 s SATISFIABLE
1796.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/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.69/1797.02 v -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501
1796.69/1797.02 v -x502 -x503 -x504 -x505 -x506 -x507 -x508 x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522
1796.69/1797.02 v -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 x537 -x538 -x539 -x540 -x541 -x542 -x543
1796.69/1797.02 v -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564
1796.69/1797.02 v -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585
1796.69/1797.02 v x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606
1796.69/1797.02 v -x607 -x608 x609 x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627
1796.69/1797.02 v -x628 -x629 -x630 x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648
1796.69/1797.02 v -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669
1796.69/1797.02 v -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 x688 -x689 -x690
1796.69/1797.02 v -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711
1796.69/1797.02 v -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 x726 -x727 -x728 -x729 -x730 -x731 -x732
1796.69/1797.02 v -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753
1796.69/1797.02 v -x754 -x755 -x756 x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774
1796.69/1797.02 v -x775 -x776 -x777 -x778 -x779 -x780 x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795
1796.69/1797.02 v -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816
1796.69/1797.02 v -x817 x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837
1796.69/1797.02 v -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858
1796.69/1797.02 v -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879
1796.69/1797.02 v -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900
1796.69/1797.02 v -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921
1796.69/1797.02 v -x922 -x923 -x924 -x925 -x926 x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942
1796.69/1797.02 v -x943 -x944 -x945
1796.69/1797.02 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.02 c Total Time : 1797.00
1796.69/1797.02 c solving : 1797.00
1796.69/1797.02 c presolving : 1.05 (included in solving)
1796.69/1797.02 c reading : 0.12 (included in solving)
1796.69/1797.02 c copying : 1.04 (11 #copies) (minimal 0.09, maximal 0.10, average 0.09)
1796.69/1797.02 c Original Problem :
1796.69/1797.02 c Problem name : HOME/instance-3690938-1338018829.opb
1796.69/1797.02 c Variables : 945 (945 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.02 c Constraints : 59186 initial, 59186 maximal
1796.69/1797.02 c Objective sense : minimize
1796.69/1797.02 c Presolved Problem :
1796.69/1797.02 c Problem name : t_HOME/instance-3690938-1338018829.opb
1796.69/1797.02 c Variables : 945 (945 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.02 c Constraints : 59186 initial, 59186 maximal
1796.69/1797.02 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.69/1797.02 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c components : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c pseudoobj : 0.00 0.02 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c probing : 0.29 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c setppc : 0.13 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c linear : 0.46 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.02 c root node : - - 0 - - 0 - - - - -
1796.69/1797.02 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.69/1797.02 c integral : 0 0 0 0 13669 0 561 0 7 207 0 0 27114
1796.69/1797.02 c setppc : 59186 59186 43 51888 2 0 556 0 0 399940 0 0 0
1796.69/1797.02 c countsols : 0 0 0 0 2 0 559 0 0 0 0 0 0
1796.69/1797.02 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.69/1797.02 c integral : 381.59 0.00 0.00 0.00 381.57 0.00 0.01 0.00
1796.69/1797.02 c setppc : 13.08 0.00 0.21 11.81 0.00 0.00 1.06 0.00
1796.69/1797.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.69/1797.02 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.69/1797.02 c rootredcost : 8 0 0 0
1796.69/1797.02 c pseudoobj : 65507 0 0 0
1796.69/1797.02 c vbounds : 0 0 0 0
1796.69/1797.02 c redcost : 13736 0 0 34
1796.69/1797.02 c probing : 0 0 0 0
1796.69/1797.02 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.69/1797.02 c rootredcost : 0.07 0.00 0.00 0.07 0.00
1796.69/1797.02 c pseudoobj : 9.21 0.02 0.00 9.19 0.00
1796.69/1797.02 c vbounds : 0.06 0.00 0.00 0.06 0.00
1796.69/1797.02 c redcost : 0.31 0.00 0.00 0.31 0.00
1796.69/1797.02 c probing : 0.29 0.00 0.29 0.00 0.00
1796.69/1797.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.69/1797.02 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.69/1797.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.69/1797.02 c applied globally : - - - 0 0.0 - - -
1796.69/1797.02 c applied locally : - - - 0 0.0 - - -
1796.69/1797.02 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.69/1797.02 c cut pool : 0.00 42 - - 99 - (maximal pool size: 592)
1796.69/1797.02 c closecuts : 0.00 0.00 0 0 0 0 0
1796.69/1797.02 c impliedbounds : 0.03 0.00 43 0 0 0 0
1796.69/1797.02 c intobj : 0.00 0.00 0 0 0 0 0
1796.69/1797.02 c gomory : 0.24 0.00 10 0 0 500 0
1796.69/1797.02 c cgmip : 0.00 0.00 0 0 0 0 0
1796.69/1797.02 c strongcg : 3.80 0.00 20 0 0 10000 0
1796.69/1797.02 c cmir : 6.18 0.00 10 0 0 0 0
1796.69/1797.02 c flowcover : 6.53 0.00 10 0 0 0 0
1796.69/1797.02 c clique : 0.90 0.00 43 0 0 378 0
1796.69/1797.02 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.69/1797.02 c mcf : 0.09 0.00 1 0 0 0 0
1796.69/1797.02 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.69/1797.02 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.69/1797.02 c Pricers : ExecTime SetupTime Calls Vars
1796.69/1797.02 c problem variables: 0.00 - 0 0
1796.69/1797.02 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.69/1797.02 c relpscost : 381.52 0.00 13667 7 207 0 0 27114
1796.69/1797.02 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.02 c inference : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.02 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.02 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.02 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.02 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.02 c random : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.02 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.69/1797.02 c LP solutions : 0.00 - - 2
1796.69/1797.02 c pseudo solutions : 0.00 - - 0
1796.69/1797.02 c oneopt : 0.10 0.00 9 1
1796.69/1797.02 c crossover : 4.58 0.00 10 3
1796.69/1797.02 c guideddiving : 67.29 0.00 131 3
1796.69/1797.02 c objpscostdiving : 50.04 0.00 86 150
1796.69/1797.02 c rootsoldiving : 29.54 0.00 86 117
1796.69/1797.02 c coefdiving : 71.31 0.00 172 32
1796.69/1797.02 c linesearchdiving : 40.09 0.00 172 28
1796.69/1797.02 c veclendiving : 110.02 0.00 172 1
1796.69/1797.02 c smallcard : 0.00 0.00 0 0
1796.69/1797.02 c trivial : 0.01 0.00 2 1
1796.69/1797.02 c shiftandpropagate: 0.00 0.00 0 0
1796.69/1797.02 c simplerounding : 0.40 0.00 13710 70
1796.69/1797.02 c zirounding : 31.37 0.00 6751 135
1796.69/1797.02 c rounding : 18.64 0.00 5146 1
1796.69/1797.02 c shifting : 2.65 0.00 634 1
1796.69/1797.02 c intshifting : 0.00 0.00 0 0
1796.69/1797.02 c twoopt : 0.00 0.00 0 0
1796.69/1797.02 c indtwoopt : 0.00 0.00 0 0
1796.69/1797.02 c indoneopt : 0.05 0.00 0 0
1796.69/1797.02 c fixandinfer : 0.00 0.00 0 0
1796.69/1797.02 c feaspump : 0.00 0.00 0 0
1796.69/1797.02 c clique : 0.00 0.00 0 0
1796.69/1797.02 c indcoefdiving : 0.00 0.00 0 0
1796.69/1797.02 c indrounding : 0.00 0.00 0 0
1796.69/1797.02 c pscostdiving : 37.74 0.00 172 11
1796.69/1797.02 c fracdiving : 66.92 0.00 134 1
1796.69/1797.02 c nlpdiving : 0.00 0.00 0 0
1796.69/1797.02 c intdiving : 0.00 0.00 0 0
1796.69/1797.02 c actconsdiving : 0.00 0.00 0 0
1796.69/1797.02 c octane : 0.00 0.00 0 0
1796.69/1797.02 c rens : 2.52 0.00 1 1
1796.69/1797.02 c rins : 0.00 0.00 0 0
1796.69/1797.02 c localbranching : 0.00 0.00 0 0
1796.69/1797.02 c mutation : 0.00 0.00 0 0
1796.69/1797.02 c dins : 0.00 0.00 0 0
1796.69/1797.02 c vbounds : 0.00 0.00 0 0
1796.69/1797.02 c undercover : 0.00 0.00 0 0
1796.69/1797.02 c subnlp : 0.02 0.00 0 0
1796.69/1797.02 c trysol : 0.03 0.00 0 0
1796.69/1797.02 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.69/1797.02 c primal LP : 0.10 7 0 0.00 0.00 0.10 7
1796.69/1797.02 c dual LP : 725.77 15958 864084 54.82 1190.58 2.35 196
1796.69/1797.02 c lex dual LP : 0.00 0 0 0.00 -
1796.69/1797.02 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.69/1797.02 c diving/probing LP: 375.31 18790 286454 15.25 763.26
1796.69/1797.02 c strong branching : 378.95 4420 329685 74.59 870.01
1796.69/1797.02 c (at root node) : - 33 7277 220.52 -
1796.69/1797.02 c conflict analysis: 0.00 0 0 0.00 -
1796.69/1797.02 c B&B Tree :
1796.69/1797.02 c number of runs : 1
1796.69/1797.02 c nodes : 15616
1796.69/1797.02 c nodes (total) : 15616
1796.69/1797.02 c nodes left : 11221
1796.69/1797.02 c max depth : 61
1796.69/1797.02 c max depth (total): 61
1796.69/1797.02 c backtracks : 2001 (12.8%)
1796.69/1797.02 c delayed cutoffs : 0
1796.69/1797.02 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.69/1797.02 c avg switch length: 5.54
1796.69/1797.02 c switching time : 26.32
1796.69/1797.02 c Solution :
1796.69/1797.02 c Solutions found : 558 (10 improvements)
1796.69/1797.02 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.27 seconds, depth 0, found by <trivial>)
1796.69/1797.02 c Primal Bound : -3.90000000000000e+01 (in run 1, after 4268 nodes, 749.84 seconds, depth 45, found by <linesearchdiving>)
1796.69/1797.02 c Dual Bound : -4.50000000000000e+01
1796.69/1797.02 c Gap : 15.38 %
1796.69/1797.02 c Root Dual Bound : -4.50000000000000e+01
1796.69/1797.02 c Root Iterations : 18478
1796.99/1797.32 c Time complete: 1797.
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-3690938-1338018829/watcher-3690938-1338018829 -o /tmp/evaluation-result-3690938-1338018829/solver-3690938-1338018829 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690938-1338018829.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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.15 2.09 1.88 3/178 30148
/proc/meminfo: memFree=28806896/32873844 swapFree=7096/7096
[pid=30148] ppid=30146 vsize=10852 CPUtime=0 cores=1,3,5,7
/proc/30148/stat : 30148 (scip-2.1.1.4fix) R 30146 30148 29822 0 -1 4202496 1469 0 0 0 0 0 0 0 20 0 1 0 268008272 11112448 1424 33554432000 4194304 10173063 140735036951312 140736683378392 7545739 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30148/statm: 2713 1424 416 1460 0 1244 0
[startup+0.0697021 s]
/proc/loadavg: 2.15 2.09 1.88 3/178 30148
/proc/meminfo: memFree=28806896/32873844 swapFree=7096/7096
[pid=30148] ppid=30146 vsize=20296 CPUtime=0.06 cores=1,3,5,7
/proc/30148/stat : 30148 (scip-2.1.1.4fix) R 30146 30148 29822 0 -1 4202496 3834 0 0 0 6 0 0 0 20 0 1 0 268008272 20783104 3789 33554432000 4194304 10173063 140735036951312 140736683378392 7545739 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30148/statm: 5074 3789 416 1460 0 3605 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 20296
[startup+0.100336 s]
/proc/loadavg: 2.15 2.09 1.88 3/178 30148
/proc/meminfo: memFree=28806896/32873844 swapFree=7096/7096
[pid=30148] ppid=30146 vsize=24696 CPUtime=0.09 cores=1,3,5,7
/proc/30148/stat : 30148 (scip-2.1.1.4fix) R 30146 30148 29822 0 -1 4202496 4931 0 0 0 9 0 0 0 20 0 1 0 268008272 25288704 4886 33554432000 4194304 10173063 140735036951312 140736683378392 4909392 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30148/statm: 6174 4886 416 1460 0 4705 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24696
[startup+0.300327 s]
/proc/loadavg: 2.15 2.09 1.88 3/178 30148
/proc/meminfo: memFree=28806896/32873844 swapFree=7096/7096
[pid=30148] ppid=30146 vsize=81800 CPUtime=0.28 cores=1,3,5,7
/proc/30148/stat : 30148 (scip-2.1.1.4fix) R 30146 30148 29822 0 -1 4202496 21083 0 0 0 26 2 0 0 20 0 1 0 268008272 83763200 18783 33554432000 4194304 10173063 140735036951312 140736683378392 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30148/statm: 20450 18783 551 1460 0 18981 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 81800
[startup+0.700306 s]
/proc/loadavg: 2.15 2.09 1.88 3/178 30148
/proc/meminfo: memFree=28806896/32873844 swapFree=7096/7096
[pid=30148] ppid=30146 vsize=103468 CPUtime=0.69 cores=1,3,5,7
/proc/30148/stat : 30148 (scip-2.1.1.4fix) R 30146 30148 29822 0 -1 4202496 26949 0 0 0 50 19 0 0 20 0 1 0 268008272 105951232 24067 33554432000 4194304 10173063 140735036951312 140736683378392 7545739 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30148/statm: 25867 24103 560 1460 0 24398 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 103468
[startup+1.50029 s]
/proc/loadavg: 2.15 2.09 1.88 3/179 30149
/proc/meminfo: memFree=28709704/32873844 swapFree=7096/7096
[pid=30148] ppid=30146 vsize=177084 CPUtime=1.49 cores=1,3,5,7
/proc/30148/stat : 30148 (scip-2.1.1.4fix) R 30146 30148 29822 0 -1 4202496 44920 0 0 0 117 32 0 0 20 0 1 0 268008272 181334016 41544 33554432000 4194304 10173063 140735036951312 140735036947688 7706073 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30148/statm: 44271 41544 730 1460 0 42802 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 177084
[startup+3.1003 s]
/proc/loadavg: 2.15 2.09 1.88 3/179 30149
/proc/meminfo: memFree=28634364/32873844 swapFree=7096/7096
[pid=30148] ppid=30146 vsize=191320 CPUtime=3.09 cores=1,3,5,7
/proc/30148/stat : 30148 (scip-2.1.1.4fix) R 30146 30148 29822 0 -1 4202496 50469 0 0 0 264 45 0 0 20 0 1 0 268008272 195911680 43785 33554432000 4194304 10173063 140735036951312 140735036944568 8047236 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30148/statm: 47830 43785 775 1460 0 46361 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 191320
[startup+6.30029 s]
/proc/loadavg: 2.38 2.14 1.89 3/179 30149
/proc/meminfo: memFree=28632824/32873844 swapFree=7096/7096
[pid=30148] ppid=30146 vsize=192592 CPUtime=6.29 cores=1,3,5,7
/proc/30148/stat : 30148 (scip-2.1.1.4fix) R 30146 30148 29822 0 -1 4202496 51293 0 0 0 582 47 0 0 20 0 1 0 268008272 197214208 44609 33554432000 4194304 10173063 140735036951312 140735036943832 5107543 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30148/statm: 48148 44609 780 1460 0 46679 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 192592
[startup+12.7002 s]
/proc/loadavg: 2.35 2.14 1.89 3/179 30149
/proc/meminfo: memFree=28626548/32873844 swapFree=7096/7096
[pid=30148] ppid=30146 vsize=193132 CPUtime=12.69 cores=1,3,5,7
/proc/30148/stat : 30148 (scip-2.1.1.4fix) R 30146 30148 29822 0 -1 4202496 52183 0 0 0 1221 48 0 0 20 0 1 0 268008272 197767168 45499 33554432000 4194304 10173063 140735036951312 140735036944568 7274113 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30148/statm: 48283 45499 780 1460 0 46814 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 193132
[startup+25.507 s]
/proc/loadavg: 2.35 2.14 1.90 3/179 30150
/proc/meminfo: memFree=28617736/32873844 swapFree=7096/7096
[pid=30148] ppid=30146 vsize=199688 CPUtime=25.49 cores=1,3,5,7
/proc/30148/stat : 30148 (scip-2.1.1.4fix) R 30146 30148 29822 0 -1 4202496 54377 0 0 0 2498 51 0 0 20 0 1 0 268008272 204480512 47692 33554432000 4194304 10173063 140735036951312 140735036943832 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30148/statm: 49922 47692 781 1460 0 48453 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 199688
[startup+51.1003 s]
/proc/loadavg: 2.23 2.13 1.90 3/179 30150
/proc/meminfo: memFree=28565432/32873844 swapFree=7096/7096
[pid=30148] ppid=30146 vsize=249248 CPUtime=51.07 cores=1,3,5,7
/proc/30148/stat : 30148 (scip-2.1.1.4fix) R 30146 30148 29822 0 -1 4202496 67383 0 0 0 5029 78 0 0 20 0 1 0 268008272 255229952 60743 33554432000 4194304 10173063 140735036951312 140735036944760 8047144 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30148/statm: 62312 60743 833 1460 0 60843 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 249248
[startup+102.3 s]
/proc/loadavg: 2.10 2.11 1.91 3/179 30150
/proc/meminfo: memFree=28562876/32873844 swapFree=7096/7096
[pid=30148] ppid=30146 vsize=249248 CPUtime=102.25 cores=1,3,5,7
/proc/30148/stat : 30148 (scip-2.1.1.4fix) R 30146 30148 29822 0 -1 4202496 67398 0 0 0 10137 88 0 0 20 0 1 0 268008272 255229952 60864 33554432000 4194304 10173063 140735036951312 140735036945144 8047603 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30148/statm: 62312 60864 833 1460 0 60843 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 249248
[startup+162.3 s]
/proc/loadavg: 2.09 2.10 1.91 3/179 30150
/proc/meminfo: memFree=28560492/32873844 swapFree=7096/7096
[pid=30148] ppid=30146 vsize=249248 CPUtime=162.25 cores=1,3,5,7
/proc/30148/stat : 30148 (scip-2.1.1.4fix) R 30146 30148 29822 0 -1 4202496 67399 0 0 0 16125 100 0 0 20 0 1 0 268008272 255229952 61246 33554432000 4194304 10173063 140735036951312 140735036944440 7911886 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30148/statm: 62312 61246 834 1460 0 60843 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 249248
[startup+222.3 s]
/proc/loadavg: 2.03 2.08 1.91 3/179 30150
/proc/meminfo: memFree=28558564/32873844 swapFree=7096/7096
[pid=30148] ppid=30146 vsize=249248 CPUtime=222.24 cores=1,3,5,7
/proc/30148/stat : 30148 (scip-2.1.1.4fix) R 30146 30148 29822 0 -1 4202496 67400 0 0 0 22111 113 0 0 20 0 1 0 268008272 255229952 61264 33554432000 4194304 10173063 140735036951312 140735036944568 8058183 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30148/statm: 62312 61264 834 1460 0 60843 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 249248
[startup+282.3 s]
/proc/loadavg: 2.18 2.11 1.93 3/179 30150
/proc/meminfo: memFree=28556084/32873844 swapFree=7096/7096
[pid=30148] ppid=30146 vsize=250276 CPUtime=282.22 cores=1,3,5,7
/proc/30148/stat : 30148 (scip-2.1.1.4fix) R 30146 30148 29822 0 -1 4202496 78398 0 0 0 28065 157 0 0 20 0 1 0 268008272 256282624 61664 33554432000 4194304 10173063 140735036951312 140735036947800 5134464 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30148/statm: 62569 61664 839 1460 0 61100 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 250276
[startup+342.307 s]
/proc/loadavg: 2.22 2.13 1.95 3/179 30151
/proc/meminfo: memFree=28555148/32873844 swapFree=7096/7096
[pid=30148] ppid=30146 vsize=250276 CPUtime=342.22 cores=1,3,5,7
/proc/30148/stat : 30148 (scip-2.1.1.4fix) R 30146 30148 29822 0 -1 4202496 78400 0 0 0 34048 174 0 0 20 0 1 0 268008272 256282624 61666 33554432000 4194304 10173063 140735036951312 140735036947800 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30148/statm: 62569 61666 839 1460 0 61100 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 250276
[startup+402.3 s]
/proc/loadavg: 2.12 2.12 1.95 3/180 30154
/proc/meminfo: memFree=28555388/32873844 swapFree=7096/7096
[pid=30148] ppid=30146 vsize=250276 CPUtime=402.2 cores=1,3,5,7
/proc/30148/stat : 30148 (scip-2.1.1.4fix) R 30146 30148 29822 0 -1 4202496 89420 0 0 0 40018 202 0 0 20 0 1 0 268008272 256282624 61666 33554432000 4194304 10173063 140735036951312 140735036947784 7661732 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30148/statm: 62569 61666 839 1460 0 61100 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 250276
[startup+462.3 s]
/proc/loadavg: 2.04 2.10 1.95 3/180 30177
/proc/meminfo: memFree=28554272/32873844 swapFree=7096/7096
[pid=30148] ppid=30146 vsize=250276 CPUtime=462.2 cores=1,3,5,7
/proc/30148/stat : 30148 (scip-2.1.1.4fix) R 30146 30148 29822 0 -1 4202496 89420 0 0 0 46005 215 0 0 20 0 1 0 268008272 256282624 61666 33554432000 4194304 10173063 140735036951312 140735036944760 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30148/statm: 62569 61666 839 1460 0 61100 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 250276
[startup+522.3 s]
/proc/loadavg: 2.01 2.08 1.95 3/179 30177
/proc/meminfo: memFree=28544976/32873844 swapFree=7096/7096
[pid=30148] ppid=30146 vsize=262704 CPUtime=522.19 cores=1,3,5,7
/proc/30148/stat : 30148 (scip-2.1.1.4fix) R 30146 30148 29822 0 -1 4202496 106986 0 0 0 51975 244 0 0 20 0 1 0 268008272 269008896 63868 33554432000 4194304 10173063 140735036951312 140735036945032 7887688 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30148/statm: 65676 63868 839 1460 0 64207 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 262704
[startup+582.3 s]
/proc/loadavg: 2.00 2.06 1.95 3/179 30177
/proc/meminfo: memFree=28529600/32873844 swapFree=7096/7096
[pid=30148] ppid=30146 vsize=275532 CPUtime=582.18 cores=1,3,5,7
/proc/30148/stat : 30148 (scip-2.1.1.4fix) R 30146 30148 29822 0 -1 4202496 110266 0 0 0 57961 257 0 0 20 0 1 0 268008272 282144768 67129 33554432000 4194304 10173063 140735036951312 140735036944568 7903450 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30148/statm: 68883 67129 839 1460 0 67414 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 275532
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28436204/32873844 swapFree=7096/7096
[pid=30148] ppid=30146 vsize=360440 CPUtime=1062.1 cores=1,3,5,7
/proc/30148/stat : 30148 (scip-2.1.1.4fix) R 30146 30148 29822 0 -1 4202496 192012 0 0 0 105766 444 0 0 20 0 1 0 268008272 369090560 88102 33554432000 4194304 10173063 140735036951312 140735036944616 7911672 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30148/statm: 90110 88102 839 1460 0 88641 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 360440
[startup+1122.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/179 30182
/proc/meminfo: memFree=28423240/32873844 swapFree=7096/7096
[pid=30148] ppid=30146 vsize=369244 CPUtime=1122.1 cores=1,3,5,7
/proc/30148/stat : 30148 (scip-2.1.1.4fix) R 30146 30148 29822 0 -1 4202496 194504 0 0 0 111750 460 0 0 20 0 1 0 268008272 378105856 90594 33554432000 4194304 10173063 140735036951312 140735036944952 7722928 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30148/statm: 92311 90594 839 1460 0 90842 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 369244
[startup+1182.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 30182
/proc/meminfo: memFree=28411732/32873844 swapFree=7096/7096
[pid=30148] ppid=30146 vsize=379680 CPUtime=1182.08 cores=1,3,5,7
/proc/30148/stat : 30148 (scip-2.1.1.4fix) R 30146 30148 29822 0 -1 4202496 196834 0 0 0 117731 477 0 0 20 0 1 0 268008272 388792320 93447 33554432000 4194304 10173063 140735036951312 140735036944536 7911702 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30148/statm: 94920 93447 839 1460 0 93451 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 379680
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 30182
/proc/meminfo: memFree=28401812/32873844 swapFree=7096/7096
[pid=30148] ppid=30146 vsize=392332 CPUtime=1242.08 cores=1,3,5,7
/proc/30148/stat : 30148 (scip-2.1.1.4fix) R 30146 30148 29822 0 -1 4202496 216347 0 0 0 123698 510 0 0 20 0 1 0 268008272 401747968 95975 33554432000 4194304 10173063 140735036951312 140735036945144 7595768 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30148/statm: 98083 95975 839 1460 0 96614 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 392332
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 30183
/proc/meminfo: memFree=28391396/32873844 swapFree=7096/7096
[pid=30148] ppid=30146 vsize=401692 CPUtime=1302.07 cores=1,3,5,7
/proc/30148/stat : 30148 (scip-2.1.1.4fix) R 30146 30148 29822 0 -1 4202496 218627 0 0 0 129681 526 0 0 20 0 1 0 268008272 411332608 98253 33554432000 4194304 10173063 140735036951312 140735036944952 8007111 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30148/statm: 100423 98253 839 1460 0 98954 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 401692
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 30183
/proc/meminfo: memFree=28380980/32873844 swapFree=7096/7096
[pid=30148] ppid=30146 vsize=410432 CPUtime=1362.06 cores=1,3,5,7
/proc/30148/stat : 30148 (scip-2.1.1.4fix) R 30146 30148 29822 0 -1 4202496 221222 0 0 0 135665 541 0 0 20 0 1 0 268008272 420282368 100840 33554432000 4194304 10173063 140735036951312 140735036944440 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30148/statm: 102608 100840 839 1460 0 101139 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 410432
[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 30183
/proc/meminfo: memFree=28368688/32873844 swapFree=7096/7096
[pid=30148] ppid=30146 vsize=422552 CPUtime=1422.04 cores=1,3,5,7
/proc/30148/stat : 30148 (scip-2.1.1.4fix) R 30146 30148 29822 0 -1 4202496 224207 0 0 0 141646 558 0 0 20 0 1 0 268008272 432693248 103832 33554432000 4194304 10173063 140735036951312 140735036946680 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30148/statm: 105638 103832 839 1460 0 104169 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 422552
[startup+1482.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 30183
/proc/meminfo: memFree=28356820/32873844 swapFree=7096/7096
[pid=30148] ppid=30146 vsize=437056 CPUtime=1482.04 cores=1,3,5,7
/proc/30148/stat : 30148 (scip-2.1.1.4fix) R 30146 30148 29822 0 -1 4202496 243555 0 0 0 147612 592 0 0 20 0 1 0 268008272 447545344 106815 33554432000 4194304 10173063 140735036951312 140735036944952 6797662 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30148/statm: 109264 106815 839 1460 0 107795 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 437056
[startup+1542.3 s]
/proc/loadavg: 2.09 2.03 2.00 3/179 30183
/proc/meminfo: memFree=28342620/32873844 swapFree=7096/7096
[pid=30148] ppid=30146 vsize=448520 CPUtime=1542.04 cores=1,3,5,7
/proc/30148/stat : 30148 (scip-2.1.1.4fix) R 30146 30148 29822 0 -1 4202496 247019 0 0 0 153593 611 0 0 20 0 1 0 268008272 459284480 110265 33554432000 4194304 10173063 140735036951312 140735036946680 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30148/statm: 112130 110265 839 1460 0 110661 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 448520
[startup+1602.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/180 30187
/proc/meminfo: memFree=28332940/32873844 swapFree=7096/7096
[pid=30148] ppid=30146 vsize=455552 CPUtime=1602.02 cores=1,3,5,7
/proc/30148/stat : 30148 (scip-2.1.1.4fix) R 30146 30148 29822 0 -1 4202496 248795 0 0 0 159575 627 0 0 20 0 1 0 268008272 466485248 112039 33554432000 4194304 10173063 140735036951312 140735036944952 8886841 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30148/statm: 113888 112039 839 1460 0 112419 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 455552
[startup+1662.31 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 30187
/proc/meminfo: memFree=28318564/32873844 swapFree=7096/7096
[pid=30148] ppid=30146 vsize=470308 CPUtime=1662.02 cores=1,3,5,7
/proc/30148/stat : 30148 (scip-2.1.1.4fix) R 30146 30148 29822 0 -1 4202496 252276 0 0 0 165559 643 0 0 20 0 1 0 268008272 481595392 115502 33554432000 4194304 10173063 140735036951312 140735036948680 8006398 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30148/statm: 117577 115502 839 1460 0 116108 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 470308
[startup+1722.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/179 30225
/proc/meminfo: memFree=28349508/32873844 swapFree=7096/7096
[pid=30148] ppid=30146 vsize=481136 CPUtime=1722.01 cores=1,3,5,7
/proc/30148/stat : 30148 (scip-2.1.1.4fix) R 30146 30148 29822 0 -1 4202496 254935 0 0 0 171540 661 0 0 20 0 1 0 268008272 492683264 118150 33554432000 4194304 10173063 140735036951312 140735036944568 7684824 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30148/statm: 120284 118150 839 1460 0 118815 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 481136
[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 30225
/proc/meminfo: memFree=28249492/32873844 swapFree=7096/7096
[pid=30148] ppid=30146 vsize=490968 CPUtime=1781.99 cores=1,3,5,7
/proc/30148/stat : 30148 (scip-2.1.1.4fix) R 30146 30148 29822 0 -1 4202496 257505 0 0 0 177522 677 0 0 20 0 1 0 268008272 502751232 121396 33554432000 4194304 10173063 140735036951312 140735036944408 5084072 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30148/statm: 122742 121396 839 1460 0 121273 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 490968
Solver just ended. Dumping a history of the last processes samples
[startup+1785.7 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 30225
/proc/meminfo: memFree=28247508/32873844 swapFree=7096/7096
[pid=30148] ppid=30146 vsize=490968 CPUtime=1785.39 cores=1,3,5,7
/proc/30148/stat : 30148 (scip-2.1.1.4fix) R 30146 30148 29822 0 -1 4202496 257546 0 0 0 177861 678 0 0 20 0 1 0 268008272 502751232 121437 33554432000 4194304 10173063 140735036951312 140735036944952 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30148/statm: 122742 121437 839 1460 0 121273 0
Current children cumulated CPU time (s) 1785.39
Current children cumulated vsize (KiB) 490968
[startup+1792.11 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 30225
/proc/meminfo: memFree=28238456/32873844 swapFree=7096/7096
[pid=30148] ppid=30146 vsize=494444 CPUtime=1791.8 cores=1,3,5,7
/proc/30148/stat : 30148 (scip-2.1.1.4fix) R 30146 30148 29822 0 -1 4202496 257671 0 0 0 178501 679 0 0 20 0 1 0 268008272 506310656 121549 33554432000 4194304 10173063 140735036951312 140735036946680 7887598 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30148/statm: 123611 121549 839 1460 0 122142 0
Current children cumulated CPU time (s) 1791.8
Current children cumulated vsize (KiB) 494444
[startup+1795.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 30225
/proc/meminfo: memFree=28230396/32873844 swapFree=7096/7096
[pid=30148] ppid=30146 vsize=494656 CPUtime=1794.99 cores=1,3,5,7
/proc/30148/stat : 30148 (scip-2.1.1.4fix) R 30146 30148 29822 0 -1 4202496 258021 0 0 0 178819 680 0 0 20 0 1 0 268008272 506527744 121899 33554432000 4194304 10173063 140735036951312 140735036945032 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30148/statm: 123664 121899 839 1460 0 122195 0
Current children cumulated CPU time (s) 1794.99
Current children cumulated vsize (KiB) 494656
[startup+1796.1 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 30225
/proc/meminfo: memFree=28230396/32873844 swapFree=7096/7096
[pid=30148] ppid=30146 vsize=495308 CPUtime=1795.78 cores=1,3,5,7
/proc/30148/stat : 30148 (scip-2.1.1.4fix) R 30146 30148 29822 0 -1 4202496 258062 0 0 0 178898 680 0 0 20 0 1 0 268008272 507195392 121940 33554432000 4194304 10173063 140735036951312 140735036948680 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30148/statm: 123827 121940 839 1460 0 122358 0
Current children cumulated CPU time (s) 1795.78
Current children cumulated vsize (KiB) 495308
[startup+1796.9 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 30225
/proc/meminfo: memFree=28228164/32873844 swapFree=7096/7096
[pid=30148] ppid=30146 vsize=495308 CPUtime=1796.59 cores=1,3,5,7
/proc/30148/stat : 30148 (scip-2.1.1.4fix) R 30146 30148 29822 0 -1 4202496 258081 0 0 0 178978 681 0 0 20 0 1 0 268008272 507195392 121959 33554432000 4194304 10173063 140735036951312 140735036948680 7911706 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30148/statm: 123827 121959 839 1460 0 122358 0
Current children cumulated CPU time (s) 1796.59
Current children cumulated vsize (KiB) 495308
[startup+1797.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 30225
/proc/meminfo: memFree=28228164/32873844 swapFree=7096/7096
[pid=30148] ppid=30146 vsize=484560 CPUtime=1796.99 cores=1,3,5,7
/proc/30148/stat : 30148 (scip-2.1.1.4fix) R 30146 30148 29822 0 -1 4202496 258088 0 0 0 179018 681 0 0 20 0 1 0 268008272 496189440 119345 33554432000 4194304 10173063 140735036951312 140735036945176 7550070 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30148/statm: 121140 119345 841 1460 0 119671 0
Current children cumulated CPU time (s) 1796.99
Current children cumulated vsize (KiB) 484560
Child status: 0
Real time (s): 1797.32
CPU time (s): 1797.02
CPU user time (s): 1790.2
CPU system time (s): 6.81996
CPU usage (%): 99.9831
Max. virtual memory (cumulated for all children) (KiB): 495308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.2
system time used= 6.81996
maximum resident set size= 487864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 258090
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= 39
involuntary context switches= 1845
runsolver used 8.80666 second user time and 14.8987 second system time
The end