0.00/0.00 c SCIP version 2.0.1.4 [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-3485161-1307784826.opb>
0.00/0.00 c original problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 200 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.02 o 0
0.00/0.02 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.02 c presolving:
0.00/0.05 c (round 1) 3102 del vars, 200 del conss, 0 add conss, 3102 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12408 impls, 0 clqs
0.00/0.06 c (round 2) 3102 del vars, 200 del conss, 0 add conss, 3102 chg bounds, 0 chg sides, 0 chg coeffs, 3102 upgd conss, 18612 impls, 0 clqs
0.00/0.09 c (0.1s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.09 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.00/0.09 c presolving (3 rounds):
0.00/0.09 c 3102 deleted vars, 200 deleted constraints, 0 added constraints, 3102 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.09 c 18612 implications, 0 cliques
0.00/0.09 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 3102 constraints
0.00/0.09 c 3102 constraints of type <logicor>
0.00/0.09 c transformed objective value is always integral (scale: 1)
0.00/0.09 c Presolving Time: 0.08
0.00/0.09 c - non default parameters ----------------------------------------------------------------------
0.00/0.09 c # SCIP version 2.0.1.4
0.00/0.09 c
0.00/0.09 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.00/0.09 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.09 c conflict/interconss = 0
0.00/0.09 c
0.00/0.09 c # should binary conflicts be preferred?
0.00/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.09 c conflict/preferbinary = TRUE
0.00/0.09 c
0.00/0.09 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.00/0.09 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.09 c constraints/agelimit = 1
0.00/0.09 c
0.00/0.09 c # should enforcement of pseudo solution be disabled?
0.00/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.09 c constraints/disableenfops = TRUE
0.00/0.09 c
0.00/0.09 c # frequency for displaying node information lines
0.00/0.09 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.09 c display/freq = 10000
0.00/0.09 c
0.00/0.09 c # maximal time in seconds to run
0.00/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.09 c limits/time = 1797
0.00/0.09 c
0.00/0.09 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.09 c limits/memory = 13950
0.00/0.09 c
0.00/0.09 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.09 c # [type: int, range: [1,2], default: 1]
0.00/0.09 c timing/clocktype = 2
0.00/0.09 c
0.00/0.09 c # belongs reading time to solving time?
0.00/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.09 c timing/reading = TRUE
0.00/0.09 c
0.00/0.09 c # should presolving try to simplify inequalities
0.00/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.09 c constraints/linear/simplifyinequalities = TRUE
0.00/0.09 c
0.00/0.09 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.09 c constraints/indicator/addCouplingCons = TRUE
0.00/0.09 c
0.00/0.09 c # should presolving try to simplify knapsacks
0.00/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.09 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.09 c
0.00/0.09 c -----------------------------------------------------------------------------------------------
0.00/0.09 c start solving
0.00/0.09 c
0.10/0.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.10/0.10 c t 0.1s| 1 | 0 | 206 | - |6882k| 0 | 200 | 200 |3102 | 200 |3102 | 0 | 0 | 0 |-1.000000e+02 | 0.000000e+00 | 100.00%
0.10/0.11 o -1
0.10/0.11 c R 0.1s| 1 | 0 | 206 | - |6885k| 0 | 200 | 200 |3102 | 200 |3102 | 0 | 0 | 0 |-1.000000e+02 |-1.000000e+00 | 99.00%
0.10/0.11 o -2
0.10/0.11 c s 0.1s| 1 | 0 | 206 | - |6887k| 0 | 200 | 200 |3102 | 200 |3102 | 0 | 0 | 0 |-1.000000e+02 |-2.000000e+00 | 98.00%
0.10/0.15 c 0.1s| 1 | 0 | 317 | - |6892k| 0 | 191 | 200 |3102 | 200 |3107 | 5 | 0 | 0 |-9.550000e+01 |-2.000000e+00 | 97.91%
0.10/0.15 o -21
0.10/0.15 c b 0.1s| 1 | 0 | 317 | - |6897k| 0 | 191 | 200 |3102 | 200 |3107 | 5 | 0 | 0 |-9.550000e+01 |-2.100000e+01 | 78.01%
0.19/0.22 c 0.2s| 1 | 0 | 522 | - |6913k| 0 | 180 | 200 |3102 | 200 |3118 | 16 | 0 | 0 |-9.000000e+01 |-2.100000e+01 | 76.67%
0.19/0.27 c 0.3s| 1 | 0 | 582 | - |6925k| 0 | 174 | 200 |3102 | 200 |3127 | 25 | 0 | 0 |-8.700000e+01 |-2.100000e+01 | 75.86%
0.29/0.35 c 0.4s| 1 | 0 | 702 | - |7010k| 0 | 168 | 200 |3102 | 200 |3140 | 38 | 0 | 0 |-8.400000e+01 |-2.100000e+01 | 75.00%
0.39/0.47 c 0.5s| 1 | 0 | 986 | - |7179k| 0 | 163 | 200 |3102 | 200 |3146 | 44 | 0 | 0 |-8.150000e+01 |-2.100000e+01 | 74.23%
0.49/0.52 c 0.5s| 1 | 0 | 1050 | - |7184k| 0 | 159 | 200 |3102 | 200 |3152 | 50 | 0 | 0 |-7.950000e+01 |-2.100000e+01 | 73.58%
0.49/0.59 c 0.6s| 1 | 0 | 1240 | - |7213k| 0 | 159 | 200 |3102 | 200 |3160 | 58 | 0 | 0 |-7.825000e+01 |-2.100000e+01 | 73.16%
0.59/0.67 c 0.7s| 1 | 0 | 1334 | - |7310k| 0 | 162 | 200 |3102 | 200 |3165 | 63 | 0 | 0 |-7.713333e+01 |-2.100000e+01 | 72.77%
0.69/0.76 c 0.8s| 1 | 0 | 1580 | - |7507k| 0 | 155 | 200 |3102 | 200 |3177 | 75 | 0 | 0 |-7.533333e+01 |-2.100000e+01 | 72.12%
0.79/0.86 c 0.9s| 1 | 0 | 1818 | - |7610k| 0 | 146 | 200 |3102 | 200 |3188 | 86 | 0 | 0 |-7.300000e+01 |-2.100000e+01 | 71.23%
0.89/0.91 c 0.9s| 1 | 0 | 1929 | - |7632k| 0 | 145 | 200 |3102 | 200 | 496 | 97 | 0 | 0 |-7.200000e+01 |-2.100000e+01 | 70.83%
0.89/0.95 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.95 c 1.0s| 1 | 0 | 2299 | - |7826k| 0 | 142 | 200 |3102 | 200 | 504 | 105 | 0 | 0 |-7.150000e+01 |-2.100000e+01 | 70.63%
0.89/0.99 c 1.0s| 1 | 0 | 2772 | - |7947k| 0 | 147 | 200 |3102 | 200 | 526 | 127 | 0 | 0 |-6.966667e+01 |-2.100000e+01 | 69.86%
0.99/1.03 c 1.0s| 1 | 0 | 3029 | - |8021k| 0 | 166 | 200 |3102 | 200 | 577 | 178 | 0 | 0 |-6.788889e+01 |-2.100000e+01 | 69.07%
0.99/1.10 c 1.1s| 1 | 0 | 3231 | - |8314k| 0 | 152 | 200 |3102 | 200 | 809 | 410 | 0 | 0 |-6.649479e+01 |-2.100000e+01 | 68.42%
1.10/1.16 c 1.2s| 1 | 0 | 3537 | - |8643k| 0 | 146 | 200 |3102 | 200 | 885 | 486 | 0 | 0 |-6.468966e+01 |-2.100000e+01 | 67.54%
1.20/1.24 c 1.2s| 1 | 0 | 3930 | - |9403k| 0 | 147 | 200 |3102 | 200 | 724 | 524 | 0 | 0 |-6.316667e+01 |-2.100000e+01 | 66.75%
1.20/1.28 c 1.3s| 1 | 0 | 4059 | - |9483k| 0 | 152 | 200 |3102 | 200 | 763 | 563 | 0 | 0 |-6.250000e+01 |-2.100000e+01 | 66.40%
1.29/1.34 c 1.3s| 1 | 0 | 4181 | - | 10M| 0 | 165 | 200 |3102 | 200 | 795 | 595 | 0 | 0 |-6.175000e+01 |-2.100000e+01 | 65.99%
1.39/1.45 c 1.4s| 1 | 0 | 4706 | - | 11M| 0 | 159 | 200 |3102 | 200 | 872 | 672 | 0 | 0 |-6.004386e+01 |-2.100000e+01 | 65.03%
1.49/1.51 c 1.5s| 1 | 0 | 5122 | - | 12M| 0 | 169 | 200 |3102 | 200 | 909 | 709 | 0 | 0 |-5.879956e+01 |-2.100000e+01 | 64.29%
1.49/1.59 c 1.6s| 1 | 0 | 5558 | - | 12M| 0 | 154 | 200 |3102 | 200 | 977 | 777 | 0 | 0 |-5.787037e+01 |-2.100000e+01 | 63.71%
1.59/1.65 c 1.6s| 1 | 0 | 5817 | - | 12M| 0 | 160 | 200 |3102 | 200 | 900 | 814 | 0 | 0 |-5.728745e+01 |-2.100000e+01 | 63.34%
1.69/1.72 c 1.7s| 1 | 0 | 6176 | - | 13M| 0 | 173 | 200 |3102 | 200 | 923 | 837 | 0 | 0 |-5.659907e+01 |-2.100000e+01 | 62.90%
1.79/1.81 c 1.8s| 1 | 0 | 6567 | - | 14M| 0 | 168 | 200 |3102 | 200 | 963 | 877 | 0 | 0 |-5.609084e+01 |-2.100000e+01 | 62.56%
1.89/1.90 c 1.9s| 1 | 0 | 6996 | - | 14M| 0 | 171 | 200 |3102 | 200 |1028 | 942 | 0 | 0 |-5.509237e+01 |-2.100000e+01 | 61.88%
1.99/2.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.99/2.00 c 2.0s| 1 | 0 | 7525 | - | 14M| 0 | 175 | 200 |3102 | 200 |1058 | 972 | 0 | 0 |-5.451286e+01 |-2.100000e+01 | 61.48%
1.99/2.09 c 2.1s| 1 | 0 | 7920 | - | 14M| 0 | 182 | 200 |3102 | 200 |1080 | 994 | 0 | 0 |-5.410436e+01 |-2.100000e+01 | 61.19%
2.09/2.17 c 2.2s| 1 | 0 | 8150 | - | 14M| 0 | 180 | 200 |3102 | 200 | 697 |1010 | 0 | 0 |-5.359852e+01 |-2.100000e+01 | 60.82%
2.19/2.24 c 2.2s| 1 | 0 | 8500 | - | 14M| 0 | 173 | 200 |3102 | 200 | 708 |1021 | 0 | 0 |-5.306086e+01 |-2.100000e+01 | 60.42%
2.30/2.30 c 2.3s| 1 | 0 | 8767 | - | 14M| 0 | 178 | 200 |3102 | 200 | 729 |1042 | 0 | 0 |-5.255581e+01 |-2.100000e+01 | 60.04%
2.30/2.36 c 2.4s| 1 | 0 | 8928 | - | 14M| 0 | 179 | 200 |3102 | 200 | 744 |1057 | 0 | 0 |-5.220597e+01 |-2.100000e+01 | 59.77%
2.39/2.42 c 2.4s| 1 | 0 | 9092 | - | 14M| 0 | 179 | 200 |3102 | 200 | 758 |1071 | 0 | 0 |-5.201343e+01 |-2.100000e+01 | 59.63%
2.39/2.48 c 2.5s| 1 | 0 | 9344 | - | 14M| 0 | 185 | 200 |3102 | 200 | 783 |1096 | 0 | 0 |-5.174240e+01 |-2.100000e+01 | 59.41%
2.49/2.54 c 2.5s| 1 | 0 | 9524 | - | 14M| 0 | 184 | 200 |3102 | 200 | 565 |1125 | 0 | 0 |-5.151859e+01 |-2.100000e+01 | 59.24%
2.49/2.59 c 2.6s| 1 | 0 | 9698 | - | 14M| 0 | 186 | 200 |3102 | 200 | 575 |1135 | 0 | 0 |-5.125634e+01 |-2.100000e+01 | 59.03%
2.59/2.63 c 2.6s| 1 | 0 | 9783 | - | 14M| 0 | 182 | 200 |3102 | 200 | 585 |1145 | 0 | 0 |-5.113007e+01 |-2.100000e+01 | 58.93%
2.59/2.68 c 2.7s| 1 | 0 | 9894 | - | 14M| 0 | 187 | 200 |3102 | 200 | 596 |1156 | 0 | 0 |-5.106160e+01 |-2.100000e+01 | 58.87%
2.69/2.73 c 2.7s| 1 | 0 | 10051 | - | 14M| 0 | 190 | 200 |3102 | 200 | 606 |1166 | 0 | 0 |-5.087609e+01 |-2.100000e+01 | 58.72%
2.69/2.78 c 2.8s| 1 | 0 | 10184 | - | 14M| 0 | 190 | 200 |3102 | 200 | 617 |1177 | 0 | 0 |-5.072202e+01 |-2.100000e+01 | 58.60%
2.79/2.83 c 2.8s| 1 | 0 | 10269 | - | 14M| 0 | 193 | 200 |3102 | 200 | 459 |1186 | 0 | 0 |-5.060802e+01 |-2.100000e+01 | 58.50%
2.79/2.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.79/2.87 c 2.9s| 1 | 0 | 10382 | - | 14M| 0 | 197 | 200 |3102 | 200 | 468 |1195 | 0 | 0 |-5.052817e+01 |-2.100000e+01 | 58.44%
2.89/2.90 c 2.9s| 1 | 0 | 10479 | - | 14M| 0 | 199 | 200 |3102 | 200 | 479 |1206 | 0 | 0 |-5.042045e+01 |-2.100000e+01 | 58.35%
2.89/2.95 c 3.0s| 1 | 0 | 10676 | - | 14M| 0 | 195 | 200 |3102 | 200 | 489 |1216 | 0 | 0 |-5.021362e+01 |-2.100000e+01 | 58.18%
2.99/3.00 c 3.0s| 1 | 0 | 10884 | - | 14M| 0 | 198 | 200 |3102 | 200 | 498 |1225 | 0 | 0 |-4.990893e+01 |-2.100000e+01 | 57.92%
2.99/3.04 c 3.0s| 1 | 0 | 10997 | - | 14M| 0 | 198 | 200 |3102 | 200 | 508 |1235 | 0 | 0 |-4.981607e+01 |-2.100000e+01 | 57.84%
2.99/3.09 c 3.1s| 1 | 0 | 11092 | - | 14M| 0 | 198 | 200 |3102 | 200 | 429 |1240 | 0 | 0 |-4.968482e+01 |-2.100000e+01 | 57.73%
3.09/3.13 c 3.1s| 1 | 0 | 11194 | - | 14M| 0 | 197 | 200 |3102 | 200 | 440 |1251 | 0 | 0 |-4.959468e+01 |-2.100000e+01 | 57.66%
3.09/3.16 c 3.2s| 1 | 0 | 11262 | - | 14M| 0 | 199 | 200 |3102 | 200 | 448 |1259 | 0 | 0 |-4.951147e+01 |-2.100000e+01 | 57.59%
3.19/3.20 c 3.2s| 1 | 0 | 11357 | - | 14M| 0 | 199 | 200 |3102 | 200 | 461 |1272 | 0 | 0 |-4.940036e+01 |-2.100000e+01 | 57.49%
3.19/3.24 c 3.2s| 1 | 0 | 11428 | - | 14M| 0 | 199 | 200 |3102 | 200 | 470 |1281 | 0 | 0 |-4.935870e+01 |-2.100000e+01 | 57.45%
3.19/3.29 c 3.3s| 1 | 0 | 11594 | - | 14M| 0 | 199 | 200 |3102 | 200 | 479 |1290 | 0 | 0 |-4.926497e+01 |-2.100000e+01 | 57.37%
3.30/3.33 c 3.3s| 1 | 0 | 11663 | - | 14M| 0 | 199 | 200 |3102 | 200 | 440 |1297 | 0 | 0 |-4.921114e+01 |-2.100000e+01 | 57.33%
3.30/3.36 c 3.4s| 1 | 0 | 11747 | - | 15M| 0 | 200 | 200 |3102 | 200 | 448 |1305 | 0 | 0 |-4.911536e+01 |-2.100000e+01 | 57.24%
3.30/3.40 c 3.4s| 1 | 0 | 11827 | - | 15M| 0 | 199 | 200 |3102 | 200 | 451 |1308 | 0 | 0 |-4.909522e+01 |-2.100000e+01 | 57.23%
3.40/3.44 c 3.4s| 1 | 0 | 11976 | - | 15M| 0 | 198 | 200 |3102 | 200 | 458 |1315 | 0 | 0 |-4.898411e+01 |-2.100000e+01 | 57.13%
3.40/3.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.40/3.48 c 3.5s| 1 | 0 | 12061 | - | 15M| 0 | 200 | 200 |3102 | 200 | 468 |1325 | 0 | 0 |-4.895761e+01 |-2.100000e+01 | 57.11%
3.49/3.52 c 3.5s| 1 | 0 | 12129 | - | 15M| 0 | 200 | 200 |3102 | 200 | 476 |1333 | 0 | 0 |-4.891159e+01 |-2.100000e+01 | 57.07%
3.49/3.57 c 3.6s| 1 | 0 | 12269 | - | 15M| 0 | 200 | 200 |3102 | 200 | 433 |1342 | 0 | 0 |-4.884325e+01 |-2.100000e+01 | 57.01%
3.59/3.60 c 3.6s| 1 | 0 | 12365 | - | 15M| 0 | 200 | 200 |3102 | 200 | 441 |1350 | 0 | 0 |-4.878397e+01 |-2.100000e+01 | 56.95%
3.59/3.64 c 3.6s| 1 | 0 | 12470 | - | 15M| 0 | 200 | 200 |3102 | 200 | 451 |1360 | 0 | 0 |-4.873035e+01 |-2.100000e+01 | 56.91%
3.59/3.68 c 3.7s| 1 | 0 | 12558 | - | 15M| 0 | 200 | 200 |3102 | 200 | 462 |1371 | 0 | 0 |-4.869150e+01 |-2.100000e+01 | 56.87%
3.69/3.72 c 3.7s| 1 | 0 | 12631 | - | 15M| 0 | 199 | 200 |3102 | 200 | 470 |1379 | 0 | 0 |-4.867527e+01 |-2.100000e+01 | 56.86%
3.69/3.76 c 3.8s| 1 | 0 | 12682 | - | 15M| 0 | 200 | 200 |3102 | 200 | 477 |1386 | 0 | 0 |-4.865112e+01 |-2.100000e+01 | 56.84%
3.69/3.80 c 3.8s| 1 | 0 | 12737 | - | 15M| 0 | 200 | 200 |3102 | 200 | 445 |1394 | 0 | 0 |-4.863899e+01 |-2.100000e+01 | 56.82%
3.79/3.83 c 3.8s| 1 | 0 | 12765 | - | 15M| 0 | 199 | 200 |3102 | 200 | 451 |1400 | 0 | 0 |-4.863593e+01 |-2.100000e+01 | 56.82%
3.79/3.86 c 3.9s| 1 | 0 | 12771 | - | 15M| 0 | 200 | 200 |3102 | 200 | 453 |1402 | 0 | 0 |-4.863580e+01 |-2.100000e+01 | 56.82%
3.79/3.90 c 3.9s| 1 | 0 | 12778 | - | 15M| 0 | 200 | 200 |3102 | 200 | 454 |1403 | 0 | 0 |-4.863542e+01 |-2.100000e+01 | 56.82%
3.89/3.93 c 3.9s| 1 | 0 | 12787 | - | 15M| 0 | 200 | 200 |3102 | 200 | 456 |1405 | 0 | 0 |-4.863479e+01 |-2.100000e+01 | 56.82%
5.39/5.50 c 5.5s| 1 | 2 | 12787 | - | 15M| 0 | 200 | 200 |3102 | 200 | 456 |1405 | 0 | 31 |-4.863479e+01 |-2.100000e+01 | 56.82%
6.19/6.29 o -22
6.19/6.29 c * 6.3s| 15 | 14 | 13754 | 69.1 | 15M| 14 | - | 200 |3102 | 200 | 233 |1476 | 0 | 292 |-4.834524e+01 |-2.200000e+01 | 54.49%
6.49/6.59 o -23
6.49/6.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.49/6.59 c z 6.6s| 28 | 23 | 14360 | 58.3 | 15M| 15 | 8 | 200 |3102 | 200 | 229 |1560 | 0 | 492 |-4.834524e+01 |-2.300000e+01 | 52.43%
6.79/6.90 o -25
6.79/6.90 c * 6.9s| 44 | 28 | 15175 | 55.5 | 15M| 15 | - | 200 |3102 | 200 | 241 |1679 | 0 | 655 |-4.834524e+01 |-2.500000e+01 | 48.29%
7.70/7.77 o -26
7.70/7.77 c * 7.8s| 230 | 93 | 19808 | 30.7 | 15M| 18 | - | 200 |3102 | 200 | 231 |3447 | 0 |1376 |-4.832131e+01 |-2.600000e+01 | 46.19%
8.80/8.83 o -27
8.80/8.83 c * 8.8s| 761 | 244 | 33107 | 26.7 | 15M| 29 | - | 200 |3102 | 200 | 215 |8102 | 0 |1528 |-4.816763e+01 |-2.700000e+01 | 43.95%
18.59/18.68 c 18.7s| 10000 | 4433 |290186 | 27.7 | 20M| 54 | - | 200 |3102 | 200 | 225 | 108k| 0 |1584 |-4.549991e+01 |-2.700000e+01 | 40.66%
20.19/20.26 o -28
20.19/20.26 c *20.3s| 12047 | 4081 |332485 | 26.5 | 20M| 54 | - | 200 |3102 | 200 | 233 | 129k| 0 |1584 |-4.534124e+01 |-2.800000e+01 | 38.25%
20.19/20.28 o -29
20.19/20.28 c *20.3s| 12077 | 3435 |332934 | 26.5 | 19M| 54 | - | 200 |3102 | 200 | 227 | 130k| 0 |1584 |-4.534124e+01 |-2.900000e+01 | 36.04%
26.50/26.52 c 26.5s| 20000 | 5368 |492173 | 24.0 | 22M| 54 | - | 200 |3102 | 200 | 229 | 212k| 0 |1892 |-4.491979e+01 |-2.900000e+01 | 35.44%
33.80/33.83 c 33.8s| 30000 | 7386 |679614 | 22.2 | 25M| 61 | - | 200 |3102 | 200 | 224 | 312k| 0 |2379 |-4.454712e+01 |-2.900000e+01 | 34.90%
40.80/40.87 c 40.9s| 40000 | 9234 |858950 | 21.2 | 27M| 68 | 18 | 200 |3102 | 200 | 219 | 413k| 0 |2767 |-4.417226e+01 |-2.900000e+01 | 34.35%
47.69/47.76 c 47.8s| 50000 | 11046 | 1036k| 20.5 | 30M| 68 | 47 | 200 |3102 | 200 | 222 | 516k| 0 |3181 |-4.390244e+01 |-2.900000e+01 | 33.94%
54.49/54.56 c 54.6s| 60000 | 12826 | 1210k| 20.0 | 32M| 68 | - | 200 |3102 | 200 | 224 | 615k| 0 |3499 |-4.368692e+01 |-2.900000e+01 | 33.62%
61.19/61.27 c 61.3s| 70000 | 14682 | 1384k| 19.6 | 35M| 68 | 51 | 200 |3102 | 200 | 215 | 717k| 0 |3811 |-4.349904e+01 |-2.900000e+01 | 33.33%
67.99/68.05 c 68.1s| 80000 | 16522 | 1560k| 19.4 | 38M| 69 | 54 | 200 |3102 | 200 | 214 | 821k| 0 |4128 |-4.334277e+01 |-2.900000e+01 | 33.09%
74.59/74.60 c 74.6s| 90000 | 18256 | 1729k| 19.1 | 40M| 69 | 54 | 200 |3102 | 200 | 238 | 919k| 0 |4425 |-4.316497e+01 |-2.900000e+01 | 32.82%
80.99/81.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
80.99/81.04 c 81.0s|100000 | 20020 | 1897k| 18.8 | 43M| 69 | - | 200 |3102 | 200 | 219 |1015k| 0 |4660 |-4.301908e+01 |-2.900000e+01 | 32.59%
87.49/87.53 c 87.5s|110000 | 21638 | 2065k| 18.7 | 45M| 74 | 66 | 200 |3102 | 200 | 200 |1112k| 0 |4909 |-4.285714e+01 |-2.900000e+01 | 32.33%
93.60/93.67 c 93.7s|120000 | 23008 | 2222k| 18.4 | 47M| 82 | 39 | 200 |3102 | 200 | 215 |1209k| 0 |5176 |-4.274194e+01 |-2.900000e+01 | 32.15%
99.89/99.91 c 99.9s|130000 | 24360 | 2382k| 18.2 | 49M| 82 | 5 | 200 |3102 | 200 | 200 |1307k| 0 |5390 |-4.262500e+01 |-2.900000e+01 | 31.96%
105.99/106.09 c 106s|140000 | 25756 | 2541k| 18.1 | 51M| 82 | - | 200 |3102 | 200 | 217 |1404k| 0 |5584 |-4.250000e+01 |-2.900000e+01 | 31.76%
112.20/112.22 c 112s|150000 | 27142 | 2698k| 17.9 | 53M| 82 | 41 | 200 |3102 | 200 | 241 |1499k| 0 |5770 |-4.241593e+01 |-2.900000e+01 | 31.63%
118.09/118.16 c 118s|160000 | 28424 | 2850k| 17.7 | 55M| 82 | 53 | 200 |3102 | 200 | 252 |1593k| 0 |5942 |-4.232576e+01 |-2.900000e+01 | 31.48%
124.30/124.30 c 124s|170000 | 29902 | 3008k| 17.6 | 57M| 82 | - | 200 |3102 | 200 | 251 |1690k| 0 |6163 |-4.224060e+01 |-2.900000e+01 | 31.35%
130.20/130.28 c 130s|180000 | 31256 | 3161k| 17.5 | 59M| 84 | 38 | 200 |3102 | 200 | 217 |1786k| 0 |6354 |-4.216667e+01 |-2.900000e+01 | 31.23%
136.20/136.28 c 136s|190000 | 32576 | 3314k| 17.4 | 61M| 84 | - | 200 |3102 | 200 | 214 |1880k| 0 |6584 |-4.208696e+01 |-2.900000e+01 | 31.10%
142.30/142.34 c 142s|200000 | 33992 | 3471k| 17.3 | 63M| 84 | 35 | 200 |3102 | 200 | 200 |1979k| 0 |6753 |-4.200000e+01 |-2.900000e+01 | 30.95%
148.50/148.53 c 149s|210000 | 35418 | 3631k| 17.2 | 65M| 84 | - | 200 |3102 | 200 | 224 |2079k| 0 |6972 |-4.193805e+01 |-2.900000e+01 | 30.85%
154.40/154.48 c 154s|220000 | 36694 | 3782k| 17.1 | 67M| 84 | - | 200 |3102 | 200 | 232 |2173k| 0 |7099 |-4.185714e+01 |-2.900000e+01 | 30.72%
160.50/160.57 c 161s|230000 | 38016 | 3938k| 17.1 | 69M| 84 | 57 | 200 |3102 | 200 | 259 |2273k| 0 |7284 |-4.178261e+01 |-2.900000e+01 | 30.59%
166.49/166.55 c 167s|240000 | 39328 | 4093k| 17.0 | 71M| 84 | - | 200 |3102 | 200 | 247 |2371k| 0 |7465 |-4.170588e+01 |-2.900000e+01 | 30.47%
172.50/172.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
172.50/172.58 c 173s|250000 | 40720 | 4249k| 16.9 | 73M| 84 | - | 200 |3102 | 200 | 217 |2469k| 0 |7627 |-4.164324e+01 |-2.900000e+01 | 30.36%
178.50/178.53 c 179s|260000 | 42092 | 4402k| 16.9 | 74M| 84 | 51 | 200 |3102 | 200 | 218 |2568k| 0 |7752 |-4.158537e+01 |-2.900000e+01 | 30.26%
184.50/184.59 c 185s|270000 | 43458 | 4557k| 16.8 | 76M| 84 | 33 | 200 |3102 | 200 | 200 |2670k| 0 |7929 |-4.150226e+01 |-2.900000e+01 | 30.12%
190.50/190.52 c 191s|280000 | 44838 | 4708k| 16.8 | 78M| 84 | - | 200 |3102 | 200 | 222 |2768k| 0 |8122 |-4.150000e+01 |-2.900000e+01 | 30.12%
196.40/196.43 c 196s|290000 | 46224 | 4860k| 16.7 | 80M| 84 | 9 | 200 |3102 | 200 | 200 |2866k| 0 |8231 |-4.141667e+01 |-2.900000e+01 | 29.98%
202.30/202.34 c 202s|300000 | 47498 | 5012k| 16.7 | 82M| 84 | - | 200 |3102 | 200 | 229 |2964k| 0 |8407 |-4.133333e+01 |-2.900000e+01 | 29.84%
208.29/208.37 c 208s|310000 | 48818 | 5166k| 16.6 | 84M| 84 | - | 200 |3102 | 200 | 220 |3062k| 0 |8575 |-4.128571e+01 |-2.900000e+01 | 29.76%
214.29/214.30 c 214s|320000 | 50176 | 5320k| 16.6 | 86M| 84 | - | 200 |3102 | 200 | 212 |3161k| 0 |8675 |-4.123333e+01 |-2.900000e+01 | 29.67%
220.11/220.19 c 220s|330000 | 51432 | 5470k| 16.5 | 88M| 84 | - | 200 |3102 | 200 | 231 |3259k| 0 |8879 |-4.117045e+01 |-2.900000e+01 | 29.56%
226.00/226.05 c 226s|340000 | 52810 | 5621k| 16.5 | 90M| 84 | 20 | 200 |3102 | 200 | 200 |3357k| 0 |8983 |-4.111765e+01 |-2.900000e+01 | 29.47%
231.80/231.84 c 232s|350000 | 53988 | 5769k| 16.4 | 92M| 84 | 50 | 200 |3102 | 200 | 222 |3452k| 0 |9159 |-4.105263e+01 |-2.900000e+01 | 29.36%
237.71/237.75 c 238s|360000 | 55308 | 5920k| 16.4 | 93M| 84 | 26 | 200 |3102 | 200 | 251 |3551k| 0 |9283 |-4.100000e+01 |-2.900000e+01 | 29.27%
243.70/243.71 c 244s|370000 | 56588 | 6074k| 16.4 | 95M| 84 | 60 | 200 |3102 | 200 | 246 |3647k| 0 |9426 |-4.100000e+01 |-2.900000e+01 | 29.27%
249.60/249.63 c 250s|380000 | 57878 | 6227k| 16.4 | 97M| 84 | - | 200 |3102 | 200 | 259 |3748k| 0 |9550 |-4.093617e+01 |-2.900000e+01 | 29.16%
255.31/255.36 c 255s|390000 | 59152 | 6372k| 16.3 | 99M| 84 | 16 | 200 |3102 | 200 | 200 |3843k| 0 |9700 |-4.087500e+01 |-2.900000e+01 | 29.05%
260.99/261.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
260.99/261.05 c 261s|400000 | 60298 | 6518k| 16.3 | 101M| 84 | 28 | 200 |3102 | 200 | 200 |3938k| 0 |9798 |-4.082500e+01 |-2.900000e+01 | 28.97%
266.80/266.84 c 267s|410000 | 61526 | 6665k| 16.2 | 102M| 84 | 46 | 200 |3102 | 200 | 245 |4034k| 0 |9931 |-4.077778e+01 |-2.900000e+01 | 28.88%
272.50/272.50 c 272s|420000 | 62638 | 6809k| 16.2 | 104M| 84 | 25 | 200 |3102 | 200 | 220 |4130k| 0 | 10k|-4.075000e+01 |-2.900000e+01 | 28.83%
278.20/278.24 c 278s|430000 | 63882 | 6955k| 16.1 | 106M| 84 | 68 | 200 |3102 | 200 | 257 |4227k| 0 | 10k|-4.068910e+01 |-2.900000e+01 | 28.73%
284.00/284.03 c 284s|440000 | 65062 | 7103k| 16.1 | 108M| 84 | 12 | 200 |3102 | 200 | 200 |4325k| 0 | 10k|-4.066667e+01 |-2.900000e+01 | 28.69%
289.70/289.70 c 290s|450000 | 66236 | 7248k| 16.1 | 109M| 84 | 22 | 200 |3102 | 200 | 200 |4421k| 0 | 10k|-4.060000e+01 |-2.900000e+01 | 28.57%
295.30/295.36 c 295s|460000 | 67414 | 7391k| 16.0 | 111M| 84 | 49 | 200 |3102 | 200 | 245 |4516k| 0 | 10k|-4.054167e+01 |-2.900000e+01 | 28.47%
301.00/301.06 c 301s|470000 | 68504 | 7537k| 16.0 | 113M| 84 | - | 200 |3102 | 200 | 229 |4610k| 0 | 10k|-4.050000e+01 |-2.900000e+01 | 28.40%
306.70/306.70 c 307s|480000 | 69566 | 7680k| 16.0 | 114M| 84 | - | 200 |3102 | 200 | 222 |4703k| 0 | 10k|-4.050000e+01 |-2.900000e+01 | 28.40%
312.31/312.33 c 312s|490000 | 70566 | 7824k| 15.9 | 116M| 84 | 24 | 200 |3102 | 200 | 211 |4802k| 0 | 10k|-4.043103e+01 |-2.900000e+01 | 28.27%
317.91/317.97 c 318s|500000 | 71582 | 7967k| 15.9 | 117M| 84 | - | 200 |3102 | 200 | 218 |4899k| 0 | 11k|-4.039394e+01 |-2.900000e+01 | 28.21%
323.50/323.57 c 324s|510000 | 72644 | 8110k| 15.9 | 119M| 84 | - | 200 |3102 | 200 | 213 |4994k| 0 | 11k|-4.035294e+01 |-2.900000e+01 | 28.13%
329.20/329.25 c 329s|520000 | 73794 | 8254k| 15.8 | 121M| 84 | - | 200 |3102 | 200 | 225 |5088k| 0 | 11k|-4.033333e+01 |-2.900000e+01 | 28.10%
332.60/332.69 o -30
332.60/332.69 c * 333s|525984 | 59952 | 8340k| 15.8 | 102M| 84 | - | 200 |3102 | 200 | 224 |5145k| 0 | 11k|-4.029167e+01 |-3.000000e+01 | 25.54%
335.00/335.01 c 335s|530000 | 60234 | 8398k| 15.8 | 102M| 84 | - | 200 |3102 | 200 | 215 |5184k| 0 | 11k|-4.027451e+01 |-3.000000e+01 | 25.51%
340.60/340.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
340.60/340.64 c 341s|540000 | 60980 | 8540k| 15.8 | 103M| 84 | 41 | 200 |3102 | 200 | 215 |5282k| 0 | 11k|-4.025000e+01 |-3.000000e+01 | 25.47%
346.31/346.32 c 346s|550000 | 61762 | 8683k| 15.8 | 104M| 84 | 49 | 200 |3102 | 200 | 224 |5380k| 0 | 11k|-4.019048e+01 |-3.000000e+01 | 25.36%
351.90/351.93 c 352s|560000 | 62422 | 8824k| 15.7 | 106M| 84 | 27 | 200 |3102 | 200 | 213 |5477k| 0 | 11k|-4.016092e+01 |-3.000000e+01 | 25.30%
357.51/357.53 c 358s|570000 | 63060 | 8965k| 15.7 | 107M| 84 | 10 | 200 |3102 | 200 | 200 |5575k| 0 | 11k|-4.012121e+01 |-3.000000e+01 | 25.23%
363.01/363.08 c 363s|580000 | 63822 | 9105k| 15.7 | 108M| 84 | - | 200 |3102 | 200 | 219 |5671k| 0 | 11k|-4.004651e+01 |-3.000000e+01 | 25.09%
368.70/368.75 c 369s|590000 | 64562 | 9246k| 15.7 | 109M| 84 | - | 200 |3102 | 200 | 248 |5769k| 0 | 12k|-4.000000e+01 |-3.000000e+01 | 25.00%
374.40/374.42 c 374s|600000 | 65416 | 9388k| 15.6 | 111M| 84 | - | 200 |3102 | 200 | 228 |5865k| 0 | 12k|-4.000000e+01 |-3.000000e+01 | 25.00%
380.00/380.09 c 380s|610000 | 66256 | 9531k| 15.6 | 112M| 84 | - | 200 |3102 | 200 | 251 |5962k| 0 | 12k|-4.000000e+01 |-3.000000e+01 | 25.00%
385.80/385.80 c 386s|620000 | 67100 | 9676k| 15.6 | 113M| 84 | 28 | 200 |3102 | 200 | 200 |6062k| 0 | 12k|-3.994444e+01 |-3.000000e+01 | 24.90%
391.40/391.41 c 391s|630000 | 67886 | 9817k| 15.6 | 114M| 84 | 30 | 200 |3102 | 200 | 200 |6159k| 0 | 12k|-3.990000e+01 |-3.000000e+01 | 24.81%
396.90/396.98 c 397s|640000 | 68582 | 9956k| 15.5 | 116M| 84 | - | 200 |3102 | 200 | 221 |6257k| 0 | 12k|-3.985714e+01 |-3.000000e+01 | 24.73%
402.50/402.53 c 403s|650000 | 69308 | 10095k| 15.5 | 117M| 84 | - | 200 |3102 | 200 | 238 |6352k| 0 | 12k|-3.982353e+01 |-3.000000e+01 | 24.67%
408.00/408.08 c 408s|660000 | 69998 | 10233k| 15.5 | 118M| 84 | - | 200 |3102 | 200 | 220 |6448k| 0 | 12k|-3.979167e+01 |-3.000000e+01 | 24.61%
413.61/413.68 c 414s|670000 | 70802 | 10374k| 15.5 | 119M| 84 | - | 200 |3102 | 200 | 227 |6546k| 0 | 12k|-3.975000e+01 |-3.000000e+01 | 24.53%
419.11/419.13 c 419s|680000 | 71424 | 10509k| 15.4 | 120M| 84 | - | 200 |3102 | 200 | 213 |6640k| 0 | 12k|-3.972222e+01 |-3.000000e+01 | 24.48%
424.71/424.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
424.71/424.71 c 425s|690000 | 72054 | 10649k| 15.4 | 121M| 84 | 4 | 200 |3102 | 200 | 218 |6737k| 0 | 13k|-3.966667e+01 |-3.000000e+01 | 24.37%
425.51/425.55 o -31
425.51/425.55 c * 426s|691380 | 56354 | 10670k| 15.4 | 99M| 84 | - | 200 |3102 | 200 | 226 |6751k| 0 | 13k|-3.966667e+01 |-3.100000e+01 | 21.85%
430.31/430.35 c 430s|700000 | 56740 | 10787k| 15.4 | 100M| 84 | 32 | 200 |3102 | 200 | 200 |6836k| 0 | 13k|-3.966667e+01 |-3.100000e+01 | 21.85%
435.91/435.91 c 436s|710000 | 57100 | 10924k| 15.4 | 101M| 84 | - | 200 |3102 | 200 | 216 |6939k| 0 | 13k|-3.961538e+01 |-3.100000e+01 | 21.75%
441.31/441.32 c 441s|720000 | 57428 | 11055k| 15.3 | 102M| 84 | 12 | 200 |3102 | 200 | 200 |7035k| 0 | 13k|-3.958333e+01 |-3.100000e+01 | 21.68%
446.81/446.81 c 447s|730000 | 57794 | 11190k| 15.3 | 102M| 84 | - | 200 |3102 | 200 | 228 |7134k| 0 | 13k|-3.953571e+01 |-3.100000e+01 | 21.59%
452.31/452.32 c 452s|740000 | 58168 | 11325k| 15.3 | 103M| 84 | - | 200 |3102 | 200 | 245 |7233k| 0 | 13k|-3.950000e+01 |-3.100000e+01 | 21.52%
457.81/457.89 c 458s|750000 | 58620 | 11462k| 15.3 | 104M| 84 | 61 | 200 |3102 | 200 | 224 |7332k| 0 | 13k|-3.950000e+01 |-3.100000e+01 | 21.52%
463.31/463.39 c 463s|760000 | 59020 | 11598k| 15.2 | 105M| 84 | 44 | 200 |3102 | 200 | 216 |7433k| 0 | 13k|-3.946667e+01 |-3.100000e+01 | 21.45%
468.80/468.82 c 469s|770000 | 59332 | 11731k| 15.2 | 105M| 84 | 49 | 200 |3102 | 200 | 216 |7531k| 0 | 13k|-3.942105e+01 |-3.100000e+01 | 21.36%
474.11/474.18 c 474s|780000 | 59648 | 11861k| 15.2 | 106M| 84 | - | 200 |3102 | 200 | 213 |7628k| 0 | 13k|-3.937838e+01 |-3.100000e+01 | 21.28%
479.61/479.67 c 480s|790000 | 60008 | 11995k| 15.2 | 107M| 84 | 30 | 200 |3102 | 200 | 200 |7728k| 0 | 14k|-3.933333e+01 |-3.100000e+01 | 21.19%
485.11/485.13 c 485s|800000 | 60334 | 12128k| 15.1 | 107M| 84 | - | 200 |3102 | 200 | 200 |7827k| 0 | 14k|-3.933333e+01 |-3.100000e+01 | 21.19%
490.50/490.58 c 491s|810000 | 60602 | 12261k| 15.1 | 108M| 84 | 57 | 200 |3102 | 200 | 214 |7926k| 0 | 14k|-3.928000e+01 |-3.100000e+01 | 21.08%
495.91/495.97 c 496s|820000 | 60902 | 12392k| 15.1 | 109M| 84 | 53 | 200 |3102 | 200 | 217 |8025k| 0 | 14k|-3.925000e+01 |-3.100000e+01 | 21.02%
501.41/501.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
501.41/501.42 c 501s|830000 | 61244 | 12525k| 15.1 | 109M| 84 | 63 | 200 |3102 | 200 | 246 |8122k| 0 | 14k|-3.921053e+01 |-3.100000e+01 | 20.94%
506.91/506.91 c 507s|840000 | 61612 | 12659k| 15.1 | 110M| 84 | 23 | 200 |3102 | 200 | 200 |8223k| 0 | 14k|-3.916667e+01 |-3.100000e+01 | 20.85%
512.31/512.31 c 512s|850000 | 61946 | 12790k| 15.0 | 111M| 86 | 65 | 200 |3102 | 200 | 217 |8319k| 0 | 14k|-3.913043e+01 |-3.100000e+01 | 20.78%
517.61/517.65 c 518s|860000 | 62270 | 12919k| 15.0 | 111M| 86 | 33 | 200 |3102 | 200 | 224 |8416k| 0 | 14k|-3.908065e+01 |-3.100000e+01 | 20.68%
523.01/523.03 c 523s|870000 | 62594 | 13049k| 15.0 | 112M| 86 | - | 200 |3102 | 200 | 251 |8515k| 0 | 14k|-3.900000e+01 |-3.100000e+01 | 20.51%
528.41/528.47 c 528s|880000 | 62898 | 13181k| 15.0 | 113M| 100 | 7 | 200 |3102 | 200 | 213 |8611k| 0 | 14k|-3.900000e+01 |-3.100000e+01 | 20.51%
533.70/533.75 c 534s|890000 | 63150 | 13309k| 14.9 | 113M| 100 | - | 200 |3102 | 200 | 247 |8710k| 0 | 14k|-3.900000e+01 |-3.100000e+01 | 20.51%
539.01/539.05 c 539s|900000 | 63396 | 13436k| 14.9 | 114M| 100 | 3 | 200 |3102 | 200 | 245 |8809k| 0 | 15k|-3.900000e+01 |-3.100000e+01 | 20.51%
544.40/544.45 c 544s|910000 | 63688 | 13568k| 14.9 | 114M| 100 | 11 | 200 |3102 | 200 | 211 |8907k| 0 | 15k|-3.900000e+01 |-3.100000e+01 | 20.51%
549.81/549.87 c 550s|920000 | 64106 | 13700k| 14.9 | 115M| 100 | - | 200 |3102 | 200 | 214 |9002k| 0 | 15k|-3.898485e+01 |-3.100000e+01 | 20.48%
555.21/555.20 c 555s|930000 | 64342 | 13829k| 14.9 | 116M| 100 | 40 | 200 |3102 | 200 | 243 |9098k| 0 | 15k|-3.891667e+01 |-3.100000e+01 | 20.34%
560.41/560.49 c 560s|940000 | 64576 | 13956k| 14.8 | 116M| 100 | - | 200 |3102 | 200 | 230 |9192k| 0 | 15k|-3.887500e+01 |-3.100000e+01 | 20.26%
565.71/565.72 c 566s|950000 | 64726 | 14080k| 14.8 | 117M| 100 | - | 200 |3102 | 200 | 217 |9292k| 0 | 15k|-3.883333e+01 |-3.100000e+01 | 20.17%
571.01/571.08 c 571s|960000 | 64966 | 14212k| 14.8 | 117M| 100 | - | 200 |3102 | 200 | 216 |9390k| 0 | 15k|-3.880180e+01 |-3.100000e+01 | 20.11%
576.31/576.30 c 576s|970000 | 65156 | 14336k| 14.8 | 117M| 100 | - | 200 |3102 | 200 | 231 |9485k| 0 | 15k|-3.877273e+01 |-3.100000e+01 | 20.05%
581.72/581.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
581.72/581.70 c 582s|980000 | 65366 | 14466k| 14.7 | 118M| 100 | 46 | 200 |3102 | 200 | 211 |9583k| 0 | 15k|-3.875000e+01 |-3.100000e+01 | 20.00%
586.92/586.97 c 587s|990000 | 65572 | 14591k| 14.7 | 118M| 100 | - | 200 |3102 | 200 | 262 |9677k| 0 | 15k|-3.871429e+01 |-3.100000e+01 | 19.93%
592.11/592.19 c 592s| 1000k| 65784 | 14716k| 14.7 | 119M| 100 | 29 | 200 |3102 | 200 | 220 |9772k| 0 | 15k|-3.866667e+01 |-3.100000e+01 | 19.83%
597.41/597.47 c 597s| 1010k| 66040 | 14844k| 14.7 | 119M| 100 | 56 | 200 |3102 | 200 | 215 |9869k| 0 | 15k|-3.866667e+01 |-3.100000e+01 | 19.83%
602.61/602.69 c 603s| 1020k| 66280 | 14969k| 14.7 | 120M| 100 | - | 200 |3102 | 200 | 249 |9964k| 0 | 16k|-3.862500e+01 |-3.100000e+01 | 19.74%
607.91/607.94 c 608s| 1030k| 66438 | 15095k| 14.6 | 120M| 100 | 18 | 200 |3102 | 200 | 215 | 10M| 0 | 16k|-3.859459e+01 |-3.100000e+01 | 19.68%
613.11/613.12 c 613s| 1040k| 66630 | 15218k| 14.6 | 121M| 100 | 16 | 200 |3102 | 200 | 217 | 10M| 0 | 16k|-3.854545e+01 |-3.100000e+01 | 19.58%
618.32/618.31 c 618s| 1050k| 66850 | 15341k| 14.6 | 121M| 100 | 47 | 200 |3102 | 200 | 250 | 10M| 0 | 16k|-3.850000e+01 |-3.100000e+01 | 19.48%
623.52/623.52 c 624s| 1060k| 66994 | 15465k| 14.6 | 122M| 100 | - | 200 |3102 | 200 | 213 | 10M| 0 | 16k|-3.850000e+01 |-3.100000e+01 | 19.48%
628.71/628.78 c 629s| 1070k| 67230 | 15592k| 14.6 | 122M| 100 | 43 | 200 |3102 | 200 | 216 | 10M| 0 | 16k|-3.850000e+01 |-3.100000e+01 | 19.48%
633.91/633.92 c 634s| 1080k| 67364 | 15714k| 14.5 | 123M| 100 | 9 | 200 |3102 | 200 | 200 | 10M| 0 | 16k|-3.850000e+01 |-3.100000e+01 | 19.48%
639.11/639.15 c 639s| 1090k| 67450 | 15838k| 14.5 | 123M| 100 | - | 200 |3102 | 200 | 215 | 10M| 0 | 16k|-3.846667e+01 |-3.100000e+01 | 19.41%
644.22/644.29 c 644s| 1100k| 67538 | 15957k| 14.5 | 123M| 100 | - | 200 |3102 | 200 | 221 | 10M| 0 | 16k|-3.842222e+01 |-3.100000e+01 | 19.32%
649.52/649.51 c 650s| 1110k| 67676 | 16080k| 14.5 | 124M| 100 | 16 | 200 |3102 | 200 | 200 | 10M| 0 | 16k|-3.839583e+01 |-3.100000e+01 | 19.26%
654.61/654.68 c 655s| 1120k| 67814 | 16201k| 14.5 | 124M| 100 | 20 | 200 |3102 | 200 | 212 | 10M| 0 | 16k|-3.835294e+01 |-3.100000e+01 | 19.17%
659.81/659.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
659.81/659.83 c 660s| 1130k| 67978 | 16323k| 14.4 | 124M| 100 | 56 | 200 |3102 | 200 | 216 | 11M| 0 | 16k|-3.833333e+01 |-3.100000e+01 | 19.13%
664.91/664.95 c 665s| 1140k| 68068 | 16443k| 14.4 | 125M| 100 | - | 200 |3102 | 200 | 225 | 11M| 0 | 16k|-3.830000e+01 |-3.100000e+01 | 19.06%
670.02/670.06 c 670s| 1150k| 68150 | 16561k| 14.4 | 125M| 100 | 50 | 200 |3102 | 200 | 215 | 11M| 0 | 17k|-3.826316e+01 |-3.100000e+01 | 18.98%
675.11/675.17 c 675s| 1160k| 68252 | 16681k| 14.4 | 125M| 100 | - | 200 |3102 | 200 | 200 | 11M| 0 | 17k|-3.825000e+01 |-3.100000e+01 | 18.95%
680.31/680.36 c 680s| 1170k| 68360 | 16803k| 14.4 | 126M| 100 | - | 200 |3102 | 200 | 229 | 11M| 0 | 17k|-3.822222e+01 |-3.100000e+01 | 18.90%
685.42/685.46 c 685s| 1180k| 68414 | 16922k| 14.3 | 126M| 100 | 63 | 200 |3102 | 200 | 231 | 11M| 0 | 17k|-3.818919e+01 |-3.100000e+01 | 18.83%
690.51/690.59 c 691s| 1190k| 68472 | 17041k| 14.3 | 126M| 100 | 16 | 200 |3102 | 200 | 219 | 11M| 0 | 17k|-3.816667e+01 |-3.100000e+01 | 18.78%
695.62/695.64 c 696s| 1200k| 68548 | 17158k| 14.3 | 126M| 100 | - | 200 |3102 | 200 | 212 | 11M| 0 | 17k|-3.812500e+01 |-3.100000e+01 | 18.69%
700.72/700.77 c 701s| 1210k| 68674 | 17278k| 14.3 | 127M| 100 | - | 200 |3102 | 200 | 247 | 11M| 0 | 17k|-3.807812e+01 |-3.100000e+01 | 18.59%
705.81/705.85 c 706s| 1220k| 68736 | 17395k| 14.2 | 127M| 100 | 54 | 200 |3102 | 200 | 242 | 11M| 0 | 17k|-3.800000e+01 |-3.100000e+01 | 18.42%
710.92/710.97 c 711s| 1230k| 68804 | 17514k| 14.2 | 127M| 100 | 8 | 200 |3102 | 200 | 200 | 11M| 0 | 17k|-3.800000e+01 |-3.100000e+01 | 18.42%
716.01/716.01 c 716s| 1240k| 68896 | 17630k| 14.2 | 128M| 100 | - | 200 |3102 | 200 | 200 | 12M| 0 | 17k|-3.800000e+01 |-3.100000e+01 | 18.42%
721.12/721.13 c 721s| 1250k| 69024 | 17750k| 14.2 | 128M| 100 | 41 | 200 |3102 | 200 | 213 | 12M| 0 | 17k|-3.800000e+01 |-3.100000e+01 | 18.42%
726.12/726.18 c 726s| 1260k| 69104 | 17866k| 14.2 | 128M| 100 | 50 | 200 |3102 | 200 | 200 | 12M| 0 | 17k|-3.800000e+01 |-3.100000e+01 | 18.42%
731.21/731.27 c 731s| 1270k| 69146 | 17983k| 14.2 | 128M| 100 | - | 200 |3102 | 200 | 229 | 12M| 0 | 17k|-3.800000e+01 |-3.100000e+01 | 18.42%
736.31/736.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
736.31/736.36 c 736s| 1280k| 69256 | 18102k| 14.1 | 129M| 100 | 37 | 200 |3102 | 200 | 213 | 12M| 0 | 17k|-3.800000e+01 |-3.100000e+01 | 18.42%
741.42/741.42 c 741s| 1290k| 69402 | 18219k| 14.1 | 129M| 100 | 25 | 200 |3102 | 200 | 214 | 12M| 0 | 18k|-3.800000e+01 |-3.100000e+01 | 18.42%
746.41/746.45 c 746s| 1300k| 69438 | 18334k| 14.1 | 129M| 100 | 45 | 200 |3102 | 200 | 215 | 12M| 0 | 18k|-3.795000e+01 |-3.100000e+01 | 18.31%
751.32/751.37 c 751s| 1310k| 69436 | 18446k| 14.1 | 129M| 100 | 57 | 200 |3102 | 200 | 262 | 12M| 0 | 18k|-3.790278e+01 |-3.100000e+01 | 18.21%
756.42/756.41 c 756s| 1320k| 69546 | 18562k| 14.1 | 130M| 100 | - | 200 |3102 | 200 | 216 | 12M| 0 | 18k|-3.785714e+01 |-3.100000e+01 | 18.11%
761.42/761.44 c 761s| 1330k| 69608 | 18676k| 14.0 | 130M| 100 | - | 200 |3102 | 200 | 245 | 12M| 0 | 18k|-3.783333e+01 |-3.100000e+01 | 18.06%
766.52/766.51 c 767s| 1340k| 69740 | 18794k| 14.0 | 130M| 100 | 18 | 200 |3102 | 200 | 231 | 12M| 0 | 18k|-3.780000e+01 |-3.100000e+01 | 17.99%
771.41/771.49 c 771s| 1350k| 69692 | 18909k| 14.0 | 130M| 100 | - | 200 |3102 | 200 | 250 | 13M| 0 | 18k|-3.776923e+01 |-3.100000e+01 | 17.92%
776.41/776.49 c 776s| 1360k| 69796 | 19023k| 14.0 | 131M| 100 | 13 | 200 |3102 | 200 | 200 | 13M| 0 | 18k|-3.775000e+01 |-3.100000e+01 | 17.88%
781.32/781.33 c 781s| 1370k| 69792 | 19132k| 14.0 | 131M| 100 | 58 | 200 |3102 | 200 | 220 | 13M| 0 | 18k|-3.775000e+01 |-3.100000e+01 | 17.88%
786.21/786.27 c 786s| 1380k| 69804 | 19245k| 13.9 | 131M| 100 | - | 200 |3102 | 200 | 243 | 13M| 0 | 18k|-3.770000e+01 |-3.100000e+01 | 17.77%
791.12/791.18 c 791s| 1390k| 69820 | 19356k| 13.9 | 131M| 100 | 34 | 200 |3102 | 200 | 200 | 13M| 0 | 18k|-3.766667e+01 |-3.100000e+01 | 17.70%
796.12/796.18 c 796s| 1400k| 69834 | 19471k| 13.9 | 131M| 100 | - | 200 |3102 | 200 | 231 | 13M| 0 | 18k|-3.766667e+01 |-3.100000e+01 | 17.70%
801.12/801.11 c 801s| 1410k| 69826 | 19583k| 13.9 | 132M| 100 | 55 | 200 |3102 | 200 | 208 | 13M| 0 | 18k|-3.764000e+01 |-3.100000e+01 | 17.64%
806.01/806.03 c 806s| 1420k| 69812 | 19693k| 13.9 | 132M| 100 | 18 | 200 |3102 | 200 | 223 | 13M| 0 | 18k|-3.761905e+01 |-3.100000e+01 | 17.59%
810.92/810.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
810.92/810.94 c 811s| 1430k| 69782 | 19803k| 13.8 | 132M| 100 | 62 | 200 |3102 | 200 | 254 | 13M| 0 | 18k|-3.760000e+01 |-3.100000e+01 | 17.55%
815.81/815.85 c 816s| 1440k| 69712 | 19914k| 13.8 | 132M| 100 | - | 200 |3102 | 200 | 232 | 13M| 0 | 18k|-3.755556e+01 |-3.100000e+01 | 17.46%
820.82/820.85 c 821s| 1450k| 69676 | 20027k| 13.8 | 132M| 100 | 44 | 200 |3102 | 200 | 200 | 13M| 0 | 19k|-3.750000e+01 |-3.100000e+01 | 17.33%
825.72/825.70 c 826s| 1460k| 69624 | 20134k| 13.8 | 132M| 100 | - | 200 |3102 | 200 | 241 | 13M| 0 | 19k|-3.750000e+01 |-3.100000e+01 | 17.33%
830.52/830.58 c 831s| 1470k| 69560 | 20242k| 13.8 | 132M| 100 | - | 200 |3102 | 200 | 200 | 14M| 0 | 19k|-3.750000e+01 |-3.100000e+01 | 17.33%
835.32/835.38 c 835s| 1480k| 69524 | 20350k| 13.7 | 132M| 100 | - | 200 |3102 | 200 | 209 | 14M| 0 | 19k|-3.750000e+01 |-3.100000e+01 | 17.33%
840.32/840.31 c 840s| 1490k| 69448 | 20460k| 13.7 | 132M| 100 | - | 200 |3102 | 200 | 242 | 14M| 0 | 19k|-3.750000e+01 |-3.100000e+01 | 17.33%
845.11/845.14 c 845s| 1500k| 69400 | 20567k| 13.7 | 132M| 100 | - | 200 |3102 | 200 | 239 | 14M| 0 | 19k|-3.750000e+01 |-3.100000e+01 | 17.33%
849.92/849.98 c 850s| 1510k| 69424 | 20675k| 13.7 | 132M| 100 | - | 200 |3102 | 200 | 200 | 14M| 0 | 19k|-3.750000e+01 |-3.100000e+01 | 17.33%
854.92/854.93 c 855s| 1520k| 69430 | 20786k| 13.7 | 133M| 100 | 58 | 200 |3102 | 200 | 250 | 14M| 0 | 19k|-3.744444e+01 |-3.100000e+01 | 17.21%
859.72/859.72 c 860s| 1530k| 69426 | 20892k| 13.6 | 133M| 100 | - | 200 |3102 | 200 | 214 | 14M| 0 | 19k|-3.741176e+01 |-3.100000e+01 | 17.14%
864.52/864.52 c 865s| 1540k| 69418 | 20998k| 13.6 | 133M| 100 | - | 200 |3102 | 200 | 224 | 14M| 0 | 19k|-3.738462e+01 |-3.100000e+01 | 17.08%
869.32/869.33 c 869s| 1550k| 69408 | 21104k| 13.6 | 133M| 100 | - | 200 |3102 | 200 | 222 | 14M| 0 | 19k|-3.733333e+01 |-3.100000e+01 | 16.96%
874.12/874.14 c 874s| 1560k| 69362 | 21211k| 13.6 | 133M| 100 | - | 200 |3102 | 200 | 231 | 14M| 0 | 19k|-3.733333e+01 |-3.100000e+01 | 16.96%
878.93/878.99 c 879s| 1570k| 69306 | 21318k| 13.6 | 133M| 100 | - | 200 |3102 | 200 | 200 | 14M| 0 | 19k|-3.733333e+01 |-3.100000e+01 | 16.96%
883.82/883.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
883.82/883.82 c 884s| 1580k| 69260 | 21425k| 13.6 | 133M| 100 | - | 200 |3102 | 200 | 232 | 14M| 0 | 19k|-3.730000e+01 |-3.100000e+01 | 16.89%
888.62/888.64 c 889s| 1590k| 69182 | 21531k| 13.5 | 133M| 100 | 62 | 200 |3102 | 200 | 232 | 15M| 0 | 19k|-3.727273e+01 |-3.100000e+01 | 16.83%
893.32/893.38 c 893s| 1600k| 69098 | 21634k| 13.5 | 133M| 100 | - | 200 |3102 | 200 | 214 | 15M| 0 | 19k|-3.725000e+01 |-3.100000e+01 | 16.78%
898.02/898.09 c 898s| 1610k| 69020 | 21736k| 13.5 | 133M| 100 | 14 | 200 |3102 | 200 | 215 | 15M| 0 | 19k|-3.725000e+01 |-3.100000e+01 | 16.78%
902.82/902.88 c 903s| 1620k| 68986 | 21840k| 13.5 | 133M| 100 | 48 | 200 |3102 | 200 | 248 | 15M| 0 | 20k|-3.721053e+01 |-3.100000e+01 | 16.69%
907.63/907.65 c 908s| 1630k| 68904 | 21946k| 13.5 | 133M| 100 | 56 | 200 |3102 | 200 | 228 | 15M| 0 | 20k|-3.719745e+01 |-3.100000e+01 | 16.66%
912.42/912.46 c 912s| 1640k| 68898 | 22053k| 13.4 | 134M| 100 | 16 | 200 |3102 | 200 | 216 | 15M| 0 | 20k|-3.716667e+01 |-3.100000e+01 | 16.59%
917.22/917.25 c 917s| 1650k| 68826 | 22158k| 13.4 | 134M| 100 | - | 200 |3102 | 200 | 200 | 15M| 0 | 20k|-3.713333e+01 |-3.100000e+01 | 16.52%
921.92/921.96 c 922s| 1660k| 68762 | 22260k| 13.4 | 134M| 100 | - | 200 |3102 | 200 | 212 | 15M| 0 | 20k|-3.711111e+01 |-3.100000e+01 | 16.47%
926.62/926.65 c 927s| 1670k| 68714 | 22363k| 13.4 | 134M| 100 | 51 | 200 |3102 | 200 | 223 | 15M| 0 | 20k|-3.707143e+01 |-3.100000e+01 | 16.38%
931.42/931.49 c 931s| 1680k| 68650 | 22468k| 13.4 | 134M| 101 | 16 | 200 |3102 | 200 | 217 | 15M| 0 | 20k|-3.700000e+01 |-3.100000e+01 | 16.22%
936.22/936.20 c 936s| 1690k| 68576 | 22572k| 13.3 | 134M| 101 | 5 | 200 |3102 | 200 | 218 | 15M| 0 | 20k|-3.700000e+01 |-3.100000e+01 | 16.22%
940.93/940.92 c 941s| 1700k| 68478 | 22673k| 13.3 | 134M| 101 | 22 | 200 |3102 | 200 | 200 | 15M| 0 | 20k|-3.700000e+01 |-3.100000e+01 | 16.22%
945.62/945.63 c 946s| 1710k| 68436 | 22776k| 13.3 | 134M| 101 | 32 | 200 |3102 | 200 | 217 | 15M| 0 | 20k|-3.700000e+01 |-3.100000e+01 | 16.22%
950.32/950.32 c 950s| 1720k| 68432 | 22877k| 13.3 | 134M| 101 | 58 | 200 |3102 | 200 | 229 | 16M| 0 | 20k|-3.700000e+01 |-3.100000e+01 | 16.22%
954.92/954.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
954.92/954.95 c 955s| 1730k| 68370 | 22977k| 13.3 | 134M| 101 | - | 200 |3102 | 200 | 242 | 16M| 0 | 20k|-3.700000e+01 |-3.100000e+01 | 16.22%
959.53/959.59 c 960s| 1740k| 68324 | 23079k| 13.3 | 134M| 101 | 12 | 200 |3102 | 200 | 217 | 16M| 0 | 20k|-3.700000e+01 |-3.100000e+01 | 16.22%
964.32/964.30 c 964s| 1750k| 68248 | 23180k| 13.2 | 134M| 101 | 9 | 200 |3102 | 200 | 214 | 16M| 0 | 20k|-3.700000e+01 |-3.100000e+01 | 16.22%
968.93/968.97 c 969s| 1760k| 68182 | 23283k| 13.2 | 134M| 106 | 23 | 200 |3102 | 200 | 200 | 16M| 0 | 20k|-3.700000e+01 |-3.100000e+01 | 16.22%
973.63/973.61 c 974s| 1770k| 68136 | 23383k| 13.2 | 134M| 106 | - | 200 |3102 | 200 | 222 | 16M| 0 | 20k|-3.700000e+01 |-3.100000e+01 | 16.22%
978.32/978.34 c 978s| 1780k| 68088 | 23485k| 13.2 | 134M| 106 | - | 200 |3102 | 200 | 214 | 16M| 0 | 20k|-3.700000e+01 |-3.100000e+01 | 16.22%
982.93/982.98 c 983s| 1790k| 68100 | 23587k| 13.2 | 134M| 106 | - | 200 |3102 | 200 | 227 | 16M| 0 | 20k|-3.700000e+01 |-3.100000e+01 | 16.22%
987.62/987.68 c 988s| 1800k| 68050 | 23688k| 13.2 | 134M| 106 | - | 200 |3102 | 200 | 200 | 16M| 0 | 20k|-3.694286e+01 |-3.100000e+01 | 16.09%
992.33/992.34 c 992s| 1810k| 67936 | 23789k| 13.1 | 134M| 106 | 17 | 200 |3102 | 200 | 215 | 16M| 0 | 21k|-3.690000e+01 |-3.100000e+01 | 15.99%
997.02/997.01 c 997s| 1820k| 67818 | 23889k| 13.1 | 134M| 106 | 8 | 200 |3102 | 200 | 219 | 16M| 0 | 21k|-3.687500e+01 |-3.100000e+01 | 15.93%
1001.63/1001.62 c 1002s| 1830k| 67786 | 23989k| 13.1 | 134M| 106 | 58 | 200 |3102 | 200 | 233 | 16M| 0 | 21k|-3.685714e+01 |-3.100000e+01 | 15.89%
1006.23/1006.23 c 1006s| 1840k| 67690 | 24087k| 13.1 | 134M| 106 | - | 200 |3102 | 200 | 260 | 16M| 0 | 21k|-3.683333e+01 |-3.100000e+01 | 15.84%
1010.82/1010.83 c 1011s| 1850k| 67614 | 24185k| 13.1 | 134M| 106 | - | 200 |3102 | 200 | 223 | 16M| 0 | 21k|-3.681818e+01 |-3.100000e+01 | 15.80%
1015.43/1015.44 c 1015s| 1860k| 67548 | 24285k| 13.1 | 134M| 106 | 33 | 200 |3102 | 200 | 220 | 17M| 0 | 21k|-3.680000e+01 |-3.100000e+01 | 15.76%
1020.02/1020.01 c 1020s| 1870k| 67454 | 24383k| 13.0 | 134M| 106 | - | 200 |3102 | 200 | 218 | 17M| 0 | 21k|-3.677778e+01 |-3.100000e+01 | 15.71%
1024.62/1024.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1024.62/1024.61 c 1025s| 1880k| 67414 | 24482k| 13.0 | 134M| 106 | - | 200 |3102 | 200 | 238 | 17M| 0 | 21k|-3.675000e+01 |-3.100000e+01 | 15.65%
1029.22/1029.26 c 1029s| 1890k| 67354 | 24582k| 13.0 | 134M| 106 | 15 | 200 |3102 | 200 | 215 | 17M| 0 | 21k|-3.675000e+01 |-3.100000e+01 | 15.65%
1033.82/1033.89 c 1034s| 1900k| 67266 | 24682k| 13.0 | 134M| 106 | 26 | 200 |3102 | 200 | 213 | 17M| 0 | 21k|-3.675000e+01 |-3.100000e+01 | 15.65%
1038.43/1038.43 c 1038s| 1910k| 67194 | 24779k| 13.0 | 134M| 106 | 4 | 200 |3102 | 200 | 211 | 17M| 0 | 21k|-3.672222e+01 |-3.100000e+01 | 15.58%
1043.02/1043.05 c 1043s| 1920k| 67110 | 24877k| 13.0 | 134M| 106 | 29 | 200 |3102 | 200 | 216 | 17M| 0 | 21k|-3.670000e+01 |-3.100000e+01 | 15.53%
1047.63/1047.65 c 1048s| 1930k| 67022 | 24975k| 12.9 | 134M| 106 | - | 200 |3102 | 200 | 215 | 17M| 0 | 21k|-3.666667e+01 |-3.100000e+01 | 15.45%
1052.22/1052.26 c 1052s| 1940k| 66870 | 25074k| 12.9 | 134M| 106 | 60 | 200 |3102 | 200 | 214 | 17M| 0 | 21k|-3.666667e+01 |-3.100000e+01 | 15.45%
1056.83/1056.84 c 1057s| 1950k| 66812 | 25173k| 12.9 | 134M| 106 | 36 | 200 |3102 | 200 | 220 | 17M| 0 | 21k|-3.666667e+01 |-3.100000e+01 | 15.45%
1061.42/1061.42 c 1061s| 1960k| 66740 | 25270k| 12.9 | 134M| 106 | 59 | 200 |3102 | 200 | 225 | 17M| 0 | 21k|-3.666667e+01 |-3.100000e+01 | 15.45%
1065.93/1065.98 c 1066s| 1970k| 66622 | 25367k| 12.9 | 134M| 106 | 17 | 200 |3102 | 200 | 212 | 17M| 0 | 21k|-3.663636e+01 |-3.100000e+01 | 15.38%
1070.63/1070.60 c 1071s| 1980k| 66550 | 25466k| 12.9 | 134M| 106 | - | 200 |3102 | 200 | 233 | 17M| 0 | 21k|-3.661538e+01 |-3.100000e+01 | 15.34%
1075.13/1075.14 c 1075s| 1990k| 66504 | 25562k| 12.8 | 134M| 106 | 24 | 200 |3102 | 200 | 211 | 17M| 0 | 21k|-3.660000e+01 |-3.100000e+01 | 15.30%
1079.72/1079.70 c 1080s| 2000k| 66380 | 25660k| 12.8 | 134M| 106 | - | 200 |3102 | 200 | 224 | 18M| 0 | 21k|-3.657143e+01 |-3.100000e+01 | 15.23%
1084.23/1084.20 c 1084s| 2010k| 66256 | 25754k| 12.8 | 134M| 106 | 35 | 200 |3102 | 200 | 217 | 18M| 0 | 22k|-3.653846e+01 |-3.100000e+01 | 15.16%
1088.83/1088.82 c 1089s| 2020k| 66198 | 25854k| 12.8 | 134M| 106 | - | 200 |3102 | 200 | 225 | 18M| 0 | 22k|-3.650000e+01 |-3.100000e+01 | 15.07%
1093.43/1093.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1093.43/1093.42 c 1093s| 2030k| 66110 | 25952k| 12.8 | 134M| 106 | - | 200 |3102 | 200 | 216 | 18M| 0 | 22k|-3.650000e+01 |-3.100000e+01 | 15.07%
1097.93/1097.93 c 1098s| 2040k| 66002 | 26048k| 12.8 | 134M| 106 | 13 | 200 |3102 | 200 | 209 | 18M| 0 | 22k|-3.650000e+01 |-3.100000e+01 | 15.07%
1102.53/1102.50 c 1103s| 2050k| 65892 | 26144k| 12.7 | 134M| 106 | 59 | 200 |3102 | 200 | 232 | 18M| 0 | 22k|-3.650000e+01 |-3.100000e+01 | 15.07%
1106.92/1106.98 c 1107s| 2060k| 65828 | 26240k| 12.7 | 134M| 106 | - | 200 |3102 | 200 | 252 | 18M| 0 | 22k|-3.650000e+01 |-3.100000e+01 | 15.07%
1111.53/1111.50 c 1112s| 2070k| 65690 | 26335k| 12.7 | 134M| 106 | - | 200 |3102 | 200 | 216 | 18M| 0 | 22k|-3.650000e+01 |-3.100000e+01 | 15.07%
1116.03/1116.05 c 1116s| 2080k| 65546 | 26430k| 12.7 | 134M| 106 | - | 200 |3102 | 200 | 215 | 18M| 0 | 22k|-3.650000e+01 |-3.100000e+01 | 15.07%
1120.52/1120.57 c 1121s| 2090k| 65376 | 26525k| 12.7 | 134M| 106 | - | 200 |3102 | 200 | 216 | 18M| 0 | 22k|-3.650000e+01 |-3.100000e+01 | 15.07%
1125.03/1125.01 c 1125s| 2100k| 65274 | 26620k| 12.7 | 134M| 106 | - | 200 |3102 | 200 | 213 | 18M| 0 | 22k|-3.650000e+01 |-3.100000e+01 | 15.07%
1129.53/1129.59 c 1130s| 2110k| 65196 | 26717k| 12.7 | 134M| 106 | 15 | 200 |3102 | 200 | 217 | 18M| 0 | 22k|-3.650000e+01 |-3.100000e+01 | 15.07%
1134.02/1134.07 c 1134s| 2120k| 65114 | 26812k| 12.6 | 134M| 106 | - | 200 |3102 | 200 | 218 | 18M| 0 | 22k|-3.650000e+01 |-3.100000e+01 | 15.07%
1138.63/1138.63 c 1139s| 2130k| 65050 | 26908k| 12.6 | 134M| 106 | 46 | 200 |3102 | 200 | 230 | 18M| 0 | 22k|-3.644444e+01 |-3.100000e+01 | 14.94%
1143.13/1143.15 c 1143s| 2140k| 64976 | 27004k| 12.6 | 134M| 106 | 38 | 200 |3102 | 200 | 213 | 19M| 0 | 22k|-3.640000e+01 |-3.100000e+01 | 14.84%
1147.72/1147.72 c 1148s| 2150k| 64878 | 27102k| 12.6 | 134M| 106 | 48 | 200 |3102 | 200 | 214 | 19M| 0 | 22k|-3.638462e+01 |-3.100000e+01 | 14.80%
1152.13/1152.18 c 1152s| 2160k| 64742 | 27195k| 12.6 | 134M| 106 | - | 200 |3102 | 200 | 200 | 19M| 0 | 22k|-3.636364e+01 |-3.100000e+01 | 14.75%
1156.73/1156.77 c 1157s| 2170k| 64652 | 27292k| 12.6 | 134M| 106 | - | 200 |3102 | 200 | 263 | 19M| 0 | 22k|-3.633333e+01 |-3.100000e+01 | 14.68%
1161.33/1161.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1161.33/1161.30 c 1161s| 2180k| 64540 | 27388k| 12.6 | 134M| 106 | - | 200 |3102 | 200 | 230 | 19M| 0 | 22k|-3.633333e+01 |-3.100000e+01 | 14.68%
1165.73/1165.72 c 1166s| 2190k| 64460 | 27481k| 12.5 | 134M| 106 | - | 200 |3102 | 200 | 212 | 19M| 0 | 22k|-3.633333e+01 |-3.100000e+01 | 14.68%
1170.23/1170.22 c 1170s| 2200k| 64334 | 27576k| 12.5 | 134M| 106 | - | 200 |3102 | 200 | 217 | 19M| 0 | 22k|-3.631373e+01 |-3.100000e+01 | 14.63%
1174.63/1174.69 c 1175s| 2210k| 64216 | 27670k| 12.5 | 134M| 106 | - | 200 |3102 | 200 | 220 | 19M| 0 | 22k|-3.628571e+01 |-3.100000e+01 | 14.57%
1179.23/1179.23 c 1179s| 2220k| 64132 | 27766k| 12.5 | 134M| 106 | - | 200 |3102 | 200 | 244 | 19M| 0 | 22k|-3.625000e+01 |-3.100000e+01 | 14.48%
1183.63/1183.66 c 1184s| 2230k| 64014 | 27859k| 12.5 | 133M| 106 | - | 200 |3102 | 200 | 240 | 19M| 0 | 22k|-3.625000e+01 |-3.100000e+01 | 14.48%
1188.13/1188.15 c 1188s| 2240k| 63916 | 27953k| 12.5 | 133M| 106 | 6 | 200 |3102 | 200 | 217 | 19M| 0 | 23k|-3.625000e+01 |-3.100000e+01 | 14.48%
1192.53/1192.59 c 1193s| 2250k| 63778 | 28046k| 12.5 | 133M| 106 | 43 | 200 |3102 | 200 | 213 | 19M| 0 | 23k|-3.625000e+01 |-3.100000e+01 | 14.48%
1197.03/1197.03 c 1197s| 2260k| 63694 | 28138k| 12.4 | 133M| 106 | 48 | 200 |3102 | 200 | 216 | 19M| 0 | 23k|-3.621429e+01 |-3.100000e+01 | 14.40%
1201.43/1201.48 c 1201s| 2270k| 63580 | 28232k| 12.4 | 133M| 106 | 62 | 200 |3102 | 200 | 226 | 19M| 0 | 23k|-3.620000e+01 |-3.100000e+01 | 14.36%
1205.93/1205.95 c 1206s| 2280k| 63476 | 28326k| 12.4 | 133M| 106 | 58 | 200 |3102 | 200 | 215 | 19M| 0 | 23k|-3.616667e+01 |-3.100000e+01 | 14.29%
1210.43/1210.43 c 1210s| 2290k| 63404 | 28420k| 12.4 | 133M| 106 | - | 200 |3102 | 200 | 246 | 20M| 0 | 23k|-3.615789e+01 |-3.100000e+01 | 14.26%
1214.83/1214.89 c 1215s| 2300k| 63290 | 28513k| 12.4 | 133M| 106 | - | 200 |3102 | 200 | 241 | 20M| 0 | 23k|-3.612500e+01 |-3.100000e+01 | 14.19%
1219.33/1219.39 c 1219s| 2310k| 63158 | 28607k| 12.4 | 133M| 106 | 27 | 200 |3102 | 200 | 216 | 20M| 0 | 23k|-3.610000e+01 |-3.100000e+01 | 14.13%
1223.73/1223.75 c 1224s| 2320k| 62984 | 28697k| 12.4 | 133M| 106 | - | 200 |3102 | 200 | 220 | 20M| 0 | 23k|-3.607143e+01 |-3.100000e+01 | 14.06%
1228.13/1228.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1228.13/1228.17 c 1228s| 2330k| 62846 | 28787k| 12.3 | 133M| 106 | 57 | 200 |3102 | 200 | 229 | 20M| 0 | 23k|-3.600000e+01 |-3.100000e+01 | 13.89%
1232.74/1232.70 c 1233s| 2340k| 62726 | 28883k| 12.3 | 133M| 106 | 18 | 200 |3102 | 200 | 217 | 20M| 0 | 23k|-3.600000e+01 |-3.100000e+01 | 13.89%
1237.13/1237.13 c 1237s| 2350k| 62626 | 28975k| 12.3 | 133M| 106 | 61 | 200 |3102 | 200 | 227 | 20M| 0 | 23k|-3.600000e+01 |-3.100000e+01 | 13.89%
1241.53/1241.53 c 1242s| 2360k| 62556 | 29068k| 12.3 | 133M| 106 | - | 200 |3102 | 200 | 200 | 20M| 0 | 23k|-3.600000e+01 |-3.100000e+01 | 13.89%
1245.94/1245.98 c 1246s| 2370k| 62410 | 29159k| 12.3 | 133M| 106 | - | 200 |3102 | 200 | 216 | 20M| 0 | 23k|-3.600000e+01 |-3.100000e+01 | 13.89%
1250.43/1250.41 c 1250s| 2380k| 62244 | 29252k| 12.3 | 132M| 106 | - | 200 |3102 | 200 | 222 | 20M| 0 | 23k|-3.600000e+01 |-3.100000e+01 | 13.89%
1254.83/1254.85 c 1255s| 2390k| 62094 | 29345k| 12.3 | 132M| 106 | - | 200 |3102 | 200 | 225 | 20M| 0 | 23k|-3.600000e+01 |-3.100000e+01 | 13.89%
1259.33/1259.30 c 1259s| 2400k| 61976 | 29439k| 12.3 | 132M| 106 | 22 | 200 |3102 | 200 | 218 | 20M| 0 | 23k|-3.600000e+01 |-3.100000e+01 | 13.89%
1263.73/1263.75 c 1264s| 2410k| 61846 | 29531k| 12.2 | 132M| 106 | 64 | 200 |3102 | 200 | 260 | 20M| 0 | 23k|-3.600000e+01 |-3.100000e+01 | 13.89%
1268.13/1268.17 c 1268s| 2420k| 61724 | 29624k| 12.2 | 132M| 106 | - | 200 |3102 | 200 | 218 | 20M| 0 | 23k|-3.600000e+01 |-3.100000e+01 | 13.89%
1272.63/1272.62 c 1273s| 2430k| 61604 | 29718k| 12.2 | 132M| 106 | 55 | 200 |3102 | 200 | 218 | 20M| 0 | 23k|-3.600000e+01 |-3.100000e+01 | 13.89%
1277.03/1277.02 c 1277s| 2440k| 61498 | 29808k| 12.2 | 132M| 106 | - | 200 |3102 | 200 | 251 | 20M| 0 | 23k|-3.600000e+01 |-3.100000e+01 | 13.89%
1281.43/1281.45 c 1281s| 2450k| 61378 | 29901k| 12.2 | 132M| 106 | 46 | 200 |3102 | 200 | 252 | 21M| 0 | 23k|-3.600000e+01 |-3.100000e+01 | 13.89%
1285.94/1285.92 c 1286s| 2460k| 61272 | 29994k| 12.2 | 132M| 106 | 45 | 200 |3102 | 200 | 224 | 21M| 0 | 24k|-3.600000e+01 |-3.100000e+01 | 13.89%
1290.43/1290.40 c 1290s| 2470k| 61176 | 30090k| 12.2 | 132M| 106 | 58 | 200 |3102 | 200 | 212 | 21M| 0 | 24k|-3.600000e+01 |-3.100000e+01 | 13.89%
1294.94/1294.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1294.94/1294.90 c 1295s| 2480k| 61080 | 30184k| 12.2 | 132M| 106 | - | 200 |3102 | 200 | 258 | 21M| 0 | 24k|-3.600000e+01 |-3.100000e+01 | 13.89%
1299.34/1299.33 c 1299s| 2490k| 60940 | 30277k| 12.2 | 132M| 106 | - | 200 |3102 | 200 | 222 | 21M| 0 | 24k|-3.600000e+01 |-3.100000e+01 | 13.89%
1303.83/1303.80 c 1304s| 2500k| 60818 | 30369k| 12.1 | 132M| 106 | 46 | 200 |3102 | 200 | 216 | 21M| 0 | 24k|-3.600000e+01 |-3.100000e+01 | 13.89%
1308.13/1308.11 c 1308s| 2510k| 60678 | 30458k| 12.1 | 132M| 106 | 28 | 200 |3102 | 200 | 200 | 21M| 0 | 24k|-3.592857e+01 |-3.100000e+01 | 13.72%
1312.53/1312.50 c 1313s| 2520k| 60520 | 30548k| 12.1 | 131M| 106 | 67 | 200 |3102 | 200 | 218 | 21M| 0 | 24k|-3.588889e+01 |-3.100000e+01 | 13.62%
1316.84/1316.82 c 1317s| 2530k| 60370 | 30637k| 12.1 | 131M| 106 | - | 200 |3102 | 200 | 259 | 21M| 0 | 24k|-3.586364e+01 |-3.100000e+01 | 13.56%
1321.24/1321.26 c 1321s| 2540k| 60216 | 30728k| 12.1 | 131M| 106 | 56 | 200 |3102 | 200 | 229 | 21M| 0 | 24k|-3.583333e+01 |-3.100000e+01 | 13.49%
1325.64/1325.65 c 1326s| 2550k| 60094 | 30819k| 12.1 | 131M| 106 | - | 200 |3102 | 200 | 227 | 21M| 0 | 24k|-3.583333e+01 |-3.100000e+01 | 13.49%
1329.94/1329.99 c 1330s| 2560k| 59940 | 30907k| 12.1 | 131M| 106 | - | 200 |3102 | 200 | 234 | 21M| 0 | 24k|-3.580000e+01 |-3.100000e+01 | 13.41%
1334.34/1334.40 c 1334s| 2570k| 59830 | 30999k| 12.1 | 131M| 106 | - | 200 |3102 | 200 | 243 | 21M| 0 | 24k|-3.578571e+01 |-3.100000e+01 | 13.37%
1338.84/1338.83 c 1339s| 2580k| 59694 | 31091k| 12.0 | 131M| 106 | 18 | 200 |3102 | 200 | 216 | 21M| 0 | 24k|-3.575000e+01 |-3.100000e+01 | 13.29%
1343.14/1343.11 c 1343s| 2590k| 59542 | 31179k| 12.0 | 131M| 106 | - | 200 |3102 | 200 | 215 | 21M| 0 | 24k|-3.575000e+01 |-3.100000e+01 | 13.29%
1347.44/1347.48 c 1347s| 2600k| 59394 | 31270k| 12.0 | 131M| 106 | - | 200 |3102 | 200 | 245 | 22M| 0 | 24k|-3.575000e+01 |-3.100000e+01 | 13.29%
1351.74/1351.75 c 1352s| 2610k| 59202 | 31357k| 12.0 | 130M| 106 | - | 200 |3102 | 200 | 214 | 22M| 0 | 24k|-3.575000e+01 |-3.100000e+01 | 13.29%
1356.14/1356.15 c 1356s| 2620k| 59048 | 31446k| 12.0 | 130M| 106 | - | 200 |3102 | 200 | 229 | 22M| 0 | 24k|-3.571429e+01 |-3.100000e+01 | 13.20%
1360.53/1360.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1360.53/1360.50 c 1360s| 2630k| 58806 | 31534k| 12.0 | 130M| 106 | 34 | 200 |3102 | 200 | 230 | 22M| 0 | 24k|-3.568750e+01 |-3.100000e+01 | 13.13%
1364.83/1364.84 c 1365s| 2640k| 58638 | 31623k| 12.0 | 130M| 106 | - | 200 |3102 | 200 | 219 | 22M| 0 | 24k|-3.566667e+01 |-3.100000e+01 | 13.08%
1369.14/1369.19 c 1369s| 2650k| 58466 | 31713k| 12.0 | 130M| 106 | - | 200 |3102 | 200 | 234 | 22M| 0 | 24k|-3.566667e+01 |-3.100000e+01 | 13.08%
1373.53/1373.56 c 1374s| 2660k| 58296 | 31803k| 12.0 | 130M| 106 | - | 200 |3102 | 200 | 222 | 22M| 0 | 24k|-3.566667e+01 |-3.100000e+01 | 13.08%
1377.84/1377.87 c 1378s| 2670k| 58132 | 31890k| 11.9 | 129M| 106 | - | 200 |3102 | 200 | 217 | 22M| 0 | 24k|-3.566667e+01 |-3.100000e+01 | 13.08%
1382.24/1382.21 c 1382s| 2680k| 57920 | 31978k| 11.9 | 129M| 106 | 53 | 200 |3102 | 200 | 229 | 22M| 0 | 24k|-3.566667e+01 |-3.100000e+01 | 13.08%
1386.53/1386.50 c 1387s| 2690k| 57684 | 32064k| 11.9 | 129M| 106 | - | 200 |3102 | 200 | 263 | 22M| 0 | 24k|-3.562500e+01 |-3.100000e+01 | 12.98%
1390.74/1390.75 c 1391s| 2700k| 57492 | 32150k| 11.9 | 129M| 108 | 44 | 200 |3102 | 200 | 240 | 22M| 0 | 24k|-3.560000e+01 |-3.100000e+01 | 12.92%
1395.03/1395.09 c 1395s| 2710k| 57300 | 32239k| 11.9 | 129M| 108 | 61 | 200 |3102 | 200 | 217 | 22M| 0 | 24k|-3.559091e+01 |-3.100000e+01 | 12.90%
1399.43/1399.46 c 1399s| 2720k| 57102 | 32328k| 11.9 | 128M| 111 | - | 200 |3102 | 200 | 228 | 22M| 0 | 25k|-3.557143e+01 |-3.100000e+01 | 12.85%
1403.65/1403.69 c 1404s| 2730k| 56894 | 32413k| 11.9 | 128M| 111 | 45 | 200 |3102 | 200 | 224 | 22M| 0 | 25k|-3.554545e+01 |-3.100000e+01 | 12.79%
1407.94/1407.95 c 1408s| 2740k| 56684 | 32499k| 11.9 | 128M| 111 | 29 | 200 |3102 | 200 | 215 | 22M| 0 | 25k|-3.550000e+01 |-3.100000e+01 | 12.68%
1412.23/1412.24 c 1412s| 2750k| 56524 | 32587k| 11.8 | 128M| 111 | 45 | 200 |3102 | 200 | 211 | 22M| 0 | 25k|-3.550000e+01 |-3.100000e+01 | 12.68%
1416.64/1416.62 c 1417s| 2760k| 56312 | 32677k| 11.8 | 128M| 111 | 14 | 200 |3102 | 200 | 223 | 22M| 0 | 25k|-3.550000e+01 |-3.100000e+01 | 12.68%
1420.84/1420.88 c 1421s| 2770k| 56068 | 32764k| 11.8 | 127M| 111 | 33 | 200 |3102 | 200 | 218 | 23M| 0 | 25k|-3.550000e+01 |-3.100000e+01 | 12.68%
1425.14/1425.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1425.14/1425.13 c 1425s| 2780k| 55858 | 32850k| 11.8 | 127M| 111 | 66 | 200 |3102 | 200 | 220 | 23M| 0 | 25k|-3.550000e+01 |-3.100000e+01 | 12.68%
1429.34/1429.35 c 1429s| 2790k| 55658 | 32935k| 11.8 | 127M| 111 | - | 200 |3102 | 200 | 217 | 23M| 0 | 25k|-3.550000e+01 |-3.100000e+01 | 12.68%
1433.64/1433.61 c 1434s| 2800k| 55386 | 33020k| 11.8 | 127M| 111 | - | 200 |3102 | 200 | 238 | 23M| 0 | 25k|-3.550000e+01 |-3.100000e+01 | 12.68%
1437.84/1437.87 c 1438s| 2810k| 55138 | 33107k| 11.8 | 126M| 111 | 56 | 200 |3102 | 200 | 224 | 23M| 0 | 25k|-3.550000e+01 |-3.100000e+01 | 12.68%
1442.14/1442.11 c 1442s| 2820k| 54930 | 33192k| 11.8 | 126M| 111 | - | 200 |3102 | 200 | 216 | 23M| 0 | 25k|-3.550000e+01 |-3.100000e+01 | 12.68%
1446.34/1446.36 c 1446s| 2830k| 54720 | 33278k| 11.8 | 126M| 111 | 24 | 200 |3102 | 200 | 231 | 23M| 0 | 25k|-3.550000e+01 |-3.100000e+01 | 12.68%
1450.64/1450.68 c 1451s| 2840k| 54508 | 33365k| 11.7 | 126M| 111 | 12 | 200 |3102 | 200 | 235 | 23M| 0 | 25k|-3.550000e+01 |-3.100000e+01 | 12.68%
1454.94/1454.96 c 1455s| 2850k| 54334 | 33453k| 11.7 | 125M| 111 | - | 200 |3102 | 200 | 244 | 23M| 0 | 25k|-3.550000e+01 |-3.100000e+01 | 12.68%
1459.24/1459.22 c 1459s| 2860k| 54138 | 33539k| 11.7 | 125M| 111 | - | 200 |3102 | 200 | 224 | 23M| 0 | 25k|-3.550000e+01 |-3.100000e+01 | 12.68%
1463.44/1463.44 c 1463s| 2870k| 53902 | 33624k| 11.7 | 125M| 111 | - | 200 |3102 | 200 | 213 | 23M| 0 | 25k|-3.550000e+01 |-3.100000e+01 | 12.68%
1467.64/1467.62 c 1468s| 2880k| 53702 | 33708k| 11.7 | 125M| 111 | - | 200 |3102 | 200 | 215 | 23M| 0 | 25k|-3.550000e+01 |-3.100000e+01 | 12.68%
1471.85/1471.85 c 1472s| 2890k| 53512 | 33792k| 11.7 | 125M| 111 | - | 200 |3102 | 200 | 227 | 23M| 0 | 25k|-3.543590e+01 |-3.100000e+01 | 12.52%
1476.04/1476.04 c 1476s| 2900k| 53332 | 33876k| 11.7 | 124M| 111 | 42 | 200 |3102 | 200 | 223 | 23M| 0 | 25k|-3.540000e+01 |-3.100000e+01 | 12.43%
1480.24/1480.28 c 1480s| 2910k| 53152 | 33961k| 11.7 | 124M| 111 | 15 | 200 |3102 | 200 | 221 | 23M| 0 | 25k|-3.538462e+01 |-3.100000e+01 | 12.39%
1484.44/1484.49 c 1484s| 2920k| 52894 | 34045k| 11.7 | 124M| 111 | 32 | 200 |3102 | 200 | 224 | 23M| 0 | 25k|-3.535714e+01 |-3.100000e+01 | 12.32%
1488.74/1488.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1488.74/1488.72 c 1489s| 2930k| 52622 | 34129k| 11.6 | 123M| 111 | - | 200 |3102 | 200 | 248 | 23M| 0 | 25k|-3.533333e+01 |-3.100000e+01 | 12.26%
1492.94/1492.97 c 1493s| 2940k| 52436 | 34216k| 11.6 | 123M| 111 | 10 | 200 |3102 | 200 | 218 | 24M| 0 | 25k|-3.533333e+01 |-3.100000e+01 | 12.26%
1497.14/1497.15 c 1497s| 2950k| 52222 | 34299k| 11.6 | 123M| 111 | - | 200 |3102 | 200 | 241 | 24M| 0 | 25k|-3.533333e+01 |-3.100000e+01 | 12.26%
1501.44/1501.44 c 1501s| 2960k| 51962 | 34386k| 11.6 | 123M| 111 | - | 200 |3102 | 200 | 236 | 24M| 0 | 25k|-3.533333e+01 |-3.100000e+01 | 12.26%
1505.64/1505.64 c 1506s| 2970k| 51726 | 34470k| 11.6 | 122M| 111 | - | 200 |3102 | 200 | 242 | 24M| 0 | 25k|-3.528571e+01 |-3.100000e+01 | 12.15%
1509.85/1509.89 c 1510s| 2980k| 51510 | 34554k| 11.6 | 122M| 111 | 33 | 200 |3102 | 200 | 214 | 24M| 0 | 25k|-3.525000e+01 |-3.100000e+01 | 12.06%
1513.94/1513.99 c 1514s| 2990k| 51248 | 34636k| 11.6 | 122M| 111 | - | 200 |3102 | 200 | 218 | 24M| 0 | 25k|-3.525000e+01 |-3.100000e+01 | 12.06%
1518.15/1518.17 c 1518s| 3000k| 50992 | 34719k| 11.6 | 122M| 111 | 46 | 200 |3102 | 200 | 216 | 24M| 0 | 26k|-3.525000e+01 |-3.100000e+01 | 12.06%
1522.34/1522.35 c 1522s| 3010k| 50728 | 34802k| 11.6 | 121M| 111 | 12 | 200 |3102 | 200 | 213 | 24M| 0 | 26k|-3.525000e+01 |-3.100000e+01 | 12.06%
1526.55/1526.56 c 1527s| 3020k| 50482 | 34886k| 11.5 | 121M| 111 | - | 200 |3102 | 200 | 218 | 24M| 0 | 26k|-3.520000e+01 |-3.100000e+01 | 11.93%
1530.75/1530.77 c 1531s| 3030k| 50228 | 34970k| 11.5 | 121M| 111 | 40 | 200 |3102 | 200 | 217 | 24M| 0 | 26k|-3.518750e+01 |-3.100000e+01 | 11.90%
1534.94/1534.92 c 1535s| 3040k| 50000 | 35053k| 11.5 | 120M| 111 | - | 200 |3102 | 200 | 249 | 24M| 0 | 26k|-3.516667e+01 |-3.100000e+01 | 11.85%
1539.05/1539.08 c 1539s| 3050k| 49726 | 35134k| 11.5 | 120M| 111 | 51 | 200 |3102 | 200 | 218 | 24M| 0 | 26k|-3.514286e+01 |-3.100000e+01 | 11.79%
1543.24/1543.20 c 1543s| 3060k| 49502 | 35216k| 11.5 | 120M| 111 | - | 200 |3102 | 200 | 229 | 24M| 0 | 26k|-3.511111e+01 |-3.100000e+01 | 11.71%
1547.34/1547.38 c 1547s| 3070k| 49240 | 35298k| 11.5 | 119M| 111 | - | 200 |3102 | 200 | 262 | 24M| 0 | 26k|-3.508000e+01 |-3.100000e+01 | 11.63%
1551.54/1551.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1551.54/1551.51 c 1552s| 3080k| 48950 | 35380k| 11.5 | 119M| 111 | 35 | 200 |3102 | 200 | 214 | 24M| 0 | 26k|-3.500000e+01 |-3.100000e+01 | 11.43%
1555.74/1555.73 c 1556s| 3090k| 48678 | 35464k| 11.5 | 119M| 111 | - | 200 |3102 | 200 | 215 | 24M| 0 | 26k|-3.500000e+01 |-3.100000e+01 | 11.43%
1559.94/1559.90 c 1560s| 3100k| 48430 | 35547k| 11.5 | 118M| 111 | - | 200 |3102 | 200 | 226 | 24M| 0 | 26k|-3.500000e+01 |-3.100000e+01 | 11.43%
1564.05/1564.04 c 1564s| 3110k| 48138 | 35630k| 11.5 | 118M| 111 | - | 200 |3102 | 200 | 248 | 24M| 0 | 26k|-3.500000e+01 |-3.100000e+01 | 11.43%
1568.25/1568.21 c 1568s| 3120k| 47860 | 35712k| 11.4 | 118M| 111 | - | 200 |3102 | 200 | 226 | 24M| 0 | 26k|-3.500000e+01 |-3.100000e+01 | 11.43%
1572.34/1572.33 c 1572s| 3130k| 47528 | 35793k| 11.4 | 117M| 111 | 39 | 200 |3102 | 200 | 208 | 25M| 0 | 26k|-3.500000e+01 |-3.100000e+01 | 11.43%
1576.45/1576.49 c 1576s| 3140k| 47258 | 35876k| 11.4 | 117M| 111 | - | 200 |3102 | 200 | 253 | 25M| 0 | 26k|-3.500000e+01 |-3.100000e+01 | 11.43%
1580.64/1580.69 c 1581s| 3150k| 46958 | 35960k| 11.4 | 116M| 111 | 31 | 200 |3102 | 200 | 219 | 25M| 0 | 26k|-3.500000e+01 |-3.100000e+01 | 11.43%
1584.84/1584.82 c 1585s| 3160k| 46664 | 36042k| 11.4 | 116M| 111 | 55 | 200 |3102 | 200 | 255 | 25M| 0 | 26k|-3.500000e+01 |-3.100000e+01 | 11.43%
1589.05/1589.00 c 1589s| 3170k| 46364 | 36126k| 11.4 | 115M| 111 | 32 | 200 |3102 | 200 | 216 | 25M| 0 | 26k|-3.500000e+01 |-3.100000e+01 | 11.43%
1593.15/1593.15 c 1593s| 3180k| 46040 | 36208k| 11.4 | 115M| 111 | - | 200 |3102 | 200 | 212 | 25M| 0 | 26k|-3.500000e+01 |-3.100000e+01 | 11.43%
1597.35/1597.35 c 1597s| 3190k| 45752 | 36292k| 11.4 | 115M| 111 | - | 200 |3102 | 200 | 230 | 25M| 0 | 26k|-3.500000e+01 |-3.100000e+01 | 11.43%
1601.54/1601.53 c 1602s| 3200k| 45466 | 36376k| 11.4 | 114M| 111 | - | 200 |3102 | 200 | 237 | 25M| 0 | 26k|-3.500000e+01 |-3.100000e+01 | 11.43%
1605.64/1605.62 c 1606s| 3210k| 45182 | 36456k| 11.4 | 114M| 111 | - | 200 |3102 | 200 | 235 | 25M| 0 | 26k|-3.500000e+01 |-3.100000e+01 | 11.43%
1609.84/1609.86 c 1610s| 3220k| 44928 | 36543k| 11.3 | 113M| 111 | - | 200 |3102 | 200 | 229 | 25M| 0 | 26k|-3.500000e+01 |-3.100000e+01 | 11.43%
1614.04/1614.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1614.04/1614.00 c 1614s| 3230k| 44620 | 36625k| 11.3 | 113M| 111 | 54 | 200 |3102 | 200 | 213 | 25M| 0 | 26k|-3.500000e+01 |-3.100000e+01 | 11.43%
1618.15/1618.12 c 1618s| 3240k| 44308 | 36705k| 11.3 | 113M| 111 | 33 | 200 |3102 | 200 | 215 | 25M| 0 | 26k|-3.500000e+01 |-3.100000e+01 | 11.43%
1622.24/1622.21 c 1622s| 3250k| 44038 | 36787k| 11.3 | 112M| 111 | - | 200 |3102 | 200 | 235 | 25M| 0 | 26k|-3.500000e+01 |-3.100000e+01 | 11.43%
1626.44/1626.41 c 1626s| 3260k| 43758 | 36871k| 11.3 | 112M| 111 | 52 | 200 |3102 | 200 | 255 | 25M| 0 | 26k|-3.500000e+01 |-3.100000e+01 | 11.43%
1630.65/1630.60 c 1631s| 3270k| 43470 | 36953k| 11.3 | 111M| 111 | 48 | 200 |3102 | 200 | 235 | 25M| 0 | 26k|-3.500000e+01 |-3.100000e+01 | 11.43%
1634.75/1634.79 c 1635s| 3280k| 43240 | 37038k| 11.3 | 111M| 111 | 59 | 200 |3102 | 200 | 257 | 25M| 0 | 26k|-3.500000e+01 |-3.100000e+01 | 11.43%
1638.94/1639.00 c 1639s| 3290k| 42986 | 37122k| 11.3 | 111M| 111 | 25 | 200 |3102 | 200 | 228 | 25M| 0 | 27k|-3.494444e+01 |-3.100000e+01 | 11.29%
1643.15/1643.12 c 1643s| 3300k| 42650 | 37203k| 11.3 | 110M| 111 | 47 | 200 |3102 | 200 | 216 | 25M| 0 | 27k|-3.488889e+01 |-3.100000e+01 | 11.15%
1647.25/1647.24 c 1647s| 3310k| 42322 | 37283k| 11.3 | 110M| 111 | - | 200 |3102 | 200 | 224 | 25M| 0 | 27k|-3.485714e+01 |-3.100000e+01 | 11.07%
1651.45/1651.43 c 1651s| 3320k| 42024 | 37366k| 11.3 | 109M| 111 | - | 200 |3102 | 200 | 254 | 26M| 0 | 27k|-3.483333e+01 |-3.100000e+01 | 11.00%
1655.45/1655.46 c 1655s| 3330k| 41724 | 37444k| 11.2 | 109M| 111 | 31 | 200 |3102 | 200 | 227 | 26M| 0 | 27k|-3.480000e+01 |-3.100000e+01 | 10.92%
1659.55/1659.55 c 1660s| 3340k| 41388 | 37524k| 11.2 | 109M| 111 | 16 | 200 |3102 | 200 | 228 | 26M| 0 | 27k|-3.475000e+01 |-3.100000e+01 | 10.79%
1663.54/1663.57 c 1664s| 3350k| 41072 | 37601k| 11.2 | 108M| 111 | - | 200 |3102 | 200 | 214 | 26M| 0 | 27k|-3.475000e+01 |-3.100000e+01 | 10.79%
1667.54/1667.59 c 1668s| 3360k| 40714 | 37679k| 11.2 | 108M| 111 | - | 200 |3102 | 200 | 215 | 26M| 0 | 27k|-3.475000e+01 |-3.100000e+01 | 10.79%
1671.64/1671.69 c 1672s| 3370k| 40382 | 37759k| 11.2 | 107M| 111 | - | 200 |3102 | 200 | 214 | 26M| 0 | 27k|-3.475000e+01 |-3.100000e+01 | 10.79%
1675.74/1675.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1675.74/1675.74 c 1676s| 3380k| 40018 | 37839k| 11.2 | 106M| 111 | 18 | 200 |3102 | 200 | 221 | 26M| 0 | 27k|-3.470000e+01 |-3.100000e+01 | 10.66%
1679.75/1679.76 c 1680s| 3390k| 39676 | 37916k| 11.2 | 106M| 111 | - | 200 |3102 | 200 | 216 | 26M| 0 | 27k|-3.466667e+01 |-3.100000e+01 | 10.58%
1683.85/1683.81 c 1684s| 3400k| 39318 | 37995k| 11.2 | 105M| 111 | 32 | 200 |3102 | 200 | 227 | 26M| 0 | 27k|-3.466667e+01 |-3.100000e+01 | 10.58%
1687.85/1687.83 c 1688s| 3410k| 38988 | 38073k| 11.2 | 105M| 111 | - | 200 |3102 | 200 | 225 | 26M| 0 | 27k|-3.466667e+01 |-3.100000e+01 | 10.58%
1691.85/1691.85 c 1692s| 3420k| 38614 | 38150k| 11.2 | 104M| 111 | 42 | 200 |3102 | 200 | 216 | 26M| 0 | 27k|-3.466667e+01 |-3.100000e+01 | 10.58%
1695.95/1695.92 c 1696s| 3430k| 38216 | 38229k| 11.1 | 104M| 111 | - | 200 |3102 | 200 | 214 | 26M| 0 | 27k|-3.464286e+01 |-3.100000e+01 | 10.52%
1699.94/1699.96 c 1700s| 3440k| 37786 | 38307k| 11.1 | 103M| 111 | 53 | 200 |3102 | 200 | 211 | 26M| 0 | 27k|-3.461538e+01 |-3.100000e+01 | 10.44%
1704.06/1704.02 c 1704s| 3450k| 37418 | 38385k| 11.1 | 102M| 111 | - | 200 |3102 | 200 | 215 | 26M| 0 | 27k|-3.460000e+01 |-3.100000e+01 | 10.40%
1708.05/1708.01 c 1708s| 3460k| 37024 | 38463k| 11.1 | 102M| 111 | - | 200 |3102 | 200 | 214 | 26M| 0 | 27k|-3.457143e+01 |-3.100000e+01 | 10.33%
1711.94/1711.99 c 1712s| 3470k| 36602 | 38537k| 11.1 | 101M| 111 | 6 | 200 |3102 | 200 | 232 | 26M| 0 | 27k|-3.450000e+01 |-3.100000e+01 | 10.14%
1715.94/1715.93 c 1716s| 3480k| 36198 | 38613k| 11.1 | 100M| 111 | 44 | 200 |3102 | 200 | 227 | 26M| 0 | 27k|-3.450000e+01 |-3.100000e+01 | 10.14%
1719.95/1719.90 c 1720s| 3490k| 35788 | 38689k| 11.1 | 100M| 111 | 49 | 200 |3102 | 200 | 226 | 26M| 0 | 27k|-3.450000e+01 |-3.100000e+01 | 10.14%
1723.85/1723.85 c 1724s| 3500k| 35422 | 38764k| 11.1 | 99M| 111 | 26 | 200 |3102 | 200 | 225 | 26M| 0 | 27k|-3.450000e+01 |-3.100000e+01 | 10.14%
1727.85/1727.85 c 1728s| 3510k| 35014 | 38841k| 11.1 | 98M| 111 | 22 | 200 |3102 | 200 | 224 | 26M| 0 | 27k|-3.450000e+01 |-3.100000e+01 | 10.14%
1731.85/1731.88 c 1732s| 3520k| 34630 | 38918k| 11.1 | 98M| 111 | - | 200 |3102 | 200 | 222 | 26M| 0 | 27k|-3.450000e+01 |-3.100000e+01 | 10.14%
1735.85/1735.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1735.85/1735.82 c 1736s| 3530k| 34216 | 38993k| 11.0 | 97M| 111 | 30 | 200 |3102 | 200 | 212 | 27M| 0 | 27k|-3.450000e+01 |-3.100000e+01 | 10.14%
1739.75/1739.78 c 1740s| 3540k| 33804 | 39068k| 11.0 | 96M| 111 | - | 200 |3102 | 200 | 241 | 27M| 0 | 27k|-3.450000e+01 |-3.100000e+01 | 10.14%
1743.75/1743.76 c 1744s| 3550k| 33384 | 39145k| 11.0 | 96M| 111 | 70 | 200 |3102 | 200 | 260 | 27M| 0 | 27k|-3.450000e+01 |-3.100000e+01 | 10.14%
1747.75/1747.71 c 1748s| 3560k| 32966 | 39220k| 11.0 | 95M| 111 | 64 | 200 |3102 | 200 | 217 | 27M| 0 | 27k|-3.450000e+01 |-3.100000e+01 | 10.14%
1751.65/1751.69 c 1752s| 3570k| 32550 | 39296k| 11.0 | 94M| 111 | 65 | 200 |3102 | 200 | 254 | 27M| 0 | 27k|-3.450000e+01 |-3.100000e+01 | 10.14%
1755.55/1755.60 c 1756s| 3580k| 32080 | 39370k| 11.0 | 93M| 111 | - | 200 |3102 | 200 | 229 | 27M| 0 | 27k|-3.450000e+01 |-3.100000e+01 | 10.14%
1759.55/1759.53 c 1760s| 3590k| 31644 | 39446k| 11.0 | 93M| 111 | - | 200 |3102 | 200 | 223 | 27M| 0 | 27k|-3.450000e+01 |-3.100000e+01 | 10.14%
1763.45/1763.49 c 1763s| 3600k| 31156 | 39521k| 11.0 | 92M| 111 | 40 | 200 |3102 | 200 | 219 | 27M| 0 | 27k|-3.450000e+01 |-3.100000e+01 | 10.14%
1767.45/1767.46 c 1767s| 3610k| 30732 | 39597k| 11.0 | 91M| 111 | 46 | 200 |3102 | 200 | 229 | 27M| 0 | 27k|-3.450000e+01 |-3.100000e+01 | 10.14%
1771.45/1771.50 c 1771s| 3620k| 30350 | 39674k| 11.0 | 90M| 111 | 19 | 200 |3102 | 200 | 217 | 27M| 0 | 27k|-3.445000e+01 |-3.100000e+01 | 10.01%
1775.45/1775.46 c 1775s| 3630k| 29902 | 39749k| 10.9 | 90M| 111 | 20 | 200 |3102 | 200 | 219 | 27M| 0 | 27k|-3.440000e+01 |-3.100000e+01 | 9.88%
1779.35/1779.39 c 1779s| 3640k| 29468 | 39824k| 10.9 | 89M| 111 | 38 | 200 |3102 | 200 | 217 | 27M| 0 | 28k|-3.433333e+01 |-3.100000e+01 | 9.71%
1783.35/1783.32 c 1783s| 3650k| 28996 | 39898k| 10.9 | 88M| 111 | 51 | 200 |3102 | 200 | 216 | 27M| 0 | 28k|-3.433333e+01 |-3.100000e+01 | 9.71%
1787.25/1787.24 c 1787s| 3660k| 28482 | 39972k| 10.9 | 87M| 111 | - | 200 |3102 | 200 | 214 | 27M| 0 | 28k|-3.433333e+01 |-3.100000e+01 | 9.71%
1791.15/1791.17 c 1791s| 3670k| 28014 | 40045k| 10.9 | 86M| 111 | - | 200 |3102 | 200 | 224 | 27M| 0 | 28k|-3.427778e+01 |-3.100000e+01 | 9.56%
1795.15/1795.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1795.15/1795.13 c 1795s| 3680k| 27470 | 40120k| 10.9 | 85M| 111 | - | 200 |3102 | 200 | 232 | 27M| 0 | 28k|-3.425000e+01 |-3.100000e+01 | 9.49%
1797.05/1797.00 c
1797.05/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.00 c Solving Time (sec) : 1797.00
1797.05/1797.00 c Solving Nodes : 3684839
1797.05/1797.00 c Primal Bound : -3.10000000000000e+01 (533 solutions)
1797.05/1797.00 c Dual Bound : -3.42500000000000e+01
1797.05/1797.00 c Gap : 9.49 %
1797.05/1797.00 s SATISFIABLE
1797.05/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.05/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 -x156
1797.05/1797.00 v -x155 -x154 -x153 -x152 -x151 -x150 -x149 x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 x135
1797.05/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.05/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.05/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.05/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 -x39
1797.05/1797.00 v -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14
1797.05/1797.00 v -x13 -x12 -x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1797.05/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.00 c Total Time : 1797.00
1797.05/1797.00 c solving : 1797.00
1797.05/1797.00 c presolving : 0.08 (included in solving)
1797.05/1797.00 c reading : 0.01 (included in solving)
1797.05/1797.00 c Original Problem :
1797.05/1797.00 c Problem name : HOME/instance-3485161-1307784826.opb
1797.05/1797.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.00 c Constraints : 200 initial, 200 maximal
1797.05/1797.00 c Presolved Problem :
1797.05/1797.00 c Problem name : t_HOME/instance-3485161-1307784826.opb
1797.05/1797.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.00 c Constraints : 3102 initial, 3102 maximal
1797.05/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.05/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c probing : 0.02 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c and : 0.03 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c linear : 0.01 3102 0 0 3102 0 200 0 0 0
1797.05/1797.00 c logicor : 0.01 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c root node : - 0 - - 0 - - - - -
1797.05/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.05/1797.00 c integral : 0 0 0 2740629 0 716457 0 242 1947 0 0 3744066
1797.05/1797.00 c logicor : 3102 70 3696968 867516 0 716453 0 32 20768421 27694479 0 0
1797.05/1797.00 c countsols : 0 0 0 8 0 527 0 0 0 0 0 0
1797.05/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.05/1797.00 c integral : 40.41 0.00 0.00 40.24 0.00 0.18 0.00
1797.05/1797.00 c logicor : 149.87 0.03 73.88 42.83 0.00 33.14 0.00
1797.05/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.05/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.05/1797.00 c vbounds : 0 0 0 0
1797.05/1797.00 c rootredcost : 9 0 0 0
1797.05/1797.00 c pseudoobj : 6034966 0 0 0
1797.05/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.05/1797.00 c vbounds : 0.93 0.93 0.00
1797.05/1797.00 c rootredcost : 1.02 1.02 0.00
1797.05/1797.00 c pseudoobj : 26.08 26.08 0.00
1797.05/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.05/1797.00 c propagation : 0.00 32 0 0 0.0 0 0.0 -
1797.05/1797.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.05/1797.00 c applied globally : - - - 0 0.0 - - -
1797.05/1797.00 c applied locally : - - - 0 0.0 - - -
1797.05/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.05/1797.00 c cut pool : 0.07 69 - - 158 - (maximal pool size: 3303)
1797.05/1797.00 c redcost : 15.10 3127733 0 764232 0 0
1797.05/1797.00 c impliedbounds : 0.01 70 0 0 1477 0
1797.05/1797.00 c intobj : 0.00 0 0 0 0 0
1797.05/1797.00 c gomory : 1.87 70 0 0 11434 0
1797.05/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.05/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.05/1797.00 c strongcg : 0.33 20 0 0 9082 0
1797.05/1797.00 c cmir : 0.07 10 0 0 0 0
1797.05/1797.00 c flowcover : 0.05 10 0 0 0 0
1797.05/1797.00 c clique : 0.18 70 0 0 578 0
1797.05/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.05/1797.00 c mcf : 0.00 1 0 0 0 0
1797.05/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.05/1797.00 c rapidlearning : 0.00 0 0 0 0 0
1797.05/1797.00 c Pricers : Time Calls Vars
1797.05/1797.00 c problem variables: 0.00 0 0
1797.05/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.05/1797.00 c relpscost : 38.90 1873113 242 1947 0 0 3744066
1797.05/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.05/1797.00 c inference : 0.00 0 0 0 0 0 0
1797.05/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.05/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.05/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.00 c random : 0.00 0 0 0 0 0 0
1797.05/1797.00 c Primal Heuristics : Time Calls Found
1797.05/1797.00 c LP solutions : 0.07 - 8
1797.05/1797.00 c pseudo solutions : 0.00 - 0
1797.05/1797.00 c feaspump : 0.08 0 0
1797.05/1797.00 c intshifting : 0.04 0 0
1797.05/1797.00 c oneopt : 0.82 11 1
1797.05/1797.00 c crossover : 1.14 39 1
1797.05/1797.00 c veclendiving : 0.27 212 9
1797.05/1797.00 c linesearchdiving : 0.26 213 5
1797.05/1797.00 c pscostdiving : 0.24 213 3
1797.05/1797.00 c fracdiving : 0.28 213 4
1797.05/1797.00 c guideddiving : 0.31 213 7
1797.05/1797.00 c coefdiving : 0.24 213 4
1797.05/1797.00 c rootsoldiving : 0.29 107 0
1797.05/1797.00 c objpscostdiving : 0.20 107 0
1797.05/1797.00 c trivial : 0.00 2 1
1797.05/1797.00 c shiftandpropagate: 0.00 0 0
1797.05/1797.00 c simplerounding : 43.70 1877179 485
1797.05/1797.00 c zirounding : 0.66 1000 3
1797.05/1797.00 c rounding : 4.13 66794 1
1797.05/1797.00 c shifting : 1.38 20657 1
1797.05/1797.00 c twoopt : 0.00 0 0
1797.05/1797.00 c fixandinfer : 0.00 0 0
1797.05/1797.00 c clique : 0.00 0 0
1797.05/1797.00 c intdiving : 0.00 0 0
1797.05/1797.00 c actconsdiving : 0.00 0 0
1797.05/1797.00 c octane : 0.00 0 0
1797.05/1797.00 c rens : 0.00 0 0
1797.05/1797.00 c rins : 0.00 0 0
1797.05/1797.00 c localbranching : 0.00 0 0
1797.05/1797.00 c mutation : 0.00 0 0
1797.05/1797.00 c dins : 0.00 0 0
1797.05/1797.00 c vbounds : 0.00 0 0
1797.05/1797.00 c undercover : 0.00 0 0
1797.05/1797.00 c subnlp : 0.51 0 0
1797.05/1797.00 c trysol : 0.74 0 0
1797.05/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.05/1797.00 c primal LP : 21.98 0 0 0.00 0.00
1797.05/1797.00 c dual LP : 1107.64 4561328 40126513 8.80 36227.19
1797.05/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.05/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.05/1797.00 c diving/probing LP: 1.02 4510 28958 6.42 28345.76
1797.05/1797.00 c strong branching : 17.95 28164 458360 16.27 25531.43
1797.05/1797.00 c (at root node) : - 31 21648 698.32 -
1797.05/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.05/1797.00 c B&B Tree :
1797.05/1797.00 c number of runs : 1
1797.05/1797.00 c nodes : 3684839
1797.05/1797.00 c nodes (total) : 3684839
1797.05/1797.00 c nodes left : 27237
1797.05/1797.00 c max depth : 111
1797.05/1797.00 c max depth (total): 111
1797.05/1797.00 c backtracks : 452761 (12.3%)
1797.05/1797.00 c delayed cutoffs : 0
1797.05/1797.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.05/1797.00 c avg switch length: 5.65
1797.05/1797.00 c switching time : 133.49
1797.05/1797.00 c Solution :
1797.05/1797.00 c Solutions found : 533 (13 improvements)
1797.05/1797.00 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1797.05/1797.00 c Primal Bound : -3.10000000000000e+01 (in run 1, after 691380 nodes, 425.51 seconds, depth 52, found by <relaxation>)
1797.05/1797.00 c Dual Bound : -3.42500000000000e+01
1797.05/1797.00 c Gap : 9.49 %
1797.05/1797.00 c Root Dual Bound : -4.86347908391285e+01
1797.05/1797.00 c Root Iterations : 12787
1797.15/1797.17 c Time complete: 1797.22.
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-3485161-1307784826/watcher-3485161-1307784826 -o /tmp/evaluation-result-3485161-1307784826/solver-3485161-1307784826 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485161-1307784826.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.00 2.00 1.70 2/178 32144
/proc/meminfo: memFree=31301740/32951124 swapFree=67072804/67111528
[pid=32144] ppid=32142 vsize=9968 CPUtime=0 cores=1,3,5,7
/proc/32144/stat : 32144 (scip-2.0.1.4_2.) R 32142 32144 31857 0 -1 4202496 1513 0 0 0 0 0 0 0 25 0 1 0 890080484 10207232 1467 33554432000 4194304 8979876 140736280130272 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/32144/statm: 2492 1467 367 1169 0 1319 0
[startup+0.10576 s]
/proc/loadavg: 2.00 2.00 1.70 2/178 32144
/proc/meminfo: memFree=31301740/32951124 swapFree=67072804/67111528
[pid=32144] ppid=32142 vsize=30560 CPUtime=0.1 cores=1,3,5,7
/proc/32144/stat : 32144 (scip-2.0.1.4_2.) R 32142 32144 31857 0 -1 4202496 6803 0 0 0 9 1 0 0 25 0 1 0 890080484 31293440 6500 33554432000 4194304 8979876 140736280130272 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32144/statm: 7640 6500 616 1169 0 6467 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 30560
[startup+0.200741 s]
/proc/loadavg: 2.00 2.00 1.70 2/178 32144
/proc/meminfo: memFree=31301740/32951124 swapFree=67072804/67111528
[pid=32144] ppid=32142 vsize=31676 CPUtime=0.19 cores=1,3,5,7
/proc/32144/stat : 32144 (scip-2.0.1.4_2.) R 32142 32144 31857 0 -1 4202496 7265 0 0 0 18 1 0 0 25 0 1 0 890080484 32436224 6829 33554432000 4194304 8979876 140736280130272 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32144/statm: 7919 6829 654 1169 0 6746 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 31676
[startup+0.300723 s]
/proc/loadavg: 2.00 2.00 1.70 2/178 32144
/proc/meminfo: memFree=31301740/32951124 swapFree=67072804/67111528
[pid=32144] ppid=32142 vsize=32560 CPUtime=0.29 cores=1,3,5,7
/proc/32144/stat : 32144 (scip-2.0.1.4_2.) R 32142 32144 31857 0 -1 4202496 7561 0 0 0 28 1 0 0 25 0 1 0 890080484 33341440 7125 33554432000 4194304 8979876 140736280130272 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32144/statm: 8140 7125 654 1169 0 6967 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32560
[startup+0.700648 s]
/proc/loadavg: 2.00 2.00 1.70 2/178 32144
/proc/meminfo: memFree=31301740/32951124 swapFree=67072804/67111528
[pid=32144] ppid=32142 vsize=41320 CPUtime=0.69 cores=1,3,5,7
/proc/32144/stat : 32144 (scip-2.0.1.4_2.) R 32142 32144 31857 0 -1 4202496 9621 0 0 0 66 3 0 0 25 0 1 0 890080484 42311680 9185 33554432000 4194304 8979876 140736280130272 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32144/statm: 10330 9185 656 1169 0 9157 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41320
[startup+1.5005 s]
/proc/loadavg: 2.00 2.00 1.70 3/179 32145
/proc/meminfo: memFree=31265424/32951124 swapFree=67072804/67111528
[pid=32144] ppid=32142 vsize=49120 CPUtime=1.49 cores=1,3,5,7
/proc/32144/stat : 32144 (scip-2.0.1.4_2.) R 32142 32144 31857 0 -1 4202496 11687 0 0 0 143 6 0 0 25 0 1 0 890080484 50298880 11223 33554432000 4194304 8979876 140736280130272 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32144/statm: 12280 11223 659 1169 0 11107 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49120
[startup+3.10021 s]
/proc/loadavg: 2.00 2.00 1.70 3/179 32145
/proc/meminfo: memFree=31254884/32951124 swapFree=67072804/67111528
[pid=32144] ppid=32142 vsize=53208 CPUtime=3.09 cores=1,3,5,7
/proc/32144/stat : 32144 (scip-2.0.1.4_2.) R 32142 32144 31857 0 -1 4202496 12741 0 0 0 299 10 0 0 25 0 1 0 890080484 54484992 12266 33554432000 4194304 8979876 140736280130272 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32144/statm: 13302 12266 677 1169 0 12129 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 53208
[startup+6.30061 s]
/proc/loadavg: 2.00 2.00 1.70 3/179 32146
/proc/meminfo: memFree=31252652/32951124 swapFree=67072804/67111528
[pid=32144] ppid=32142 vsize=54232 CPUtime=6.29 cores=1,3,5,7
/proc/32144/stat : 32144 (scip-2.0.1.4_2.) R 32142 32144 31857 0 -1 4202496 13529 0 0 0 606 23 0 0 25 0 1 0 890080484 55533568 12574 33554432000 4194304 8979876 140736280130272 18446744073709551615 6581316 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32144/statm: 13558 12574 696 1169 0 12385 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 54232
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 1.70 3/179 32146
/proc/meminfo: memFree=31252704/32951124 swapFree=67072804/67111528
[pid=32144] ppid=32142 vsize=54308 CPUtime=12.69 cores=1,3,5,7
/proc/32144/stat : 32144 (scip-2.0.1.4_2.) R 32142 32144 31857 0 -1 4202496 21699 0 0 0 1189 80 0 0 25 0 1 0 890080484 55611392 12623 33554432000 4194304 8979876 140736280130272 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32144/statm: 13577 12623 702 1169 0 12404 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 54308
[startup+25.5011 s]
/proc/loadavg: 2.00 2.00 1.70 3/179 32146
/proc/meminfo: memFree=31244296/32951124 swapFree=67072804/67111528
[pid=32144] ppid=32142 vsize=60220 CPUtime=25.49 cores=1,3,5,7
/proc/32144/stat : 32144 (scip-2.0.1.4_2.) R 32142 32144 31857 0 -1 4202496 36978 0 0 0 2347 202 0 0 25 0 1 0 890080484 61665280 14113 33554432000 4194304 8979876 140736280130272 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32144/statm: 15055 14113 702 1169 0 13882 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 60220
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.71 3/179 32147
/proc/meminfo: memFree=31233756/32951124 swapFree=67072804/67111528
[pid=32144] ppid=32142 vsize=69508 CPUtime=51.09 cores=1,3,5,7
/proc/32144/stat : 32144 (scip-2.0.1.4_2.) R 32142 32144 31857 0 -1 4202496 43061 0 0 0 4662 447 0 0 25 0 1 0 890080484 71176192 16409 33554432000 4194304 8979876 140736280130272 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32144/statm: 17377 16409 702 1169 0 16204 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 69508
[startup+102.301 s]
/proc/loadavg: 2.05 2.01 1.73 3/179 32186
/proc/meminfo: memFree=31426080/32951124 swapFree=67072804/67111528
[pid=32144] ppid=32142 vsize=91128 CPUtime=102.29 cores=1,3,5,7
/proc/32144/stat : 32144 (scip-2.0.1.4_2.) R 32142 32144 31857 0 -1 4202496 52572 0 0 0 9236 993 0 0 25 0 1 0 890080484 93315072 21854 33554432000 4194304 8979876 140736280130272 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32144/statm: 22782 21854 702 1169 0 21609 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 91128
[startup+162.301 s]
/proc/loadavg: 2.02 2.01 1.74 3/179 32188
/proc/meminfo: memFree=31384188/32951124 swapFree=67072804/67111528
[pid=32144] ppid=32142 vsize=113308 CPUtime=162.29 cores=1,3,5,7
/proc/32144/stat : 32144 (scip-2.0.1.4_2.) R 32142 32144 31857 0 -1 4202496 60041 0 0 0 14581 1648 0 0 25 0 1 0 890080484 116027392 27417 33554432000 4194304 8979876 140736280130272 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32144/statm: 28327 27417 702 1169 0 27154 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 113308
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 1.75 3/179 32189
/proc/meminfo: memFree=31343348/32951124 swapFree=67072804/67111528
[pid=32144] ppid=32142 vsize=131740 CPUtime=222.31 cores=1,3,5,7
/proc/32144/stat : 32144 (scip-2.0.1.4_2.) R 32142 32144 31857 0 -1 4202496 64722 0 0 0 19924 2307 0 0 25 0 1 0 890080484 134901760 32098 33554432000 4194304 8979876 140736280130272 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32144/statm: 32935 32098 702 1169 0 31762 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 131740
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.77 3/179 32191
/proc/meminfo: memFree=31308088/32951124 swapFree=67072804/67111528
[pid=32144] ppid=32142 vsize=149500 CPUtime=282.3 cores=1,3,5,7
/proc/32144/stat : 32144 (scip-2.0.1.4_2.) R 32142 32144 31857 0 -1 4202496 71083 0 0 0 25244 2986 0 0 25 0 1 0 890080484 153088000 36567 33554432000 4194304 8979876 140736280130272 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32144/statm: 37375 36567 702 1169 0 36202 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 149500
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.78 3/179 32193
/proc/meminfo: memFree=31266112/32951124 swapFree=67072804/67111528
[pid=32144] ppid=32142 vsize=168968 CPUtime=342.3 cores=1,3,5,7
/proc/32144/stat : 32144 (scip-2.0.1.4_2.) R 32142 32144 31857 0 -1 4202496 86965 0 0 0 30519 3711 0 0 25 0 1 0 890080484 173023232 41062 33554432000 4194304 8979876 140736280130272 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32144/statm: 42242 41062 702 1169 0 41069 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 168968
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.79 3/179 32194
/proc/meminfo: memFree=31242720/32951124 swapFree=67072804/67111528
[pid=32144] ppid=32142 vsize=168972 CPUtime=402.3 cores=1,3,5,7
/proc/32144/stat : 32144 (scip-2.0.1.4_2.) R 32142 32144 31857 0 -1 4202496 92660 0 0 0 35801 4429 0 0 25 0 1 0 890080484 173027328 41063 33554432000 4194304 8979876 140736280130272 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32144/statm: 42243 41063 702 1169 0 41070 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 168972
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.80 3/179 32196
/proc/meminfo: memFree=31223808/32951124 swapFree=67072804/67111528
[pid=32144] ppid=32142 vsize=170644 CPUtime=462.3 cores=1,3,5,7
/proc/32144/stat : 32144 (scip-2.0.1.4_2.) R 32142 32144 31857 0 -1 4202496 109014 0 0 0 41104 5126 0 0 25 0 1 0 890080484 174739456 41481 33554432000 4194304 8979876 140736280130272 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32144/statm: 42661 41481 702 1169 0 41488 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 170644
[startup+522.301 s]
/proc/loadavg: 2.07 2.02 1.82 3/179 32197
/proc/meminfo: memFree=31207252/32951124 swapFree=67072804/67111528
[pid=32144] ppid=32142 vsize=171736 CPUtime=522.31 cores=1,3,5,7
/proc/32144/stat : 32144 (scip-2.0.1.4_2.) R 32142 32144 31857 0 -1 4202496 111096 0 0 0 46413 5818 0 0 25 0 1 0 890080484 175857664 41672 33554432000 4194304 8979876 140736280130272 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32144/statm: 42934 41672 702 1169 0 41761 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 171736
[startup+582.301 s]
/proc/loadavg: 2.02 2.01 1.82 3/179 32199
/proc/meminfo: memFree=31188096/32951124 swapFree=67072804/67111528
[pid=32144] ppid=32142 vsize=172696 CPUtime=582.31 cores=1,3,5,7
/proc/32144/stat : 32144 (scip-2.0.1.4_2.) R 32142 32144 31857 0 -1 4202496 113311 0 0 0 51738 6493 0 0 25 0 1 0 890080484 176840704 41994 33554432000 4194304 8979876 140736280130272 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32144/statm: 43174 41994 702 1169 0 42001 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 172696
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=31093136/32951124 swapFree=67072804/67111528
[pid=32144] ppid=32142 vsize=185948 CPUtime=1122.33 cores=1,3,5,7
/proc/32144/stat : 32144 (scip-2.0.1.4_2.) R 32142 32144 31857 0 -1 4202496 120604 0 0 0 99853 12380 0 0 25 0 1 0 890080484 190410752 45224 33554432000 4194304 8979876 140736280130272 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32144/statm: 46487 45224 702 1169 0 45314 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 185948
[startup+1182.3 s]
/proc/loadavg: 2.04 2.03 1.91 3/179 32215
/proc/meminfo: memFree=31092588/32951124 swapFree=67072804/67111528
[pid=32144] ppid=32142 vsize=186460 CPUtime=1182.33 cores=1,3,5,7
/proc/32144/stat : 32144 (scip-2.0.1.4_2.) R 32142 32144 31857 0 -1 4202496 120721 0 0 0 105222 13011 0 0 25 0 1 0 890080484 190935040 45341 33554432000 4194304 8979876 140736280130272 18446744073709551615 4733760 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32144/statm: 46615 45341 702 1169 0 45442 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 186460
[startup+1242.3 s]
/proc/loadavg: 2.01 2.03 1.91 3/179 32217
/proc/meminfo: memFree=31090292/32951124 swapFree=67072804/67111528
[pid=32144] ppid=32142 vsize=187796 CPUtime=1242.34 cores=1,3,5,7
/proc/32144/stat : 32144 (scip-2.0.1.4_2.) R 32142 32144 31857 0 -1 4202496 123042 0 0 0 110601 13633 0 0 25 0 1 0 890080484 192303104 45768 33554432000 4194304 8979876 140736280130272 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32144/statm: 46949 45768 702 1169 0 45776 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 187796
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 1.91 3/179 32218
/proc/meminfo: memFree=31089840/32951124 swapFree=67072804/67111528
[pid=32144] ppid=32142 vsize=187796 CPUtime=1302.34 cores=1,3,5,7
/proc/32144/stat : 32144 (scip-2.0.1.4_2.) R 32142 32144 31857 0 -1 4202496 123042 0 0 0 115990 14244 0 0 25 0 1 0 890080484 192303104 45768 33554432000 4194304 8979876 140736280130272 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32144/statm: 46949 45768 702 1169 0 45776 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 187796
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/179 32220
/proc/meminfo: memFree=31089648/32951124 swapFree=67072804/67111528
[pid=32144] ppid=32142 vsize=187796 CPUtime=1362.33 cores=1,3,5,7
/proc/32144/stat : 32144 (scip-2.0.1.4_2.) R 32142 32144 31857 0 -1 4202496 123042 0 0 0 121353 14880 0 0 25 0 1 0 890080484 192303104 45768 33554432000 4194304 8979876 140736280130272 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32144/statm: 46949 45768 702 1169 0 45776 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 187796
[startup+1422.3 s]
/proc/loadavg: 2.05 2.02 1.92 3/179 32221
/proc/meminfo: memFree=31087472/32951124 swapFree=67072804/67111528
[pid=32144] ppid=32142 vsize=187796 CPUtime=1422.34 cores=1,3,5,7
/proc/32144/stat : 32144 (scip-2.0.1.4_2.) R 32142 32144 31857 0 -1 4202496 123042 0 0 0 126731 15503 0 0 25 0 1 0 890080484 192303104 45768 33554432000 4194304 8979876 140736280130272 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32144/statm: 46949 45768 702 1169 0 45776 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 187796
[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 1.92 3/179 32223
/proc/meminfo: memFree=31087404/32951124 swapFree=67072804/67111528
[pid=32144] ppid=32142 vsize=187796 CPUtime=1482.34 cores=1,3,5,7
/proc/32144/stat : 32144 (scip-2.0.1.4_2.) R 32142 32144 31857 0 -1 4202496 123042 0 0 0 132105 16129 0 0 25 0 1 0 890080484 192303104 45768 33554432000 4194304 8979876 140736280130272 18446744073709551615 6427242 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32144/statm: 46949 45768 702 1169 0 45776 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 187796
[startup+1542.31 s]
/proc/loadavg: 2.06 2.03 1.93 3/179 32225
/proc/meminfo: memFree=31086716/32951124 swapFree=67072804/67111528
[pid=32144] ppid=32142 vsize=187796 CPUtime=1542.34 cores=1,3,5,7
/proc/32144/stat : 32144 (scip-2.0.1.4_2.) R 32142 32144 31857 0 -1 4202496 123042 0 0 0 137494 16740 0 0 25 0 1 0 890080484 192303104 45768 33554432000 4194304 8979876 140736280130272 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32144/statm: 46949 45768 702 1169 0 45776 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 187796
[startup+1602.3 s]
/proc/loadavg: 2.10 2.04 1.93 3/179 32226
/proc/meminfo: memFree=31084792/32951124 swapFree=67072804/67111528
[pid=32144] ppid=32142 vsize=187796 CPUtime=1602.34 cores=1,3,5,7
/proc/32144/stat : 32144 (scip-2.0.1.4_2.) R 32142 32144 31857 0 -1 4202496 123042 0 0 0 142886 17348 0 0 25 0 1 0 890080484 192303104 45768 33554432000 4194304 8979876 140736280130272 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32144/statm: 46949 45768 702 1169 0 45776 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 187796
[startup+1662.3 s]
/proc/loadavg: 2.03 2.03 1.93 3/179 32237
/proc/meminfo: memFree=31082532/32951124 swapFree=67072804/67111528
[pid=32144] ppid=32142 vsize=187796 CPUtime=1662.35 cores=1,3,5,7
/proc/32144/stat : 32144 (scip-2.0.1.4_2.) R 32142 32144 31857 0 -1 4202496 123042 0 0 0 148280 17955 0 0 25 0 1 0 890080484 192303104 45768 33554432000 4194304 8979876 140736280130272 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32144/statm: 46949 45768 702 1169 0 45776 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 187796
[startup+1722.3 s]
/proc/loadavg: 2.05 2.03 1.94 3/179 32238
/proc/meminfo: memFree=31080236/32951124 swapFree=67072804/67111528
[pid=32144] ppid=32142 vsize=187796 CPUtime=1722.35 cores=1,3,5,7
/proc/32144/stat : 32144 (scip-2.0.1.4_2.) R 32142 32144 31857 0 -1 4202496 123042 0 0 0 153677 18558 0 0 25 0 1 0 890080484 192303104 45768 33554432000 4194304 8979876 140736280130272 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32144/statm: 46949 45768 702 1169 0 45776 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 187796
[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 1.94 3/179 32240
/proc/meminfo: memFree=31074716/32951124 swapFree=67072804/67111528
[pid=32144] ppid=32142 vsize=187796 CPUtime=1782.35 cores=1,3,5,7
/proc/32144/stat : 32144 (scip-2.0.1.4_2.) R 32142 32144 31857 0 -1 4202496 123042 0 0 0 159069 19166 0 0 25 0 1 0 890080484 192303104 45768 33554432000 4194304 8979876 140736280130272 18446744073709551615 4347602 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32144/statm: 46949 45768 702 1169 0 45776 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 187796
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.01 2.03 1.94 3/179 32240
/proc/meminfo: memFree=31074712/32951124 swapFree=67072804/67111528
[pid=32144] ppid=32142 vsize=187796 CPUtime=1785.65 cores=1,3,5,7
/proc/32144/stat : 32144 (scip-2.0.1.4_2.) R 32142 32144 31857 0 -1 4202496 123042 0 0 0 159368 19197 0 0 25 0 1 0 890080484 192303104 45768 33554432000 4194304 8979876 140736280130272 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32144/statm: 46949 45768 702 1169 0 45776 0
Current children cumulated CPU time (s) 1785.65
Current children cumulated vsize (KiB) 187796
[startup+1792.01 s]
/proc/loadavg: 2.01 2.02 1.94 3/179 32240
/proc/meminfo: memFree=31074812/32951124 swapFree=67072804/67111528
[pid=32144] ppid=32142 vsize=187796 CPUtime=1792.06 cores=1,3,5,7
/proc/32144/stat : 32144 (scip-2.0.1.4_2.) R 32142 32144 31857 0 -1 4202496 123042 0 0 0 159949 19257 0 0 25 0 1 0 890080484 192303104 45768 33554432000 4194304 8979876 140736280130272 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32144/statm: 46949 45768 702 1169 0 45776 0
Current children cumulated CPU time (s) 1792.06
Current children cumulated vsize (KiB) 187796
[startup+1795.2 s]
/proc/loadavg: 2.01 2.02 1.94 3/179 32240
/proc/meminfo: memFree=31074192/32951124 swapFree=67072804/67111528
[pid=32144] ppid=32142 vsize=187796 CPUtime=1795.25 cores=1,3,5,7
/proc/32144/stat : 32144 (scip-2.0.1.4_2.) R 32142 32144 31857 0 -1 4202496 123042 0 0 0 160236 19289 0 0 25 0 1 0 890080484 192303104 45768 33554432000 4194304 8979876 140736280130272 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32144/statm: 46949 45768 702 1169 0 45776 0
Current children cumulated CPU time (s) 1795.25
Current children cumulated vsize (KiB) 187796
[startup+1796 s]
/proc/loadavg: 2.01 2.02 1.94 3/179 32240
/proc/meminfo: memFree=31074192/32951124 swapFree=67072804/67111528
[pid=32144] ppid=32142 vsize=187796 CPUtime=1796.05 cores=1,3,5,7
/proc/32144/stat : 32144 (scip-2.0.1.4_2.) R 32142 32144 31857 0 -1 4202496 123042 0 0 0 160307 19298 0 0 25 0 1 0 890080484 192303104 45768 33554432000 4194304 8979876 140736280130272 18446744073709551615 4997061 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32144/statm: 46949 45768 702 1169 0 45776 0
Current children cumulated CPU time (s) 1796.05
Current children cumulated vsize (KiB) 187796
[startup+1796.8 s]
/proc/loadavg: 2.01 2.02 1.94 3/179 32240
/proc/meminfo: memFree=31074192/32951124 swapFree=67072804/67111528
[pid=32144] ppid=32142 vsize=187796 CPUtime=1796.85 cores=1,3,5,7
/proc/32144/stat : 32144 (scip-2.0.1.4_2.) R 32142 32144 31857 0 -1 4202496 123042 0 0 0 160381 19304 0 0 25 0 1 0 890080484 192303104 45768 33554432000 4194304 8979876 140736280130272 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32144/statm: 46949 45768 702 1169 0 45776 0
Current children cumulated CPU time (s) 1796.85
Current children cumulated vsize (KiB) 187796
[startup+1797 s]
/proc/loadavg: 2.01 2.02 1.94 3/179 32240
/proc/meminfo: memFree=31074192/32951124 swapFree=67072804/67111528
[pid=32144] ppid=32142 vsize=187796 CPUtime=1797.05 cores=1,3,5,7
/proc/32144/stat : 32144 (scip-2.0.1.4_2.) R 32142 32144 31857 0 -1 4202496 123042 0 0 0 160399 19306 0 0 25 0 1 0 890080484 192303104 45768 33554432000 4194304 8979876 140736280130272 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32144/statm: 46949 45768 702 1169 0 45776 0
Current children cumulated CPU time (s) 1797.05
Current children cumulated vsize (KiB) 187796
[startup+1797.1 s]
/proc/loadavg: 2.01 2.02 1.94 3/179 32240
/proc/meminfo: memFree=31074192/32951124 swapFree=67072804/67111528
[pid=32144] ppid=32142 vsize=187796 CPUtime=1797.15 cores=1,3,5,7
/proc/32144/stat : 32144 (scip-2.0.1.4_2.) R 32142 32144 31857 0 -1 4202496 123045 0 0 0 160409 19306 0 0 18 0 1 0 890080484 192303104 45771 33554432000 4194304 8979876 140736280130272 18446744073709551615 4897579 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/32144/statm: 46949 45771 705 1169 0 45776 0
Current children cumulated CPU time (s) 1797.15
Current children cumulated vsize (KiB) 187796
Child status: 0
Real time (s): 1797.17
CPU time (s): 1797.23
CPU user time (s): 1604.16
CPU system time (s): 193.074
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 187796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1604.16
system time used= 193.074
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 123050
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= 8
involuntary context switches= 2587
runsolver used 2.37364 second user time and 5.82011 second system time
The end