0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
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-3488593-1307783957.opb>
0.00/0.02 c original problem has 3310 variables (3310 bin, 0 int, 0 impl, 0 cont) and 3510 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.06 c (round 1) 3110 del vars, 400 del conss, 0 add conss, 3110 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12440 impls, 0 clqs
0.00/0.07 c (round 2) 3110 del vars, 400 del conss, 0 add conss, 3110 chg bounds, 0 chg sides, 0 chg coeffs, 3110 upgd conss, 12440 impls, 0 clqs
0.09/0.10 c (0.1s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.10 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.10 c presolving (3 rounds):
0.09/0.10 c 3110 deleted vars, 400 deleted constraints, 0 added constraints, 3110 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.10 c 18658 implications, 0 cliques
0.09/0.10 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 3110 constraints
0.09/0.10 c 3110 constraints of type <setppc>
0.09/0.10 c transformed objective value is always integral (scale: 1)
0.09/0.10 c Presolving Time: 0.07
0.09/0.10 c - non default parameters ----------------------------------------------------------------------
0.09/0.10 c # SCIP version 2.0.1.5
0.09/0.10 c
0.09/0.10 c # frequency for displaying node information lines
0.09/0.10 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.10 c display/freq = 10000
0.09/0.10 c
0.09/0.10 c # maximal time in seconds to run
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/time = 1797
0.09/0.10 c
0.09/0.10 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/memory = 13950
0.09/0.10 c
0.09/0.10 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.10 c # [type: int, range: [1,2], default: 1]
0.09/0.10 c timing/clocktype = 2
0.09/0.10 c
0.09/0.10 c # belongs reading time to solving time?
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c timing/reading = TRUE
0.09/0.10 c
0.09/0.10 c # should presolving try to simplify inequalities
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/linear/simplifyinequalities = TRUE
0.09/0.10 c
0.09/0.10 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/indicator/addCouplingCons = TRUE
0.09/0.10 c
0.09/0.10 c # should presolving try to simplify knapsacks
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.10 c
0.09/0.10 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.10 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.10 c separating/rapidlearning/freq = 0
0.09/0.10 c
0.09/0.10 c -----------------------------------------------------------------------------------------------
0.09/0.10 c start solving
0.09/0.10 c
0.09/0.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.11 c t 0.1s| 1 | 0 | 205 | - | 10M| 0 | 200 | 200 |3110 | 200 |3110 | 0 | 0 | 0 |-1.000000e+02 | 0.000000e+00 | 100.00%
0.09/0.11 o -1
0.09/0.11 c R 0.1s| 1 | 0 | 205 | - | 10M| 0 | 200 | 200 |3110 | 200 |3110 | 0 | 0 | 0 |-1.000000e+02 |-1.000000e+00 | 99.00%
0.09/0.12 o -2
0.09/0.12 c s 0.1s| 1 | 0 | 205 | - | 10M| 0 | 200 | 200 |3110 | 200 |3110 | 0 | 0 | 0 |-1.000000e+02 |-2.000000e+00 | 98.00%
0.09/0.18 o -18
0.09/0.18 c y 0.2s| 1 | 0 | 205 | - | 10M| 0 | 200 | 200 |3110 | 200 |3110 | 0 | 0 | 0 |-1.000000e+02 |-1.800000e+01 | 82.00%
0.19/0.20 c 0.2s| 1 | 0 | 285 | - | 10M| 0 | 192 | 200 |3110 | 200 |3117 | 7 | 0 | 0 |-9.600000e+01 |-1.800000e+01 | 81.25%
0.19/0.24 c 0.2s| 1 | 0 | 345 | - | 10M| 0 | 183 | 200 |3110 | 200 |3124 | 14 | 0 | 0 |-9.150000e+01 |-1.800000e+01 | 80.33%
0.29/0.31 c 0.3s| 1 | 0 | 532 | - | 10M| 0 | 174 | 200 |3110 | 200 |3135 | 25 | 0 | 0 |-8.700000e+01 |-1.800000e+01 | 79.31%
0.29/0.37 c 0.4s| 1 | 0 | 624 | - | 10M| 0 | 170 | 200 |3110 | 200 |3144 | 34 | 0 | 0 |-8.500000e+01 |-1.800000e+01 | 78.82%
0.39/0.44 c 0.4s| 1 | 0 | 713 | - | 10M| 0 | 169 | 200 |3110 | 200 |3150 | 40 | 0 | 0 |-8.350000e+01 |-1.800000e+01 | 78.44%
0.49/0.52 c 0.5s| 1 | 0 | 1015 | - | 10M| 0 | 158 | 200 |3110 | 200 |3159 | 49 | 0 | 0 |-7.900000e+01 |-1.800000e+01 | 77.22%
0.49/0.57 c 0.6s| 1 | 0 | 1100 | - | 10M| 0 | 154 | 200 |3110 | 200 |3168 | 58 | 0 | 0 |-7.700000e+01 |-1.800000e+01 | 76.62%
0.59/0.68 c 0.7s| 1 | 0 | 1439 | - | 10M| 0 | 150 | 200 |3110 | 200 |3178 | 68 | 0 | 0 |-7.500000e+01 |-1.800000e+01 | 76.00%
0.69/0.74 c 0.7s| 1 | 0 | 1591 | - | 10M| 0 | 148 | 200 |3110 | 200 |3185 | 75 | 0 | 0 |-7.400000e+01 |-1.800000e+01 | 75.68%
0.79/0.81 c 0.8s| 1 | 0 | 1731 | - | 10M| 0 | 145 | 200 |3110 | 200 |3190 | 80 | 0 | 0 |-7.250000e+01 |-1.800000e+01 | 75.17%
0.79/0.87 c 0.9s| 1 | 0 | 1772 | - | 10M| 0 | 144 | 200 |3110 | 200 | 463 | 86 | 0 | 0 |-7.200000e+01 |-1.800000e+01 | 75.00%
0.89/0.91 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.91 c 0.9s| 1 | 0 | 2100 | - | 11M| 0 | 157 | 200 |3110 | 200 | 469 | 92 | 0 | 0 |-7.155000e+01 |-1.800000e+01 | 74.84%
0.89/0.96 c 1.0s| 1 | 0 | 2285 | - | 11M| 0 | 140 | 200 |3110 | 200 | 699 | 322 | 0 | 0 |-6.975000e+01 |-1.800000e+01 | 74.19%
0.89/1.00 c 1.0s| 1 | 0 | 2415 | - | 11M| 0 | 153 | 200 |3110 | 200 | 705 | 328 | 0 | 0 |-6.854167e+01 |-1.800000e+01 | 73.74%
1.00/1.05 c 1.1s| 1 | 0 | 2625 | - | 11M| 0 | 159 | 200 |3110 | 200 | 731 | 354 | 0 | 0 |-6.804835e+01 |-1.800000e+01 | 73.55%
1.09/1.13 c 1.1s| 1 | 0 | 3051 | - | 12M| 0 | 152 | 200 |3110 | 200 | 856 | 479 | 0 | 0 |-6.683333e+01 |-1.800000e+01 | 73.07%
1.19/1.21 c 1.2s| 1 | 0 | 3390 | - | 12M| 0 | 159 | 200 |3110 | 200 | 678 | 501 | 0 | 0 |-6.500000e+01 |-1.800000e+01 | 72.31%
1.19/1.28 c 1.3s| 1 | 0 | 3621 | - | 13M| 0 | 133 | 200 |3110 | 200 | 707 | 530 | 0 | 0 |-6.350000e+01 |-1.800000e+01 | 71.65%
1.29/1.31 c 1.3s| 1 | 0 | 3733 | - | 13M| 0 | 140 | 200 |3110 | 200 | 761 | 584 | 0 | 0 |-6.300000e+01 |-1.800000e+01 | 71.43%
1.39/1.40 c 1.4s| 1 | 0 | 4209 | - | 13M| 0 | 157 | 200 |3110 | 200 | 843 | 666 | 0 | 0 |-6.168000e+01 |-1.800000e+01 | 70.82%
1.39/1.45 c 1.5s| 1 | 0 | 4397 | - | 13M| 0 | 163 | 200 |3110 | 200 | 923 | 746 | 0 | 0 |-6.100000e+01 |-1.800000e+01 | 70.49%
1.49/1.55 c 1.6s| 1 | 0 | 5157 | - | 14M| 0 | 160 | 200 |3110 | 200 | 950 | 773 | 0 | 0 |-6.023000e+01 |-1.800000e+01 | 70.11%
1.59/1.63 c 1.6s| 1 | 0 | 5648 | - | 14M| 0 | 166 | 200 |3110 | 200 | 769 | 839 | 0 | 0 |-5.844337e+01 |-1.800000e+01 | 69.20%
1.69/1.70 c 1.7s| 1 | 0 | 5980 | - | 15M| 0 | 160 | 200 |3110 | 200 | 825 | 895 | 0 | 0 |-5.756216e+01 |-1.800000e+01 | 68.73%
1.69/1.77 c 1.8s| 1 | 0 | 6408 | - | 16M| 0 | 168 | 200 |3110 | 200 | 847 | 917 | 0 | 0 |-5.636565e+01 |-1.800000e+01 | 68.07%
1.79/1.84 c 1.8s| 1 | 0 | 6713 | - | 16M| 0 | 171 | 200 |3110 | 200 | 903 | 973 | 0 | 0 |-5.567378e+01 |-1.800000e+01 | 67.67%
1.89/1.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.89/1.92 c 1.9s| 1 | 0 | 7008 | - | 16M| 0 | 175 | 200 |3110 | 200 | 921 | 991 | 0 | 0 |-5.508108e+01 |-1.800000e+01 | 67.32%
1.89/1.99 c 2.0s| 1 | 0 | 7196 | - | 16M| 0 | 178 | 200 |3110 | 200 | 952 |1022 | 0 | 0 |-5.464504e+01 |-1.800000e+01 | 67.06%
1.99/2.07 c 2.1s| 1 | 0 | 7468 | - | 16M| 0 | 178 | 200 |3110 | 200 | 702 |1044 | 0 | 0 |-5.417223e+01 |-1.800000e+01 | 66.77%
2.10/2.12 c 2.1s| 1 | 0 | 7602 | - | 16M| 0 | 183 | 200 |3110 | 200 | 724 |1066 | 0 | 0 |-5.392956e+01 |-1.800000e+01 | 66.62%
2.10/2.19 c 2.2s| 1 | 0 | 7994 | - | 16M| 0 | 178 | 200 |3110 | 200 | 757 |1099 | 0 | 0 |-5.339089e+01 |-1.800000e+01 | 66.29%
2.20/2.25 c 2.2s| 1 | 0 | 8130 | - | 16M| 0 | 184 | 200 |3110 | 200 | 787 |1129 | 0 | 0 |-5.319301e+01 |-1.800000e+01 | 66.16%
2.29/2.31 c 2.3s| 1 | 0 | 8271 | - | 16M| 0 | 183 | 200 |3110 | 200 | 797 |1139 | 0 | 0 |-5.287010e+01 |-1.800000e+01 | 65.95%
2.29/2.37 c 2.4s| 1 | 0 | 8406 | - | 16M| 0 | 185 | 200 |3110 | 200 | 814 |1156 | 0 | 0 |-5.266712e+01 |-1.800000e+01 | 65.82%
2.39/2.43 c 2.4s| 1 | 0 | 8573 | - | 16M| 0 | 190 | 200 |3110 | 200 | 499 |1165 | 0 | 0 |-5.240324e+01 |-1.800000e+01 | 65.65%
2.39/2.48 c 2.5s| 1 | 0 | 8794 | - | 16M| 0 | 189 | 200 |3110 | 200 | 513 |1179 | 0 | 0 |-5.192556e+01 |-1.800000e+01 | 65.33%
2.49/2.52 c 2.5s| 1 | 0 | 8922 | - | 16M| 0 | 189 | 200 |3110 | 200 | 537 |1203 | 0 | 0 |-5.173434e+01 |-1.800000e+01 | 65.21%
2.49/2.57 c 2.6s| 1 | 0 | 9089 | - | 16M| 0 | 190 | 200 |3110 | 200 | 547 |1213 | 0 | 0 |-5.149498e+01 |-1.800000e+01 | 65.05%
2.59/2.62 c 2.6s| 1 | 0 | 9220 | - | 16M| 0 | 195 | 200 |3110 | 200 | 556 |1222 | 0 | 0 |-5.131617e+01 |-1.800000e+01 | 64.92%
2.59/2.66 c 2.7s| 1 | 0 | 9342 | - | 16M| 0 | 193 | 200 |3110 | 200 | 563 |1229 | 0 | 0 |-5.113062e+01 |-1.800000e+01 | 64.80%
2.69/2.70 c 2.7s| 1 | 0 | 9406 | - | 16M| 0 | 196 | 200 |3110 | 200 | 415 |1240 | 0 | 0 |-5.101640e+01 |-1.800000e+01 | 64.72%
2.69/2.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.69/2.74 c 2.7s| 1 | 0 | 9497 | - | 16M| 0 | 195 | 200 |3110 | 200 | 422 |1247 | 0 | 0 |-5.087415e+01 |-1.800000e+01 | 64.62%
2.69/2.77 c 2.8s| 1 | 0 | 9570 | - | 16M| 0 | 196 | 200 |3110 | 200 | 429 |1254 | 0 | 0 |-5.076856e+01 |-1.800000e+01 | 64.54%
2.79/2.81 c 2.8s| 1 | 0 | 9673 | - | 16M| 0 | 197 | 200 |3110 | 200 | 440 |1265 | 0 | 0 |-5.057725e+01 |-1.800000e+01 | 64.41%
2.79/2.85 c 2.8s| 1 | 0 | 9778 | - | 16M| 0 | 198 | 200 |3110 | 200 | 452 |1277 | 0 | 0 |-5.042495e+01 |-1.800000e+01 | 64.30%
2.79/2.88 c 2.9s| 1 | 0 | 9848 | - | 16M| 0 | 198 | 200 |3110 | 200 | 458 |1283 | 0 | 0 |-5.038242e+01 |-1.800000e+01 | 64.27%
2.89/2.93 c 2.9s| 1 | 0 | 9976 | - | 16M| 0 | 199 | 200 |3110 | 200 | 383 |1289 | 0 | 0 |-5.029197e+01 |-1.800000e+01 | 64.21%
2.89/2.96 c 3.0s| 1 | 0 | 10037 | - | 16M| 0 | 198 | 200 |3110 | 200 | 390 |1296 | 0 | 0 |-5.024470e+01 |-1.800000e+01 | 64.18%
2.99/3.00 c 3.0s| 1 | 0 | 10181 | - | 16M| 0 | 200 | 200 |3110 | 200 | 401 |1307 | 0 | 0 |-5.011273e+01 |-1.800000e+01 | 64.08%
2.99/3.03 c 3.0s| 1 | 0 | 10295 | - | 16M| 0 | 198 | 200 |3110 | 200 | 413 |1319 | 0 | 0 |-4.998674e+01 |-1.800000e+01 | 63.99%
2.99/3.07 c 3.1s| 1 | 0 | 10409 | - | 16M| 0 | 199 | 200 |3110 | 200 | 423 |1329 | 0 | 0 |-4.985851e+01 |-1.800000e+01 | 63.90%
3.09/3.11 c 3.1s| 1 | 0 | 10510 | - | 16M| 0 | 198 | 200 |3110 | 200 | 431 |1337 | 0 | 0 |-4.974811e+01 |-1.800000e+01 | 63.82%
3.09/3.15 c 3.2s| 1 | 0 | 10644 | - | 16M| 0 | 199 | 200 |3110 | 200 | 392 |1345 | 0 | 0 |-4.961900e+01 |-1.800000e+01 | 63.72%
3.09/3.19 c 3.2s| 1 | 0 | 10738 | - | 16M| 0 | 199 | 200 |3110 | 200 | 400 |1353 | 0 | 0 |-4.952285e+01 |-1.800000e+01 | 63.65%
3.20/3.22 c 3.2s| 1 | 0 | 10804 | - | 16M| 0 | 200 | 200 |3110 | 200 | 408 |1361 | 0 | 0 |-4.948202e+01 |-1.800000e+01 | 63.62%
3.20/3.25 c 3.3s| 1 | 0 | 10879 | - | 16M| 0 | 199 | 200 |3110 | 200 | 419 |1372 | 0 | 0 |-4.944200e+01 |-1.800000e+01 | 63.59%
3.20/3.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.20/3.29 c 3.3s| 1 | 0 | 10937 | - | 16M| 0 | 199 | 200 |3110 | 200 | 424 |1377 | 0 | 0 |-4.940258e+01 |-1.800000e+01 | 63.56%
3.29/3.32 c 3.3s| 1 | 0 | 10964 | - | 16M| 0 | 199 | 200 |3110 | 200 | 430 |1383 | 0 | 0 |-4.938325e+01 |-1.800000e+01 | 63.55%
3.29/3.36 c 3.4s| 1 | 0 | 11052 | - | 16M| 0 | 199 | 200 |3110 | 200 | 398 |1390 | 0 | 0 |-4.934357e+01 |-1.800000e+01 | 63.52%
3.29/3.39 c 3.4s| 1 | 0 | 11100 | - | 16M| 0 | 199 | 200 |3110 | 200 | 406 |1398 | 0 | 0 |-4.932855e+01 |-1.800000e+01 | 63.51%
3.39/3.43 c 3.4s| 1 | 0 | 11202 | - | 16M| 0 | 200 | 200 |3110 | 200 | 416 |1408 | 0 | 0 |-4.926906e+01 |-1.800000e+01 | 63.47%
3.39/3.47 c 3.5s| 1 | 0 | 11283 | - | 16M| 0 | 200 | 200 |3110 | 200 | 423 |1415 | 0 | 0 |-4.924218e+01 |-1.800000e+01 | 63.45%
3.49/3.50 c 3.5s| 1 | 0 | 11337 | - | 16M| 0 | 200 | 200 |3110 | 200 | 432 |1424 | 0 | 0 |-4.923067e+01 |-1.800000e+01 | 63.44%
3.49/3.54 c 3.5s| 1 | 0 | 11386 | - | 16M| 0 | 200 | 200 |3110 | 200 | 439 |1431 | 0 | 0 |-4.921789e+01 |-1.800000e+01 | 63.43%
3.49/3.57 c 3.6s| 1 | 0 | 11421 | - | 16M| 0 | 200 | 200 |3110 | 200 | 378 |1439 | 0 | 0 |-4.921331e+01 |-1.800000e+01 | 63.42%
3.59/3.60 c 3.6s| 1 | 0 | 11455 | - | 16M| 0 | 200 | 200 |3110 | 200 | 384 |1445 | 0 | 0 |-4.920708e+01 |-1.800000e+01 | 63.42%
3.59/3.63 c 3.6s| 1 | 0 | 11494 | - | 16M| 0 | 200 | 200 |3110 | 200 | 389 |1450 | 0 | 0 |-4.920399e+01 |-1.800000e+01 | 63.42%
4.19/4.29 c 4.3s| 1 | 2 | 11494 | - | 16M| 0 | 200 | 200 |3110 | 200 | 389 |1450 | 0 | 15 |-4.920399e+01 |-1.800000e+01 | 63.42%
4.99/5.06 o -19
4.99/5.06 c R 5.1s| 20 | 19 | 13605 | 111.1 | 16M| 13 | 8 | 200 |3110 | 200 | 209 |1464 | 0 | 339 |-4.899425e+01 |-1.900000e+01 | 61.22%
4.99/5.06 o -20
4.99/5.06 c f 5.1s| 20 | 21 | 13611 | 111.4 | 16M| 13 | - | 200 |3110 | 200 | 209 |1464 | 0 | 345 |-4.899425e+01 |-2.000000e+01 | 59.18%
6.79/6.83 o -21
6.79/6.83 c R 6.8s| 92 | 87 | 17975 | 71.2 | 17M| 15 | - | 200 |3110 | 200 | 240 |2065 | 0 |1207 |-4.892032e+01 |-2.100000e+01 | 57.07%
6.79/6.89 o -22
6.79/6.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.79/6.89 c * 6.9s| 103 | 88 | 18350 | 67.2 | 17M| 15 | - | 200 |3110 | 200 | 248 |2197 | 0 |1262 |-4.892032e+01 |-2.200000e+01 | 55.03%
6.99/7.00 o -23
6.99/7.00 c * 7.0s| 127 | 98 | 18958 | 59.2 | 17M| 16 | - | 200 |3110 | 200 | 231 |2387 | 0 |1314 |-4.892032e+01 |-2.300000e+01 | 52.98%
6.99/7.03 o -24
6.99/7.03 c * 7.0s| 138 | 101 | 19286 | 56.9 | 17M| 16 | - | 200 |3110 | 200 | 241 |2477 | 0 |1329 |-4.892032e+01 |-2.400000e+01 | 50.94%
7.19/7.27 o -25
7.19/7.27 c z 7.3s| 181 | 124 | 21000 | 52.8 | 17M| 16 | 9 | 200 |3110 | 200 | 247 |2742 | 0 |1380 |-4.886011e+01 |-2.500000e+01 | 48.83%
7.19/7.27 o -26
7.19/7.27 c * 7.3s| 183 | 112 | 21006 | 52.3 | 17M| 16 | - | 200 |3110 | 200 | 245 |2742 | 0 |1380 |-4.886011e+01 |-2.600000e+01 | 46.79%
8.09/8.11 o -27
8.09/8.11 c * 8.1s| 864 | 355 | 38970 | 31.8 | 18M| 22 | - | 200 |3110 | 200 | 236 |8894 | 0 |1402 |-4.855495e+01 |-2.700000e+01 | 44.39%
13.20/13.25 o -28
13.20/13.25 c *13.2s| 4208 | 2299 |168805 | 37.4 | 23M| 41 | - | 200 |3110 | 200 | 237 | 48k| 0 |1464 |-4.640937e+01 |-2.800000e+01 | 39.67%
18.49/18.51 c 18.5s| 10000 | 4543 |309357 | 29.8 | 29M| 67 | 20 | 200 |3110 | 200 | 200 | 108k| 0 |1464 |-4.580315e+01 |-2.800000e+01 | 38.87%
26.30/26.31 c 26.3s| 20000 | 7215 |509829 | 24.9 | 37M| 67 | 24 | 200 |3110 | 200 | 221 | 202k| 0 |1852 |-4.538508e+01 |-2.800000e+01 | 38.31%
26.69/26.73 o -29
26.69/26.73 c *26.7s| 20415 | 6007 |519432 | 24.9 | 35M| 67 | - | 200 |3110 | 200 | 230 | 206k| 0 |1918 |-4.534615e+01 |-2.900000e+01 | 36.05%
33.79/33.80 c 33.8s| 30000 | 7944 |698401 | 22.9 | 42M| 67 | 72 | 200 |3110 | 200 | 264 | 294k| 0 |2311 |-4.498172e+01 |-2.900000e+01 | 35.53%
40.89/40.96 c 41.0s| 40000 | 9948 |883980 | 21.8 | 48M| 67 | 19 | 200 |3110 | 200 | 200 | 387k| 0 |2687 |-4.461156e+01 |-2.900000e+01 | 34.99%
48.00/48.09 c 48.1s| 50000 | 11728 | 1066k| 21.1 | 55M| 71 | - | 200 |3110 | 200 | 224 | 477k| 0 |3084 |-4.423958e+01 |-2.900000e+01 | 34.45%
55.00/55.05 c 55.0s| 60000 | 13492 | 1248k| 20.6 | 61M| 71 | - | 200 |3110 | 200 | 214 | 568k| 0 |3443 |-4.395334e+01 |-2.900000e+01 | 34.02%
61.69/61.72 c 61.7s| 70000 | 15132 | 1422k| 20.2 | 67M| 71 | 22 | 200 |3110 | 200 | 215 | 658k| 0 |3759 |-4.376190e+01 |-2.900000e+01 | 33.73%
68.29/68.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
68.29/68.34 c 68.3s| 80000 | 16698 | 1593k| 19.8 | 72M| 71 | - | 200 |3110 | 200 | 237 | 746k| 0 |4038 |-4.361048e+01 |-2.900000e+01 | 33.50%
74.89/74.94 c 74.9s| 90000 | 18338 | 1766k| 19.5 | 78M| 71 | 53 | 200 |3110 | 200 | 248 | 835k| 0 |4329 |-4.344737e+01 |-2.900000e+01 | 33.25%
81.49/81.54 c 81.5s|100000 | 19940 | 1939k| 19.3 | 83M| 71 | - | 200 |3110 | 200 | 249 | 926k| 0 |4609 |-4.330000e+01 |-2.900000e+01 | 33.03%
87.69/87.78 c 87.8s|110000 | 21356 | 2101k| 19.0 | 88M| 80 | 14 | 200 |3110 | 200 | 214 |1015k| 0 |4823 |-4.317021e+01 |-2.900000e+01 | 32.82%
93.89/93.93 c 93.9s|120000 | 22680 | 2259k| 18.7 | 93M| 80 | - | 200 |3110 | 200 | 227 |1101k| 0 |5084 |-4.305556e+01 |-2.900000e+01 | 32.65%
100.00/100.09 c 100s|130000 | 24048 | 2418k| 18.5 | 98M| 80 | - | 200 |3110 | 200 | 221 |1191k| 0 |5287 |-4.297396e+01 |-2.900000e+01 | 32.52%
106.09/106.12 c 106s|140000 | 25258 | 2573k| 18.3 | 102M| 80 | - | 200 |3110 | 200 | 222 |1280k| 0 |5502 |-4.288372e+01 |-2.900000e+01 | 32.38%
112.10/112.18 c 112s|150000 | 26600 | 2730k| 18.1 | 107M| 80 | 24 | 200 |3110 | 200 | 214 |1371k| 0 |5699 |-4.277885e+01 |-2.900000e+01 | 32.21%
118.19/118.20 c 118s|160000 | 27830 | 2886k| 18.0 | 111M| 80 | 22 | 200 |3110 | 200 | 217 |1460k| 0 |5873 |-4.270000e+01 |-2.900000e+01 | 32.08%
124.09/124.18 c 124s|170000 | 29040 | 3041k| 17.8 | 115M| 80 | 12 | 200 |3110 | 200 | 216 |1549k| 0 |6091 |-4.263462e+01 |-2.900000e+01 | 31.98%
130.29/130.35 c 130s|180000 | 30416 | 3201k| 17.7 | 120M| 80 | - | 200 |3110 | 200 | 216 |1638k| 0 |6289 |-4.253157e+01 |-2.900000e+01 | 31.82%
136.19/136.29 c 136s|190000 | 31716 | 3356k| 17.6 | 125M| 83 | 45 | 200 |3110 | 200 | 224 |1725k| 0 |6457 |-4.247414e+01 |-2.900000e+01 | 31.72%
142.20/142.24 c 142s|200000 | 33002 | 3510k| 17.5 | 129M| 83 | - | 200 |3110 | 200 | 215 |1814k| 0 |6628 |-4.240000e+01 |-2.900000e+01 | 31.60%
148.20/148.21 c 148s|210000 | 34388 | 3665k| 17.4 | 134M| 83 | 34 | 200 |3110 | 200 | 228 |1902k| 0 |6767 |-4.231111e+01 |-2.900000e+01 | 31.46%
154.00/154.08 c 154s|220000 | 35732 | 3817k| 17.3 | 138M| 83 | 20 | 200 |3110 | 200 | 218 |1989k| 0 |6927 |-4.225000e+01 |-2.900000e+01 | 31.36%
159.99/160.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
159.99/160.00 c 160s|230000 | 36964 | 3969k| 17.2 | 143M| 83 | - | 200 |3110 | 200 | 219 |2074k| 0 |7109 |-4.219653e+01 |-2.900000e+01 | 31.27%
165.89/165.96 c 166s|240000 | 38156 | 4122k| 17.1 | 147M| 83 | - | 200 |3110 | 200 | 226 |2163k| 0 |7271 |-4.211458e+01 |-2.900000e+01 | 31.14%
171.79/171.85 c 172s|250000 | 39358 | 4275k| 17.1 | 151M| 83 | 46 | 200 |3110 | 200 | 242 |2251k| 0 |7401 |-4.203448e+01 |-2.900000e+01 | 31.01%
177.59/177.67 c 178s|260000 | 40546 | 4426k| 17.0 | 155M| 85 | 45 | 200 |3110 | 200 | 200 |2339k| 0 |7566 |-4.200000e+01 |-2.900000e+01 | 30.95%
183.49/183.59 c 184s|270000 | 41838 | 4580k| 16.9 | 160M| 85 | 6 | 200 |3110 | 200 | 217 |2427k| 0 |7717 |-4.195000e+01 |-2.900000e+01 | 30.87%
189.39/189.45 c 189s|280000 | 43068 | 4732k| 16.9 | 164M| 85 | 15 | 200 |3110 | 200 | 215 |2517k| 0 |7895 |-4.187500e+01 |-2.900000e+01 | 30.75%
195.10/195.19 c 195s|290000 | 44144 | 4880k| 16.8 | 167M| 90 | - | 200 |3110 | 200 | 249 |2604k| 0 |8070 |-4.181429e+01 |-2.900000e+01 | 30.65%
200.89/200.93 c 201s|300000 | 45194 | 5029k| 16.7 | 171M| 90 | 10 | 200 |3110 | 200 | 200 |2693k| 0 |8193 |-4.176316e+01 |-2.900000e+01 | 30.56%
206.70/206.74 c 207s|310000 | 46324 | 5180k| 16.7 | 175M| 90 | - | 200 |3110 | 200 | 240 |2778k| 0 |8333 |-4.171111e+01 |-2.900000e+01 | 30.47%
212.39/212.40 c 212s|320000 | 47362 | 5325k| 16.6 | 179M| 90 | - | 200 |3110 | 200 | 216 |2865k| 0 |8487 |-4.166667e+01 |-2.900000e+01 | 30.40%
218.09/218.19 c 218s|330000 | 48426 | 5476k| 16.6 | 183M| 90 | - | 200 |3110 | 200 | 200 |2952k| 0 |8580 |-4.160000e+01 |-2.900000e+01 | 30.29%
223.89/223.99 c 224s|340000 | 49582 | 5626k| 16.5 | 187M| 90 | 30 | 200 |3110 | 200 | 216 |3039k| 0 |8760 |-4.153968e+01 |-2.900000e+01 | 30.19%
229.59/229.61 c 230s|350000 | 50568 | 5770k| 16.5 | 190M| 90 | 24 | 200 |3110 | 200 | 213 |3127k| 0 |8874 |-4.150000e+01 |-2.900000e+01 | 30.12%
235.19/235.26 c 235s|360000 | 51560 | 5916k| 16.4 | 194M| 90 | - | 200 |3110 | 200 | 248 |3211k| 0 |9011 |-4.144444e+01 |-2.900000e+01 | 30.03%
240.80/240.89 c 241s|370000 | 52522 | 6058k| 16.3 | 197M| 90 | 20 | 200 |3110 | 200 | 200 |3298k| 0 |9174 |-4.138462e+01 |-2.900000e+01 | 29.93%
246.49/246.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
246.49/246.59 c 247s|380000 | 53516 | 6206k| 16.3 | 201M| 92 | 38 | 200 |3110 | 200 | 212 |3385k| 0 |9277 |-4.133333e+01 |-2.900000e+01 | 29.84%
252.19/252.20 c 252s|390000 | 54536 | 6349k| 16.3 | 204M| 92 | - | 200 |3110 | 200 | 224 |3473k| 0 |9427 |-4.130769e+01 |-2.900000e+01 | 29.80%
257.79/257.88 c 258s|400000 | 55506 | 6495k| 16.2 | 208M| 92 | 30 | 200 |3110 | 200 | 219 |3562k| 0 |9545 |-4.125000e+01 |-2.900000e+01 | 29.70%
263.39/263.46 c 263s|410000 | 56522 | 6638k| 16.2 | 211M| 92 | - | 200 |3110 | 200 | 215 |3646k| 0 |9660 |-4.118182e+01 |-2.900000e+01 | 29.58%
269.09/269.10 c 269s|420000 | 57558 | 6782k| 16.1 | 215M| 92 | - | 200 |3110 | 200 | 215 |3731k| 0 |9832 |-4.114286e+01 |-2.900000e+01 | 29.51%
274.59/274.62 c 275s|430000 | 58466 | 6921k| 16.1 | 218M| 92 | 30 | 200 |3110 | 200 | 217 |3815k| 0 |9917 |-4.109375e+01 |-2.900000e+01 | 29.43%
280.19/280.25 c 280s|440000 | 59448 | 7065k| 16.0 | 222M| 92 | - | 200 |3110 | 200 | 236 |3901k| 0 | 10k|-4.103226e+01 |-2.900000e+01 | 29.32%
285.89/285.93 c 286s|450000 | 60486 | 7211k| 16.0 | 225M| 92 | 18 | 200 |3110 | 200 | 200 |3988k| 0 | 10k|-4.100000e+01 |-2.900000e+01 | 29.27%
291.49/291.57 c 292s|460000 | 61514 | 7355k| 16.0 | 229M| 92 | 22 | 200 |3110 | 200 | 200 |4075k| 0 | 10k|-4.100000e+01 |-2.900000e+01 | 29.27%
297.10/297.11 c 297s|470000 | 62506 | 7498k| 15.9 | 232M| 92 | - | 200 |3110 | 200 | 220 |4158k| 0 | 10k|-4.100000e+01 |-2.900000e+01 | 29.27%
302.59/302.61 c 303s|480000 | 63430 | 7638k| 15.9 | 236M| 92 | 25 | 200 |3110 | 200 | 200 |4243k| 0 | 10k|-4.092411e+01 |-2.900000e+01 | 29.14%
308.29/308.33 c 308s|490000 | 64424 | 7785k| 15.9 | 239M| 92 | 8 | 200 |3110 | 200 | 213 |4331k| 0 | 10k|-4.087500e+01 |-2.900000e+01 | 29.05%
309.89/309.99 o -30
309.89/309.99 c * 310s|492893 | 53711 | 7827k| 15.9 | 208M| 92 | - | 200 |3110 | 200 | 228 |4356k| 0 | 10k|-4.086364e+01 |-3.000000e+01 | 26.59%
313.99/314.03 c 314s|500000 | 54238 | 7924k| 15.8 | 210M| 92 | - | 200 |3110 | 200 | 218 |4416k| 0 | 10k|-4.083333e+01 |-3.000000e+01 | 26.53%
319.39/319.46 c 319s|510000 | 54870 | 8061k| 15.8 | 213M| 92 | - | 200 |3110 | 200 | 215 |4502k| 0 | 10k|-4.080000e+01 |-3.000000e+01 | 26.47%
324.89/324.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
324.89/324.97 c 325s|520000 | 55552 | 8199k| 15.7 | 216M| 92 | - | 200 |3110 | 200 | 211 |4586k| 0 | 10k|-4.075000e+01 |-3.000000e+01 | 26.38%
330.39/330.49 c 330s|530000 | 56274 | 8339k| 15.7 | 218M| 92 | 46 | 200 |3110 | 200 | 227 |4674k| 0 | 11k|-4.071053e+01 |-3.000000e+01 | 26.31%
335.99/336.01 c 336s|540000 | 57030 | 8480k| 15.7 | 221M| 92 | - | 200 |3110 | 200 | 210 |4758k| 0 | 11k|-4.066667e+01 |-3.000000e+01 | 26.23%
341.60/341.62 c 342s|550000 | 57722 | 8622k| 15.7 | 224M| 92 | - | 200 |3110 | 200 | 236 |4846k| 0 | 11k|-4.062500e+01 |-3.000000e+01 | 26.15%
347.09/347.13 c 347s|560000 | 58434 | 8761k| 15.6 | 227M| 92 | 48 | 200 |3110 | 200 | 242 |4933k| 0 | 11k|-4.058491e+01 |-3.000000e+01 | 26.08%
352.60/352.64 c 353s|570000 | 59122 | 8900k| 15.6 | 230M| 92 | - | 200 |3110 | 200 | 215 |5021k| 0 | 11k|-4.052941e+01 |-3.000000e+01 | 25.98%
357.99/358.08 c 358s|580000 | 59820 | 9037k| 15.6 | 232M| 92 | 30 | 200 |3110 | 200 | 217 |5105k| 0 | 11k|-4.050000e+01 |-3.000000e+01 | 25.93%
363.59/363.62 c 364s|590000 | 60594 | 9178k| 15.5 | 235M| 92 | 23 | 200 |3110 | 200 | 216 |5192k| 0 | 11k|-4.050000e+01 |-3.000000e+01 | 25.93%
368.99/369.04 c 369s|600000 | 61192 | 9314k| 15.5 | 237M| 92 | - | 200 |3110 | 200 | 211 |5277k| 0 | 11k|-4.044444e+01 |-3.000000e+01 | 25.82%
374.49/374.51 c 375s|610000 | 61826 | 9452k| 15.5 | 240M| 92 | 15 | 200 |3110 | 200 | 230 |5364k| 0 | 11k|-4.040000e+01 |-3.000000e+01 | 25.74%
379.89/379.97 c 380s|620000 | 62436 | 9588k| 15.4 | 242M| 92 | - | 200 |3110 | 200 | 214 |5450k| 0 | 11k|-4.036364e+01 |-3.000000e+01 | 25.68%
385.29/385.39 c 385s|630000 | 63036 | 9725k| 15.4 | 245M| 92 | - | 200 |3110 | 200 | 226 |5536k| 0 | 12k|-4.033333e+01 |-3.000000e+01 | 25.62%
390.80/390.88 c 391s|640000 | 63666 | 9863k| 15.4 | 247M| 97 | 58 | 200 |3110 | 200 | 236 |5625k| 0 | 12k|-4.030952e+01 |-3.000000e+01 | 25.58%
396.30/396.33 c 396s|650000 | 64248 | 10001k| 15.4 | 250M| 97 | - | 200 |3110 | 200 | 223 |5712k| 0 | 12k|-4.026667e+01 |-3.000000e+01 | 25.50%
401.69/401.73 c 402s|660000 | 64828 | 10136k| 15.3 | 252M| 97 | - | 200 |3110 | 200 | 213 |5800k| 0 | 12k|-4.025000e+01 |-3.000000e+01 | 25.47%
406.99/407.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
406.99/407.05 c 407s|670000 | 65378 | 10269k| 15.3 | 254M| 97 | 33 | 200 |3110 | 200 | 200 |5885k| 0 | 12k|-4.020000e+01 |-3.000000e+01 | 25.37%
412.40/412.48 c 412s|680000 | 66076 | 10406k| 15.3 | 257M| 97 | 51 | 200 |3110 | 200 | 218 |5970k| 0 | 12k|-4.016667e+01 |-3.000000e+01 | 25.31%
417.79/417.89 c 418s|690000 | 66698 | 10541k| 15.3 | 259M| 97 | 50 | 200 |3110 | 200 | 237 |6055k| 0 | 12k|-4.012500e+01 |-3.000000e+01 | 25.23%
423.19/423.25 c 423s|700000 | 67236 | 10675k| 15.2 | 261M| 97 | 32 | 200 |3110 | 200 | 214 |6138k| 0 | 12k|-4.008333e+01 |-3.000000e+01 | 25.16%
428.59/428.63 c 429s|710000 | 67734 | 10809k| 15.2 | 263M| 97 | 38 | 200 |3110 | 200 | 223 |6226k| 0 | 12k|-4.004167e+01 |-3.000000e+01 | 25.08%
433.90/433.91 c 434s|720000 | 68278 | 10941k| 15.2 | 266M| 97 | - | 200 |3110 | 200 | 218 |6311k| 0 | 12k|-4.000000e+01 |-3.000000e+01 | 25.00%
439.29/439.34 c 439s|730000 | 68890 | 11078k| 15.2 | 268M| 97 | 29 | 200 |3110 | 200 | 240 |6399k| 0 | 12k|-4.000000e+01 |-3.000000e+01 | 25.00%
444.79/444.82 c 445s|740000 | 69588 | 11215k| 15.1 | 270M| 97 | - | 200 |3110 | 200 | 246 |6485k| 0 | 13k|-4.000000e+01 |-3.000000e+01 | 25.00%
450.09/450.13 c 450s|750000 | 70166 | 11347k| 15.1 | 273M| 97 | 31 | 200 |3110 | 200 | 213 |6571k| 0 | 13k|-4.000000e+01 |-3.000000e+01 | 25.00%
455.40/455.44 c 455s|760000 | 70744 | 11481k| 15.1 | 275M| 97 | - | 200 |3110 | 200 | 227 |6656k| 0 | 13k|-4.000000e+01 |-3.000000e+01 | 25.00%
460.80/460.80 c 461s|770000 | 71290 | 11616k| 15.1 | 277M| 97 | 20 | 200 |3110 | 200 | 215 |6742k| 0 | 13k|-3.994118e+01 |-3.000000e+01 | 24.89%
466.09/466.15 c 466s|780000 | 71908 | 11750k| 15.1 | 280M| 97 | 44 | 200 |3110 | 200 | 219 |6828k| 0 | 13k|-3.989744e+01 |-3.000000e+01 | 24.81%
471.39/471.47 c 471s|790000 | 72468 | 11884k| 15.0 | 282M| 97 | 46 | 200 |3110 | 200 | 248 |6912k| 0 | 13k|-3.985714e+01 |-3.000000e+01 | 24.73%
476.69/476.78 c 477s|800000 | 73048 | 12017k| 15.0 | 284M| 97 | 28 | 200 |3110 | 200 | 200 |6995k| 0 | 13k|-3.982051e+01 |-3.000000e+01 | 24.66%
482.10/482.16 c 482s|810000 | 73646 | 12152k| 15.0 | 286M| 97 | - | 200 |3110 | 200 | 222 |7082k| 0 | 13k|-3.979167e+01 |-3.000000e+01 | 24.61%
487.39/487.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
487.39/487.45 c 487s|820000 | 74218 | 12283k| 15.0 | 289M| 97 | 62 | 200 |3110 | 200 | 265 |7165k| 0 | 13k|-3.975000e+01 |-3.000000e+01 | 24.53%
492.89/492.91 c 493s|830000 | 74824 | 12421k| 15.0 | 291M| 97 | - | 200 |3110 | 200 | 200 |7251k| 0 | 13k|-3.973333e+01 |-3.000000e+01 | 24.50%
498.20/498.21 c 498s|840000 | 75348 | 12554k| 14.9 | 293M| 97 | 23 | 200 |3110 | 200 | 200 |7337k| 0 | 13k|-3.970000e+01 |-3.000000e+01 | 24.43%
503.40/503.49 c 503s|850000 | 75864 | 12684k| 14.9 | 295M| 97 | 61 | 200 |3110 | 200 | 216 |7423k| 0 | 14k|-3.966667e+01 |-3.000000e+01 | 24.37%
508.90/508.90 c 509s|860000 | 76510 | 12820k| 14.9 | 298M| 97 | - | 200 |3110 | 200 | 217 |7508k| 0 | 14k|-3.966667e+01 |-3.000000e+01 | 24.37%
514.19/514.22 c 514s|870000 | 76988 | 12952k| 14.9 | 300M| 97 | 21 | 200 |3110 | 200 | 200 |7594k| 0 | 14k|-3.961538e+01 |-3.000000e+01 | 24.27%
519.50/519.55 c 520s|880000 | 77568 | 13085k| 14.9 | 302M| 97 | - | 200 |3110 | 200 | 231 |7679k| 0 | 14k|-3.958333e+01 |-3.000000e+01 | 24.21%
524.70/524.76 c 525s|890000 | 78104 | 13215k| 14.8 | 304M| 97 | - | 200 |3110 | 200 | 226 |7763k| 0 | 14k|-3.954286e+01 |-3.000000e+01 | 24.13%
530.00/530.01 c 530s|900000 | 78696 | 13344k| 14.8 | 306M| 97 | - | 200 |3110 | 200 | 213 |7847k| 0 | 14k|-3.950000e+01 |-3.000000e+01 | 24.05%
535.30/535.32 c 535s|910000 | 79268 | 13476k| 14.8 | 309M| 97 | - | 200 |3110 | 200 | 213 |7932k| 0 | 14k|-3.950000e+01 |-3.000000e+01 | 24.05%
540.40/540.49 c 540s|920000 | 79762 | 13604k| 14.8 | 310M| 97 | - | 200 |3110 | 200 | 245 |8016k| 0 | 14k|-3.950000e+01 |-3.000000e+01 | 24.05%
545.70/545.70 c 546s|930000 | 80254 | 13734k| 14.8 | 312M| 97 | 66 | 200 |3110 | 200 | 250 |8099k| 0 | 14k|-3.949375e+01 |-3.000000e+01 | 24.04%
550.90/550.96 c 551s|940000 | 80722 | 13863k| 14.7 | 314M| 97 | 22 | 200 |3110 | 200 | 200 |8184k| 0 | 14k|-3.943478e+01 |-3.000000e+01 | 23.93%
556.10/556.19 c 556s|950000 | 81264 | 13994k| 14.7 | 316M| 97 | 8 | 200 |3110 | 200 | 200 |8269k| 0 | 14k|-3.940000e+01 |-3.000000e+01 | 23.86%
561.39/561.45 c 561s|960000 | 81786 | 14124k| 14.7 | 318M| 97 | - | 200 |3110 | 200 | 236 |8353k| 0 | 14k|-3.937037e+01 |-3.000000e+01 | 23.80%
566.70/566.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
566.70/566.71 c 567s|970000 | 82300 | 14254k| 14.7 | 321M| 97 | - | 200 |3110 | 200 | 236 |8438k| 0 | 14k|-3.933333e+01 |-3.000000e+01 | 23.73%
572.01/572.00 c 572s|980000 | 82832 | 14386k| 14.7 | 323M| 97 | 15 | 200 |3110 | 200 | 200 |8523k| 0 | 15k|-3.933333e+01 |-3.000000e+01 | 23.73%
577.30/577.31 c 577s|990000 | 83426 | 14519k| 14.7 | 325M| 97 | - | 200 |3110 | 200 | 228 |8608k| 0 | 15k|-3.929167e+01 |-3.000000e+01 | 23.65%
582.59/582.61 c 583s| 1000k| 83902 | 14650k| 14.6 | 327M| 97 | - | 200 |3110 | 200 | 213 |8692k| 0 | 15k|-3.925000e+01 |-3.000000e+01 | 23.57%
587.70/587.75 c 588s| 1010k| 84398 | 14778k| 14.6 | 329M| 97 | - | 200 |3110 | 200 | 218 |8776k| 0 | 15k|-3.925000e+01 |-3.000000e+01 | 23.57%
592.90/592.94 c 593s| 1020k| 84830 | 14905k| 14.6 | 331M| 97 | 18 | 200 |3110 | 200 | 200 |8861k| 0 | 15k|-3.921429e+01 |-3.000000e+01 | 23.50%
598.09/598.13 c 598s| 1030k| 85306 | 15035k| 14.6 | 333M| 97 | 20 | 200 |3110 | 200 | 219 |8945k| 0 | 15k|-3.918750e+01 |-3.000000e+01 | 23.44%
603.30/603.32 c 603s| 1040k| 85844 | 15161k| 14.6 | 335M| 97 | - | 200 |3110 | 200 | 214 |9030k| 0 | 15k|-3.916667e+01 |-3.000000e+01 | 23.40%
608.50/608.57 c 609s| 1050k| 86314 | 15290k| 14.6 | 336M| 97 | 38 | 200 |3110 | 200 | 220 |9114k| 0 | 15k|-3.912500e+01 |-3.000000e+01 | 23.32%
613.70/613.76 c 614s| 1060k| 86712 | 15417k| 14.5 | 338M| 97 | 10 | 200 |3110 | 200 | 209 |9199k| 0 | 15k|-3.908333e+01 |-3.000000e+01 | 23.24%
618.90/618.91 c 619s| 1070k| 87154 | 15543k| 14.5 | 340M| 97 | 60 | 200 |3110 | 200 | 234 |9283k| 0 | 15k|-3.903509e+01 |-3.000000e+01 | 23.15%
624.10/624.12 c 624s| 1080k| 87684 | 15673k| 14.5 | 342M| 97 | 14 | 200 |3110 | 200 | 226 |9369k| 0 | 15k|-3.900000e+01 |-3.000000e+01 | 23.08%
629.40/629.40 c 629s| 1090k| 88226 | 15803k| 14.5 | 344M| 97 | - | 200 |3110 | 200 | 210 |9453k| 0 | 15k|-3.900000e+01 |-3.000000e+01 | 23.08%
634.50/634.54 c 635s| 1100k| 88674 | 15929k| 14.5 | 346M| 97 | 10 | 200 |3110 | 200 | 200 |9539k| 0 | 15k|-3.900000e+01 |-3.000000e+01 | 23.08%
639.80/639.80 c 640s| 1110k| 89222 | 16060k| 14.5 | 348M| 97 | - | 200 |3110 | 200 | 200 |9623k| 0 | 16k|-3.900000e+01 |-3.000000e+01 | 23.08%
644.90/644.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
644.90/644.96 c 645s| 1120k| 89644 | 16186k| 14.4 | 350M| 97 | 8 | 200 |3110 | 200 | 214 |9707k| 0 | 16k|-3.900000e+01 |-3.000000e+01 | 23.08%
650.10/650.16 c 650s| 1130k| 90090 | 16314k| 14.4 | 351M| 97 | - | 200 |3110 | 200 | 220 |9792k| 0 | 16k|-3.900000e+01 |-3.000000e+01 | 23.08%
655.30/655.37 c 655s| 1140k| 90542 | 16442k| 14.4 | 353M| 97 | 22 | 200 |3110 | 200 | 200 |9877k| 0 | 16k|-3.900000e+01 |-3.000000e+01 | 23.08%
660.40/660.48 c 660s| 1150k| 90950 | 16566k| 14.4 | 355M| 98 | 6 | 200 |3110 | 200 | 212 |9964k| 0 | 16k|-3.900000e+01 |-3.000000e+01 | 23.08%
665.60/665.68 c 666s| 1160k| 91402 | 16693k| 14.4 | 357M| 98 | 31 | 200 |3110 | 200 | 200 | 10M| 0 | 16k|-3.893750e+01 |-3.000000e+01 | 22.95%
670.70/670.77 c 671s| 1170k| 91772 | 16817k| 14.4 | 358M| 98 | 34 | 200 |3110 | 200 | 215 | 10M| 0 | 16k|-3.890000e+01 |-3.000000e+01 | 22.88%
675.80/675.83 c 676s| 1180k| 92158 | 16940k| 14.3 | 360M| 98 | - | 200 |3110 | 200 | 224 | 10M| 0 | 16k|-3.887500e+01 |-3.000000e+01 | 22.83%
681.00/681.02 c 681s| 1190k| 92572 | 17066k| 14.3 | 361M| 98 | - | 200 |3110 | 200 | 260 | 10M| 0 | 16k|-3.883929e+01 |-3.000000e+01 | 22.76%
686.10/686.15 c 686s| 1200k| 93018 | 17191k| 14.3 | 363M| 98 | - | 200 |3110 | 200 | 227 | 10M| 0 | 16k|-3.883333e+01 |-3.000000e+01 | 22.75%
691.20/691.28 c 691s| 1210k| 93436 | 17317k| 14.3 | 365M| 98 | 57 | 200 |3110 | 200 | 240 | 10M| 0 | 16k|-3.880000e+01 |-3.000000e+01 | 22.68%
696.31/696.36 c 696s| 1220k| 93846 | 17442k| 14.3 | 366M| 98 | - | 200 |3110 | 200 | 245 | 10M| 0 | 16k|-3.878161e+01 |-3.000000e+01 | 22.64%
701.50/701.53 c 702s| 1230k| 94238 | 17569k| 14.3 | 368M| 98 | 4 | 200 |3110 | 200 | 217 | 10M| 0 | 16k|-3.875000e+01 |-3.000000e+01 | 22.58%
706.60/706.64 c 707s| 1240k| 94654 | 17695k| 14.3 | 370M| 98 | 33 | 200 |3110 | 200 | 212 | 10M| 0 | 16k|-3.875000e+01 |-3.000000e+01 | 22.58%
711.60/711.67 c 712s| 1250k| 94950 | 17816k| 14.2 | 371M| 98 | 14 | 200 |3110 | 200 | 213 | 10M| 0 | 17k|-3.875000e+01 |-3.000000e+01 | 22.58%
716.80/716.80 c 717s| 1260k| 95332 | 17940k| 14.2 | 373M| 98 | 48 | 200 |3110 | 200 | 225 | 10M| 0 | 17k|-3.871429e+01 |-3.000000e+01 | 22.51%
721.90/721.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
721.90/721.95 c 722s| 1270k| 95716 | 18065k| 14.2 | 374M| 98 | 16 | 200 |3110 | 200 | 200 | 10M| 0 | 17k|-3.866667e+01 |-3.000000e+01 | 22.41%
727.01/727.08 c 727s| 1280k| 96192 | 18191k| 14.2 | 376M| 98 | - | 200 |3110 | 200 | 219 | 11M| 0 | 17k|-3.866667e+01 |-3.000000e+01 | 22.41%
732.20/732.20 c 732s| 1290k| 96576 | 18315k| 14.2 | 378M| 98 | - | 200 |3110 | 200 | 237 | 11M| 0 | 17k|-3.866667e+01 |-3.000000e+01 | 22.41%
737.30/737.35 c 737s| 1300k| 97000 | 18442k| 14.2 | 379M| 98 | - | 200 |3110 | 200 | 222 | 11M| 0 | 17k|-3.864286e+01 |-3.000000e+01 | 22.37%
742.40/742.45 c 742s| 1310k| 97376 | 18565k| 14.2 | 381M| 98 | 11 | 200 |3110 | 200 | 200 | 11M| 0 | 17k|-3.861111e+01 |-3.000000e+01 | 22.30%
747.50/747.54 c 748s| 1320k| 97626 | 18687k| 14.1 | 382M| 98 | 3 | 200 |3110 | 200 | 214 | 11M| 0 | 17k|-3.860000e+01 |-3.000000e+01 | 22.28%
752.50/752.54 c 753s| 1330k| 97936 | 18807k| 14.1 | 384M| 98 | 67 | 200 |3110 | 200 | 240 | 11M| 0 | 17k|-3.857143e+01 |-3.000000e+01 | 22.22%
757.60/757.64 c 758s| 1340k| 98328 | 18930k| 14.1 | 385M| 98 | - | 200 |3110 | 200 | 212 | 11M| 0 | 17k|-3.854545e+01 |-3.000000e+01 | 22.17%
762.70/762.75 c 763s| 1350k| 98638 | 19052k| 14.1 | 386M| 98 | - | 200 |3110 | 200 | 235 | 11M| 0 | 17k|-3.850000e+01 |-3.000000e+01 | 22.08%
767.81/767.89 c 768s| 1360k| 99004 | 19177k| 14.1 | 388M| 98 | 54 | 200 |3110 | 200 | 234 | 11M| 0 | 17k|-3.850000e+01 |-3.000000e+01 | 22.08%
772.80/772.81 c 773s| 1370k| 99288 | 19294k| 14.1 | 389M| 98 | 36 | 200 |3110 | 200 | 215 | 11M| 0 | 17k|-3.850000e+01 |-3.000000e+01 | 22.08%
777.80/777.83 c 778s| 1380k| 99642 | 19414k| 14.1 | 391M| 98 | - | 200 |3110 | 200 | 231 | 11M| 0 | 17k|-3.850000e+01 |-3.000000e+01 | 22.08%
782.81/782.82 c 783s| 1390k| 99964 | 19531k| 14.0 | 392M| 98 | - | 200 |3110 | 200 | 217 | 11M| 0 | 17k|-3.850000e+01 |-3.000000e+01 | 22.08%
787.70/787.79 c 788s| 1400k|100302 | 19651k| 14.0 | 393M| 98 | 26 | 200 |3110 | 200 | 200 | 12M| 0 | 17k|-3.850000e+01 |-3.000000e+01 | 22.08%
792.80/792.82 c 793s| 1410k|100602 | 19771k| 14.0 | 395M| 98 | - | 200 |3110 | 200 | 218 | 12M| 0 | 17k|-3.847222e+01 |-3.000000e+01 | 22.02%
797.90/797.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
797.90/797.97 c 798s| 1420k|100958 | 19895k| 14.0 | 396M| 98 | - | 200 |3110 | 200 | 218 | 12M| 0 | 18k|-3.843750e+01 |-3.000000e+01 | 21.95%
803.01/803.01 c 803s| 1430k|101252 | 20015k| 14.0 | 397M| 98 | 23 | 200 |3110 | 200 | 210 | 12M| 0 | 18k|-3.840741e+01 |-3.000000e+01 | 21.89%
808.01/808.06 c 808s| 1440k|101580 | 20136k| 14.0 | 399M| 98 | 24 | 200 |3110 | 200 | 200 | 12M| 0 | 18k|-3.840000e+01 |-3.000000e+01 | 21.87%
813.00/813.09 c 813s| 1450k|101908 | 20257k| 14.0 | 400M| 98 | - | 200 |3110 | 200 | 215 | 12M| 0 | 18k|-3.837500e+01 |-3.000000e+01 | 21.82%
818.10/818.11 c 818s| 1460k|102188 | 20376k| 13.9 | 401M| 98 | - | 200 |3110 | 200 | 235 | 12M| 0 | 18k|-3.833333e+01 |-3.000000e+01 | 21.74%
823.10/823.12 c 823s| 1470k|102484 | 20496k| 13.9 | 403M| 98 | 14 | 200 |3110 | 200 | 213 | 12M| 0 | 18k|-3.833333e+01 |-3.000000e+01 | 21.74%
828.10/828.15 c 828s| 1480k|102792 | 20616k| 13.9 | 404M| 98 | - | 200 |3110 | 200 | 229 | 12M| 0 | 18k|-3.833333e+01 |-3.000000e+01 | 21.74%
833.01/833.10 c 833s| 1490k|103098 | 20735k| 13.9 | 405M| 98 | - | 200 |3110 | 200 | 240 | 12M| 0 | 18k|-3.829412e+01 |-3.000000e+01 | 21.66%
838.11/838.11 c 838s| 1500k|103360 | 20854k| 13.9 | 407M| 98 | 19 | 200 |3110 | 200 | 200 | 12M| 0 | 18k|-3.826667e+01 |-3.000000e+01 | 21.60%
843.10/843.13 c 843s| 1510k|103626 | 20972k| 13.9 | 408M| 98 | - | 200 |3110 | 200 | 249 | 12M| 0 | 18k|-3.825000e+01 |-3.000000e+01 | 21.57%
848.11/848.15 c 848s| 1520k|103958 | 21092k| 13.9 | 409M| 98 | - | 200 |3110 | 200 | 246 | 13M| 0 | 18k|-3.825000e+01 |-3.000000e+01 | 21.57%
853.10/853.10 c 853s| 1530k|104232 | 21210k| 13.9 | 410M| 98 | 53 | 200 |3110 | 200 | 240 | 13M| 0 | 18k|-3.824455e+01 |-3.000000e+01 | 21.56%
858.11/858.12 c 858s| 1540k|104470 | 21328k| 13.8 | 411M| 98 | - | 200 |3110 | 200 | 218 | 13M| 0 | 18k|-3.820270e+01 |-3.000000e+01 | 21.47%
863.11/863.14 c 863s| 1550k|104722 | 21448k| 13.8 | 413M| 98 | - | 200 |3110 | 200 | 217 | 13M| 0 | 18k|-3.820000e+01 |-3.000000e+01 | 21.47%
868.01/868.07 c 868s| 1560k|104968 | 21565k| 13.8 | 414M| 98 | - | 200 |3110 | 200 | 213 | 13M| 0 | 18k|-3.816667e+01 |-3.000000e+01 | 21.40%
873.00/873.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
873.00/873.02 c 873s| 1570k|105204 | 21683k| 13.8 | 415M| 98 | 53 | 200 |3110 | 200 | 217 | 13M| 0 | 18k|-3.814286e+01 |-3.000000e+01 | 21.35%
877.91/877.94 c 878s| 1580k|105444 | 21798k| 13.8 | 416M| 98 | 21 | 200 |3110 | 200 | 200 | 13M| 0 | 19k|-3.812500e+01 |-3.000000e+01 | 21.31%
882.91/883.00 c 883s| 1590k|105734 | 21919k| 13.8 | 417M| 98 | - | 200 |3110 | 200 | 216 | 13M| 0 | 19k|-3.809091e+01 |-3.000000e+01 | 21.24%
888.00/888.03 c 888s| 1600k|106014 | 22038k| 13.8 | 418M| 98 | - | 200 |3110 | 200 | 217 | 13M| 0 | 19k|-3.805291e+01 |-3.000000e+01 | 21.16%
893.00/893.05 c 893s| 1610k|106294 | 22157k| 13.8 | 420M| 98 | 32 | 200 |3110 | 200 | 200 | 13M| 0 | 19k|-3.800000e+01 |-3.000000e+01 | 21.05%
898.11/898.10 c 898s| 1620k|106612 | 22277k| 13.7 | 421M| 99 | 50 | 200 |3110 | 200 | 211 | 13M| 0 | 19k|-3.800000e+01 |-3.000000e+01 | 21.05%
903.02/903.08 c 903s| 1630k|106846 | 22394k| 13.7 | 422M| 102 | - | 200 |3110 | 200 | 229 | 13M| 0 | 19k|-3.800000e+01 |-3.000000e+01 | 21.05%
907.90/907.97 c 908s| 1640k|107086 | 22509k| 13.7 | 423M| 102 | - | 200 |3110 | 200 | 245 | 14M| 0 | 19k|-3.800000e+01 |-3.000000e+01 | 21.05%
912.91/912.91 c 913s| 1650k|107352 | 22625k| 13.7 | 424M| 102 | 49 | 200 |3110 | 200 | 216 | 14M| 0 | 19k|-3.800000e+01 |-3.000000e+01 | 21.05%
917.91/917.91 c 918s| 1660k|107608 | 22744k| 13.7 | 425M| 102 | 63 | 200 |3110 | 200 | 279 | 14M| 0 | 19k|-3.800000e+01 |-3.000000e+01 | 21.05%
922.71/922.77 c 923s| 1670k|107812 | 22857k| 13.7 | 426M| 102 | - | 200 |3110 | 200 | 216 | 14M| 0 | 19k|-3.800000e+01 |-3.000000e+01 | 21.05%
927.81/927.84 c 928s| 1680k|108160 | 22978k| 13.7 | 428M| 102 | - | 200 |3110 | 200 | 215 | 14M| 0 | 19k|-3.800000e+01 |-3.000000e+01 | 21.05%
932.81/932.81 c 933s| 1690k|108384 | 23094k| 13.7 | 429M| 102 | 25 | 200 |3110 | 200 | 200 | 14M| 0 | 19k|-3.800000e+01 |-3.000000e+01 | 21.05%
937.71/937.70 c 938s| 1700k|108580 | 23209k| 13.6 | 430M| 102 | 15 | 200 |3110 | 200 | 216 | 14M| 0 | 19k|-3.800000e+01 |-3.000000e+01 | 21.05%
942.61/942.63 c 943s| 1710k|108852 | 23325k| 13.6 | 431M| 102 | - | 200 |3110 | 200 | 200 | 14M| 0 | 19k|-3.800000e+01 |-3.000000e+01 | 21.05%
947.50/947.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
947.50/947.59 c 948s| 1720k|109116 | 23442k| 13.6 | 432M| 102 | - | 200 |3110 | 200 | 235 | 14M| 0 | 19k|-3.800000e+01 |-3.000000e+01 | 21.05%
952.41/952.48 c 952s| 1730k|109360 | 23558k| 13.6 | 433M| 102 | 58 | 200 |3110 | 200 | 228 | 14M| 0 | 19k|-3.800000e+01 |-3.000000e+01 | 21.05%
957.41/957.41 c 957s| 1740k|109590 | 23673k| 13.6 | 434M| 102 | - | 200 |3110 | 200 | 213 | 14M| 0 | 19k|-3.797674e+01 |-3.000000e+01 | 21.00%
962.31/962.33 c 962s| 1750k|109790 | 23788k| 13.6 | 435M| 102 | 12 | 200 |3110 | 200 | 200 | 14M| 0 | 20k|-3.792857e+01 |-3.000000e+01 | 20.90%
967.21/967.22 c 967s| 1760k|109958 | 23903k| 13.6 | 436M| 102 | 19 | 200 |3110 | 200 | 224 | 14M| 0 | 20k|-3.790000e+01 |-3.000000e+01 | 20.84%
972.01/972.07 c 972s| 1770k|110134 | 24016k| 13.6 | 437M| 102 | 12 | 200 |3110 | 200 | 200 | 15M| 0 | 20k|-3.788889e+01 |-3.000000e+01 | 20.82%
976.91/976.95 c 977s| 1780k|110336 | 24130k| 13.5 | 437M| 102 | 10 | 200 |3110 | 200 | 200 | 15M| 0 | 20k|-3.787500e+01 |-3.000000e+01 | 20.79%
981.70/981.79 c 982s| 1790k|110530 | 24244k| 13.5 | 438M| 102 | - | 200 |3110 | 200 | 232 | 15M| 0 | 20k|-3.783871e+01 |-3.000000e+01 | 20.72%
986.62/986.65 c 987s| 1800k|110724 | 24357k| 13.5 | 439M| 102 | - | 200 |3110 | 200 | 241 | 15M| 0 | 20k|-3.783333e+01 |-3.000000e+01 | 20.70%
991.51/991.50 c 992s| 1810k|110934 | 24469k| 13.5 | 440M| 102 | - | 200 |3110 | 200 | 213 | 15M| 0 | 20k|-3.782051e+01 |-3.000000e+01 | 20.68%
996.31/996.34 c 996s| 1820k|111094 | 24583k| 13.5 | 441M| 102 | - | 200 |3110 | 200 | 239 | 15M| 0 | 20k|-3.780000e+01 |-3.000000e+01 | 20.63%
1001.21/1001.25 c 1001s| 1830k|111302 | 24698k| 13.5 | 442M| 102 | 28 | 200 |3110 | 200 | 215 | 15M| 0 | 20k|-3.778571e+01 |-3.000000e+01 | 20.60%
1006.01/1006.04 c 1006s| 1840k|111466 | 24808k| 13.5 | 443M| 102 | - | 200 |3110 | 200 | 236 | 15M| 0 | 20k|-3.775000e+01 |-3.000000e+01 | 20.53%
1010.81/1010.89 c 1011s| 1850k|111702 | 24923k| 13.5 | 444M| 102 | - | 200 |3110 | 200 | 226 | 15M| 0 | 20k|-3.775000e+01 |-3.000000e+01 | 20.53%
1015.71/1015.78 c 1016s| 1860k|111930 | 25038k| 13.5 | 445M| 102 | 65 | 200 |3110 | 200 | 234 | 15M| 0 | 20k|-3.775000e+01 |-3.000000e+01 | 20.53%
1020.61/1020.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1020.61/1020.61 c 1021s| 1870k|112118 | 25149k| 13.4 | 446M| 102 | 37 | 200 |3110 | 200 | 214 | 15M| 0 | 20k|-3.775000e+01 |-3.000000e+01 | 20.53%
1025.31/1025.37 c 1025s| 1880k|112306 | 25258k| 13.4 | 447M| 102 | - | 200 |3110 | 200 | 237 | 15M| 0 | 20k|-3.771429e+01 |-3.000000e+01 | 20.45%
1030.11/1030.17 c 1030s| 1890k|112454 | 25369k| 13.4 | 448M| 102 | - | 200 |3110 | 200 | 229 | 15M| 0 | 20k|-3.768421e+01 |-3.000000e+01 | 20.39%
1035.02/1035.05 c 1035s| 1900k|112706 | 25482k| 13.4 | 449M| 102 | - | 200 |3110 | 200 | 212 | 16M| 0 | 20k|-3.766667e+01 |-3.000000e+01 | 20.35%
1039.81/1039.87 c 1040s| 1910k|112926 | 25594k| 13.4 | 450M| 102 | 18 | 200 |3110 | 200 | 211 | 16M| 0 | 20k|-3.766667e+01 |-3.000000e+01 | 20.35%
1044.61/1044.69 c 1045s| 1920k|113088 | 25706k| 13.4 | 450M| 102 | - | 200 |3110 | 200 | 243 | 16M| 0 | 20k|-3.766667e+01 |-3.000000e+01 | 20.35%
1049.51/1049.51 c 1050s| 1930k|113300 | 25818k| 13.4 | 451M| 102 | 32 | 200 |3110 | 200 | 200 | 16M| 0 | 20k|-3.766667e+01 |-3.000000e+01 | 20.35%
1054.32/1054.31 c 1054s| 1940k|113488 | 25929k| 13.4 | 452M| 102 | - | 200 |3110 | 200 | 212 | 16M| 0 | 20k|-3.764000e+01 |-3.000000e+01 | 20.30%
1059.02/1059.09 c 1059s| 1950k|113690 | 26041k| 13.3 | 453M| 102 | - | 200 |3110 | 200 | 219 | 16M| 0 | 20k|-3.762500e+01 |-3.000000e+01 | 20.27%
1063.92/1063.97 c 1064s| 1960k|113898 | 26155k| 13.3 | 454M| 102 | - | 200 |3110 | 200 | 243 | 16M| 0 | 21k|-3.760000e+01 |-3.000000e+01 | 20.21%
1068.71/1068.74 c 1069s| 1970k|114026 | 26265k| 13.3 | 455M| 102 | - | 200 |3110 | 200 | 216 | 16M| 0 | 21k|-3.759091e+01 |-3.000000e+01 | 20.19%
1073.51/1073.54 c 1074s| 1980k|114184 | 26375k| 13.3 | 456M| 102 | 10 | 200 |3110 | 200 | 233 | 16M| 0 | 21k|-3.757143e+01 |-3.000000e+01 | 20.15%
1078.31/1078.32 c 1078s| 1990k|114394 | 26485k| 13.3 | 457M| 102 | 25 | 200 |3110 | 200 | 215 | 16M| 0 | 21k|-3.755556e+01 |-3.000000e+01 | 20.12%
1083.11/1083.11 c 1083s| 2000k|114512 | 26595k| 13.3 | 457M| 102 | - | 200 |3110 | 200 | 224 | 16M| 0 | 21k|-3.751515e+01 |-3.000000e+01 | 20.03%
1087.92/1087.98 c 1088s| 2010k|114692 | 26708k| 13.3 | 458M| 102 | - | 200 |3110 | 200 | 243 | 16M| 0 | 21k|-3.750000e+01 |-3.000000e+01 | 20.00%
1092.82/1092.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1092.82/1092.82 c 1093s| 2020k|114792 | 26819k| 13.3 | 459M| 102 | 10 | 200 |3110 | 200 | 229 | 16M| 0 | 21k|-3.750000e+01 |-3.000000e+01 | 20.00%
1097.42/1097.49 c 1097s| 2030k|114924 | 26928k| 13.3 | 459M| 102 | 42 | 200 |3110 | 200 | 217 | 17M| 0 | 21k|-3.750000e+01 |-3.000000e+01 | 20.00%
1102.21/1102.26 c 1102s| 2040k|115062 | 27037k| 13.2 | 460M| 102 | - | 200 |3110 | 200 | 215 | 17M| 0 | 21k|-3.750000e+01 |-3.000000e+01 | 20.00%
1107.11/1107.10 c 1107s| 2050k|115220 | 27148k| 13.2 | 461M| 102 | 8 | 200 |3110 | 200 | 218 | 17M| 0 | 21k|-3.750000e+01 |-3.000000e+01 | 20.00%
1111.72/1111.78 c 1112s| 2060k|115302 | 27255k| 13.2 | 461M| 102 | 59 | 200 |3110 | 200 | 247 | 17M| 0 | 21k|-3.750000e+01 |-3.000000e+01 | 20.00%
1116.61/1116.60 c 1117s| 2070k|115484 | 27365k| 13.2 | 462M| 102 | 23 | 200 |3110 | 200 | 200 | 17M| 0 | 21k|-3.750000e+01 |-3.000000e+01 | 20.00%
1121.31/1121.35 c 1121s| 2080k|115652 | 27474k| 13.2 | 463M| 102 | 39 | 200 |3110 | 200 | 214 | 17M| 0 | 21k|-3.750000e+01 |-3.000000e+01 | 20.00%
1125.91/1125.99 c 1126s| 2090k|115802 | 27579k| 13.2 | 464M| 102 | 8 | 200 |3110 | 200 | 200 | 17M| 0 | 21k|-3.750000e+01 |-3.000000e+01 | 20.00%
1130.72/1130.75 c 1131s| 2100k|115974 | 27688k| 13.2 | 464M| 102 | - | 200 |3110 | 200 | 245 | 17M| 0 | 21k|-3.750000e+01 |-3.000000e+01 | 20.00%
1135.41/1135.49 c 1135s| 2110k|116132 | 27797k| 13.2 | 465M| 102 | 14 | 200 |3110 | 200 | 219 | 17M| 0 | 21k|-3.750000e+01 |-3.000000e+01 | 20.00%
1140.11/1140.17 c 1140s| 2120k|116272 | 27903k| 13.2 | 466M| 102 | 34 | 200 |3110 | 200 | 232 | 17M| 0 | 21k|-3.747273e+01 |-3.000000e+01 | 19.94%
1144.92/1144.95 c 1145s| 2130k|116424 | 28012k| 13.1 | 467M| 102 | 30 | 200 |3110 | 200 | 200 | 17M| 0 | 21k|-3.743750e+01 |-3.000000e+01 | 19.87%
1149.72/1149.74 c 1150s| 2140k|116528 | 28122k| 13.1 | 467M| 102 | - | 200 |3110 | 200 | 219 | 17M| 0 | 21k|-3.741860e+01 |-3.000000e+01 | 19.83%
1154.51/1154.50 c 1155s| 2150k|116654 | 28231k| 13.1 | 468M| 102 | 16 | 200 |3110 | 200 | 213 | 17M| 0 | 21k|-3.740000e+01 |-3.000000e+01 | 19.79%
1159.21/1159.27 c 1159s| 2160k|116780 | 28338k| 13.1 | 469M| 102 | 26 | 200 |3110 | 200 | 216 | 18M| 0 | 22k|-3.738614e+01 |-3.000000e+01 | 19.76%
1163.92/1163.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1163.92/1163.92 c 1164s| 2170k|116864 | 28444k| 13.1 | 469M| 102 | 30 | 200 |3110 | 200 | 216 | 18M| 0 | 22k|-3.737097e+01 |-3.000000e+01 | 19.72%
1168.62/1168.68 c 1169s| 2180k|116972 | 28551k| 13.1 | 470M| 102 | 10 | 200 |3110 | 200 | 214 | 18M| 0 | 22k|-3.734091e+01 |-3.000000e+01 | 19.66%
1173.32/1173.34 c 1173s| 2190k|117054 | 28656k| 13.1 | 470M| 102 | - | 200 |3110 | 200 | 229 | 18M| 0 | 22k|-3.733333e+01 |-3.000000e+01 | 19.64%
1178.02/1178.08 c 1178s| 2200k|117162 | 28765k| 13.1 | 471M| 102 | 29 | 200 |3110 | 200 | 200 | 18M| 0 | 22k|-3.733333e+01 |-3.000000e+01 | 19.64%
1182.81/1182.89 c 1183s| 2210k|117322 | 28876k| 13.1 | 472M| 102 | 11 | 200 |3110 | 200 | 200 | 18M| 0 | 22k|-3.733333e+01 |-3.000000e+01 | 19.64%
1187.61/1187.63 c 1188s| 2220k|117474 | 28984k| 13.1 | 472M| 102 | 13 | 200 |3110 | 200 | 200 | 18M| 0 | 22k|-3.733333e+01 |-3.000000e+01 | 19.64%
1192.32/1192.35 c 1192s| 2230k|117594 | 29091k| 13.0 | 473M| 102 | - | 200 |3110 | 200 | 243 | 18M| 0 | 22k|-3.730769e+01 |-3.000000e+01 | 19.59%
1197.01/1197.01 c 1197s| 2240k|117732 | 29197k| 13.0 | 474M| 102 | - | 200 |3110 | 200 | 213 | 18M| 0 | 22k|-3.728571e+01 |-3.000000e+01 | 19.54%
1201.61/1201.70 c 1202s| 2250k|117848 | 29302k| 13.0 | 474M| 102 | 18 | 200 |3110 | 200 | 218 | 18M| 0 | 22k|-3.727273e+01 |-3.000000e+01 | 19.51%
1206.42/1206.41 c 1206s| 2260k|117962 | 29408k| 13.0 | 475M| 102 | - | 200 |3110 | 200 | 211 | 18M| 0 | 22k|-3.725000e+01 |-3.000000e+01 | 19.46%
1211.12/1211.12 c 1211s| 2270k|118098 | 29515k| 13.0 | 476M| 102 | 54 | 200 |3110 | 200 | 213 | 18M| 0 | 22k|-3.725000e+01 |-3.000000e+01 | 19.46%
1215.82/1215.82 c 1216s| 2280k|118228 | 29621k| 13.0 | 476M| 102 | 29 | 200 |3110 | 200 | 217 | 18M| 0 | 22k|-3.725000e+01 |-3.000000e+01 | 19.46%
1220.42/1220.46 c 1220s| 2290k|118294 | 29726k| 13.0 | 477M| 104 | 32 | 200 |3110 | 200 | 219 | 19M| 0 | 22k|-3.725000e+01 |-3.000000e+01 | 19.46%
1225.22/1225.22 c 1225s| 2300k|118378 | 29834k| 13.0 | 477M| 104 | 37 | 200 |3110 | 200 | 200 | 19M| 0 | 22k|-3.722727e+01 |-3.000000e+01 | 19.41%
1229.82/1229.82 c 1230s| 2310k|118428 | 29936k| 13.0 | 478M| 104 | 39 | 200 |3110 | 200 | 216 | 19M| 0 | 22k|-3.720000e+01 |-3.000000e+01 | 19.35%
1234.52/1234.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1234.52/1234.52 c 1235s| 2320k|118508 | 30041k| 12.9 | 478M| 104 | - | 200 |3110 | 200 | 227 | 19M| 0 | 22k|-3.720000e+01 |-3.000000e+01 | 19.35%
1239.22/1239.22 c 1239s| 2330k|118674 | 30148k| 12.9 | 479M| 104 | - | 200 |3110 | 200 | 214 | 19M| 0 | 22k|-3.718519e+01 |-3.000000e+01 | 19.32%
1243.82/1243.89 c 1244s| 2340k|118768 | 30252k| 12.9 | 480M| 104 | 53 | 200 |3110 | 200 | 200 | 19M| 0 | 22k|-3.716667e+01 |-3.000000e+01 | 19.28%
1248.52/1248.55 c 1249s| 2350k|118856 | 30356k| 12.9 | 480M| 104 | 6 | 200 |3110 | 200 | 213 | 19M| 0 | 22k|-3.716667e+01 |-3.000000e+01 | 19.28%
1253.12/1253.16 c 1253s| 2360k|118944 | 30458k| 12.9 | 481M| 104 | 16 | 200 |3110 | 200 | 212 | 19M| 0 | 22k|-3.714286e+01 |-3.000000e+01 | 19.23%
1257.82/1257.83 c 1258s| 2370k|119000 | 30562k| 12.9 | 481M| 104 | 47 | 200 |3110 | 200 | 200 | 19M| 0 | 22k|-3.712500e+01 |-3.000000e+01 | 19.19%
1262.42/1262.46 c 1262s| 2380k|119068 | 30666k| 12.9 | 482M| 104 | 42 | 200 |3110 | 200 | 213 | 19M| 0 | 22k|-3.711111e+01 |-3.000000e+01 | 19.16%
1267.02/1267.10 c 1267s| 2390k|119156 | 30770k| 12.9 | 482M| 104 | - | 200 |3110 | 200 | 231 | 19M| 0 | 22k|-3.709091e+01 |-3.000000e+01 | 19.12%
1271.72/1271.79 c 1272s| 2400k|119242 | 30875k| 12.9 | 483M| 104 | 5 | 200 |3110 | 200 | 214 | 19M| 0 | 23k|-3.706977e+01 |-3.000000e+01 | 19.07%
1276.32/1276.32 c 1276s| 2410k|119312 | 30974k| 12.8 | 483M| 104 | 14 | 200 |3110 | 200 | 214 | 19M| 0 | 23k|-3.703431e+01 |-3.000000e+01 | 18.99%
1281.02/1281.03 c 1281s| 2420k|119394 | 31081k| 12.8 | 484M| 104 | 48 | 200 |3110 | 200 | 218 | 19M| 0 | 23k|-3.700000e+01 |-3.000000e+01 | 18.92%
1285.62/1285.69 c 1286s| 2430k|119504 | 31186k| 12.8 | 484M| 104 | 26 | 200 |3110 | 200 | 216 | 20M| 0 | 23k|-3.700000e+01 |-3.000000e+01 | 18.92%
1290.32/1290.33 c 1290s| 2440k|119582 | 31291k| 12.8 | 485M| 104 | 17 | 200 |3110 | 200 | 211 | 20M| 0 | 23k|-3.700000e+01 |-3.000000e+01 | 18.92%
1294.92/1294.96 c 1295s| 2450k|119652 | 31394k| 12.8 | 485M| 104 | - | 200 |3110 | 200 | 238 | 20M| 0 | 23k|-3.700000e+01 |-3.000000e+01 | 18.92%
1299.62/1299.60 c 1300s| 2460k|119710 | 31498k| 12.8 | 486M| 104 | 36 | 200 |3110 | 200 | 217 | 20M| 0 | 23k|-3.700000e+01 |-3.000000e+01 | 18.92%
1304.22/1304.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1304.22/1304.28 c 1304s| 2470k|119788 | 31604k| 12.8 | 486M| 104 | - | 200 |3110 | 200 | 245 | 20M| 0 | 23k|-3.700000e+01 |-3.000000e+01 | 18.92%
1308.82/1308.87 c 1309s| 2480k|119870 | 31707k| 12.8 | 487M| 104 | 58 | 200 |3110 | 200 | 257 | 20M| 0 | 23k|-3.700000e+01 |-3.000000e+01 | 18.92%
1313.52/1313.54 c 1314s| 2490k|120022 | 31813k| 12.8 | 487M| 104 | 12 | 200 |3110 | 200 | 200 | 20M| 0 | 23k|-3.700000e+01 |-3.000000e+01 | 18.92%
1318.12/1318.14 c 1318s| 2500k|120170 | 31917k| 12.8 | 488M| 104 | - | 200 |3110 | 200 | 238 | 20M| 0 | 23k|-3.700000e+01 |-3.000000e+01 | 18.92%
1322.72/1322.79 c 1323s| 2510k|120332 | 32021k| 12.8 | 489M| 104 | - | 200 |3110 | 200 | 215 | 20M| 0 | 23k|-3.700000e+01 |-3.000000e+01 | 18.92%
1327.32/1327.37 c 1327s| 2520k|120372 | 32122k| 12.7 | 489M| 104 | - | 200 |3110 | 200 | 239 | 20M| 0 | 23k|-3.700000e+01 |-3.000000e+01 | 18.92%
1331.92/1331.97 c 1332s| 2530k|120466 | 32224k| 12.7 | 490M| 104 | 12 | 200 |3110 | 200 | 215 | 20M| 0 | 23k|-3.700000e+01 |-3.000000e+01 | 18.92%
1336.52/1336.54 c 1337s| 2540k|120508 | 32325k| 12.7 | 490M| 104 | - | 200 |3110 | 200 | 229 | 20M| 0 | 23k|-3.700000e+01 |-3.000000e+01 | 18.92%
1341.12/1341.14 c 1341s| 2550k|120572 | 32428k| 12.7 | 491M| 104 | - | 200 |3110 | 200 | 213 | 20M| 0 | 23k|-3.700000e+01 |-3.000000e+01 | 18.92%
1345.62/1345.68 c 1346s| 2560k|120690 | 32529k| 12.7 | 491M| 104 | 50 | 200 |3110 | 200 | 231 | 20M| 0 | 23k|-3.700000e+01 |-3.000000e+01 | 18.92%
1350.22/1350.20 c 1350s| 2570k|120788 | 32629k| 12.7 | 492M| 104 | 54 | 200 |3110 | 200 | 212 | 21M| 0 | 23k|-3.700000e+01 |-3.000000e+01 | 18.92%
1354.82/1354.82 c 1355s| 2580k|120890 | 32731k| 12.7 | 492M| 104 | - | 200 |3110 | 200 | 248 | 21M| 0 | 23k|-3.700000e+01 |-3.000000e+01 | 18.92%
1359.42/1359.40 c 1359s| 2590k|120978 | 32833k| 12.7 | 493M| 104 | 58 | 200 |3110 | 200 | 215 | 21M| 0 | 23k|-3.700000e+01 |-3.000000e+01 | 18.92%
1363.92/1363.99 c 1364s| 2600k|121046 | 32934k| 12.7 | 493M| 104 | 27 | 200 |3110 | 200 | 224 | 21M| 0 | 23k|-3.700000e+01 |-3.000000e+01 | 18.92%
1368.62/1368.60 c 1369s| 2610k|121210 | 33038k| 12.7 | 494M| 104 | 24 | 200 |3110 | 200 | 215 | 21M| 0 | 23k|-3.700000e+01 |-3.000000e+01 | 18.92%
1373.22/1373.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1373.22/1373.23 c 1373s| 2620k|121296 | 33142k| 12.6 | 494M| 104 | 48 | 200 |3110 | 200 | 212 | 21M| 0 | 23k|-3.700000e+01 |-3.000000e+01 | 18.92%
1377.82/1377.88 c 1378s| 2630k|121460 | 33246k| 12.6 | 495M| 104 | - | 200 |3110 | 200 | 241 | 21M| 0 | 23k|-3.700000e+01 |-3.000000e+01 | 18.92%
1382.42/1382.49 c 1382s| 2640k|121526 | 33348k| 12.6 | 496M| 104 | - | 200 |3110 | 200 | 243 | 21M| 0 | 23k|-3.700000e+01 |-3.000000e+01 | 18.92%
1387.02/1387.10 c 1387s| 2650k|121612 | 33448k| 12.6 | 496M| 104 | - | 200 |3110 | 200 | 238 | 21M| 0 | 24k|-3.695652e+01 |-3.000000e+01 | 18.82%
1391.72/1391.72 c 1392s| 2660k|121702 | 33551k| 12.6 | 497M| 104 | 46 | 200 |3110 | 200 | 235 | 21M| 0 | 24k|-3.693333e+01 |-3.000000e+01 | 18.77%
1396.22/1396.28 c 1396s| 2670k|121752 | 33650k| 12.6 | 497M| 104 | - | 200 |3110 | 200 | 248 | 21M| 0 | 24k|-3.691667e+01 |-3.000000e+01 | 18.74%
1400.82/1400.81 c 1401s| 2680k|121770 | 33750k| 12.6 | 497M| 104 | - | 200 |3110 | 200 | 220 | 21M| 0 | 24k|-3.690000e+01 |-3.000000e+01 | 18.70%
1405.32/1405.37 c 1405s| 2690k|121874 | 33849k| 12.6 | 498M| 104 | - | 200 |3110 | 200 | 210 | 21M| 0 | 24k|-3.687500e+01 |-3.000000e+01 | 18.64%
1410.02/1410.01 c 1410s| 2700k|121960 | 33953k| 12.6 | 499M| 104 | - | 200 |3110 | 200 | 229 | 21M| 0 | 24k|-3.686207e+01 |-3.000000e+01 | 18.62%
1414.52/1414.53 c 1415s| 2710k|122062 | 34052k| 12.6 | 499M| 104 | - | 200 |3110 | 200 | 236 | 21M| 0 | 24k|-3.685714e+01 |-3.000000e+01 | 18.60%
1419.03/1419.06 c 1419s| 2720k|122108 | 34153k| 12.6 | 499M| 104 | - | 200 |3110 | 200 | 250 | 22M| 0 | 24k|-3.683333e+01 |-3.000000e+01 | 18.55%
1423.62/1423.62 c 1424s| 2730k|122192 | 34254k| 12.5 | 500M| 104 | - | 200 |3110 | 200 | 232 | 22M| 0 | 24k|-3.683333e+01 |-3.000000e+01 | 18.55%
1428.22/1428.26 c 1428s| 2740k|122320 | 34358k| 12.5 | 501M| 104 | 37 | 200 |3110 | 200 | 215 | 22M| 0 | 24k|-3.682456e+01 |-3.000000e+01 | 18.53%
1432.82/1432.86 c 1433s| 2750k|122364 | 34460k| 12.5 | 501M| 104 | 50 | 200 |3110 | 200 | 214 | 22M| 0 | 24k|-3.680000e+01 |-3.000000e+01 | 18.48%
1437.42/1437.46 c 1437s| 2760k|122424 | 34562k| 12.5 | 501M| 104 | - | 200 |3110 | 200 | 235 | 22M| 0 | 24k|-3.680000e+01 |-3.000000e+01 | 18.48%
1441.92/1441.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1441.92/1441.98 c 1442s| 2770k|122454 | 34660k| 12.5 | 502M| 104 | - | 200 |3110 | 200 | 236 | 22M| 0 | 24k|-3.678652e+01 |-3.000000e+01 | 18.45%
1446.53/1446.56 c 1447s| 2780k|122518 | 34761k| 12.5 | 502M| 104 | 55 | 200 |3110 | 200 | 200 | 22M| 0 | 24k|-3.676923e+01 |-3.000000e+01 | 18.41%
1451.02/1451.09 c 1451s| 2790k|122548 | 34861k| 12.5 | 503M| 104 | 18 | 200 |3110 | 200 | 220 | 22M| 0 | 24k|-3.675000e+01 |-3.000000e+01 | 18.37%
1455.62/1455.64 c 1456s| 2800k|122624 | 34962k| 12.5 | 503M| 104 | - | 200 |3110 | 200 | 214 | 22M| 0 | 24k|-3.675000e+01 |-3.000000e+01 | 18.37%
1460.12/1460.19 c 1460s| 2810k|122670 | 35062k| 12.5 | 503M| 104 | 11 | 200 |3110 | 200 | 215 | 22M| 0 | 24k|-3.675000e+01 |-3.000000e+01 | 18.37%
1464.72/1464.72 c 1465s| 2820k|122720 | 35161k| 12.5 | 504M| 104 | 60 | 200 |3110 | 200 | 214 | 22M| 0 | 24k|-3.675000e+01 |-3.000000e+01 | 18.37%
1469.22/1469.24 c 1469s| 2830k|122742 | 35260k| 12.5 | 504M| 104 | - | 200 |3110 | 200 | 240 | 22M| 0 | 24k|-3.675000e+01 |-3.000000e+01 | 18.37%
1473.72/1473.72 c 1474s| 2840k|122842 | 35359k| 12.4 | 505M| 104 | - | 200 |3110 | 200 | 214 | 22M| 0 | 24k|-3.674528e+01 |-3.000000e+01 | 18.36%
1478.32/1478.31 c 1478s| 2850k|122850 | 35461k| 12.4 | 505M| 104 | 12 | 200 |3110 | 200 | 211 | 22M| 0 | 24k|-3.671951e+01 |-3.000000e+01 | 18.30%
1482.83/1482.85 c 1483s| 2860k|122916 | 35560k| 12.4 | 505M| 104 | 22 | 200 |3110 | 200 | 222 | 22M| 0 | 24k|-3.671429e+01 |-3.000000e+01 | 18.29%
1487.33/1487.39 c 1487s| 2870k|122946 | 35660k| 12.4 | 506M| 104 | - | 200 |3110 | 200 | 231 | 23M| 0 | 24k|-3.670000e+01 |-3.000000e+01 | 18.26%
1491.92/1491.98 c 1492s| 2880k|123062 | 35761k| 12.4 | 506M| 104 | - | 200 |3110 | 200 | 226 | 23M| 0 | 24k|-3.666667e+01 |-3.000000e+01 | 18.18%
1496.43/1496.49 c 1496s| 2890k|123088 | 35860k| 12.4 | 507M| 104 | - | 200 |3110 | 200 | 216 | 23M| 0 | 24k|-3.666667e+01 |-3.000000e+01 | 18.18%
1501.03/1501.05 c 1501s| 2900k|123168 | 35961k| 12.4 | 507M| 114 | - | 200 |3110 | 200 | 253 | 23M| 0 | 24k|-3.666667e+01 |-3.000000e+01 | 18.18%
1505.52/1505.53 c 1506s| 2910k|123210 | 36059k| 12.4 | 507M| 114 | - | 200 |3110 | 200 | 234 | 23M| 0 | 25k|-3.666667e+01 |-3.000000e+01 | 18.18%
1510.03/1510.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1510.03/1510.01 c 1510s| 2920k|123286 | 36157k| 12.4 | 508M| 114 | 17 | 200 |3110 | 200 | 217 | 23M| 0 | 25k|-3.666667e+01 |-3.000000e+01 | 18.18%
1514.52/1514.52 c 1515s| 2930k|123346 | 36258k| 12.4 | 508M| 114 | - | 200 |3110 | 200 | 247 | 23M| 0 | 25k|-3.666667e+01 |-3.000000e+01 | 18.18%
1519.03/1519.02 c 1519s| 2940k|123424 | 36355k| 12.4 | 509M| 114 | 47 | 200 |3110 | 200 | 223 | 23M| 0 | 25k|-3.666667e+01 |-3.000000e+01 | 18.18%
1523.53/1523.53 c 1524s| 2950k|123436 | 36453k| 12.4 | 509M| 114 | - | 200 |3110 | 200 | 248 | 23M| 0 | 25k|-3.665217e+01 |-3.000000e+01 | 18.15%
1528.03/1528.07 c 1528s| 2960k|123486 | 36553k| 12.3 | 509M| 114 | 24 | 200 |3110 | 200 | 216 | 23M| 0 | 25k|-3.662963e+01 |-3.000000e+01 | 18.10%
1532.52/1532.57 c 1533s| 2970k|123488 | 36651k| 12.3 | 510M| 114 | 33 | 200 |3110 | 200 | 220 | 23M| 0 | 25k|-3.662500e+01 |-3.000000e+01 | 18.09%
1536.92/1536.99 c 1537s| 2980k|123498 | 36746k| 12.3 | 510M| 114 | - | 200 |3110 | 200 | 244 | 23M| 0 | 25k|-3.660000e+01 |-3.000000e+01 | 18.03%
1541.43/1541.45 c 1541s| 2990k|123510 | 36842k| 12.3 | 510M| 114 | - | 200 |3110 | 200 | 230 | 23M| 0 | 25k|-3.660000e+01 |-3.000000e+01 | 18.03%
1545.92/1545.96 c 1546s| 3000k|123556 | 36941k| 12.3 | 511M| 114 | 7 | 200 |3110 | 200 | 222 | 23M| 0 | 25k|-3.659091e+01 |-3.000000e+01 | 18.01%
1550.42/1550.43 c 1550s| 3010k|123600 | 37036k| 12.3 | 511M| 114 | 42 | 200 |3110 | 200 | 213 | 23M| 0 | 25k|-3.657143e+01 |-3.000000e+01 | 17.97%
1554.92/1554.90 c 1555s| 3020k|123624 | 37134k| 12.3 | 511M| 114 | 37 | 200 |3110 | 200 | 200 | 24M| 0 | 25k|-3.656250e+01 |-3.000000e+01 | 17.95%
1559.43/1559.49 c 1559s| 3030k|123704 | 37234k| 12.3 | 512M| 114 | 8 | 200 |3110 | 200 | 213 | 24M| 0 | 25k|-3.653846e+01 |-3.000000e+01 | 17.89%
1563.93/1563.97 c 1564s| 3040k|123770 | 37332k| 12.3 | 512M| 114 | 21 | 200 |3110 | 200 | 213 | 24M| 0 | 25k|-3.650000e+01 |-3.000000e+01 | 17.81%
1568.43/1568.48 c 1568s| 3050k|123824 | 37430k| 12.3 | 512M| 114 | 25 | 200 |3110 | 200 | 224 | 24M| 0 | 25k|-3.650000e+01 |-3.000000e+01 | 17.81%
1572.93/1572.96 c 1573s| 3060k|123878 | 37528k| 12.3 | 513M| 114 | - | 200 |3110 | 200 | 223 | 24M| 0 | 25k|-3.650000e+01 |-3.000000e+01 | 17.81%
1577.43/1577.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1577.43/1577.42 c 1577s| 3070k|123888 | 37624k| 12.3 | 513M| 114 | - | 200 |3110 | 200 | 225 | 24M| 0 | 25k|-3.650000e+01 |-3.000000e+01 | 17.81%
1581.83/1581.82 c 1582s| 3080k|123872 | 37718k| 12.2 | 513M| 114 | - | 200 |3110 | 200 | 232 | 24M| 0 | 25k|-3.650000e+01 |-3.000000e+01 | 17.81%
1586.23/1586.24 c 1586s| 3090k|123902 | 37813k| 12.2 | 514M| 114 | 22 | 200 |3110 | 200 | 213 | 24M| 0 | 25k|-3.650000e+01 |-3.000000e+01 | 17.81%
1590.73/1590.74 c 1591s| 3100k|123946 | 37913k| 12.2 | 514M| 114 | 40 | 200 |3110 | 200 | 220 | 24M| 0 | 25k|-3.650000e+01 |-3.000000e+01 | 17.81%
1595.23/1595.28 c 1595s| 3110k|123996 | 38011k| 12.2 | 514M| 114 | 32 | 200 |3110 | 200 | 225 | 24M| 0 | 25k|-3.650000e+01 |-3.000000e+01 | 17.81%
1599.73/1599.78 c 1600s| 3120k|123998 | 38110k| 12.2 | 514M| 114 | 11 | 200 |3110 | 200 | 212 | 24M| 0 | 25k|-3.650000e+01 |-3.000000e+01 | 17.81%
1604.23/1604.27 c 1604s| 3130k|124028 | 38207k| 12.2 | 515M| 114 | - | 200 |3110 | 200 | 210 | 24M| 0 | 25k|-3.650000e+01 |-3.000000e+01 | 17.81%
1608.63/1608.70 c 1609s| 3140k|124042 | 38303k| 12.2 | 515M| 114 | 47 | 200 |3110 | 200 | 214 | 24M| 0 | 25k|-3.650000e+01 |-3.000000e+01 | 17.81%
1613.12/1613.18 c 1613s| 3150k|124134 | 38401k| 12.2 | 515M| 114 | 10 | 200 |3110 | 200 | 212 | 24M| 0 | 25k|-3.650000e+01 |-3.000000e+01 | 17.81%
1617.63/1617.66 c 1618s| 3160k|124168 | 38498k| 12.2 | 516M| 114 | 21 | 200 |3110 | 200 | 211 | 24M| 0 | 25k|-3.650000e+01 |-3.000000e+01 | 17.81%
1622.13/1622.15 c 1622s| 3170k|124188 | 38596k| 12.2 | 516M| 114 | 17 | 200 |3110 | 200 | 235 | 25M| 0 | 25k|-3.650000e+01 |-3.000000e+01 | 17.81%
1626.53/1626.58 c 1627s| 3180k|124252 | 38692k| 12.2 | 516M| 114 | - | 200 |3110 | 200 | 232 | 25M| 0 | 25k|-3.650000e+01 |-3.000000e+01 | 17.81%
1631.03/1631.00 c 1631s| 3190k|124282 | 38786k| 12.2 | 517M| 114 | 24 | 200 |3110 | 200 | 218 | 25M| 0 | 26k|-3.650000e+01 |-3.000000e+01 | 17.81%
1635.43/1635.41 c 1635s| 3200k|124322 | 38882k| 12.1 | 517M| 114 | 37 | 200 |3110 | 200 | 215 | 25M| 0 | 26k|-3.650000e+01 |-3.000000e+01 | 17.81%
1639.83/1639.85 c 1640s| 3210k|124342 | 38977k| 12.1 | 517M| 114 | - | 200 |3110 | 200 | 208 | 25M| 0 | 26k|-3.650000e+01 |-3.000000e+01 | 17.81%
1644.33/1644.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1644.33/1644.30 c 1644s| 3220k|124336 | 39075k| 12.1 | 518M| 114 | 30 | 200 |3110 | 200 | 225 | 25M| 0 | 26k|-3.650000e+01 |-3.000000e+01 | 17.81%
1648.83/1648.80 c 1649s| 3230k|124344 | 39172k| 12.1 | 518M| 114 | - | 200 |3110 | 200 | 218 | 25M| 0 | 26k|-3.650000e+01 |-3.000000e+01 | 17.81%
1653.24/1653.30 c 1653s| 3240k|124408 | 39269k| 12.1 | 518M| 114 | - | 200 |3110 | 200 | 227 | 25M| 0 | 26k|-3.648276e+01 |-3.000000e+01 | 17.77%
1657.64/1657.69 c 1658s| 3250k|124406 | 39363k| 12.1 | 518M| 114 | - | 200 |3110 | 200 | 213 | 25M| 0 | 26k|-3.645455e+01 |-3.000000e+01 | 17.71%
1662.13/1662.18 c 1662s| 3260k|124430 | 39459k| 12.1 | 519M| 114 | 10 | 200 |3110 | 200 | 215 | 25M| 0 | 26k|-3.643243e+01 |-3.000000e+01 | 17.66%
1666.63/1666.63 c 1667s| 3270k|124448 | 39555k| 12.1 | 519M| 114 | - | 200 |3110 | 200 | 243 | 25M| 0 | 26k|-3.641860e+01 |-3.000000e+01 | 17.62%
1671.13/1671.10 c 1671s| 3280k|124462 | 39651k| 12.1 | 519M| 114 | 24 | 200 |3110 | 200 | 200 | 25M| 0 | 26k|-3.640000e+01 |-3.000000e+01 | 17.58%
1675.63/1675.66 c 1676s| 3290k|124526 | 39751k| 12.1 | 520M| 114 | 6 | 200 |3110 | 200 | 227 | 25M| 0 | 26k|-3.640000e+01 |-3.000000e+01 | 17.58%
1680.03/1680.05 c 1680s| 3300k|124576 | 39845k| 12.1 | 520M| 114 | 10 | 200 |3110 | 200 | 219 | 25M| 0 | 26k|-3.637500e+01 |-3.000000e+01 | 17.53%
1684.53/1684.50 c 1684s| 3310k|124606 | 39940k| 12.1 | 520M| 114 | 33 | 200 |3110 | 200 | 217 | 25M| 0 | 26k|-3.637500e+01 |-3.000000e+01 | 17.53%
1688.93/1688.91 c 1689s| 3320k|124598 | 40033k| 12.1 | 521M| 114 | - | 200 |3110 | 200 | 242 | 26M| 0 | 26k|-3.633929e+01 |-3.000000e+01 | 17.44%
1693.23/1693.27 c 1693s| 3330k|124578 | 40126k| 12.0 | 521M| 114 | - | 200 |3110 | 200 | 242 | 26M| 0 | 26k|-3.633333e+01 |-3.000000e+01 | 17.43%
1697.73/1697.80 c 1698s| 3340k|124634 | 40223k| 12.0 | 521M| 114 | 53 | 200 |3110 | 200 | 220 | 26M| 0 | 26k|-3.633333e+01 |-3.000000e+01 | 17.43%
1702.13/1702.18 c 1702s| 3350k|124620 | 40317k| 12.0 | 521M| 114 | - | 200 |3110 | 200 | 229 | 26M| 0 | 26k|-3.633333e+01 |-3.000000e+01 | 17.43%
1706.63/1706.65 c 1707s| 3360k|124614 | 40413k| 12.0 | 521M| 114 | - | 200 |3110 | 200 | 241 | 26M| 0 | 26k|-3.633333e+01 |-3.000000e+01 | 17.43%
1711.13/1711.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1711.13/1711.10 c 1711s| 3370k|124702 | 40510k| 12.0 | 522M| 114 | 54 | 200 |3110 | 200 | 214 | 26M| 0 | 26k|-3.633333e+01 |-3.000000e+01 | 17.43%
1715.53/1715.51 c 1716s| 3380k|124724 | 40604k| 12.0 | 522M| 114 | 59 | 200 |3110 | 200 | 235 | 26M| 0 | 26k|-3.633333e+01 |-3.000000e+01 | 17.43%
1719.93/1719.98 c 1720s| 3390k|124784 | 40701k| 12.0 | 522M| 114 | 16 | 200 |3110 | 200 | 220 | 26M| 0 | 26k|-3.631250e+01 |-3.000000e+01 | 17.38%
1724.33/1724.38 c 1724s| 3400k|124794 | 40794k| 12.0 | 523M| 114 | - | 200 |3110 | 200 | 230 | 26M| 0 | 26k|-3.629412e+01 |-3.000000e+01 | 17.34%
1728.73/1728.75 c 1729s| 3410k|124774 | 40887k| 12.0 | 523M| 114 | - | 200 |3110 | 200 | 249 | 26M| 0 | 26k|-3.628571e+01 |-3.000000e+01 | 17.32%
1733.23/1733.21 c 1733s| 3420k|124788 | 40983k| 12.0 | 523M| 114 | 34 | 200 |3110 | 200 | 224 | 26M| 0 | 26k|-3.626087e+01 |-3.000000e+01 | 17.27%
1737.64/1737.64 c 1738s| 3430k|124780 | 41079k| 12.0 | 523M| 114 | 30 | 200 |3110 | 200 | 213 | 26M| 0 | 26k|-3.625000e+01 |-3.000000e+01 | 17.24%
1741.94/1741.99 c 1742s| 3440k|124846 | 41172k| 12.0 | 524M| 114 | - | 200 |3110 | 200 | 220 | 26M| 0 | 26k|-3.625000e+01 |-3.000000e+01 | 17.24%
1746.34/1746.37 c 1746s| 3450k|124808 | 41265k| 12.0 | 524M| 114 | 43 | 200 |3110 | 200 | 230 | 26M| 0 | 26k|-3.625000e+01 |-3.000000e+01 | 17.24%
1750.73/1750.79 c 1751s| 3460k|124848 | 41361k| 12.0 | 524M| 114 | 43 | 200 |3110 | 200 | 245 | 26M| 0 | 26k|-3.625000e+01 |-3.000000e+01 | 17.24%
1755.23/1755.23 c 1755s| 3470k|124858 | 41456k| 11.9 | 524M| 114 | - | 200 |3110 | 200 | 238 | 26M| 0 | 26k|-3.625000e+01 |-3.000000e+01 | 17.24%
1759.53/1759.57 c 1760s| 3480k|124872 | 41547k| 11.9 | 525M| 114 | - | 200 |3110 | 200 | 226 | 27M| 0 | 27k|-3.625000e+01 |-3.000000e+01 | 17.24%
1763.93/1763.97 c 1764s| 3490k|124830 | 41640k| 11.9 | 525M| 114 | - | 200 |3110 | 200 | 253 | 27M| 0 | 27k|-3.622222e+01 |-3.000000e+01 | 17.18%
1768.33/1768.34 c 1768s| 3500k|124820 | 41733k| 11.9 | 525M| 114 | - | 200 |3110 | 200 | 217 | 27M| 0 | 27k|-3.621429e+01 |-3.000000e+01 | 17.16%
1772.73/1772.78 c 1773s| 3510k|124846 | 41828k| 11.9 | 525M| 114 | 44 | 200 |3110 | 200 | 224 | 27M| 0 | 27k|-3.620000e+01 |-3.000000e+01 | 17.13%
1777.14/1777.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1777.14/1777.16 c 1777s| 3520k|124830 | 41922k| 11.9 | 525M| 114 | 48 | 200 |3110 | 200 | 234 | 27M| 0 | 27k|-3.620000e+01 |-3.000000e+01 | 17.13%
1781.53/1781.57 c 1782s| 3530k|124806 | 42015k| 11.9 | 525M| 114 | 44 | 200 |3110 | 200 | 217 | 27M| 0 | 27k|-3.616667e+01 |-3.000000e+01 | 17.05%
1785.94/1785.93 c 1786s| 3540k|124780 | 42108k| 11.9 | 525M| 114 | - | 200 |3110 | 200 | 235 | 27M| 0 | 27k|-3.616667e+01 |-3.000000e+01 | 17.05%
1790.34/1790.35 c 1790s| 3550k|124792 | 42202k| 11.9 | 526M| 114 | 15 | 200 |3110 | 200 | 213 | 27M| 0 | 27k|-3.616667e+01 |-3.000000e+01 | 17.05%
1794.74/1794.70 c 1795s| 3560k|124768 | 42294k| 11.9 | 526M| 114 | - | 200 |3110 | 200 | 265 | 27M| 0 | 27k|-3.615385e+01 |-3.000000e+01 | 17.02%
1797.03/1797.00 c
1797.03/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.00 c Solving Time (sec) : 1797.00
1797.03/1797.00 c Solving Nodes : 3565148
1797.03/1797.00 c Primal Bound : -3.00000000000000e+01 (488 solutions)
1797.03/1797.00 c Dual Bound : -3.61428571428571e+01
1797.03/1797.00 c Gap : 17.00 %
1797.03/1797.00 s SATISFIABLE
1797.03/1797.00 v -x200 -x199 -x198 x197 -x196 -x195 -x194 -x193 -x192 x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 x183 x182 -x181 -x180 -x179
1797.03/1797.00 v x178 -x177 -x176 -x175 -x174 -x173 -x172 x171 -x170 x169 x168 -x167 x166 -x165 -x164 -x163 x162 -x161 x160 -x159 -x158 -x157
1797.03/1797.00 v -x156 -x155 -x154 -x153 -x152 -x151 x150 -x149 -x148 -x147 x146 -x145 x144 x143 -x142 x141 -x140 x139 -x138 -x137 -x136 x135
1797.03/1797.00 v -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 x125 x124 -x123 -x122 -x121 -x120 x119 x118 -x117 -x116 -x115 -x114 -x113
1797.03/1797.00 v -x112 -x111 -x110 x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 x99 -x98 -x97 -x96 -x95 x94 -x93 -x92 -x91 -x90
1797.03/1797.00 v -x89 -x88 -x87 -x86 -x85 -x84 -x83 x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65
1797.03/1797.00 v -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
1797.03/1797.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
1797.03/1797.00 v -x14 -x13 -x12 -x11 -x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1797.03/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.00 c Total Time : 1797.00
1797.03/1797.00 c solving : 1797.00
1797.03/1797.00 c presolving : 0.07 (included in solving)
1797.03/1797.00 c reading : 0.02 (included in solving)
1797.03/1797.00 c Original Problem :
1797.03/1797.00 c Problem name : HOME/instance-3488593-1307783957.opb
1797.03/1797.00 c Variables : 3310 (3310 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.00 c Constraints : 3510 initial, 3510 maximal
1797.03/1797.00 c Presolved Problem :
1797.03/1797.00 c Problem name : t_HOME/instance-3488593-1307783957.opb
1797.03/1797.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.00 c Constraints : 3110 initial, 3110 maximal
1797.03/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.03/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c probing : 0.02 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c and : 0.03 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c linear : 0.01 3110 0 0 3110 0 200 0 0 0
1797.03/1797.00 c pseudoboolean : 0.00 0 0 0 0 0 200 0 0 0
1797.03/1797.00 c root node : - 0 - - 0 - - - - -
1797.03/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.03/1797.00 c integral : 0 0 0 2807654 0 710973 0 287 1799 0 0 3702630
1797.03/1797.00 c setppc : 3110 68 5791605 955290 1 710969 0 17 20146261 27559905 0 0
1797.03/1797.00 c countsols : 0 0 0 8 1 482 0 0 0 0 0 0
1797.03/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.03/1797.00 c integral : 38.59 0.00 0.00 38.42 0.00 0.16 0.00
1797.03/1797.00 c setppc : 140.04 0.03 60.05 24.01 0.00 55.94 0.00
1797.03/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.03/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.03/1797.00 c vbounds : 0 0 0 0
1797.03/1797.00 c rootredcost : 12 0 0 0
1797.03/1797.00 c pseudoobj : 5797718 0 1 0
1797.03/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.03/1797.00 c vbounds : 1.07 1.07 0.00
1797.03/1797.00 c rootredcost : 1.07 1.07 0.00
1797.03/1797.00 c pseudoobj : 25.64 25.64 0.00
1797.03/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.03/1797.00 c propagation : 0.00 17 0 0 0.0 0 0.0 -
1797.03/1797.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.03/1797.00 c applied globally : - - - 0 0.0 - - -
1797.03/1797.00 c applied locally : - - - 0 0.0 - - -
1797.03/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.03/1797.00 c cut pool : 0.05 67 - - 169 - (maximal pool size: 2814)
1797.03/1797.00 c redcost : 15.97 3094289 0 540341 0 0
1797.03/1797.00 c impliedbounds : 0.01 68 0 0 1798 0
1797.03/1797.00 c intobj : 0.00 0 0 0 0 0
1797.03/1797.00 c gomory : 1.69 68 0 0 10979 0
1797.03/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.03/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.03/1797.00 c strongcg : 0.31 20 0 0 8796 0
1797.03/1797.00 c cmir : 0.06 10 0 0 0 0
1797.03/1797.00 c flowcover : 0.05 10 0 0 0 0
1797.03/1797.00 c clique : 0.16 68 0 0 575 0
1797.03/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.03/1797.00 c mcf : 0.00 1 0 0 0 0
1797.03/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.03/1797.00 c rapidlearning : 0.04 1 0 0 0 0
1797.03/1797.00 c Pricers : Time Calls Vars
1797.03/1797.00 c problem variables: 0.00 0 0
1797.03/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.03/1797.00 c relpscost : 37.21 1852364 287 1799 0 0 3702630
1797.03/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.03/1797.00 c inference : 0.00 1 0 0 0 0 2
1797.03/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.03/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.03/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.00 c random : 0.00 0 0 0 0 0 0
1797.03/1797.00 c Primal Heuristics : Time Calls Found
1797.03/1797.00 c LP solutions : 0.04 - 8
1797.03/1797.00 c pseudo solutions : 0.00 - 0
1797.03/1797.00 c feaspump : 0.07 0 0
1797.03/1797.00 c intshifting : 0.04 0 0
1797.03/1797.00 c oneopt : 0.79 12 0
1797.03/1797.00 c crossover : 1.53 34 22
1797.03/1797.00 c fracdiving : 0.28 213 2
1797.03/1797.00 c guideddiving : 0.31 213 0
1797.03/1797.00 c veclendiving : 0.27 213 6
1797.03/1797.00 c objpscostdiving : 0.17 107 5
1797.03/1797.00 c rootsoldiving : 0.28 107 1
1797.03/1797.00 c linesearchdiving : 0.27 214 2
1797.03/1797.00 c pscostdiving : 0.27 214 6
1797.03/1797.00 c coefdiving : 0.25 214 3
1797.03/1797.00 c trivial : 0.00 2 1
1797.03/1797.00 c shiftandpropagate: 0.00 0 0
1797.03/1797.00 c simplerounding : 66.50 1855400 413
1797.03/1797.00 c zirounding : 0.64 1000 14
1797.03/1797.00 c rounding : 6.47 110732 3
1797.03/1797.00 c shifting : 1.47 20466 1
1797.03/1797.00 c twoopt : 0.00 0 0
1797.03/1797.00 c fixandinfer : 0.00 0 0
1797.03/1797.00 c clique : 0.00 0 0
1797.03/1797.00 c intdiving : 0.00 0 0
1797.03/1797.00 c actconsdiving : 0.00 0 0
1797.03/1797.00 c octane : 0.00 0 0
1797.03/1797.00 c rens : 0.01 0 0
1797.03/1797.00 c rins : 0.00 0 0
1797.03/1797.00 c localbranching : 0.00 0 0
1797.03/1797.00 c mutation : 0.00 0 0
1797.03/1797.00 c dins : 0.00 0 0
1797.03/1797.00 c vbounds : 0.00 0 0
1797.03/1797.00 c undercover : 0.01 1 0
1797.03/1797.00 c subnlp : 0.56 0 0
1797.03/1797.00 c trysol : 0.83 0 0
1797.03/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.03/1797.00 c primal LP : 28.63 0 0 0.00 0.00
1797.03/1797.00 c dual LP : 1124.56 4527739 42314343 9.35 37627.34
1797.03/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.03/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.03/1797.00 c diving/probing LP: 1.03 4507 29318 6.50 28396.84
1797.03/1797.00 c strong branching : 17.01 27266 450296 16.51 26465.94
1797.03/1797.00 c (at root node) : - 15 10023 668.20 -
1797.03/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.03/1797.00 c B&B Tree :
1797.03/1797.00 c number of runs : 1
1797.03/1797.00 c nodes : 3565148
1797.03/1797.00 c nodes (total) : 3565148
1797.03/1797.00 c nodes left : 124776
1797.03/1797.00 c max depth : 114
1797.03/1797.00 c max depth (total): 114
1797.03/1797.00 c backtracks : 417422 (11.7%)
1797.03/1797.00 c delayed cutoffs : 0
1797.03/1797.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.03/1797.00 c avg switch length: 5.31
1797.03/1797.00 c switching time : 152.48
1797.03/1797.00 c Solution :
1797.03/1797.00 c Solutions found : 488 (16 improvements)
1797.03/1797.00 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1797.03/1797.00 c Primal Bound : -3.00000000000000e+01 (in run 1, after 492893 nodes, 309.95 seconds, depth 46, found by <relaxation>)
1797.03/1797.00 c Dual Bound : -3.61428571428571e+01
1797.03/1797.00 c Gap : 17.00 %
1797.03/1797.00 c Root Dual Bound : -4.92039880835550e+01
1797.03/1797.00 c Root Iterations : 11494
1797.84/1797.87 c Time complete: 1797.91.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3488593-1307783957/watcher-3488593-1307783957 -o /tmp/evaluation-result-3488593-1307783957/solver-3488593-1307783957 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488593-1307783957.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.02 2.01 1.93 3/177 9177
/proc/meminfo: memFree=31430900/32950928 swapFree=67056212/67111528
[pid=9177] ppid=9175 vsize=12696 CPUtime=0 cores=1,3,5,7
/proc/9177/stat : 9177 (scip-2.0.1.4b_2) R 9175 9177 9093 0 -1 4202496 2143 0 0 0 0 0 0 0 25 0 1 0 968626427 13000704 2097 33554432000 4194304 9016284 140734061979008 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9177/statm: 3174 2101 353 1178 0 1992 0
[startup+0.00723191 s]
/proc/loadavg: 2.02 2.01 1.93 3/177 9177
/proc/meminfo: memFree=31430900/32950928 swapFree=67056212/67111528
[pid=9177] ppid=9175 vsize=13436 CPUtime=0 cores=1,3,5,7
/proc/9177/stat : 9177 (scip-2.0.1.4b_2) R 9175 9177 9093 0 -1 4202496 2379 0 0 0 0 0 0 0 25 0 1 0 968626427 13758464 2333 33554432000 4194304 9016284 140734061979008 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9177/statm: 3359 2333 380 1178 0 2177 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 13436
[startup+0.10024 s]
/proc/loadavg: 2.02 2.01 1.93 3/177 9177
/proc/meminfo: memFree=31430900/32950928 swapFree=67056212/67111528
[pid=9177] ppid=9175 vsize=31168 CPUtime=0.09 cores=1,3,5,7
/proc/9177/stat : 9177 (scip-2.0.1.4b_2) R 9175 9177 9093 0 -1 4202496 6820 0 0 0 9 0 0 0 25 0 1 0 968626427 31916032 6517 33554432000 4194304 9016284 140734061979008 18446744073709551615 4848395 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9177/statm: 7792 6517 521 1178 0 6610 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31168
[startup+0.301204 s]
/proc/loadavg: 2.02 2.01 1.93 3/177 9177
/proc/meminfo: memFree=31430900/32950928 swapFree=67056212/67111528
[pid=9177] ppid=9175 vsize=37352 CPUtime=0.29 cores=1,3,5,7
/proc/9177/stat : 9177 (scip-2.0.1.4b_2) R 9175 9177 9093 0 -1 4202496 14967 0 0 0 27 2 0 0 25 0 1 0 968626427 38248448 8214 33554432000 4194304 9016284 140734061979008 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9177/statm: 9338 8214 688 1178 0 8156 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37352
[startup+0.701133 s]
/proc/loadavg: 2.02 2.01 1.93 3/177 9177
/proc/meminfo: memFree=31430900/32950928 swapFree=67056212/67111528
[pid=9177] ppid=9175 vsize=41236 CPUtime=0.69 cores=1,3,5,7
/proc/9177/stat : 9177 (scip-2.0.1.4b_2) R 9175 9177 9093 0 -1 4202496 16010 0 0 0 66 3 0 0 25 0 1 0 968626427 42225664 9257 33554432000 4194304 9016284 140734061979008 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9177/statm: 10309 9257 691 1178 0 9127 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41236
[startup+1.50098 s]
/proc/loadavg: 2.02 2.01 1.93 3/178 9178
/proc/meminfo: memFree=31361056/32950928 swapFree=67056212/67111528
[pid=9177] ppid=9175 vsize=52252 CPUtime=1.49 cores=1,3,5,7
/proc/9177/stat : 9177 (scip-2.0.1.4b_2) R 9175 9177 9093 0 -1 4202496 18811 0 0 0 142 7 0 0 25 0 1 0 968626427 53506048 12031 33554432000 4194304 9016284 140734061979008 18446744073709551615 6235048 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9177/statm: 13063 12031 697 1178 0 11881 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 52252
[startup+3.10067 s]
/proc/loadavg: 2.02 2.01 1.93 3/178 9178
/proc/meminfo: memFree=31349648/32950928 swapFree=67056212/67111528
[pid=9177] ppid=9175 vsize=54480 CPUtime=3.09 cores=1,3,5,7
/proc/9177/stat : 9177 (scip-2.0.1.4b_2) R 9175 9177 9093 0 -1 4202496 19429 0 0 0 298 11 0 0 25 0 1 0 968626427 55787520 12640 33554432000 4194304 9016284 140734061979008 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9177/statm: 13620 12640 712 1178 0 12438 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 54480
[startup+6.30107 s]
/proc/loadavg: 2.02 2.01 1.93 3/178 9178
/proc/meminfo: memFree=31340948/32950928 swapFree=67056212/67111528
[pid=9177] ppid=9175 vsize=54568 CPUtime=6.29 cores=1,3,5,7
/proc/9177/stat : 9177 (scip-2.0.1.4b_2) R 9175 9177 9093 0 -1 4202496 21315 0 0 0 590 39 0 0 25 0 1 0 968626427 55877632 12683 33554432000 4194304 9016284 140734061979008 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9177/statm: 13642 12683 703 1178 0 12460 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 54568
[startup+12.7009 s]
/proc/loadavg: 2.02 2.01 1.93 3/178 9178
/proc/meminfo: memFree=31301884/32950928 swapFree=67056212/67111528
[pid=9177] ppid=9175 vsize=58884 CPUtime=12.7 cores=1,3,5,7
/proc/9177/stat : 9177 (scip-2.0.1.4b_2) R 9175 9177 9093 0 -1 4202496 36168 0 0 0 1155 115 0 0 25 0 1 0 968626427 60297216 13697 33554432000 4194304 9016284 140734061979008 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9177/statm: 14721 13697 704 1178 0 13539 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 58884
[startup+25.5004 s]
/proc/loadavg: 2.02 2.01 1.93 3/178 9179
/proc/meminfo: memFree=31260824/32950928 swapFree=67056212/67111528
[pid=9177] ppid=9175 vsize=88336 CPUtime=25.49 cores=1,3,5,7
/proc/9177/stat : 9177 (scip-2.0.1.4b_2) R 9175 9177 9093 0 -1 4202496 60747 0 0 0 2271 278 0 0 25 0 1 0 968626427 90456064 20761 33554432000 4194304 9016284 140734061979008 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9177/statm: 22084 20761 705 1178 0 20902 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 88336
[startup+51.1006 s]
/proc/loadavg: 2.01 2.00 1.93 3/178 9179
/proc/meminfo: memFree=31232628/32950928 swapFree=67056212/67111528
[pid=9177] ppid=9175 vsize=96104 CPUtime=51.09 cores=1,3,5,7
/proc/9177/stat : 9177 (scip-2.0.1.4b_2) R 9175 9177 9093 0 -1 4202496 71697 0 0 0 4503 606 0 0 25 0 1 0 968626427 98410496 23006 33554432000 4194304 9016284 140734061979008 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9177/statm: 24026 23006 705 1178 0 22844 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 96104
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 9181
/proc/meminfo: memFree=31173052/32950928 swapFree=67056212/67111528
[pid=9177] ppid=9175 vsize=139812 CPUtime=102.29 cores=1,3,5,7
/proc/9177/stat : 9177 (scip-2.0.1.4b_2) R 9175 9177 9093 0 -1 4202496 89669 0 0 0 8948 1281 0 0 25 0 1 0 968626427 143167488 33947 33554432000 4194304 9016284 140734061979008 18446744073709551615 7102959 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9177/statm: 34953 33947 705 1178 0 33771 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 139812
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 9182
/proc/meminfo: memFree=31120992/32950928 swapFree=67056212/67111528
[pid=9177] ppid=9175 vsize=191384 CPUtime=162.29 cores=1,3,5,7
/proc/9177/stat : 9177 (scip-2.0.1.4b_2) R 9175 9177 9093 0 -1 4202496 106115 0 0 0 14152 2077 0 0 25 0 1 0 968626427 195977216 46903 33554432000 4194304 9016284 140734061979008 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9177/statm: 47846 46903 705 1178 0 46664 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 191384
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/178 9184
/proc/meminfo: memFree=31082964/32950928 swapFree=67056212/67111528
[pid=9177] ppid=9175 vsize=229044 CPUtime=222.29 cores=1,3,5,7
/proc/9177/stat : 9177 (scip-2.0.1.4b_2) R 9175 9177 9093 0 -1 4202496 115561 0 0 0 19364 2865 0 0 25 0 1 0 968626427 234541056 56349 33554432000 4194304 9016284 140734061979008 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9177/statm: 57261 56349 705 1178 0 56079 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 229044
[startup+282.301 s]
/proc/loadavg: 2.03 2.01 1.94 3/178 9185
/proc/meminfo: memFree=31046572/32950928 swapFree=67056212/67111528
[pid=9177] ppid=9175 vsize=266632 CPUtime=282.29 cores=1,3,5,7
/proc/9177/stat : 9177 (scip-2.0.1.4b_2) R 9175 9177 9093 0 -1 4202496 128500 0 0 0 24574 3655 0 0 25 0 1 0 968626427 273031168 65764 33554432000 4194304 9016284 140734061979008 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9177/statm: 66658 65764 705 1178 0 65476 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 266632
[startup+342.301 s]
/proc/loadavg: 2.01 2.01 1.94 3/178 9187
/proc/meminfo: memFree=31025808/32950928 swapFree=67056212/67111528
[pid=9177] ppid=9175 vsize=285136 CPUtime=342.29 cores=1,3,5,7
/proc/9177/stat : 9177 (scip-2.0.1.4b_2) R 9175 9177 9093 0 -1 4202496 161221 0 0 0 29783 4446 0 0 25 0 1 0 968626427 291979264 70502 33554432000 4194304 9016284 140734061979008 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9177/statm: 71284 70502 705 1178 0 70102 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 285136
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.94 4/178 9189
/proc/meminfo: memFree=31012468/32950928 swapFree=67056212/67111528
[pid=9177] ppid=9175 vsize=298812 CPUtime=402.29 cores=1,3,5,7
/proc/9177/stat : 9177 (scip-2.0.1.4b_2) R 9175 9177 9093 0 -1 4202496 168071 0 0 0 35007 5222 0 0 25 0 1 0 968626427 305983488 73834 33554432000 4194304 9016284 140734061979008 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9177/statm: 74703 73834 705 1178 0 73521 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 298812
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 9190
/proc/meminfo: memFree=30991444/32950928 swapFree=67056212/67111528
[pid=9177] ppid=9175 vsize=325036 CPUtime=462.3 cores=1,3,5,7
/proc/9177/stat : 9177 (scip-2.0.1.4b_2) R 9175 9177 9093 0 -1 4202496 177627 0 0 0 40236 5994 0 0 25 0 1 0 968626427 332836864 79899 33554432000 4194304 9016284 140734061979008 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9177/statm: 81259 79899 705 1178 0 80077 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 325036
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 9192
/proc/meminfo: memFree=30965460/32950928 swapFree=67056212/67111528
[pid=9177] ppid=9175 vsize=350948 CPUtime=522.29 cores=1,3,5,7
/proc/9177/stat : 9177 (scip-2.0.1.4b_2) R 9175 9177 9093 0 -1 4202496 184138 0 0 0 45474 6755 0 0 25 0 1 0 968626427 359370752 86410 33554432000 4194304 9016284 140734061979008 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9177/statm: 87737 86410 705 1178 0 86555 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 350948
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.94 4/178 9193
/proc/meminfo: memFree=30947660/32950928 swapFree=67056212/67111528
[pid=9177] ppid=9175 vsize=368800 CPUtime=582.29 cores=1,3,5,7
/proc/9177/stat : 9177 (scip-2.0.1.4b_2) R 9175 9177 9093 0 -1 4202496 192125 0 0 0 50699 7530 0 0 25 0 1 0 968626427 377651200 90888 33554432000 4194304 9016284 140734061979008 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9177/statm: 92200 90888 705 1178 0 91018 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 368800
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=30775536/32950928 swapFree=67056212/67111528
[pid=9177] ppid=9175 vsize=504852 CPUtime=1122.31 cores=1,3,5,7
/proc/9177/stat : 9177 (scip-2.0.1.4b_2) R 9175 9177 9093 0 -1 4202496 229791 0 0 0 97939 14292 0 0 25 0 1 0 968626427 516968448 125025 33554432000 4194304 9016284 140734061979008 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9177/statm: 126213 125025 705 1178 0 125031 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 504852
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 9211
/proc/meminfo: memFree=30758256/32950928 swapFree=67056212/67111528
[pid=9177] ppid=9175 vsize=514580 CPUtime=1182.31 cores=1,3,5,7
/proc/9177/stat : 9177 (scip-2.0.1.4b_2) R 9175 9177 9093 0 -1 4202496 235815 0 0 0 103205 15026 0 0 25 0 1 0 968626427 526929920 127498 33554432000 4194304 9016284 140734061979008 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9177/statm: 128645 127498 705 1178 0 127463 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 514580
[startup+1242.3 s]
/proc/loadavg: 2.03 2.01 1.95 3/178 9214
/proc/meminfo: memFree=30747328/32950928 swapFree=67056212/67111528
[pid=9177] ppid=9175 vsize=518612 CPUtime=1242.31 cores=1,3,5,7
/proc/9177/stat : 9177 (scip-2.0.1.4b_2) R 9175 9177 9093 0 -1 4202496 236802 0 0 0 108467 15764 0 0 25 0 1 0 968626427 531058688 128485 33554432000 4194304 9016284 140734061979008 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9177/statm: 129653 128485 705 1178 0 128471 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 518612
[startup+1302.3 s]
/proc/loadavg: 2.05 2.02 1.96 3/178 9216
/proc/meminfo: memFree=30729060/32950928 swapFree=67056212/67111528
[pid=9177] ppid=9175 vsize=527636 CPUtime=1302.32 cores=1,3,5,7
/proc/9177/stat : 9177 (scip-2.0.1.4b_2) R 9175 9177 9093 0 -1 4202496 239053 0 0 0 113745 16487 0 0 25 0 1 0 968626427 540299264 130736 33554432000 4194304 9016284 140734061979008 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9177/statm: 131909 130736 705 1178 0 130727 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 527636
[startup+1362.3 s]
/proc/loadavg: 2.02 2.02 1.96 3/178 9217
/proc/meminfo: memFree=30716720/32950928 swapFree=67056212/67111528
[pid=9177] ppid=9175 vsize=532308 CPUtime=1362.32 cores=1,3,5,7
/proc/9177/stat : 9177 (scip-2.0.1.4b_2) R 9175 9177 9093 0 -1 4202496 240230 0 0 0 119034 17198 0 0 25 0 1 0 968626427 545083392 131913 33554432000 4194304 9016284 140734061979008 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9177/statm: 133077 131913 705 1178 0 131895 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 532308
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 1.96 3/178 9219
/proc/meminfo: memFree=30698196/32950928 swapFree=67056212/67111528
[pid=9177] ppid=9175 vsize=541200 CPUtime=1422.32 cores=1,3,5,7
/proc/9177/stat : 9177 (scip-2.0.1.4b_2) R 9175 9177 9093 0 -1 4202496 242456 0 0 0 124330 17902 0 0 25 0 1 0 968626427 554188800 134139 33554432000 4194304 9016284 140734061979008 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9177/statm: 135300 134139 705 1178 0 134118 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 541200
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9220
/proc/meminfo: memFree=30690696/32950928 swapFree=67056212/67111528
[pid=9177] ppid=9175 vsize=546320 CPUtime=1482.32 cores=1,3,5,7
/proc/9177/stat : 9177 (scip-2.0.1.4b_2) R 9175 9177 9093 0 -1 4202496 243740 0 0 0 129621 18611 0 0 25 0 1 0 968626427 559431680 135423 33554432000 4194304 9016284 140734061979008 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9177/statm: 136580 135423 705 1178 0 135398 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 546320
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9222
/proc/meminfo: memFree=30680356/32950928 swapFree=67056212/67111528
[pid=9177] ppid=9175 vsize=550544 CPUtime=1542.32 cores=1,3,5,7
/proc/9177/stat : 9177 (scip-2.0.1.4b_2) R 9175 9177 9093 0 -1 4202496 244798 0 0 0 134912 19320 0 0 25 0 1 0 968626427 563757056 136481 33554432000 4194304 9016284 140734061979008 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9177/statm: 137636 136481 705 1178 0 136454 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 550544
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9224
/proc/meminfo: memFree=30668288/32950928 swapFree=67056212/67111528
[pid=9177] ppid=9175 vsize=555536 CPUtime=1602.32 cores=1,3,5,7
/proc/9177/stat : 9177 (scip-2.0.1.4b_2) R 9175 9177 9093 0 -1 4202496 246048 0 0 0 140191 20041 0 0 25 0 1 0 968626427 568868864 137731 33554432000 4194304 9016284 140734061979008 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9177/statm: 138884 137731 705 1178 0 137702 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 555536
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9225
/proc/meminfo: memFree=30658328/32950928 swapFree=67056212/67111528
[pid=9177] ppid=9175 vsize=558448 CPUtime=1662.33 cores=1,3,5,7
/proc/9177/stat : 9177 (scip-2.0.1.4b_2) R 9175 9177 9093 0 -1 4202496 246777 0 0 0 145483 20750 0 0 25 0 1 0 968626427 571850752 138460 33554432000 4194304 9016284 140734061979008 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9177/statm: 139612 138460 705 1178 0 138430 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 558448
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9227
/proc/meminfo: memFree=30645772/32950928 swapFree=67056212/67111528
[pid=9177] ppid=9175 vsize=565168 CPUtime=1722.33 cores=1,3,5,7
/proc/9177/stat : 9177 (scip-2.0.1.4b_2) R 9175 9177 9093 0 -1 4202496 248491 0 0 0 150777 21456 0 0 25 0 1 0 968626427 578732032 140174 33554432000 4194304 9016284 140734061979008 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9177/statm: 141292 140174 705 1178 0 140110 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 565168
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9228
/proc/meminfo: memFree=30637408/32950928 swapFree=67056212/67111528
[pid=9177] ppid=9175 vsize=567440 CPUtime=1782.33 cores=1,3,5,7
/proc/9177/stat : 9177 (scip-2.0.1.4b_2) R 9175 9177 9093 0 -1 4202496 249029 0 0 0 156081 22152 0 0 25 0 1 0 968626427 581058560 140712 33554432000 4194304 9016284 140734061979008 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9177/statm: 141860 140712 705 1178 0 140678 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 567440
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9228
/proc/meminfo: memFree=30636664/32950928 swapFree=67056212/67111528
[pid=9177] ppid=9175 vsize=568240 CPUtime=1785.54 cores=1,3,5,7
/proc/9177/stat : 9177 (scip-2.0.1.4b_2) R 9175 9177 9093 0 -1 4202496 249225 0 0 0 156365 22189 0 0 25 0 1 0 968626427 581877760 140908 33554432000 4194304 9016284 140734061979008 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9177/statm: 142060 140908 705 1178 0 140878 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 568240
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.96 4/178 9229
/proc/meminfo: memFree=30635168/32950928 swapFree=67056212/67111528
[pid=9177] ppid=9175 vsize=568624 CPUtime=1791.94 cores=1,3,5,7
/proc/9177/stat : 9177 (scip-2.0.1.4b_2) R 9175 9177 9093 0 -1 4202496 249321 0 0 0 156926 22268 0 0 25 0 1 0 968626427 582270976 141004 33554432000 4194304 9016284 140734061979008 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9177/statm: 142156 141004 705 1178 0 140974 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 568624
[startup+1795.1 s]
/proc/loadavg: 2.08 2.02 1.96 3/178 9229
/proc/meminfo: memFree=30633804/32950928 swapFree=67056212/67111528
[pid=9177] ppid=9175 vsize=568624 CPUtime=1795.14 cores=1,3,5,7
/proc/9177/stat : 9177 (scip-2.0.1.4b_2) R 9175 9177 9093 0 -1 4202496 249321 0 0 0 157209 22305 0 0 25 0 1 0 968626427 582270976 141004 33554432000 4194304 9016284 140734061979008 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9177/statm: 142156 141004 705 1178 0 140974 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 568624
[startup+1796.7 s]
/proc/loadavg: 2.08 2.02 1.96 3/178 9229
/proc/meminfo: memFree=30631820/32950928 swapFree=67056212/67111528
[pid=9177] ppid=9175 vsize=568624 CPUtime=1796.73 cores=1,3,5,7
/proc/9177/stat : 9177 (scip-2.0.1.4b_2) R 9175 9177 9093 0 -1 4202496 249321 0 0 0 157353 22320 0 0 25 0 1 0 968626427 582270976 141004 33554432000 4194304 9016284 140734061979008 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9177/statm: 142156 141004 705 1178 0 140974 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 568624
[startup+1797.5 s]
/proc/loadavg: 2.08 2.02 1.96 3/175 9236
/proc/meminfo: memFree=30932656/32950928 swapFree=67056212/67111528
[pid=9177] ppid=9175 vsize=568624 CPUtime=1797.54 cores=1,3,5,7
/proc/9177/stat : 9177 (scip-2.0.1.4b_2) R 9175 9177 9093 0 -1 4202496 249323 0 0 0 157429 22325 0 0 25 0 1 0 968626427 582270976 141006 33554432000 4194304 9016284 140734061979008 18446744073709551615 6812620 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/9177/statm: 142156 141006 707 1178 0 140974 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 568624
[startup+1797.7 s]
/proc/loadavg: 2.08 2.02 1.96 3/175 9236
/proc/meminfo: memFree=30932656/32950928 swapFree=67056212/67111528
[pid=9177] ppid=9175 vsize=568624 CPUtime=1797.74 cores=1,3,5,7
/proc/9177/stat : 9177 (scip-2.0.1.4b_2) R 9175 9177 9093 0 -1 4202496 249323 0 0 0 157449 22325 0 0 25 0 1 0 968626427 582270976 141006 33554432000 4194304 9016284 140734061979008 18446744073709551615 6812671 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/9177/statm: 142156 141006 707 1178 0 140974 0
Current children cumulated CPU time (s) 1797.74
Current children cumulated vsize (KiB) 568624
[startup+1797.8 s]
/proc/loadavg: 2.08 2.02 1.96 3/175 9236
/proc/meminfo: memFree=30932656/32950928 swapFree=67056212/67111528
[pid=9177] ppid=9175 vsize=568624 CPUtime=1797.84 cores=1,3,5,7
/proc/9177/stat : 9177 (scip-2.0.1.4b_2) R 9175 9177 9093 0 -1 4202496 249323 0 0 0 157459 22325 0 0 25 0 1 0 968626427 582270976 141006 33554432000 4194304 9016284 140734061979008 18446744073709551615 4330036 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/9177/statm: 142156 141006 707 1178 0 140974 0
Current children cumulated CPU time (s) 1797.84
Current children cumulated vsize (KiB) 568624
Child status: 0
Real time (s): 1797.88
CPU time (s): 1797.92
CPU user time (s): 1574.65
CPU system time (s): 223.273
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 568624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1574.65
system time used= 223.273
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 249328
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= 4
involuntary context switches= 17819
runsolver used 2.38364 second user time and 5.82811 second system time
The end