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-3450688-1307107451.opb>
0.00/0.02 c original problem has 3308 variables (3308 bin, 0 int, 0 impl, 0 cont) and 3508 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.03 o 0
0.00/0.03 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.03 c presolving:
0.00/0.07 c (round 1) 3108 del vars, 400 del conss, 0 add conss, 3108 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12432 impls, 0 clqs
0.00/0.08 c (round 2) 3108 del vars, 400 del conss, 0 add conss, 3108 chg bounds, 0 chg sides, 0 chg coeffs, 3108 upgd conss, 18648 impls, 0 clqs
0.00/0.10 c (0.1s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.10 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.00/0.10 c presolving (3 rounds):
0.00/0.10 c 3108 deleted vars, 400 deleted constraints, 0 added constraints, 3108 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.10 c 18648 implications, 0 cliques
0.00/0.10 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 3108 constraints
0.00/0.10 c 3108 constraints of type <logicor>
0.00/0.10 c transformed objective value is always integral (scale: 1)
0.00/0.10 c Presolving Time: 0.07
0.00/0.10 c - non default parameters ----------------------------------------------------------------------
0.00/0.10 c # SCIP version 2.0.1.5
0.00/0.10 c
0.00/0.10 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.00/0.10 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.10 c conflict/interconss = 0
0.00/0.10 c
0.00/0.10 c # should binary conflicts be preferred?
0.00/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.10 c conflict/preferbinary = TRUE
0.00/0.10 c
0.00/0.10 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.00/0.10 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.10 c constraints/agelimit = 1
0.00/0.10 c
0.00/0.10 c # should enforcement of pseudo solution be disabled?
0.00/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.10 c constraints/disableenfops = TRUE
0.00/0.10 c
0.00/0.10 c # frequency for displaying node information lines
0.00/0.10 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.10 c display/freq = 10000
0.00/0.10 c
0.00/0.10 c # maximal time in seconds to run
0.00/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.10 c limits/time = 1800
0.00/0.10 c
0.00/0.10 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.10 c limits/memory = 13950
0.00/0.10 c
0.00/0.10 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.10 c # [type: int, range: [1,2], default: 1]
0.00/0.10 c timing/clocktype = 2
0.00/0.10 c
0.00/0.10 c # belongs reading time to solving time?
0.00/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.10 c timing/reading = TRUE
0.00/0.10 c
0.00/0.10 c # should presolving try to simplify inequalities
0.00/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.10 c constraints/linear/simplifyinequalities = TRUE
0.00/0.10 c
0.00/0.10 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.10 c constraints/indicator/addCouplingCons = TRUE
0.00/0.10 c
0.00/0.10 c # should presolving try to simplify knapsacks
0.00/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.10 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.10 c
0.00/0.10 c -----------------------------------------------------------------------------------------------
0.00/0.10 c start solving
0.00/0.10 c
0.10/0.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.10/0.12 c t 0.1s| 1 | 0 | 202 | - | 10M| 0 | 200 | 200 |3108 | 200 |3108 | 0 | 0 | 0 |-1.000000e+02 | 0.000000e+00 | 100.00%
0.10/0.12 o -1
0.10/0.12 c R 0.1s| 1 | 0 | 202 | - | 10M| 0 | 200 | 200 |3108 | 200 |3108 | 0 | 0 | 0 |-1.000000e+02 |-1.000000e+00 | 99.00%
0.10/0.17 c 0.2s| 1 | 0 | 293 | - | 10M| 0 | 189 | 200 |3108 | 200 |3117 | 9 | 0 | 0 |-9.450000e+01 |-1.000000e+00 | 98.94%
0.10/0.17 o -18
0.10/0.17 c b 0.2s| 1 | 0 | 293 | - | 10M| 0 | 189 | 200 |3108 | 200 |3117 | 9 | 0 | 0 |-9.450000e+01 |-1.800000e+01 | 80.95%
0.19/0.22 c 0.2s| 1 | 0 | 405 | - | 10M| 0 | 183 | 200 |3108 | 200 |3125 | 17 | 0 | 0 |-9.150000e+01 |-1.800000e+01 | 80.33%
0.29/0.30 c 0.3s| 1 | 0 | 605 | - | 10M| 0 | 177 | 200 |3108 | 200 |3132 | 24 | 0 | 0 |-8.850000e+01 |-1.800000e+01 | 79.66%
0.29/0.37 c 0.4s| 1 | 0 | 741 | - | 10M| 0 | 172 | 200 |3108 | 200 |3141 | 33 | 0 | 0 |-8.600000e+01 |-1.800000e+01 | 79.07%
0.39/0.43 c 0.4s| 1 | 0 | 801 | - | 10M| 0 | 169 | 200 |3108 | 200 |3147 | 39 | 0 | 0 |-8.450000e+01 |-1.800000e+01 | 78.70%
0.39/0.49 c 0.5s| 1 | 0 | 899 | - | 10M| 0 | 165 | 200 |3108 | 200 |3156 | 48 | 0 | 0 |-8.250000e+01 |-1.800000e+01 | 78.18%
0.49/0.57 c 0.6s| 1 | 0 | 1018 | - | 10M| 0 | 168 | 200 |3108 | 200 |3163 | 55 | 0 | 0 |-8.175000e+01 |-1.800000e+01 | 77.98%
0.59/0.67 c 0.7s| 1 | 0 | 1242 | - | 10M| 0 | 157 | 200 |3108 | 200 |3172 | 64 | 0 | 0 |-7.850000e+01 |-1.800000e+01 | 77.07%
0.69/0.74 c 0.7s| 1 | 0 | 1391 | - | 10M| 0 | 152 | 200 |3108 | 200 |3180 | 72 | 0 | 0 |-7.600000e+01 |-1.800000e+01 | 76.32%
0.79/0.85 c 0.9s| 1 | 0 | 1762 | - | 10M| 0 | 160 | 200 |3108 | 200 |3188 | 80 | 0 | 0 |-7.465385e+01 |-1.800000e+01 | 75.89%
0.89/0.92 c 0.9s| 1 | 0 | 1879 | - | 11M| 0 | 162 | 200 |3108 | 200 | 486 | 91 | 0 | 0 |-7.385000e+01 |-1.800000e+01 | 75.63%
0.89/0.95 c 1.0s| 1 | 0 | 2086 | - | 11M| 0 | 158 | 200 |3108 | 200 | 494 | 99 | 0 | 0 |-7.286111e+01 |-1.800000e+01 | 75.30%
0.89/0.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.89/0.99 c 1.0s| 1 | 0 | 2264 | - | 11M| 0 | 156 | 200 |3108 | 200 | 532 | 137 | 0 | 0 |-7.170000e+01 |-1.800000e+01 | 74.90%
0.99/1.04 c 1.0s| 1 | 0 | 2607 | - | 11M| 0 | 160 | 200 |3108 | 200 | 582 | 187 | 0 | 0 |-7.093750e+01 |-1.800000e+01 | 74.63%
0.99/1.09 c 1.1s| 1 | 0 | 2796 | - | 12M| 0 | 149 | 200 |3108 | 200 | 602 | 207 | 0 | 0 |-6.983333e+01 |-1.800000e+01 | 74.22%
1.10/1.13 c 1.1s| 1 | 0 | 2890 | - | 12M| 0 | 136 | 200 |3108 | 200 | 621 | 226 | 0 | 0 |-6.900000e+01 |-1.800000e+01 | 73.91%
1.10/1.18 c 1.2s| 1 | 0 | 3117 | - | 12M| 0 | 168 | 200 |3108 | 200 | 507 | 250 | 0 | 0 |-6.798250e+01 |-1.800000e+01 | 73.52%
1.21/1.26 c 1.3s| 1 | 0 | 3391 | - | 13M| 0 | 155 | 200 |3108 | 200 | 784 | 527 | 0 | 0 |-6.641667e+01 |-1.800000e+01 | 72.90%
1.29/1.31 c 1.3s| 1 | 0 | 3605 | - | 13M| 0 | 154 | 200 |3108 | 200 | 824 | 567 | 0 | 0 |-6.450000e+01 |-1.800000e+01 | 72.09%
1.29/1.39 c 1.4s| 1 | 0 | 4035 | - | 13M| 0 | 167 | 200 |3108 | 200 | 852 | 595 | 0 | 0 |-6.364181e+01 |-1.800000e+01 | 71.72%
1.39/1.46 c 1.5s| 1 | 0 | 4340 | - | 14M| 0 | 152 | 200 |3108 | 200 | 972 | 715 | 0 | 0 |-6.252885e+01 |-1.800000e+01 | 71.21%
1.49/1.52 c 1.5s| 1 | 0 | 4729 | - | 14M| 0 | 169 | 200 |3108 | 200 |1000 | 743 | 0 | 0 |-6.138954e+01 |-1.800000e+01 | 70.68%
1.59/1.60 c 1.6s| 1 | 0 | 5015 | - | 15M| 0 | 169 | 200 |3108 | 200 | 920 | 796 | 0 | 0 |-6.032368e+01 |-1.800000e+01 | 70.16%
1.59/1.67 c 1.7s| 1 | 0 | 5364 | - | 16M| 0 | 165 | 200 |3108 | 200 | 955 | 831 | 0 | 0 |-5.922727e+01 |-1.800000e+01 | 69.61%
1.69/1.76 c 1.8s| 1 | 0 | 5862 | - | 17M| 0 | 162 | 200 |3108 | 200 | 986 | 862 | 0 | 0 |-5.828963e+01 |-1.800000e+01 | 69.12%
1.79/1.84 c 1.8s| 1 | 0 | 6221 | - | 18M| 0 | 180 | 200 |3108 | 200 | 997 | 873 | 0 | 0 |-5.729491e+01 |-1.800000e+01 | 68.58%
1.89/1.94 c 1.9s| 1 | 0 | 6710 | - | 18M| 0 | 176 | 200 |3108 | 200 |1049 | 925 | 0 | 0 |-5.662639e+01 |-1.800000e+01 | 68.21%
1.99/2.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.99/2.04 c 2.0s| 1 | 0 | 7263 | - | 18M| 0 | 182 | 200 |3108 | 200 |1066 | 942 | 0 | 0 |-5.599511e+01 |-1.800000e+01 | 67.85%
2.09/2.16 c 2.2s| 1 | 0 | 7760 | - | 18M| 0 | 179 | 200 |3108 | 200 | 700 | 964 | 0 | 0 |-5.548003e+01 |-1.800000e+01 | 67.56%
2.20/2.22 c 2.2s| 1 | 0 | 7963 | - | 18M| 0 | 182 | 200 |3108 | 200 | 715 | 979 | 0 | 0 |-5.476297e+01 |-1.800000e+01 | 67.13%
2.20/2.28 c 2.3s| 1 | 0 | 8263 | - | 18M| 0 | 177 | 200 |3108 | 200 | 738 |1002 | 0 | 0 |-5.405063e+01 |-1.800000e+01 | 66.70%
2.30/2.35 c 2.3s| 1 | 0 | 8500 | - | 18M| 0 | 184 | 200 |3108 | 200 | 775 |1039 | 0 | 0 |-5.350434e+01 |-1.800000e+01 | 66.36%
2.39/2.43 c 2.4s| 1 | 0 | 8838 | - | 19M| 0 | 185 | 200 |3108 | 200 | 799 |1063 | 0 | 0 |-5.320490e+01 |-1.800000e+01 | 66.17%
2.49/2.50 c 2.5s| 1 | 0 | 9076 | - | 19M| 0 | 182 | 200 |3108 | 200 | 811 |1075 | 0 | 0 |-5.288758e+01 |-1.800000e+01 | 65.97%
2.49/2.56 c 2.6s| 1 | 0 | 9207 | - | 19M| 0 | 184 | 200 |3108 | 200 | 567 |1089 | 0 | 0 |-5.264681e+01 |-1.800000e+01 | 65.81%
2.59/2.61 c 2.6s| 1 | 0 | 9339 | - | 19M| 0 | 189 | 200 |3108 | 200 | 587 |1109 | 0 | 0 |-5.237478e+01 |-1.800000e+01 | 65.63%
2.59/2.66 c 2.7s| 1 | 0 | 9434 | - | 19M| 0 | 192 | 200 |3108 | 200 | 609 |1131 | 0 | 0 |-5.221919e+01 |-1.800000e+01 | 65.53%
2.69/2.71 c 2.7s| 1 | 0 | 9568 | - | 19M| 0 | 192 | 200 |3108 | 200 | 626 |1148 | 0 | 0 |-5.210030e+01 |-1.800000e+01 | 65.45%
2.69/2.76 c 2.8s| 1 | 0 | 9634 | - | 19M| 0 | 194 | 200 |3108 | 200 | 637 |1159 | 0 | 0 |-5.201134e+01 |-1.800000e+01 | 65.39%
2.79/2.81 c 2.8s| 1 | 0 | 9759 | - | 19M| 0 | 190 | 200 |3108 | 200 | 650 |1172 | 0 | 0 |-5.188802e+01 |-1.800000e+01 | 65.31%
2.79/2.86 c 2.9s| 1 | 0 | 9870 | - | 19M| 0 | 196 | 200 |3108 | 200 | 520 |1181 | 0 | 0 |-5.176166e+01 |-1.800000e+01 | 65.23%
2.89/2.90 c 2.9s| 1 | 0 | 9965 | - | 19M| 0 | 195 | 200 |3108 | 200 | 529 |1190 | 0 | 0 |-5.158734e+01 |-1.800000e+01 | 65.11%
2.89/2.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.89/2.95 c 2.9s| 1 | 0 | 10066 | - | 19M| 0 | 197 | 200 |3108 | 200 | 537 |1198 | 0 | 0 |-5.148732e+01 |-1.800000e+01 | 65.04%
2.99/3.00 c 3.0s| 1 | 0 | 10211 | - | 19M| 0 | 195 | 200 |3108 | 200 | 553 |1214 | 0 | 0 |-5.133121e+01 |-1.800000e+01 | 64.93%
2.99/3.04 c 3.0s| 1 | 0 | 10311 | - | 19M| 0 | 195 | 200 |3108 | 200 | 564 |1225 | 0 | 0 |-5.124217e+01 |-1.800000e+01 | 64.87%
2.99/3.09 c 3.1s| 1 | 0 | 10478 | - | 19M| 0 | 195 | 200 |3108 | 200 | 574 |1235 | 0 | 0 |-5.108995e+01 |-1.800000e+01 | 64.77%
3.09/3.14 c 3.1s| 1 | 0 | 10625 | - | 19M| 0 | 198 | 200 |3108 | 200 | 472 |1241 | 0 | 0 |-5.101616e+01 |-1.800000e+01 | 64.72%
3.09/3.19 c 3.2s| 1 | 0 | 10754 | - | 19M| 0 | 199 | 200 |3108 | 200 | 482 |1251 | 0 | 0 |-5.091721e+01 |-1.800000e+01 | 64.65%
3.19/3.23 c 3.2s| 1 | 0 | 10906 | - | 19M| 0 | 196 | 200 |3108 | 200 | 495 |1264 | 0 | 0 |-5.073639e+01 |-1.800000e+01 | 64.52%
3.19/3.28 c 3.3s| 1 | 0 | 11031 | - | 19M| 0 | 198 | 200 |3108 | 200 | 503 |1272 | 0 | 0 |-5.057967e+01 |-1.800000e+01 | 64.41%
3.30/3.33 c 3.3s| 1 | 0 | 11237 | - | 19M| 0 | 199 | 200 |3108 | 200 | 518 |1287 | 0 | 0 |-5.038065e+01 |-1.800000e+01 | 64.27%
3.30/3.38 c 3.4s| 1 | 0 | 11436 | - | 19M| 0 | 198 | 200 |3108 | 200 | 526 |1295 | 0 | 0 |-5.025147e+01 |-1.800000e+01 | 64.18%
3.40/3.42 c 3.4s| 1 | 0 | 11502 | - | 19M| 0 | 199 | 200 |3108 | 200 | 483 |1302 | 0 | 0 |-5.020966e+01 |-1.800000e+01 | 64.15%
3.40/3.47 c 3.5s| 1 | 0 | 11648 | - | 19M| 0 | 199 | 200 |3108 | 200 | 492 |1311 | 0 | 0 |-5.009118e+01 |-1.800000e+01 | 64.07%
3.49/3.51 c 3.5s| 1 | 0 | 11755 | - | 19M| 0 | 199 | 200 |3108 | 200 | 502 |1321 | 0 | 0 |-5.003604e+01 |-1.800000e+01 | 64.03%
3.49/3.55 c 3.6s| 1 | 0 | 11841 | - | 19M| 0 | 198 | 200 |3108 | 200 | 512 |1331 | 0 | 0 |-4.997070e+01 |-1.800000e+01 | 63.98%
3.49/3.59 c 3.6s| 1 | 0 | 11888 | - | 19M| 0 | 199 | 200 |3108 | 200 | 518 |1337 | 0 | 0 |-4.994500e+01 |-1.800000e+01 | 63.96%
3.59/3.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.59/3.64 c 3.6s| 1 | 0 | 12066 | - | 19M| 0 | 200 | 200 |3108 | 200 | 529 |1348 | 0 | 0 |-4.986280e+01 |-1.800000e+01 | 63.90%
3.59/3.69 c 3.7s| 1 | 0 | 12182 | - | 19M| 0 | 199 | 200 |3108 | 200 | 485 |1354 | 0 | 0 |-4.983678e+01 |-1.800000e+01 | 63.88%
3.69/3.73 c 3.7s| 1 | 0 | 12297 | - | 19M| 0 | 200 | 200 |3108 | 200 | 496 |1365 | 0 | 0 |-4.980496e+01 |-1.800000e+01 | 63.86%
3.69/3.77 c 3.8s| 1 | 0 | 12375 | - | 19M| 0 | 200 | 200 |3108 | 200 | 504 |1373 | 0 | 0 |-4.978039e+01 |-1.800000e+01 | 63.84%
3.79/3.81 c 3.8s| 1 | 0 | 12447 | - | 19M| 0 | 200 | 200 |3108 | 200 | 513 |1382 | 0 | 0 |-4.975822e+01 |-1.800000e+01 | 63.83%
3.79/3.85 c 3.9s| 1 | 0 | 12470 | - | 19M| 0 | 200 | 200 |3108 | 200 | 521 |1390 | 0 | 0 |-4.975607e+01 |-1.800000e+01 | 63.82%
3.79/3.89 c 3.9s| 1 | 0 | 12500 | - | 19M| 0 | 200 | 200 |3108 | 200 | 526 |1395 | 0 | 0 |-4.975394e+01 |-1.800000e+01 | 63.82%
3.89/3.93 c 3.9s| 1 | 0 | 12506 | - | 19M| 0 | 200 | 200 |3108 | 200 | 469 |1396 | 0 | 0 |-4.975377e+01 |-1.800000e+01 | 63.82%
4.79/4.84 c 4.8s| 1 | 2 | 12506 | - | 19M| 0 | 200 | 200 |3108 | 200 | 469 |1396 | 0 | 19 |-4.975377e+01 |-1.800000e+01 | 63.82%
5.61/5.62 o -19
5.61/5.62 c z 5.6s| 15 | 16 | 13412 | 64.7 | 19M| 14 | 15 | 200 |3108 | 200 | 239 |1488 | 0 | 263 |-4.949530e+01 |-1.900000e+01 | 61.61%
5.61/5.62 o -20
5.61/5.62 c * 5.6s| 16 | 15 | 13415 | 60.6 | 19M| 15 | - | 200 |3108 | 200 | 239 |1488 | 0 | 263 |-4.949530e+01 |-2.000000e+01 | 59.59%
5.61/5.62 o -21
5.61/5.62 c * 5.6s| 17 | 14 | 13416 | 56.9 | 19M| 15 | - | 200 |3108 | 200 | 239 |1488 | 0 | 263 |-4.949530e+01 |-2.100000e+01 | 57.57%
5.69/5.78 o -22
5.69/5.78 c z 5.8s| 27 | 23 | 13969 | 56.3 | 19M| 15 | 13 | 200 |3108 | 200 | 233 |1553 | 0 | 392 |-4.949530e+01 |-2.200000e+01 | 55.55%
5.69/5.78 o -23
5.69/5.78 c * 5.8s| 28 | 21 | 13972 | 54.3 | 19M| 15 | - | 200 |3108 | 200 | 229 |1553 | 0 | 392 |-4.949530e+01 |-2.300000e+01 | 53.53%
6.39/6.46 o -25
6.39/6.46 c * 6.5s| 82 | 46 | 15827 | 41.0 | 19M| 17 | - | 200 |3108 | 200 | 237 |2010 | 0 | 976 |-4.949530e+01 |-2.500000e+01 | 49.49%
6.49/6.55 o -26
6.49/6.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.49/6.55 c * 6.5s| 115 | 53 | 16477 | 34.8 | 19M| 19 | - | 200 |3108 | 200 | 235 |2317 | 0 |1102 |-4.949530e+01 |-2.600000e+01 | 47.47%
13.79/13.84 o -27
13.79/13.84 c *13.8s| 5283 | 2818 |187806 | 33.2 | 22M| 38 | - | 200 |3108 | 200 | 221 | 65k| 0 |1606 |-4.712121e+01 |-2.700000e+01 | 42.70%
18.70/18.78 c 18.8s| 10000 | 5057 |316944 | 30.4 | 25M| 49 | 31 | 200 |3108 | 200 | 246 | 119k| 0 |1721 |-4.641004e+01 |-2.700000e+01 | 41.82%
27.39/27.47 c 27.5s| 20000 | 8665 |538379 | 26.3 | 29M| 52 | - | 200 |3108 | 200 | 243 | 224k| 0 |2286 |-4.568767e+01 |-2.700000e+01 | 40.90%
35.40/35.48 c 35.5s| 30000 | 11943 |745328 | 24.4 | 33M| 52 | - | 200 |3108 | 200 | 244 | 331k| 0 |2770 |-4.532143e+01 |-2.700000e+01 | 40.43%
37.10/37.18 o -29
37.10/37.18 c *37.2s| 32168 | 8247 |789372 | 24.2 | 29M| 52 | - | 200 |3108 | 200 | 230 | 354k| 0 |2873 |-4.525882e+01 |-2.900000e+01 | 35.92%
42.90/43.00 c 43.0s| 40000 | 9913 |937489 | 23.1 | 32M| 55 | 45 | 200 |3108 | 200 | 232 | 438k| 0 |3163 |-4.505342e+01 |-2.900000e+01 | 35.63%
50.29/50.32 c 50.3s| 50000 | 12035 | 1126k| 22.3 | 35M| 55 | 23 | 200 |3108 | 200 | 217 | 544k| 0 |3552 |-4.480000e+01 |-2.900000e+01 | 35.27%
57.49/57.51 c 57.5s| 60000 | 14113 | 1315k| 21.7 | 38M| 57 | - | 200 |3108 | 200 | 252 | 650k| 0 |3925 |-4.460284e+01 |-2.900000e+01 | 34.98%
64.59/64.64 c 64.6s| 70000 | 16223 | 1501k| 21.3 | 41M| 62 | 46 | 200 |3108 | 200 | 200 | 758k| 0 |4236 |-4.440675e+01 |-2.900000e+01 | 34.69%
71.30/71.31 c 71.3s| 80000 | 17919 | 1674k| 20.8 | 43M| 62 | 14 | 200 |3108 | 200 | 214 | 863k| 0 |4498 |-4.424390e+01 |-2.900000e+01 | 34.45%
77.90/77.90 c 77.9s| 90000 | 19637 | 1845k| 20.4 | 46M| 63 | 49 | 200 |3108 | 200 | 235 | 969k| 0 |4751 |-4.411905e+01 |-2.900000e+01 | 34.27%
84.29/84.39 c 84.4s|100000 | 21251 | 2013k| 20.0 | 48M| 63 | 3 | 200 |3108 | 200 | 216 |1070k| 0 |5011 |-4.400000e+01 |-2.900000e+01 | 34.09%
90.99/91.00 c 91.0s|110000 | 22977 | 2185k| 19.8 | 50M| 63 | 46 | 200 |3108 | 200 | 257 |1176k| 0 |5271 |-4.388889e+01 |-2.900000e+01 | 33.92%
97.19/97.29 c 97.3s|120000 | 24589 | 2349k| 19.5 | 53M| 65 | - | 200 |3108 | 200 | 232 |1278k| 0 |5476 |-4.376858e+01 |-2.900000e+01 | 33.74%
103.79/103.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
103.79/103.81 c 104s|130000 | 26207 | 2520k| 19.3 | 55M| 65 | 51 | 200 |3108 | 200 | 220 |1381k| 0 |5766 |-4.367363e+01 |-2.900000e+01 | 33.60%
110.11/110.17 c 110s|140000 | 27801 | 2685k| 19.1 | 57M| 65 | 47 | 200 |3108 | 200 | 252 |1483k| 0 |5940 |-4.359375e+01 |-2.900000e+01 | 33.48%
116.49/116.51 c 117s|150000 | 29487 | 2851k| 18.9 | 60M| 65 | - | 200 |3108 | 200 | 249 |1584k| 0 |6122 |-4.350000e+01 |-2.900000e+01 | 33.33%
122.79/122.85 c 123s|160000 | 31009 | 3017k| 18.8 | 62M| 65 | - | 200 |3108 | 200 | 219 |1686k| 0 |6343 |-4.341667e+01 |-2.900000e+01 | 33.21%
129.30/129.37 c 129s|170000 | 32711 | 3189k| 18.7 | 65M| 68 | 6 | 200 |3108 | 200 | 214 |1792k| 0 |6588 |-4.333333e+01 |-2.900000e+01 | 33.08%
135.59/135.68 c 136s|180000 | 34255 | 3355k| 18.6 | 67M| 68 | 66 | 200 |3108 | 200 | 251 |1896k| 0 |6762 |-4.325000e+01 |-2.900000e+01 | 32.95%
141.79/141.85 c 142s|190000 | 35891 | 3516k| 18.4 | 69M| 68 | 14 | 200 |3108 | 200 | 216 |1997k| 0 |6933 |-4.317647e+01 |-2.900000e+01 | 32.83%
148.00/148.05 c 148s|200000 | 37359 | 3678k| 18.3 | 71M| 68 | - | 200 |3108 | 200 | 214 |2099k| 0 |7122 |-4.310769e+01 |-2.900000e+01 | 32.73%
154.19/154.28 c 154s|210000 | 38833 | 3841k| 18.2 | 73M| 68 | - | 200 |3108 | 200 | 236 |2201k| 0 |7314 |-4.302326e+01 |-2.900000e+01 | 32.59%
160.49/160.53 c 161s|220000 | 40363 | 4004k| 18.1 | 76M| 72 | 46 | 200 |3108 | 200 | 220 |2302k| 0 |7500 |-4.300000e+01 |-2.900000e+01 | 32.56%
166.59/166.60 c 167s|230000 | 41681 | 4162k| 18.0 | 78M| 72 | 43 | 200 |3108 | 200 | 213 |2401k| 0 |7668 |-4.292105e+01 |-2.900000e+01 | 32.43%
172.60/172.70 c 173s|240000 | 43049 | 4320k| 18.0 | 80M| 72 | - | 200 |3108 | 200 | 217 |2503k| 0 |7836 |-4.284932e+01 |-2.900000e+01 | 32.32%
178.80/178.82 c 179s|250000 | 44565 | 4480k| 17.9 | 82M| 72 | - | 200 |3108 | 200 | 230 |2601k| 0 |7955 |-4.276190e+01 |-2.900000e+01 | 32.18%
184.91/184.94 c 185s|260000 | 46003 | 4638k| 17.8 | 84M| 72 | - | 200 |3108 | 200 | 232 |2697k| 0 |8093 |-4.270238e+01 |-2.900000e+01 | 32.09%
190.99/191.06 c 191s|270000 | 47457 | 4797k| 17.7 | 86M| 72 | - | 200 |3108 | 200 | 218 |2795k| 0 |8273 |-4.262626e+01 |-2.900000e+01 | 31.97%
196.91/196.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
196.91/196.92 c 197s|280000 | 48719 | 4948k| 17.6 | 88M| 72 | - | 200 |3108 | 200 | 237 |2893k| 0 |8384 |-4.256250e+01 |-2.900000e+01 | 31.86%
202.90/202.90 c 203s|290000 | 50115 | 5103k| 17.6 | 90M| 72 | 6 | 200 |3108 | 200 | 200 |2989k| 0 |8543 |-4.250000e+01 |-2.900000e+01 | 31.76%
208.90/208.99 c 209s|300000 | 51451 | 5260k| 17.5 | 92M| 72 | 37 | 200 |3108 | 200 | 211 |3092k| 0 |8719 |-4.244561e+01 |-2.900000e+01 | 31.68%
215.00/215.02 c 215s|310000 | 52771 | 5418k| 17.4 | 94M| 72 | - | 200 |3108 | 200 | 231 |3193k| 0 |8814 |-4.238462e+01 |-2.900000e+01 | 31.58%
221.11/221.13 c 221s|320000 | 54125 | 5577k| 17.4 | 96M| 72 | - | 200 |3108 | 200 | 264 |3295k| 0 |8986 |-4.233333e+01 |-2.900000e+01 | 31.50%
227.19/227.24 c 227s|330000 | 55555 | 5735k| 17.3 | 98M| 74 | - | 200 |3108 | 200 | 215 |3394k| 0 |9169 |-4.225888e+01 |-2.900000e+01 | 31.38%
233.10/233.17 c 233s|340000 | 56901 | 5890k| 17.3 | 100M| 74 | 47 | 200 |3108 | 200 | 218 |3491k| 0 |9278 |-4.220833e+01 |-2.900000e+01 | 31.29%
239.00/239.07 c 239s|350000 | 58179 | 6044k| 17.2 | 102M| 74 | 36 | 200 |3108 | 200 | 200 |3590k| 0 |9435 |-4.216000e+01 |-2.900000e+01 | 31.21%
244.90/244.91 c 245s|360000 | 59379 | 6195k| 17.2 | 104M| 74 | 36 | 200 |3108 | 200 | 215 |3687k| 0 |9554 |-4.210000e+01 |-2.900000e+01 | 31.12%
251.00/251.02 c 251s|370000 | 60759 | 6352k| 17.1 | 106M| 74 | - | 200 |3108 | 200 | 246 |3787k| 0 |9677 |-4.203448e+01 |-2.900000e+01 | 31.01%
256.89/256.98 c 257s|380000 | 62067 | 6506k| 17.1 | 108M| 74 | 8 | 200 |3108 | 200 | 246 |3886k| 0 |9810 |-4.200000e+01 |-2.900000e+01 | 30.95%
262.91/262.95 c 263s|390000 | 63475 | 6663k| 17.1 | 110M| 74 | - | 200 |3108 | 200 | 224 |3986k| 0 |9930 |-4.200000e+01 |-2.900000e+01 | 30.95%
268.80/268.84 c 269s|400000 | 64745 | 6815k| 17.0 | 112M| 74 | - | 200 |3108 | 200 | 211 |4085k| 0 | 10k|-4.192857e+01 |-2.900000e+01 | 30.83%
274.70/274.74 c 275s|410000 | 65949 | 6969k| 17.0 | 114M| 74 | - | 200 |3108 | 200 | 223 |4186k| 0 | 10k|-4.188235e+01 |-2.900000e+01 | 30.76%
280.51/280.58 c 281s|420000 | 67243 | 7120k| 16.9 | 116M| 74 | 39 | 200 |3108 | 200 | 216 |4283k| 0 | 10k|-4.183333e+01 |-2.900000e+01 | 30.68%
286.40/286.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
286.40/286.44 c 286s|430000 | 68443 | 7271k| 16.9 | 118M| 74 | - | 200 |3108 | 200 | 228 |4382k| 0 | 10k|-4.180000e+01 |-2.900000e+01 | 30.62%
292.20/292.29 c 292s|440000 | 69703 | 7423k| 16.8 | 119M| 74 | 34 | 200 |3108 | 200 | 213 |4481k| 0 | 10k|-4.175000e+01 |-2.900000e+01 | 30.54%
298.11/298.14 c 298s|450000 | 70995 | 7573k| 16.8 | 121M| 74 | 21 | 200 |3108 | 200 | 227 |4577k| 0 | 10k|-4.171795e+01 |-2.900000e+01 | 30.49%
303.90/303.90 c 304s|460000 | 72127 | 7722k| 16.8 | 123M| 74 | 32 | 200 |3108 | 200 | 217 |4676k| 0 | 10k|-4.168421e+01 |-2.900000e+01 | 30.43%
309.80/309.89 c 310s|470000 | 73483 | 7878k| 16.7 | 125M| 74 | - | 200 |3108 | 200 | 232 |4775k| 0 | 10k|-4.164000e+01 |-2.900000e+01 | 30.36%
315.60/315.61 c 316s|480000 | 74753 | 8025k| 16.7 | 127M| 78 | 5 | 200 |3108 | 200 | 249 |4871k| 0 | 11k|-4.160000e+01 |-2.900000e+01 | 30.29%
321.21/321.23 c 321s|490000 | 75915 | 8170k| 16.6 | 129M| 78 | - | 200 |3108 | 200 | 213 |4966k| 0 | 11k|-4.155769e+01 |-2.900000e+01 | 30.22%
326.81/326.89 c 327s|500000 | 77059 | 8316k| 16.6 | 130M| 78 | - | 200 |3108 | 200 | 222 |5061k| 0 | 11k|-4.150159e+01 |-2.900000e+01 | 30.12%
332.70/332.74 c 333s|510000 | 78343 | 8466k| 16.6 | 132M| 79 | - | 200 |3108 | 200 | 200 |5157k| 0 | 11k|-4.150000e+01 |-2.900000e+01 | 30.12%
338.40/338.49 c 338s|520000 | 79465 | 8613k| 16.5 | 134M| 79 | 48 | 200 |3108 | 200 | 216 |5254k| 0 | 11k|-4.147059e+01 |-2.900000e+01 | 30.07%
344.20/344.21 c 344s|530000 | 80613 | 8760k| 16.5 | 136M| 79 | - | 200 |3108 | 200 | 238 |5350k| 0 | 11k|-4.142857e+01 |-2.900000e+01 | 30.00%
349.91/349.94 c 350s|540000 | 81787 | 8907k| 16.5 | 138M| 79 | 16 | 200 |3108 | 200 | 214 |5446k| 0 | 11k|-4.138462e+01 |-2.900000e+01 | 29.93%
355.70/355.75 c 356s|550000 | 83013 | 9056k| 16.4 | 139M| 79 | 12 | 200 |3108 | 200 | 200 |5544k| 0 | 11k|-4.133333e+01 |-2.900000e+01 | 29.84%
361.40/361.44 c 361s|560000 | 84181 | 9204k| 16.4 | 141M| 79 | 15 | 200 |3108 | 200 | 221 |5643k| 0 | 11k|-4.131818e+01 |-2.900000e+01 | 29.81%
367.00/367.04 c 367s|570000 | 85195 | 9347k| 16.4 | 143M| 82 | 22 | 200 |3108 | 200 | 216 |5739k| 0 | 12k|-4.127586e+01 |-2.900000e+01 | 29.74%
372.60/372.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
372.60/372.64 c 373s|580000 | 86267 | 9492k| 16.3 | 144M| 83 | - | 200 |3108 | 200 | 213 |5833k| 0 | 12k|-4.125000e+01 |-2.900000e+01 | 29.70%
378.11/378.14 c 378s|590000 | 87231 | 9632k| 16.3 | 146M| 83 | 44 | 200 |3108 | 200 | 214 |5927k| 0 | 12k|-4.120130e+01 |-2.900000e+01 | 29.61%
383.80/383.88 c 384s|600000 | 88367 | 9779k| 16.3 | 148M| 83 | - | 200 |3108 | 200 | 219 |6024k| 0 | 12k|-4.116667e+01 |-2.900000e+01 | 29.55%
389.41/389.43 c 389s|610000 | 89339 | 9922k| 16.2 | 149M| 83 | - | 200 |3108 | 200 | 227 |6119k| 0 | 12k|-4.112903e+01 |-2.900000e+01 | 29.49%
395.01/395.04 c 395s|620000 | 90381 | 10065k| 16.2 | 151M| 83 | 9 | 200 |3108 | 200 | 200 |6215k| 0 | 12k|-4.108889e+01 |-2.900000e+01 | 29.42%
400.60/400.65 c 401s|630000 | 91357 | 10208k| 16.2 | 152M| 83 | - | 200 |3108 | 200 | 246 |6312k| 0 | 12k|-4.103125e+01 |-2.900000e+01 | 29.32%
406.30/406.37 c 406s|640000 | 92513 | 10355k| 16.2 | 154M| 83 | 47 | 200 |3108 | 200 | 233 |6409k| 0 | 12k|-4.100000e+01 |-2.900000e+01 | 29.27%
412.00/412.02 c 412s|650000 | 93463 | 10499k| 16.1 | 155M| 86 | - | 200 |3108 | 200 | 232 |6508k| 0 | 12k|-4.100000e+01 |-2.900000e+01 | 29.27%
417.51/417.54 c 418s|660000 | 94481 | 10641k| 16.1 | 157M| 86 | - | 200 |3108 | 200 | 211 |6605k| 0 | 12k|-4.100000e+01 |-2.900000e+01 | 29.27%
423.01/423.05 c 423s|670000 | 95467 | 10782k| 16.1 | 159M| 86 | 22 | 200 |3108 | 200 | 241 |6701k| 0 | 13k|-4.100000e+01 |-2.900000e+01 | 29.27%
428.60/428.65 c 429s|680000 | 96459 | 10925k| 16.0 | 160M| 86 | - | 200 |3108 | 200 | 217 |6797k| 0 | 13k|-4.096970e+01 |-2.900000e+01 | 29.22%
434.11/434.13 c 434s|690000 | 97357 | 11063k| 16.0 | 162M| 86 | - | 200 |3108 | 200 | 229 |6892k| 0 | 13k|-4.092222e+01 |-2.900000e+01 | 29.13%
439.71/439.70 c 440s|700000 | 98325 | 11206k| 16.0 | 163M| 86 | - | 200 |3108 | 200 | 232 |6987k| 0 | 13k|-4.087500e+01 |-2.900000e+01 | 29.05%
445.21/445.29 c 445s|710000 | 99321 | 11348k| 16.0 | 165M| 86 | 34 | 200 |3108 | 200 | 217 |7083k| 0 | 13k|-4.083333e+01 |-2.900000e+01 | 28.98%
450.80/450.80 c 451s|720000 |100265 | 11489k| 15.9 | 166M| 86 | - | 200 |3108 | 200 | 238 |7176k| 0 | 13k|-4.080488e+01 |-2.900000e+01 | 28.93%
456.21/456.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
456.21/456.26 c 456s|730000 |101295 | 11629k| 15.9 | 168M| 86 | 35 | 200 |3108 | 200 | 232 |7273k| 0 | 13k|-4.077778e+01 |-2.900000e+01 | 28.88%
461.71/461.75 c 462s|740000 |102111 | 11768k| 15.9 | 169M| 86 | 27 | 200 |3108 | 200 | 217 |7368k| 0 | 13k|-4.075000e+01 |-2.900000e+01 | 28.83%
467.21/467.22 c 467s|750000 |103067 | 11907k| 15.9 | 170M| 86 | - | 200 |3108 | 200 | 236 |7464k| 0 | 13k|-4.075000e+01 |-2.900000e+01 | 28.83%
472.70/472.72 c 473s|760000 |104021 | 12047k| 15.8 | 172M| 86 | - | 200 |3108 | 200 | 217 |7559k| 0 | 13k|-4.070588e+01 |-2.900000e+01 | 28.76%
478.31/478.33 c 478s|770000 |105057 | 12189k| 15.8 | 173M| 86 | 38 | 200 |3108 | 200 | 218 |7654k| 0 | 13k|-4.066667e+01 |-2.900000e+01 | 28.69%
483.81/483.82 c 484s|780000 |105989 | 12329k| 15.8 | 175M| 86 | 19 | 200 |3108 | 200 | 200 |7750k| 0 | 14k|-4.065000e+01 |-2.900000e+01 | 28.66%
489.31/489.32 c 489s|790000 |106921 | 12470k| 15.8 | 176M| 86 | 50 | 200 |3108 | 200 | 217 |7846k| 0 | 14k|-4.061272e+01 |-2.900000e+01 | 28.59%
494.80/494.82 c 495s|800000 |107873 | 12610k| 15.7 | 178M| 86 | - | 200 |3108 | 200 | 215 |7941k| 0 | 14k|-4.058065e+01 |-2.900000e+01 | 28.54%
500.30/500.34 c 500s|810000 |108805 | 12750k| 15.7 | 179M| 86 | 46 | 200 |3108 | 200 | 219 |8037k| 0 | 14k|-4.054167e+01 |-2.900000e+01 | 28.47%
505.81/505.83 c 506s|820000 |109721 | 12890k| 15.7 | 181M| 86 | - | 200 |3108 | 200 | 253 |8130k| 0 | 14k|-4.050000e+01 |-2.900000e+01 | 28.40%
511.20/511.26 c 511s|830000 |110669 | 13028k| 15.7 | 182M| 86 | - | 200 |3108 | 200 | 228 |8225k| 0 | 14k|-4.050000e+01 |-2.900000e+01 | 28.40%
516.70/516.74 c 517s|840000 |111601 | 13167k| 15.7 | 184M| 86 | 38 | 200 |3108 | 200 | 212 |8321k| 0 | 14k|-4.050000e+01 |-2.900000e+01 | 28.40%
522.21/522.22 c 522s|850000 |112489 | 13307k| 15.6 | 185M| 86 | - | 200 |3108 | 200 | 228 |8416k| 0 | 14k|-4.047486e+01 |-2.900000e+01 | 28.35%
527.71/527.70 c 528s|860000 |113371 | 13445k| 15.6 | 186M| 86 | - | 200 |3108 | 200 | 216 |8511k| 0 | 14k|-4.042857e+01 |-2.900000e+01 | 28.27%
533.21/533.22 c 533s|870000 |114269 | 13585k| 15.6 | 188M| 86 | - | 200 |3108 | 200 | 210 |8606k| 0 | 14k|-4.040000e+01 |-2.900000e+01 | 28.22%
538.61/538.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
538.61/538.65 c 539s|880000 |115185 | 13722k| 15.6 | 189M| 86 | 19 | 200 |3108 | 200 | 226 |8699k| 0 | 14k|-4.037037e+01 |-2.900000e+01 | 28.17%
544.01/544.02 c 544s|890000 |116053 | 13856k| 15.6 | 191M| 86 | - | 200 |3108 | 200 | 260 |8791k| 0 | 14k|-4.033333e+01 |-2.900000e+01 | 28.10%
549.51/549.53 c 550s|900000 |116909 | 13998k| 15.5 | 192M| 86 | 46 | 200 |3108 | 200 | 200 |8888k| 0 | 15k|-4.033333e+01 |-2.900000e+01 | 28.10%
554.91/554.92 c 555s|910000 |117763 | 14133k| 15.5 | 193M| 86 | - | 200 |3108 | 200 | 238 |8982k| 0 | 15k|-4.031250e+01 |-2.900000e+01 | 28.06%
560.30/560.34 c 560s|920000 |118581 | 14269k| 15.5 | 195M| 86 | - | 200 |3108 | 200 | 260 |9079k| 0 | 15k|-4.027778e+01 |-2.900000e+01 | 28.00%
565.71/565.76 c 566s|930000 |119377 | 14406k| 15.5 | 196M| 86 | - | 200 |3108 | 200 | 217 |9174k| 0 | 15k|-4.025000e+01 |-2.900000e+01 | 27.95%
571.20/571.25 c 571s|940000 |120237 | 14544k| 15.5 | 197M| 86 | - | 200 |3108 | 200 | 216 |9273k| 0 | 15k|-4.025000e+01 |-2.900000e+01 | 27.95%
576.71/576.80 c 577s|950000 |121143 | 14686k| 15.4 | 199M| 86 | 20 | 200 |3108 | 200 | 200 |9368k| 0 | 15k|-4.020000e+01 |-2.900000e+01 | 27.86%
582.21/582.22 c 582s|960000 |121991 | 14822k| 15.4 | 200M| 86 | 42 | 200 |3108 | 200 | 243 |9463k| 0 | 15k|-4.017857e+01 |-2.900000e+01 | 27.82%
587.61/587.61 c 588s|970000 |122827 | 14958k| 15.4 | 201M| 86 | 26 | 200 |3108 | 200 | 200 |9560k| 0 | 15k|-4.015789e+01 |-2.900000e+01 | 27.79%
593.03/593.09 c 593s|980000 |123711 | 15096k| 15.4 | 203M| 86 | 38 | 200 |3108 | 200 | 230 |9658k| 0 | 15k|-4.012500e+01 |-2.900000e+01 | 27.73%
598.52/598.53 c 599s|990000 |124551 | 15232k| 15.4 | 204M| 86 | - | 200 |3108 | 200 | 221 |9754k| 0 | 15k|-4.008333e+01 |-2.900000e+01 | 27.65%
603.81/603.89 c 604s| 1000k|125373 | 15367k| 15.4 | 205M| 86 | - | 200 |3108 | 200 | 218 |9847k| 0 | 15k|-4.005000e+01 |-2.900000e+01 | 27.59%
609.21/609.24 c 609s| 1010k|126167 | 15500k| 15.3 | 207M| 86 | - | 200 |3108 | 200 | 216 |9942k| 0 | 15k|-4.000000e+01 |-2.900000e+01 | 27.50%
614.81/614.81 c 615s| 1020k|127117 | 15642k| 15.3 | 208M| 86 | 41 | 200 |3108 | 200 | 219 | 10M| 0 | 15k|-4.000000e+01 |-2.900000e+01 | 27.50%
620.21/620.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
620.21/620.24 c 620s| 1030k|128005 | 15780k| 15.3 | 209M| 86 | - | 200 |3108 | 200 | 241 | 10M| 0 | 16k|-4.000000e+01 |-2.900000e+01 | 27.50%
625.61/625.64 c 626s| 1040k|128839 | 15913k| 15.3 | 211M| 86 | 54 | 200 |3108 | 200 | 216 | 10M| 0 | 16k|-4.000000e+01 |-2.900000e+01 | 27.50%
631.01/631.09 c 631s| 1050k|129699 | 16052k| 15.3 | 212M| 86 | 36 | 200 |3108 | 200 | 217 | 10M| 0 | 16k|-4.000000e+01 |-2.900000e+01 | 27.50%
636.41/636.40 c 636s| 1060k|130483 | 16185k| 15.3 | 213M| 86 | 7 | 200 |3108 | 200 | 219 | 10M| 0 | 16k|-4.000000e+01 |-2.900000e+01 | 27.50%
641.81/641.83 c 642s| 1070k|131381 | 16322k| 15.2 | 215M| 86 | 3 | 200 |3108 | 200 | 200 | 10M| 0 | 16k|-4.000000e+01 |-2.900000e+01 | 27.50%
647.11/647.19 c 647s| 1080k|132185 | 16456k| 15.2 | 216M| 86 | - | 200 |3108 | 200 | 243 | 10M| 0 | 16k|-3.995385e+01 |-2.900000e+01 | 27.42%
652.51/652.53 c 653s| 1090k|132929 | 16590k| 15.2 | 217M| 86 | - | 200 |3108 | 200 | 227 | 10M| 0 | 16k|-3.991667e+01 |-2.900000e+01 | 27.35%
657.82/657.85 c 658s| 1100k|133743 | 16722k| 15.2 | 218M| 86 | - | 200 |3108 | 200 | 215 | 10M| 0 | 16k|-3.988889e+01 |-2.900000e+01 | 27.30%
663.21/663.21 c 663s| 1110k|134585 | 16857k| 15.2 | 220M| 86 | 42 | 200 |3108 | 200 | 216 | 10M| 0 | 16k|-3.986250e+01 |-2.900000e+01 | 27.25%
668.61/668.62 c 669s| 1120k|135345 | 16993k| 15.2 | 221M| 91 | 4 | 200 |3108 | 200 | 200 | 10M| 0 | 16k|-3.983333e+01 |-2.900000e+01 | 27.20%
673.91/673.98 c 674s| 1130k|136175 | 17127k| 15.1 | 222M| 91 | - | 200 |3108 | 200 | 259 | 11M| 0 | 16k|-3.981633e+01 |-2.900000e+01 | 27.17%
679.31/679.32 c 679s| 1140k|136989 | 17260k| 15.1 | 223M| 91 | - | 200 |3108 | 200 | 224 | 11M| 0 | 16k|-3.980000e+01 |-2.900000e+01 | 27.14%
684.61/684.64 c 685s| 1150k|137819 | 17393k| 15.1 | 225M| 91 | 28 | 200 |3108 | 200 | 200 | 11M| 0 | 16k|-3.976471e+01 |-2.900000e+01 | 27.07%
690.01/690.00 c 690s| 1160k|138685 | 17528k| 15.1 | 226M| 91 | 43 | 200 |3108 | 200 | 236 | 11M| 0 | 16k|-3.975000e+01 |-2.900000e+01 | 27.04%
695.22/695.30 c 695s| 1170k|139453 | 17662k| 15.1 | 227M| 91 | - | 200 |3108 | 200 | 238 | 11M| 0 | 17k|-3.973684e+01 |-2.900000e+01 | 27.02%
700.62/700.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
700.62/700.62 c 701s| 1180k|140201 | 17795k| 15.1 | 228M| 91 | - | 200 |3108 | 200 | 247 | 11M| 0 | 17k|-3.970968e+01 |-2.900000e+01 | 26.97%
705.91/705.96 c 706s| 1190k|140973 | 17930k| 15.1 | 230M| 91 | 38 | 200 |3108 | 200 | 225 | 11M| 0 | 17k|-3.966667e+01 |-2.900000e+01 | 26.89%
711.21/711.22 c 711s| 1200k|141729 | 18062k| 15.0 | 231M| 91 | 7 | 200 |3108 | 200 | 213 | 11M| 0 | 17k|-3.966667e+01 |-2.900000e+01 | 26.89%
716.42/716.46 c 716s| 1210k|142519 | 18193k| 15.0 | 232M| 91 | 48 | 200 |3108 | 200 | 230 | 11M| 0 | 17k|-3.966667e+01 |-2.900000e+01 | 26.89%
721.72/721.72 c 722s| 1220k|143351 | 18324k| 15.0 | 233M| 91 | 18 | 200 |3108 | 200 | 215 | 11M| 0 | 17k|-3.964286e+01 |-2.900000e+01 | 26.85%
726.91/726.98 c 727s| 1230k|144107 | 18456k| 15.0 | 235M| 91 | 8 | 200 |3108 | 200 | 200 | 12M| 0 | 17k|-3.961538e+01 |-2.900000e+01 | 26.80%
732.22/732.22 c 732s| 1240k|144791 | 18586k| 15.0 | 236M| 91 | - | 200 |3108 | 200 | 222 | 12M| 0 | 17k|-3.960000e+01 |-2.900000e+01 | 26.77%
737.41/737.46 c 737s| 1250k|145547 | 18717k| 15.0 | 237M| 91 | - | 200 |3108 | 200 | 239 | 12M| 0 | 17k|-3.956522e+01 |-2.900000e+01 | 26.70%
742.72/742.73 c 743s| 1260k|146223 | 18849k| 14.9 | 238M| 91 | 51 | 200 |3108 | 200 | 258 | 12M| 0 | 17k|-3.952632e+01 |-2.900000e+01 | 26.63%
747.92/747.96 c 748s| 1270k|146895 | 18978k| 14.9 | 239M| 91 | 41 | 200 |3108 | 200 | 250 | 12M| 0 | 17k|-3.950000e+01 |-2.900000e+01 | 26.58%
753.21/753.29 c 753s| 1280k|147621 | 19111k| 14.9 | 240M| 91 | - | 200 |3108 | 200 | 233 | 12M| 0 | 17k|-3.950000e+01 |-2.900000e+01 | 26.58%
758.42/758.42 c 758s| 1290k|148275 | 19238k| 14.9 | 241M| 91 | 25 | 200 |3108 | 200 | 200 | 12M| 0 | 17k|-3.950000e+01 |-2.900000e+01 | 26.58%
763.61/763.61 c 764s| 1300k|148887 | 19366k| 14.9 | 242M| 91 | - | 200 |3108 | 200 | 219 | 12M| 0 | 18k|-3.950000e+01 |-2.900000e+01 | 26.58%
768.81/768.87 c 769s| 1310k|149701 | 19498k| 14.9 | 244M| 91 | 20 | 200 |3108 | 200 | 200 | 12M| 0 | 18k|-3.950000e+01 |-2.900000e+01 | 26.58%
774.01/774.09 c 774s| 1320k|150447 | 19628k| 14.9 | 245M| 91 | 21 | 200 |3108 | 200 | 217 | 12M| 0 | 18k|-3.945455e+01 |-2.900000e+01 | 26.50%
779.31/779.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
779.31/779.30 c 779s| 1330k|151081 | 19756k| 14.8 | 246M| 91 | 46 | 200 |3108 | 200 | 244 | 12M| 0 | 18k|-3.942857e+01 |-2.900000e+01 | 26.45%
784.52/784.55 c 785s| 1340k|151701 | 19886k| 14.8 | 247M| 91 | - | 200 |3108 | 200 | 220 | 13M| 0 | 18k|-3.940000e+01 |-2.900000e+01 | 26.40%
789.72/789.76 c 790s| 1350k|152331 | 20014k| 14.8 | 248M| 91 | 14 | 200 |3108 | 200 | 216 | 13M| 0 | 18k|-3.938462e+01 |-2.900000e+01 | 26.37%
794.81/794.89 c 795s| 1360k|152999 | 20141k| 14.8 | 249M| 91 | - | 200 |3108 | 200 | 210 | 13M| 0 | 18k|-3.936364e+01 |-2.900000e+01 | 26.33%
800.01/800.04 c 800s| 1370k|153671 | 20268k| 14.8 | 250M| 91 | - | 200 |3108 | 200 | 246 | 13M| 0 | 18k|-3.933333e+01 |-2.900000e+01 | 26.27%
805.12/805.20 c 805s| 1380k|154291 | 20396k| 14.8 | 251M| 91 | - | 200 |3108 | 200 | 238 | 13M| 0 | 18k|-3.933333e+01 |-2.900000e+01 | 26.27%
810.42/810.41 c 810s| 1390k|154971 | 20524k| 14.8 | 252M| 91 | 33 | 200 |3108 | 200 | 200 | 13M| 0 | 18k|-3.933333e+01 |-2.900000e+01 | 26.27%
815.62/815.63 c 816s| 1400k|155609 | 20654k| 14.7 | 253M| 91 | - | 200 |3108 | 200 | 265 | 13M| 0 | 18k|-3.929167e+01 |-2.900000e+01 | 26.19%
820.73/820.76 c 821s| 1410k|156211 | 20779k| 14.7 | 254M| 91 | 25 | 200 |3108 | 200 | 214 | 13M| 0 | 18k|-3.926087e+01 |-2.900000e+01 | 26.14%
825.92/825.93 c 826s| 1420k|156845 | 20907k| 14.7 | 255M| 91 | 54 | 200 |3108 | 200 | 255 | 13M| 0 | 18k|-3.925000e+01 |-2.900000e+01 | 26.11%
831.11/831.13 c 831s| 1430k|157481 | 21036k| 14.7 | 256M| 91 | 51 | 200 |3108 | 200 | 233 | 13M| 0 | 18k|-3.925000e+01 |-2.900000e+01 | 26.11%
836.31/836.31 c 836s| 1440k|158105 | 21163k| 14.7 | 257M| 91 | 12 | 200 |3108 | 200 | 213 | 13M| 0 | 18k|-3.922222e+01 |-2.900000e+01 | 26.06%
841.52/841.55 c 842s| 1450k|158795 | 21293k| 14.7 | 258M| 91 | 32 | 200 |3108 | 200 | 214 | 14M| 0 | 18k|-3.920000e+01 |-2.900000e+01 | 26.02%
846.71/846.71 c 847s| 1460k|159467 | 21419k| 14.7 | 259M| 98 | 51 | 200 |3108 | 200 | 200 | 14M| 0 | 19k|-3.917500e+01 |-2.900000e+01 | 25.97%
851.82/851.85 c 852s| 1470k|160005 | 21546k| 14.6 | 260M| 98 | 5 | 200 |3108 | 200 | 200 | 14M| 0 | 19k|-3.916667e+01 |-2.900000e+01 | 25.96%
857.03/857.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
857.03/857.07 c 857s| 1480k|160589 | 21675k| 14.6 | 261M| 98 | - | 200 |3108 | 200 | 245 | 14M| 0 | 19k|-3.914286e+01 |-2.900000e+01 | 25.91%
862.22/862.26 c 862s| 1490k|161223 | 21804k| 14.6 | 262M| 98 | 34 | 200 |3108 | 200 | 214 | 14M| 0 | 19k|-3.912500e+01 |-2.900000e+01 | 25.88%
867.42/867.43 c 867s| 1500k|161845 | 21931k| 14.6 | 263M| 98 | 5 | 200 |3108 | 200 | 221 | 14M| 0 | 19k|-3.909091e+01 |-2.900000e+01 | 25.81%
872.52/872.59 c 873s| 1510k|162459 | 22058k| 14.6 | 264M| 98 | - | 200 |3108 | 200 | 247 | 14M| 0 | 19k|-3.906250e+01 |-2.900000e+01 | 25.76%
877.72/877.79 c 878s| 1520k|163075 | 22185k| 14.6 | 266M| 98 | 15 | 200 |3108 | 200 | 200 | 14M| 0 | 19k|-3.900000e+01 |-2.900000e+01 | 25.64%
882.92/882.96 c 883s| 1530k|163645 | 22313k| 14.6 | 266M| 98 | 50 | 200 |3108 | 200 | 234 | 14M| 0 | 19k|-3.900000e+01 |-2.900000e+01 | 25.64%
888.12/888.20 c 888s| 1540k|164251 | 22441k| 14.6 | 267M| 98 | - | 200 |3108 | 200 | 229 | 14M| 0 | 19k|-3.900000e+01 |-2.900000e+01 | 25.64%
893.41/893.45 c 893s| 1550k|164945 | 22573k| 14.6 | 269M| 98 | - | 200 |3108 | 200 | 239 | 14M| 0 | 19k|-3.900000e+01 |-2.900000e+01 | 25.64%
898.62/898.65 c 899s| 1560k|165589 | 22701k| 14.5 | 270M| 98 | - | 200 |3108 | 200 | 219 | 15M| 0 | 19k|-3.900000e+01 |-2.900000e+01 | 25.64%
903.71/903.76 c 904s| 1570k|166095 | 22827k| 14.5 | 271M| 98 | - | 200 |3108 | 200 | 234 | 15M| 0 | 19k|-3.900000e+01 |-2.900000e+01 | 25.64%
908.81/908.88 c 909s| 1580k|166719 | 22952k| 14.5 | 272M| 104 | 26 | 200 |3108 | 200 | 218 | 15M| 0 | 19k|-3.900000e+01 |-2.900000e+01 | 25.64%
913.92/913.94 c 914s| 1590k|167215 | 23076k| 14.5 | 272M| 104 | - | 200 |3108 | 200 | 227 | 15M| 0 | 19k|-3.900000e+01 |-2.900000e+01 | 25.64%
919.01/919.09 c 919s| 1600k|167741 | 23201k| 14.5 | 273M| 104 | 39 | 200 |3108 | 200 | 212 | 15M| 0 | 19k|-3.900000e+01 |-2.900000e+01 | 25.64%
924.22/924.28 c 924s| 1610k|168323 | 23330k| 14.5 | 274M| 104 | - | 200 |3108 | 200 | 224 | 15M| 0 | 19k|-3.900000e+01 |-2.900000e+01 | 25.64%
929.41/929.45 c 929s| 1620k|168875 | 23458k| 14.5 | 275M| 104 | - | 200 |3108 | 200 | 220 | 15M| 0 | 19k|-3.900000e+01 |-2.900000e+01 | 25.64%
934.62/934.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
934.62/934.67 c 935s| 1630k|169483 | 23587k| 14.5 | 276M| 104 | 60 | 200 |3108 | 200 | 254 | 15M| 0 | 20k|-3.900000e+01 |-2.900000e+01 | 25.64%
939.72/939.78 c 940s| 1640k|169977 | 23711k| 14.5 | 277M| 104 | 44 | 200 |3108 | 200 | 223 | 15M| 0 | 20k|-3.895833e+01 |-2.900000e+01 | 25.56%
944.93/944.91 c 945s| 1650k|170467 | 23835k| 14.4 | 278M| 104 | - | 200 |3108 | 200 | 221 | 15M| 0 | 20k|-3.891667e+01 |-2.900000e+01 | 25.48%
950.02/950.00 c 950s| 1660k|171031 | 23960k| 14.4 | 279M| 104 | 3 | 200 |3108 | 200 | 214 | 16M| 0 | 20k|-3.890000e+01 |-2.900000e+01 | 25.45%
955.12/955.14 c 955s| 1670k|171561 | 24085k| 14.4 | 280M| 104 | - | 200 |3108 | 200 | 234 | 16M| 0 | 20k|-3.887500e+01 |-2.900000e+01 | 25.40%
960.22/960.23 c 960s| 1680k|172019 | 24207k| 14.4 | 281M| 104 | 14 | 200 |3108 | 200 | 208 | 16M| 0 | 20k|-3.886207e+01 |-2.900000e+01 | 25.38%
965.31/965.31 c 965s| 1690k|172545 | 24330k| 14.4 | 281M| 104 | - | 200 |3108 | 200 | 223 | 16M| 0 | 20k|-3.883333e+01 |-2.900000e+01 | 25.32%
970.42/970.41 c 970s| 1700k|173063 | 24455k| 14.4 | 282M| 104 | 24 | 200 |3108 | 200 | 230 | 16M| 0 | 20k|-3.883333e+01 |-2.900000e+01 | 25.32%
975.52/975.53 c 976s| 1710k|173639 | 24579k| 14.4 | 283M| 104 | - | 200 |3108 | 200 | 240 | 16M| 0 | 20k|-3.880000e+01 |-2.900000e+01 | 25.26%
980.62/980.63 c 981s| 1720k|174207 | 24704k| 14.4 | 284M| 104 | 59 | 200 |3108 | 200 | 200 | 16M| 0 | 20k|-3.878049e+01 |-2.900000e+01 | 25.22%
985.63/985.69 c 986s| 1730k|174731 | 24826k| 14.3 | 285M| 104 | 50 | 200 |3108 | 200 | 218 | 16M| 0 | 20k|-3.875000e+01 |-2.900000e+01 | 25.16%
990.72/990.79 c 991s| 1740k|175327 | 24952k| 14.3 | 286M| 104 | 3 | 200 |3108 | 200 | 223 | 16M| 0 | 20k|-3.875000e+01 |-2.900000e+01 | 25.16%
995.82/995.88 c 996s| 1750k|175853 | 25075k| 14.3 | 287M| 104 | - | 200 |3108 | 200 | 224 | 16M| 0 | 20k|-3.875000e+01 |-2.900000e+01 | 25.16%
1000.92/1000.99 c 1001s| 1760k|176381 | 25199k| 14.3 | 288M| 104 | 48 | 200 |3108 | 200 | 213 | 16M| 0 | 20k|-3.874074e+01 |-2.900000e+01 | 25.14%
1006.12/1006.14 c 1006s| 1770k|176873 | 25324k| 14.3 | 289M| 104 | 69 | 200 |3108 | 200 | 253 | 16M| 0 | 20k|-3.871429e+01 |-2.900000e+01 | 25.09%
1011.12/1011.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1011.12/1011.18 c 1011s| 1780k|177399 | 25447k| 14.3 | 290M| 104 | 10 | 200 |3108 | 200 | 216 | 17M| 0 | 20k|-3.869101e+01 |-2.900000e+01 | 25.05%
1016.12/1016.18 c 1016s| 1790k|177927 | 25567k| 14.3 | 291M| 104 | - | 200 |3108 | 200 | 229 | 17M| 0 | 20k|-3.866667e+01 |-2.900000e+01 | 25.00%
1021.23/1021.22 c 1021s| 1800k|178507 | 25690k| 14.3 | 291M| 104 | 27 | 200 |3108 | 200 | 218 | 17M| 0 | 21k|-3.866667e+01 |-2.900000e+01 | 25.00%
1026.33/1026.33 c 1026s| 1810k|179025 | 25815k| 14.3 | 292M| 104 | - | 200 |3108 | 200 | 216 | 17M| 0 | 21k|-3.866667e+01 |-2.900000e+01 | 25.00%
1031.42/1031.43 c 1031s| 1820k|179597 | 25940k| 14.2 | 293M| 104 | 12 | 200 |3108 | 200 | 211 | 17M| 0 | 21k|-3.866667e+01 |-2.900000e+01 | 25.00%
1036.42/1036.48 c 1036s| 1830k|179985 | 26062k| 14.2 | 294M| 104 | - | 200 |3108 | 200 | 230 | 17M| 0 | 21k|-3.863158e+01 |-2.900000e+01 | 24.93%
1041.52/1041.52 c 1042s| 1840k|180467 | 26183k| 14.2 | 295M| 104 | 33 | 200 |3108 | 200 | 233 | 17M| 0 | 21k|-3.862245e+01 |-2.900000e+01 | 24.91%
1046.52/1046.56 c 1047s| 1850k|180973 | 26306k| 14.2 | 296M| 104 | 10 | 200 |3108 | 200 | 200 | 17M| 0 | 21k|-3.860000e+01 |-2.900000e+01 | 24.87%
1051.64/1051.68 c 1052s| 1860k|181523 | 26430k| 14.2 | 297M| 104 | 38 | 200 |3108 | 200 | 200 | 17M| 0 | 21k|-3.857692e+01 |-2.900000e+01 | 24.83%
1056.73/1056.76 c 1057s| 1870k|181971 | 26552k| 14.2 | 297M| 104 | 5 | 200 |3108 | 200 | 224 | 17M| 0 | 21k|-3.855556e+01 |-2.900000e+01 | 24.78%
1061.83/1061.84 c 1062s| 1880k|182375 | 26675k| 14.2 | 298M| 104 | - | 200 |3108 | 200 | 216 | 17M| 0 | 21k|-3.852941e+01 |-2.900000e+01 | 24.73%
1066.92/1066.94 c 1067s| 1890k|182895 | 26800k| 14.2 | 299M| 104 | - | 200 |3108 | 200 | 260 | 18M| 0 | 21k|-3.850000e+01 |-2.900000e+01 | 24.68%
1072.02/1072.03 c 1072s| 1900k|183397 | 26924k| 14.2 | 300M| 104 | 22 | 200 |3108 | 200 | 200 | 18M| 0 | 21k|-3.850000e+01 |-2.900000e+01 | 24.68%
1076.93/1076.97 c 1077s| 1910k|183875 | 27043k| 14.2 | 301M| 104 | 49 | 200 |3108 | 200 | 237 | 18M| 0 | 21k|-3.850000e+01 |-2.900000e+01 | 24.68%
1081.92/1081.94 c 1082s| 1920k|184295 | 27163k| 14.1 | 302M| 104 | 31 | 200 |3108 | 200 | 224 | 18M| 0 | 21k|-3.850000e+01 |-2.900000e+01 | 24.68%
1087.02/1087.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1087.02/1087.01 c 1087s| 1930k|184807 | 27285k| 14.1 | 302M| 104 | - | 200 |3108 | 200 | 236 | 18M| 0 | 21k|-3.850000e+01 |-2.900000e+01 | 24.68%
1092.02/1092.05 c 1092s| 1940k|185409 | 27407k| 14.1 | 303M| 104 | - | 200 |3108 | 200 | 221 | 18M| 0 | 21k|-3.850000e+01 |-2.900000e+01 | 24.68%
1097.02/1097.00 c 1097s| 1950k|185901 | 27526k| 14.1 | 304M| 104 | - | 200 |3108 | 200 | 233 | 18M| 0 | 21k|-3.850000e+01 |-2.900000e+01 | 24.68%
1101.93/1101.97 c 1102s| 1960k|186305 | 27645k| 14.1 | 305M| 104 | 42 | 200 |3108 | 200 | 211 | 18M| 0 | 21k|-3.850000e+01 |-2.900000e+01 | 24.68%
1107.02/1107.06 c 1107s| 1970k|186763 | 27769k| 14.1 | 306M| 104 | 14 | 200 |3108 | 200 | 214 | 18M| 0 | 21k|-3.850000e+01 |-2.900000e+01 | 24.68%
1112.03/1112.02 c 1112s| 1980k|187195 | 27886k| 14.1 | 306M| 104 | 32 | 200 |3108 | 200 | 218 | 18M| 0 | 22k|-3.846667e+01 |-2.900000e+01 | 24.61%
1117.03/1117.06 c 1117s| 1990k|187655 | 28007k| 14.1 | 307M| 104 | 28 | 200 |3108 | 200 | 231 | 18M| 0 | 22k|-3.844444e+01 |-2.900000e+01 | 24.57%
1122.04/1122.07 c 1122s| 2000k|188109 | 28126k| 14.1 | 308M| 104 | 13 | 200 |3108 | 200 | 220 | 19M| 0 | 22k|-3.842424e+01 |-2.900000e+01 | 24.53%
1127.13/1127.11 c 1127s| 2010k|188589 | 28247k| 14.0 | 309M| 104 | - | 200 |3108 | 200 | 240 | 19M| 0 | 22k|-3.840000e+01 |-2.900000e+01 | 24.48%
1132.13/1132.16 c 1132s| 2020k|189057 | 28368k| 14.0 | 310M| 104 | 46 | 200 |3108 | 200 | 235 | 19M| 0 | 22k|-3.840000e+01 |-2.900000e+01 | 24.48%
1137.13/1137.17 c 1137s| 2030k|189445 | 28488k| 14.0 | 310M| 104 | - | 200 |3108 | 200 | 247 | 19M| 0 | 22k|-3.837500e+01 |-2.900000e+01 | 24.43%
1142.12/1142.10 c 1142s| 2040k|189843 | 28605k| 14.0 | 311M| 104 | 8 | 200 |3108 | 200 | 223 | 19M| 0 | 22k|-3.835714e+01 |-2.900000e+01 | 24.39%
1147.12/1147.16 c 1147s| 2050k|190313 | 28726k| 14.0 | 312M| 104 | 26 | 200 |3108 | 200 | 233 | 19M| 0 | 22k|-3.833333e+01 |-2.900000e+01 | 24.35%
1152.22/1152.21 c 1152s| 2060k|190717 | 28847k| 14.0 | 313M| 104 | 52 | 200 |3108 | 200 | 252 | 19M| 0 | 22k|-3.833333e+01 |-2.900000e+01 | 24.35%
1157.12/1157.20 c 1157s| 2070k|191225 | 28968k| 14.0 | 313M| 104 | 49 | 200 |3108 | 200 | 256 | 19M| 0 | 22k|-3.833333e+01 |-2.900000e+01 | 24.35%
1162.22/1162.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1162.22/1162.23 c 1162s| 2080k|191725 | 29089k| 14.0 | 314M| 104 | 17 | 200 |3108 | 200 | 200 | 19M| 0 | 22k|-3.833333e+01 |-2.900000e+01 | 24.35%
1167.24/1167.22 c 1167s| 2090k|192237 | 29207k| 14.0 | 315M| 104 | - | 200 |3108 | 200 | 255 | 19M| 0 | 22k|-3.830000e+01 |-2.900000e+01 | 24.28%
1172.12/1172.20 c 1172s| 2100k|192663 | 29325k| 14.0 | 316M| 104 | - | 200 |3108 | 200 | 238 | 19M| 0 | 22k|-3.828205e+01 |-2.900000e+01 | 24.25%
1177.22/1177.26 c 1177s| 2110k|193095 | 29446k| 13.9 | 317M| 104 | - | 200 |3108 | 200 | 241 | 20M| 0 | 22k|-3.825000e+01 |-2.900000e+01 | 24.18%
1182.23/1182.20 c 1182s| 2120k|193599 | 29565k| 13.9 | 318M| 104 | 38 | 200 |3108 | 200 | 215 | 20M| 0 | 22k|-3.825000e+01 |-2.900000e+01 | 24.18%
1187.23/1187.20 c 1187s| 2130k|194057 | 29684k| 13.9 | 318M| 104 | - | 200 |3108 | 200 | 265 | 20M| 0 | 22k|-3.825000e+01 |-2.900000e+01 | 24.18%
1192.12/1192.18 c 1192s| 2140k|194453 | 29803k| 13.9 | 319M| 104 | 7 | 200 |3108 | 200 | 200 | 20M| 0 | 22k|-3.825000e+01 |-2.900000e+01 | 24.18%
1197.13/1197.11 c 1197s| 2150k|194807 | 29920k| 13.9 | 320M| 104 | - | 200 |3108 | 200 | 243 | 20M| 0 | 22k|-3.822222e+01 |-2.900000e+01 | 24.13%
1202.02/1202.04 c 1202s| 2160k|195201 | 30036k| 13.9 | 320M| 104 | 49 | 200 |3108 | 200 | 249 | 20M| 0 | 22k|-3.820000e+01 |-2.900000e+01 | 24.08%
1207.13/1207.11 c 1207s| 2170k|195727 | 30157k| 13.9 | 321M| 104 | - | 200 |3108 | 200 | 216 | 20M| 0 | 22k|-3.819481e+01 |-2.900000e+01 | 24.07%
1212.02/1212.02 c 1212s| 2180k|196061 | 30273k| 13.9 | 322M| 104 | - | 200 |3108 | 200 | 230 | 20M| 0 | 22k|-3.816667e+01 |-2.900000e+01 | 24.02%
1217.03/1217.04 c 1217s| 2190k|196505 | 30392k| 13.9 | 323M| 104 | 16 | 200 |3108 | 200 | 200 | 20M| 0 | 23k|-3.816667e+01 |-2.900000e+01 | 24.02%
1222.03/1222.04 c 1222s| 2200k|196947 | 30512k| 13.9 | 323M| 104 | - | 200 |3108 | 200 | 231 | 20M| 0 | 23k|-3.814286e+01 |-2.900000e+01 | 23.97%
1226.93/1226.95 c 1227s| 2210k|197347 | 30629k| 13.9 | 324M| 104 | 28 | 200 |3108 | 200 | 230 | 20M| 0 | 23k|-3.812500e+01 |-2.900000e+01 | 23.93%
1231.92/1231.96 c 1232s| 2220k|197715 | 30747k| 13.8 | 325M| 104 | 65 | 200 |3108 | 200 | 245 | 20M| 0 | 23k|-3.811111e+01 |-2.900000e+01 | 23.91%
1236.83/1236.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1236.83/1236.84 c 1237s| 2230k|198077 | 30863k| 13.8 | 326M| 104 | - | 200 |3108 | 200 | 216 | 21M| 0 | 23k|-3.810000e+01 |-2.900000e+01 | 23.88%
1241.83/1241.84 c 1242s| 2240k|198453 | 30981k| 13.8 | 326M| 104 | 12 | 200 |3108 | 200 | 200 | 21M| 0 | 23k|-3.807500e+01 |-2.900000e+01 | 23.83%
1246.82/1246.82 c 1247s| 2250k|198851 | 31099k| 13.8 | 327M| 104 | - | 200 |3108 | 200 | 250 | 21M| 0 | 23k|-3.804167e+01 |-2.900000e+01 | 23.77%
1251.73/1251.81 c 1252s| 2260k|199241 | 31218k| 13.8 | 328M| 104 | 12 | 200 |3108 | 200 | 218 | 21M| 0 | 23k|-3.800000e+01 |-2.900000e+01 | 23.68%
1256.73/1256.73 c 1257s| 2270k|199613 | 31335k| 13.8 | 328M| 104 | - | 200 |3108 | 200 | 231 | 21M| 0 | 23k|-3.800000e+01 |-2.900000e+01 | 23.68%
1261.63/1261.68 c 1262s| 2280k|200015 | 31452k| 13.8 | 329M| 104 | 28 | 200 |3108 | 200 | 215 | 21M| 0 | 23k|-3.800000e+01 |-2.900000e+01 | 23.68%
1266.63/1266.63 c 1267s| 2290k|200365 | 31570k| 13.8 | 330M| 104 | 18 | 200 |3108 | 200 | 256 | 21M| 0 | 23k|-3.800000e+01 |-2.900000e+01 | 23.68%
1271.64/1271.62 c 1272s| 2300k|200829 | 31690k| 13.8 | 331M| 104 | 38 | 200 |3108 | 200 | 213 | 21M| 0 | 23k|-3.800000e+01 |-2.900000e+01 | 23.68%
1276.53/1276.60 c 1277s| 2310k|201275 | 31809k| 13.8 | 331M| 104 | - | 200 |3108 | 200 | 241 | 21M| 0 | 23k|-3.800000e+01 |-2.900000e+01 | 23.68%
1281.43/1281.49 c 1281s| 2320k|201655 | 31926k| 13.8 | 332M| 104 | 43 | 200 |3108 | 200 | 221 | 21M| 0 | 23k|-3.800000e+01 |-2.900000e+01 | 23.68%
1286.33/1286.37 c 1286s| 2330k|202065 | 32039k| 13.7 | 333M| 104 | - | 200 |3108 | 200 | 225 | 21M| 0 | 23k|-3.800000e+01 |-2.900000e+01 | 23.68%
1291.33/1291.32 c 1291s| 2340k|202457 | 32155k| 13.7 | 333M| 104 | 56 | 200 |3108 | 200 | 279 | 22M| 0 | 23k|-3.800000e+01 |-2.900000e+01 | 23.68%
1296.23/1296.20 c 1296s| 2350k|202743 | 32270k| 13.7 | 334M| 104 | 16 | 200 |3108 | 200 | 200 | 22M| 0 | 23k|-3.800000e+01 |-2.900000e+01 | 23.68%
1301.13/1301.13 c 1301s| 2360k|203119 | 32386k| 13.7 | 335M| 104 | 40 | 200 |3108 | 200 | 240 | 22M| 0 | 23k|-3.800000e+01 |-2.900000e+01 | 23.68%
1306.03/1306.02 c 1306s| 2370k|203473 | 32501k| 13.7 | 335M| 104 | 43 | 200 |3108 | 200 | 256 | 22M| 0 | 23k|-3.800000e+01 |-2.900000e+01 | 23.68%
1310.93/1310.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1310.93/1310.94 c 1311s| 2380k|203849 | 32618k| 13.7 | 336M| 104 | 26 | 200 |3108 | 200 | 212 | 22M| 0 | 23k|-3.800000e+01 |-2.900000e+01 | 23.68%
1315.83/1315.89 c 1316s| 2390k|204217 | 32736k| 13.7 | 337M| 104 | 41 | 200 |3108 | 200 | 210 | 22M| 0 | 23k|-3.800000e+01 |-2.900000e+01 | 23.68%
1320.83/1320.88 c 1321s| 2400k|204669 | 32854k| 13.7 | 337M| 104 | 37 | 200 |3108 | 200 | 217 | 22M| 0 | 24k|-3.800000e+01 |-2.900000e+01 | 23.68%
1325.83/1325.83 c 1326s| 2410k|205115 | 32972k| 13.7 | 338M| 104 | 12 | 200 |3108 | 200 | 213 | 22M| 0 | 24k|-3.800000e+01 |-2.900000e+01 | 23.68%
1330.83/1330.82 c 1331s| 2420k|205537 | 33090k| 13.7 | 339M| 104 | 20 | 200 |3108 | 200 | 231 | 22M| 0 | 24k|-3.800000e+01 |-2.900000e+01 | 23.68%
1335.73/1335.74 c 1336s| 2430k|205903 | 33206k| 13.7 | 340M| 104 | - | 200 |3108 | 200 | 228 | 22M| 0 | 24k|-3.800000e+01 |-2.900000e+01 | 23.68%
1340.63/1340.69 c 1341s| 2440k|206247 | 33322k| 13.7 | 340M| 104 | 18 | 200 |3108 | 200 | 224 | 22M| 0 | 24k|-3.795536e+01 |-2.900000e+01 | 23.59%
1345.53/1345.55 c 1346s| 2450k|206555 | 33435k| 13.6 | 341M| 104 | 37 | 200 |3108 | 200 | 217 | 22M| 0 | 24k|-3.792857e+01 |-2.900000e+01 | 23.54%
1350.43/1350.43 c 1350s| 2460k|206911 | 33550k| 13.6 | 342M| 104 | 40 | 200 |3108 | 200 | 241 | 23M| 0 | 24k|-3.790909e+01 |-2.900000e+01 | 23.50%
1355.35/1355.34 c 1355s| 2470k|207201 | 33664k| 13.6 | 342M| 104 | - | 200 |3108 | 200 | 244 | 23M| 0 | 24k|-3.788889e+01 |-2.900000e+01 | 23.46%
1360.23/1360.24 c 1360s| 2480k|207579 | 33779k| 13.6 | 343M| 104 | 8 | 200 |3108 | 200 | 218 | 23M| 0 | 24k|-3.787500e+01 |-2.900000e+01 | 23.43%
1365.03/1365.05 c 1365s| 2490k|207871 | 33891k| 13.6 | 343M| 104 | 13 | 200 |3108 | 200 | 200 | 23M| 0 | 24k|-3.786957e+01 |-2.900000e+01 | 23.42%
1369.93/1369.96 c 1370s| 2500k|208179 | 34007k| 13.6 | 344M| 104 | - | 200 |3108 | 200 | 249 | 23M| 0 | 24k|-3.785714e+01 |-2.900000e+01 | 23.40%
1374.83/1374.81 c 1375s| 2510k|208533 | 34122k| 13.6 | 345M| 104 | 42 | 200 |3108 | 200 | 227 | 23M| 0 | 24k|-3.783333e+01 |-2.900000e+01 | 23.35%
1379.63/1379.68 c 1380s| 2520k|208859 | 34235k| 13.6 | 345M| 104 | - | 200 |3108 | 200 | 225 | 23M| 0 | 24k|-3.783333e+01 |-2.900000e+01 | 23.35%
1384.53/1384.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1384.53/1384.51 c 1385s| 2530k|209245 | 34348k| 13.6 | 346M| 104 | 29 | 200 |3108 | 200 | 213 | 23M| 0 | 24k|-3.781818e+01 |-2.900000e+01 | 23.32%
1389.34/1389.35 c 1389s| 2540k|209589 | 34461k| 13.6 | 347M| 104 | - | 200 |3108 | 200 | 231 | 23M| 0 | 24k|-3.780000e+01 |-2.900000e+01 | 23.28%
1394.14/1394.20 c 1394s| 2550k|209965 | 34574k| 13.6 | 347M| 104 | - | 200 |3108 | 200 | 217 | 23M| 0 | 24k|-3.780000e+01 |-2.900000e+01 | 23.28%
1399.03/1399.07 c 1399s| 2560k|210347 | 34689k| 13.5 | 348M| 104 | 10 | 200 |3108 | 200 | 214 | 23M| 0 | 24k|-3.777778e+01 |-2.900000e+01 | 23.24%
1403.93/1403.90 c 1404s| 2570k|210613 | 34800k| 13.5 | 348M| 104 | - | 200 |3108 | 200 | 279 | 23M| 0 | 24k|-3.775000e+01 |-2.900000e+01 | 23.18%
1408.63/1408.69 c 1409s| 2580k|210987 | 34912k| 13.5 | 349M| 104 | - | 200 |3108 | 200 | 216 | 24M| 0 | 24k|-3.775000e+01 |-2.900000e+01 | 23.18%
1413.55/1413.57 c 1414s| 2590k|211325 | 35026k| 13.5 | 350M| 104 | - | 200 |3108 | 200 | 223 | 24M| 0 | 24k|-3.775000e+01 |-2.900000e+01 | 23.18%
1418.43/1418.41 c 1418s| 2600k|211677 | 35138k| 13.5 | 350M| 104 | 18 | 200 |3108 | 200 | 200 | 24M| 0 | 24k|-3.775000e+01 |-2.900000e+01 | 23.18%
1423.23/1423.22 c 1423s| 2610k|212033 | 35250k| 13.5 | 351M| 104 | 42 | 200 |3108 | 200 | 233 | 24M| 0 | 24k|-3.775000e+01 |-2.900000e+01 | 23.18%
1428.04/1428.09 c 1428s| 2620k|212363 | 35363k| 13.5 | 352M| 104 | - | 200 |3108 | 200 | 246 | 24M| 0 | 25k|-3.773684e+01 |-2.900000e+01 | 23.15%
1432.84/1432.86 c 1433s| 2630k|212691 | 35473k| 13.5 | 352M| 104 | - | 200 |3108 | 200 | 215 | 24M| 0 | 25k|-3.771429e+01 |-2.900000e+01 | 23.11%
1437.64/1437.63 c 1438s| 2640k|212959 | 35583k| 13.5 | 353M| 104 | - | 200 |3108 | 200 | 222 | 24M| 0 | 25k|-3.771429e+01 |-2.900000e+01 | 23.11%
1442.43/1442.44 c 1442s| 2650k|213281 | 35695k| 13.5 | 353M| 104 | - | 200 |3108 | 200 | 243 | 24M| 0 | 25k|-3.768750e+01 |-2.900000e+01 | 23.05%
1447.24/1447.28 c 1447s| 2660k|213595 | 35808k| 13.5 | 354M| 104 | - | 200 |3108 | 200 | 241 | 24M| 0 | 25k|-3.766667e+01 |-2.900000e+01 | 23.01%
1452.15/1452.12 c 1452s| 2670k|213903 | 35922k| 13.4 | 355M| 104 | 23 | 200 |3108 | 200 | 223 | 24M| 0 | 25k|-3.766667e+01 |-2.900000e+01 | 23.01%
1456.83/1456.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1456.83/1456.89 c 1457s| 2680k|214313 | 36034k| 13.4 | 355M| 104 | - | 200 |3108 | 200 | 232 | 24M| 0 | 25k|-3.766667e+01 |-2.900000e+01 | 23.01%
1461.74/1461.70 c 1462s| 2690k|214681 | 36146k| 13.4 | 356M| 104 | - | 200 |3108 | 200 | 227 | 25M| 0 | 25k|-3.766667e+01 |-2.900000e+01 | 23.01%
1466.45/1466.45 c 1466s| 2700k|214955 | 36256k| 13.4 | 356M| 104 | - | 200 |3108 | 200 | 219 | 25M| 0 | 25k|-3.766667e+01 |-2.900000e+01 | 23.01%
1471.24/1471.23 c 1471s| 2710k|215235 | 36366k| 13.4 | 357M| 104 | - | 200 |3108 | 200 | 217 | 25M| 0 | 25k|-3.766667e+01 |-2.900000e+01 | 23.01%
1476.13/1476.15 c 1476s| 2720k|215559 | 36481k| 13.4 | 358M| 104 | - | 200 |3108 | 200 | 228 | 25M| 0 | 25k|-3.765385e+01 |-2.900000e+01 | 22.98%
1480.93/1480.93 c 1481s| 2730k|215817 | 36592k| 13.4 | 358M| 104 | 8 | 200 |3108 | 200 | 216 | 25M| 0 | 25k|-3.763158e+01 |-2.900000e+01 | 22.94%
1485.74/1485.72 c 1486s| 2740k|216133 | 36703k| 13.4 | 359M| 104 | - | 200 |3108 | 200 | 237 | 25M| 0 | 25k|-3.762500e+01 |-2.900000e+01 | 22.92%
1490.44/1490.47 c 1490s| 2750k|216411 | 36813k| 13.4 | 359M| 104 | - | 200 |3108 | 200 | 251 | 25M| 0 | 25k|-3.760000e+01 |-2.900000e+01 | 22.87%
1495.34/1495.31 c 1495s| 2760k|216691 | 36924k| 13.4 | 360M| 104 | - | 200 |3108 | 200 | 226 | 25M| 0 | 25k|-3.760000e+01 |-2.900000e+01 | 22.87%
1500.03/1500.04 c 1500s| 2770k|216981 | 37033k| 13.4 | 360M| 104 | - | 200 |3108 | 200 | 219 | 25M| 0 | 25k|-3.758824e+01 |-2.900000e+01 | 22.85%
1504.74/1504.78 c 1505s| 2780k|217239 | 37142k| 13.4 | 361M| 104 | 34 | 200 |3108 | 200 | 233 | 25M| 0 | 25k|-3.757143e+01 |-2.900000e+01 | 22.81%
1509.54/1509.60 c 1510s| 2790k|217513 | 37253k| 13.3 | 361M| 104 | - | 200 |3108 | 200 | 229 | 25M| 0 | 25k|-3.756250e+01 |-2.900000e+01 | 22.80%
1514.34/1514.35 c 1514s| 2800k|217787 | 37363k| 13.3 | 362M| 104 | - | 200 |3108 | 200 | 237 | 25M| 0 | 25k|-3.754545e+01 |-2.900000e+01 | 22.76%
1519.04/1519.10 c 1519s| 2810k|218039 | 37471k| 13.3 | 362M| 104 | - | 200 |3108 | 200 | 243 | 25M| 0 | 25k|-3.750877e+01 |-2.900000e+01 | 22.68%
1523.83/1523.86 c 1524s| 2820k|218383 | 37582k| 13.3 | 363M| 104 | 55 | 200 |3108 | 200 | 234 | 26M| 0 | 25k|-3.750000e+01 |-2.900000e+01 | 22.67%
1528.63/1528.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1528.63/1528.68 c 1529s| 2830k|218675 | 37694k| 13.3 | 364M| 104 | - | 200 |3108 | 200 | 228 | 26M| 0 | 25k|-3.750000e+01 |-2.900000e+01 | 22.67%
1533.44/1533.44 c 1533s| 2840k|218893 | 37804k| 13.3 | 364M| 104 | 15 | 200 |3108 | 200 | 212 | 26M| 0 | 25k|-3.750000e+01 |-2.900000e+01 | 22.67%
1538.14/1538.19 c 1538s| 2850k|219163 | 37914k| 13.3 | 365M| 104 | 45 | 200 |3108 | 200 | 258 | 26M| 0 | 25k|-3.750000e+01 |-2.900000e+01 | 22.67%
1542.94/1542.98 c 1543s| 2860k|219435 | 38023k| 13.3 | 365M| 104 | - | 200 |3108 | 200 | 218 | 26M| 0 | 26k|-3.750000e+01 |-2.900000e+01 | 22.67%
1547.75/1547.76 c 1548s| 2870k|219809 | 38134k| 13.3 | 366M| 104 | 10 | 200 |3108 | 200 | 212 | 26M| 0 | 26k|-3.750000e+01 |-2.900000e+01 | 22.67%
1552.53/1552.57 c 1553s| 2880k|220179 | 38244k| 13.3 | 367M| 104 | 37 | 200 |3108 | 200 | 228 | 26M| 0 | 26k|-3.750000e+01 |-2.900000e+01 | 22.67%
1557.34/1557.34 c 1557s| 2890k|220445 | 38354k| 13.3 | 367M| 104 | - | 200 |3108 | 200 | 200 | 26M| 0 | 26k|-3.750000e+01 |-2.900000e+01 | 22.67%
1562.04/1562.10 c 1562s| 2900k|220707 | 38465k| 13.3 | 368M| 104 | 54 | 200 |3108 | 200 | 219 | 26M| 0 | 26k|-3.750000e+01 |-2.900000e+01 | 22.67%
1566.93/1566.90 c 1567s| 2910k|220967 | 38576k| 13.3 | 368M| 104 | 52 | 200 |3108 | 200 | 249 | 26M| 0 | 26k|-3.750000e+01 |-2.900000e+01 | 22.67%
1571.64/1571.63 c 1572s| 2920k|221255 | 38686k| 13.2 | 369M| 104 | 50 | 200 |3108 | 200 | 200 | 26M| 0 | 26k|-3.750000e+01 |-2.900000e+01 | 22.67%
1576.46/1576.42 c 1576s| 2930k|221503 | 38796k| 13.2 | 369M| 104 | 6 | 200 |3108 | 200 | 215 | 26M| 0 | 26k|-3.750000e+01 |-2.900000e+01 | 22.67%
1581.14/1581.11 c 1581s| 2940k|221733 | 38903k| 13.2 | 370M| 104 | 48 | 200 |3108 | 200 | 248 | 27M| 0 | 26k|-3.750000e+01 |-2.900000e+01 | 22.67%
1585.84/1585.83 c 1586s| 2950k|222021 | 39010k| 13.2 | 370M| 104 | 53 | 200 |3108 | 200 | 240 | 27M| 0 | 26k|-3.750000e+01 |-2.900000e+01 | 22.67%
1590.54/1590.57 c 1591s| 2960k|222223 | 39119k| 13.2 | 371M| 104 | 8 | 200 |3108 | 200 | 234 | 27M| 0 | 26k|-3.750000e+01 |-2.900000e+01 | 22.67%
1595.44/1595.42 c 1595s| 2970k|222539 | 39232k| 13.2 | 371M| 104 | - | 200 |3108 | 200 | 239 | 27M| 0 | 26k|-3.750000e+01 |-2.900000e+01 | 22.67%
1600.24/1600.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1600.24/1600.22 c 1600s| 2980k|222813 | 39342k| 13.2 | 372M| 104 | 25 | 200 |3108 | 200 | 212 | 27M| 0 | 26k|-3.750000e+01 |-2.900000e+01 | 22.67%
1604.95/1604.95 c 1605s| 2990k|223101 | 39452k| 13.2 | 372M| 104 | - | 200 |3108 | 200 | 222 | 27M| 0 | 26k|-3.746667e+01 |-2.900000e+01 | 22.60%
1609.74/1609.74 c 1610s| 3000k|223425 | 39561k| 13.2 | 373M| 104 | 8 | 200 |3108 | 200 | 213 | 27M| 0 | 26k|-3.744444e+01 |-2.900000e+01 | 22.55%
1614.44/1614.44 c 1614s| 3010k|223639 | 39668k| 13.2 | 373M| 104 | - | 200 |3108 | 200 | 220 | 27M| 0 | 26k|-3.742857e+01 |-2.900000e+01 | 22.52%
1619.25/1619.22 c 1619s| 3020k|223891 | 39778k| 13.2 | 374M| 104 | 47 | 200 |3108 | 200 | 238 | 27M| 0 | 26k|-3.741667e+01 |-2.900000e+01 | 22.49%
1624.04/1624.02 c 1624s| 3030k|224127 | 39888k| 13.2 | 374M| 104 | 26 | 200 |3108 | 200 | 210 | 27M| 0 | 26k|-3.740000e+01 |-2.900000e+01 | 22.46%
1628.84/1628.80 c 1629s| 3040k|224427 | 39998k| 13.2 | 375M| 104 | - | 200 |3108 | 200 | 215 | 27M| 0 | 26k|-3.740000e+01 |-2.900000e+01 | 22.46%
1633.55/1633.56 c 1634s| 3050k|224669 | 40107k| 13.1 | 375M| 104 | - | 200 |3108 | 200 | 214 | 27M| 0 | 26k|-3.737500e+01 |-2.900000e+01 | 22.41%
1638.34/1638.37 c 1638s| 3060k|224997 | 40219k| 13.1 | 376M| 104 | - | 200 |3108 | 200 | 261 | 28M| 0 | 26k|-3.737500e+01 |-2.900000e+01 | 22.41%
1643.14/1643.16 c 1643s| 3070k|225277 | 40328k| 13.1 | 377M| 104 | 57 | 200 |3108 | 200 | 216 | 28M| 0 | 26k|-3.735000e+01 |-2.900000e+01 | 22.36%
1647.85/1647.87 c 1648s| 3080k|225525 | 40437k| 13.1 | 377M| 104 | 26 | 200 |3108 | 200 | 259 | 28M| 0 | 26k|-3.733333e+01 |-2.900000e+01 | 22.32%
1652.64/1652.64 c 1653s| 3090k|225767 | 40547k| 13.1 | 378M| 104 | 7 | 200 |3108 | 200 | 219 | 28M| 0 | 26k|-3.733333e+01 |-2.900000e+01 | 22.32%
1657.35/1657.39 c 1657s| 3100k|226077 | 40657k| 13.1 | 378M| 104 | - | 200 |3108 | 200 | 214 | 28M| 0 | 26k|-3.733333e+01 |-2.900000e+01 | 22.32%
1662.15/1662.14 c 1662s| 3110k|226375 | 40765k| 13.1 | 379M| 104 | 8 | 200 |3108 | 200 | 217 | 28M| 0 | 27k|-3.733333e+01 |-2.900000e+01 | 22.32%
1666.84/1666.81 c 1667s| 3120k|226589 | 40872k| 13.1 | 379M| 104 | - | 200 |3108 | 200 | 239 | 28M| 0 | 27k|-3.733333e+01 |-2.900000e+01 | 22.32%
1671.54/1671.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1671.54/1671.51 c 1672s| 3130k|226793 | 40979k| 13.1 | 380M| 104 | 52 | 200 |3108 | 200 | 248 | 28M| 0 | 27k|-3.733333e+01 |-2.900000e+01 | 22.32%
1676.34/1676.30 c 1676s| 3140k|227031 | 41089k| 13.1 | 380M| 104 | - | 200 |3108 | 200 | 230 | 28M| 0 | 27k|-3.732692e+01 |-2.900000e+01 | 22.31%
1680.96/1680.99 c 1681s| 3150k|227291 | 41197k| 13.1 | 381M| 104 | - | 200 |3108 | 200 | 281 | 28M| 0 | 27k|-3.730000e+01 |-2.900000e+01 | 22.25%
1685.74/1685.77 c 1686s| 3160k|227549 | 41306k| 13.1 | 381M| 104 | 50 | 200 |3108 | 200 | 235 | 28M| 0 | 27k|-3.728571e+01 |-2.900000e+01 | 22.22%
1690.44/1690.46 c 1690s| 3170k|227819 | 41413k| 13.1 | 382M| 104 | 41 | 200 |3108 | 200 | 215 | 28M| 0 | 27k|-3.727273e+01 |-2.900000e+01 | 22.20%
1695.26/1695.29 c 1695s| 3180k|228107 | 41524k| 13.1 | 382M| 104 | 10 | 200 |3108 | 200 | 214 | 29M| 0 | 27k|-3.725000e+01 |-2.900000e+01 | 22.15%
1699.94/1699.91 c 1700s| 3190k|228377 | 41629k| 13.0 | 383M| 104 | - | 200 |3108 | 200 | 256 | 29M| 0 | 27k|-3.725000e+01 |-2.900000e+01 | 22.15%
1704.74/1704.70 c 1705s| 3200k|228619 | 41739k| 13.0 | 383M| 104 | - | 200 |3108 | 200 | 244 | 29M| 0 | 27k|-3.725000e+01 |-2.900000e+01 | 22.15%
1709.34/1709.39 c 1709s| 3210k|228887 | 41847k| 13.0 | 384M| 104 | - | 200 |3108 | 200 | 227 | 29M| 0 | 27k|-3.725000e+01 |-2.900000e+01 | 22.15%
1714.04/1714.09 c 1714s| 3220k|229143 | 41954k| 13.0 | 384M| 104 | 17 | 200 |3108 | 200 | 226 | 29M| 0 | 27k|-3.725000e+01 |-2.900000e+01 | 22.15%
1718.74/1718.76 c 1719s| 3230k|229401 | 42060k| 13.0 | 385M| 104 | - | 200 |3108 | 200 | 248 | 29M| 0 | 27k|-3.725000e+01 |-2.900000e+01 | 22.15%
1723.55/1723.50 c 1724s| 3240k|229649 | 42169k| 13.0 | 385M| 104 | - | 200 |3108 | 200 | 217 | 29M| 0 | 27k|-3.725000e+01 |-2.900000e+01 | 22.15%
1728.26/1728.26 c 1728s| 3250k|229871 | 42278k| 13.0 | 386M| 104 | - | 200 |3108 | 200 | 219 | 29M| 0 | 27k|-3.722222e+01 |-2.900000e+01 | 22.09%
1732.94/1732.98 c 1733s| 3260k|230125 | 42385k| 13.0 | 386M| 104 | 59 | 200 |3108 | 200 | 234 | 29M| 0 | 27k|-3.720513e+01 |-2.900000e+01 | 22.05%
1737.65/1737.65 c 1738s| 3270k|230393 | 42491k| 13.0 | 387M| 104 | 33 | 200 |3108 | 200 | 217 | 29M| 0 | 27k|-3.720000e+01 |-2.900000e+01 | 22.04%
1742.45/1742.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1742.45/1742.43 c 1742s| 3280k|230651 | 42600k| 13.0 | 387M| 104 | - | 200 |3108 | 200 | 232 | 29M| 0 | 27k|-3.720000e+01 |-2.900000e+01 | 22.04%
1747.24/1747.21 c 1747s| 3290k|230913 | 42710k| 13.0 | 388M| 104 | - | 200 |3108 | 200 | 218 | 29M| 0 | 27k|-3.717308e+01 |-2.900000e+01 | 21.99%
1751.94/1751.95 c 1752s| 3300k|231183 | 42819k| 13.0 | 388M| 104 | 15 | 200 |3108 | 200 | 216 | 29M| 0 | 27k|-3.716667e+01 |-2.900000e+01 | 21.97%
1756.65/1756.64 c 1757s| 3310k|231435 | 42924k| 13.0 | 389M| 104 | 38 | 200 |3108 | 200 | 226 | 30M| 0 | 27k|-3.716667e+01 |-2.900000e+01 | 21.97%
1761.26/1761.29 c 1761s| 3320k|231669 | 43030k| 13.0 | 389M| 104 | 5 | 200 |3108 | 200 | 200 | 30M| 0 | 27k|-3.715625e+01 |-2.900000e+01 | 21.95%
1765.94/1765.99 c 1766s| 3330k|231887 | 43138k| 13.0 | 390M| 104 | 3 | 200 |3108 | 200 | 226 | 30M| 0 | 27k|-3.714286e+01 |-2.900000e+01 | 21.92%
1770.54/1770.58 c 1771s| 3340k|232061 | 43240k| 12.9 | 390M| 104 | - | 200 |3108 | 200 | 250 | 30M| 0 | 27k|-3.712500e+01 |-2.900000e+01 | 21.89%
1775.24/1775.29 c 1775s| 3350k|232265 | 43347k| 12.9 | 390M| 104 | - | 200 |3108 | 200 | 258 | 30M| 0 | 27k|-3.712500e+01 |-2.900000e+01 | 21.89%
1779.96/1779.93 c 1780s| 3360k|232443 | 43451k| 12.9 | 391M| 104 | 16 | 200 |3108 | 200 | 213 | 30M| 0 | 27k|-3.711111e+01 |-2.900000e+01 | 21.86%
1784.65/1784.61 c 1785s| 3370k|232667 | 43557k| 12.9 | 391M| 104 | 55 | 200 |3108 | 200 | 250 | 30M| 0 | 27k|-3.710000e+01 |-2.900000e+01 | 21.83%
1789.24/1789.25 c 1789s| 3380k|232893 | 43664k| 12.9 | 392M| 104 | - | 200 |3108 | 200 | 224 | 30M| 0 | 27k|-3.708333e+01 |-2.900000e+01 | 21.80%
1793.94/1793.91 c 1794s| 3390k|233069 | 43768k| 12.9 | 392M| 104 | 41 | 200 |3108 | 200 | 215 | 30M| 0 | 28k|-3.707407e+01 |-2.900000e+01 | 21.78%
1798.56/1798.60 c 1799s| 3400k|233295 | 43875k| 12.9 | 393M| 104 | - | 200 |3108 | 200 | 221 | 30M| 0 | 28k|-3.705556e+01 |-2.900000e+01 | 21.74%
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.00 c Solving Time (sec) : 1800.00
1800.04/1800.00 c Solving Nodes : 3402889
1800.04/1800.00 c Primal Bound : -2.90000000000000e+01 (569 solutions)
1800.04/1800.00 c Dual Bound : -3.70500000000000e+01
1800.04/1800.00 c Gap : 21.73 %
1800.04/1800.00 s SATISFIABLE
1800.04/1800.00 v -x200 x199 x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 x190 -x189 x188 -x187 x186 x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178
1800.04/1800.00 v -x177 x176 x175 -x174 -x173 -x172 -x171 x170 -x169 -x168 x167 x166 -x165 -x164 -x163 -x162 x161 -x160 -x159 -x158 -x157
1800.04/1800.00 v -x156 -x155 -x154 x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 x135
1800.04/1800.00 v -x134 -x133 -x132 -x131 -x130 -x129 x128 -x127 -x126 -x125 -x124 x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114
1800.04/1800.00 v -x113 -x112 -x111 x110 -x109 -x108 x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 x97 -x96 -x95 -x94 -x93 x92 -x91
1800.04/1800.00 v -x90 -x89 -x88 x87 -x86 -x85 -x84 -x83 -x82 x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66
1800.04/1800.00 v -x65 x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 x44 -x43 -x42 -x41 -x40
1800.04/1800.00 v x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15
1800.04/1800.00 v -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 x3 -x2 -x1
1800.04/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.00 c Total Time : 1800.00
1800.04/1800.00 c solving : 1800.00
1800.04/1800.00 c presolving : 0.07 (included in solving)
1800.04/1800.00 c reading : 0.02 (included in solving)
1800.04/1800.00 c Original Problem :
1800.04/1800.00 c Problem name : HOME/instance-3450688-1307107451.opb
1800.04/1800.00 c Variables : 3308 (3308 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.00 c Constraints : 3508 initial, 3508 maximal
1800.04/1800.00 c Presolved Problem :
1800.04/1800.00 c Problem name : t_HOME/instance-3450688-1307107451.opb
1800.04/1800.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.00 c Constraints : 3108 initial, 3108 maximal
1800.04/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.04/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c probing : 0.02 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c and : 0.03 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c linear : 0.01 3108 0 0 3108 0 200 0 0 0
1800.04/1800.00 c logicor : 0.01 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c pseudoboolean : 0.00 0 0 0 0 0 200 0 0 0
1800.04/1800.00 c root node : - 0 - - 0 - - - - -
1800.04/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c integral : 0 0 0 2857868 0 767107 0 239 1754 0 0 3641082
1800.04/1800.00 c logicor : 3108 66 3415400 1036299 0 767103 0 22 19650745 30803241 0 0
1800.04/1800.00 c countsols : 0 0 0 7 0 564 0 0 0 0 0 0
1800.04/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.04/1800.00 c integral : 37.90 0.00 0.00 37.74 0.00 0.16 0.00
1800.04/1800.00 c logicor : 151.70 0.03 73.18 47.49 0.00 31.00 0.00
1800.04/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.04/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.04/1800.00 c vbounds : 0 0 0 0
1800.04/1800.00 c rootredcost : 9 0 0 0
1800.04/1800.00 c pseudoobj : 5530342 0 1 0
1800.04/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1800.04/1800.00 c vbounds : 0.98 0.98 0.00
1800.04/1800.00 c rootredcost : 1.11 1.11 0.00
1800.04/1800.00 c pseudoobj : 24.83 24.83 0.00
1800.04/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.00 c propagation : 0.00 22 0 0 0.0 0 0.0 -
1800.04/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.00 c applied globally : - - - 0 0.0 - - -
1800.04/1800.00 c applied locally : - - - 0 0.0 - - -
1800.04/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.00 c cut pool : 0.06 65 - - 189 - (maximal pool size: 3102)
1800.04/1800.00 c redcost : 15.37 3068330 0 392142 0 0
1800.04/1800.00 c impliedbounds : 0.01 66 0 0 1427 0
1800.04/1800.00 c intobj : 0.00 0 0 0 0 0
1800.04/1800.00 c gomory : 1.88 66 0 0 11673 0
1800.04/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.00 c closecuts : 0.00 0 0 0 0 0
1800.04/1800.00 c strongcg : 0.31 20 0 0 8753 0
1800.04/1800.00 c cmir : 0.06 10 0 0 0 0
1800.04/1800.00 c flowcover : 0.05 10 0 0 0 0
1800.04/1800.00 c clique : 0.15 66 0 0 576 0
1800.04/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.00 c mcf : 0.00 1 0 0 0 0
1800.04/1800.00 c oddcycle : 0.00 0 0 0 0 0
1800.04/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.00 c Pricers : Time Calls Vars
1800.04/1800.00 c problem variables: 0.00 0 0
1800.04/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c relpscost : 36.44 1821569 239 1754 0 0 3641082
1800.04/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.00 c inference : 0.00 0 0 0 0 0 0
1800.04/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c random : 0.00 0 0 0 0 0 0
1800.04/1800.00 c Primal Heuristics : Time Calls Found
1800.04/1800.00 c LP solutions : 0.01 - 7
1800.04/1800.00 c pseudo solutions : 0.00 - 0
1800.04/1800.00 c feaspump : 0.07 0 0
1800.04/1800.00 c oneopt : 0.73 10 1
1800.04/1800.00 c crossover : 1.45 25 17
1800.04/1800.00 c coefdiving : 0.43 431 7
1800.04/1800.00 c pscostdiving : 0.43 431 3
1800.04/1800.00 c guideddiving : 0.47 431 1
1800.04/1800.00 c objpscostdiving : 0.26 216 6
1800.04/1800.00 c rootsoldiving : 0.47 216 3
1800.04/1800.00 c fracdiving : 0.48 432 12
1800.04/1800.00 c veclendiving : 0.38 432 2
1800.04/1800.00 c linesearchdiving : 0.45 432 5
1800.04/1800.00 c trivial : 0.00 2 1
1800.04/1800.00 c shiftandpropagate: 0.00 0 0
1800.04/1800.00 c simplerounding : 40.91 1824147 492
1800.04/1800.00 c zirounding : 0.67 1000 10
1800.04/1800.00 c rounding : 4.11 65433 1
1800.04/1800.00 c shifting : 0.64 8433 1
1800.04/1800.00 c intshifting : 0.04 0 0
1800.04/1800.00 c twoopt : 0.00 0 0
1800.04/1800.00 c fixandinfer : 0.00 0 0
1800.04/1800.00 c clique : 0.00 0 0
1800.04/1800.00 c intdiving : 0.00 0 0
1800.04/1800.00 c actconsdiving : 0.00 0 0
1800.04/1800.00 c octane : 0.00 0 0
1800.04/1800.00 c rens : 0.01 0 0
1800.04/1800.00 c rins : 0.00 0 0
1800.04/1800.00 c localbranching : 0.00 0 0
1800.04/1800.00 c mutation : 0.00 0 0
1800.04/1800.00 c dins : 0.00 0 0
1800.04/1800.00 c vbounds : 0.00 0 0
1800.04/1800.00 c undercover : 0.01 1 0
1800.04/1800.00 c subnlp : 0.50 0 0
1800.04/1800.00 c trysol : 0.77 0 0
1800.04/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.00 c primal LP : 37.11 0 0 0.00 0.00
1800.04/1800.00 c dual LP : 1111.33 4445593 43859910 9.87 39466.27
1800.04/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.00 c diving/probing LP: 1.77 8487 48138 5.67 27194.35
1800.04/1800.00 c strong branching : 17.00 28049 455558 16.24 26803.68
1800.04/1800.00 c (at root node) : - 19 13158 692.53 -
1800.04/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.00 c B&B Tree :
1800.04/1800.00 c number of runs : 1
1800.04/1800.00 c nodes : 3402889
1800.04/1800.00 c nodes (total) : 3402889
1800.04/1800.00 c nodes left : 233376
1800.04/1800.00 c max depth : 104
1800.04/1800.00 c max depth (total): 104
1800.04/1800.00 c backtracks : 399511 (11.7%)
1800.04/1800.00 c delayed cutoffs : 0
1800.04/1800.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.04/1800.00 c avg switch length: 5.14
1800.04/1800.00 c switching time : 154.08
1800.04/1800.00 c Solution :
1800.04/1800.00 c Solutions found : 569 (12 improvements)
1800.04/1800.00 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1800.04/1800.00 c Primal Bound : -2.90000000000000e+01 (in run 1, after 32168 nodes, 37.17 seconds, depth 46, found by <relaxation>)
1800.04/1800.00 c Dual Bound : -3.70500000000000e+01
1800.04/1800.00 c Gap : 21.73 %
1800.04/1800.00 c Root Dual Bound : -4.97537699833094e+01
1800.04/1800.00 c Root Iterations : 12506
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-3450688-1307107451/watcher-3450688-1307107451 -o /tmp/evaluation-result-3450688-1307107451/solver-3450688-1307107451 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450688-1307107451.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.04 2.05 2.01 2/424 24785
/proc/meminfo: memFree=25666500/32951124 swapFree=44043512/67111528
[pid=24785] ppid=24783 vsize=15064 CPUtime=0 cores=1,3,5,7
/proc/24785/stat : 24785 (scip-2.0.1.4b.l) R 24783 24785 23890 0 -1 4202496 2787 0 0 0 0 0 0 0 22 0 1 0 822343310 15425536 2740 33554432000 4194304 9163163 140734941988544 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24785/statm: 3766 2740 415 1214 0 2548 0
[startup+0.112976 s]
/proc/loadavg: 2.04 2.05 2.01 2/424 24785
/proc/meminfo: memFree=25666500/32951124 swapFree=44043512/67111528
[pid=24785] ppid=24783 vsize=34540 CPUtime=0.1 cores=1,3,5,7
/proc/24785/stat : 24785 (scip-2.0.1.4b.l) R 24783 24785 23890 0 -1 4202496 7787 0 0 0 10 0 0 0 23 0 1 0 822343310 35368960 7482 33554432000 4194304 9163163 140734941988544 18446744073709551615 7297712 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24785/statm: 8635 7484 621 1214 0 7417 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 34540
[startup+0.200946 s]
/proc/loadavg: 2.04 2.05 2.01 2/424 24785
/proc/meminfo: memFree=25666500/32951124 swapFree=44043512/67111528
[pid=24785] ppid=24783 vsize=37268 CPUtime=0.19 cores=1,3,5,7
/proc/24785/stat : 24785 (scip-2.0.1.4b.l) R 24783 24785 23890 0 -1 4202496 10927 0 0 0 18 1 0 0 23 0 1 0 822343310 38162432 8174 33554432000 4194304 9163163 140734941988544 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24785/statm: 9317 8174 689 1214 0 8099 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 37268
[startup+0.300931 s]
/proc/loadavg: 2.04 2.05 2.01 2/424 24785
/proc/meminfo: memFree=25666500/32951124 swapFree=44043512/67111528
[pid=24785] ppid=24783 vsize=38532 CPUtime=0.29 cores=1,3,5,7
/proc/24785/stat : 24785 (scip-2.0.1.4b.l) R 24783 24785 23890 0 -1 4202496 11183 0 0 0 28 1 0 0 23 0 1 0 822343310 39456768 8430 33554432000 4194304 9163163 140734941988544 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24785/statm: 9633 8430 691 1214 0 8415 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 38532
[startup+0.700868 s]
/proc/loadavg: 2.04 2.05 2.01 2/424 24785
/proc/meminfo: memFree=25666500/32951124 swapFree=44043512/67111528
[pid=24785] ppid=24783 vsize=43680 CPUtime=0.69 cores=1,3,5,7
/proc/24785/stat : 24785 (scip-2.0.1.4b.l) R 24783 24785 23890 0 -1 4202496 12468 0 0 0 66 3 0 0 25 0 1 0 822343310 44728320 9709 33554432000 4194304 9163163 140734941988544 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24785/statm: 10920 9709 692 1214 0 9702 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43680
[startup+1.50071 s]
/proc/loadavg: 2.20 2.08 2.02 2/423 24787
/proc/meminfo: memFree=25920152/32951124 swapFree=44043512/67111528
[pid=24785] ppid=24783 vsize=53512 CPUtime=1.49 cores=1,3,5,7
/proc/24785/stat : 24785 (scip-2.0.1.4b.l) R 24783 24785 23890 0 -1 4202496 15066 0 0 0 142 7 0 0 25 0 1 0 822343310 54796288 12264 33554432000 4194304 9163163 140734941988544 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24785/statm: 13378 12265 693 1214 0 12160 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 53512
[startup+3.10042 s]
/proc/loadavg: 2.20 2.08 2.02 2/423 24787
/proc/meminfo: memFree=25906388/32951124 swapFree=44043512/67111528
[pid=24785] ppid=24783 vsize=58972 CPUtime=3.09 cores=1,3,5,7
/proc/24785/stat : 24785 (scip-2.0.1.4b.l) R 24783 24785 23890 0 -1 4202496 16492 0 0 0 297 12 0 0 25 0 1 0 822343310 60387328 13681 33554432000 4194304 9163163 140734941988544 18446744073709551615 6651201 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24785/statm: 14743 13681 713 1214 0 13525 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 58972
[startup+6.30083 s]
/proc/loadavg: 2.18 2.08 2.02 3/425 24814
/proc/meminfo: memFree=25867636/32951124 swapFree=44043512/67111528
[pid=24785] ppid=24783 vsize=59996 CPUtime=6.29 cores=1,3,5,7
/proc/24785/stat : 24785 (scip-2.0.1.4b.l) R 24783 24785 23890 0 -1 4202496 18513 0 0 0 596 33 0 0 25 0 1 0 822343310 61435904 14003 33554432000 4194304 9163163 140734941988544 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24785/statm: 14999 14003 714 1214 0 13781 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 59996
[startup+12.7007 s]
/proc/loadavg: 2.16 2.08 2.01 3/425 24814
/proc/meminfo: memFree=25864320/32951124 swapFree=44043512/67111528
[pid=24785] ppid=24783 vsize=61792 CPUtime=12.69 cores=1,3,5,7
/proc/24785/stat : 24785 (scip-2.0.1.4b.l) R 24783 24785 23890 0 -1 4202496 29040 0 0 0 1171 98 0 0 25 0 1 0 822343310 63275008 14469 33554432000 4194304 9163163 140734941988544 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24785/statm: 15448 14469 733 1214 0 14230 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 61792
[startup+25.5003 s]
/proc/loadavg: 2.13 2.08 2.01 3/425 24815
/proc/meminfo: memFree=25848244/32951124 swapFree=44043512/67111528
[pid=24785] ppid=24783 vsize=69452 CPUtime=25.49 cores=1,3,5,7
/proc/24785/stat : 24785 (scip-2.0.1.4b.l) R 24783 24785 23890 0 -1 4202496 51961 0 0 0 2296 253 0 0 25 0 1 0 822343310 71118848 16385 33554432000 4194304 9163163 140734941988544 18446744073709551615 4693093 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24785/statm: 17363 16385 736 1214 0 16145 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 69452
[startup+51.1007 s]
/proc/loadavg: 2.08 2.07 2.01 3/425 24815
/proc/meminfo: memFree=25829296/32951124 swapFree=44043512/67111528
[pid=24785] ppid=24783 vsize=77312 CPUtime=51.09 cores=1,3,5,7
/proc/24785/stat : 24785 (scip-2.0.1.4b.l) R 24783 24785 23890 0 -1 4202496 82028 0 0 0 4533 576 0 0 25 0 1 0 822343310 79167488 18317 33554432000 4194304 9163163 140734941988544 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24785/statm: 19328 18317 736 1214 0 18110 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 77312
[startup+102.3 s]
/proc/loadavg: 2.03 2.06 2.01 3/425 24817
/proc/meminfo: memFree=25787052/32951124 swapFree=44043512/67111528
[pid=24785] ppid=24783 vsize=98068 CPUtime=102.31 cores=1,3,5,7
/proc/24785/stat : 24785 (scip-2.0.1.4b.l) R 24783 24785 23890 0 -1 4202496 94282 0 0 0 9026 1205 0 0 25 0 1 0 822343310 100421632 23550 33554432000 4194304 9163163 140734941988544 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24785/statm: 24517 23550 736 1214 0 23299 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 98068
[startup+162.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/425 24818
/proc/meminfo: memFree=25741196/32951124 swapFree=44043512/67111528
[pid=24785] ppid=24783 vsize=123892 CPUtime=162.29 cores=1,3,5,7
/proc/24785/stat : 24785 (scip-2.0.1.4b.l) R 24783 24785 23890 0 -1 4202496 104339 0 0 0 14299 1930 0 0 25 0 1 0 822343310 126865408 30068 33554432000 4194304 9163163 140734941988544 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24785/statm: 30973 30068 736 1214 0 29755 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 123892
[startup+222.315 s]
/proc/loadavg: 2.00 2.03 2.00 3/425 24820
/proc/meminfo: memFree=25699752/32951124 swapFree=44043512/67111528
[pid=24785] ppid=24783 vsize=143576 CPUtime=222.31 cores=1,3,5,7
/proc/24785/stat : 24785 (scip-2.0.1.4b.l) R 24783 24785 23890 0 -1 4202496 112840 0 0 0 19601 2630 0 0 25 0 1 0 822343310 147021824 35034 33554432000 4194304 9163163 140734941988544 18446744073709551615 4241516 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24785/statm: 35894 35034 736 1214 0 34676 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 143576
[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 24822
/proc/meminfo: memFree=25657432/32951124 swapFree=44043512/67111528
[pid=24785] ppid=24783 vsize=165652 CPUtime=282.3 cores=1,3,5,7
/proc/24785/stat : 24785 (scip-2.0.1.4b.l) R 24783 24785 23890 0 -1 4202496 117889 0 0 0 24876 3354 0 0 25 0 1 0 822343310 169627648 40083 33554432000 4194304 9163163 140734941988544 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24785/statm: 41413 40083 736 1214 0 40195 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 165652
[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 24823
/proc/meminfo: memFree=25615868/32951124 swapFree=44043512/67111528
[pid=24785] ppid=24783 vsize=184152 CPUtime=342.3 cores=1,3,5,7
/proc/24785/stat : 24785 (scip-2.0.1.4b.l) R 24783 24785 23890 0 -1 4202496 126081 0 0 0 30161 4069 0 0 25 0 1 0 822343310 188571648 44783 33554432000 4194304 9163163 140734941988544 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24785/statm: 46038 44783 736 1214 0 44820 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 184152
[startup+402.301 s]
/proc/loadavg: 2.08 2.04 2.01 3/425 24825
/proc/meminfo: memFree=25583360/32951124 swapFree=44043512/67111528
[pid=24785] ppid=24783 vsize=199236 CPUtime=402.31 cores=1,3,5,7
/proc/24785/stat : 24785 (scip-2.0.1.4b.l) R 24783 24785 23890 0 -1 4202496 129889 0 0 0 35455 4776 0 0 25 0 1 0 822343310 204017664 48591 33554432000 4194304 9163163 140734941988544 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24785/statm: 49809 48591 736 1214 0 48591 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 199236
[startup+462.301 s]
/proc/loadavg: 2.07 2.05 2.01 3/425 24826
/proc/meminfo: memFree=25545764/32951124 swapFree=44043512/67111528
[pid=24785] ppid=24783 vsize=217856 CPUtime=462.3 cores=1,3,5,7
/proc/24785/stat : 24785 (scip-2.0.1.4b.l) R 24783 24785 23890 0 -1 4202496 134595 0 0 0 40744 5486 0 0 25 0 1 0 822343310 223084544 53297 33554432000 4194304 9163163 140734941988544 18446744073709551615 6560205 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24785/statm: 54464 53297 736 1214 0 53246 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 217856
[startup+522.301 s]
/proc/loadavg: 2.07 2.05 2.01 3/425 24828
/proc/meminfo: memFree=25513096/32951124 swapFree=44043512/67111528
[pid=24785] ppid=24783 vsize=233788 CPUtime=522.31 cores=1,3,5,7
/proc/24785/stat : 24785 (scip-2.0.1.4b.l) R 24783 24785 23890 0 -1 4202496 138594 0 0 0 46033 6198 0 0 25 0 1 0 822343310 239398912 57296 33554432000 4194304 9163163 140734941988544 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24785/statm: 58447 57296 736 1214 0 57229 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 233788
[startup+582.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/425 24830
/proc/meminfo: memFree=25481156/32951124 swapFree=44043512/67111528
[pid=24785] ppid=24783 vsize=248956 CPUtime=582.3 cores=1,3,5,7
/proc/24785/stat : 24785 (scip-2.0.1.4b.l) R 24783 24785 23890 0 -1 4202496 146016 0 0 0 51320 6910 0 0 25 0 1 0 822343310 254930944 61166 33554432000 4194304 9163163 140734941988544 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24785/statm: 62239 61166 736 1214 0 61021 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 248956
[startup+642.301 s]
################
# More data... #
################
[startup+882.315 s]
/proc/loadavg: 2.00 2.01 2.00 3/425 24838
/proc/meminfo: memFree=25346764/32951124 swapFree=44043512/67111528
[pid=24785] ppid=24783 vsize=316676 CPUtime=882.33 cores=1,3,5,7
/proc/24785/stat : 24785 (scip-2.0.1.4b.l) R 24783 24785 23890 0 -1 4202496 163074 0 0 0 77787 10446 0 0 25 0 1 0 822343310 324276224 78224 33554432000 4194304 9163163 140734941988544 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24785/statm: 79169 78224 736 1214 0 77951 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 316676
[startup+942.3 s]
/proc/loadavg: 2.19 2.07 2.02 3/425 24839
/proc/meminfo: memFree=25331084/32951124 swapFree=44043512/67111528
[pid=24785] ppid=24783 vsize=324932 CPUtime=942.32 cores=1,3,5,7
/proc/24785/stat : 24785 (scip-2.0.1.4b.l) R 24783 24785 23890 0 -1 4202496 165169 0 0 0 83093 11139 0 0 25 0 1 0 822343310 332730368 80319 33554432000 4194304 9163163 140734941988544 18446744073709551615 6555941 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24785/statm: 81233 80319 736 1214 0 80015 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 324932
[startup+1002.3 s]
/proc/loadavg: 2.11 2.07 2.02 3/425 24841
/proc/meminfo: memFree=25308600/32951124 swapFree=44043512/67111528
[pid=24785] ppid=24783 vsize=333232 CPUtime=1002.32 cores=1,3,5,7
/proc/24785/stat : 24785 (scip-2.0.1.4b.l) R 24783 24785 23890 0 -1 4202496 170773 0 0 0 88392 11840 0 0 25 0 1 0 822343310 341229568 82413 33554432000 4194304 9163163 140734941988544 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24785/statm: 83308 82413 736 1214 0 82090 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 333232
[startup+1062.3 s]
/proc/loadavg: 2.22 2.10 2.03 3/425 24842
/proc/meminfo: memFree=25287368/32951124 swapFree=44043512/67111528
[pid=24785] ppid=24783 vsize=344132 CPUtime=1062.32 cores=1,3,5,7
/proc/24785/stat : 24785 (scip-2.0.1.4b.l) R 24783 24785 23890 0 -1 4202496 173522 0 0 0 93708 12524 0 0 25 0 1 0 822343310 352391168 85162 33554432000 4194304 9163163 140734941988544 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24785/statm: 86033 85162 736 1214 0 84815 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 344132
[startup+1122.3 s]
/proc/loadavg: 2.08 2.08 2.02 3/425 24844
/proc/meminfo: memFree=25268836/32951124 swapFree=44043512/67111528
[pid=24785] ppid=24783 vsize=354864 CPUtime=1122.32 cores=1,3,5,7
/proc/24785/stat : 24785 (scip-2.0.1.4b.l) R 24783 24785 23890 0 -1 4202496 176225 0 0 0 99021 13211 0 0 25 0 1 0 822343310 363380736 87865 33554432000 4194304 9163163 140734941988544 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24785/statm: 88716 87865 736 1214 0 87498 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 354864
[startup+1182.3 s]
/proc/loadavg: 2.03 2.06 2.01 3/425 24846
/proc/meminfo: memFree=25252304/32951124 swapFree=44043512/67111528
[pid=24785] ppid=24783 vsize=362796 CPUtime=1182.33 cores=1,3,5,7
/proc/24785/stat : 24785 (scip-2.0.1.4b.l) R 24783 24785 23890 0 -1 4202496 178228 0 0 0 104343 13890 0 0 25 0 1 0 822343310 371503104 89868 33554432000 4194304 9163163 140734941988544 18446744073709551615 6687371 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24785/statm: 90699 89868 736 1214 0 89481 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 362796
[startup+1242.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/425 24847
/proc/meminfo: memFree=25231188/32951124 swapFree=44043512/67111528
[pid=24785] ppid=24783 vsize=376444 CPUtime=1242.33 cores=1,3,5,7
/proc/24785/stat : 24785 (scip-2.0.1.4b.l) R 24783 24785 23890 0 -1 4202496 180632 0 0 0 109667 14566 0 0 25 0 1 0 822343310 385478656 92272 33554432000 4194304 9163163 140734941988544 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24785/statm: 94111 92272 736 1214 0 92893 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 376444
[startup+1302.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/425 24849
/proc/meminfo: memFree=25223704/32951124 swapFree=44043512/67111528
[pid=24785] ppid=24783 vsize=383796 CPUtime=1302.33 cores=1,3,5,7
/proc/24785/stat : 24785 (scip-2.0.1.4b.l) R 24783 24785 23890 0 -1 4202496 182491 0 0 0 114996 15237 0 0 25 0 1 0 822343310 393007104 94131 33554432000 4194304 9163163 140734941988544 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24785/statm: 95949 94131 736 1214 0 94731 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 383796
[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/425 24850
/proc/meminfo: memFree=25214336/32951124 swapFree=44043512/67111528
[pid=24785] ppid=24783 vsize=393668 CPUtime=1362.33 cores=1,3,5,7
/proc/24785/stat : 24785 (scip-2.0.1.4b.l) R 24783 24785 23890 0 -1 4202496 184973 0 0 0 120330 15903 0 0 25 0 1 0 822343310 403116032 96613 33554432000 4194304 9163163 140734941988544 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24785/statm: 98417 96613 736 1214 0 97199 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 393668
[startup+1422.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 24852
/proc/meminfo: memFree=25204880/32951124 swapFree=44043512/67111528
[pid=24785] ppid=24783 vsize=402504 CPUtime=1422.34 cores=1,3,5,7
/proc/24785/stat : 24785 (scip-2.0.1.4b.l) R 24783 24785 23890 0 -1 4202496 187194 0 0 0 125639 16595 0 0 25 0 1 0 822343310 412164096 98832 33554432000 4194304 9163163 140734941988544 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24785/statm: 100626 98832 736 1214 0 99408 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 402504
[startup+1482.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/425 24854
/proc/meminfo: memFree=25197132/32951124 swapFree=44043512/67111528
[pid=24785] ppid=24783 vsize=411208 CPUtime=1482.34 cores=1,3,5,7
/proc/24785/stat : 24785 (scip-2.0.1.4b.l) R 24783 24785 23890 0 -1 4202496 189386 0 0 0 130973 17261 0 0 25 0 1 0 822343310 421076992 101024 33554432000 4194304 9163163 140734941988544 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24785/statm: 102802 101024 736 1214 0 101584 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 411208
[startup+1542.32 s]
/proc/loadavg: 2.03 2.02 2.00 3/425 24855
/proc/meminfo: memFree=25191456/32951124 swapFree=44043512/67111528
[pid=24785] ppid=24783 vsize=416648 CPUtime=1542.36 cores=1,3,5,7
/proc/24785/stat : 24785 (scip-2.0.1.4b.l) R 24783 24785 23890 0 -1 4202496 190762 0 0 0 136297 17939 0 0 25 0 1 0 822343310 426647552 102400 33554432000 4194304 9163163 140734941988544 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24785/statm: 104162 102400 736 1214 0 102944 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 416648
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/425 24857
/proc/meminfo: memFree=25186680/32951124 swapFree=44043512/67111528
[pid=24785] ppid=24783 vsize=421320 CPUtime=1602.34 cores=1,3,5,7
/proc/24785/stat : 24785 (scip-2.0.1.4b.l) R 24783 24785 23890 0 -1 4202496 191943 0 0 0 141633 18601 0 0 25 0 1 0 822343310 431431680 103581 33554432000 4194304 9163163 140734941988544 18446744073709551615 4947853 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24785/statm: 105330 103581 736 1214 0 104112 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 421320
[startup+1662.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/425 24858
/proc/meminfo: memFree=25179560/32951124 swapFree=44043512/67111528
[pid=24785] ppid=24783 vsize=428296 CPUtime=1662.35 cores=1,3,5,7
/proc/24785/stat : 24785 (scip-2.0.1.4b.l) R 24783 24785 23890 0 -1 4202496 193702 0 0 0 146972 19263 0 0 25 0 1 0 822343310 438575104 105340 33554432000 4194304 9163163 140734941988544 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24785/statm: 107074 105340 736 1214 0 105856 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 428296
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/425 24860
/proc/meminfo: memFree=25169448/32951124 swapFree=44043512/67111528
[pid=24785] ppid=24783 vsize=437768 CPUtime=1722.34 cores=1,3,5,7
/proc/24785/stat : 24785 (scip-2.0.1.4b.l) R 24783 24785 23890 0 -1 4202496 196082 0 0 0 152317 19917 0 0 25 0 1 0 822343310 448274432 107720 33554432000 4194304 9163163 140734941988544 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24785/statm: 109442 107720 736 1214 0 108224 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 437768
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/425 24862
/proc/meminfo: memFree=25162856/32951124 swapFree=44043512/67111528
[pid=24785] ppid=24783 vsize=442440 CPUtime=1782.35 cores=1,3,5,7
/proc/24785/stat : 24785 (scip-2.0.1.4b.l) R 24783 24785 23890 0 -1 4202496 200773 0 0 0 157653 20582 0 0 25 0 1 0 822343310 453058560 108900 33554432000 4194304 9163163 140734941988544 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24785/statm: 110610 108900 736 1214 0 109392 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 442440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.00 3/425 24862
/proc/meminfo: memFree=25161976/32951124 swapFree=44043512/67111528
[pid=24785] ppid=24783 vsize=444616 CPUtime=1800.06 cores=1,3,5,7
/proc/24785/stat : 24785 (scip-2.0.1.4b.l) R 24783 24785 23890 0 -1 4202496 201320 0 0 0 159230 20776 0 0 18 0 1 0 822343310 455286784 109447 33554432000 4194304 9163163 140734941988544 18446744073709551615 6918256 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24785/statm: 111154 109447 738 1214 0 109936 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 444616
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.00 3/425 24862
/proc/meminfo: memFree=25161976/32951124 swapFree=44043512/67111528
[pid=24785] ppid=24783 vsize=444616 CPUtime=1800.06 cores=1,3,5,7
/proc/24785/stat : 24785 (scip-2.0.1.4b.l) R 24783 24785 23890 0 -1 4202496 201320 0 0 0 159230 20776 0 0 18 0 1 0 822343310 455286784 109447 33554432000 4194304 9163163 140734941988544 18446744073709551615 6918256 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24785/statm: 111154 109447 738 1214 0 109936 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 444616
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.04
CPU time (s): 1800.09
CPU user time (s): 1592.31
CPU system time (s): 207.779
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 444616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1592.31
system time used= 207.779
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 201320
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= 1757
runsolver used 7.18491 second user time and 17.2154 second system time
The end