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-3485143-1307784144.opb>
0.00/0.01 c original problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 200 constraints
0.00/0.01 c problem read
0.00/0.01 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) 3130 del vars, 200 del conss, 0 add conss, 3130 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12520 impls, 0 clqs
0.05/0.07 c (round 2) 3130 del vars, 200 del conss, 0 add conss, 3130 chg bounds, 0 chg sides, 0 chg coeffs, 3130 upgd conss, 18780 impls, 0 clqs
0.05/0.09 c (0.1s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.05/0.09 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.05/0.09 c presolving (3 rounds):
0.05/0.09 c 3130 deleted vars, 200 deleted constraints, 0 added constraints, 3130 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.05/0.09 c 18780 implications, 0 cliques
0.05/0.09 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 3130 constraints
0.05/0.09 c 3130 constraints of type <logicor>
0.05/0.09 c transformed objective value is always integral (scale: 1)
0.05/0.09 c Presolving Time: 0.08
0.05/0.09 c - non default parameters ----------------------------------------------------------------------
0.05/0.09 c # SCIP version 2.0.1.4
0.05/0.09 c
0.05/0.09 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.05/0.09 c # [type: int, range: [-1,2147483647], default: -1]
0.05/0.09 c conflict/interconss = 0
0.05/0.09 c
0.05/0.09 c # should binary conflicts be preferred?
0.05/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.09 c conflict/preferbinary = TRUE
0.05/0.09 c
0.05/0.09 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.05/0.09 c # [type: int, range: [-1,2147483647], default: 0]
0.05/0.09 c constraints/agelimit = 1
0.05/0.09 c
0.05/0.09 c # should enforcement of pseudo solution be disabled?
0.05/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.09 c constraints/disableenfops = TRUE
0.05/0.09 c
0.05/0.09 c # frequency for displaying node information lines
0.05/0.09 c # [type: int, range: [-1,2147483647], default: 100]
0.05/0.09 c display/freq = 10000
0.05/0.09 c
0.05/0.09 c # maximal time in seconds to run
0.05/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.05/0.09 c limits/time = 1797
0.05/0.09 c
0.05/0.09 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.05/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.05/0.09 c limits/memory = 13950
0.05/0.09 c
0.05/0.09 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.05/0.09 c # [type: int, range: [1,2], default: 1]
0.05/0.09 c timing/clocktype = 2
0.05/0.09 c
0.05/0.09 c # belongs reading time to solving time?
0.05/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.09 c timing/reading = TRUE
0.05/0.09 c
0.05/0.09 c # should presolving try to simplify inequalities
0.05/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.09 c constraints/linear/simplifyinequalities = TRUE
0.05/0.09 c
0.05/0.09 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.05/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.09 c constraints/indicator/addCouplingCons = TRUE
0.05/0.09 c
0.05/0.09 c # should presolving try to simplify knapsacks
0.05/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.09 c constraints/knapsack/simplifyinequalities = TRUE
0.05/0.09 c
0.05/0.09 c -----------------------------------------------------------------------------------------------
0.05/0.09 c start solving
0.05/0.09 c
0.09/0.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.11 c t 0.1s| 1 | 0 | 208 | - |6936k| 0 | 200 | 200 |3130 | 200 |3130 | 0 | 0 | 0 |-1.000000e+02 | 0.000000e+00 | 100.00%
0.09/0.11 o -1
0.09/0.11 c R 0.1s| 1 | 0 | 208 | - |6938k| 0 | 200 | 200 |3130 | 200 |3130 | 0 | 0 | 0 |-1.000000e+02 |-1.000000e+00 | 99.00%
0.09/0.11 o -2
0.09/0.11 c s 0.1s| 1 | 0 | 208 | - |6940k| 0 | 200 | 200 |3130 | 200 |3130 | 0 | 0 | 0 |-1.000000e+02 |-2.000000e+00 | 98.00%
0.09/0.15 c 0.1s| 1 | 0 | 308 | - |6947k| 0 | 188 | 200 |3130 | 200 |3138 | 8 | 0 | 0 |-9.400000e+01 |-2.000000e+00 | 97.87%
0.09/0.15 o -17
0.09/0.15 c b 0.1s| 1 | 0 | 308 | - |6953k| 0 | 188 | 200 |3130 | 200 |3138 | 8 | 0 | 0 |-9.400000e+01 |-1.700000e+01 | 81.91%
0.19/0.20 c 0.2s| 1 | 0 | 356 | - |6963k| 0 | 184 | 200 |3130 | 200 |3145 | 15 | 0 | 0 |-9.200000e+01 |-1.700000e+01 | 81.52%
0.19/0.29 c 0.3s| 1 | 0 | 499 | - |7023k| 0 | 176 | 200 |3130 | 200 |3155 | 25 | 0 | 0 |-8.800000e+01 |-1.700000e+01 | 80.68%
0.29/0.35 c 0.4s| 1 | 0 | 573 | - |7073k| 0 | 169 | 200 |3130 | 200 |3162 | 32 | 0 | 0 |-8.450000e+01 |-1.700000e+01 | 79.88%
0.39/0.40 c 0.4s| 1 | 0 | 638 | - |7082k| 0 | 164 | 200 |3130 | 200 |3171 | 41 | 0 | 0 |-8.200000e+01 |-1.700000e+01 | 79.27%
0.39/0.47 c 0.5s| 1 | 0 | 758 | - |7165k| 0 | 159 | 200 |3130 | 200 |3182 | 52 | 0 | 0 |-7.950000e+01 |-1.700000e+01 | 78.62%
0.49/0.56 c 0.6s| 1 | 0 | 998 | - |7278k| 0 | 157 | 200 |3130 | 200 |3195 | 65 | 0 | 0 |-7.690000e+01 |-1.700000e+01 | 77.89%
0.59/0.64 c 0.6s| 1 | 0 | 1235 | - |7354k| 0 | 153 | 200 |3130 | 200 |3209 | 79 | 0 | 0 |-7.425000e+01 |-1.700000e+01 | 77.10%
0.68/0.72 c 0.7s| 1 | 0 | 1383 | - |7378k| 0 | 145 | 200 |3130 | 200 |3217 | 87 | 0 | 0 |-7.250000e+01 |-1.700000e+01 | 76.55%
0.79/0.80 c 0.8s| 1 | 0 | 1519 | - |7417k| 0 | 143 | 200 |3130 | 200 |3225 | 95 | 0 | 0 |-7.150000e+01 |-1.700000e+01 | 76.22%
0.79/0.85 c 0.8s| 1 | 0 | 1642 | - |7446k| 0 | 141 | 200 |3130 | 200 | 495 | 108 | 0 | 0 |-6.900000e+01 |-1.700000e+01 | 75.36%
0.79/0.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.79/0.87 c 0.9s| 1 | 0 | 1834 | - |7537k| 0 | 143 | 200 |3130 | 200 | 502 | 115 | 0 | 0 |-6.750000e+01 |-1.700000e+01 | 74.81%
0.88/0.91 c 0.9s| 1 | 0 | 2089 | - |7738k| 0 | 127 | 200 |3130 | 200 | 573 | 186 | 0 | 0 |-6.550000e+01 |-1.700000e+01 | 74.05%
0.88/0.94 c 0.9s| 1 | 0 | 2264 | - |7790k| 0 | 141 | 200 |3130 | 200 | 653 | 266 | 0 | 0 |-6.425000e+01 |-1.700000e+01 | 73.54%
0.88/0.97 c 1.0s| 1 | 0 | 2483 | - |7836k| 0 | 145 | 200 |3130 | 200 | 703 | 316 | 0 | 0 |-6.300000e+01 |-1.700000e+01 | 73.02%
0.99/1.03 c 1.0s| 1 | 0 | 2618 | - |8113k| 0 | 126 | 200 |3130 | 200 | 835 | 448 | 0 | 0 |-6.300000e+01 |-1.700000e+01 | 73.02%
0.99/1.07 c 1.1s| 1 | 0 | 2731 | - |8177k| 0 | 127 | 200 |3130 | 200 | 640 | 455 | 0 | 0 |-6.250000e+01 |-1.700000e+01 | 72.80%
1.10/1.12 c 1.1s| 1 | 0 | 3048 | - |8422k| 0 | 147 | 200 |3130 | 200 | 648 | 463 | 0 | 0 |-6.150000e+01 |-1.700000e+01 | 72.36%
1.10/1.17 c 1.2s| 1 | 0 | 3258 | - |8539k| 0 | 156 | 200 |3130 | 200 | 684 | 499 | 0 | 0 |-6.100000e+01 |-1.700000e+01 | 72.13%
1.19/1.28 c 1.3s| 1 | 0 | 3960 | - |8940k| 0 | 164 | 200 |3130 | 200 | 796 | 611 | 0 | 0 |-6.000000e+01 |-1.700000e+01 | 71.67%
1.29/1.32 c 1.3s| 1 | 0 | 4138 | - |9192k| 0 | 120 | 200 |3130 | 200 | 855 | 670 | 0 | 0 |-5.900000e+01 |-1.700000e+01 | 71.19%
1.29/1.36 c 1.4s| 1 | 0 | 4266 | - |9548k| 0 | 166 | 200 |3130 | 200 | 888 | 703 | 0 | 0 |-5.849635e+01 |-1.700000e+01 | 70.94%
1.39/1.46 c 1.5s| 1 | 0 | 5005 | - | 10M| 0 | 166 | 200 |3130 | 200 | 723 | 755 | 0 | 0 |-5.763875e+01 |-1.700000e+01 | 70.51%
1.49/1.52 c 1.5s| 1 | 0 | 5345 | - | 11M| 0 | 169 | 200 |3130 | 200 | 786 | 818 | 0 | 0 |-5.660256e+01 |-1.700000e+01 | 69.97%
1.49/1.59 c 1.6s| 1 | 0 | 5606 | - | 11M| 0 | 168 | 200 |3130 | 200 | 840 | 872 | 0 | 0 |-5.589701e+01 |-1.700000e+01 | 69.59%
1.59/1.65 c 1.7s| 1 | 0 | 5934 | - | 11M| 0 | 175 | 200 |3130 | 200 | 861 | 893 | 0 | 0 |-5.550396e+01 |-1.700000e+01 | 69.37%
1.69/1.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.69/1.73 c 1.7s| 1 | 0 | 6332 | - | 11M| 0 | 169 | 200 |3130 | 200 | 905 | 937 | 0 | 0 |-5.484168e+01 |-1.700000e+01 | 69.00%
1.79/1.80 c 1.8s| 1 | 0 | 6520 | - | 11M| 0 | 174 | 200 |3130 | 200 | 937 | 969 | 0 | 0 |-5.440418e+01 |-1.700000e+01 | 68.75%
1.79/1.88 c 1.9s| 1 | 0 | 6813 | - | 11M| 0 | 176 | 200 |3130 | 200 | 689 | 985 | 0 | 0 |-5.384375e+01 |-1.700000e+01 | 68.43%
1.89/1.94 c 1.9s| 1 | 0 | 7060 | - | 11M| 0 | 176 | 200 |3130 | 200 | 698 | 994 | 0 | 0 |-5.360440e+01 |-1.700000e+01 | 68.29%
1.89/2.00 c 2.0s| 1 | 0 | 7350 | - | 11M| 0 | 180 | 200 |3130 | 200 | 714 |1010 | 0 | 0 |-5.320959e+01 |-1.700000e+01 | 68.05%
1.99/2.05 c 2.0s| 1 | 0 | 7510 | - | 11M| 0 | 178 | 200 |3130 | 200 | 738 |1034 | 0 | 0 |-5.286568e+01 |-1.700000e+01 | 67.84%
2.10/2.11 c 2.1s| 1 | 0 | 7679 | - | 11M| 0 | 183 | 200 |3130 | 200 | 751 |1047 | 0 | 0 |-5.261724e+01 |-1.700000e+01 | 67.69%
2.10/2.16 c 2.2s| 1 | 0 | 7844 | - | 11M| 0 | 184 | 200 |3130 | 200 | 766 |1062 | 0 | 0 |-5.237886e+01 |-1.700000e+01 | 67.54%
2.20/2.23 c 2.2s| 1 | 0 | 8096 | - | 12M| 0 | 192 | 200 |3130 | 200 | 507 |1077 | 0 | 0 |-5.210087e+01 |-1.700000e+01 | 67.37%
2.20/2.27 c 2.3s| 1 | 0 | 8222 | - | 12M| 0 | 190 | 200 |3130 | 200 | 518 |1088 | 0 | 0 |-5.185142e+01 |-1.700000e+01 | 67.21%
2.29/2.31 c 2.3s| 1 | 0 | 8298 | - | 12M| 0 | 189 | 200 |3130 | 200 | 533 |1103 | 0 | 0 |-5.173609e+01 |-1.700000e+01 | 67.14%
2.29/2.35 c 2.3s| 1 | 0 | 8402 | - | 12M| 0 | 190 | 200 |3130 | 200 | 546 |1116 | 0 | 0 |-5.153184e+01 |-1.700000e+01 | 67.01%
2.29/2.39 c 2.4s| 1 | 0 | 8505 | - | 12M| 0 | 188 | 200 |3130 | 200 | 554 |1124 | 0 | 0 |-5.137827e+01 |-1.700000e+01 | 66.91%
2.39/2.44 c 2.4s| 1 | 0 | 8670 | - | 12M| 0 | 190 | 200 |3130 | 200 | 566 |1136 | 0 | 0 |-5.118747e+01 |-1.700000e+01 | 66.79%
2.39/2.49 c 2.5s| 1 | 0 | 8818 | - | 12M| 0 | 190 | 200 |3130 | 200 | 447 |1145 | 0 | 0 |-5.101687e+01 |-1.700000e+01 | 66.68%
2.49/2.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.49/2.52 c 2.5s| 1 | 0 | 8886 | - | 12M| 0 | 191 | 200 |3130 | 200 | 455 |1153 | 0 | 0 |-5.094245e+01 |-1.700000e+01 | 66.63%
2.49/2.57 c 2.6s| 1 | 0 | 9076 | - | 12M| 0 | 193 | 200 |3130 | 200 | 464 |1162 | 0 | 0 |-5.073303e+01 |-1.700000e+01 | 66.49%
2.59/2.61 c 2.6s| 1 | 0 | 9231 | - | 12M| 0 | 189 | 200 |3130 | 200 | 477 |1175 | 0 | 0 |-5.057424e+01 |-1.700000e+01 | 66.39%
2.59/2.65 c 2.6s| 1 | 0 | 9362 | - | 12M| 0 | 194 | 200 |3130 | 200 | 487 |1185 | 0 | 0 |-5.040574e+01 |-1.700000e+01 | 66.27%
2.59/2.69 c 2.7s| 1 | 0 | 9507 | - | 12M| 0 | 195 | 200 |3130 | 200 | 495 |1193 | 0 | 0 |-5.022682e+01 |-1.700000e+01 | 66.15%
2.69/2.74 c 2.7s| 1 | 0 | 9695 | - | 12M| 0 | 195 | 200 |3130 | 200 | 437 |1208 | 0 | 0 |-5.003235e+01 |-1.700000e+01 | 66.02%
2.69/2.77 c 2.8s| 1 | 0 | 9789 | - | 12M| 0 | 196 | 200 |3130 | 200 | 447 |1218 | 0 | 0 |-4.997167e+01 |-1.700000e+01 | 65.98%
2.79/2.81 c 2.8s| 1 | 0 | 9860 | - | 12M| 0 | 194 | 200 |3130 | 200 | 455 |1226 | 0 | 0 |-4.989655e+01 |-1.700000e+01 | 65.93%
2.79/2.85 c 2.8s| 1 | 0 | 9947 | - | 12M| 0 | 197 | 200 |3130 | 200 | 464 |1235 | 0 | 0 |-4.979831e+01 |-1.700000e+01 | 65.86%
2.79/2.88 c 2.9s| 1 | 0 | 9999 | - | 12M| 0 | 196 | 200 |3130 | 200 | 473 |1244 | 0 | 0 |-4.976678e+01 |-1.700000e+01 | 65.84%
2.89/2.92 c 2.9s| 1 | 0 | 10146 | - | 12M| 0 | 196 | 200 |3130 | 200 | 486 |1257 | 0 | 0 |-4.961155e+01 |-1.700000e+01 | 65.73%
2.89/2.96 c 3.0s| 1 | 0 | 10222 | - | 12M| 0 | 197 | 200 |3130 | 200 | 449 |1265 | 0 | 0 |-4.957094e+01 |-1.700000e+01 | 65.71%
2.99/3.00 c 3.0s| 1 | 0 | 10366 | - | 12M| 0 | 195 | 200 |3130 | 200 | 456 |1272 | 0 | 0 |-4.951527e+01 |-1.700000e+01 | 65.67%
2.99/3.04 c 3.0s| 1 | 0 | 10450 | - | 12M| 0 | 195 | 200 |3130 | 200 | 465 |1281 | 0 | 0 |-4.949560e+01 |-1.700000e+01 | 65.65%
2.99/3.08 c 3.1s| 1 | 0 | 10529 | - | 12M| 0 | 198 | 200 |3130 | 200 | 474 |1290 | 0 | 0 |-4.940967e+01 |-1.700000e+01 | 65.59%
3.09/3.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.09/3.11 c 3.1s| 1 | 0 | 10591 | - | 12M| 0 | 197 | 200 |3130 | 200 | 484 |1300 | 0 | 0 |-4.935667e+01 |-1.700000e+01 | 65.56%
3.09/3.15 c 3.2s| 1 | 0 | 10655 | - | 12M| 0 | 198 | 200 |3130 | 200 | 493 |1309 | 0 | 0 |-4.931395e+01 |-1.700000e+01 | 65.53%
3.09/3.19 c 3.2s| 1 | 0 | 10766 | - | 12M| 0 | 197 | 200 |3130 | 200 | 445 |1318 | 0 | 0 |-4.926464e+01 |-1.700000e+01 | 65.49%
3.19/3.23 c 3.2s| 1 | 0 | 10844 | - | 12M| 0 | 198 | 200 |3130 | 200 | 455 |1328 | 0 | 0 |-4.920765e+01 |-1.700000e+01 | 65.45%
3.19/3.26 c 3.3s| 1 | 0 | 10929 | - | 12M| 0 | 198 | 200 |3130 | 200 | 463 |1336 | 0 | 0 |-4.918623e+01 |-1.700000e+01 | 65.44%
3.19/3.30 c 3.3s| 1 | 0 | 10991 | - | 12M| 0 | 198 | 200 |3130 | 200 | 472 |1345 | 0 | 0 |-4.917369e+01 |-1.700000e+01 | 65.43%
3.29/3.34 c 3.3s| 1 | 0 | 11067 | - | 12M| 0 | 199 | 200 |3130 | 200 | 480 |1353 | 0 | 0 |-4.916381e+01 |-1.700000e+01 | 65.42%
3.29/3.38 c 3.4s| 1 | 0 | 11165 | - | 12M| 0 | 199 | 200 |3130 | 200 | 486 |1359 | 0 | 0 |-4.914539e+01 |-1.700000e+01 | 65.41%
3.39/3.41 c 3.4s| 1 | 0 | 11224 | - | 12M| 0 | 199 | 200 |3130 | 200 | 442 |1365 | 0 | 0 |-4.914039e+01 |-1.700000e+01 | 65.41%
3.39/3.45 c 3.4s| 1 | 0 | 11253 | - | 12M| 0 | 200 | 200 |3130 | 200 | 446 |1369 | 0 | 0 |-4.913838e+01 |-1.700000e+01 | 65.40%
3.39/3.48 c 3.5s| 1 | 0 | 11259 | - | 12M| 0 | 200 | 200 |3130 | 200 | 447 |1370 | 0 | 0 |-4.913824e+01 |-1.700000e+01 | 65.40%
4.30/4.37 c 4.4s| 1 | 2 | 11259 | - | 12M| 0 | 200 | 200 |3130 | 200 | 447 |1370 | 0 | 18 |-4.913824e+01 |-1.700000e+01 | 65.40%
5.19/5.22 o -18
5.19/5.22 c R 5.2s| 13 | 12 | 12062 | 66.9 | 12M| 12 | 20 | 200 |3130 | 200 | 237 |1476 | 0 | 229 |-4.890265e+01 |-1.800000e+01 | 63.19%
5.19/5.23 o -19
5.19/5.23 c * 5.2s| 15 | 14 | 12071 | 58.0 | 12M| 14 | - | 200 |3130 | 200 | 234 |1478 | 0 | 258 |-4.890265e+01 |-1.900000e+01 | 61.15%
5.19/5.23 o -20
5.19/5.23 c * 5.2s| 16 | 13 | 12072 | 54.2 | 12M| 14 | - | 200 |3130 | 200 | 234 |1478 | 0 | 258 |-4.890265e+01 |-2.000000e+01 | 59.10%
5.40/5.49 o -21
5.40/5.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.40/5.49 c r 5.5s| 27 | 21 | 12727 | 56.5 | 12M| 14 | 4 | 200 |3130 | 200 | 252 |1637 | 0 | 422 |-4.890265e+01 |-2.100000e+01 | 57.06%
5.40/5.49 o -22
5.40/5.49 c z 5.5s| 27 | 23 | 12727 | 56.5 | 12M| 14 | 4 | 200 |3130 | 200 | 252 |1637 | 0 | 425 |-4.890265e+01 |-2.200000e+01 | 55.01%
5.59/5.63 o -24
5.59/5.63 c z 5.6s| 38 | 29 | 13154 | 51.2 | 12M| 15 | - | 200 |3130 | 200 | 239 |1742 | 0 | 561 |-4.890265e+01 |-2.400000e+01 | 50.92%
6.09/6.13 o -25
6.09/6.13 c * 6.1s| 186 | 86 | 16177 | 26.6 | 12M| 19 | - | 200 |3130 | 200 | 230 |3304 | 0 |1123 |-4.890265e+01 |-2.500000e+01 | 48.88%
6.09/6.15 o -26
6.09/6.15 c * 6.1s| 200 | 84 | 16460 | 26.1 | 12M| 19 | - | 200 |3130 | 200 | 240 |3442 | 0 |1129 |-4.890265e+01 |-2.600000e+01 | 46.83%
15.79/15.88 o -27
15.79/15.88 c *15.9s| 7522 | 3751 |251801 | 32.0 | 16M| 55 | - | 200 |3130 | 200 | 232 | 98k| 0 |1608 |-4.595714e+01 |-2.700000e+01 | 41.25%
17.99/18.06 c 18.1s| 10000 | 4609 |308498 | 29.7 | 17M| 55 | - | 200 |3130 | 200 | 236 | 126k| 0 |1683 |-4.575215e+01 |-2.700000e+01 | 40.99%
25.69/25.75 o -28
25.69/25.75 c *25.8s| 18873 | 6200 |503767 | 26.1 | 20M| 56 | - | 200 |3130 | 200 | 228 | 223k| 0 |2242 |-4.518981e+01 |-2.800000e+01 | 38.04%
26.79/26.81 c 26.8s| 20000 | 6563 |528832 | 25.9 | 20M| 56 | 46 | 200 |3130 | 200 | 200 | 234k| 0 |2345 |-4.515481e+01 |-2.800000e+01 | 37.99%
35.09/35.18 c 35.2s| 30000 | 9405 |744175 | 24.4 | 24M| 57 | - | 200 |3130 | 200 | 213 | 341k| 0 |2876 |-4.472813e+01 |-2.800000e+01 | 37.40%
42.80/42.81 c 42.8s| 40000 | 11897 |943376 | 23.3 | 28M| 70 | 44 | 200 |3130 | 200 | 235 | 445k| 0 |3321 |-4.440398e+01 |-2.800000e+01 | 36.94%
49.90/49.96 c 50.0s| 50000 | 13947 | 1127k| 22.3 | 30M| 70 | - | 200 |3130 | 200 | 226 | 540k| 0 |3724 |-4.402874e+01 |-2.800000e+01 | 36.41%
56.60/56.69 c 56.7s| 60000 | 15753 | 1299k| 21.5 | 33M| 82 | 39 | 200 |3130 | 200 | 230 | 635k| 0 |4038 |-4.385714e+01 |-2.800000e+01 | 36.16%
63.20/63.28 c 63.3s| 70000 | 17385 | 1467k| 20.8 | 35M| 82 | - | 200 |3130 | 200 | 227 | 726k| 0 |4366 |-4.364294e+01 |-2.800000e+01 | 35.84%
69.69/69.79 c 69.8s| 80000 | 18983 | 1633k| 20.3 | 38M| 82 | 38 | 200 |3130 | 200 | 234 | 820k| 0 |4651 |-4.346154e+01 |-2.800000e+01 | 35.58%
76.30/76.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
76.30/76.32 c 76.3s| 90000 | 20539 | 1799k| 19.9 | 40M| 82 | - | 200 |3130 | 200 | 214 | 915k| 0 |4921 |-4.333333e+01 |-2.800000e+01 | 35.38%
82.69/82.70 c 82.7s|100000 | 22119 | 1961k| 19.5 | 42M| 82 | - | 200 |3130 | 200 | 243 |1008k| 0 |5214 |-4.320000e+01 |-2.800000e+01 | 35.19%
87.59/87.61 o -29
87.59/87.61 c *87.6s|107725 | 19126 | 2086k| 19.3 | 39M| 82 | - | 200 |3130 | 200 | 258 |1081k| 0 |5369 |-4.310000e+01 |-2.900000e+01 | 32.71%
89.10/89.10 c 89.1s|110000 | 19401 | 2123k| 19.2 | 39M| 82 | 49 | 200 |3130 | 200 | 218 |1103k| 0 |5393 |-4.305714e+01 |-2.900000e+01 | 32.65%
95.19/95.28 c 95.3s|120000 | 20683 | 2279k| 18.9 | 41M| 82 | - | 200 |3130 | 200 | 247 |1200k| 0 |5643 |-4.298936e+01 |-2.900000e+01 | 32.54%
101.39/101.46 c 101s|130000 | 21917 | 2435k| 18.6 | 43M| 82 | 37 | 200 |3130 | 200 | 200 |1294k| 0 |5856 |-4.286667e+01 |-2.900000e+01 | 32.35%
107.70/107.76 c 108s|140000 | 23211 | 2595k| 18.5 | 45M| 82 | - | 200 |3130 | 200 | 249 |1389k| 0 |6082 |-4.275000e+01 |-2.900000e+01 | 32.16%
114.00/114.01 c 114s|150000 | 24465 | 2754k| 18.3 | 47M| 82 | - | 200 |3130 | 200 | 228 |1484k| 0 |6344 |-4.265000e+01 |-2.900000e+01 | 32.00%
120.10/120.19 c 120s|160000 | 25755 | 2912k| 18.1 | 49M| 82 | 18 | 200 |3130 | 200 | 242 |1579k| 0 |6554 |-4.254545e+01 |-2.900000e+01 | 31.84%
126.20/126.29 c 126s|170000 | 27011 | 3069k| 18.0 | 51M| 82 | - | 200 |3130 | 200 | 241 |1674k| 0 |6746 |-4.246256e+01 |-2.900000e+01 | 31.70%
132.29/132.34 c 132s|180000 | 28233 | 3222k| 17.8 | 53M| 82 | - | 200 |3130 | 200 | 214 |1766k| 0 |6925 |-4.237838e+01 |-2.900000e+01 | 31.57%
138.39/138.42 c 138s|190000 | 29457 | 3376k| 17.7 | 55M| 82 | - | 200 |3130 | 200 | 216 |1861k| 0 |7107 |-4.229508e+01 |-2.900000e+01 | 31.43%
144.40/144.47 c 144s|200000 | 30607 | 3529k| 17.6 | 57M| 82 | 71 | 200 |3130 | 200 | 256 |1955k| 0 |7292 |-4.221053e+01 |-2.900000e+01 | 31.30%
150.49/150.56 c 151s|210000 | 31807 | 3684k| 17.5 | 59M| 82 | - | 200 |3130 | 200 | 230 |2048k| 0 |7464 |-4.212500e+01 |-2.900000e+01 | 31.16%
156.49/156.56 c 157s|220000 | 32985 | 3836k| 17.4 | 60M| 82 | 22 | 200 |3130 | 200 | 200 |2140k| 0 |7631 |-4.201923e+01 |-2.900000e+01 | 30.98%
162.60/162.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
162.60/162.70 c 163s|230000 | 34209 | 3993k| 17.3 | 62M| 82 | 61 | 200 |3130 | 200 | 261 |2234k| 0 |7815 |-4.200000e+01 |-2.900000e+01 | 30.95%
168.59/168.63 c 169s|240000 | 35345 | 4144k| 17.2 | 64M| 82 | - | 200 |3130 | 200 | 218 |2326k| 0 |7950 |-4.192308e+01 |-2.900000e+01 | 30.83%
174.59/174.60 c 175s|250000 | 36497 | 4295k| 17.1 | 66M| 83 | 47 | 200 |3130 | 200 | 233 |2420k| 0 |8124 |-4.185714e+01 |-2.900000e+01 | 30.72%
180.60/180.63 c 181s|260000 | 37681 | 4448k| 17.1 | 68M| 83 | - | 200 |3130 | 200 | 224 |2510k| 0 |8315 |-4.178571e+01 |-2.900000e+01 | 30.60%
186.49/186.50 c 187s|270000 | 38711 | 4596k| 17.0 | 69M| 83 | 56 | 200 |3130 | 200 | 200 |2600k| 0 |8457 |-4.171429e+01 |-2.900000e+01 | 30.48%
192.40/192.42 c 192s|280000 | 39875 | 4747k| 16.9 | 71M| 83 | 18 | 200 |3130 | 200 | 220 |2691k| 0 |8596 |-4.165517e+01 |-2.900000e+01 | 30.38%
198.49/198.53 c 199s|290000 | 41049 | 4904k| 16.9 | 73M| 83 | 38 | 200 |3130 | 200 | 216 |2783k| 0 |8788 |-4.157692e+01 |-2.900000e+01 | 30.25%
204.40/204.44 c 204s|300000 | 42253 | 5054k| 16.8 | 75M| 83 | - | 200 |3130 | 200 | 228 |2873k| 0 |8928 |-4.150000e+01 |-2.900000e+01 | 30.12%
210.29/210.30 c 210s|310000 | 43365 | 5202k| 16.7 | 77M| 83 | - | 200 |3130 | 200 | 221 |2966k| 0 |9049 |-4.147619e+01 |-2.900000e+01 | 30.08%
216.19/216.22 c 216s|320000 | 44435 | 5351k| 16.7 | 78M| 83 | - | 200 |3130 | 200 | 228 |3055k| 0 |9230 |-4.140000e+01 |-2.900000e+01 | 29.95%
222.10/222.10 c 222s|330000 | 45519 | 5501k| 16.6 | 80M| 83 | - | 200 |3130 | 200 | 243 |3148k| 0 |9318 |-4.133333e+01 |-2.900000e+01 | 29.84%
227.89/227.92 c 228s|340000 | 46505 | 5648k| 16.6 | 82M| 85 | 51 | 200 |3130 | 200 | 216 |3239k| 0 |9510 |-4.128571e+01 |-2.900000e+01 | 29.76%
233.70/233.77 c 234s|350000 | 47525 | 5796k| 16.5 | 83M| 85 | 44 | 200 |3130 | 200 | 221 |3330k| 0 |9659 |-4.125000e+01 |-2.900000e+01 | 29.70%
239.49/239.55 c 240s|360000 | 48591 | 5942k| 16.5 | 85M| 85 | - | 200 |3130 | 200 | 200 |3421k| 0 |9787 |-4.117742e+01 |-2.900000e+01 | 29.57%
245.20/245.20 c 245s|370000 | 49563 | 6084k| 16.4 | 86M| 85 | - | 200 |3130 | 200 | 228 |3509k| 0 |9905 |-4.112500e+01 |-2.900000e+01 | 29.48%
250.81/250.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
250.81/250.89 c 251s|380000 | 50523 | 6228k| 16.4 | 88M| 86 | - | 200 |3130 | 200 | 212 |3598k| 0 | 10k|-4.106250e+01 |-2.900000e+01 | 29.38%
256.50/256.51 c 257s|390000 | 51473 | 6369k| 16.3 | 89M| 88 | 46 | 200 |3130 | 200 | 200 |3688k| 0 | 10k|-4.100000e+01 |-2.900000e+01 | 29.27%
262.29/262.37 c 262s|400000 | 52543 | 6517k| 16.3 | 91M| 88 | - | 200 |3130 | 200 | 221 |3778k| 0 | 10k|-4.100000e+01 |-2.900000e+01 | 29.27%
268.00/268.03 c 268s|410000 | 53551 | 6660k| 16.2 | 93M| 88 | 52 | 200 |3130 | 200 | 219 |3868k| 0 | 10k|-4.100000e+01 |-2.900000e+01 | 29.27%
273.70/273.78 c 274s|420000 | 54523 | 6805k| 16.2 | 94M| 88 | - | 200 |3130 | 200 | 224 |3956k| 0 | 10k|-4.093750e+01 |-2.900000e+01 | 29.16%
279.40/279.47 c 279s|430000 | 55415 | 6948k| 16.1 | 96M| 88 | - | 200 |3130 | 200 | 225 |4044k| 0 | 10k|-4.087500e+01 |-2.900000e+01 | 29.05%
285.10/285.17 c 285s|440000 | 56421 | 7093k| 16.1 | 97M| 88 | - | 200 |3130 | 200 | 212 |4135k| 0 | 10k|-4.082759e+01 |-2.900000e+01 | 28.97%
290.90/290.91 c 291s|450000 | 57489 | 7237k| 16.1 | 99M| 88 | - | 200 |3130 | 200 | 230 |4222k| 0 | 10k|-4.075000e+01 |-2.900000e+01 | 28.83%
296.50/296.52 c 297s|460000 | 58449 | 7378k| 16.0 | 101M| 88 | - | 200 |3130 | 200 | 250 |4309k| 0 | 11k|-4.071429e+01 |-2.900000e+01 | 28.77%
302.20/302.26 c 302s|470000 | 59431 | 7522k| 16.0 | 102M| 88 | 12 | 200 |3130 | 200 | 213 |4399k| 0 | 11k|-4.066667e+01 |-2.900000e+01 | 28.69%
307.90/307.94 c 308s|480000 | 60421 | 7666k| 15.9 | 104M| 88 | 43 | 200 |3130 | 200 | 211 |4491k| 0 | 11k|-4.062500e+01 |-2.900000e+01 | 28.62%
313.51/313.57 c 314s|490000 | 61323 | 7807k| 15.9 | 105M| 88 | - | 200 |3130 | 200 | 222 |4580k| 0 | 11k|-4.055556e+01 |-2.900000e+01 | 28.49%
319.20/319.28 c 319s|500000 | 62245 | 7950k| 15.9 | 107M| 88 | - | 200 |3130 | 200 | 217 |4667k| 0 | 11k|-4.050000e+01 |-2.900000e+01 | 28.40%
324.90/324.93 c 325s|510000 | 63233 | 8091k| 15.8 | 108M| 92 | 19 | 200 |3130 | 200 | 215 |4754k| 0 | 11k|-4.050000e+01 |-2.900000e+01 | 28.40%
330.49/330.57 c 331s|520000 | 64161 | 8233k| 15.8 | 110M| 92 | 10 | 200 |3130 | 200 | 212 |4841k| 0 | 11k|-4.045455e+01 |-2.900000e+01 | 28.31%
336.10/336.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
336.10/336.18 c 336s|530000 | 65029 | 8373k| 15.8 | 111M| 95 | 26 | 200 |3130 | 200 | 212 |4930k| 0 | 11k|-4.039583e+01 |-2.900000e+01 | 28.21%
341.60/341.68 c 342s|540000 | 65883 | 8510k| 15.7 | 112M| 95 | 34 | 200 |3130 | 200 | 217 |5018k| 0 | 11k|-4.033333e+01 |-2.900000e+01 | 28.10%
347.20/347.24 c 347s|550000 | 66749 | 8648k| 15.7 | 114M| 95 | 49 | 200 |3130 | 200 | 245 |5105k| 0 | 12k|-4.032857e+01 |-2.900000e+01 | 28.09%
352.70/352.74 c 353s|560000 | 67525 | 8784k| 15.7 | 115M| 95 | 42 | 200 |3130 | 200 | 213 |5192k| 0 | 12k|-4.026667e+01 |-2.900000e+01 | 27.98%
358.10/358.13 c 358s|570000 | 68289 | 8918k| 15.6 | 116M| 95 | 3 | 200 |3130 | 200 | 215 |5278k| 0 | 12k|-4.025000e+01 |-2.900000e+01 | 27.95%
363.60/363.67 c 364s|580000 | 69173 | 9056k| 15.6 | 118M| 95 | - | 200 |3130 | 200 | 217 |5364k| 0 | 12k|-4.020000e+01 |-2.900000e+01 | 27.86%
369.10/369.11 c 369s|590000 | 70015 | 9191k| 15.6 | 119M| 95 | - | 200 |3130 | 200 | 212 |5449k| 0 | 12k|-4.016667e+01 |-2.900000e+01 | 27.80%
374.50/374.59 c 375s|600000 | 70801 | 9325k| 15.5 | 120M| 95 | - | 200 |3130 | 200 | 229 |5536k| 0 | 12k|-4.011111e+01 |-2.900000e+01 | 27.70%
380.10/380.10 c 380s|610000 | 71619 | 9462k| 15.5 | 122M| 95 | - | 200 |3130 | 200 | 241 |5621k| 0 | 12k|-4.005263e+01 |-2.900000e+01 | 27.60%
385.50/385.57 c 386s|620000 | 72513 | 9598k| 15.5 | 123M| 95 | - | 200 |3130 | 200 | 227 |5708k| 0 | 12k|-4.000000e+01 |-2.900000e+01 | 27.50%
391.11/391.15 c 391s|630000 | 73343 | 9738k| 15.4 | 124M| 95 | - | 200 |3130 | 200 | 246 |5797k| 0 | 12k|-4.000000e+01 |-2.900000e+01 | 27.50%
396.71/396.70 c 397s|640000 | 74123 | 9875k| 15.4 | 126M| 95 | - | 200 |3130 | 200 | 241 |5883k| 0 | 12k|-4.000000e+01 |-2.900000e+01 | 27.50%
402.00/402.03 c 402s|650000 | 74891 | 10007k| 15.4 | 127M| 95 | 80 | 200 |3130 | 200 | 200 |5968k| 0 | 13k|-4.000000e+01 |-2.900000e+01 | 27.50%
407.50/407.59 c 408s|660000 | 75743 | 10144k| 15.4 | 128M| 95 | - | 200 |3130 | 200 | 224 |6056k| 0 | 13k|-4.000000e+01 |-2.900000e+01 | 27.50%
413.00/413.04 c 413s|670000 | 76509 | 10279k| 15.3 | 129M| 95 | - | 200 |3130 | 200 | 219 |6143k| 0 | 13k|-3.993333e+01 |-2.900000e+01 | 27.38%
418.40/418.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
418.40/418.48 c 418s|680000 | 77213 | 10414k| 15.3 | 131M| 95 | 59 | 200 |3130 | 200 | 252 |6231k| 0 | 13k|-3.988235e+01 |-2.900000e+01 | 27.29%
423.81/423.85 c 424s|690000 | 77911 | 10545k| 15.3 | 132M| 95 | 20 | 200 |3130 | 200 | 200 |6317k| 0 | 13k|-3.983333e+01 |-2.900000e+01 | 27.20%
429.10/429.19 c 429s|700000 | 78661 | 10677k| 15.2 | 133M| 95 | 40 | 200 |3130 | 200 | 219 |6403k| 0 | 13k|-3.980000e+01 |-2.900000e+01 | 27.14%
434.60/434.64 c 435s|710000 | 79421 | 10812k| 15.2 | 134M| 95 | - | 200 |3130 | 200 | 211 |6490k| 0 | 13k|-3.976923e+01 |-2.900000e+01 | 27.08%
439.91/439.98 c 440s|720000 | 80189 | 10942k| 15.2 | 135M| 95 | - | 200 |3130 | 200 | 226 |6573k| 0 | 13k|-3.975000e+01 |-2.900000e+01 | 27.04%
445.30/445.32 c 445s|730000 | 80857 | 11073k| 15.2 | 137M| 95 | - | 200 |3130 | 200 | 229 |6659k| 0 | 13k|-3.971429e+01 |-2.900000e+01 | 26.98%
450.70/450.79 c 451s|740000 | 81747 | 11208k| 15.1 | 138M| 97 | 50 | 200 |3130 | 200 | 238 |6746k| 0 | 13k|-3.966667e+01 |-2.900000e+01 | 26.89%
456.20/456.23 c 456s|750000 | 82541 | 11342k| 15.1 | 139M| 97 | - | 200 |3130 | 200 | 253 |6832k| 0 | 13k|-3.963889e+01 |-2.900000e+01 | 26.84%
461.60/461.65 c 462s|760000 | 83271 | 11474k| 15.1 | 140M| 97 | 59 | 200 |3130 | 200 | 238 |6916k| 0 | 14k|-3.958571e+01 |-2.900000e+01 | 26.74%
467.01/467.08 c 467s|770000 | 84013 | 11609k| 15.1 | 142M| 97 | 5 | 200 |3130 | 200 | 218 |7000k| 0 | 14k|-3.953846e+01 |-2.900000e+01 | 26.65%
472.41/472.43 c 472s|780000 | 84733 | 11741k| 15.0 | 143M| 97 | 11 | 200 |3130 | 200 | 200 |7085k| 0 | 14k|-3.950000e+01 |-2.900000e+01 | 26.58%
477.90/477.91 c 478s|790000 | 85439 | 11877k| 15.0 | 144M| 97 | - | 200 |3130 | 200 | 238 |7172k| 0 | 14k|-3.950000e+01 |-2.900000e+01 | 26.58%
483.20/483.28 c 483s|800000 | 86189 | 12009k| 15.0 | 145M| 97 | 16 | 200 |3130 | 200 | 219 |7256k| 0 | 14k|-3.950000e+01 |-2.900000e+01 | 26.58%
488.70/488.73 c 489s|810000 | 87001 | 12143k| 15.0 | 146M| 97 | - | 200 |3130 | 200 | 217 |7338k| 0 | 14k|-3.950000e+01 |-2.900000e+01 | 26.58%
494.00/494.07 c 494s|820000 | 87643 | 12275k| 15.0 | 147M| 97 | - | 200 |3130 | 200 | 219 |7421k| 0 | 14k|-3.942857e+01 |-2.900000e+01 | 26.45%
499.41/499.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
499.41/499.46 c 499s|830000 | 88269 | 12408k| 14.9 | 148M| 97 | - | 200 |3130 | 200 | 231 |7508k| 0 | 14k|-3.938571e+01 |-2.900000e+01 | 26.37%
504.70/504.80 c 505s|840000 | 88929 | 12538k| 14.9 | 150M| 97 | - | 200 |3130 | 200 | 224 |7592k| 0 | 14k|-3.933333e+01 |-2.900000e+01 | 26.27%
510.10/510.14 c 510s|850000 | 89641 | 12669k| 14.9 | 151M| 100 | 16 | 200 |3130 | 200 | 200 |7676k| 0 | 14k|-3.933333e+01 |-2.900000e+01 | 26.27%
515.41/515.45 c 515s|860000 | 90219 | 12799k| 14.9 | 152M| 100 | - | 200 |3130 | 200 | 216 |7758k| 0 | 14k|-3.929167e+01 |-2.900000e+01 | 26.19%
520.60/520.66 c 521s|870000 | 90809 | 12925k| 14.8 | 153M| 100 | 8 | 200 |3130 | 200 | 200 |7842k| 0 | 15k|-3.925000e+01 |-2.900000e+01 | 26.11%
526.00/526.04 c 526s|880000 | 91431 | 13056k| 14.8 | 154M| 100 | 19 | 200 |3130 | 200 | 214 |7929k| 0 | 15k|-3.925000e+01 |-2.900000e+01 | 26.11%
531.21/531.26 c 531s|890000 | 92005 | 13182k| 14.8 | 155M| 100 | - | 200 |3130 | 200 | 232 |8010k| 0 | 15k|-3.920000e+01 |-2.900000e+01 | 26.02%
536.51/536.54 c 537s|900000 | 92609 | 13309k| 14.8 | 156M| 100 | - | 200 |3130 | 200 | 232 |8092k| 0 | 15k|-3.916667e+01 |-2.900000e+01 | 25.96%
541.71/541.77 c 542s|910000 | 93173 | 13435k| 14.8 | 157M| 100 | 31 | 200 |3130 | 200 | 214 |8174k| 0 | 15k|-3.912500e+01 |-2.900000e+01 | 25.88%
547.01/547.03 c 547s|920000 | 93705 | 13561k| 14.7 | 158M| 100 | 9 | 200 |3130 | 200 | 226 |8257k| 0 | 15k|-3.906667e+01 |-2.900000e+01 | 25.77%
552.30/552.30 c 552s|930000 | 94243 | 13688k| 14.7 | 158M| 100 | - | 200 |3130 | 200 | 226 |8339k| 0 | 15k|-3.900000e+01 |-2.900000e+01 | 25.64%
557.40/557.48 c 557s|940000 | 94805 | 13814k| 14.7 | 159M| 100 | 48 | 200 |3130 | 200 | 229 |8423k| 0 | 15k|-3.900000e+01 |-2.900000e+01 | 25.64%
559.70/559.74 o -30
559.70/559.74 c * 560s|944145 | 78872 | 13868k| 14.7 | 134M| 100 | - | 200 |3130 | 200 | 249 |8458k| 0 | 15k|-3.900000e+01 |-3.000000e+01 | 23.08%
562.81/562.85 c 563s|950000 | 79085 | 13941k| 14.7 | 135M| 100 | - | 200 |3130 | 200 | 216 |8506k| 0 | 15k|-3.900000e+01 |-3.000000e+01 | 23.08%
568.01/568.07 c 568s|960000 | 79375 | 14065k| 14.6 | 135M| 100 | - | 200 |3130 | 200 | 219 |8589k| 0 | 15k|-3.900000e+01 |-3.000000e+01 | 23.08%
573.31/573.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
573.31/573.30 c 573s|970000 | 79709 | 14189k| 14.6 | 136M| 100 | - | 200 |3130 | 200 | 229 |8672k| 0 | 15k|-3.900000e+01 |-3.000000e+01 | 23.08%
578.51/578.56 c 579s|980000 | 80109 | 14315k| 14.6 | 137M| 100 | 42 | 200 |3130 | 200 | 217 |8758k| 0 | 15k|-3.900000e+01 |-3.000000e+01 | 23.08%
583.91/583.91 c 584s|990000 | 80555 | 14445k| 14.6 | 138M| 100 | 40 | 200 |3130 | 200 | 219 |8843k| 0 | 15k|-3.900000e+01 |-3.000000e+01 | 23.08%
589.21/589.25 c 589s| 1000k| 80959 | 14572k| 14.6 | 138M| 100 | - | 200 |3130 | 200 | 209 |8928k| 0 | 16k|-3.896552e+01 |-3.000000e+01 | 23.01%
594.41/594.43 c 594s| 1010k| 81247 | 14695k| 14.5 | 139M| 100 | - | 200 |3130 | 200 | 214 |9010k| 0 | 16k|-3.891803e+01 |-3.000000e+01 | 22.91%
599.61/599.65 c 600s| 1020k| 81521 | 14819k| 14.5 | 140M| 100 | - | 200 |3130 | 200 | 214 |9096k| 0 | 16k|-3.887500e+01 |-3.000000e+01 | 22.83%
604.81/604.82 c 605s| 1030k| 81875 | 14942k| 14.5 | 140M| 100 | 12 | 200 |3130 | 200 | 212 |9178k| 0 | 16k|-3.883333e+01 |-3.000000e+01 | 22.75%
609.91/609.97 c 610s| 1040k| 82219 | 15064k| 14.5 | 141M| 100 | - | 200 |3130 | 200 | 214 |9257k| 0 | 16k|-3.880000e+01 |-3.000000e+01 | 22.68%
615.10/615.12 c 615s| 1050k| 82481 | 15186k| 14.5 | 141M| 100 | 13 | 200 |3130 | 200 | 200 |9342k| 0 | 16k|-3.878571e+01 |-3.000000e+01 | 22.65%
620.31/620.35 c 620s| 1060k| 82783 | 15310k| 14.4 | 142M| 100 | - | 200 |3130 | 200 | 216 |9428k| 0 | 16k|-3.875000e+01 |-3.000000e+01 | 22.58%
625.41/625.45 c 625s| 1070k| 83105 | 15429k| 14.4 | 143M| 100 | - | 200 |3130 | 200 | 242 |9510k| 0 | 16k|-3.875000e+01 |-3.000000e+01 | 22.58%
630.50/630.58 c 631s| 1080k| 83393 | 15552k| 14.4 | 143M| 100 | - | 200 |3130 | 200 | 234 |9592k| 0 | 16k|-3.871429e+01 |-3.000000e+01 | 22.51%
635.71/635.75 c 636s| 1090k| 83683 | 15673k| 14.4 | 144M| 100 | - | 200 |3130 | 200 | 230 |9672k| 0 | 16k|-3.866667e+01 |-3.000000e+01 | 22.41%
640.91/640.94 c 641s| 1100k| 83975 | 15796k| 14.4 | 145M| 100 | 52 | 200 |3130 | 200 | 225 |9756k| 0 | 16k|-3.866667e+01 |-3.000000e+01 | 22.41%
646.01/646.03 c 646s| 1110k| 84271 | 15916k| 14.3 | 145M| 100 | 18 | 200 |3130 | 200 | 200 |9837k| 0 | 16k|-3.866667e+01 |-3.000000e+01 | 22.41%
651.11/651.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
651.11/651.17 c 651s| 1120k| 84519 | 16037k| 14.3 | 146M| 102 | - | 200 |3130 | 200 | 216 |9920k| 0 | 16k|-3.862500e+01 |-3.000000e+01 | 22.33%
656.30/656.36 c 656s| 1130k| 84839 | 16160k| 14.3 | 146M| 102 | - | 200 |3130 | 200 | 215 | 10M| 0 | 16k|-3.860000e+01 |-3.000000e+01 | 22.28%
661.51/661.52 c 662s| 1140k| 85125 | 16281k| 14.3 | 147M| 102 | 39 | 200 |3130 | 200 | 215 | 10M| 0 | 17k|-3.857143e+01 |-3.000000e+01 | 22.22%
666.51/666.57 c 667s| 1150k| 85395 | 16398k| 14.3 | 147M| 102 | 12 | 200 |3130 | 200 | 214 | 10M| 0 | 17k|-3.852083e+01 |-3.000000e+01 | 22.12%
671.60/671.60 c 672s| 1160k| 85603 | 16516k| 14.2 | 148M| 102 | - | 200 |3130 | 200 | 224 | 10M| 0 | 17k|-3.850000e+01 |-3.000000e+01 | 22.08%
676.61/676.66 c 677s| 1170k| 85859 | 16635k| 14.2 | 148M| 102 | 45 | 200 |3130 | 200 | 213 | 10M| 0 | 17k|-3.850000e+01 |-3.000000e+01 | 22.08%
681.61/681.66 c 682s| 1180k| 86149 | 16752k| 14.2 | 149M| 106 | - | 200 |3130 | 200 | 255 | 10M| 0 | 17k|-3.850000e+01 |-3.000000e+01 | 22.08%
686.71/686.75 c 687s| 1190k| 86409 | 16872k| 14.2 | 150M| 106 | 23 | 200 |3130 | 200 | 200 | 10M| 0 | 17k|-3.850000e+01 |-3.000000e+01 | 22.08%
691.71/691.72 c 692s| 1200k| 86739 | 16989k| 14.1 | 150M| 106 | 34 | 200 |3130 | 200 | 217 | 10M| 0 | 17k|-3.850000e+01 |-3.000000e+01 | 22.08%
696.70/696.78 c 697s| 1210k| 86981 | 17107k| 14.1 | 151M| 106 | 59 | 200 |3130 | 200 | 217 | 10M| 0 | 17k|-3.850000e+01 |-3.000000e+01 | 22.08%
701.81/701.88 c 702s| 1220k| 87265 | 17227k| 14.1 | 151M| 106 | - | 200 |3130 | 200 | 225 | 10M| 0 | 17k|-3.845833e+01 |-3.000000e+01 | 21.99%
706.90/706.97 c 707s| 1230k| 87557 | 17346k| 14.1 | 152M| 106 | - | 200 |3130 | 200 | 215 | 10M| 0 | 17k|-3.841667e+01 |-3.000000e+01 | 21.91%
711.81/711.89 c 712s| 1240k| 87725 | 17461k| 14.1 | 152M| 106 | - | 200 |3130 | 200 | 229 | 10M| 0 | 17k|-3.840000e+01 |-3.000000e+01 | 21.87%
716.91/716.94 c 717s| 1250k| 87977 | 17579k| 14.1 | 153M| 106 | 14 | 200 |3130 | 200 | 200 | 10M| 0 | 17k|-3.835294e+01 |-3.000000e+01 | 21.78%
722.01/722.07 c 722s| 1260k| 88223 | 17698k| 14.0 | 153M| 106 | - | 200 |3130 | 200 | 210 | 11M| 0 | 17k|-3.833333e+01 |-3.000000e+01 | 21.74%
727.12/727.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
727.12/727.11 c 727s| 1270k| 88449 | 17816k| 14.0 | 154M| 106 | 60 | 200 |3130 | 200 | 245 | 11M| 0 | 17k|-3.833333e+01 |-3.000000e+01 | 21.74%
732.01/732.06 c 732s| 1280k| 88621 | 17930k| 14.0 | 154M| 106 | - | 200 |3130 | 200 | 246 | 11M| 0 | 17k|-3.830769e+01 |-3.000000e+01 | 21.69%
737.11/737.11 c 737s| 1290k| 88847 | 18048k| 14.0 | 155M| 106 | - | 200 |3130 | 200 | 217 | 11M| 0 | 18k|-3.826667e+01 |-3.000000e+01 | 21.60%
742.11/742.10 c 742s| 1300k| 89063 | 18163k| 14.0 | 155M| 106 | 20 | 200 |3130 | 200 | 200 | 11M| 0 | 18k|-3.825000e+01 |-3.000000e+01 | 21.57%
747.01/747.07 c 747s| 1310k| 89267 | 18278k| 13.9 | 156M| 106 | - | 200 |3130 | 200 | 241 | 11M| 0 | 18k|-3.825000e+01 |-3.000000e+01 | 21.57%
752.01/752.03 c 752s| 1320k| 89473 | 18392k| 13.9 | 156M| 106 | - | 200 |3130 | 200 | 226 | 11M| 0 | 18k|-3.821053e+01 |-3.000000e+01 | 21.49%
757.01/757.02 c 757s| 1330k| 89751 | 18509k| 13.9 | 157M| 106 | - | 200 |3130 | 200 | 213 | 11M| 0 | 18k|-3.820000e+01 |-3.000000e+01 | 21.47%
762.11/762.11 c 762s| 1340k| 89945 | 18629k| 13.9 | 157M| 106 | - | 200 |3130 | 200 | 246 | 11M| 0 | 18k|-3.816667e+01 |-3.000000e+01 | 21.40%
767.11/767.11 c 767s| 1350k| 90173 | 18744k| 13.9 | 158M| 106 | 3 | 200 |3130 | 200 | 217 | 11M| 0 | 18k|-3.812727e+01 |-3.000000e+01 | 21.32%
772.01/772.07 c 772s| 1360k| 90365 | 18858k| 13.9 | 158M| 106 | - | 200 |3130 | 200 | 236 | 11M| 0 | 18k|-3.810000e+01 |-3.000000e+01 | 21.26%
777.01/777.07 c 777s| 1370k| 90589 | 18974k| 13.8 | 159M| 106 | 12 | 200 |3130 | 200 | 200 | 11M| 0 | 18k|-3.806250e+01 |-3.000000e+01 | 21.18%
782.01/782.04 c 782s| 1380k| 90733 | 19089k| 13.8 | 159M| 106 | 12 | 200 |3130 | 200 | 200 | 11M| 0 | 18k|-3.800000e+01 |-3.000000e+01 | 21.05%
787.01/787.08 c 787s| 1390k| 90927 | 19205k| 13.8 | 160M| 106 | 48 | 200 |3130 | 200 | 255 | 12M| 0 | 18k|-3.800000e+01 |-3.000000e+01 | 21.05%
792.01/792.07 c 792s| 1400k| 91041 | 19321k| 13.8 | 160M| 106 | - | 200 |3130 | 200 | 230 | 12M| 0 | 18k|-3.800000e+01 |-3.000000e+01 | 21.05%
797.01/797.05 c 797s| 1410k| 91287 | 19437k| 13.8 | 161M| 106 | - | 200 |3130 | 200 | 235 | 12M| 0 | 18k|-3.800000e+01 |-3.000000e+01 | 21.05%
802.02/802.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
802.02/802.04 c 802s| 1420k| 91577 | 19554k| 13.8 | 161M| 106 | - | 200 |3130 | 200 | 249 | 12M| 0 | 18k|-3.800000e+01 |-3.000000e+01 | 21.05%
806.91/806.93 c 807s| 1430k| 91749 | 19665k| 13.7 | 162M| 106 | 14 | 200 |3130 | 200 | 210 | 12M| 0 | 18k|-3.800000e+01 |-3.000000e+01 | 21.05%
811.81/811.89 c 812s| 1440k| 92025 | 19780k| 13.7 | 162M| 106 | 20 | 200 |3130 | 200 | 233 | 12M| 0 | 19k|-3.800000e+01 |-3.000000e+01 | 21.05%
816.71/816.77 c 817s| 1450k| 92199 | 19893k| 13.7 | 163M| 106 | 35 | 200 |3130 | 200 | 221 | 12M| 0 | 19k|-3.800000e+01 |-3.000000e+01 | 21.05%
821.62/821.65 c 822s| 1460k| 92341 | 20005k| 13.7 | 163M| 106 | - | 200 |3130 | 200 | 220 | 12M| 0 | 19k|-3.800000e+01 |-3.000000e+01 | 21.05%
826.62/826.60 c 827s| 1470k| 92535 | 20118k| 13.7 | 163M| 106 | 12 | 200 |3130 | 200 | 217 | 12M| 0 | 19k|-3.800000e+01 |-3.000000e+01 | 21.05%
831.51/831.56 c 832s| 1480k| 92729 | 20232k| 13.7 | 164M| 106 | 28 | 200 |3130 | 200 | 209 | 12M| 0 | 19k|-3.800000e+01 |-3.000000e+01 | 21.05%
836.42/836.46 c 836s| 1490k| 92951 | 20346k| 13.6 | 164M| 106 | - | 200 |3130 | 200 | 232 | 12M| 0 | 19k|-3.800000e+01 |-3.000000e+01 | 21.05%
841.31/841.39 c 841s| 1500k| 93077 | 20459k| 13.6 | 165M| 106 | - | 200 |3130 | 200 | 239 | 12M| 0 | 19k|-3.795833e+01 |-3.000000e+01 | 20.97%
846.31/846.33 c 846s| 1510k| 93255 | 20572k| 13.6 | 165M| 106 | 9 | 200 |3130 | 200 | 213 | 12M| 0 | 19k|-3.791667e+01 |-3.000000e+01 | 20.88%
851.21/851.24 c 851s| 1520k| 93351 | 20683k| 13.6 | 165M| 106 | 51 | 200 |3130 | 200 | 231 | 13M| 0 | 19k|-3.788889e+01 |-3.000000e+01 | 20.82%
856.01/856.07 c 856s| 1530k| 93455 | 20793k| 13.6 | 166M| 106 | 45 | 200 |3130 | 200 | 230 | 13M| 0 | 19k|-3.786667e+01 |-3.000000e+01 | 20.77%
861.02/861.01 c 861s| 1540k| 93663 | 20906k| 13.6 | 166M| 106 | 35 | 200 |3130 | 200 | 238 | 13M| 0 | 19k|-3.783333e+01 |-3.000000e+01 | 20.70%
865.81/865.89 c 866s| 1550k| 93851 | 21016k| 13.6 | 167M| 106 | 12 | 200 |3130 | 200 | 213 | 13M| 0 | 19k|-3.783333e+01 |-3.000000e+01 | 20.70%
870.71/870.75 c 871s| 1560k| 93981 | 21125k| 13.5 | 167M| 106 | 42 | 200 |3130 | 200 | 225 | 13M| 0 | 19k|-3.780000e+01 |-3.000000e+01 | 20.63%
875.62/875.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
875.62/875.62 c 876s| 1570k| 94115 | 21236k| 13.5 | 167M| 106 | - | 200 |3130 | 200 | 235 | 13M| 0 | 19k|-3.778571e+01 |-3.000000e+01 | 20.60%
880.52/880.54 c 881s| 1580k| 94283 | 21348k| 13.5 | 168M| 106 | - | 200 |3130 | 200 | 211 | 13M| 0 | 19k|-3.775000e+01 |-3.000000e+01 | 20.53%
885.32/885.40 c 885s| 1590k| 94427 | 21459k| 13.5 | 168M| 106 | 47 | 200 |3130 | 200 | 214 | 13M| 0 | 19k|-3.775000e+01 |-3.000000e+01 | 20.53%
890.31/890.30 c 890s| 1600k| 94573 | 21571k| 13.5 | 168M| 106 | - | 200 |3130 | 200 | 215 | 13M| 0 | 19k|-3.775000e+01 |-3.000000e+01 | 20.53%
895.11/895.14 c 895s| 1610k| 94771 | 21680k| 13.5 | 169M| 106 | 31 | 200 |3130 | 200 | 200 | 13M| 0 | 20k|-3.772414e+01 |-3.000000e+01 | 20.48%
899.91/899.95 c 900s| 1620k| 94851 | 21788k| 13.4 | 169M| 106 | - | 200 |3130 | 200 | 200 | 13M| 0 | 20k|-3.770000e+01 |-3.000000e+01 | 20.42%
904.71/904.76 c 905s| 1630k| 94985 | 21896k| 13.4 | 169M| 106 | 49 | 200 |3130 | 200 | 231 | 13M| 0 | 20k|-3.766667e+01 |-3.000000e+01 | 20.35%
909.62/909.62 c 910s| 1640k| 95169 | 22006k| 13.4 | 170M| 106 | 10 | 200 |3130 | 200 | 210 | 13M| 0 | 20k|-3.766667e+01 |-3.000000e+01 | 20.35%
914.42/914.47 c 914s| 1650k| 95341 | 22115k| 13.4 | 170M| 106 | 48 | 200 |3130 | 200 | 257 | 14M| 0 | 20k|-3.766667e+01 |-3.000000e+01 | 20.35%
919.31/919.34 c 919s| 1660k| 95515 | 22225k| 13.4 | 171M| 106 | - | 200 |3130 | 200 | 231 | 14M| 0 | 20k|-3.766667e+01 |-3.000000e+01 | 20.35%
924.12/924.17 c 924s| 1670k| 95645 | 22335k| 13.4 | 171M| 106 | 55 | 200 |3130 | 200 | 247 | 14M| 0 | 20k|-3.765000e+01 |-3.000000e+01 | 20.32%
928.92/928.97 c 929s| 1680k| 95747 | 22442k| 13.4 | 171M| 106 | - | 200 |3130 | 200 | 263 | 14M| 0 | 20k|-3.762500e+01 |-3.000000e+01 | 20.27%
933.71/933.75 c 934s| 1690k| 95831 | 22549k| 13.3 | 172M| 106 | 8 | 200 |3130 | 200 | 224 | 14M| 0 | 20k|-3.760000e+01 |-3.000000e+01 | 20.21%
938.42/938.48 c 938s| 1700k| 95967 | 22654k| 13.3 | 172M| 106 | 26 | 200 |3130 | 200 | 229 | 14M| 0 | 20k|-3.759574e+01 |-3.000000e+01 | 20.20%
943.21/943.20 c 943s| 1710k| 96097 | 22759k| 13.3 | 172M| 106 | 54 | 200 |3130 | 200 | 220 | 14M| 0 | 20k|-3.757143e+01 |-3.000000e+01 | 20.15%
948.02/948.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
948.02/948.00 c 948s| 1720k| 96201 | 22867k| 13.3 | 173M| 106 | - | 200 |3130 | 200 | 228 | 14M| 0 | 20k|-3.755000e+01 |-3.000000e+01 | 20.11%
952.81/952.82 c 953s| 1730k| 96415 | 22975k| 13.3 | 173M| 106 | 19 | 200 |3130 | 200 | 212 | 14M| 0 | 20k|-3.750000e+01 |-3.000000e+01 | 20.00%
957.52/957.57 c 958s| 1740k| 96529 | 23081k| 13.3 | 173M| 106 | 17 | 200 |3130 | 200 | 217 | 14M| 0 | 20k|-3.750000e+01 |-3.000000e+01 | 20.00%
962.22/962.29 c 962s| 1750k| 96645 | 23186k| 13.2 | 174M| 106 | 5 | 200 |3130 | 200 | 200 | 14M| 0 | 20k|-3.750000e+01 |-3.000000e+01 | 20.00%
967.02/967.07 c 967s| 1760k| 96797 | 23295k| 13.2 | 174M| 106 | 53 | 200 |3130 | 200 | 225 | 14M| 0 | 20k|-3.750000e+01 |-3.000000e+01 | 20.00%
971.92/971.92 c 972s| 1770k| 96997 | 23403k| 13.2 | 174M| 106 | 21 | 200 |3130 | 200 | 210 | 14M| 0 | 20k|-3.750000e+01 |-3.000000e+01 | 20.00%
976.62/976.66 c 977s| 1780k| 97117 | 23510k| 13.2 | 175M| 106 | 49 | 200 |3130 | 200 | 239 | 14M| 0 | 20k|-3.750000e+01 |-3.000000e+01 | 20.00%
981.42/981.44 c 981s| 1790k| 97247 | 23616k| 13.2 | 175M| 106 | 44 | 200 |3130 | 200 | 217 | 15M| 0 | 20k|-3.750000e+01 |-3.000000e+01 | 20.00%
986.12/986.17 c 986s| 1800k| 97421 | 23722k| 13.2 | 175M| 106 | - | 200 |3130 | 200 | 240 | 15M| 0 | 21k|-3.750000e+01 |-3.000000e+01 | 20.00%
990.81/990.80 c 991s| 1810k| 97549 | 23824k| 13.2 | 176M| 106 | - | 200 |3130 | 200 | 225 | 15M| 0 | 21k|-3.750000e+01 |-3.000000e+01 | 20.00%
995.52/995.53 c 996s| 1820k| 97657 | 23929k| 13.1 | 176M| 106 | 18 | 200 |3130 | 200 | 213 | 15M| 0 | 21k|-3.750000e+01 |-3.000000e+01 | 20.00%
1000.21/1000.21 c 1000s| 1830k| 97759 | 24033k| 13.1 | 176M| 106 | - | 200 |3130 | 200 | 224 | 15M| 0 | 21k|-3.750000e+01 |-3.000000e+01 | 20.00%
1004.92/1004.97 c 1005s| 1840k| 97913 | 24141k| 13.1 | 177M| 106 | - | 200 |3130 | 200 | 227 | 15M| 0 | 21k|-3.750000e+01 |-3.000000e+01 | 20.00%
1009.61/1009.69 c 1010s| 1850k| 98041 | 24247k| 13.1 | 177M| 106 | - | 200 |3130 | 200 | 230 | 15M| 0 | 21k|-3.747368e+01 |-3.000000e+01 | 19.94%
1014.42/1014.46 c 1014s| 1860k| 98183 | 24352k| 13.1 | 177M| 106 | 25 | 200 |3130 | 200 | 227 | 15M| 0 | 21k|-3.743478e+01 |-3.000000e+01 | 19.86%
1019.22/1019.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1019.22/1019.24 c 1019s| 1870k| 98367 | 24459k| 13.1 | 178M| 106 | - | 200 |3130 | 200 | 239 | 15M| 0 | 21k|-3.740000e+01 |-3.000000e+01 | 19.79%
1024.02/1024.05 c 1024s| 1880k| 98489 | 24565k| 13.1 | 178M| 106 | - | 200 |3130 | 200 | 236 | 15M| 0 | 21k|-3.738889e+01 |-3.000000e+01 | 19.76%
1028.71/1028.75 c 1029s| 1890k| 98581 | 24670k| 13.0 | 178M| 106 | - | 200 |3130 | 200 | 213 | 15M| 0 | 21k|-3.737500e+01 |-3.000000e+01 | 19.73%
1033.42/1033.49 c 1033s| 1900k| 98633 | 24775k| 13.0 | 179M| 106 | 27 | 200 |3130 | 200 | 219 | 15M| 0 | 21k|-3.733333e+01 |-3.000000e+01 | 19.64%
1038.12/1038.18 c 1038s| 1910k| 98771 | 24877k| 13.0 | 179M| 106 | 14 | 200 |3130 | 200 | 224 | 15M| 0 | 21k|-3.733333e+01 |-3.000000e+01 | 19.64%
1042.92/1042.90 c 1043s| 1920k| 98923 | 24983k| 13.0 | 179M| 106 | - | 200 |3130 | 200 | 254 | 15M| 0 | 21k|-3.733333e+01 |-3.000000e+01 | 19.64%
1047.62/1047.64 c 1048s| 1930k| 99005 | 25088k| 13.0 | 180M| 106 | 9 | 200 |3130 | 200 | 217 | 16M| 0 | 21k|-3.733333e+01 |-3.000000e+01 | 19.64%
1052.32/1052.31 c 1052s| 1940k| 99075 | 25191k| 13.0 | 180M| 106 | 60 | 200 |3130 | 200 | 223 | 16M| 0 | 21k|-3.731250e+01 |-3.000000e+01 | 19.60%
1057.02/1057.06 c 1057s| 1950k| 99163 | 25296k| 13.0 | 180M| 106 | - | 200 |3130 | 200 | 247 | 16M| 0 | 21k|-3.729032e+01 |-3.000000e+01 | 19.55%
1061.82/1061.83 c 1062s| 1960k| 99273 | 25402k| 13.0 | 180M| 106 | - | 200 |3130 | 200 | 212 | 16M| 0 | 21k|-3.726667e+01 |-3.000000e+01 | 19.50%
1066.42/1066.47 c 1066s| 1970k| 99335 | 25503k| 12.9 | 181M| 106 | - | 200 |3130 | 200 | 244 | 16M| 0 | 21k|-3.725000e+01 |-3.000000e+01 | 19.46%
1071.12/1071.13 c 1071s| 1980k| 99409 | 25605k| 12.9 | 181M| 106 | 53 | 200 |3130 | 200 | 224 | 16M| 0 | 21k|-3.725000e+01 |-3.000000e+01 | 19.46%
1075.83/1075.81 c 1076s| 1990k| 99491 | 25709k| 12.9 | 181M| 106 | - | 200 |3130 | 200 | 226 | 16M| 0 | 21k|-3.725000e+01 |-3.000000e+01 | 19.46%
1080.41/1080.48 c 1080s| 2000k| 99565 | 25811k| 12.9 | 181M| 106 | 18 | 200 |3130 | 200 | 215 | 16M| 0 | 21k|-3.725000e+01 |-3.000000e+01 | 19.46%
1085.12/1085.15 c 1085s| 2010k| 99677 | 25914k| 12.9 | 182M| 106 | 8 | 200 |3130 | 200 | 216 | 16M| 0 | 22k|-3.722222e+01 |-3.000000e+01 | 19.40%
1089.82/1089.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1089.82/1089.85 c 1090s| 2020k| 99797 | 26019k| 12.9 | 182M| 106 | 48 | 200 |3130 | 200 | 227 | 16M| 0 | 22k|-3.720000e+01 |-3.000000e+01 | 19.35%
1094.52/1094.50 c 1095s| 2030k| 99879 | 26120k| 12.9 | 182M| 106 | 49 | 200 |3130 | 200 | 249 | 16M| 0 | 22k|-3.719231e+01 |-3.000000e+01 | 19.34%
1099.22/1099.27 c 1099s| 2040k| 99993 | 26227k| 12.9 | 183M| 106 | - | 200 |3130 | 200 | 225 | 16M| 0 | 22k|-3.716667e+01 |-3.000000e+01 | 19.28%
1103.92/1103.96 c 1104s| 2050k|100087 | 26330k| 12.8 | 183M| 106 | 14 | 200 |3130 | 200 | 221 | 16M| 0 | 22k|-3.716667e+01 |-3.000000e+01 | 19.28%
1108.52/1108.56 c 1109s| 2060k|100131 | 26429k| 12.8 | 183M| 106 | - | 200 |3130 | 200 | 252 | 16M| 0 | 22k|-3.714286e+01 |-3.000000e+01 | 19.23%
1113.23/1113.21 c 1113s| 2070k|100191 | 26530k| 12.8 | 183M| 106 | 66 | 200 |3130 | 200 | 249 | 16M| 0 | 22k|-3.712500e+01 |-3.000000e+01 | 19.19%
1117.92/1117.96 c 1118s| 2080k|100299 | 26636k| 12.8 | 184M| 106 | 48 | 200 |3130 | 200 | 229 | 17M| 0 | 22k|-3.710714e+01 |-3.000000e+01 | 19.15%
1122.62/1122.63 c 1123s| 2090k|100377 | 26738k| 12.8 | 184M| 106 | - | 200 |3130 | 200 | 230 | 17M| 0 | 22k|-3.707692e+01 |-3.000000e+01 | 19.09%
1127.22/1127.28 c 1127s| 2100k|100405 | 26839k| 12.8 | 184M| 106 | 51 | 200 |3130 | 200 | 200 | 17M| 0 | 22k|-3.705208e+01 |-3.000000e+01 | 19.03%
1132.02/1132.03 c 1132s| 2110k|100507 | 26944k| 12.8 | 184M| 106 | 62 | 200 |3130 | 200 | 237 | 17M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1136.62/1136.68 c 1137s| 2120k|100607 | 27047k| 12.8 | 185M| 106 | 50 | 200 |3130 | 200 | 239 | 17M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1141.42/1141.40 c 1141s| 2130k|100707 | 27152k| 12.7 | 185M| 106 | 30 | 200 |3130 | 200 | 211 | 17M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1146.02/1146.05 c 1146s| 2140k|100827 | 27254k| 12.7 | 185M| 106 | 22 | 200 |3130 | 200 | 211 | 17M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1150.72/1150.72 c 1151s| 2150k|100867 | 27355k| 12.7 | 185M| 106 | - | 200 |3130 | 200 | 230 | 17M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1155.42/1155.44 c 1155s| 2160k|100943 | 27460k| 12.7 | 186M| 106 | - | 200 |3130 | 200 | 235 | 17M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1160.02/1160.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1160.02/1160.05 c 1160s| 2170k|101059 | 27562k| 12.7 | 186M| 106 | - | 200 |3130 | 200 | 240 | 17M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1164.73/1164.71 c 1165s| 2180k|101119 | 27664k| 12.7 | 186M| 106 | 37 | 200 |3130 | 200 | 218 | 17M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1169.33/1169.35 c 1169s| 2190k|101235 | 27767k| 12.7 | 186M| 106 | - | 200 |3130 | 200 | 215 | 17M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1173.92/1173.96 c 1174s| 2200k|101345 | 27869k| 12.7 | 187M| 106 | - | 200 |3130 | 200 | 247 | 17M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1178.52/1178.53 c 1179s| 2210k|101421 | 27969k| 12.7 | 187M| 106 | 12 | 200 |3130 | 200 | 211 | 17M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1183.02/1183.09 c 1183s| 2220k|101489 | 28070k| 12.6 | 187M| 106 | 51 | 200 |3130 | 200 | 227 | 18M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1187.62/1187.69 c 1188s| 2230k|101547 | 28170k| 12.6 | 187M| 106 | 21 | 200 |3130 | 200 | 218 | 18M| 0 | 23k|-3.700000e+01 |-3.000000e+01 | 18.92%
1192.33/1192.34 c 1192s| 2240k|101599 | 28273k| 12.6 | 188M| 106 | 10 | 200 |3130 | 200 | 211 | 18M| 0 | 23k|-3.700000e+01 |-3.000000e+01 | 18.92%
1196.83/1196.87 c 1197s| 2250k|101677 | 28372k| 12.6 | 188M| 106 | 49 | 200 |3130 | 200 | 249 | 18M| 0 | 23k|-3.700000e+01 |-3.000000e+01 | 18.92%
1201.52/1201.55 c 1202s| 2260k|101795 | 28477k| 12.6 | 188M| 106 | - | 200 |3130 | 200 | 212 | 18M| 0 | 23k|-3.700000e+01 |-3.000000e+01 | 18.92%
1206.22/1206.26 c 1206s| 2270k|101935 | 28583k| 12.6 | 189M| 106 | - | 200 |3130 | 200 | 235 | 18M| 0 | 23k|-3.700000e+01 |-3.000000e+01 | 18.92%
1210.92/1210.97 c 1211s| 2280k|102083 | 28688k| 12.6 | 189M| 106 | 14 | 200 |3130 | 200 | 216 | 18M| 0 | 23k|-3.700000e+01 |-3.000000e+01 | 18.92%
1215.62/1215.65 c 1216s| 2290k|102239 | 28792k| 12.6 | 189M| 106 | - | 200 |3130 | 200 | 214 | 18M| 0 | 23k|-3.700000e+01 |-3.000000e+01 | 18.92%
1220.22/1220.23 c 1220s| 2300k|102343 | 28894k| 12.6 | 190M| 106 | - | 200 |3130 | 200 | 222 | 18M| 0 | 23k|-3.700000e+01 |-3.000000e+01 | 18.92%
1224.92/1224.94 c 1225s| 2310k|102453 | 28997k| 12.5 | 190M| 106 | 48 | 200 |3130 | 200 | 214 | 18M| 0 | 23k|-3.695238e+01 |-3.000000e+01 | 18.81%
1229.52/1229.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1229.52/1229.50 c 1229s| 2320k|102495 | 29097k| 12.5 | 190M| 106 | - | 200 |3130 | 200 | 228 | 18M| 0 | 23k|-3.691667e+01 |-3.000000e+01 | 18.74%
1234.13/1234.17 c 1234s| 2330k|102573 | 29200k| 12.5 | 190M| 106 | - | 200 |3130 | 200 | 251 | 18M| 0 | 23k|-3.690000e+01 |-3.000000e+01 | 18.70%
1238.82/1238.80 c 1239s| 2340k|102699 | 29303k| 12.5 | 191M| 106 | 40 | 200 |3130 | 200 | 219 | 18M| 0 | 23k|-3.687500e+01 |-3.000000e+01 | 18.64%
1243.32/1243.35 c 1243s| 2350k|102749 | 29402k| 12.5 | 191M| 106 | - | 200 |3130 | 200 | 238 | 18M| 0 | 23k|-3.685714e+01 |-3.000000e+01 | 18.60%
1247.92/1247.96 c 1248s| 2360k|102791 | 29504k| 12.5 | 191M| 106 | 35 | 200 |3130 | 200 | 224 | 18M| 0 | 23k|-3.684314e+01 |-3.000000e+01 | 18.57%
1252.53/1252.56 c 1253s| 2370k|102825 | 29605k| 12.5 | 191M| 106 | 34 | 200 |3130 | 200 | 226 | 19M| 0 | 23k|-3.683333e+01 |-3.000000e+01 | 18.55%
1257.23/1257.21 c 1257s| 2380k|102955 | 29706k| 12.5 | 192M| 106 | 42 | 200 |3130 | 200 | 200 | 19M| 0 | 23k|-3.683333e+01 |-3.000000e+01 | 18.55%
1261.73/1261.73 c 1262s| 2390k|103027 | 29805k| 12.5 | 192M| 106 | 19 | 200 |3130 | 200 | 215 | 19M| 0 | 23k|-3.680000e+01 |-3.000000e+01 | 18.48%
1266.42/1266.46 c 1266s| 2400k|103121 | 29910k| 12.5 | 192M| 106 | 50 | 200 |3130 | 200 | 256 | 19M| 0 | 23k|-3.680000e+01 |-3.000000e+01 | 18.48%
1271.02/1271.05 c 1271s| 2410k|103177 | 30010k| 12.4 | 192M| 106 | 35 | 200 |3130 | 200 | 215 | 19M| 0 | 23k|-3.677778e+01 |-3.000000e+01 | 18.43%
1275.62/1275.64 c 1276s| 2420k|103263 | 30111k| 12.4 | 192M| 106 | 55 | 200 |3130 | 200 | 227 | 19M| 0 | 23k|-3.675000e+01 |-3.000000e+01 | 18.37%
1280.13/1280.15 c 1280s| 2430k|103301 | 30208k| 12.4 | 193M| 106 | - | 200 |3130 | 200 | 218 | 19M| 0 | 23k|-3.675000e+01 |-3.000000e+01 | 18.37%
1284.73/1284.75 c 1285s| 2440k|103415 | 30310k| 12.4 | 193M| 106 | 53 | 200 |3130 | 200 | 228 | 19M| 0 | 23k|-3.675000e+01 |-3.000000e+01 | 18.37%
1289.32/1289.34 c 1289s| 2450k|103491 | 30411k| 12.4 | 193M| 106 | - | 200 |3130 | 200 | 210 | 19M| 0 | 23k|-3.675000e+01 |-3.000000e+01 | 18.37%
1293.93/1293.91 c 1294s| 2460k|103573 | 30513k| 12.4 | 193M| 106 | 49 | 200 |3130 | 200 | 213 | 19M| 0 | 24k|-3.675000e+01 |-3.000000e+01 | 18.37%
1298.53/1298.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1298.53/1298.50 c 1298s| 2470k|103655 | 30612k| 12.4 | 194M| 106 | - | 200 |3130 | 200 | 249 | 19M| 0 | 24k|-3.672973e+01 |-3.000000e+01 | 18.32%
1303.02/1303.02 c 1303s| 2480k|103673 | 30710k| 12.4 | 194M| 106 | 30 | 200 |3130 | 200 | 217 | 19M| 0 | 24k|-3.671429e+01 |-3.000000e+01 | 18.29%
1307.53/1307.56 c 1308s| 2490k|103713 | 30809k| 12.4 | 194M| 106 | 42 | 200 |3130 | 200 | 210 | 19M| 0 | 24k|-3.668333e+01 |-3.000000e+01 | 18.22%
1312.12/1312.20 c 1312s| 2500k|103809 | 30911k| 12.4 | 194M| 106 | 34 | 200 |3130 | 200 | 227 | 19M| 0 | 24k|-3.666667e+01 |-3.000000e+01 | 18.18%
1316.83/1316.83 c 1317s| 2510k|103893 | 31012k| 12.4 | 195M| 106 | 30 | 200 |3130 | 200 | 228 | 19M| 0 | 24k|-3.666667e+01 |-3.000000e+01 | 18.18%
1321.32/1321.36 c 1321s| 2520k|103973 | 31110k| 12.3 | 195M| 106 | 52 | 200 |3130 | 200 | 214 | 20M| 0 | 24k|-3.666667e+01 |-3.000000e+01 | 18.18%
1325.93/1325.90 c 1326s| 2530k|104039 | 31209k| 12.3 | 195M| 106 | 49 | 200 |3130 | 200 | 230 | 20M| 0 | 24k|-3.666667e+01 |-3.000000e+01 | 18.18%
1330.43/1330.42 c 1330s| 2540k|104055 | 31306k| 12.3 | 195M| 106 | - | 200 |3130 | 200 | 234 | 20M| 0 | 24k|-3.666667e+01 |-3.000000e+01 | 18.18%
1334.92/1334.97 c 1335s| 2550k|104143 | 31406k| 12.3 | 195M| 106 | 42 | 200 |3130 | 200 | 226 | 20M| 0 | 24k|-3.665537e+01 |-3.000000e+01 | 18.16%
1339.43/1339.49 c 1339s| 2560k|104177 | 31504k| 12.3 | 196M| 106 | 55 | 200 |3130 | 200 | 237 | 20M| 0 | 24k|-3.662500e+01 |-3.000000e+01 | 18.09%
1343.93/1343.97 c 1344s| 2570k|104233 | 31601k| 12.3 | 196M| 106 | - | 200 |3130 | 200 | 225 | 20M| 0 | 24k|-3.661538e+01 |-3.000000e+01 | 18.07%
1348.53/1348.53 c 1349s| 2580k|104281 | 31699k| 12.3 | 196M| 106 | 32 | 200 |3130 | 200 | 204 | 20M| 0 | 24k|-3.660000e+01 |-3.000000e+01 | 18.03%
1353.04/1353.05 c 1353s| 2590k|104349 | 31797k| 12.3 | 196M| 106 | - | 200 |3130 | 200 | 230 | 20M| 0 | 24k|-3.660000e+01 |-3.000000e+01 | 18.03%
1357.53/1357.53 c 1358s| 2600k|104405 | 31892k| 12.3 | 196M| 106 | - | 200 |3130 | 200 | 227 | 20M| 0 | 24k|-3.657143e+01 |-3.000000e+01 | 17.97%
1362.03/1362.05 c 1362s| 2610k|104415 | 31990k| 12.3 | 197M| 106 | - | 200 |3130 | 200 | 253 | 20M| 0 | 24k|-3.655556e+01 |-3.000000e+01 | 17.93%
1366.62/1366.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1366.62/1366.62 c 1367s| 2620k|104473 | 32089k| 12.2 | 197M| 106 | - | 200 |3130 | 200 | 219 | 20M| 0 | 24k|-3.652381e+01 |-3.000000e+01 | 17.86%
1371.12/1371.16 c 1371s| 2630k|104501 | 32187k| 12.2 | 197M| 106 | - | 200 |3130 | 200 | 214 | 20M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1375.62/1375.70 c 1376s| 2640k|104509 | 32284k| 12.2 | 197M| 106 | - | 200 |3130 | 200 | 219 | 20M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1380.23/1380.21 c 1380s| 2650k|104511 | 32382k| 12.2 | 197M| 106 | 10 | 200 |3130 | 200 | 200 | 20M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1384.63/1384.69 c 1385s| 2660k|104539 | 32479k| 12.2 | 197M| 106 | 53 | 200 |3130 | 200 | 240 | 20M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1389.13/1389.18 c 1389s| 2670k|104515 | 32576k| 12.2 | 198M| 106 | 41 | 200 |3130 | 200 | 211 | 20M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1393.63/1393.69 c 1394s| 2680k|104533 | 32674k| 12.2 | 198M| 106 | 36 | 200 |3130 | 200 | 217 | 21M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1398.13/1398.14 c 1398s| 2690k|104509 | 32769k| 12.2 | 198M| 106 | 38 | 200 |3130 | 200 | 219 | 21M| 0 | 24k|-3.650000e+01 |-3.000000e+01 | 17.81%
1402.63/1402.66 c 1403s| 2700k|104569 | 32867k| 12.2 | 198M| 106 | - | 200 |3130 | 200 | 232 | 21M| 0 | 25k|-3.650000e+01 |-3.000000e+01 | 17.81%
1407.03/1407.09 c 1407s| 2710k|104577 | 32961k| 12.2 | 198M| 106 | 11 | 200 |3130 | 200 | 211 | 21M| 0 | 25k|-3.650000e+01 |-3.000000e+01 | 17.81%
1411.53/1411.57 c 1412s| 2720k|104615 | 33058k| 12.1 | 198M| 106 | - | 200 |3130 | 200 | 234 | 21M| 0 | 25k|-3.650000e+01 |-3.000000e+01 | 17.81%
1416.03/1416.03 c 1416s| 2730k|104625 | 33153k| 12.1 | 198M| 106 | - | 200 |3130 | 200 | 215 | 21M| 0 | 25k|-3.650000e+01 |-3.000000e+01 | 17.81%
1420.42/1420.45 c 1420s| 2740k|104593 | 33247k| 12.1 | 199M| 106 | 33 | 200 |3130 | 200 | 217 | 21M| 0 | 25k|-3.650000e+01 |-3.000000e+01 | 17.81%
1424.92/1424.94 c 1425s| 2750k|104629 | 33343k| 12.1 | 199M| 106 | 20 | 200 |3130 | 200 | 218 | 21M| 0 | 25k|-3.650000e+01 |-3.000000e+01 | 17.81%
1429.33/1429.38 c 1429s| 2760k|104685 | 33439k| 12.1 | 199M| 106 | 20 | 200 |3130 | 200 | 216 | 21M| 0 | 25k|-3.650000e+01 |-3.000000e+01 | 17.81%
1433.92/1433.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1433.92/1433.95 c 1434s| 2770k|104697 | 33538k| 12.1 | 199M| 106 | - | 200 |3130 | 200 | 200 | 21M| 0 | 25k|-3.650000e+01 |-3.000000e+01 | 17.81%
1438.43/1438.43 c 1438s| 2780k|104717 | 33635k| 12.1 | 199M| 106 | - | 200 |3130 | 200 | 253 | 21M| 0 | 25k|-3.650000e+01 |-3.000000e+01 | 17.81%
1442.93/1442.92 c 1443s| 2790k|104811 | 33732k| 12.1 | 199M| 106 | - | 200 |3130 | 200 | 225 | 21M| 0 | 25k|-3.650000e+01 |-3.000000e+01 | 17.81%
1447.43/1447.46 c 1447s| 2800k|104877 | 33830k| 12.1 | 200M| 106 | 42 | 200 |3130 | 200 | 220 | 21M| 0 | 25k|-3.648148e+01 |-3.000000e+01 | 17.77%
1451.93/1451.95 c 1452s| 2810k|104901 | 33926k| 12.1 | 200M| 106 | 42 | 200 |3130 | 200 | 227 | 21M| 0 | 25k|-3.644444e+01 |-3.000000e+01 | 17.68%
1456.44/1456.44 c 1456s| 2820k|104899 | 34023k| 12.1 | 200M| 106 | - | 200 |3130 | 200 | 224 | 21M| 0 | 25k|-3.641667e+01 |-3.000000e+01 | 17.62%
1460.93/1460.98 c 1461s| 2830k|104939 | 34120k| 12.1 | 200M| 106 | - | 200 |3130 | 200 | 227 | 21M| 0 | 25k|-3.640000e+01 |-3.000000e+01 | 17.58%
1465.43/1465.45 c 1465s| 2840k|104937 | 34215k| 12.0 | 200M| 106 | 16 | 200 |3130 | 200 | 216 | 22M| 0 | 25k|-3.640000e+01 |-3.000000e+01 | 17.58%
1469.93/1469.91 c 1470s| 2850k|104915 | 34311k| 12.0 | 200M| 106 | 28 | 200 |3130 | 200 | 233 | 22M| 0 | 25k|-3.637500e+01 |-3.000000e+01 | 17.53%
1474.33/1474.39 c 1474s| 2860k|104879 | 34407k| 12.0 | 200M| 106 | 17 | 200 |3130 | 200 | 218 | 22M| 0 | 25k|-3.635714e+01 |-3.000000e+01 | 17.49%
1478.83/1478.85 c 1479s| 2870k|104823 | 34501k| 12.0 | 200M| 106 | 5 | 200 |3130 | 200 | 220 | 22M| 0 | 25k|-3.633333e+01 |-3.000000e+01 | 17.43%
1483.33/1483.33 c 1483s| 2880k|104835 | 34597k| 12.0 | 201M| 106 | - | 200 |3130 | 200 | 244 | 22M| 0 | 25k|-3.633333e+01 |-3.000000e+01 | 17.43%
1487.73/1487.78 c 1488s| 2890k|104849 | 34692k| 12.0 | 201M| 106 | - | 200 |3130 | 200 | 225 | 22M| 0 | 25k|-3.633333e+01 |-3.000000e+01 | 17.43%
1492.23/1492.28 c 1492s| 2900k|104925 | 34789k| 12.0 | 201M| 106 | 6 | 200 |3130 | 200 | 229 | 22M| 0 | 25k|-3.633333e+01 |-3.000000e+01 | 17.43%
1496.83/1496.80 c 1497s| 2910k|104953 | 34887k| 12.0 | 201M| 106 | - | 200 |3130 | 200 | 241 | 22M| 0 | 25k|-3.633333e+01 |-3.000000e+01 | 17.43%
1501.23/1501.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1501.23/1501.29 c 1501s| 2920k|104961 | 34982k| 12.0 | 201M| 106 | 53 | 200 |3130 | 200 | 263 | 22M| 0 | 25k|-3.630000e+01 |-3.000000e+01 | 17.36%
1505.73/1505.75 c 1506s| 2930k|104935 | 35078k| 12.0 | 201M| 106 | - | 200 |3130 | 200 | 225 | 22M| 0 | 25k|-3.628571e+01 |-3.000000e+01 | 17.32%
1510.13/1510.13 c 1510s| 2940k|104955 | 35171k| 12.0 | 201M| 106 | 54 | 200 |3130 | 200 | 214 | 22M| 0 | 25k|-3.626667e+01 |-3.000000e+01 | 17.28%
1514.53/1514.58 c 1515s| 2950k|104937 | 35265k| 12.0 | 202M| 106 | 16 | 200 |3130 | 200 | 220 | 22M| 0 | 25k|-3.625000e+01 |-3.000000e+01 | 17.24%
1518.93/1518.99 c 1519s| 2960k|104973 | 35360k| 11.9 | 202M| 106 | 26 | 200 |3130 | 200 | 223 | 22M| 0 | 25k|-3.625000e+01 |-3.000000e+01 | 17.24%
1523.44/1523.45 c 1523s| 2970k|104941 | 35454k| 11.9 | 202M| 106 | 11 | 200 |3130 | 200 | 210 | 22M| 0 | 25k|-3.625000e+01 |-3.000000e+01 | 17.24%
1527.84/1527.84 c 1528s| 2980k|104985 | 35548k| 11.9 | 202M| 106 | - | 200 |3130 | 200 | 218 | 22M| 0 | 25k|-3.625000e+01 |-3.000000e+01 | 17.24%
1532.24/1532.28 c 1532s| 2990k|104935 | 35642k| 11.9 | 202M| 106 | - | 200 |3130 | 200 | 216 | 22M| 0 | 26k|-3.625000e+01 |-3.000000e+01 | 17.24%
1536.74/1536.72 c 1537s| 3000k|104941 | 35737k| 11.9 | 202M| 106 | - | 200 |3130 | 200 | 250 | 23M| 0 | 26k|-3.622222e+01 |-3.000000e+01 | 17.18%
1541.23/1541.21 c 1541s| 3010k|104991 | 35833k| 11.9 | 202M| 106 | - | 200 |3130 | 200 | 232 | 23M| 0 | 26k|-3.620000e+01 |-3.000000e+01 | 17.13%
1545.63/1545.69 c 1546s| 3020k|104993 | 35929k| 11.9 | 202M| 106 | 23 | 200 |3130 | 200 | 220 | 23M| 0 | 26k|-3.620000e+01 |-3.000000e+01 | 17.13%
1550.14/1550.13 c 1550s| 3030k|104967 | 36023k| 11.9 | 203M| 106 | 36 | 200 |3130 | 200 | 215 | 23M| 0 | 26k|-3.617391e+01 |-3.000000e+01 | 17.07%
1554.54/1554.56 c 1555s| 3040k|105015 | 36118k| 11.9 | 203M| 106 | 46 | 200 |3130 | 200 | 228 | 23M| 0 | 26k|-3.616667e+01 |-3.000000e+01 | 17.05%
1558.93/1558.96 c 1559s| 3050k|105063 | 36211k| 11.9 | 203M| 106 | - | 200 |3130 | 200 | 224 | 23M| 0 | 26k|-3.616667e+01 |-3.000000e+01 | 17.05%
1563.33/1563.36 c 1563s| 3060k|105007 | 36304k| 11.9 | 203M| 106 | - | 200 |3130 | 200 | 221 | 23M| 0 | 26k|-3.614286e+01 |-3.000000e+01 | 17.00%
1567.74/1567.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1567.74/1567.78 c 1568s| 3070k|104985 | 36398k| 11.9 | 203M| 106 | - | 200 |3130 | 200 | 239 | 23M| 0 | 26k|-3.612500e+01 |-3.000000e+01 | 16.96%
1572.13/1572.18 c 1572s| 3080k|104973 | 36492k| 11.8 | 203M| 106 | - | 200 |3130 | 200 | 226 | 23M| 0 | 26k|-3.611111e+01 |-3.000000e+01 | 16.92%
1576.63/1576.60 c 1577s| 3090k|104951 | 36585k| 11.8 | 203M| 106 | - | 200 |3130 | 200 | 228 | 23M| 0 | 26k|-3.608333e+01 |-3.000000e+01 | 16.86%
1581.03/1581.00 c 1581s| 3100k|104943 | 36679k| 11.8 | 203M| 106 | 19 | 200 |3130 | 200 | 218 | 23M| 0 | 26k|-3.606250e+01 |-3.000000e+01 | 16.81%
1585.43/1585.42 c 1585s| 3110k|104949 | 36771k| 11.8 | 204M| 106 | 50 | 200 |3130 | 200 | 211 | 23M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1589.83/1589.85 c 1590s| 3120k|104981 | 36866k| 11.8 | 204M| 106 | - | 200 |3130 | 200 | 232 | 23M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1594.34/1594.30 c 1594s| 3130k|104983 | 36961k| 11.8 | 204M| 106 | 68 | 200 |3130 | 200 | 219 | 23M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1598.63/1598.66 c 1599s| 3140k|104981 | 37054k| 11.8 | 204M| 106 | - | 200 |3130 | 200 | 230 | 23M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1603.14/1603.12 c 1603s| 3150k|104951 | 37149k| 11.8 | 204M| 106 | 6 | 200 |3130 | 200 | 216 | 23M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1607.53/1607.55 c 1608s| 3160k|104927 | 37243k| 11.8 | 204M| 106 | - | 200 |3130 | 200 | 253 | 24M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1612.03/1612.00 c 1612s| 3170k|104925 | 37338k| 11.8 | 204M| 106 | 50 | 200 |3130 | 200 | 216 | 24M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1616.34/1616.36 c 1616s| 3180k|104917 | 37430k| 11.8 | 204M| 106 | 36 | 200 |3130 | 200 | 212 | 24M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1620.73/1620.74 c 1621s| 3190k|104897 | 37523k| 11.8 | 204M| 106 | 56 | 200 |3130 | 200 | 235 | 24M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1625.14/1625.12 c 1625s| 3200k|104869 | 37615k| 11.8 | 204M| 106 | 13 | 200 |3130 | 200 | 215 | 24M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1629.43/1629.45 c 1629s| 3210k|104855 | 37707k| 11.7 | 205M| 106 | 22 | 200 |3130 | 200 | 212 | 24M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1633.93/1633.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1633.93/1633.90 c 1634s| 3220k|104853 | 37801k| 11.7 | 205M| 106 | - | 200 |3130 | 200 | 228 | 24M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1638.24/1638.24 c 1638s| 3230k|104841 | 37892k| 11.7 | 205M| 106 | 24 | 200 |3130 | 200 | 233 | 24M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1642.54/1642.57 c 1643s| 3240k|104793 | 37983k| 11.7 | 205M| 106 | - | 200 |3130 | 200 | 235 | 24M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1646.84/1646.88 c 1647s| 3250k|104811 | 38074k| 11.7 | 205M| 106 | 33 | 200 |3130 | 200 | 214 | 24M| 0 | 26k|-3.600000e+01 |-3.000000e+01 | 16.67%
1651.24/1651.29 c 1651s| 3260k|104867 | 38168k| 11.7 | 205M| 106 | 25 | 200 |3130 | 200 | 215 | 24M| 0 | 27k|-3.600000e+01 |-3.000000e+01 | 16.67%
1655.63/1655.63 c 1656s| 3270k|104853 | 38259k| 11.7 | 205M| 106 | - | 200 |3130 | 200 | 216 | 24M| 0 | 27k|-3.600000e+01 |-3.000000e+01 | 16.67%
1660.04/1660.02 c 1660s| 3280k|104911 | 38353k| 11.7 | 205M| 106 | 16 | 200 |3130 | 200 | 224 | 24M| 0 | 27k|-3.600000e+01 |-3.000000e+01 | 16.67%
1664.43/1664.43 c 1664s| 3290k|104929 | 38447k| 11.7 | 206M| 106 | 33 | 200 |3130 | 200 | 218 | 24M| 0 | 27k|-3.600000e+01 |-3.000000e+01 | 16.67%
1668.94/1668.90 c 1669s| 3300k|104957 | 38544k| 11.7 | 206M| 106 | - | 200 |3130 | 200 | 237 | 24M| 0 | 27k|-3.600000e+01 |-3.000000e+01 | 16.67%
1673.34/1673.35 c 1673s| 3310k|104957 | 38638k| 11.7 | 206M| 106 | - | 200 |3130 | 200 | 218 | 24M| 0 | 27k|-3.600000e+01 |-3.000000e+01 | 16.67%
1677.73/1677.71 c 1678s| 3320k|104955 | 38730k| 11.7 | 206M| 106 | 32 | 200 |3130 | 200 | 251 | 24M| 0 | 27k|-3.600000e+01 |-3.000000e+01 | 16.67%
1682.03/1682.09 c 1682s| 3330k|104887 | 38824k| 11.7 | 206M| 106 | - | 200 |3130 | 200 | 218 | 25M| 0 | 27k|-3.600000e+01 |-3.000000e+01 | 16.67%
1686.43/1686.42 c 1686s| 3340k|104823 | 38915k| 11.6 | 206M| 106 | - | 200 |3130 | 200 | 230 | 25M| 0 | 27k|-3.600000e+01 |-3.000000e+01 | 16.67%
1690.84/1690.80 c 1691s| 3350k|104863 | 39009k| 11.6 | 206M| 106 | - | 200 |3130 | 200 | 245 | 25M| 0 | 27k|-3.600000e+01 |-3.000000e+01 | 16.67%
1695.24/1695.29 c 1695s| 3360k|104909 | 39106k| 11.6 | 206M| 106 | 21 | 200 |3130 | 200 | 248 | 25M| 0 | 27k|-3.600000e+01 |-3.000000e+01 | 16.67%
1699.64/1699.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1699.64/1699.66 c 1700s| 3370k|104911 | 39198k| 11.6 | 206M| 106 | 30 | 200 |3130 | 200 | 219 | 25M| 0 | 27k|-3.600000e+01 |-3.000000e+01 | 16.67%
1704.04/1704.08 c 1704s| 3380k|104913 | 39292k| 11.6 | 207M| 109 | - | 200 |3130 | 200 | 250 | 25M| 0 | 27k|-3.600000e+01 |-3.000000e+01 | 16.67%
1708.54/1708.50 c 1709s| 3390k|104931 | 39387k| 11.6 | 207M| 109 | 38 | 200 |3130 | 200 | 232 | 25M| 0 | 27k|-3.600000e+01 |-3.000000e+01 | 16.67%
1712.93/1712.91 c 1713s| 3400k|104945 | 39480k| 11.6 | 207M| 109 | - | 200 |3130 | 200 | 228 | 25M| 0 | 27k|-3.600000e+01 |-3.000000e+01 | 16.67%
1717.33/1717.30 c 1717s| 3410k|104953 | 39573k| 11.6 | 207M| 109 | - | 200 |3130 | 200 | 233 | 25M| 0 | 27k|-3.600000e+01 |-3.000000e+01 | 16.67%
1721.73/1721.71 c 1722s| 3420k|104957 | 39667k| 11.6 | 207M| 109 | - | 200 |3130 | 200 | 230 | 25M| 0 | 27k|-3.594444e+01 |-3.000000e+01 | 16.54%
1726.04/1726.06 c 1726s| 3430k|104933 | 39759k| 11.6 | 207M| 109 | - | 200 |3130 | 200 | 225 | 25M| 0 | 27k|-3.591667e+01 |-3.000000e+01 | 16.47%
1730.34/1730.38 c 1730s| 3440k|104891 | 39849k| 11.6 | 207M| 109 | 28 | 200 |3130 | 200 | 213 | 25M| 0 | 27k|-3.590000e+01 |-3.000000e+01 | 16.43%
1734.64/1734.70 c 1735s| 3450k|104865 | 39940k| 11.6 | 207M| 109 | 40 | 200 |3130 | 200 | 225 | 25M| 0 | 27k|-3.587500e+01 |-3.000000e+01 | 16.38%
1739.04/1739.09 c 1739s| 3460k|104847 | 40032k| 11.6 | 207M| 109 | 4 | 200 |3130 | 200 | 217 | 25M| 0 | 27k|-3.585714e+01 |-3.000000e+01 | 16.33%
1743.44/1743.41 c 1743s| 3470k|104809 | 40122k| 11.6 | 207M| 109 | - | 200 |3130 | 200 | 248 | 25M| 0 | 27k|-3.583333e+01 |-3.000000e+01 | 16.28%
1747.73/1747.79 c 1748s| 3480k|104763 | 40215k| 11.6 | 208M| 109 | - | 200 |3130 | 200 | 224 | 25M| 0 | 27k|-3.583333e+01 |-3.000000e+01 | 16.28%
1752.13/1752.19 c 1752s| 3490k|104739 | 40308k| 11.5 | 208M| 109 | - | 200 |3130 | 200 | 219 | 25M| 0 | 27k|-3.582353e+01 |-3.000000e+01 | 16.26%
1756.44/1756.48 c 1756s| 3500k|104675 | 40398k| 11.5 | 208M| 109 | 61 | 200 |3130 | 200 | 227 | 26M| 0 | 27k|-3.580000e+01 |-3.000000e+01 | 16.20%
1760.84/1760.86 c 1761s| 3510k|104637 | 40490k| 11.5 | 208M| 109 | - | 200 |3130 | 200 | 256 | 26M| 0 | 27k|-3.580000e+01 |-3.000000e+01 | 16.20%
1765.24/1765.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1765.24/1765.20 c 1765s| 3520k|104619 | 40582k| 11.5 | 208M| 109 | 7 | 200 |3130 | 200 | 216 | 26M| 0 | 27k|-3.578571e+01 |-3.000000e+01 | 16.17%
1769.54/1769.52 c 1770s| 3530k|104537 | 40671k| 11.5 | 208M| 109 | - | 200 |3130 | 200 | 234 | 26M| 0 | 27k|-3.576190e+01 |-3.000000e+01 | 16.11%
1773.84/1773.84 c 1774s| 3540k|104515 | 40760k| 11.5 | 208M| 109 | 31 | 200 |3130 | 200 | 216 | 26M| 0 | 27k|-3.575000e+01 |-3.000000e+01 | 16.08%
1778.14/1778.19 c 1778s| 3550k|104465 | 40851k| 11.5 | 208M| 109 | 43 | 200 |3130 | 200 | 212 | 26M| 0 | 27k|-3.575000e+01 |-3.000000e+01 | 16.08%
1782.44/1782.44 c 1782s| 3560k|104407 | 40939k| 11.5 | 208M| 109 | - | 200 |3130 | 200 | 241 | 26M| 0 | 27k|-3.575000e+01 |-3.000000e+01 | 16.08%
1786.74/1786.79 c 1787s| 3570k|104401 | 41031k| 11.5 | 208M| 109 | 15 | 200 |3130 | 200 | 211 | 26M| 0 | 28k|-3.575000e+01 |-3.000000e+01 | 16.08%
1791.04/1791.04 c 1791s| 3580k|104349 | 41119k| 11.5 | 208M| 109 | - | 200 |3130 | 200 | 256 | 26M| 0 | 28k|-3.575000e+01 |-3.000000e+01 | 16.08%
1795.43/1795.40 c 1795s| 3590k|104313 | 41211k| 11.5 | 208M| 109 | 27 | 200 |3130 | 200 | 235 | 26M| 0 | 28k|-3.573684e+01 |-3.000000e+01 | 16.05%
1797.04/1797.00 c
1797.04/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.00 c Solving Time (sec) : 1797.00
1797.04/1797.00 c Solving Nodes : 3593565
1797.04/1797.00 c Primal Bound : -3.00000000000000e+01 (571 solutions)
1797.04/1797.00 c Dual Bound : -3.57222222222222e+01
1797.04/1797.00 c Gap : 16.02 %
1797.04/1797.00 s SATISFIABLE
1797.04/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.04/1797.00 v -x178 -x177 x176 -x175 -x174 x173 -x172 -x171 -x170 x169 x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157
1797.04/1797.00 v x156 x155 x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 x146 -x145 x144 -x143 x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135
1797.04/1797.00 v -x134 -x133 -x132 x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114
1797.04/1797.00 v -x113 -x112 x111 x110 -x109 -x108 -x107 x106 -x105 -x104 x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91
1797.04/1797.00 v -x90 -x89 x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 x79 -x78 -x77 -x76 x75 -x74 x73 -x72 -x71 -x70 x69 -x68 -x67 -x66 -x65
1797.04/1797.00 v x64 -x63 x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 x49 -x48 x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40
1797.04/1797.00 v -x39 -x38 x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14
1797.04/1797.00 v -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1797.04/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.00 c Total Time : 1797.00
1797.04/1797.00 c solving : 1797.00
1797.04/1797.00 c presolving : 0.08 (included in solving)
1797.04/1797.00 c reading : 0.01 (included in solving)
1797.04/1797.00 c Original Problem :
1797.04/1797.00 c Problem name : HOME/instance-3485143-1307784144.opb
1797.04/1797.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.00 c Constraints : 200 initial, 200 maximal
1797.04/1797.00 c Presolved Problem :
1797.04/1797.00 c Problem name : t_HOME/instance-3485143-1307784144.opb
1797.04/1797.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.00 c Constraints : 3130 initial, 3130 maximal
1797.04/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.04/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c probing : 0.02 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c and : 0.03 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c linear : 0.01 3130 0 0 3130 0 200 0 0 0
1797.04/1797.00 c logicor : 0.01 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c root node : - 0 - - 0 - - - - -
1797.04/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.04/1797.00 c integral : 0 0 0 2809435 0 693614 0 250 1853 0 0 3720314
1797.04/1797.00 c logicor : 3130 68 3603976 948260 0 693610 0 25 20659593 26584415 0 0
1797.04/1797.00 c countsols : 0 0 0 8 0 565 0 0 0 0 0 0
1797.04/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.04/1797.00 c integral : 38.95 0.00 0.00 38.78 0.00 0.17 0.00
1797.04/1797.00 c logicor : 155.02 0.02 70.79 43.26 0.00 40.95 0.00
1797.04/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.04/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.04/1797.00 c vbounds : 0 0 0 0
1797.04/1797.00 c rootredcost : 11 0 0 0
1797.04/1797.00 c pseudoobj : 5836351 0 0 0
1797.04/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.04/1797.00 c vbounds : 0.90 0.90 0.00
1797.04/1797.00 c rootredcost : 0.97 0.97 0.00
1797.04/1797.00 c pseudoobj : 24.80 24.80 0.00
1797.04/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.04/1797.00 c propagation : 0.00 25 0 0 0.0 0 0.0 -
1797.04/1797.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.04/1797.00 c applied globally : - - - 0 0.0 - - -
1797.04/1797.00 c applied locally : - - - 0 0.0 - - -
1797.04/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.04/1797.00 c cut pool : 0.04 67 - - 195 - (maximal pool size: 2637)
1797.04/1797.00 c redcost : 14.90 3097028 0 549165 0 0
1797.04/1797.00 c impliedbounds : 0.01 68 0 0 1337 0
1797.04/1797.00 c intobj : 0.00 0 0 0 0 0
1797.04/1797.00 c gomory : 1.68 68 0 0 11241 0
1797.04/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.04/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.04/1797.00 c strongcg : 0.29 20 0 0 8893 0
1797.04/1797.00 c cmir : 0.07 10 0 0 0 0
1797.04/1797.00 c flowcover : 0.05 10 0 0 0 0
1797.04/1797.00 c clique : 0.15 68 0 0 585 0
1797.04/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.04/1797.00 c mcf : 0.00 1 0 0 0 0
1797.04/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.04/1797.00 c rapidlearning : 0.00 0 0 0 0 0
1797.04/1797.00 c Pricers : Time Calls Vars
1797.04/1797.00 c problem variables: 0.00 0 0
1797.04/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.04/1797.00 c relpscost : 37.40 1861175 250 1853 0 0 3720314
1797.04/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.04/1797.00 c inference : 0.00 1 0 0 0 0 2
1797.04/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.04/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.04/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.00 c random : 0.00 0 0 0 0 0 0
1797.04/1797.00 c Primal Heuristics : Time Calls Found
1797.04/1797.00 c LP solutions : 0.05 - 8
1797.04/1797.00 c pseudo solutions : 0.00 - 0
1797.04/1797.00 c feaspump : 0.08 0 0
1797.04/1797.00 c intshifting : 0.04 0 0
1797.04/1797.00 c oneopt : 0.82 14 1
1797.04/1797.00 c crossover : 1.18 42 0
1797.04/1797.00 c objpscostdiving : 0.19 120 4
1797.04/1797.00 c rootsoldiving : 0.28 120 2
1797.04/1797.00 c linesearchdiving : 0.27 240 7
1797.04/1797.00 c fracdiving : 0.31 240 4
1797.04/1797.00 c guideddiving : 0.31 240 3
1797.04/1797.00 c coefdiving : 0.26 240 3
1797.04/1797.00 c pscostdiving : 0.24 240 0
1797.04/1797.00 c veclendiving : 0.24 240 7
1797.04/1797.00 c trivial : 0.00 2 1
1797.04/1797.00 c shiftandpropagate: 0.00 0 0
1797.04/1797.00 c simplerounding : 51.60 1863944 518
1797.04/1797.00 c zirounding : 0.66 1000 10
1797.04/1797.00 c rounding : 5.38 91749 2
1797.04/1797.00 c shifting : 1.41 20552 1
1797.04/1797.00 c twoopt : 0.00 0 0
1797.04/1797.00 c fixandinfer : 0.00 0 0
1797.04/1797.00 c clique : 0.00 0 0
1797.04/1797.00 c intdiving : 0.00 0 0
1797.04/1797.00 c actconsdiving : 0.00 0 0
1797.04/1797.00 c octane : 0.00 0 0
1797.04/1797.00 c rens : 0.00 0 0
1797.04/1797.00 c rins : 0.00 0 0
1797.04/1797.00 c localbranching : 0.00 0 0
1797.04/1797.00 c mutation : 0.00 0 0
1797.04/1797.00 c dins : 0.00 0 0
1797.04/1797.00 c vbounds : 0.00 0 0
1797.04/1797.00 c undercover : 0.00 0 0
1797.04/1797.00 c subnlp : 0.50 0 0
1797.04/1797.00 c trysol : 0.72 0 0
1797.04/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.04/1797.00 c primal LP : 29.29 0 0 0.00 0.00
1797.04/1797.00 c dual LP : 1104.89 4548677 41217871 9.06 37305.08
1797.04/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.04/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.04/1797.00 c diving/probing LP: 1.02 4756 27928 5.87 27309.95
1797.04/1797.00 c strong branching : 17.05 28120 441172 15.69 25874.64
1797.04/1797.00 c (at root node) : - 18 13033 724.06 -
1797.04/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.04/1797.00 c B&B Tree :
1797.04/1797.00 c number of runs : 1
1797.04/1797.00 c nodes : 3593565
1797.04/1797.00 c nodes (total) : 3593565
1797.04/1797.00 c nodes left : 104316
1797.04/1797.00 c max depth : 109
1797.04/1797.00 c max depth (total): 109
1797.04/1797.00 c backtracks : 413234 (11.5%)
1797.04/1797.00 c delayed cutoffs : 0
1797.04/1797.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.04/1797.00 c avg switch length: 5.37
1797.04/1797.00 c switching time : 136.52
1797.04/1797.00 c Solution :
1797.04/1797.00 c Solutions found : 571 (16 improvements)
1797.04/1797.00 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1797.04/1797.00 c Primal Bound : -3.00000000000000e+01 (in run 1, after 944145 nodes, 559.69 seconds, depth 57, found by <relaxation>)
1797.04/1797.00 c Dual Bound : -3.57222222222222e+01
1797.04/1797.00 c Gap : 16.02 %
1797.04/1797.00 c Root Dual Bound : -4.91382442952396e+01
1797.04/1797.00 c Root Iterations : 11259
1797.44/1797.43 c Time complete: 1797.47.
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-3485143-1307784144/watcher-3485143-1307784144 -o /tmp/evaluation-result-3485143-1307784144/solver-3485143-1307784144 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485143-1307784144.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.97 3/177 6369
/proc/meminfo: memFree=30355288/32951124 swapFree=67050916/67111528
[pid=6369] ppid=6367 vsize=9972 CPUtime=0 cores=1,3,5,7
/proc/6369/stat : 6369 (scip-2.0.1.4_2.) R 6367 6369 4338 0 -1 4202496 1496 0 0 0 0 0 0 0 25 0 1 0 870830646 10211328 1450 33554432000 4194304 8979876 140734214077200 18446744073709551615 7893696 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6369/statm: 2493 1450 367 1169 0 1320 0
[startup+0.060825 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 6369
/proc/meminfo: memFree=30355288/32951124 swapFree=67050916/67111528
[pid=6369] ppid=6367 vsize=25016 CPUtime=0.05 cores=1,3,5,7
/proc/6369/stat : 6369 (scip-2.0.1.4_2.) R 6367 6369 4338 0 -1 4202496 5274 0 0 0 5 0 0 0 25 0 1 0 870830646 25616384 4971 33554432000 4194304 8979876 140734214077200 18446744073709551615 18446744073699066034 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6369/statm: 6254 4971 501 1169 0 5081 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 25016
[startup+0.100816 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 6369
/proc/meminfo: memFree=30355288/32951124 swapFree=67050916/67111528
[pid=6369] ppid=6367 vsize=30112 CPUtime=0.09 cores=1,3,5,7
/proc/6369/stat : 6369 (scip-2.0.1.4_2.) R 6367 6369 4338 0 -1 4202496 6715 0 0 0 9 0 0 0 25 0 1 0 870830646 30834688 6412 33554432000 4194304 8979876 140734214077200 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6369/statm: 7528 6412 616 1169 0 6355 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30112
[startup+0.30078 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 6369
/proc/meminfo: memFree=30355288/32951124 swapFree=67050916/67111528
[pid=6369] ppid=6367 vsize=36208 CPUtime=0.29 cores=1,3,5,7
/proc/6369/stat : 6369 (scip-2.0.1.4_2.) R 6367 6369 4338 0 -1 4202496 8295 0 0 0 27 2 0 0 25 0 1 0 870830646 37076992 7853 33554432000 4194304 8979876 140734214077200 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6369/statm: 9052 7853 654 1169 0 7879 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36208
[startup+0.700709 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 6369
/proc/meminfo: memFree=30355288/32951124 swapFree=67050916/67111528
[pid=6369] ppid=6367 vsize=39532 CPUtime=0.68 cores=1,3,5,7
/proc/6369/stat : 6369 (scip-2.0.1.4_2.) R 6367 6369 4338 0 -1 4202496 9177 0 0 0 65 3 0 0 25 0 1 0 870830646 40480768 8735 33554432000 4194304 8979876 140734214077200 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6369/statm: 9883 8735 654 1169 0 8710 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 39532
[startup+1.50057 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 6370
/proc/meminfo: memFree=30321576/32951124 swapFree=67050916/67111528
[pid=6369] ppid=6367 vsize=47292 CPUtime=1.49 cores=1,3,5,7
/proc/6369/stat : 6369 (scip-2.0.1.4_2.) R 6367 6369 4338 0 -1 4202496 11255 0 0 0 142 7 0 0 25 0 1 0 870830646 48427008 10793 33554432000 4194304 8979876 140734214077200 18446744073709551615 6258135 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6369/statm: 11823 10793 659 1169 0 10650 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 47292
[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 6370
/proc/meminfo: memFree=30312772/32951124 swapFree=67050916/67111528
[pid=6369] ppid=6367 vsize=48320 CPUtime=3.09 cores=1,3,5,7
/proc/6369/stat : 6369 (scip-2.0.1.4_2.) R 6367 6369 4338 0 -1 4202496 11529 0 0 0 296 13 0 0 25 0 1 0 870830646 49479680 11051 33554432000 4194304 8979876 140734214077200 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6369/statm: 12080 11051 664 1169 0 10907 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 48320
[startup+6.30071 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 6370
/proc/meminfo: memFree=30311128/32951124 swapFree=67050916/67111528
[pid=6369] ppid=6367 vsize=49216 CPUtime=6.29 cores=1,3,5,7
/proc/6369/stat : 6369 (scip-2.0.1.4_2.) R 6367 6369 4338 0 -1 4202496 12285 0 0 0 592 37 0 0 25 0 1 0 870830646 50397184 11327 33554432000 4194304 8979876 140734214077200 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6369/statm: 12304 11327 683 1169 0 11131 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49216
[startup+12.7006 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 6371
/proc/meminfo: memFree=30309896/32951124 swapFree=67050916/67111528
[pid=6369] ppid=6367 vsize=50524 CPUtime=12.69 cores=1,3,5,7
/proc/6369/stat : 6369 (scip-2.0.1.4_2.) R 6367 6369 4338 0 -1 4202496 20484 0 0 0 1153 116 0 0 25 0 1 0 870830646 51736576 11687 33554432000 4194304 8979876 140734214077200 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6369/statm: 12631 11687 700 1169 0 11458 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 50524
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 6447
/proc/meminfo: memFree=31344560/32951124 swapFree=67050916/67111528
[pid=6369] ppid=6367 vsize=57596 CPUtime=25.49 cores=1,3,5,7
/proc/6369/stat : 6369 (scip-2.0.1.4_2.) R 6367 6369 4338 0 -1 4202496 34093 0 0 0 2276 273 0 0 25 0 1 0 870830646 58978304 13423 33554432000 4194304 8979876 140734214077200 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6369/statm: 14399 13423 700 1169 0 13226 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 57596
[startup+51.1007 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 6448
/proc/meminfo: memFree=31298244/32951124 swapFree=67050916/67111528
[pid=6369] ppid=6367 vsize=69432 CPUtime=51.09 cores=1,3,5,7
/proc/6369/stat : 6369 (scip-2.0.1.4_2.) R 6367 6369 4338 0 -1 4202496 51597 0 0 0 4608 501 0 0 25 0 1 0 870830646 71098368 16373 33554432000 4194304 8979876 140734214077200 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6369/statm: 17358 16373 701 1169 0 16185 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 69432
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 6449
/proc/meminfo: memFree=31278868/32951124 swapFree=67050916/67111528
[pid=6369] ppid=6367 vsize=86340 CPUtime=102.29 cores=1,3,5,7
/proc/6369/stat : 6369 (scip-2.0.1.4_2.) R 6367 6369 4338 0 -1 4202496 68235 0 0 0 9269 960 0 0 25 0 1 0 870830646 88412160 20723 33554432000 4194304 8979876 140734214077200 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6369/statm: 21585 20723 701 1169 0 20412 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 86340
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 6454
/proc/meminfo: memFree=31256228/32951124 swapFree=67050916/67111528
[pid=6369] ppid=6367 vsize=106960 CPUtime=162.29 cores=1,3,5,7
/proc/6369/stat : 6369 (scip-2.0.1.4_2.) R 6367 6369 4338 0 -1 4202496 79290 0 0 0 14713 1516 0 0 25 0 1 0 870830646 109527040 25838 33554432000 4194304 8979876 140734214077200 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6369/statm: 26740 25838 701 1169 0 25567 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 106960
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 6455
/proc/meminfo: memFree=31232164/32951124 swapFree=67050916/67111528
[pid=6369] ppid=6367 vsize=120108 CPUtime=222.3 cores=1,3,5,7
/proc/6369/stat : 6369 (scip-2.0.1.4_2.) R 6367 6369 4338 0 -1 4202496 84516 0 0 0 20154 2076 0 0 25 0 1 0 870830646 122990592 29153 33554432000 4194304 8979876 140734214077200 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6369/statm: 30027 29153 701 1169 0 28854 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 120108
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 6457
/proc/meminfo: memFree=31201980/32951124 swapFree=67050916/67111528
[pid=6369] ppid=6367 vsize=140320 CPUtime=282.3 cores=1,3,5,7
/proc/6369/stat : 6369 (scip-2.0.1.4_2.) R 6367 6369 4338 0 -1 4202496 89615 0 0 0 25595 2635 0 0 25 0 1 0 870830646 143687680 34252 33554432000 4194304 8979876 140734214077200 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6369/statm: 35080 34252 701 1169 0 33907 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 140320
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 6458
/proc/meminfo: memFree=31174760/32951124 swapFree=67050916/67111528
[pid=6369] ppid=6367 vsize=157716 CPUtime=342.3 cores=1,3,5,7
/proc/6369/stat : 6369 (scip-2.0.1.4_2.) R 6367 6369 4338 0 -1 4202496 95649 0 0 0 31045 3185 0 0 25 0 1 0 870830646 161501184 38115 33554432000 4194304 8979876 140734214077200 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6369/statm: 39429 38115 701 1169 0 38256 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 157716
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 6460
/proc/meminfo: memFree=31147568/32951124 swapFree=67050916/67111528
[pid=6369] ppid=6367 vsize=172096 CPUtime=402.3 cores=1,3,5,7
/proc/6369/stat : 6369 (scip-2.0.1.4_2.) R 6367 6369 4338 0 -1 4202496 99285 0 0 0 36471 3759 0 0 25 0 1 0 870830646 176226304 41751 33554432000 4194304 8979876 140734214077200 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6369/statm: 43024 41751 701 1169 0 41851 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 172096
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 6462
/proc/meminfo: memFree=31122600/32951124 swapFree=67050916/67111528
[pid=6369] ppid=6367 vsize=183304 CPUtime=462.31 cores=1,3,5,7
/proc/6369/stat : 6369 (scip-2.0.1.4_2.) R 6367 6369 4338 0 -1 4202496 102125 0 0 0 41909 4322 0 0 25 0 1 0 870830646 187703296 44591 33554432000 4194304 8979876 140734214077200 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6369/statm: 45826 44591 701 1169 0 44653 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 183304
[startup+522.3 s]
/proc/loadavg: 2.07 2.02 1.98 3/178 6463
/proc/meminfo: memFree=31099708/32951124 swapFree=67050916/67111528
[pid=6369] ppid=6367 vsize=197164 CPUtime=522.3 cores=1,3,5,7
/proc/6369/stat : 6369 (scip-2.0.1.4_2.) R 6367 6369 4338 0 -1 4202496 105613 0 0 0 47343 4887 0 0 25 0 1 0 870830646 201895936 48079 33554432000 4194304 8979876 140734214077200 18446744073709551615 5371760 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6369/statm: 49291 48079 701 1169 0 48118 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 197164
[startup+582.301 s]
/proc/loadavg: 2.02 2.01 1.98 3/178 6465
/proc/meminfo: memFree=31076820/32951124 swapFree=67050916/67111528
[pid=6369] ppid=6367 vsize=201580 CPUtime=582.3 cores=1,3,5,7
/proc/6369/stat : 6369 (scip-2.0.1.4_2.) R 6367 6369 4338 0 -1 4202496 122891 0 0 0 52789 5441 0 0 25 0 1 0 870830646 206417920 49280 33554432000 4194304 8979876 140734214077200 18446744073709551615 6546416 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6369/statm: 50395 49280 708 1169 0 49222 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 201580
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=30930700/32951124 swapFree=67050916/67111528
[pid=6369] ppid=6367 vsize=229328 CPUtime=1122.32 cores=1,3,5,7
/proc/6369/stat : 6369 (scip-2.0.1.4_2.) R 6367 6369 4338 0 -1 4202496 139375 0 0 0 101949 10283 0 0 25 0 1 0 870830646 234831872 56175 33554432000 4194304 8979876 140734214077200 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6369/statm: 57332 56175 708 1169 0 56159 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 229328
[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 1.98 3/178 6481
/proc/meminfo: memFree=30915416/32951124 swapFree=67050916/67111528
[pid=6369] ppid=6367 vsize=231492 CPUtime=1182.32 cores=1,3,5,7
/proc/6369/stat : 6369 (scip-2.0.1.4_2.) R 6367 6369 4338 0 -1 4202496 139914 0 0 0 107401 10831 0 0 25 0 1 0 870830646 237047808 56714 33554432000 4194304 8979876 140734214077200 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6369/statm: 57873 56714 708 1169 0 56700 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 231492
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 6482
/proc/meminfo: memFree=30896020/32951124 swapFree=67050916/67111528
[pid=6369] ppid=6367 vsize=236160 CPUtime=1242.33 cores=1,3,5,7
/proc/6369/stat : 6369 (scip-2.0.1.4_2.) R 6367 6369 4338 0 -1 4202496 141082 0 0 0 112878 11355 0 0 25 0 1 0 870830646 241827840 57882 33554432000 4194304 8979876 140734214077200 18446744073709551615 4926007 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6369/statm: 59040 57882 708 1169 0 57867 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 236160
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 6484
/proc/meminfo: memFree=30877876/32951124 swapFree=67050916/67111528
[pid=6369] ppid=6367 vsize=239488 CPUtime=1302.33 cores=1,3,5,7
/proc/6369/stat : 6369 (scip-2.0.1.4_2.) R 6367 6369 4338 0 -1 4202496 141923 0 0 0 118344 11889 0 0 25 0 1 0 870830646 245235712 58723 33554432000 4194304 8979876 140734214077200 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6369/statm: 59872 58723 708 1169 0 58699 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 239488
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 6486
/proc/meminfo: memFree=30857496/32951124 swapFree=67050916/67111528
[pid=6369] ppid=6367 vsize=242240 CPUtime=1362.33 cores=1,3,5,7
/proc/6369/stat : 6369 (scip-2.0.1.4_2.) R 6367 6369 4338 0 -1 4202496 144840 0 0 0 123819 12414 0 0 25 0 1 0 870830646 248053760 59489 33554432000 4194304 8979876 140734214077200 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6369/statm: 60560 59489 708 1169 0 59387 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 242240
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 6487
/proc/meminfo: memFree=30843672/32951124 swapFree=67050916/67111528
[pid=6369] ppid=6367 vsize=244416 CPUtime=1422.33 cores=1,3,5,7
/proc/6369/stat : 6369 (scip-2.0.1.4_2.) R 6367 6369 4338 0 -1 4202496 145311 0 0 0 129313 12920 0 0 25 0 1 0 870830646 250281984 59960 33554432000 4194304 8979876 140734214077200 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6369/statm: 61104 59960 708 1169 0 59931 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 244416
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 6489
/proc/meminfo: memFree=30824280/32951124 swapFree=67050916/67111528
[pid=6369] ppid=6367 vsize=246384 CPUtime=1482.33 cores=1,3,5,7
/proc/6369/stat : 6369 (scip-2.0.1.4_2.) R 6367 6369 4338 0 -1 4202496 145805 0 0 0 134790 13443 0 0 25 0 1 0 870830646 252297216 60454 33554432000 4194304 8979876 140734214077200 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6369/statm: 61596 60454 708 1169 0 60423 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 246384
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 6490
/proc/meminfo: memFree=30809476/32951124 swapFree=67050916/67111528
[pid=6369] ppid=6367 vsize=247728 CPUtime=1542.33 cores=1,3,5,7
/proc/6369/stat : 6369 (scip-2.0.1.4_2.) R 6367 6369 4338 0 -1 4202496 146150 0 0 0 140267 13966 0 0 25 0 1 0 870830646 253673472 60799 33554432000 4194304 8979876 140734214077200 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6369/statm: 61932 60799 708 1169 0 60759 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 247728
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 6492
/proc/meminfo: memFree=30788600/32951124 swapFree=67050916/67111528
[pid=6369] ppid=6367 vsize=250592 CPUtime=1602.33 cores=1,3,5,7
/proc/6369/stat : 6369 (scip-2.0.1.4_2.) R 6367 6369 4338 0 -1 4202496 146859 0 0 0 145751 14482 0 0 25 0 1 0 870830646 256606208 61508 33554432000 4194304 8979876 140734214077200 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6369/statm: 62648 61508 708 1169 0 61475 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 250592
[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 1.99 3/178 6494
/proc/meminfo: memFree=30776284/32951124 swapFree=67050916/67111528
[pid=6369] ppid=6367 vsize=251936 CPUtime=1662.33 cores=1,3,5,7
/proc/6369/stat : 6369 (scip-2.0.1.4_2.) R 6367 6369 4338 0 -1 4202496 147197 0 0 0 151230 15003 0 0 25 0 1 0 870830646 257982464 61846 33554432000 4194304 8979876 140734214077200 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6369/statm: 62984 61846 708 1169 0 61811 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 251936
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 1.99 3/178 6495
/proc/meminfo: memFree=30759856/32951124 swapFree=67050916/67111528
[pid=6369] ppid=6367 vsize=253280 CPUtime=1722.33 cores=1,3,5,7
/proc/6369/stat : 6369 (scip-2.0.1.4_2.) R 6367 6369 4338 0 -1 4202496 147531 0 0 0 156716 15517 0 0 25 0 1 0 870830646 259358720 62180 33554432000 4194304 8979876 140734214077200 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6369/statm: 63320 62180 708 1169 0 62147 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 253280
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 6497
/proc/meminfo: memFree=30738720/32951124 swapFree=67050916/67111528
[pid=6369] ppid=6367 vsize=254640 CPUtime=1782.34 cores=1,3,5,7
/proc/6369/stat : 6369 (scip-2.0.1.4_2.) R 6367 6369 4338 0 -1 4202496 147883 0 0 0 162195 16039 0 0 25 0 1 0 870830646 260751360 62532 33554432000 4194304 8979876 140734214077200 18446744073709551615 4341522 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6369/statm: 63660 62532 708 1169 0 62487 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 254640
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 6497
/proc/meminfo: memFree=30737728/32951124 swapFree=67050916/67111528
[pid=6369] ppid=6367 vsize=254640 CPUtime=1785.54 cores=1,3,5,7
/proc/6369/stat : 6369 (scip-2.0.1.4_2.) R 6367 6369 4338 0 -1 4202496 147883 0 0 0 162487 16067 0 0 25 0 1 0 870830646 260751360 62532 33554432000 4194304 8979876 140734214077200 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6369/statm: 63660 62532 708 1169 0 62487 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 254640
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 6497
/proc/meminfo: memFree=30736236/32951124 swapFree=67050916/67111528
[pid=6369] ppid=6367 vsize=254640 CPUtime=1791.95 cores=1,3,5,7
/proc/6369/stat : 6369 (scip-2.0.1.4_2.) R 6367 6369 4338 0 -1 4202496 147883 0 0 0 163077 16118 0 0 25 0 1 0 870830646 260751360 62532 33554432000 4194304 8979876 140734214077200 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6369/statm: 63660 62532 708 1169 0 62487 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 254640
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 6497
/proc/meminfo: memFree=30735860/32951124 swapFree=67050916/67111528
[pid=6369] ppid=6367 vsize=254640 CPUtime=1795.14 cores=1,3,5,7
/proc/6369/stat : 6369 (scip-2.0.1.4_2.) R 6367 6369 4338 0 -1 4202496 147883 0 0 0 163370 16144 0 0 25 0 1 0 870830646 260751360 62532 33554432000 4194304 8979876 140734214077200 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6369/statm: 63660 62532 708 1169 0 62487 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 254640
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 6497
/proc/meminfo: memFree=30735612/32951124 swapFree=67050916/67111528
[pid=6369] ppid=6367 vsize=255008 CPUtime=1796.73 cores=1,3,5,7
/proc/6369/stat : 6369 (scip-2.0.1.4_2.) R 6367 6369 4338 0 -1 4202496 147958 0 0 0 163516 16157 0 0 25 0 1 0 870830646 261128192 62607 33554432000 4194304 8979876 140734214077200 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6369/statm: 63752 62607 708 1169 0 62579 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 255008
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 6497
/proc/meminfo: memFree=30735612/32951124 swapFree=67050916/67111528
[pid=6369] ppid=6367 vsize=255008 CPUtime=1797.14 cores=1,3,5,7
/proc/6369/stat : 6369 (scip-2.0.1.4_2.) R 6367 6369 4338 0 -1 4202496 147961 0 0 0 163554 16160 0 0 18 0 1 0 870830646 261128192 62610 33554432000 4194304 8979876 140734214077200 18446744073709551615 6778220 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6369/statm: 63752 62610 711 1169 0 62579 0
Current children cumulated CPU time (s) 1797.14
Current children cumulated vsize (KiB) 255008
[startup+1797.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 6497
/proc/meminfo: memFree=30734372/32951124 swapFree=67050916/67111528
[pid=6369] ppid=6367 vsize=255008 CPUtime=1797.34 cores=1,3,5,7
/proc/6369/stat : 6369 (scip-2.0.1.4_2.) R 6367 6369 4338 0 -1 4202496 147961 0 0 0 163574 16160 0 0 18 0 1 0 870830646 261128192 62610 33554432000 4194304 8979876 140734214077200 18446744073709551615 6778271 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6369/statm: 63752 62610 711 1169 0 62579 0
Current children cumulated CPU time (s) 1797.34
Current children cumulated vsize (KiB) 255008
[startup+1797.41 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 6497
/proc/meminfo: memFree=30734372/32951124 swapFree=67050916/67111528
[pid=6369] ppid=6367 vsize=255008 CPUtime=1797.44 cores=1,3,5,7
/proc/6369/stat : 6369 (scip-2.0.1.4_2.) R 6367 6369 4338 0 -1 4202496 147961 0 0 0 163584 16160 0 0 18 0 1 0 870830646 261128192 62610 33554432000 4194304 8979876 140734214077200 18446744073709551615 4897609 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6369/statm: 63752 62610 711 1169 0 62579 0
Current children cumulated CPU time (s) 1797.44
Current children cumulated vsize (KiB) 255008
Child status: 0
Real time (s): 1797.44
CPU time (s): 1797.48
CPU user time (s): 1635.87
CPU system time (s): 161.616
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 255008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1635.87
system time used= 161.616
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 147966
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= 7
involuntary context switches= 20447
runsolver used 2.45563 second user time and 5.74913 second system time
The end