0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3450649-1307105023.opb>
0.00/0.01 c original problem has 1444 variables (1444 bin, 0 int, 0 impl, 0 cont) and 1644 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 o 0
0.00/0.01 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.01 c presolving:
0.03/0.04 c (round 1) 1244 del vars, 400 del conss, 0 add conss, 1244 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4976 impls, 0 clqs
0.03/0.05 c (round 2) 1244 del vars, 400 del conss, 0 add conss, 1244 chg bounds, 0 chg sides, 0 chg coeffs, 1244 upgd conss, 7464 impls, 0 clqs
0.03/0.06 c (0.1s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.03/0.06 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.03/0.06 c presolving (3 rounds):
0.03/0.06 c 1244 deleted vars, 400 deleted constraints, 0 added constraints, 1244 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.03/0.06 c 7464 implications, 0 cliques
0.03/0.06 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 1244 constraints
0.03/0.06 c 1244 constraints of type <logicor>
0.03/0.06 c transformed objective value is always integral (scale: 1)
0.03/0.06 c Presolving Time: 0.04
0.03/0.06 c - non default parameters ----------------------------------------------------------------------
0.03/0.06 c # SCIP version 2.0.1.5
0.03/0.06 c
0.03/0.06 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.03/0.06 c conflict/interconss = 0
0.03/0.06 c
0.03/0.06 c # should binary conflicts be preferred?
0.03/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.06 c conflict/preferbinary = TRUE
0.03/0.06 c
0.03/0.06 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.03/0.06 c constraints/agelimit = 1
0.03/0.06 c
0.03/0.06 c # should enforcement of pseudo solution be disabled?
0.03/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.06 c constraints/disableenfops = TRUE
0.03/0.06 c
0.03/0.06 c # frequency for displaying node information lines
0.03/0.06 c # [type: int, range: [-1,2147483647], default: 100]
0.03/0.06 c display/freq = 10000
0.03/0.06 c
0.03/0.06 c # maximal time in seconds to run
0.03/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.03/0.06 c limits/time = 1800
0.03/0.06 c
0.03/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.03/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.03/0.06 c limits/memory = 13950
0.03/0.06 c
0.03/0.06 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.03/0.06 c # [type: int, range: [1,2], default: 1]
0.03/0.06 c timing/clocktype = 2
0.03/0.06 c
0.03/0.06 c # belongs reading time to solving time?
0.03/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.06 c timing/reading = TRUE
0.03/0.06 c
0.03/0.06 c # should presolving try to simplify inequalities
0.03/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.06 c constraints/linear/simplifyinequalities = TRUE
0.03/0.06 c
0.03/0.06 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.03/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.06 c constraints/indicator/addCouplingCons = TRUE
0.03/0.06 c
0.03/0.06 c # should presolving try to simplify knapsacks
0.03/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.06 c constraints/knapsack/simplifyinequalities = TRUE
0.03/0.06 c
0.03/0.06 c -----------------------------------------------------------------------------------------------
0.03/0.06 c start solving
0.03/0.06 c
0.03/0.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.03/0.07 c t 0.1s| 1 | 0 | 218 | - |4737k| 0 | 200 | 200 |1244 | 200 |1244 | 0 | 0 | 0 |-1.000000e+02 | 0.000000e+00 | 100.00%
0.03/0.07 o -1
0.03/0.07 c R 0.1s| 1 | 0 | 218 | - |4740k| 0 | 200 | 200 |1244 | 200 |1244 | 0 | 0 | 0 |-1.000000e+02 |-1.000000e+00 | 99.00%
0.03/0.07 o -2
0.03/0.07 c s 0.1s| 1 | 0 | 218 | - |4742k| 0 | 200 | 200 |1244 | 200 |1244 | 0 | 0 | 0 |-1.000000e+02 |-2.000000e+00 | 98.00%
0.09/0.10 c 0.1s| 1 | 0 | 331 | - |4748k| 0 | 191 | 200 |1244 | 200 |1255 | 11 | 0 | 0 |-9.550000e+01 |-2.000000e+00 | 97.91%
0.09/0.10 o -38
0.09/0.10 c b 0.1s| 1 | 0 | 331 | - |4753k| 0 | 191 | 200 |1244 | 200 |1255 | 11 | 0 | 0 |-9.550000e+01 |-3.800000e+01 | 60.21%
0.09/0.13 c 0.1s| 1 | 0 | 441 | - |4771k| 0 | 184 | 200 |1244 | 200 |1265 | 21 | 0 | 0 |-9.200000e+01 |-3.800000e+01 | 58.70%
0.09/0.16 c 0.2s| 1 | 0 | 555 | - |4778k| 0 | 180 | 200 |1244 | 200 |1274 | 30 | 0 | 0 |-9.000000e+01 |-3.800000e+01 | 57.78%
0.19/0.20 c 0.2s| 1 | 0 | 788 | - |4784k| 0 | 181 | 200 |1244 | 200 |1281 | 37 | 0 | 0 |-8.850000e+01 |-3.800000e+01 | 57.06%
0.19/0.26 c 0.3s| 1 | 0 | 1039 | - |4865k| 0 | 174 | 200 |1244 | 200 |1291 | 47 | 0 | 0 |-8.675000e+01 |-3.800000e+01 | 56.20%
0.29/0.31 c 0.3s| 1 | 0 | 1296 | - |4886k| 0 | 171 | 200 |1244 | 200 |1300 | 56 | 0 | 0 |-8.525000e+01 |-3.800000e+01 | 55.43%
0.29/0.35 c 0.4s| 1 | 0 | 1481 | - |4903k| 0 | 169 | 200 |1244 | 200 |1308 | 64 | 0 | 0 |-8.450000e+01 |-3.800000e+01 | 55.03%
0.39/0.44 c 0.4s| 1 | 0 | 1688 | - |4969k| 0 | 173 | 200 |1244 | 200 |1314 | 70 | 0 | 0 |-8.350000e+01 |-3.800000e+01 | 54.49%
0.49/0.51 c 0.5s| 1 | 0 | 2002 | - |5383k| 0 | 172 | 200 |1244 | 200 |1324 | 80 | 0 | 0 |-8.150000e+01 |-3.800000e+01 | 53.37%
0.58/0.63 c 0.6s| 1 | 0 | 2795 | - |5403k| 0 | 182 | 200 |1244 | 200 |1331 | 87 | 0 | 0 |-8.000000e+01 |-3.800000e+01 | 52.50%
0.58/0.69 c 0.7s| 1 | 0 | 2957 | - |5555k| 0 | 159 | 200 |1244 | 200 | 450 | 95 | 0 | 0 |-7.900000e+01 |-3.800000e+01 | 51.90%
0.69/0.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.69/0.73 c 0.7s| 1 | 0 | 3399 | - |5591k| 0 | 186 | 200 |1244 | 200 | 461 | 106 | 0 | 0 |-7.850000e+01 |-3.800000e+01 | 51.59%
0.69/0.79 c 0.8s| 1 | 0 | 3613 | - |6017k| 0 | 179 | 200 |1244 | 200 | 545 | 190 | 0 | 0 |-7.820213e+01 |-3.800000e+01 | 51.41%
0.79/0.84 c 0.8s| 1 | 0 | 3972 | - |6382k| 0 | 183 | 200 |1244 | 200 | 596 | 241 | 0 | 0 |-7.764793e+01 |-3.800000e+01 | 51.06%
0.89/0.91 c 0.9s| 1 | 0 | 4501 | - |6631k| 0 | 180 | 200 |1244 | 200 | 615 | 260 | 0 | 0 |-7.624242e+01 |-3.800000e+01 | 50.16%
0.89/0.97 c 1.0s| 1 | 0 | 4794 | - |7116k| 0 | 183 | 200 |1244 | 200 | 632 | 277 | 0 | 0 |-7.532297e+01 |-3.800000e+01 | 49.55%
1.00/1.05 c 1.1s| 1 | 0 | 5131 | - |8284k| 0 | 174 | 200 |1244 | 200 | 519 | 300 | 0 | 0 |-7.472222e+01 |-3.800000e+01 | 49.14%
1.00/1.10 c 1.1s| 1 | 0 | 5353 | - |9007k| 0 | 189 | 200 |1244 | 200 | 539 | 320 | 0 | 0 |-7.411852e+01 |-3.800000e+01 | 48.73%
1.11/1.18 c 1.2s| 1 | 0 | 5630 | - | 10M| 0 | 188 | 200 |1244 | 200 | 587 | 368 | 0 | 0 |-7.343068e+01 |-3.800000e+01 | 48.25%
1.19/1.26 c 1.3s| 1 | 0 | 6001 | - | 11M| 0 | 189 | 200 |1244 | 200 | 603 | 384 | 0 | 0 |-7.250630e+01 |-3.800000e+01 | 47.59%
1.29/1.31 c 1.3s| 1 | 0 | 6144 | - | 12M| 0 | 194 | 200 |1244 | 200 | 636 | 417 | 0 | 0 |-7.198408e+01 |-3.800000e+01 | 47.21%
1.29/1.37 c 1.4s| 1 | 0 | 6368 | - | 13M| 0 | 194 | 200 |1244 | 200 | 660 | 441 | 0 | 0 |-7.142058e+01 |-3.800000e+01 | 46.79%
1.39/1.42 c 1.4s| 1 | 0 | 6692 | - | 13M| 0 | 198 | 200 |1244 | 200 | 547 | 462 | 0 | 0 |-7.097339e+01 |-3.800000e+01 | 46.46%
1.39/1.47 c 1.5s| 1 | 0 | 6877 | - | 13M| 0 | 198 | 200 |1244 | 200 | 561 | 476 | 0 | 0 |-7.066553e+01 |-3.800000e+01 | 46.23%
1.49/1.51 c 1.5s| 1 | 0 | 7009 | - | 13M| 0 | 195 | 200 |1244 | 200 | 581 | 496 | 0 | 0 |-7.029480e+01 |-3.800000e+01 | 45.94%
1.49/1.55 c 1.6s| 1 | 0 | 7179 | - | 13M| 0 | 198 | 200 |1244 | 200 | 595 | 510 | 0 | 0 |-6.991544e+01 |-3.800000e+01 | 45.65%
1.49/1.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.49/1.59 c 1.6s| 1 | 0 | 7267 | - | 13M| 0 | 198 | 200 |1244 | 200 | 604 | 519 | 0 | 0 |-6.983000e+01 |-3.800000e+01 | 45.58%
1.59/1.63 c 1.6s| 1 | 0 | 7316 | - | 13M| 0 | 198 | 200 |1244 | 200 | 611 | 526 | 0 | 0 |-6.981454e+01 |-3.800000e+01 | 45.57%
1.59/1.67 c 1.7s| 1 | 0 | 7352 | - | 13M| 0 | 197 | 200 |1244 | 200 | 424 | 534 | 0 | 0 |-6.977579e+01 |-3.800000e+01 | 45.54%
1.69/1.70 c 1.7s| 1 | 0 | 7389 | - | 13M| 0 | 197 | 200 |1244 | 200 | 431 | 541 | 0 | 0 |-6.976905e+01 |-3.800000e+01 | 45.53%
1.69/1.73 c 1.7s| 1 | 0 | 7403 | - | 13M| 0 | 197 | 200 |1244 | 200 | 438 | 548 | 0 | 0 |-6.976692e+01 |-3.800000e+01 | 45.53%
1.69/1.75 c 1.8s| 1 | 0 | 7412 | - | 13M| 0 | 197 | 200 |1244 | 200 | 439 | 549 | 0 | 0 |-6.976627e+01 |-3.800000e+01 | 45.53%
1.69/1.78 c 1.8s| 1 | 0 | 7424 | - | 13M| 0 | 197 | 200 |1244 | 200 | 440 | 550 | 0 | 0 |-6.976574e+01 |-3.800000e+01 | 45.53%
1.79/1.81 c 1.8s| 1 | 0 | 7429 | - | 13M| 0 | 197 | 200 |1244 | 200 | 441 | 551 | 0 | 0 |-6.976560e+01 |-3.800000e+01 | 45.53%
3.20/3.27 c 3.3s| 1 | 2 | 7429 | - | 13M| 0 | 197 | 200 |1244 | 200 | 441 | 551 | 0 | 58 |-6.976560e+01 |-3.800000e+01 | 45.53%
3.49/3.51 o -40
3.49/3.51 c * 3.5s| 17 | 16 | 8051 | 38.9 | 13M| 16 | - | 200 |1244 | 200 | 273 | 682 | 0 | 332 |-6.924186e+01 |-4.000000e+01 | 42.23%
3.59/3.63 o -42
3.59/3.63 c * 3.6s| 30 | 24 | 8403 | 33.6 | 13M| 17 | - | 200 |1244 | 200 | 287 | 884 | 0 | 532 |-6.924186e+01 |-4.200000e+01 | 39.34%
3.89/3.98 o -43
3.89/3.98 c * 4.0s| 61 | 47 | 9364 | 32.2 | 13M| 18 | - | 200 |1244 | 200 | 267 |1175 | 0 | 966 |-6.913068e+01 |-4.300000e+01 | 37.80%
4.49/4.56 o -44
4.49/4.56 c * 4.6s| 213 | 158 | 13646 | 29.3 | 13M| 21 | - | 200 |1244 | 200 | 247 |2876 | 0 |1531 |-6.895320e+01 |-4.400000e+01 | 36.19%
4.49/4.58 o -45
4.49/4.58 c l 4.6s| 228 | 150 | 13903 | 28.5 | 13M| 23 | - | 200 |1244 | 200 | 270 |3024 | 0 |1532 |-6.895320e+01 |-4.500000e+01 | 34.74%
4.69/4.70 o -47
4.69/4.70 c * 4.7s| 354 | 185 | 16909 | 26.9 | 13M| 23 | - | 200 |1244 | 200 | 279 |4552 | 0 |1538 |-6.895320e+01 |-4.700000e+01 | 31.84%
10.39/10.43 o -48
10.39/10.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.39/10.43 c p10.4s| 3691 | 3217 |170884 | 44.3 | 16M| 29 | - | 200 |1244 | 200 | 269 | 61k| 0 |1615 |-6.709091e+01 |-4.800000e+01 | 28.46%
19.59/19.66 c 19.7s| 10000 | 8586 |422166 | 41.5 | 20M| 34 | 54 | 200 |1244 | 200 | 244 | 166k| 0 |2344 |-6.637143e+01 |-4.800000e+01 | 27.68%
32.69/32.77 c 32.8s| 20000 | 16424 |782600 | 38.8 | 27M| 37 | 15 | 200 |1244 | 200 | 257 | 328k| 0 |3421 |-6.566667e+01 |-4.800000e+01 | 26.90%
45.00/45.02 c 45.0s| 30000 | 24050 | 1123k| 37.2 | 34M| 39 | 11 | 200 |1244 | 200 | 199 | 485k| 0 |4348 |-6.525000e+01 |-4.800000e+01 | 26.44%
51.79/51.81 o -49
51.79/51.81 c *51.8s| 36156 | 25010 | 1314k| 36.2 | 35M| 43 | - | 200 |1244 | 200 | 242 | 579k| 0 |4719 |-6.500000e+01 |-4.900000e+01 | 24.62%
55.69/55.71 c 55.7s| 40000 | 27150 | 1422k| 35.4 | 37M| 43 | - | 200 |1244 | 200 | 248 | 635k| 0 |4961 |-6.500000e+01 |-4.900000e+01 | 24.62%
65.49/65.55 c 65.5s| 50000 | 32606 | 1698k| 33.8 | 43M| 43 | 59 | 200 |1244 | 200 | 247 | 779k| 0 |5478 |-6.453333e+01 |-4.900000e+01 | 24.07%
74.89/74.90 c 74.9s| 60000 | 37716 | 1962k| 32.6 | 48M| 44 | 75 | 200 |1244 | 200 | 241 | 919k| 0 |5936 |-6.428571e+01 |-4.900000e+01 | 23.78%
84.40/84.49 c 84.5s| 70000 | 42688 | 2231k| 31.8 | 52M| 44 | 15 | 200 |1244 | 200 | 239 |1062k| 0 |6377 |-6.400000e+01 |-4.900000e+01 | 23.44%
93.79/93.82 c 93.8s| 80000 | 47638 | 2495k| 31.1 | 57M| 44 | 40 | 200 |1244 | 200 | 235 |1203k| 0 |6803 |-6.386000e+01 |-4.900000e+01 | 23.27%
102.89/102.99 c 103s| 90000 | 52552 | 2753k| 30.5 | 62M| 48 | 27 | 200 |1244 | 200 | 217 |1341k| 0 |7247 |-6.362500e+01 |-4.900000e+01 | 22.99%
111.90/111.98 c 112s|100000 | 57372 | 3005k| 30.0 | 67M| 48 | 45 | 200 |1244 | 200 | 257 |1475k| 0 |7667 |-6.342105e+01 |-4.900000e+01 | 22.74%
120.80/120.87 c 121s|110000 | 61940 | 3256k| 29.5 | 71M| 48 | 27 | 200 |1244 | 200 | 226 |1608k| 0 |8006 |-6.320000e+01 |-4.900000e+01 | 22.47%
129.50/129.58 c 130s|120000 | 66412 | 3500k| 29.1 | 75M| 48 | 34 | 200 |1244 | 200 | 223 |1744k| 0 |8347 |-6.300000e+01 |-4.900000e+01 | 22.22%
138.10/138.18 c 138s|130000 | 70832 | 3740k| 28.7 | 80M| 48 | - | 200 |1244 | 200 | 256 |1875k| 0 |8659 |-6.300000e+01 |-4.900000e+01 | 22.22%
146.80/146.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
146.80/146.85 c 147s|140000 | 75310 | 3983k| 28.4 | 84M| 49 | 94 | 200 |1244 | 200 | 302 |2007k| 0 |8972 |-6.275000e+01 |-4.900000e+01 | 21.91%
155.11/155.18 c 155s|150000 | 79412 | 4215k| 28.1 | 88M| 49 | 84 | 200 |1244 | 200 | 238 |2135k| 0 |9309 |-6.251220e+01 |-4.900000e+01 | 21.62%
163.39/163.47 c 163s|160000 | 83570 | 4445k| 27.7 | 92M| 49 | 69 | 200 |1244 | 200 | 238 |2260k| 0 |9526 |-6.250000e+01 |-4.900000e+01 | 21.60%
171.50/171.58 c 172s|170000 | 87370 | 4669k| 27.4 | 96M| 49 | 62 | 200 |1244 | 200 | 220 |2387k| 0 |9823 |-6.233333e+01 |-4.900000e+01 | 21.39%
179.70/179.77 c 180s|180000 | 91478 | 4898k| 27.2 | 100M| 49 | 16 | 200 |1244 | 200 | 247 |2513k| 0 | 10k|-6.221622e+01 |-4.900000e+01 | 21.24%
187.59/187.60 c 188s|190000 | 95258 | 5115k| 26.9 | 104M| 49 | 87 | 200 |1244 | 200 | 252 |2634k| 0 | 10k|-6.205357e+01 |-4.900000e+01 | 21.04%
195.50/195.58 c 196s|200000 | 99144 | 5336k| 26.6 | 108M| 49 | 31 | 200 |1244 | 200 | 235 |2755k| 0 | 10k|-6.200000e+01 |-4.900000e+01 | 20.97%
203.41/203.51 c 204s|210000 |102824 | 5555k| 26.4 | 112M| 49 | - | 200 |1244 | 200 | 223 |2881k| 0 | 10k|-6.200000e+01 |-4.900000e+01 | 20.97%
211.21/211.28 c 211s|220000 |106216 | 5768k| 26.2 | 115M| 49 | - | 200 |1244 | 200 | 219 |3000k| 0 | 11k|-6.188889e+01 |-4.900000e+01 | 20.83%
218.69/218.76 c 219s|230000 |109568 | 5973k| 25.9 | 118M| 49 | - | 200 |1244 | 200 | 281 |3116k| 0 | 11k|-6.178571e+01 |-4.900000e+01 | 20.69%
226.30/226.32 c 226s|240000 |112970 | 6179k| 25.7 | 122M| 49 | 59 | 200 |1244 | 200 | 240 |3232k| 0 | 11k|-6.168182e+01 |-4.900000e+01 | 20.56%
233.89/233.95 c 234s|250000 |116440 | 6389k| 25.5 | 125M| 49 | 75 | 200 |1244 | 200 | 266 |3348k| 0 | 11k|-6.163636e+01 |-4.900000e+01 | 20.50%
241.40/241.44 c 241s|260000 |119546 | 6593k| 25.3 | 129M| 49 | - | 200 |1244 | 200 | 229 |3465k| 0 | 11k|-6.150000e+01 |-4.900000e+01 | 20.33%
249.00/249.04 c 249s|270000 |122970 | 6801k| 25.2 | 132M| 49 | 8 | 200 |1244 | 200 | 227 |3583k| 0 | 11k|-6.150000e+01 |-4.900000e+01 | 20.33%
252.70/252.76 o -50
252.70/252.76 c * 253s|274815 | 96792 | 6902k| 25.1 | 110M| 49 | - | 200 |1244 | 200 | 262 |3639k| 0 | 12k|-6.150000e+01 |-5.000000e+01 | 18.70%
256.32/256.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
256.32/256.33 c 256s|280000 | 97905 | 6997k| 25.0 | 111M| 51 | 68 | 200 |1244 | 200 | 279 |3699k| 0 | 12k|-6.150000e+01 |-5.000000e+01 | 18.70%
258.90/258.97 o -51
258.90/258.97 c * 259s|284117 | 76900 | 7065k| 24.8 | 93M| 51 | - | 200 |1244 | 200 | 251 |3744k| 0 | 12k|-6.150000e+01 |-5.100000e+01 | 17.07%
262.80/262.85 c 263s|290000 | 77795 | 7166k| 24.7 | 94M| 51 | - | 200 |1244 | 200 | 222 |3810k| 0 | 12k|-6.142857e+01 |-5.100000e+01 | 16.98%
269.29/269.40 c 269s|300000 | 79183 | 7337k| 24.4 | 96M| 51 | 53 | 200 |1244 | 200 | 248 |3924k| 0 | 12k|-6.135955e+01 |-5.100000e+01 | 16.88%
275.90/275.90 c 276s|310000 | 80571 | 7508k| 24.2 | 98M| 51 | 77 | 200 |1244 | 200 | 222 |4040k| 0 | 12k|-6.133333e+01 |-5.100000e+01 | 16.85%
282.39/282.43 c 282s|320000 | 81971 | 7678k| 24.0 | 100M| 51 | - | 200 |1244 | 200 | 220 |4152k| 0 | 12k|-6.125000e+01 |-5.100000e+01 | 16.73%
288.80/288.84 c 289s|330000 | 83439 | 7847k| 23.8 | 101M| 51 | - | 200 |1244 | 200 | 226 |4265k| 0 | 12k|-6.120000e+01 |-5.100000e+01 | 16.67%
295.09/295.16 c 295s|340000 | 84717 | 8012k| 23.5 | 103M| 51 | - | 200 |1244 | 200 | 225 |4378k| 0 | 13k|-6.114286e+01 |-5.100000e+01 | 16.59%
301.42/301.43 c 301s|350000 | 85865 | 8176k| 23.3 | 105M| 51 | 13 | 200 |1244 | 200 | 239 |4493k| 0 | 13k|-6.108333e+01 |-5.100000e+01 | 16.51%
307.70/307.79 c 308s|360000 | 87197 | 8344k| 23.2 | 106M| 51 | - | 200 |1244 | 200 | 248 |4605k| 0 | 13k|-6.100000e+01 |-5.100000e+01 | 16.39%
314.20/314.21 c 314s|370000 | 88581 | 8510k| 23.0 | 108M| 51 | 94 | 200 |1244 | 200 | 249 |4715k| 0 | 13k|-6.100000e+01 |-5.100000e+01 | 16.39%
320.50/320.56 c 321s|380000 | 90117 | 8679k| 22.8 | 110M| 51 | - | 200 |1244 | 200 | 263 |4826k| 0 | 13k|-6.100000e+01 |-5.100000e+01 | 16.39%
326.90/326.90 c 327s|390000 | 91445 | 8844k| 22.7 | 111M| 52 | 72 | 200 |1244 | 200 | 238 |4936k| 0 | 13k|-6.100000e+01 |-5.100000e+01 | 16.39%
333.20/333.25 c 333s|400000 | 92889 | 9010k| 22.5 | 113M| 52 | - | 200 |1244 | 200 | 221 |5047k| 0 | 13k|-6.100000e+01 |-5.100000e+01 | 16.39%
339.50/339.56 c 340s|410000 | 94309 | 9175k| 22.4 | 115M| 52 | - | 200 |1244 | 200 | 233 |5157k| 0 | 14k|-6.100000e+01 |-5.100000e+01 | 16.39%
345.80/345.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
345.80/345.89 c 346s|420000 | 95683 | 9339k| 22.2 | 117M| 52 | - | 200 |1244 | 200 | 224 |5265k| 0 | 14k|-6.092308e+01 |-5.100000e+01 | 16.29%
352.01/352.09 c 352s|430000 | 96929 | 9499k| 22.1 | 118M| 52 | 14 | 200 |1244 | 200 | 238 |5373k| 0 | 14k|-6.086667e+01 |-5.100000e+01 | 16.21%
358.20/358.28 c 358s|440000 | 98421 | 9661k| 21.9 | 120M| 54 | - | 200 |1244 | 200 | 288 |5480k| 0 | 14k|-6.083333e+01 |-5.100000e+01 | 16.16%
364.50/364.57 c 365s|450000 | 99743 | 9824k| 21.8 | 121M| 54 | - | 200 |1244 | 200 | 285 |5586k| 0 | 14k|-6.078571e+01 |-5.100000e+01 | 16.10%
370.71/370.72 c 371s|460000 |101277 | 9985k| 21.7 | 123M| 54 | 18 | 200 |1244 | 200 | 220 |5692k| 0 | 14k|-6.075000e+01 |-5.100000e+01 | 16.05%
376.90/376.95 c 377s|470000 |102649 | 10146k| 21.6 | 125M| 54 | - | 200 |1244 | 200 | 221 |5800k| 0 | 14k|-6.075000e+01 |-5.100000e+01 | 16.05%
382.90/382.98 c 383s|480000 |103889 | 10301k| 21.4 | 126M| 54 | 53 | 200 |1244 | 200 | 239 |5906k| 0 | 14k|-6.066667e+01 |-5.100000e+01 | 15.93%
389.10/389.11 c 389s|490000 |105269 | 10458k| 21.3 | 128M| 54 | 26 | 200 |1244 | 200 | 199 |6013k| 0 | 15k|-6.066667e+01 |-5.100000e+01 | 15.93%
395.20/395.28 c 395s|500000 |106699 | 10618k| 21.2 | 130M| 54 | 18 | 200 |1244 | 200 | 248 |6115k| 0 | 15k|-6.062500e+01 |-5.100000e+01 | 15.88%
401.41/401.48 c 401s|510000 |108057 | 10777k| 21.1 | 131M| 54 | 42 | 200 |1244 | 200 | 219 |6220k| 0 | 15k|-6.057143e+01 |-5.100000e+01 | 15.80%
407.60/407.67 c 408s|520000 |109233 | 10937k| 21.0 | 133M| 54 | 93 | 200 |1244 | 200 | 259 |6329k| 0 | 15k|-6.050000e+01 |-5.100000e+01 | 15.70%
413.80/413.80 c 414s|530000 |110477 | 11095k| 20.9 | 134M| 55 | 37 | 200 |1244 | 200 | 244 |6435k| 0 | 15k|-6.050000e+01 |-5.100000e+01 | 15.70%
419.90/419.93 c 420s|540000 |111803 | 11254k| 20.8 | 136M| 55 | - | 200 |1244 | 200 | 234 |6541k| 0 | 15k|-6.050000e+01 |-5.100000e+01 | 15.70%
425.90/425.93 c 426s|550000 |113005 | 11408k| 20.7 | 138M| 55 | 32 | 200 |1244 | 200 | 236 |6645k| 0 | 15k|-6.050000e+01 |-5.100000e+01 | 15.70%
431.90/431.98 c 432s|560000 |114267 | 11563k| 20.6 | 139M| 55 | 80 | 200 |1244 | 200 | 287 |6749k| 0 | 15k|-6.050000e+01 |-5.100000e+01 | 15.70%
438.00/438.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
438.00/438.03 c 438s|570000 |115465 | 11721k| 20.6 | 141M| 55 | 19 | 200 |1244 | 200 | 214 |6859k| 0 | 16k|-6.050000e+01 |-5.100000e+01 | 15.70%
444.10/444.18 c 444s|580000 |116765 | 11878k| 20.5 | 142M| 55 | 29 | 200 |1244 | 200 | 224 |6964k| 0 | 16k|-6.045455e+01 |-5.100000e+01 | 15.64%
450.30/450.36 c 450s|590000 |118023 | 12038k| 20.4 | 144M| 55 | 33 | 200 |1244 | 200 | 221 |7067k| 0 | 16k|-6.040000e+01 |-5.100000e+01 | 15.56%
456.41/456.45 c 456s|600000 |119185 | 12194k| 20.3 | 145M| 55 | - | 200 |1244 | 200 | 244 |7172k| 0 | 16k|-6.034615e+01 |-5.100000e+01 | 15.49%
462.40/462.45 c 462s|610000 |120169 | 12347k| 20.2 | 147M| 55 | - | 200 |1244 | 200 | 232 |7275k| 0 | 16k|-6.033333e+01 |-5.100000e+01 | 15.47%
468.51/468.54 c 469s|620000 |121441 | 12506k| 20.2 | 148M| 56 | 11 | 200 |1244 | 200 | 227 |7381k| 0 | 16k|-6.033333e+01 |-5.100000e+01 | 15.47%
474.41/474.47 c 474s|630000 |122429 | 12657k| 20.1 | 149M| 56 | - | 200 |1244 | 200 | 244 |7485k| 0 | 16k|-6.030000e+01 |-5.100000e+01 | 15.42%
480.40/480.44 c 480s|640000 |123603 | 12808k| 20.0 | 151M| 56 | 97 | 200 |1244 | 200 | 254 |7588k| 0 | 16k|-6.025000e+01 |-5.100000e+01 | 15.35%
486.50/486.51 c 487s|650000 |124793 | 12963k| 19.9 | 152M| 56 | 51 | 200 |1244 | 200 | 251 |7695k| 0 | 16k|-6.025000e+01 |-5.100000e+01 | 15.35%
492.50/492.50 c 492s|660000 |126059 | 13118k| 19.9 | 154M| 56 | - | 200 |1244 | 200 | 236 |7801k| 0 | 17k|-6.020000e+01 |-5.100000e+01 | 15.28%
498.32/498.39 c 498s|670000 |127161 | 13266k| 19.8 | 155M| 56 | 31 | 200 |1244 | 200 | 238 |7904k| 0 | 17k|-6.016667e+01 |-5.100000e+01 | 15.24%
504.30/504.36 c 504s|680000 |128209 | 13418k| 19.7 | 156M| 56 | - | 200 |1244 | 200 | 287 |8009k| 0 | 17k|-6.014286e+01 |-5.100000e+01 | 15.20%
510.01/510.07 c 510s|690000 |129219 | 13561k| 19.6 | 158M| 56 | - | 200 |1244 | 200 | 269 |8111k| 0 | 17k|-6.011111e+01 |-5.100000e+01 | 15.16%
515.92/515.97 c 516s|700000 |130149 | 13711k| 19.6 | 159M| 56 | - | 200 |1244 | 200 | 250 |8215k| 0 | 17k|-6.005000e+01 |-5.100000e+01 | 15.07%
521.91/521.92 c 522s|710000 |131319 | 13861k| 19.5 | 160M| 56 | 86 | 200 |1244 | 200 | 267 |8317k| 0 | 17k|-6.000000e+01 |-5.100000e+01 | 15.00%
527.91/527.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
527.91/527.95 c 528s|720000 |132499 | 14016k| 19.5 | 162M| 56 | 80 | 200 |1244 | 200 | 257 |8419k| 0 | 17k|-6.000000e+01 |-5.100000e+01 | 15.00%
533.71/533.78 c 534s|730000 |133495 | 14165k| 19.4 | 163M| 56 | 10 | 200 |1244 | 200 | 245 |8523k| 0 | 17k|-6.000000e+01 |-5.100000e+01 | 15.00%
539.71/539.74 c 540s|740000 |134645 | 14319k| 19.3 | 165M| 56 | - | 200 |1244 | 200 | 245 |8625k| 0 | 17k|-6.000000e+01 |-5.100000e+01 | 15.00%
543.90/543.99 o -52
543.90/543.99 c * 544s|746843 | 99165 | 14427k| 19.3 | 127M| 56 | - | 200 |1244 | 200 | 253 |8698k| 0 | 17k|-6.000000e+01 |-5.200000e+01 | 13.33%
544.11/544.16 o -53
544.11/544.16 c * 544s|747016 | 71236 | 14429k| 19.3 | 97M| 56 | - | 200 |1244 | 200 | 262 |8700k| 0 | 17k|-6.000000e+01 |-5.300000e+01 | 11.67%
545.81/545.85 c 546s|750000 | 71378 | 14471k| 19.3 | 97M| 56 | 43 | 200 |1244 | 200 | 225 |8734k| 0 | 17k|-6.000000e+01 |-5.300000e+01 | 11.67%
551.51/551.57 c 552s|760000 | 71810 | 14613k| 19.2 | 98M| 56 | - | 200 |1244 | 200 | 238 |8845k| 0 | 18k|-6.000000e+01 |-5.300000e+01 | 11.67%
557.00/557.03 c 557s|770000 | 72104 | 14748k| 19.1 | 98M| 56 | 26 | 200 |1244 | 200 | 265 |8955k| 0 | 18k|-6.000000e+01 |-5.300000e+01 | 11.67%
562.60/562.64 c 563s|780000 | 72376 | 14887k| 19.1 | 99M| 57 | - | 200 |1244 | 200 | 268 |9063k| 0 | 18k|-6.000000e+01 |-5.300000e+01 | 11.67%
568.20/568.22 c 568s|790000 | 72800 | 15025k| 19.0 | 99M| 57 | - | 200 |1244 | 200 | 241 |9171k| 0 | 18k|-6.000000e+01 |-5.300000e+01 | 11.67%
573.70/573.78 c 574s|800000 | 73210 | 15162k| 18.9 | 100M| 57 | 68 | 200 |1244 | 200 | 270 |9278k| 0 | 18k|-6.000000e+01 |-5.300000e+01 | 11.67%
579.40/579.41 c 579s|810000 | 73626 | 15302k| 18.9 | 101M| 57 | 69 | 200 |1244 | 200 | 237 |9387k| 0 | 18k|-6.000000e+01 |-5.300000e+01 | 11.67%
585.00/585.03 c 585s|820000 | 74046 | 15439k| 18.8 | 101M| 57 | - | 200 |1244 | 200 | 248 |9494k| 0 | 18k|-6.000000e+01 |-5.300000e+01 | 11.67%
590.51/590.55 c 591s|830000 | 74420 | 15575k| 18.8 | 102M| 57 | - | 200 |1244 | 200 | 263 |9599k| 0 | 18k|-6.000000e+01 |-5.300000e+01 | 11.67%
596.22/596.25 c 596s|840000 | 74800 | 15717k| 18.7 | 103M| 57 | - | 200 |1244 | 200 | 255 |9708k| 0 | 18k|-5.993750e+01 |-5.300000e+01 | 11.57%
601.72/601.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
601.72/601.76 c 602s|850000 | 75134 | 15852k| 18.6 | 103M| 57 | - | 200 |1244 | 200 | 261 |9814k| 0 | 18k|-5.988889e+01 |-5.300000e+01 | 11.50%
607.11/607.14 c 607s|860000 | 75358 | 15982k| 18.6 | 104M| 57 | 76 | 200 |1244 | 200 | 256 |9916k| 0 | 18k|-5.985714e+01 |-5.300000e+01 | 11.46%
612.50/612.60 c 613s|870000 | 75688 | 16116k| 18.5 | 104M| 57 | 16 | 200 |1244 | 200 | 222 | 10M| 0 | 18k|-5.983333e+01 |-5.300000e+01 | 11.42%
617.91/617.99 c 618s|880000 | 76046 | 16247k| 18.5 | 105M| 57 | 18 | 200 |1244 | 200 | 221 | 10M| 0 | 19k|-5.980000e+01 |-5.300000e+01 | 11.37%
623.41/623.40 c 623s|890000 | 76424 | 16379k| 18.4 | 105M| 57 | 84 | 200 |1244 | 200 | 234 | 10M| 0 | 19k|-5.976316e+01 |-5.300000e+01 | 11.32%
628.71/628.79 c 629s|900000 | 76848 | 16511k| 18.3 | 106M| 60 | - | 200 |1244 | 200 | 241 | 10M| 0 | 19k|-5.975000e+01 |-5.300000e+01 | 11.30%
634.11/634.13 c 634s|910000 | 77166 | 16641k| 18.3 | 107M| 60 | 81 | 200 |1244 | 200 | 264 | 10M| 0 | 19k|-5.975000e+01 |-5.300000e+01 | 11.30%
639.50/639.51 c 640s|920000 | 77574 | 16771k| 18.2 | 107M| 60 | - | 200 |1244 | 200 | 220 | 10M| 0 | 19k|-5.972727e+01 |-5.300000e+01 | 11.26%
644.91/644.93 c 645s|930000 | 77908 | 16904k| 18.2 | 108M| 60 | 29 | 200 |1244 | 200 | 217 | 10M| 0 | 19k|-5.968182e+01 |-5.300000e+01 | 11.20%
650.20/650.21 c 650s|940000 | 78170 | 17033k| 18.1 | 108M| 60 | 20 | 200 |1244 | 200 | 224 | 10M| 0 | 19k|-5.966667e+01 |-5.300000e+01 | 11.17%
655.52/655.58 c 656s|950000 | 78434 | 17163k| 18.1 | 109M| 60 | - | 200 |1244 | 200 | 236 | 10M| 0 | 19k|-5.966667e+01 |-5.300000e+01 | 11.17%
660.81/660.89 c 661s|960000 | 78732 | 17292k| 18.0 | 109M| 60 | - | 200 |1244 | 200 | 224 | 10M| 0 | 19k|-5.966667e+01 |-5.300000e+01 | 11.17%
666.20/666.24 c 666s|970000 | 79140 | 17423k| 18.0 | 110M| 60 | 65 | 200 |1244 | 200 | 217 | 11M| 0 | 19k|-5.964286e+01 |-5.300000e+01 | 11.14%
671.51/671.51 c 672s|980000 | 79468 | 17549k| 17.9 | 110M| 60 | 36 | 200 |1244 | 200 | 235 | 11M| 0 | 19k|-5.960000e+01 |-5.300000e+01 | 11.07%
676.81/676.87 c 677s|990000 | 79764 | 17680k| 17.9 | 111M| 60 | 22 | 200 |1244 | 200 | 222 | 11M| 0 | 19k|-5.957143e+01 |-5.300000e+01 | 11.03%
682.10/682.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
682.10/682.16 c 682s| 1000k| 79956 | 17808k| 17.8 | 111M| 60 | 68 | 200 |1244 | 200 | 238 | 11M| 0 | 20k|-5.953846e+01 |-5.300000e+01 | 10.98%
687.31/687.40 c 687s| 1010k| 80158 | 17933k| 17.7 | 112M| 60 | 20 | 200 |1244 | 200 | 219 | 11M| 0 | 20k|-5.950000e+01 |-5.300000e+01 | 10.92%
692.61/692.66 c 693s| 1020k| 80378 | 18059k| 17.7 | 112M| 60 | 99 | 200 |1244 | 200 | 249 | 11M| 0 | 20k|-5.950000e+01 |-5.300000e+01 | 10.92%
697.81/697.89 c 698s| 1030k| 80756 | 18187k| 17.7 | 113M| 60 | - | 200 |1244 | 200 | 268 | 11M| 0 | 20k|-5.950000e+01 |-5.300000e+01 | 10.92%
703.21/703.28 c 703s| 1040k| 81096 | 18320k| 17.6 | 113M| 60 | - | 200 |1244 | 200 | 265 | 11M| 0 | 20k|-5.950000e+01 |-5.300000e+01 | 10.92%
708.42/708.49 c 708s| 1050k| 81384 | 18444k| 17.6 | 114M| 60 | 6 | 200 |1244 | 200 | 217 | 11M| 0 | 20k|-5.950000e+01 |-5.300000e+01 | 10.92%
713.71/713.74 c 714s| 1060k| 81606 | 18570k| 17.5 | 114M| 60 | - | 200 |1244 | 200 | 256 | 11M| 0 | 20k|-5.950000e+01 |-5.300000e+01 | 10.92%
719.01/719.00 c 719s| 1070k| 81792 | 18695k| 17.5 | 115M| 60 | 103 | 200 |1244 | 200 | 277 | 12M| 0 | 20k|-5.950000e+01 |-5.300000e+01 | 10.92%
724.30/724.34 c 724s| 1080k| 82012 | 18824k| 17.4 | 115M| 60 | 24 | 200 |1244 | 200 | 231 | 12M| 0 | 20k|-5.950000e+01 |-5.300000e+01 | 10.92%
729.51/729.57 c 730s| 1090k| 82258 | 18951k| 17.4 | 115M| 60 | 38 | 200 |1244 | 200 | 227 | 12M| 0 | 20k|-5.950000e+01 |-5.300000e+01 | 10.92%
735.01/735.03 c 735s| 1100k| 82640 | 19086k| 17.3 | 116M| 60 | 58 | 200 |1244 | 200 | 234 | 12M| 0 | 20k|-5.950000e+01 |-5.300000e+01 | 10.92%
740.32/740.33 c 740s| 1110k| 82906 | 19216k| 17.3 | 116M| 60 | 4 | 200 |1244 | 200 | 226 | 12M| 0 | 20k|-5.945455e+01 |-5.300000e+01 | 10.86%
745.51/745.50 c 746s| 1120k| 83092 | 19338k| 17.3 | 117M| 60 | 96 | 200 |1244 | 200 | 276 | 12M| 0 | 20k|-5.942857e+01 |-5.300000e+01 | 10.82%
750.71/750.78 c 751s| 1130k| 83372 | 19464k| 17.2 | 117M| 60 | - | 200 |1244 | 200 | 231 | 12M| 0 | 20k|-5.940000e+01 |-5.300000e+01 | 10.77%
755.90/755.98 c 756s| 1140k| 83532 | 19588k| 17.2 | 118M| 60 | 22 | 200 |1244 | 200 | 240 | 12M| 0 | 20k|-5.937500e+01 |-5.300000e+01 | 10.74%
761.22/761.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
761.22/761.26 c 761s| 1150k| 83788 | 19713k| 17.1 | 118M| 60 | 80 | 200 |1244 | 200 | 269 | 12M| 0 | 21k|-5.933333e+01 |-5.300000e+01 | 10.67%
766.51/766.52 c 767s| 1160k| 84028 | 19840k| 17.1 | 119M| 60 | 12 | 200 |1244 | 200 | 232 | 13M| 0 | 21k|-5.933333e+01 |-5.300000e+01 | 10.67%
771.71/771.76 c 772s| 1170k| 84284 | 19965k| 17.1 | 119M| 60 | 30 | 200 |1244 | 200 | 219 | 13M| 0 | 21k|-5.933333e+01 |-5.300000e+01 | 10.67%
776.81/776.88 c 777s| 1180k| 84538 | 20086k| 17.0 | 119M| 60 | 41 | 200 |1244 | 200 | 238 | 13M| 0 | 21k|-5.931818e+01 |-5.300000e+01 | 10.65%
782.12/782.19 c 782s| 1190k| 84814 | 20214k| 17.0 | 120M| 60 | 19 | 200 |1244 | 200 | 227 | 13M| 0 | 21k|-5.927778e+01 |-5.300000e+01 | 10.59%
787.21/787.29 c 787s| 1200k| 84942 | 20333k| 16.9 | 120M| 61 | 34 | 200 |1244 | 200 | 222 | 13M| 0 | 21k|-5.925000e+01 |-5.300000e+01 | 10.55%
792.31/792.34 c 792s| 1210k| 85114 | 20452k| 16.9 | 121M| 61 | - | 200 |1244 | 200 | 237 | 13M| 0 | 21k|-5.925000e+01 |-5.300000e+01 | 10.55%
796.32/796.34 o -54
796.32/796.34 c * 796s| 1217k| 57368 | 20545k| 16.9 | 87M| 61 | - | 200 |1244 | 200 | 258 | 13M| 0 | 21k|-5.925000e+01 |-5.400000e+01 | 8.86%
797.41/797.43 c 797s| 1220k| 57369 | 20569k| 16.9 | 87M| 61 | 17 | 200 |1244 | 200 | 224 | 13M| 0 | 21k|-5.925000e+01 |-5.400000e+01 | 8.86%
802.31/802.35 c 802s| 1230k| 57227 | 20679k| 16.8 | 87M| 61 | - | 200 |1244 | 200 | 258 | 13M| 0 | 21k|-5.925000e+01 |-5.400000e+01 | 8.86%
807.11/807.20 c 807s| 1240k| 57169 | 20787k| 16.8 | 87M| 61 | 38 | 200 |1244 | 200 | 240 | 13M| 0 | 21k|-5.920000e+01 |-5.400000e+01 | 8.78%
812.11/812.11 c 812s| 1250k| 57097 | 20897k| 16.7 | 87M| 61 | 60 | 200 |1244 | 200 | 223 | 13M| 0 | 21k|-5.916667e+01 |-5.400000e+01 | 8.73%
816.81/816.86 c 817s| 1260k| 57045 | 21002k| 16.7 | 87M| 61 | 55 | 200 |1244 | 200 | 222 | 13M| 0 | 21k|-5.916667e+01 |-5.400000e+01 | 8.73%
821.72/821.78 c 822s| 1270k| 56941 | 21112k| 16.6 | 87M| 61 | 20 | 200 |1244 | 200 | 224 | 14M| 0 | 21k|-5.913333e+01 |-5.400000e+01 | 8.68%
826.61/826.61 c 827s| 1280k| 56815 | 21220k| 16.6 | 87M| 61 | 86 | 200 |1244 | 200 | 219 | 14M| 0 | 21k|-5.910000e+01 |-5.400000e+01 | 8.63%
831.41/831.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
831.41/831.50 c 832s| 1290k| 56767 | 21331k| 16.5 | 87M| 61 | - | 200 |1244 | 200 | 237 | 14M| 0 | 21k|-5.905000e+01 |-5.400000e+01 | 8.55%
836.51/836.53 c 837s| 1300k| 56659 | 21444k| 16.5 | 87M| 61 | - | 200 |1244 | 200 | 240 | 14M| 0 | 21k|-5.900000e+01 |-5.400000e+01 | 8.47%
841.42/841.46 c 841s| 1310k| 56533 | 21555k| 16.4 | 87M| 61 | - | 200 |1244 | 200 | 228 | 14M| 0 | 22k|-5.900000e+01 |-5.400000e+01 | 8.47%
846.31/846.31 c 846s| 1320k| 56427 | 21665k| 16.4 | 87M| 61 | 26 | 200 |1244 | 200 | 225 | 14M| 0 | 22k|-5.900000e+01 |-5.400000e+01 | 8.47%
851.11/851.14 c 851s| 1330k| 56351 | 21771k| 16.4 | 87M| 61 | - | 200 |1244 | 200 | 262 | 14M| 0 | 22k|-5.900000e+01 |-5.400000e+01 | 8.47%
856.11/856.12 c 856s| 1340k| 56385 | 21885k| 16.3 | 87M| 61 | - | 200 |1244 | 200 | 255 | 14M| 0 | 22k|-5.900000e+01 |-5.400000e+01 | 8.47%
860.91/860.99 c 861s| 1350k| 56359 | 21996k| 16.3 | 87M| 61 | 48 | 200 |1244 | 200 | 253 | 14M| 0 | 22k|-5.900000e+01 |-5.400000e+01 | 8.47%
865.91/865.94 c 866s| 1360k| 56307 | 22109k| 16.3 | 88M| 61 | - | 200 |1244 | 200 | 257 | 14M| 0 | 22k|-5.900000e+01 |-5.400000e+01 | 8.47%
870.71/870.73 c 871s| 1370k| 56221 | 22215k| 16.2 | 88M| 61 | 62 | 200 |1244 | 200 | 237 | 15M| 0 | 22k|-5.900000e+01 |-5.400000e+01 | 8.47%
875.52/875.61 c 876s| 1380k| 56215 | 22326k| 16.2 | 88M| 62 | 39 | 200 |1244 | 200 | 256 | 15M| 0 | 22k|-5.900000e+01 |-5.400000e+01 | 8.47%
880.41/880.41 c 880s| 1390k| 56147 | 22434k| 16.1 | 88M| 62 | 44 | 200 |1244 | 200 | 220 | 15M| 0 | 22k|-5.900000e+01 |-5.400000e+01 | 8.47%
885.31/885.33 c 885s| 1400k| 56119 | 22545k| 16.1 | 88M| 62 | - | 200 |1244 | 200 | 226 | 15M| 0 | 22k|-5.900000e+01 |-5.400000e+01 | 8.47%
890.11/890.12 c 890s| 1410k| 56065 | 22651k| 16.1 | 88M| 62 | - | 200 |1244 | 200 | 280 | 15M| 0 | 22k|-5.900000e+01 |-5.400000e+01 | 8.47%
894.91/894.92 c 895s| 1420k| 56029 | 22759k| 16.0 | 88M| 62 | - | 200 |1244 | 200 | 229 | 15M| 0 | 22k|-5.900000e+01 |-5.400000e+01 | 8.47%
899.72/899.73 c 900s| 1430k| 55951 | 22866k| 16.0 | 88M| 62 | - | 200 |1244 | 200 | 220 | 15M| 0 | 22k|-5.900000e+01 |-5.400000e+01 | 8.47%
904.62/904.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
904.62/904.61 c 905s| 1440k| 55837 | 22975k| 16.0 | 88M| 62 | - | 200 |1244 | 200 | 225 | 15M| 0 | 22k|-5.900000e+01 |-5.400000e+01 | 8.47%
909.41/909.45 c 909s| 1450k| 55803 | 23085k| 15.9 | 88M| 62 | 64 | 200 |1244 | 200 | 248 | 15M| 0 | 22k|-5.900000e+01 |-5.400000e+01 | 8.47%
914.31/914.34 c 914s| 1460k| 55813 | 23195k| 15.9 | 88M| 62 | 98 | 200 |1244 | 200 | 249 | 15M| 0 | 22k|-5.900000e+01 |-5.400000e+01 | 8.47%
919.11/919.15 c 919s| 1470k| 55715 | 23302k| 15.8 | 88M| 62 | - | 200 |1244 | 200 | 257 | 15M| 0 | 22k|-5.895455e+01 |-5.400000e+01 | 8.40%
923.71/923.74 c 924s| 1480k| 55667 | 23401k| 15.8 | 88M| 62 | - | 200 |1244 | 200 | 284 | 16M| 0 | 22k|-5.890625e+01 |-5.400000e+01 | 8.33%
928.32/928.40 c 928s| 1490k| 55587 | 23503k| 15.8 | 88M| 62 | 7 | 200 |1244 | 200 | 234 | 16M| 0 | 22k|-5.887500e+01 |-5.400000e+01 | 8.28%
933.11/933.19 c 933s| 1500k| 55537 | 23608k| 15.7 | 88M| 62 | - | 200 |1244 | 200 | 276 | 16M| 0 | 23k|-5.885714e+01 |-5.400000e+01 | 8.25%
937.72/937.79 c 938s| 1510k| 55469 | 23708k| 15.7 | 88M| 62 | 51 | 200 |1244 | 200 | 225 | 16M| 0 | 23k|-5.883333e+01 |-5.400000e+01 | 8.22%
942.41/942.47 c 942s| 1520k| 55427 | 23810k| 15.7 | 89M| 62 | 109 | 200 |1244 | 200 | 264 | 16M| 0 | 23k|-5.883333e+01 |-5.400000e+01 | 8.22%
947.21/947.28 c 947s| 1530k| 55325 | 23916k| 15.6 | 89M| 64 | 93 | 200 |1244 | 200 | 256 | 16M| 0 | 23k|-5.880000e+01 |-5.400000e+01 | 8.16%
951.91/951.97 c 952s| 1540k| 55189 | 24018k| 15.6 | 88M| 67 | - | 200 |1244 | 200 | 255 | 16M| 0 | 23k|-5.877778e+01 |-5.400000e+01 | 8.13%
956.62/956.67 c 957s| 1550k| 55095 | 24122k| 15.6 | 88M| 67 | - | 200 |1244 | 200 | 217 | 16M| 0 | 23k|-5.875000e+01 |-5.400000e+01 | 8.09%
961.32/961.37 c 961s| 1560k| 55023 | 24226k| 15.5 | 89M| 68 | 17 | 200 |1244 | 200 | 222 | 16M| 0 | 23k|-5.875000e+01 |-5.400000e+01 | 8.09%
965.91/965.98 c 966s| 1570k| 54975 | 24326k| 15.5 | 89M| 68 | 40 | 200 |1244 | 200 | 243 | 16M| 0 | 23k|-5.875000e+01 |-5.400000e+01 | 8.09%
970.51/970.56 c 971s| 1580k| 54843 | 24427k| 15.5 | 89M| 68 | - | 200 |1244 | 200 | 254 | 16M| 0 | 23k|-5.873333e+01 |-5.400000e+01 | 8.06%
975.21/975.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
975.21/975.20 c 975s| 1590k| 54717 | 24527k| 15.4 | 88M| 68 | - | 200 |1244 | 200 | 249 | 17M| 0 | 23k|-5.870000e+01 |-5.400000e+01 | 8.01%
979.91/979.91 c 980s| 1600k| 54625 | 24630k| 15.4 | 89M| 68 | - | 200 |1244 | 200 | 261 | 17M| 0 | 23k|-5.866667e+01 |-5.400000e+01 | 7.95%
984.53/984.58 c 985s| 1610k| 54523 | 24733k| 15.4 | 89M| 68 | 18 | 200 |1244 | 200 | 220 | 17M| 0 | 23k|-5.866667e+01 |-5.400000e+01 | 7.95%
989.11/989.19 c 989s| 1620k| 54417 | 24833k| 15.3 | 89M| 68 | - | 200 |1244 | 200 | 240 | 17M| 0 | 23k|-5.866667e+01 |-5.400000e+01 | 7.95%
993.91/993.92 c 994s| 1630k| 54375 | 24936k| 15.3 | 89M| 68 | 36 | 200 |1244 | 200 | 250 | 17M| 0 | 23k|-5.866667e+01 |-5.400000e+01 | 7.95%
998.61/998.60 c 999s| 1640k| 54301 | 25039k| 15.3 | 89M| 68 | - | 200 |1244 | 200 | 251 | 17M| 0 | 23k|-5.866667e+01 |-5.400000e+01 | 7.95%
1003.12/1003.16 c 1003s| 1650k| 54147 | 25137k| 15.2 | 89M| 68 | 49 | 200 |1244 | 200 | 216 | 17M| 0 | 23k|-5.862500e+01 |-5.400000e+01 | 7.89%
1007.72/1007.73 c 1008s| 1660k| 54053 | 25235k| 15.2 | 89M| 68 | 47 | 200 |1244 | 200 | 237 | 17M| 0 | 23k|-5.860000e+01 |-5.400000e+01 | 7.85%
1012.32/1012.31 c 1012s| 1670k| 53889 | 25333k| 15.2 | 88M| 68 | - | 200 |1244 | 200 | 228 | 17M| 0 | 23k|-5.858333e+01 |-5.400000e+01 | 7.82%
1016.82/1016.86 c 1017s| 1680k| 53783 | 25429k| 15.1 | 88M| 68 | - | 200 |1244 | 200 | 267 | 17M| 0 | 23k|-5.855556e+01 |-5.400000e+01 | 7.78%
1021.31/1021.37 c 1021s| 1690k| 53635 | 25524k| 15.1 | 88M| 68 | 55 | 200 |1244 | 200 | 241 | 17M| 0 | 23k|-5.850000e+01 |-5.400000e+01 | 7.69%
1025.92/1025.93 c 1026s| 1700k| 53469 | 25622k| 15.1 | 88M| 68 | 53 | 200 |1244 | 200 | 225 | 17M| 0 | 23k|-5.850000e+01 |-5.400000e+01 | 7.69%
1030.42/1030.47 c 1030s| 1710k| 53357 | 25719k| 15.0 | 88M| 68 | - | 200 |1244 | 200 | 238 | 18M| 0 | 24k|-5.850000e+01 |-5.400000e+01 | 7.69%
1035.03/1035.04 c 1035s| 1720k| 53233 | 25817k| 15.0 | 88M| 68 | 75 | 200 |1244 | 200 | 267 | 18M| 0 | 24k|-5.850000e+01 |-5.400000e+01 | 7.69%
1039.53/1039.59 c 1040s| 1730k| 53113 | 25915k| 15.0 | 88M| 68 | - | 200 |1244 | 200 | 223 | 18M| 0 | 24k|-5.850000e+01 |-5.400000e+01 | 7.69%
1044.11/1044.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1044.11/1044.11 c 1044s| 1740k| 52989 | 26011k| 14.9 | 88M| 68 | 49 | 200 |1244 | 200 | 246 | 18M| 0 | 24k|-5.850000e+01 |-5.400000e+01 | 7.69%
1048.62/1048.62 c 1049s| 1750k| 52865 | 26106k| 14.9 | 88M| 68 | - | 200 |1244 | 200 | 247 | 18M| 0 | 24k|-5.850000e+01 |-5.400000e+01 | 7.69%
1053.02/1053.06 c 1053s| 1760k| 52713 | 26199k| 14.9 | 88M| 68 | - | 200 |1244 | 200 | 225 | 18M| 0 | 24k|-5.850000e+01 |-5.400000e+01 | 7.69%
1057.62/1057.62 c 1058s| 1770k| 52625 | 26295k| 14.9 | 88M| 68 | - | 200 |1244 | 200 | 233 | 18M| 0 | 24k|-5.850000e+01 |-5.400000e+01 | 7.69%
1062.12/1062.13 c 1062s| 1780k| 52565 | 26392k| 14.8 | 88M| 68 | - | 200 |1244 | 200 | 243 | 18M| 0 | 24k|-5.850000e+01 |-5.400000e+01 | 7.69%
1066.62/1066.61 c 1067s| 1790k| 52417 | 26487k| 14.8 | 88M| 68 | - | 200 |1244 | 200 | 271 | 18M| 0 | 24k|-5.850000e+01 |-5.400000e+01 | 7.69%
1071.11/1071.11 c 1071s| 1800k| 52247 | 26581k| 14.8 | 88M| 71 | 56 | 200 |1244 | 200 | 228 | 18M| 0 | 24k|-5.850000e+01 |-5.400000e+01 | 7.69%
1075.62/1075.67 c 1076s| 1810k| 52101 | 26680k| 14.7 | 88M| 71 | 14 | 200 |1244 | 200 | 219 | 18M| 0 | 24k|-5.850000e+01 |-5.400000e+01 | 7.69%
1080.13/1080.18 c 1080s| 1820k| 51897 | 26774k| 14.7 | 88M| 71 | - | 200 |1244 | 200 | 284 | 18M| 0 | 24k|-5.843750e+01 |-5.400000e+01 | 7.59%
1084.53/1084.60 c 1085s| 1830k| 51689 | 26864k| 14.7 | 87M| 71 | - | 200 |1244 | 200 | 275 | 19M| 0 | 24k|-5.840741e+01 |-5.400000e+01 | 7.55%
1089.12/1089.14 c 1089s| 1840k| 51513 | 26960k| 14.6 | 87M| 71 | - | 200 |1244 | 200 | 274 | 19M| 0 | 24k|-5.840000e+01 |-5.400000e+01 | 7.53%
1093.51/1093.55 c 1094s| 1850k| 51241 | 27051k| 14.6 | 87M| 71 | 5 | 200 |1244 | 200 | 229 | 19M| 0 | 24k|-5.837500e+01 |-5.400000e+01 | 7.49%
1098.02/1098.03 c 1098s| 1860k| 51017 | 27144k| 14.6 | 87M| 71 | - | 200 |1244 | 200 | 226 | 19M| 0 | 24k|-5.833333e+01 |-5.400000e+01 | 7.43%
1102.41/1102.49 c 1102s| 1870k| 50857 | 27238k| 14.6 | 87M| 71 | 30 | 200 |1244 | 200 | 219 | 19M| 0 | 24k|-5.833333e+01 |-5.400000e+01 | 7.43%
1107.01/1107.04 c 1107s| 1880k| 50665 | 27333k| 14.5 | 87M| 71 | - | 200 |1244 | 200 | 280 | 19M| 0 | 24k|-5.833333e+01 |-5.400000e+01 | 7.43%
1111.52/1111.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1111.52/1111.51 c 1112s| 1890k| 50519 | 27428k| 14.5 | 87M| 71 | - | 200 |1244 | 200 | 221 | 19M| 0 | 24k|-5.833333e+01 |-5.400000e+01 | 7.43%
1115.92/1115.99 c 1116s| 1900k| 50327 | 27521k| 14.5 | 86M| 71 | - | 200 |1244 | 200 | 266 | 19M| 0 | 24k|-5.830435e+01 |-5.400000e+01 | 7.38%
1120.41/1120.43 c 1120s| 1910k| 50185 | 27613k| 14.5 | 86M| 71 | 25 | 200 |1244 | 200 | 228 | 19M| 0 | 24k|-5.827778e+01 |-5.400000e+01 | 7.34%
1124.92/1124.90 c 1125s| 1920k| 49991 | 27707k| 14.4 | 86M| 71 | - | 200 |1244 | 200 | 274 | 19M| 0 | 24k|-5.825000e+01 |-5.400000e+01 | 7.30%
1129.32/1129.39 c 1129s| 1930k| 49801 | 27801k| 14.4 | 86M| 71 | - | 200 |1244 | 200 | 286 | 19M| 0 | 24k|-5.825000e+01 |-5.400000e+01 | 7.30%
1133.82/1133.84 c 1134s| 1940k| 49605 | 27893k| 14.4 | 86M| 71 | 26 | 200 |1244 | 200 | 236 | 19M| 0 | 25k|-5.825000e+01 |-5.400000e+01 | 7.30%
1138.22/1138.24 c 1138s| 1950k| 49387 | 27985k| 14.3 | 86M| 71 | - | 200 |1244 | 200 | 248 | 19M| 0 | 25k|-5.825000e+01 |-5.400000e+01 | 7.30%
1142.72/1142.71 c 1143s| 1960k| 49137 | 28076k| 14.3 | 85M| 71 | 41 | 200 |1244 | 200 | 228 | 20M| 0 | 25k|-5.820000e+01 |-5.400000e+01 | 7.22%
1147.12/1147.20 c 1147s| 1970k| 48935 | 28171k| 14.3 | 85M| 71 | - | 200 |1244 | 200 | 235 | 20M| 0 | 25k|-5.819048e+01 |-5.400000e+01 | 7.20%
1151.52/1151.52 c 1152s| 1980k| 48707 | 28258k| 14.3 | 85M| 71 | 34 | 200 |1244 | 200 | 247 | 20M| 0 | 25k|-5.816667e+01 |-5.400000e+01 | 7.16%
1155.82/1155.83 c 1156s| 1990k| 48547 | 28346k| 14.2 | 85M| 71 | - | 200 |1244 | 200 | 273 | 20M| 0 | 25k|-5.816667e+01 |-5.400000e+01 | 7.16%
1160.12/1160.11 c 1160s| 2000k| 48335 | 28432k| 14.2 | 85M| 71 | - | 200 |1244 | 200 | 267 | 20M| 0 | 25k|-5.812500e+01 |-5.400000e+01 | 7.10%
1164.42/1164.48 c 1164s| 2010k| 48127 | 28522k| 14.2 | 85M| 71 | - | 200 |1244 | 200 | 255 | 20M| 0 | 25k|-5.810000e+01 |-5.400000e+01 | 7.06%
1168.82/1168.82 c 1169s| 2020k| 47907 | 28610k| 14.2 | 84M| 71 | 39 | 200 |1244 | 200 | 221 | 20M| 0 | 25k|-5.806522e+01 |-5.400000e+01 | 7.00%
1173.12/1173.16 c 1173s| 2030k| 47731 | 28697k| 14.1 | 84M| 71 | 19 | 200 |1244 | 200 | 218 | 20M| 0 | 25k|-5.800000e+01 |-5.400000e+01 | 6.90%
1177.61/1177.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1177.61/1177.60 c 1178s| 2040k| 47517 | 28789k| 14.1 | 84M| 71 | - | 200 |1244 | 200 | 258 | 20M| 0 | 25k|-5.800000e+01 |-5.400000e+01 | 6.90%
1182.02/1182.00 c 1182s| 2050k| 47307 | 28879k| 14.1 | 84M| 71 | 50 | 200 |1244 | 200 | 217 | 20M| 0 | 25k|-5.800000e+01 |-5.400000e+01 | 6.90%
1186.42/1186.42 c 1186s| 2060k| 47107 | 28971k| 14.1 | 84M| 71 | - | 200 |1244 | 200 | 275 | 20M| 0 | 25k|-5.800000e+01 |-5.400000e+01 | 6.90%
1190.72/1190.75 c 1191s| 2070k| 46911 | 29059k| 14.0 | 84M| 71 | 26 | 200 |1244 | 200 | 239 | 20M| 0 | 25k|-5.800000e+01 |-5.400000e+01 | 6.90%
1195.02/1195.06 c 1195s| 2080k| 46717 | 29147k| 14.0 | 84M| 71 | - | 200 |1244 | 200 | 241 | 20M| 0 | 25k|-5.800000e+01 |-5.400000e+01 | 6.90%
1199.32/1199.39 c 1199s| 2090k| 46519 | 29237k| 14.0 | 83M| 71 | - | 200 |1244 | 200 | 223 | 20M| 0 | 25k|-5.800000e+01 |-5.400000e+01 | 6.90%
1203.72/1203.71 c 1204s| 2100k| 46325 | 29326k| 14.0 | 83M| 71 | 8 | 200 |1244 | 200 | 236 | 21M| 0 | 25k|-5.800000e+01 |-5.400000e+01 | 6.90%
1207.92/1207.98 c 1208s| 2110k| 46131 | 29413k| 13.9 | 83M| 71 | - | 200 |1244 | 200 | 248 | 21M| 0 | 25k|-5.800000e+01 |-5.400000e+01 | 6.90%
1212.23/1212.24 c 1212s| 2120k| 45871 | 29498k| 13.9 | 83M| 71 | 92 | 200 |1244 | 200 | 227 | 21M| 0 | 25k|-5.800000e+01 |-5.400000e+01 | 6.90%
1216.53/1216.52 c 1217s| 2130k| 45655 | 29585k| 13.9 | 83M| 71 | - | 200 |1244 | 200 | 236 | 21M| 0 | 25k|-5.800000e+01 |-5.400000e+01 | 6.90%
1220.82/1220.89 c 1221s| 2140k| 45363 | 29675k| 13.9 | 82M| 71 | 30 | 200 |1244 | 200 | 238 | 21M| 0 | 25k|-5.800000e+01 |-5.400000e+01 | 6.90%
1225.22/1225.29 c 1225s| 2150k| 45139 | 29765k| 13.8 | 82M| 71 | - | 200 |1244 | 200 | 236 | 21M| 0 | 25k|-5.800000e+01 |-5.400000e+01 | 6.90%
1229.63/1229.67 c 1230s| 2160k| 44955 | 29856k| 13.8 | 82M| 71 | - | 200 |1244 | 200 | 265 | 21M| 0 | 25k|-5.800000e+01 |-5.400000e+01 | 6.90%
1234.02/1234.06 c 1234s| 2170k| 44755 | 29947k| 13.8 | 82M| 71 | - | 200 |1244 | 200 | 276 | 21M| 0 | 25k|-5.800000e+01 |-5.400000e+01 | 6.90%
1238.32/1238.36 c 1238s| 2180k| 44551 | 30035k| 13.8 | 82M| 71 | - | 200 |1244 | 200 | 235 | 21M| 0 | 25k|-5.800000e+01 |-5.400000e+01 | 6.90%
1242.62/1242.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1242.62/1242.64 c 1243s| 2190k| 44313 | 30122k| 13.8 | 81M| 71 | 83 | 200 |1244 | 200 | 244 | 21M| 0 | 25k|-5.800000e+01 |-5.400000e+01 | 6.90%
1247.12/1247.11 c 1247s| 2200k| 44151 | 30215k| 13.7 | 81M| 71 | 34 | 200 |1244 | 200 | 231 | 21M| 0 | 25k|-5.800000e+01 |-5.400000e+01 | 6.90%
1251.52/1251.58 c 1252s| 2210k| 43939 | 30309k| 13.7 | 81M| 71 | - | 200 |1244 | 200 | 236 | 21M| 0 | 25k|-5.800000e+01 |-5.400000e+01 | 6.90%
1255.92/1255.98 c 1256s| 2220k| 43747 | 30399k| 13.7 | 81M| 71 | - | 200 |1244 | 200 | 263 | 21M| 0 | 26k|-5.800000e+01 |-5.400000e+01 | 6.90%
1260.42/1260.41 c 1260s| 2230k| 43579 | 30491k| 13.7 | 81M| 71 | 14 | 200 |1244 | 200 | 229 | 21M| 0 | 26k|-5.795833e+01 |-5.400000e+01 | 6.83%
1264.62/1264.69 c 1265s| 2240k| 43375 | 30578k| 13.6 | 81M| 71 | - | 200 |1244 | 200 | 276 | 22M| 0 | 26k|-5.790909e+01 |-5.400000e+01 | 6.75%
1268.93/1268.95 c 1269s| 2250k| 43077 | 30663k| 13.6 | 80M| 71 | 85 | 200 |1244 | 200 | 239 | 22M| 0 | 26k|-5.787500e+01 |-5.400000e+01 | 6.70%
1273.12/1273.14 c 1273s| 2260k| 42809 | 30745k| 13.6 | 80M| 71 | - | 200 |1244 | 200 | 250 | 22M| 0 | 26k|-5.785714e+01 |-5.400000e+01 | 6.67%
1277.42/1277.46 c 1277s| 2270k| 42553 | 30832k| 13.6 | 80M| 71 | - | 200 |1244 | 200 | 226 | 22M| 0 | 26k|-5.783333e+01 |-5.400000e+01 | 6.63%
1281.62/1281.68 c 1282s| 2280k| 42313 | 30917k| 13.6 | 79M| 71 | - | 200 |1244 | 200 | 240 | 22M| 0 | 26k|-5.783333e+01 |-5.400000e+01 | 6.63%
1286.03/1286.00 c 1286s| 2290k| 42089 | 31004k| 13.5 | 79M| 71 | 46 | 200 |1244 | 200 | 246 | 22M| 0 | 26k|-5.780000e+01 |-5.400000e+01 | 6.57%
1290.23/1290.30 c 1290s| 2300k| 41845 | 31091k| 13.5 | 79M| 71 | 64 | 200 |1244 | 200 | 227 | 22M| 0 | 26k|-5.777778e+01 |-5.400000e+01 | 6.54%
1294.42/1294.49 c 1294s| 2310k| 41601 | 31174k| 13.5 | 79M| 71 | 70 | 200 |1244 | 200 | 223 | 22M| 0 | 26k|-5.775000e+01 |-5.400000e+01 | 6.49%
1298.72/1298.73 c 1299s| 2320k| 41319 | 31259k| 13.5 | 79M| 71 | - | 200 |1244 | 200 | 222 | 22M| 0 | 26k|-5.775000e+01 |-5.400000e+01 | 6.49%
1302.93/1302.95 c 1303s| 2330k| 41095 | 31343k| 13.4 | 78M| 71 | 56 | 200 |1244 | 200 | 223 | 22M| 0 | 26k|-5.775000e+01 |-5.400000e+01 | 6.49%
1307.22/1307.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1307.22/1307.21 c 1307s| 2340k| 40875 | 31429k| 13.4 | 78M| 71 | - | 200 |1244 | 200 | 228 | 22M| 0 | 26k|-5.775000e+01 |-5.400000e+01 | 6.49%
1311.32/1311.33 c 1311s| 2350k| 40641 | 31508k| 13.4 | 78M| 72 | 84 | 200 |1244 | 200 | 239 | 22M| 0 | 26k|-5.771429e+01 |-5.400000e+01 | 6.44%
1315.64/1315.66 c 1316s| 2360k| 40377 | 31595k| 13.4 | 78M| 72 | - | 200 |1244 | 200 | 236 | 22M| 0 | 26k|-5.766667e+01 |-5.400000e+01 | 6.36%
1319.94/1319.93 c 1320s| 2370k| 40139 | 31681k| 13.4 | 77M| 72 | - | 200 |1244 | 200 | 263 | 22M| 0 | 26k|-5.766667e+01 |-5.400000e+01 | 6.36%
1324.12/1324.11 c 1324s| 2380k| 39873 | 31763k| 13.3 | 77M| 72 | - | 200 |1244 | 200 | 240 | 22M| 0 | 26k|-5.766667e+01 |-5.400000e+01 | 6.36%
1328.32/1328.37 c 1328s| 2390k| 39599 | 31850k| 13.3 | 77M| 72 | 43 | 200 |1244 | 200 | 228 | 23M| 0 | 26k|-5.766667e+01 |-5.400000e+01 | 6.36%
1332.52/1332.58 c 1333s| 2400k| 39333 | 31933k| 13.3 | 77M| 72 | - | 200 |1244 | 200 | 272 | 23M| 0 | 26k|-5.766667e+01 |-5.400000e+01 | 6.36%
1336.73/1336.73 c 1337s| 2410k| 39075 | 32015k| 13.3 | 76M| 72 | - | 200 |1244 | 200 | 248 | 23M| 0 | 26k|-5.762500e+01 |-5.400000e+01 | 6.29%
1341.03/1341.00 c 1341s| 2420k| 38749 | 32101k| 13.3 | 76M| 72 | 92 | 200 |1244 | 200 | 222 | 23M| 0 | 26k|-5.760000e+01 |-5.400000e+01 | 6.25%
1345.12/1345.17 c 1345s| 2430k| 38469 | 32182k| 13.2 | 76M| 72 | 78 | 200 |1244 | 200 | 240 | 23M| 0 | 26k|-5.757143e+01 |-5.400000e+01 | 6.20%
1349.32/1349.35 c 1349s| 2440k| 38151 | 32265k| 13.2 | 75M| 72 | 55 | 200 |1244 | 200 | 261 | 23M| 0 | 26k|-5.753846e+01 |-5.400000e+01 | 6.15%
1353.53/1353.55 c 1354s| 2450k| 37837 | 32349k| 13.2 | 75M| 72 | 62 | 200 |1244 | 200 | 245 | 23M| 0 | 26k|-5.750000e+01 |-5.400000e+01 | 6.09%
1357.73/1357.72 c 1358s| 2460k| 37525 | 32431k| 13.2 | 75M| 72 | - | 200 |1244 | 200 | 281 | 23M| 0 | 26k|-5.750000e+01 |-5.400000e+01 | 6.09%
1361.83/1361.87 c 1362s| 2470k| 37197 | 32513k| 13.2 | 74M| 72 | - | 200 |1244 | 200 | 229 | 23M| 0 | 26k|-5.750000e+01 |-5.400000e+01 | 6.09%
1366.02/1366.07 c 1366s| 2480k| 36917 | 32596k| 13.1 | 74M| 72 | 89 | 200 |1244 | 200 | 257 | 23M| 0 | 26k|-5.750000e+01 |-5.400000e+01 | 6.09%
1370.22/1370.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1370.22/1370.29 c 1370s| 2490k| 36603 | 32680k| 13.1 | 74M| 72 | - | 200 |1244 | 200 | 245 | 23M| 0 | 26k|-5.750000e+01 |-5.400000e+01 | 6.09%
1374.33/1374.35 c 1374s| 2500k| 36311 | 32759k| 13.1 | 73M| 72 | - | 200 |1244 | 200 | 268 | 23M| 0 | 26k|-5.750000e+01 |-5.400000e+01 | 6.09%
1378.42/1378.47 c 1378s| 2510k| 35983 | 32839k| 13.1 | 73M| 72 | 43 | 200 |1244 | 200 | 223 | 23M| 0 | 26k|-5.750000e+01 |-5.400000e+01 | 6.09%
1382.64/1382.68 c 1383s| 2520k| 35661 | 32923k| 13.1 | 72M| 72 | - | 200 |1244 | 200 | 238 | 23M| 0 | 26k|-5.750000e+01 |-5.400000e+01 | 6.09%
1386.73/1386.77 c 1387s| 2530k| 35383 | 33003k| 13.0 | 72M| 72 | - | 200 |1244 | 200 | 257 | 23M| 0 | 27k|-5.750000e+01 |-5.400000e+01 | 6.09%
1390.93/1390.91 c 1391s| 2540k| 35023 | 33085k| 13.0 | 72M| 72 | - | 200 |1244 | 200 | 252 | 23M| 0 | 27k|-5.750000e+01 |-5.400000e+01 | 6.09%
1394.93/1394.99 c 1395s| 2550k| 34689 | 33164k| 13.0 | 71M| 72 | - | 200 |1244 | 200 | 257 | 23M| 0 | 27k|-5.750000e+01 |-5.400000e+01 | 6.09%
1399.13/1399.15 c 1399s| 2560k| 34395 | 33247k| 13.0 | 71M| 72 | - | 200 |1244 | 200 | 280 | 24M| 0 | 27k|-5.750000e+01 |-5.400000e+01 | 6.09%
1403.22/1403.27 c 1403s| 2570k| 34099 | 33328k| 13.0 | 71M| 72 | - | 200 |1244 | 200 | 274 | 24M| 0 | 27k|-5.750000e+01 |-5.400000e+01 | 6.09%
1407.53/1407.52 c 1408s| 2580k| 33777 | 33412k| 12.9 | 70M| 72 | 69 | 200 |1244 | 200 | 233 | 24M| 0 | 27k|-5.750000e+01 |-5.400000e+01 | 6.09%
1411.62/1411.65 c 1412s| 2590k| 33485 | 33492k| 12.9 | 70M| 72 | 19 | 200 |1244 | 200 | 225 | 24M| 0 | 27k|-5.741667e+01 |-5.400000e+01 | 5.95%
1415.82/1415.80 c 1416s| 2600k| 33143 | 33572k| 12.9 | 70M| 72 | 58 | 200 |1244 | 200 | 252 | 24M| 0 | 27k|-5.740000e+01 |-5.400000e+01 | 5.92%
1419.92/1419.90 c 1420s| 2610k| 32811 | 33651k| 12.9 | 69M| 73 | - | 200 |1244 | 200 | 232 | 24M| 0 | 27k|-5.735714e+01 |-5.400000e+01 | 5.85%
1424.03/1424.08 c 1424s| 2620k| 32475 | 33734k| 12.9 | 69M| 73 | - | 200 |1244 | 200 | 254 | 24M| 0 | 27k|-5.733333e+01 |-5.400000e+01 | 5.81%
1428.22/1428.22 c 1428s| 2630k| 32107 | 33813k| 12.9 | 68M| 73 | 52 | 200 |1244 | 200 | 221 | 24M| 0 | 27k|-5.733333e+01 |-5.400000e+01 | 5.81%
1432.32/1432.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1432.32/1432.32 c 1432s| 2640k| 31741 | 33893k| 12.8 | 68M| 73 | - | 200 |1244 | 200 | 226 | 24M| 0 | 27k|-5.733333e+01 |-5.400000e+01 | 5.81%
1436.43/1436.41 c 1436s| 2650k| 31385 | 33972k| 12.8 | 67M| 73 | - | 200 |1244 | 200 | 259 | 24M| 0 | 27k|-5.730000e+01 |-5.400000e+01 | 5.76%
1440.53/1440.53 c 1441s| 2660k| 30967 | 34051k| 12.8 | 67M| 73 | - | 200 |1244 | 200 | 226 | 24M| 0 | 27k|-5.725000e+01 |-5.400000e+01 | 5.68%
1444.52/1444.59 c 1445s| 2670k| 30585 | 34129k| 12.8 | 66M| 73 | - | 200 |1244 | 200 | 243 | 24M| 0 | 27k|-5.725000e+01 |-5.400000e+01 | 5.68%
1448.64/1448.68 c 1449s| 2680k| 30163 | 34207k| 12.8 | 66M| 73 | - | 200 |1244 | 200 | 263 | 24M| 0 | 27k|-5.725000e+01 |-5.400000e+01 | 5.68%
1452.72/1452.73 c 1453s| 2690k| 29811 | 34286k| 12.7 | 66M| 73 | 5 | 200 |1244 | 200 | 226 | 24M| 0 | 27k|-5.725000e+01 |-5.400000e+01 | 5.68%
1456.73/1456.79 c 1457s| 2700k| 29415 | 34363k| 12.7 | 65M| 73 | 90 | 200 |1244 | 200 | 237 | 24M| 0 | 27k|-5.720000e+01 |-5.400000e+01 | 5.59%
1460.74/1460.80 c 1461s| 2710k| 29029 | 34439k| 12.7 | 64M| 73 | - | 200 |1244 | 200 | 242 | 24M| 0 | 27k|-5.716667e+01 |-5.400000e+01 | 5.54%
1464.72/1464.78 c 1465s| 2720k| 28617 | 34514k| 12.7 | 64M| 73 | 83 | 200 |1244 | 200 | 242 | 24M| 0 | 27k|-5.716667e+01 |-5.400000e+01 | 5.54%
1468.83/1468.84 c 1469s| 2730k| 28141 | 34591k| 12.7 | 63M| 73 | - | 200 |1244 | 200 | 222 | 24M| 0 | 27k|-5.712500e+01 |-5.400000e+01 | 5.47%
1472.83/1472.88 c 1473s| 2740k| 27701 | 34667k| 12.6 | 63M| 73 | - | 200 |1244 | 200 | 238 | 24M| 0 | 27k|-5.707692e+01 |-5.400000e+01 | 5.39%
1476.92/1476.98 c 1477s| 2750k| 27269 | 34746k| 12.6 | 62M| 73 | - | 200 |1244 | 200 | 225 | 25M| 0 | 27k|-5.700000e+01 |-5.400000e+01 | 5.26%
1481.13/1481.11 c 1481s| 2760k| 26855 | 34826k| 12.6 | 62M| 73 | 86 | 200 |1244 | 200 | 234 | 25M| 0 | 27k|-5.700000e+01 |-5.400000e+01 | 5.26%
1485.22/1485.21 c 1485s| 2770k| 26401 | 34906k| 12.6 | 61M| 73 | 30 | 200 |1244 | 200 | 252 | 25M| 0 | 27k|-5.700000e+01 |-5.400000e+01 | 5.26%
1489.23/1489.30 c 1489s| 2780k| 25989 | 34985k| 12.6 | 61M| 73 | - | 200 |1244 | 200 | 265 | 25M| 0 | 27k|-5.700000e+01 |-5.400000e+01 | 5.26%
1493.32/1493.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1493.32/1493.37 c 1493s| 2790k| 25587 | 35064k| 12.6 | 60M| 73 | - | 200 |1244 | 200 | 262 | 25M| 0 | 27k|-5.700000e+01 |-5.400000e+01 | 5.26%
1497.43/1497.40 c 1497s| 2800k| 25115 | 35141k| 12.5 | 59M| 73 | - | 200 |1244 | 200 | 226 | 25M| 0 | 27k|-5.700000e+01 |-5.400000e+01 | 5.26%
1501.44/1501.43 c 1501s| 2810k| 24679 | 35218k| 12.5 | 59M| 73 | 32 | 200 |1244 | 200 | 238 | 25M| 0 | 27k|-5.700000e+01 |-5.400000e+01 | 5.26%
1505.43/1505.48 c 1505s| 2820k| 24241 | 35296k| 12.5 | 58M| 73 | 82 | 200 |1244 | 200 | 255 | 25M| 0 | 27k|-5.700000e+01 |-5.400000e+01 | 5.26%
1509.53/1509.50 c 1510s| 2830k| 23713 | 35373k| 12.5 | 57M| 73 | - | 200 |1244 | 200 | 256 | 25M| 0 | 27k|-5.700000e+01 |-5.400000e+01 | 5.26%
1513.53/1513.52 c 1514s| 2840k| 23231 | 35450k| 12.5 | 57M| 73 | 84 | 200 |1244 | 200 | 246 | 25M| 0 | 27k|-5.700000e+01 |-5.400000e+01 | 5.26%
1517.52/1517.54 c 1518s| 2850k| 22745 | 35527k| 12.5 | 56M| 73 | 50 | 200 |1244 | 200 | 231 | 25M| 0 | 27k|-5.700000e+01 |-5.400000e+01 | 5.26%
1521.53/1521.58 c 1522s| 2860k| 22229 | 35603k| 12.4 | 55M| 73 | 36 | 200 |1244 | 200 | 230 | 25M| 0 | 27k|-5.700000e+01 |-5.400000e+01 | 5.26%
1525.63/1525.61 c 1526s| 2870k| 21765 | 35682k| 12.4 | 55M| 73 | - | 200 |1244 | 200 | 251 | 25M| 0 | 27k|-5.700000e+01 |-5.400000e+01 | 5.26%
1529.62/1529.68 c 1530s| 2880k| 21295 | 35761k| 12.4 | 54M| 73 | 95 | 200 |1244 | 200 | 257 | 25M| 0 | 27k|-5.700000e+01 |-5.400000e+01 | 5.26%
1533.83/1533.82 c 1534s| 2890k| 20829 | 35840k| 12.4 | 53M| 73 | - | 200 |1244 | 200 | 275 | 25M| 0 | 28k|-5.700000e+01 |-5.400000e+01 | 5.26%
1537.85/1537.85 c 1538s| 2900k| 20311 | 35917k| 12.4 | 53M| 73 | - | 200 |1244 | 200 | 236 | 25M| 0 | 28k|-5.687500e+01 |-5.400000e+01 | 5.05%
1541.82/1541.87 c 1542s| 2910k| 19735 | 35992k| 12.4 | 52M| 73 | 60 | 200 |1244 | 200 | 253 | 25M| 0 | 28k|-5.683333e+01 |-5.400000e+01 | 4.99%
1545.82/1545.84 c 1546s| 2920k| 19151 | 36067k| 12.3 | 51M| 73 | - | 200 |1244 | 200 | 218 | 25M| 0 | 28k|-5.680000e+01 |-5.400000e+01 | 4.93%
1549.73/1549.78 c 1550s| 2930k| 18513 | 36141k| 12.3 | 50M| 73 | 50 | 200 |1244 | 200 | 259 | 25M| 0 | 28k|-5.676190e+01 |-5.400000e+01 | 4.87%
1553.73/1553.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1553.73/1553.71 c 1554s| 2940k| 17867 | 36214k| 12.3 | 49M| 73 | - | 200 |1244 | 200 | 250 | 25M| 0 | 28k|-5.675000e+01 |-5.400000e+01 | 4.85%
1557.64/1557.67 c 1558s| 2950k| 17193 | 36288k| 12.3 | 48M| 73 | 28 | 200 |1244 | 200 | 247 | 25M| 0 | 28k|-5.675000e+01 |-5.400000e+01 | 4.85%
1561.63/1561.65 c 1562s| 2960k| 16529 | 36362k| 12.3 | 47M| 73 | 79 | 200 |1244 | 200 | 240 | 25M| 0 | 28k|-5.668182e+01 |-5.400000e+01 | 4.73%
1565.62/1565.60 c 1566s| 2970k| 15881 | 36436k| 12.3 | 46M| 73 | - | 200 |1244 | 200 | 221 | 26M| 0 | 28k|-5.666667e+01 |-5.400000e+01 | 4.71%
1569.52/1569.56 c 1570s| 2980k| 15211 | 36510k| 12.2 | 44M| 73 | - | 200 |1244 | 200 | 252 | 26M| 0 | 28k|-5.666667e+01 |-5.400000e+01 | 4.71%
1573.43/1573.47 c 1573s| 2990k| 14491 | 36582k| 12.2 | 43M| 73 | - | 200 |1244 | 200 | 220 | 26M| 0 | 28k|-5.662500e+01 |-5.400000e+01 | 4.64%
1577.34/1577.41 c 1577s| 3000k| 13735 | 36655k| 12.2 | 42M| 73 | 92 | 200 |1244 | 200 | 257 | 26M| 0 | 28k|-5.655556e+01 |-5.400000e+01 | 4.52%
1581.33/1581.34 c 1581s| 3010k| 12929 | 36727k| 12.2 | 41M| 73 | 48 | 200 |1244 | 200 | 222 | 26M| 0 | 28k|-5.650000e+01 |-5.400000e+01 | 4.42%
1585.23/1585.25 c 1585s| 3020k| 12087 | 36800k| 12.2 | 39M| 73 | - | 200 |1244 | 200 | 240 | 26M| 0 | 28k|-5.650000e+01 |-5.400000e+01 | 4.42%
1589.13/1589.14 c 1589s| 3030k| 11191 | 36870k| 12.2 | 37M| 73 | - | 200 |1244 | 200 | 246 | 26M| 0 | 28k|-5.650000e+01 |-5.400000e+01 | 4.42%
1593.03/1593.02 c 1593s| 3040k| 10349 | 36942k| 12.1 | 36M| 73 | - | 200 |1244 | 200 | 253 | 26M| 0 | 28k|-5.650000e+01 |-5.400000e+01 | 4.42%
1596.83/1596.88 c 1597s| 3050k| 9505 | 37013k| 12.1 | 34M| 73 | 80 | 200 |1244 | 200 | 237 | 26M| 0 | 28k|-5.650000e+01 |-5.400000e+01 | 4.42%
1600.83/1600.81 c 1601s| 3060k| 8595 | 37085k| 12.1 | 33M| 73 | 6 | 200 |1244 | 200 | 245 | 26M| 0 | 28k|-5.650000e+01 |-5.400000e+01 | 4.42%
1604.63/1604.69 c 1605s| 3070k| 7687 | 37155k| 12.1 | 31M| 73 | - | 200 |1244 | 200 | 238 | 26M| 0 | 28k|-5.640000e+01 |-5.400000e+01 | 4.26%
1608.53/1608.55 c 1609s| 3080k| 6671 | 37224k| 12.1 | 29M| 73 | 74 | 200 |1244 | 200 | 236 | 26M| 0 | 28k|-5.633333e+01 |-5.400000e+01 | 4.14%
1612.43/1612.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1612.43/1612.42 c 1612s| 3090k| 5605 | 37293k| 12.1 | 27M| 73 | - | 200 |1244 | 200 | 243 | 26M| 0 | 28k|-5.625000e+01 |-5.400000e+01 | 4.00%
1616.23/1616.26 c 1616s| 3100k| 4463 | 37360k| 12.0 | 25M| 73 | - | 200 |1244 | 200 | 222 | 26M| 0 | 28k|-5.616667e+01 |-5.400000e+01 | 3.86%
1620.13/1620.13 c 1620s| 3110k| 3237 | 37428k| 12.0 | 22M| 73 | - | 200 |1244 | 200 | 223 | 26M| 0 | 28k|-5.600000e+01 |-5.400000e+01 | 3.57%
1624.03/1624.05 c 1624s| 3120k| 1853 | 37497k| 12.0 | 19M| 73 | - | 200 |1244 | 200 | 253 | 26M| 0 | 28k|-5.600000e+01 |-5.400000e+01 | 3.57%
1627.94/1627.92 c 1628s| 3130k| 125 | 37562k| 12.0 | 14M| 73 | - | 200 |1244 | 200 | 229 | 26M| 0 | 28k|-5.550000e+01 |-5.400000e+01 | 2.70%
1628.13/1628.11 c
1628.13/1628.11 c SCIP Status : problem is solved [optimal solution found]
1628.13/1628.11 c Solving Time (sec) : 1628.11
1628.13/1628.11 c Solving Nodes : 3130493
1628.13/1628.11 c Primal Bound : -5.40000000000000e+01 (560 solutions)
1628.13/1628.11 c Dual Bound : -5.40000000000000e+01
1628.13/1628.11 c Gap : 0.00 %
1628.13/1628.11 s OPTIMUM FOUND
1628.13/1628.11 v x200 x199 x198 x197 x196 -x195 -x194 x193 -x192 x191 -x190 -x189 -x188 x187 -x186 -x185 -x184 -x183 x182 -x181 x180 -x179 x178
1628.13/1628.11 v -x177 -x176 -x175 -x174 x173 -x172 -x171 x170 -x169 -x168 x167 x166 -x165 -x164 -x163 x162 -x161 -x160 -x159 -x158 x157 -x156
1628.13/1628.11 v -x155 -x154 x153 -x152 x151 -x150 x149 -x148 -x147 x146 -x145 -x144 x143 -x142 -x141 x140 x139 -x138 -x137 -x136 -x135 -x134
1628.13/1628.11 v -x133 -x132 -x131 x130 -x129 x128 x127 -x126 -x125 -x124 x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 x114 x113 -x112
1628.13/1628.11 v -x111 x110 -x109 -x108 -x107 -x106 -x105 -x104 x103 x102 x101 x100 x99 -x98 -x97 x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88
1628.13/1628.11 v -x87 -x86 -x85 -x84 -x83 -x82 -x81 x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 x69 -x68 -x67 -x66 -x65 -x64 x63 -x62
1628.13/1628.11 v -x61 -x60 x59 -x58 -x57 x56 -x55 -x54 -x53 -x52 x51 -x50 -x49 -x48 -x47 x46 -x45 x44 -x43 -x42 -x41 x40 -x39 -x38 -x37 -x36
1628.13/1628.11 v -x35 x34 -x33 -x32 -x31 -x30 x29 x28 -x27 -x26 x25 -x24 -x23 -x22 -x21 -x20 x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10
1628.13/1628.11 v -x9 -x8 x7 -x6 -x5 -x4 -x3 -x2 x1
1628.13/1628.11 c SCIP Status : problem is solved [optimal solution found]
1628.13/1628.11 c Total Time : 1628.11
1628.13/1628.11 c solving : 1628.11
1628.13/1628.11 c presolving : 0.04 (included in solving)
1628.13/1628.11 c reading : 0.01 (included in solving)
1628.13/1628.11 c Original Problem :
1628.13/1628.11 c Problem name : HOME/instance-3450649-1307105023.opb
1628.13/1628.11 c Variables : 1444 (1444 binary, 0 integer, 0 implicit integer, 0 continuous)
1628.13/1628.11 c Constraints : 1644 initial, 1644 maximal
1628.13/1628.11 c Presolved Problem :
1628.13/1628.11 c Problem name : t_HOME/instance-3450649-1307105023.opb
1628.13/1628.11 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1628.13/1628.11 c Constraints : 1244 initial, 1244 maximal
1628.13/1628.11 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1628.13/1628.11 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1628.13/1628.11 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1628.13/1628.11 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1628.13/1628.11 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1628.13/1628.11 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1628.13/1628.11 c implics : 0.00 0 0 0 0 0 0 0 0 0
1628.13/1628.11 c probing : 0.00 0 0 0 0 0 0 0 0 0
1628.13/1628.11 c and : 0.02 0 0 0 0 0 0 0 0 0
1628.13/1628.11 c linear : 0.00 1244 0 0 1244 0 200 0 0 0
1628.13/1628.11 c logicor : 0.01 0 0 0 0 0 0 0 0 0
1628.13/1628.11 c pseudoboolean : 0.00 0 0 0 0 0 200 0 0 0
1628.13/1628.11 c root node : - 2 - - 2 - - - - -
1628.13/1628.11 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1628.13/1628.11 c integral : 0 0 0 2441351 0 803504 0 195 1572 0 0 3275278
1628.13/1628.11 c logicor : 1244 35 3193417 802872 0 803500 0 37 13540917 26554318 0 0
1628.13/1628.11 c countsols : 0 0 0 11 0 551 0 0 0 0 0 0
1628.13/1628.11 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1628.13/1628.11 c integral : 41.22 0.00 0.00 41.05 0.00 0.17 0.00
1628.13/1628.11 c logicor : 76.56 0.00 34.19 34.55 0.00 7.81 0.00
1628.13/1628.11 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1628.13/1628.11 c Propagators : #Propagate #Resprop Cutoffs DomReds
1628.13/1628.11 c vbounds : 0 0 0 0
1628.13/1628.11 c rootredcost : 13 0 0 0
1628.13/1628.11 c pseudoobj : 5283965 0 0 0
1628.13/1628.11 c Propagator Timings : TotalTime Propagate Resprop
1628.13/1628.11 c vbounds : 0.91 0.91 0.00
1628.13/1628.11 c rootredcost : 1.05 1.05 0.00
1628.13/1628.11 c pseudoobj : 25.28 25.28 0.00
1628.13/1628.11 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1628.13/1628.11 c propagation : 0.00 37 0 0 0.0 0 0.0 -
1628.13/1628.11 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1628.13/1628.11 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1628.13/1628.11 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1628.13/1628.11 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1628.13/1628.11 c applied globally : - - - 0 0.0 - - -
1628.13/1628.11 c applied locally : - - - 0 0.0 - - -
1628.13/1628.11 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1628.13/1628.11 c cut pool : 0.02 34 - - 30 - (maximal pool size: 2404)
1628.13/1628.11 c redcost : 12.48 2813105 0 764619 0 0
1628.13/1628.11 c impliedbounds : 0.00 35 0 0 565 0
1628.13/1628.11 c intobj : 0.00 0 0 0 0 0
1628.13/1628.11 c gomory : 0.69 35 0 0 9015 0
1628.13/1628.11 c cgmip : 0.00 0 0 0 0 0
1628.13/1628.11 c closecuts : 0.00 0 0 0 0 0
1628.13/1628.11 c strongcg : 0.30 20 0 0 8239 0
1628.13/1628.11 c cmir : 0.03 10 0 0 0 0
1628.13/1628.11 c flowcover : 0.02 10 0 0 0 0
1628.13/1628.11 c clique : 0.04 35 0 0 234 0
1628.13/1628.11 c zerohalf : 0.00 0 0 0 0 0
1628.13/1628.11 c mcf : 0.00 1 0 0 0 0
1628.13/1628.11 c oddcycle : 0.00 0 0 0 0 0
1628.13/1628.11 c rapidlearning : 0.00 0 0 0 0 0
1628.13/1628.11 c Pricers : Time Calls Vars
1628.13/1628.11 c problem variables: 0.00 0 0
1628.13/1628.11 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1628.13/1628.11 c relpscost : 39.92 1638479 195 1572 0 0 3275278
1628.13/1628.11 c pscost : 0.00 0 0 0 0 0 0
1628.13/1628.11 c inference : 0.00 0 0 0 0 0 0
1628.13/1628.11 c mostinf : 0.00 0 0 0 0 0 0
1628.13/1628.11 c leastinf : 0.00 0 0 0 0 0 0
1628.13/1628.11 c fullstrong : 0.00 0 0 0 0 0 0
1628.13/1628.11 c allfullstrong : 0.00 0 0 0 0 0 0
1628.13/1628.11 c random : 0.00 0 0 0 0 0 0
1628.13/1628.11 c Primal Heuristics : Time Calls Found
1628.13/1628.11 c LP solutions : 0.33 - 11
1628.13/1628.11 c pseudo solutions : 0.00 - 0
1628.13/1628.11 c feaspump : 0.08 0 0
1628.13/1628.11 c oneopt : 0.69 15 1
1628.13/1628.11 c crossover : 1.27 5 0
1628.13/1628.11 c veclendiving : 2.60 2696 23
1628.13/1628.11 c linesearchdiving : 2.76 2696 26
1628.13/1628.11 c coefdiving : 2.51 2696 33
1628.13/1628.11 c guideddiving : 2.94 2696 13
1628.13/1628.11 c pscostdiving : 2.53 2696 17
1628.13/1628.11 c fracdiving : 2.94 2696 15
1628.13/1628.11 c objpscostdiving : 1.38 1349 12
1628.13/1628.11 c rootsoldiving : 1.50 1349 1
1628.13/1628.11 c trivial : 0.00 2 1
1628.13/1628.11 c shiftandpropagate: 0.00 0 0
1628.13/1628.11 c simplerounding : 18.14 1650597 401
1628.13/1628.11 c zirounding : 0.60 1000 4
1628.13/1628.11 c rounding : 6.03 62212 1
1628.13/1628.11 c shifting : 1.88 19357 1
1628.13/1628.11 c intshifting : 0.04 0 0
1628.13/1628.11 c twoopt : 0.00 0 0
1628.13/1628.11 c fixandinfer : 0.00 0 0
1628.13/1628.11 c clique : 0.00 0 0
1628.13/1628.11 c intdiving : 0.00 0 0
1628.13/1628.11 c actconsdiving : 0.00 0 0
1628.13/1628.11 c octane : 0.00 0 0
1628.13/1628.11 c rens : 0.01 0 0
1628.13/1628.11 c rins : 0.00 0 0
1628.13/1628.11 c localbranching : 0.00 0 0
1628.13/1628.11 c mutation : 0.00 0 0
1628.13/1628.11 c dins : 0.00 0 0
1628.13/1628.11 c vbounds : 0.00 0 0
1628.13/1628.11 c undercover : 0.01 1 0
1628.13/1628.11 c subnlp : 0.47 0 0
1628.13/1628.11 c trysol : 0.70 0 0
1628.13/1628.11 c LP : Time Calls Iterations Iter/call Iter/sec
1628.13/1628.11 c primal LP : 20.41 0 0 0.00 0.00
1628.13/1628.11 c dual LP : 1078.96 3953257 37219409 9.41 34495.70
1628.13/1628.11 c lex dual LP : 0.00 0 0 0.00 -
1628.13/1628.11 c barrier LP : 0.00 0 0 0.00 -
1628.13/1628.11 c diving/probing LP: 12.90 57084 346536 6.07 26872.91
1628.13/1628.11 c strong branching : 16.99 28622 395964 13.83 23311.00
1628.13/1628.11 c (at root node) : - 58 25157 433.74 -
1628.13/1628.11 c conflict analysis: 0.00 0 0 0.00 -
1628.13/1628.11 c B&B Tree :
1628.13/1628.11 c number of runs : 1
1628.13/1628.11 c nodes : 3130493
1628.13/1628.11 c nodes (total) : 3130493
1628.13/1628.11 c nodes left : 0
1628.13/1628.11 c max depth : 73
1628.13/1628.11 c max depth (total): 73
1628.13/1628.11 c backtracks : 482340 (15.4%)
1628.13/1628.11 c delayed cutoffs : 0
1628.13/1628.11 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1628.13/1628.11 c avg switch length: 5.44
1628.13/1628.11 c switching time : 94.32
1628.13/1628.11 c Solution :
1628.13/1628.11 c Solutions found : 560 (17 improvements)
1628.13/1628.11 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1628.13/1628.11 c Primal Bound : -5.40000000000000e+01 (in run 1, after 1217885 nodes, 796.27 seconds, depth 39, found by <relaxation>)
1628.13/1628.11 c Dual Bound : -5.40000000000000e+01
1628.13/1628.11 c Gap : 0.00 %
1628.13/1628.11 c Root Dual Bound : -6.97656011156458e+01
1628.13/1628.11 c Root Iterations : 7429
1628.13/1628.13 c Time complete: 1628.17.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3450649-1307105023/watcher-3450649-1307105023 -o /tmp/evaluation-result-3450649-1307105023/solver-3450649-1307105023 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450649-1307105023.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.01 2.03 2.00 2/446 11329
/proc/meminfo: memFree=31202840/32950928 swapFree=34365992/67111528
[pid=11329] ppid=11327 vsize=14588 CPUtime=0 cores=1,3,5,7
/proc/11329/stat : 11329 (scip-2.0.1.4b.l) R 11327 11329 10081 0 -1 4202496 2659 0 0 0 0 0 0 0 25 0 1 0 822101052 14938112 2613 33554432000 4194304 9163163 140735920769744 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/11329/statm: 3647 2613 415 1214 0 2429 0
[startup+0.041243 s]
/proc/loadavg: 2.01 2.03 2.00 2/446 11329
/proc/meminfo: memFree=31202840/32950928 swapFree=34365992/67111528
[pid=11329] ppid=11327 vsize=21960 CPUtime=0.03 cores=1,3,5,7
/proc/11329/stat : 11329 (scip-2.0.1.4b.l) R 11327 11329 10081 0 -1 4202496 4487 0 0 0 3 0 0 0 25 0 1 0 822101052 22487040 4183 33554432000 4194304 9163163 140735920769744 18446744073709551615 18446744073699065918 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11329/statm: 5490 4183 505 1214 0 4272 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 21960
[startup+0.100237 s]
/proc/loadavg: 2.01 2.03 2.00 2/446 11329
/proc/meminfo: memFree=31202840/32950928 swapFree=34365992/67111528
[pid=11329] ppid=11327 vsize=26700 CPUtime=0.09 cores=1,3,5,7
/proc/11329/stat : 11329 (scip-2.0.1.4b.l) R 11327 11329 10081 0 -1 4202496 8128 0 0 0 9 0 0 0 25 0 1 0 822101052 27340800 5623 33554432000 4194304 9163163 140735920769744 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11329/statm: 6675 5623 691 1214 0 5457 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26700
[startup+0.300198 s]
/proc/loadavg: 2.01 2.03 2.00 2/446 11329
/proc/meminfo: memFree=31202840/32950928 swapFree=34365992/67111528
[pid=11329] ppid=11327 vsize=30360 CPUtime=0.29 cores=1,3,5,7
/proc/11329/stat : 11329 (scip-2.0.1.4b.l) R 11327 11329 10081 0 -1 4202496 8947 0 0 0 28 1 0 0 25 0 1 0 822101052 31088640 6438 33554432000 4194304 9163163 140735920769744 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11329/statm: 7590 6438 692 1214 0 6372 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30360
[startup+0.700128 s]
/proc/loadavg: 2.01 2.03 2.00 2/446 11329
/proc/meminfo: memFree=31202840/32950928 swapFree=34365992/67111528
[pid=11329] ppid=11327 vsize=37908 CPUtime=0.69 cores=1,3,5,7
/proc/11329/stat : 11329 (scip-2.0.1.4b.l) R 11327 11329 10081 0 -1 4202496 10879 0 0 0 67 2 0 0 25 0 1 0 822101052 38817792 8364 33554432000 4194304 9163163 140735920769744 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11329/statm: 9477 8364 693 1214 0 8259 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37908
[startup+1.50099 s]
/proc/loadavg: 2.01 2.03 2.00 3/447 11330
/proc/meminfo: memFree=31164020/32950928 swapFree=34365992/67111528
[pid=11329] ppid=11327 vsize=46420 CPUtime=1.49 cores=1,3,5,7
/proc/11329/stat : 11329 (scip-2.0.1.4b.l) R 11327 11329 10081 0 -1 4202496 13017 0 0 0 145 4 0 0 25 0 1 0 822101052 47534080 10502 33554432000 4194304 9163163 140735920769744 18446744073709551615 6213568 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11329/statm: 11605 10502 693 1214 0 10387 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 46420
[startup+3.1007 s]
/proc/loadavg: 2.01 2.03 2.00 3/447 11330
/proc/meminfo: memFree=31154660/32950928 swapFree=34365992/67111528
[pid=11329] ppid=11327 vsize=46328 CPUtime=3.09 cores=1,3,5,7
/proc/11329/stat : 11329 (scip-2.0.1.4b.l) R 11327 11329 10081 0 -1 4202496 14625 0 0 0 298 11 0 0 25 0 1 0 822101052 47439872 10557 33554432000 4194304 9163163 140735920769744 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11329/statm: 11582 10557 710 1214 0 10364 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 46328
[startup+6.30021 s]
/proc/loadavg: 2.01 2.03 2.00 3/447 11330
/proc/meminfo: memFree=31148644/32950928 swapFree=34365992/67111528
[pid=11329] ppid=11327 vsize=46328 CPUtime=6.29 cores=1,3,5,7
/proc/11329/stat : 11329 (scip-2.0.1.4b.l) R 11327 11329 10081 0 -1 4202496 16253 0 0 0 591 38 0 0 25 0 1 0 822101052 47439872 10568 33554432000 4194304 9163163 140735920769744 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11329/statm: 11582 10568 717 1214 0 10364 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 46328
[startup+12.7011 s]
/proc/loadavg: 2.01 2.03 2.00 3/447 11331
/proc/meminfo: memFree=31130984/32950928 swapFree=34365992/67111528
[pid=11329] ppid=11327 vsize=50072 CPUtime=12.69 cores=1,3,5,7
/proc/11329/stat : 11329 (scip-2.0.1.4b.l) R 11327 11329 10081 0 -1 4202496 20644 0 0 0 1172 97 0 0 25 0 1 0 822101052 51273728 11421 33554432000 4194304 9163163 140735920769744 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11329/statm: 12518 11421 717 1214 0 11300 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 50072
[startup+25.5008 s]
/proc/loadavg: 2.00 2.03 2.00 3/447 11331
/proc/meminfo: memFree=31122280/32950928 swapFree=34365992/67111528
[pid=11329] ppid=11327 vsize=59392 CPUtime=25.49 cores=1,3,5,7
/proc/11329/stat : 11329 (scip-2.0.1.4b.l) R 11327 11329 10081 0 -1 4202496 28280 0 0 0 2331 218 0 0 25 0 1 0 822101052 60817408 13782 33554432000 4194304 9163163 140735920769744 18446744073709551615 7195842 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11329/statm: 14848 13782 717 1214 0 13630 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 59392
[startup+51.1003 s]
/proc/loadavg: 2.00 2.03 2.00 3/447 11332
/proc/meminfo: memFree=31088616/32950928 swapFree=34365992/67111528
[pid=11329] ppid=11327 vsize=74416 CPUtime=51.1 cores=1,3,5,7
/proc/11329/stat : 11329 (scip-2.0.1.4b.l) R 11327 11329 10081 0 -1 4202496 35668 0 0 0 4647 463 0 0 25 0 1 0 822101052 76201984 17616 33554432000 4194304 9163163 140735920769744 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11329/statm: 18604 17616 717 1214 0 17386 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 74416
[startup+102.316 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 11333
/proc/meminfo: memFree=31032108/32950928 swapFree=34365992/67111528
[pid=11329] ppid=11327 vsize=97492 CPUtime=102.31 cores=1,3,5,7
/proc/11329/stat : 11329 (scip-2.0.1.4b.l) R 11327 11329 10081 0 -1 4202496 55778 0 0 0 9269 962 0 0 25 0 1 0 822101052 99831808 23462 33554432000 4194304 9163163 140735920769744 18446744073709551615 6555978 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11329/statm: 24373 23462 717 1214 0 23155 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 97492
[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 11334
/proc/meminfo: memFree=31000300/32950928 swapFree=34365992/67111528
[pid=11329] ppid=11327 vsize=131328 CPUtime=162.3 cores=1,3,5,7
/proc/11329/stat : 11329 (scip-2.0.1.4b.l) R 11327 11329 10081 0 -1 4202496 65616 0 0 0 14683 1547 0 0 25 0 1 0 822101052 134479872 31531 33554432000 4194304 9163163 140735920769744 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11329/statm: 32832 31531 720 1214 0 31614 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 131328
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 11336
/proc/meminfo: memFree=30971860/32950928 swapFree=34365992/67111528
[pid=11329] ppid=11327 vsize=159992 CPUtime=222.3 cores=1,3,5,7
/proc/11329/stat : 11329 (scip-2.0.1.4b.l) R 11327 11329 10081 0 -1 4202496 72885 0 0 0 20111 2119 0 0 25 0 1 0 822101052 163831808 38800 33554432000 4194304 9163163 140735920769744 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11329/statm: 39998 38800 720 1214 0 38780 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 159992
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 11338
/proc/meminfo: memFree=30953952/32950928 swapFree=34365992/67111528
[pid=11329] ppid=11327 vsize=176304 CPUtime=282.3 cores=1,3,5,7
/proc/11329/stat : 11329 (scip-2.0.1.4b.l) R 11327 11329 10081 0 -1 4202496 99759 0 0 0 25536 2694 0 0 25 0 1 0 822101052 180535296 43038 33554432000 4194304 9163163 140735920769744 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11329/statm: 44076 43038 720 1214 0 42858 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 176304
[startup+342.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/447 11339
/proc/meminfo: memFree=30953668/32950928 swapFree=34365992/67111528
[pid=11329] ppid=11327 vsize=176304 CPUtime=342.3 cores=1,3,5,7
/proc/11329/stat : 11329 (scip-2.0.1.4b.l) R 11327 11329 10081 0 -1 4202496 104249 0 0 0 30979 3251 0 0 25 0 1 0 822101052 180535296 43007 33554432000 4194304 9163163 140735920769744 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11329/statm: 44076 43007 727 1214 0 42858 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 176304
[startup+402.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/447 11341
/proc/meminfo: memFree=30952500/32950928 swapFree=34365992/67111528
[pid=11329] ppid=11327 vsize=177968 CPUtime=402.3 cores=1,3,5,7
/proc/11329/stat : 11329 (scip-2.0.1.4b.l) R 11327 11329 10081 0 -1 4202496 106352 0 0 0 36438 3792 0 0 25 0 1 0 822101052 182239232 43360 33554432000 4194304 9163163 140735920769744 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11329/statm: 44492 43360 727 1214 0 43274 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 177968
[startup+462.301 s]
/proc/loadavg: 2.08 2.03 2.00 3/447 11343
/proc/meminfo: memFree=30944516/32950928 swapFree=34365992/67111528
[pid=11329] ppid=11327 vsize=185996 CPUtime=462.3 cores=1,3,5,7
/proc/11329/stat : 11329 (scip-2.0.1.4b.l) R 11327 11329 10081 0 -1 4202496 108352 0 0 0 41905 4325 0 0 25 0 1 0 822101052 190459904 45360 33554432000 4194304 9163163 140735920769744 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11329/statm: 46499 45360 727 1214 0 45281 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 185996
[startup+522.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/447 11344
/proc/meminfo: memFree=30929208/32950928 swapFree=34365992/67111528
[pid=11329] ppid=11327 vsize=200748 CPUtime=522.31 cores=1,3,5,7
/proc/11329/stat : 11329 (scip-2.0.1.4b.l) R 11327 11329 10081 0 -1 4202496 113821 0 0 0 47364 4867 0 0 25 0 1 0 822101052 205565952 49075 33554432000 4194304 9163163 140735920769744 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11329/statm: 50187 49075 727 1214 0 48969 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 200748
[startup+582.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/447 11346
/proc/meminfo: memFree=30924196/32950928 swapFree=34365992/67111528
[pid=11329] ppid=11327 vsize=204556 CPUtime=582.3 cores=1,3,5,7
/proc/11329/stat : 11329 (scip-2.0.1.4b.l) R 11327 11329 10081 0 -1 4202496 128832 0 0 0 52836 5394 0 0 25 0 1 0 822101052 209465344 50151 33554432000 4194304 9163163 140735920769744 18446744073709551615 7225127 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11329/statm: 51139 50151 727 1214 0 49921 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 204556
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=30924312/32950928 swapFree=34365992/67111528
[pid=11329] ppid=11327 vsize=204556 CPUtime=942.31 cores=1,3,5,7
/proc/11329/stat : 11329 (scip-2.0.1.4b.l) R 11327 11329 10081 0 -1 4202496 152631 0 0 0 85810 8421 0 0 25 0 1 0 822101052 209465344 50113 33554432000 4194304 9163163 140735920769744 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11329/statm: 51139 50113 727 1214 0 49921 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 204556
[startup+1002.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/447 11357
/proc/meminfo: memFree=30923892/32950928 swapFree=34365992/67111528
[pid=11329] ppid=11327 vsize=204556 CPUtime=1002.31 cores=1,3,5,7
/proc/11329/stat : 11329 (scip-2.0.1.4b.l) R 11327 11329 10081 0 -1 4202496 155409 0 0 0 91322 8909 0 0 25 0 1 0 822101052 209465344 50113 33554432000 4194304 9163163 140735920769744 18446744073709551615 7238884 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11329/statm: 51139 50113 727 1214 0 49921 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 204556
[startup+1062.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/447 11367
/proc/meminfo: memFree=30923852/32950928 swapFree=34365992/67111528
[pid=11329] ppid=11327 vsize=204556 CPUtime=1062.32 cores=1,3,5,7
/proc/11329/stat : 11329 (scip-2.0.1.4b.l) R 11327 11329 10081 0 -1 4202496 155409 0 0 0 96784 9448 0 0 25 0 1 0 822101052 209465344 50113 33554432000 4194304 9163163 140735920769744 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11329/statm: 51139 50113 727 1214 0 49921 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 204556
[startup+1122.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/447 11369
/proc/meminfo: memFree=30923688/32950928 swapFree=34365992/67111528
[pid=11329] ppid=11327 vsize=204556 CPUtime=1122.32 cores=1,3,5,7
/proc/11329/stat : 11329 (scip-2.0.1.4b.l) R 11327 11329 10081 0 -1 4202496 155409 0 0 0 102166 10066 0 0 25 0 1 0 822101052 209465344 50113 33554432000 4194304 9163163 140735920769744 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11329/statm: 51139 50113 727 1214 0 49921 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 204556
[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/447 11371
/proc/meminfo: memFree=30923408/32950928 swapFree=34365992/67111528
[pid=11329] ppid=11327 vsize=204556 CPUtime=1182.32 cores=1,3,5,7
/proc/11329/stat : 11329 (scip-2.0.1.4b.l) R 11327 11329 10081 0 -1 4202496 158189 0 0 0 107547 10685 0 0 25 0 1 0 822101052 209465344 50113 33554432000 4194304 9163163 140735920769744 18446744073709551615 6555941 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11329/statm: 51139 50113 727 1214 0 49921 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 204556
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 11374
/proc/meminfo: memFree=30922524/32950928 swapFree=34365992/67111528
[pid=11329] ppid=11327 vsize=204556 CPUtime=1242.32 cores=1,3,5,7
/proc/11329/stat : 11329 (scip-2.0.1.4b.l) R 11327 11329 10081 0 -1 4202496 158189 0 0 0 112943 11289 0 0 25 0 1 0 822101052 209465344 50113 33554432000 4194304 9163163 140735920769744 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11329/statm: 51139 50113 727 1214 0 49921 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 204556
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 11377
/proc/meminfo: memFree=30922496/32950928 swapFree=34365992/67111528
[pid=11329] ppid=11327 vsize=204556 CPUtime=1302.33 cores=1,3,5,7
/proc/11329/stat : 11329 (scip-2.0.1.4b.l) R 11327 11329 10081 0 -1 4202496 158189 0 0 0 118320 11913 0 0 25 0 1 0 822101052 209465344 50113 33554432000 4194304 9163163 140735920769744 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11329/statm: 51139 50113 727 1214 0 49921 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 204556
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 11379
/proc/meminfo: memFree=30923688/32950928 swapFree=34365992/67111528
[pid=11329] ppid=11327 vsize=204556 CPUtime=1362.32 cores=1,3,5,7
/proc/11329/stat : 11329 (scip-2.0.1.4b.l) R 11327 11329 10081 0 -1 4202496 158189 0 0 0 123710 12522 0 0 25 0 1 0 822101052 209465344 50113 33554432000 4194304 9163163 140735920769744 18446744073709551615 7249685 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11329/statm: 51139 50113 727 1214 0 49921 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 204556
[startup+1422.32 s]
/proc/loadavg: 2.15 2.03 2.01 3/447 11380
/proc/meminfo: memFree=30923536/32950928 swapFree=34365992/67111528
[pid=11329] ppid=11327 vsize=204556 CPUtime=1422.34 cores=1,3,5,7
/proc/11329/stat : 11329 (scip-2.0.1.4b.l) R 11327 11329 10081 0 -1 4202496 158189 0 0 0 129095 13139 0 0 25 0 1 0 822101052 209465344 50113 33554432000 4194304 9163163 140735920769744 18446744073709551615 4751844 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11329/statm: 51139 50113 727 1214 0 49921 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 204556
[startup+1482.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/447 11382
/proc/meminfo: memFree=30923740/32950928 swapFree=34365992/67111528
[pid=11329] ppid=11327 vsize=204556 CPUtime=1482.33 cores=1,3,5,7
/proc/11329/stat : 11329 (scip-2.0.1.4b.l) R 11327 11329 10081 0 -1 4202496 158189 0 0 0 134509 13724 0 0 25 0 1 0 822101052 209465344 50113 33554432000 4194304 9163163 140735920769744 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11329/statm: 51139 50113 727 1214 0 49921 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 204556
[startup+1542.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/447 11383
/proc/meminfo: memFree=30923948/32950928 swapFree=34365992/67111528
[pid=11329] ppid=11327 vsize=204556 CPUtime=1542.33 cores=1,3,5,7
/proc/11329/stat : 11329 (scip-2.0.1.4b.l) R 11327 11329 10081 0 -1 4202496 160965 0 0 0 139929 14304 0 0 25 0 1 0 822101052 209465344 50113 33554432000 4194304 9163163 140735920769744 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11329/statm: 51139 50113 727 1214 0 49921 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 204556
[startup+1602.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/447 11385
/proc/meminfo: memFree=30923900/32950928 swapFree=34365992/67111528
[pid=11329] ppid=11327 vsize=204556 CPUtime=1602.33 cores=1,3,5,7
/proc/11329/stat : 11329 (scip-2.0.1.4b.l) R 11327 11329 10081 0 -1 4202496 160965 0 0 0 145368 14865 0 0 25 0 1 0 822101052 209465344 50113 33554432000 4194304 9163163 140735920769744 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11329/statm: 51139 50113 727 1214 0 49921 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 204556
Solver just ended. Dumping a history of the last processes samples
[startup+1612.7 s]
/proc/loadavg: 2.05 2.03 2.00 3/447 11385
/proc/meminfo: memFree=30923896/32950928 swapFree=34365992/67111528
[pid=11329] ppid=11327 vsize=204556 CPUtime=1612.73 cores=1,3,5,7
/proc/11329/stat : 11329 (scip-2.0.1.4b.l) R 11327 11329 10081 0 -1 4202496 160965 0 0 0 146307 14966 0 0 25 0 1 0 822101052 209465344 50113 33554432000 4194304 9163163 140735920769744 18446744073709551615 6556498 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11329/statm: 51139 50113 727 1214 0 49921 0
Current children cumulated CPU time (s) 1612.73
Current children cumulated vsize (KiB) 204556
[startup+1619.1 s]
/proc/loadavg: 2.04 2.03 2.00 3/447 11386
/proc/meminfo: memFree=30923896/32950928 swapFree=34365992/67111528
[pid=11329] ppid=11327 vsize=204556 CPUtime=1619.14 cores=1,3,5,7
/proc/11329/stat : 11329 (scip-2.0.1.4b.l) R 11327 11329 10081 0 -1 4202496 160965 0 0 0 146889 15025 0 0 25 0 1 0 822101052 209465344 50113 33554432000 4194304 9163163 140735920769744 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11329/statm: 51139 50113 727 1214 0 49921 0
Current children cumulated CPU time (s) 1619.14
Current children cumulated vsize (KiB) 204556
[startup+1622.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/447 11386
/proc/meminfo: memFree=30923892/32950928 swapFree=34365992/67111528
[pid=11329] ppid=11327 vsize=204556 CPUtime=1622.33 cores=1,3,5,7
/proc/11329/stat : 11329 (scip-2.0.1.4b.l) R 11327 11329 10081 0 -1 4202496 160965 0 0 0 147183 15050 0 0 25 0 1 0 822101052 209465344 50113 33554432000 4194304 9163163 140735920769744 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11329/statm: 51139 50113 727 1214 0 49921 0
Current children cumulated CPU time (s) 1622.33
Current children cumulated vsize (KiB) 204556
[startup+1625.5 s]
/proc/loadavg: 2.12 2.05 2.01 3/447 11386
/proc/meminfo: memFree=30923644/32950928 swapFree=34365992/67111528
[pid=11329] ppid=11327 vsize=204556 CPUtime=1625.53 cores=1,3,5,7
/proc/11329/stat : 11329 (scip-2.0.1.4b.l) R 11327 11329 10081 0 -1 4202496 160965 0 0 0 147471 15082 0 0 25 0 1 0 822101052 209465344 50113 33554432000 4194304 9163163 140735920769744 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11329/statm: 51139 50113 727 1214 0 49921 0
Current children cumulated CPU time (s) 1625.53
Current children cumulated vsize (KiB) 204556
[startup+1627.1 s]
/proc/loadavg: 2.11 2.05 2.01 3/447 11386
/proc/meminfo: memFree=30923892/32950928 swapFree=34365992/67111528
[pid=11329] ppid=11327 vsize=204556 CPUtime=1627.13 cores=1,3,5,7
/proc/11329/stat : 11329 (scip-2.0.1.4b.l) R 11327 11329 10081 0 -1 4202496 160965 0 0 0 147621 15092 0 0 25 0 1 0 822101052 209465344 50113 33554432000 4194304 9163163 140735920769744 18446744073709551615 6480268 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11329/statm: 51139 50113 727 1214 0 49921 0
Current children cumulated CPU time (s) 1627.13
Current children cumulated vsize (KiB) 204556
[startup+1627.9 s]
/proc/loadavg: 2.11 2.05 2.01 3/447 11386
/proc/meminfo: memFree=30923892/32950928 swapFree=34365992/67111528
[pid=11329] ppid=11327 vsize=204556 CPUtime=1627.94 cores=1,3,5,7
/proc/11329/stat : 11329 (scip-2.0.1.4b.l) R 11327 11329 10081 0 -1 4202496 160965 0 0 0 147695 15099 0 0 25 0 1 0 822101052 209465344 50113 33554432000 4194304 9163163 140735920769744 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11329/statm: 51139 50113 727 1214 0 49921 0
Current children cumulated CPU time (s) 1627.94
Current children cumulated vsize (KiB) 204556
[startup+1628.1 s]
/proc/loadavg: 2.11 2.05 2.01 3/447 11386
/proc/meminfo: memFree=30923892/32950928 swapFree=34365992/67111528
[pid=11329] ppid=11327 vsize=204556 CPUtime=1628.13 cores=1,3,5,7
/proc/11329/stat : 11329 (scip-2.0.1.4b.l) R 11327 11329 10081 0 -1 4202496 160965 0 0 0 147711 15102 0 0 25 0 1 0 822101052 209465344 50113 33554432000 4194304 9163163 140735920769744 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11329/statm: 51139 50113 727 1214 0 49921 0
Current children cumulated CPU time (s) 1628.13
Current children cumulated vsize (KiB) 204556
Child status: 0
Real time (s): 1628.14
CPU time (s): 1628.18
CPU user time (s): 1477.14
CPU system time (s): 151.034
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 206680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1477.14
system time used= 151.034
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160970
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 5413
runsolver used 7.13291 second user time and 16.1335 second system time
The end