0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3690887-1338017067.opb>
0.00/0.00 c original problem has 473 variables (473 bin, 0 int, 0 impl, 0 cont) and 473 constraints
0.00/0.00 c problem read in 0.00
0.00/0.01 o 473
0.00/0.01 c feasible solution found by trivial heuristic, objective value 4.730000e+02
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 43 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (round 2) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 43 chg coeffs, 473 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (round 3) 0 del vars, 67 del conss, 171 add conss, 0 chg bounds, 214 chg sides, 571 chg coeffs, 473 upgd conss, 226 impls, 0 clqs
0.00/0.03 c (round 4) 0 del vars, 105 del conss, 192 add conss, 0 chg bounds, 274 chg sides, 666 chg coeffs, 473 upgd conss, 226 impls, 0 clqs
0.00/0.03 c (round 5) 0 del vars, 108 del conss, 195 add conss, 0 chg bounds, 288 chg sides, 693 chg coeffs, 473 upgd conss, 226 impls, 0 clqs
0.00/0.03 c (round 6) 0 del vars, 108 del conss, 195 add conss, 0 chg bounds, 293 chg sides, 708 chg coeffs, 473 upgd conss, 226 impls, 0 clqs
0.00/0.03 c (0.0s) probing: 51/473 (10.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.03 c presolving (7 rounds):
0.00/0.03 c 0 deleted vars, 108 deleted constraints, 195 added constraints, 0 tightened bounds, 0 added holes, 293 changed sides, 708 changed coefficients
0.00/0.03 c 226 implications, 0 cliques
0.00/0.03 c presolved problem has 473 variables (473 bin, 0 int, 0 impl, 0 cont) and 560 constraints
0.00/0.03 c 445 constraints of type <knapsack>
0.00/0.03 c 113 constraints of type <setppc>
0.00/0.03 c 2 constraints of type <logicor>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.03
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 2.1.1.4
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1797
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 13950
0.00/0.03 c
0.00/0.03 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.03 c # [type: int, range: [1,2], default: 1]
0.00/0.03 c timing/clocktype = 2
0.00/0.03 c
0.00/0.03 c # belongs reading time to solving time?
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c timing/reading = TRUE
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.89/0.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.89/0.90 c t 0.9s| 1 | 0 | 10369 | - |2712k| 0 | 306 | 473 | 560 | 473 | 560 | 0 | 0 | 0 | 1.510371e+02 | 4.730000e+02 | 213.17%
0.89/0.90 o 326
0.89/0.90 c r 0.9s| 1 | 0 | 10369 | - |2725k| 0 | 306 | 473 | 560 | 473 | 560 | 0 | 0 | 0 | 1.510371e+02 | 3.260000e+02 | 115.84%
0.89/0.91 o 325
0.89/0.91 c R 0.9s| 1 | 0 | 10369 | - |2738k| 0 | 306 | 473 | 560 | 473 | 560 | 0 | 0 | 0 | 1.510371e+02 | 3.250000e+02 | 115.18%
0.89/0.91 o 324
0.89/0.91 c s 0.9s| 1 | 0 | 10369 | - |2752k| 0 | 306 | 473 | 560 | 473 | 560 | 0 | 0 | 0 | 1.510371e+02 | 3.240000e+02 | 114.52%
1.29/1.32 o 222
1.29/1.32 c y 1.3s| 1 | 0 | 10369 | - |3122k| 0 | 306 | 473 | 560 | 473 | 560 | 0 | 0 | 0 | 1.510371e+02 | 2.220000e+02 | 46.98%
1.79/1.84 c 1.8s| 1 | 0 | 14470 | - |3046k| 0 | 387 | 473 | 560 | 473 | 763 | 203 | 0 | 0 | 1.570185e+02 | 2.220000e+02 | 41.38%
2.59/2.65 c 2.6s| 1 | 0 | 18397 | - |3300k| 0 | 418 | 473 | 560 | 473 | 943 | 383 | 0 | 0 | 1.604754e+02 | 2.220000e+02 | 38.34%
3.19/3.28 c 3.3s| 1 | 0 | 20519 | - |3494k| 0 | 430 | 473 | 560 | 473 |1085 | 525 | 0 | 0 | 1.621553e+02 | 2.220000e+02 | 36.91%
3.89/3.97 c 4.0s| 1 | 0 | 22361 | - |3625k| 0 | 433 | 473 | 560 | 473 |1186 | 626 | 0 | 0 | 1.630606e+02 | 2.220000e+02 | 36.15%
4.49/4.58 c 4.6s| 1 | 0 | 23595 | - |3692k| 0 | 440 | 473 | 560 | 473 |1251 | 691 | 0 | 0 | 1.635887e+02 | 2.220000e+02 | 35.71%
5.09/5.11 c 5.1s| 1 | 0 | 24162 | - |3729k| 0 | 448 | 473 | 560 | 473 |1287 | 727 | 0 | 0 | 1.638306e+02 | 2.220000e+02 | 35.51%
5.59/5.66 c 5.7s| 1 | 0 | 24719 | - |3758k| 0 | 443 | 473 | 560 | 473 |1311 | 751 | 0 | 0 | 1.639278e+02 | 2.220000e+02 | 35.43%
5.99/6.06 c 6.1s| 1 | 0 | 24787 | - |3765k| 0 | 444 | 473 | 560 | 473 |1315 | 755 | 0 | 0 | 1.639394e+02 | 2.220000e+02 | 35.42%
6.39/6.45 c 6.4s| 1 | 0 | 24831 | - |3772k| 0 | 442 | 473 | 560 | 473 |1316 | 756 | 0 | 0 | 1.639447e+02 | 2.220000e+02 | 35.41%
6.79/6.84 c 6.8s| 1 | 0 | 24847 | - |3778k| 0 | 441 | 473 | 560 | 473 |1317 | 757 | 0 | 0 | 1.639455e+02 | 2.220000e+02 | 35.41%
6.99/7.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.99/7.01 c 7.0s| 1 | 0 | 24869 | - |3785k| 0 | 445 | 473 | 560 | 473 |1269 | 758 | 0 | 0 | 1.639463e+02 | 2.220000e+02 | 35.41%
10.09/10.11 c 10.1s| 1 | 2 | 24869 | - |3806k| 0 | 445 | 473 | 560 | 473 |1269 | 758 | 0 | 20 | 1.639463e+02 | 2.220000e+02 | 35.41%
32.48/32.57 o 221
32.48/32.57 c p32.6s| 27 | 28 | 55632 |1183.2 |4676k| 14 | - | 473 | 560 | 473 | 969 | 758 | 0 | 244 | 1.641428e+02 | 2.210000e+02 | 34.64%
32.48/32.57 o 220
32.48/32.57 c p32.6s| 27 | 28 | 55637 |1183.4 |4677k| 14 | - | 473 | 560 | 473 | 969 | 758 | 0 | 244 | 1.641428e+02 | 2.200000e+02 | 34.03%
32.48/32.57 o 219
32.48/32.57 c p32.6s| 27 | 28 | 55638 |1183.4 |4678k| 14 | - | 473 | 560 | 473 | 969 | 758 | 0 | 244 | 1.641428e+02 | 2.190000e+02 | 33.42%
32.48/32.57 o 217
32.48/32.57 c p32.6s| 27 | 28 | 55647 |1183.8 |4680k| 14 | - | 473 | 560 | 473 | 969 | 758 | 0 | 244 | 1.641428e+02 | 2.170000e+02 | 32.20%
32.48/32.57 o 216
32.48/32.57 c p32.6s| 27 | 28 | 55653 |1184.0 |4681k| 14 | - | 473 | 560 | 473 | 969 | 758 | 0 | 244 | 1.641428e+02 | 2.160000e+02 | 31.59%
32.48/32.57 o 215
32.48/32.57 c p32.6s| 27 | 28 | 55655 |1184.1 |4682k| 14 | - | 473 | 560 | 473 | 969 | 758 | 0 | 244 | 1.641428e+02 | 2.150000e+02 | 30.98%
32.48/32.57 o 215
32.48/32.57 c p32.6s| 27 | 28 | 55657 |1184.2 |4683k| 14 | - | 473 | 560 | 473 | 969 | 758 | 0 | 244 | 1.641428e+02 | 2.150000e+02 | 30.98%
32.48/32.57 o 214
32.48/32.57 c p32.6s| 27 | 28 | 55664 |1184.4 |4684k| 14 | - | 473 | 560 | 473 | 969 | 758 | 0 | 244 | 1.641428e+02 | 2.140000e+02 | 30.37%
32.48/32.57 o 213
32.48/32.57 c p32.6s| 27 | 28 | 55670 |1184.7 |4685k| 14 | - | 473 | 560 | 473 | 969 | 758 | 0 | 244 | 1.641428e+02 | 2.130000e+02 | 29.77%
32.48/32.58 o 213
32.48/32.58 c p32.6s| 27 | 28 | 55681 |1185.1 |4689k| 14 | - | 473 | 560 | 473 | 969 | 758 | 0 | 244 | 1.641428e+02 | 2.130000e+02 | 29.77%
32.48/32.58 o 211
32.48/32.58 c p32.6s| 27 | 28 | 55689 |1185.4 |4691k| 14 | - | 473 | 560 | 473 | 969 | 758 | 0 | 244 | 1.641428e+02 | 2.110000e+02 | 28.55%
32.48/32.58 o 210
32.48/32.58 c p32.6s| 27 | 28 | 55699 |1185.8 |4696k| 14 | - | 473 | 560 | 473 | 969 | 758 | 0 | 244 | 1.641428e+02 | 2.100000e+02 | 27.94%
32.48/32.58 o 209
32.48/32.58 c p32.6s| 27 | 28 | 55700 |1185.8 |4696k| 14 | - | 473 | 560 | 473 | 969 | 758 | 0 | 244 | 1.641428e+02 | 2.090000e+02 | 27.33%
32.48/32.58 o 208
32.48/32.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
32.48/32.58 c p32.6s| 27 | 28 | 55702 |1185.9 |4698k| 14 | - | 473 | 560 | 473 | 969 | 758 | 0 | 244 | 1.641428e+02 | 2.080000e+02 | 26.72%
32.48/32.58 o 206
32.48/32.58 c p32.6s| 27 | 28 | 55723 |1186.7 |4706k| 14 | - | 473 | 560 | 473 | 969 | 758 | 0 | 244 | 1.641428e+02 | 2.060000e+02 | 25.50%
32.48/32.59 o 205
32.48/32.59 c b32.6s| 28 | 27 | 55741 |1143.4 |4553k| 14 | - | 473 | 560 | 473 | 969 | 758 | 0 | 244 | 1.641428e+02 | 2.050000e+02 | 24.89%
55.18/55.25 c 55.2s| 100 | 101 |246435 |2238.0 |4726k| 18 | 404 | 473 | 560 | 473 | 969 | 758 | 0 | 270 | 1.641428e+02 | 2.050000e+02 | 24.89%
64.18/64.26 o 204
64.18/64.26 c l64.3s| 164 | 165 |306625 |1728.6 |4935k| 27 | - | 473 | 560 | 473 | 969 | 758 | 0 | 293 | 1.641428e+02 | 2.040000e+02 | 24.28%
64.28/64.34 o 200
64.28/64.34 c b64.3s| 165 | 166 |307098 |1720.9 |4797k| 27 | 381 | 473 | 560 | 473 | 969 | 758 | 0 | 293 | 1.641428e+02 | 2.000000e+02 | 21.85%
73.08/73.15 o 200
73.08/73.15 c v73.2s| 195 | 196 |374588 |1802.7 |4938k| 27 | - | 473 | 560 | 473 | 969 | 758 | 0 | 304 | 1.641428e+02 | 2.000000e+02 | 21.85%
73.18/73.22 o 199
73.18/73.22 c b73.2s| 196 | 197 |374963 |1795.4 |4821k| 27 | 406 | 473 | 560 | 473 | 969 | 758 | 0 | 304 | 1.641428e+02 | 1.990000e+02 | 21.24%
74.88/74.95 c 75.0s| 200 | 201 |384968 |1809.5 |4817k| 27 | 417 | 473 | 560 | 473 | 969 | 758 | 0 | 314 | 1.641428e+02 | 1.990000e+02 | 21.24%
79.08/79.11 o 198
79.08/79.11 c p79.1s| 213 | 214 |417654 |1852.8 |4989k| 27 | - | 473 | 560 | 473 | 969 | 758 | 0 | 314 | 1.642886e+02 | 1.980000e+02 | 20.52%
79.08/79.11 o 197
79.08/79.11 c p79.1s| 213 | 214 |417658 |1852.8 |4989k| 27 | - | 473 | 560 | 473 | 969 | 758 | 0 | 314 | 1.642886e+02 | 1.970000e+02 | 19.91%
79.08/79.11 o 196
79.08/79.11 c p79.1s| 213 | 214 |417659 |1852.8 |4990k| 27 | - | 473 | 560 | 473 | 969 | 758 | 0 | 314 | 1.642886e+02 | 1.960000e+02 | 19.30%
108.67/108.79 c 109s| 300 | 301 |630504 |2025.5 |4880k| 27 | 373 | 473 | 560 | 473 | 969 | 758 | 0 | 368 | 1.645675e+02 | 1.960000e+02 | 19.10%
129.87/129.91 c 130s| 400 | 401 |772444 |1873.6 |4944k| 27 | 395 | 473 | 560 | 473 | 969 | 758 | 0 | 434 | 1.646050e+02 | 1.960000e+02 | 19.07%
148.77/148.85 c 149s| 500 | 501 |914584 |1783.0 |5008k| 27 | 391 | 473 | 560 | 473 | 969 | 758 | 0 | 445 | 1.647006e+02 | 1.960000e+02 | 19.00%
173.26/173.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
173.26/173.39 c 173s| 600 | 601 | 1097k|1790.8 |5074k| 27 | 356 | 473 | 560 | 473 | 969 | 758 | 0 | 471 | 1.647494e+02 | 1.960000e+02 | 18.97%
186.66/186.73 c 187s| 700 | 701 | 1187k|1663.0 |5140k| 31 | 363 | 473 | 560 | 473 | 969 | 758 | 0 | 520 | 1.647694e+02 | 1.960000e+02 | 18.95%
204.36/204.45 c 204s| 800 | 801 | 1324k|1626.9 |5207k| 31 | 336 | 473 | 560 | 473 | 969 | 758 | 0 | 523 | 1.648410e+02 | 1.960000e+02 | 18.90%
215.56/215.66 c 216s| 900 | 901 | 1404k|1535.0 |5273k| 31 | 359 | 473 | 560 | 473 | 969 | 758 | 0 | 542 | 1.648662e+02 | 1.960000e+02 | 18.88%
233.35/233.48 c 233s| 1000 | 1001 | 1527k|1504.0 |5340k| 31 | 401 | 473 | 560 | 473 | 969 | 758 | 0 | 595 | 1.648856e+02 | 1.960000e+02 | 18.87%
240.46/240.57 o 196
240.46/240.57 c p 241s| 1040 | 1041 | 1581k|1498.5 |5533k| 33 | - | 473 | 560 | 473 | 969 | 758 | 0 | 599 | 1.648885e+02 | 1.960000e+02 | 18.87%
240.46/240.57 o 195
240.46/240.57 c p 241s| 1040 | 1041 | 1581k|1498.5 |5535k| 33 | - | 473 | 560 | 473 | 969 | 758 | 0 | 599 | 1.648885e+02 | 1.950000e+02 | 18.26%
245.45/245.58 c 246s| 1100 | 1101 | 1623k|1454.2 |5411k| 57 | 260 | 473 | 560 | 473 | 969 | 758 | 0 | 601 | 1.648904e+02 | 1.950000e+02 | 18.26%
248.16/248.26 c 248s| 1200 | 1199 | 1647k|1353.2 |5486k| 98 | 165 | 473 | 560 | 473 | 969 | 758 | 0 | 604 | 1.648904e+02 | 1.950000e+02 | 18.26%
249.05/249.17 c 249s| 1300 | 1297 | 1656k|1256.2 |5563k| 107 | 162 | 473 | 560 | 473 | 969 | 758 | 0 | 604 | 1.648904e+02 | 1.950000e+02 | 18.26%
251.25/251.36 c 251s| 1400 | 1383 | 1675k|1179.7 |5640k| 107 | 148 | 473 | 560 | 473 | 969 | 758 | 0 | 607 | 1.648924e+02 | 1.950000e+02 | 18.26%
252.05/252.17 c 252s| 1500 | 1445 | 1682k|1105.6 |5694k| 110 | 392 | 473 | 560 | 473 | 969 | 758 | 0 | 608 | 1.649030e+02 | 1.950000e+02 | 18.25%
257.65/257.79 c 258s| 1600 | 1479 | 1719k|1059.8 |5723k| 114 | 128 | 473 | 560 | 473 | 969 | 758 | 0 | 649 | 1.649101e+02 | 1.950000e+02 | 18.25%
259.35/259.45 c 259s| 1700 | 1537 | 1732k|1005.1 |5773k| 114 | 132 | 473 | 560 | 473 | 969 | 758 | 0 | 649 | 1.649418e+02 | 1.950000e+02 | 18.22%
261.95/262.04 c 262s| 1800 | 1587 | 1749k| 958.9 |5816k| 118 | 139 | 473 | 560 | 473 | 969 | 758 | 0 | 670 | 1.649440e+02 | 1.950000e+02 | 18.22%
263.95/264.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
263.95/264.04 c 264s| 1900 | 1631 | 1767k| 917.6 |5854k| 121 | - | 473 | 560 | 473 | 969 | 758 | 0 | 673 | 1.649470e+02 | 1.950000e+02 | 18.22%
265.95/266.02 c 266s| 2000 | 1683 | 1782k| 879.1 |5901k| 121 | 137 | 473 | 560 | 473 | 969 | 758 | 0 | 686 | 1.649470e+02 | 1.950000e+02 | 18.22%
267.35/267.49 c 267s| 2100 | 1723 | 1792k| 842.3 |5939k| 121 | 125 | 473 | 560 | 473 | 969 | 758 | 0 | 691 | 1.649525e+02 | 1.950000e+02 | 18.22%
272.44/272.56 c 273s| 2200 | 1765 | 1832k| 821.9 |5974k| 121 | 138 | 473 | 560 | 473 | 969 | 758 | 0 | 693 | 1.649561e+02 | 1.950000e+02 | 18.21%
272.76/272.82 c 273s| 2300 | 1795 | 1834k| 787.2 |6003k| 123 | 110 | 473 | 560 | 473 | 969 | 758 | 0 | 693 | 1.649561e+02 | 1.950000e+02 | 18.21%
274.45/274.53 c 275s| 2400 | 1823 | 1847k| 759.8 |6030k| 123 | 116 | 473 | 560 | 473 | 969 | 758 | 0 | 694 | 1.649662e+02 | 1.950000e+02 | 18.21%
276.25/276.38 c 276s| 2500 | 1835 | 1861k| 735.1 |6040k| 125 | 121 | 473 | 560 | 473 | 969 | 758 | 0 | 694 | 1.649662e+02 | 1.950000e+02 | 18.21%
278.05/278.17 c 278s| 2600 | 1865 | 1876k| 712.4 |6065k| 125 | 116 | 473 | 560 | 473 | 969 | 758 | 0 | 694 | 1.649678e+02 | 1.950000e+02 | 18.20%
281.55/281.61 c 282s| 2700 | 1915 | 1902k| 695.7 |6106k| 125 | 136 | 473 | 560 | 473 | 969 | 758 | 0 | 701 | 1.649693e+02 | 1.950000e+02 | 18.20%
284.76/284.81 c 285s| 2800 | 1961 | 1926k| 679.4 |6148k| 125 | - | 473 | 560 | 473 | 969 | 758 | 0 | 706 | 1.649699e+02 | 1.950000e+02 | 18.20%
286.55/286.68 c 287s| 2900 | 1997 | 1941k| 661.0 |6176k| 125 | 132 | 473 | 560 | 473 | 969 | 758 | 0 | 707 | 1.649723e+02 | 1.950000e+02 | 18.20%
290.25/290.33 c 290s| 3000 | 2039 | 1967k| 647.8 |6218k| 125 | - | 473 | 560 | 473 | 969 | 758 | 0 | 716 | 1.649803e+02 | 1.950000e+02 | 18.20%
295.15/295.20 c 295s| 3100 | 2079 | 1996k| 636.2 |6253k| 125 | - | 473 | 560 | 473 | 969 | 758 | 0 | 748 | 1.649927e+02 | 1.950000e+02 | 18.19%
296.75/296.89 c 297s| 3200 | 2115 | 2009k| 620.5 |6281k| 125 | 131 | 473 | 560 | 473 | 969 | 758 | 0 | 748 | 1.650064e+02 | 1.950000e+02 | 18.18%
300.25/300.34 c 300s| 3300 | 2177 | 2029k| 607.7 |6335k| 125 | 386 | 473 | 560 | 473 | 969 | 758 | 0 | 775 | 1.650133e+02 | 1.950000e+02 | 18.17%
307.15/307.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
307.15/307.24 c 307s| 3400 | 2231 | 2078k| 604.3 |6373k| 125 | 149 | 473 | 560 | 473 | 969 | 758 | 0 | 789 | 1.650248e+02 | 1.950000e+02 | 18.16%
309.05/309.12 c 309s| 3500 | 2269 | 2093k| 591.2 |6406k| 125 | 127 | 473 | 560 | 473 | 969 | 758 | 0 | 794 | 1.650260e+02 | 1.950000e+02 | 18.16%
311.34/311.43 c 311s| 3600 | 2309 | 2112k| 580.2 |6439k| 125 | - | 473 | 560 | 473 | 969 | 758 | 0 | 795 | 1.650314e+02 | 1.950000e+02 | 18.16%
313.14/313.20 c 313s| 3700 | 2343 | 2126k| 568.2 |6470k| 125 | - | 473 | 560 | 473 | 969 | 758 | 0 | 795 | 1.650422e+02 | 1.950000e+02 | 18.15%
315.05/315.15 c 315s| 3800 | 2357 | 2142k| 557.3 |6481k| 125 | - | 473 | 560 | 473 | 969 | 758 | 0 | 796 | 1.650452e+02 | 1.950000e+02 | 18.15%
317.14/317.27 c 317s| 3900 | 2403 | 2157k| 547.1 |6519k| 125 | 387 | 473 | 560 | 473 | 969 | 758 | 0 | 797 | 1.650515e+02 | 1.950000e+02 | 18.14%
319.95/320.08 c 320s| 4000 | 2443 | 2180k| 539.2 |6556k| 125 | 116 | 473 | 560 | 473 | 969 | 758 | 0 | 797 | 1.650522e+02 | 1.950000e+02 | 18.14%
321.24/321.30 c 321s| 4100 | 2471 | 2189k| 528.1 |6581k| 125 | 364 | 473 | 560 | 473 | 969 | 758 | 0 | 797 | 1.650640e+02 | 1.950000e+02 | 18.14%
323.04/323.17 c 323s| 4200 | 2511 | 2204k| 519.0 |6617k| 125 | 114 | 473 | 560 | 473 | 969 | 758 | 0 | 798 | 1.650650e+02 | 1.950000e+02 | 18.14%
323.35/323.47 c 323s| 4300 | 2545 | 2206k| 507.6 |6651k| 125 | 141 | 473 | 560 | 473 | 969 | 758 | 0 | 798 | 1.650650e+02 | 1.950000e+02 | 18.14%
325.55/325.65 c 326s| 4400 | 2573 | 2224k| 500.1 |6676k| 125 | 379 | 473 | 560 | 473 | 969 | 758 | 0 | 798 | 1.650689e+02 | 1.950000e+02 | 18.13%
329.95/330.04 c 330s| 4500 | 2611 | 2256k| 495.9 |6707k| 125 | 100 | 473 | 560 | 473 | 969 | 758 | 0 | 810 | 1.650718e+02 | 1.950000e+02 | 18.13%
330.14/330.26 c 330s| 4600 | 2619 | 2258k| 485.6 |6716k| 125 | 137 | 473 | 560 | 473 | 969 | 758 | 0 | 810 | 1.650718e+02 | 1.950000e+02 | 18.13%
331.34/331.41 c 331s| 4700 | 2661 | 2264k| 476.7 |6756k| 125 | 374 | 473 | 560 | 473 | 969 | 758 | 0 | 819 | 1.650773e+02 | 1.950000e+02 | 18.13%
334.14/334.23 c 334s| 4800 | 2679 | 2286k| 471.2 |6777k| 125 | - | 473 | 560 | 473 | 969 | 758 | 0 | 833 | 1.650779e+02 | 1.950000e+02 | 18.13%
337.94/338.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
337.94/338.01 c 338s| 4900 | 2713 | 2311k| 466.7 |6806k| 125 | - | 473 | 560 | 473 | 969 | 758 | 0 | 848 | 1.650844e+02 | 1.950000e+02 | 18.12%
339.63/339.70 c 340s| 5000 | 2753 | 2320k| 459.2 |6836k| 125 | 384 | 473 | 560 | 473 | 969 | 758 | 0 | 877 | 1.650850e+02 | 1.950000e+02 | 18.12%
341.64/341.73 c 342s| 5100 | 2785 | 2336k| 453.4 |6862k| 125 | 133 | 473 | 560 | 473 | 969 | 758 | 0 | 878 | 1.650860e+02 | 1.950000e+02 | 18.12%
343.44/343.56 c 344s| 5200 | 2809 | 2350k| 447.3 |6888k| 125 | - | 473 | 560 | 473 | 969 | 758 | 0 | 889 | 1.650881e+02 | 1.950000e+02 | 18.12%
346.74/346.84 c 347s| 5300 | 2853 | 2374k| 443.4 |6921k| 125 | - | 473 | 560 | 473 | 969 | 758 | 0 | 897 | 1.650916e+02 | 1.950000e+02 | 18.12%
349.74/349.89 c 350s| 5400 | 2915 | 2396k| 439.4 |6968k| 125 | 123 | 473 | 560 | 473 | 969 | 758 | 0 | 899 | 1.650935e+02 | 1.950000e+02 | 18.11%
351.04/351.16 c 351s| 5500 | 2957 | 2405k| 433.0 |7001k| 125 | 368 | 473 | 560 | 473 | 969 | 758 | 0 | 901 | 1.651008e+02 | 1.950000e+02 | 18.11%
355.44/355.56 c 356s| 5600 | 2989 | 2440k| 431.5 |7026k| 125 | 110 | 473 | 560 | 473 | 969 | 758 | 0 | 903 | 1.651021e+02 | 1.950000e+02 | 18.11%
359.23/359.33 c 359s| 5700 | 3015 | 2471k| 429.3 |7047k| 125 | - | 473 | 560 | 473 | 969 | 758 | 0 | 903 | 1.651091e+02 | 1.950000e+02 | 18.10%
359.54/359.70 c 360s| 5800 | 3041 | 2475k| 422.5 |7067k| 125 | 159 | 473 | 560 | 473 | 969 | 758 | 0 | 903 | 1.651091e+02 | 1.950000e+02 | 18.10%
361.14/361.26 c 361s| 5900 | 3057 | 2486k| 417.4 |7084k| 125 | 106 | 473 | 560 | 473 | 969 | 758 | 0 | 903 | 1.651096e+02 | 1.950000e+02 | 18.10%
365.94/366.03 c 366s| 6000 | 3093 | 2522k| 416.4 |7110k| 125 | - | 473 | 560 | 473 | 969 | 758 | 0 | 903 | 1.651138e+02 | 1.950000e+02 | 18.10%
369.33/369.47 c 369s| 6100 | 3129 | 2547k| 413.7 |7139k| 125 | 111 | 473 | 560 | 473 | 969 | 758 | 0 | 912 | 1.651145e+02 | 1.950000e+02 | 18.10%
373.14/373.27 c 373s| 6200 | 3157 | 2572k| 410.9 |7163k| 125 | 114 | 473 | 560 | 473 | 969 | 758 | 0 | 927 | 1.651186e+02 | 1.950000e+02 | 18.10%
374.63/374.72 c 375s| 6300 | 3193 | 2579k| 405.6 |7188k| 125 | 97 | 473 | 560 | 473 | 969 | 758 | 0 | 943 | 1.651233e+02 | 1.950000e+02 | 18.09%
377.14/377.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
377.14/377.28 c 377s| 6400 | 3243 | 2597k| 402.1 |7229k| 125 | 153 | 473 | 560 | 473 | 969 | 758 | 0 | 956 | 1.651283e+02 | 1.950000e+02 | 18.09%
378.24/378.37 c 378s| 6500 | 3289 | 2603k| 396.8 |7271k| 125 | 377 | 473 | 560 | 473 | 969 | 758 | 0 | 968 | 1.651299e+02 | 1.950000e+02 | 18.09%
381.03/381.16 c 381s| 6600 | 3305 | 2626k| 394.2 |7285k| 125 | 112 | 473 | 560 | 473 | 969 | 758 | 0 | 968 | 1.651350e+02 | 1.950000e+02 | 18.09%
384.33/384.48 c 384s| 6700 | 3331 | 2648k| 391.7 |7306k| 125 | 117 | 473 | 560 | 473 | 969 | 758 | 0 | 987 | 1.651352e+02 | 1.950000e+02 | 18.09%
386.43/386.51 c 387s| 6800 | 3375 | 2665k| 388.4 |7347k| 125 | - | 473 | 560 | 473 | 969 | 758 | 0 | 999 | 1.651362e+02 | 1.950000e+02 | 18.08%
386.73/386.81 c 387s| 6900 | 3407 | 2668k| 383.2 |7376k| 125 | 119 | 473 | 560 | 473 | 969 | 758 | 0 |1000 | 1.651362e+02 | 1.950000e+02 | 18.08%
387.04/387.11 c 387s| 7000 | 3429 | 2671k| 378.1 |7406k| 125 | - | 473 | 560 | 473 | 969 | 758 | 0 |1001 | 1.651362e+02 | 1.950000e+02 | 18.08%
388.93/389.06 c 389s| 7100 | 3445 | 2686k| 374.9 |7416k| 125 | - | 473 | 560 | 473 | 969 | 758 | 0 |1003 | 1.651365e+02 | 1.950000e+02 | 18.08%
391.13/391.29 c 391s| 7200 | 3473 | 2703k| 372.1 |7435k| 125 | 125 | 473 | 560 | 473 | 969 | 758 | 0 |1005 | 1.651377e+02 | 1.950000e+02 | 18.08%
391.93/392.08 c 392s| 7300 | 3495 | 2709k| 367.8 |7456k| 125 | 391 | 473 | 560 | 473 | 969 | 758 | 0 |1006 | 1.651377e+02 | 1.950000e+02 | 18.08%
395.63/395.73 c 396s| 7400 | 3527 | 2739k| 366.9 |7486k| 125 | - | 473 | 560 | 473 | 969 | 758 | 0 |1006 | 1.651427e+02 | 1.950000e+02 | 18.08%
395.84/395.96 c 396s| 7500 | 3541 | 2741k| 362.3 |7504k| 125 | - | 473 | 560 | 473 | 969 | 758 | 0 |1006 | 1.651427e+02 | 1.950000e+02 | 18.08%
399.13/399.25 c 399s| 7600 | 3563 | 2767k| 361.0 |7518k| 125 | - | 473 | 560 | 473 | 969 | 758 | 0 |1006 | 1.651448e+02 | 1.950000e+02 | 18.08%
402.44/402.51 c 403s| 7700 | 3603 | 2792k| 359.5 |7546k| 125 | 114 | 473 | 560 | 473 | 969 | 758 | 0 |1007 | 1.651537e+02 | 1.950000e+02 | 18.07%
405.63/405.74 c 406s| 7800 | 3631 | 2817k| 358.1 |7572k| 125 | - | 473 | 560 | 473 | 969 | 758 | 0 |1007 | 1.651637e+02 | 1.950000e+02 | 18.06%
409.03/409.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
409.03/409.11 c 409s| 7900 | 3673 | 2843k| 356.9 |7602k| 125 | 127 | 473 | 560 | 473 | 969 | 758 | 0 |1007 | 1.651657e+02 | 1.950000e+02 | 18.06%
413.12/413.28 c 413s| 8000 | 3715 | 2876k| 356.5 |7641k| 125 | - | 473 | 560 | 473 | 969 | 758 | 0 |1007 | 1.651703e+02 | 1.950000e+02 | 18.06%
413.93/414.04 c 414s| 8100 | 3739 | 2882k| 352.9 |7658k| 125 | 368 | 473 | 560 | 473 | 969 | 758 | 0 |1007 | 1.651741e+02 | 1.950000e+02 | 18.06%
415.82/415.98 c 416s| 8200 | 3775 | 2898k| 350.4 |7687k| 125 | 144 | 473 | 560 | 473 | 969 | 758 | 0 |1007 | 1.651746e+02 | 1.950000e+02 | 18.06%
418.22/418.35 c 418s| 8300 | 3805 | 2916k| 348.4 |7714k| 125 | 123 | 473 | 560 | 473 | 969 | 758 | 0 |1007 | 1.651795e+02 | 1.950000e+02 | 18.05%
419.52/419.62 c 420s| 8400 | 3821 | 2925k| 345.4 |7726k| 125 | 373 | 473 | 560 | 473 | 969 | 758 | 0 |1007 | 1.651825e+02 | 1.950000e+02 | 18.05%
422.42/422.56 c 423s| 8500 | 3859 | 2949k| 344.1 |7754k| 125 | 141 | 473 | 560 | 473 | 969 | 758 | 0 |1007 | 1.651842e+02 | 1.950000e+02 | 18.05%
423.22/423.33 c 423s| 8600 | 3877 | 2955k| 340.8 |7774k| 125 | 117 | 473 | 560 | 473 | 969 | 758 | 0 |1009 | 1.651882e+02 | 1.950000e+02 | 18.05%
423.43/423.58 c 424s| 8700 | 3889 | 2957k| 337.1 |7784k| 125 | 111 | 473 | 560 | 473 | 969 | 758 | 0 |1009 | 1.651882e+02 | 1.950000e+02 | 18.05%
425.11/425.22 c 425s| 8800 | 3899 | 2970k| 334.7 |7797k| 125 | 129 | 473 | 560 | 473 | 969 | 758 | 0 |1009 | 1.651930e+02 | 1.950000e+02 | 18.04%
428.12/428.22 c 428s| 8900 | 3945 | 2994k| 333.6 |7830k| 125 | 158 | 473 | 560 | 473 | 969 | 758 | 0 |1009 | 1.651933e+02 | 1.950000e+02 | 18.04%
428.42/428.50 c 428s| 9000 | 3963 | 2996k| 330.2 |7848k| 125 | - | 473 | 560 | 0 | 0 | 758 | 0 |1009 | 1.651933e+02 | 1.950000e+02 | 18.04%
429.92/430.02 c 430s| 9100 | 3997 | 3009k| 328.0 |7876k| 125 | 127 | 473 | 560 | 473 | 969 | 758 | 0 |1009 | 1.651952e+02 | 1.950000e+02 | 18.04%
435.43/435.59 c 436s| 9200 | 4039 | 3052k| 329.1 |7906k| 125 | 120 | 473 | 560 | 473 | 969 | 758 | 0 |1009 | 1.651996e+02 | 1.950000e+02 | 18.04%
435.82/435.90 c 436s| 9300 | 4065 | 3055k| 325.9 |7927k| 125 | 143 | 473 | 560 | 473 | 969 | 758 | 0 |1009 | 1.651996e+02 | 1.950000e+02 | 18.04%
439.02/439.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
439.02/439.11 c 439s| 9400 | 4107 | 3090k| 326.2 |7966k| 125 | - | 473 | 560 | 473 | 969 | 758 | 0 |1009 | 1.651996e+02 | 1.950000e+02 | 18.04%
441.12/441.24 c 441s| 9500 | 4135 | 3106k| 324.5 |7986k| 125 | 382 | 473 | 560 | 473 | 969 | 758 | 0 |1009 | 1.652005e+02 | 1.950000e+02 | 18.04%
443.91/444.01 c 444s| 9600 | 4179 | 3129k| 323.5 |8020k| 125 | 120 | 473 | 560 | 473 | 969 | 758 | 0 |1009 | 1.652059e+02 | 1.950000e+02 | 18.03%
444.12/444.26 c 444s| 9700 | 4193 | 3132k| 320.4 |8044k| 125 | - | 473 | 560 | 473 | 969 | 758 | 0 |1009 | 1.652059e+02 | 1.950000e+02 | 18.03%
446.52/446.65 c 447s| 9800 | 4243 | 3150k| 319.0 |8081k| 125 | 126 | 473 | 560 | 473 | 969 | 758 | 0 |1009 | 1.652078e+02 | 1.950000e+02 | 18.03%
449.61/449.78 c 450s| 9900 | 4279 | 3174k| 318.2 |8115k| 125 | 130 | 473 | 560 | 473 | 969 | 758 | 0 |1009 | 1.652079e+02 | 1.950000e+02 | 18.03%
451.31/451.43 c 451s| 10000 | 4311 | 3186k| 316.2 |8137k| 125 | 373 | 473 | 560 | 473 | 969 | 758 | 0 |1009 | 1.652119e+02 | 1.950000e+02 | 18.03%
453.22/453.33 c 453s| 10100 | 4341 | 3201k| 314.6 |8163k| 125 | - | 473 | 560 | 473 | 969 | 758 | 0 |1009 | 1.652122e+02 | 1.950000e+02 | 18.03%
457.43/457.55 c 458s| 10200 | 4399 | 3233k| 314.6 |8206k| 125 | 397 | 473 | 560 | 473 | 969 | 758 | 0 |1010 | 1.652171e+02 | 1.950000e+02 | 18.03%
461.41/461.50 c 461s| 10300 | 4451 | 3263k| 314.5 |8246k| 125 | 142 | 473 | 560 | 473 | 969 | 758 | 0 |1011 | 1.652188e+02 | 1.950000e+02 | 18.03%
461.61/461.75 c 462s| 10400 | 4475 | 3265k| 311.7 |8270k| 125 | 132 | 473 | 560 | 473 | 969 | 758 | 0 |1011 | 1.652188e+02 | 1.950000e+02 | 18.03%
464.31/464.43 c 464s| 10500 | 4511 | 3288k| 310.8 |8303k| 125 | 136 | 473 | 560 | 473 | 969 | 758 | 0 |1011 | 1.652209e+02 | 1.950000e+02 | 18.02%
464.62/464.72 c 465s| 10600 | 4513 | 3290k| 308.1 |8312k| 125 | - | 473 | 560 | 473 | 969 | 758 | 0 |1011 | 1.652209e+02 | 1.950000e+02 | 18.02%
465.12/465.29 c 465s| 10700 | 4551 | 3296k| 305.8 |8344k| 125 | - | 473 | 560 | 473 | 969 | 758 | 0 |1011 | 1.652209e+02 | 1.950000e+02 | 18.02%
467.02/467.13 c 467s| 10800 | 4593 | 3311k| 304.4 |8378k| 125 | 139 | 473 | 560 | 473 | 969 | 758 | 0 |1011 | 1.652210e+02 | 1.950000e+02 | 18.02%
469.62/469.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
469.62/469.78 c 470s| 10900 | 4633 | 3329k| 303.2 |8406k| 125 | 381 | 473 | 560 | 473 | 969 | 758 | 0 |1024 | 1.652219e+02 | 1.950000e+02 | 18.02%
473.92/474.09 c 474s| 11000 | 4681 | 3358k| 303.0 |8444k| 125 | 138 | 473 | 560 | 473 | 969 | 758 | 0 |1042 | 1.652256e+02 | 1.950000e+02 | 18.02%
474.21/474.37 c 474s| 11100 | 4715 | 3360k| 300.6 |8476k| 125 | - | 473 | 560 | 473 | 969 | 758 | 0 |1042 | 1.652256e+02 | 1.950000e+02 | 18.02%
478.71/478.83 c 479s| 11200 | 4761 | 3395k| 300.9 |8513k| 125 | 138 | 473 | 560 | 473 | 969 | 758 | 0 |1052 | 1.652261e+02 | 1.950000e+02 | 18.02%
480.31/480.49 c 480s| 11300 | 4787 | 3407k| 299.4 |8534k| 125 | 141 | 473 | 560 | 473 | 969 | 758 | 0 |1059 | 1.652262e+02 | 1.950000e+02 | 18.02%
480.81/480.99 c 481s| 11400 | 4831 | 3412k| 297.2 |8575k| 125 | 134 | 473 | 560 | 473 | 969 | 758 | 0 |1062 | 1.652262e+02 | 1.950000e+02 | 18.02%
481.62/481.75 c 482s| 11500 | 4863 | 3417k| 295.1 |8604k| 125 | 393 | 473 | 560 | 473 | 969 | 758 | 0 |1065 | 1.652298e+02 | 1.950000e+02 | 18.02%
486.02/486.20 c 486s| 11600 | 4911 | 3451k| 295.4 |8644k| 125 | 376 | 473 | 560 | 473 | 969 | 758 | 0 |1066 | 1.652338e+02 | 1.950000e+02 | 18.01%
489.51/489.65 c 490s| 11700 | 4953 | 3478k| 295.2 |8681k| 125 | 377 | 473 | 560 | 473 | 969 | 758 | 0 |1069 | 1.652357e+02 | 1.950000e+02 | 18.01%
491.71/491.86 c 492s| 11800 | 4989 | 3495k| 294.1 |8710k| 125 | 117 | 473 | 560 | 473 | 969 | 758 | 0 |1072 | 1.652366e+02 | 1.950000e+02 | 18.01%
494.01/494.15 c 494s| 11900 | 5023 | 3513k| 293.2 |8730k| 125 | 376 | 473 | 560 | 473 | 969 | 758 | 0 |1072 | 1.652374e+02 | 1.950000e+02 | 18.01%
495.80/495.97 c 496s| 12000 | 5069 | 3527k| 291.9 |8763k| 125 | 148 | 473 | 560 | 473 | 969 | 758 | 0 |1072 | 1.652375e+02 | 1.950000e+02 | 18.01%
497.51/497.64 c 498s| 12100 | 5091 | 3541k| 290.6 |8792k| 125 | - | 473 | 560 | 473 | 969 | 758 | 0 |1072 | 1.652375e+02 | 1.950000e+02 | 18.01%
501.01/501.10 c 501s| 12200 | 5125 | 3570k| 290.6 |8819k| 125 | - | 473 | 560 | 0 | 0 | 758 | 0 |1072 | 1.652417e+02 | 1.950000e+02 | 18.01%
504.82/504.92 c 505s| 12300 | 5181 | 3597k| 290.4 |8861k| 125 | - | 473 | 560 | 473 | 969 | 758 | 0 |1081 | 1.652434e+02 | 1.950000e+02 | 18.01%
507.50/507.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
507.50/507.69 c 508s| 12400 | 5231 | 3615k| 289.6 |8897k| 125 | 135 | 473 | 560 | 473 | 969 | 758 | 0 |1093 | 1.652438e+02 | 1.950000e+02 | 18.01%
508.31/508.41 c 508s| 12500 | 5263 | 3622k| 287.9 |8931k| 125 | - | 473 | 565 | 473 | 969 | 758 | 5 |1102 | 1.652438e+02 | 1.950000e+02 | 18.01%
511.21/511.39 c 511s| 12600 | 5311 | 3641k| 287.1 |8969k| 125 | - | 473 | 565 | 473 | 969 | 758 | 5 |1121 | 1.652475e+02 | 1.950000e+02 | 18.00%
512.91/513.03 c 513s| 12700 | 5327 | 3655k| 285.9 |8989k| 125 | 113 | 473 | 565 | 473 | 969 | 758 | 5 |1121 | 1.652489e+02 | 1.950000e+02 | 18.00%
513.30/513.42 c 513s| 12800 | 5349 | 3658k| 283.9 |9010k| 125 | - | 473 | 565 | 473 | 969 | 758 | 5 |1121 | 1.652489e+02 | 1.950000e+02 | 18.00%
515.91/516.04 c 516s| 12900 | 5373 | 3675k| 283.0 |9026k| 125 | 103 | 473 | 565 | 473 | 969 | 758 | 5 |1136 | 1.652490e+02 | 1.950000e+02 | 18.00%
516.30/516.44 c 516s| 13000 | 5397 | 3678k| 281.1 |9045k| 125 | - | 473 | 565 | 473 | 969 | 758 | 5 |1143 | 1.652490e+02 | 1.950000e+02 | 18.00%
520.21/520.32 c 520s| 13100 | 5439 | 3707k| 281.2 |9084k| 125 | - | 473 | 565 | 473 | 969 | 758 | 5 |1150 | 1.652508e+02 | 1.950000e+02 | 18.00%
521.01/521.15 c 521s| 13200 | 5475 | 3714k| 279.5 |9110k| 125 | 131 | 473 | 565 | 473 | 969 | 758 | 5 |1154 | 1.652521e+02 | 1.950000e+02 | 18.00%
524.51/524.63 c 525s| 13300 | 5509 | 3742k| 279.5 |9138k| 125 | 133 | 473 | 565 | 473 | 969 | 758 | 5 |1154 | 1.652545e+02 | 1.950000e+02 | 18.00%
528.41/528.50 c 529s| 13400 | 5559 | 3772k| 279.7 |9177k| 125 | 378 | 473 | 565 | 473 | 969 | 758 | 5 |1154 | 1.652593e+02 | 1.950000e+02 | 18.00%
530.61/530.76 c 531s| 13500 | 5597 | 3789k| 278.9 |9208k| 125 | - | 473 | 565 | 473 | 969 | 758 | 5 |1154 | 1.652606e+02 | 1.950000e+02 | 18.00%
532.21/532.38 c 532s| 13600 | 5621 | 3802k| 277.8 |9231k| 125 | - | 473 | 565 | 473 | 969 | 758 | 5 |1154 | 1.652625e+02 | 1.950000e+02 | 17.99%
534.20/534.35 c 534s| 13700 | 5657 | 3818k| 276.9 |9260k| 125 | - | 473 | 565 | 473 | 969 | 758 | 5 |1154 | 1.652625e+02 | 1.950000e+02 | 17.99%
536.81/536.93 c 537s| 13800 | 5695 | 3839k| 276.4 |9289k| 125 | 131 | 473 | 565 | 473 | 969 | 758 | 5 |1154 | 1.652632e+02 | 1.950000e+02 | 17.99%
539.30/539.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
539.30/539.45 c 539s| 13900 | 5743 | 3859k| 275.9 |9338k| 125 | - | 473 | 565 | 473 | 969 | 758 | 5 |1154 | 1.652643e+02 | 1.950000e+02 | 17.99%
541.40/541.52 c 542s| 14000 | 5779 | 3873k| 274.9 |9370k| 125 | 129 | 473 | 565 | 473 | 969 | 758 | 5 |1164 | 1.652652e+02 | 1.950000e+02 | 17.99%
543.50/543.62 c 544s| 14100 | 5813 | 3889k| 274.1 |9397k| 125 | 144 | 473 | 565 | 473 | 969 | 758 | 5 |1178 | 1.652661e+02 | 1.950000e+02 | 17.99%
547.30/547.44 c 547s| 14200 | 5871 | 3914k| 273.9 |9443k| 125 | 377 | 473 | 565 | 473 | 969 | 758 | 5 |1200 | 1.652672e+02 | 1.950000e+02 | 17.99%
549.31/549.43 c 549s| 14300 | 5907 | 3930k| 273.1 |9477k| 125 | - | 473 | 565 | 0 | 0 | 758 | 5 |1200 | 1.652692e+02 | 1.950000e+02 | 17.99%
552.70/552.81 c 553s| 14400 | 5951 | 3950k| 272.6 |9510k| 125 | 385 | 473 | 565 | 473 | 969 | 758 | 5 |1224 | 1.652705e+02 | 1.950000e+02 | 17.99%
556.10/556.28 c 556s| 14500 | 6001 | 3976k| 272.5 |9550k| 125 | 116 | 473 | 565 | 473 | 969 | 758 | 5 |1230 | 1.652741e+02 | 1.950000e+02 | 17.99%
557.30/557.43 c 557s| 14600 | 6071 | 3985k| 271.3 |9601k| 125 | 185 | 473 | 565 | 473 | 969 | 758 | 5 |1235 | 1.652752e+02 | 1.950000e+02 | 17.99%
558.10/558.27 c 558s| 14700 | 6171 | 3993k| 270.0 |9674k| 125 | 165 | 473 | 565 | 473 | 969 | 758 | 5 |1238 | 1.652752e+02 | 1.950000e+02 | 17.99%
560.00/560.10 c 560s| 14800 | 6255 | 4009k| 269.3 |9750k| 125 | - | 473 | 565 | 473 | 969 | 758 | 5 |1239 | 1.652766e+02 | 1.950000e+02 | 17.98%
561.70/561.89 c 562s| 14900 | 6291 | 4023k| 268.4 |9782k| 126 | 118 | 473 | 565 | 473 | 969 | 758 | 5 |1240 | 1.652768e+02 | 1.950000e+02 | 17.98%
563.20/563.37 c 563s| 15000 | 6329 | 4035k| 267.4 |9819k| 126 | - | 473 | 565 | 473 | 969 | 758 | 5 |1241 | 1.652768e+02 | 1.950000e+02 | 17.98%
567.19/567.37 c 567s| 15100 | 6383 | 4066k| 267.7 |9862k| 126 | 109 | 473 | 565 | 473 | 969 | 758 | 5 |1241 | 1.652841e+02 | 1.950000e+02 | 17.98%
568.50/568.66 c 569s| 15200 | 6427 | 4076k| 266.6 |9903k| 126 | 127 | 473 | 565 | 473 | 969 | 758 | 5 |1241 | 1.652859e+02 | 1.950000e+02 | 17.98%
569.40/569.55 c 570s| 15300 | 6459 | 4083k| 265.3 |9932k| 126 | 147 | 473 | 565 | 473 | 969 | 758 | 5 |1243 | 1.652863e+02 | 1.950000e+02 | 17.98%
574.20/574.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
574.20/574.35 c 574s| 15400 | 6511 | 4122k| 266.1 |9982k| 126 | 123 | 473 | 569 | 473 | 969 | 758 | 9 |1244 | 1.652879e+02 | 1.950000e+02 | 17.98%
575.89/576.04 c 576s| 15500 | 6543 | 4136k| 265.3 | 10M| 126 | 107 | 473 | 569 | 473 | 969 | 758 | 9 |1244 | 1.652891e+02 | 1.950000e+02 | 17.98%
577.50/577.66 c 578s| 15600 | 6567 | 4149k| 264.4 | 10M| 126 | 119 | 473 | 569 | 473 | 969 | 758 | 9 |1244 | 1.652901e+02 | 1.950000e+02 | 17.97%
581.59/581.78 c 582s| 15700 | 6619 | 4178k| 264.6 | 10M| 126 | 381 | 473 | 569 | 473 | 969 | 758 | 9 |1257 | 1.652927e+02 | 1.950000e+02 | 17.97%
584.19/584.31 c 584s| 15800 | 6661 | 4199k| 264.2 | 10M| 126 | 106 | 473 | 569 | 473 | 969 | 758 | 9 |1257 | 1.652948e+02 | 1.950000e+02 | 17.97%
588.10/588.29 c 588s| 15900 | 6697 | 4226k| 264.3 | 10M| 126 | 367 | 473 | 569 | 473 | 969 | 758 | 9 |1270 | 1.652962e+02 | 1.950000e+02 | 17.97%
591.90/592.01 c 592s| 16000 | 6755 | 4248k| 264.0 | 10M| 126 | 378 | 473 | 569 | 473 | 969 | 758 | 9 |1297 | 1.652985e+02 | 1.950000e+02 | 17.97%
594.69/594.85 c 595s| 16100 | 6803 | 4270k| 263.7 | 10M| 126 | 110 | 473 | 569 | 473 | 969 | 758 | 9 |1297 | 1.653015e+02 | 1.950000e+02 | 17.97%
597.89/598.06 c 598s| 16200 | 6839 | 4291k| 263.4 | 10M| 126 | 107 | 473 | 569 | 473 | 969 | 758 | 9 |1312 | 1.653031e+02 | 1.950000e+02 | 17.97%
601.19/601.39 c 601s| 16300 | 6873 | 4313k| 263.1 | 10M| 126 | 118 | 473 | 569 | 473 | 969 | 758 | 9 |1334 | 1.653042e+02 | 1.950000e+02 | 17.96%
602.60/602.71 c 603s| 16400 | 6911 | 4322k| 262.1 | 10M| 126 | - | 473 | 569 | 473 | 969 | 758 | 9 |1338 | 1.653063e+02 | 1.950000e+02 | 17.96%
613.89/614.04 c 614s| 16500 | 6959 | 4441k| 267.7 | 10M| 126 | 118 | 473 | 569 | 473 | 969 | 758 | 9 |1346 | 1.653099e+02 | 1.950000e+02 | 17.96%
614.09/614.24 c 614s| 16600 | 6965 | 4443k| 266.2 | 10M| 128 | - | 473 | 569 | 473 | 969 | 758 | 9 |1349 | 1.653099e+02 | 1.950000e+02 | 17.96%
617.49/617.60 c 618s| 16700 | 6997 | 4470k| 266.2 | 10M| 128 | 99 | 473 | 569 | 473 | 969 | 758 | 9 |1353 | 1.653104e+02 | 1.950000e+02 | 17.96%
619.10/619.28 c 619s| 16800 | 7009 | 4483k| 265.4 | 10M| 128 | - | 473 | 569 | 473 | 969 | 758 | 9 |1354 | 1.653109e+02 | 1.950000e+02 | 17.96%
621.39/621.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
621.39/621.57 c 622s| 16900 | 7045 | 4500k| 264.8 | 10M| 128 | - | 473 | 569 | 473 | 969 | 758 | 9 |1359 | 1.653123e+02 | 1.950000e+02 | 17.96%
624.38/624.56 c 625s| 17000 | 7089 | 4522k| 264.6 | 10M| 128 | 121 | 473 | 569 | 473 | 969 | 758 | 9 |1359 | 1.653138e+02 | 1.950000e+02 | 17.96%
627.69/627.87 c 628s| 17100 | 7115 | 4549k| 264.6 | 10M| 128 | 112 | 473 | 569 | 473 | 969 | 758 | 9 |1360 | 1.653139e+02 | 1.950000e+02 | 17.96%
629.00/629.19 c 629s| 17200 | 7147 | 4559k| 263.6 | 10M| 128 | - | 473 | 569 | 473 | 969 | 758 | 9 |1360 | 1.653159e+02 | 1.950000e+02 | 17.96%
630.68/630.87 c 631s| 17300 | 7153 | 4572k| 262.9 | 10M| 128 | - | 473 | 569 | 473 | 969 | 758 | 9 |1360 | 1.653163e+02 | 1.950000e+02 | 17.96%
634.09/634.27 c 634s| 17400 | 7191 | 4600k| 263.0 | 10M| 128 | 137 | 473 | 569 | 473 | 969 | 758 | 9 |1361 | 1.653177e+02 | 1.950000e+02 | 17.95%
636.39/636.55 c 637s| 17500 | 7225 | 4617k| 262.5 | 10M| 128 | - | 473 | 569 | 473 | 969 | 758 | 9 |1362 | 1.653187e+02 | 1.950000e+02 | 17.95%
638.09/638.23 c 638s| 17600 | 7273 | 4630k| 261.7 | 10M| 128 | 371 | 473 | 569 | 473 | 969 | 758 | 9 |1362 | 1.653213e+02 | 1.950000e+02 | 17.95%
638.39/638.55 c 639s| 17700 | 7289 | 4632k| 260.3 | 10M| 128 | 133 | 473 | 569 | 473 | 969 | 758 | 9 |1362 | 1.653213e+02 | 1.950000e+02 | 17.95%
640.79/640.96 c 641s| 17800 | 7333 | 4649k| 259.8 | 10M| 128 | 118 | 473 | 569 | 473 | 969 | 758 | 9 |1372 | 1.653251e+02 | 1.950000e+02 | 17.95%
644.39/644.58 c 645s| 17900 | 7379 | 4673k| 259.7 | 10M| 128 | 370 | 473 | 569 | 473 | 969 | 758 | 9 |1384 | 1.653274e+02 | 1.950000e+02 | 17.95%
645.88/646.00 c 646s| 18000 | 7389 | 4682k| 258.8 | 10M| 128 | - | 473 | 569 | 473 | 969 | 758 | 9 |1394 | 1.653274e+02 | 1.950000e+02 | 17.95%
650.38/650.56 c 651s| 18100 | 7437 | 4714k| 259.1 | 10M| 128 | 382 | 473 | 569 | 473 | 969 | 758 | 9 |1409 | 1.653311e+02 | 1.950000e+02 | 17.95%
653.99/654.19 c 654s| 18200 | 7495 | 4738k| 259.0 | 10M| 128 | 365 | 473 | 569 | 473 | 969 | 758 | 9 |1426 | 1.653344e+02 | 1.950000e+02 | 17.94%
654.78/654.93 c 655s| 18300 | 7515 | 4744k| 257.9 | 10M| 128 | 116 | 473 | 569 | 473 | 969 | 758 | 9 |1426 | 1.653346e+02 | 1.950000e+02 | 17.94%
656.19/656.37 o 194
656.19/656.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
656.19/656.37 c p 656s| 18333 | 6843 | 4754k| 258.0 |9956k| 128 | - | 473 | 569 | 473 | 969 | 758 | 9 |1431 | 1.653349e+02 | 1.940000e+02 | 17.34%
658.28/658.47 c 658s| 18400 | 6874 | 4768k| 257.8 |9832k| 128 | 386 | 473 | 569 | 473 | 969 | 758 | 9 |1439 | 1.653350e+02 | 1.940000e+02 | 17.34%
660.08/660.22 c 660s| 18500 | 6934 | 4783k| 257.3 |9891k| 128 | - | 473 | 569 | 473 | 969 | 758 | 9 |1442 | 1.653350e+02 | 1.940000e+02 | 17.34%
663.38/663.50 c 663s| 18600 | 6968 | 4810k| 257.3 |9919k| 128 | - | 473 | 569 | 473 | 969 | 758 | 9 |1446 | 1.653361e+02 | 1.940000e+02 | 17.34%
668.28/668.46 c 668s| 18700 | 7016 | 4848k| 258.0 |9955k| 128 | 138 | 473 | 569 | 473 | 969 | 758 | 9 |1449 | 1.653377e+02 | 1.940000e+02 | 17.34%
672.78/672.99 c 673s| 18800 | 7054 | 4884k| 258.5 |9982k| 128 | - | 473 | 569 | 473 | 969 | 758 | 9 |1449 | 1.653383e+02 | 1.940000e+02 | 17.34%
676.29/676.43 c 676s| 18900 | 7106 | 4911k| 258.5 | 10M| 128 | - | 473 | 569 | 473 | 969 | 758 | 9 |1455 | 1.653415e+02 | 1.940000e+02 | 17.33%
679.28/679.41 c 679s| 19000 | 7130 | 4934k| 258.4 | 10M| 128 | - | 473 | 569 | 473 | 969 | 758 | 9 |1455 | 1.653422e+02 | 1.940000e+02 | 17.33%
680.08/680.26 c 680s| 19100 | 7142 | 4941k| 257.4 | 10M| 128 | 137 | 473 | 569 | 473 | 969 | 758 | 9 |1455 | 1.653429e+02 | 1.940000e+02 | 17.33%
681.79/681.93 c 682s| 19200 | 7180 | 4955k| 256.8 | 10M| 128 | - | 473 | 569 | 473 | 969 | 758 | 9 |1455 | 1.653433e+02 | 1.940000e+02 | 17.33%
685.28/685.41 c 685s| 19300 | 7206 | 4982k| 256.9 | 10M| 128 | 355 | 473 | 569 | 473 | 969 | 758 | 9 |1455 | 1.653460e+02 | 1.940000e+02 | 17.33%
687.39/687.53 c 688s| 19400 | 7252 | 4999k| 256.4 | 10M| 128 | 128 | 473 | 569 | 473 | 969 | 758 | 9 |1455 | 1.653496e+02 | 1.940000e+02 | 17.33%
690.88/691.00 c 691s| 19500 | 7286 | 5019k| 256.1 | 10M| 128 | 124 | 473 | 569 | 473 | 969 | 758 | 9 |1482 | 1.653515e+02 | 1.940000e+02 | 17.33%
691.08/691.23 c 691s| 19600 | 7286 | 5021k| 254.9 | 10M| 128 | 134 | 473 | 569 | 473 | 969 | 758 | 9 |1482 | 1.653515e+02 | 1.940000e+02 | 17.33%
692.58/692.70 c 693s| 19700 | 7320 | 5032k| 254.2 | 10M| 128 | 127 | 473 | 569 | 473 | 969 | 758 | 9 |1482 | 1.653523e+02 | 1.940000e+02 | 17.33%
696.28/696.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
696.28/696.46 c 696s| 19800 | 7354 | 5061k| 254.4 | 10M| 128 | 108 | 473 | 569 | 473 | 969 | 758 | 9 |1482 | 1.653538e+02 | 1.940000e+02 | 17.32%
696.68/696.81 c 697s| 19900 | 7364 | 5063k| 253.2 | 10M| 128 | - | 473 | 569 | 473 | 969 | 758 | 9 |1492 | 1.653538e+02 | 1.940000e+02 | 17.32%
698.98/699.19 c 699s| 20000 | 7392 | 5078k| 252.7 | 10M| 128 | 137 | 473 | 569 | 473 | 969 | 758 | 9 |1510 | 1.653547e+02 | 1.940000e+02 | 17.32%
700.68/700.86 c 701s| 20100 | 7412 | 5092k| 252.1 | 10M| 128 | - | 473 | 569 | 473 | 969 | 758 | 9 |1510 | 1.653548e+02 | 1.940000e+02 | 17.32%
702.27/702.50 c 702s| 20200 | 7432 | 5105k| 251.5 | 10M| 128 | - | 473 | 569 | 473 | 969 | 758 | 9 |1510 | 1.653564e+02 | 1.940000e+02 | 17.32%
705.77/705.95 c 706s| 20300 | 7474 | 5127k| 251.4 | 10M| 128 | 372 | 473 | 569 | 473 | 969 | 758 | 9 |1528 | 1.653581e+02 | 1.940000e+02 | 17.32%
706.09/706.24 c 706s| 20400 | 7474 | 5130k| 250.3 | 10M| 128 | - | 473 | 569 | 473 | 969 | 758 | 9 |1528 | 1.653581e+02 | 1.940000e+02 | 17.32%
711.18/711.36 c 711s| 20500 | 7528 | 5168k| 250.9 | 10M| 128 | 160 | 473 | 569 | 473 | 969 | 758 | 9 |1537 | 1.653588e+02 | 1.940000e+02 | 17.32%
711.98/712.15 c 712s| 20600 | 7566 | 5175k| 250.0 | 10M| 128 | 347 | 473 | 569 | 473 | 969 | 758 | 9 |1537 | 1.653589e+02 | 1.940000e+02 | 17.32%
714.98/715.18 c 715s| 20700 | 7608 | 5199k| 250.0 | 10M| 128 | 131 | 473 | 569 | 473 | 969 | 758 | 9 |1546 | 1.653589e+02 | 1.940000e+02 | 17.32%
717.37/717.52 c 718s| 20800 | 7638 | 5218k| 249.7 | 10M| 128 | 394 | 473 | 569 | 473 | 969 | 758 | 9 |1548 | 1.653598e+02 | 1.940000e+02 | 17.32%
720.28/720.40 c 720s| 20900 | 7690 | 5240k| 249.6 | 10M| 128 | - | 473 | 569 | 473 | 969 | 758 | 9 |1549 | 1.653616e+02 | 1.940000e+02 | 17.32%
723.47/723.61 c 724s| 21000 | 7748 | 5268k| 249.7 | 10M| 128 | 155 | 473 | 576 | 473 | 969 | 758 | 16 |1549 | 1.653626e+02 | 1.940000e+02 | 17.32%
725.78/725.92 c 726s| 21100 | 7808 | 5286k| 249.4 | 10M| 128 | 377 | 473 | 576 | 473 | 969 | 758 | 16 |1550 | 1.653645e+02 | 1.940000e+02 | 17.32%
726.67/726.86 c 727s| 21200 | 7846 | 5293k| 248.5 | 10M| 128 | 117 | 473 | 576 | 473 | 969 | 758 | 16 |1550 | 1.653670e+02 | 1.940000e+02 | 17.31%
728.97/729.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
728.97/729.12 c 729s| 21300 | 7874 | 5311k| 248.2 | 10M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1551 | 1.653674e+02 | 1.940000e+02 | 17.31%
731.77/731.96 c 732s| 21400 | 7924 | 5333k| 248.1 | 10M| 128 | 364 | 473 | 576 | 473 | 969 | 758 | 16 |1552 | 1.653679e+02 | 1.940000e+02 | 17.31%
735.37/735.57 c 736s| 21500 | 7980 | 5361k| 248.2 | 10M| 128 | 366 | 473 | 576 | 473 | 969 | 758 | 16 |1552 | 1.653699e+02 | 1.940000e+02 | 17.31%
737.77/737.96 c 738s| 21600 | 8010 | 5380k| 247.9 | 10M| 128 | 119 | 473 | 576 | 473 | 969 | 758 | 16 |1553 | 1.653722e+02 | 1.940000e+02 | 17.31%
738.57/738.73 c 739s| 21700 | 8020 | 5386k| 247.1 | 10M| 128 | 139 | 473 | 576 | 473 | 969 | 758 | 16 |1553 | 1.653723e+02 | 1.940000e+02 | 17.31%
742.57/742.78 c 743s| 21800 | 8052 | 5416k| 247.3 | 10M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1593 | 1.653740e+02 | 1.940000e+02 | 17.31%
743.57/743.71 c 744s| 21900 | 8072 | 5423k| 246.5 | 10M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1593 | 1.653742e+02 | 1.940000e+02 | 17.31%
747.27/747.49 c 747s| 22000 | 8100 | 5451k| 246.7 | 10M| 128 | 121 | 473 | 576 | 473 | 969 | 758 | 16 |1604 | 1.653750e+02 | 1.940000e+02 | 17.31%
748.97/749.16 c 749s| 22100 | 8144 | 5464k| 246.2 | 10M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1613 | 1.653755e+02 | 1.940000e+02 | 17.31%
753.07/753.28 c 753s| 22200 | 8176 | 5492k| 246.3 | 10M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1630 | 1.653790e+02 | 1.940000e+02 | 17.31%
756.57/756.76 c 757s| 22300 | 8228 | 5517k| 246.3 | 10M| 128 | 369 | 473 | 576 | 473 | 969 | 758 | 16 |1639 | 1.653812e+02 | 1.940000e+02 | 17.30%
759.88/760.08 c 760s| 22400 | 8260 | 5543k| 246.4 | 11M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1647 | 1.653821e+02 | 1.940000e+02 | 17.30%
762.27/762.46 c 762s| 22500 | 8292 | 5560k| 246.0 | 11M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1655 | 1.653824e+02 | 1.940000e+02 | 17.30%
765.47/765.63 c 766s| 22600 | 8342 | 5585k| 246.1 | 11M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1657 | 1.653857e+02 | 1.940000e+02 | 17.30%
767.77/767.91 c 768s| 22700 | 8366 | 5603k| 245.8 | 11M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1658 | 1.653866e+02 | 1.940000e+02 | 17.30%
767.97/768.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
767.97/768.17 c 768s| 22800 | 8382 | 5606k| 244.8 | 11M| 128 | 115 | 473 | 576 | 473 | 969 | 758 | 16 |1658 | 1.653866e+02 | 1.940000e+02 | 17.30%
770.16/770.30 c 770s| 22900 | 8406 | 5622k| 244.5 | 11M| 128 | 133 | 473 | 576 | 473 | 969 | 758 | 16 |1659 | 1.653868e+02 | 1.940000e+02 | 17.30%
772.87/773.02 c 773s| 23000 | 8442 | 5643k| 244.3 | 11M| 128 | 380 | 473 | 576 | 473 | 969 | 758 | 16 |1659 | 1.653895e+02 | 1.940000e+02 | 17.30%
773.67/773.89 c 774s| 23100 | 8482 | 5650k| 243.5 | 11M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1659 | 1.653900e+02 | 1.940000e+02 | 17.30%
775.27/775.46 c 775s| 23200 | 8504 | 5663k| 243.1 | 11M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1662 | 1.653903e+02 | 1.940000e+02 | 17.30%
775.57/775.71 c 776s| 23300 | 8504 | 5665k| 242.1 | 11M| 128 | 143 | 473 | 576 | 473 | 969 | 758 | 16 |1662 | 1.653903e+02 | 1.940000e+02 | 17.30%
779.56/779.71 c 780s| 23400 | 8546 | 5697k| 242.4 | 11M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1662 | 1.653922e+02 | 1.940000e+02 | 17.30%
780.46/780.68 c 781s| 23500 | 8558 | 5705k| 241.7 | 11M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1667 | 1.653940e+02 | 1.940000e+02 | 17.30%
783.66/783.82 c 784s| 23600 | 8584 | 5730k| 241.8 | 11M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1667 | 1.653952e+02 | 1.940000e+02 | 17.29%
783.86/784.04 c 784s| 23700 | 8596 | 5732k| 240.9 | 11M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1668 | 1.653952e+02 | 1.940000e+02 | 17.29%
787.47/787.67 c 788s| 23800 | 8622 | 5762k| 241.1 | 11M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1685 | 1.653985e+02 | 1.940000e+02 | 17.29%
789.46/789.68 c 790s| 23900 | 8648 | 5775k| 240.6 | 11M| 128 | 117 | 473 | 576 | 473 | 969 | 758 | 16 |1695 | 1.653985e+02 | 1.940000e+02 | 17.29%
790.87/791.09 c 791s| 24000 | 8678 | 5786k| 240.1 | 11M| 128 | 135 | 473 | 576 | 473 | 969 | 758 | 16 |1696 | 1.654009e+02 | 1.940000e+02 | 17.29%
792.16/792.30 c 792s| 24100 | 8694 | 5793k| 239.4 | 11M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1714 | 1.654033e+02 | 1.940000e+02 | 17.29%
795.06/795.20 c 795s| 24200 | 8724 | 5815k| 239.3 | 11M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1714 | 1.654044e+02 | 1.940000e+02 | 17.29%
795.96/796.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
795.96/796.15 c 796s| 24300 | 8740 | 5822k| 238.6 | 11M| 128 | - | 473 | 576 | 0 | 0 | 758 | 16 |1728 | 1.654049e+02 | 1.940000e+02 | 17.29%
798.16/798.37 c 798s| 24400 | 8760 | 5837k| 238.2 | 11M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1741 | 1.654070e+02 | 1.940000e+02 | 17.29%
800.46/800.67 c 801s| 24500 | 8798 | 5855k| 238.0 | 11M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1742 | 1.654076e+02 | 1.940000e+02 | 17.29%
803.36/803.53 c 804s| 24600 | 8836 | 5875k| 237.8 | 11M| 128 | 116 | 473 | 576 | 473 | 969 | 758 | 16 |1752 | 1.654078e+02 | 1.940000e+02 | 17.29%
805.86/806.06 c 806s| 24700 | 8862 | 5894k| 237.6 | 11M| 128 | 143 | 473 | 576 | 473 | 969 | 758 | 16 |1763 | 1.654088e+02 | 1.940000e+02 | 17.29%
809.56/809.74 c 810s| 24800 | 8910 | 5921k| 237.8 | 11M| 128 | 137 | 473 | 576 | 473 | 969 | 758 | 16 |1766 | 1.654107e+02 | 1.940000e+02 | 17.28%
810.66/810.85 c 811s| 24900 | 8936 | 5930k| 237.2 | 11M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1768 | 1.654121e+02 | 1.940000e+02 | 17.28%
813.46/813.68 c 814s| 25000 | 8986 | 5952k| 237.1 | 11M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1769 | 1.654137e+02 | 1.940000e+02 | 17.28%
815.46/815.69 c 816s| 25100 | 9010 | 5968k| 236.8 | 11M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1770 | 1.654150e+02 | 1.940000e+02 | 17.28%
816.35/816.50 c 817s| 25200 | 9044 | 5975k| 236.1 | 11M| 128 | 135 | 473 | 576 | 473 | 969 | 758 | 16 |1771 | 1.654155e+02 | 1.940000e+02 | 17.28%
819.66/819.88 c 820s| 25300 | 9082 | 6001k| 236.2 | 11M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1772 | 1.654175e+02 | 1.940000e+02 | 17.28%
821.16/821.36 c 821s| 25400 | 9096 | 6012k| 235.7 | 11M| 128 | 125 | 473 | 576 | 473 | 969 | 758 | 16 |1772 | 1.654177e+02 | 1.940000e+02 | 17.28%
821.35/821.60 c 822s| 25500 | 9098 | 6014k| 234.9 | 11M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1772 | 1.654177e+02 | 1.940000e+02 | 17.28%
827.15/827.37 c 827s| 25600 | 9152 | 6060k| 235.8 | 11M| 128 | 146 | 473 | 576 | 473 | 969 | 758 | 16 |1773 | 1.654214e+02 | 1.940000e+02 | 17.28%
828.06/828.21 c 828s| 25700 | 9166 | 6067k| 235.1 | 11M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1773 | 1.654214e+02 | 1.940000e+02 | 17.28%
828.75/828.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
828.75/828.91 c 829s| 25800 | 9184 | 6072k| 234.4 | 11M| 128 | 133 | 473 | 576 | 473 | 969 | 758 | 16 |1773 | 1.654221e+02 | 1.940000e+02 | 17.28%
830.36/830.59 c 831s| 25900 | 9200 | 6087k| 234.1 | 11M| 128 | 171 | 473 | 576 | 473 | 969 | 758 | 16 |1773 | 1.654223e+02 | 1.940000e+02 | 17.28%
830.66/830.84 c 831s| 26000 | 9202 | 6089k| 233.3 | 11M| 128 | 131 | 473 | 576 | 473 | 969 | 758 | 16 |1773 | 1.654223e+02 | 1.940000e+02 | 17.28%
834.06/834.27 c 834s| 26100 | 9248 | 6115k| 233.4 | 11M| 128 | 140 | 473 | 576 | 473 | 969 | 758 | 16 |1787 | 1.654249e+02 | 1.940000e+02 | 17.27%
835.36/835.53 c 836s| 26200 | 9286 | 6122k| 232.7 | 11M| 128 | 122 | 473 | 576 | 473 | 969 | 758 | 16 |1799 | 1.654250e+02 | 1.940000e+02 | 17.27%
838.46/838.64 c 839s| 26300 | 9340 | 6143k| 232.7 | 11M| 128 | 370 | 473 | 576 | 473 | 969 | 758 | 16 |1810 | 1.654274e+02 | 1.940000e+02 | 17.27%
841.95/842.13 c 842s| 26400 | 9400 | 6171k| 232.9 | 12M| 128 | 126 | 473 | 576 | 473 | 969 | 758 | 16 |1810 | 1.654294e+02 | 1.940000e+02 | 17.27%
843.35/843.59 c 844s| 26500 | 9428 | 6179k| 232.2 | 12M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1827 | 1.654298e+02 | 1.940000e+02 | 17.27%
846.05/846.25 c 846s| 26600 | 9488 | 6199k| 232.1 | 12M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1827 | 1.654316e+02 | 1.940000e+02 | 17.27%
847.65/847.89 c 848s| 26700 | 9510 | 6213k| 231.8 | 12M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1827 | 1.654319e+02 | 1.940000e+02 | 17.27%
851.26/851.41 c 851s| 26800 | 9550 | 6238k| 231.9 | 12M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1839 | 1.654337e+02 | 1.940000e+02 | 17.27%
852.85/853.03 c 853s| 26900 | 9580 | 6249k| 231.4 | 12M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1849 | 1.654342e+02 | 1.940000e+02 | 17.27%
854.26/854.49 c 854s| 27000 | 9612 | 6259k| 230.9 | 12M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1853 | 1.654350e+02 | 1.940000e+02 | 17.27%
857.76/857.96 c 858s| 27100 | 9634 | 6287k| 231.1 | 12M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1864 | 1.654359e+02 | 1.940000e+02 | 17.27%
867.35/867.55 c 868s| 27200 | 9676 | 6388k| 234.0 | 12M| 128 | 125 | 473 | 576 | 473 | 969 | 758 | 16 |1868 | 1.654403e+02 | 1.940000e+02 | 17.26%
872.35/872.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
872.35/872.53 c 873s| 27300 | 9724 | 6428k| 234.6 | 12M| 128 | 375 | 473 | 575 | 473 | 969 | 758 | 16 |1870 | 1.654453e+02 | 1.940000e+02 | 17.26%
875.45/875.66 c 876s| 27400 | 9746 | 6454k| 234.7 | 12M| 128 | 142 | 473 | 575 | 473 | 969 | 758 | 16 |1871 | 1.654453e+02 | 1.940000e+02 | 17.26%
877.15/877.34 c 877s| 27500 | 9764 | 6468k| 234.3 | 12M| 128 | - | 473 | 575 | 473 | 969 | 758 | 16 |1871 | 1.654455e+02 | 1.940000e+02 | 17.26%
878.35/878.57 c 879s| 27600 | 9788 | 6478k| 233.8 | 12M| 128 | 138 | 473 | 575 | 473 | 969 | 758 | 16 |1871 | 1.654460e+02 | 1.940000e+02 | 17.26%
880.45/880.66 c 881s| 27700 | 9812 | 6494k| 233.6 | 12M| 128 | - | 473 | 575 | 473 | 969 | 758 | 16 |1873 | 1.654464e+02 | 1.940000e+02 | 17.26%
883.55/883.75 c 884s| 27800 | 9862 | 6517k| 233.6 | 12M| 128 | 369 | 473 | 575 | 473 | 969 | 758 | 16 |1873 | 1.654493e+02 | 1.940000e+02 | 17.26%
885.85/886.06 c 886s| 27900 | 9886 | 6535k| 233.4 | 12M| 128 | - | 473 | 575 | 473 | 969 | 758 | 16 |1873 | 1.654497e+02 | 1.940000e+02 | 17.26%
886.05/886.29 c 886s| 28000 | 9882 | 6537k| 232.6 | 12M| 128 | - | 473 | 575 | 473 | 969 | 758 | 16 |1873 | 1.654497e+02 | 1.940000e+02 | 17.26%
886.35/886.55 c 887s| 28100 | 9894 | 6539k| 231.9 | 12M| 128 | 133 | 473 | 575 | 473 | 969 | 758 | 16 |1873 | 1.654497e+02 | 1.940000e+02 | 17.26%
888.85/889.01 c 889s| 28200 | 9926 | 6560k| 231.8 | 12M| 128 | 360 | 473 | 575 | 473 | 969 | 758 | 16 |1875 | 1.654502e+02 | 1.940000e+02 | 17.26%
892.35/892.51 c 893s| 28300 | 9964 | 6587k| 231.9 | 12M| 128 | 373 | 473 | 575 | 473 | 969 | 758 | 16 |1875 | 1.654516e+02 | 1.940000e+02 | 17.25%
893.75/893.90 c 894s| 28400 | 9996 | 6598k| 231.5 | 12M| 128 | - | 473 | 575 | 473 | 969 | 758 | 16 |1875 | 1.654524e+02 | 1.940000e+02 | 17.25%
896.95/897.16 c 897s| 28500 | 10020 | 6621k| 231.5 | 12M| 128 | - | 473 | 575 | 473 | 969 | 758 | 16 |1884 | 1.654532e+02 | 1.940000e+02 | 17.25%
901.15/901.31 c 901s| 28600 | 10072 | 6645k| 231.5 | 12M| 128 | 377 | 473 | 575 | 473 | 969 | 758 | 16 |1909 | 1.654558e+02 | 1.940000e+02 | 17.25%
902.55/902.77 c 903s| 28700 | 10114 | 6657k| 231.1 | 12M| 128 | - | 473 | 575 | 473 | 969 | 758 | 16 |1909 | 1.654570e+02 | 1.940000e+02 | 17.25%
904.25/904.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
904.25/904.47 c 904s| 28800 | 10134 | 6671k| 230.8 | 12M| 128 | 126 | 473 | 575 | 473 | 969 | 758 | 16 |1910 | 1.654573e+02 | 1.940000e+02 | 17.25%
907.25/907.40 c 907s| 28900 | 10176 | 6691k| 230.7 | 12M| 128 | 371 | 473 | 575 | 473 | 969 | 758 | 16 |1920 | 1.654583e+02 | 1.940000e+02 | 17.25%
908.05/908.28 c 908s| 29000 | 10196 | 6698k| 230.1 | 12M| 128 | 136 | 473 | 575 | 473 | 969 | 758 | 16 |1920 | 1.654588e+02 | 1.940000e+02 | 17.25%
913.44/913.63 c 914s| 29100 | 10240 | 6738k| 230.7 | 12M| 128 | - | 473 | 575 | 473 | 969 | 758 | 16 |1936 | 1.654617e+02 | 1.940000e+02 | 17.25%
915.65/915.84 c 916s| 29200 | 10264 | 6755k| 230.5 | 12M| 128 | 124 | 473 | 575 | 473 | 969 | 758 | 16 |1936 | 1.654635e+02 | 1.940000e+02 | 17.25%
915.94/916.20 c 916s| 29300 | 10300 | 6759k| 229.9 | 12M| 128 | 124 | 473 | 575 | 473 | 969 | 758 | 16 |1936 | 1.654635e+02 | 1.940000e+02 | 17.25%
916.25/916.48 c 916s| 29400 | 10316 | 6761k| 229.1 | 12M| 128 | 136 | 473 | 575 | 473 | 969 | 758 | 16 |1946 | 1.654635e+02 | 1.940000e+02 | 17.25%
918.25/918.46 c 918s| 29500 | 10330 | 6774k| 228.8 | 12M| 128 | - | 473 | 575 | 473 | 969 | 758 | 16 |1956 | 1.654636e+02 | 1.940000e+02 | 17.25%
919.54/919.75 c 920s| 29600 | 10352 | 6784k| 228.4 | 12M| 128 | 128 | 473 | 575 | 473 | 969 | 758 | 16 |1956 | 1.654642e+02 | 1.940000e+02 | 17.25%
919.95/920.11 c 920s| 29700 | 10372 | 6787k| 227.7 | 12M| 128 | - | 473 | 575 | 473 | 969 | 758 | 16 |1961 | 1.654642e+02 | 1.940000e+02 | 17.25%
921.75/921.98 c 922s| 29800 | 10396 | 6801k| 227.4 | 12M| 128 | 126 | 473 | 575 | 473 | 969 | 758 | 16 |1969 | 1.654666e+02 | 1.940000e+02 | 17.24%
925.84/926.07 c 926s| 29900 | 10442 | 6830k| 227.6 | 12M| 128 | 383 | 473 | 575 | 473 | 969 | 758 | 16 |1978 | 1.654678e+02 | 1.940000e+02 | 17.24%
926.84/927.02 c 927s| 30000 | 10470 | 6837k| 227.1 | 12M| 128 | 121 | 473 | 575 | 473 | 969 | 758 | 16 |1983 | 1.654680e+02 | 1.940000e+02 | 17.24%
927.05/927.21 c 927s| 30100 | 10476 | 6838k| 226.4 | 12M| 128 | 108 | 473 | 575 | 473 | 969 | 758 | 16 |1986 | 1.654680e+02 | 1.940000e+02 | 17.24%
928.64/928.83 c 929s| 30200 | 10476 | 6851k| 226.1 | 12M| 128 | 139 | 473 | 575 | 473 | 969 | 758 | 16 |1989 | 1.654680e+02 | 1.940000e+02 | 17.24%
931.14/931.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
931.14/931.39 c 931s| 30300 | 10502 | 6872k| 226.0 | 12M| 128 | - | 473 | 575 | 473 | 969 | 758 | 16 |1992 | 1.654690e+02 | 1.940000e+02 | 17.24%
932.04/932.28 c 932s| 30400 | 10524 | 6879k| 225.5 | 12M| 128 | 143 | 473 | 575 | 473 | 969 | 758 | 16 |1992 | 1.654690e+02 | 1.940000e+02 | 17.24%
934.34/934.52 c 935s| 30500 | 10552 | 6897k| 225.3 | 12M| 128 | - | 473 | 575 | 473 | 969 | 758 | 16 |1992 | 1.654697e+02 | 1.940000e+02 | 17.24%
935.74/935.99 c 936s| 30600 | 10590 | 6908k| 225.0 | 12M| 128 | - | 473 | 575 | 473 | 969 | 758 | 16 |1992 | 1.654703e+02 | 1.940000e+02 | 17.24%
937.94/938.18 c 938s| 30700 | 10646 | 6926k| 224.8 | 13M| 128 | 371 | 473 | 575 | 473 | 969 | 758 | 16 |1992 | 1.654712e+02 | 1.940000e+02 | 17.24%
939.15/939.34 c 939s| 30800 | 10668 | 6936k| 224.4 | 13M| 128 | - | 473 | 575 | 473 | 969 | 758 | 16 |1992 | 1.654712e+02 | 1.940000e+02 | 17.24%
942.24/942.49 c 942s| 30900 | 10702 | 6960k| 224.5 | 13M| 128 | - | 473 | 575 | 473 | 969 | 758 | 16 |1992 | 1.654718e+02 | 1.940000e+02 | 17.24%
943.65/943.80 c 944s| 31000 | 10734 | 6970k| 224.1 | 13M| 128 | 119 | 473 | 574 | 473 | 969 | 758 | 16 |1992 | 1.654719e+02 | 1.940000e+02 | 17.24%
943.84/944.05 c 944s| 31100 | 10736 | 6973k| 223.4 | 13M| 128 | - | 473 | 574 | 473 | 969 | 758 | 16 |1992 | 1.654719e+02 | 1.940000e+02 | 17.24%
944.64/944.90 c 945s| 31200 | 10762 | 6980k| 222.9 | 13M| 128 | - | 473 | 574 | 473 | 969 | 758 | 16 |1992 | 1.654727e+02 | 1.940000e+02 | 17.24%
948.64/948.83 c 949s| 31300 | 10800 | 7011k| 223.2 | 13M| 128 | 116 | 473 | 574 | 473 | 969 | 758 | 16 |1992 | 1.654740e+02 | 1.940000e+02 | 17.24%
948.84/949.05 c 949s| 31400 | 10802 | 7013k| 222.6 | 13M| 128 | - | 473 | 574 | 473 | 969 | 758 | 16 |1993 | 1.654740e+02 | 1.940000e+02 | 17.24%
952.04/952.24 c 952s| 31500 | 10832 | 7039k| 222.7 | 13M| 128 | 138 | 473 | 574 | 473 | 969 | 758 | 16 |1993 | 1.654747e+02 | 1.940000e+02 | 17.24%
953.94/954.19 c 954s| 31600 | 10864 | 7054k| 222.5 | 13M| 128 | 142 | 473 | 574 | 473 | 969 | 758 | 16 |1993 | 1.654750e+02 | 1.940000e+02 | 17.24%
958.94/959.13 c 959s| 31700 | 10918 | 7087k| 222.8 | 13M| 128 | - | 473 | 574 | 473 | 969 | 758 | 16 |2017 | 1.654776e+02 | 1.940000e+02 | 17.24%
961.14/961.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
961.14/961.35 c 961s| 31800 | 10936 | 7104k| 222.6 | 13M| 128 | - | 473 | 574 | 473 | 969 | 758 | 16 |2017 | 1.654784e+02 | 1.940000e+02 | 17.24%
961.94/962.17 c 962s| 31900 | 10962 | 7111k| 222.2 | 13M| 128 | 142 | 473 | 574 | 473 | 969 | 758 | 16 |2017 | 1.654784e+02 | 1.940000e+02 | 17.24%
963.63/963.83 c 964s| 32000 | 10998 | 7123k| 221.8 | 13M| 128 | 384 | 473 | 574 | 473 | 969 | 758 | 16 |2017 | 1.654794e+02 | 1.940000e+02 | 17.24%
964.83/965.06 c 965s| 32100 | 10998 | 7133k| 221.5 | 13M| 128 | 134 | 473 | 574 | 473 | 969 | 758 | 16 |2029 | 1.654794e+02 | 1.940000e+02 | 17.24%
969.83/970.01 c 970s| 32200 | 11048 | 7167k| 221.8 | 13M| 128 | - | 473 | 574 | 473 | 969 | 758 | 16 |2046 | 1.654838e+02 | 1.940000e+02 | 17.23%
970.64/970.83 c 971s| 32300 | 11056 | 7174k| 221.4 | 13M| 128 | - | 473 | 574 | 473 | 969 | 758 | 16 |2046 | 1.654839e+02 | 1.940000e+02 | 17.23%
972.54/972.73 c 973s| 32400 | 11088 | 7187k| 221.1 | 13M| 128 | - | 473 | 574 | 473 | 969 | 758 | 16 |2055 | 1.654844e+02 | 1.940000e+02 | 17.23%
973.24/973.44 c 973s| 32500 | 11100 | 7193k| 220.6 | 13M| 128 | 104 | 473 | 574 | 473 | 969 | 758 | 16 |2055 | 1.654855e+02 | 1.940000e+02 | 17.23%
974.04/974.26 c 974s| 32600 | 11126 | 7198k| 220.1 | 13M| 128 | 357 | 473 | 574 | 473 | 969 | 758 | 16 |2061 | 1.654861e+02 | 1.940000e+02 | 17.23%
978.04/978.28 c 978s| 32700 | 11160 | 7228k| 220.3 | 13M| 128 | - | 473 | 574 | 473 | 969 | 758 | 16 |2071 | 1.654898e+02 | 1.940000e+02 | 17.23%
980.94/981.14 c 981s| 32800 | 11206 | 7249k| 220.3 | 13M| 128 | 379 | 473 | 574 | 473 | 969 | 758 | 16 |2076 | 1.654916e+02 | 1.940000e+02 | 17.23%
984.24/984.43 c 984s| 32900 | 11270 | 7273k| 220.3 | 13M| 128 | 146 | 473 | 574 | 473 | 969 | 758 | 16 |2077 | 1.654931e+02 | 1.940000e+02 | 17.23%
984.53/984.72 c 985s| 33000 | 11290 | 7276k| 219.8 | 13M| 128 | - | 473 | 574 | 473 | 969 | 758 | 16 |2078 | 1.654931e+02 | 1.940000e+02 | 17.23%
989.04/989.27 c 989s| 33100 | 11342 | 7312k| 220.2 | 13M| 128 | 355 | 473 | 574 | 473 | 969 | 758 | 16 |2081 | 1.654944e+02 | 1.940000e+02 | 17.22%
992.13/992.30 c 992s| 33200 | 11386 | 7336k| 220.2 | 13M| 128 | 369 | 473 | 574 | 473 | 969 | 758 | 16 |2081 | 1.654963e+02 | 1.940000e+02 | 17.22%
996.03/996.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
996.03/996.21 c 996s| 33300 | 11432 | 7367k| 220.5 | 13M| 128 | 134 | 473 | 574 | 473 | 969 | 758 | 16 |2081 | 1.654966e+02 | 1.940000e+02 | 17.22%
997.63/997.80 c 998s| 33400 | 11476 | 7379k| 220.2 | 13M| 128 | 370 | 473 | 574 | 473 | 969 | 758 | 16 |2081 | 1.654976e+02 | 1.940000e+02 | 17.22%
999.73/999.91 c 1000s| 33500 | 11506 | 7395k| 220.0 | 13M| 128 | 358 | 473 | 574 | 473 | 969 | 758 | 16 |2081 | 1.654984e+02 | 1.940000e+02 | 17.22%
1000.63/1000.83 c 1001s| 33600 | 11550 | 7403k| 219.6 | 13M| 128 | 124 | 473 | 574 | 473 | 969 | 758 | 16 |2081 | 1.654988e+02 | 1.940000e+02 | 17.22%
1003.23/1003.49 c 1003s| 33700 | 11598 | 7423k| 219.5 | 13M| 128 | - | 473 | 574 | 473 | 969 | 758 | 16 |2081 | 1.655003e+02 | 1.940000e+02 | 17.22%
1004.53/1004.73 c 1005s| 33800 | 11638 | 7433k| 219.2 | 13M| 128 | 373 | 473 | 574 | 473 | 969 | 758 | 16 |2081 | 1.655012e+02 | 1.940000e+02 | 17.22%
1006.13/1006.31 c 1006s| 33900 | 11652 | 7445k| 218.9 | 13M| 128 | - | 473 | 574 | 473 | 969 | 758 | 16 |2081 | 1.655014e+02 | 1.940000e+02 | 17.22%
1012.73/1012.97 c 1013s| 34000 | 11706 | 7496k| 219.8 | 13M| 128 | - | 473 | 582 | 473 | 969 | 758 | 24 |2095 | 1.655034e+02 | 1.940000e+02 | 17.22%
1015.33/1015.58 c 1016s| 34100 | 11756 | 7516k| 219.7 | 13M| 128 | 141 | 473 | 582 | 473 | 969 | 758 | 24 |2095 | 1.655059e+02 | 1.940000e+02 | 17.22%
1017.24/1017.40 c 1017s| 34200 | 11788 | 7527k| 219.4 | 13M| 128 | 370 | 473 | 582 | 473 | 969 | 758 | 24 |2106 | 1.655074e+02 | 1.940000e+02 | 17.22%
1017.93/1018.13 c 1018s| 34300 | 11814 | 7532k| 218.9 | 14M| 128 | 362 | 473 | 582 | 473 | 969 | 758 | 24 |2106 | 1.655077e+02 | 1.940000e+02 | 17.22%
1021.33/1021.59 c 1022s| 34400 | 11850 | 7557k| 219.0 | 14M| 128 | 131 | 473 | 582 | 473 | 969 | 758 | 24 |2115 | 1.655082e+02 | 1.940000e+02 | 17.21%
1023.13/1023.39 c 1023s| 34500 | 11870 | 7567k| 218.6 | 14M| 128 | - | 473 | 582 | 473 | 969 | 758 | 24 |2133 | 1.655085e+02 | 1.940000e+02 | 17.21%
1025.83/1026.06 c 1026s| 34600 | 11924 | 7588k| 218.6 | 14M| 128 | 136 | 473 | 582 | 473 | 969 | 758 | 24 |2133 | 1.655097e+02 | 1.940000e+02 | 17.21%
1029.83/1030.05 c 1030s| 34700 | 11966 | 7618k| 218.8 | 14M| 128 | - | 473 | 582 | 473 | 969 | 758 | 24 |2150 | 1.655101e+02 | 1.940000e+02 | 17.21%
1031.23/1031.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1031.23/1031.48 c 1031s| 34800 | 11994 | 7628k| 218.5 | 14M| 128 | 141 | 473 | 582 | 473 | 969 | 758 | 24 |2151 | 1.655131e+02 | 1.940000e+02 | 17.21%
1033.23/1033.44 c 1033s| 34900 | 12022 | 7643k| 218.3 | 14M| 128 | 385 | 473 | 582 | 473 | 969 | 758 | 24 |2152 | 1.655142e+02 | 1.940000e+02 | 17.21%
1036.92/1037.12 c 1037s| 35000 | 12052 | 7670k| 218.5 | 14M| 128 | - | 473 | 582 | 473 | 969 | 758 | 24 |2159 | 1.655150e+02 | 1.940000e+02 | 17.21%
1038.33/1038.53 c 1039s| 35100 | 12074 | 7680k| 218.1 | 14M| 128 | - | 473 | 582 | 473 | 969 | 758 | 24 |2170 | 1.655157e+02 | 1.940000e+02 | 17.21%
1039.02/1039.26 c 1039s| 35200 | 12104 | 7686k| 217.7 | 14M| 128 | 366 | 473 | 582 | 473 | 969 | 758 | 24 |2173 | 1.655160e+02 | 1.940000e+02 | 17.21%
1041.33/1041.53 c 1042s| 35300 | 12136 | 7703k| 217.5 | 14M| 128 | 371 | 473 | 582 | 473 | 969 | 758 | 24 |2176 | 1.655161e+02 | 1.940000e+02 | 17.21%
1042.13/1042.33 c 1042s| 35400 | 12150 | 7710k| 217.1 | 14M| 128 | 376 | 473 | 581 | 473 | 969 | 758 | 24 |2177 | 1.655165e+02 | 1.940000e+02 | 17.21%
1044.73/1044.97 c 1045s| 35500 | 12180 | 7730k| 217.1 | 14M| 128 | 128 | 473 | 581 | 473 | 969 | 758 | 24 |2179 | 1.655180e+02 | 1.940000e+02 | 17.21%
1045.03/1045.20 c 1045s| 35600 | 12182 | 7733k| 216.5 | 14M| 128 | - | 473 | 581 | 473 | 969 | 758 | 24 |2179 | 1.655180e+02 | 1.940000e+02 | 17.21%
1045.32/1045.52 c 1046s| 35700 | 12214 | 7736k| 216.0 | 14M| 128 | 143 | 473 | 581 | 473 | 969 | 758 | 24 |2179 | 1.655180e+02 | 1.940000e+02 | 17.21%
1046.72/1046.96 c 1047s| 35800 | 12234 | 7747k| 215.7 | 14M| 128 | - | 473 | 581 | 473 | 969 | 758 | 24 |2179 | 1.655190e+02 | 1.940000e+02 | 17.21%
1048.53/1048.72 c 1049s| 35900 | 12256 | 7761k| 215.5 | 14M| 128 | 136 | 473 | 581 | 473 | 969 | 758 | 24 |2180 | 1.655191e+02 | 1.940000e+02 | 17.21%
1050.23/1050.45 c 1050s| 36000 | 12290 | 7775k| 215.3 | 14M| 128 | 139 | 473 | 581 | 473 | 969 | 758 | 24 |2180 | 1.655192e+02 | 1.940000e+02 | 17.21%
1050.62/1050.83 c 1051s| 36100 | 12344 | 7779k| 214.8 | 14M| 128 | - | 473 | 581 | 473 | 969 | 758 | 24 |2180 | 1.655192e+02 | 1.940000e+02 | 17.21%
1053.92/1054.13 c 1054s| 36200 | 12398 | 7806k| 215.0 | 14M| 128 | - | 473 | 581 | 473 | 969 | 758 | 24 |2180 | 1.655195e+02 | 1.940000e+02 | 17.21%
1055.73/1055.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1055.73/1055.98 c 1056s| 36300 | 12460 | 7820k| 214.8 | 14M| 128 | 378 | 473 | 581 | 473 | 969 | 758 | 24 |2180 | 1.655211e+02 | 1.940000e+02 | 17.21%
1056.62/1056.88 c 1057s| 36400 | 12490 | 7828k| 214.4 | 14M| 128 | 369 | 473 | 581 | 473 | 969 | 758 | 24 |2180 | 1.655213e+02 | 1.940000e+02 | 17.21%
1058.22/1058.44 c 1058s| 36500 | 12502 | 7839k| 214.1 | 14M| 128 | 146 | 473 | 581 | 473 | 969 | 758 | 24 |2181 | 1.655213e+02 | 1.940000e+02 | 17.21%
1061.72/1061.97 c 1062s| 36600 | 12568 | 7868k| 214.3 | 14M| 128 | 129 | 473 | 581 | 473 | 969 | 758 | 24 |2182 | 1.655222e+02 | 1.940000e+02 | 17.20%
1063.82/1064.02 c 1064s| 36700 | 12600 | 7884k| 214.2 | 14M| 128 | - | 473 | 581 | 473 | 969 | 758 | 24 |2182 | 1.655231e+02 | 1.940000e+02 | 17.20%
1067.32/1067.56 c 1068s| 36800 | 12650 | 7912k| 214.3 | 14M| 128 | 375 | 473 | 581 | 473 | 969 | 758 | 24 |2183 | 1.655253e+02 | 1.940000e+02 | 17.20%
1070.72/1070.92 c 1071s| 36900 | 12690 | 7934k| 214.4 | 14M| 128 | 367 | 473 | 581 | 473 | 969 | 758 | 24 |2195 | 1.655258e+02 | 1.940000e+02 | 17.20%
1074.32/1074.52 c 1075s| 37000 | 12730 | 7959k| 214.5 | 14M| 128 | 355 | 473 | 581 | 473 | 969 | 758 | 24 |2206 | 1.655265e+02 | 1.940000e+02 | 17.20%
1077.02/1077.27 c 1077s| 37100 | 12756 | 7981k| 214.5 | 14M| 128 | - | 473 | 580 | 473 | 969 | 758 | 24 |2206 | 1.655280e+02 | 1.940000e+02 | 17.20%
1079.42/1079.66 c 1080s| 37200 | 12784 | 7995k| 214.3 | 14M| 128 | 374 | 473 | 580 | 473 | 969 | 758 | 24 |2222 | 1.655288e+02 | 1.940000e+02 | 17.20%
1083.02/1083.29 c 1083s| 37300 | 12824 | 8024k| 214.5 | 14M| 128 | 363 | 473 | 580 | 473 | 969 | 758 | 24 |2222 | 1.655300e+02 | 1.940000e+02 | 17.20%
1085.82/1086.09 c 1086s| 37400 | 12856 | 8042k| 214.4 | 14M| 128 | - | 473 | 580 | 473 | 969 | 758 | 24 |2240 | 1.655303e+02 | 1.940000e+02 | 17.20%
1090.11/1090.32 c 1090s| 37500 | 12922 | 8072k| 214.6 | 14M| 128 | - | 473 | 580 | 473 | 969 | 758 | 24 |2255 | 1.655304e+02 | 1.940000e+02 | 17.20%
1091.32/1091.54 c 1092s| 37600 | 12972 | 8082k| 214.3 | 14M| 128 | 365 | 473 | 580 | 473 | 969 | 758 | 24 |2255 | 1.655305e+02 | 1.940000e+02 | 17.20%
1092.52/1092.78 c 1093s| 37700 | 12998 | 8092k| 214.0 | 15M| 128 | - | 473 | 580 | 473 | 969 | 758 | 24 |2255 | 1.655305e+02 | 1.940000e+02 | 17.20%
1093.91/1094.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1093.91/1094.19 c 1094s| 37800 | 13036 | 8102k| 213.7 | 15M| 128 | 127 | 473 | 580 | 473 | 969 | 758 | 24 |2260 | 1.655311e+02 | 1.940000e+02 | 17.20%
1095.32/1095.57 c 1096s| 37900 | 13074 | 8112k| 213.4 | 15M| 128 | 133 | 473 | 580 | 473 | 969 | 758 | 24 |2266 | 1.655315e+02 | 1.940000e+02 | 17.20%
1096.92/1097.18 c 1097s| 38000 | 13080 | 8124k| 213.2 | 15M| 128 | - | 473 | 580 | 473 | 969 | 758 | 24 |2270 | 1.655315e+02 | 1.940000e+02 | 17.20%
1099.72/1099.95 c 1100s| 38100 | 13124 | 8146k| 213.2 | 15M| 128 | 143 | 473 | 580 | 473 | 969 | 758 | 24 |2275 | 1.655323e+02 | 1.940000e+02 | 17.20%
1103.51/1103.70 c 1104s| 38200 | 13174 | 8175k| 213.4 | 15M| 128 | - | 473 | 580 | 473 | 969 | 758 | 24 |2276 | 1.655336e+02 | 1.940000e+02 | 17.20%
1103.72/1103.96 c 1104s| 38300 | 13180 | 8177k| 212.9 | 15M| 128 | - | 473 | 580 | 473 | 969 | 758 | 24 |2278 | 1.655336e+02 | 1.940000e+02 | 17.20%
1105.22/1105.47 c 1105s| 38400 | 13224 | 8189k| 212.6 | 15M| 128 | - | 473 | 580 | 473 | 969 | 758 | 24 |2278 | 1.655345e+02 | 1.940000e+02 | 17.20%
1109.91/1110.11 c 1110s| 38500 | 13272 | 8225k| 213.0 | 15M| 128 | 364 | 473 | 580 | 473 | 969 | 758 | 24 |2279 | 1.655353e+02 | 1.940000e+02 | 17.20%
1111.22/1111.43 c 1111s| 38600 | 13308 | 8235k| 212.7 | 15M| 128 | 147 | 473 | 580 | 473 | 969 | 758 | 24 |2281 | 1.655360e+02 | 1.940000e+02 | 17.20%
1112.82/1113.06 c 1113s| 38700 | 13326 | 8248k| 212.5 | 15M| 128 | 135 | 473 | 580 | 473 | 969 | 758 | 24 |2281 | 1.655360e+02 | 1.940000e+02 | 17.20%
1114.51/1114.74 c 1115s| 38800 | 13344 | 8262k| 212.3 | 15M| 128 | 129 | 473 | 580 | 473 | 969 | 758 | 24 |2282 | 1.655361e+02 | 1.940000e+02 | 17.19%
1117.61/1117.83 c 1118s| 38900 | 13368 | 8286k| 212.4 | 15M| 128 | 133 | 473 | 580 | 473 | 969 | 758 | 24 |2282 | 1.655365e+02 | 1.940000e+02 | 17.19%
1120.11/1120.31 c 1120s| 39000 | 13390 | 8305k| 212.3 | 15M| 128 | 376 | 473 | 580 | 473 | 969 | 758 | 24 |2284 | 1.655372e+02 | 1.940000e+02 | 17.19%
1121.11/1121.38 c 1121s| 39100 | 13420 | 8313k| 212.0 | 15M| 128 | 144 | 473 | 580 | 473 | 969 | 758 | 24 |2286 | 1.655375e+02 | 1.940000e+02 | 17.19%
1123.02/1123.20 c 1123s| 39200 | 13460 | 8329k| 211.8 | 15M| 128 | - | 473 | 580 | 473 | 969 | 758 | 24 |2286 | 1.655381e+02 | 1.940000e+02 | 17.19%
1126.01/1126.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1126.01/1126.23 c 1126s| 39300 | 13502 | 8352k| 211.9 | 15M| 128 | - | 473 | 580 | 473 | 969 | 758 | 24 |2286 | 1.655392e+02 | 1.940000e+02 | 17.19%
1127.81/1128.09 c 1128s| 39400 | 13538 | 8366k| 211.7 | 15M| 128 | 377 | 473 | 580 | 473 | 969 | 758 | 24 |2286 | 1.655399e+02 | 1.940000e+02 | 17.19%
1129.41/1129.66 c 1130s| 39500 | 13568 | 8377k| 211.5 | 15M| 128 | 167 | 473 | 580 | 473 | 969 | 758 | 24 |2301 | 1.655402e+02 | 1.940000e+02 | 17.19%
1132.72/1132.94 c 1133s| 39600 | 13606 | 8400k| 211.5 | 15M| 128 | 139 | 473 | 580 | 473 | 969 | 758 | 24 |2316 | 1.655415e+02 | 1.940000e+02 | 17.19%
1134.11/1134.30 c 1134s| 39700 | 13622 | 8410k| 211.2 | 15M| 128 | - | 473 | 580 | 473 | 969 | 758 | 24 |2317 | 1.655419e+02 | 1.940000e+02 | 17.19%
1135.31/1135.53 c 1136s| 39800 | 13670 | 8420k| 210.9 | 15M| 128 | 354 | 473 | 580 | 473 | 969 | 758 | 24 |2317 | 1.655427e+02 | 1.940000e+02 | 17.19%
1137.11/1137.30 c 1137s| 39900 | 13692 | 8434k| 210.8 | 15M| 128 | - | 473 | 580 | 473 | 969 | 758 | 24 |2324 | 1.655430e+02 | 1.940000e+02 | 17.19%
1140.11/1140.33 c 1140s| 40000 | 13734 | 8452k| 210.7 | 15M| 128 | 123 | 473 | 580 | 473 | 969 | 758 | 24 |2343 | 1.655443e+02 | 1.940000e+02 | 17.19%
1142.51/1142.73 c 1143s| 40100 | 13766 | 8470k| 210.6 | 15M| 128 | 141 | 473 | 580 | 473 | 969 | 758 | 24 |2344 | 1.655444e+02 | 1.940000e+02 | 17.19%
1143.81/1144.03 c 1144s| 40200 | 13792 | 8480k| 210.3 | 15M| 128 | 365 | 473 | 580 | 473 | 969 | 758 | 24 |2344 | 1.655445e+02 | 1.940000e+02 | 17.19%
1144.21/1144.43 c 1144s| 40300 | 13796 | 8483k| 209.9 | 15M| 128 | - | 473 | 580 | 473 | 969 | 758 | 24 |2354 | 1.655445e+02 | 1.940000e+02 | 17.19%
1144.51/1144.72 c 1145s| 40400 | 13802 | 8486k| 209.5 | 15M| 128 | 163 | 473 | 580 | 473 | 969 | 758 | 24 |2354 | 1.655445e+02 | 1.940000e+02 | 17.19%
1148.41/1148.66 c 1149s| 40500 | 13866 | 8516k| 209.7 | 15M| 128 | 160 | 473 | 580 | 473 | 969 | 758 | 24 |2367 | 1.655446e+02 | 1.940000e+02 | 17.19%
1150.32/1150.52 c 1151s| 40600 | 13902 | 8531k| 209.5 | 15M| 128 | 150 | 473 | 580 | 473 | 969 | 758 | 24 |2367 | 1.655449e+02 | 1.940000e+02 | 17.19%
1152.91/1153.20 c 1153s| 40700 | 13946 | 8551k| 209.5 | 15M| 128 | 159 | 473 | 580 | 473 | 969 | 758 | 24 |2375 | 1.655455e+02 | 1.940000e+02 | 17.19%
1154.72/1154.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1154.72/1154.90 c 1155s| 40800 | 13984 | 8564k| 209.3 | 15M| 128 | - | 473 | 580 | 473 | 969 | 758 | 24 |2379 | 1.655461e+02 | 1.940000e+02 | 17.19%
1158.61/1158.86 c 1159s| 40900 | 14030 | 8596k| 209.6 | 15M| 128 | - | 473 | 580 | 473 | 969 | 758 | 24 |2381 | 1.655471e+02 | 1.940000e+02 | 17.19%
1160.61/1160.82 c 1161s| 41000 | 14052 | 8613k| 209.5 | 15M| 128 | - | 473 | 580 | 473 | 969 | 758 | 24 |2381 | 1.655481e+02 | 1.940000e+02 | 17.19%
1162.20/1162.48 c 1162s| 41100 | 14080 | 8626k| 209.3 | 15M| 128 | 144 | 473 | 580 | 473 | 969 | 758 | 24 |2381 | 1.655483e+02 | 1.940000e+02 | 17.19%
1163.20/1163.44 c 1163s| 41200 | 14112 | 8634k| 209.0 | 15M| 128 | 145 | 473 | 580 | 473 | 969 | 758 | 24 |2382 | 1.655488e+02 | 1.940000e+02 | 17.19%
1163.51/1163.76 c 1164s| 41300 | 14122 | 8637k| 208.5 | 15M| 128 | - | 473 | 580 | 473 | 969 | 758 | 24 |2382 | 1.655488e+02 | 1.940000e+02 | 17.19%
1165.41/1165.63 c 1166s| 41400 | 14156 | 8653k| 208.4 | 15M| 128 | 124 | 473 | 580 | 473 | 969 | 758 | 24 |2383 | 1.655490e+02 | 1.940000e+02 | 17.19%
1167.91/1168.17 c 1168s| 41500 | 14194 | 8673k| 208.4 | 16M| 128 | 131 | 473 | 580 | 473 | 969 | 758 | 24 |2383 | 1.655508e+02 | 1.940000e+02 | 17.18%
1169.61/1169.87 c 1170s| 41600 | 14228 | 8686k| 208.2 | 16M| 128 | - | 473 | 580 | 473 | 969 | 758 | 24 |2384 | 1.655515e+02 | 1.940000e+02 | 17.18%
1172.20/1172.41 c 1172s| 41700 | 14268 | 8706k| 208.2 | 16M| 128 | 123 | 473 | 580 | 473 | 969 | 758 | 24 |2385 | 1.655520e+02 | 1.940000e+02 | 17.18%
1172.80/1173.07 c 1173s| 41800 | 14278 | 8711k| 207.8 | 16M| 128 | 382 | 473 | 580 | 473 | 969 | 758 | 24 |2385 | 1.655524e+02 | 1.940000e+02 | 17.18%
1173.41/1173.61 c 1174s| 41900 | 14304 | 8717k| 207.5 | 16M| 128 | 140 | 473 | 580 | 473 | 969 | 758 | 24 |2385 | 1.655524e+02 | 1.940000e+02 | 17.18%
1174.71/1174.99 c 1175s| 42000 | 14332 | 8727k| 207.2 | 16M| 128 | 361 | 473 | 579 | 473 | 969 | 758 | 24 |2385 | 1.655538e+02 | 1.940000e+02 | 17.18%
1177.51/1177.76 c 1178s| 42100 | 14380 | 8749k| 207.2 | 16M| 128 | - | 473 | 579 | 473 | 969 | 758 | 24 |2385 | 1.655544e+02 | 1.940000e+02 | 17.18%
1178.20/1178.49 c 1178s| 42200 | 14406 | 8755k| 206.9 | 16M| 128 | 133 | 473 | 579 | 473 | 969 | 758 | 24 |2385 | 1.655547e+02 | 1.940000e+02 | 17.18%
1180.30/1180.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1180.30/1180.57 c 1181s| 42300 | 14426 | 8771k| 206.8 | 16M| 128 | - | 473 | 579 | 473 | 969 | 758 | 24 |2385 | 1.655554e+02 | 1.940000e+02 | 17.18%
1183.50/1183.78 c 1184s| 42400 | 14470 | 8798k| 206.9 | 16M| 128 | 147 | 473 | 579 | 473 | 969 | 758 | 24 |2385 | 1.655566e+02 | 1.940000e+02 | 17.18%
1187.01/1187.21 c 1187s| 42500 | 14494 | 8826k| 207.1 | 16M| 128 | - | 473 | 579 | 473 | 969 | 758 | 24 |2385 | 1.655581e+02 | 1.940000e+02 | 17.18%
1187.91/1188.15 c 1188s| 42600 | 14528 | 8833k| 206.8 | 16M| 128 | 144 | 473 | 579 | 473 | 969 | 758 | 24 |2394 | 1.655581e+02 | 1.940000e+02 | 17.18%
1189.10/1189.32 c 1189s| 42700 | 14552 | 8839k| 206.4 | 16M| 128 | - | 473 | 579 | 473 | 969 | 758 | 24 |2405 | 1.655587e+02 | 1.940000e+02 | 17.18%
1191.60/1191.82 c 1192s| 42800 | 14574 | 8859k| 206.4 | 16M| 128 | 138 | 473 | 579 | 473 | 969 | 758 | 24 |2405 | 1.655592e+02 | 1.940000e+02 | 17.18%
1194.31/1194.55 c 1195s| 42900 | 14608 | 8877k| 206.4 | 16M| 128 | 140 | 473 | 579 | 473 | 969 | 758 | 24 |2427 | 1.655598e+02 | 1.940000e+02 | 17.18%
1195.10/1195.34 c 1195s| 43000 | 14626 | 8883k| 206.0 | 16M| 128 | - | 473 | 579 | 473 | 969 | 758 | 24 |2427 | 1.655602e+02 | 1.940000e+02 | 17.18%
1198.40/1198.68 c 1199s| 43100 | 14672 | 8910k| 206.2 | 16M| 128 | 153 | 473 | 579 | 473 | 969 | 758 | 24 |2427 | 1.655613e+02 | 1.940000e+02 | 17.18%
1198.90/1199.14 c 1199s| 43200 | 14680 | 8914k| 205.8 | 16M| 128 | - | 473 | 579 | 473 | 969 | 758 | 24 |2442 | 1.655613e+02 | 1.940000e+02 | 17.18%
1203.40/1203.67 c 1204s| 43300 | 14716 | 8945k| 206.0 | 16M| 128 | 370 | 473 | 579 | 473 | 969 | 758 | 24 |2464 | 1.655633e+02 | 1.940000e+02 | 17.18%
1206.20/1206.46 c 1206s| 43400 | 14774 | 8966k| 206.0 | 16M| 128 | 152 | 473 | 579 | 473 | 969 | 758 | 24 |2464 | 1.655647e+02 | 1.940000e+02 | 17.17%
1207.10/1207.30 c 1207s| 43500 | 14808 | 8973k| 205.7 | 16M| 128 | 140 | 473 | 579 | 473 | 969 | 758 | 24 |2464 | 1.655657e+02 | 1.940000e+02 | 17.17%
1207.40/1207.69 c 1208s| 43600 | 14848 | 8977k| 205.3 | 16M| 128 | - | 473 | 579 | 473 | 969 | 758 | 24 |2464 | 1.655657e+02 | 1.940000e+02 | 17.17%
1211.70/1211.94 c 1212s| 43700 | 14916 | 9007k| 205.6 | 16M| 128 | - | 473 | 579 | 473 | 969 | 758 | 24 |2473 | 1.655675e+02 | 1.940000e+02 | 17.17%
1213.10/1213.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1213.10/1213.34 c 1213s| 43800 | 14942 | 9017k| 205.3 | 16M| 128 | 372 | 473 | 579 | 473 | 969 | 758 | 24 |2480 | 1.655691e+02 | 1.940000e+02 | 17.17%
1214.60/1214.84 c 1215s| 43900 | 14978 | 9028k| 205.1 | 16M| 128 | 139 | 473 | 579 | 473 | 969 | 758 | 24 |2482 | 1.655692e+02 | 1.940000e+02 | 17.17%
1215.00/1215.20 c 1215s| 44000 | 15004 | 9032k| 204.7 | 16M| 128 | 123 | 473 | 579 | 473 | 969 | 758 | 24 |2482 | 1.655692e+02 | 1.940000e+02 | 17.17%
1218.10/1218.33 c 1218s| 44100 | 15052 | 9056k| 204.8 | 16M| 128 | 367 | 473 | 579 | 473 | 969 | 758 | 24 |2483 | 1.655700e+02 | 1.940000e+02 | 17.17%
1220.10/1220.30 c 1220s| 44200 | 15072 | 9072k| 204.7 | 16M| 128 | 145 | 473 | 579 | 473 | 969 | 758 | 24 |2483 | 1.655701e+02 | 1.940000e+02 | 17.17%
1220.39/1220.64 c 1221s| 44300 | 15098 | 9076k| 204.3 | 16M| 128 | - | 473 | 579 | 473 | 969 | 758 | 24 |2483 | 1.655701e+02 | 1.940000e+02 | 17.17%
1225.21/1225.49 c 1225s| 44400 | 15138 | 9115k| 204.7 | 16M| 128 | 122 | 473 | 579 | 473 | 969 | 758 | 24 |2483 | 1.655705e+02 | 1.940000e+02 | 17.17%
1227.50/1227.73 c 1228s| 44500 | 15162 | 9132k| 204.7 | 16M| 128 | - | 473 | 579 | 473 | 969 | 758 | 24 |2484 | 1.655710e+02 | 1.940000e+02 | 17.17%
1228.30/1228.52 c 1229s| 44600 | 15198 | 9139k| 204.4 | 16M| 128 | 133 | 473 | 579 | 473 | 969 | 758 | 24 |2484 | 1.655710e+02 | 1.940000e+02 | 17.17%
1230.30/1230.52 c 1231s| 44700 | 15224 | 9156k| 204.3 | 16M| 128 | 125 | 473 | 579 | 473 | 969 | 758 | 24 |2484 | 1.655712e+02 | 1.940000e+02 | 17.17%
1230.90/1231.16 c 1231s| 44800 | 15234 | 9161k| 203.9 | 16M| 128 | 365 | 473 | 579 | 473 | 969 | 758 | 24 |2484 | 1.655721e+02 | 1.940000e+02 | 17.17%
1232.91/1233.15 c 1233s| 44900 | 15254 | 9177k| 203.8 | 16M| 128 | 132 | 473 | 579 | 473 | 969 | 758 | 24 |2484 | 1.655721e+02 | 1.940000e+02 | 17.17%
1234.10/1234.35 c 1234s| 45000 | 15274 | 9186k| 203.6 | 16M| 128 | 372 | 473 | 579 | 473 | 969 | 758 | 24 |2484 | 1.655722e+02 | 1.940000e+02 | 17.17%
1235.60/1235.84 c 1236s| 45100 | 15284 | 9198k| 203.4 | 16M| 128 | 132 | 473 | 579 | 473 | 969 | 758 | 24 |2484 | 1.655726e+02 | 1.940000e+02 | 17.17%
1238.90/1239.18 c 1239s| 45200 | 15314 | 9226k| 203.6 | 16M| 128 | 136 | 473 | 579 | 473 | 969 | 758 | 24 |2484 | 1.655731e+02 | 1.940000e+02 | 17.17%
1241.49/1241.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1241.49/1241.71 c 1242s| 45300 | 15336 | 9245k| 203.6 | 16M| 128 | - | 473 | 579 | 473 | 969 | 758 | 24 |2487 | 1.655749e+02 | 1.940000e+02 | 17.17%
1243.59/1243.85 c 1244s| 45400 | 15364 | 9262k| 203.5 | 17M| 128 | - | 473 | 579 | 473 | 969 | 758 | 24 |2487 | 1.655764e+02 | 1.940000e+02 | 17.17%
1245.39/1245.67 c 1246s| 45500 | 15406 | 9275k| 203.3 | 17M| 128 | 146 | 473 | 579 | 473 | 969 | 758 | 24 |2488 | 1.655774e+02 | 1.940000e+02 | 17.17%
1247.20/1247.41 c 1247s| 45600 | 15428 | 9285k| 203.1 | 17M| 128 | 132 | 473 | 579 | 473 | 969 | 758 | 24 |2501 | 1.655780e+02 | 1.940000e+02 | 17.17%
1248.69/1248.97 c 1249s| 45700 | 15440 | 9298k| 202.9 | 17M| 128 | - | 473 | 579 | 473 | 969 | 758 | 24 |2501 | 1.655782e+02 | 1.940000e+02 | 17.17%
1253.80/1254.05 c 1254s| 45800 | 15502 | 9331k| 203.2 | 17M| 128 | 390 | 473 | 579 | 473 | 969 | 758 | 24 |2519 | 1.655788e+02 | 1.940000e+02 | 17.16%
1254.69/1254.97 c 1255s| 45900 | 15528 | 9339k| 202.9 | 17M| 128 | 125 | 473 | 579 | 473 | 969 | 758 | 24 |2519 | 1.655792e+02 | 1.940000e+02 | 17.16%
1257.49/1257.71 c 1258s| 46000 | 15576 | 9361k| 203.0 | 17M| 128 | 386 | 473 | 579 | 473 | 969 | 758 | 24 |2519 | 1.655803e+02 | 1.940000e+02 | 17.16%
1258.89/1259.11 c 1259s| 46100 | 15612 | 9373k| 202.8 | 17M| 128 | 148 | 473 | 579 | 473 | 969 | 758 | 24 |2519 | 1.655803e+02 | 1.940000e+02 | 17.16%
1260.59/1260.89 c 1261s| 46200 | 15648 | 9382k| 202.6 | 17M| 128 | 365 | 473 | 579 | 473 | 969 | 758 | 24 |2534 | 1.655812e+02 | 1.940000e+02 | 17.16%
1264.09/1264.37 c 1264s| 46300 | 15690 | 9412k| 202.8 | 17M| 128 | - | 473 | 579 | 473 | 969 | 758 | 24 |2534 | 1.655823e+02 | 1.940000e+02 | 17.16%
1266.50/1266.76 c 1267s| 46400 | 15722 | 9428k| 202.7 | 17M| 128 | - | 473 | 579 | 473 | 969 | 758 | 24 |2545 | 1.655836e+02 | 1.940000e+02 | 17.16%
1278.49/1278.74 c 1279s| 46500 | 15778 | 9546k| 204.8 | 17M| 128 | - | 473 | 579 | 473 | 969 | 758 | 24 |2555 | 1.655844e+02 | 1.940000e+02 | 17.16%
1280.58/1280.87 c 1281s| 46600 | 15808 | 9563k| 204.7 | 17M| 128 | 137 | 473 | 579 | 473 | 969 | 758 | 24 |2555 | 1.655846e+02 | 1.940000e+02 | 17.16%
1283.39/1283.61 c 1284s| 46700 | 15838 | 9583k| 204.7 | 17M| 128 | 146 | 473 | 579 | 473 | 969 | 758 | 24 |2571 | 1.655857e+02 | 1.940000e+02 | 17.16%
1285.39/1285.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1285.39/1285.68 c 1286s| 46800 | 15864 | 9600k| 204.6 | 17M| 128 | 358 | 473 | 579 | 473 | 969 | 758 | 24 |2571 | 1.655862e+02 | 1.940000e+02 | 17.16%
1287.80/1288.10 c 1288s| 46900 | 15900 | 9618k| 204.6 | 17M| 128 | 367 | 473 | 578 | 473 | 969 | 758 | 24 |2578 | 1.655873e+02 | 1.940000e+02 | 17.16%
1289.48/1289.77 c 1290s| 47000 | 15936 | 9631k| 204.4 | 17M| 128 | 130 | 473 | 578 | 473 | 969 | 758 | 24 |2581 | 1.655876e+02 | 1.940000e+02 | 17.16%
1291.89/1292.12 c 1292s| 47100 | 15968 | 9650k| 204.4 | 17M| 128 | 375 | 473 | 578 | 473 | 969 | 758 | 24 |2581 | 1.655891e+02 | 1.940000e+02 | 17.16%
1293.88/1294.10 c 1294s| 47200 | 16008 | 9665k| 204.3 | 17M| 128 | 370 | 473 | 578 | 473 | 969 | 758 | 24 |2582 | 1.655908e+02 | 1.940000e+02 | 17.16%
1296.60/1296.90 c 1297s| 47300 | 16054 | 9686k| 204.3 | 17M| 128 | - | 473 | 578 | 473 | 969 | 758 | 24 |2583 | 1.655918e+02 | 1.940000e+02 | 17.16%
1297.99/1298.21 c 1298s| 47400 | 16078 | 9696k| 204.0 | 17M| 128 | 128 | 473 | 578 | 473 | 969 | 758 | 24 |2583 | 1.655925e+02 | 1.940000e+02 | 17.16%
1300.58/1300.81 c 1301s| 47500 | 16116 | 9716k| 204.0 | 17M| 128 | 373 | 473 | 578 | 473 | 969 | 758 | 24 |2584 | 1.655936e+02 | 1.940000e+02 | 17.15%
1302.19/1302.48 c 1302s| 47600 | 16152 | 9729k| 203.9 | 17M| 128 | 125 | 473 | 578 | 473 | 969 | 758 | 24 |2585 | 1.655937e+02 | 1.940000e+02 | 17.15%
1303.88/1304.18 c 1304s| 47700 | 16168 | 9744k| 203.8 | 17M| 128 | - | 473 | 578 | 473 | 969 | 758 | 24 |2585 | 1.655938e+02 | 1.940000e+02 | 17.15%
1307.18/1307.42 c 1307s| 47800 | 16194 | 9770k| 203.9 | 17M| 128 | 125 | 473 | 578 | 473 | 969 | 758 | 24 |2585 | 1.655941e+02 | 1.940000e+02 | 17.15%
1308.98/1309.24 c 1309s| 47900 | 16234 | 9784k| 203.8 | 17M| 128 | 142 | 473 | 578 | 473 | 969 | 758 | 24 |2585 | 1.655949e+02 | 1.940000e+02 | 17.15%
1310.19/1310.46 c 1310s| 48000 | 16262 | 9793k| 203.5 | 17M| 128 | 118 | 473 | 578 | 473 | 969 | 758 | 24 |2585 | 1.655962e+02 | 1.940000e+02 | 17.15%
1312.38/1312.66 c 1313s| 48100 | 16288 | 9811k| 203.5 | 17M| 128 | 128 | 473 | 578 | 473 | 969 | 758 | 24 |2585 | 1.655973e+02 | 1.940000e+02 | 17.15%
1313.89/1314.18 c 1314s| 48200 | 16302 | 9823k| 203.3 | 17M| 128 | - | 473 | 578 | 473 | 969 | 758 | 24 |2585 | 1.655980e+02 | 1.940000e+02 | 17.15%
1316.09/1316.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1316.09/1316.34 c 1316s| 48300 | 16326 | 9842k| 203.3 | 17M| 128 | - | 473 | 578 | 473 | 969 | 758 | 24 |2585 | 1.656004e+02 | 1.940000e+02 | 17.15%
1319.18/1319.45 c 1319s| 48400 | 16368 | 9869k| 203.4 | 17M| 128 | - | 473 | 578 | 473 | 969 | 758 | 24 |2585 | 1.656012e+02 | 1.940000e+02 | 17.15%
1322.28/1322.57 c 1323s| 48500 | 16402 | 9889k| 203.4 | 17M| 128 | 151 | 473 | 578 | 473 | 969 | 758 | 24 |2600 | 1.656017e+02 | 1.940000e+02 | 17.15%
1324.89/1325.17 c 1325s| 48600 | 16432 | 9910k| 203.4 | 17M| 128 | - | 473 | 578 | 473 | 969 | 758 | 24 |2600 | 1.656025e+02 | 1.940000e+02 | 17.15%
1327.78/1328.07 c 1328s| 48700 | 16494 | 9933k| 203.5 | 17M| 128 | 145 | 473 | 578 | 473 | 969 | 758 | 24 |2600 | 1.656028e+02 | 1.940000e+02 | 17.15%
1328.78/1329.03 c 1329s| 48800 | 16518 | 9937k| 203.1 | 17M| 128 | 376 | 473 | 578 | 473 | 969 | 758 | 24 |2610 | 1.656029e+02 | 1.940000e+02 | 17.15%
1331.08/1331.31 c 1331s| 48900 | 16556 | 9955k| 203.1 | 17M| 128 | 376 | 473 | 578 | 473 | 969 | 758 | 24 |2611 | 1.656030e+02 | 1.940000e+02 | 17.15%
1334.18/1334.48 c 1334s| 49000 | 16610 | 9979k| 203.2 | 18M| 128 | - | 473 | 578 | 473 | 969 | 758 | 24 |2621 | 1.656039e+02 | 1.940000e+02 | 17.15%
1337.68/1337.96 c 1338s| 49100 | 16656 | 10001k| 203.2 | 18M| 128 | 138 | 473 | 578 | 473 | 969 | 758 | 24 |2646 | 1.656048e+02 | 1.940000e+02 | 17.15%
1337.98/1338.25 c 1338s| 49200 | 16656 | 10004k| 202.8 | 18M| 128 | - | 473 | 578 | 473 | 969 | 758 | 24 |2646 | 1.656048e+02 | 1.940000e+02 | 17.15%
1340.48/1340.79 c 1341s| 49300 | 16694 | 10025k| 202.9 | 18M| 128 | - | 473 | 578 | 473 | 969 | 758 | 24 |2647 | 1.656060e+02 | 1.940000e+02 | 17.15%
1345.88/1346.19 c 1346s| 49400 | 16764 | 10066k| 203.3 | 18M| 128 | 147 | 473 | 578 | 473 | 969 | 758 | 24 |2661 | 1.656079e+02 | 1.940000e+02 | 17.14%
1347.38/1347.67 c 1348s| 49500 | 16788 | 10077k| 203.1 | 18M| 128 | - | 473 | 578 | 473 | 969 | 758 | 24 |2667 | 1.656099e+02 | 1.940000e+02 | 17.14%
1349.78/1350.03 c 1350s| 49600 | 16820 | 10096k| 203.1 | 18M| 128 | 141 | 473 | 578 | 473 | 969 | 758 | 24 |2670 | 1.656103e+02 | 1.940000e+02 | 17.14%
1351.68/1351.90 c 1352s| 49700 | 16858 | 10110k| 202.9 | 18M| 128 | 130 | 473 | 578 | 473 | 969 | 758 | 24 |2673 | 1.656110e+02 | 1.940000e+02 | 17.14%
1355.57/1355.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1355.57/1355.83 c 1356s| 49800 | 16892 | 10141k| 203.2 | 18M| 128 | 144 | 473 | 578 | 473 | 969 | 758 | 24 |2676 | 1.656115e+02 | 1.940000e+02 | 17.14%
1356.78/1357.07 c 1357s| 49900 | 16934 | 10151k| 203.0 | 18M| 128 | 381 | 473 | 578 | 473 | 969 | 758 | 24 |2676 | 1.656117e+02 | 1.940000e+02 | 17.14%
1361.38/1361.65 c 1362s| 50000 | 16990 | 10188k| 203.3 | 18M| 128 | 132 | 473 | 578 | 473 | 969 | 758 | 24 |2678 | 1.656129e+02 | 1.940000e+02 | 17.14%
1364.67/1364.95 c 1365s| 50100 | 17046 | 10213k| 203.4 | 18M| 128 | 369 | 473 | 578 | 473 | 969 | 758 | 24 |2680 | 1.656142e+02 | 1.940000e+02 | 17.14%
1366.68/1366.94 c 1367s| 50200 | 17096 | 10228k| 203.3 | 18M| 128 | 358 | 473 | 578 | 473 | 969 | 758 | 24 |2680 | 1.656152e+02 | 1.940000e+02 | 17.14%
1369.18/1369.41 c 1369s| 50300 | 17128 | 10248k| 203.2 | 18M| 128 | 136 | 473 | 578 | 473 | 969 | 758 | 24 |2680 | 1.656152e+02 | 1.940000e+02 | 17.14%
1371.28/1371.55 c 1372s| 50400 | 17158 | 10264k| 203.2 | 18M| 128 | - | 473 | 578 | 473 | 969 | 758 | 24 |2681 | 1.656166e+02 | 1.940000e+02 | 17.14%
1374.18/1374.45 c 1374s| 50500 | 17192 | 10287k| 203.2 | 18M| 128 | 136 | 473 | 578 | 473 | 969 | 758 | 24 |2681 | 1.656178e+02 | 1.940000e+02 | 17.14%
1376.88/1377.11 c 1377s| 50600 | 17240 | 10308k| 203.2 | 18M| 128 | - | 473 | 578 | 473 | 969 | 758 | 24 |2681 | 1.656197e+02 | 1.940000e+02 | 17.14%
1380.88/1381.13 c 1381s| 50700 | 17278 | 10341k| 203.5 | 18M| 128 | 155 | 473 | 578 | 473 | 969 | 758 | 24 |2681 | 1.656202e+02 | 1.940000e+02 | 17.14%
1383.07/1383.32 c 1383s| 50800 | 17324 | 10355k| 203.4 | 18M| 128 | 372 | 473 | 578 | 473 | 969 | 758 | 24 |2691 | 1.656220e+02 | 1.940000e+02 | 17.13%
1387.08/1387.37 c 1387s| 50900 | 17368 | 10382k| 203.5 | 18M| 128 | 366 | 473 | 578 | 473 | 969 | 758 | 24 |2713 | 1.656223e+02 | 1.940000e+02 | 17.13%
1388.57/1388.88 c 1389s| 51000 | 17404 | 10393k| 203.3 | 18M| 128 | 133 | 473 | 578 | 473 | 969 | 758 | 24 |2713 | 1.656228e+02 | 1.940000e+02 | 17.13%
1393.07/1393.35 c 1393s| 51100 | 17444 | 10429k| 203.6 | 18M| 128 | - | 473 | 578 | 473 | 969 | 758 | 24 |2713 | 1.656235e+02 | 1.940000e+02 | 17.13%
1396.07/1396.33 c 1396s| 51200 | 17468 | 10453k| 203.7 | 18M| 128 | - | 473 | 578 | 473 | 969 | 758 | 24 |2713 | 1.656241e+02 | 1.940000e+02 | 17.13%
1399.47/1399.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1399.47/1399.74 c 1400s| 51300 | 17526 | 10477k| 203.8 | 18M| 128 | 378 | 473 | 578 | 473 | 969 | 758 | 24 |2723 | 1.656255e+02 | 1.940000e+02 | 17.13%
1400.37/1400.64 c 1401s| 51400 | 17542 | 10484k| 203.5 | 18M| 128 | 136 | 473 | 578 | 473 | 969 | 758 | 24 |2723 | 1.656256e+02 | 1.940000e+02 | 17.13%
1401.57/1401.83 c 1402s| 51500 | 17558 | 10490k| 203.2 | 18M| 128 | 121 | 473 | 578 | 473 | 969 | 758 | 24 |2738 | 1.656256e+02 | 1.940000e+02 | 17.13%
1403.67/1403.97 c 1404s| 51600 | 17584 | 10507k| 203.2 | 18M| 128 | 122 | 473 | 578 | 473 | 969 | 758 | 24 |2738 | 1.656259e+02 | 1.940000e+02 | 17.13%
1405.27/1405.59 c 1406s| 51700 | 17602 | 10521k| 203.0 | 18M| 128 | - | 473 | 578 | 473 | 969 | 758 | 24 |2738 | 1.656264e+02 | 1.940000e+02 | 17.13%
1407.67/1407.92 c 1408s| 51800 | 17640 | 10536k| 202.9 | 18M| 128 | - | 473 | 578 | 473 | 969 | 758 | 24 |2748 | 1.656274e+02 | 1.940000e+02 | 17.13%
1410.27/1410.50 c 1411s| 51900 | 17656 | 10556k| 202.9 | 18M| 128 | - | 473 | 578 | 473 | 969 | 758 | 24 |2753 | 1.656275e+02 | 1.940000e+02 | 17.13%
1411.77/1412.07 c 1412s| 52000 | 17678 | 10566k| 202.7 | 18M| 128 | - | 473 | 578 | 473 | 969 | 758 | 24 |2761 | 1.656277e+02 | 1.940000e+02 | 17.13%
1414.77/1415.03 c 1415s| 52100 | 17714 | 10589k| 202.8 | 18M| 128 | - | 473 | 578 | 473 | 969 | 758 | 24 |2766 | 1.656279e+02 | 1.940000e+02 | 17.13%
1418.17/1418.41 c 1418s| 52200 | 17742 | 10617k| 202.9 | 18M| 128 | - | 473 | 578 | 473 | 969 | 758 | 24 |2767 | 1.656282e+02 | 1.940000e+02 | 17.13%
1420.26/1420.58 c 1421s| 52300 | 17774 | 10635k| 202.9 | 18M| 128 | - | 473 | 578 | 473 | 969 | 758 | 24 |2767 | 1.656288e+02 | 1.940000e+02 | 17.13%
1423.96/1424.22 c 1424s| 52400 | 17822 | 10663k| 203.0 | 18M| 128 | - | 473 | 578 | 473 | 969 | 758 | 24 |2770 | 1.656292e+02 | 1.940000e+02 | 17.13%
1426.37/1426.64 c 1427s| 52500 | 17880 | 10681k| 203.0 | 19M| 128 | 145 | 473 | 578 | 473 | 969 | 758 | 24 |2770 | 1.656295e+02 | 1.940000e+02 | 17.13%
1428.36/1428.69 c 1429s| 52600 | 17894 | 10697k| 202.9 | 19M| 128 | - | 473 | 578 | 473 | 969 | 758 | 24 |2771 | 1.656296e+02 | 1.940000e+02 | 17.13%
1431.36/1431.68 c 1432s| 52700 | 17926 | 10722k| 203.0 | 19M| 128 | 155 | 473 | 578 | 473 | 969 | 758 | 24 |2771 | 1.656307e+02 | 1.940000e+02 | 17.13%
1433.86/1434.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1433.86/1434.10 c 1434s| 52800 | 17962 | 10740k| 203.0 | 19M| 128 | 369 | 473 | 578 | 473 | 969 | 758 | 24 |2771 | 1.656314e+02 | 1.940000e+02 | 17.13%
1437.97/1438.27 c 1438s| 52900 | 17994 | 10773k| 203.2 | 19M| 128 | 377 | 473 | 578 | 473 | 969 | 758 | 24 |2773 | 1.656319e+02 | 1.940000e+02 | 17.13%
1439.47/1439.76 c 1440s| 53000 | 18042 | 10785k| 203.0 | 19M| 128 | - | 473 | 578 | 473 | 969 | 758 | 24 |2773 | 1.656329e+02 | 1.940000e+02 | 17.13%
1440.26/1440.56 c 1441s| 53100 | 18058 | 10791k| 202.8 | 19M| 128 | - | 473 | 578 | 473 | 969 | 758 | 24 |2773 | 1.656330e+02 | 1.940000e+02 | 17.13%
1442.36/1442.61 c 1443s| 53200 | 18086 | 10808k| 202.7 | 19M| 128 | 148 | 473 | 578 | 473 | 969 | 758 | 24 |2773 | 1.656342e+02 | 1.940000e+02 | 17.13%
1444.26/1444.51 c 1445s| 53300 | 18126 | 10822k| 202.6 | 19M| 128 | 118 | 473 | 578 | 473 | 969 | 758 | 24 |2773 | 1.656346e+02 | 1.940000e+02 | 17.13%
1445.86/1446.14 c 1446s| 53400 | 18140 | 10834k| 202.4 | 19M| 128 | - | 473 | 578 | 473 | 969 | 758 | 24 |2773 | 1.656353e+02 | 1.940000e+02 | 17.12%
1450.36/1450.63 c 1451s| 53500 | 18186 | 10867k| 202.7 | 19M| 128 | - | 473 | 578 | 473 | 969 | 758 | 24 |2784 | 1.656364e+02 | 1.940000e+02 | 17.12%
1451.67/1451.92 c 1452s| 53600 | 18208 | 10877k| 202.5 | 19M| 128 | - | 473 | 578 | 473 | 969 | 758 | 24 |2784 | 1.656367e+02 | 1.940000e+02 | 17.12%
1455.96/1456.21 c 1456s| 53700 | 18242 | 10907k| 202.7 | 19M| 128 | 379 | 473 | 578 | 473 | 969 | 758 | 24 |2796 | 1.656374e+02 | 1.940000e+02 | 17.12%
1456.76/1457.09 c 1457s| 53800 | 18274 | 10914k| 202.4 | 19M| 128 | 364 | 473 | 578 | 473 | 969 | 758 | 24 |2796 | 1.656376e+02 | 1.940000e+02 | 17.12%
1458.77/1459.01 c 1459s| 53900 | 18300 | 10930k| 202.3 | 19M| 128 | - | 473 | 578 | 473 | 969 | 758 | 24 |2796 | 1.656376e+02 | 1.940000e+02 | 17.12%
1461.26/1461.56 c 1462s| 54000 | 18332 | 10947k| 202.3 | 19M| 128 | 135 | 473 | 577 | 473 | 969 | 758 | 24 |2806 | 1.656382e+02 | 1.940000e+02 | 17.12%
1462.67/1462.91 c 1463s| 54100 | 18356 | 10957k| 202.1 | 19M| 128 | - | 473 | 577 | 473 | 969 | 758 | 24 |2806 | 1.656389e+02 | 1.940000e+02 | 17.12%
1466.26/1466.53 c 1467s| 54200 | 18384 | 10984k| 202.2 | 19M| 128 | - | 473 | 577 | 473 | 969 | 758 | 24 |2819 | 1.656395e+02 | 1.940000e+02 | 17.12%
1468.27/1468.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1468.27/1468.58 c 1469s| 54300 | 18414 | 11000k| 202.1 | 19M| 128 | 148 | 473 | 577 | 473 | 969 | 758 | 24 |2819 | 1.656399e+02 | 1.940000e+02 | 17.12%
1471.36/1471.63 c 1472s| 54400 | 18456 | 11025k| 202.2 | 19M| 128 | 133 | 473 | 577 | 473 | 969 | 758 | 24 |2820 | 1.656406e+02 | 1.940000e+02 | 17.12%
1474.06/1474.32 c 1474s| 54500 | 18504 | 11044k| 202.2 | 19M| 128 | 155 | 473 | 577 | 473 | 969 | 758 | 24 |2845 | 1.656412e+02 | 1.940000e+02 | 17.12%
1474.96/1475.21 c 1475s| 54600 | 18528 | 11051k| 202.0 | 19M| 128 | 138 | 473 | 577 | 473 | 969 | 758 | 24 |2845 | 1.656415e+02 | 1.940000e+02 | 17.12%
1476.96/1477.22 c 1477s| 54700 | 18554 | 11065k| 201.9 | 19M| 128 | - | 473 | 577 | 473 | 969 | 758 | 24 |2850 | 1.656429e+02 | 1.940000e+02 | 17.12%
1479.56/1479.89 c 1480s| 54800 | 18598 | 11085k| 201.8 | 19M| 128 | 122 | 473 | 577 | 473 | 969 | 758 | 24 |2854 | 1.656433e+02 | 1.940000e+02 | 17.12%
1480.95/1481.21 c 1481s| 54900 | 18622 | 11095k| 201.7 | 19M| 128 | 376 | 473 | 577 | 473 | 969 | 758 | 24 |2857 | 1.656440e+02 | 1.940000e+02 | 17.12%
1484.46/1484.76 c 1485s| 55000 | 18654 | 11124k| 201.8 | 19M| 128 | - | 473 | 577 | 473 | 969 | 758 | 24 |2861 | 1.656442e+02 | 1.940000e+02 | 17.12%
1487.66/1487.93 c 1488s| 55100 | 18704 | 11148k| 201.9 | 19M| 128 | 378 | 473 | 577 | 473 | 969 | 758 | 24 |2863 | 1.656449e+02 | 1.940000e+02 | 17.12%
1488.66/1488.94 c 1489s| 55200 | 18722 | 11157k| 201.7 | 19M| 128 | 144 | 473 | 577 | 473 | 969 | 758 | 24 |2863 | 1.656453e+02 | 1.940000e+02 | 17.12%
1489.45/1489.76 c 1490s| 55300 | 18744 | 11164k| 201.4 | 19M| 128 | 144 | 473 | 577 | 473 | 969 | 758 | 24 |2865 | 1.656457e+02 | 1.940000e+02 | 17.12%
1492.96/1493.22 c 1493s| 55400 | 18782 | 11192k| 201.6 | 19M| 128 | 144 | 473 | 577 | 473 | 969 | 758 | 24 |2866 | 1.656458e+02 | 1.940000e+02 | 17.12%
1493.15/1493.49 c 1493s| 55500 | 18788 | 11195k| 201.3 | 19M| 128 | 128 | 473 | 577 | 473 | 969 | 758 | 24 |2866 | 1.656458e+02 | 1.940000e+02 | 17.12%
1495.35/1495.63 c 1496s| 55600 | 18814 | 11212k| 201.2 | 19M| 128 | 132 | 473 | 577 | 473 | 969 | 758 | 24 |2866 | 1.656462e+02 | 1.940000e+02 | 17.12%
1497.45/1497.72 c 1498s| 55700 | 18846 | 11228k| 201.2 | 19M| 128 | 362 | 473 | 577 | 473 | 969 | 758 | 24 |2867 | 1.656467e+02 | 1.940000e+02 | 17.12%
1498.75/1499.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1498.75/1499.07 c 1499s| 55800 | 18876 | 11239k| 201.0 | 19M| 128 | 366 | 473 | 577 | 473 | 969 | 758 | 24 |2868 | 1.656471e+02 | 1.940000e+02 | 17.12%
1499.16/1499.46 c 1499s| 55900 | 18880 | 11242k| 200.7 | 19M| 128 | - | 473 | 577 | 0 | 0 | 758 | 24 |2868 | 1.656471e+02 | 1.940000e+02 | 17.12%
1499.95/1500.25 c 1500s| 56000 | 18900 | 11248k| 200.4 | 19M| 128 | 135 | 473 | 577 | 473 | 969 | 758 | 24 |2868 | 1.656472e+02 | 1.940000e+02 | 17.12%
1500.26/1500.57 c 1501s| 56100 | 18916 | 11252k| 200.1 | 19M| 128 | 127 | 473 | 577 | 473 | 969 | 758 | 24 |2868 | 1.656472e+02 | 1.940000e+02 | 17.12%
1503.36/1503.67 c 1504s| 56200 | 18956 | 11277k| 200.2 | 19M| 128 | 143 | 473 | 577 | 473 | 969 | 758 | 24 |2868 | 1.656474e+02 | 1.940000e+02 | 17.12%
1506.96/1507.23 c 1507s| 56300 | 19006 | 11306k| 200.4 | 19M| 128 | - | 473 | 577 | 473 | 969 | 758 | 24 |2868 | 1.656478e+02 | 1.940000e+02 | 17.12%
1508.25/1508.53 c 1509s| 56400 | 19058 | 11316k| 200.2 | 20M| 128 | - | 473 | 577 | 473 | 969 | 758 | 24 |2868 | 1.656481e+02 | 1.940000e+02 | 17.12%
1508.45/1508.78 c 1509s| 56500 | 19064 | 11319k| 199.9 | 20M| 128 | - | 473 | 577 | 473 | 969 | 758 | 24 |2868 | 1.656481e+02 | 1.940000e+02 | 17.12%
1511.56/1511.83 c 1512s| 56600 | 19104 | 11342k| 200.0 | 20M| 128 | 368 | 473 | 577 | 473 | 969 | 758 | 24 |2868 | 1.656487e+02 | 1.940000e+02 | 17.12%
1513.96/1514.27 c 1514s| 56700 | 19154 | 11360k| 199.9 | 20M| 128 | 379 | 473 | 577 | 473 | 969 | 758 | 24 |2868 | 1.656499e+02 | 1.940000e+02 | 17.11%
1518.86/1519.13 c 1519s| 56800 | 19194 | 11394k| 200.2 | 20M| 128 | - | 473 | 577 | 473 | 969 | 758 | 24 |2888 | 1.656501e+02 | 1.940000e+02 | 17.11%
1520.05/1520.38 c 1520s| 56900 | 19230 | 11404k| 200.0 | 20M| 128 | 134 | 473 | 577 | 473 | 969 | 758 | 24 |2888 | 1.656501e+02 | 1.940000e+02 | 17.11%
1522.85/1523.19 c 1523s| 57000 | 19266 | 11426k| 200.0 | 20M| 128 | 123 | 473 | 577 | 473 | 969 | 758 | 24 |2888 | 1.656509e+02 | 1.940000e+02 | 17.11%
1525.05/1525.32 c 1525s| 57100 | 19286 | 11444k| 200.0 | 20M| 128 | - | 473 | 577 | 0 | 0 | 758 | 24 |2888 | 1.656515e+02 | 1.940000e+02 | 17.11%
1525.95/1526.24 c 1526s| 57200 | 19324 | 11450k| 199.8 | 20M| 128 | 132 | 473 | 577 | 473 | 969 | 758 | 24 |2905 | 1.656518e+02 | 1.940000e+02 | 17.11%
1528.05/1528.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1528.05/1528.37 c 1528s| 57300 | 19360 | 11467k| 199.7 | 20M| 128 | - | 473 | 577 | 473 | 969 | 758 | 24 |2905 | 1.656520e+02 | 1.940000e+02 | 17.11%
1530.55/1530.84 c 1531s| 57400 | 19400 | 11482k| 199.6 | 20M| 128 | - | 473 | 577 | 473 | 969 | 758 | 24 |2922 | 1.656531e+02 | 1.940000e+02 | 17.11%
1531.85/1532.19 c 1532s| 57500 | 19420 | 11493k| 199.5 | 20M| 128 | - | 473 | 577 | 473 | 969 | 758 | 24 |2922 | 1.656534e+02 | 1.940000e+02 | 17.11%
1533.95/1534.28 c 1534s| 57600 | 19438 | 11511k| 199.4 | 20M| 128 | 135 | 473 | 577 | 473 | 969 | 758 | 24 |2922 | 1.656538e+02 | 1.940000e+02 | 17.11%
1535.85/1536.14 c 1536s| 57700 | 19458 | 11523k| 199.3 | 20M| 128 | - | 473 | 577 | 473 | 969 | 758 | 24 |2932 | 1.656539e+02 | 1.940000e+02 | 17.11%
1537.95/1538.22 c 1538s| 57800 | 19484 | 11540k| 199.2 | 20M| 128 | 362 | 473 | 577 | 473 | 969 | 758 | 24 |2932 | 1.656545e+02 | 1.940000e+02 | 17.11%
1540.65/1540.91 c 1541s| 57900 | 19510 | 11560k| 199.2 | 20M| 128 | - | 473 | 577 | 473 | 969 | 758 | 24 |2938 | 1.656545e+02 | 1.940000e+02 | 17.11%
1544.75/1545.09 c 1545s| 58000 | 19556 | 11592k| 199.4 | 20M| 128 | - | 473 | 577 | 473 | 969 | 758 | 24 |2945 | 1.656549e+02 | 1.940000e+02 | 17.11%
1546.85/1547.12 c 1547s| 58100 | 19594 | 11606k| 199.3 | 20M| 128 | 120 | 473 | 576 | 473 | 969 | 758 | 24 |2948 | 1.656549e+02 | 1.940000e+02 | 17.11%
1548.55/1548.86 c 1549s| 58200 | 19608 | 11620k| 199.2 | 20M| 128 | - | 473 | 576 | 473 | 969 | 758 | 24 |2950 | 1.656551e+02 | 1.940000e+02 | 17.11%
1551.35/1551.60 c 1552s| 58300 | 19644 | 11641k| 199.3 | 20M| 128 | 153 | 473 | 576 | 473 | 969 | 758 | 24 |2952 | 1.656557e+02 | 1.940000e+02 | 17.11%
1552.64/1552.98 c 1553s| 58400 | 19676 | 11652k| 199.1 | 20M| 128 | - | 473 | 576 | 473 | 969 | 758 | 24 |2952 | 1.656561e+02 | 1.940000e+02 | 17.11%
1555.75/1556.02 c 1556s| 58500 | 19714 | 11675k| 199.2 | 20M| 128 | - | 473 | 576 | 473 | 969 | 758 | 24 |2952 | 1.656568e+02 | 1.940000e+02 | 17.11%
1559.04/1559.34 c 1559s| 58600 | 19760 | 11702k| 199.3 | 20M| 128 | 371 | 473 | 576 | 473 | 969 | 758 | 24 |2952 | 1.656579e+02 | 1.940000e+02 | 17.11%
1559.85/1560.10 c 1560s| 58700 | 19776 | 11708k| 199.0 | 20M| 128 | 367 | 473 | 576 | 473 | 969 | 758 | 24 |2952 | 1.656583e+02 | 1.940000e+02 | 17.11%
1563.05/1563.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1563.05/1563.39 c 1563s| 58800 | 19804 | 11735k| 199.2 | 20M| 128 | 122 | 473 | 576 | 473 | 969 | 758 | 24 |2952 | 1.656585e+02 | 1.940000e+02 | 17.11%
1566.45/1566.70 c 1567s| 58900 | 19846 | 11760k| 199.2 | 20M| 128 | 146 | 473 | 576 | 473 | 969 | 758 | 24 |2952 | 1.656591e+02 | 1.940000e+02 | 17.11%
1567.04/1567.39 c 1567s| 59000 | 19860 | 11765k| 199.0 | 20M| 128 | - | 473 | 576 | 473 | 969 | 758 | 24 |2952 | 1.656594e+02 | 1.940000e+02 | 17.11%
1569.24/1569.52 c 1570s| 59100 | 19882 | 11783k| 199.0 | 20M| 128 | - | 473 | 576 | 473 | 969 | 758 | 24 |2952 | 1.656596e+02 | 1.940000e+02 | 17.11%
1570.84/1571.14 c 1571s| 59200 | 19914 | 11795k| 198.8 | 20M| 128 | 369 | 473 | 576 | 473 | 969 | 758 | 24 |2952 | 1.656605e+02 | 1.940000e+02 | 17.11%
1573.65/1573.90 c 1574s| 59300 | 19948 | 11818k| 198.9 | 20M| 128 | - | 473 | 576 | 473 | 969 | 758 | 24 |2953 | 1.656609e+02 | 1.940000e+02 | 17.11%
1575.24/1575.58 c 1576s| 59400 | 19962 | 11832k| 198.8 | 20M| 128 | - | 473 | 576 | 473 | 969 | 758 | 24 |2953 | 1.656610e+02 | 1.940000e+02 | 17.11%
1578.25/1578.54 c 1579s| 59500 | 20000 | 11855k| 198.8 | 20M| 128 | 151 | 473 | 576 | 473 | 969 | 758 | 24 |2954 | 1.656620e+02 | 1.940000e+02 | 17.11%
1581.05/1581.39 c 1581s| 59600 | 20032 | 11878k| 198.9 | 20M| 128 | - | 473 | 576 | 473 | 969 | 758 | 24 |2954 | 1.656627e+02 | 1.940000e+02 | 17.11%
1584.14/1584.45 c 1584s| 59700 | 20068 | 11897k| 198.9 | 20M| 128 | 374 | 473 | 576 | 473 | 969 | 758 | 24 |2970 | 1.656640e+02 | 1.940000e+02 | 17.10%
1585.64/1585.95 c 1586s| 59800 | 20094 | 11909k| 198.7 | 20M| 128 | - | 473 | 576 | 473 | 969 | 758 | 24 |2970 | 1.656649e+02 | 1.940000e+02 | 17.10%
1586.54/1586.87 c 1587s| 59900 | 20136 | 11917k| 198.6 | 20M| 128 | 177 | 473 | 576 | 473 | 969 | 758 | 24 |2970 | 1.656651e+02 | 1.940000e+02 | 17.10%
1586.84/1587.19 c 1587s| 60000 | 20152 | 11921k| 198.3 | 20M| 128 | - | 473 | 576 | 473 | 969 | 758 | 24 |2970 | 1.656651e+02 | 1.940000e+02 | 17.10%
1589.64/1589.95 c 1590s| 60100 | 20192 | 11939k| 198.2 | 20M| 128 | 371 | 473 | 576 | 473 | 969 | 758 | 24 |2986 | 1.656653e+02 | 1.940000e+02 | 17.10%
1591.04/1591.38 c 1591s| 60200 | 20232 | 11950k| 198.1 | 20M| 128 | - | 473 | 576 | 473 | 969 | 758 | 24 |2986 | 1.656654e+02 | 1.940000e+02 | 17.10%
1593.14/1593.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1593.14/1593.48 c 1593s| 60300 | 20266 | 11966k| 198.0 | 20M| 128 | - | 473 | 576 | 473 | 969 | 758 | 24 |2986 | 1.656658e+02 | 1.940000e+02 | 17.10%
1593.94/1594.23 c 1594s| 60400 | 20288 | 11972k| 197.8 | 20M| 128 | - | 473 | 576 | 473 | 969 | 758 | 24 |2986 | 1.656658e+02 | 1.940000e+02 | 17.10%
1597.63/1597.97 c 1598s| 60500 | 20322 | 12000k| 197.9 | 21M| 128 | 146 | 473 | 576 | 473 | 969 | 758 | 24 |2997 | 1.656659e+02 | 1.940000e+02 | 17.10%
1599.94/1600.23 c 1600s| 60600 | 20354 | 12019k| 197.9 | 21M| 128 | - | 473 | 576 | 473 | 969 | 758 | 24 |2997 | 1.656665e+02 | 1.940000e+02 | 17.10%
1602.14/1602.48 c 1602s| 60700 | 20388 | 12037k| 197.9 | 21M| 128 | - | 473 | 576 | 473 | 969 | 758 | 24 |2997 | 1.656667e+02 | 1.940000e+02 | 17.10%
1603.74/1604.09 c 1604s| 60800 | 20420 | 12046k| 197.7 | 21M| 128 | 375 | 473 | 576 | 473 | 969 | 758 | 24 |3009 | 1.656681e+02 | 1.940000e+02 | 17.10%
1605.65/1605.99 c 1606s| 60900 | 20460 | 12060k| 197.6 | 21M| 128 | 142 | 473 | 576 | 473 | 969 | 758 | 24 |3009 | 1.656689e+02 | 1.940000e+02 | 17.10%
1607.04/1607.35 c 1607s| 61000 | 20484 | 12068k| 197.4 | 21M| 128 | 366 | 473 | 576 | 473 | 969 | 758 | 24 |3018 | 1.656694e+02 | 1.940000e+02 | 17.10%
1610.24/1610.53 c 1611s| 61100 | 20526 | 12093k| 197.5 | 21M| 128 | 150 | 473 | 576 | 473 | 969 | 758 | 24 |3018 | 1.656703e+02 | 1.940000e+02 | 17.10%
1611.63/1611.93 c 1612s| 61200 | 20558 | 12104k| 197.4 | 21M| 128 | 135 | 473 | 576 | 473 | 969 | 758 | 24 |3021 | 1.656708e+02 | 1.940000e+02 | 17.10%
1614.24/1614.56 c 1615s| 61300 | 20586 | 12124k| 197.4 | 21M| 128 | 127 | 473 | 576 | 473 | 969 | 758 | 24 |3029 | 1.656712e+02 | 1.940000e+02 | 17.10%
1616.23/1616.58 c 1617s| 61400 | 20604 | 12140k| 197.3 | 21M| 128 | 370 | 473 | 576 | 473 | 969 | 758 | 24 |3031 | 1.656713e+02 | 1.940000e+02 | 17.10%
1619.04/1619.34 c 1619s| 61500 | 20646 | 12162k| 197.4 | 21M| 128 | 171 | 473 | 576 | 473 | 969 | 758 | 24 |3033 | 1.656714e+02 | 1.940000e+02 | 17.10%
1621.04/1621.34 c 1621s| 61600 | 20720 | 12178k| 197.3 | 21M| 128 | 361 | 473 | 576 | 473 | 969 | 758 | 24 |3034 | 1.656722e+02 | 1.940000e+02 | 17.10%
1623.13/1623.49 c 1623s| 61700 | 20760 | 12195k| 197.3 | 21M| 128 | - | 473 | 576 | 473 | 969 | 758 | 24 |3034 | 1.656728e+02 | 1.940000e+02 | 17.10%
1625.13/1625.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1625.13/1625.40 c 1625s| 61800 | 20784 | 12213k| 197.2 | 21M| 128 | - | 473 | 580 | 473 | 969 | 758 | 28 |3035 | 1.656730e+02 | 1.940000e+02 | 17.10%
1627.23/1627.59 c 1628s| 61900 | 20798 | 12231k| 197.2 | 21M| 128 | 148 | 473 | 580 | 473 | 969 | 758 | 28 |3036 | 1.656731e+02 | 1.940000e+02 | 17.10%
1629.44/1629.73 c 1630s| 62000 | 20832 | 12247k| 197.1 | 21M| 128 | 133 | 473 | 579 | 473 | 969 | 758 | 28 |3038 | 1.656733e+02 | 1.940000e+02 | 17.10%
1631.43/1631.76 c 1632s| 62100 | 20872 | 12263k| 197.1 | 21M| 128 | 122 | 473 | 578 | 473 | 969 | 758 | 28 |3038 | 1.656736e+02 | 1.940000e+02 | 17.10%
1632.14/1632.48 c 1632s| 62200 | 20888 | 12269k| 196.9 | 21M| 128 | 146 | 473 | 578 | 473 | 969 | 758 | 28 |3038 | 1.656737e+02 | 1.940000e+02 | 17.10%
1633.03/1633.40 c 1633s| 62300 | 20914 | 12277k| 196.7 | 21M| 128 | 352 | 473 | 578 | 473 | 969 | 758 | 28 |3038 | 1.656748e+02 | 1.940000e+02 | 17.10%
1636.94/1637.25 c 1637s| 62400 | 20958 | 12308k| 196.9 | 21M| 128 | - | 473 | 578 | 473 | 969 | 758 | 28 |3038 | 1.656753e+02 | 1.940000e+02 | 17.10%
1638.74/1639.08 c 1639s| 62500 | 20990 | 12324k| 196.8 | 21M| 128 | 127 | 473 | 578 | 473 | 969 | 758 | 28 |3038 | 1.656757e+02 | 1.940000e+02 | 17.10%
1640.13/1640.40 c 1640s| 62600 | 21014 | 12334k| 196.6 | 21M| 128 | 129 | 473 | 578 | 473 | 969 | 758 | 28 |3038 | 1.656758e+02 | 1.940000e+02 | 17.10%
1642.73/1643.04 c 1643s| 62700 | 21036 | 12355k| 196.7 | 21M| 128 | 362 | 473 | 578 | 473 | 969 | 758 | 28 |3038 | 1.656761e+02 | 1.940000e+02 | 17.10%
1645.03/1645.30 c 1645s| 62800 | 21106 | 12373k| 196.6 | 21M| 128 | - | 473 | 578 | 473 | 969 | 758 | 28 |3038 | 1.656762e+02 | 1.940000e+02 | 17.10%
1645.83/1646.14 c 1646s| 62900 | 21148 | 12380k| 196.4 | 21M| 128 | 141 | 473 | 578 | 473 | 969 | 758 | 28 |3038 | 1.656763e+02 | 1.940000e+02 | 17.10%
1648.33/1648.62 c 1649s| 63000 | 21190 | 12400k| 196.4 | 21M| 128 | 357 | 473 | 578 | 473 | 969 | 758 | 28 |3038 | 1.656767e+02 | 1.940000e+02 | 17.10%
1649.13/1649.44 c 1649s| 63100 | 21226 | 12406k| 196.2 | 21M| 128 | 157 | 473 | 578 | 473 | 969 | 758 | 28 |3038 | 1.656772e+02 | 1.940000e+02 | 17.10%
1651.63/1651.94 c 1652s| 63200 | 21270 | 12425k| 196.2 | 21M| 128 | 139 | 473 | 578 | 473 | 969 | 758 | 28 |3050 | 1.656775e+02 | 1.940000e+02 | 17.09%
1653.13/1653.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1653.13/1653.48 c 1653s| 63300 | 21298 | 12438k| 196.1 | 21M| 128 | 138 | 473 | 577 | 473 | 969 | 758 | 28 |3050 | 1.656776e+02 | 1.940000e+02 | 17.09%
1655.33/1655.68 c 1656s| 63400 | 21334 | 12456k| 196.1 | 21M| 128 | 118 | 473 | 577 | 473 | 969 | 758 | 28 |3050 | 1.656777e+02 | 1.940000e+02 | 17.09%
1656.13/1656.45 c 1656s| 63500 | 21370 | 12462k| 195.9 | 21M| 128 | - | 473 | 577 | 473 | 969 | 758 | 28 |3050 | 1.656778e+02 | 1.940000e+02 | 17.09%
1658.33/1658.62 c 1659s| 63600 | 21388 | 12475k| 195.8 | 21M| 128 | 126 | 473 | 577 | 473 | 969 | 758 | 28 |3067 | 1.656781e+02 | 1.940000e+02 | 17.09%
1660.64/1660.91 c 1661s| 63700 | 21422 | 12494k| 195.8 | 21M| 128 | 137 | 473 | 577 | 473 | 969 | 758 | 28 |3067 | 1.656783e+02 | 1.940000e+02 | 17.09%
1661.63/1661.90 c 1662s| 63800 | 21488 | 12503k| 195.6 | 21M| 128 | 146 | 473 | 577 | 473 | 969 | 758 | 28 |3067 | 1.656784e+02 | 1.940000e+02 | 17.09%
1663.13/1663.49 c 1663s| 63900 | 21558 | 12516k| 195.5 | 22M| 128 | 362 | 473 | 577 | 473 | 969 | 758 | 28 |3067 | 1.656785e+02 | 1.940000e+02 | 17.09%
1667.53/1667.86 c 1668s| 64000 | 21614 | 12545k| 195.6 | 22M| 128 | 134 | 473 | 576 | 473 | 969 | 758 | 28 |3087 | 1.656788e+02 | 1.940000e+02 | 17.09%
1668.93/1669.27 c 1669s| 64100 | 21646 | 12556k| 195.5 | 22M| 128 | 132 | 473 | 576 | 473 | 969 | 758 | 28 |3087 | 1.656792e+02 | 1.940000e+02 | 17.09%
1670.03/1670.38 c 1670s| 64200 | 21672 | 12565k| 195.3 | 22M| 128 | 134 | 473 | 576 | 473 | 969 | 758 | 28 |3087 | 1.656796e+02 | 1.940000e+02 | 17.09%
1673.32/1673.67 c 1674s| 64300 | 21716 | 12593k| 195.5 | 22M| 128 | 119 | 473 | 576 | 473 | 969 | 758 | 28 |3088 | 1.656802e+02 | 1.940000e+02 | 17.09%
1676.52/1676.80 c 1677s| 64400 | 21744 | 12617k| 195.5 | 22M| 128 | 140 | 473 | 576 | 473 | 969 | 758 | 28 |3095 | 1.656806e+02 | 1.940000e+02 | 17.09%
1677.33/1677.62 c 1678s| 64500 | 21772 | 12624k| 195.3 | 22M| 128 | - | 473 | 576 | 473 | 969 | 758 | 28 |3095 | 1.656807e+02 | 1.940000e+02 | 17.09%
1679.82/1680.16 c 1680s| 64600 | 21834 | 12641k| 195.3 | 22M| 128 | - | 473 | 576 | 473 | 969 | 758 | 28 |3106 | 1.656809e+02 | 1.940000e+02 | 17.09%
1681.33/1681.60 c 1682s| 64700 | 21862 | 12653k| 195.2 | 22M| 128 | - | 473 | 576 | 473 | 969 | 758 | 28 |3106 | 1.656816e+02 | 1.940000e+02 | 17.09%
1682.74/1683.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1682.74/1683.07 c 1683s| 64800 | 21892 | 12663k| 195.0 | 22M| 128 | 133 | 473 | 576 | 473 | 969 | 758 | 28 |3111 | 1.656819e+02 | 1.940000e+02 | 17.09%
1684.03/1684.35 c 1684s| 64900 | 21940 | 12672k| 194.9 | 22M| 128 | 381 | 473 | 576 | 473 | 969 | 758 | 28 |3116 | 1.656821e+02 | 1.940000e+02 | 17.09%
1687.63/1687.95 c 1688s| 65000 | 21994 | 12700k| 195.0 | 22M| 128 | - | 473 | 576 | 473 | 969 | 758 | 28 |3117 | 1.656828e+02 | 1.940000e+02 | 17.09%
1693.33/1693.66 c 1694s| 65100 | 22054 | 12746k| 195.4 | 22M| 128 | 380 | 473 | 576 | 473 | 969 | 758 | 28 |3119 | 1.656839e+02 | 1.940000e+02 | 17.09%
1695.32/1695.69 c 1696s| 65200 | 22110 | 12762k| 195.4 | 22M| 128 | - | 473 | 575 | 0 | 0 | 758 | 28 |3120 | 1.656847e+02 | 1.940000e+02 | 17.09%
1696.73/1697.00 c 1697s| 65300 | 22144 | 12772k| 195.2 | 22M| 128 | 136 | 473 | 575 | 473 | 969 | 758 | 28 |3120 | 1.656850e+02 | 1.940000e+02 | 17.09%
1698.32/1698.68 c 1699s| 65400 | 22168 | 12786k| 195.1 | 22M| 128 | - | 473 | 575 | 473 | 969 | 758 | 28 |3120 | 1.656851e+02 | 1.940000e+02 | 17.09%
1699.62/1699.97 c 1700s| 65500 | 22216 | 12796k| 195.0 | 22M| 128 | - | 473 | 575 | 473 | 969 | 758 | 28 |3120 | 1.656860e+02 | 1.940000e+02 | 17.09%
1702.53/1702.87 c 1703s| 65600 | 22264 | 12818k| 195.0 | 22M| 128 | 379 | 473 | 575 | 473 | 969 | 758 | 28 |3120 | 1.656871e+02 | 1.940000e+02 | 17.09%
1705.92/1706.29 c 1706s| 65700 | 22302 | 12846k| 195.2 | 22M| 128 | 139 | 473 | 575 | 473 | 969 | 758 | 28 |3120 | 1.656876e+02 | 1.940000e+02 | 17.09%
1708.13/1708.42 c 1708s| 65800 | 22342 | 12864k| 195.1 | 22M| 128 | 153 | 473 | 575 | 473 | 969 | 758 | 28 |3120 | 1.656878e+02 | 1.940000e+02 | 17.09%
1708.93/1709.24 c 1709s| 65900 | 22372 | 12871k| 194.9 | 22M| 128 | 142 | 473 | 575 | 473 | 969 | 758 | 28 |3120 | 1.656879e+02 | 1.940000e+02 | 17.09%
1712.22/1712.54 c 1713s| 66000 | 22424 | 12896k| 195.0 | 22M| 128 | 123 | 473 | 575 | 473 | 969 | 758 | 28 |3120 | 1.656887e+02 | 1.940000e+02 | 17.09%
1714.22/1714.55 c 1715s| 66100 | 22454 | 12913k| 195.0 | 22M| 128 | 147 | 473 | 575 | 473 | 969 | 758 | 28 |3120 | 1.656892e+02 | 1.940000e+02 | 17.09%
1716.02/1716.36 c 1716s| 66200 | 22496 | 12928k| 194.9 | 22M| 128 | 174 | 473 | 575 | 473 | 969 | 758 | 28 |3121 | 1.656892e+02 | 1.940000e+02 | 17.09%
1716.53/1716.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1716.53/1716.84 c 1717s| 66300 | 22550 | 12933k| 194.7 | 22M| 128 | 153 | 473 | 575 | 473 | 969 | 758 | 28 |3121 | 1.656892e+02 | 1.940000e+02 | 17.09%
1718.32/1718.61 c 1719s| 66400 | 22606 | 12948k| 194.6 | 22M| 128 | 134 | 473 | 575 | 473 | 969 | 758 | 28 |3121 | 1.656894e+02 | 1.940000e+02 | 17.09%
1719.22/1719.50 c 1720s| 66500 | 22642 | 12955k| 194.4 | 22M| 128 | 142 | 473 | 575 | 473 | 969 | 758 | 28 |3121 | 1.656896e+02 | 1.940000e+02 | 17.09%
1720.03/1720.32 c 1720s| 66600 | 22664 | 12962k| 194.3 | 22M| 128 | - | 473 | 575 | 473 | 969 | 758 | 28 |3121 | 1.656898e+02 | 1.940000e+02 | 17.09%
1723.43/1723.73 c 1724s| 66700 | 22710 | 12985k| 194.3 | 22M| 128 | - | 473 | 575 | 473 | 969 | 758 | 28 |3135 | 1.656904e+02 | 1.940000e+02 | 17.09%
1724.12/1724.43 c 1724s| 66800 | 22710 | 12991k| 194.1 | 22M| 128 | 343 | 473 | 575 | 473 | 969 | 758 | 28 |3135 | 1.656907e+02 | 1.940000e+02 | 17.09%
1727.82/1728.16 c 1728s| 66900 | 22770 | 13022k| 194.3 | 23M| 128 | 153 | 473 | 575 | 473 | 969 | 758 | 28 |3136 | 1.656909e+02 | 1.940000e+02 | 17.09%
1730.51/1730.81 c 1731s| 67000 | 22806 | 13039k| 194.2 | 23M| 128 | - | 473 | 575 | 473 | 969 | 758 | 28 |3155 | 1.656912e+02 | 1.940000e+02 | 17.09%
1732.62/1732.96 c 1733s| 67100 | 22832 | 13056k| 194.2 | 23M| 128 | 140 | 473 | 575 | 473 | 969 | 758 | 28 |3155 | 1.656912e+02 | 1.940000e+02 | 17.09%
1742.52/1742.88 c 1743s| 67200 | 22870 | 13161k| 195.5 | 23M| 128 | 127 | 473 | 575 | 473 | 969 | 758 | 28 |3155 | 1.656923e+02 | 1.940000e+02 | 17.08%
1744.82/1745.12 c 1745s| 67300 | 22898 | 13178k| 195.5 | 23M| 128 | - | 473 | 575 | 473 | 969 | 758 | 28 |3155 | 1.656925e+02 | 1.940000e+02 | 17.08%
1748.11/1748.47 c 1748s| 67400 | 22950 | 13200k| 195.5 | 23M| 128 | 129 | 473 | 575 | 473 | 969 | 758 | 28 |3171 | 1.656940e+02 | 1.940000e+02 | 17.08%
1748.91/1749.23 c 1749s| 67500 | 22974 | 13206k| 195.3 | 23M| 128 | - | 473 | 575 | 473 | 969 | 758 | 28 |3171 | 1.656940e+02 | 1.940000e+02 | 17.08%
1755.91/1756.24 c 1756s| 67600 | 23032 | 13260k| 195.8 | 23M| 128 | - | 473 | 574 | 473 | 969 | 758 | 28 |3181 | 1.656948e+02 | 1.940000e+02 | 17.08%
1757.11/1757.49 c 1757s| 67700 | 23056 | 13269k| 195.6 | 23M| 128 | - | 473 | 574 | 473 | 969 | 758 | 28 |3181 | 1.656958e+02 | 1.940000e+02 | 17.08%
1760.22/1760.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1760.22/1760.55 c 1761s| 67800 | 23090 | 13292k| 195.7 | 23M| 128 | 143 | 473 | 574 | 473 | 969 | 758 | 28 |3193 | 1.656966e+02 | 1.940000e+02 | 17.08%
1762.42/1762.77 c 1763s| 67900 | 23124 | 13310k| 195.7 | 23M| 128 | 123 | 473 | 574 | 473 | 969 | 758 | 28 |3197 | 1.656971e+02 | 1.940000e+02 | 17.08%
1762.72/1763.07 c 1763s| 68000 | 23124 | 13313k| 195.4 | 23M| 128 | - | 473 | 574 | 473 | 969 | 758 | 28 |3197 | 1.656971e+02 | 1.940000e+02 | 17.08%
1765.12/1765.49 c 1765s| 68100 | 23178 | 13331k| 195.4 | 23M| 128 | 133 | 473 | 574 | 473 | 969 | 758 | 28 |3200 | 1.656978e+02 | 1.940000e+02 | 17.08%
1766.91/1767.24 c 1767s| 68200 | 23202 | 13345k| 195.3 | 23M| 128 | 186 | 473 | 573 | 473 | 969 | 758 | 28 |3201 | 1.656980e+02 | 1.940000e+02 | 17.08%
1770.22/1770.51 c 1771s| 68300 | 23230 | 13372k| 195.4 | 23M| 128 | - | 473 | 573 | 473 | 969 | 758 | 28 |3202 | 1.656983e+02 | 1.940000e+02 | 17.08%
1772.42/1772.73 c 1773s| 68400 | 23260 | 13391k| 195.4 | 23M| 128 | - | 473 | 573 | 473 | 969 | 758 | 28 |3202 | 1.656987e+02 | 1.940000e+02 | 17.08%
1775.12/1775.45 c 1775s| 68500 | 23290 | 13412k| 195.4 | 23M| 128 | 351 | 473 | 573 | 473 | 969 | 758 | 28 |3203 | 1.656993e+02 | 1.940000e+02 | 17.08%
1776.51/1776.88 c 1777s| 68600 | 23316 | 13423k| 195.3 | 23M| 128 | - | 473 | 573 | 473 | 969 | 758 | 28 |3203 | 1.656997e+02 | 1.940000e+02 | 17.08%
1778.21/1778.55 c 1779s| 68700 | 23362 | 13437k| 195.2 | 23M| 128 | - | 473 | 573 | 473 | 969 | 758 | 28 |3203 | 1.657006e+02 | 1.940000e+02 | 17.08%
1779.81/1780.14 c 1780s| 68800 | 23444 | 13450k| 195.1 | 23M| 128 | - | 473 | 573 | 473 | 969 | 758 | 28 |3203 | 1.657008e+02 | 1.940000e+02 | 17.08%
1784.22/1784.58 c 1785s| 68900 | 23486 | 13487k| 195.4 | 23M| 128 | 118 | 473 | 573 | 473 | 969 | 758 | 28 |3203 | 1.657011e+02 | 1.940000e+02 | 17.08%
1786.31/1786.63 c 1787s| 69000 | 23500 | 13503k| 195.4 | 23M| 128 | - | 473 | 573 | 473 | 969 | 758 | 28 |3203 | 1.657011e+02 | 1.940000e+02 | 17.08%
1787.81/1788.13 c 1788s| 69100 | 23558 | 13515k| 195.2 | 23M| 128 | - | 473 | 572 | 473 | 969 | 758 | 28 |3203 | 1.657012e+02 | 1.940000e+02 | 17.08%
1789.81/1790.18 c 1790s| 69200 | 23592 | 13532k| 195.2 | 23M| 128 | - | 473 | 572 | 473 | 969 | 758 | 28 |3203 | 1.657015e+02 | 1.940000e+02 | 17.08%
1790.11/1790.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1790.11/1790.47 c 1790s| 69300 | 23600 | 13535k| 195.0 | 23M| 128 | - | 473 | 572 | 473 | 969 | 758 | 28 |3203 | 1.657015e+02 | 1.940000e+02 | 17.08%
1792.01/1792.31 c 1792s| 69400 | 23626 | 13551k| 194.9 | 23M| 128 | 160 | 473 | 572 | 473 | 969 | 758 | 28 |3203 | 1.657019e+02 | 1.940000e+02 | 17.08%
1793.40/1793.79 c 1794s| 69500 | 23676 | 13563k| 194.8 | 23M| 128 | 137 | 473 | 572 | 473 | 969 | 758 | 28 |3203 | 1.657020e+02 | 1.940000e+02 | 17.08%
1796.11/1796.49 c 1796s| 69600 | 23712 | 13584k| 194.8 | 23M| 128 | 368 | 473 | 572 | 473 | 969 | 758 | 28 |3203 | 1.657031e+02 | 1.940000e+02 | 17.08%
1796.71/1797.00 c
1796.71/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.71/1797.00 c Solving Time (sec) : 1797.00
1796.71/1797.00 c Solving Nodes : 69603
1796.71/1797.00 c Primal Bound : +1.94000000000000e+02 (832 solutions)
1796.71/1797.00 c Dual Bound : +1.65703067085677e+02
1796.71/1797.00 c Gap : 17.08 %
1796.71/1797.00 s SATISFIABLE
1796.71/1797.00 v -x473 x472 -x471 -x470 -x469 -x468 x467 -x466 x465 -x464 -x463 x462 x461 -x460 -x459 -x458 -x457 -x456 x455 x454 x453 -x452 -x451
1796.71/1797.00 v -x450 x449 -x448 x447 x446 x445 -x444 x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 x435 x434 x433 x432 -x431 x430 x429 -x428
1796.71/1797.00 v x427 -x426 x425 -x424 x423 x422 x421 x420 x419 -x418 x417 x416 x415 -x414 -x413 x412 -x411 x410 -x409 -x408 -x407 x406 x405
1796.71/1797.00 v x404 -x403 -x402 -x401 x400 x399 x398 -x397 -x396 x395 -x394 -x393 -x392 x391 x390 -x389 x388 -x387 x386 -x385 x384 x383
1796.71/1797.00 v x382 x381 x380 x379 -x378 -x377 -x376 x375 x374 -x373 -x372 x371 -x370 x369 -x368 -x367 x366 -x365 -x364 x363 -x362 x361 -x360
1796.71/1797.00 v x359 -x358 -x357 x356 x355 -x354 x353 -x352 -x351 x350 -x349 -x348 x347 -x346 -x345 -x344 -x343 -x342 x341 -x340 x339 -x338
1796.71/1797.00 v -x337 x336 -x335 x334 x333 -x332 x331 x330 -x329 x328 x327 -x326 x325 x324 -x323 -x322 x321 -x320 -x319 x318 x317 -x316 -x315
1796.71/1797.00 v -x314 x313 x312 x311 -x310 -x309 -x308 x307 x306 -x305 -x304 x303 x302 x301 x300 -x299 x298 -x297 -x296 x295 -x294 x293 -x292
1796.71/1797.00 v -x291 x290 -x289 -x288 -x287 x286 -x285 x284 x283 -x282 -x281 x280 x279 x278 -x277 x276 -x275 x274 -x273 -x272 x271 -x270
1796.71/1797.00 v x269 -x268 -x267 x266 x265 x264 -x263 x262 x261 -x260 -x259 -x258 -x257 x256 -x255 -x254 -x253 x252 x251 -x250 x249 x248 -x247
1796.71/1797.00 v x246 -x245 -x244 -x243 -x242 x241 -x240 -x239 x238 -x237 -x236 x235 x234 x233 -x232 x231 -x230 -x229 x228 -x227 -x226 -x225
1796.71/1797.00 v -x224 x223 -x222 x221 -x220 x219 -x218 -x217 -x216 -x215 -x214 -x213 x212 -x211 x210 -x209 x208 -x207 x206 -x205 x204 -x203
1796.71/1797.00 v -x202 -x201 -x200 -x199 x198 x197 x196 x195 x194 x193 -x192 -x191 x190 -x189 -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 -x180
1796.71/1797.00 v x179 -x178 -x177 x176 x175 x174 -x173 x172 -x171 -x170 -x169 -x168 x167 -x166 x165 -x164 -x163 -x162 -x161 x160 -x159 x158
1796.71/1797.00 v -x157 -x156 -x155 -x154 -x153 x152 -x151 x150 -x149 -x148 x147 -x146 x145 -x144 -x143 x142 x141 x140 -x139 x138 x137 x136
1796.71/1797.00 v x135 -x134 -x133 -x132 x131 -x130 -x129 -x128 -x127 x126 x125 -x124 x123 x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 -x114
1796.71/1797.00 v -x113 x112 x111 x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 x99 -x98 -x97 -x96 x95 -x94 -x93 -x92 -x91 -x90
1796.71/1797.00 v -x89 -x88 x87 -x86 x85 -x84 x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 x75 -x74 -x73 -x72 -x71 x70 -x69 x68 -x67 x66 -x65 x64
1796.71/1797.00 v -x63 x62 -x61 -x60 -x59 -x58 x57 -x56 -x55 -x54 x53 x52 -x51 x50 x49 -x48 -x47 -x46 x45 -x44 -x43 x42 x41 -x40 -x39 x38 x37
1796.71/1797.00 v x36 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
1796.71/1797.00 v -x9 x8 x7 -x6 x5 -x4 x3 -x2 x1
1796.71/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.71/1797.00 c Total Time : 1797.00
1796.71/1797.00 c solving : 1797.00
1796.71/1797.00 c presolving : 0.03 (included in solving)
1796.71/1797.00 c reading : 0.00 (included in solving)
1796.71/1797.00 c copying : 0.10 (18 #copies) (minimal 0.00, maximal 0.01, average 0.01)
1796.71/1797.00 c Original Problem :
1796.71/1797.00 c Problem name : HOME/instance-3690887-1338017067.opb
1796.71/1797.00 c Variables : 473 (473 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.00 c Constraints : 473 initial, 473 maximal
1796.71/1797.00 c Objective sense : minimize
1796.71/1797.00 c Presolved Problem :
1796.71/1797.00 c Problem name : t_HOME/instance-3690887-1338017067.opb
1796.71/1797.00 c Variables : 473 (473 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.00 c Constraints : 560 initial, 582 maximal
1796.71/1797.00 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.71/1797.00 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c knapsack : 0.01 0.00 0 0 0 0 0 26 195 292 665
1796.71/1797.00 c setppc : 0.00 0.00 0 0 0 0 0 82 0 0 0
1796.71/1797.00 c linear : 0.01 0.00 0 0 0 0 0 0 0 1 43
1796.71/1797.00 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c root node : - - 0 - - 0 - - - - -
1796.71/1797.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.71/1797.00 c integral : 0 0 0 0 47105 0 837 0 9 128 0 0 94002
1796.71/1797.00 c knapsack : 445 445 12 293784 0 0 832 0 570 267431 782 0 0
1796.71/1797.00 c setppc : 113 113 12 293183 0 0 831 0 0 26556 0 0 0
1796.71/1797.00 c logicor : 2+ 24 12 21616 0 0 831 0 0 38 0 0 0
1796.71/1797.00 c countsols : 0 0 0 0 0 0 835 0 0 0 0 0 0
1796.71/1797.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.71/1797.00 c integral : 104.23 0.00 0.00 0.00 104.23 0.00 0.00 0.00
1796.71/1797.00 c knapsack : 2.63 0.00 0.04 2.59 0.00 0.00 0.01 0.00
1796.71/1797.00 c setppc : 0.36 0.00 0.00 0.36 0.00 0.00 0.00 0.00
1796.71/1797.00 c logicor : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00
1796.71/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.71/1797.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.71/1797.00 c rootredcost : 23 0 0 0
1796.71/1797.00 c pseudoobj : 340839 0 0 0
1796.71/1797.00 c vbounds : 0 0 0 0
1796.71/1797.00 c redcost : 65487 0 0 390081
1796.71/1797.00 c probing : 0 0 0 0
1796.71/1797.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.71/1797.00 c rootredcost : 0.09 0.00 0.00 0.09 0.00
1796.71/1797.00 c pseudoobj : 0.33 0.00 0.00 0.33 0.00
1796.71/1797.00 c vbounds : 0.08 0.00 0.00 0.08 0.00
1796.71/1797.00 c redcost : 1.05 0.00 0.00 1.05 0.00
1796.71/1797.00 c probing : 0.00 0.00 0.00 0.00 0.00
1796.71/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.71/1797.00 c propagation : 0.00 570 0 0 0.0 0 0.0 -
1796.71/1797.00 c infeasible LP : 0.00 28 28 28 4.2 0 0.0 0
1796.71/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.71/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.71/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.71/1797.00 c applied globally : - - - 28 4.2 - - -
1796.71/1797.00 c applied locally : - - - 0 0.0 - - -
1796.71/1797.00 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.71/1797.00 c cut pool : 0.00 11 - - 291 - (maximal pool size: 1340)
1796.71/1797.00 c closecuts : 0.00 0.00 0 0 0 0 0
1796.71/1797.00 c impliedbounds : 0.00 0.00 12 0 0 0 0
1796.71/1797.00 c intobj : 0.00 0.00 0 0 0 0 0
1796.71/1797.00 c gomory : 1.71 0.00 10 0 0 0 0
1796.71/1797.00 c cgmip : 0.00 0.00 0 0 0 0 0
1796.71/1797.00 c strongcg : 1.58 0.00 12 0 0 0 0
1796.71/1797.00 c cmir : 0.19 0.00 10 0 0 800 0
1796.71/1797.00 c flowcover : 0.26 0.00 10 0 0 965 0
1796.71/1797.00 c clique : 0.00 0.00 1 0 0 0 0
1796.71/1797.00 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.71/1797.00 c mcf : 0.00 0.00 1 0 0 0 0
1796.71/1797.00 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.71/1797.00 c rapidlearning : 0.26 0.00 1 0 0 0 0
1796.71/1797.00 c Pricers : ExecTime SetupTime Calls Vars
1796.71/1797.00 c problem variables: 0.00 - 0 0
1796.71/1797.00 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.71/1797.00 c relpscost : 104.19 0.00 47105 9 128 0 0 94002
1796.71/1797.00 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.00 c inference : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.00 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.00 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.00 c random : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.00 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.71/1797.00 c LP solutions : 0.00 - - 0
1796.71/1797.00 c pseudo solutions : 0.00 - - 0
1796.71/1797.00 c crossover : 0.14 0.00 0 0
1796.71/1797.00 c oneopt : 0.02 0.00 10 3
1796.71/1797.00 c pscostdiving : 334.36 0.00 387 351
1796.71/1797.00 c smallcard : 0.00 0.00 0 0
1796.71/1797.00 c trivial : 0.00 0.00 2 1
1796.71/1797.00 c shiftandpropagate: 0.00 0.00 0 0
1796.71/1797.00 c simplerounding : 1.14 0.00 47112 26
1796.71/1797.00 c zirounding : 0.45 0.00 1101 22
1796.71/1797.00 c rounding : 12.37 0.00 9957 1
1796.71/1797.00 c shifting : 3.63 0.00 2874 1
1796.71/1797.00 c intshifting : 0.00 0.00 0 0
1796.71/1797.00 c twoopt : 0.00 0.00 0 0
1796.71/1797.00 c indoneopt : 0.04 0.00 0 0
1796.71/1797.00 c indtwoopt : 0.00 0.00 0 0
1796.71/1797.00 c fixandinfer : 0.00 0.00 0 0
1796.71/1797.00 c feaspump : 0.00 0.00 0 0
1796.71/1797.00 c clique : 0.00 0.00 0 0
1796.71/1797.00 c indcoefdiving : 0.00 0.00 0 0
1796.71/1797.00 c indrounding : 0.00 0.00 0 0
1796.71/1797.00 c coefdiving : 56.45 0.00 48 168
1796.71/1797.00 c nlpdiving : 0.00 0.00 0 0
1796.71/1797.00 c fracdiving : 51.56 0.00 43 0
1796.71/1797.00 c veclendiving : 102.29 0.00 113 57
1796.71/1797.00 c intdiving : 0.00 0.00 0 0
1796.71/1797.00 c actconsdiving : 0.00 0.00 0 0
1796.71/1797.00 c objpscostdiving : 45.01 0.00 6 115
1796.71/1797.00 c rootsoldiving : 13.56 0.00 14 0
1796.71/1797.00 c linesearchdiving : 108.13 0.00 147 86
1796.71/1797.00 c guideddiving : 52.11 0.00 45 0
1796.71/1797.00 c octane : 0.00 0.00 0 0
1796.71/1797.00 c rens : 0.01 0.00 0 0
1796.71/1797.00 c rins : 0.00 0.00 0 0
1796.71/1797.00 c localbranching : 0.00 0.00 0 0
1796.71/1797.00 c mutation : 0.00 0.00 0 0
1796.71/1797.00 c dins : 0.00 0.00 0 0
1796.71/1797.00 c vbounds : 0.00 0.00 0 0
1796.71/1797.00 c undercover : 0.00 0.00 0 0
1796.71/1797.00 c subnlp : 0.02 0.00 0 0
1796.71/1797.00 c trysol : 0.03 0.00 0 0
1796.71/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.71/1797.00 c primal LP : 0.01 2 0 0.00 - 0.01 2
1796.71/1797.00 c dual LP : 891.42 87530 7105347 102.84 7970.83 4.48 18437
1796.71/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.71/1797.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.71/1797.00 c diving/probing LP: 739.47 130765 6482501 49.57 8766.41
1796.71/1797.00 c strong branching : 101.85 3203 673046 210.13 6607.99
1796.71/1797.00 c (at root node) : - 20 17952 897.60 -
1796.71/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.71/1797.00 c B&B Tree :
1796.71/1797.00 c number of runs : 1
1796.71/1797.00 c nodes : 69603
1796.71/1797.00 c nodes (total) : 69603
1796.71/1797.00 c nodes left : 23715
1796.71/1797.00 c max depth : 128
1796.71/1797.00 c max depth (total): 128
1796.71/1797.00 c backtracks : 12744 (18.3%)
1796.71/1797.00 c delayed cutoffs : 0
1796.71/1797.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.71/1797.00 c avg switch length: 7.77
1796.71/1797.00 c switching time : 2.73
1796.71/1797.00 c Solution :
1796.71/1797.00 c Solutions found : 832 (31 improvements)
1796.71/1797.00 c First Solution : +4.73000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1796.71/1797.00 c Primal Bound : +1.94000000000000e+02 (in run 1, after 18333 nodes, 656.37 seconds, depth 218, found by <pscostdiving>)
1796.71/1797.00 c Dual Bound : +1.65703067085677e+02
1796.71/1797.00 c Gap : 17.08 %
1796.71/1797.00 c Root Dual Bound : +1.63946282015523e+02
1796.71/1797.00 c Root Iterations : 24869
1796.71/1797.04 c Time complete: 1796.76.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3690887-1338017067/watcher-3690887-1338017067 -o /tmp/evaluation-result-3690887-1338017067/solver-3690887-1338017067 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690887-1338017067.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.89 0.96 1.22 3/176 31183
/proc/meminfo: memFree=28517992/32873844 swapFree=7384/7384
[pid=31183] ppid=31181 vsize=10256 CPUtime=0 cores=1,3,5,7
/proc/31183/stat : 31183 (scip-2.1.1.4fix) R 31181 31183 31024 0 -1 4202496 1335 0 0 0 0 0 0 0 20 0 1 0 267832121 10502144 1289 33554432000 4194304 10173063 140737456141408 140733660731960 8800002 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31183/statm: 2564 1290 416 1460 0 1095 0
[startup+0.0514691 s]
/proc/loadavg: 1.89 0.96 1.22 3/176 31183
/proc/meminfo: memFree=28517992/32873844 swapFree=7384/7384
[pid=31183] ppid=31181 vsize=23972 CPUtime=0.04 cores=1,3,5,7
/proc/31183/stat : 31183 (scip-2.1.1.4fix) R 31181 31183 31024 0 -1 4202496 4996 0 0 0 3 1 0 0 20 0 1 0 267832121 24547328 4688 33554432000 4194304 10173063 140737456141408 140733660731960 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31183/statm: 5993 4688 762 1460 0 4524 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 23972
[startup+0.100312 s]
/proc/loadavg: 1.89 0.96 1.22 3/176 31183
/proc/meminfo: memFree=28517992/32873844 swapFree=7384/7384
[pid=31183] ppid=31181 vsize=24124 CPUtime=0.09 cores=1,3,5,7
/proc/31183/stat : 31183 (scip-2.1.1.4fix) R 31181 31183 31024 0 -1 4202496 5063 0 0 0 8 1 0 0 20 0 1 0 267832121 24702976 4755 33554432000 4194304 10173063 140737456141408 140733660731960 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31183/statm: 6031 4755 762 1460 0 4562 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24124
[startup+0.300187 s]
/proc/loadavg: 1.89 0.96 1.22 3/176 31183
/proc/meminfo: memFree=28517992/32873844 swapFree=7384/7384
[pid=31183] ppid=31181 vsize=24300 CPUtime=0.29 cores=1,3,5,7
/proc/31183/stat : 31183 (scip-2.1.1.4fix) R 31181 31183 31024 0 -1 4202496 5107 0 0 0 28 1 0 0 20 0 1 0 267832121 24883200 4799 33554432000 4194304 10173063 140737456141408 140733660731960 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31183/statm: 6075 4799 762 1460 0 4606 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24300
[startup+0.700196 s]
/proc/loadavg: 1.89 0.96 1.22 3/176 31183
/proc/meminfo: memFree=28517992/32873844 swapFree=7384/7384
[pid=31183] ppid=31181 vsize=24612 CPUtime=0.69 cores=1,3,5,7
/proc/31183/stat : 31183 (scip-2.1.1.4fix) R 31181 31183 31024 0 -1 4202496 5184 0 0 0 68 1 0 0 20 0 1 0 267832121 25202688 4876 33554432000 4194304 10173063 140737456141408 140737456134712 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31183/statm: 6153 4876 762 1460 0 4684 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24612
[startup+1.50028 s]
/proc/loadavg: 1.89 0.96 1.22 3/177 31184
/proc/meminfo: memFree=28501004/32873844 swapFree=7384/7384
[pid=31183] ppid=31181 vsize=39552 CPUtime=1.49 cores=1,3,5,7
/proc/31183/stat : 31183 (scip-2.1.1.4fix) R 31181 31183 31024 0 -1 4202496 8727 0 0 0 145 4 0 0 20 0 1 0 267832121 40501248 8419 33554432000 4194304 10173063 140737456141408 140737456135048 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31183/statm: 9888 8419 848 1460 0 8419 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 39552
[startup+3.1002 s]
/proc/loadavg: 1.89 0.96 1.22 3/177 31184
/proc/meminfo: memFree=28487364/32873844 swapFree=7384/7384
[pid=31183] ppid=31181 vsize=39828 CPUtime=3.09 cores=1,3,5,7
/proc/31183/stat : 31183 (scip-2.1.1.4fix) R 31181 31183 31024 0 -1 4202496 8784 0 0 0 304 5 0 0 20 0 1 0 267832121 40783872 8476 33554432000 4194304 10173063 140737456141408 140737456134712 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31183/statm: 9957 8476 848 1460 0 8488 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 39828
[startup+6.30019 s]
/proc/loadavg: 1.90 0.97 1.23 3/177 31184
/proc/meminfo: memFree=28486852/32873844 swapFree=7384/7384
[pid=31183] ppid=31181 vsize=40164 CPUtime=6.29 cores=1,3,5,7
/proc/31183/stat : 31183 (scip-2.1.1.4fix) R 31181 31183 31024 0 -1 4202496 8849 0 0 0 621 8 0 0 20 0 1 0 267832121 41127936 8541 33554432000 4194304 10173063 140737456141408 140737456136296 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31183/statm: 10041 8541 848 1460 0 8572 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 40164
[startup+12.7003 s]
/proc/loadavg: 1.90 0.99 1.23 3/177 31184
/proc/meminfo: memFree=28486248/32873844 swapFree=7384/7384
[pid=31183] ppid=31181 vsize=40164 CPUtime=12.69 cores=1,3,5,7
/proc/31183/stat : 31183 (scip-2.1.1.4fix) R 31181 31183 31024 0 -1 4202496 8938 0 0 0 1257 12 0 0 20 0 1 0 267832121 41127936 8630 33554432000 4194304 10173063 140737456141408 140737456134536 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31183/statm: 10041 8630 858 1460 0 8572 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 40164
[startup+25.5003 s]
/proc/loadavg: 1.92 1.04 1.24 3/177 31184
/proc/meminfo: memFree=28485844/32873844 swapFree=7384/7384
[pid=31183] ppid=31181 vsize=40164 CPUtime=25.48 cores=1,3,5,7
/proc/31183/stat : 31183 (scip-2.1.1.4fix) R 31181 31183 31024 0 -1 4202496 8938 0 0 0 2527 21 0 0 20 0 1 0 267832121 41127936 8630 33554432000 4194304 10173063 140737456141408 140737456134952 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31183/statm: 10041 8630 858 1460 0 8572 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 40164
[startup+51.1003 s]
/proc/loadavg: 1.95 1.11 1.26 3/177 31184
/proc/meminfo: memFree=28485812/32873844 swapFree=7384/7384
[pid=31183] ppid=31181 vsize=40164 CPUtime=51.08 cores=1,3,5,7
/proc/31183/stat : 31183 (scip-2.1.1.4fix) R 31181 31183 31024 0 -1 4202496 8938 0 0 0 5063 45 0 0 20 0 1 0 267832121 41127936 8630 33554432000 4194304 10173063 140737456141408 140737456134520 8054750 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31183/statm: 10041 8630 858 1460 0 8572 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 40164
[startup+102.306 s]
/proc/loadavg: 1.98 1.25 1.30 3/177 31184
/proc/meminfo: memFree=28485140/32873844 swapFree=7384/7384
[pid=31183] ppid=31181 vsize=40164 CPUtime=102.28 cores=1,3,5,7
/proc/31183/stat : 31183 (scip-2.1.1.4fix) R 31181 31183 31024 0 -1 4202496 8938 0 0 0 10136 92 0 0 20 0 1 0 267832121 41127936 8630 33554432000 4194304 10173063 140737456141408 140737456134328 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31183/statm: 10041 8630 858 1460 0 8572 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 40164
[startup+162.3 s]
/proc/loadavg: 1.99 1.38 1.34 3/177 31184
/proc/meminfo: memFree=28484012/32873844 swapFree=7384/7384
[pid=31183] ppid=31181 vsize=40164 CPUtime=162.26 cores=1,3,5,7
/proc/31183/stat : 31183 (scip-2.1.1.4fix) R 31181 31183 31024 0 -1 4202496 8940 0 0 0 16081 145 0 0 20 0 1 0 267832121 41127936 8632 33554432000 4194304 10173063 140737456141408 140737456134280 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31183/statm: 10041 8632 859 1460 0 8572 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 40164
[startup+222.3 s]
/proc/loadavg: 1.99 1.49 1.38 3/177 31184
/proc/meminfo: memFree=28484056/32873844 swapFree=7384/7384
[pid=31183] ppid=31181 vsize=40164 CPUtime=222.26 cores=1,3,5,7
/proc/31183/stat : 31183 (scip-2.1.1.4fix) R 31181 31183 31024 0 -1 4202496 8940 0 0 0 22029 197 0 0 20 0 1 0 267832121 41127936 8632 33554432000 4194304 10173063 140737456141408 140737456134008 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31183/statm: 10041 8632 859 1460 0 8572 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 40164
[startup+282.3 s]
/proc/loadavg: 2.06 1.60 1.42 3/177 31185
/proc/meminfo: memFree=28482972/32873844 swapFree=7384/7384
[pid=31183] ppid=31181 vsize=40164 CPUtime=282.25 cores=1,3,5,7
/proc/31183/stat : 31183 (scip-2.1.1.4fix) R 31181 31183 31024 0 -1 4202496 9071 0 0 0 27975 250 0 0 20 0 1 0 267832121 41127936 8763 33554432000 4194304 10173063 140737456141408 140737456134280 8041158 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31183/statm: 10041 8763 860 1460 0 8572 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 40164
[startup+342.3 s]
/proc/loadavg: 2.02 1.67 1.45 3/178 31188
/proc/meminfo: memFree=28482572/32873844 swapFree=7384/7384
[pid=31183] ppid=31181 vsize=40164 CPUtime=342.23 cores=1,3,5,7
/proc/31183/stat : 31183 (scip-2.1.1.4fix) R 31181 31183 31024 0 -1 4202496 9199 0 0 0 33923 300 0 0 20 0 1 0 267832121 41127936 8891 33554432000 4194304 10173063 140737456141408 140737456134664 8046674 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31183/statm: 10041 8891 860 1460 0 8572 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 40164
[startup+402.3 s]
/proc/loadavg: 2.01 1.73 1.48 3/177 31188
/proc/meminfo: memFree=28482092/32873844 swapFree=7384/7384
[pid=31183] ppid=31181 vsize=40164 CPUtime=402.23 cores=1,3,5,7
/proc/31183/stat : 31183 (scip-2.1.1.4fix) R 31181 31183 31024 0 -1 4202496 9203 0 0 0 39872 351 0 0 20 0 1 0 267832121 41127936 8895 33554432000 4194304 10173063 140737456141408 140737456134664 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31183/statm: 10041 8895 860 1460 0 8572 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 40164
[startup+462.3 s]
/proc/loadavg: 2.00 1.77 1.51 3/177 31188
/proc/meminfo: memFree=28481932/32873844 swapFree=7384/7384
[pid=31183] ppid=31181 vsize=40164 CPUtime=462.22 cores=1,3,5,7
/proc/31183/stat : 31183 (scip-2.1.1.4fix) R 31181 31183 31024 0 -1 4202496 9212 0 0 0 45816 406 0 0 20 0 1 0 267832121 41127936 8924 33554432000 4194304 10173063 140737456141408 140737456134664 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31183/statm: 10041 8924 860 1460 0 8572 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 40164
[startup+522.3 s]
/proc/loadavg: 2.00 1.81 1.54 3/177 31188
/proc/meminfo: memFree=28481436/32873844 swapFree=7384/7384
[pid=31183] ppid=31181 vsize=40164 CPUtime=522.21 cores=1,3,5,7
/proc/31183/stat : 31183 (scip-2.1.1.4fix) R 31181 31183 31024 0 -1 4202496 9216 0 0 0 51754 467 0 0 20 0 1 0 267832121 41127936 8928 33554432000 4194304 10173063 140737456141408 140737456133928 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31183/statm: 10041 8928 860 1460 0 8572 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 40164
[startup+582.3 s]
/proc/loadavg: 2.04 1.86 1.57 3/177 31189
/proc/meminfo: memFree=28481808/32873844 swapFree=7384/7384
[pid=31183] ppid=31181 vsize=40164 CPUtime=582.2 cores=1,3,5,7
/proc/31183/stat : 31183 (scip-2.1.1.4fix) R 31181 31183 31024 0 -1 4202496 9220 0 0 0 57687 533 0 0 20 0 1 0 267832121 41127936 8932 33554432000 4194304 10173063 140737456141408 140737456135240 8041296 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31183/statm: 10041 8932 860 1460 0 8572 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 40164
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=29370828/32873844 swapFree=7384/7384
[pid=31183] ppid=31181 vsize=42564 CPUtime=1122.11 cores=1,3,5,7
/proc/31183/stat : 31183 (scip-2.1.1.4fix) R 31181 31183 31024 0 -1 4202496 9845 0 0 0 111176 1035 0 0 20 0 1 0 267832121 43585536 9739 33554432000 4194304 10173063 140737456141408 140737456134664 8012235 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31183/statm: 10641 9739 860 1460 0 9172 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 42564
[startup+1182.3 s]
/proc/loadavg: 2.06 2.04 1.80 3/177 31232
/proc/meminfo: memFree=29368844/32873844 swapFree=7384/7384
[pid=31183] ppid=31181 vsize=42920 CPUtime=1182.1 cores=1,3,5,7
/proc/31183/stat : 31183 (scip-2.1.1.4fix) R 31181 31183 31024 0 -1 4202496 9934 0 0 0 117119 1091 0 0 20 0 1 0 267832121 43950080 9828 33554432000 4194304 10173063 140737456141408 140737456134424 8012395 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31183/statm: 10730 9828 860 1460 0 9261 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 42920
[startup+1242.3 s]
/proc/loadavg: 2.02 2.03 1.81 3/177 31232
/proc/meminfo: memFree=29367228/32873844 swapFree=7384/7384
[pid=31183] ppid=31181 vsize=43628 CPUtime=1242.1 cores=1,3,5,7
/proc/31183/stat : 31183 (scip-2.1.1.4fix) R 31181 31183 31024 0 -1 4202496 11276 0 0 0 123067 1143 0 0 20 0 1 0 267832121 44675072 10006 33554432000 4194304 10173063 140737456141408 140737456134664 8055021 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31183/statm: 10907 10006 860 1460 0 9438 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 43628
[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 1.82 3/177 31232
/proc/meminfo: memFree=29364252/32873844 swapFree=7384/7384
[pid=31183] ppid=31181 vsize=43628 CPUtime=1302.09 cores=1,3,5,7
/proc/31183/stat : 31183 (scip-2.1.1.4fix) R 31181 31183 31024 0 -1 4202496 11277 0 0 0 129010 1199 0 0 20 0 1 0 267832121 44675072 10007 33554432000 4194304 10173063 140737456141408 140737456134328 8022613 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31183/statm: 10907 10007 860 1460 0 9438 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 43628
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 1.83 3/177 31232
/proc/meminfo: memFree=29363504/32873844 swapFree=7384/7384
[pid=31183] ppid=31181 vsize=43924 CPUtime=1362.08 cores=1,3,5,7
/proc/31183/stat : 31183 (scip-2.1.1.4fix) R 31181 31183 31024 0 -1 4202496 11375 0 0 0 134950 1258 0 0 20 0 1 0 267832121 44978176 10105 33554432000 4194304 10173063 140737456141408 140737456134664 7986020 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31183/statm: 10981 10105 860 1460 0 9512 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 43924
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 1.83 3/177 31232
/proc/meminfo: memFree=29360712/32873844 swapFree=7384/7384
[pid=31183] ppid=31181 vsize=46100 CPUtime=1422.07 cores=1,3,5,7
/proc/31183/stat : 31183 (scip-2.1.1.4fix) R 31181 31183 31024 0 -1 4202496 11913 0 0 0 140898 1309 0 0 20 0 1 0 267832121 47206400 10642 33554432000 4194304 10173063 140737456141408 140737456134664 8046674 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31183/statm: 11525 10642 860 1460 0 10056 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 46100
[startup+1482.3 s]
/proc/loadavg: 2.03 2.02 1.84 3/177 31233
/proc/meminfo: memFree=29359844/32873844 swapFree=7384/7384
[pid=31183] ppid=31181 vsize=46644 CPUtime=1482.05 cores=1,3,5,7
/proc/31183/stat : 31183 (scip-2.1.1.4fix) R 31181 31183 31024 0 -1 4202496 12021 0 0 0 146840 1365 0 0 20 0 1 0 267832121 47763456 10750 33554432000 4194304 10173063 140737456141408 140737456134056 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31183/statm: 11661 10750 860 1460 0 10192 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 46644
[startup+1542.3 s]
/proc/loadavg: 2.07 2.03 1.85 3/178 31236
/proc/meminfo: memFree=29357648/32873844 swapFree=7384/7384
[pid=31183] ppid=31181 vsize=46788 CPUtime=1542.05 cores=1,3,5,7
/proc/31183/stat : 31183 (scip-2.1.1.4fix) R 31181 31183 31024 0 -1 4202496 12074 0 0 0 152785 1420 0 0 20 0 1 0 267832121 47910912 10803 33554432000 4194304 10173063 140737456141408 140737456135048 7981118 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31183/statm: 11697 10803 860 1460 0 10228 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 46788
[startup+1602.3 s]
/proc/loadavg: 2.09 2.04 1.87 3/177 31236
/proc/meminfo: memFree=29355684/32873844 swapFree=7384/7384
[pid=31183] ppid=31181 vsize=48020 CPUtime=1602.04 cores=1,3,5,7
/proc/31183/stat : 31183 (scip-2.1.1.4fix) R 31181 31183 31024 0 -1 4202496 12377 0 0 0 158731 1473 0 0 20 0 1 0 267832121 49172480 11105 33554432000 4194304 10173063 140737456141408 140737456134696 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31183/statm: 12005 11105 860 1460 0 10536 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 48020
[startup+1662.3 s]
/proc/loadavg: 2.15 2.06 1.88 3/177 31236
/proc/meminfo: memFree=29352584/32873844 swapFree=7384/7384
[pid=31183] ppid=31181 vsize=48416 CPUtime=1662.03 cores=1,3,5,7
/proc/31183/stat : 31183 (scip-2.1.1.4fix) R 31181 31183 31024 0 -1 4202496 12400 0 0 0 164676 1527 0 0 20 0 1 0 267832121 49577984 11128 33554432000 4194304 10173063 140737456141408 140737456134760 7911721 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31183/statm: 12104 11128 860 1460 0 10635 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 48416
[startup+1722.3 s]
/proc/loadavg: 2.05 2.05 1.89 3/177 31236
/proc/meminfo: memFree=29348860/32873844 swapFree=7384/7384
[pid=31183] ppid=31181 vsize=50576 CPUtime=1722.02 cores=1,3,5,7
/proc/31183/stat : 31183 (scip-2.1.1.4fix) R 31181 31183 31024 0 -1 4202496 13033 0 0 0 170621 1581 0 0 20 0 1 0 267832121 51789824 11760 33554432000 4194304 10173063 140737456141408 140737456134664 7710377 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31183/statm: 12644 11760 860 1460 0 11175 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 50576
[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 1.89 3/177 31237
/proc/meminfo: memFree=29348548/32873844 swapFree=7384/7384
[pid=31183] ppid=31181 vsize=50576 CPUtime=1782.01 cores=1,3,5,7
/proc/31183/stat : 31183 (scip-2.1.1.4fix) R 31181 31183 31024 0 -1 4202496 13039 0 0 0 176564 1637 0 0 20 0 1 0 267832121 51789824 11766 33554432000 4194304 10173063 140737456141408 140737456134328 8012278 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31183/statm: 12644 11766 860 1460 0 11175 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 50576
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.02 2.04 1.89 3/177 31237
/proc/meminfo: memFree=29348548/32873844 swapFree=7384/7384
[pid=31183] ppid=31181 vsize=50576 CPUtime=1785.21 cores=1,3,5,7
/proc/31183/stat : 31183 (scip-2.1.1.4fix) R 31181 31183 31024 0 -1 4202496 13039 0 0 0 176881 1640 0 0 20 0 1 0 267832121 51789824 11766 33554432000 4194304 10173063 140737456141408 140737456134264 8054286 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31183/statm: 12644 11766 860 1460 0 11175 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 50576
[startup+1791.91 s]
/proc/loadavg: 2.02 2.03 1.89 3/177 31237
/proc/meminfo: memFree=29347928/32873844 swapFree=7384/7384
[pid=31183] ppid=31181 vsize=51200 CPUtime=1791.61 cores=1,3,5,7
/proc/31183/stat : 31183 (scip-2.1.1.4fix) R 31181 31183 31024 0 -1 4202496 13171 0 0 0 177514 1647 0 0 20 0 1 0 267832121 52428800 11898 33554432000 4194304 10173063 140737456141408 140737456134424 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31183/statm: 12800 11898 860 1460 0 11331 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 51200
[startup+1795.1 s]
/proc/loadavg: 2.01 2.03 1.89 3/177 31237
/proc/meminfo: memFree=29347804/32873844 swapFree=7384/7384
[pid=31183] ppid=31181 vsize=51200 CPUtime=1794.82 cores=1,3,5,7
/proc/31183/stat : 31183 (scip-2.1.1.4fix) R 31181 31183 31024 0 -1 4202496 13171 0 0 0 177831 1651 0 0 20 0 1 0 267832121 52428800 11898 33554432000 4194304 10173063 140737456141408 140737456135048 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31183/statm: 12800 11898 860 1460 0 11331 0
Current children cumulated CPU time (s) 1794.82
Current children cumulated vsize (KiB) 51200
[startup+1795.9 s]
/proc/loadavg: 2.01 2.03 1.89 3/177 31237
/proc/meminfo: memFree=29347804/32873844 swapFree=7384/7384
[pid=31183] ppid=31181 vsize=51200 CPUtime=1795.61 cores=1,3,5,7
/proc/31183/stat : 31183 (scip-2.1.1.4fix) R 31181 31183 31024 0 -1 4202496 13171 0 0 0 177910 1651 0 0 20 0 1 0 267832121 52428800 11898 33554432000 4194304 10173063 140737456141408 140737456136776 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31183/statm: 12800 11898 860 1460 0 11331 0
Current children cumulated CPU time (s) 1795.61
Current children cumulated vsize (KiB) 51200
[startup+1796.7 s]
/proc/loadavg: 2.01 2.03 1.89 3/177 31237
/proc/meminfo: memFree=29347804/32873844 swapFree=7384/7384
[pid=31183] ppid=31181 vsize=51200 CPUtime=1796.41 cores=1,3,5,7
/proc/31183/stat : 31183 (scip-2.1.1.4fix) R 31181 31183 31024 0 -1 4202496 13171 0 0 0 177989 1652 0 0 20 0 1 0 267832121 52428800 11898 33554432000 4194304 10173063 140737456141408 140737456134712 8012272 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31183/statm: 12800 11898 860 1460 0 11331 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 51200
[startup+1796.9 s]
/proc/loadavg: 2.01 2.03 1.89 3/177 31237
/proc/meminfo: memFree=29347804/32873844 swapFree=7384/7384
[pid=31183] ppid=31181 vsize=51200 CPUtime=1796.61 cores=1,3,5,7
/proc/31183/stat : 31183 (scip-2.1.1.4fix) R 31181 31183 31024 0 -1 4202496 13171 0 0 0 178009 1652 0 0 20 0 1 0 267832121 52428800 11898 33554432000 4194304 10173063 140737456141408 140737456134712 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31183/statm: 12800 11898 860 1460 0 11331 0
Current children cumulated CPU time (s) 1796.61
Current children cumulated vsize (KiB) 51200
[startup+1797 s]
/proc/loadavg: 2.01 2.03 1.89 3/177 31237
/proc/meminfo: memFree=29347804/32873844 swapFree=7384/7384
[pid=31183] ppid=31181 vsize=51200 CPUtime=1796.71 cores=1,3,5,7
/proc/31183/stat : 31183 (scip-2.1.1.4fix) R 31181 31183 31024 0 -1 4202496 13171 0 0 0 178019 1652 0 0 20 0 1 0 267832121 52428800 11898 33554432000 4194304 10173063 140737456141408 140737456134712 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31183/statm: 12800 11898 860 1460 0 11331 0
Current children cumulated CPU time (s) 1796.71
Current children cumulated vsize (KiB) 51200
Child status: 0
Real time (s): 1797.05
CPU time (s): 1796.77
CPU user time (s): 1780.24
CPU system time (s): 16.5245
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 51200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1780.24
system time used= 16.5245
maximum resident set size= 47604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13176
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= 13
involuntary context switches= 1867
runsolver used 4.17436 second user time and 14.0249 second system time
The end