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-3485127-1307783374.opb>
0.00/0.00 c original problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 200 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.01 o 0
0.00/0.01 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.01 c presolving:
0.03/0.03 c (round 1) 1244 del vars, 200 del conss, 0 add conss, 1244 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4976 impls, 0 clqs
0.03/0.04 c (round 2) 1244 del vars, 200 del conss, 0 add conss, 1244 chg bounds, 0 chg sides, 0 chg coeffs, 1244 upgd conss, 7464 impls, 0 clqs
0.03/0.05 c (0.1s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.03/0.05 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.03/0.05 c presolving (3 rounds):
0.03/0.05 c 1244 deleted vars, 200 deleted constraints, 0 added constraints, 1244 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.03/0.05 c 7464 implications, 0 cliques
0.03/0.05 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 1244 constraints
0.03/0.05 c 1244 constraints of type <logicor>
0.03/0.05 c transformed objective value is always integral (scale: 1)
0.03/0.05 c Presolving Time: 0.05
0.03/0.05 c - non default parameters ----------------------------------------------------------------------
0.03/0.05 c # SCIP version 2.0.1.4
0.03/0.05 c
0.03/0.05 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.03/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.03/0.05 c conflict/interconss = 0
0.03/0.05 c
0.03/0.05 c # should binary conflicts be preferred?
0.03/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.05 c conflict/preferbinary = TRUE
0.03/0.05 c
0.03/0.05 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.03/0.05 c # [type: int, range: [-1,2147483647], default: 0]
0.03/0.05 c constraints/agelimit = 1
0.03/0.05 c
0.03/0.05 c # should enforcement of pseudo solution be disabled?
0.03/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.05 c constraints/disableenfops = TRUE
0.03/0.05 c
0.03/0.05 c # frequency for displaying node information lines
0.03/0.05 c # [type: int, range: [-1,2147483647], default: 100]
0.03/0.05 c display/freq = 10000
0.03/0.05 c
0.03/0.05 c # maximal time in seconds to run
0.03/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.03/0.05 c limits/time = 1797
0.03/0.05 c
0.03/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.03/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.03/0.05 c limits/memory = 13950
0.03/0.05 c
0.03/0.05 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.03/0.05 c # [type: int, range: [1,2], default: 1]
0.03/0.05 c timing/clocktype = 2
0.03/0.05 c
0.03/0.05 c # belongs reading time to solving time?
0.03/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.05 c timing/reading = TRUE
0.03/0.05 c
0.03/0.05 c # should presolving try to simplify inequalities
0.03/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.05 c constraints/linear/simplifyinequalities = TRUE
0.03/0.05 c
0.03/0.05 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.03/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.05 c constraints/indicator/addCouplingCons = TRUE
0.03/0.05 c
0.03/0.05 c # should presolving try to simplify knapsacks
0.03/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.05 c constraints/knapsack/simplifyinequalities = TRUE
0.03/0.05 c
0.03/0.05 c -----------------------------------------------------------------------------------------------
0.03/0.05 c start solving
0.03/0.05 c
0.03/0.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.03/0.06 c t 0.1s| 1 | 0 | 218 | - |3226k| 0 | 200 | 200 |1244 | 200 |1244 | 0 | 0 | 0 |-1.000000e+02 | 0.000000e+00 | 100.00%
0.03/0.06 o -1
0.03/0.06 c R 0.1s| 1 | 0 | 218 | - |3229k| 0 | 200 | 200 |1244 | 200 |1244 | 0 | 0 | 0 |-1.000000e+02 |-1.000000e+00 | 99.00%
0.03/0.06 o -2
0.03/0.06 c s 0.1s| 1 | 0 | 218 | - |3231k| 0 | 200 | 200 |1244 | 200 |1244 | 0 | 0 | 0 |-1.000000e+02 |-2.000000e+00 | 98.00%
0.03/0.08 c 0.1s| 1 | 0 | 331 | - |3237k| 0 | 191 | 200 |1244 | 200 |1255 | 11 | 0 | 0 |-9.550000e+01 |-2.000000e+00 | 97.91%
0.03/0.08 o -38
0.03/0.08 c b 0.1s| 1 | 0 | 331 | - |3242k| 0 | 191 | 200 |1244 | 200 |1255 | 11 | 0 | 0 |-9.550000e+01 |-3.800000e+01 | 60.21%
0.09/0.11 c 0.1s| 1 | 0 | 441 | - |3260k| 0 | 184 | 200 |1244 | 200 |1265 | 21 | 0 | 0 |-9.200000e+01 |-3.800000e+01 | 58.70%
0.09/0.14 c 0.1s| 1 | 0 | 555 | - |3267k| 0 | 180 | 200 |1244 | 200 |1274 | 30 | 0 | 0 |-9.000000e+01 |-3.800000e+01 | 57.78%
0.09/0.18 c 0.2s| 1 | 0 | 788 | - |3273k| 0 | 181 | 200 |1244 | 200 |1281 | 37 | 0 | 0 |-8.850000e+01 |-3.800000e+01 | 57.06%
0.19/0.24 c 0.2s| 1 | 0 | 1039 | - |3354k| 0 | 174 | 200 |1244 | 200 |1291 | 47 | 0 | 0 |-8.675000e+01 |-3.800000e+01 | 56.20%
0.19/0.29 c 0.3s| 1 | 0 | 1296 | - |3375k| 0 | 171 | 200 |1244 | 200 |1300 | 56 | 0 | 0 |-8.525000e+01 |-3.800000e+01 | 55.43%
0.29/0.33 c 0.3s| 1 | 0 | 1481 | - |3392k| 0 | 169 | 200 |1244 | 200 |1308 | 64 | 0 | 0 |-8.450000e+01 |-3.800000e+01 | 55.03%
0.39/0.42 c 0.4s| 1 | 0 | 1688 | - |3458k| 0 | 173 | 200 |1244 | 200 |1314 | 70 | 0 | 0 |-8.350000e+01 |-3.800000e+01 | 54.49%
0.39/0.49 c 0.5s| 1 | 0 | 2002 | - |3872k| 0 | 172 | 200 |1244 | 200 |1324 | 80 | 0 | 0 |-8.150000e+01 |-3.800000e+01 | 53.37%
0.59/0.60 c 0.6s| 1 | 0 | 2795 | - |3892k| 0 | 182 | 200 |1244 | 200 |1331 | 87 | 0 | 0 |-8.000000e+01 |-3.800000e+01 | 52.50%
0.59/0.67 c 0.7s| 1 | 0 | 2957 | - |4044k| 0 | 159 | 200 |1244 | 200 | 450 | 95 | 0 | 0 |-7.900000e+01 |-3.800000e+01 | 51.90%
0.69/0.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.69/0.70 c 0.7s| 1 | 0 | 3399 | - |4080k| 0 | 186 | 200 |1244 | 200 | 461 | 106 | 0 | 0 |-7.850000e+01 |-3.800000e+01 | 51.59%
0.69/0.76 c 0.8s| 1 | 0 | 3613 | - |4506k| 0 | 179 | 200 |1244 | 200 | 545 | 190 | 0 | 0 |-7.820213e+01 |-3.800000e+01 | 51.41%
0.79/0.82 c 0.8s| 1 | 0 | 3972 | - |4871k| 0 | 183 | 200 |1244 | 200 | 596 | 241 | 0 | 0 |-7.764793e+01 |-3.800000e+01 | 51.06%
0.79/0.89 c 0.9s| 1 | 0 | 4501 | - |5120k| 0 | 180 | 200 |1244 | 200 | 615 | 260 | 0 | 0 |-7.624242e+01 |-3.800000e+01 | 50.16%
0.89/0.94 c 0.9s| 1 | 0 | 4794 | - |5605k| 0 | 183 | 200 |1244 | 200 | 632 | 277 | 0 | 0 |-7.532297e+01 |-3.800000e+01 | 49.55%
0.99/1.02 c 1.0s| 1 | 0 | 5131 | - |6773k| 0 | 174 | 200 |1244 | 200 | 519 | 300 | 0 | 0 |-7.472222e+01 |-3.800000e+01 | 49.14%
0.99/1.07 c 1.1s| 1 | 0 | 5353 | - |7496k| 0 | 189 | 200 |1244 | 200 | 539 | 320 | 0 | 0 |-7.411852e+01 |-3.800000e+01 | 48.73%
1.09/1.15 c 1.1s| 1 | 0 | 5630 | - |8820k| 0 | 188 | 200 |1244 | 200 | 587 | 368 | 0 | 0 |-7.343068e+01 |-3.800000e+01 | 48.25%
1.19/1.23 c 1.2s| 1 | 0 | 6001 | - | 10M| 0 | 189 | 200 |1244 | 200 | 603 | 384 | 0 | 0 |-7.250630e+01 |-3.800000e+01 | 47.59%
1.19/1.27 c 1.3s| 1 | 0 | 6144 | - | 10M| 0 | 194 | 200 |1244 | 200 | 636 | 417 | 0 | 0 |-7.198408e+01 |-3.800000e+01 | 47.21%
1.29/1.33 c 1.3s| 1 | 0 | 6368 | - | 11M| 0 | 194 | 200 |1244 | 200 | 660 | 441 | 0 | 0 |-7.142058e+01 |-3.800000e+01 | 46.79%
1.29/1.38 c 1.4s| 1 | 0 | 6692 | - | 11M| 0 | 198 | 200 |1244 | 200 | 547 | 462 | 0 | 0 |-7.097339e+01 |-3.800000e+01 | 46.46%
1.39/1.42 c 1.4s| 1 | 0 | 6877 | - | 11M| 0 | 198 | 200 |1244 | 200 | 561 | 476 | 0 | 0 |-7.066553e+01 |-3.800000e+01 | 46.23%
1.39/1.46 c 1.5s| 1 | 0 | 7009 | - | 11M| 0 | 195 | 200 |1244 | 200 | 581 | 496 | 0 | 0 |-7.029480e+01 |-3.800000e+01 | 45.94%
1.49/1.51 c 1.5s| 1 | 0 | 7179 | - | 11M| 0 | 198 | 200 |1244 | 200 | 595 | 510 | 0 | 0 |-6.991544e+01 |-3.800000e+01 | 45.65%
1.49/1.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.49/1.54 c 1.5s| 1 | 0 | 7267 | - | 11M| 0 | 198 | 200 |1244 | 200 | 604 | 519 | 0 | 0 |-6.983000e+01 |-3.800000e+01 | 45.58%
1.49/1.58 c 1.6s| 1 | 0 | 7316 | - | 11M| 0 | 198 | 200 |1244 | 200 | 611 | 526 | 0 | 0 |-6.981454e+01 |-3.800000e+01 | 45.57%
1.59/1.62 c 1.6s| 1 | 0 | 7352 | - | 11M| 0 | 197 | 200 |1244 | 200 | 424 | 534 | 0 | 0 |-6.977579e+01 |-3.800000e+01 | 45.54%
1.59/1.65 c 1.7s| 1 | 0 | 7389 | - | 11M| 0 | 197 | 200 |1244 | 200 | 431 | 541 | 0 | 0 |-6.976905e+01 |-3.800000e+01 | 45.53%
1.59/1.68 c 1.7s| 1 | 0 | 7403 | - | 11M| 0 | 197 | 200 |1244 | 200 | 438 | 548 | 0 | 0 |-6.976692e+01 |-3.800000e+01 | 45.53%
1.69/1.70 c 1.7s| 1 | 0 | 7412 | - | 11M| 0 | 197 | 200 |1244 | 200 | 439 | 549 | 0 | 0 |-6.976627e+01 |-3.800000e+01 | 45.53%
1.69/1.73 c 1.7s| 1 | 0 | 7424 | - | 11M| 0 | 197 | 200 |1244 | 200 | 440 | 550 | 0 | 0 |-6.976574e+01 |-3.800000e+01 | 45.53%
1.69/1.76 c 1.8s| 1 | 0 | 7429 | - | 11M| 0 | 197 | 200 |1244 | 200 | 441 | 551 | 0 | 0 |-6.976560e+01 |-3.800000e+01 | 45.53%
3.19/3.21 c 3.2s| 1 | 2 | 7429 | - | 11M| 0 | 197 | 200 |1244 | 200 | 441 | 551 | 0 | 58 |-6.976560e+01 |-3.800000e+01 | 45.53%
3.39/3.45 o -40
3.39/3.45 c * 3.5s| 17 | 16 | 8051 | 38.9 | 11M| 16 | - | 200 |1244 | 200 | 273 | 682 | 0 | 332 |-6.924186e+01 |-4.000000e+01 | 42.23%
3.49/3.58 o -42
3.49/3.58 c * 3.6s| 30 | 24 | 8403 | 33.6 | 11M| 17 | - | 200 |1244 | 200 | 287 | 884 | 0 | 532 |-6.924186e+01 |-4.200000e+01 | 39.34%
3.89/3.93 o -43
3.89/3.93 c * 3.9s| 61 | 47 | 9364 | 32.2 | 11M| 18 | - | 200 |1244 | 200 | 267 |1175 | 0 | 966 |-6.913068e+01 |-4.300000e+01 | 37.80%
4.49/4.52 o -44
4.49/4.52 c * 4.5s| 213 | 158 | 13646 | 29.3 | 12M| 21 | - | 200 |1244 | 200 | 247 |2876 | 0 |1531 |-6.895320e+01 |-4.400000e+01 | 36.19%
4.49/4.53 o -45
4.49/4.53 c l 4.5s| 228 | 150 | 13903 | 28.5 | 12M| 23 | - | 200 |1244 | 200 | 270 |3024 | 0 |1532 |-6.895320e+01 |-4.500000e+01 | 34.74%
4.59/4.66 o -47
4.59/4.66 c * 4.7s| 354 | 185 | 16909 | 26.9 | 12M| 23 | - | 200 |1244 | 200 | 279 |4552 | 0 |1538 |-6.895320e+01 |-4.700000e+01 | 31.84%
10.29/10.34 o -48
10.29/10.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.29/10.34 c p10.3s| 3691 | 3217 |170884 | 44.3 | 14M| 29 | - | 200 |1244 | 200 | 269 | 61k| 0 |1615 |-6.709091e+01 |-4.800000e+01 | 28.46%
19.49/19.51 c 19.5s| 10000 | 8586 |422166 | 41.5 | 19M| 34 | 54 | 200 |1244 | 200 | 244 | 166k| 0 |2344 |-6.637143e+01 |-4.800000e+01 | 27.68%
32.49/32.56 c 32.6s| 20000 | 16424 |782600 | 38.8 | 26M| 37 | 15 | 200 |1244 | 200 | 257 | 328k| 0 |3421 |-6.566667e+01 |-4.800000e+01 | 26.90%
44.69/44.74 c 44.7s| 30000 | 24050 | 1123k| 37.2 | 32M| 39 | 11 | 200 |1244 | 200 | 199 | 485k| 0 |4348 |-6.525000e+01 |-4.800000e+01 | 26.44%
51.50/51.50 o -49
51.50/51.50 c *51.5s| 36156 | 25010 | 1314k| 36.2 | 34M| 43 | - | 200 |1244 | 200 | 242 | 579k| 0 |4719 |-6.500000e+01 |-4.900000e+01 | 24.62%
55.29/55.37 c 55.4s| 40000 | 27150 | 1422k| 35.4 | 36M| 43 | - | 200 |1244 | 200 | 248 | 635k| 0 |4961 |-6.500000e+01 |-4.900000e+01 | 24.62%
65.10/65.17 c 65.2s| 50000 | 32606 | 1698k| 33.8 | 41M| 43 | 59 | 200 |1244 | 200 | 247 | 779k| 0 |5478 |-6.453333e+01 |-4.900000e+01 | 24.07%
74.39/74.48 c 74.5s| 60000 | 37716 | 1962k| 32.6 | 46M| 44 | 75 | 200 |1244 | 200 | 241 | 919k| 0 |5936 |-6.428571e+01 |-4.900000e+01 | 23.78%
83.99/84.02 c 84.0s| 70000 | 42688 | 2231k| 31.8 | 51M| 44 | 15 | 200 |1244 | 200 | 239 |1062k| 0 |6377 |-6.400000e+01 |-4.900000e+01 | 23.44%
93.29/93.34 c 93.3s| 80000 | 47666 | 2496k| 31.1 | 56M| 44 | - | 200 |1244 | 200 | 247 |1204k| 0 |6803 |-6.386000e+01 |-4.900000e+01 | 23.27%
102.59/102.67 c 103s| 90000 | 52658 | 2759k| 30.6 | 61M| 44 | - | 200 |1244 | 200 | 220 |1344k| 0 |7262 |-6.360000e+01 |-4.900000e+01 | 22.96%
111.60/111.66 c 112s|100000 | 57572 | 3014k| 30.1 | 65M| 46 | 99 | 200 |1244 | 200 | 225 |1480k| 0 |7595 |-6.337500e+01 |-4.900000e+01 | 22.68%
120.19/120.29 c 120s|110000 | 62146 | 3257k| 29.5 | 70M| 46 | 21 | 200 |1244 | 200 | 245 |1610k| 0 |7913 |-6.316667e+01 |-4.900000e+01 | 22.43%
128.90/128.94 c 129s|120000 | 66422 | 3500k| 29.1 | 74M| 46 | 65 | 200 |1244 | 200 | 249 |1745k| 0 |8228 |-6.300000e+01 |-4.900000e+01 | 22.22%
137.40/137.47 c 137s|130000 | 70688 | 3738k| 28.7 | 78M| 46 | - | 200 |1244 | 200 | 235 |1878k| 0 |8538 |-6.297297e+01 |-4.900000e+01 | 22.19%
145.79/145.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
145.79/145.88 c 146s|140000 | 74970 | 3973k| 28.3 | 82M| 46 | 62 | 200 |1244 | 200 | 264 |2006k| 0 |8848 |-6.275000e+01 |-4.900000e+01 | 21.91%
154.00/154.07 c 154s|150000 | 79102 | 4204k| 28.0 | 86M| 46 | 60 | 200 |1244 | 200 | 246 |2134k| 0 |9106 |-6.260000e+01 |-4.900000e+01 | 21.73%
162.40/162.40 c 162s|160000 | 83406 | 4436k| 27.7 | 91M| 46 | 51 | 200 |1244 | 200 | 233 |2257k| 0 |9384 |-6.250000e+01 |-4.900000e+01 | 21.60%
170.59/170.66 c 171s|170000 | 87314 | 4666k| 27.4 | 95M| 46 | 49 | 200 |1244 | 200 | 217 |2384k| 0 |9672 |-6.235294e+01 |-4.900000e+01 | 21.42%
178.59/178.61 c 179s|180000 | 91142 | 4888k| 27.1 | 98M| 47 | - | 200 |1244 | 200 | 240 |2508k| 0 |9896 |-6.225000e+01 |-4.900000e+01 | 21.29%
186.49/186.59 c 187s|190000 | 94868 | 5110k| 26.9 | 102M| 47 | 17 | 200 |1244 | 200 | 247 |2632k| 0 | 10k|-6.212500e+01 |-4.900000e+01 | 21.13%
194.30/194.34 c 194s|200000 | 98530 | 5322k| 26.6 | 106M| 47 | 45 | 200 |1244 | 200 | 223 |2751k| 0 | 10k|-6.200000e+01 |-4.900000e+01 | 20.97%
202.00/202.00 c 202s|210000 |101752 | 5533k| 26.3 | 109M| 52 | 3 | 200 |1244 | 200 | 235 |2874k| 0 | 10k|-6.200000e+01 |-4.900000e+01 | 20.97%
205.99/206.06 o -50
205.99/206.06 c * 206s|215610 | 81691 | 5644k| 26.1 | 93M| 52 | - | 200 |1244 | 200 | 265 |2939k| 0 | 10k|-6.200000e+01 |-5.000000e+01 | 19.35%
209.09/209.11 c 209s|220000 | 82599 | 5726k| 26.0 | 94M| 52 | 46 | 200 |1244 | 200 | 199 |2992k| 0 | 10k|-6.200000e+01 |-5.000000e+01 | 19.35%
215.90/215.99 c 216s|230000 | 84765 | 5910k| 25.7 | 96M| 52 | - | 200 |1244 | 200 | 254 |3102k| 0 | 10k|-6.188889e+01 |-5.000000e+01 | 19.21%
222.79/222.87 c 223s|240000 | 86917 | 6097k| 25.4 | 99M| 52 | - | 200 |1244 | 200 | 245 |3216k| 0 | 11k|-6.180000e+01 |-5.000000e+01 | 19.09%
229.70/229.73 c 230s|250000 | 88845 | 6279k| 25.1 | 101M| 52 | 15 | 200 |1244 | 200 | 223 |3332k| 0 | 11k|-6.171429e+01 |-5.000000e+01 | 18.98%
236.40/236.42 c 236s|260000 | 91039 | 6459k| 24.8 | 104M| 52 | 55 | 200 |1244 | 200 | 231 |3445k| 0 | 11k|-6.166667e+01 |-5.000000e+01 | 18.92%
243.30/243.30 c 243s|270000 | 93203 | 6644k| 24.6 | 106M| 52 | - | 200 |1244 | 200 | 248 |3558k| 0 | 11k|-6.157143e+01 |-5.000000e+01 | 18.79%
249.80/249.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
249.80/249.86 c 250s|280000 | 95105 | 6817k| 24.3 | 108M| 52 | 27 | 200 |1244 | 200 | 222 |3669k| 0 | 11k|-6.150000e+01 |-5.000000e+01 | 18.70%
256.50/256.53 c 257s|290000 | 97187 | 6994k| 24.1 | 111M| 52 | - | 200 |1244 | 200 | 240 |3779k| 0 | 12k|-6.150000e+01 |-5.000000e+01 | 18.70%
257.10/257.18 o -51
257.10/257.18 c * 257s|290943 | 75646 | 7011k| 24.1 | 91M| 52 | - | 200 |1244 | 200 | 271 |3790k| 0 | 12k|-6.150000e+01 |-5.100000e+01 | 17.07%
263.10/263.15 c 263s|300000 | 77011 | 7169k| 23.9 | 93M| 52 | 60 | 200 |1244 | 200 | 231 |3897k| 0 | 12k|-6.150000e+01 |-5.100000e+01 | 17.07%
269.60/269.66 c 270s|310000 | 78477 | 7341k| 23.7 | 95M| 52 | - | 200 |1244 | 200 | 222 |4011k| 0 | 12k|-6.140000e+01 |-5.100000e+01 | 16.94%
276.20/276.20 c 276s|320000 | 79911 | 7512k| 23.5 | 96M| 52 | - | 200 |1244 | 200 | 252 |4124k| 0 | 12k|-6.133333e+01 |-5.100000e+01 | 16.85%
282.71/282.72 c 283s|330000 | 81391 | 7685k| 23.3 | 98M| 52 | - | 200 |1244 | 200 | 285 |4238k| 0 | 12k|-6.127907e+01 |-5.100000e+01 | 16.77%
289.00/289.04 c 289s|340000 | 82747 | 7850k| 23.1 | 100M| 52 | - | 200 |1244 | 200 | 244 |4350k| 0 | 12k|-6.125000e+01 |-5.100000e+01 | 16.73%
295.30/295.31 c 295s|350000 | 83981 | 8013k| 22.9 | 101M| 52 | 36 | 200 |1244 | 200 | 245 |4460k| 0 | 13k|-6.116667e+01 |-5.100000e+01 | 16.62%
301.60/301.61 c 302s|360000 | 85249 | 8179k| 22.7 | 103M| 52 | 47 | 200 |1244 | 200 | 237 |4571k| 0 | 13k|-6.108333e+01 |-5.100000e+01 | 16.51%
308.01/308.04 c 308s|370000 | 86763 | 8347k| 22.5 | 105M| 52 | 82 | 200 |1244 | 200 | 257 |4679k| 0 | 13k|-6.100000e+01 |-5.100000e+01 | 16.39%
314.30/314.36 c 314s|380000 | 87959 | 8515k| 22.4 | 106M| 52 | - | 200 |1244 | 200 | 274 |4793k| 0 | 13k|-6.100000e+01 |-5.100000e+01 | 16.39%
320.60/320.68 c 321s|390000 | 89283 | 8681k| 22.2 | 108M| 52 | - | 200 |1244 | 200 | 253 |4906k| 0 | 13k|-6.100000e+01 |-5.100000e+01 | 16.39%
326.89/326.96 c 327s|400000 | 90673 | 8846k| 22.1 | 110M| 52 | 83 | 200 |1244 | 200 | 249 |5018k| 0 | 13k|-6.100000e+01 |-5.100000e+01 | 16.39%
333.20/333.28 c 333s|410000 | 92059 | 9011k| 22.0 | 111M| 52 | 19 | 200 |1244 | 200 | 242 |5126k| 0 | 13k|-6.100000e+01 |-5.100000e+01 | 16.39%
339.70/339.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
339.70/339.74 c 340s|420000 | 93571 | 9180k| 21.8 | 113M| 53 | - | 200 |1244 | 200 | 245 |5234k| 0 | 14k|-6.100000e+01 |-5.100000e+01 | 16.39%
346.00/346.01 c 346s|430000 | 94943 | 9343k| 21.7 | 115M| 53 | 91 | 200 |1244 | 200 | 243 |5344k| 0 | 14k|-6.095238e+01 |-5.100000e+01 | 16.33%
352.10/352.13 c 352s|440000 | 96209 | 9501k| 21.6 | 117M| 53 | - | 200 |1244 | 200 | 241 |5450k| 0 | 14k|-6.087500e+01 |-5.100000e+01 | 16.22%
358.30/358.36 c 358s|450000 | 97593 | 9662k| 21.5 | 118M| 53 | 34 | 200 |1244 | 200 | 236 |5557k| 0 | 14k|-6.083333e+01 |-5.100000e+01 | 16.16%
364.50/364.58 c 365s|460000 | 98941 | 9822k| 21.3 | 120M| 53 | - | 200 |1244 | 200 | 252 |5662k| 0 | 14k|-6.077778e+01 |-5.100000e+01 | 16.09%
370.80/370.86 c 371s|470000 |100485 | 9987k| 21.2 | 122M| 53 | 99 | 200 |1244 | 200 | 222 |5769k| 0 | 14k|-6.075000e+01 |-5.100000e+01 | 16.05%
376.90/376.99 c 377s|480000 |101771 | 10148k| 21.1 | 123M| 54 | 90 | 200 |1244 | 200 | 246 |5877k| 0 | 14k|-6.073913e+01 |-5.100000e+01 | 16.03%
383.10/383.17 c 383s|490000 |103133 | 10307k| 21.0 | 125M| 54 | 26 | 200 |1244 | 200 | 223 |5983k| 0 | 14k|-6.066667e+01 |-5.100000e+01 | 15.93%
389.31/389.38 c 389s|500000 |104443 | 10469k| 20.9 | 127M| 59 | - | 200 |1244 | 200 | 233 |6092k| 0 | 15k|-6.066667e+01 |-5.100000e+01 | 15.93%
395.30/395.36 c 395s|510000 |105567 | 10622k| 20.8 | 128M| 60 | 7 | 200 |1244 | 200 | 225 |6194k| 0 | 15k|-6.063810e+01 |-5.100000e+01 | 15.89%
401.30/401.31 c 401s|520000 |106743 | 10775k| 20.7 | 129M| 61 | - | 200 |1244 | 200 | 268 |6295k| 0 | 15k|-6.060000e+01 |-5.100000e+01 | 15.84%
407.10/407.16 c 407s|530000 |107631 | 10922k| 20.6 | 131M| 61 | - | 200 |1244 | 200 | 247 |6400k| 0 | 15k|-6.050505e+01 |-5.100000e+01 | 15.71%
413.01/413.06 c 413s|540000 |108689 | 11075k| 20.5 | 132M| 61 | 14 | 200 |1244 | 200 | 241 |6506k| 0 | 15k|-6.050000e+01 |-5.100000e+01 | 15.70%
418.91/418.98 c 419s|550000 |109775 | 11227k| 20.4 | 133M| 61 | 4 | 200 |1244 | 200 | 221 |6609k| 0 | 15k|-6.050000e+01 |-5.100000e+01 | 15.70%
424.90/424.94 c 425s|560000 |110737 | 11381k| 20.3 | 135M| 61 | 26 | 200 |1244 | 200 | 220 |6713k| 0 | 15k|-6.050000e+01 |-5.100000e+01 | 15.70%
430.80/430.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
430.80/430.81 c 431s|570000 |111695 | 11531k| 20.2 | 136M| 61 | - | 200 |1244 | 200 | 253 |6814k| 0 | 15k|-6.050000e+01 |-5.100000e+01 | 15.70%
436.61/436.61 c 437s|580000 |112665 | 11679k| 20.1 | 137M| 61 | - | 200 |1244 | 200 | 277 |6915k| 0 | 15k|-6.050000e+01 |-5.100000e+01 | 15.70%
442.51/442.50 c 442s|590000 |113713 | 11832k| 20.0 | 138M| 61 | 57 | 200 |1244 | 200 | 244 |7023k| 0 | 16k|-6.050000e+01 |-5.100000e+01 | 15.70%
448.30/448.36 c 448s|600000 |114993 | 11984k| 20.0 | 140M| 61 | 24 | 200 |1244 | 200 | 225 |7124k| 0 | 16k|-6.046667e+01 |-5.100000e+01 | 15.66%
454.30/454.38 c 454s|610000 |116005 | 12138k| 19.9 | 141M| 61 | - | 200 |1244 | 200 | 240 |7228k| 0 | 16k|-6.040000e+01 |-5.100000e+01 | 15.56%
460.20/460.28 c 460s|620000 |116971 | 12288k| 19.8 | 142M| 61 | - | 200 |1244 | 200 | 251 |7330k| 0 | 16k|-6.037500e+01 |-5.100000e+01 | 15.53%
466.10/466.11 c 466s|630000 |118021 | 12437k| 19.7 | 144M| 61 | 44 | 200 |1244 | 200 | 247 |7432k| 0 | 16k|-6.033333e+01 |-5.100000e+01 | 15.47%
471.81/471.89 c 472s|640000 |118965 | 12585k| 19.7 | 145M| 61 | 63 | 200 |1244 | 200 | 255 |7535k| 0 | 16k|-6.033333e+01 |-5.100000e+01 | 15.47%
477.80/477.84 c 478s|650000 |120055 | 12738k| 19.6 | 146M| 61 | 19 | 200 |1244 | 200 | 253 |7639k| 0 | 16k|-6.033333e+01 |-5.100000e+01 | 15.47%
483.70/483.73 c 484s|660000 |120961 | 12888k| 19.5 | 148M| 61 | 15 | 200 |1244 | 200 | 219 |7740k| 0 | 16k|-6.025000e+01 |-5.100000e+01 | 15.35%
489.60/489.63 c 490s|670000 |122047 | 13040k| 19.5 | 149M| 61 | 56 | 200 |1244 | 200 | 241 |7840k| 0 | 16k|-6.025000e+01 |-5.100000e+01 | 15.35%
495.41/495.44 c 495s|680000 |123169 | 13187k| 19.4 | 150M| 61 | - | 200 |1244 | 200 | 266 |7940k| 0 | 17k|-6.022727e+01 |-5.100000e+01 | 15.32%
501.21/501.21 c 501s|690000 |124001 | 13333k| 19.3 | 151M| 61 | 82 | 200 |1244 | 200 | 245 |8042k| 0 | 17k|-6.020000e+01 |-5.100000e+01 | 15.28%
507.01/507.03 c 507s|700000 |124817 | 13484k| 19.3 | 153M| 61 | - | 200 |1244 | 200 | 258 |8144k| 0 | 17k|-6.016667e+01 |-5.100000e+01 | 15.24%
512.70/512.72 c 513s|710000 |125497 | 13626k| 19.2 | 154M| 61 | - | 200 |1244 | 200 | 235 |8245k| 0 | 17k|-6.012500e+01 |-5.100000e+01 | 15.18%
518.51/518.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
518.51/518.51 c 519s|720000 |126371 | 13773k| 19.1 | 155M| 61 | 99 | 200 |1244 | 200 | 262 |8344k| 0 | 17k|-6.008000e+01 |-5.100000e+01 | 15.11%
524.30/524.39 c 524s|730000 |127295 | 13923k| 19.1 | 156M| 61 | - | 200 |1244 | 200 | 252 |8445k| 0 | 17k|-6.000000e+01 |-5.100000e+01 | 15.00%
530.11/530.20 c 530s|740000 |128187 | 14069k| 19.0 | 157M| 61 | 57 | 200 |1244 | 200 | 269 |8543k| 0 | 17k|-6.000000e+01 |-5.100000e+01 | 15.00%
536.00/536.02 c 536s|750000 |129179 | 14217k| 18.9 | 158M| 61 | 62 | 200 |1244 | 200 | 247 |8643k| 0 | 17k|-6.000000e+01 |-5.100000e+01 | 15.00%
537.30/537.33 o -52
537.30/537.33 c * 537s|752174 | 96392 | 14249k| 18.9 | 123M| 61 | - | 200 |1244 | 200 | 259 |8665k| 0 | 17k|-6.000000e+01 |-5.200000e+01 | 13.33%
541.81/541.85 c 542s|760000 | 96910 | 14362k| 18.9 | 123M| 61 | 14 | 200 |1244 | 200 | 238 |8747k| 0 | 17k|-6.000000e+01 |-5.200000e+01 | 13.33%
547.51/547.52 c 548s|770000 | 97602 | 14505k| 18.8 | 124M| 61 | - | 200 |1244 | 200 | 262 |8847k| 0 | 17k|-6.000000e+01 |-5.200000e+01 | 13.33%
553.21/553.21 c 553s|780000 | 98282 | 14650k| 18.8 | 125M| 61 | 31 | 200 |1244 | 200 | 225 |8954k| 0 | 18k|-6.000000e+01 |-5.200000e+01 | 13.33%
559.00/559.01 c 559s|790000 | 99020 | 14796k| 18.7 | 126M| 61 | - | 200 |1244 | 200 | 237 |9060k| 0 | 18k|-6.000000e+01 |-5.200000e+01 | 13.33%
564.71/564.70 c 565s|800000 | 99704 | 14941k| 18.7 | 127M| 61 | - | 200 |1244 | 200 | 272 |9160k| 0 | 18k|-6.000000e+01 |-5.200000e+01 | 13.33%
570.30/570.31 c 570s|810000 |100322 | 15081k| 18.6 | 128M| 61 | 14 | 200 |1244 | 200 | 218 |9260k| 0 | 18k|-6.000000e+01 |-5.200000e+01 | 13.33%
575.81/575.86 c 576s|820000 |100938 | 15219k| 18.6 | 129M| 61 | 22 | 200 |1244 | 200 | 218 |9360k| 0 | 18k|-6.000000e+01 |-5.200000e+01 | 13.33%
581.40/581.46 c 581s|830000 |101424 | 15359k| 18.5 | 130M| 61 | - | 200 |1244 | 200 | 241 |9465k| 0 | 18k|-6.000000e+01 |-5.200000e+01 | 13.33%
587.10/587.15 c 587s|840000 |102074 | 15503k| 18.4 | 131M| 61 | - | 200 |1244 | 200 | 255 |9564k| 0 | 18k|-6.000000e+01 |-5.200000e+01 | 13.33%
592.70/592.75 c 593s|850000 |102762 | 15643k| 18.4 | 132M| 61 | 13 | 200 |1244 | 200 | 218 |9664k| 0 | 18k|-6.000000e+01 |-5.200000e+01 | 13.33%
598.42/598.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
598.42/598.46 c 598s|860000 |103414 | 15787k| 18.3 | 132M| 61 | - | 200 |1244 | 200 | 242 |9770k| 0 | 18k|-5.996000e+01 |-5.200000e+01 | 13.28%
604.01/604.00 c 604s|870000 |103912 | 15925k| 18.3 | 133M| 61 | 38 | 200 |1244 | 200 | 225 |9871k| 0 | 18k|-5.990728e+01 |-5.200000e+01 | 13.20%
609.51/609.50 c 610s|880000 |104480 | 16061k| 18.2 | 134M| 61 | 6 | 200 |1244 | 200 | 275 |9969k| 0 | 18k|-5.987500e+01 |-5.200000e+01 | 13.15%
615.01/615.03 c 615s|890000 |105044 | 16200k| 18.2 | 135M| 61 | 44 | 200 |1244 | 200 | 236 | 10M| 0 | 18k|-5.983333e+01 |-5.200000e+01 | 13.09%
620.61/620.62 c 621s|900000 |105720 | 16341k| 18.1 | 136M| 61 | 45 | 200 |1244 | 200 | 256 | 10M| 0 | 19k|-5.983333e+01 |-5.200000e+01 | 13.09%
626.11/626.16 c 626s|910000 |106306 | 16479k| 18.1 | 137M| 61 | - | 200 |1244 | 200 | 248 | 10M| 0 | 19k|-5.980000e+01 |-5.200000e+01 | 13.04%
631.61/631.68 c 632s|920000 |106902 | 16616k| 18.1 | 138M| 61 | - | 200 |1244 | 200 | 232 | 10M| 0 | 19k|-5.975000e+01 |-5.200000e+01 | 12.97%
637.31/637.36 c 637s|930000 |107624 | 16759k| 18.0 | 139M| 61 | 10 | 200 |1244 | 200 | 199 | 10M| 0 | 19k|-5.975000e+01 |-5.200000e+01 | 12.97%
642.71/642.74 c 643s|940000 |108162 | 16892k| 18.0 | 139M| 61 | - | 200 |1244 | 200 | 250 | 10M| 0 | 19k|-5.975000e+01 |-5.200000e+01 | 12.97%
648.21/648.23 c 648s|950000 |108766 | 17030k| 17.9 | 140M| 61 | 44 | 200 |1244 | 200 | 240 | 10M| 0 | 19k|-5.972727e+01 |-5.200000e+01 | 12.94%
653.71/653.71 c 654s|960000 |109146 | 17164k| 17.9 | 141M| 61 | 18 | 200 |1244 | 200 | 240 | 10M| 0 | 19k|-5.968750e+01 |-5.200000e+01 | 12.88%
659.11/659.17 c 659s|970000 |109720 | 17301k| 17.8 | 142M| 61 | - | 200 |1244 | 200 | 241 | 10M| 0 | 19k|-5.966667e+01 |-5.200000e+01 | 12.85%
664.70/664.70 c 665s|980000 |110406 | 17439k| 17.8 | 142M| 61 | - | 200 |1244 | 200 | 242 | 10M| 0 | 19k|-5.966667e+01 |-5.200000e+01 | 12.85%
670.11/670.18 c 670s|990000 |110862 | 17575k| 17.7 | 143M| 61 | - | 200 |1244 | 200 | 260 | 11M| 0 | 19k|-5.966667e+01 |-5.200000e+01 | 12.85%
675.71/675.79 c 676s| 1000k|111472 | 17716k| 17.7 | 144M| 61 | 109 | 200 |1244 | 200 | 268 | 11M| 0 | 19k|-5.966667e+01 |-5.200000e+01 | 12.85%
681.21/681.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
681.21/681.29 c 681s| 1010k|112044 | 17853k| 17.7 | 145M| 61 | - | 200 |1244 | 200 | 251 | 11M| 0 | 19k|-5.963158e+01 |-5.200000e+01 | 12.80%
686.71/686.77 c 687s| 1020k|112660 | 17988k| 17.6 | 146M| 61 | - | 200 |1244 | 200 | 252 | 11M| 0 | 20k|-5.960000e+01 |-5.200000e+01 | 12.75%
692.21/692.21 c 692s| 1030k|113212 | 18123k| 17.6 | 147M| 61 | 22 | 200 |1244 | 200 | 222 | 11M| 0 | 20k|-5.957143e+01 |-5.200000e+01 | 12.71%
697.61/697.64 c 698s| 1040k|113736 | 18258k| 17.5 | 147M| 61 | - | 200 |1244 | 200 | 235 | 11M| 0 | 20k|-5.953846e+01 |-5.200000e+01 | 12.66%
703.01/703.03 c 703s| 1050k|114242 | 18390k| 17.5 | 148M| 62 | 53 | 200 |1244 | 200 | 267 | 11M| 0 | 20k|-5.950000e+01 |-5.200000e+01 | 12.61%
708.50/708.53 c 709s| 1060k|114700 | 18528k| 17.5 | 149M| 62 | - | 200 |1244 | 200 | 240 | 11M| 0 | 20k|-5.950000e+01 |-5.200000e+01 | 12.61%
714.01/714.06 c 714s| 1070k|115246 | 18666k| 17.4 | 150M| 62 | 42 | 200 |1244 | 200 | 222 | 11M| 0 | 20k|-5.950000e+01 |-5.200000e+01 | 12.61%
719.51/719.52 c 720s| 1080k|115920 | 18803k| 17.4 | 150M| 62 | 77 | 200 |1244 | 200 | 262 | 11M| 0 | 20k|-5.950000e+01 |-5.200000e+01 | 12.61%
724.92/724.99 c 725s| 1090k|116502 | 18938k| 17.4 | 151M| 62 | - | 200 |1244 | 200 | 248 | 12M| 0 | 20k|-5.950000e+01 |-5.200000e+01 | 12.61%
730.41/730.41 c 730s| 1100k|117044 | 19073k| 17.3 | 152M| 62 | 40 | 200 |1244 | 200 | 222 | 12M| 0 | 20k|-5.950000e+01 |-5.200000e+01 | 12.61%
735.71/735.76 c 736s| 1110k|117532 | 19204k| 17.3 | 153M| 62 | 12 | 200 |1244 | 200 | 232 | 12M| 0 | 20k|-5.950000e+01 |-5.200000e+01 | 12.61%
741.11/741.17 c 741s| 1120k|118084 | 19338k| 17.3 | 154M| 62 | - | 200 |1244 | 200 | 262 | 12M| 0 | 20k|-5.950000e+01 |-5.200000e+01 | 12.61%
746.61/746.65 c 747s| 1130k|118736 | 19475k| 17.2 | 154M| 62 | - | 200 |1244 | 200 | 255 | 12M| 0 | 20k|-5.950000e+01 |-5.200000e+01 | 12.61%
752.01/752.05 c 752s| 1140k|119260 | 19607k| 17.2 | 155M| 62 | 65 | 200 |1244 | 200 | 240 | 12M| 0 | 20k|-5.950000e+01 |-5.200000e+01 | 12.61%
757.51/757.52 c 758s| 1150k|119924 | 19742k| 17.2 | 156M| 62 | 26 | 200 |1244 | 200 | 242 | 12M| 0 | 21k|-5.950000e+01 |-5.200000e+01 | 12.61%
762.91/762.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
762.91/762.94 c 763s| 1160k|120516 | 19877k| 17.1 | 157M| 62 | 25 | 200 |1244 | 200 | 239 | 12M| 0 | 21k|-5.947059e+01 |-5.200000e+01 | 12.56%
768.31/768.35 c 768s| 1170k|120952 | 20008k| 17.1 | 158M| 62 | 43 | 200 |1244 | 200 | 237 | 12M| 0 | 21k|-5.942857e+01 |-5.200000e+01 | 12.50%
773.71/773.71 c 774s| 1180k|121412 | 20139k| 17.1 | 158M| 62 | - | 200 |1244 | 200 | 232 | 12M| 0 | 21k|-5.940000e+01 |-5.200000e+01 | 12.46%
779.01/779.10 c 779s| 1190k|121908 | 20272k| 17.0 | 159M| 62 | 57 | 200 |1244 | 200 | 221 | 13M| 0 | 21k|-5.937500e+01 |-5.200000e+01 | 12.42%
784.41/784.46 c 784s| 1200k|122264 | 20403k| 17.0 | 160M| 62 | 79 | 200 |1244 | 200 | 265 | 13M| 0 | 21k|-5.933333e+01 |-5.200000e+01 | 12.36%
789.82/789.83 c 790s| 1210k|122768 | 20536k| 17.0 | 160M| 62 | 30 | 200 |1244 | 200 | 221 | 13M| 0 | 21k|-5.933333e+01 |-5.200000e+01 | 12.36%
795.22/795.26 c 795s| 1220k|123378 | 20670k| 16.9 | 161M| 62 | - | 200 |1244 | 200 | 238 | 13M| 0 | 21k|-5.933333e+01 |-5.200000e+01 | 12.36%
800.51/800.52 c 801s| 1230k|123754 | 20797k| 16.9 | 162M| 65 | - | 200 |1244 | 200 | 241 | 13M| 0 | 21k|-5.933333e+01 |-5.200000e+01 | 12.36%
805.81/805.84 c 806s| 1240k|124150 | 20927k| 16.9 | 162M| 65 | 62 | 200 |1244 | 200 | 224 | 13M| 0 | 21k|-5.933333e+01 |-5.200000e+01 | 12.36%
811.21/811.23 c 811s| 1250k|124654 | 21060k| 16.8 | 163M| 65 | - | 200 |1244 | 200 | 261 | 13M| 0 | 21k|-5.930000e+01 |-5.200000e+01 | 12.31%
816.51/816.53 c 817s| 1260k|125126 | 21188k| 16.8 | 164M| 65 | 33 | 200 |1244 | 200 | 231 | 13M| 0 | 21k|-5.925000e+01 |-5.200000e+01 | 12.24%
821.72/821.79 c 822s| 1270k|125554 | 21315k| 16.8 | 165M| 65 | 42 | 200 |1244 | 200 | 264 | 13M| 0 | 21k|-5.925000e+01 |-5.200000e+01 | 12.24%
827.01/827.07 c 827s| 1280k|126056 | 21444k| 16.7 | 165M| 65 | - | 200 |1244 | 200 | 267 | 13M| 0 | 21k|-5.925000e+01 |-5.200000e+01 | 12.24%
832.31/832.33 c 832s| 1290k|126504 | 21572k| 16.7 | 166M| 65 | 73 | 200 |1244 | 200 | 275 | 14M| 0 | 21k|-5.925000e+01 |-5.200000e+01 | 12.24%
837.61/837.67 c 838s| 1300k|126946 | 21701k| 16.7 | 167M| 65 | 22 | 200 |1244 | 200 | 219 | 14M| 0 | 22k|-5.922222e+01 |-5.200000e+01 | 12.20%
843.01/843.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
843.01/843.08 c 843s| 1310k|127472 | 21834k| 16.7 | 167M| 65 | 93 | 200 |1244 | 200 | 256 | 14M| 0 | 22k|-5.920000e+01 |-5.200000e+01 | 12.16%
848.51/848.54 c 849s| 1320k|128046 | 21968k| 16.6 | 168M| 65 | 8 | 200 |1244 | 200 | 232 | 14M| 0 | 22k|-5.916667e+01 |-5.200000e+01 | 12.11%
853.82/853.86 c 854s| 1330k|128556 | 22098k| 16.6 | 169M| 65 | - | 200 |1244 | 200 | 243 | 14M| 0 | 22k|-5.916667e+01 |-5.200000e+01 | 12.11%
859.12/859.16 c 859s| 1340k|128922 | 22229k| 16.6 | 169M| 65 | - | 200 |1244 | 200 | 237 | 14M| 0 | 22k|-5.914286e+01 |-5.200000e+01 | 12.08%
864.42/864.40 c 864s| 1350k|129342 | 22356k| 16.6 | 170M| 65 | - | 200 |1244 | 200 | 257 | 14M| 0 | 22k|-5.911111e+01 |-5.200000e+01 | 12.03%
869.71/869.71 c 870s| 1360k|129728 | 22483k| 16.5 | 171M| 65 | 10 | 200 |1244 | 200 | 248 | 14M| 0 | 22k|-5.908333e+01 |-5.200000e+01 | 11.99%
875.01/875.04 c 875s| 1370k|130140 | 22613k| 16.5 | 171M| 65 | - | 200 |1244 | 200 | 283 | 14M| 0 | 22k|-5.900000e+01 |-5.200000e+01 | 11.86%
880.32/880.39 c 880s| 1380k|130596 | 22743k| 16.5 | 172M| 65 | - | 200 |1244 | 200 | 263 | 14M| 0 | 22k|-5.900000e+01 |-5.200000e+01 | 11.86%
885.81/885.87 c 886s| 1390k|131110 | 22879k| 16.5 | 173M| 65 | - | 200 |1244 | 200 | 242 | 15M| 0 | 22k|-5.900000e+01 |-5.200000e+01 | 11.86%
891.21/891.25 c 891s| 1400k|131646 | 23012k| 16.4 | 173M| 65 | 58 | 200 |1244 | 200 | 228 | 15M| 0 | 22k|-5.900000e+01 |-5.200000e+01 | 11.86%
896.61/896.64 c 897s| 1410k|132112 | 23144k| 16.4 | 174M| 65 | - | 200 |1244 | 200 | 237 | 15M| 0 | 22k|-5.900000e+01 |-5.200000e+01 | 11.86%
902.02/902.07 c 902s| 1420k|132588 | 23279k| 16.4 | 175M| 65 | - | 200 |1244 | 200 | 235 | 15M| 0 | 22k|-5.900000e+01 |-5.200000e+01 | 11.86%
907.42/907.40 c 907s| 1430k|132988 | 23410k| 16.4 | 176M| 65 | - | 200 |1244 | 200 | 270 | 15M| 0 | 22k|-5.900000e+01 |-5.200000e+01 | 11.86%
912.72/912.74 c 913s| 1440k|133454 | 23540k| 16.3 | 176M| 65 | 12 | 200 |1244 | 200 | 224 | 15M| 0 | 22k|-5.900000e+01 |-5.200000e+01 | 11.86%
918.12/918.10 c 918s| 1450k|133920 | 23671k| 16.3 | 177M| 65 | 25 | 200 |1244 | 200 | 235 | 15M| 0 | 23k|-5.900000e+01 |-5.200000e+01 | 11.86%
923.42/923.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
923.42/923.40 c 923s| 1460k|134342 | 23801k| 16.3 | 178M| 65 | - | 200 |1244 | 200 | 244 | 15M| 0 | 23k|-5.900000e+01 |-5.200000e+01 | 11.86%
928.62/928.68 c 929s| 1470k|134848 | 23931k| 16.3 | 178M| 65 | - | 200 |1244 | 200 | 240 | 15M| 0 | 23k|-5.900000e+01 |-5.200000e+01 | 11.86%
934.02/934.04 c 934s| 1480k|135346 | 24062k| 16.3 | 179M| 65 | - | 200 |1244 | 200 | 239 | 15M| 0 | 23k|-5.900000e+01 |-5.200000e+01 | 11.86%
939.32/939.32 c 939s| 1490k|135684 | 24191k| 16.2 | 180M| 65 | 59 | 200 |1244 | 200 | 240 | 16M| 0 | 23k|-5.900000e+01 |-5.200000e+01 | 11.86%
944.62/944.61 c 945s| 1500k|136188 | 24318k| 16.2 | 180M| 65 | - | 200 |1244 | 200 | 240 | 16M| 0 | 23k|-5.900000e+01 |-5.200000e+01 | 11.86%
949.71/949.79 c 950s| 1510k|136532 | 24442k| 16.2 | 181M| 65 | 12 | 200 |1244 | 200 | 243 | 16M| 0 | 23k|-5.900000e+01 |-5.200000e+01 | 11.86%
955.01/955.09 c 955s| 1520k|137040 | 24571k| 16.2 | 182M| 65 | - | 200 |1244 | 200 | 262 | 16M| 0 | 23k|-5.900000e+01 |-5.200000e+01 | 11.86%
960.32/960.35 c 960s| 1530k|137410 | 24699k| 16.1 | 182M| 65 | 12 | 200 |1244 | 200 | 251 | 16M| 0 | 23k|-5.900000e+01 |-5.200000e+01 | 11.86%
965.61/965.69 c 966s| 1540k|137834 | 24830k| 16.1 | 183M| 65 | - | 200 |1244 | 200 | 268 | 16M| 0 | 23k|-5.900000e+01 |-5.200000e+01 | 11.86%
970.92/970.97 c 971s| 1550k|138218 | 24957k| 16.1 | 183M| 65 | 38 | 200 |1244 | 200 | 221 | 16M| 0 | 23k|-5.900000e+01 |-5.200000e+01 | 11.86%
976.21/976.26 c 976s| 1560k|138642 | 25087k| 16.1 | 184M| 65 | - | 200 |1244 | 200 | 284 | 16M| 0 | 23k|-5.900000e+01 |-5.200000e+01 | 11.86%
981.52/981.56 c 982s| 1570k|139132 | 25216k| 16.1 | 185M| 65 | - | 200 |1244 | 200 | 255 | 16M| 0 | 23k|-5.900000e+01 |-5.200000e+01 | 11.86%
986.82/986.86 c 987s| 1580k|139518 | 25344k| 16.0 | 185M| 65 | - | 200 |1244 | 200 | 251 | 16M| 0 | 23k|-5.900000e+01 |-5.200000e+01 | 11.86%
992.12/992.18 c 992s| 1590k|139952 | 25473k| 16.0 | 186M| 65 | 77 | 200 |1244 | 200 | 256 | 16M| 0 | 23k|-5.900000e+01 |-5.200000e+01 | 11.86%
997.51/997.56 c 998s| 1600k|140418 | 25605k| 16.0 | 187M| 65 | 48 | 200 |1244 | 200 | 252 | 17M| 0 | 23k|-5.900000e+01 |-5.200000e+01 | 11.86%
1002.82/1002.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1002.82/1002.80 c 1003s| 1610k|140840 | 25732k| 16.0 | 187M| 65 | 28 | 200 |1244 | 200 | 245 | 17M| 0 | 24k|-5.891667e+01 |-5.200000e+01 | 11.74%
1008.02/1008.01 c 1008s| 1620k|141258 | 25859k| 16.0 | 188M| 65 | 73 | 200 |1244 | 200 | 248 | 17M| 0 | 24k|-5.889130e+01 |-5.200000e+01 | 11.70%
1013.21/1013.24 c 1013s| 1630k|141588 | 25985k| 15.9 | 188M| 65 | 18 | 200 |1244 | 200 | 239 | 17M| 0 | 24k|-5.887500e+01 |-5.200000e+01 | 11.68%
1018.31/1018.36 c 1018s| 1640k|141960 | 26107k| 15.9 | 189M| 65 | 15 | 200 |1244 | 200 | 237 | 17M| 0 | 24k|-5.885714e+01 |-5.200000e+01 | 11.65%
1023.62/1023.64 c 1024s| 1650k|142322 | 26235k| 15.9 | 190M| 65 | 87 | 200 |1244 | 200 | 245 | 17M| 0 | 24k|-5.883333e+01 |-5.200000e+01 | 11.61%
1028.82/1028.82 c 1029s| 1660k|142682 | 26361k| 15.9 | 190M| 65 | - | 200 |1244 | 200 | 258 | 17M| 0 | 24k|-5.883333e+01 |-5.200000e+01 | 11.61%
1034.12/1034.15 c 1034s| 1670k|143132 | 26491k| 15.9 | 191M| 65 | 84 | 200 |1244 | 200 | 241 | 17M| 0 | 24k|-5.881818e+01 |-5.200000e+01 | 11.59%
1039.32/1039.38 c 1039s| 1680k|143514 | 26617k| 15.8 | 191M| 65 | 30 | 200 |1244 | 200 | 230 | 17M| 0 | 24k|-5.880000e+01 |-5.200000e+01 | 11.56%
1044.52/1044.58 c 1045s| 1690k|143890 | 26742k| 15.8 | 192M| 65 | - | 200 |1244 | 200 | 265 | 17M| 0 | 24k|-5.877778e+01 |-5.200000e+01 | 11.53%
1049.62/1049.67 c 1050s| 1700k|144258 | 26863k| 15.8 | 193M| 65 | - | 200 |1244 | 200 | 273 | 18M| 0 | 24k|-5.875000e+01 |-5.200000e+01 | 11.49%
1054.82/1054.87 c 1055s| 1710k|144754 | 26990k| 15.8 | 193M| 65 | 10 | 200 |1244 | 200 | 239 | 18M| 0 | 24k|-5.875000e+01 |-5.200000e+01 | 11.49%
1060.02/1060.06 c 1060s| 1720k|145128 | 27114k| 15.8 | 194M| 65 | - | 200 |1244 | 200 | 253 | 18M| 0 | 24k|-5.875000e+01 |-5.200000e+01 | 11.49%
1065.22/1065.26 c 1065s| 1730k|145418 | 27239k| 15.7 | 194M| 65 | - | 200 |1244 | 200 | 251 | 18M| 0 | 24k|-5.875000e+01 |-5.200000e+01 | 11.49%
1070.32/1070.36 c 1070s| 1740k|145804 | 27362k| 15.7 | 195M| 65 | - | 200 |1244 | 200 | 250 | 18M| 0 | 24k|-5.875000e+01 |-5.200000e+01 | 11.49%
1075.52/1075.55 c 1076s| 1750k|146146 | 27487k| 15.7 | 195M| 65 | 40 | 200 |1244 | 200 | 219 | 18M| 0 | 24k|-5.875000e+01 |-5.200000e+01 | 11.49%
1080.62/1080.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1080.62/1080.66 c 1081s| 1760k|146472 | 27608k| 15.7 | 196M| 65 | - | 200 |1244 | 200 | 240 | 18M| 0 | 24k|-5.871429e+01 |-5.200000e+01 | 11.44%
1085.72/1085.76 c 1086s| 1770k|146840 | 27729k| 15.7 | 197M| 65 | - | 200 |1244 | 200 | 257 | 18M| 0 | 25k|-5.866667e+01 |-5.200000e+01 | 11.36%
1090.82/1090.82 c 1091s| 1780k|147200 | 27850k| 15.6 | 197M| 65 | - | 200 |1244 | 200 | 256 | 18M| 0 | 25k|-5.866667e+01 |-5.200000e+01 | 11.36%
1096.12/1096.10 c 1096s| 1790k|147626 | 27980k| 15.6 | 198M| 65 | 102 | 200 |1244 | 200 | 262 | 18M| 0 | 25k|-5.866667e+01 |-5.200000e+01 | 11.36%
1101.32/1101.38 c 1101s| 1800k|148058 | 28107k| 15.6 | 198M| 65 | - | 200 |1244 | 200 | 238 | 18M| 0 | 25k|-5.866667e+01 |-5.200000e+01 | 11.36%
1106.62/1106.64 c 1107s| 1810k|148520 | 28236k| 15.6 | 199M| 65 | 58 | 200 |1244 | 200 | 243 | 19M| 0 | 25k|-5.866667e+01 |-5.200000e+01 | 11.36%
1111.82/1111.83 c 1112s| 1820k|148978 | 28362k| 15.6 | 200M| 65 | - | 200 |1244 | 200 | 240 | 19M| 0 | 25k|-5.866667e+01 |-5.200000e+01 | 11.36%
1116.92/1116.93 c 1117s| 1830k|149234 | 28485k| 15.6 | 200M| 65 | 21 | 200 |1244 | 200 | 243 | 19M| 0 | 25k|-5.866667e+01 |-5.200000e+01 | 11.36%
1122.02/1122.05 c 1122s| 1840k|149552 | 28607k| 15.5 | 201M| 65 | - | 200 |1244 | 200 | 221 | 19M| 0 | 25k|-5.864286e+01 |-5.200000e+01 | 11.33%
1127.22/1127.20 c 1127s| 1850k|149900 | 28731k| 15.5 | 201M| 73 | - | 200 |1244 | 200 | 237 | 19M| 0 | 25k|-5.862500e+01 |-5.200000e+01 | 11.30%
1132.22/1132.24 c 1132s| 1860k|150172 | 28850k| 15.5 | 202M| 73 | - | 200 |1244 | 200 | 246 | 19M| 0 | 25k|-5.860000e+01 |-5.200000e+01 | 11.26%
1137.33/1137.31 c 1137s| 1870k|150454 | 28970k| 15.5 | 202M| 73 | 46 | 200 |1244 | 200 | 255 | 19M| 0 | 25k|-5.860000e+01 |-5.200000e+01 | 11.26%
1142.32/1142.32 c 1142s| 1880k|150708 | 29088k| 15.5 | 203M| 73 | 14 | 200 |1244 | 200 | 234 | 19M| 0 | 25k|-5.857692e+01 |-5.200000e+01 | 11.23%
1147.42/1147.41 c 1147s| 1890k|150960 | 29211k| 15.5 | 203M| 73 | - | 200 |1244 | 200 | 272 | 19M| 0 | 25k|-5.855556e+01 |-5.200000e+01 | 11.20%
1152.42/1152.42 c 1152s| 1900k|151176 | 29329k| 15.4 | 203M| 73 | - | 200 |1244 | 200 | 252 | 19M| 0 | 25k|-5.850000e+01 |-5.200000e+01 | 11.11%
1157.52/1157.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1157.52/1157.57 c 1158s| 1910k|151536 | 29452k| 15.4 | 204M| 73 | - | 200 |1244 | 200 | 258 | 20M| 0 | 25k|-5.850000e+01 |-5.200000e+01 | 11.11%
1162.52/1162.54 c 1163s| 1920k|151802 | 29570k| 15.4 | 204M| 73 | - | 200 |1244 | 200 | 255 | 20M| 0 | 25k|-5.850000e+01 |-5.200000e+01 | 11.11%
1167.62/1167.62 c 1168s| 1930k|152086 | 29692k| 15.4 | 205M| 73 | - | 200 |1244 | 200 | 226 | 20M| 0 | 25k|-5.850000e+01 |-5.200000e+01 | 11.11%
1172.72/1172.74 c 1173s| 1940k|152430 | 29815k| 15.4 | 205M| 73 | - | 200 |1244 | 200 | 277 | 20M| 0 | 25k|-5.850000e+01 |-5.200000e+01 | 11.11%
1177.82/1177.80 c 1178s| 1950k|152842 | 29937k| 15.3 | 206M| 73 | 50 | 200 |1244 | 200 | 236 | 20M| 0 | 26k|-5.850000e+01 |-5.200000e+01 | 11.11%
1182.83/1182.81 c 1183s| 1960k|153152 | 30056k| 15.3 | 206M| 73 | 14 | 200 |1244 | 200 | 237 | 20M| 0 | 26k|-5.850000e+01 |-5.200000e+01 | 11.11%
1187.82/1187.84 c 1188s| 1970k|153496 | 30175k| 15.3 | 207M| 73 | 16 | 200 |1244 | 200 | 235 | 20M| 0 | 26k|-5.850000e+01 |-5.200000e+01 | 11.11%
1192.93/1192.94 c 1193s| 1980k|153754 | 30297k| 15.3 | 207M| 73 | - | 200 |1244 | 200 | 256 | 20M| 0 | 26k|-5.850000e+01 |-5.200000e+01 | 11.11%
1197.82/1197.83 c 1198s| 1990k|153970 | 30411k| 15.3 | 208M| 73 | 79 | 200 |1244 | 200 | 269 | 20M| 0 | 26k|-5.850000e+01 |-5.200000e+01 | 11.11%
1202.82/1202.88 c 1203s| 2000k|154300 | 30531k| 15.3 | 208M| 73 | - | 200 |1244 | 200 | 231 | 20M| 0 | 26k|-5.850000e+01 |-5.200000e+01 | 11.11%
1207.82/1207.83 c 1208s| 2010k|154626 | 30646k| 15.2 | 209M| 73 | - | 200 |1244 | 200 | 273 | 20M| 0 | 26k|-5.850000e+01 |-5.200000e+01 | 11.11%
1212.72/1212.77 c 1213s| 2020k|154878 | 30762k| 15.2 | 209M| 73 | 26 | 200 |1244 | 200 | 227 | 21M| 0 | 26k|-5.850000e+01 |-5.200000e+01 | 11.11%
1217.73/1217.75 c 1218s| 2030k|155058 | 30879k| 15.2 | 209M| 73 | 70 | 200 |1244 | 200 | 242 | 21M| 0 | 26k|-5.850000e+01 |-5.200000e+01 | 11.11%
1222.73/1222.80 c 1223s| 2040k|155266 | 30999k| 15.2 | 210M| 73 | - | 200 |1244 | 200 | 248 | 21M| 0 | 26k|-5.850000e+01 |-5.200000e+01 | 11.11%
1227.72/1227.77 c 1228s| 2050k|155442 | 31117k| 15.2 | 210M| 73 | 82 | 200 |1244 | 200 | 250 | 21M| 0 | 26k|-5.850000e+01 |-5.200000e+01 | 11.11%
1232.72/1232.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1232.72/1232.75 c 1233s| 2060k|155666 | 31234k| 15.2 | 211M| 73 | 18 | 200 |1244 | 200 | 224 | 21M| 0 | 26k|-5.850000e+01 |-5.200000e+01 | 11.11%
1236.82/1236.88 o -53
1236.82/1236.88 c *1237s| 2067k|110612 | 31330k| 15.1 | 153M| 73 | - | 200 |1244 | 200 | 261 | 21M| 0 | 26k|-5.850000e+01 |-5.300000e+01 | 9.40%
1237.82/1237.89 c 1238s| 2070k|110606 | 31352k| 15.1 | 153M| 73 | - | 200 |1244 | 200 | 264 | 21M| 0 | 26k|-5.850000e+01 |-5.300000e+01 | 9.40%
1242.73/1242.74 c 1243s| 2080k|110558 | 31463k| 15.1 | 153M| 73 | 51 | 200 |1244 | 200 | 223 | 21M| 0 | 26k|-5.850000e+01 |-5.300000e+01 | 9.40%
1247.62/1247.64 c 1248s| 2090k|110482 | 31574k| 15.1 | 153M| 73 | - | 200 |1244 | 200 | 250 | 21M| 0 | 26k|-5.850000e+01 |-5.300000e+01 | 9.40%
1252.52/1252.56 c 1253s| 2100k|110510 | 31688k| 15.1 | 154M| 73 | - | 200 |1244 | 200 | 236 | 21M| 0 | 26k|-5.850000e+01 |-5.300000e+01 | 9.40%
1257.42/1257.44 c 1257s| 2110k|110502 | 31800k| 15.1 | 154M| 73 | - | 200 |1244 | 200 | 262 | 21M| 0 | 26k|-5.849275e+01 |-5.300000e+01 | 9.39%
1262.12/1262.17 c 1262s| 2120k|110458 | 31904k| 15.0 | 154M| 73 | 10 | 200 |1244 | 200 | 237 | 21M| 0 | 26k|-5.844444e+01 |-5.300000e+01 | 9.32%
1266.92/1266.98 c 1267s| 2130k|110474 | 32014k| 15.0 | 154M| 73 | 14 | 200 |1244 | 200 | 220 | 22M| 0 | 26k|-5.840909e+01 |-5.300000e+01 | 9.26%
1271.83/1271.82 c 1272s| 2140k|110378 | 32123k| 15.0 | 154M| 73 | - | 200 |1244 | 200 | 246 | 22M| 0 | 26k|-5.840000e+01 |-5.300000e+01 | 9.25%
1276.63/1276.62 c 1277s| 2150k|110328 | 32231k| 15.0 | 154M| 73 | - | 200 |1244 | 200 | 253 | 22M| 0 | 27k|-5.838889e+01 |-5.300000e+01 | 9.23%
1281.33/1281.39 c 1281s| 2160k|110294 | 32338k| 15.0 | 154M| 73 | - | 200 |1244 | 200 | 248 | 22M| 0 | 27k|-5.837500e+01 |-5.300000e+01 | 9.21%
1286.32/1286.30 c 1286s| 2170k|110254 | 32449k| 15.0 | 154M| 73 | 8 | 200 |1244 | 200 | 221 | 22M| 0 | 27k|-5.833333e+01 |-5.300000e+01 | 9.14%
1291.03/1291.03 c 1291s| 2180k|110122 | 32554k| 14.9 | 154M| 73 | - | 200 |1244 | 200 | 255 | 22M| 0 | 27k|-5.833333e+01 |-5.300000e+01 | 9.14%
1295.83/1295.82 c 1296s| 2190k|110060 | 32662k| 14.9 | 154M| 73 | 72 | 200 |1244 | 200 | 254 | 22M| 0 | 27k|-5.833333e+01 |-5.300000e+01 | 9.14%
1300.63/1300.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1300.63/1300.65 c 1301s| 2200k|109998 | 32770k| 14.9 | 154M| 73 | 6 | 200 |1244 | 200 | 220 | 22M| 0 | 27k|-5.833333e+01 |-5.300000e+01 | 9.14%
1305.43/1305.43 c 1305s| 2210k|109960 | 32879k| 14.9 | 154M| 73 | 5 | 200 |1244 | 200 | 224 | 22M| 0 | 27k|-5.833333e+01 |-5.300000e+01 | 9.14%
1310.22/1310.29 c 1310s| 2220k|109928 | 32989k| 14.9 | 155M| 73 | - | 200 |1244 | 200 | 241 | 22M| 0 | 27k|-5.833333e+01 |-5.300000e+01 | 9.14%
1315.13/1315.13 c 1315s| 2230k|109856 | 33098k| 14.8 | 155M| 73 | 12 | 200 |1244 | 200 | 225 | 22M| 0 | 27k|-5.833333e+01 |-5.300000e+01 | 9.14%
1319.83/1319.87 c 1320s| 2240k|109848 | 33205k| 14.8 | 155M| 73 | - | 200 |1244 | 200 | 233 | 23M| 0 | 27k|-5.833333e+01 |-5.300000e+01 | 9.14%
1324.63/1324.65 c 1325s| 2250k|109740 | 33311k| 14.8 | 155M| 73 | - | 200 |1244 | 200 | 247 | 23M| 0 | 27k|-5.830000e+01 |-5.300000e+01 | 9.09%
1329.33/1329.35 c 1329s| 2260k|109700 | 33416k| 14.8 | 155M| 73 | - | 200 |1244 | 200 | 237 | 23M| 0 | 27k|-5.828571e+01 |-5.300000e+01 | 9.07%
1334.13/1334.15 c 1334s| 2270k|109652 | 33522k| 14.8 | 155M| 73 | 28 | 200 |1244 | 200 | 230 | 23M| 0 | 27k|-5.825000e+01 |-5.300000e+01 | 9.01%
1338.93/1338.95 c 1339s| 2280k|109606 | 33631k| 14.7 | 155M| 73 | 50 | 200 |1244 | 200 | 229 | 23M| 0 | 27k|-5.825000e+01 |-5.300000e+01 | 9.01%
1343.63/1343.69 c 1344s| 2290k|109596 | 33737k| 14.7 | 155M| 73 | 48 | 200 |1244 | 200 | 237 | 23M| 0 | 27k|-5.825000e+01 |-5.300000e+01 | 9.01%
1348.33/1348.31 c 1348s| 2300k|109518 | 33838k| 14.7 | 155M| 73 | 18 | 200 |1244 | 200 | 222 | 23M| 0 | 27k|-5.825000e+01 |-5.300000e+01 | 9.01%
1353.03/1353.05 c 1353s| 2310k|109454 | 33945k| 14.7 | 155M| 73 | - | 200 |1244 | 200 | 232 | 23M| 0 | 27k|-5.825000e+01 |-5.300000e+01 | 9.01%
1357.73/1357.71 c 1358s| 2320k|109328 | 34048k| 14.7 | 155M| 73 | - | 200 |1244 | 200 | 250 | 23M| 0 | 27k|-5.825000e+01 |-5.300000e+01 | 9.01%
1362.33/1362.30 c 1362s| 2330k|109242 | 34149k| 14.7 | 155M| 73 | 30 | 200 |1244 | 200 | 239 | 23M| 0 | 27k|-5.822727e+01 |-5.300000e+01 | 8.98%
1367.13/1367.12 c 1367s| 2340k|109212 | 34257k| 14.6 | 155M| 73 | 46 | 200 |1244 | 200 | 236 | 23M| 0 | 27k|-5.820000e+01 |-5.300000e+01 | 8.93%
1371.83/1371.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1371.83/1371.86 c 1372s| 2350k|109134 | 34363k| 14.6 | 155M| 73 | 53 | 200 |1244 | 200 | 237 | 24M| 0 | 27k|-5.820000e+01 |-5.300000e+01 | 8.93%
1376.53/1376.52 c 1377s| 2360k|109066 | 34467k| 14.6 | 155M| 73 | - | 200 |1244 | 200 | 244 | 24M| 0 | 27k|-5.817647e+01 |-5.300000e+01 | 8.90%
1381.12/1381.16 c 1381s| 2370k|109024 | 34568k| 14.6 | 155M| 73 | - | 200 |1244 | 200 | 225 | 24M| 0 | 28k|-5.816667e+01 |-5.300000e+01 | 8.88%
1385.93/1385.91 c 1386s| 2380k|109008 | 34674k| 14.6 | 156M| 73 | - | 200 |1244 | 200 | 243 | 24M| 0 | 28k|-5.816667e+01 |-5.300000e+01 | 8.88%
1390.62/1390.63 c 1391s| 2390k|108974 | 34779k| 14.5 | 156M| 73 | 61 | 200 |1244 | 200 | 234 | 24M| 0 | 28k|-5.814286e+01 |-5.300000e+01 | 8.85%
1395.32/1395.37 c 1395s| 2400k|108996 | 34886k| 14.5 | 156M| 73 | - | 200 |1244 | 200 | 264 | 24M| 0 | 28k|-5.812500e+01 |-5.300000e+01 | 8.82%
1400.03/1400.07 c 1400s| 2410k|108942 | 34989k| 14.5 | 156M| 73 | 58 | 200 |1244 | 200 | 260 | 24M| 0 | 28k|-5.810000e+01 |-5.300000e+01 | 8.78%
1404.82/1404.80 c 1405s| 2420k|108886 | 35094k| 14.5 | 156M| 73 | 62 | 200 |1244 | 200 | 237 | 24M| 0 | 28k|-5.807143e+01 |-5.300000e+01 | 8.73%
1409.33/1409.38 c 1409s| 2430k|108808 | 35193k| 14.5 | 156M| 73 | 59 | 200 |1244 | 200 | 234 | 24M| 0 | 28k|-5.800000e+01 |-5.300000e+01 | 8.62%
1414.13/1414.20 c 1414s| 2440k|108786 | 35301k| 14.5 | 156M| 73 | - | 200 |1244 | 200 | 227 | 24M| 0 | 28k|-5.800000e+01 |-5.300000e+01 | 8.62%
1418.94/1418.94 c 1419s| 2450k|108702 | 35406k| 14.4 | 156M| 73 | 21 | 200 |1244 | 200 | 235 | 24M| 0 | 28k|-5.800000e+01 |-5.300000e+01 | 8.62%
1423.63/1423.67 c 1424s| 2460k|108610 | 35510k| 14.4 | 156M| 73 | 44 | 200 |1244 | 200 | 222 | 25M| 0 | 28k|-5.800000e+01 |-5.300000e+01 | 8.62%
1428.53/1428.50 c 1429s| 2470k|108532 | 35620k| 14.4 | 156M| 73 | - | 200 |1244 | 200 | 284 | 25M| 0 | 28k|-5.800000e+01 |-5.300000e+01 | 8.62%
1433.13/1433.14 c 1433s| 2480k|108480 | 35721k| 14.4 | 156M| 73 | - | 200 |1244 | 200 | 219 | 25M| 0 | 28k|-5.800000e+01 |-5.300000e+01 | 8.62%
1437.83/1437.82 c 1438s| 2490k|108352 | 35824k| 14.4 | 156M| 73 | - | 200 |1244 | 200 | 270 | 25M| 0 | 28k|-5.800000e+01 |-5.300000e+01 | 8.62%
1442.52/1442.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1442.52/1442.50 c 1443s| 2500k|108222 | 35928k| 14.4 | 156M| 73 | 13 | 200 |1244 | 200 | 227 | 25M| 0 | 28k|-5.800000e+01 |-5.300000e+01 | 8.62%
1447.13/1447.13 c 1447s| 2510k|108086 | 36028k| 14.4 | 156M| 73 | - | 200 |1244 | 200 | 224 | 25M| 0 | 28k|-5.800000e+01 |-5.300000e+01 | 8.62%
1451.83/1451.86 c 1452s| 2520k|108066 | 36134k| 14.3 | 156M| 75 | - | 200 |1244 | 200 | 259 | 25M| 0 | 28k|-5.800000e+01 |-5.300000e+01 | 8.62%
1456.63/1456.60 c 1457s| 2530k|108040 | 36241k| 14.3 | 156M| 75 | - | 200 |1244 | 200 | 247 | 25M| 0 | 28k|-5.800000e+01 |-5.300000e+01 | 8.62%
1461.23/1461.21 c 1461s| 2540k|107948 | 36342k| 14.3 | 156M| 75 | 7 | 200 |1244 | 200 | 223 | 25M| 0 | 28k|-5.800000e+01 |-5.300000e+01 | 8.62%
1465.83/1465.81 c 1466s| 2550k|107896 | 36443k| 14.3 | 156M| 75 | - | 200 |1244 | 200 | 245 | 25M| 0 | 28k|-5.800000e+01 |-5.300000e+01 | 8.62%
1470.43/1470.46 c 1470s| 2560k|107794 | 36547k| 14.3 | 156M| 75 | - | 200 |1244 | 200 | 222 | 25M| 0 | 28k|-5.800000e+01 |-5.300000e+01 | 8.62%
1475.14/1475.11 c 1475s| 2570k|107714 | 36650k| 14.3 | 156M| 75 | - | 200 |1244 | 200 | 242 | 25M| 0 | 28k|-5.800000e+01 |-5.300000e+01 | 8.62%
1479.83/1479.82 c 1480s| 2580k|107596 | 36754k| 14.2 | 156M| 75 | - | 200 |1244 | 200 | 239 | 26M| 0 | 28k|-5.800000e+01 |-5.300000e+01 | 8.62%
1484.53/1484.51 c 1485s| 2590k|107498 | 36858k| 14.2 | 156M| 75 | 19 | 200 |1244 | 200 | 239 | 26M| 0 | 28k|-5.800000e+01 |-5.300000e+01 | 8.62%
1489.13/1489.13 c 1489s| 2600k|107428 | 36958k| 14.2 | 156M| 75 | 68 | 200 |1244 | 200 | 220 | 26M| 0 | 29k|-5.800000e+01 |-5.300000e+01 | 8.62%
1493.73/1493.74 c 1494s| 2610k|107382 | 37060k| 14.2 | 157M| 75 | 6 | 200 |1244 | 200 | 238 | 26M| 0 | 29k|-5.800000e+01 |-5.300000e+01 | 8.62%
1498.33/1498.35 c 1498s| 2620k|107306 | 37161k| 14.2 | 157M| 75 | 61 | 200 |1244 | 200 | 259 | 26M| 0 | 29k|-5.800000e+01 |-5.300000e+01 | 8.62%
1500.23/1500.23 o -54
1500.23/1500.23 c *1500s| 2623k| 67360 | 37199k| 14.2 | 105M| 75 | - | 200 |1244 | 200 | 257 | 26M| 0 | 29k|-5.800000e+01 |-5.400000e+01 | 6.90%
1503.03/1503.07 c 1503s| 2630k| 67117 | 37258k| 14.2 | 105M| 75 | - | 200 |1244 | 200 | 270 | 26M| 0 | 29k|-5.800000e+01 |-5.400000e+01 | 6.90%
1507.43/1507.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1507.43/1507.47 c 1507s| 2640k| 66723 | 37348k| 14.1 | 105M| 75 | - | 200 |1244 | 200 | 275 | 26M| 0 | 29k|-5.800000e+01 |-5.400000e+01 | 6.90%
1511.73/1511.76 c 1512s| 2650k| 66405 | 37435k| 14.1 | 104M| 75 | 91 | 200 |1244 | 200 | 251 | 26M| 0 | 29k|-5.800000e+01 |-5.400000e+01 | 6.90%
1516.13/1516.16 c 1516s| 2660k| 66083 | 37524k| 14.1 | 104M| 75 | - | 200 |1244 | 200 | 269 | 26M| 0 | 29k|-5.800000e+01 |-5.400000e+01 | 6.90%
1520.54/1520.52 c 1521s| 2670k| 65695 | 37613k| 14.1 | 104M| 75 | 26 | 200 |1244 | 200 | 248 | 26M| 0 | 29k|-5.800000e+01 |-5.400000e+01 | 6.90%
1524.83/1524.87 c 1525s| 2680k| 65343 | 37702k| 14.1 | 103M| 75 | 42 | 200 |1244 | 200 | 216 | 26M| 0 | 29k|-5.800000e+01 |-5.400000e+01 | 6.90%
1529.33/1529.35 c 1529s| 2690k| 64947 | 37795k| 14.0 | 103M| 75 | 69 | 200 |1244 | 200 | 258 | 26M| 0 | 29k|-5.800000e+01 |-5.400000e+01 | 6.90%
1533.73/1533.72 c 1534s| 2700k| 64581 | 37885k| 14.0 | 103M| 75 | 42 | 200 |1244 | 200 | 215 | 27M| 0 | 29k|-5.800000e+01 |-5.400000e+01 | 6.90%
1538.04/1538.09 c 1538s| 2710k| 64261 | 37975k| 14.0 | 102M| 75 | - | 200 |1244 | 200 | 262 | 27M| 0 | 29k|-5.800000e+01 |-5.400000e+01 | 6.90%
1542.43/1542.49 c 1542s| 2720k| 63911 | 38065k| 14.0 | 102M| 75 | - | 200 |1244 | 200 | 287 | 27M| 0 | 29k|-5.800000e+01 |-5.400000e+01 | 6.90%
1546.83/1546.87 c 1547s| 2730k| 63611 | 38156k| 14.0 | 102M| 75 | - | 200 |1244 | 200 | 236 | 27M| 0 | 29k|-5.800000e+01 |-5.400000e+01 | 6.90%
1551.23/1551.25 c 1551s| 2740k| 63287 | 38246k| 14.0 | 102M| 75 | 8 | 200 |1244 | 200 | 243 | 27M| 0 | 29k|-5.800000e+01 |-5.400000e+01 | 6.90%
1555.64/1555.61 c 1556s| 2750k| 62971 | 38335k| 13.9 | 101M| 75 | - | 200 |1244 | 200 | 270 | 27M| 0 | 29k|-5.800000e+01 |-5.400000e+01 | 6.90%
1559.93/1559.91 c 1560s| 2760k| 62621 | 38423k| 13.9 | 101M| 75 | 7 | 200 |1244 | 200 | 240 | 27M| 0 | 29k|-5.800000e+01 |-5.400000e+01 | 6.90%
1564.33/1564.33 c 1564s| 2770k| 62309 | 38514k| 13.9 | 101M| 75 | - | 200 |1244 | 200 | 220 | 27M| 0 | 29k|-5.800000e+01 |-5.400000e+01 | 6.90%
1568.54/1568.60 c 1569s| 2780k| 61957 | 38601k| 13.9 | 100M| 75 | 20 | 200 |1244 | 200 | 224 | 27M| 0 | 29k|-5.795652e+01 |-5.400000e+01 | 6.83%
1572.94/1572.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1572.94/1572.94 c 1573s| 2790k| 61595 | 38688k| 13.9 | 100M| 75 | - | 200 |1244 | 200 | 266 | 27M| 0 | 29k|-5.792857e+01 |-5.400000e+01 | 6.78%
1577.13/1577.18 c 1577s| 2800k| 61225 | 38773k| 13.8 | 100M| 75 | - | 200 |1244 | 200 | 234 | 27M| 0 | 29k|-5.790000e+01 |-5.400000e+01 | 6.74%
1581.54/1581.53 c 1582s| 2810k| 60903 | 38862k| 13.8 | 99M| 75 | - | 200 |1244 | 200 | 216 | 27M| 0 | 29k|-5.788158e+01 |-5.400000e+01 | 6.71%
1585.73/1585.78 c 1586s| 2820k| 60525 | 38947k| 13.8 | 99M| 75 | - | 200 |1244 | 200 | 235 | 27M| 0 | 29k|-5.787500e+01 |-5.400000e+01 | 6.70%
1590.13/1590.13 c 1590s| 2830k| 60175 | 39035k| 13.8 | 99M| 75 | 72 | 200 |1244 | 200 | 221 | 27M| 0 | 29k|-5.785714e+01 |-5.400000e+01 | 6.67%
1594.43/1594.42 c 1594s| 2840k| 59815 | 39121k| 13.8 | 98M| 75 | - | 200 |1244 | 200 | 258 | 28M| 0 | 29k|-5.783333e+01 |-5.400000e+01 | 6.63%
1598.73/1598.74 c 1599s| 2850k| 59495 | 39208k| 13.8 | 98M| 75 | 28 | 200 |1244 | 200 | 219 | 28M| 0 | 29k|-5.783333e+01 |-5.400000e+01 | 6.63%
1603.03/1603.02 c 1603s| 2860k| 59071 | 39293k| 13.7 | 98M| 75 | 30 | 200 |1244 | 200 | 221 | 28M| 0 | 29k|-5.781818e+01 |-5.400000e+01 | 6.60%
1607.23/1607.21 c 1607s| 2870k| 58747 | 39376k| 13.7 | 97M| 75 | 72 | 200 |1244 | 200 | 227 | 28M| 0 | 29k|-5.780000e+01 |-5.400000e+01 | 6.57%
1611.44/1611.46 c 1611s| 2880k| 58405 | 39460k| 13.7 | 97M| 75 | - | 200 |1244 | 200 | 254 | 28M| 0 | 30k|-5.779167e+01 |-5.400000e+01 | 6.56%
1615.63/1615.68 c 1616s| 2890k| 57993 | 39544k| 13.7 | 97M| 75 | - | 200 |1244 | 200 | 230 | 28M| 0 | 30k|-5.776190e+01 |-5.400000e+01 | 6.51%
1619.93/1619.92 c 1620s| 2900k| 57661 | 39629k| 13.7 | 96M| 75 | - | 200 |1244 | 200 | 236 | 28M| 0 | 30k|-5.775000e+01 |-5.400000e+01 | 6.49%
1624.03/1624.07 c 1624s| 2910k| 57331 | 39712k| 13.6 | 96M| 75 | - | 200 |1244 | 200 | 224 | 28M| 0 | 30k|-5.775000e+01 |-5.400000e+01 | 6.49%
1628.33/1628.31 c 1628s| 2920k| 56957 | 39796k| 13.6 | 96M| 75 | 59 | 200 |1244 | 200 | 244 | 28M| 0 | 30k|-5.775000e+01 |-5.400000e+01 | 6.49%
1632.53/1632.51 c 1633s| 2930k| 56589 | 39879k| 13.6 | 95M| 75 | - | 200 |1244 | 200 | 234 | 28M| 0 | 30k|-5.775000e+01 |-5.400000e+01 | 6.49%
1636.74/1636.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1636.74/1636.77 c 1637s| 2940k| 56233 | 39964k| 13.6 | 95M| 75 | - | 200 |1244 | 200 | 287 | 28M| 0 | 30k|-5.775000e+01 |-5.400000e+01 | 6.49%
1641.04/1641.00 c 1641s| 2950k| 55893 | 40048k| 13.6 | 95M| 75 | 19 | 200 |1244 | 200 | 240 | 28M| 0 | 30k|-5.775000e+01 |-5.400000e+01 | 6.49%
1645.13/1645.13 c 1645s| 2960k| 55529 | 40128k| 13.6 | 94M| 75 | 8 | 200 |1244 | 200 | 218 | 28M| 0 | 30k|-5.770833e+01 |-5.400000e+01 | 6.43%
1649.34/1649.33 c 1649s| 2970k| 55199 | 40210k| 13.5 | 94M| 75 | 73 | 200 |1244 | 200 | 221 | 28M| 0 | 30k|-5.766667e+01 |-5.400000e+01 | 6.36%
1653.53/1653.52 c 1654s| 2980k| 54875 | 40293k| 13.5 | 94M| 75 | - | 200 |1244 | 200 | 254 | 29M| 0 | 30k|-5.766667e+01 |-5.400000e+01 | 6.36%
1657.74/1657.76 c 1658s| 2990k| 54531 | 40377k| 13.5 | 93M| 75 | 10 | 200 |1244 | 200 | 241 | 29M| 0 | 30k|-5.766667e+01 |-5.400000e+01 | 6.36%
1661.94/1661.96 c 1662s| 3000k| 54171 | 40459k| 13.5 | 93M| 75 | - | 200 |1244 | 200 | 257 | 29M| 0 | 30k|-5.766667e+01 |-5.400000e+01 | 6.36%
1666.14/1666.19 c 1666s| 3010k| 53847 | 40543k| 13.5 | 93M| 75 | 68 | 200 |1244 | 200 | 225 | 29M| 0 | 30k|-5.766667e+01 |-5.400000e+01 | 6.36%
1670.43/1670.47 c 1670s| 3020k| 53439 | 40628k| 13.5 | 92M| 75 | - | 200 |1244 | 200 | 237 | 29M| 0 | 30k|-5.766667e+01 |-5.400000e+01 | 6.36%
1674.74/1674.71 c 1675s| 3030k| 53069 | 40712k| 13.4 | 92M| 75 | - | 200 |1244 | 200 | 281 | 29M| 0 | 30k|-5.766667e+01 |-5.400000e+01 | 6.36%
1678.83/1678.86 c 1679s| 3040k| 52711 | 40793k| 13.4 | 92M| 75 | 61 | 200 |1244 | 200 | 224 | 29M| 0 | 30k|-5.762500e+01 |-5.400000e+01 | 6.29%
1683.04/1683.06 c 1683s| 3050k| 52347 | 40875k| 13.4 | 91M| 75 | - | 200 |1244 | 200 | 281 | 29M| 0 | 30k|-5.761111e+01 |-5.400000e+01 | 6.27%
1687.23/1687.22 c 1687s| 3060k| 51955 | 40957k| 13.4 | 91M| 75 | 55 | 200 |1244 | 200 | 235 | 29M| 0 | 30k|-5.760000e+01 |-5.400000e+01 | 6.25%
1691.43/1691.49 c 1691s| 3070k| 51601 | 41042k| 13.4 | 91M| 75 | - | 200 |1244 | 200 | 249 | 29M| 0 | 30k|-5.758333e+01 |-5.400000e+01 | 6.22%
1695.64/1695.65 c 1696s| 3080k| 51221 | 41123k| 13.3 | 90M| 75 | 10 | 200 |1244 | 200 | 233 | 29M| 0 | 30k|-5.756250e+01 |-5.400000e+01 | 6.19%
1699.83/1699.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1699.83/1699.82 c 1700s| 3090k| 50833 | 41205k| 13.3 | 90M| 75 | 27 | 200 |1244 | 200 | 235 | 29M| 0 | 30k|-5.752778e+01 |-5.400000e+01 | 6.13%
1704.03/1704.02 c 1704s| 3100k| 50471 | 41287k| 13.3 | 89M| 75 | 60 | 200 |1244 | 200 | 231 | 29M| 0 | 30k|-5.750000e+01 |-5.400000e+01 | 6.09%
1708.13/1708.14 c 1708s| 3110k| 50101 | 41369k| 13.3 | 89M| 75 | 12 | 200 |1244 | 200 | 235 | 29M| 0 | 30k|-5.750000e+01 |-5.400000e+01 | 6.09%
1712.34/1712.32 c 1712s| 3120k| 49675 | 41450k| 13.3 | 89M| 75 | 47 | 200 |1244 | 200 | 241 | 29M| 0 | 30k|-5.750000e+01 |-5.400000e+01 | 6.09%
1716.44/1716.44 c 1716s| 3130k| 49285 | 41531k| 13.3 | 88M| 75 | - | 200 |1244 | 200 | 234 | 29M| 0 | 30k|-5.750000e+01 |-5.400000e+01 | 6.09%
1720.64/1720.65 c 1721s| 3140k| 48861 | 41615k| 13.3 | 88M| 75 | 66 | 200 |1244 | 200 | 280 | 30M| 0 | 30k|-5.750000e+01 |-5.400000e+01 | 6.09%
1724.84/1724.84 c 1725s| 3150k| 48461 | 41698k| 13.2 | 87M| 75 | - | 200 |1244 | 200 | 243 | 30M| 0 | 30k|-5.750000e+01 |-5.400000e+01 | 6.09%
1729.03/1729.00 c 1729s| 3160k| 48091 | 41780k| 13.2 | 87M| 75 | - | 200 |1244 | 200 | 271 | 30M| 0 | 30k|-5.750000e+01 |-5.400000e+01 | 6.09%
1733.04/1733.07 c 1733s| 3170k| 47679 | 41859k| 13.2 | 86M| 75 | - | 200 |1244 | 200 | 264 | 30M| 0 | 30k|-5.750000e+01 |-5.400000e+01 | 6.09%
1737.13/1737.19 c 1737s| 3180k| 47277 | 41939k| 13.2 | 86M| 75 | - | 200 |1244 | 200 | 216 | 30M| 0 | 30k|-5.750000e+01 |-5.400000e+01 | 6.09%
1741.34/1741.30 c 1741s| 3190k| 46861 | 42019k| 13.2 | 86M| 75 | - | 200 |1244 | 200 | 266 | 30M| 0 | 31k|-5.750000e+01 |-5.400000e+01 | 6.09%
1745.44/1745.45 c 1745s| 3200k| 46483 | 42101k| 13.2 | 85M| 75 | 60 | 200 |1244 | 200 | 221 | 30M| 0 | 31k|-5.750000e+01 |-5.400000e+01 | 6.09%
1749.63/1749.65 c 1750s| 3210k| 46087 | 42183k| 13.1 | 85M| 75 | - | 200 |1244 | 200 | 268 | 30M| 0 | 31k|-5.750000e+01 |-5.400000e+01 | 6.09%
1753.84/1753.80 c 1754s| 3220k| 45723 | 42265k| 13.1 | 84M| 75 | - | 200 |1244 | 200 | 220 | 30M| 0 | 31k|-5.750000e+01 |-5.400000e+01 | 6.09%
1757.94/1757.94 c 1758s| 3230k| 45313 | 42346k| 13.1 | 84M| 75 | - | 200 |1244 | 200 | 237 | 30M| 0 | 31k|-5.750000e+01 |-5.400000e+01 | 6.09%
1762.03/1762.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1762.03/1762.06 c 1762s| 3240k| 44881 | 42426k| 13.1 | 83M| 75 | - | 200 |1244 | 200 | 302 | 30M| 0 | 31k|-5.750000e+01 |-5.400000e+01 | 6.09%
1766.14/1766.12 c 1766s| 3250k| 44479 | 42505k| 13.1 | 83M| 75 | - | 200 |1244 | 200 | 227 | 30M| 0 | 31k|-5.750000e+01 |-5.400000e+01 | 6.09%
1770.34/1770.33 c 1770s| 3260k| 44101 | 42588k| 13.1 | 83M| 75 | - | 200 |1244 | 200 | 223 | 30M| 0 | 31k|-5.750000e+01 |-5.400000e+01 | 6.09%
1774.43/1774.48 c 1774s| 3270k| 43711 | 42669k| 13.0 | 82M| 75 | - | 200 |1244 | 200 | 219 | 30M| 0 | 31k|-5.743750e+01 |-5.400000e+01 | 5.98%
1778.54/1778.59 c 1779s| 3280k| 43341 | 42748k| 13.0 | 82M| 75 | 86 | 200 |1244 | 200 | 239 | 30M| 0 | 31k|-5.740000e+01 |-5.400000e+01 | 5.92%
1782.63/1782.67 c 1783s| 3290k| 42947 | 42826k| 13.0 | 81M| 75 | - | 200 |1244 | 200 | 252 | 30M| 0 | 31k|-5.738462e+01 |-5.400000e+01 | 5.90%
1786.74/1786.73 c 1787s| 3300k| 42507 | 42905k| 13.0 | 81M| 75 | - | 200 |1244 | 200 | 281 | 30M| 0 | 31k|-5.736842e+01 |-5.400000e+01 | 5.87%
1790.93/1790.91 c 1791s| 3310k| 42085 | 42986k| 13.0 | 80M| 75 | 83 | 200 |1244 | 200 | 281 | 31M| 0 | 31k|-5.733333e+01 |-5.400000e+01 | 5.81%
1795.04/1795.01 c 1795s| 3320k| 41661 | 43065k| 13.0 | 80M| 75 | 83 | 200 |1244 | 200 | 238 | 31M| 0 | 31k|-5.733333e+01 |-5.400000e+01 | 5.81%
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 : 3324742
1797.04/1797.00 c Primal Bound : -5.40000000000000e+01 (562 solutions)
1797.04/1797.00 c Dual Bound : -5.73333333333333e+01
1797.04/1797.00 c Gap : 5.81 %
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 x178
1797.04/1797.00 v -x177 -x176 -x175 -x174 x173 -x172 -x171 x170 -x169 -x168 x167 x166 -x165 -x164 -x163 x162 -x161 -x160 -x159 -x158 x157 -x156
1797.04/1797.00 v -x155 -x154 x153 -x152 x151 -x150 x149 -x148 -x147 x146 -x145 -x144 x143 -x142 -x141 x140 x139 -x138 -x137 -x136 -x135 -x134
1797.04/1797.00 v -x133 -x132 -x131 x130 -x129 x128 x127 -x126 -x125 -x124 x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 x114 x113 -x112
1797.04/1797.00 v -x111 x110 -x109 -x108 -x107 -x106 -x105 -x104 x103 x102 x101 x100 x99 -x98 -x97 x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88
1797.04/1797.00 v -x87 -x86 -x85 -x84 -x83 -x82 -x81 x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 x69 -x68 -x67 -x66 -x65 -x64 x63 -x62
1797.04/1797.00 v -x61 -x60 x59 -x58 -x57 x56 -x55 -x54 -x53 -x52 x51 -x50 -x49 -x48 -x47 x46 -x45 x44 -x43 -x42 -x41 x40 -x39 -x38 -x37 -x36
1797.04/1797.00 v -x35 x34 -x33 -x32 -x31 -x30 x29 x28 -x27 -x26 x25 -x24 -x23 -x22 -x21 -x20 x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10
1797.04/1797.00 v -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.05 (included in solving)
1797.04/1797.00 c reading : 0.00 (included in solving)
1797.04/1797.00 c Original Problem :
1797.04/1797.00 c Problem name : HOME/instance-3485127-1307783374.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-3485127-1307783374.opb
1797.04/1797.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.00 c Constraints : 1244 initial, 1244 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.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c and : 0.02 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c linear : 0.00 1244 0 0 1244 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 2737077 0 901792 0 233 1632 0 0 3530954
1797.04/1797.00 c logicor : 1244 35 3384435 970690 0 901788 0 44 14477317 31118851 0 0
1797.04/1797.00 c countsols : 0 0 0 11 0 553 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 : 43.72 0.00 0.00 43.51 0.00 0.21 0.00
1797.04/1797.00 c logicor : 83.50 0.00 32.79 41.48 0.00 9.22 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 : 13 0 0 0
1797.04/1797.00 c pseudoobj : 5598358 0 0 0
1797.04/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.04/1797.00 c vbounds : 0.86 0.86 0.00
1797.04/1797.00 c rootredcost : 0.95 0.95 0.00
1797.04/1797.00 c pseudoobj : 25.71 25.71 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 44 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.02 34 - - 30 - (maximal pool size: 2404)
1797.04/1797.00 c redcost : 12.74 3086804 0 734976 0 0
1797.04/1797.00 c impliedbounds : 0.00 35 0 0 565 0
1797.04/1797.00 c intobj : 0.00 0 0 0 0 0
1797.04/1797.00 c gomory : 0.67 35 0 0 9015 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 8239 0
1797.04/1797.00 c cmir : 0.03 10 0 0 0 0
1797.04/1797.00 c flowcover : 0.02 10 0 0 0 0
1797.04/1797.00 c clique : 0.04 35 0 0 234 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 : 42.23 1766387 233 1632 0 0 3530954
1797.04/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.04/1797.00 c inference : 0.00 2 0 0 0 0 4
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.40 - 11
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 oneopt : 0.76 15 1
1797.04/1797.00 c crossover : 1.00 11 0
1797.04/1797.00 c veclendiving : 2.39 2474 25
1797.04/1797.00 c linesearchdiving : 2.51 2474 23
1797.04/1797.00 c guideddiving : 2.70 2474 11
1797.04/1797.00 c coefdiving : 2.34 2475 33
1797.04/1797.00 c fracdiving : 2.67 2475 14
1797.04/1797.00 c pscostdiving : 2.32 2475 17
1797.04/1797.00 c objpscostdiving : 1.27 1238 10
1797.04/1797.00 c rootsoldiving : 1.40 1238 1
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 : 19.79 1778018 409
1797.04/1797.00 c zirounding : 0.58 1000 4
1797.04/1797.00 c rounding : 5.75 64609 1
1797.04/1797.00 c shifting : 1.80 20055 1
1797.04/1797.00 c intshifting : 0.04 0 0
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.47 0 0
1797.04/1797.00 c trysol : 0.69 0 0
1797.04/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.04/1797.00 c primal LP : 27.84 0 0 0.00 0.00
1797.04/1797.00 c dual LP : 1205.11 4315432 42788653 9.92 35506.13
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: 11.88 52127 315936 6.06 26601.22
1797.04/1797.00 c strong branching : 18.75 31427 434102 13.81 23148.47
1797.04/1797.00 c (at root node) : - 58 25157 433.74 -
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 : 3324742
1797.04/1797.00 c nodes (total) : 3324742
1797.04/1797.00 c nodes left : 41495
1797.04/1797.00 c max depth : 75
1797.04/1797.00 c max depth (total): 75
1797.04/1797.00 c backtracks : 504423 (15.2%)
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.32
1797.04/1797.00 c switching time : 100.71
1797.04/1797.00 c Solution :
1797.04/1797.00 c Solutions found : 562 (17 improvements)
1797.04/1797.00 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1797.04/1797.00 c Primal Bound : -5.40000000000000e+01 (in run 1, after 2623761 nodes, 1500.11 seconds, depth 48, found by <relaxation>)
1797.04/1797.00 c Dual Bound : -5.73333333333333e+01
1797.04/1797.00 c Gap : 5.81 %
1797.04/1797.00 c Root Dual Bound : -6.97656011156458e+01
1797.04/1797.00 c Root Iterations : 7429
1797.14/1797.18 c Time complete: 1797.22.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3485127-1307783374/watcher-3485127-1307783374 -o /tmp/evaluation-result-3485127-1307783374/solver-3485127-1307783374 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485127-1307783374.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
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 2.00 2/178 5022
/proc/meminfo: memFree=31296504/32951124 swapFree=67063272/67111528
[pid=5022] ppid=5020 vsize=10108 CPUtime=0 cores=0,2,4,6
/proc/5022/stat : 5022 (scip-2.0.1.4_2.) R 5020 5022 965 0 -1 4202496 1520 0 0 0 0 0 0 0 25 0 1 0 889935542 10350592 1475 33554432000 4194304 8979876 140734913646960 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/5022/statm: 2527 1477 367 1169 0 1354 0
[startup+0.036474 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 5022
/proc/meminfo: memFree=31296504/32951124 swapFree=67063272/67111528
[pid=5022] ppid=5020 vsize=18916 CPUtime=0.03 cores=0,2,4,6
/proc/5022/stat : 5022 (scip-2.0.1.4_2.) R 5020 5022 965 0 -1 4202496 3773 0 0 0 3 0 0 0 25 0 1 0 889935542 19369984 3471 33554432000 4194304 8979876 140734913646960 18446744073709551615 5284064 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5022/statm: 4729 3476 499 1169 0 3556 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 18916
[startup+0.100496 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 5022
/proc/meminfo: memFree=31296504/32951124 swapFree=67063272/67111528
[pid=5022] ppid=5020 vsize=23852 CPUtime=0.09 cores=0,2,4,6
/proc/5022/stat : 5022 (scip-2.0.1.4_2.) R 5020 5022 965 0 -1 4202496 5216 0 0 0 9 0 0 0 25 0 1 0 889935542 24424448 4883 33554432000 4194304 8979876 140734913646960 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5022/statm: 5963 4897 651 1169 0 4790 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23852
[startup+0.300453 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 5022
/proc/meminfo: memFree=31296504/32951124 swapFree=67063272/67111528
[pid=5022] ppid=5020 vsize=26308 CPUtime=0.29 cores=0,2,4,6
/proc/5022/stat : 5022 (scip-2.0.1.4_2.) R 5020 5022 965 0 -1 4202496 5750 0 0 0 29 0 0 0 25 0 1 0 889935542 26939392 5417 33554432000 4194304 8979876 140734913646960 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5022/statm: 6577 5417 654 1169 0 5404 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26308
[startup+0.700383 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 5022
/proc/meminfo: memFree=31296504/32951124 swapFree=67063272/67111528
[pid=5022] ppid=5020 vsize=33852 CPUtime=0.69 cores=0,2,4,6
/proc/5022/stat : 5022 (scip-2.0.1.4_2.) R 5020 5022 965 0 -1 4202496 7666 0 0 0 68 1 0 0 25 0 1 0 889935542 34664448 7329 33554432000 4194304 8979876 140734913646960 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5022/statm: 8463 7329 655 1169 0 7290 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33852
[startup+1.50126 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5023
/proc/meminfo: memFree=31266140/32951124 swapFree=67063272/67111528
[pid=5022] ppid=5020 vsize=42020 CPUtime=1.49 cores=0,2,4,6
/proc/5022/stat : 5022 (scip-2.0.1.4_2.) R 5020 5022 965 0 -1 4202496 9732 0 0 0 147 2 0 0 25 0 1 0 889935542 43028480 9395 33554432000 4194304 8979876 140734913646960 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5022/statm: 10505 9395 662 1169 0 9332 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42020
[startup+3.10089 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5023
/proc/meminfo: memFree=31259192/32951124 swapFree=67063272/67111528
[pid=5022] ppid=5020 vsize=42952 CPUtime=3.09 cores=0,2,4,6
/proc/5022/stat : 5022 (scip-2.0.1.4_2.) R 5020 5022 965 0 -1 4202496 10544 0 0 0 305 4 0 0 25 0 1 0 889935542 43982848 9721 33554432000 4194304 8979876 140734913646960 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5022/statm: 10738 9721 672 1169 0 9565 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 42952
[startup+6.30038 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5023
/proc/meminfo: memFree=31258828/32951124 swapFree=67063272/67111528
[pid=5022] ppid=5020 vsize=41928 CPUtime=6.3 cores=0,2,4,6
/proc/5022/stat : 5022 (scip-2.0.1.4_2.) R 5020 5022 965 0 -1 4202496 11089 0 0 0 618 12 0 0 25 0 1 0 889935542 42934272 9477 33554432000 4194304 8979876 140734913646960 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5022/statm: 10482 9477 680 1169 0 9309 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 41928
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5023
/proc/meminfo: memFree=31252692/32951124 swapFree=67063272/67111528
[pid=5022] ppid=5020 vsize=46988 CPUtime=12.69 cores=0,2,4,6
/proc/5022/stat : 5022 (scip-2.0.1.4_2.) R 5020 5022 965 0 -1 4202496 13612 0 0 0 1240 29 0 0 25 0 1 0 889935542 48115712 10758 33554432000 4194304 8979876 140734913646960 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5022/statm: 11747 10758 680 1169 0 10574 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 46988
[startup+25.501 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5024
/proc/meminfo: memFree=31244640/32951124 swapFree=67063272/67111528
[pid=5022] ppid=5020 vsize=54968 CPUtime=25.49 cores=0,2,4,6
/proc/5022/stat : 5022 (scip-2.0.1.4_2.) R 5020 5022 965 0 -1 4202496 17676 0 0 0 2479 70 0 0 25 0 1 0 889935542 56287232 12705 33554432000 4194304 8979876 140734913646960 18446744073709551615 6629554 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5022/statm: 13742 12705 680 1169 0 12569 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 54968
[startup+51.1004 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 5024
/proc/meminfo: memFree=31225692/32951124 swapFree=67063272/67111528
[pid=5022] ppid=5020 vsize=71332 CPUtime=51.09 cores=0,2,4,6
/proc/5022/stat : 5022 (scip-2.0.1.4_2.) R 5020 5022 965 0 -1 4202496 23067 0 0 0 4961 148 0 0 25 0 1 0 889935542 73043968 16856 33554432000 4194304 8979876 140734913646960 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5022/statm: 17833 16856 680 1169 0 16660 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 71332
[startup+102.306 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 5026
/proc/meminfo: memFree=31194200/32951124 swapFree=67063272/67111528
[pid=5022] ppid=5020 vsize=95360 CPUtime=102.29 cores=0,2,4,6
/proc/5022/stat : 5022 (scip-2.0.1.4_2.) R 5020 5022 965 0 -1 4202496 34119 0 0 0 9932 297 0 0 25 0 1 0 889935542 97648640 22939 33554432000 4194304 8979876 140734913646960 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5022/statm: 23840 22939 680 1169 0 22667 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 95360
[startup+162.301 s]
/proc/loadavg: 2.10 2.03 2.01 3/179 5027
/proc/meminfo: memFree=31157312/32951124 swapFree=67063272/67111528
[pid=5022] ppid=5020 vsize=127948 CPUtime=162.3 cores=0,2,4,6
/proc/5022/stat : 5022 (scip-2.0.1.4_2.) R 5020 5022 965 0 -1 4202496 42500 0 0 0 15749 481 0 0 25 0 1 0 889935542 131018752 30687 33554432000 4194304 8979876 140734913646960 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5022/statm: 31987 30687 680 1169 0 30814 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 127948
[startup+222.301 s]
/proc/loadavg: 2.08 2.04 2.01 3/179 5029
/proc/meminfo: memFree=31129852/32951124 swapFree=67063272/67111528
[pid=5022] ppid=5020 vsize=146756 CPUtime=222.3 cores=0,2,4,6
/proc/5022/stat : 5022 (scip-2.0.1.4_2.) R 5020 5022 965 0 -1 4202496 52548 0 0 0 21575 655 0 0 25 0 1 0 889935542 150278144 35573 33554432000 4194304 8979876 140734913646960 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5022/statm: 36689 35573 680 1169 0 35516 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 146756
[startup+282.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 5031
/proc/meminfo: memFree=31119740/32951124 swapFree=67063272/67111528
[pid=5022] ppid=5020 vsize=151460 CPUtime=282.3 cores=0,2,4,6
/proc/5022/stat : 5022 (scip-2.0.1.4_2.) R 5020 5022 965 0 -1 4202496 61566 0 0 0 27398 832 0 0 25 0 1 0 889935542 155095040 36728 33554432000 4194304 8979876 140734913646960 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5022/statm: 37865 36728 697 1169 0 36692 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 151460
[startup+342.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 5032
/proc/meminfo: memFree=31109252/32951124 swapFree=67063272/67111528
[pid=5022] ppid=5020 vsize=156200 CPUtime=342.3 cores=0,2,4,6
/proc/5022/stat : 5022 (scip-2.0.1.4_2.) R 5020 5022 965 0 -1 4202496 64417 0 0 0 33226 1004 0 0 25 0 1 0 889935542 159948800 37843 33554432000 4194304 8979876 140734913646960 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5022/statm: 39050 37843 697 1169 0 37877 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 156200
[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 5034
/proc/meminfo: memFree=31092320/32951124 swapFree=67063272/67111528
[pid=5022] ppid=5020 vsize=167860 CPUtime=402.3 cores=0,2,4,6
/proc/5022/stat : 5022 (scip-2.0.1.4_2.) R 5020 5022 965 0 -1 4202496 68218 0 0 0 39059 1171 0 0 25 0 1 0 889935542 171888640 40773 33554432000 4194304 8979876 140734913646960 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5022/statm: 41965 40773 697 1169 0 40792 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 167860
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 5035
/proc/meminfo: memFree=31074652/32951124 swapFree=67063272/67111528
[pid=5022] ppid=5020 vsize=180292 CPUtime=462.3 cores=0,2,4,6
/proc/5022/stat : 5022 (scip-2.0.1.4_2.) R 5020 5022 965 0 -1 4202496 71367 0 0 0 44891 1339 0 0 25 0 1 0 889935542 184619008 43922 33554432000 4194304 8979876 140734913646960 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5022/statm: 45073 43922 697 1169 0 43900 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 180292
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5037
/proc/meminfo: memFree=31054856/32951124 swapFree=67063272/67111528
[pid=5022] ppid=5020 vsize=194276 CPUtime=522.3 cores=0,2,4,6
/proc/5022/stat : 5022 (scip-2.0.1.4_2.) R 5020 5022 965 0 -1 4202496 75788 0 0 0 50722 1508 0 0 25 0 1 0 889935542 198938624 47460 33554432000 4194304 8979876 140734913646960 18446744073709551615 4787492 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5022/statm: 48569 47460 697 1169 0 47396 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 194276
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5039
/proc/meminfo: memFree=31030368/32951124 swapFree=67063272/67111528
[pid=5022] ppid=5020 vsize=196964 CPUtime=582.31 cores=0,2,4,6
/proc/5022/stat : 5022 (scip-2.0.1.4_2.) R 5020 5022 965 0 -1 4202496 87839 0 0 0 56555 1676 0 0 25 0 1 0 889935542 201691136 48226 33554432000 4194304 8979876 140734913646960 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5022/statm: 49241 48226 709 1169 0 48068 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 196964
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=31067968/32951124 swapFree=67063272/67111528
[pid=5022] ppid=5020 vsize=234472 CPUtime=1062.32 cores=0,2,4,6
/proc/5022/stat : 5022 (scip-2.0.1.4_2.) R 5020 5022 965 0 -1 4202496 100745 0 0 0 103236 2996 0 0 25 0 1 0 889935542 240099328 57593 33554432000 4194304 8979876 140734913646960 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5022/statm: 58618 57593 709 1169 0 57445 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 234472
[startup+1122.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 5091
/proc/meminfo: memFree=31042732/32951124 swapFree=67063272/67111528
[pid=5022] ppid=5020 vsize=240040 CPUtime=1122.32 cores=0,2,4,6
/proc/5022/stat : 5022 (scip-2.0.1.4_2.) R 5020 5022 965 0 -1 4202496 102164 0 0 0 109074 3158 0 0 25 0 1 0 889935542 245800960 59012 33554432000 4194304 8979876 140734913646960 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5022/statm: 60010 59012 709 1169 0 58837 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 240040
[startup+1182.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/179 5093
/proc/meminfo: memFree=31019484/32951124 swapFree=67063272/67111528
[pid=5022] ppid=5020 vsize=246392 CPUtime=1182.32 cores=0,2,4,6
/proc/5022/stat : 5022 (scip-2.0.1.4_2.) R 5020 5022 965 0 -1 4202496 103757 0 0 0 114911 3321 0 0 25 0 1 0 889935542 252305408 60605 33554432000 4194304 8979876 140734913646960 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5022/statm: 61598 60605 709 1169 0 60425 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 246392
[startup+1242.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/179 5094
/proc/meminfo: memFree=30990284/32951124 swapFree=67063272/67111528
[pid=5022] ppid=5020 vsize=252564 CPUtime=1242.32 cores=0,2,4,6
/proc/5022/stat : 5022 (scip-2.0.1.4_2.) R 5020 5022 965 0 -1 4202496 111922 0 0 0 120746 3486 0 0 25 0 1 0 889935542 258625536 62229 33554432000 4194304 8979876 140734913646960 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5022/statm: 63141 62229 709 1169 0 61968 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 252564
[startup+1302.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/179 5096
/proc/meminfo: memFree=30971384/32951124 swapFree=67063272/67111528
[pid=5022] ppid=5020 vsize=253424 CPUtime=1302.33 cores=0,2,4,6
/proc/5022/stat : 5022 (scip-2.0.1.4_2.) R 5020 5022 965 0 -1 4202496 117832 0 0 0 126592 3641 0 0 25 0 1 0 889935542 259506176 62475 33554432000 4194304 8979876 140734913646960 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5022/statm: 63356 62475 709 1169 0 62183 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 253424
[startup+1362.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/179 5097
/proc/meminfo: memFree=30957928/32951124 swapFree=67063272/67111528
[pid=5022] ppid=5020 vsize=253424 CPUtime=1362.33 cores=0,2,4,6
/proc/5022/stat : 5022 (scip-2.0.1.4_2.) R 5020 5022 965 0 -1 4202496 119814 0 0 0 132425 3808 0 0 25 0 1 0 889935542 259506176 62475 33554432000 4194304 8979876 140734913646960 18446744073709551615 4455392 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5022/statm: 63356 62475 709 1169 0 62183 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 253424
[startup+1422.31 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 5099
/proc/meminfo: memFree=30939284/32951124 swapFree=67063272/67111528
[pid=5022] ppid=5020 vsize=253424 CPUtime=1422.33 cores=0,2,4,6
/proc/5022/stat : 5022 (scip-2.0.1.4_2.) R 5020 5022 965 0 -1 4202496 119814 0 0 0 138267 3966 0 0 25 0 1 0 889935542 259506176 62475 33554432000 4194304 8979876 140734913646960 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5022/statm: 63356 62475 709 1169 0 62183 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 253424
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 5101
/proc/meminfo: memFree=30924460/32951124 swapFree=67063272/67111528
[pid=5022] ppid=5020 vsize=253488 CPUtime=1482.32 cores=0,2,4,6
/proc/5022/stat : 5022 (scip-2.0.1.4_2.) R 5020 5022 965 0 -1 4202496 121807 0 0 0 144109 4123 0 0 25 0 1 0 889935542 259571712 62492 33554432000 4194304 8979876 140734913646960 18446744073709551615 6386469 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5022/statm: 63372 62492 709 1169 0 62199 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 253488
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 5102
/proc/meminfo: memFree=30913104/32951124 swapFree=67063272/67111528
[pid=5022] ppid=5020 vsize=252564 CPUtime=1542.33 cores=0,2,4,6
/proc/5022/stat : 5022 (scip-2.0.1.4_2.) R 5020 5022 965 0 -1 4202496 128642 0 0 0 149955 4278 0 0 25 0 1 0 889935542 258625536 62229 33554432000 4194304 8979876 140734913646960 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5022/statm: 63141 62229 709 1169 0 61968 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 252564
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 5104
/proc/meminfo: memFree=30897916/32951124 swapFree=67063272/67111528
[pid=5022] ppid=5020 vsize=252564 CPUtime=1602.33 cores=0,2,4,6
/proc/5022/stat : 5022 (scip-2.0.1.4_2.) R 5020 5022 965 0 -1 4202496 130416 0 0 0 155806 4427 0 0 25 0 1 0 889935542 258625536 62229 33554432000 4194304 8979876 140734913646960 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5022/statm: 63141 62229 709 1169 0 61968 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 252564
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5105
/proc/meminfo: memFree=30882844/32951124 swapFree=67063272/67111528
[pid=5022] ppid=5020 vsize=252564 CPUtime=1662.33 cores=0,2,4,6
/proc/5022/stat : 5022 (scip-2.0.1.4_2.) R 5020 5022 965 0 -1 4202496 130416 0 0 0 161654 4579 0 0 25 0 1 0 889935542 258625536 62229 33554432000 4194304 8979876 140734913646960 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5022/statm: 63141 62229 709 1169 0 61968 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 252564
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5107
/proc/meminfo: memFree=30877204/32951124 swapFree=67063272/67111528
[pid=5022] ppid=5020 vsize=252564 CPUtime=1722.34 cores=0,2,4,6
/proc/5022/stat : 5022 (scip-2.0.1.4_2.) R 5020 5022 965 0 -1 4202496 131309 0 0 0 167509 4725 0 0 25 0 1 0 889935542 258625536 62237 33554432000 4194304 8979876 140734913646960 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5022/statm: 63141 62237 709 1169 0 61968 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 252564
[startup+1782.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 5109
/proc/meminfo: memFree=30877248/32951124 swapFree=67063272/67111528
[pid=5022] ppid=5020 vsize=252564 CPUtime=1782.33 cores=0,2,4,6
/proc/5022/stat : 5022 (scip-2.0.1.4_2.) R 5020 5022 965 0 -1 4202496 131309 0 0 0 173363 4870 0 0 25 0 1 0 889935542 258625536 62237 33554432000 4194304 8979876 140734913646960 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5022/statm: 63141 62237 709 1169 0 61968 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 252564
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 5109
/proc/meminfo: memFree=30877244/32951124 swapFree=67063272/67111528
[pid=5022] ppid=5020 vsize=252564 CPUtime=1785.53 cores=0,2,4,6
/proc/5022/stat : 5022 (scip-2.0.1.4_2.) R 5020 5022 965 0 -1 4202496 131309 0 0 0 173675 4878 0 0 25 0 1 0 889935542 258625536 62237 33554432000 4194304 8979876 140734913646960 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5022/statm: 63141 62237 709 1169 0 61968 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 252564
[startup+1791.91 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 5109
/proc/meminfo: memFree=30877236/32951124 swapFree=67063272/67111528
[pid=5022] ppid=5020 vsize=252564 CPUtime=1791.94 cores=0,2,4,6
/proc/5022/stat : 5022 (scip-2.0.1.4_2.) R 5020 5022 965 0 -1 4202496 131309 0 0 0 174302 4892 0 0 25 0 1 0 889935542 258625536 62237 33554432000 4194304 8979876 140734913646960 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5022/statm: 63141 62237 709 1169 0 61968 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 252564
[startup+1795.1 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 5109
/proc/meminfo: memFree=30877112/32951124 swapFree=67063272/67111528
[pid=5022] ppid=5020 vsize=252564 CPUtime=1795.14 cores=0,2,4,6
/proc/5022/stat : 5022 (scip-2.0.1.4_2.) R 5020 5022 965 0 -1 4202496 131309 0 0 0 174613 4901 0 0 25 0 1 0 889935542 258625536 62237 33554432000 4194304 8979876 140734913646960 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5022/statm: 63141 62237 709 1169 0 61968 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 252564
[startup+1795.9 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 5109
/proc/meminfo: memFree=30877112/32951124 swapFree=67063272/67111528
[pid=5022] ppid=5020 vsize=252564 CPUtime=1795.94 cores=0,2,4,6
/proc/5022/stat : 5022 (scip-2.0.1.4_2.) R 5020 5022 965 0 -1 4202496 131309 0 0 0 174692 4902 0 0 25 0 1 0 889935542 258625536 62237 33554432000 4194304 8979876 140734913646960 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5022/statm: 63141 62237 709 1169 0 61968 0
Current children cumulated CPU time (s) 1795.94
Current children cumulated vsize (KiB) 252564
[startup+1796.7 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 5109
/proc/meminfo: memFree=30877232/32951124 swapFree=67063272/67111528
[pid=5022] ppid=5020 vsize=252564 CPUtime=1796.74 cores=0,2,4,6
/proc/5022/stat : 5022 (scip-2.0.1.4_2.) R 5020 5022 965 0 -1 4202496 131309 0 0 0 174770 4904 0 0 25 0 1 0 889935542 258625536 62237 33554432000 4194304 8979876 140734913646960 18446744073709551615 5381765 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/5022/statm: 63141 62237 709 1169 0 61968 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 252564
[startup+1797.1 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 5109
/proc/meminfo: memFree=30877232/32951124 swapFree=67063272/67111528
[pid=5022] ppid=5020 vsize=252564 CPUtime=1797.14 cores=0,2,4,6
/proc/5022/stat : 5022 (scip-2.0.1.4_2.) R 5020 5022 965 0 -1 4202496 131312 0 0 0 174809 4905 0 0 25 0 1 0 889935542 258625536 62240 33554432000 4194304 8979876 140734913646960 18446744073709551615 6778220 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/5022/statm: 63141 62240 712 1169 0 61968 0
Current children cumulated CPU time (s) 1797.14
Current children cumulated vsize (KiB) 252564
Child status: 0
Real time (s): 1797.19
CPU time (s): 1797.23
CPU user time (s): 1748.17
CPU system time (s): 49.0615
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 254820
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1748.17
system time used= 49.0615
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131317
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= 5
involuntary context switches= 2636
runsolver used 2.68759 second user time and 5.50516 second system time
The end